)/(-1)*-1 - -3. Solve s*b - 3*b = y for b.
0
Suppose -2*s + 3*s + 6 = a, -2*a + 3*s = -14. Suppose 3*t = t + 30. Solve f + a*f = t for f.
3
Let x(s) = -s - 9. Let f be x(0). Let r = f + 13. Suppose l = -r*l. Solve -4*v + 0 + 16 = l for v.
4
Let n be (1/(-2))/((-5)/(-50)). Let p = 8 + n. Solve -3 = -2*u + p for u.
3
Let h(c) = 2*c**2 - 3*c - 9. Let t be h(3). Solve -2*q + 7*q = t for q.
0
Suppose -l = -n + 2*l - 9, -1 = 5*n - 4*l. Suppose 5*j + 16 = -14. Let p = j + 6. Solve -n*y + p*y = 0 for y.
0
Let v(j) = 4*j - 23. Let n be v(7). Solve -n = 3*g + 4 for g.
-3
Let j be (-4)/(-10) - (-2)/(-5). Suppose -3*b - b = -16. Solve b = 4*c - j*c for c.
1
Suppose -25 = -5*o + 3*w, 3*o + 13 = -4*w - 1. Suppose -2*q = 2, -3*c - 2*q = -c. Let f = c - 1. Solve 0*s + s - o = f for s.
2
Let v = 15 - 10. Suppose -5*n = 25, 4*w = -4*n + 3*n - v. Solve w = 5*s - 3*s + 4 for s.
-2
Let g(i) = 2*i**3 - i**2 + 2*i - 1. Suppose 1 = -b - 2*p, 0 = -4*b - 5*p - 1. Let n be g(b). Solve 0*q + 10 = n*q for q.
5
Let x(w) = -10*w + 54. Let j be x(5). Solve -5*l + j = -6 for l.
2
Let x(p) = -2*p - 3. Let i be x(-4). Suppose -4*o + 5 = 2*q - 15, i = 3*o - q. Suppose -l + 4 = l, 0 = 2*t + o*l - 14. Solve -2*r - t = 2 for r.
-3
Let l = 17 + 4. Let a = l - 11. Solve -t = t + a for t.
-5
Let c(h) = -6*h + 14. Let q be c(2). Solve 0 = -6*y + q*y for y.
0
Let q = 6 - 1. Let f(j) = 2*j - 3. Let z be f(2). Let a be (z + -1)/(-4 - -6). Solve 0 = -a*n + q*n for n.
0
Let r = 5 - -13. Suppose -2*z - 2*b = 2*b - 24, 2*b = -4*z + r. Solve v = 2*v - z for v.
2
Let t(g) = -g**3 - 4*g**2 + 2. Let j be t(-4). Suppose -17 = -3*w + j*n, 2*w = -w + 5*n + 29. Suppose 0 = -c + w - 1. Solve -c*q + 2 = -4*q for q.
-1
Suppose -2*f + 6 = f. Suppose f*a + a = 12. Suppose 0*q + a*q + 13 = -5*j, -4*q + 17 = -j. Solve 2*d - q = -13 for d.
-5
Let o be (2 + 3)*(-8)/(-10). Solve -o*n + 3*n = -1 for n.
1
Let t = -16 + 20. Suppose t*i + 5 = a, -3*i = -2*i. Solve 7*b - a = 2*b for b.
1
Let q = -5 + 8. Suppose 0*j + 51 = q*j. Solve -42 + j = 5*m for m.
-5
Let h = 10 - 8. Suppose h + 8 = 5*m. Solve -q = 2 + m for q.
-4
Suppose 0 = -2*p + 2*y + 7 + 11, 3*p - y = 29. Suppose 0 = -3*x + p - 4. Suppose 0 = x*g - g. Solve g = -3*d + 5 - 14 for d.
-3
Let a(s) = -s**3 - 4*s**2 + 8*s + 1. Suppose -2 = -c - 0*c. Suppose c*z - 3 = -5*r, 3*z - 5*r + 45 = -2*z. Let g be a(z). Solve 5*p + 10 = g for p.
3
Suppose 6 = p + 5. Let r = p + 3. Solve -r*b + b = 3 for b.
-1
Suppose -20 = -3*b - u, 8*u - 10*u = -5*b + 26. Solve b = 3*o - o for o.
3
Let n be (3 - 2)/(2/4). Suppose 5*v + 6 = -3*x, -3*x - 9 = -n*v - 3. Solve v = -4*d + 16 for d.
4
Suppose j + 6 = -9. Let h = 22 + j. Solve -h*l = -3*l - 8 for l.
2
Let b(j) = -j + 6. Let d be b(4). Solve 3*r + 4 + d = 0 for r.
-2
Suppose 8 = q + 3*q + 4*r, 0 = 4*q + r - 8. Solve 2*v - 4*v = -q for v.
1
Let x = 14 - 12. Solve 0 = d + x for d.
-2
Let r = -61 - -85. Solve -r = 5*a - 4 for a.
-4
Let h = 0 + 2. Suppose j = -h*j. Solve 2 + j = -r for r.
-2
Suppose 4*b = 5*i + 8, -3*i + 3*b - 5 - 1 = 0. Solve -6 + i = -2*a for a.
3
Let c = -16 - -11. Let g be 8/(-1 + (-7)/c). Suppose -g = -5*l - 5. Solve 0 = 3*b - 9 - l for b.
4
Let l(t) = 4*t + 6 + 4 - 3. Let s be l(5). Suppose 2*c + 3*c = -4*d + s, -4*c = -12. Solve -4*z + 9 = -d for z.
3
Suppose 3*w - w - 4 = 0. Suppose w*a + 3*a = -c + 28, -5*a + 34 = 3*c. Solve 0 = -p + a*p - 8 for p.
2
Let q(k) = 12*k**2 + k + 1. Let x be q(-1). Suppose -3*a + 5*a - 12 = 0. Suppose w + 5 = -p, -4*p + a = -w + 1. Solve -r - 3*r - x = p for r.
-3
Suppose 4*d - 54 = 5*z, -3*d = -d + z - 34. Let k = d - 11. Solve 0 = k*l - 2 - 3 for l.
1
Suppose 53 = 4*w + 13. Solve 0 = -5*d + w for d.
2
Suppose u - 3 + 1 = 0, -2*u = 3*g - 22. Let f(h) = -h**2 - 10*h - 5. Let o be f(-5). Solve g*x = x - o for x.
-4
Let g be (-21)/(-12)*(-11 - 1). Let x = g + 22. Let n(f) = 3*f**3 + 2*f**2 - 2*f + 1. Let v be n(1). Solve u - v + x = 0 for u.
3
Suppose 0 = s - 5*t + 10, -4*s + 3*t = 5 + 1. Let m be 15/(-3)*(-1 - s). Let w(f) = 2*f - 5. Let l be w(m). Solve -l*g + 13 + 2 = 0 for g.
3
Let v be (-5)/((-15)/6) + (0 - 2). Solve -5*s + 5 + 0 = v for s.
1
Suppose -1 = -3*t + 11. Let o(s) = 5*s**2 + 2*s - 1. Let k = 4 + -3. Let j be o(k). Solve j = t*x + 22 for x.
-4
Let o(g) = g**2 + 8*g + 2. Let f be o(-8). Solve 2*z - f = -0*z for z.
1
Suppose 8*y - 4*o = 3*y + 26, 5*y - o - 14 = 0. Solve y*s = 3 + 3 for s.
3
Suppose -6 - 8 = -2*d. Suppose -d*q = -3*q + f - 35, q - f = 15. Solve 0*x + q = -2*x for x.
-5
Let h(j) = -3*j**2 - 8*j. Let d(u) = -7*u**2 - 17*u - 1. Let q = -13 + 18. Let v(g) = q*h(g) - 2*d(g). Let r be v(-5). Solve -2*x + r*x = 0 for x.
0
Let y be 2 + (-1 - (-1 - 2)). Solve y*m - 5 = 7 for m.
3
Let s = -87 - -89. Solve 0 = -3*y + s*y + 1 for y.
1
Let w(r) = -10*r + 45. Let z be w(4). Solve 0*v = z*v - 15 for v.
3
Let i = 61 - 59. Solve -y + i = 4 for y.
-2
Suppose 20 = x - 0*x. Suppose -x = -2*v + 5*r, 0 = 2*v - 0*r - r - 4. Solve 2*h + 2 + 6 = v for h.
-4
Let s be 4/6*(-3)/2. Let d = s + 16. Solve -6*h + d = -h for h.
3
Suppose 6*d - 71 = 25. Solve -w + 5*w - d = 0 for w.
4
Let r be (-3)/(-4) + (-135)/(-60). Let z be (-3)/((-36)/16)*r. Solve -6 = z*o - 2 for o.
-1
Let b(c) = 5*c**2. Let g be b(2). Suppose 4*l + 3 = -9. Let k be (1 - 4)*4/l. Solve -k*f = f - g for f.
4
Suppose d - 17 = -3*g + 7, -d = 2*g - 16. Let m = g - 4. Suppose m*o - 27 = -3. Solve q + q = o for q.
3
Suppose -3*t + 7 = -5. Let x be 2 + 0/(6 - t). Solve -g = x*g for g.
0
Suppose -8*f + 6*f = -12. Solve f = -3*z - 6 for z.
-4
Suppose 4*c + 1 = 3*w - 0, 2*c + 5*w = 19. Solve 0 = -h - 2 - c for h.
-4
Let h(c) = -2*c**3 + 1 - 2*c + 4*c - 4*c**3. Let t be h(-1). Solve 0*r - r + t = 0 for r.
5
Let o(j) = j**3 + 6*j**2. Let i be o(-6). Solve 5*x - 3*x + 8 = i for x.
-4
Suppose -12 = -4*k - a + 4, -2*k + 4*a + 26 = 0. Let d be (-1)/(-2) - 1/2. Suppose -g + 0*g - 2*q = 0, d = 2*q. Solve 0 = -k*z - g*z for z.
0
Let f = 4 + -6. Let l be f/2 - (-3 - -7). Let h = l + 5. Solve h = 5*q - 18 - 7 for q.
5
Suppose 5*r = -3*u - 5, 2*r = -3*u + 6*u + 19. Suppose m - 3*b = -15, 2*m + b - 4*b + 15 = 0. Solve -2*h + 0 - r = m for h.
-1
Suppose b - 6*b = -2*b. Solve 2*r + 0*r = b for r.
0
Let o = -8 - -15. Let p(d) = d**3 + 3*d**2 + 2*d - 3. Let x(j) = j**2. Let b(i) = -p(i) + 6*x(i). Let a be b(2). Solve -o*y = -a*y for y.
0
Let n(d) = -d**2 + 2. Let a be n(0). Let v be (-1 - 4)*(2 - 3). Suppose -3*f - v*t = 14, f + 2*t + 18 = -3*t. Solve 0 = -4*z - a - f for z.
-1
Let l be (-16)/((-18)/3 + 4). Let d(i) = 125*i**3 + i - 1. Let n be d(1). Suppose -3*b + j + 75 = 0, l*b - 3*b - 3*j - n = 0. Solve f + b = -4*f for f.
-5
Let v(g) = -2*g**2 - 7*g + 10. Let s be v(-6). Let b be (s/(-15))/((-8)/(-12)). Solve b*i = 6*i + 12 for i.
-3
Let m(b) = 11*b**3 - 30*b**2 + 24*b + 21. Let l(i) = -4*i**3 + 10*i**2 - 8*i - 7. Let k(f) = -8*l(f) - 3*m(f). Let j be k(9). Solve 3 = -j*h - 3 for h.
-3
Let o(h) = h - 4. Let g be o(9). Let b be 2/1 - -3*4. Solve g*q + 4 - b = 0 for q.
2
Suppose -h = 4*h + 3*w - 66, -4*w = 12. Let s be (-40)/(-4) + -3 + -1 + 2. Solve s*m + h = 3*m for m.
-3
Let w be (-40)/(-28)*(-42)/(-3). Let c be 1/4 + 31/4. Suppose -f - f + 2*v + w = 0, 2*v + c = 0. Solve -2*d = -f - 4 for d.
5
Suppose -f + 1 = 4*a, 2*f + 15 = 4*f - 5*a. Solve 4*v = f - 1 for v.
1
Suppose -g - 5*m - 2 = 6, 0 = -5*g - 5*m. Solve g*n + 3 = 11 for n.
4
Suppose 5*b + 3*u = 0, 4*b + 4*u + 6 + 2 = 0. Solve 2 = 5*k - b for k.
1
Suppose -5*l + 7 = 4*a, 2*l + 1 = 5*a + 17. Let y = -24 + 49. Solve l*j + y = -2*j for j.
-5
Suppose 2*q = 4*q - 14. Suppose 3*m - q*m = -d - 14, 5*d - 50 = -4*m. Let f be (0 - -1) + 2 + 0. Solve -f*n = -d - 3 for n.
3
Suppose -135 = -5*j + 5*r, -2*j = -3*r - 38 - 16. Let h = j - 17. Suppose -4*i = s - 11, -i = -6*i - 2*s + h. Solve 1 + 7 = -i*m for m.
-2
Let s be (2/(-1))/(12/(-18)). Solve -s*o + 4*o = 0 for o.
0
Let x(t) = -3 + 2*t - 1 + 3. Let l be x(5). Solve l = 3*i + 3 for i.
2
Suppose -2*v - 3*a = 2*v + 25, -2*a = -4*v - 30. Let h = v + 10. Solve 0*r - h = 3*r for r.
-1
Let r(k) = -k**2 + 7*k. Let v be 7/4*(-8)/(-2). Let n be r(v). Solve n = 2*w - 5 - 3 for w.
4
Suppose 9 + 7 = 4*n. Let l = -16 + 25. Suppose n*m + 1 = l. Solve r - m = -1 for r.
1
Let n(w) = w**2 + 9*w + 10. Let h be n(-8). Let f = h - 0. Solve -f*y = -0*y 