 5 for d.
1
Let t = 31 + -19. Solve -4*x + x = t for x.
-4
Let b = 49 - 44. Solve -b*v + 5 = -0 for v.
1
Suppose -4*t + 4 = -20. Suppose -2*g + 10 = 3*g - 5*s, -2*g + s = -t. Solve g*p - 6 = -2 for p.
1
Suppose 22*m = 24*m - 10. Solve -6*c + m*c = 0 for c.
0
Suppose -5*h + 25 = 2*j, -3*h + 11 = 3*j - 4. Suppose 12*u = 6 + 6. Suppose j = b + u - 6. Solve 0 = -b*a - 16 - 4 for a.
-4
Let z be 9/(12/16*2). Solve 5*f - z - 14 = 0 for f.
4
Suppose i = -2*i. Let l = i + 2. Suppose -3*j = -4 - l. Solve -j*c = -4*c + 2 for c.
1
Let u = -2 - -5. Suppose 0 = 2*f - u*f + 6. Suppose b - f = -2*b. Solve b*j + 8 = -0*j for j.
-4
Let w(b) = -b**2 - 8*b - 12. Let j be w(-6). Solve h + 2*h = j for h.
0
Let z(p) = -p**2 + 2*p - 1. Let s be z(1). Solve -2*g + 0*g + 2 = s for g.
1
Suppose -10 = -2*j - 3*j. Solve -j*h + 4 = -6*h for h.
-1
Let c(q) = -q**2 + 33*q - 87. Let z be c(30). Solve -z*x = -x for x.
0
Let h = -28 - -33. Solve h*z - 10 = 3*z for z.
5
Let g = -10 - -13. Solve 2*p - 1 = g*p for p.
-1
Suppose 0 = 5*h - 174 - 46. Suppose -3*a + h = -16. Suppose 0*z - 2*z - 4*y - 14 = 0, 0 = -y - 5. Solve z*i = -i - a for i.
-5
Let w = 1 - 2. Let y = w + 1. Suppose y*p = -2*p. Solve -u = -p*u - 2 for u.
2
Suppose 0*p - 3*p = 5*l + 2, 2*p = 3*l - 14. Suppose 0 = g - l*g + 11. Suppose -3*f + 2*f = -4. Solve f = -5*o - g for o.
-3
Let h = -13 - -19. Let o be 2/3 - (-8)/h. Solve 2*a = o + 6 for a.
4
Let x(t) = t**3 + 7*t**2 + 4*t + 2. Let o be x(-6). Suppose -2*p + o = -0*p. Let n = 1 - -14. Solve 2*b - p*b - n = 0 for b.
-3
Let a(x) = x + 5. Let b be a(-6). Let t = b - -3. Solve -t*n = 3*n - 25 for n.
5
Suppose 30 = 2*k + 3*o, -5*o + 3 = k + 2. Let v = k - 35. Let a be v/(-4)*1*2. Solve -a*x = -2*x + 15 for x.
-3
Suppose -4 = -2*k - 0. Let x be -2 + k/1 + 10. Solve -2*d + 0*d - x = 0 for d.
-5
Suppose 5*x - 20 = -0*x. Solve x*o = o for o.
0
Suppose 2*y + 0*y = 36. Let u = 24 - y. Solve -u*r + 2*r = 0 for r.
0
Let c(b) = -b**2 - 4*b - 1. Let w be c(-1). Suppose -39 = -w*j - 7. Solve -3*o - o = j for o.
-4
Let n(q) = q - 13. Let o be n(6). Let x = -5 - o. Let a be 1/x + (-1)/2. Solve a = 5*f - 3 - 2 for f.
1
Let v = 8 - 6. Suppose -5*c = -v*c. Solve 3*l - 2*l + 2 = c for l.
-2
Let f(h) = -h**3 - h**2 - 2*h + 11. Let p be f(0). Solve p = -5*t - 4 for t.
-3
Suppose 0 = -g + 5*j + 3 - 1, 0 = -4*g - 3*j + 77. Solve -5 = 3*n - g for n.
4
Suppose 2*z + 41 = 5*r - 2*z, -2*r - 5*z - 10 = 0. Solve 0 = r*t + 5 for t.
-1
Suppose -6*p + 4*p = -14. Let w = p - 6. Solve l + 0 = w for l.
1
Let s(l) = l**3 - 5*l**2 + 6*l - 6. Let x be s(4). Suppose 5*g - g - 8 = 0. Suppose -2*z - 12 - 4 = -x*m, g*z = 6. Solve 5*h + m = -9 for h.
-4
Let p(u) = 3 + 0 + 7*u - 6*u**2 + 3*u**2 + 2*u**2. Let s be p(7). Solve -s*t = -7*t for t.
0
Suppose 3*s - 7 + 2 = -2*t, -5*s + 9 = 3*t. Let g(r) = r**3 - 2*r**2 + 3. Let w be g(s). Suppose 5*l - w - 3 = 0. Solve -20 = l*x - 8*x for x.
4
Let w(d) = d**2 - 1. Let o be w(2). Solve 2*t + o + 1 = 0 for t.
-2
Let o = 8 + -13. Let y be 1/o - (-84)/20. Solve -x + y*x = -3 for x.
-1
Let t = -44 - -47. Solve -4*h + 2 = -t*h for h.
2
Let p(o) = o**3 - 4*o**2 - 3*o - 6. Let d be p(5). Suppose 0*h = d*h. Let r(t) = -t**3 + 5*t**2 + 2*t - 7. Let l be r(5). Solve l*q - 5*q + 4 = h for q.
2
Let s be (-18)/(-27) - (-4)/(-6). Let c(o) = o + 5. Let q be c(s). Suppose 17 = 4*n + q. Solve 0*j = n*j for j.
0
Suppose -2*n = -3*p - 0*n + 32, 24 = p - 4*n. Suppose -3*i = i - p. Let o be 8/(-20) + 4/10. Solve 0 = -i*s - 10 - o for s.
-5
Suppose 6*v - 43 = 2*v - 5*k, 29 = 5*v - 2*k. Solve 0 = -c - v + 3 for c.
-4
Suppose -2*z - z = 0. Solve 0 = 2*a - z*a + 8 for a.
-4
Let g be (-12)/5*(-30)/9. Suppose -2*b + g = -0. Solve -2 = b*z + 10 for z.
-3
Let a = 5 - 3. Let y be 8/(-20) + a/5. Let r be (1 - 2)*-6 - -2. Solve 0 = -4*q + r - y for q.
2
Let j(q) = -6*q**2 + 11*q. Let o(c) = 9*c**2 - 17*c. Let w(a) = -8*j(a) - 5*o(a). Let l be w(2). Suppose -2*p - 6 = -5*p. Solve -m - p*m = l for m.
-2
Suppose 4*x + 29 = 3*l, -28 = -l - 7*x + 12*x. Solve -m + l = -2 for m.
5
Suppose -4*y - g = 32 - 86, 0 = y - 5*g - 24. Suppose -m - y = m. Let i(v) = -5*v - 7. Let b be i(m). Solve 5*d = -b + 3 for d.
-5
Let m(x) = 4*x**2 + 3*x + 2. Let l be m(-1). Solve -d = -1 - l for d.
4
Let v be (-40)/(-18) - (-6)/(-27). Solve 0*p = v*p for p.
0
Let q be 28/(-15) - 12/90. Let h = 0 - q. Solve h*y + 2*y - 4 = 0 for y.
1
Let b(x) = -x - 9. Let y be b(-10). Let m be y*(-2 + 7) - 3. Solve 2 = 4*g - m for g.
1
Suppose 10*c - 15*c = -30. Solve -c = 3*t - t for t.
-3
Let u = 9 + -2. Let k be 177/(-7) - (-2)/u. Let v be k/(-2) + 2/(-4). Solve h + 2*h = -v for h.
-4
Let f be 1/(-3)*(-36)/6. Solve -b = f - 0 for b.
-2
Let n = 22 - 8. Let p(d) = -d**2 + 11*d - 20. Let x be p(8). Solve 5*f - x = -n for f.
-2
Let c = 7 - 4. Solve l - 2 - c = 0 for l.
5
Let r = 25 - 20. Suppose 2*x + r*o = 16, -x - 4*o + 2*o + 7 = 0. Solve 8 = x*h + h for h.
2
Suppose 5*a + 4*z = 11, 3*a - z - 16 = -2*a. Let y(b) = b**3 + 8*b**2 - 12*b - 15. Let h be y(-9). Solve -a*u = u - h for u.
3
Let i(m) be the second derivative of -m**5/20 + m**4/3 + m**3/2 + 3*m**2/2 - 2*m. Let l be i(5). Let w = l + 10. Solve 3 = -w*y + 4*y for y.
3
Let p be (28/(-16))/(2/(-8)). Let r = p - 3. Solve r = -0*b + 4*b for b.
1
Suppose -5*l - 5*y + 0 = -5, -3*l + 2*y = -23. Solve 2 = -l*a - 3 for a.
-1
Let h be 36/14*(-14)/(-3). Let l(o) = o**3 - 3*o**2 - 4*o + 2. Let s be l(4). Solve s*q + q = h for q.
4
Let h(c) = -12*c - 4*c - 7 + 4*c - c**2. Let s be h(-5). Suppose 0 = 4*y + 2*a - s, -a - 7 = -y + 2*a. Solve 3*t - 4 = y*t for t.
-1
Suppose 19 = 2*h + 7. Let q be h*(-3 + 14/4). Solve c + 8 = -q*c for c.
-2
Suppose 28 = 2*p + 2. Solve -3*a + 2 = -p for a.
5
Let w(c) = -5*c + 3*c + c + 1 + 8*c**2. Let f be w(1). Let o = -22 + 25. Solve -o*x = -f*x for x.
0
Let x(h) = -6*h**2 + h + 2*h**3 - h**3 + 3*h + 5. Let d = 17 - 12. Let z be x(d). Solve -s + 0*s = z for s.
0
Suppose 2*t + 0*t - 4 = 0. Suppose y = 4*a + 6, 2*y + t*y - 24 = -2*a. Solve h = y*h + 25 for h.
-5
Suppose -5*d = 15, 0*i - 5*i - 3*d = -41. Let m(s) = 3*s - 4. Let w be m(3). Suppose 10*n = w*n + i. Solve u = n*u for u.
0
Let q be (5/(-20))/(1/(-12)). Suppose -5*x - m = -0*x - q, 5*x + 2*m - 6 = 0. Solve x*u + 25 = -5*u for u.
-5
Let r be (-9 + -1)*(17 + -1). Let u be r/(-9) + (-6)/(-27). Suppose -x = -4*x + u. Solve 4*h - 22 = -x for h.
4
Let m = -2 - -5. Suppose -b - 4 = m. Let u(j) = j**3 + 8*j**2 + 6*j - 7. Let p be u(b). Solve p*x - 20 = 5*x for x.
-4
Let w be -4*(-2 - 2/8). Let v = w + -7. Solve -l = v*l for l.
0
Let j = 3 - 3. Let c(p) = -p - 116. Let n be c(j). Let s be 4/(-14) + n/(-14). Solve 0 = -4*l - s + 4 for l.
-1
Let t = -66 + 70. Solve -8*f = -t*f - 12 for f.
3
Suppose -39 = -2*x - k, x + 3*k = 6*x - 103. Solve 5*m = -0*m - x for m.
-4
Suppose -4*i = -0*i - 12. Let z = i - 2. Solve -z = c + 4 for c.
-5
Suppose 0*x = -2*x. Let g be 5 - ((-2)/2 - -1). Suppose 0 = -3*d - 9, -g*d - 8 - 10 = -i. Solve -i*s + 6*s = x for s.
0
Let q(i) = 6*i - 4. Let p be (8/(-10))/((-12)/90). Let a be q(p). Suppose 5*j = -0*n + n + 26, 2*j + 5*n - a = 0. Solve g = -j + 3 for g.
-3
Let x = -46 + 25. Let d = -7 - x. Suppose -3*b - 45 = -12*b. Solve b*h + d = -6 for h.
-4
Suppose 2*f + f - 4*i = 10, 4*f - 26 = -i. Solve 3 = -n + f for n.
3
Let m = 29 - 29. Solve c + m = -3 for c.
-3
Suppose x - 6 + 2 = 0. Solve -5*v + 3*v = x for v.
-2
Let g(t) = t**2 + 3*t + 1. Let m be g(-4). Let c(d) = 3*d**3 + d. Let h be c(1). Solve h*b + m = -7 for b.
-3
Let d be 21/12 + (-5)/(-20). Solve 0 = d*l + l for l.
0
Suppose 10 = 2*y - 0*y. Solve 8 = f - y*f for f.
-2
Let i be (30/4)/5 + (-5)/(-10). Solve 10 = i*l + 3*l for l.
2
Let i = 6 - 5. Let y be 2 - (-16 + 2 + i). Let o = y + -6. Solve 0 = -o*q + 4*q - 10 for q.
-2
Let x(u) = u**2 - 4*u + 1. Let j be x(3). Let k = 6 + j. Suppose 0 = -p - k*p + 85. Solve -4*v + p - 5 = 0 for v.
3
Let b = -3 + 5. Suppose 6 = 6*f - 3*f. Solve 2 + f = -b*w for w.
-2
Suppose -k - 2*k = 0. Suppose -4*a = -k*a. Suppose 0*l - l = a. Solve l = 2*p - 12 + 4 for p.
4
Let a be 0 + (-4 - -5) + 16. Suppose 0*g = g - 5. Solve -3 - a = -g*z for z.
4
Suppose 8 = n + 1. Let c = 5 - n. Let r be (9/c)/((-5)/10). Solve -p = 2*p + r for p.
-3
Let x = 5 + -15. Let t = 14 + x. Solve t*g = -0*g - 12 for g.
-3
Sup