 0 for o.
4
Let m = 0 - -2. Let y(x) = 4 + 12*x - m*x - x - x**2. Let b be y(9). Solve 0 = -r - b*r - 5 for r.
-1
Suppose -z - 13 = -3*o - 3*z, 3*z = -3. Let x(a) be the first derivative of -a**4/4 + 2*a**3 - 5*a**2/2 + 6*a + 1. Let c be x(o). Solve -g = c - 1 for g.
-5
Suppose 3*l - 9 = 3*d + d, -3*l = 2*d - 9. Suppose 0 = 5*x + 4*q, d*x = 2*x - q. Solve 4*g + 8 + 8 = x for g.
-4
Let l(h) = h**2 - 4*h + 4. Let j be l(4). Suppose 4 = 5*r - 4*s, -3*r + 3 = s + j. Suppose 0*b + 4*b = r. Solve b*y = -y for y.
0
Let k(v) = v**3 + 15*v**2 + 13*v - 14. Let j be k(-14). Solve j*o = -4*o + 16 for o.
4
Suppose -20 - 10 = -5*p. Solve 7*z - 4*z + p = 0 for z.
-2
Let k(j) = -16*j - 7 - 9*j + 23*j. Let n be k(-5). Solve -6*s = -n*s - 15 for s.
5
Let v(k) = -5*k**3 + k + 1. Let h be v(-1). Let s be (12/20)/(1/h). Solve s*i = -2*i - 25 for i.
-5
Let u(d) = d + 11. Let n be u(-7). Suppose n*r - 7*r = -30. Solve 0 = -2*v - 0 + r for v.
5
Let h be 0 - (-6)/(4 - 1). Let x be (1 + (0 - -1))*h. Suppose 1 = x*z - 47. Solve 4*i - 8 = z for i.
5
Suppose -4 = -4*k - 32. Let s(w) = -w + 1. Let m(o) = o**2 + 4*o + 3. Let h(p) = m(p) - 3*s(p). Let b be h(k). Solve -2*n + 8 = -b*n for n.
4
Let g(p) = p**3 + 8*p**2 + 6*p + 1. Let t be g(-7). Let o be 1*3 - (4 - 3). Solve o*f + t = -0 for f.
-4
Suppose -2*b = -3*b. Suppose b*r + 5*r - 5 = 0. Let x(c) = -c**2. Let q be x(0). Solve -p + q + r = 0 for p.
1
Suppose -2 = x - 7. Let m(t) be the second derivative of t**4/12 - 2*t**3/3 - 2*t**2 + 7*t. Let k be m(x). Solve b + 2 = -k for b.
-3
Suppose n + 2*b - 8 = 0, 4*n + b - 14 = 32. Solve -x = 2*x + n for x.
-4
Let f = 8 - 8. Suppose 3*y = f, 3*q + q = y. Solve m + 2 + 1 = q for m.
-3
Let b(w) = -w - 1. Suppose 0 = -5*a - 17 - 18. Let f be b(a). Solve -f*l + 5 = -l for l.
1
Let r = 22 + -40. Let d be 12/r*(-7 - -1). Solve 4*i - d = 2*i for i.
2
Let u = -30 + 52. Solve -u + 10 = -4*n for n.
3
Let z be -6*2*(-4)/(-16). Let s be (3 + z)/(-3 - -1). Suppose -u - 12 = -2*u. Solve 0 = -s*f + 4*f + u for f.
-3
Suppose g + 0 = 3. Solve -2*l - g = l for l.
-1
Let r(h) = h + 6. Suppose -a - 3*a - 8 = 0. Let y be r(a). Solve y*w + 0*w = 16 for w.
4
Let v be 3 + -1 - (3 - 4). Solve 0 = v*d - 0*d + 3 for d.
-1
Suppose 0 = 8*x - 5*x - 12. Solve -o - x = -0*o for o.
-4
Let g = -3 - -15. Let p = -8 + g. Solve 0*d = -2*d - p for d.
-2
Suppose -83 = -4*o - 3*g, 0 = 3*o - 3*g - g - 56. Solve o = -5*k + k for k.
-5
Suppose 2*o - 3*a = -4*a + 5, 0 = o - 5*a + 25. Solve 0*y + y = o for y.
0
Let q = 89 + -88. Solve 4 = -l + q for l.
-3
Let p(f) = 4*f + 4. Let q be p(3). Suppose -40 = -5*g + 5*k, 0 = 3*g + k - q. Suppose 2*s + 26 = 3*w + g, -3*w = s - 8. Solve w*h + h = 0 for h.
0
Suppose -2*m + 3 = -5. Let v be ((-2)/3)/(m/(-12)). Suppose 1 - 3 = -v*x. Solve x = -5*c - 4 for c.
-1
Suppose 5*l + 13 = 2*l - 4*o, 0 = -2*l + 4*o - 22. Let p(f) = f**2 + 13*f - 23. Let x be p(-15). Let j = l + x. Solve -h + 3 = -j for h.
3
Let c(s) = -s**2 + 14*s - 15. Let r be c(10). Let z = r - 17. Suppose -5*b = 4*t - 18, -2*t - 5*b + 3*b + z = 0. Solve t*i = -i for i.
0
Let q(g) be the second derivative of 3*g**5/20 + g**3/3 - g**2/2 + g. Let u be q(1). Suppose -5*x - 3*h = -40, 3*h - 10 = 3*x - 2*h. Solve -u*b = -x*b for b.
0
Suppose 4 = -12*m - 8. Let s(u) = 3*u + u**3 - 3*u + u + 2*u**2. Let y be s(m). Solve -5*p = 20 - y for p.
-4
Let j be (2/(-4))/((-2)/20). Let l(w) = w + 14. Let q be l(-9). Suppose y = -0*y + q*p - 17, 0 = -2*y - j*p + 26. Solve y*m = m for m.
0
Let g(n) = n**3 + 4*n**2 - 2*n - 5. Let t(r) = -r**2 + 4*r - 4. Let p be t(4). Let a be g(p). Solve o = -a*o for o.
0
Let j be (2/(-6))/(1/(-12)). Let d(l) = l**2 - 2*l. Let r be d(2). Solve -o - j*o - 25 = r for o.
-5
Let g(u) = u**3 + 5*u**2 + 3*u. Let f be g(-4). Suppose 4*t + 4*m = -32, 3*t = -t + 4*m - 16. Let k be ((-15)/(-4))/(t/(-16)). Solve r + k = -f*r for r.
-2
Suppose -59*d = -55*d - 16. Solve -q + 2*q = d for q.
4
Suppose 2*d + 1 + 0 = -3*l, 5*l = 2*d + 25. Let p = -3 + 4. Let b be p - -1 - 0 - -2. Solve -l*i - 7 = -b for i.
-1
Let t be (2 + 14/3)*3. Let n = -43 - -43. Solve n = -3*l - l + t for l.
5
Suppose 0 = -3*w + 3*u - 7 + 43, 5*w + 3*u = 28. Suppose 3*l + 4 = d, 6*l + w = 2*l + 2*d. Solve l = 2*k - k - 3 for k.
3
Suppose 93 - 23 = 5*y. Let t be y/2 - 18/6. Solve 0*l = 2*l - t for l.
2
Let a = 2 + -2. Let h(p) = p**2 + 2*p. Let l be h(-3). Let g be (4 - (-1 + l)) + a. Solve g*w - 8 = -0*w for w.
4
Let h(q) = -q**2 + 4*q + 7. Let i = -1 - -6. Let c be h(i). Solve 0 = 4*p - 2*p - c for p.
1
Suppose -8*k - k + 81 = 0. Solve -k = -2*i - 3 for i.
3
Let c = 8 + -4. Solve -j + 7 - c = 0 for j.
3
Let d be (-48)/22 - 4/(-22). Let h = 1 + -1. Let a be -2 + (d - h)/(-1). Solve u - 3 + 0 = a for u.
3
Suppose 4*p - 3*p = 3. Solve p*w + 1 = 4 for w.
1
Suppose -14 - 1 = -5*t. Solve a - 12 = -t*a for a.
3
Suppose 11*z - 7 = 12*z. Let r = -7 - z. Solve r = -t - 3*t + 20 for t.
5
Let h = -5 - -5. Suppose h = 8*u - 3*u. Solve d = -u*d + 5 for d.
5
Let i = 15 - 11. Suppose -i*j = -3*z + z + 34, -3*j = 3*z - 24. Suppose c = 4*t - z, -2*t + 3*t - 2*c = 8. Solve q - 3*q = -t for q.
1
Suppose 0 = -3*j - 4*i + 80, 2*j = 4*j - 4*i - 20. Solve 0 = 16*a - j*a + 12 for a.
3
Let c be 1/(-5 + 4) - -3. Let f(k) = -k**3 + k. Let p be f(-1). Solve -c*o - o = p for o.
0
Suppose 2*u = 3*u - 5, -3*u - 5 = -5*w. Suppose -8 = -w*i + 4. Solve 0 = i*j - 0 - 3 for j.
1
Suppose -2*k + 0*k = 0. Suppose 2*b + 2*b - 20 = k. Suppose -6*a + 3*a = -5*t - 34, t = -3*a + 22. Solve b*y = a + 2 for y.
2
Let j be (-2)/(-10) - 12/(-15). Solve j = -g + 4 for g.
3
Let l be 4/8 + (-1)/2. Let v be 2 - (l/(-2) + -1). Solve 0 = o + v*o + 16 for o.
-4
Suppose 2*f = -4*y - 2, -f + 5*y = 3*f - 48. Suppose -5*i = 4*x + 10, 5*i - x + 6*x + 15 = 0. Solve -i*q + f*q = -10 for q.
-2
Suppose 5*j = g + 15, -g = -0*g. Solve -j*z - z - 16 = 0 for z.
-4
Let r = -5 + 8. Suppose -6*m + 4*m - 4 = 0. Let w = r + m. Solve -w = -5*g + 9 for g.
2
Let c(r) = -12*r. Let o = 1 + 1. Suppose -2*t = -5*b - 1, 4*b - 2 = 4*t + o. Let k be c(t). Solve k - 4 = -4*l for l.
-5
Let s(x) = -2*x - 10. Let o be s(-7). Suppose -n - 20 = -2*a - 2*n, -o*a - n = -36. Solve k - 3*k - a = 0 for k.
-4
Suppose 0 = -2*f + f + 26. Suppose -5*v - u = -67 + 2, 2*v - f = u. Solve 5*q = v + 2 for q.
3
Let i be -1 + (-3*4)/(-2). Let l = -3 + i. Let q be 9/18*8/l. Solve q*s - 16 = -2*s for s.
4
Suppose 7 = -2*i - 1. Let c be 10*(3 - (-10)/i). Solve -c*y - 8 = -28 for y.
4
Suppose 2*m + 5*p - 31 = 0, 5*m - p = -5*p + 35. Let y be 95/15 - 1/m. Solve -z = 2*z + y for z.
-2
Let j be (-5 - 32/(-6)) + 2/3. Solve 4*i - 3 - j = 0 for i.
1
Let o(c) = c**2 - 10*c + 8. Let z be o(6). Let l be (6/4)/((-2)/z). Solve p + 2*p = -l for p.
-4
Suppose -3 = -5*d + 4*d. Suppose d*t - 2*t = 0. Solve t*s = s for s.
0
Let q(t) = 2 + 3 - 5 + 53*t**3. Let s be q(1). Let g = s - 37. Solve 2*c + 6 = g for c.
5
Let z(j) = j**2 - 9*j + 8. Suppose 0 = y - 0*y - 8. Let u be z(y). Solve u = -0*g - 2*g for g.
0
Suppose -2*z - 8 = -3*u - 0, -u + 2*z + 4 = 0. Let c be 5/u + (-1)/2. Suppose -5*s - n = -21, c = 3*s - n - 9. Solve -v = -s + 9 for v.
-5
Suppose 0 = -2*d + 60 + 66. Suppose 0 = 5*f - d - 22. Solve 4*u - f = 3 for u.
5
Suppose -2*o + 2*r = -2 - 4, 0 = -2*o + 3*r + 7. Solve -16 = 6*t - o*t for t.
-4
Let y(v) = v + 4. Suppose 0*m - m = 4. Let h be y(m). Solve h = -0*x - x + 3 for x.
3
Let p = -5 - -4. Let v be (5*3)/(-3) + p. Let x(t) = t**3 + 5*t**2 - 6*t + 3. Let d be x(v). Solve -d*w - 16 = -4 for w.
-4
Suppose -3*f + 0 = 5*n - 38, n - 3*f = 22. Solve 0 = 2*y + 3*y - n for y.
2
Suppose 0 = -4*g - g. Suppose -10 = -f - 2*w + 4*w, g = 3*f + 3*w - 30. Solve f = -j - j for j.
-5
Let j(x) = 6*x**3 - 4*x**2 - 5*x - 1. Let p(h) = -h**3 + h**2 + h. Let d(k) = -j(k) - 4*p(k). Let r be (1 + (-3)/2)*2. Let c be d(r). Solve 4 = -c*v - 4 for v.
-4
Suppose 0 = 4*k + q - 20, -5*k - 4*q + 40 = 4. Let u be -12*(k + -2)/(-2). Suppose -2*b - i = 4, 2*i + u = 5*b - i. Solve 0 = -2*n - b + 10 for n.
5
Suppose 3*z = -n - 21, 0 = 4*z - 2*z + 2*n + 18. Let f = -4 - z. Suppose 0 = 4*a + 20, 4*p = -f*a + 12 + 18. Solve 4*l + 2 + p = 0 for l.
-3
Let s(p) = -p**3 - 3*p**2 - p + 1. Let t be s(-3). Solve t*r - 15 = r for r.
5
Let l(h) = -h**2 - 2*h + 1. Let c be l(-2). Let a = 5 + -3. Let x be (0