for o.
5
Suppose 3*n = 6*n - 9. Solve 3*g + 0*v - n*v + 24 = 0, -16 = -4*v for g.
-4
Let r be (0 - -1) + (-24)/(-12). Suppose -2 = -r*n + 7. Solve 0 = n*x - 2*a - 6, -a - 19 = -5*x - 2 for x.
4
Let q = 51 - 48. Solve -4*b + 3*d = -3, q*b - 5*d + 9 = b for b.
3
Let b be 2 - 0 - (-5)/5. Solve -b*q + 3*t - 2 = 19, 2*q + 16 = 3*t for q.
-5
Let f = 10 + -6. Suppose 12 = 5*j - 3. Solve t - f*r + 3 + 4 = 0, 9 = -4*t - j*r for t.
-3
Let z = -15 - -17. Solve -z*c = 3*t + 2, t - 4*c = 12 + 6 for t.
2
Suppose -4*b - 20 = 0, -a + 19 = 2*b - 5*b. Solve -2*w = -a*h + 4, 4*h + 3*w - 16 = 8*w for h.
-1
Let u(n) = n**2 + 4*n - 3. Suppose 0 = z + 3*z + 28. Let k be u(z). Solve -3*q + 7 = 5*f + k, 2*q + 4 = 0 for f.
-1
Let x(s) = s**2 + s. Let y be x(0). Suppose -10 = 2*g + 5*z, 0 = 5*g - y*z + 3*z + 6. Solve h + 2*d - 2 = g, 0 = 2*d - 5 - 1 for h.
-4
Let c(m) = -m + 29. Let o be c(14). Solve -33 = -2*q - 5*p, -o = -4*p + 5 for q.
4
Let v(c) = c**2 + 4*c - 2. Let j be v(-5). Suppose 12 = j*b - 3. Solve -4*t - 2*q - q = -3, b*q = 4*t - 27 for t.
3
Let o(x) = x - 5. Let i be o(9). Solve 3*z + 2*v + 5 = 2, 3*v = -i*z - 4 for z.
-1
Suppose -5*h + 0*h = 3*b - 8, -2*b + 8 = 2*h. Solve -3*d - f - 17 = f, -b = -2*d + 3*f for d.
-3
Let d = -27 + 41. Solve f - 2*x - 4 = 0, 4*x = 3*f + 2*f - d for f.
2
Let x(k) = k**2 - 5*k + 5. Let r = -2 + 7. Let a be x(r). Solve 4 = -2*m + a*b + 32, 4*m + b = 12 for m.
4
Let a = 2 + 0. Suppose a*i - 13 = -3*k, -i + 5*k - 10 = -2*i. Solve 5 = -3*l - 5*s - 2, -s - i = -3*l for l.
1
Let v = 18 - 14. Solve 3*h = -v*a - 12, 0 = -a - a for h.
-4
Let j(d) = d**3 + 8*d**2 - 12*d - 22. Let z be j(-9). Let l = 2 - 2. Solve z*s = -15, -5*f = -s - l - 3 for f.
0
Suppose 0 = 2*i + 6*u - 3*u + 7, 3*u = 3*i - 27. Solve 2*w = -4*f + 2, 5*f - i + 0 = -2*w for f.
2
Let d(j) = j**3 - 6*j**2 - j + 13. Let y be d(6). Solve -2*k - 5*b = -4*b - y, -5*b = 5 for k.
4
Suppose -3*d - 13 = -2*d + 4*q, 3*d + 4*q + 7 = 0. Suppose 3*x + 1 = 7. Solve 5*n - d*z - 14 = -38, -z + 9 = -x*n for n.
-3
Let m(s) = 4*s**2 - s + 1. Let t = -9 - -16. Let x = 8 - t. Let l be m(x). Solve -3*q - 2*d + 1 = -l*d, 19 = 2*q - 5*d for q.
-3
Let v(p) = p - 1. Let m be v(3). Let g be 2*((1 - 2) + 2). Solve -m*i - 8 = 5*u - 0*i, -16 = g*u + 4*i for u.
0
Let w = 6 + -5. Let o = w + 4. Suppose 3 = -o*x + 23. Solve -4*p - 5*l + 10 + 10 = 0, x*l = 3*p - 15 for p.
5
Let a(s) = -2*s**3 + 7*s**2 + 10*s - 9. Let f be a(4). Solve 0 = -2*m - 2*c + 4, 2*c - 7 = 4*m + f for m.
-3
Let s be ((-5)/(-2))/((-2)/(-4)). Solve -s*j - m = 0, 0 = 2*j - 2*m - 11 - 1 for j.
1
Let u(w) = -w + 11. Let k be u(-7). Solve 0*m - 2*q - k = -3*m, 5*m + 5*q = 5 for m.
4
Let n(j) = -11*j + 1. Let u be n(2). Let h = 5 + u. Let l be 6/(-4)*h/6. Solve -l*t = 3*m + 18 - 3, 0 = t + 4*m + 7 for t.
-3
Suppose 5*t = 8*t. Solve -3*n + 4*b - 18 = t, 3*n - 3 = 3*b - 18 for n.
-2
Let m be (-11 - -4)*(-60)/7. Suppose 3*s = 5*u + m, s - 20 = -4*u - u. Solve 2*k + 4*o + s = 0, 5 = k - 2*o + o for k.
0
Suppose -2*t + 7*t = 100. Suppose 3*j = -j + t. Solve -f + 4*x + 5 = 0, 4*x + j = 5*f - 20 for f.
5
Suppose -r + 0*r = 16. Let v = r - -18. Solve 3*j - y = -4, 4*j - j = -v*y + 8 for j.
0
Suppose -5*v - 40 = 2*g, 60 = -3*g - 0*g - 2*v. Let r be ((-4)/(-10))/((-1)/g). Let m = -5 + r. Solve 4*l = 5*z + 6, 0 = -z + 2*l - 9 + m for z.
2
Suppose -3*h = 5 - 14. Let d be 0 + 2 - (h - 6). Solve 5*x + 3*p - d = 7, x - 2*p + 8 = 0 for x.
0
Suppose 4*d + 21 = 1. Let q be d/1*(-7 - -6). Solve 0*h + 2*h - 16 = -4*k, -q*h + 5 = 3*k for k.
5
Let g(x) = -x**2 + 4*x + 1. Let p be g(3). Suppose -p*i - 2 + 7 = 3*r, -4*r = -i + 6. Solve -4*j - 1 = i*l + 5, 2*j + 4*l - 6 = 0 for j.
-3
Let q be ((-10)/15)/((-4)/48). Suppose -5*r = 5*x - 40, -x = -q*r + 4*r + 17. Solve 6 = -i + 5*u, 10 = 3*i + x*u - 4*u for i.
4
Let c be (2/4)/(2/(-60)). Let n = c - -22. Suppose -4*q = 4*t - 17 - 3, 2*q + 3*t = 15. Solve q = -j - r - 3, n = -3*j + 2*j - 2*r for j.
1
Let z be (-2)/4*1*-10. Suppose 3*d + 4*o = 19, 5 + 9 = 3*d - o. Solve k - 2*y + 5 = -4*y, d*y = z*k - 20 for k.
1
Let i(l) = -2*l**3 + 0*l**3 - 6*l**3 + 2*l + 1 + 5*l**3. Let o be i(-1). Solve 5*y + 10 + 5 = -3*x, -2*y - 6 = o*x for x.
0
Let v = 3 - 0. Suppose t - v = -0. Suppose -2*m + t = 5*z, 0 = 3*m + 2*z + 2*z - 8. Solve 1 + 2 = 3*k - 2*g, g + 7 = -m*k for k.
-1
Suppose 5*c - o = 26, 30 = 5*c - 4*o - o. Solve -q = -0*q + 2*w + c, -5*q - 4 = 3*w for q.
1
Suppose 0 = -2*o + 5 - 1. Solve 13 = o*u - v, 0 = -3*v + 2 - 17 for u.
4
Let m(x) = x**3 + 8*x**2 + 5*x - 8. Let d be m(-7). Solve 4*n - 4*v - 16 = d*n, -7 = -n + v for n.
2
Let u = -64 - -66. Solve 3*d - 1 - 1 = u*q, -4*q - 4 = 0 for d.
0
Let n(l) = 3*l + 2*l**2 + 1 - 2*l**2 + 2*l**2 - 6*l. Let o be n(2). Solve -2*f - 4 = -4*q, o*q - 4 = -1 for f.
0
Suppose 4*u - 12 = -2*u. Solve k = -4*w - 3, -w + 3*k + u*k - 6 = 0 for w.
-1
Suppose 0 = 2*t + 3*t + 30. Let j(y) be the first derivative of y**3/3 + 5*y**2/2 - 3*y - 1. Let q be j(t). Solve u = -5*o - 6, -5*u + q*o + 2*o = 0 for u.
-1
Suppose -5*z - 5*b + 3*b + 23 = 0, 0 = 3*z - b - 5. Solve -4 = -2*t + 3*v + 4, -2*t = z*v + 16 for t.
-2
Let c(f) = 3*f**2. Let n be c(1). Suppose 4 = -n*x + 7. Suppose -r - 7 = -q + x, 5*q + 2*r = 40. Solve 2*y + 3*k = -q - 9, 4*k = 4*y - 16 for y.
-1
Let t = -44 - -50. Solve -4*l + 4*a - 6 = t, 4*l + 21 = -5*a for l.
-4
Suppose 2 = q - 0. Suppose 26 = 2*c + 20. Let z(r) = -2*r - 6. Let b be z(-4). Solve b*u + q = -2*h, -h + c = -3*u - 0*u for h.
0
Let b be 1*-5*(4 - 5). Suppose -4*m - b = 3. Let h = m - -6. Solve h*s + 3*y + 4 = y, 0 = 5*s - y + 19 for s.
-3
Let x be 2/((-2)/(4/(-2))). Solve 0 = -5*d - x*w - 2, d + 3*w = -2*d + 6 for d.
-2
Suppose 0 = 4*t - 16, 3*t - t = 2*r - 2. Suppose 3*c - 4 = s, -7 = -r*c + s + 3. Suppose l - c*l = 0. Solve l = 3*w + 6, 20 = 4*o + w - 5*w for o.
3
Let c be (-36)/(-14) - (3 - 34/14). Solve -4*v + 5*z - 7 = 0, v + 5*z + c = 2*v for v.
-3
Let d be 3 + ((-203)/29)/(-1*1). Let u = 91 + -57. Suppose 0 = -5*k + u + 61. Solve y = -5*z - k, 3*z - 5*y = 1 + d for z.
-3
Let g(z) = z + 6. Let y be g(-2). Solve 5*m - 5*o + 6*o = -12, -m + y*o = 15 for m.
-3
Let o = 64 - 61. Solve -5*n - 4*r = -o*n - 2, 5*n - 20 = 5*r for n.
3
Let r(l) = l + 29. Let q be r(0). Let v be -5*((-32)/(-10))/(-4). Let a(u) = u**2 - 4*u. Let w be a(v). Solve -2*n - q = 5*g, 7 = -n - w*g - g for n.
-2
Let j = -18 - -11. Let h = 3 + j. Let i = 8 + h. Solve -5*d - 14 + 3 = i*f, 5*f + 5*d + 15 = 0 for f.
-4
Let r be (0 + (-9)/(-6))/((-24)/(-64)). Solve -r*w - 16 = -4*d, 2*w + 8*d - 22 = 4*d for w.
1
Suppose -2*b - 3*d = 14 + 1, 2*d + 10 = 3*b. Solve -3*l = 2*s - 6*l - 3, b = 3*s - l - 8 for s.
3
Suppose 0 = -0*b - 4*b - 44. Let j = b - -13. Let c = 0 - -20. Solve q - c = 5*k, -3*q = -k + j*q + 20 for k.
-5
Suppose 3*w - 11 = 1. Let u = -1 - 0. Let i = u + 1. Solve 3*y - 3 = -y - d, i = -y + 3*d + w for y.
1
Suppose m - 5*m + 4 = 0. Suppose -5*h + 5*i + 14 = -m, 0 = -2*i + 2. Solve -2*v - 4*t = -0*v + h, -5 = -5*v + 5*t for v.
0
Let b = -11 + 5. Let x = -2 - b. Suppose 2*r + 14 = 4*k, 3*k - k - x = 2*r. Solve -6 = 4*n + 5*u - 4, -5*n - r*u - 9 = 0 for n.
-3
Let x be ((-4)/(-6))/(2/15). Let k = x + -1. Solve v + 2*v + 12 = -k*p, -16 = 4*v + 5*p for v.
-4
Let s = 9 - 3. Suppose 0 = -b + 3*b - s. Suppose 3*k + 64 = 7*k. Solve 0 = a + 4*o - k, b*o + 0*o = -2*a + 17 for a.
4
Let t be (0*(-5)/10)/1. Solve 3*k + 16 = -d, 12 + t = -2*k - d for k.
-4
Let x = -14 + 4. Let a(g) be the second derivative of g**4/12 + 3*g**3/2 - 3*g**2 + 3*g. Let f be a(x). Solve -2*q + 0 = 3*z + f, 1 = -2*z - q for z.
2
Let u(o) = -2*o - 3. Let b be u(-2). Let l = 13 + b. Solve -2*i + 3*i - 29 = 5*p, 2*p + l = i for i.
4
Let i = 11 - -1. Solve -3*n - i + 2 = 4*p, -n - 14 = 4*p for n.
2
Suppose -4*v - 8 = 0, -v = 2*m - 2*v - 2. Solve -z + 4*z + 2*g = -4, m = -4*z - 2*g - 6 for z.
-2
Let g = -7 - -16. Let o = g - 4. Solve -2*v + 5 = u - 2, -23 = -o*u + 2*v for u.
5
Let v = -58 + 62. Solve v*n - o = -0*o + 12, -4*n - 4*o - 8 = 0 for n.
2
Suppose -2*z = 2*z + 5*g + 7, 22 = 5*z - 4*g. Solve -2*k = f - 0*f, f - z*k + 8 = 0 for f.
-4
Let p = 18 - 6. Let f = -12 + 7. Let l = f + p. Solve -v + 3 = b, 0*b - 4*b - 3*v = -l for b.
-2
Suppose 0 = 3*w + 1 - 7. Suppose w*v + v = 12. Solve 5*r - 48 = -5*a - 8, -v*r + 29 = 3*a f