+ 12 for n.
-4
Suppose 3*w = -0 + 18. Let s(k) = k**3 - 4*k**2 + 3*k + 3. Let i be s(4). Let v = 27 - i. Solve -v = 3*o - w*o for o.
4
Let h(v) = -v**2 - 5*v - 2. Let d be h(-3). Solve 4*s - d = -0 for s.
1
Let h(p) = p - 9. Let o be h(9). Solve o*q - 4 = 2*q for q.
-2
Let i = 27 + -12. Solve 5*h - 2*h + i = 0 for h.
-5
Suppose 2*k + 2*k = -4*o + 28, -4*k - o = -19. Let x = 4 + -1. Suppose -4*n + 9 + x = 0. Solve -1 = n*b - k for b.
1
Let k be ((-2)/3)/(4/(-18)). Let f(t) = 2*t - 2. Let r be f(k). Solve -b + 3*b = r for b.
2
Let z(x) = -6*x - 8. Let b(n) = -n. Let p(l) = -5*b(l) + z(l). Let h be p(-8). Solve c = 4 - h for c.
4
Let k(z) = -z**3 - 6*z**2 - 6*z - 2. Let y = 3 + -8. Let q be k(y). Suppose 0 = p - q*p. Solve -2 + p = -w for w.
2
Suppose -r = 5*v - v - 18, 0 = 5*v + 2*r - 21. Solve 0 = 2*m - m + v for m.
-5
Let p be 50/15 + 4/(-3). Solve 0*n = -p*n - 6 for n.
-3
Suppose 0 = -6*s + 7*s - 4. Solve -5*m + 7*m = -s for m.
-2
Let o(z) = -2*z - 8. Let v be o(-6). Suppose -5*i + j = -77, v*i - 5*i + 19 = j. Suppose 3*u + u = 8. Solve 0 = u*r + 2*r + i for r.
-4
Suppose -8 = a + 2*l, -3*a - 3*l - 8 = 4. Suppose 4*o = -a*o + 12. Suppose 6 = 5*y - 94. Solve -o*i - i = y for i.
-5
Let f(v) = -v**2 + 5*v - 1. Let i be f(4). Suppose 0 = 5*n + 2*d - 0 - 2, i*n = -3*d - 6. Solve 0 = -n*r - 0*r for r.
0
Let h(s) = s**3 + 7*s**2 - s + 7. Let a be 4/(-3) - (-1)/3. Let n be (a - -16)/(-3) + -2. Let c be h(n). Solve -2*b = c - 4 for b.
-5
Let c = 24 - 9. Let i = -3 + c. Suppose -y - i = -4*o, 0 = 3*o - 4*y + 3 - 12. Solve o*w = -2*w for w.
0
Let o(d) = d**2 - 1. Let w be o(-2). Solve -13 = -w*t - 4 for t.
3
Let u(z) = -z**3 + 8*z**2 - z + 9. Let q be u(8). Let b be (-7)/(4 - (2 - -3)). Solve 4*g + q = -b for g.
-2
Suppose -p - 1 + 4 = 0. Solve 8 = 5*b + p for b.
1
Let z(r) = r**2 - 7*r + 11. Let m be z(6). Solve 2*g - m*g = -15 for g.
5
Let y(c) = c + 4. Let g be y(4). Suppose -3*h = -3*o - g - 10, -3*h + 4*o + 20 = 0. Solve h = -2*r + 2 for r.
-1
Suppose -z + 4*k - 2 = 4, 2*k = 4*z - 4. Solve 4 = -z*t - 4 for t.
-4
Let x = -42 + 48. Solve o + o = -x for o.
-3
Suppose 2*z = -0*z + 10. Solve a + 0*a = -z for a.
-5
Suppose 7 + 9 = -z. Let c be z/12*(-3)/2. Solve -c = -4*b + 6 for b.
2
Let f be 1 - (-2 + 2) - 1. Suppose 5*x - 4 - 21 = 0. Solve f*t = x*t - 20 for t.
4
Let d = 19 + -14. Solve q = 6*q - d for q.
1
Let a(q) = 14*q + 906. Let x be a(-64). Suppose -9 = 3*d - 6*d. Let k = -4 + 6. Solve d*l + x = -k*l for l.
-2
Let k(l) = l**3 - l**2 + 2. Let y be -1 + -1 - (-60)/6. Suppose 4*h = h - 2*z - y, h + 5*z = -20. Let v be k(h). Solve -7*t - 5 = -v*t for t.
-1
Suppose -48 = -14*g + 8. Solve 6*c - g*c = 4 for c.
2
Let c = 6 + -4. Suppose -c*q - 5 = -5*m - 0, 2*q + 2 = 2*m. Suppose -2*d + r = -11, -2*d + 16 = -q*d - 2*r. Solve y + 4 = -d*y for y.
-1
Suppose 5*f - 1 = 24. Solve 16 - 1 = -f*s for s.
-3
Suppose 4 = -u - 3*y, -2*u - y + 5*y = -22. Solve -10 = -5*l + u for l.
3
Let x be -2*((-9)/(-3))/(-3). Solve -10 + 0 = x*s for s.
-5
Suppose 6*h = h. Solve h = y + 2*y - 9 for y.
3
Let c(k) = k**2 - 26*k + 28. Let s be c(25). Solve -4 = s*o + o for o.
-1
Suppose 0 = -u - u + 10. Let t be 8/20 - (-16)/10. Let f be (3 - t)/(-2)*-2. Solve 4*w + f = u for w.
1
Let c be (26 + 1)*2/6. Suppose -2*a - a = -c. Solve 1 + a = -d for d.
-4
Let j(q) = 0*q**2 - 2*q**3 + 6*q + 4*q**3 - 4*q**2 - 8 - 3*q**3. Let r be j(-6). Suppose x - r = -2*m, -4*m - 3*x + 76 = 22. Solve 3*y - m = -2*y for y.
3
Let f(p) = -p. Let x be f(-6). Let d be (4/x)/(2/75). Solve l + 4*l = -d for l.
-5
Suppose -2*b + 2*y - 27 = 7*y, 2*b + 7 = -y. Let c be 10/(-25)*b*10. Let s = -4 + c. Solve s = 2*q + 2 for q.
-1
Let s = 43 - 36. Solve -4*g = s + 5 for g.
-3
Suppose s - s + s = 0. Solve s = 7*u - 3*u for u.
0
Suppose -5*y - 3*p - 120 = 0, 0*p - 109 = 4*y + 5*p. Let c = y + 26. Solve -3*v + 10 = -c for v.
5
Let i(q) be the second derivative of 3*q**2 + 1/12*q**4 + 5/6*q**3 + 0 + q. Let u be i(-4). Solve u*m + 1 = -5 for m.
-3
Let l(v) = -v + 16. Let n be l(16). Solve n = -5*r - 4 - 11 for r.
-3
Suppose 0 = -0*p + 6*p - 12. Solve -p*k = -k for k.
0
Suppose -4*d - 2*b = -0*d + 10, -6 = 5*d - 4*b. Let l be 2 - (3 - 3) - d. Let u = l - 4. Solve 0*a + 4*a + 20 = u for a.
-5
Let l = -4 + 7. Suppose -2*h + h - 11 = -4*n, -2 = -l*n + 2*h. Let m = 6 - -2. Solve m*k = n*k + 12 for k.
3
Suppose m - 6 = -3*a, -2 + 4 = -5*m + a. Suppose -8 + m = -2*k. Solve -4 + 0 = -k*v for v.
1
Suppose -o - f + 87 = o, 57 = 2*o - 5*f. Suppose -5*l + o = -19. Suppose p + p - l = 0. Solve n + p = 3 for n.
-3
Let f(y) = -y**3 + 2*y**2 + 3*y - 3. Let x be f(3). Let d = 3 + x. Suppose d = a - 6*a. Solve -w - w + 8 = a for w.
4
Suppose -d = 3*c, -1 = 2*c - 0*c + d. Suppose 7 = 4*g - c. Suppose -4*w - g = -6. Solve 1 + w = i for i.
2
Suppose -4*j + 8 = -0. Suppose -j = -5*s + 18. Solve 0 = -l - s - 1 for l.
-5
Let q(b) = b**3 + 4*b**2 - 6*b + 2. Let o be q(-5). Suppose 5*a = o*a. Let s be 6/(-9)*-15 + -2. Solve -3*u + s*u = a for u.
0
Let p = -31 - -34. Solve 0 = 2*c + p + 3 for c.
-3
Suppose i = 4*w + 6, 0*w + 5*w + 13 = 4*i. Suppose -i*m - 2*n = -7*m + 48, -4*m = -3*n - 44. Solve -3*t + m = -1 for t.
3
Let x = 9 - 9. Suppose 2*n - 3 - 7 = x. Suppose 2*p + 3*p - 25 = 0, -3*p - 15 = -n*g. Solve 2*t = 5*t + g for t.
-2
Suppose 0 = -0*s + 3*s - 18. Suppose -4*b = -h + 7, 5*b + 9 = 4. Solve -h*y = -s*y + 15 for y.
5
Let x(z) = -z**2 + 9*z + 3. Let o be x(9). Let q = o - 0. Suppose -q*m = m. Solve -2*v - 12 + 2 = m for v.
-5
Suppose w + 2*w = 138. Suppose -5*c + 2 = 2*j + j, w = 4*j - 2*c. Solve 0 = -j*k + 4*k for k.
0
Let i(q) be the second derivative of -q**4/12 + 2*q**3/3 + q**2/2 - 4*q. Let h be i(4). Let b be -5 + 6 + 1/h. Solve -b*f = f for f.
0
Let z be 2/6 - 28/(-6). Suppose -6*k + 43 + 89 = 0. Solve -z*v - k = 3 for v.
-5
Suppose 16 - 1 = 5*r. Suppose -3*y - y = -m + r, -2*m = -4*y - 18. Solve -2*l - m = l for l.
-5
Let q(h) = h**2 - 10*h + 10. Let r be q(9). Let y(d) = -d + 8. Let m be y(4). Solve r = m*w + 13 for w.
-3
Suppose 53 - 52 = o. Solve -4 = -d - o for d.
3
Let h be -2 - (2 + -2)/1. Let b be h/(17/(-15) + 1). Let d(r) = r**2 + r + 3. Let t be d(-2). Solve b = -4*p - t for p.
-5
Suppose -2*n = n. Suppose n*q + 26 = q + 3*x, 4*q + 2*x - 64 = 0. Solve -2 + q = 3*m for m.
4
Suppose 0 = 5*b - 25 + 15. Let i(g) = -g**3 + 3*g**2 + g + 2. Let v be i(3). Suppose q = -k + 4*k - 17, -v = -5*k - 3*q. Solve f - k = -b for f.
2
Let k be 4/(-12) - (-64)/3. Suppose -3*x + k = 5*l, 6*l - 22 = -5*x + 2*l. Solve 0 = x*z + 10 for z.
-5
Let c be (-1 - (-4)/8) + 15/6. Solve 0 = c*p - 2 + 10 for p.
-4
Let w be 15/(-4) - (-1)/(-4). Suppose 0 = -t - q + 3, -3*t + 11 + 2 = 4*q. Let n = t - w. Solve 7 + n = -5*b for b.
-2
Let j(i) = 2*i - 4. Let q be j(6). Suppose -3*n = 5*g - 3 + q, -5*g = 20. Solve 2 = -n*m + 4*m for m.
-2
Let r be ((-10)/4)/5*-8. Suppose -r*l + 20 = -2*l. Solve -2*n + l = -0*n for n.
5
Let s = 32 - 25. Solve s = -4*i + 3 for i.
-1
Let x(g) = -g + 1. Let m be x(10). Let c = 13 + m. Solve -c = v - 8 for v.
4
Let a be 0 + 3 + (-3 - -2). Suppose -a*j + 8 = -4*c, 10*c = 2*j + 5*c - 8. Solve -j*n + 7 = 15 for n.
-2
Let p(r) = 4*r**2 + r. Let c be p(-1). Solve -c = 4*w + 1 for w.
-1
Suppose l - 5 = -0*l, -p + 4*l = -12. Let c = p - 18. Solve -3*k + c - 5 = 0 for k.
3
Let u(b) = b + 2. Let y be u(-4). Let c = y - 4. Let n = -1 - c. Solve 0 = -4*o - 11 - n for o.
-4
Let l be ((-12)/8)/((-2)/4). Suppose l*j - 4*j = 115. Let c be j/(-35) - 4/14. Solve -8 = -c*s + 7 for s.
5
Let j(m) = 3*m - 3*m - 14 + 35 - m. Let k be j(10). Solve -k = 4*q + 9 for q.
-5
Let m(f) = f**2 + 2*f - 14. Let a be m(-5). Solve -5 = -4*j - a for j.
1
Let b = -4 - -16. Solve -b = -4*s + s for s.
4
Suppose 4*f + 2*a + 8 = 5*a, 5*f = 4*a - 11. Suppose -c + 0*c + f = 3*x, 2*c + 2*x = 2. Suppose c = -4*o + 5. Solve 3*j = 4 - o for j.
1
Let m(d) = -d**2 - 9*d - 3. Suppose 44 + 1 = -5*r. Let h be m(r). Let n be 2 + h - (-2 - 1). Solve 5*b = n*b for b.
0
Suppose 2*g = 2, 0 = 4*l + 4*g - 13 - 3. Solve -l - 2 = 5*y for y.
-1
Let z(l) = -l**2 - 6*l + 8. Let r be z(-8). Let i(c) = c + 10. Let f be i(r). Let b be f*(-2)/(-4)*3. Solve b*x = -x for x.
0
Let i be (-11)/(-2) + 1/(-2). Suppose x = -5*y - 2, 3*x - 12 = y + 2*y. Let q be (-1 - (-2 + 2))/y. Solve i*l - q - 4 = 