 0 for l.
0
Suppose 0 = -5*m + m + 8. Let u(z) = 4*z**m + 4 + 0*z**3 - z**3 - 3*z - z**2 + 2*z. Let q be u(3). Solve 0 = x - 3 - q for x.
4
Suppose 0 = 3*i + 40 - 52. Let u be 3 + 0/((-8)/i). Solve 0 = -6*g + u*g - 15 for g.
-5
Suppose -m + 54*r + 34 = 51*r, 3*m - 4*r = 82. Solve 20 = 18*o - m*o for o.
-5
Suppose 5*m - 48 = 2*k, -3*m + 3*k + 38 = 11. Let l(y) = -y**3 - y**2 - 6*y - 13. Let a be l(-2). Solve a*r + m = r for r.
-5
Let a(j) = 3*j**2 - 33*j + 15. Let w be a(11). Solve 0 = 3*g - 0 + w for g.
-5
Let a = -790 + 790. Solve a = 57*m - 53*m - 16 for m.
4
Suppose -3*n = 3*b - 15, 4*b - 2*n - 10 = -n. Suppose c + 2 = 5*y, -b*y + 7 = 1. Solve -4*k + c*k - 16 = 0 for k.
4
Let z(i) = i**2 - i - 15. Let w be z(5). Solve -w*l + 0*l = 20 for l.
-4
Let r = -53 - -67. Suppose r*h = 11*h + 36. Solve 0 = 2*k + k + h for k.
-4
Let u = -1990 + 2024. Solve -40 = 2*s - u for s.
-3
Suppose 5*y = 19 + 21. Let m = 4 - 4. Let g = m + y. Solve -17 - g = -5*j for j.
5
Suppose 0 = -4*r - 5*d - 0*d + 481, 0 = 5*r + 4*d - 590. Let i = r + -76. Let z = i + -28. Solve j + z = -4*j for j.
-2
Let c(k) be the first derivative of 1/2*k**2 - 2*k + 11. Let g be c(4). Solve -5*j = -g*j for j.
0
Let f(h) = -h**2 + 4. Let y be f(0). Solve 0 = -y*n + 8*n + 2*n for n.
0
Let w be -8 + (-10)/(-15)*-3. Let l = w + 13. Solve n = l*n + 10 for n.
-5
Let s(q) = 2*q - 43. Let p be s(22). Let h be 2 - ((0 - p) + 0). Solve 5*i - h = 12 for i.
3
Let v = 12549 - 12543. Let a(z) = z**3 + 6*z**2 + 3*z + 5. Let i be a(-4). Solve -m - i = -v*m for m.
5
Let m be 79 + -14 + 3 - -1*7. Solve m*d = 69*d for d.
0
Suppose l - 27 = -12. Suppose -9 = 4*t - 5*r + 2*r, 5*r - l = 0. Solve -i = -t*i - 2 for i.
2
Let j(s) = -s**3 - 8*s**2 - 26*s - 31. Let f be j(-6). Solve f*r = 48*r for r.
0
Let k(j) be the first derivative of -j**4/4 - 2*j**3 - j**2/2 - 2*j - 5. Let v be k(-6). Solve -v*w + 2 = -2 for w.
1
Let v = 41 - 36. Suppose u = v*u - 28. Solve -3*w - 8 = u for w.
-5
Suppose -5*x + 4*x = 3*d - 10, 0 = x - 4. Let w(q) = -q**3 + 6*q**2 + 3. Let n be w(6). Suppose n*r = -2*r. Solve a + d = -r*a for a.
-2
Let n = 17 - 18. Let b be (-1 + -2)*n/(-9)*-6. Solve -2*s - 8 = -b for s.
-3
Let d(v) = 8*v**2 - v + 1. Let m be d(1). Suppose -4*b - 22 = -2*q - m, -2 = -2*q - 2*b. Suppose -12 = -q*c + 9. Solve c*y - 8 = 3*y for y.
2
Let d be 5/(5/3) - 1. Suppose 2*w - 3*y + 2*y - 4 = 0, 4 = -d*y. Let b be (0/2)/(w + -4). Solve b = -4*o - 0*o + 20 for o.
5
Suppose 5*u - 7*r = -4*r + 32, -16 = -3*u + r. Solve 5 - 13 = u*z for z.
-2
Suppose 2*o + 2 - 6 = -4*l, -5*l - 22 = -2*o. Suppose -u + 5*t + 26 = u, 0 = 2*u + 2*t + 2. Solve -3*r + u = -o for r.
3
Suppose 20 = 5*y - 2*o, 3*y - 3*o - 11 = -2*o. Suppose -t = -y*t + 13. Suppose 0 = -3*a - 9, 2*n - 40 = a + t. Solve 0 = 3*p - 8*p - n for p.
-5
Let x be ((-6)/14 - -5) + 8/(-14). Suppose 2*m = x*m - 18. Solve -3*i - m = -0*i for i.
-3
Suppose -4 = n + 26. Let v = 36 + n. Solve -5*s + v = -2*s for s.
2
Suppose -3*h = -2*h. Let g = 0 + 2. Suppose -w - 4 = -g*w. Solve -w*v + 10 + 2 = h for v.
3
Let h be (-4 - 26/4)/(1/(-2)). Solve 5*x = -11 + h for x.
2
Suppose -2*y - 5*f = -23 - 14, -44 = -3*y + 4*f. Let j be (-1 - 27/3) + -3. Let d = j + 18. Solve -d*x - y = -x for x.
-4
Let g(y) = -4*y**2 - 7*y + 8. Let h(c) = -5*c**2 - 8*c + 8. Let d(x) = -4*g(x) + 3*h(x). Let t be d(4). Let f = -19 + t. Solve f*p - 17 = -7 for p.
2
Suppose 0 = 5*a - 29 - 26. Solve 0 = -l + 16 - a for l.
5
Suppose 2*o + 0 = 4. Suppose 0 = o*k + k. Solve 2*b - 3*b = k for b.
0
Suppose -t - 17 + 16 = 3*j, j - 5*t = 5. Solve j = -f - 72 + 74 for f.
2
Let c be (-3)/8 - (-33)/88. Solve -6 = -2*k - c*k for k.
3
Suppose -k = 3*i - 58, 2*k - 4*k - 24 = -i. Solve -i = 4*u - 8 for u.
-3
Let w be 1/(-3 + 49/16). Suppose -o + 4 = 3*b, 0*o - 2*b = 2*o - w. Suppose 0 = -4*q + 2*q + 8. Solve -o = -z - q*z for z.
2
Let j(z) = -z**3 + 15*z**2 - 13*z - 10. Let c be j(14). Let r be (c - 3)/((-2)/(-4)). Solve -2 - r = l for l.
-4
Suppose 4*x + 12 = 0, 0 = -2*n - 4*x - 0*x - 8. Let d = -14 + 30. Suppose -d = -6*r - 4. Solve n = r*w - 2 for w.
2
Suppose 4*l + 17 = 113. Suppose 5*a - 20 - 5 = -5*f, f = 5. Suppose -4*t + l = -a. Solve -t*b = -b for b.
0
Let c be ((-20)/(-12))/(4/24). Let i = c + -4. Let p(y) = y**3 + 3*y**2 - y - 2. Let g be p(-2). Solve 18 = -g*f + i for f.
-3
Let v be 2/8 + 22/8. Let a be (17 + -15)*1/2. Let i be -1 + (1 - -3 - a). Solve -r = i*r - v for r.
1
Suppose 72*d - 68*d = 24. Solve -p + 4 = d for p.
-2
Let l be -4 + -3*5/(-3). Let a be (-238)/(-56) - l/4. Solve -i = -a*i + 12 for i.
4
Let p(y) = y**2 - 5*y - 17. Let q be p(7). Let r(l) = -l**2 - 2*l + 7. Let k be r(q). Solve -k*z - 10 = z for z.
-2
Let j(v) = 2*v - 11. Suppose -4 = -h - m, -m = -0*m + 4. Let p be j(h). Solve -p*n + 6 = -4 for n.
2
Let y(q) = 2*q - 1. Let p(c) = -18*c. Let j be p(1). Let o = j - -20. Let z be y(o). Solve -z*h - h + 12 = 0 for h.
3
Let j(p) = -p**2 - 6*p - 6. Let a be j(-4). Suppose 0*q + 20 = -4*q, 4*l - 4*q - 292 = 0. Let f be (3 - (-45)/51) + 8/l. Solve -a*t - 6 = f for t.
-5
Let o(h) = h**2 + 2*h + 1. Let y be o(-1). Suppose y = 5*i - i + n - 8, -n = 3*i - 6. Solve -5*q = -4*q + i for q.
-2
Let i = -690 + 699. Solve i*c = 7*c for c.
0
Let n = 5 - 1. Suppose -n*b + 16 = -3*a, -4*a + 5*b - 12 = 9. Let u be (-8 - a)*(2 + -3). Solve 5 = 3*y - u for y.
3
Suppose 5*m + 27 = 3*d, -5*m + 27 = 3*d - 0*d. Let u(g) = -g**2 + 41*g - 208. Let r be u(35). Solve -t - r*t + d = 0 for t.
3
Let h be (-27)/72*-8 + -1. Let c(s) = s + 3. Let z be c(0). Suppose -8 = -h*w + z*d + 4, 6 = -3*d. Solve -2*p = w*p for p.
0
Let p = -236 + 239. Suppose 0 = -a + 3*a - 8. Suppose -2*u + 10 = 2*u + 5*b, 0 = u - 3*b - 11. Solve -a = -p*t + u for t.
3
Let f = 84 - 75. Solve -4*g + 7*g = f for g.
3
Let s(x) = -x**2 + 5*x - 6. Let m be s(3). Suppose -7*p + 5*j = -2*p - 5, m = -3*p + j + 7. Solve 10 = -p*b + 4 for b.
-2
Let v(m) = m**2 - 12*m - 77. Let j be v(17). Solve 0 = -7*b + j*b for b.
0
Let l(f) = -3*f + 14. Let r(z) = 4*z + 4. Let k be r(0). Let y be l(k). Solve 1 = y*o + 7 for o.
-3
Let s(w) = 21*w + 19. Let c be s(-1). Let v be (-3)/(-12) - (-1)/(-4). Let b be (v + 1)*(c + 5). Solve -3*t - 12 = b for t.
-5
Suppose -5*g - 1 + 111 = 0. Suppose -5*s = -i - 195, i - g = -s + 17. Suppose 0 = 5*c - 5*d - 36 - s, 18 = c - 2*d. Solve c = -4*h + h for h.
-4
Let k(g) = g**3 + 8*g**2 + 8*g + 8. Let j be k(-7). Solve 3*f - j = -10 for f.
-3
Suppose 0 = 2*r - 14 - 12. Let u(y) = y**2 - 12*y + 7. Let j be u(r). Solve -4*q + 0 + j = 0 for q.
5
Let z be 1/(-22) + 15/330. Solve z*g + 5*g = -5 for g.
-1
Let h(f) = -f**3 - 5*f**2 + 10*f + 73. Let b be h(-6). Solve 45 = 4*r + b for r.
-1
Let j = -26 - -13. Let h = j - -4. Let o = -6 - h. Solve -o = 5*q - 4*q for q.
-3
Suppose -9*t - 3*t = -96. Suppose 0 = -2*i + 2*r - 2, -3*i + 7*i = 5*r - t. Solve -i*j + 5*j = -10 for j.
-5
Let p = 2 - -3. Let y = 83 + -80. Solve -p - 4 = -y*v for v.
3
Suppose -5*u + 2*g + 55 = 0, -2*g + 3 = -7. Solve -2*w = 5 - u for w.
4
Let g = -76 - -79. Suppose -k + 8 = -2*k - g*q, 5*k = -4*q + 4. Solve k*v + 18 = -2 for v.
-5
Suppose -5*s + 16 = -64. Solve -2*u - s = 2*u for u.
-4
Let p = 34 - 31. Suppose 1 = i - 1, -34 = -p*v + i. Solve b = 5*b + v for b.
-3
Let k be 105/(-28)*(2 + -6). Suppose -4*i - 2*f + 15 = -k, -4*f + 45 = 5*i. Suppose 3*x - 45 = 3*d, d - 8 = -i*x + 49. Solve -x = 5*q - 2 for q.
-2
Let o(p) = 6*p**2 + 9*p + 12. Let l be o(-4). Suppose 5*t = 17*t - l. Solve -3 = s - t for s.
3
Let s(x) = x**3 + 7*x**2 + 4*x. Let i be s(-6). Let f = i - 16. Let l be f/8*-2 + -1. Solve l = 2*w + w for w.
0
Let k be 0/((-3 - 15/(-6))*2). Let t = 5 - 3. Let l be 9/6*t + k. Solve 4*r = l*r + 4 for r.
4
Let z be ((-4608)/(-10))/24*20/3. Solve z*t = 124*t - 16 for t.
-4
Let t(f) = f**3 + 5*f**2 - 3*f - 2. Let k be t(-3). Let n = k - 13. Suppose -4*p + 8*p - n = -4*v, -5*p + 4*v + 24 = 0. Solve -m + p = -5*m for m.
-1
Suppose -3*q - 2*s + 35 = 0, 5*q + 0*q - 60 = -5*s. Solve -1 = -3*x + q for x.
4
Let s(a) be the third derivative of -a**5/60 - a**4/12 + a**3/3 - a**2. Let i be s(-3). Let x = 9 + i. Solve x = k + k for k.
4
Let g = 1674 + -1671. Solve g*w = -2*w for w.
0
Suppose 320 = -0*d - 4*d. Let w = d + 80. Solve 0 = -w*b - 3*b for b.
0
Suppose -2*u + 6 = 3*k + 4, -4*k + 4*u = 