 = -l*s for s.
5
Suppose 56 = 9*c - 16. Let i be 1 + 1 + c - -5. Solve -4*d + 6 = -3*x - 15, -3*x + 2*d = i for x.
-3
Let t = 91 + 29. Let f = -135 + 139. Suppose -f*k + t = -k. Solve 5*v = -0*z - z - 16, -5*v + 5*z = k for v.
-4
Let s = -14 - -14. Let w be 4/12*s - -5. Suppose 0 = w*m - 0*m. Solve 3*y - 4*z - 27 = -m*y, -5*z = 3*y for y.
5
Let v(w) = -w**3 + 3*w**2 + 3. Let l be v(3). Suppose -4*d + l*d = -3. Suppose 3*y = 2*y + 5. Solve -y*o = 4*a + 40, -6*a + 4*o + 1 = -d*a for a.
-5
Let r(y) = y**2 - 10*y + 18. Let z be r(2). Solve -2*s + 5*l - 36 = z*s, 3*l = -5*s - 8 for s.
-4
Let f = -152 - -152. Let m = -5 - -9. Solve -x - m*g + 7 = f, 5*x - 3*x - 2*g = -16 for x.
-5
Let y(m) = 2*m**3 + 16*m**2 + 13*m - 4. Let v be y(-7). Solve 0*p = -5*s - 3*p + 22, 4*s - v*p - 23 = 0 for s.
5
Let l be (-12)/30 - (-184)/10. Suppose 22*p = l*p + 20. Solve 3*q - 2*m - 7 = 0, p*q - 1 - 6 = m for q.
1
Let l be (-52)/(-12) + 23/3 + -7. Solve -3*w + 4*o - 10 = 0, 0 = -5*w + l*o - 9 - 6 for w.
-2
Let y be (-2)/6 - 364/(-39). Solve -3*w = 5*s - 2*s + y, 3*s + 4*w + 12 = 0 for s.
0
Let z = 780 - 778. Solve 4 = -z*r + l - 1, 2*r + 4*l - 10 = 0 for r.
-1
Suppose 0 = 12*a - 17*a + 20. Suppose 12 = a*v + 3*w, 4*v + 3 = -w + 15. Solve 4 = b + v*h, 4*h = b + 5 + 5 for b.
-2
Suppose 5*t - 3*l = 133, t - 2*l - 19 = 2. Solve u + 3*u + 16 = -4*i, 5*i + t = 4*u for i.
-5
Let h = -12 - 1. Let n be 312/h + (-1 - 0). Let s be 10/n + (-201)/(-15). Solve -s = -4*q - 5*d + 4*d, -3 = d for q.
4
Let l be 3/(-135)*-87 - (-2)/30. Solve -2*h + 0*h + 19 = 5*g, 4*h = 2*g + l for g.
3
Let k(d) = -d**3 + 2*d**2 - d + 5. Let r be k(2). Solve 5*c + 4*y = -3 + 11, -r*c - 4*y + 8 = 0 for c.
0
Suppose -2*r + 179 = -3*v, 5*r - 320 = 5*v + 6*r. Let a = v - -66. Solve -a = -t - 2*k, -3 = 4*t + t + 4*k for t.
-3
Let v(b) = 2*b - 6. Let p be v(9). Suppose 5*m + 2 = 3*d - 10, -4*m + p = 0. Suppose 0 = -5*w + 16 + d. Solve -2*l - 4 - 4 = -h, w*l = -2*h - 11 for h.
2
Suppose -4*k + 20 = k. Let q(l) = -l**2 - 36*l + 725. Let s be q(14). Solve -k*t + 8 = -12, -t = 5*x - s for x.
4
Let a = 776 - 759. Solve -r + 6*l - 3*l = a, 0 = 5*r - 5*l + 45 for r.
-5
Suppose 0 = h + 2*p, -5*h = -0*h + 3*p - 7. Suppose -h*w = -0 - 12. Solve -4*t - 5*b = -4*b - w, b + 10 = 4*t for t.
2
Suppose 3*y + 2*r + 27 = 8*y, -3*y + 14 = r. Solve 0 = -t + 4, y*q + 2*t - 30 = -2 for q.
4
Suppose -4*f + 2*f - 5*y = -77, 46 = f + 5*y. Solve f = -4*j + 5*c, 5*j = 2*c - 3*c - 17 for j.
-4
Suppose 3*n = -0*c + 5*c + 5, -2*c - 5*n + 29 = 0. Suppose 2*d - 16 = d + 3*i, 3*i - 8 = -5*d. Solve 0 = 4*q - 8, -c*w + 3*q + d = 3*w for w.
2
Let i(v) = 3*v - 110. Let w be i(42). Suppose -3*a = -2 - 28. Solve -d + 5*d - w = 4*l, 0 = d + 5*l - a for d.
5
Let t = -343 - -346. Solve v + f = -5, -t*v + 9 = 2*f - 5*f for v.
-1
Suppose -2*x + 10 = -7*c + 2*c, 0 = 5*c. Solve 0 = x*u - 3*a + 18, -5*a = -2*u - 3*a - 8 for u.
-3
Let u(m) be the second derivative of m**3/2 + 21*m**2 - m + 31. Let w be u(-13). Solve y + 6 = -4*y + q, w*q + 22 = -5*y for y.
-2
Suppose 4 = 4*c - 3*y, -c - 3*y + 1 = -0*y. Suppose 0 = -5*i + 3*k - 4*k - 59, -i = -3*k - c. Let l be (-2)/i - 8/44. Solve -v - f = l, v + 5 - 17 = -4*f for v.
-4
Let z = 30 - 27. Suppose 3*p = -0*p - 2*i + 78, 2*p = -z*i + 47. Let f = 23 + -19. Solve 1 = -4*r - 11, p = f*o - 4*r for o.
4
Suppose -4*y + 12*y = 32. Solve -4*p + s + 2*s - 17 = 0, p - y*s + 14 = 0 for p.
-2
Let w = -13 + 15. Solve -2*r - f - 4*f + 1 = 0, 2 = -2*r - w*f for r.
-2
Let b = -32 + 12. Let l = 23 + b. Suppose j - 3 = -2*j, 0 = -4*z + 4*j + 4. Solve 5*f = -2*h, -f - z*f + 21 = -l*h for f.
2
Let n = 314 + -289. Solve 0 = -m + 2, 3*c + 0*c + 5*m - n = 0 for c.
5
Let p = -10 + 18. Suppose -g - 4*h - p - 8 = 0, 3*g = -2*h - 8. Let f = -5 + 9. Solve -2*v = m - f, -5*m + 3*v + 3 - 35 = g for m.
-4
Let f be 18/8 - 18/8. Solve -2*v + 1 + 4 = -c, 3*c + 3*v + 6 = f for c.
-3
Suppose -5*y = -31*y + 78. Solve 18 = -y*m - 4*k - k, -m = -4*k - 11 for m.
-1
Suppose -4*h + 5*z = 2*z - 12, h = -2*z + 3. Suppose 7*u - 72 = h*u - 2*s, 4*u = 4*s + 72. Solve -o - 3 + 2 = 0, 0 = 4*t + 2*o - u for t.
5
Let j(d) be the third derivative of -d**5/60 - 5*d**4/12 - d**3/3 + 11*d**2. Let b be j(-6). Let c be 4/b - 40/(-22). Solve c*v + s + 2 = 3*v, -s + 4 = v for v.
3
Suppose 4*p - 3 = c, -p - 5*c + 27 = -0*p. Let q(s) = 7 + 0*s**2 + 0*s**2 - s**p + 4*s. Let m be q(5). Solve 16 = m*b + 6, 4*d - 5*b = -21 for d.
1
Let a be ((-2)/11 + 221/429)*0. Solve 4*w = -b + 12, b = -w - a*w for b.
-4
Let w be ((-4)/6)/((-4)/6). Let y = 29894 + -29891. Solve -4*h - f + 8 = y*f, 0 = -f + w for h.
1
Suppose -12*t + 59 + 1 = 0. Let i(p) = -p**2 + 9*p - 10. Let k be i(t). Solve 4*l + 3*r - k = -0*l, 0 = 2*l - r for l.
1
Suppose 4*f = -16*g + 11*g - 8, -f + 5*g = -23. Solve 3*x - 2*s - 19 = f, 25 = -5*s for x.
4
Let v = 624 + -618. Solve 0 = 4*f - 5*q + 20, -2*f - v = 4*q - 22 for f.
0
Suppose 2*a - 4 = b, -b = 4*a - 0 - 14. Let s(w) = -w**3 - 24*w**2 - 46*w - 1. Let j be s(-2). Solve 0 = 5*c + b*m + m + 17, j*c + 2*m = -10 for c.
-4
Let q(g) = 2*g**2 + 2*g + 2. Let y = 32 - 33. Let b be q(y). Solve 0 = 4*f + 5*m, b*f = -f - m for f.
0
Let h = 1 - -17. Suppose -2*p = 12 - h. Solve -y + 2 = 3*f - 7, p*y - 3*f + 21 = 0 for y.
-3
Let m be ((-44)/55)/((-4)/10). Let o(l) = l**3 - 3*l**2 + 3*l. Let f be o(m). Solve 0 = -4*v - 3*t + f + 1, -5*v + 4*t - 35 = 0 for v.
-3
Suppose 0 = -2*c + 2*i, -c - 3*i + 2*i = 10. Suppose b + b - 22 = 0. Let k = c + b. Solve -2*h - k = 7*f - 2*f, 2*f + 14 = 5*h for h.
2
Suppose 5*u = -5*n + 2*u - 15, -4*u - 20 = 5*n. Solve n = -i - v + 5*v + 11, -5*i + 19 = -2*v for i.
3
Suppose 5*h = -2*s + 41, 0*h - 13 = -4*h + 5*s. Suppose j - h = -5. Solve -4*x + 6 = z, 5*x - j = -2*z - 2*z for x.
2
Suppose 2*h = 3*q - 48, 0 = q - h - 670 + 654. Let a be 0 - (-1 - 0) - -2. Solve -a*o = 2*o - 3*r + 22, -q = -4*r for o.
-2
Let j(t) = t**3 + 7*t**2 - 3*t - 15. Suppose 28*h = 27*h - 7. Let n be j(h). Solve 4*u + 4*q - 8 = q, 2*q = -3*u + n for u.
2
Let c(t) = -t. Let j be c(-4). Suppose j*r = -8 + 24. Let s(o) = -3*o - 20. Let d be s(-8). Solve -2*h + 8 = r*u - 0, 2 = u - d*h for u.
2
Let i = 156 - 151. Solve 3*z + 20 = i*t, -3*t = -8*t + 2*z + 15 for t.
1
Suppose 5*a + q = 3*q + 29, -5*q - 5 = a. Let z be -4*3/(1 + a). Let s = 6 + z. Solve 3*w - 2*r = -3, -4*w - 1 = -3*w + s*r for w.
-1
Let y(p) be the first derivative of 13*p**4/4 - 2*p**3/3 + p**2/2 + 5. Let g be 3/6*(0 - -2). Let a be y(g). Solve 2*j + 0*w - a = 3*w, 3*j - 5*w = 20 for j.
0
Let n = -59 + 83. Let z = n + -22. Solve -w - 3*c = -4, w + 4*c - 2 = z*c for w.
-2
Let j(g) = g**3 - 9*g**2 + 4*g + 9. Let k be j(9). Suppose 0 = -k*n + 41*n + 20. Solve -5*p + p = n*v + 17, -5*p = -5*v - 35 for p.
2
Let s(n) = -n**2 + 15*n + 18. Let h be s(16). Suppose h*x = v - 5, 5*v - 5*x = 11 + 9. Solve w - 21 = v*j + 3*w, -3*j + w - 12 = 0 for j.
-5
Let g(h) = -43*h + 650. Let f be g(15). Solve o - 3*y = -o - 1, o - f*y = 10 for o.
-5
Let r = 30 + -25. Let i be 2/((r + 3)/(-4)). Let w be 12/12*(i + 30). Solve 4*y + 14 = -6, -5*y = -4*b + w for b.
1
Let j(z) = 3*z + 33. Let r be j(-10). Solve p + r*u = 5*u + 5, -3*p + 5*u = -14 for p.
3
Let o(a) = a**2 + 12*a - 30. Suppose -5*b - 2*w = 71, -4*w = -4 - 4. Let d be o(b). Solve h + 3*q + 0*q = -20, -d = 5*h - 2*q for h.
-5
Let u = 124 - 67. Let s = u - 54. Solve 5*y - 3*y + 7 = s*d, -18 = -2*y - 2*d for y.
4
Let a be (-4 - 4 - -10) + 7. Solve 23 = 2*r + 5*p, -3*p = -a - 6 for r.
-1
Suppose 0 = -1061*b + 1063*b. Solve 8*o - 5*o + 3 = b, -l - 2*o - 2 = 0 for l.
0
Let b = 78 - 82. Let r(o) = -o**3 - 3*o**2 + 4*o + 4. Let m be r(b). Solve 0 = f + 3*f + a + m, 4*a + 16 = -f for f.
0
Let o be -7*(-24)/56 + 0 + 1. Suppose -o*l - 3 = -3*j, -2 + 5 = l. Solve -2*m = j*u - 15, 1 = -2*u + 3 for m.
5
Suppose -266 = 93*k - 107*k. Solve 0 = 5*u + c - k, -3*c = 5*u - 6*u - 9 for u.
3
Let v = 272 - 270. Solve 6*n - 2*r = 2*n, -v*r = 5*n for n.
0
Let u = 90 + -85. Suppose 3*f + 6 = 5*f. Solve u*l + 2*y + 3*y - 35 = 0, f*l = -5*y + 29 for l.
3
Let g(m) = 2*m**3 + m**2 - 16*m. Let r be g(-3). Solve 0 = -2*b - 2*b + 2*w - 22, 21 = -2*b + r*w for b.
-3
Suppose -1451*t = -1445*t - 18. Solve 4 = 2*r - y - 6, 0 = 4*r - t*y - 22 for r.
4
Let h(b) = b**2 - 13*b + 25. Let a be h(10). Let x be (