f - c + 3 for f.
-1
Let g(y) = 25*y**2 - 10*y**2 - 4*y - 16*y**2 + 2. Let o be g(-4). Solve o*c = c + 2 for c.
2
Let r(z) = -10*z - 1. Let g be r(12). Let j be g/(-6) - 8/48. Suppose 0 = 3*m - 0*m - 12. Solve j = -n - m*n for n.
-4
Let k(l) = l**3 - 3*l**2 - 4*l. Let m be k(4). Let q be 24 + ((-2)/5 - (-14)/10). Suppose 5 = 10*i - q. Solve 2*f - 5*f + i = m for f.
1
Let v = 1 - -1. Suppose -6*w = -121 + 25. Solve 0 = -2*x - v*x + w for x.
4
Suppose 3 = 3*u - 6. Let r = -24 - -36. Suppose 5*m + 5*i - 45 = -35, -4*m + 4*i = -40. Solve -m*n = -u*n + r for n.
-4
Let k be 85/25 - -4*9/60. Solve k*q - 17 = -13 for q.
1
Let v = 9 + -6. Suppose -q + 15 = -v*a + 6, 2*a = 4*q + 4. Let g(z) = -4*z - 2. Let t be g(q). Solve w + 5 - t = 0 for w.
5
Suppose -k - 2*k = 2*s + 12, 0 = s - 5*k - 20. Suppose s = 12*x - 16*x + 16. Solve -4 + 16 = x*i for i.
3
Suppose 14 + 10 = 6*i. Suppose 2*m = -3*u + 6, -i*u - m + 8 = 3*m. Solve -3*g - 5 = -u*g for g.
-5
Let s = -222 + 231. Solve s*j - 4*j = 0 for j.
0
Let q(u) = -u**2 - 4*u. Let z be q(-5). Let f(o) = -3*o - 9. Let h be f(z). Solve h*s = 2*s + 8 for s.
2
Let b(t) = t**3 - 8*t**2 + 2*t - 6. Let a be b(8). Let h be -3 + (9/6)/(39/52). Let q be 1/h + (a - 6). Solve q*g = g for g.
0
Let w = 66 + -45. Let l = 21 - w. Solve l = 4*s - s + 9 for s.
-3
Let l = 81 - 81. Solve -t - 3*t + 8 = l for t.
2
Let w(p) = p**2 - 6. Let h = 111 - 114. Let n be w(h). Solve n*l + 10 = -2 for l.
-4
Let d = 209 - 134. Suppose d = 5*a + 2*n, -6*n = -a - 2*n + 37. Suppose 10 + 2 = 4*j. Solve j + a = 4*l for l.
5
Let l(u) = -u**3 - 6*u**2 + 3*u + 1. Let m be l(-5). Let s = m - -46. Solve -3*b - s - 2 = 0 for b.
-3
Suppose -2*f - 6 = -22. Let p = f - 6. Suppose 4*q - 14 = -y, -3*q + 11 = 2. Solve c = y + p for c.
4
Let o = 61 + -77. Let d = o - -24. Solve d*l = 3*l + 5 for l.
1
Suppose n + 8 = -3*n - 3*i, i + 9 = 5*n. Let x be -6*5/(-15) - n. Solve 3*m = 13 - x for m.
4
Let f(u) = u**2 - u - 2. Let d be f(2). Let y(p) = p**2 - 6*p - 4. Suppose j - 14 = -2*z, -4*z + 4*j = -z - 21. Let r be y(z). Solve 5*n - r - 17 = d for n.
4
Suppose -i - 3*j + 1 = -16, -28 = -4*i - 4*j. Suppose 3*b = -i*b + 25. Let c be 2/(3/((-78)/(-4))). Solve -c = b*z - 3 for z.
-2
Let z = 101 - 89. Suppose -5*k - y = 4*y - 35, z = k - 4*y. Solve -10*x + k*x = -4 for x.
2
Let y = -4 - -42. Suppose -2*h = -y - 36. Suppose 5*a - 63 - h = 0. Solve a = -r - 3*r for r.
-5
Let a be (-2)/(-6) + 7200/108. Let v = a - 67. Solve v = -j + 5 for j.
5
Suppose -5*x + 40 = 5*h, -4*h + 2*x = -h - 4. Suppose -5*c - h*s = -14, 2*c + 0 - 6 = -2*s. Solve -c*z = -4*z - 4 for z.
-2
Let q be 82/8 + (-15)/12. Solve -18 = -3*l + q*l for l.
-3
Let i be (-5)/(3 - 7/2). Let q = -8 + i. Suppose -c + q = -0. Solve -l = c*l - 3 for l.
1
Suppose 2*a = -1 + 9. Suppose -11 = -3*t - 3*f + 7, 0 = t - 2*f. Solve 6*u = a*u - t for u.
-2
Let v be (-1 + -2)/(2*(-15)/20). Let l be ((-4)/9)/v - (-4)/18. Solve -2*z + l + 6 = 0 for z.
3
Let p(s) = 3*s - 6. Let r be p(4). Let x = -6 + r. Let m be (x - 0) + (6 - 1). Solve -2*d = -1 - m for d.
3
Let v be (-5 - -2)*252/(-189). Solve -8*m + 9*m - v = 0 for m.
4
Suppose 5*o + 89 = 5*h + 119, -2*o - 2*h = -28. Solve 2 + o = -6*z for z.
-2
Let n = -45 - -77. Let g = -31 + n. Solve -g = 4*d + 7 for d.
-2
Suppose 3*i = 3*w + 7*i + 98, 3*i = -w - 41. Let n = 28 + w. Solve 20 = 3*j + n*j for j.
4
Let w = 1026 + -996. Solve -17*a = -11*a + w for a.
-5
Let d(j) = -j**2 + 16*j + 7. Let t be d(16). Suppose 0 = -6*b + t*b. Solve b = w + w + 4 for w.
-2
Let h(k) = -2*k**2 - 96*k + 104. Let s be h(-49). Solve -g + s = 5*g for g.
1
Suppose 0 = 2*n - 204 + 84. Suppose -j - 2*a + 41 = 0, 3*j - 3*a = 81 + n. Suppose -4*u + 3*u = 5*b - j, -b + 4*u = -30. Solve -w - b = -6*w for w.
2
Suppose -17*x = -14*x + 177. Let k = x + 59. Solve k*u + 3*u = 6 for u.
2
Suppose 3*q + y + 74 - 108 = 0, -4*q = -5*y - 39. Solve -12*m = q + 1 for m.
-1
Let s = 66 + -59. Solve 0 = 4*z + 3 - s for z.
1
Suppose z + 15 = 6*z. Let r = z - 1. Solve o = -0 - r for o.
-2
Let q = 22 - 16. Let x(s) = s**3 - s**2 - 1. Let k(y) = 27*y**3 - 6*y**2 - 5. Let t(h) = -k(h) + 6*x(h). Let d be t(-1). Solve -b = -q*b - d for b.
-4
Let f be (-1)/6 + 10/60. Suppose 4*v = -3*s + 31, -4*v - 4 = -4*s - f. Solve 5*w + 0*w - s = 0 for w.
1
Let i = 127 - 125. Solve i = 6*c - 4 for c.
1
Let q(n) = 15 + 6*n**2 + n**2 - n**3 + 2*n**2 - 11*n + 2*n**2. Let h be q(10). Let k be (8/5)/(1/5). Solve -k + h = l for l.
-3
Suppose 3*f = -3*g + 3, 5 = -3*g + f + 20. Solve -7*a - 4 = -g for a.
0
Suppose 0*a + 3*a - 9 = 0. Suppose r + 4*f = 8, -5*r + a*f = 39 - 10. Let l be (-5 + 3 + r)*-1. Solve l + 4 = -5*s for s.
-2
Suppose -33 = -10*o - 3. Suppose 0 = d - o - 3. Solve d*i = i for i.
0
Suppose 0*o + 5*o - 30 = 0. Solve o*a - 7*a - 4 = 0 for a.
-4
Suppose 0 = -3*r - f - 263, 3*f = 5*r + 248 + 181. Let h = -84 - r. Solve -6 = -h*d - 0 for d.
2
Suppose -68 - 124 = 3*v. Let l be 24/v + 54/16. Suppose -10 = -2*y + 5*f, 0 = 2*y + l*f + 2*f + 10. Solve -r - 2*r - 12 = y for r.
-4
Suppose -6*u - 42 = -3*u. Let z be u/(-35) + (-46)/(-10). Let k = -43 + 51. Solve 3 = z*a + k for a.
-1
Suppose 0 = -5*x, 3*p + 0 - 12 = 3*x. Let k be 3/(2/(8/(-3))). Let r be (3/(-1))/(4/k). Solve p*f = f - r for f.
-1
Let q(y) = 69*y**3 - y. Let h(x) = -x + 11. Let r be h(10). Let k be q(r). Suppose 5*i - k = 7. Solve 5 - i = -5*b for b.
2
Let y = -30 + 44. Suppose -15*n = -y*n - 3. Solve 0*c - 6 = n*c for c.
-2
Let w be (-228)/6*1/(-2). Suppose -n + 5*r = w, 0 = -n - n + 4*r - 14. Solve 2*z - n = -5 for z.
-2
Let j be (6/(-9))/((-20)/120). Solve -j*p = -3*p for p.
0
Let v(k) = k**3 + 6*k**2 - k + 6. Let u be (2 + -4)*(2 + 1). Let i be v(u). Suppose -3*y + 6 + i = 0. Solve -d - d = y for d.
-3
Suppose 0 = -3*f - 7*f + 50. Suppose 2 = -4*l + 6*l. Suppose -27 = -3*g + 3*s, -2*s - l = -g + 13. Solve f*n + g = 4*n for n.
-4
Let u be 1*9/(36/(-8)). Let q be -6*4*(-1 - 1/u). Let l(n) = n**3 + 3*n**2 + 2*n + 3. Let t be l(-2). Solve -t*d + q = d for d.
3
Suppose 0 = 4*y - m - 5, y + 0*m - 5*m = -13. Suppose 3*i - y*i = 12. Solve 0*u = 4*u + i for u.
-3
Let n(o) = 3*o + 9. Let m(f) = f + 4. Let c(p) = 7*m(p) - 3*n(p). Let w = 11 + -14. Let t be c(w). Solve -2*j = -t*j - 25 for j.
-5
Let g(u) = u**3 - 7*u**2 + 12*u - 24. Let q be g(6). Solve 25 = q*k - 7*k for k.
5
Suppose -3*g - 3 = -6*g. Suppose 5*q + g = 6. Solve 0 - q = i for i.
-1
Let h(w) = 3*w**2 - 2*w - 6. Let j be h(2). Solve j*t - 3 = 3 for t.
3
Let f(w) = -2*w**3 - 10 + 17*w - 12 + 3*w**3 - 10*w**2 - 5*w. Let h be f(9). Solve -n - h + 1 = 0 for n.
-4
Let y(f) be the second derivative of f**4/12 - f**3/3 + f**2/2 + 16*f. Let q be y(1). Solve q = 3*b - 1 - 14 for b.
5
Suppose -34 + 12 = -11*r. Solve r*p + p + 6 = 0 for p.
-2
Suppose 0 = 3*a + 3*a - 72. Suppose 0 = a*o - 4*o - 24. Solve 6 = -6*u + o*u for u.
-2
Let l(d) be the third derivative of -d**5/60 + 5*d**4/24 + d**2. Let o be l(3). Suppose 0 = 12*m - 0*m - 48. Solve 0 = -k + o - m for k.
2
Suppose -3242*q = -3250*q + 48. Solve q*i - i = 25 for i.
5
Let z = -103 - -180. Suppose -z*i + 78*i - 10 = 0. Solve 5*a + i = -5 for a.
-3
Let o(w) = w - 7. Let f be -2 - -4*2/4. Suppose -4*u + 60 - 16 = f. Let i be o(u). Solve -i*y = 3 + 5 for y.
-2
Let u be -3*-2*(-10)/(-15). Solve -u*f = 3 - 11 for f.
2
Suppose -4*y + 5 = 1. Suppose 7 + 13 = 2*v - 4*z, -3*v = 4*z. Suppose -18*o = -16*o - v. Solve o*s - s = -y for s.
-1
Let x be 2 + 36/30*30/(-4). Let j = 7 + x. Solve j*n + 6 = -3*n for n.
-2
Let q be (7/14)/(2/(-12)). Let c = q - -4. Solve 2*z - c + 7 = 0 for z.
-3
Let r = -1 - 0. Let n be (0 + 3 - 3)/r. Solve n = -m - 4 - 1 for m.
-5
Let x be (-2)/((-106)/(-27) - 4). Suppose -8*p + x + 21 = 0. Solve -d - 2*d = p for d.
-2
Let x be -3*((-88)/33 - 7). Solve 10 = -x*b + 24*b for b.
-2
Suppose 4*v + 2*f = 7*f + 55, -4*v + 3*f = -65. Solve -23 = z - v for z.
-3
Let p = 268 + -268. Solve -2*j + 8 + p = 0 for j.
4
Let s(l) = -l - 13 - l + 6 + 15 - l**2. Let v be s(-4). Solve -4 + v = 2*t for t.
-2
Let v(s) = 3*s + 32. Let p be v(-10). Let c be p/(-9) + (-658)/(-126). Solve x = c*x - 8 for x.
2
Suppose 2*c - 47 = -3*j, -2*j = 5*c - 6 - 29. Let h = -1167 + 1171. Solve h*q - j = -q for q.
3
Let z be ((-4)/(-10))/(9888/760 + -13). Solve 0 = 11*k - z - 6 for k.
4
Let r = -218 - -170