 - c**2/2 + 3*c + 1. Let z be f(0). Solve -z*a = -0*a - 3 for a.
1
Suppose 0 = 9*i - 5*i - 12. Solve i*y = 6*y + 15 for y.
-5
Let g(u) = -u**3 + 8*u**2 + 10*u - 8. Let h be g(9). Let s be (-4)/10 - (-14)/10. Suppose -4*d + 9 = s. Solve d + h = 3*c for c.
1
Let r(u) = -u**2 + 6*u - 5. Let x be r(4). Suppose 9 = -2*n + 3*h, -6*h + 29 = 3*n - 2*h. Suppose -n*d - 5 + 14 = 0. Solve -2*m + x = -d for m.
3
Let i be 1/1*-2 - -3. Suppose -i = -t + 2. Let z = 1 - 1. Solve z*u = -t*u + 12 for u.
4
Suppose 0 = -r - 198 + 200. Solve 0 = 2*a + r*a + 4 for a.
-1
Let a be (0 + 2/4)*0. Let n(u) = -u**2 + 5*u - 3. Let f be n(4). Suppose -2 = -q + f. Solve -q*v = -a*v for v.
0
Let f be (-60)/(-18) + 2/3. Suppose -15 = -f*z + 13. Let n be (-5)/(-25) + 24/5. Solve z = n*r + 2 for r.
1
Suppose 16*n = -12 + 12. Solve -5*s - 5 = -n for s.
-1
Suppose 0 = 2*q + q - 3*c, 40 = 3*q + 5*c. Solve -q*n + 15 = -2*n for n.
5
Let k(w) = -w**3 - 2*w**2 + 2*w. Let v be k(-3). Solve v*q = 7*q + 4 for q.
-1
Let q be -3 + 2 + (4 - 1). Suppose q*w + 25 = -3*w. Let d be (-5)/((-15)/(-6)) - w. Solve 5*u = d + 2 for u.
1
Suppose 6 = 3*d - 18. Solve -4 = 4*i + d for i.
-3
Suppose -y - 8 = -3*y. Solve 0*m + 12 = y*m for m.
3
Suppose r - 2*k + 32 = 2*k, -3*r - 4*k = 16. Let h = r + 20. Solve -3*p - 5 = -h*p for p.
1
Let h(v) = 4*v - 32. Let y be h(8). Solve y*m + 25 = 5*m for m.
5
Suppose -9 + 37 = 4*u. Let o be (1 + -1)/(8 - u). Solve -p - p = o for p.
0
Suppose 4*l + 2 = 6*l. Let w = 1 + l. Let z be (-9)/(-12)*8/w. Solve 2*u + 5 = z*u for u.
5
Let y(c) = c**3 + 3*c**2 - 5*c + 2. Let v be y(-4). Solve -4*f - 26 = -v for f.
-5
Suppose 0 = -2*i + i + 13. Let t = i + -10. Suppose 27 = r - 3*j, t*j - 28 = -4*r - j. Solve -4*g - 4 = r for g.
-4
Suppose 3*w + 4*q + 12 = 0, 4*w = -q + 4 - 7. Solve 3*l + w*l - 12 = 0 for l.
4
Suppose -2*a = -5*s - 13, -3*a = -a + 5*s + 17. Let d = 17 + a. Solve -4*l = -d - 4 for l.
5
Let m(f) = -f**3 + 5*f**2 - 3*f + 6. Let j be m(4). Solve 13*k + 12 = j*k for k.
-4
Let k(y) = y + 2. Let b be k(-6). Let t = 8 - b. Suppose 4 = 3*u - 0*g + 2*g, 4*u + 4 = 2*g. Solve -4*n + t + 4 = u for n.
4
Let p = -10 + 19. Let o = -39 + 44. Solve -4*v = -p*v - o for v.
-1
Let j(k) = -k. Let h be j(5). Let a = -5 - h. Let o(q) = -q**3 + 5*q**2 + q + 1. Let l be o(5). Solve a = -v + l*v for v.
0
Suppose -j = 3*j. Suppose 2*m + 2*f = 10, j = m - 0*m + 4*f - 11. Let l be (5/(-2))/(m/(-30)). Solve v = -4*v + l for v.
5
Suppose 4*w - 12 - 60 = 0. Let p(i) = -i**3 - i**2. Let j be p(0). Let f be j - w/4*-2. Solve 5*y + 6 = -f for y.
-3
Let q(r) = -r - 3. Let v be q(-5). Solve 6*g + 16 = v*g for g.
-4
Suppose -66 = 5*v + v. Let q = v - -13. Solve q*r - 3*r = 1 for r.
-1
Suppose -x = -5*x + 24. Solve -x + 0 = -2*b for b.
3
Let l(p) = p**2 + 2*p + 2. Let d be l(-2). Suppose -4*n + d*q + 68 = 0, 3*q - 7 = -4*n + 41. Solve 0 = 2*c + 3*c - n for c.
3
Let i(x) = -x**3 + 6*x**2 + x. Let c be i(6). Let v = -2 - -4. Let n be (v/(-3))/(1/(-3)). Solve 0 = c*u - n*u for u.
0
Suppose 1 = -3*o + 4*o. Suppose 3*f + 40 = 5*f. Suppose 0 = 3*d + d + 4*m, 0 = -5*m - f. Solve -d + o = -n for n.
3
Let i(u) = -u**2 + 5*u + 2. Let v be i(5). Solve 7*f - v*f = 20 for f.
4
Suppose 8*s + 6*s - 56 = 0. Solve s + 0 = -2*v for v.
-2
Suppose -w = 5*b + 4*w - 25, 2*w = 6. Let s = 2 - b. Let c be (-1)/6 + (-19)/(-6). Solve s = -t + c for t.
3
Let v(n) = -n**2 - 7*n - 6. Let g be v(-5). Solve -g*u = -7 + 27 for u.
-5
Let x be (-4)/6 - (-6)/9. Suppose 7*q - 3*q - 9 = l, 0 = 3*q + l - 12. Suppose 5*z = 3*n + 10, q*n - 2*z + 2 = -z. Solve n = 2*v - x*v for v.
0
Let j = 16 + -24. Let b = j - -10. Solve 0 = b*q + 11 - 1 for q.
-5
Let q(d) = 72*d**2 - d - 1. Let x be q(-1). Let v be (4/(-6))/((-16)/x). Solve v = 4*m - 1 for m.
1
Suppose -26 = -3*g + 4*d, -g + 5*g = -d + 3. Solve 5*k = 7 - g for k.
1
Suppose -3*t - 2*t = 4*w - 20, 5*w = 25. Suppose 8 = 5*u - 3*u. Solve t*j - 2*j = u for j.
-2
Suppose 0 = -2*r + 25 + 9. Solve 0 = -4*g + r - 1 for g.
4
Let f(b) be the third derivative of -b**4/24 + 5*b**3/3 + b**2. Let g be f(10). Solve -l + g = 3 for l.
-3
Suppose 3*t + 3*m = 39, 10*t + 3*m = 5*t + 59. Suppose 0 + 5 = k. Suppose -k*o = b - 27, -18 = -4*b + 2*o - 4*o. Solve b*y = 7*y - t for y.
2
Let n(i) = -i - 11. Let l be n(-14). Suppose 3*g - 5 = 2*g, 2*c = l*g + 5. Solve -3*a - c = -a for a.
-5
Let x be (15/10)/(2/(-8)). Let z = x + 10. Solve -1 = k - z for k.
3
Let w(h) = -h + 7. Let f be w(0). Let d(v) = -v + 1. Let s be d(1). Suppose s*c + c = 0. Solve -r - 2 + f = c for r.
5
Let b(a) = -a**3 + 5*a**2 + 7*a + 1. Let u be b(6). Let s = u + -3. Let x = 26 + -21. Solve -x*v - s = -v for v.
-1
Let i be (2/(-4))/((-5)/30). Solve -i*o + 0 = -3 for o.
1
Let v(m) = 2*m - 10. Let x be v(6). Solve t = x*t for t.
0
Suppose z - 5*z + 8 = 2*j, -4*j = -2*z - 6. Suppose -j*s + s = 0. Solve 5*b = -s*b - 10 for b.
-2
Suppose 0 - 6 = m. Let l = -5 - m. Let t be 0*(0 + l)/2. Solve t = -0*d + 3*d - 6 for d.
2
Suppose -4*z + 9 = -z. Suppose 7*l = 17*l - 60. Solve -x = -z*x - l for x.
-3
Let l(n) = -n**3 + 7*n**2 + 10*n - 1. Suppose -5 - 15 = -5*w. Suppose p - 13 = b, -45 = -3*p + 5*b + w. Let h be l(p). Solve 0 = 3*z - h for z.
5
Let c(t) = t**3 + 9*t**2 + 11. Let g be c(-9). Suppose 4*l - 151 = -g. Let d be 185/l - (-2)/(-7). Solve 3*o = -2*o - d for o.
-1
Suppose -q = -l + 6, 3*l + 3*q - 3 = q. Let x = 13 + -8. Solve l = x*k + 8 for k.
-1
Let g = 19 - 11. Let x = -7 + g. Solve 4*y = x + 11 for y.
3
Suppose 41 = -3*b - 19. Let l(p) = -p**2 + 3*p + 1. Let i be l(4). Let m be b/i*6/5. Solve -4*s - 4 = m for s.
-3
Let z = -28 - -32. Solve -z = -2*j - 0 for j.
2
Let o(z) = z - 9. Let g be o(9). Solve g - 1 = j for j.
-1
Let b = -7 - -13. Let x = -34 - -39. Solve -x*c + 4 + b = 0 for c.
2
Let p(v) = 2*v + 7. Let i(h) = -2*h - 8. Let l(o) = 3*i(o) + 2*p(o). Let z be l(-9). Solve z = t - 5*t for t.
-2
Let f(b) = b**3 + 8*b**2 - 6*b - 5. Let l be f(-9). Let x be (-24)/l + (-6)/8. Solve x = 3*r + 9 + 3 for r.
-4
Let j = 12 - 11. Solve 3 = z - j for z.
4
Suppose -4*y + 1 = -7. Suppose y*f - 3*f = 0. Solve f = -b - 0 + 5 for b.
5
Suppose -5 - 15 = 5*o, 0 = 4*d - 2*o - 24. Suppose -4*q = 3*v - 18, q = -0*q + 4*v - 5. Solve q*y + d = y for y.
-2
Let q be 2/(-11) - 138/(-33). Solve 0 = 2*k - q for k.
2
Let b(c) = -2*c + 3*c + 3 + 0*c. Let h be b(0). Suppose 0 = v + 1, 3*m + 3*v = -v + 2. Solve -m*k + h*k = -5 for k.
-5
Suppose 0 = 9*o - 12*o + 3. Solve j + o = 2*j for j.
1
Suppose 10*z - 20 = -0*z. Solve 2*a + z = -0 for a.
-1
Suppose 5 = -q + 7. Solve -2*k - 20 = q*k for k.
-5
Let x be 6 - (40/(-18) - 2/(-9)). Solve 2*d - 2 = x for d.
5
Let y = -54 - -36. Let c be (-4)/y + 172/36. Solve c = 2*b - 1 for b.
3
Suppose 16 = 4*s + 4*k, -4*s + 6 + 14 = 5*k. Solve 1 = m - s for m.
1
Suppose 0 = 5*w - w - 16. Solve -2*j = w*j + 30 for j.
-5
Suppose 0 = -k + 5*i - 25, 3*i = k + 8*i - 25. Suppose 5*c - 3 = 4*c. Solve 6*a - c*a = k for a.
0
Suppose 0*i + 2*i - 12 = 0. Suppose -2 + i = o. Suppose o = -3*k + 16. Solve -k*r + 6 = -r for r.
2
Let r(i) = -i**3 - 8*i**2 - 6*i + 7. Let u be r(-7). Solve -a + u*a = 2 for a.
-2
Suppose 0 = 2*c - t - 14, -49 = -6*c + c - t. Let p = c + -5. Solve 0*o = p*o + 4 for o.
-1
Suppose 2*v - 25 = -10*s + 5*s, -s = 2*v - 5. Solve -s*h - 2 - 3 = 0 for h.
-1
Suppose -2*z + z = 2*v - 10, 4*v - 2*z - 12 = 0. Solve 0 = -v*u + 6 + 2 for u.
2
Let j = -18 - -23. Solve 9*w = 4*w + j for w.
1
Let z = 14 - 12. Suppose -3*o + 21 = 4*v, -z*v + o + o = 0. Solve -9 = 4*u + v for u.
-3
Suppose 5*q = -o + 5, 4*o - 42 = -2*q + 4*q. Solve 2*y + o = -0*y for y.
-5
Let s(u) = -4*u - 3. Let w be s(-4). Let y = w + -9. Solve -i = -y*i for i.
0
Let q be 6*(-4 - (-9)/3). Let w be 14/4 - (-3)/q. Suppose w*r - 27 = 9. Solve -b + r = 2*b for b.
4
Suppose -4*x + 60 = 4*q, -3*x - 5*q = -0*x - 35. Suppose -2*k - 3*p + 2 + 2 = 0, k = 3*p + x. Solve -i - i = -k for i.
4
Suppose 0*s - 2*z = 2*s - 2, -2*s + 5*z = -30. Solve -s*g + 10*g = -15 for g.
-3
Let m be (-12 - -12)*1/2. Suppose m = -2*k - 0*k - 4*a - 12, 0 = 5*k - 5*a - 30. Solve -k + 0 = -2*y for y.
1
Suppose 40 = -0*y + 5*y. Solve -o - o + y = 0 for o.
4
Let i be ((-8)/12*30)/(-2) - 4. Solve -2*j - 8 = -i for j.
-1
Let d = 2 - -3. Solve 0 = -2*k + 5 + d for k.
5
Let r be -1*1 + 0 - -3. Let c be 4 - (-1 -