a + 1 = 0, 3*q - 2*a + 19 = 0. Let s be -2 - (24*-1 + q). Solve s = y - 6*y for y.
-5
Let s = 14 + -7. Let q = -2 + s. Solve 0*w - 5*w = q for w.
-1
Let u = -31 - -48. Let o = u - 11. Suppose 5*m - o*m = -5. Solve 0 + m = -5*h for h.
-1
Let p(r) = -r**3 - 9*r**2 + 9*r - 4. Let o be p(-10). Let s be ((-4)/o)/(1/(-6)). Solve 6 + s = 2*b for b.
5
Suppose -4*m + 3*r - 44 = 0, -m - 3 = -r + 8. Let o = -7 - m. Suppose 3*p + o = -4*x - 3, 4*p - 5*x = 32. Solve u + p = 4 for u.
1
Let x be (-5 + 5)/(1 + 0). Solve x = -8*m + 4*m - 12 for m.
-3
Suppose 2*z + 0*b - 3 = -b, 2*b = z - 4. Suppose -q = -6*q + 40. Suppose q*p = 3*p + 10. Solve 3*x = p*x - z for x.
-2
Let t be (30/9)/(2/24). Suppose -5*b + t = 5. Let s be 0 + 2 + -1 + 14. Solve s = -b*h + 2*h for h.
-3
Suppose -2 = -5*v + 8. Suppose -4*p + c = 3*c - 8, -5*c = 0. Suppose 2 = -0*d + p*d. Solve d = -v*r - 1 for r.
-1
Let v be 245/(-21)*(-24)/40. Suppose 0*y + 5*y - 40 = 0. Solve y = -3*r - v for r.
-5
Suppose 8*s - 141 = 5*s. Suppose -s = -3*o + 1. Solve 4*h + 0*h + o = 0 for h.
-4
Suppose 0 = -f + 4*c + 11, 5*c + 2 + 17 = 3*f. Suppose -f + 5 = z. Let b(r) = r**2 + 4*r. Let q be b(-4). Solve q*j + 8 = -z*j for j.
-4
Suppose -44 = 3*o - 4*a, -5*o = -2*a - 19 + 69. Let u be (4/o)/((-3)/(-36)). Let s be 2/u - 12/(-36). Solve s = 3*v - v + 6 for v.
-3
Let l be (-2)/(-3) + (-2)/3. Suppose 2*o - 4 = -l*o. Suppose -5*r + o = -8. Solve -z = r*z + 12 for z.
-4
Suppose 0 = -13*n - 8 + 21. Solve 0 = v + n - 5 for v.
4
Let l be 0*(20/30)/((-4)/(-3)). Solve 5*a + 3 - 23 = l for a.
4
Let g(y) = y + 8. Let o be g(-5). Solve -12 + o = 3*j for j.
-3
Let k = -12 - -15. Solve 0 = -3*b - k for b.
-1
Suppose r = -3*r. Let t(l) = 4*l - 3*l - l**3 + 0*l + l**2 + 2. Let s be t(r). Solve s*n = 3 + 3 for n.
3
Let p be (-1)/(5/150*-3). Solve 6*y + p = y for y.
-2
Let o be 2 - (-1 + 2) - -2. Let d be (-2)/(-4)*(o + -1). Solve -g - 4 = -d for g.
-3
Suppose -49 = -7*z - 7. Solve -4*n + z = -n for n.
2
Suppose -2 + 0 = -z, -2*y - 24 = -5*z. Let a = -7 - y. Let f(v) = -v + 3. Let x be f(a). Solve x + 0 = l for l.
3
Let j = -23 + 31. Solve -2*v - 2*v + j = 0 for v.
2
Let y be 160/25 - (-4)/(-10). Suppose -y = -r + 1. Solve r*d - 2*d = 5 for d.
1
Let q(w) = -2*w - 10. Let x be q(-7). Solve 5*j + 4 = x*j for j.
-4
Suppose 0 + 15 = -3*y. Let s = 8 + y. Suppose -6*j + 2*j = 0. Solve j = -s*f - f for f.
0
Suppose a - 4 = -a. Let s = -3 + a. Let i = s + 1. Solve i*x = -5*x - 25 for x.
-5
Suppose -3*a = 4*g - 26, -4*g = -4*a - 19 + 7. Suppose -a*b + 18 = 4*i, -b + 10 - 3 = i. Solve -b*v = -2 - 3 for v.
1
Let l(t) be the third derivative of t**5/60 - 5*t**4/24 - t**3/2 - 4*t**2. Let z be l(6). Solve -z*a + 2 = 11 for a.
-3
Suppose 0*x - 50 = -4*f - x, 0 = -2*f + 2*x + 30. Solve -4*v - f = -1 for v.
-3
Suppose 0 = -3*a - 2*a + 20. Solve a*b = -0*b - 4 for b.
-1
Suppose 2*d - l = 25, 2*d + l = 17 - 2. Suppose -3*a = -4*q + 2*q, -4*q + a + d = 0. Let u be ((q - 2) + -1)/(-1). Solve u = -2*v - 4 - 4 for v.
-4
Suppose 0*o - 3*o = 0. Let g = -25 + 17. Let j be (-2)/g - 1/4. Solve 4*h + j*h = o for h.
0
Let f(v) = 5*v - 7. Let t be f(5). Let j = 2 + 0. Let m(n) = -n + 2. Let h be m(-2). Solve -h*g + t = -j for g.
5
Let a(x) = x**2 + x - 2. Let y be a(-3). Solve -g - y*g + 5 = 0 for g.
1
Let j = 0 + 0. Suppose j*c - 3 = -c. Let g(a) = a**2 + 7*a + 8. Let z be g(-6). Solve -z = c*t - t for t.
-1
Let n(m) = -m**3 + 10*m**2 + 24*m + 9. Let o be n(12). Solve o = -4*w + 25 for w.
4
Suppose -5*r = 4*q - 100, -5*r + 106 - 6 = -3*q. Let g be r/(-6)*30/(-25). Suppose -g*n = -n - 9. Solve -4*x - n = 1 for x.
-1
Suppose 2 = -3*k + 5*u - 3, 5*u = -5*k + 5. Solve k = i - 3 for i.
3
Suppose 2*n + 25 = 7*n. Let s be 2 - (2 + -3 - 2). Let u(a) = -a**3 + 4*a**2 - 3*a. Let c be u(2). Solve s = c*i - n for i.
5
Let c be 2/3 - 44/(-6). Let n be -3 - (-2*5 + 2). Let q be (-18)/(-30) - 3/n. Solve q = 3*k - c*k - 15 for k.
-3
Let d be 17/4 - 3/12. Let a be 1/4 - (-7)/d. Let r = -10 + 14. Solve r*w + 10 = -a for w.
-3
Suppose -r - 6 = 6. Let p = r + -6. Let u be ((-6)/(-9))/((-4)/p). Solve 2 + u = o for o.
5
Let r = 0 + 1. Let b = r - -1. Let q = 5 - b. Solve -q*f = -f for f.
0
Suppose 0 = 4*c - 2 - 6. Suppose -5*j = -37 + c. Solve -3*g = -8 - j for g.
5
Let n = -11 + 13. Solve n - 12 = 5*z for z.
-2
Let i be 3/1 - (-2 - -1). Solve -i*o + 5 + 11 = 0 for o.
4
Let q = -6 - -15. Solve q = -g + 4*g for g.
3
Suppose 3 = 5*l - 12. Suppose -2*c = z - 9 - 4, -c - l*z + 19 = 0. Suppose -4*x = -3*x - c. Solve 0 = x*a - 5*a for a.
0
Let g = 11 - 11. Let h = 4 - g. Solve 0 = -h*d - 0*d for d.
0
Suppose 0*b + b = 7. Let s = 4 - 0. Let d = -2 + s. Solve r + d = b for r.
5
Let l = -25 + 35. Let g(k) be the second derivative of k**4/12 - 3*k**3/2 - 3*k**2 - 2*k. Let f be g(l). Solve f*w = w + 9 for w.
3
Suppose 5*h + 13 - 33 = 0. Let i = h + -7. Let l = i - -7. Solve -l*q + 14 = 2 for q.
3
Let v(u) = -u**2 - 8*u - 6. Let d be v(-6). Let b be (-2)/(-5) + 24/(-10). Let y be (b/(-5))/((-1)/(-15)). Solve -3*s = d + y for s.
-4
Let a = 30 + -28. Solve -a*s = -7*s for s.
0
Suppose 10*z = 7*z. Suppose 3*a + 1 = 7, -5*r + 4*a - 8 = z. Let u(y) = -y**3 + 8*y**2 - 8*y + 9. Let n be u(7). Solve -n*v + 3 + 5 = r for v.
4
Suppose 6*p = p + 15. Solve -2*n = -p*n for n.
0
Suppose 4*o = -3*x - 12, -3*x = -4*o - x + 8. Solve z + 2*z = o for z.
0
Let i(q) = 6*q**3 + q - 2. Let l be i(1). Suppose -27 = -2*z - l*v, 2*z - 3*v + 29 = 4*z. Solve -6*p + 2*p - z = 0 for p.
-4
Suppose 3*m + 5*t - 85 = 0, 4*t + 22 = -m + 55. Solve 4*s + s + m = 0 for s.
-5
Let c = -5 + 8. Let w(l) = l**2 - 7*l + 3. Let d be w(c). Let u = d - -17. Solve -q = q - u for q.
4
Suppose 16*m - 13*m - 9 = 0. Solve 4*a + 5 = -m for a.
-2
Let v(j) = -j**3 - 7*j**2 + j + 9. Let n be v(-7). Solve -3 = -s + n*s for s.
-3
Let j(i) = -i**2 + 13*i + 17. Let x be j(14). Suppose -5 = -4*q + x. Solve q*r - 1 = -3 for r.
-1
Suppose -5*l + v = -1, 0*v = 3*v + 3. Suppose 0*t = 2*t - 2. Suppose 3*w + 2 = -t, i + w - 6 = 0. Solve -5*c - 8 - i = l for c.
-3
Let c(b) = b**2 - 8*b + 5. Let t be c(8). Suppose -3*s = -17 + t. Suppose 0 = 2*z - 3*l + 3, s*l = 3*z + l + 3. Solve -h - 2 - 2 = z for h.
-4
Let s = 2 - 0. Suppose -3*a + 5*w - s = 0, 3*a - 3*w = -a + 1. Suppose -28*l - 28 = -35*l. Solve 0 = l*z + 3 + a for z.
-1
Suppose 2*m - 35 = -5*o - 10, 2*o + 5*m - 10 = 0. Solve o*d - 25 = -0*d for d.
5
Let v = -38 + 39. Solve 0 = -5*a - v + 11 for a.
2
Let t = 37 + -35. Solve t*d - 2 = -0*d for d.
1
Suppose -2*a = n - 48, a + 96 = 5*n - 144. Suppose 0 = -5*k - g + 51, -4*k + g = -0*k - n. Suppose 9 + k = 4*v. Solve -2*b = -b - v for b.
5
Suppose -5*k + 2*k = 0. Let h be 0/(-2 - -4 - 3). Solve k*x - x = h for x.
0
Suppose 0*c = 6*c. Solve -4*b + 3*b + 4 = c for b.
4
Let u(r) = 4*r - 6. Let p be u(5). Suppose i - p = -3*y, i + y = 2*i - 6. Suppose i = 4*l - 2*l. Solve l*d + 15 = 7*d for d.
5
Let j = 1 + 18. Let q be j + (-1 - 1) + -1. Solve -2*o + 6 = q for o.
-5
Suppose -t + r - 9 = -6*t, -2*t = -r - 5. Suppose -u + 5 + t = 0. Suppose u - 34 = -3*n. Solve 0 = -2*f + 5*f + n for f.
-3
Let m(j) = -j**2. Let t = 2 + -2. Let o be m(t). Suppose v + 1 = u - 0*v, o = u + 3*v - 9. Solve 4*k + u = 7 for k.
1
Suppose -3*b + 4 = -2*g, -4*b + b = -12. Solve 8 = g*s - 2*s for s.
4
Let n(q) = -5 + 5*q + 2*q - 5*q - q. Let p be n(7). Solve -5 + p = -3*l for l.
1
Let q(y) = -y**3 + 5*y**2 - 8. Let k be q(4). Solve -k = -5*i + 2 for i.
2
Let n(c) = c**2 - 9*c + 7. Let v be n(7). Let b = -7 - v. Solve -4*r + r + 3 = b for r.
1
Suppose 0 = -2*u - 0*u - 3*f + 11, 2*u - 12 = -4*f. Solve -u*k - 1 = 7 for k.
-2
Suppose 0 = 2*y - 4 - 2. Let h(m) = m**2 + 3*m - 3. Let w(b) = b**2 + 4*b - 2. Let i(x) = -5*h(x) + 4*w(x). Let j be i(0). Solve y*v = j*v - 12 for v.
3
Let s(y) be the first derivative of -y**4/4 - 2*y**3/3 - 2*y**2 - 3*y + 2. Let t be s(-2). Solve t*n + 4 + 1 = 0 for n.
-1
Suppose w - 14 = -w. Let n = 8 - -87. Suppose -5*o + 0*o = -n. Solve w = -3*p + o for p.
4
Suppose -4*w + 6 = 2*g, 2*w + 5*g = 2*g + 1. Solve 6 + 4 = -w*h for h.
-5
Let p(v) be the second derivative of 0 + 4*v + 1/6*v**4 + 0*v**2 - 1/20*v**5 + 1/2*v**3. Let w be p(3). Solve w = -5*q + 11 + 4 for q.
3
Let m(i) = 2*i - 8. Let b be m(8). Suppose -2 = w, b*w = -j + 4*w - 3. Solve -j*x + 12 = -x for x.
