e 0 = -d - u*d for d.
0
Let w(u) = -u**2 + 6*u + 1. Let p be w(6). Let h = -12 - -16. Suppose -h*a = -13 + p. Solve a*n + 4 = -2 for n.
-2
Let q(s) = -s**2 + 6*s + 7. Let z be q(7). Suppose 3*b - 5*b = z. Solve 2*r + r - 6 = b for r.
2
Let d be (3/(-5))/((-1)/5). Solve -d*z = -15 + 6 for z.
3
Let q be 5/(-3) - (-2)/(-6). Let t = q + 2. Suppose 3*d - 4*d + 37 = -5*k, -2*d = 3*k - 9. Solve 4*i + t*i = -d for i.
-3
Suppose n + 0 - 1 = 0, -10 = -5*i + 5*n. Let s = 3 - i. Solve d - 6 + 1 = s for d.
5
Let z = -10 + 15. Let l be ((-6)/z)/(3/(-15)). Solve -1 = 5*b - l for b.
1
Suppose 4*m = -0*m. Suppose 2*t - 7*t + 25 = m. Solve 0 = -t*f + 2 + 23 for f.
5
Suppose 3*n - 79 = 41. Suppose 2*x - 4*y = -2*x + n, 5*x + 4*y = 5. Suppose x*m + 3*d - 37 = 0, 3*d = 3*m + 2*m - 13. Solve -8 + 3 = -m*z for z.
1
Suppose -3*z = -z - 4. Suppose -z*o + 68 = 5*k, k = -o + 21 - 5. Suppose s - k = -s. Solve -26 + s = 5*l for l.
-4
Let g(c) = c**2 - 3*c. Let w be g(4). Suppose x - 3*u + 24 = -3*x, w*x - 2*u + 20 = 0. Let n be -3 - (-9 + 0/x). Solve 4*k = 22 - n for k.
4
Suppose 0 = y + 3*y + i - 19, 0 = y - i - 1. Suppose -3*g - y*z + 12 = -5*g, 21 = 4*g + z. Solve -t = t + g for t.
-2
Let r be (-1)/(-3) - (-32)/3. Let c = r + -7. Solve -5*d = -21 - c for d.
5
Let c be (-2 - 20/(-12))*-9. Solve -25 = -2*w - c*w for w.
5
Let i be 8/6 + 4/6. Solve 2*y = -i - 6 for y.
-4
Let o = -4 - -6. Suppose o*m = -5*z + 55, z = -4*m + 4*z + 71. Suppose -6*y = -2*y - m. Solve i - y = -1 for i.
4
Let w be 2 + (-3 - (-3 + 1)). Solve -w = 3*o + 11 for o.
-4
Let i = -82 - -142. Suppose 4*t - 8*t + i = 0. Solve -6 = 3*f - t for f.
3
Let j(x) = x**2 + 4*x + 2. Let u be (-6 - -2)/(2/2). Let h be j(u). Let q be h*-3*(-4)/6. Solve -q*p = -0 - 4 for p.
1
Let g be ((-1)/(-2))/(3/24). Suppose -15 = -g*p - p. Solve -t - p*t = -20 for t.
5
Suppose 2*k = i + 4, 4*i = 2*k + 1 - 5. Solve 2*t - 1 + 5 = i for t.
-2
Suppose -2*x + 6 = 4*f, 8*x + f - 5 = 4*x. Solve 4 = -c + x for c.
-3
Suppose o = a, 3*a + 4 = 4*o - 1. Let i(w) = -2*w + 5. Let t be i(4). Let k = a + t. Solve s - k*s - 5 = 0 for s.
-5
Let m(l) = -l**3 + 3*l**2 + 3. Let p be m(3). Solve -p = -g + 2 for g.
5
Let d = 1 - -2. Suppose d*i - 7 = -1. Solve j - i*j - 2 = 0 for j.
-2
Let d(u) = -u - 3. Let m be d(-6). Let r(w) = -w**3 + 2*w**2 - 1. Let k be r(1). Solve m*s - s = k for s.
0
Suppose -a - 15 = -6*a, 2*u = 5*a - 15. Suppose -13 - 7 = -5*h. Solve -h*w = -u*w for w.
0
Let t(k) = 2*k + 7. Let u be t(4). Solve -u = -h + 6*h for h.
-3
Suppose 4*w = 9*w. Solve -z - 2*z + 6 = w for z.
2
Let i(k) be the first derivative of k**4/4 - 3*k**3 + 7*k**2/2 + 10*k + 4. Let g be i(8). Solve j - 12 = -g*j for j.
4
Suppose 0 = 3*o + o. Suppose -5*y + 28 = -2*y - v, 28 = 5*y + 3*v. Suppose -2*k = 3*u + u - 6, -2*u + 4*k + y = 0. Solve -i + o = -u for i.
2
Let f(q) = 6*q + 9. Let z = 13 + -19. Let n be f(z). Let v be 3*3/n*-3. Solve j - v = -4 for j.
-3
Suppose 5*c - 12 = 3. Suppose -c*s = -s. Solve -3*f + 3 = -s for f.
1
Let w(y) = y + 8. Let r be w(-5). Suppose 0 = -p + b, -r*b + 10 = 2*b. Solve -p*h - h = -12 for h.
4
Suppose 0 = 4*v - 9 - 23. Suppose -4*g + v = -0. Solve -g*z = z + 12 for z.
-4
Let y be (-2)/4*1*-6. Solve -y = -p - 2*p for p.
1
Suppose -3*s - p = -3, -s - 4*p = 13 - 3. Let z be -3 - (-3)/2*s. Solve -2*l + 9 - 1 = z for l.
4
Suppose -23 = -4*f + 5*n, 0*f + 4*n = f - 14. Solve 0*m - f*m + 10 = 0 for m.
5
Suppose 4*y - 16 = 3*y. Suppose -2*x = -2*n + 3*n - 8, 2*n - y = x. Let k(j) = -3*j**2 + 35*j - 18. Let r be k(11). Solve n*t - r*t = 8 for t.
2
Suppose 9 = -2*s + 1, 0 = -3*o + 5*s + 80. Solve -7*i + 3*i - o = 0 for i.
-5
Let u(o) = o**3 + 9*o**2 - 2*o + 12. Let j be u(-9). Let n be 1/((-1)/(-1)) + 9. Let k = j - n. Solve s - k = -3*s for s.
5
Suppose -4*c - 1 = -13. Suppose 5*j - 63 = c*z + 9, 2*z = 4*j - 56. Solve -3*y = -0*y - j for y.
4
Let i = -45 - -40. Let c(f) = 6*f + 0*f**3 + 8 - 1 + 6*f**2 + f**3. Let k be c(i). Solve 0 = k*q + 1 - 7 for q.
3
Suppose -5*p - 9 = -44. Solve 0 = v - 3 + p for v.
-4
Let p be -4 + (5 - 0) + 1. Solve p*k - 17 = -9 for k.
4
Let n = 11 - 18. Let p(h) = h + 5. Let l be p(n). Let j = l - -4. Solve -7 = j*v + 1 for v.
-4
Let h(b) = b**2 - b + 1. Let x(m) = m**2 - 15*m + 20. Let d(l) = -2*h(l) + x(l). Let r be d(-14). Solve -1 = u - r for u.
3
Suppose 2*v - 8 = 32. Solve -4*o - o = v for o.
-4
Suppose l + 14 = 2*f, -5*f - 2*l = -3*f - 26. Solve -4*i - f = -i for i.
-3
Let l = 2 + 5. Let y(g) = -g**2 + 8*g - 2. Let k be y(l). Suppose 0 = -k*u - 0*u. Solve u*c = c for c.
0
Suppose -3*n + 5*f + 6 = 0, -3 = -2*n - 2*f + 1. Suppose 10*u = 7*u. Solve q - n*q = u for q.
0
Let c = 25 - 21. Suppose 0 = t + 3*t - 20. Suppose 2*p + 2 - 16 = 0. Solve -c*w + p + t = 0 for w.
3
Suppose i + 3*c - 20 = 0, -5*i - 3*c = c - 45. Let q be (i + -2)*(-2)/(-3). Solve q = -3*y - 1 for y.
-1
Suppose 5*o + 9 = 2*o. Let i(a) = a**2 + 3*a + 3. Let g be i(o). Suppose z - 4 = -0*z - t, -t = -g*z. Solve 3*j - 2 = z for j.
1
Let v be -3 - (-30)/8 - (-6)/(-8). Solve 4*w = -4 - v for w.
-1
Let y be 0 - 3/(9/(-30)). Let m be 75/y*(-4)/(-6). Suppose m*h - 25 = -5. Solve 3 = -h*r - 5 for r.
-2
Let b(q) = q**3 - 6*q**2 + 4*q + 5. Let s be b(5). Suppose -2 = -n, -2*n + s = -2*o + 10. Let t = o - 3. Solve 0 = -t*i + 3*i + 2 for i.
2
Let f = 166 + -154. Solve -5*i - f = 13 for i.
-5
Let n be 85/25 - (-6)/(-15). Solve 0*d = n*d for d.
0
Let h = 23 - 15. Suppose -u - 3*g = -h*g + 9, 5*u - g - 3 = 0. Solve -u = -3*i - 13 for i.
-4
Suppose 6*l = 8 + 4. Solve 5*c - 27 + l = 0 for c.
5
Let r(w) = w. Let b be r(0). Suppose -z + 4*k = 3 - 10, -4*k = 4*z - 8. Let f be 2*z*(-8)/(-12). Solve b = u + f*u - 5 for u.
1
Let w(v) = 2*v - 15. Let n be w(9). Let r be (-15)/(-9) - (-1)/3. Solve n = -o - r*o for o.
-1
Let g(c) = -3*c - 5 + c + 2*c**2 + 3*c + 2*c. Let z be g(-4). Solve v - 4*v - z = 0 for v.
-5
Let o = 2 + -1. Let d be (((-200)/(-5))/5)/2. Solve x + o = -d for x.
-5
Let b = -8 + 14. Suppose 2*a + 3 - 5 = 2*f, 0 = 2*a - 4*f + 6. Suppose -a*d = -c + 4, 20 = 5*c - 6*d + 2*d. Solve -2 - b = c*t for t.
-2
Let f be (-3)/(4/((-512)/(-12))). Let m be (-1 + f/4)/(-1). Solve 0*n = -3*n + m for n.
3
Let z = -4 + 7. Solve z*j = 4*j + 2 for j.
-2
Suppose 3 = 4*y - 17. Suppose 0 = 5*r - y - 15. Solve -r*j + 0 = 4 for j.
-1
Let s be (-1 - 0)*(3 + -10). Let l be (1 + -17)*s/(-14). Solve -b - l = 3*b for b.
-2
Suppose -4*s + s = 4*g - 8, 4*g = -4*s + 4. Solve g = -2*a - 3*a for a.
-1
Let q = -67 + 70. Solve 13 - q = -5*y for y.
-2
Let x = -10 + 28. Solve 5*o + x - 3 = 0 for o.
-3
Suppose 3*j - 54 = -0*j. Suppose 2*k + 2*a + j = -3*k, -4*a + 16 = -3*k. Let g = k - -6. Solve -m + g = -3*m for m.
-1
Suppose -9 = -4*m + 5*b, -2*b = 3*m - 0 - 24. Let v(o) = o**2 - 5*o + 2. Let z be v(m). Let w = 15 - z. Solve -2*l = -w*l for l.
0
Let g be (1 + 0)/((-3)/(-9)). Let y(w) = -w**3 + 8*w**2 - 11*w - 6. Let l be y(6). Suppose 0 = -3*t - l*t. Solve t = -g*j + j - 4 for j.
-2
Let u(q) be the second derivative of -q**3 + q**2 + q. Let k be u(-1). Solve -x = x - k for x.
4
Let b = 11 - 9. Suppose -5*x + b*x + 6 = 0. Let p be (-4)/6 + 64/6. Solve 0 = -x*h + 4*h + p for h.
-5
Let u be ((-10)/6)/((-1)/3). Let y = 9 - u. Suppose -5*z - y = 2*w - 34, -75 = -5*w + 4*z. Solve -4*r - r = w for r.
-3
Let j = 20 + -11. Let p be (12/j)/((-2)/(-3)). Suppose p*l + 5*n - 26 = 0, -n + 0 = -4*l + 8. Solve a = -0*a + l for a.
3
Let p(w) = -4*w - 4. Let c be p(-2). Solve -l - l = -c for l.
2
Let k be 5*(54/(-15))/(-3). Let i be (k + -3)*(2 - 1). Let g(d) = -d**3 - 5*d**2 - 6*d. Let b be g(-4). Solve b*q - 5*q = i for q.
1
Let l(t) = 2*t - 2. Let d be l(7). Suppose 4 - d = -2*w. Solve 2*z = -2*z + w for z.
1
Let k be (35/4)/7*12. Solve -5*w = -0 - k for w.
3
Let i be 5*((-16)/10)/(-1). Suppose -13 = -4*v - 1. Solve v*j - i = -j for j.
2
Let j = 30 - 30. Solve j = -4*t - 8 - 0 for t.
-2
Let y(i) = 2*i**3 - 4*i**2 + 2*i + 1. Let a be y(2). Solve -a*n + 5 + 0 = 0 for n.
1
Let o(w) = w**3 + 17*w**2 + 30*w + 2. Let t be o(-15). Solve 0 = t*s - 10 + 2 for s.
4
Suppose -z + 1 + 2 = 0. Let q = 10 + -7. Suppose b - 5*b + 20 = 0, 8 = q*l - 2*b. Solve -z*r = -l*r - 9 for r.
-3
Suppose 2*v + 3 - 12 = -z, 0 = 2*v + 5*z - 29. Suppose 0 = -5*k + 2*a + 3, v*a - 4 = -2. Suppose 8 = c - k. Solve -5*l + c = -11 for