r b.
3
Let i = 1 + -1. Solve 0 = -i*a + a for a.
0
Let b = 9 + -6. Let j(u) = -2*u - 13. Let y be j(-7). Let z be 0 + (-6)/(-3) + y. Solve 6 + z = -b*k for k.
-3
Let i = -73 + 86. Solve 5*o + i = 3 for o.
-2
Let m(x) = -x + 2. Suppose 0 = 7*z - 3*z - 8. Let o be m(z). Solve -6*n + 2*n = o for n.
0
Let l(g) = g**2 + 14*g + 1. Let c be l(-14). Solve -c = 3*b + 2 for b.
-1
Let c be -3*(-2)/(-6) - -6. Solve c*p = -0*p + 15 for p.
3
Suppose -2*o + s - 11 - 11 = 0, 0 = -o + 5*s - 20. Let m = o + 14. Let p = m + -4. Solve p*u = 3*u for u.
0
Let r(i) = i**3 + 6*i**2 + 4*i - 1. Let t = 3 + -8. Let a be r(t). Suppose -7 = f + 4*g - g, -5*f + 2*g + 33 = 0. Solve -f*d + 29 = a for d.
5
Let z be 1*(-3)/6 + (-169)/(-26). Solve -x = -z*x for x.
0
Let p be 78/10 + 2/10. Suppose -4*o + 2*o = -p. Solve 2*n = -2*n + o for n.
1
Let d(y) = y - 11. Let r be d(12). Solve -q + 2 + r = 0 for q.
3
Let a = 55 + -52. Solve -2 = q + a for q.
-5
Let s(v) = -2*v - 8. Let t(r) = r**3 - r + 14. Let w be t(0). Let j be (w/6)/(2/(-6)). Let y be s(j). Solve y*c = c for c.
0
Suppose -3*s - 2*s = 0. Solve s*l - l = 0 for l.
0
Let a be (0/(-1))/(-1 + 2). Suppose a = 2*o - o. Solve o = 8*t - 4*t - 20 for t.
5
Let k = 34 + -32. Solve k = 3*z - z for z.
1
Let b be 2/(-4) + 22/4. Suppose 5*l - 25 = -b*d, l = -d + 2*d - 1. Let r be (-2)/d + 16/6. Solve -r*j + 2 = -j for j.
2
Let w = -15 - -39. Suppose 5*u = w - 4. Solve -u*h - h = 0 for h.
0
Suppose -6*v + 2*v = -j - 22, 4*j + 22 = 5*v. Solve 0*s - 3*s = -v for s.
2
Suppose -v + 2 = -3. Let c be (-40)/(-12) - (-4)/6. Suppose 2*k = 4*f, -c*k + 21 = -2*k + 3*f. Solve v*t + 4 = -k for t.
-2
Let c be 4 - 6 - 4/(-2). Solve c = 5*b - 5 for b.
1
Let o be (-6)/4*(-7 + 5). Let w be (3 + 0)/(o/2). Solve -3*x + w = -x for x.
1
Let f(p) = -p. Suppose 0 = -5*d + 77 - 2. Suppose d = -5*u - 0. Let a be f(u). Solve -2*l + 20 = a*l for l.
4
Let z(w) = -w**2 - 17*w + 45. Let k be z(-19). Solve 3*y = k - 10 for y.
-1
Let x be (4/7)/(8/28). Let t be 0/(x + -6 + 3). Solve -2*h - h = t for h.
0
Let g = -3 - -7. Let l = g - 3. Let z be (-2 + l)*2/(-1). Solve -5*n = -z*n for n.
0
Let i = 8 - 9. Let j be i*3*8/(-12). Let p(h) = -h + 12. Let y be p(7). Solve -j = y*l - 3*l for l.
-1
Let i(z) be the third derivative of z**4/24 + 17*z**3/6 - 10*z**2. Let w be i(-13). Solve 5*k - 11 = w for k.
3
Let q(c) = -c + 3. Let y be q(0). Suppose 3 = l - y*m, -2*l - 4*m = -0*l - 16. Solve 0*s - 3*s = -l for s.
2
Let s = 26 + -26. Solve -5*z + 0 - 10 = s for z.
-2
Let t(r) = r - 4. Let z be t(10). Solve -4*b + b = -z for b.
2
Let a(d) = d**2 - 8*d + 18. Let h be a(5). Solve 0 = -4*v + h*v for v.
0
Let v(d) = 4*d + 19. Let k be v(-3). Solve 0 = k*w - 5*w for w.
0
Let b = -41 + 43. Let r = 0 - -1. Solve -y = -b - r for y.
3
Suppose 7 + 8 = 5*z, 0 = 3*l - 3*z + 9. Suppose l = -r + 2 - 4. Let i = r + 5. Solve -i = -2*f + 7 for f.
5
Suppose -4*i = 3*l - 46, 4*i - 38 = -0*l + l. Let d = i - 5. Solve 4 = -d*g - 1 for g.
-1
Let u(h) = h**3 - 3*h**2 + h + 2. Let a be u(2). Solve a = -4*x - 3 + 19 for x.
4
Suppose o = -4*n - 7, 0*n - 30 = -3*o + 5*n. Solve -2 = g - o for g.
3
Let u(d) = -d - 8. Let t be u(-8). Suppose t = 2*c - 7*c. Solve c = 3*p + 2*p for p.
0
Let p(k) = -k**3 - k**2 + 2*k + 2. Let h(u) = 6 - 4*u + 3*u + 3*u. Let w be h(-4). Let r be p(w). Solve 1 = r*j + 3 for j.
-1
Suppose -16 = -4*b - 0*b. Solve 0 = -5*d + b*d - 2 for d.
-2
Suppose q - 13 = -5*s, 4 = -0*q + 4*q + 4*s. Let x(r) = r**2. Let h be x(q). Let m = 6 - h. Solve 0 = -m*a + 5*a + 12 for a.
-4
Let f be (130/(-25))/(2/(-5)). Let z = 12 + -3. Let x = f - z. Solve -4 = x*h - 0*h for h.
-1
Suppose 0 = 8*d + 38 - 54. Solve -d*c = 3*c for c.
0
Let t = -61 + 109. Suppose 2*q = -4*q + t. Let c = -1 + 1. Solve c = -q*h + 4*h for h.
0
Suppose -s - 4 = h, -6*h + 3*h = 5*s + 12. Let k be (6/(-3))/(-2) - s. Let l(y) = 2*y**3 - y + 1. Let n be l(k). Solve -n*q = 2 + 4 for q.
-3
Let v be (-42)/(-8) - 2/8. Suppose -4*q = -v*q + 4. Suppose 5*x - 3 = -q*m, -3*x = 2*m + 3 - 2. Solve -1 = 4*u + m for u.
-2
Let n(u) = -7 + 1 - 11*u + 4. Let o be n(-2). Suppose 2*x + 2*x = 0. Solve 3*c - 8*c - o = x for c.
-4
Let s(j) be the first derivative of -2*j - 1 + 1/3*j**3 - 1/2*j**2. Let t be s(3). Solve 7*a + 6 = t*a for a.
-2
Let d be 6 - (-1 + -2)/(-3). Solve -q + 4 = d for q.
-1
Let f(c) = -4*c. Let z = -11 + 7. Let w be f(z). Solve 2*p - w = 6*p for p.
-4
Suppose -5*z = -5*i, 5*z + 8 = -i - 2*i. Let c = i - -3. Let l be (-2)/(0 - c)*1. Solve 2*p + l = -1 for p.
-1
Let h be 28 + (0 - -1 - 4). Let a = h - 18. Suppose -a = -b - 4. Solve 0 = b*l - 0*l for l.
0
Let v(w) be the first derivative of w**4/4 + 4*w**3 + 5*w**2 - 2*w - 10. Let y be v(-11). Solve y*f = 4*f for f.
0
Suppose -2*y - 10 = o - 5*o, 0 = -o - 5*y - 3. Suppose 16 = 3*m + m, -o = 2*r - 3*m. Solve a = 6*a - r for a.
1
Let s be 0/1 - (-6)/1. Let i be 10*2/4*1. Suppose 3*y = 2*a - 0*a + 22, 3*a = i*y - 36. Solve s = -4*r - y for r.
-3
Let j = 21 - 12. Let h be j/2 + (-18)/(-12). Solve h = -4*f - 10 for f.
-4
Suppose t + 2*o + 10 = 2, 5*t + 15 = -5*o. Solve 4 = -2*h - t for h.
-3
Let v = 1 - -9. Let p = 11 - v. Solve 0 = z + p + 2 for z.
-3
Let i(q) = -q**3 - q**2 + 4. Let f(u) = u**2 - 3. Let t(l) = 4*f(l) + 3*i(l). Let s be t(-1). Suppose -s = 3*p - 5*p. Solve 4 = -2*n + p for n.
-1
Let o(p) = -p**2 + 9*p + 4. Let r be o(8). Let f be (r/10)/(3/15). Let c(b) = b**2 - 3*b + 1. Let s be c(4). Solve -s*x = f + 9 for x.
-3
Let g = -4 + 8. Solve g = -6*a + 2*a for a.
-1
Suppose -2*b + 24 = b. Let q(v) = -v**2 + 17*v + 63. Let r be q(20). Solve r*h = -h - b for h.
-2
Let o = -31 - -34. Solve -o*x - x = -20 for x.
5
Let c(x) = 5 - 5 - x. Let k be c(-4). Solve -k*v + 5 = v for v.
1
Let u be 5/2 + 3/6. Suppose p + 2 = -r + u, 5*r - 2*p = 19. Suppose 4*c + j = 2, -4 = c + c + r*j. Solve -6 = -f - c for f.
5
Let d be (7 + 1)/((-4)/(-10)). Suppose -4*g - 4 = -3*w + 12, 0 = -5*w + 5*g + d. Solve -1 = -w*f - f for f.
1
Suppose -5*q - 2*z - 32 = 16, -q - 16 = 2*z. Let p = 8 + q. Solve p = 5*k - 11 - 4 for k.
3
Let z be 1*(2 + (-3 - -1)). Let m(c) = c - 4. Let v be m(6). Solve z - 2 = -v*q for q.
1
Let a be 8/6 - (-12)/18. Suppose -y = -4*c + 15, -2*y + 2*c - 4 = a. Suppose -6 + 18 = 4*k. Solve y - k = -p for p.
2
Let s = -1 - -1. Suppose 0*n - 2*n + 10 = s, 0 = 3*f + 3*n - 24. Suppose 0 = b - 0*b. Solve b = f*t - 0*t - 3 for t.
1
Let h = 0 + 1. Suppose 0 = -2*d - 3*y + 1, -h - 2 = -y. Let s = 2 - d. Solve -2*x + s = x for x.
2
Suppose 0 = r + 4*r. Suppose -2*i - 14 = 3*o, 0 = 2*o + 3*o + 5*i + 30. Let l be 3 + -4 - o/2. Solve 2*m + r*m = l for m.
0
Suppose -7 + 2 = -5*p. Let m(j) = 15*j**2 + 5*j - 4. Let u(z) = -16*z**2 - 4*z + 3. Let a(y) = -3*m(y) - 4*u(y). Let w be a(p). Solve -w = -c - 3*c for c.
5
Suppose -24 = -2*h + 4*j, -3*h + 5*j = -2*h - 21. Let x be (h/9)/(6/27). Solve x*t = -0*t + 6 for t.
2
Let a(m) = -m - 7. Let s be a(-10). Solve -4 = -p - s*p for p.
1
Suppose -4*t - 2*g + 22 = 0, 4*t + 2*g + 2*g = 28. Suppose 2*q + 2*w - 22 = -3*q, 0 = 2*q + t*w - 12. Solve q*j + 5 = -j for j.
-1
Let u(y) = -y**3 + 9*y**2 - 8*y + 3. Let z be u(8). Let i be 9 + ((-3)/z - 1). Let t = i - 2. Solve r = t*r for r.
0
Suppose o - 4 + 1 = 0. Suppose -o*c + 0 = -9. Solve n = c*n + 2 for n.
-1
Suppose 2*k - 3*u = 22, -4 + 1 = -3*k - 3*u. Solve 2*g = k*g - 6 for g.
2
Let u be (1*5/(-1))/(-1). Suppose 0 = u*t - 3*t - 24. Let z be (-30)/4*(-8)/t. Solve -z*f = 2 - 7 for f.
1
Suppose -3*k + 11*k - 32 = 0. Solve k*a - 3*a - 3 = 0 for a.
3
Let u = 12 + -12. Solve u = 5*s + 10 + 5 for s.
-3
Suppose -b + 0 + 2 = 0. Suppose 9 = b*n + n. Solve -3*s - n = -2*s for s.
-3
Let h = 9 - 5. Suppose h*c + 9 = c. Let a = 0 - c. Solve -7*j = -a*j for j.
0
Let m = 13 + -7. Solve 0 = -0*q - 3*q - m for q.
-2
Let y(w) = w**3 + 11*w**2 - 14*w - 4. Let n be y(-12). Solve -x - 3*x - n = 0 for x.
-5
Let z(a) = a. Let x be z(-3). Let j = x - -6. Suppose b = -4*b. Solve b = -l + 6 - j for l.
3
Let p be (6 - 3) + (-19 - 0). Let m = 25 + p. Solve -2*q - m = 1 for q.
-5
Let s = 233 + -221. Suppose -3 = -3*c, 0 = -4*n + 3*c - 0*c + 5. Solve s = -n*k - k for k.
-4
Suppose 0 = -2*n + 4*f + 4, 2*n + f = 4 - 5. Let t be (-6)/(-9)*36/8. Solve 2*s - t + 7 = n for s.
-2
Let s = -13 - -8. Let f = -4 - s. Suppose 1 = h - 1. Solve 0 = -h*