-5*c. Solve -2*x + 1 + 3 = c for x.
2
Suppose -2*u - 24 - 4 = 0. Let z be (-6)/(-21) + (-38)/u. Suppose m - z = 3. Solve 3*h = m*h - 3 for h.
1
Let i = -187 - -200. Solve -i*h + 3 = -16*h for h.
-1
Let n = -25 - -25. Suppose 0 = -q + 4 - n. Suppose -z - a + q = 0, 4*a - 8 = -0*a. Solve -z*k = k - 9 for k.
3
Let y = -28 - -41. Suppose -18 = 10*i - y*i. Solve -6*h = -3*h - i for h.
2
Let g = 2 - 0. Suppose -79 - 23 = -6*z. Let r = -14 + z. Solve -5*q - g = r for q.
-1
Suppose -g + 2 = -3, -2*n + g = 1. Let c(a) = 2*a + 1. Let q be c(n). Suppose -14*l + 16*l + 4*s - 26 = 0, 3*s = l + 12. Solve -q - 7 = l*u for u.
-4
Let v be 2/2 + 1*(14 - 12). Solve -3*a + 0 + v = 0 for a.
1
Let f(r) = 4*r**3 - 5*r**2 + 4*r + 7. Let q be f(5). Let m be q/30 - 4/10. Suppose -5*z + m + 2 = 0. Solve z*o - 10 = 2 for o.
4
Let a(w) = -w**3 + 3*w**2 + 3. Let r be a(3). Suppose 0 = 4*c - 3*z - 14, -2*z - 4 = r*c + 3*z. Let j = 2 - c. Solve -3*m + 9 + j = 0 for m.
3
Let v(w) = -8 + 3*w**2 - 3*w + 2*w**2 - 4*w**2. Let o be v(7). Let j = o + -16. Solve -j*i = -8 - 0 for i.
2
Suppose 2*i = -5*f + 17, -3*f = 4*i - f + 6. Let g be (i/(-8))/(2/8). Suppose g + 4 = 2*b. Solve -m = b*m + 16 for m.
-4
Suppose 0 = 4*q + 4*b - 24, -q - 5*b + 24 = 2. Suppose q*r - 4*x - 32 = 0, -r - 4*x + 15 + 13 = 0. Solve 5*v + r = -0*v for v.
-4
Let x(h) = -17*h + 285. Let v be x(16). Solve -29 = v*y - 16 for y.
-1
Let s be 3*(-5)/((-15)/2). Suppose s*b + j = 9, 4*j - 14 = -4*b + 2. Solve -b*g + 2 - 22 = 0 for g.
-4
Suppose -5*r - 57 = -8*r. Let x = 22 - r. Solve a + 1 = -x for a.
-4
Suppose -38 + 13 = -5*g. Let t = g + 2. Let w be (-2)/t + (-10)/(-35). Solve l - 2*l = w for l.
0
Let t(c) = -3*c**3 - 4*c**2. Let i be t(-2). Suppose i*g - 11*g + 6 = 0. Solve -3 + 5 = g*f for f.
1
Let t(u) = -u + 10. Let c be t(8). Let f(k) = 2*k + 3. Let g be f(6). Solve c*n = 7*n + g for n.
-3
Let p be 110/((-4 - -6)*(-1)/(-2)). Let z be 2/(-6) + p/15. Solve 0 = -z*n + 4*n + 6 for n.
2
Let k(w) = 5*w**2 + 3*w + 9. Let d be k(4). Suppose d*a - 103*a + 2 = 0. Let s be 1*-1*(0 + -1). Solve -2*t = -s - a for t.
1
Let n be 15*(6*(-4)/(-9) + 0). Solve -n = -19*w + 36 for w.
4
Suppose -56 = -7*v - 21. Solve -v + 10 = -5*t for t.
-1
Suppose 6*q + 72 = 3*g, -q + 18 = 2*g - 40. Solve -35*f + g = -42*f for f.
-4
Suppose -4*a + 29 = -5*u, 3*u = 4*a + 2 - 21. Let x(j) = -j**2 + 6*j - 5. Let l be x(5). Let o be 3/((-6)/(-4) - l). Solve -o + a = b for b.
-1
Let s(i) = 55*i - 710. Let n be s(13). Solve -25 - n = -6*t for t.
5
Suppose 14*y = -13*y + 81. Solve -4*b - 11 = -y for b.
-2
Let y = 51 + -49. Suppose -5*u + 3*o = -3, u - y*o = -0*o + 2. Solve -t - 3 = -u*t for t.
-3
Suppose -b + 1 = 4. Let r be b + (-2)/2 + 7. Let o be (-48)/(-14)*21/6. Solve 0*d + r*d + o = 0 for d.
-4
Suppose -14 = -2*k + 4*v, -v = -5*k - 2 + 19. Let f(m) = -m**2 + 3*m. Let r be f(6). Let a = -14 - r. Solve k*j = -j - a for j.
-1
Let p be 1 + 2/(-8)*-4. Suppose -3 = -m, -9*m + 4*m + 5 = -p*s. Suppose -s*o - 6 = -3*t, 0 = -0*o - 3*o. Solve 0 = -t*d + 5*d - 6 for d.
2
Suppose -36 - 22 = -4*m + 2*j, -3*m + 2*j + 41 = 0. Solve -r = m - 22 for r.
5
Let n be 5/(-12)*-10 - 37/222. Solve n*z - 7 = 1 for z.
2
Let u(m) = -m**3 - 7*m**2 - 8*m - 13. Let s be u(-6). Let q be (-20)/(-100) - ((-4)/5 - s). Solve -g = 1 - q for g.
-1
Suppose 0 = 5*w + 2*g - 492, -5*w - 3*g = g - 494. Let n = -95 + w. Solve s - 8 + n = 0 for s.
5
Suppose -84 = -u + 5*u. Let x = -13 - u. Solve 0 = 2*h + x for h.
-4
Let l = -1331 + 1361. Solve -4*g + l = 6*g for g.
3
Let w = 39 + -34. Suppose -2*l + w*s = -28, -5*s = 3 + 7. Solve l - 29 = -4*u for u.
5
Let k be 1*2*42/(3 - -3). Suppose 10*g + k = 17*g. Solve u - g = -0*u for u.
2
Let o(f) be the first derivative of f**3/3 - f**2 + 5*f - 35. Let d = -2 - -2. Let i be o(d). Solve -i*a = -2*a for a.
0
Let f = 537 - 532. Solve -4*x + f*x = 2*x for x.
0
Suppose 3*z + 4*q = -57, q + 27 = -z - 3*q. Let m = -12 - z. Suppose 0 = m*k - k - 8. Solve -k*j = -0*j for j.
0
Suppose 5*b - 6*b = 4*s - 34, 3*s - 5*b - 37 = 0. Solve -s*c = -4*c + 25 for c.
-5
Suppose -4*w + 8*w - 400 = 0. Suppose -5*u = -u - w. Let k = -13 + u. Solve 3*n + 3 = -k for n.
-5
Suppose 3*r - 15*c + 14*c - 2 = 0, -r - 4 = 2*c. Solve r = 23*h - 11*h - 12 for h.
1
Suppose -5*t - 104 = -3*x, 0 = 3*x - 5*t + 4*t - 112. Let w = x - 37. Suppose l + 2*s - 3 = -5, 4*l - 4*s = 4. Solve l = -3*z + w + 2 for z.
1
Let t(c) = c**3 - 63*c**2 - 130*c. Let i be t(65). Solve -7*q + 4*q + 12 = i for q.
4
Let m = -1503 - -1513. Suppose -w - 4*w = 0. Solve 2*g - m = -w*g for g.
5
Suppose 21*i - 15*i - 18 = 0. Solve -4*g + i*g = -1 for g.
1
Let j(z) = -1. Let b(o) = 3*o + 1. Let t(c) = b(c) + 6*j(c). Let w be t(4). Let p be 16/(-20)*(-6 - (-4 + 3)). Solve -23 + w = p*a for a.
-4
Let z = 78 - 75. Suppose -y + 11 = 4*r, 5*r - 29 = -3*y - z. Solve -y - 8 = 3*v for v.
-5
Suppose -k + 5 = 3*o - 6*k, -4*k - 4 = 0. Let g(r) = 3*r - 30. Let q be g(11). Solve o*j = q*j + 6 for j.
-2
Let p = -25 + 27. Let k be 2 + (2 - 2) + p. Suppose 31 = 7*o - k. Solve -o = -3*h + 7 for h.
4
Suppose 2 - 6 = -k. Suppose -3*c + 4*x + 5 = 0, -3*c - 7 = -k*c - 4*x. Let t be -6*((-20)/(-8) - c). Solve -5 = t*s - 20 for s.
5
Suppose -14*g + 7*g + 63 = 0. Let j be (-3)/g - (-50)/15. Solve 0 = j*z - 5 + 2 for z.
1
Let p be (12/8)/(6/20). Suppose p*n - 3 = 4*n. Let s = n + 1. Solve 0 = s*t - 7 - 9 for t.
4
Let m be (-2)/((-1)/(2/4)). Let b be ((-4)/2)/(m - 2). Suppose -j + 6*j = 20. Solve -j = -b*c + c for c.
4
Let h be 16/2 - (0 + 0). Suppose 12*o - 9 - 15 = 0. Suppose 0*p + o*p - h = 0. Solve p*f - f = -6 for f.
-2
Let q(b) = -22*b - 27*b**2 - 18*b**3 + 17*b**3 - 5 + 5*b**2 - 1. Let o be q(-21). Solve -4*x + x = o for x.
-5
Let t be (1 + 1)/((-2)/(-1)). Let c = 14 - 11. Solve -c = -h + t for h.
4
Suppose 11 = 3*w + 2*k - 24, 3*w - 2*k = 55. Let z = 22 - 20. Solve w = -z*c - c for c.
-5
Let o = 2189 - 2146. Solve 20 = 47*f - o*f for f.
5
Suppose -3*j = -3*v + 66 - 12, v = 2*j + 13. Suppose v*t + 2 = 25*t. Solve -21 + t = 4*q for q.
-5
Let f(s) = s**3 + 8*s**2 - 9*s + 13. Let n(q) = q**3 - 4*q**2 - 7*q + 1. Let l be n(5). Let w be f(l). Let a = w + -11. Solve 3*c = 4 + a for c.
2
Let r(j) = -8*j + 48. Let n(g) = -2*g + 12. Let u(v) = 22*n(v) - 6*r(v). Let d be u(7). Solve -2*y = -d*y - 10 for y.
-5
Suppose -2*j - 10 = -3*u, 0 = u + 4*j - 2*j + 2. Suppose 0 = 5*h + 2*i - 3 - 7, -4*i = -u*h + 4. Solve 2 = -0*k + h*k for k.
1
Suppose 0 = -11*g + 14*g - 30. Solve -15 = -s - g for s.
5
Suppose 0 = -9*q - 6 + 33. Suppose k - 5*n = 5*k - 36, -n = q*k - 16. Solve 0 = -k*r + 5*r + 1 for r.
-1
Suppose 5*h + 5 = -n + 4, 2*h = -2. Let r be 7*(-1)/2*-2. Let s be 16/r - 2/7. Solve s*y + 0*y = n for y.
2
Suppose 2*z = 42 + 8. Let h = z + -22. Suppose 0 = 5*p - 0*o + o - 3, 2*o - 6 = -h*p. Solve -5*j + 10 + 0 = p for j.
2
Let y(g) = -g**2 - 8*g - 14. Let v be y(-3). Solve -v + 9 = 4*i for i.
2
Suppose -5 = 5*m - 5*z, -m + 0*m = -4*z + 16. Let y be (0 - 9/(-12))*m. Suppose k - 4*a - 3 = 0, 3*k + 5*a = 2*k + y. Solve 0 = -3*f + k for f.
1
Let u = -9 + 25. Suppose 2*s - u = 4*j, -2*j = s + 5 - 1. Let w = 0 + s. Solve -w = -4*b - 14 for b.
-3
Let x(z) = 7*z**2 - 3*z + 6. Let p(u) = -4*u**2 + 2*u - 3. Let a(m) = 5*p(m) + 3*x(m). Let b be a(0). Solve -c + b*c - 2 = 0 for c.
1
Suppose 4*z = 5 - 5. Solve z = -2*w - 9 + 1 for w.
-4
Suppose 313*z = 316*z - 6. Solve -z + 2 = 9*q for q.
0
Suppose 0 = 15*r - 13*r - 12. Let g(x) = -12*x + 2. Let w be g(0). Solve -w*s + 4 = r for s.
-1
Let o(d) = d**2 - 3*d - 18. Let f be o(8). Suppose -2*k = 12 - f. Solve -k*t - 14 - 6 = 0 for t.
-4
Suppose 4*w = -23*x + 18*x + 84, -5*x + 3*w = -77. Solve -134*r + x = -130*r for r.
4
Let a(j) = 0 + 39*j + j**2 - 42*j - 2. Let c be a(3). Let q be 2 - 6/(-1 + c). Solve -1 = -q*l + 7 for l.
2
Let k(t) = t + 4. Suppose -14 = s - 2*v, 3*v - 33 = 3*s - 0*s. Let g = 4 + s. Let z be k(g). Solve 5*w + 25 = -z*w for w.
-5
Let b = 14 - 23. Suppose 0 = -l - 4*a + 22, 0*l - 10 = -l - a. Let z be 3/l + b/(-6). Solve 4 = -d + z*d for d.
4
Let k = -1289 + 1300. Let a = 11 + -8. Solve 4 = -a*p - k for p.
-5
Suppose -2*f + 2 = 10, -4*f = 2*d + 6. Solve -d*r + 6*r + 2 = 0 for r.
-2
Let z(l) = -3*l + 2. Let h be z(-1). Let o be 12/(-4) + h - 2. Solve o*x = -2*x for x.
0
Let y(l) = -l - 23. Let v