 + 12 = 0 for i.
-4
Suppose 0 = 2*m - 8 + 2. Solve -m*s = s for s.
0
Suppose 5*o = -8 + 18. Solve 3*y = o*y for y.
0
Let n(o) be the first derivative of -o**3/3 - o**2/2 + 2*o + 10. Let r be n(0). Solve 4*x - r = -6 for x.
-1
Let c = -3 - -4. Solve -9 = 2*u + c for u.
-5
Let u(w) = w - 4. Suppose 5*g + 26 - 66 = 0. Let o be u(g). Solve -3*z + 4 = -o*z for z.
-4
Let k(z) = -z**3 + 4*z**2 + 2*z - 1. Let p be k(4). Let q = 12 - p. Solve 2*f - 3*f = q for f.
-5
Suppose -l + 1 + 3 = 0. Solve -3*j + l*j = -5 for j.
-5
Suppose 5*b - p = 18, -b + 2*b + 4*p = -9. Solve 0 = y - b*y + 2 for y.
1
Let i(p) = -p**2 + 7*p. Let v be i(7). Let y(q) = q - 2*q + 3 + 0*q. Let d be y(v). Solve d*a - 4 = 5 for a.
3
Let j be (-55)/20 - 2/8. Let s = j - -7. Suppose 0 = -4*b + 8, s*r - 2*b + 4*b - 72 = 0. Solve -5 = -4*x - r for x.
-3
Let o(q) = -2*q - 4. Let p be o(-4). Let h be ((-4 - -4)/(-2))/(-2). Solve -k - p*k = h for k.
0
Suppose -16 = z - 4*u, 0*z = 3*z - 4*u + 8. Let i be ((-4)/(-6))/(z/42). Solve i = 3*x - 2 for x.
3
Let r(w) = w**2 - 1. Let z be r(-1). Let a be z - 1/1 - -3. Solve 3*t - t + a = 0 for t.
-1
Let n be (-22)/(-10) + 1/(-5). Suppose 0 = -d + 5*d. Solve -n = 2*b - d for b.
-1
Let s(t) = -t**3 + 4*t**2 - 2*t - 2. Let r be s(2). Solve r + 7 = -3*q for q.
-3
Let h = 9 - 7. Suppose 0 = 2*f - j - 2 - 2, -f + h = 2*j. Solve w = f*w - 4 for w.
4
Suppose z - 32 = -2*w, w + 0*z = 5*z + 16. Let g = 4 + -4. Solve -w = -g*n - 4*n for n.
4
Let n be (-5)/4*1*-4. Let u(z) be the first derivative of -z**2/2 - 5*z + 2. Let x be u(-5). Solve x = 4*y - n*y + 3 for y.
3
Let b be 7*2/(-14)*-6. Suppose -b = -2*o - o. Solve -o*u = 1 + 1 for u.
-1
Let l(m) = 4*m - 7. Let j be l(3). Solve 5 = -0*f - j*f for f.
-1
Let w = 56 + -56. Solve w = 5*n - 0*n + 25 for n.
-5
Let s = 0 + 0. Let b = -5 - -13. Let q = 12 - b. Solve -x + s = q for x.
-4
Let s = 2 - -1. Suppose -4*q = -0*q. Solve q = s*m - m for m.
0
Suppose -2*t + 3 = -7. Suppose -t*a - 2 = -6*a. Solve 5*x - 3 = a for x.
1
Let r = -101 + 109. Solve -3*o = -r*o for o.
0
Suppose 0 = 4*x - 4*n + 16, x - 2*n = n + 6. Let z(a) = -a - 7. Let u be z(x). Let v = 7 - 3. Solve -u*o + v*o = 10 for o.
5
Let j = -11 + 13. Solve j*g = 3 - 7 for g.
-2
Let y = 6 - 2. Suppose -2 + 0 = -h. Suppose -2*c - h*f + 3 = -3*f, 6 = -2*c - 2*f. Solve y*n + 3 - 11 = c for n.
2
Let s = -2 - -3. Let t be s/(2/(15 + 1)). Solve -r + 5*r = -t for r.
-2
Suppose -5*w + 8 = -w. Solve -m - 3 = -w*m for m.
3
Let s(g) = 15*g**2 + 6*g + 4. Let p(x) = -x - 1. Let h(b) = 5*p(b) + s(b). Let n be h(1). Solve -n = c - 4*c for c.
5
Suppose w = -2*n, 2 = 2*w - n + 7. Let j(c) = c + 1 - 5*c**2 + 115*c**3 + c**2 - 116*c**3 + 3*c**2. Let z be j(w). Solve -m = -z*m - 4 for m.
-2
Suppose 37*x = 32*x. Solve x = -3*u + 3 + 6 for u.
3
Let t(b) = -6*b**2 - 2*b + 2. Let a(k) = -42*k**2 - 15*k + 15. Let c(l) = -2*a(l) + 15*t(l). Let i be c(1). Let s = i + 10. Solve 0 = 2*w + s - 2 for w.
-1
Suppose -3*b = -8*b + 10. Suppose 2*x = 4*x - 6. Suppose x*y - 2 = 2*y. Solve 3*j = y*j - b for j.
-2
Let r(d) = d**3 - 3*d**2 - 2*d - 5. Let z be r(4). Suppose 7*k = 2*k + 30. Suppose 3*o - k = -3*m - 0, -5*m + 2*o + 17 = 0. Solve 2*n + z = m*n for n.
3
Suppose 32 = -z - 3*z. Let m be -9*(z/(-6))/(-4). Let u(r) = r**2 - r - 3. Let w be u(m). Solve w*b - 11 = -2 for b.
3
Suppose b = -4*m + 10, m + 0*m = -5*b - 26. Let l be b*1*(-1)/(-2). Let o = l - -3. Solve o = -0*z + 3*z - 3 for z.
1
Let i(g) = g + 11. Let k be i(-6). Let p(v) = v. Let a be p(k). Solve -a*x + 3 = -12 for x.
3
Suppose 3*n - 5*v - 20 = 0, -4*v = n - 0*v + 16. Solve 6 = -3*x - n for x.
-2
Let m = 2 - 0. Suppose 2*q - 3 + 1 = 0. Suppose -i + q = -m. Solve -i*w = w for w.
0
Let n be (-72)/(-42) - (-4)/14. Let h = 0 - 0. Solve -k - n*k = h for k.
0
Let q = -15 - -21. Let h(a) = -a**2 + 11*a + 3. Let t be h(5). Suppose 3*m - 3*k + 0*k - 42 = 0, k = 2*m - t. Solve m + q = -5*b for b.
-5
Let d be (-1 + 2 - 2)*-3. Suppose 0 = -d*v + 5*v - 2. Let m(t) = -2*t - 11. Let r be m(-8). Solve -r*o + 4 = -v for o.
1
Let k = -2 + 14. Suppose 2*j + 0*i - i = 9, 0 = 2*j - 4*i - k. Let g be 1 - 1 - (0 - 0). Solve g*z - j = -4*z for z.
1
Suppose 2 - 5 = -l. Suppose -i - 27 = -4*a + 10, 0 = a - 4*i - 13. Solve a = -2*v + l for v.
-3
Suppose q = -3, 0*q = 5*h + 3*q + 4. Let m be (3/(-2 + 5))/h. Solve -m - 4 = 5*k for k.
-1
Let n(u) = u**2 - 9*u + 6. Let l be n(9). Let p be -2*(-3)/l*2. Solve p*z = z + 2 for z.
2
Suppose -10 = -2*o - 0*o. Suppose -o*p + 12 = -63. Solve 3*h - 3 = -p for h.
-4
Suppose 0 = -x - 3*x + 36. Suppose 0 = -x*v + 4*v + 15. Solve v + 2 = 5*q for q.
1
Let r = -1 - -1. Let g = 3 - -3. Suppose 3*x = -2 + 17. Solve g*y - y - x = r for y.
1
Suppose 5*y - 4*x - 8 = 0, 4*y + 4*x = -10 + 38. Solve -k = y*k + 15 for k.
-3
Let z be 120/9 + 1/(-3). Solve 0 = 4*t + 7 + z for t.
-5
Let h = 28 + -12. Suppose 4*o + h = 2*x, o - 7 = -5*x - 0. Solve 2 = x*v - v for v.
2
Let i(c) = c**3 - 4*c**2 - 3*c - 5. Let w be i(5). Solve 6 = w*u + 1 for u.
1
Let x be (2/5)/(5/50). Let q be ((-30)/x)/(-5)*-2. Let s = -3 - q. Solve s = -0*v - v + 3 for v.
3
Let q = -24 - -30. Let f = -6 + 10. Solve -2 = f*s - q for s.
1
Let y be (-1 - 6) + 1 + 0. Let h = 1 - -2. Let m be (-1)/h - 26/y. Solve -4*l - m = 4 for l.
-2
Let p be (-2)/6 + (-19)/(-3). Suppose -9 = -k + p. Solve 4*d - k = -d for d.
3
Let o(a) = a - 16. Let u be o(16). Suppose u*n = 5*g + 2*n, 12 = -4*g - 4*n. Solve 2*l = -g*l + 16 for l.
4
Let m = 1 - 9. Let q = m - -13. Suppose 4*d = 20, -q*d + 16 = -0*r - 3*r. Solve x + r = 6 for x.
3
Suppose -2*o - 12 = o. Let l be (-1)/o - (-2)/(-8). Suppose 4*s + 3*a - 7 = l, -4 = -s + 5*a - 8. Solve s + 14 = 5*c for c.
3
Let z = 28 - 28. Solve z*w = -2*w for w.
0
Suppose -5*x - 11 = -3*m, 2*m - m - 3 = x. Suppose m*k - 4*k - 4*f = -12, k + 6 = 2*f. Solve -y + 1 = -k*y for y.
1
Let q = 116 - 109. Solve 3*m + 12 = q*m for m.
3
Suppose 16*w = 21*w. Solve 4*r + w*r = 0 for r.
0
Let c be (-24)/84 - (-37)/7. Solve 27 = c*z + 7 for z.
4
Suppose -7*t + 5*s = -2*t, -5*t + 2*s = -6. Suppose 4*g = 4 - 0. Let b be 0 + g + 8/2. Solve -27 = -b*m - t for m.
5
Let a = 11 + 5. Let h(n) = 4*n**2 + 4*n + 3. Let k be h(-2). Let x = a - k. Solve -20 = r - x*r for r.
5
Let j be ((-30)/(-7))/((-1)/(-7)). Suppose 6*g - 2*g = -72. Let k = j + g. Solve 0 = h + 2*h - k for h.
4
Suppose 5 = w + 3. Solve w*o = -7 + 3 for o.
-2
Let b(z) = -z**2 + 8*z - 3 + 2 - 10*z. Let k be b(-1). Solve 10 = -k*p - 2*p for p.
-5
Let z be (-1)/((-1)/(6/(-2))). Let g be 1 - 0/2 - z. Suppose 2*p + g = 3*p. Solve p*m = -m for m.
0
Suppose 3*p = -4*s + 2 + 6, 5*s - 15 = -5*p. Let c = s + 3. Suppose -3*o = c*o. Solve o*w + w + 1 = 0 for w.
-1
Let o be (0 - -1) + 0 + 0. Let y be 1/2*(-8)/(-2). Suppose -3*m + 1 = -y. Solve m + o = 2*b for b.
1
Let s(r) = r - 4. Let v be s(6). Solve -v*a + 5*a + 9 = 0 for a.
-3
Let t(d) = -d**2 + 5*d - 2. Let f be t(3). Let j = -4 + 5. Suppose -49 + j = -f*i. Solve k - 4*k - i = 0 for k.
-4
Let x(a) = 2*a**2 + 2*a - 2*a - 1 + 2*a + 9*a**2. Let w be x(1). Solve -5*f + w + 8 = 0 for f.
4
Suppose 2*f - f + 1 = 4*y, -4*y + 2 = -2*f. Let w = y + 5. Solve w - 2 = u for u.
3
Let a(k) = k**2 - 2*k - 4. Let c be a(4). Let l be 2/c*(10 - -2). Solve 0 = -w + l*w + 10 for w.
-2
Let j = -1 - -3. Suppose -16 = 3*p - 4*d, -5*p - d + 5*d - 24 = 0. Let m = -4 - p. Solve m = g + j*g - 12 for g.
4
Let g = -10 - -8. Let v = g + -4. Let t be (-87)/v - 3/(-6). Solve -2*x + t = 3*x for x.
3
Let t = 42 + -38. Solve 6 = -t*y - 2 for y.
-2
Let c = 7 + -11. Let t(v) = -16*v. Let n be t(-1). Let l be (-1)/(-4) + c/n. Solve 2*r - 3*r + 5 = l for r.
5
Suppose -3*m = -3*u - 6, 0 = 2*u - 5*u - 3. Solve x + m = -3 for x.
-4
Let f = 4 + -4. Suppose t = -w + 4, -3*w + 3 + 12 = f. Let d be (12/(-8))/(t/8). Solve 8 = 4*y - d for y.
5
Suppose 4*f + 3 = -13. Let d = -2 - f. Suppose -4*v = 4*r - 12, -3 = -5*r + d*r. Solve 5*y = 12 - v for y.
2
Let t(d) = 2*d. Let i be t(1). Solve 0 = -p - i - 0 for p.
-2
Suppose 3*i = 6 + 51. Suppose f + 5*a = 6*f - 25, 5*a = -4*f - 16. Suppose -f = -s + 1, o - 3*s = -6. Solve 4*p - 1 - i = o for p.
5
Let p(d) = -4*d - 1. Let b be p(-4). Solve 4*u - 1 = b for u.
4
Let y = 2 + 0. Let d be 3/y*8/3. Solve i - 9 = -d for i.
5
Let b be (-2)/(-7) - (-510)/(-70). Let a(u) = -8*u**2 +