f.
0
Let r(x) = 2*x**2 + 4*x - 3. Let g be r(-3). Solve 3*p = -0*p + g for p.
1
Let m = 33 + -31. Suppose -m*v - 3 = -7. Solve -2*y - 4 = v*y for y.
-1
Suppose -5*x - 800 = 4*u, -7*u + 2*u = -4*x - 681. Let m = x - -166. Solve 0 = w - 3*w - m for w.
-1
Let s = -31 + 35. Suppose s*f + 0*f + 4 = 0, 2*l - 5*f = 9. Solve -5*i + l*i = 0 for i.
0
Suppose 3*u - 4*t - 55 = 0, -15 = 8*u - 9*u + 3*t. Let n(w) = -3*w - 2. Let y be n(-3). Suppose y*l = -0*l + u. Solve l*a - a = -4 for a.
-2
Suppose 35*q = 28*q + 63. Solve q*c - 4*c + 25 = 0 for c.
-5
Let u = -1 - -3. Suppose -3*c + c = 5*y - 14, -c = u*y - 6. Solve 3 = 5*n - c for n.
1
Let o(y) = 23*y + 75. Let z be o(-3). Solve 8*p = z + 2 for p.
1
Suppose 3*i - 9 = 9. Solve 14 - 2 = i*c for c.
2
Suppose 0 = -g - 2, -3*g = i + 10 - 4. Suppose i = -0*v - v. Let f(n) = 21*n**3 - n**2 + n - 1. Let s be f(1). Solve v = -9*o + 4*o + s for o.
4
Let g = 414 + -412. Solve g*r - 3 = -1 for r.
1
Suppose w + 14 = 5*o - 14, -5*w - 25 = -2*o. Suppose 5*d + n - 21 = -0*d, 0 = -2*d + o*n + 3. Solve -5*c - d = 21 for c.
-5
Let b be 0*(1/2 + 0). Let a = 10 + 40. Let j be ((-8)/(-5))/(20/a). Solve j*t + b*t = 16 for t.
4
Suppose -39 = -27*b + 69. Solve -b*j = -5*j - j for j.
0
Suppose 2*r - 79 = -3. Let i = -19 + r. Solve -5*p + i = -6 for p.
5
Suppose -5*w - 165 = -3*k, -k - 25 = 4*w - 3*w. Suppose 47 = -17*q - 55. Let j be (-2)/q - w/45. Solve 4*m + 3 = -j for m.
-1
Let p(q) = -q**3 - 10*q**2 - 14*q + 16. Let a be p(-8). Suppose 7*x - 33 = -4*x. Solve x*o = 3 - a for o.
1
Let b = 44 - 36. Solve -25*g - b = -23*g for g.
-4
Suppose 2*s - 108 = 4*h, -4*s + 3*h + 0*h = -216. Solve -44 = 5*c - s for c.
2
Suppose 23*v - 14 = 21*v. Solve -v*z = -8*z for z.
0
Let r = -4 + 27. Let d = r + -15. Solve 0 = 3*w - d + 2 for w.
2
Suppose -185 = 5*m + n, -m = -5*m - 3*n - 137. Let q be m/(-4) - 2/(-4). Suppose -3*u + 5*h = 4, -u + 20 = 4*u + 5*h. Solve 0*l = u*l - q for l.
5
Let w(z) = 2*z**3 - 5*z**2 - z - 2. Let h be w(4). Let k = -38 + h. Solve -k*q - 12 = -q for q.
-4
Suppose -3*y = -z + 14, 8*z = 4*z - 3*y + 11. Solve -z*w + 4 = -3*w for w.
2
Let m(l) = -l**2 - 28*l - 87. Let s be m(-24). Solve s*z + 28 = 1 for z.
-3
Let d(w) = 2 + 1 + 6*w - 4. Suppose 1 = 5*c - 2*u, 18*u = 23*u - 10. Let n be d(c). Solve n = m - 0 for m.
5
Suppose 5 = 2*q + 1. Let a(x) = -x**2 - 7*x + 18. Let l be a(q). Solve 4 = 4*o - l for o.
1
Let y(h) = -4*h + 17. Let j = 1 + 7. Let d be y(j). Let q(n) = -n**2 - 14*n + 15. Let r be q(d). Solve -z + r - 3 = 0 for z.
-3
Let s = -5 - -11. Let x be 2 - s/(0 + -2). Suppose -x = 4*k - 13. Solve -2 = k*m + 6 for m.
-4
Let v be (-56643)/(-1673) + 1/7 + 1. Solve v = -14*p - 35 for p.
-5
Suppose -5*q = -3*b + 20 + 19, 65 = 5*b + 3*q. Suppose b*v = 18*v - 65. Solve -2 - v = 3*r for r.
-5
Let x(w) be the first derivative of -w**3/3 - 3*w**2 + 4*w - 10. Let g be x(-5). Let q be (11 - g)*1/2. Solve q - 5 = -u for u.
4
Suppose 0 = -4*h - s + 72, 50*h - 55*h + 90 = 5*s. Solve c = -13 + h for c.
5
Let o(d) = -d**2 - 4*d. Let p be o(0). Suppose p*x + x - 2*a = 11, -3*x - 2*a - 7 = 0. Solve -2*n + n = -x for n.
1
Let x(f) = f + 16. Let s be x(-13). Suppose 4*m = 3*g + 15, -s*m + g + 3 = -2. Let i be 1/(-2)*6/(-3). Solve h - i = -m for h.
1
Let g = -13 - 12. Let k be (-80)/g + (-3)/15. Solve -k*s = -0*s for s.
0
Let l be 5 + -7 + 26 + (-5 - -7). Solve -18 + l = 2*n for n.
4
Let q(b) = b**3 - 11*b**2 - 7*b + 79. Let l be q(11). Solve -2*d + l + 2 = 0 for d.
2
Let w(i) = 77*i**2 + i**3 - 85*i**2 - 8 + i + 0*i. Let z(j) = -j + 8. Let g be z(0). Let u be w(g). Solve u*m = 3*m + 9 for m.
-3
Suppose 0 = -5*n + 5*p - 105, -86 = 5*n - 4*p + 16. Let x = n - -23. Solve -12*o = -7*o - x for o.
1
Suppose -4*v - 14 = 3*g, -2*g + 3*v - 16 = 7*v. Let q(u) = u - 4. Let p be q(10). Suppose 26 = -5*d + p, -4 = -3*y + d. Solve k + 0 - g = y for k.
2
Let x be 63/(-84) + 22/8. Solve x*b = 9 - 13 for b.
-2
Let q = -172 + 178. Solve -q*c + 0 = 18 for c.
-3
Let d(f) = -4*f + 20. Let b be d(5). Solve -10*y - 13 + 3 = b for y.
-1
Let t(b) = b**2 - 4*b - 15. Let m be t(7). Let w(j) = j**3 + 4*j**2 + 3*j + 2. Let g = 5 + -8. Let z be w(g). Solve 0 = 5*n - m*n - z for n.
-2
Let q be (-4)/34 - 1740/(-340). Solve q*u + 8 = 23 for u.
3
Let r = -690 + 706. Solve -5*n = -9*n + r for n.
4
Suppose 3*l + 5*m - 39 = 0, -3*l + m + 24 = -15. Let v = -1 + l. Let j = -4 + v. Solve -3*b = b + j for b.
-2
Let x(u) = -u**2 - u + 8. Let j be x(0). Let p = j + -5. Solve -2 = t + p for t.
-5
Let c be 2/7 + (-572)/(-154). Suppose g = -g + c. Solve o - g = 3*o for o.
-1
Let b(z) = z + 13. Let f = 21 - 29. Let l be b(f). Solve j + 4 = l*j for j.
1
Let z(a) = -a**3 + 7*a**2 + 9*a - 8. Let y be z(8). Let d be 2/5 - 96/(-10). Solve 2*o + y - d = 0 for o.
5
Let r(d) = -11*d - 97. Let l be r(-9). Let z be (-4)/(-6)*(-3 - -9). Solve -z - l = 3*w for w.
-2
Suppose -351*g + 366*g = 525. Solve 0*f - g = 7*f for f.
-5
Let g = 15 + -22. Let o be 1 + 2 - (-7 - g). Solve -7 = 2*q + o for q.
-5
Let z(i) = -i**2 + 3*i + 2. Let v be z(3). Suppose 0 = -9*u - 1 + 28. Solve -v = -u*d + d for d.
1
Let r = -42 - -58. Solve -r + 0 = 4*d for d.
-4
Suppose d - 5*b = -4*d + 15, 2*d + 5*b - 41 = 0. Suppose -d*n = -n - 70. Solve 0 + n = -5*z for z.
-2
Suppose 606 - 566 = 8*t. Solve -6*f - t = 13 for f.
-3
Suppose 4*d - 44 = -4*v, 4*d = -3*v + 51 - 2. Solve 21*l - 13*l + d = 0 for l.
-2
Let b = -61 + 63. Solve -b = -3*q + 4 for q.
2
Let q = -47 + 52. Let n(t) = -2*t**2 + 10*t + 4. Let s be n(q). Solve 0*u = s*u + 16 for u.
-4
Let y = 295 + -289. Solve 0 = -5*w + y*w - 5 for w.
5
Let d(s) = s**3 - 24*s**2 + 45*s + 22. Let o be d(22). Let f = 51 - 22. Let n = o - f. Solve 5*w = -n + 5 for w.
-2
Suppose -i + 4*b + 37 = 0, 3*i - 4*b + 24 = 95. Solve -5*c + i = -3 for c.
4
Let q(r) = -r**2 - 38*r - 70. Let p be q(-36). Let t = 4 + -4. Solve 2*u + 4 + p = t for u.
-3
Let h(a) = 2*a**3 + 9*a**2 + 15*a + 57. Let k be h(-4). Solve 14 = -k*x + 6*x for x.
-2
Let l = 768 - 748. Solve 14*b - 9*b = l for b.
4
Let u(z) be the first derivative of -z**3/3 - z**2/2 + 20*z - 2. Let h be u(0). Solve -d - h = -6*d for d.
4
Let t = 231 + -229. Solve -t*j + 4 = -6*j for j.
-1
Suppose 55*z - 58*z + 6 = 0. Solve v - 2 = z*v for v.
-2
Let r(q) = -3*q**3 - 3*q**2 - q + 2. Let x be r(-2). Suppose -l + 15 = 4*l. Suppose g - 12 = 3*k, 4*g - k = -l*k + 6. Solve 1 = g*w + x for w.
-5
Suppose 0 = -2*d - c + 105 - 17, -2*d - 2*c = -90. Suppose 43 = -4*o + d. Solve -3*y = -o*y - 12 for y.
4
Let r(t) = -2 - t**2 - 1 - 521*t + 526*t. Let f be (-3)/((-10)/(-8) - 2). Let g be r(f). Solve 0 = -0*y + y + g for y.
-1
Suppose -2*k = 4*a + 6, 30 = 4*k - 2*a + 2. Suppose m + 25 = k*t, -m - 3*m = 2*t + 12. Suppose 0 = -0*h - 4*h + 16, t*d - 28 = -3*h. Solve -6 = -2*w + d for w.
5
Let t be (78/(-91))/(6/(-28)). Suppose 0 = -11*h + t*h + 42. Solve j - h = -2*j for j.
2
Let w(y) = 4*y**2 - 53*y + 13. Let u be w(13). Solve u = o + 2*o for o.
0
Let t = -54 - -54. Suppose 6*l = -t*l + 12. Solve -2*y = 6 - l for y.
-2
Suppose 21 = 2*k - 5*n + 3, -3*k + 16 = -2*n. Let l be 0 - k/((-12)/15). Suppose l*d = y - 28, -20 = 5*d - d. Solve -6 = 6*w - y*w for w.
-2
Suppose o = -o + 40. Suppose -6*f + 2*f + o = 0. Solve -r + 2*r = -f for r.
-5
Let v be 1 + (-2 - -3) + 22. Suppose -2*j = -0*j - v. Let b be (12/36)/(2/j). Solve -4*d - b = 2 for d.
-1
Let v be 18/27 + (-13)/9*-3. Solve -v*j - 12 = -27 for j.
3
Suppose -2*v = -42 + 34. Suppose 0*l - v = -2*l + 5*z, 0 = -4*l + 4*z + 32. Solve -q = 3*q - l for q.
3
Let r be ((-2)/4)/((-34)/340). Let h = -9 + 13. Solve -h*b + r = -7 for b.
3
Suppose 3 = 2*g + 3*a, 3*g = 4*g + 3*a + 3. Solve g*y = y for y.
0
Suppose 5*o = y + 23, 6*o = -y + o + 27. Suppose -y*a + a + 6 = 0. Solve 2*j + a = -0*j for j.
-3
Let m(n) = n**3 + 28*n**2 - 33*n - 113. Let o be m(-29). Solve 0 = -2*i - o - 7 for i.
-5
Let k be 1 + 0 + 20/(9 - 4). Solve -4 = k*d + 6 for d.
-2
Let s(h) = -4*h**3 + 2*h**2 - 3*h + 3. Let x be s(2). Let d be ((-15)/30)/((-1)/58). Let f = x + d. Solve p - f = -0 for p.
2
Suppose 3*q + 3*a - 14 = 1, -2*q + 2*a = -6. Suppose q*l - 5 = 7. Solve c = l*c + 6 for c.
-3
Suppose -912 - 1088 = -20*n. Solve 107*x + 14 = n*x for x.
-2
Suppose -20 = -5*z + 2*d - 7*d, -3*z - 2*d + 10 = 0. Solve -z*y = 9 - 1 for y.
-4
Let v = 135 - 