 + (-1 - 2142/(-135)). Solve 14*u + u = k for u.
1
Suppose 6*h = 3*h + 6. Let k(p) = -2*p**2 - 9*p + 7. Let q be k(-5). Solve -h*o = q*o for o.
0
Let t(u) = -u**3 + 7*u**2 - 9*u + 5. Let a be t(5). Let x be (182/65)/(22/a + -2). Solve -3*k + x = -1 for k.
5
Suppose -y - 4*i + 3 + 17 = 0, -5*y + 100 = -2*i. Let s be ((-1)/4)/((-1)/y). Solve 28 = -s*b + 3 for b.
-5
Suppose 3*q - 2*k = -0*q + 13, 3*q + 1 = -5*k. Suppose -5 = -11*z + 10*z. Solve -7 = -z*y + q for y.
2
Let j = 476 - 473. Solve 0 = -5*l + 18 - j for l.
3
Suppose 572 - 697 = -5*a. Solve -a = 5*v - 0*v for v.
-5
Suppose -a = -5*w - 4, -4*w + 9 = 3*a - 3. Suppose a*k + k = -50. Let m(x) = -x**2 - 11*x - 2. Let b be m(k). Solve 0*s - b = -4*s for s.
2
Let g be 2 - (-5)/(10/44). Suppose -3*i - g = -i. Let h = 19 + i. Solve -3*m + 8 = -h for m.
5
Let d(w) = 2*w**3 - 4*w**2 + w + 2. Let i be d(2). Suppose -2*y + 2 = -i. Solve -15 = 8*s - y*s for s.
-3
Let g(w) = w + 5. Let t be (-5)/(-5)*(1 + -1 + -1). Let h be g(t). Solve 6 = h*k - 10 for k.
4
Suppose 425 = 4*r + r. Suppose 2*a + 3*a = r. Solve 3*f - 2 = -a for f.
-5
Let w = 8 + -4. Suppose 16 = 2*o - 28. Suppose 0*l = -3*z - 4*l + o, 3*z = l + 32. Solve -w*i + z = i for i.
2
Let v = -2 - -8. Let s be v/15 - 9/(-15). Suppose -3*k + s = -8. Solve b - 6 = -k for b.
3
Let j be (-19 - -24) + (10 - 1). Solve j*t + 6 = -36 for t.
-3
Suppose -13*x + 11*x = -214. Let r = x + -107. Solve r*v = -v for v.
0
Suppose -l + 3*n + 54 = 0, 11*l = 6*l + 3*n + 246. Solve 8*o + 4*o = l for o.
4
Let o = 99 - 97. Solve o = k - 0 for k.
2
Suppose -l - 6 = -10. Suppose 3*h = -5*c + 46, -3*h - 18 = l*c - 62. Suppose 3*m - 3*j = 2*m + 12, -3*m + h = -j. Solve m*z = 6*z + 6 for z.
-2
Let z = 885 + -861. Solve -11*v = -5*v + z for v.
-4
Let d(x) = x**3 + 19*x**2 + 2*x + 42. Let m(v) = -v**2 - 9*v - 37. Let c be m(-6). Let u be d(c). Solve 0 = -u*h + 3*h for h.
0
Let i(h) = h + 16. Suppose 5*b + 5*q - 40 = 0, 2*b - 4*b + q + 7 = 0. Suppose 5*c + 0*u + 60 = b*u, 40 = -3*c + 5*u. Let n be i(c). Solve -n = -4*v + 2*v for v.
3
Suppose -y - 4*y = 0. Suppose -5*a + 27 = 12. Let s be 13*(y + 1) + a. Solve s = -4*n - 4 for n.
-5
Let u be ((-846)/188)/(57/(-24) + 2). Solve 90*j + u = 93*j for j.
4
Let g(l) = -8*l + 41. Let x be g(4). Solve -h = 5 - x for h.
4
Suppose 8*k - 10*k = -2*z - 12, -5*k + z = -26. Solve 7 - 12 = -k*x for x.
1
Suppose 3*u - 345 = -2*u. Let d = u - 59. Solve 0*y - 5*y = -d for y.
2
Suppose -4*u = 4*h, 2*h + 1 = -3. Solve -22 = 4*i - u for i.
-5
Let z be (-1782)/(-154) + (-8)/14 - 1. Solve z*o + 2*o = -48 for o.
-4
Let j(a) = 2*a + 23. Suppose 2*c = -5*z - 40, -5*c + 3*z - 15 = 23. Let m be j(c). Let n = 9 + 15. Solve -9 + n = -m*r for r.
-5
Suppose -k - 3*k = -5*y - 60, -2*y = -5*k + 58. Solve 0 = w - 9 + k for w.
-1
Let q = -459 + 461. Solve q*p - 10*p - 8 = 0 for p.
-1
Suppose f - 13 = -2*u, 3*u - 36 + 29 = f. Solve 11*r - f*r - 6 = 0 for r.
1
Let k(o) = -9*o - 67. Let j be k(-8). Solve 65 - 45 = -j*v for v.
-4
Suppose 2*q - 4 = -3*g, q - 5*g = -24 - 0. Let n be 4 - (0/(-4))/(q/(-2)). Solve 2*w + 0 = n for w.
2
Let a(s) = s**2 - 27*s + 183. Let t be a(15). Solve t*m = -7*m - 10 for m.
-1
Let q = -6 + -10. Let z be 2/(-6) - q/3. Solve w = -1 + z for w.
4
Suppose -4 = -s - 5*y, -s - 2*s + y - 4 = 0. Let l be s/4 + (-74)/(-8). Let i be 6 - (-1*12)/(-3). Solve -n = i*n - l for n.
3
Let m(n) = -n**3 + 2*n**2 - 2*n + 9. Let t be m(4). Let b = t + 35. Let y be (b - 7)*-1 - 0. Solve 4 = k + y*k for k.
1
Let m(q) = -q**3 + 3*q + 2. Let p be m(-2). Suppose -5*i - 4*n = -80, -3*i - 4*n = -p*i + 40. Solve -5*g = -g + i for g.
-5
Let g(i) = 21*i**2 - 1. Let c be g(-1). Let j(h) = -h + 20. Let m be j(c). Solve m = u - 5*u - 8 for u.
-2
Suppose -5*l - 3 = u, 5*l - u = -5*u + 3. Let a be (4 - (4 - l))/(-1). Suppose -w + 4 - a = 0. Solve -1 = -w*h + 8 for h.
3
Suppose 3*k = 5*x - 16, 2*k - 31 = -3*x - 2*x. Let s = k - -8. Solve 4*q = 3 - s for q.
-2
Let j be (1 + 5/(-10))/((-2)/(-72)). Suppose 5*r = -2*a + 71, -a = -2*r + 6*r - 55. Let n = -6 + r. Solve n + j = 5*w for w.
5
Suppose 11*y + 240 = 6*y. Let r be (4/6)/((-32)/y). Let g = 3 - 1. Solve g*q + 3 = -r for q.
-2
Let c = -410 - -446. Solve -9*q = -9 - c for q.
5
Let p = -25 - -24. Let b be p*3*(2 + -3). Suppose b*y = 4*y - 2. Solve y*o = 7 - 1 for o.
3
Suppose 5 + 25 = 5*f. Suppose 5*b = f*b - 2. Suppose 0*l + b*s + 30 = 2*l, -3*l + 2*s = -40. Solve 3*p - l - 2 = 0 for p.
4
Suppose -5*t + 43 = -82. Solve -14*a = -9*a - t for a.
5
Let a be 2/11 + 64/11. Let k(m) = 5*m**2 - 14*m - 38. Let z be k(-2). Solve -a*d + z = -d for d.
2
Let y be ((-1)/(-2))/(6/72). Let o be y/((-7)/((-84)/8)). Suppose -o - 60 = -3*f. Solve 5*b + 8 = f for b.
3
Let u(c) = 4*c - 96. Let q be u(26). Solve -q + 3 = -j for j.
5
Suppose 2*k - 59 = -9. Let m(l) = -3*l - 12. Let q be m(-5). Suppose 11 = 3*h - 3*f + 4*f, 9 = h + q*f. Solve h*i = -2*i + k for i.
5
Let h = 18 - 16. Suppose -h*u = -4*u. Solve u*a + 3 = a for a.
3
Let g(p) = p**3 - 18*p**2 - 33*p - 109. Let l be g(20). Solve -l*x - 30 = -37*x for x.
5
Suppose 5*p = -3*v + 5, -2*v - 2 + 7 = 3*p. Solve v*k - 34 = 16 for k.
5
Let x(g) = -g**3 + 1. Suppose 19 = 2*q - q + 5*s, -5*q = -2*s + 13. Let r be (2 - 3 - q)/1. Let y be x(r). Solve -y = 2*b + 3 for b.
-2
Let v(a) = 7*a + 29. Let q(i) = 4*i + 15. Let b(t) = -5*q(t) + 3*v(t). Let c be b(-7). Suppose 120 = -3*l + 8*l. Solve c*m + l + 1 = 0 for m.
-5
Let k be -21*(-2)/15*(-38 + 43). Solve -12*p + 8 = -k*p for p.
-4
Suppose 10*m - 5 = 9*m. Solve g = m*g - 16 for g.
4
Suppose 8*m + 3 + 253 = 0. Let r = m + 35. Solve 0 = p - 0 - r for p.
3
Let b(t) = 7*t + 48. Let q be b(-6). Solve q = -0*j - 6*j for j.
-1
Let m(t) = -39*t - 189. Let c be m(-5). Let l(h) = -h + 10. Let i be l(6). Solve -6*p + c = -i*p for p.
3
Suppose i = -4*i. Let g be i*(4/(-3))/(-4). Let j be (2 - -1)*(-10)/(-3). Solve g = -m - m + j for m.
5
Let z be (-162)/24*480/(-45). Solve 5*c - z = -87 for c.
-3
Let d(g) = -g**2 - 18*g + 13. Let j be d(-18). Solve j = k + 14 for k.
-1
Let x(g) = -g**3 - 3*g**2 + 5*g - 2. Let d be x(-4). Let f be (-21)/d - (-15)/10. Solve 0 = 5*o - 0*o - f for o.
1
Let a(j) be the first derivative of 2*j**3/3 + j**2 - 4. Let f be a(2). Let b be 0*(16/f + -1). Solve b = l + l for l.
0
Suppose 15*f = 10*f + 180. Let c = f - 34. Solve 3 = -c*b + 9 for b.
3
Let c be 3 - (-2 - (3 - 4)). Solve -c*g + 5 = -3 for g.
2
Let n be 3*-5*(-38)/95. Suppose -2*m = -n*m + 16. Solve 0 = -m*k + 6*k + 8 for k.
-4
Let r(f) = -4*f**3 - 2*f**2 - 20*f - 26. Let s be r(-2). Solve -13*w + 12 = s for w.
-2
Suppose c + 3*i - 29 = -1, -140 = -5*c - 2*i. Solve -5*s = 9*s - c for s.
2
Let m be 44 + (42/(-9) - (-50)/30). Solve 7 = 12*p - m for p.
4
Let u(i) = i**2 + 2*i. Let n be u(-2). Let l(y) = -y**3 - 13*y**2 - 11*y + 8. Let z be l(-12). Let o be (-72)/(-27) + z/6. Solve n = -m - o*m for m.
0
Let u be (17 + -17)/(1 - 0). Let g = -8 + 20. Let w = -10 + g. Solve k - w*k = u for k.
0
Let h be 6/11 - (-1562)/242. Solve -h*p - 12 = -11*p for p.
3
Let c(z) = -z**3 - 2*z**2 + z - 3. Suppose 0 = -6*f - 0 - 18. Let y be c(f). Solve -y*o = -5*o for o.
0
Suppose -23 = 4*h - 35. Suppose 4*z - 5 - h = 0. Solve -z*t = -3*t for t.
0
Let i = 12 + 1. Let f = i + 8. Solve 4*b - f = -5 for b.
4
Let z(x) = 5*x - 69. Let q be z(17). Solve 5*s - q*s = -44 for s.
4
Let x(r) = -r**3 - 5*r**2 - 8*r - 12. Let z = 2 + -6. Let p be x(z). Solve -u = -0 - p for u.
4
Suppose -3*d - 2*m - 1 = 0, 6*d - 5*m = 3*d + 34. Solve 2*w + 5 = d for w.
-1
Suppose 4*g - 8*h + 6*h = -20, -g + 4 = -5*h. Let i(a) = -7*a - 4 + 4*a - 5*a - a**2. Let s be i(g). Solve -3*j + 25 = -s*j for j.
-5
Suppose 5*a - 21 - 9 = 0. Suppose -r + 0 + a = 0. Solve -f + r*f = 15 for f.
3
Let a(m) = -m - 4. Let s be a(-5). Let g be (-1)/((-6)/(-8) - s). Let y be ((-16)/(-2))/(2/g). Solve -o - y = -5*o for o.
4
Suppose 2*p - 135 = -3*d - 40, -4*d - p = -125. Suppose d = 3*o - 44. Suppose k = -2*m - 8, 5*k + 0*m = 3*m + o. Solve 0 = -6*f + k*f for f.
0
Let z = 6 - 1. Suppose -73 = -a - a + v, -a = -2*v - 35. Solve -12 + a = -z*t for t.
-5
Let w be (-1840)/(-100) + (-9)/(-15). Solve 15 - w = -2*b for b.
2
Let f be -3*(4 + (-60)/18). Let d be -8 + 11 - ((-6)/(-2) + f). Solve -d*g = 2*g - 20 for g.
5
Let t be ((-12)/(-4) - (-28)/(-7)) + 5. So