11 for o.
-5
Let j(t) = t**2 - 12*t + 2. Let s be j(12). Solve s*p + 2*p - 4*r = -8, -6 = -p + 5*r for p.
-4
Let n(w) = 2*w**3 + 1. Let v be n(1). Let f(h) = h. Let q be f(v). Suppose g - 2*g = -q. Solve j = 3*m - 5, 5*m = -g*j - 12 - 3 for m.
0
Let o be 5/(2 + -2 + 1). Solve o*s - 14 - 8 = g, -8 = -3*s - 2*g for s.
4
Let m be -1 - -1 - -1 - -1. Let d(y) = 2 + 2*y + m*y + y. Let v be d(5). Solve -4*b + v = 3*s + 2*s, 21 = 5*s + 2*b for s.
3
Let u be (-6)/(-21) - (-4)/(-14). Let f be (0 - u)*(2 + -3). Let m = 37 - 24. Solve -4*o = 4 - f, 2*o - m = 3*k for k.
-5
Suppose 0 = i + 5*i - 24. Solve 4*h = -4*o, 5*o - h = -i*h + 4 for o.
2
Suppose -2*y - 2*y + 24 = 0. Solve 3*z - 4*a + a + y = 0, 3*z = -3*a - 6 for z.
-2
Let t(i) = i**3 + 5*i**2 - i - 3. Let d be t(-5). Let s(k) = 2*k + 0*k**2 + 1 + k**d + 2 - k. Let m be s(-5). Solve p - 2*j = -2*p + m, 10 = -2*p - 5*j for p.
5
Suppose 6 = 12*b - 9*b. Solve d = -5*c, -c - b = 2*d - 11 for c.
-1
Let n be (-2 - (-2)/3)*-3. Suppose -3*z + f - n - 27 = 0, -z - 4*f = 6. Let a = -6 - z. Solve 0 = b - 2*b - 5*y + 22, 2*b = -2*y + a for b.
-3
Suppose -13 = h + 6*s - 10*s, 0 = -2*h - s + 19. Solve h = 4*x + 5*t, -x - 9 = 2*x - t for x.
-2
Suppose 16 = 2*q + 2*q. Let z = 6 - 5. Suppose q - z = r. Solve 5*g - 15 = -0*y + 5*y, 5*y = -r*g + 25 for g.
5
Suppose -u + 5*c - 18 = 0, 3*u - c = -0*c + 2. Solve -l - 4*y = -6*y + u, 5*l + 2*y - 14 = 0 for l.
2
Let w be (0/2)/(-1 + 0). Let p = w + 2. Solve -3*y - 4*k - 6 + 0 = 0, 2*k + 10 = p*y for y.
2
Let m = 29 - 17. Solve 0 = -4*n - m - 4, 2*d + n = -12 for d.
-4
Let o(n) = -n**2 + 6*n - 5. Let p be o(4). Let v = 12 - 0. Suppose -2*g - 3*g = -5, b = -3*g + v. Solve 0*j - j - 8 = -w, -p*j = b for w.
5
Let m(q) = q**2 + 6*q - 4. Let r be m(-7). Let o(g) = 0*g**2 - 4 - 4*g - 3*g**2 + 4*g**2 + 2. Let k be o(5). Solve r = -3*l, -k*x - 4*l - 9 = -2*x for x.
-5
Let r = -2 + -1. Let c be -34*(1 + r/2). Let b = -2 + c. Solve x = -y + 3, 0 = -5*y - 2*x + 6*x + b for y.
3
Let l be (6 - (-2 - 0)) + -3. Let s = -5 + l. Solve 2*h - 4*h + 6 = -z, s = 4*h - 4 for z.
-4
Let i(m) = -3*m + 50. Let s be i(16). Solve 3*u + 2 = 3*a - 1, 3*a = s*u + 4 for a.
2
Suppose a - 2 = 4*d + 2, -3*a = 5*d - 12. Solve m = -3*b + 5, 2*b + 2*m - 3*m = d for b.
1
Let l be -2*(-1)/2 + -1. Let v = -24 - -45. Suppose 0*u + 2*z - v = -5*u, -9 = 2*u - 5*z. Solve -j = -l*a + u*a - 3, 0 = 3*j for a.
1
Let k = -106 + 109. Solve -4*i = k*a - 6, 0*a - a = -3*i + 11 for a.
-2
Let z = -9 - -13. Let n(h) = h - 2. Let g be n(2). Solve g = 4*y - z*f + 36, 0*f + 10 = 2*f for y.
-4
Suppose -1 + 41 = 4*t. Suppose 4*p - 26 = -t. Solve p*q = -2*c + 10, -3*c - 1 = 8 for q.
4
Let w = 9 + -8. Suppose -w - 5 = -3*x. Solve 2*v = -5*i - 4, i - 4*i + v = -x for i.
0
Let p be (9 - -1)*(-15)/10. Let t = p + 25. Solve 14 = -2*o + 5*c + 4, 2*o + 3*c + t = 0 for o.
-5
Let a be (-6)/10 + (-28)/(-5). Suppose 10 = z - a. Suppose k - 4*k = -z. Solve 5 = k*g, 2*r + 4 = 4*r - 4*g for r.
4
Suppose -6 = -3*z + 5*z. Let i(p) = p**2 + 3*p + 5. Let t be i(z). Solve t*m = 5*g - 12 - 3, -2*g + 4 = -3*m for m.
2
Let r(p) = p**3 - 7*p**2 - 7*p - 8. Let n be r(8). Suppose 0*h + 2*h = n. Solve -4*k - 4*l - 8 = h, -l = -k - 3*l + 1 for k.
-5
Suppose -6*j = -50 + 38. Let t(q) = -q**3 + 13. Let s be t(0). Solve -4*v - j*a = -9*v - s, -a = -3*v - 7 for v.
-1
Let i(f) = -f**3 + f**2 + f + 1. Let b = 6 - 7. Let p be i(b). Solve 3*v - 35 = 2*j + p*j, -2*j = 4*v - 10 for j.
-5
Let u(i) = 3*i**2 - 19*i - 9. Let b be u(7). Solve n + 5 = -q, -b*n = -3*q + 26 - 1 for q.
0
Suppose 0 = 7*h + 107 - 191. Solve h = 3*b - z + 3, -5*z + 31 = 4*b for b.
4
Let h = 11 + -7. Let u = 28 + -19. Solve 3*x = -5*k - 19, 23 = -h*k + 4*x - u*x for k.
-2
Let j be -2 - -4 - (-2)/(4/2). Solve 0 = s + s + h - 1, -2*h = -j*s - 2 for s.
0
Suppose -15 = -5*q + 2*q. Suppose 0 = -3*i + q*i. Solve -3*j + 2*k = -8, i = 3*j + 2*j - 4*k - 16 for j.
0
Let u = 15 - 9. Let f = u - 4. Solve -p + 4*p = 2*j + 8, 4*p - 6 = -f*j for p.
2
Let q(k) = -4*k - 10. Let b be q(-7). Let s = 34 - b. Let m be s/12*(7 - 1). Solve -4*c + 16 = 4*d, -2*d + 2*c - m = d for d.
0
Let w(h) = -h**3 + 4*h**2 + 11*h - 6. Let y be w(5). Solve -y = 4*z + 5*m, -z + 4*z + 3*m = -15 for z.
-1
Let j(b) = -b**2 - 7*b - 9. Let z be j(-4). Suppose 0 = -2*y + 11 - z. Suppose -4 = 3*g - 5*v + v, 12 = 2*g + v. Solve -g*c + 2*w + 9 = 3, -4*w = -y for c.
2
Suppose -v + 60 = 3*v. Suppose 5*o - v = -0. Let j be (-4 - -6)*o/2. Solve -4*d = j*i - 19, 1 + 0 = i for d.
4
Let v(s) = -s + 2. Let q be v(-4). Suppose -t + q*t = 0. Solve -3*z = -z - 2*m + 6, 2*z - m + 3 = t for z.
0
Let i be (52/6)/(2/(-6)). Let v = -82 + 127. Let t = v + i. Solve 3*l - t = -3*n + 4*l, -l = n - 1 for n.
5
Let n(m) = 2*m**2 - 2*m + 1. Suppose -b - 2 = -7. Suppose b*y - 20 = -0. Let h be n(y). Solve 4*z = 5*v - h, -v + 10 = v - 5*z for v.
5
Suppose -2*l = x - 19, -5*l + 7 = 2*x - 4*x. Let v(t) = 2*t**3 - 6*t**2 + 5*t. Let w be v(3). Solve -2*f + 5*k + w = 0, -f - f - x = 3*k for f.
0
Let t(b) = -b**3 - 3*b**2 + 2*b + 6. Let n be t(-4). Solve 3*g = 4*w + n + 1, -g = -4*w - 13 for g.
1
Suppose -2*m - 12 = 4. Let f = m - -14. Let g(s) = 5*s - 8. Let r be g(6). Solve -f = -3*y, 0*l = 4*l + y - r for l.
5
Let b(q) = -5*q + 4*q - 2*q + 2 + 4*q. Let s be b(0). Solve -3*y + 1 + 5 = -3*n, -10 = -s*y for n.
3
Let h = -1 + -5. Suppose 4*w - w = 0. Let v = w - h. Solve 5*x = -f + 3 + v, 0 = 5*x - 3*f - 13 for x.
2
Suppose 81 = 4*c - n, 0*c - n = 3*c - 66. Solve 5*q = d + c, -q - 3*d = d for q.
4
Let n be 3 + 28/(-4) + 6. Solve -24 = -5*j + p, n*p + 5 + 13 = 4*j for j.
5
Let v be (3*48/9)/(-1). Let r be (-2)/6*(v + 1). Suppose 5*n - 2*z - 52 = -17, 3*n - 35 = 4*z. Solve 15 = r*i - n*s, 2*i - 4*s + 2 = -6*s for i.
1
Let f = -3 + 5. Let l be (-24 - 0) + f/(-1). Let s = 44 + l. Solve 21 = -m - 5*q, q - 5*q = 2*m + s for m.
-1
Suppose -v - 2*v + 9 = 0. Let o be 48/v + (2 - 1). Let g be 2/5 + (-648)/(-30). Solve -2*j - u - g = 2*j, -3*j - u - o = 0 for j.
-5
Suppose -2*g + 8 = 3*y - 2*y, 3*g = 2*y + 5. Let l be 3*(3/1 + -2). Solve 4*c = -c - 3*q - g, -2*q = -l*c - 17 for c.
-3
Suppose 2*m = 4*b - 22, -2*b + 4*m + 14 + 0 = 0. Suppose -l + 3 + 2 = 0. Solve 0 = 2*o + 4*h - 2 - 20, l*o - 5*h = -b for o.
3
Let m(p) be the third derivative of p**4/12 - p**3/3 + p**2. Let y be m(3). Solve -2*t + 7*t = -4*k - 33, -y*t = -3*k + 14 for t.
-5
Suppose 16 + 4 = 5*u. Solve 4*l + u*r = -4, 2 = -2*l + 2*r - 0 for l.
-1
Suppose 0 = -3*h + 4*h - 5. Suppose h*d - 15 + 0 = 0. Solve -5*o + 0*o = 5*u - 30, -d*u = o - 12 for o.
3
Let t be -1 + 5 - 4/2. Suppose -t = d - 4. Solve -d*y + 1 = -a, -y + 2*y + 4*a = -22 for y.
-2
Let i be (72/(-16))/(2/(-4)). Solve r = -2*g + 8, 0 = -2*r + 5*g - 2 - i for r.
2
Let r = 17 - 9. Solve 0 = 4*k - z - 23, 0 = -4*k + 3*k + z + r for k.
5
Let g be 0 - -1 - -4*1. Solve 4*o + 5*b + g = -o, 9 = -3*o - 5*b for o.
2
Suppose 2*f = -f + 12. Suppose 0 = -0*l - f*l + 16. Solve -3*r = -2*h - 14, 5*r + h - l*h = 22 for r.
2
Let w = -18 - -21. Solve 4*h - 20 = 3*b, w*h + b = 2*h - 2 for h.
2
Suppose -4*g - 7 = -27. Solve -g*q + n + 28 = 0, -2*q - 3*n = n + 2 for q.
5
Suppose -2*s - 3*u = -0*u, 0 = -s + 3*u + 18. Suppose n = 3, n - 85 = -5*q + s*n. Solve -3*h + 5*h + 4 = -3*y, -q = -5*h for y.
-4
Suppose -4*b = -13 + 5. Let w be b/4*2 + -1. Solve 2*l - m = 0, -4*l = -m + 2 - w for l.
-1
Let z be 87/9 - 2/3. Solve 0*y + 2*y - 4 = c, 3*c = 5*y - z for y.
3
Let q be 2 + -1*2/(-1). Let a(p) = -8*p - 70. Let j be a(-9). Solve -j*y - y - r = 6, -3*y - q*r + 3 = 0 for y.
-3
Let n be 3/(6/(-4))*1. Let j be (-21)/(-14) - 1/n. Solve -j = -0*t - 5*t + 4*w, 3*t + 3 = w for t.
-2
Suppose 8*j = 3*j. Let y be 0 + j + -1 + 5. Suppose -2*z = -4*x - 8, -4*z + 5*z = -2*x. Solve y*t + 32 = -4*o + t, -4*t - 6 = -z*o for o.
-5
Suppose -u = u. Suppose u = -d - 3*d + 8. Solve -a = d*x + 9, -2*x + 8*a - 3 = 3*a for x.
-4
Let u(n) = -4*n - 1. Let v be u(-3). Let y = v - 8. Let c be 1/(2 - 3) + 4. Solve -z - 2*o = y, c*z + 9 = o - 7 for z.
-5
Suppose 0 = -3*d + 4*d + 14. Let x = -9 - d. Solve -n + x*n + 20 = 4*t, -t + 4*n + 17 = 0 for t.
1
Let u(c) = c**3 - 4*c**2 + 2*c - 1. Let h be u(4). Let o = h + -5. Solve -o*n = -a - 8, -a + 5*n - 4*n = 4 for a.
0
Let j(z) = -z**2 - 3*z + 3. Let n be j(-3). Suppose -