 t.
0
Let c(n) = n**2 + n - 5. Let t(y) = 1. Let r(p) = c(p) + 5*t(p). Let b be r(1). Solve 0 = g + 2 + b for g.
-4
Let u = 10 - 10. Solve u = 3*g - 2*g - 4 for g.
4
Suppose z = -2*q + 56, 2*q - 3*z - 32 = 16. Suppose -3*r = -0*r - 3*a - q, -2*r = 3*a + 2. Solve -4*j + r*j = 0 for j.
0
Suppose -b + 0*t - 2*t + 14 = 0, t = 5*b - 103. Solve -2*h - b = -7*h for h.
4
Let q = 25 + -23. Suppose -q*z - z + 36 = -3*x, 4*z + 2*x = 24. Solve -z*o + 3*o = -15 for o.
3
Suppose 8*v - 4*v - 8 = 0. Let q be (2/4)/(2/12). Solve -q*g + v*g = 0 for g.
0
Suppose -10 = 4*z - 9*z. Let q = 0 + z. Suppose 0 = 2*n - 5*m + 23 - 2, 3*m = -n + 17. Solve n + 0 = -q*y for y.
-1
Let n be (12/(-10))/((-2)/5). Let q = -26 - -72. Suppose 0 = n*p + 10 - q. Solve 0 = 3*w + w - p for w.
3
Suppose -1 = 4*t - 5. Suppose -c + 4 = -t. Solve -c = -0*g - g for g.
5
Let u be (-6)/(-14) - (-3)/(-7). Suppose 4*d - a = 1 - 10, a = -d + 4. Let m = 3 + d. Solve m*b + 0*b + 2 = u for b.
-1
Let f be (-1)/((-3)/3)*5. Suppose -f*t + t + 16 = 0. Solve -t*d = -d for d.
0
Let v(g) = 9 + 0*g - g - 2. Let n = 8 - 3. Let a be v(n). Solve a*m = -0*m + 4 for m.
2
Let h(c) = c + 1. Let p be h(-1). Solve -3*w + 0*w - 15 = p for w.
-5
Let a(b) = -b**2 - 9*b - 11. Let t be a(-7). Solve 0*r + 9 = t*r for r.
3
Suppose 5 = 4*l - 3. Suppose i - l*d + 4*d - 2 = 0, -5*i + 1 = d. Solve 4*f = -i*f - 16 for f.
-4
Let z = -3 + 9. Suppose r - 44 = z. Suppose -a + 6*a + 5*q - r = 0, -20 = -4*q. Solve a*w = -32 + 7 for w.
-5
Let k be (-60)/(-27) + (-6)/27. Suppose -d + 6 = k*m - 3*d, -2*m - 5*d = -20. Solve -m*y = -0*y + 20 for y.
-4
Let t(w) = -w**2 + 10*w - 9. Let i be t(7). Solve 2*a + i = -a for a.
-4
Let s(z) = 12*z**2 - 1. Let x be s(1). Suppose n + 4*v = -10, 3*n = 4*v + 7 + x. Suppose 4*u = n + 14. Solve 4 = u*l - 8 for l.
3
Let z be (-14)/63 - 214/9. Let i(o) = -o + 2. Let c be i(7). Let f be c/(-2)*z/(-15). Solve 0 = -0*t - t - f for t.
-4
Let x be -2 - 7/(35/(-10)). Solve 4*m + 7 + 1 = x for m.
-2
Let k be (2 - 1) + (-5 - -7). Suppose 5*q - k - 12 = 0. Let f be 6*(2/q + 1). Solve 0*j - f = 2*j for j.
-5
Suppose -3*i + 77 = 2*f, -2*i - 2*f = -68 + 16. Solve 0*y + 5*y = -i for y.
-5
Let y(u) = -u**2 - u + 2. Suppose 8 = -4*j - 4. Let r be y(j). Let f = r + 4. Solve 2*o - 12 + 4 = f for o.
4
Let t = 4 - 5. Let s(m) = -m**3 + m. Let y be s(t). Let l = 2 + y. Solve -q + l = -0 for q.
2
Suppose 0 = -4*u + 3*l - 16 - 1, -22 = 5*u - 4*l. Let w(n) be the first derivative of -2*n**2 + 2*n + 13. Let c be w(u). Solve 0 = 5*a + c - 5 for a.
-1
Let z(r) = -r**3 - 6*r**2 - 2*r - 7. Let c be z(-6). Suppose 0 = -c*n + 7 - 2. Solve 0 = -k + n - 0 for k.
1
Let l = 20 - 14. Let m = 10 + l. Solve -4*d + m = 4 for d.
3
Suppose 0 = -2*j - 2*j + 24. Let k = -2 + j. Let v(d) = d**2 - 2*d - 3. Let g be v(k). Solve 0 = 5*y + 5 + g for y.
-2
Let y = -2 - -2. Suppose c = -4*j + 10, 4*j - c = 3*j. Suppose y = -j*m - 3*m + 100. Solve 4*x = -x - m for x.
-4
Let h(v) = v**2 - 11*v + 13. Let x be h(10). Let c = 5 - x. Solve o = c*o for o.
0
Let s = 229 - 222. Solve -9*l + s*l + 6 = 0 for l.
3
Suppose 82 = 5*h - 8. Let u = -12 + h. Solve 4*p - 2*p = u for p.
3
Let m be (2 - 1)*(-2)/(-2). Let v = 7 - m. Suppose 8*k - 5*k = v. Solve -1 = -d + k*d for d.
-1
Suppose -7 = -4*l + 1. Solve l*t = -2 + 12 for t.
5
Suppose -4*b = 4*c - 18 + 2, 9 = 4*c - 3*b. Let h be (-1 - 0) + (2 - -45). Suppose -2*f - c*k + h = 0, 3*f - 3*k = 2*k + 31. Solve 2 - f = -5*s for s.
3
Suppose 0 = 4*x + 2*m - 16, 0 = 2*x + 3*m - 10 - 2. Solve x*y = -y for y.
0
Suppose 0 = 2*r + 5 - 25. Let c = 13 - r. Solve -4 = c*y - 2*y for y.
-4
Let p(g) = -g + 5. Let x(c) = c**2 + 8*c + 5. Let h be x(-8). Let t be p(h). Solve t*v = v - 3 for v.
3
Suppose 14 = 4*c + c + 2*j, 2*c = -2*j + 8. Suppose 2*p + c*g = 2, -1 - 5 = 3*g. Suppose -2*o + 2 = -2. Solve -o*n - 3 = p for n.
-3
Suppose -l + 5*l + 20 = 0. Let j = -1 - l. Solve s - 5 = -j*s for s.
1
Suppose -3*q = 2*q - 35. Let i be 408/42 - 4/(-14). Suppose -4*y + i = 2. Solve a + y = q for a.
5
Let y = -5 - -9. Suppose y*r - r - 9 = 0. Let z(f) = -f + 13. Let m be z(11). Solve -m*u + r*u = 0 for u.
0
Let k be (-1 + 1)*(-2)/4. Suppose k = 4*j - 2*j. Solve j = -0*a + 4*a for a.
0
Suppose -3*l = 2*l - 15. Let v(f) = -f - 2*f + 1 + 4*f. Let n be v(l). Solve n*q = q for q.
0
Let s = 55 - 53. Solve -s*i = 2*i for i.
0
Let u be (-2)/(-12) - (-87)/18. Solve 0 = 5*d - 0*d - u for d.
1
Let u = -7 + 10. Let c = 6 - u. Suppose 24 = 3*z - 3*g, 4*z + 0*z = -c*g + 4. Solve 5*s = z*s - 5 for s.
-5
Suppose 10*n - 6*n + 16 = 0. Let s be (n - -2)*2/(-1). Solve 0 = -s*a + 6 + 14 for a.
5
Suppose 4*c - 3*c = 3. Solve b + c + 2 = 0 for b.
-5
Let l(v) be the first derivative of v**3/3 + 3*v**2/2 + 4*v - 9. Let n be l(-2). Solve -z = 2 + n for z.
-4
Let b(j) = j**2 - 5*j - 28. Let o be b(-4). Solve -2*u - o = -4 for u.
-2
Let q(i) = i**3 - 5*i**2 + 3*i + 1. Let a be q(4). Suppose 5*n - 31 = -3*l, -n = -3*l - 6 + 25. Let j = a + l. Solve u + j = -u for u.
-2
Suppose 8 - 4 = v. Solve -v*h = -2*h + 6 for h.
-3
Let n = 8 - 3. Let d(u) = -u**3 + 4*u**2 + 4*u + 1. Let s be d(n). Let a = s - -6. Solve -1 - a = -o for o.
3
Let i(b) = b**3 - 10*b**2 - 12*b + 12. Let m = 15 - 11. Suppose -2*c - 50 = -m*y, 18 = 4*y - 5*c - 41. Let p be i(y). Solve p - 5 = x for x.
-4
Let h be 1/3*-3*-5. Solve 0*w = h*w + 10 for w.
-2
Let j(i) = -i**3 + 2*i**2 + 3*i + 1. Let s be j(3). Suppose 15 = 3*l + 2*l. Suppose -5*m + u + 4 + 10 = 0, 3*u + 6 = -l*m. Solve -m*z - 7 = s for z.
-4
Suppose -4*f = u - 3*f + 1, -2*f + 10 = 5*u. Solve u*k - 2*k = 8 for k.
4
Suppose -4*x = 4, 2*g + 3*x + 3 = 4. Let p be (-1 - (-3 + g))/(-2). Suppose 0 = 3*c - 0*c - 45. Solve p*i = 5*i + c for i.
-3
Suppose 0 = 4*j + 2*c + 4, 5*c + 6 + 4 = -5*j. Let p(l) = -l**2 + 4*l + 1. Let o be p(5). Let u be 0/(3/1 + o). Solve u = 3*v - 3 - j for v.
1
Let u = 4 - 12. Let z = 4 - u. Solve 2*o = -o - z for o.
-4
Let s = -25 + 28. Solve -3*k + 0 = s for k.
-1
Suppose r + 0*r = 6. Let y be (r/4)/3*-10. Let i = 7 + y. Solve n = -i*n - 9 for n.
-3
Let s be 16/3 + (-1)/3. Suppose -m + 2*m + 6 = 5*d, -18 = d - s*m. Let j be 0 - ((-16)/d)/1. Solve -3*o = -o + j for o.
-4
Let w = 12 - 8. Suppose -2*z + 3*f - f = 8, 0 = -w*z + f - 4. Solve 3*s - 2 - 10 = z for s.
4
Let n(v) = 4*v + 4. Let z be n(0). Solve 2 = 2*u - z for u.
3
Suppose 0*g + 2*g + 4 = 3*v, -3*v + 4*g + 2 = 0. Let p = 22 + -19. Solve -p*k = v*k + 5 for k.
-1
Suppose 19*f - 10 = 14*f. Solve -x + 3*x - f = 0 for x.
1
Suppose 5*y - 32 = -2*i, 3*y + 3 = 9. Suppose -5*v + i = -4. Suppose -4*k = -d + 3*d - 28, 0 = v*d + 6. Solve -k*z + 4*z = -8 for z.
2
Let s(o) = o**3 - 4*o**2 + o + 2. Let t be s(2). Let m be 1/4 + (-15)/t. Solve -v = m*v + 15 for v.
-3
Suppose 3*q + 0 = 9. Suppose -q*y = p + 13, 4*p - 2*y - 4 = 14. Suppose 4*o + 5*h - 17 = 3*o, h = p*o - 12. Solve 4*s - 5 = o for s.
3
Let o(l) = -4 - 3*l**2 - l**2 - l**3 + 8*l**2 + 6*l. Let x be o(5). Let c = x + 0. Solve j + 0 - c = 0 for j.
1
Suppose -2*q + 5*z - 4 = 0, z + 0 - 6 = 3*q. Let w = q + 2. Suppose -2*o = -w*o. Solve o = -f + 5*f for f.
0
Let o(t) be the first derivative of -t**2/2 + 4*t + 4. Let p be o(4). Solve 0 = -4*m - 20 - p for m.
-5
Let h be 1241/68 - 2/8. Solve -5*n - 3 + h = 0 for n.
3
Let x be (-4)/(1*-2) + -1. Suppose -z + x = -2*h, -5*h - 1 - 3 = -4*z. Solve -y + 5*y = h for y.
0
Let q = -1 - -8. Let p = -10 + 8. Let h = p + q. Solve 3*s = -2 + h for s.
1
Let b(d) = -9*d. Let r be b(-1). Suppose -2*o + 4*g + 8 = 2, r = 3*o - g. Suppose -1 = s + 2, 0 = -o*a + 5*s + 18. Solve 5 - a = 4*f for f.
1
Let s = -53 - -58. Solve s*b = b + 20 for b.
5
Let q(j) = -j**2 - j + 12. Suppose -4*b + 2*b - r = -5, 0 = b - 2*r + 10. Let f be q(b). Solve 0*g + 4*g + f = 0 for g.
-3
Let r be (-2 - (-3 + 0)) + 1. Solve r - 1 = o for o.
1
Suppose -8*s + 3*s = -115. Suppose 0 = -3*c - 5*a - s, 4*c + 14 = -a + 6. Let d(o) = -12*o. Let g be d(c). Solve -4*b + g = -0 for b.
3
Suppose -q - 8 = -3*q. Let z = -2 + q. Suppose z = -0*d + d. Solve -d*o = -7*o + 25 for o.
5
Let z = -10 + 14. Suppose u - z = -3*u. Let o be u/4 - 6/24. Solve 2*q = -o*q - 10 for q.
-5
Let w be (-10 - 10)*2/(-4). Suppose -4*h + 8 = -0*h. Let o be (-13)/(-4) + (-1)/4. Solve o*a + w = -h for a.
-4
Suppose 18 = -9*l + 15*l. Suppose -z - 3*z = 0. So