- 20 = -7*s for s.
5
Let j be 2/7 + (-738)/(-63). Let s = 12 - 4. Let i = j - s. Solve 15 + 5 = i*t for t.
5
Suppose -27 = -3*a + 4*p, 0*a - 3*a + 12 = p. Suppose 0 = -a*m + 7 + 63. Solve -4*y + m = 2 for y.
3
Suppose -4*c + i = 168, 6*c + 4*i + 210 = c. Let u = -26 - c. Solve u = 5*a - a for a.
4
Let c = -11 - -18. Suppose -2*t = 3*j + j, -j = -3*t + c. Solve -t*b + 5 = -1 for b.
3
Let s be (8/(-6))/((-6)/18). Let w = s - 4. Let a = 13 + -7. Solve -b + a*b - 5 = w for b.
1
Suppose 2*k = -2, -4*o = -5*o - k + 7. Solve 0 = -5*p - o - 2 for p.
-2
Let n(v) = v**3 + 2*v**2 - 3*v + 4. Let c be n(-3). Suppose 29 = c*t + 5. Solve -t*h + 20 = -h for h.
4
Let f(z) = -z**3 - 21*z**2 - 21*z - 16. Let x be f(-20). Solve x = 3*k - 5 for k.
3
Suppose 4*z + 0*z = 0. Solve 2*h + 3*h = z for h.
0
Let q(o) = o**2 + 4*o - 21. Let z be q(-7). Suppose -2*f + 0*m + 1 = -m, -4 = 4*m. Solve z = k - f*k for k.
0
Let c be ((-2)/(-6))/(1/15). Suppose -a = -c*z + 3*a + 20, 0 = -5*a - 25. Solve z = -5*o - 2 - 3 for o.
-1
Let s(z) = -2*z + 4*z + z**2 - 3*z + 4. Let y be s(5). Let b be 20/3*y/20. Solve -n + 3*n + b = 0 for n.
-4
Let y = 8 - 9. Let u = y + 7. Suppose -10 = -u*r + r. Solve 0 = r*s - 3*s for s.
0
Let s be ((-21)/9)/(2/(-6)). Suppose -5*o = -5*h + 15, 0 = 2*h - 5*o + 1 - s. Solve -5*q + h*q + 8 = 0 for q.
4
Let g(a) = -a**2 + 8*a. Let s be g(8). Suppose s = -2*i - 2*i + 20, 5*i = 2*y - 43. Suppose -5*b = -4*w - 23, -3 + y = 4*b + w. Solve -2*l + b*l - 15 = 0 for l.
3
Suppose -2*s = -5*s + 18. Suppose g - s = -5. Solve 5*b + g - 6 = 0 for b.
1
Let l be 1*(-3)/15*-15. Solve l*r - 6 - 9 = 0 for r.
5
Let u(m) = 7*m - 2. Let n be u(1). Solve -i - n = -2*i for i.
5
Suppose -6*c + 10 = -11*c. Let g(b) = -4*b. Let x be g(c). Let z = -6 + x. Solve z*y - 4*y + 6 = 0 for y.
3
Let p = -7 + 11. Suppose -k + 320 = p*k. Let i = k - 44. Solve i = -0*x + 4*x for x.
5
Let r(i) = i**3 - 3*i**2 + 2*i - 1. Let h be r(3). Solve h*z - 15 = 5 for z.
4
Let c be -2 + 1 + 5/1. Suppose 0 = c*u - u - 12. Suppose -t + 4*l + 7 = 0, 3*t + 5*l = t + 1. Solve -t*d = -u*d for d.
0
Let v = -8 + 13. Suppose -v*h - 5*b = -5, 2*h - 3 = -2*b - b. Suppose -2*x - 3*p = -p - 26, 5*x + p - 45 = h. Solve 0 = 2*f + 2 - x for f.
3
Suppose 9*r = -0*r + 54. Solve 3*w = r*w for w.
0
Let a be 1/(((-6)/8)/(-3)). Solve -a*i - i = -25 for i.
5
Suppose 8*j = 3*j + 75. Suppose 5*h = -3*a + 30, -2*a - 5*h + 0 + 25 = 0. Suppose 5 + j = a*c. Solve 0 = c*m - 1 + 9 for m.
-2
Let j = -19 - -19. Let i = -2 + 8. Solve j = -4*k + 2*k + i for k.
3
Let h be 1 - 19/(0 - 1). Suppose 2*l + h = 5*q, -4*q + 16 = -2*l - l. Suppose u = -2*u - 5*w + 10, 4*w = u - 9. Solve -q*b - u = -21 for b.
4
Let c be 2/(-6) - 110/(-33). Let g = 4 - c. Solve -g = 4*i + 3 for i.
-1
Suppose 8 = -b + 4*v, b - 4*v = 4*b - 40. Suppose 4*s + 20 = b*s. Solve s*z = z for z.
0
Let l(n) = -n**2 - 8*n + 1. Let m be l(-8). Suppose 5*y = 9 + m. Solve -y*q - 3 - 3 = 0 for q.
-3
Let p(k) = 2*k + 16. Let c be p(-8). Suppose -t - 3*u + 15 = -c*u, 0 = -5*t - u + 33. Solve -z - 10 = -t*z for z.
2
Let k be (-3)/(-9) - 11/(-3). Let p = -4 + 4. Let u be 4 - 4 - (-3 + 1). Solve -k + p = -u*f for f.
2
Suppose -l = -4*l + 15. Suppose -5*q = -2*t - t + l, -5*t = -4*q - 17. Let n(p) = -p**3 - 8*p**2 - 8*p + 6. Let m be n(-7). Solve -3*b = -q - m for b.
5
Suppose 6 = -g + 18. Solve -3*w + 0 = -g for w.
4
Suppose 0 = -4*o - 12 + 4. Let p = o - -4. Solve 3*c = p - 8 for c.
-2
Suppose 2*k = -0 + 2. Solve r + k = 6 for r.
5
Suppose 3*h - 8 = -h. Suppose -7 = -4*t - 3. Let w = 11 - t. Solve 7*b - h*b = w for b.
2
Let t(n) = n**2 + 9*n + 10. Let o be t(-7). Let m be (14/o + 3)*-8. Suppose 0*u + 100 = 4*u. Solve u = -m*h - h for h.
-5
Let z(m) = -m**3 - 13*m**2 - 13*m - 16. Let f be z(-12). Let i be (-5 - -2) + 3 + f. Let c(w) = -w**2 - 6*w - 2. Let v be c(i). Solve 2 - v = 4*l for l.
-1
Let l(v) = -v - 9 + 2*v + 2*v. Let d be l(7). Solve 5*c - c - d = 0 for c.
3
Let j be -2*(-4)/16*22. Let z(k) = -k - 4. Let y be z(-3). Let h = y + 6. Solve -h*w - j = 9 for w.
-4
Let n be (2 + 0)*6/4. Let f(x) = 2*x + 1. Let y be f(4). Solve -n*v = -0*v - y for v.
3
Let d(q) = q**2 - q. Let y be d(1). Let o be 4 - 5/(5/2). Let f = y + o. Solve -j + 3 = -f*j for j.
-3
Suppose -4*j = 3*d + 2*d - 23, 3*d = 4*j + 1. Let x = -256 - -258. Solve -j*r = x*r - 20 for r.
5
Suppose 7*d - 20 = 2*d. Let z(g) = 3*g - 2. Let x be z(d). Solve x - 22 = -3*u for u.
4
Let t = 4 - 1. Let q(s) = s**3 + 3*s**2 + 2. Let k be q(-3). Suppose 0 = -k*j + 3*j. Solve -2*v + t*v + 1 = j for v.
-1
Suppose -2*d = -6 - 2. Let b be (-2)/7 - (-4)/14. Suppose -4*j + 2*j + 40 = b. Solve 0*t + d*t + j = 0 for t.
-5
Let z = 42 + -42. Let v = 7 - 3. Solve -v*t + 2*t - 8 = z for t.
-4
Let y(o) = 7*o - 33. Let p be y(5). Solve 3*i + p*i = 0 for i.
0
Suppose -4*k - 5*h + 3*h + 20 = 0, -8 = -4*h. Suppose 2*m = 4*p - 46, k*p + p - 5*m = 55. Let t be (-1)/3 + 28/p. Solve 3 = l - t for l.
5
Let s(b) = b**2 - 3*b - 4. Let d be s(4). Let a(p) = -p + 22. Let u be a(d). Let m = -9 + u. Solve m + 7 = 5*h for h.
4
Suppose -2*y = -y. Let c = 80 - 75. Suppose 2*s - 5*h = 4*s - 41, 7 = -s + 3*h. Solve -c*n + n + s = y for n.
2
Let s(y) be the first derivative of -y**4/4 + 2*y**3 - 5*y - 4. Let f be s(5). Solve 3*z + 5 = f for z.
5
Let a(v) = 4*v**2 + 2*v + 2. Let c be a(-1). Solve 1 = x + c for x.
-3
Let r(h) = -h**2 + 7*h - 3. Let t = 22 - 16. Let u be r(t). Suppose -4*w = -4*b + u*b - 22, 10 = -5*b. Solve w*p = 4*p - 5 for p.
-5
Let j be (1 - 6/24)/((-6)/(-16)). Solve 0 = -5*o + 23 + j for o.
5
Let p(g) = 14*g**3 + 2*g**2 - 7*g + 6. Let k be p(1). Solve h = 6*h + k for h.
-3
Suppose -b + 4*s = -6, 4*b + 2*s - 9 = 3*s. Solve 0*x + b*x = 0 for x.
0
Let x be 1*-2*(-4 - 0). Suppose 4*q - 12 - x = 0. Solve 0 = q*o - 1 - 19 for o.
4
Suppose 0 = 5*k - 3*b - 21, 3*k + 2*k + 3*b = 9. Solve -k = 5*f + 7 for f.
-2
Let b be (78/351)/((-2)/(-18)). Solve -b*y - 4 = -3*y for y.
4
Suppose 0 = -7*n + 6*n. Solve h + n = -4 for h.
-4
Suppose 6*y = 10*y. Let u = y - -3. Solve 0 = -u*f + 3 for f.
1
Suppose -w + 127 = 37. Suppose 5*g - w = -0*g. Let p = -12 - -12. Solve p = 4*o - g - 2 for o.
5
Let b = 10 - 10. Solve 0 = -3*h - b*h - 15 for h.
-5
Suppose -53*m - 40 = -58*m. Solve -4*d + m*d - 20 = 0 for d.
5
Suppose 2*c + 6 = c - 2*i, 4 = -4*c + 2*i. Let x be 4/(-4*c/(-4)). Let s(z) = -7*z. Let v be s(x). Solve -4*u + 6 = -v for u.
5
Suppose -y + 3 = -0. Let u = y + -1. Suppose 23 = k - 4*q, 4*k - u*k + 3*q + 9 = 0. Solve -k*z + 4*z - 5 = 0 for z.
5
Let i = -17 - -22. Solve 2*l - i = 3*l for l.
-5
Suppose -1 - 7 = -2*a. Suppose -17 = -4*t - o + 5, -18 = -4*t + o. Let l = 10 - t. Solve l*f - 3 = a*f for f.
3
Let d(o) = -17*o - 9. Let q(f) = 4*f + 2. Let k(j) = 6*d(j) + 26*q(j). Suppose -4*u = -20, 3 = i + u - 4. Let c be k(i). Solve 0 = c*w + 3 + 5 for w.
-4
Let a = -67 - -71. Solve -4*z + 2*z = -a for z.
2
Let p(k) = 2*k + 9. Let u be p(-6). Let q(z) = z - 6. Let t be q(5). Let r = t - u. Solve 15 = -r*d - d for d.
-5
Suppose g = -0*g + 2. Suppose -3*i = -2*i - g. Solve i*b = -3*b - 25 for b.
-5
Suppose 3*h - 21 = -9. Solve -g - h = 1 for g.
-5
Let o(i) = i + 12. Let b be o(-4). Solve -4*c + b = 20 for c.
-3
Let p(b) = 5*b**2 + b. Let c be p(-1). Solve -2*j = c - 0 for j.
-2
Let n(h) = -h**3 + 10*h**2 - 2*h - 10. Let u(x) = -2*x**3 + 19*x**2 - 3*x - 19. Let z(l) = -5*n(l) + 3*u(l). Let q be z(7). Solve -4*r + q = -20 for r.
5
Let k be -2 + -1*4/(-1). Solve m - 2 = k for m.
4
Let y(j) = j**3 + 6*j**2 - 3. Let z be y(-6). Let b be 1/((-5)/2 - z). Solve 0 = -b*m - 3*m for m.
0
Let r = 6 + -1. Suppose -t - r = 5*y, 6*y = 4*t + y - 80. Suppose -8*b = -3*b - t. Solve u + 5 - b = 0 for u.
-2
Let o(m) = -m**3 + 3*m**2 + 4*m - 3. Let h be o(3). Suppose -f + 4*f = h. Solve 0 = f*s + s for s.
0
Let x be (-4)/6*(-81)/(-18). Let u = 8 + x. Solve -4*w - u = -21 for w.
4
Let c(q) = 6*q - 3. Suppose 5*b - 10 = -0. Let f be c(b). Solve -4*z + f*z - 15 = 0 for z.
3
Let w be (3/9)/((-4)/(-300)). Suppose -40 = -2*s - 3*u + u, 5*u - w = 0. Solve 3*b + s = -2*b for b.
-3
Let u = -6 + 9. Let d be (1 + 0)/(1/3). Suppose 4 = -d*f + 7. Solve -f = u*b - 4 for b.
1
Let o be (9 - 3)*20/15. Solve -k + o = 3*k for k.
2
Let c be (-909)/(-99) - 4/22. Let g(u) = -u**3 + 5*u**2 - 4*u + 3. Let w be g(4)