lve 0 = s*m - 7 - y for m.
2
Let j be 153/21 - 2/7. Let w(n) = 2*n**3 + 2*n**2 - 4*n + 1. Let h be w(-2). Solve -h = 4*z + j for z.
-2
Suppose 43 + 9 = 2*k. Suppose 0 + k = 4*f + v, -14 = -4*f + 5*v. Solve 0 = -f*z + 2*z + 12 for z.
3
Suppose -11*x = -14*x + 12. Solve -x*i + 3 + 5 = 0 for i.
2
Let q = -41 - -63. Suppose q = 3*v + 2*d, 5*d = -2*v + 41 - 8. Suppose -c + 100 = v*c. Solve -3*i - 2*i = c for i.
-4
Let c be (-4028)/(-285) - 2/15. Solve 5*f - 1 = c for f.
3
Suppose 21 = 13*j - 10*j. Solve -3*m - 8 = j for m.
-5
Let c(l) = l**2. Let p be c(0). Let a(n) = 3*n**2 - 2*n - 3. Let r be a(3). Suppose -r + 5 = -2*b + 3*m, 5*b + m = 7. Solve p = 5*o - 3 - b for o.
1
Suppose 0*d - 20 = 4*d. Let g be ((-5)/2)/d*2. Solve 4*v = 5 - g for v.
1
Let d be 2/5 - 12/30. Suppose -w + d*w + 2 = 0. Let y be (-23)/(-4) + w/8. Solve 0 = t + t - y for t.
3
Let q(u) = -u - 12. Let t be q(-14). Suppose z - 9 = -t*z. Solve 2 + 1 = -z*k for k.
-1
Let d = -4 - 15. Let v = -19 - d. Let r(i) = 2*i - 4. Let u be r(3). Solve -u*x - x - 12 = v for x.
-4
Suppose -6*j - 8 = -10*j. Solve -j*i + i = 4 for i.
-4
Let d = -1 + 1. Let t(m) = m**3 + 4*m**2 - m + 1. Let n be t(-4). Let b be n - -2 - (-3 + 2). Solve d = 3*r - b*r for r.
0
Let w = -13 + 19. Let j = -6 + 5. Let v = w + j. Solve -v*a = -0*a - 20 for a.
4
Let c = -2 + 10. Suppose -2*w - 25 = -3*b, 0 = 4*b + 3*w - 14 - c. Let o = -3 + b. Solve 7*j + o = 3*j for j.
-1
Suppose 0 = -2*i - 5*j + 31, -7*i - 3 = -3*i - 3*j. Solve 4 = -f + i for f.
-1
Let t = 29 - 25. Solve -8 + 0 = -t*v for v.
2
Let l(j) = -j**3 - 2*j**2 - 5. Let d be l(-3). Solve 0*n = -d*n for n.
0
Suppose -6*o + 2 = -8*o. Let c be (-2)/((-21)/15 - o). Let m be 0/(-1*1*-2). Solve 3*l - c + 17 = m for l.
-4
Let t = -2 + 5. Suppose 0*o - t*o = 0. Let p = 3 + o. Solve p*b - 2 = 4 for b.
2
Let u = -16 + 16. Solve u = -3*j - 0*j + 15 for j.
5
Let s be (1 + -2)/((-2)/4). Suppose 3 = c + s*c. Let o be (-1)/c*3*-1. Solve 0*n + o*n = -6 for n.
-2
Suppose -2*q + 5*u - 11 = 0, -2*u + 0 + 3 = -q. Solve -m = 2 - q for m.
5
Let x be 28/4*-1 + (-6)/(-2). Let q(r) = 4*r**2 + 6*r**3 + r - 2*r**3 - 3*r**3 + 5. Let p be q(x). Solve 3*k - 2 = p for k.
1
Let x(b) = -b - 8. Let q be x(-8). Solve q = 2*o + o + 6 for o.
-2
Let p(r) = 2 - 3*r**2 + 0*r**3 - r**3 + 2. Let c be p(-3). Let u = 18 - 15. Solve 0 = -a - u + c for a.
1
Let x(c) = c. Let j be x(1). Suppose -j - 3 = -2*b. Let k = b + 2. Solve r + k*r = -20 for r.
-4
Let h = 14 + -11. Suppose -4*k - h*a + 5 = 0, -k - a = 2*a + 1. Solve -k*i = i for i.
0
Suppose 0 = 5*l - 2 - 8. Suppose -l*v + 19 = v - 2*d, 2 = 4*v + 2*d. Suppose -4*x + 6 = -v*x. Solve -z - x = -1 for z.
-5
Suppose 9 = 3*p - 4*p - 5*o, 2*o + 45 = -5*p. Let i = p + 5. Let n = 8 + i. Solve -5 - 11 = n*t for t.
-4
Let b be 34/6 + (-2)/3. Suppose -5*n = 16 + 4, b*c + n = 21. Suppose 0 = -c*x + 21 - 6. Solve x*q - 7*q = 8 for q.
-2
Let y be (-3*(-9)/(-12))/(3/(-8)). Solve -y = -b - b for b.
3
Suppose -6 = 2*g + 4*d, -1 = 3*g + 2*d - 0*d. Suppose 11 - g = 5*v. Solve v*i = -2*i - 12 for i.
-3
Let g = -5 + 8. Let z = -12 + 17. Solve -g*t = -2*t + z for t.
-5
Let y = -5 + 5. Solve 0 = -2*a - y + 4 for a.
2
Suppose 0*h = 4*h. Let x(u) = 3*u**2 - 5*u - 7. Let p be x(3). Solve -p*s - 3 - 22 = h for s.
-5
Let z = -3 + 4. Let f = 0 + z. Let k = 5 + -5. Solve g = -k - f for g.
-1
Let u = 167 - 161. Solve -u*k + k = 0 for k.
0
Suppose k - 7 = -2*a, 2*k - 3*a = 3*k - 8. Let f(g) = g**2 - 4*g - 2. Let z be f(k). Let y(q) = q**3 - 9*q**2. Let s be y(9). Solve s = z*u - u + 4 for u.
-2
Suppose 3*p - 2*n - 31 = -3*n, -4*p + 33 = 3*n. Suppose q = 5*q - p. Solve -16 = -q*r - 4 for r.
4
Let c = 3 + -1. Suppose -7*r = -c*r - 40. Solve -3*f - f = -r for f.
2
Let i = 1 - -2. Solve i = 3*v - 9 for v.
4
Let c = 58 - 37. Suppose 5*n + c + 4 = 5*j, j = -4*n - 10. Suppose 6 = j*h - 0*s - 3*s, -6 = 5*h + 3*s. Solve h = 3*v + v for v.
0
Let f = -9 + 5. Let t = -3 - -3. Let x be (t/1)/3 - f. Solve -x*v + 5 = v for v.
1
Suppose 0*l + 4*l = 48. Solve h + l = -3*h for h.
-3
Let c = -8 + 10. Suppose c*k = -k + 3. Suppose -l - k = -4. Solve -s - l = -0 for s.
-3
Let c = 117 - 114. Solve -3 - c = 3*b for b.
-2
Suppose w = 3*w + 2, 16 = 4*m - 4*w. Solve 19 = m*t + 7 for t.
4
Let c be (4 - 3)*0 - -3. Suppose 2*y = -c*y + 20. Solve -y = 2*a - 0 for a.
-2
Suppose 2*k + 2*k = 24. Let p be 0*(-3)/k + 8. Let z = p - 3. Solve z = -3*n + 4*n for n.
5
Suppose 3*o - 4*z - 5 = 9, -4*z = o + 22. Let l = o - -7. Suppose 4*m - 28 = -28. Solve -l*g = -m + 25 for g.
-5
Let w(q) = q**2 + 8*q + 3. Let n be w(-8). Solve -h - n = -2 for h.
-1
Let n(w) = w**2 - 9*w - 6. Let a be n(10). Suppose -3*i - 5*g = -i + 25, -i + a*g = -20. Solve -o + i = -3 for o.
3
Suppose -5*i + 6*i = 0. Let b be (-1 - -3) + (1 - i). Let g be 12/(2/6*3). Solve -g = -b*p - 0 for p.
4
Suppose 3*w = 5*r - 13, -3 = -5*w + 2*r + 7. Suppose d + h = w, 0 = d + 4*d - 5*h - 30. Solve -d*x = -x - 16 for x.
4
Suppose -3*m + 16 = 2*r, -4*r + 18 = -m - 0*m. Solve r*y = -3 - 7 for y.
-2
Suppose -l + 2 = -0*l. Solve -l*b - 3*b = 25 for b.
-5
Suppose 2*q - 16 = -2*v - q, -5*v = 3*q - 22. Solve 4*f = 2 + v for f.
1
Let o = 11 - 8. Suppose -o*v - 2*v = -20, -3*i - 4*v = -16. Solve i = -5*f - 0*f - 5 for f.
-1
Let d(r) = 3*r - 5. Let j(g) = g - 2. Let k(v) = -2*d(v) + 7*j(v). Suppose -4*b - 28 = -4*p, 5 = 2*p - 3*p - 3*b. Let z be k(p). Solve q = -z*q - 3 for q.
-3
Suppose 3*k + 0*x = 2*x - 9, 2*k + 6 = 2*x. Let h = 5 + k. Let j be (12/2 + 0)/h. Solve -j - 13 = -4*w for w.
4
Suppose 6*s - 18 = -0*s. Solve -2*q + q - s = 0 for q.
-3
Let i = 59 + -55. Solve -w + 5*w - i = 0 for w.
1
Suppose 5*c - 5 - 10 = 0, -5*c = x - 12. Let h(s) = s**3 + 5*s**2 + 3*s + 2. Let l be h(x). Let w = -8 + l. Solve 2*q + w*q = 0 for q.
0
Let d(o) = -o**3 + 10*o**2 + 12*o - 8. Let w be d(11). Let x be 0 - (-3)/(w/20). Let z be 20/(-6)*(-24)/x. Solve -z*y - 15 = -9*y for y.
3
Let i be ((-56)/(-6))/((-2)/(-6)). Let f = 10 + -7. Suppose f*c + 4*p = i, -3*c + 3*p = -0*p. Solve 0 = c*z + z - 20 for z.
4
Let o(g) = -g**2 - g + 1. Let j(q) = 5*q**2 + 2*q - 3. Let d(y) = j(y) + 2*o(y). Let z be d(-1). Let v = 0 + z. Solve 0 = -u + 2*u - v for u.
2
Let q = 81 + -78. Solve -o = -q - 1 for o.
4
Let i(n) = 3*n - 12. Let a be i(5). Let t(v) = v**2 - 3*v + 5. Let k be t(a). Solve 0 = 4*o - 1 + k for o.
-1
Let y be 2/(-10) - (-44)/20. Let h(u) = -u - 4. Let t be h(-9). Solve t*b + y = -3 for b.
-1
Let y(c) = c - 6. Let o be y(9). Let f be ((-22)/o)/((-4)/6). Solve -9 = -5*s + f for s.
4
Let l(s) = -s**3 + 11*s**2 + 4. Let x be l(11). Let r be ((-3)/4)/(-1)*-4. Let k be (r + x)/((-1)/(-2)). Solve -3*b - 2 = -k*b for b.
-2
Let c(h) = -2*h + 8. Let w be c(3). Solve w*r + r + 9 = 0 for r.
-3
Let q(p) = p**3 + 6*p**2 + 4*p + 2. Suppose -7*l + 2*l - 35 = 3*m, 2*m = 5*l + 10. Let d be q(l). Let g = 2 + d. Solve -6*c + c = -g for c.
4
Let c(j) = -5*j - 3. Let p be c(-3). Let u = 17 + -5. Let m = 20 - u. Solve -4*f - p = m for f.
-5
Let a be (-4)/(-30) - (-6)/(-45). Let g be 3*(1 - (-2)/(-6)). Solve g*w - 7 - 1 = a for w.
4
Let f be -2*1/(-6)*0. Suppose f*c - 3*c + 9 = 0. Solve 0 = -c*y - 4 - 2 for y.
-2
Let h(u) be the third derivative of u**4/24 - u**3/3 - 7*u**2. Let j be ((-4)/(-5))/(1/5). Let n be h(j). Solve -2 = n*s - 0 for s.
-1
Let u(i) = i - 2. Let k be u(-4). Let a = k + 6. Solve a*v = -2*v for v.
0
Suppose 0 = -f - 2*f + 12. Suppose -9 = -3*t, -3*t + 2 = s - 12. Solve -m = f*m + s for m.
-1
Suppose 4*a = -2*f - 2, a = 4*f - 8*f + 10. Let v be 0 + (a - -1)*-1. Let g = -3 - -6. Solve g = n + v for n.
2
Suppose 10 = 8*f - 7*f. Let s = f + -8. Let n be 33/12 + s/8. Solve n*c - 8 = c for c.
4
Suppose 5*k = -2*f - 20, -f + 8 = -3*k + k. Solve a = -f*a for a.
0
Let n be ((-5)/2)/(3/(-6)). Let k be 1/(-1)*(n - -1). Let p be ((-2)/k)/((-2)/(-12)). Solve -p*x = 2*x for x.
0
Let a = -5 + 5. Suppose 3*v - 5*v = a. Solve v = -j - j - 6 for j.
-3
Suppose 0 = 4*f - 2 - 6. Solve 3*y - f + 14 = 0 for y.
-4
Let a(j) = j**2 - 12*j + 2. Let x be a(13). Solve -x = -4*v + v for v.
5
Suppose 9*h - 725 = 4*h. Suppose -h = -7*p + 2*p. Suppose 0 = -0*i - 3*i - 3*t + 24, 0 = -3*i - 4*t + p. Solve -d - i*d = 8 for d.
-2
Suppose -s = 2*s - 21. Let q be (-168)/(-49)*s/2. Solve 0 = -4*z + q - 4 for z.
2
Let o = -52 - -53.