d + 20 = -4*d for v.
-4
Let l(t) = t**3 - 11*t**2 + 19*t - 8. Let b be l(9). Suppose 0*u + 2*u - 5*p + 5 = 0, -b = -3*u - p. Solve u = -4*a - k - 11, 6 - 15 = -4*a - 5*k for a.
-4
Let j be (-3 - 1)*30/(-20). Let y = j - 3. Solve 5*i - 5 = y*p, 3 = 4*i + 5*p - 1 for i.
1
Let p = 129 - 123. Suppose i + 15 = p*i. Solve -2*k + 6*k - 8 = 4*c, -4*k = i*c + 13 for k.
-1
Let z be ((-9)/(-6))/(-1)*-2. Solve -z*s + 3*m + 22 = -2*m, -4*s + 11 = -3*m for s.
-1
Let z = -16 - -22. Suppose 48 = z*p + 18. Solve -5*h + 29 = -2*x, 2*x + p = 4*h - 19 for x.
-2
Let l = 2 - -22. Suppose -2*b - 4*d = -l, -20 = -b + d - 5*d. Solve f + 4 = b*r - 16, 24 = -2*f + 4*r for f.
-4
Let x = 55 + -99. Let v be (-9)/12 - x/16. Suppose -13 = -3*i + v. Solve 12 = -4*w - i*k, w = 2*w + 5*k + 18 for w.
2
Let c = 15 + -13. Suppose -c*m = 2*m - 72. Let f be 58/m + (-2)/9. Solve 15 = h - 5*h - 5*v, -f*h - 13 = 2*v for h.
-5
Let q(v) be the first derivative of v**4/4 - v**3 - 7*v**2/2 + v + 21. Let k be q(5). Solve 2 = 2*i + o + 8, -4*o - k = 4*i for i.
-2
Let l = -9 + 13. Solve l*g + 0*d - d + 2 = 0, -3*g - 2*d = 7 for g.
-1
Suppose 4*j - 854 = -3*j. Suppose -5*u - 107 + j = 0. Solve 5*m = 4*m - p, -3*p = -u for m.
-1
Let t be -4*(-2 - 2/(-2)). Let g(n) = t*n**2 - 3*n - n + 0*n + 2. Let j be g(2). Solve j = 3*x + v, -5 = -5*v - 0*v for x.
3
Let o(z) = z**2 + 2*z - 1. Let g be o(-2). Let a be 0 + 2 + 0/g. Let r(b) = b**2 + 29*b + 56. Let t be r(-27). Solve -t*j - 6 = -a*c, -4*j + 0 = -4 for c.
4
Suppose 17*c - 180 = 21*c. Let m = 49 + c. Solve -m*h - 17 = 2*x - x, -4*x = 2*h - 2 for x.
3
Suppose c - 19 = -15. Let j = 12 + -7. Let d be (-114)/(-4) + 1/(-2). Solve s - j = -2*l + 2*s, -d = -4*l - c*s for l.
4
Let b be 0 + -3 + (13 - 4) + -2. Suppose 0*v + 2 = 4*q + 2*v, -b*q - 5*v - 7 = 0. Solve 2*c - s + 3*s + q = 0, -4*c + s = -6 for c.
1
Suppose 4*d = 1 + 7. Let n(a) = -21*a - 87. Let p be n(-5). Solve -u = -d*l + 3, -2*u - 5*l = -3 + p for u.
-5
Suppose 4*a - 100 = 4*n, 31 + 12 = 3*a + 5*n. Solve -5*y + 4*o + 3 = 0, y - 5*y - 3*o + a = 0 for y.
3
Let h be 1/2*8 - 9. Let p(b) = 5*b + 25. Let g be p(h). Solve -3 + 0 = 4*m + r, g = -5*m - 3*r - 2 for m.
-1
Let h be (-1)/(2/120*4). Let b be (-3 - (-5)/3)*h/2. Solve 2*r + w + 5 = 5*r, -b = 2*w for r.
0
Suppose -4 = b + 3*k - 0*k, -16 = 2*b + 4*k. Let l = b - -18. Suppose 0 = -12*s + 13*s - l. Solve -5*d = 3*i + 2, s*i - i + 6 = d for d.
2
Let h(b) = b**2 - 13*b - 22. Let l be h(15). Suppose -27 - l = -7*o. Solve 5*y + 21 = -3*j, -3*j + o*y + 6 = y for j.
-2
Let f be 6*(-4)/8 - -43. Suppose -10*a = -5*a - f. Solve 0 = -m + i + 10, 2*m + 5*i = -a - 7 for m.
5
Let n(q) = -q**2 - 6*q + 26. Let g be n(-8). Let y be 1/((-2)/g) + 7. Solve 0 = -3*u + 6, -y*l + 7*l - 28 = -4*u for l.
4
Suppose -4*r = -r - 15. Suppose -3*z + r*p = -22, p + 6 = 2*z - z. Suppose 0 = z*u - 16 - 16. Solve f - 3*o = 8, -3*f - u*o + 3*o = 18 for f.
-1
Let z = -100 - -63. Let c = z + 48. Solve 2*n + c = -5*x, -5*n - 18 = -2*x + 5*x for x.
-1
Let h = -407 - -417. Solve 2*d - 7 = 1, -h = 5*w - 5*d for w.
2
Let d(z) = -z**2 + 4. Let t be d(-2). Suppose t*q + q - 4 = 0. Solve 5*b - 17 = 4*r + q*b, -2*r - 4*b - 22 = 0 for r.
-5
Let x be 2/(-8) + 21/4. Let r = -1013 - -1023. Solve -2*y + 2*q = 2, -x*y + 2*q + r = -0*q for y.
4
Let g = 11 - 9. Suppose g*c - 1 = 7. Solve -n + 1 = -w, -3*w = 3*n + 5 + c for w.
-2
Suppose -9*g - 25*g = -476. Solve 3*d + 4*k = g, 2*d - 2*k = 3*k - 29 for d.
-2
Let n(h) = h**2 + 6*h - 11. Suppose -48*s + 16 = -50*s. Let i be n(s). Solve 2*f + 12 = -0*d - 5*d, f - i = 3*d for d.
-2
Let f(a) = -22*a**2 - 221*a - 6. Let b be f(-10). Solve v = 0, 0 = -4*z - b*v - 2 - 2 for z.
-1
Let j = -130 - -263. Let u = j - 113. Solve -15 = -3*k - 3*d, 4*d + 0*d = -3*k + u for k.
0
Let u = 69 - 44. Suppose -5*n + u = 4*z - 25, -4*z = -5*n + 10. Solve -3*i = -3*g - 12, 5*g - 2*i + n + 17 = 0 for g.
-5
Suppose 0 = 54*b + 27 - 243. Let x = 6 + -4. Let i be ((-6)/(-4))/(x/b). Solve -3*c - r - 1 = 0, 0 = 2*c - 3*c - r - i for c.
1
Let k = -9 - -9. Suppose k = -4*a - 3 + 7. Solve -a = 2*c - 3*r - 7, c = 2*r + 5 for c.
-3
Let o be (13/(-39))/((0 + -1)/15). Suppose 2*j + 2*w = 6*j - 2, -4*j - o*w + 23 = 0. Solve r + 0*r = -3*m - 20, 0 = -j*r + 2*m for r.
-5
Suppose -7*n = -3*n + k - 72, -5*n = -3*k - 90. Let a = -4 + n. Solve 4*x - x + 15 = 3*m, x = 4*m - a for m.
3
Let w be (4 + -2)*9*(-5)/(-30). Suppose -2*k - 3*k = w*j - 12, -2*k = -j + 4. Solve -3*a - s - 19 = 0, 0 = -a - j*s - 4 - 17 for a.
-5
Let x = -28 - -76. Suppose -2*j = 3*b - 7*j - x, -2*b + 32 = -4*j. Let s = b + 4. Solve 0 = 4*r + i + s, -4*i - 4 = -3*r - 0*r for r.
-4
Suppose 20*n - 5 = 25*n. Let s(d) = 22*d**2 + 4*d + 2. Let j be s(n). Solve 4*l + 0*a - j = 2*a, 0 = -a for l.
5
Suppose y = 2*r - 9, -4*y = -6*y - 4*r - 34. Let g = 7 + y. Let t(p) = -p - 4. Let b be t(g). Solve -5*h = -d - 17, -b*d + 19 = -4*d + 5*h for d.
-2
Let p = 989 - 985. Solve -t + p*a - 2 = 2, -5*a = 5*t - 30 for t.
4
Let d be (-3024)/(-45) + ((-18)/15 - -1). Let v = 70 - d. Solve v*x = -3*y + y + 15, 4*y - 4*x + 20 = 0 for y.
0
Let w = -383 - -395. Solve w = -2*k - 2*x, 3 = 2*k - 3*x - 10 for k.
-1
Let z(m) = -5*m + 11. Let r be z(2). Solve -2 = g, r = -4*p - 2*g - 7 for p.
-1
Let f = 277 - 273. Solve -v - 5*y = 16, -5 = -v + 6*y - f*y for v.
-1
Let p = -35 + 36. Suppose -2*h = -5 + p. Suppose 92 = 4*y - 0*b - 4*b, -3*y - 2*b + 79 = 0. Solve z = -4*m - z + 22, 0 = 5*m + h*z - y for m.
3
Suppose 3*m - 17 = -4*d, d + 3*m = 5 + 6. Suppose -d*p + 5*p - 10 = 2*f, -3*p + f = -14. Solve i + 2*y - p*y - 9 = 0, 4*i + y - 19 = 0 for i.
5
Let k = 806 - 803. Solve 3*a + 45 - 13 = -5*b, -12 = k*b for a.
-4
Let j = -29 - -13. Let q = j - -7. Let s be 4/(-18) - 20/q. Solve 3*v + 3*n + s - 5 = 0, -4*v = n + 8 for v.
-3
Let u be 1/(2/3)*2. Let t(c) = c**3 - 2*c**2 + c - 4. Let w be t(u). Suppose 2*q - w = -0*q. Solve 3*p + 4*y - 28 = 0, p - 20 = -0*p - q*y for p.
4
Suppose -2*l = -10 + 4. Suppose -5 + 20 = l*w. Suppose w*k - 25 = -0*k. Solve f + 1 = 4*g + k, 5*f - g - 1 = 0 for f.
0
Suppose 0 = -5*z + 31 - 21. Let v(j) = 2*j**2 + j. Let d be v(-1). Solve 2*q - 4*k - z = 0, -q + 3*k + 2 = d for q.
1
Let m = 22 - 2. Solve 5*f - 20 = -5*p + m, -3*p = 2*f - 20 for p.
4
Let d(q) = 2*q**2 + 10*q + 5. Let r(i) = -4*i**2 + 4*i + 3. Let h be r(-1). Let u be d(h). Solve -w + m + 5 = 0, 12 - 37 = -u*w - 5*m for w.
5
Suppose 13 = 5*n - 2. Suppose n*z + 9 = -2*u, 2*z = -2*z - 20. Solve 0 = -5*f + 16 + 4, u*x - f + 7 = 0 for x.
-1
Suppose -33 = 5*l + 2. Let i(v) = v**3 + 6*v**2 - 10*v - 10. Let n be i(l). Let f = n + -11. Solve 6*b - b = f, 4*q + 2*b + 8 = 0 for q.
-2
Suppose -3*b + 6*q - 9*q + 6 = 0, 2*b - q = 7. Solve s = b*w + 13, w + 4*w = -5*s - 35 for s.
-2
Suppose -6*d = 31 - 55. Solve -5*l + 3*l - 4*p - 22 = 0, -5*l = d*p + 31 for l.
-3
Suppose 4*z - 2 = 2*z. Let f(r) = 10*r**2 - 1. Let b be f(1). Solve 2*t + 4 = x - z, -x = 5*t + b for x.
1
Suppose -3*w = 4*o - 40, 3*w - 2*w + o = 12. Suppose -w*z = -85 + 13. Solve -z*g + 4*g - 5*i + 30 = 0, -4*g - 3*i = -21 for g.
3
Suppose 3*t = 2 + 4. Suppose 2*y = -3*i, -y + 6*y - 19 = t*i. Solve -3*j = -0*o - 3*o + 15, -y*o + 15 = -2*j for j.
0
Let l = -703 - -703. Solve g + 2*s - 4 = l, -7*g - 15 = -12*g - 5*s for g.
2
Let g(y) = 3*y**2 + 6*y - 19. Let j be g(6). Suppose 4*a + a = j. Solve -3*w - 5 = -u, 5*u + 0 = -3*w + a for u.
5
Let t be (-2)/(2/72 - (-11)/(-44)). Suppose 6 = -6*f + t*f. Solve 0 = 2*y - 3*r - 2, -3*y - f*r = -y - 2 for y.
1
Let a = 179 + -165. Solve 0 = -3*w - 0*w + 4*u + 20, u = -4*w + a for w.
4
Let n(s) = s**3 - 5*s**2 + 8*s. Let x be n(5). Let q be 27/15 - (-8)/x. Solve w + 0 - 4 = -3*a, q*a = -2*w + 8 for a.
0
Suppose -2*i + 5 = -i. Suppose -1 = 5*w - 4*h - 3, 0 = -5*h - 15. Let g be (i/3)/(w/(-6)). Solve 0*v = g*v + 5*n + 20, -2*n + 12 = -3*v for v.
-4
Let j(h) = -h - 25. Let z be j(-23). Let m be -1*(-1 - z)*-13. Solve x - 4*x = -4*v + m, 5*x = -2*v - 13 for v.
1
Let l(f) = f - 1. Let m be l(4). Suppose -s + m*s - 8 = 0. Suppose -s*w + 4 + 8 = 0. Solve -4*v + w*t = 4*t + 18, v - 4*t + 13 = 0 for v.
-5
Let x be (13 + -20)/(0 - -1). Let u = x - -17. Let i = u - 10. Solve -3*j = -3*b - 6, -5*j - 2*b + i*b = -10 for j.
2
Let a be 7*(32/(-56))/(-2). Solve 0 = 4*d - h + 9, 29 = -4*d + 3*h + a