g = 5*f + 39 for f.
-5
Let r(p) = 18 - p - 18. Let z be r(-2). Let x = 29 - 17. Solve -z*t - x = 2*t for t.
-3
Let y = 14 + -11. Suppose y*s + 0 = -3*i - 3, 4*s = 5*i - 4. Let t be 0 - (1 + -5 + 1). Solve j + t = -i*j for j.
-3
Let j = -2277 + 2363. Solve -q - j = -83 for q.
-3
Let v(p) = -p**3 - 5*p**2 - 4*p. Let n(m) = m + 15. Let g be n(-11). Let z(x) = x**3 - 4*x**2 - 4. Let a be z(g). Let o be v(a). Solve o = u - 2 for u.
2
Suppose 16 = 2*v + 5*k, -4*v = 2*k + k - 18. Suppose 2*i = v*i - 1. Solve -2*w = -3 - i for w.
2
Let g(i) = i**3 - 36*i**2 - 38*i + 48. Let f be g(37). Solve -7*h + 12 = -f*h for h.
-3
Let u be (-13 - -21 - 7)*25. Solve 3*s + u = 8*s for s.
5
Let c(i) = -2*i**2 + 12*i + 13. Let q be c(7). Let w(h) = h**3 - 5*h**2 + 5. Let x be w(5). Let s be (q/(-3))/(x/75). Solve 0*u + s = -5*u for u.
-1
Suppose 0 = 4*p - 5*n + 1, 0 = -2*p - n - 0*n + 17. Suppose 2*w + p = 4*w. Let y be 3 - (w + (3 - 3)). Solve 4*u + 3 - 11 = y for u.
2
Let i(z) = z**2 + 5*z - 10. Suppose 0 = -n - 2*x - 7, 0*n + 2*x = 5*n + 35. Let w be i(n). Suppose 4*d = d - s + w, 3*d = -2*s + 8. Solve -2 = -d*l + 2*l for l.
-1
Let n be -6 + (40 - (-1 - 1)). Solve -2*r = -38 + n for r.
1
Suppose 4*s + 2*z - 68 = 0, 5*z - 24 = -2*s - 6. Solve -s*i + 10 = -14*i for i.
2
Let j be ((-16)/24 - -6) + 4/6. Solve -4*l - 8 = -j*l for l.
4
Let t(m) = -m**2 - 30*m - 189. Let l be t(-21). Solve l = 3*h + 2 + 7 for h.
-3
Let f = 44 + -29. Suppose 13*l + 12 = f*l. Solve l*g = g for g.
0
Let w = 349 + -347. Solve 3 = -w*i + 9 for i.
3
Let z be 5/(-30) + (-1 - (-33)/(-18)). Let v be 68/12 - z/9. Solve 5*x - v = 3*x for x.
3
Let d(c) = c**3 - 18*c**2 - 18*c - 17. Let p be (4 - -1)/5*19. Let h be d(p). Solve o - h*o = 1 for o.
-1
Let i(j) be the second derivative of j**4/12 - 5*j**3/3 + 5*j**2/2 + 6*j. Let r be i(8). Let h = r + 19. Solve f - h = -f for f.
4
Let b = -16 + 22. Suppose t + 4 - 8 = 0, 4*d + 5*t = 40. Suppose 2*n + 2*m = b*m + 2, -d*m + 5 = 0. Solve 0 = 4*y - n*y + 4 for y.
-4
Let f(b) = 8*b. Let z be f(-1). Let g = z + 15. Suppose 10 = g*m - 5*m. Solve m = c + 2 for c.
3
Let y(d) = -d**2 - 6*d - 3. Let n be y(-5). Suppose n = -0*b + 3*b - f, -2*f = -4*b + 4. Solve j + j = b for j.
0
Suppose 10*i = -17*i + 216. Solve 2*o - 40 = -i*o for o.
4
Suppose -10*a = 8*a - 108. Solve -a*q + 12 = -2*q for q.
3
Let s be (7 + -1)*(-62 + 63). Solve 7*z - s = z for z.
1
Suppose u - 5 + 3 = -2*w, 2*u + 2 = -w. Solve -w + 22 = 4*o for o.
5
Suppose 9*i = 18 + 9. Suppose 2*u = 135 - 45. Suppose u = 2*w + w. Solve -2*t - w = i*t for t.
-3
Let a(q) = -3*q**2 - 58*q + 2*q**2 + 54*q - 1. Let k be a(-3). Solve -1 = l + k for l.
-3
Let o(i) = -6*i - 15. Let b be o(-3). Solve 25 = -2*m - b*m for m.
-5
Let v(h) = 2*h**2 + 36*h + 38. Let k be v(-17). Solve 0 = l - k + 8 for l.
-4
Suppose -23*b = -16*b. Solve b = 2*g - 0*g - 8 for g.
4
Let k = -37 - -73. Suppose 4*j - k = -2*b, b - 22 = j + j. Solve 2*f - b = 7*f for f.
-4
Let u = 11 - -1. Suppose 0 = 17*b - 11 - 74. Solve b*f + u = 2*f for f.
-4
Suppose -3*a - 20 = -4*u, u + 14 = -2*a - 2*a. Solve 0 = -u*o + 3 + 7 for o.
5
Let a be 800/175 - (-8)/(-14). Suppose -a*o - 17 = -2*l + l, 5*l - 37 = 4*o. Solve -3*r + l*r = 0 for r.
0
Suppose -5*p = 2*q + 8, -q = -2*q - 5*p - 9. Suppose 0 = -4*h + q + 11. Suppose -w + 3*o = -16, 103 = -w - 3*o + 101. Solve -h*a - 5 = w for a.
-4
Let b(z) = 2*z**2 - 24*z + 22. Suppose 0*y - 110 = -10*y. Let c be b(y). Solve c = a - 2*a + 3 for a.
3
Suppose -4*y + 2*y - n = 0, n = 0. Let l = -6 - -17. Let q = -8 + l. Solve y = -q*s - s for s.
0
Let u be (16 - 18)*(22/(-4) - -2). Solve u*p = 12*p + 25 for p.
-5
Let k(u) = 2*u**2 + 33*u + 36. Let a be k(-16). Solve -5 + a = -3*r for r.
-5
Let n = 20 - 33. Let g(d) = d**2 + 12*d - 13. Let z be g(n). Solve 4 = -4*l - z for l.
-1
Let f(b) = -3*b - 3. Let j(p) = -7*p - 7. Let n(u) = -5*f(u) + 2*j(u). Let s be n(5). Suppose 4*w - 2*w - s = 0. Solve w*g + 2*g = -15 for g.
-3
Let t(n) = -2*n**2 + 31*n - 6. Let a be t(15). Solve 6*d = a*d for d.
0
Let a = -782 + 835. Solve a*u - 54*u = -4 for u.
4
Let o = 736 + -733. Solve -4*w + 3*w + o = 0 for w.
3
Let z = -25 - -25. Suppose 3*v - 73 - 20 = z. Suppose -c = -4*i + v, 4 = -i + 5*c - 12. Solve -4*d + 7*d + i = 0 for d.
-3
Let x be 2/((10/(-4))/(-5)). Let w(m) = -m. Let f(c) = c**3 - 5*c**2 + 4*c - 2. Let d(k) = -f(k) - w(k). Let b be d(x). Solve -4*i = -i + b for i.
-2
Suppose 10*u - 12*u = k - 123, -5*k = u - 39. Let v = u - 61. Solve -10 = -v*t + 5*t for t.
-5
Suppose -p - 58 = -60. Let j(k) = 15*k - 23. Let b be j(p). Suppose 3 + 6 = 3*r. Solve r*y + 2 + b = 0 for y.
-3
Let d = -207 + 212. Solve d*t - 49 = -39 for t.
2
Let y = 19 - 19. Suppose z - 5*t - 4 = -y*t, 3*t = -4*z + 16. Let j = 9 - z. Solve -j*f + 1 = 16 for f.
-3
Let v(y) = 3*y + 5. Let c(o) = o - 1. Let r(n) = -4*c(n) + v(n). Let l be r(6). Suppose -u = -5*q + 57, -2*q + 2*u - l = -21. Solve -5*m + q = 2 for m.
2
Suppose 2*i - 13 = -5*j, 4*j - 14 = 5*i - 3*i. Suppose 3*o = 3*n, -4*o = 2*n - 0*o - 12. Suppose 4*v = 2*y, y - 2*v = n*y - 8. Solve -j*w = -13 + y for w.
3
Let a = 343 - 337. Suppose 6*t - 16 = 2. Solve 6 + a = t*k for k.
4
Suppose 0 = -4*v + 12*w - 7*w + 183, 132 = 3*v - 2*w. Solve v*u = 46*u + 8 for u.
-2
Suppose -2*t = 22 - 54. Suppose -72 = -t*r - 24. Solve r*v - 5*v = 2 for v.
-1
Let j(v) = 2*v - 6. Let d(u) = -4*u + 24. Let h be d(5). Let w be j(h). Solve -5 = -w*q + q for q.
5
Suppose 49 = 9*x - 2*x. Solve -5 = 2*b - x for b.
1
Suppose -2*b - b + 12 = 0. Suppose 5*z = u - 13, 0*z = 4*u - b*z - 20. Solve 0*s - 15 = u*s for s.
-5
Let g(d) = -d**2 + 58*d - 497. Let m be g(11). Solve -26 - 54 = m*f for f.
-4
Let b(g) = g**3 - g - 86. Let o be b(0). Let i = 89 + o. Solve m = i*m for m.
0
Suppose -25*c = -30*c + 25. Let n be 0 + 1 + (4 - c). Solve n = 2*i - i + 2 for i.
-2
Let u(l) = -l**3 - 8*l**2 + 7*l - 10. Suppose 0 = -5*g - 3*c + 63, 0*c = -g - c + 11. Let f = -24 + g. Let a be u(f). Solve 0 = -7*d + 3*d + a for d.
2
Let b(a) = 5*a - 87. Let j be b(18). Suppose -4*i + 0*i + 80 = 0. Solve -j*c + 7*c - i = 0 for c.
5
Suppose -5*j = -2*j - 24. Solve -j*w = -3 - 5 for w.
1
Suppose 3*t + 15 = -12. Let y = t - -9. Solve y - 12 = 4*d for d.
-3
Let m = 14 + -4. Suppose 3*w - m = -2*r + 3*r, 4*w - 16 = 2*r. Solve 0 = -w*j + 4*j for j.
0
Let z = 36 + -34. Suppose z*n = t + 1, 0*t - 2*t - 2 = 3*n. Let x(m) = m**2 + m + 4. Let p be x(0). Solve n = -0*s - p*s + 20 for s.
5
Suppose 55 = 5*n + 5*w, -w = 3*n - 4*w - 27. Let s = n - 9. Solve -2 = -l + s for l.
3
Let g(s) = s**3 - 7*s**2 - 20*s + 20. Let u be g(9). Suppose 0 = 2*y - y - 2*r + 3, 15 = 3*y + u*r. Solve 0 = -2*c + y*c - 3 for c.
3
Let i(h) = h**2 - 7*h - 13. Let y be i(9). Suppose 0 = 2*k - y*k + 3. Suppose k = 3*j - 8. Solve -j*z + 0 = -3 for z.
1
Let t = 322 - 322. Solve t*w - 2*w = 4*w for w.
0
Let u = 74 + -71. Suppose t = -0*t + u*b + 13, -b = -t + 9. Solve 5*o = -t - 8 for o.
-3
Suppose 16 = -30*r + 196. Solve r*k + 2*k = -24 for k.
-3
Let f(h) = 6 + 4 - 12*h - 3*h - h**2 + 8. Let m be f(-16). Solve -m*c - 3*c - 25 = 0 for c.
-5
Suppose -4*r = -4*s + 4, -2*s = 2*s + 4*r - 4. Solve -2*z + 3*z + s = 0 for z.
-1
Let q = -23 + 21. Let z be q - 3/((-12)/8). Solve -3*u = -z - 15 for u.
5
Suppose c - 5*d + 4 = -2*c, -5*c + 55 = 4*d. Suppose 19 = 3*u + c. Let o be (-36)/9*(-6)/u. Solve -2*k + 4*k = o for k.
3
Suppose -7 = n + 5*b, 3*b = n - 0*n - 9. Suppose -n*a - 75 = -8*a. Solve -6 = -3*l - a for l.
-3
Suppose o + 3 = 1. Let t be (12/(-7))/(6/(-21)). Let q = o + t. Solve 0 = q*m + 1 - 5 for m.
1
Let l = 10 + 32. Suppose o - l + 39 = 0. Let s(k) = k**3 - 3*k**2 - 4*k. Let m be s(4). Solve o*r = -m*r for r.
0
Let w = -84 + 98. Suppose 96 - 111 = -3*v. Solve v*b + w - 34 = 0 for b.
4
Let s = -159 - -161. Solve 0 = s*h - 3*h + 5 for h.
5
Let k be (3/(-9))/((-2)/12). Suppose 0 = -7*p + 6*p - 28. Let o = 37 + p. Solve o = k*v + v for v.
3
Suppose 6 = -14*k + 16*k. Solve -2*g - 3 - k = 0 for g.
-3
Suppose 5*k + 4*l + 90 = 231, l - 159 = -5*k. Let f(b) = 2*b**3 - b**2 + b - 1. Let g be f(2). Solve 4*z - g = -k for z.
-5
Let w = 7 + -4. Let g = 16 - 5. Suppose f = g + 1. Solve f = -5*v - w for v.
-3
Suppose -3*d + 9 = -i, 27 = 5*d - 3*i + 8. Solve -c = d*c + 3 for c.
-1
Let d(x) = -x**2 + 38*x + 316. Let z be d