 = f + h. Solve 2*q - q = -i for q.
-1
Let u(p) = p**2 + 9. Let m(l) = l - 1. Let x(i) = -5*m(i) - u(i). Let h be x(-3). Suppose b + 2*z - 4 = 0, 2*b + z = 2*z - h. Solve 3*f - 3 = -b for f.
1
Suppose 3*u = -3*t + 18, 2*t + 4*u = 3*t + 14. Suppose b - 3 = -t*b. Suppose 44 = 4*x - 4*j, 11 - b = -2*j. Solve 0 = 2*n + n + x for n.
-2
Let m be 1/7 + (-110)/(-14). Let l = 8 - m. Solve l*q = -q for q.
0
Let r(t) = -t**2 - 4*t - 4. Let a be r(-5). Let g be -2*(a - 2 - 0). Solve 4*o - g = -6 for o.
4
Let m(i) = i**2 + 12*i - 36. Let x be m(-15). Let o = 2 - 0. Solve o*u = -u + x for u.
3
Suppose 0 = 2*f, p - f - 2*f - 9 = 0. Solve 3*y = -p - 6 for y.
-5
Let w be 6/24 - (-38)/8. Suppose 3*n + 3*q = n + 10, 6 = 2*n + w*q. Let m be ((-14)/n)/((-2)/16). Solve -2*h + m = 4 for h.
5
Suppose 5*b = -3*c + 136, 0*b + c = b - 32. Solve b = -4*w + 9 for w.
-5
Suppose -64 = 32*s - 48*s. Solve s*g - 4 = 12 for g.
4
Let k = 21 - 18. Solve -k*j = -3 - 0 for j.
1
Suppose 0 = 2*d - 10 + 28. Let q be d/(-15) + 44/10. Solve 0 = 3*z + 7 + q for z.
-4
Let s be -2 + (-4 - -10) + -3. Solve s = b - 1 for b.
2
Let u(x) = -x + 12. Let p be u(12). Solve p = 3*w - w for w.
0
Let n = -12 + 17. Let l(k) = 2*k**2 - 4*k + 4. Let x be l(2). Solve -x*q = n - 1 for q.
-1
Suppose -2*n - 1 = -5*y + 6, -4*n - 7 = -3*y. Let q = n + 29. Solve 5*o - q + 3 = 0 for o.
5
Suppose -3*q + 4*r - 14 = 0, 0 = -3*q - 2*r - 0*r + 16. Solve -2*i - q*i = 20 for i.
-5
Suppose 2*i - 4*y - 21 - 13 = 0, 19 = i - 3*y. Suppose -13 = 2*s - 5*k + 8, s - 3*k = -i. Solve -t = s*t for t.
0
Let j(p) = -10*p**2 - 3*p**3 + 1 + p - p**3 + 9. Let a(f) = -11*f**3 - 29*f**2 + 3*f + 30. Let b(q) = 3*a(q) - 8*j(q). Let r be b(-7). Solve -r*o + 3 = 9 for o.
-2
Suppose 4*g - 4*x - x = -12, -3*g - 2*x = -14. Solve -2 = -w + g*w for w.
-2
Suppose -3*f - 5*p + 24 = 0, 7*p = 3*f + 4*p. Solve -f*a = -0*a + 9 for a.
-3
Let q(k) = k**2 + 12*k + 7. Let b be q(-13). Suppose b = 4*o - 0*o. Solve 2*h = 3*h - o for h.
5
Let j(i) = -i**2 - 2*i + 3. Let q be j(-3). Suppose -z = -0*z - 5, m - 25 = -4*z. Let g = 26 + -6. Solve -g = -q*c + m*c for c.
-4
Suppose b = 5*g - 12, 0*g - 4*g + b = -10. Suppose 5*i + 4 = -3*x, x = g*x + i. Solve -x*v = v for v.
0
Let u(o) = -o**2 - 5*o. Let t be u(0). Solve 0 = -t*v + 5*v + 15 for v.
-3
Let w = 14 + -9. Suppose -w*l + 14 = -2*u, 3*l - 5 = 2*u + 1. Solve s - u*s = 0 for s.
0
Let h be 10/4*(-24)/30. Let w(u) = -2*u**3 - 3*u**2 + 1. Let y be w(h). Solve y*m - m = 20 for m.
5
Let y(i) = -i**2 + 5*i + 5. Let o be y(5). Let f be (20/(-3))/(2/(-9)). Solve 5 = o*u + f for u.
-5
Suppose -c = -10 + 1. Suppose s - p - 6 = -4, 4*p - 46 = -5*s. Solve s*b - c = 3*b for b.
3
Suppose 2*j - 5*j - 3*y - 15 = 0, 0 = 4*j - 4*y - 20. Suppose 2*g - 13 + 3 = j. Solve g = -3*h + 2*h for h.
-5
Let b = 93 - 91. Solve b*q + 4 - 2 = 0 for q.
-1
Let g = 12 - 30. Let j be (-4)/g + 48/27. Solve j = -5*p + 22 for p.
4
Let f(x) = x**3 + 8*x**2 + 8*x + 7. Let c be (-7)/(3 + -1 + -1). Let g be f(c). Solve 4*v + v = g for v.
0
Let p(y) = y - 11. Let t be p(15). Solve t = -2*v + 10 for v.
3
Suppose -59*r + 54*r = -5. Solve a - r = 2*a for a.
-1
Suppose -2*x + 5*x = 0. Solve 2*f + 4 = -x*f for f.
-2
Suppose -5*u = 3*r - 4*r - 23, 4*u = -r + 22. Let o be 26/7 + 2/7. Suppose -o*x = -x. Solve x = u*v + 4 + 16 for v.
-4
Let y(d) be the first derivative of -d**3/6 - 4*d**2 + d + 1. Let l(w) be the first derivative of y(w). Let t be l(-8). Solve t*r - 5 = -5*r for r.
1
Suppose 3*b - 5*y = -11, 2*y - 5*y = -12. Suppose -9 = -b*i - a, -i + a + 0*a - 1 = 0. Solve -i*j - 2*j = 0 for j.
0
Suppose 4*p = 16, 23 = 5*d - 2*p + 1. Suppose 10 = 2*f + d. Solve f*w = w + 5 for w.
5
Let q = 6 + -2. Suppose 2*t = 3*t + q*f + 18, -13 = -4*t + f. Suppose k - 3 = -t*g, -1 = 4*g - k - 10. Solve -g*a = 3*a - 10 for a.
2
Let w(l) be the third derivative of l**5/60 - l**4/24 - l**3/6 + l**2. Let a = 12 + -9. Let i be w(a). Solve -2*j - 15 = -i*j for j.
5
Let k be 1*2 - (-5)/5. Suppose -12 = -a - k*a. Let q be (-2)/(-4)*(3 - a). Solve q = -4*v - 11 - 1 for v.
-3
Let i be (-11)/(-3) - (-4)/(-6). Let b be (1 + i)*(-3)/(-4). Solve 0 = -2*g - b*g for g.
0
Let k be 1/((-10)/(-4) + -2). Suppose -5*o = -3*i - 3 - 26, 2*o - i = 12. Solve -10 = -o*q + k*q for q.
2
Suppose -3*j = j. Solve 0*n + 4*n = j for n.
0
Let i be (3 - 4) + -1 + 9. Let d be i*3*8/12. Suppose m = -m + d. Solve 2*s - m*s - 20 = 0 for s.
-4
Let v(k) = k - 4. Let r be v(4). Let u = -225 - -240. Solve r*d = 5*d + u for d.
-3
Let f(x) = x**3 + 10*x**2 + 10*x + 14. Let w be f(-9). Solve -10 = w*n - 35 for n.
5
Let q = 3 - 3. Let h = 7 + q. Solve -4 = -c - h for c.
-3
Let l = -42 - -24. Let s = 27 + l. Solve -3*x = -6 - s for x.
5
Let b = -57 - -62. Solve b - 3 = -x for x.
-2
Let g(a) = a**3 + 6*a**2 + 11*a + 35. Let s be g(-5). Solve s*x - x = 0 for x.
0
Let v(p) = -p**2 + 2*p + 7. Let b be v(-3). Let g be (-1 - b) + 8/8. Solve -5*w = -g*w - 15 for w.
-5
Let u(x) = 3*x. Suppose -5*d = -3*r - 13, -2*r + 4*d - 12 = -d. Let p be u(r). Let q = 10 + p. Solve q*l - 6 = 4*l for l.
2
Let n(b) = -b**3 - 8*b**2 + 9*b + 1. Let y be n(-9). Solve 0 = 4*w + 7 + y for w.
-2
Let a(v) = v + 10. Let u be a(-10). Solve -2*y + 0*y + 4 = u for y.
2
Suppose -3*h + 6 = -6. Suppose 2*i = u, 0 = 3*u - 0*u - h*i - 2. Solve -u*q = 3*q + 20 for q.
-4
Let l be (0 - 2) + 3 - 14/(-7). Solve 0*i - 3 = l*i for i.
-1
Suppose -150 = -2*a - 3*a - r, -2*r - 103 = -3*a. Suppose 4 + a = 5*p. Suppose -y - 4*x = 4*y - p, -3*y + 5 = 2*x. Solve y*c = -2*c - 20 for c.
-4
Let d = 4 + 0. Let y = 22 + -2. Solve y = q + d*q for q.
4
Let u(t) = -t**3 + 2*t**2 + 3*t - 4. Let o be u(2). Solve 4*r + 14 = o for r.
-3
Let s be -4*(-6)/(-3)*8/(-32). Solve -s*b = -b for b.
0
Let r be -12*(-4)/12*1. Suppose -r*t + t = 0. Solve -2*i - 10 = -t*i for i.
-5
Let l = -24 + 44. Solve 0 = 3*r - 8*r + l for r.
4
Let o be ((-10)/(-4) - 1)*-2. Let l be o/(-6)*(0 + 0). Suppose 4*m = -l*v + 5*v + 17, 3*m - 6 = -3*v. Solve -m*d - 2*d = 5 for d.
-1
Let o be 0 + (-76)/(-14) + 9/(-21). Solve 5 = -o*g + 30 for g.
5
Let r(w) = 2*w - 7. Let m be r(6). Suppose -3*c - 5*t = -0*c - 21, -2*c - t = -7. Suppose -b = -x, c*x + 12 = m*b + x. Solve -b*d + 0*d = -9 for d.
3
Let q be (-1)/2*-10 - -1. Solve l - q*l - 20 = 0 for l.
-4
Suppose -5*x = -11 - 14. Suppose 0 = n + n + 4, -g + x = -n. Solve g*v - 8 = v for v.
4
Let l = -23 + 49. Suppose 0 = 5*k - m - l, -3*k - 3*m + 6 = -6. Solve -3*z + k = 2*z for z.
1
Let m = 3 - -4. Solve m*c - 6*c - 4 = 0 for c.
4
Let z = -6 - -8. Suppose q - 12 = -5*n, 3*n + z + 2 = 5*q. Solve -4*w - q = 14 for w.
-4
Let b = 0 - 0. Let d(y) = y**2 + 4*y + 9. Let s be d(-5). Suppose t + s = 3*u, 3*t = -2*t - 25. Solve -u*g + 4 - 19 = b for g.
-5
Suppose -3*c + 5 + 4 = 0. Suppose -c*g = 2*q + 2*g - 75, 3*g = -5*q + 140. Solve r = -4*r - q for r.
-5
Let x be 1/(-2) + 91/14. Solve -c - 2*c = x for c.
-2
Suppose -2*p + 48 = t, p = 3*p + 4*t - 54. Let r = p + -13. Solve r = -4*y + 2*y for y.
-5
Suppose 5*x + 0 - 15 = 0. Solve x*t - 5*t = -10 for t.
5
Let z be 4/(-6)*(-3)/(-2). Let v be (2 + -1)/(z/(-1)). Let x be (-1)/1*(0 + 0). Solve x = -3*j - v - 2 for j.
-1
Suppose -15 = -2*p - 63. Let z = p + 27. Solve 2 = -z*w - 7 for w.
-3
Let x(q) = q**2 + 26*q - 23. Let j be x(-27). Solve 3*o = -o - j for o.
-1
Let f(u) = -u + 2. Let d be f(9). Let a = d + 14. Solve -4*m - a = 1 for m.
-2
Suppose 3*h + 2 = 4*h. Solve -h*u - u + 6 = 0 for u.
2
Suppose 0 = -12*l + 16*l. Solve -4*a + l*a = 20 for a.
-5
Suppose -8 = -3*b + b. Let y(h) = -8*h - 1. Let z be y(-1). Suppose m - 2*c + 5 = 0, 0 = m + 4*c - 19. Solve b = -m*q + z for q.
1
Let k be (-3 - -1) + 1 + 3. Let i be k/2 + (3 - 3). Let m be i*(-6 + 3) + 7. Solve -m*n = n for n.
0
Suppose -3*i - 5*p = -20, i - 2 = -p + 2. Suppose -4*r + 38 + 62 = i. Solve 5*g + 0 = -r for g.
-5
Let n be 5*(2 + 14/(-10)). Suppose 30 = n*l + 2*l. Suppose 0*u + l = 2*u. Solve 6 = -u*i + i for i.
-3
Suppose 3*f + 3 = -3*x - 0, 5*x + 33 = 2*f. Suppose -5*o - f*d + d = -4, -3*d = o + 4. Let c be (o + -1)/(4/8). Solve c*h = 6*h - 12 for h.
3
Let w = 137 + -132. Solve 1 = 4*r + w for r.
-1
Let l(h) = h**3 + 5*h**2 - 8*h - 7. Let z be l(-6). Solve -4*a - a = -z for a.
1
Let j(d) = -4 + 4*d - 3*d + 0*d. Suppose 0 = -2*z + z + 6. Let c be j(z). Solve v = -v