5 - (-1 + (a - -2)). Solve z = -h, 0 = g*z + 4*h + 1 + 1 for z.
2
Let j = 48 + -45. Suppose -4*k + j*p + 6 = 0, 4*k - 3*k + p - 5 = 0. Solve 8 = q - 6*q + 4*d, -q + 6 = k*d for q.
0
Let w(h) = h - 2. Let y be w(7). Suppose -y*l + 22 = 7. Solve -4*m - l*j - 19 = 0, m + 0*j - 2*j + 2 = 0 for m.
-4
Let t = -11 - -16. Let o(p) = p**2 - 34*p. Let b be o(34). Suppose b = t*v - 2*v. Solve -6*w + 6 = -4*w, l - 2*w + 10 = v for l.
-4
Let v = 11 - 7. Let d(u) = -u**3 + 5*u**2 - 7*u + 5. Let c be d(3). Suppose -2*n - 4 + 5 = -3*z, -5 = -5*z + c*n. Solve 3*y = -2*f, v*y + 18 - 1 = z*f for f.
3
Let n = -196 + 51. Let d = -142 - n. Solve 0*i = -5*s + 5*i + 20, 5*s - 12 = -d*i for s.
3
Let f(k) = 2*k**3 - 15*k**2 + 15*k + 22. Let d be f(6). Solve 0 = -2*c - 4*j + d, 5*c = -2*j + j - 17 for c.
-4
Let k = -20 + 25. Suppose -k*b + n = -18, -4*b + n = 5*n - 24. Solve b*o + 10 = i, -1 = 2*o - i + 3 for o.
-3
Let s be (-840)/(-120)*((-12)/(-7) + -1). Solve -4*k = r, -4*r = r - s*k - 25 for r.
4
Let h(z) = 3*z - 10. Let i be h(-7). Let p = 33 + i. Solve n - p*b = 3*b - 16, 0 = 3*b - 12 for n.
4
Let p(i) = -2*i**2 + i + 6. Let c be p(9). Let l be -6*(c/(-6))/(-7). Let h = 23 - l. Solve 0 = -y - h, 0*y + 2*y + 12 = 2*s for s.
4
Suppose 0 = -x + 42 - 9. Let n be ((-11)/x)/(2/(-18)). Solve -6 - 1 = 4*c - n*j, 3 = -c + j for c.
2
Suppose -m + 93 = 91. Solve 0 = -2*v + 5*h - m, 2*h + 2 = 2*v - 4*v for v.
-1
Suppose -3*z + 4*r = -109, 3*z - 5*r - 144 = -z. Let k = -17 + z. Solve -4*j = v - k, 6 = v + j + j for v.
-2
Let d = -13 - -13. Suppose d*p + 4 = p. Suppose 3*j = 4*j - 17. Solve 27 = p*u + u - n, -3*u = -n - j for u.
5
Let w be (-2)/(-3)*(-135)/18. Let s be w/(-20)*0 + 0. Solve -i - 1 = 3*p, s = 3*p + 2*p - 3*i - 17 for p.
1
Let t be 11 - ((-6)/2)/1. Let p be 38/t - 6/(-21). Suppose -7 = -p*z - 1. Solve 0*a + z = 2*a + 2*k, 0 = k for a.
1
Let l(v) be the first derivative of -2*v**3/3 + v**2/2 + 6*v - 2. Let a be l(0). Suppose -28 = -a*q + 2*q. Solve 2 = 2*r - 2*u, 4*r - q = 6*r - 5*u for r.
4
Let b = 16 + -26. Let y be (2/8)/(b/(-120)). Solve -i - 27 = 5*c - y, c = -4*i - 1 for i.
1
Let o be (-4)/6*81/(-6). Suppose -s - o = -34. Solve -6 - 14 = -4*x, 0 = 5*y - x + s for y.
-4
Suppose 4*j = -12, -2*u - 3*u = -3*j - 99. Let h = 68 + -56. Suppose -6*s = -h - 0. Solve 2*t = 5*c + 21, -t + u = 3*t - s*c for t.
3
Let r = -17 - -29. Let u = r + -14. Let f be u/3*3*-2. Solve 3*g = -w - g + 18, -f*w = 2*g - 16 for w.
2
Suppose -3*b + 5*h = -4*b + 54, -128 = -4*b + 2*h. Let a = b + -31. Solve 2*r = -5*m + 19, -a*m + m + 25 = -5*r for m.
5
Let y(u) = 2*u - 7. Let r be y(16). Suppose q = -m + 5, 2*m - r = 6*m - 5*q. Solve -3*o + 2*w + 2 = 0, o + 16 = 4*w - m*w for o.
4
Let i(y) = -y**3 - 21*y**2 + y + 24. Let v be i(-21). Solve 4*b + 5*s - 6 = 0, -2*b + v*s = -5*b + 3 for b.
-1
Let s be (-1)/2*272/8. Let x = s + 7. Let c = 27 + x. Solve 2*g = 3*u + g + 17, -5*g + c = 2*u for u.
-4
Let y = 14 + 10. Let g be (-2)/(3 - (-4)/(y/(-22))). Solve 5*d + 5*o - 14 = g*d, 4 = o for d.
-3
Let z = 777 + -777. Solve 0 = 2*t + l + 8, 2*t = 5*l - z*l + 16 for t.
-2
Let v(a) = -a**3 + a**2 + 6*a + 5. Let c be v(-2). Solve 3 = -3*q + 3*i, 6 = -2*q - i - c for q.
-4
Let b = -5012 + 5017. Let w = -42 - -70. Solve 4*f + 3*v - b*v = -w, -5*v + 5 = 3*f for f.
-5
Let p(r) = -r**2 - 2*r + 67. Let n be p(-9). Solve n*c + 5 = 3*y, 1 = -4*c + 5 for y.
3
Suppose -6*a + 70 = 4*a. Solve 3*c = -2*b - 1 + a, -2*c + 4*b = -4 for c.
2
Suppose 1461*s = 1475*s - 28. Solve 5*f = s*i - 19, -2*f + 5*i - 7 = -3*f for f.
-3
Let c(m) = m**2 - 8*m. Suppose 2*t - 7*t + 28 = 3*j, -3*t + 12 = 3*j. Let n be c(t). Suppose 10 = -n*x + 2*x. Solve g + 2 = l, -g - l = -3 - x for g.
3
Suppose w - 2 = -0*w + l, 3*w - 9*l + 6 = 0. Solve -w*i - 6 = -2*c, -2*i - c + 0 = 1 for i.
-1
Let j = -347 + 347. Solve -3*l + 16 = -j*p + 5*p, 0 = -2*l - 6 for p.
5
Let j be -20 - -24 - (-2 + 3). Suppose -4*f + o + 17 = -f, -3*f + 2*o = -19. Solve 0*h + h + x - j = 0, -f*h + 2*x - 20 = 0 for h.
-2
Let r = -1262 + 1270. Solve -4*t - 2*j + 2 = r, j = -t - 3 for t.
0
Suppose 5*f = -5*b + 15, 6 + 4 = -5*b. Solve 0*y - 3*y + 13 = 5*q, -13 = -4*q - f*y for q.
2
Suppose 2*z - 24 = 32. Let t be 7/2 - (-14)/z. Solve -t*l + 6*j = 3*j - 5, 2*l - j = 3 for l.
2
Let k(m) = -2*m + 15. Let h be k(6). Let r be 38/2 + (h/(-3) - -3). Solve 3*i + r = -0*i + 3*v, -5*i - 26 = -2*v for i.
-4
Let o be (-2)/(-6) - 15/(-9). Let i(v) = v**2 - 5*v + 6. Let k be i(2). Let u = o + k. Solve 3*f = -4*c + 5*f - 20, -u*c - 6 = f for c.
-4
Suppose 0 = -34*h + 28*h + 12. Solve 4*z + 2*o = 7*o + 28, h*o = 2*z - 12 for z.
2
Let q(z) = z**3 + 10*z**2 + 21*z - 8. Let x be q(-4). Solve -5*h - 19 = -x*m, 2*m = -3*h - 4 - 3 for h.
-3
Let t(j) be the first derivative of -8*j**2 - 6*j - 2. Let h be t(-2). Solve -4*n = -0*f - 2*f + 14, n + h = 5*f for f.
5
Let l(z) = -2*z**2 - 9*z. Let j be l(-4). Solve -4*s + 7 = j*t - s, -s - 15 = -3*t for t.
4
Suppose -19*c = -2*h - 23*c + 18, -h + c = -3. Solve h*p = -2*m + 1 + 5, 4*m = -p - 6 for m.
-2
Let m = 11 - 13. Let q = 3 + m. Suppose -q = -5*x + 9. Solve 0*n - 31 = x*n + 5*r, 2*r + 13 = -n for n.
-3
Let w(k) = -5*k**3 - 3*k**2 - 4*k - 6. Let t be w(-2). Solve -t = v - 5*q, 15 = -3*v + v + q for v.
-5
Let r = -338 - -341. Solve 0 = y - r*s - 5, 3*s - 13 = -4*y + 7 for y.
5
Let r(x) = -x**3 + 14*x**2 - 14*x + 17. Let l be r(13). Suppose -3*n - 3*c + 1 = -2, l*c = -n - 11. Solve -3*v = -8*v + z - 20, -37 = 4*v - n*z for v.
-3
Suppose 4*g = -0*g + 4*h + 72, 2*h - 6 = -g. Suppose g*v = 9*v + 105. Solve 3*u + 2*u = -l + v, 16 = l + 4*u for l.
-4
Let r = -842 - -847. Solve -r*y - 28 = -3*c, -3*c = -2*y - 6 - 7 for c.
1
Let c be 2/((-7)/(-3)*24/84). Solve 3*t + 2*t = c*r - 16, 0 = -5*r - 15 for t.
-5
Let r = -41 - -44. Suppose -30 = -5*p - 10. Solve 3*z - g = r*g - 7, 0 = -5*z + p*g - 1 for z.
3
Suppose 5*a + 66 + 84 = 0. Let b be (-348)/a - (-2)/5. Let l be 4*15/b - 3. Solve -j - 2 = 0, 2*j = l*y + j - 8 for y.
3
Let q(u) = -47*u + 190. Let v be q(4). Solve 3*r - v*i + 9 = i, 2*i = 3*r + 7 for r.
-1
Suppose k - 2 = 5*n - 14, n - 2*k = 6. Solve -3 = -d - 5*w + 2, -n*d = 5*w - 5 for d.
0
Let g = 5 + 1. Suppose 5*l - 45 = -2*j, 0 = -3*l + 3*j - 0*j + g. Suppose 12*f = l*f. Solve f = 3*q + 2*q - 3*v + 31, -3*q = 4*v + 7 for q.
-5
Suppose 0 = -315*w + 323*w - 16. Solve 0 = z + o + 7, -w*z + 12 - 2 = -4*o for z.
-3
Let i be (-3 - 1) + (-56 - (0 - 5)). Let j = i - -57. Solve 0*l + 27 = 3*y + 5*l, -j*l + 6 = 0 for y.
4
Suppose -4*w = 5*x - 20, 0*w - w = 3*x - 12. Let m be (-2)/7*(x - 11). Solve m*v = -4*c - 28, -v + 2*v + 4 = 0 for c.
-5
Let b(o) = -9*o**2 + o - 4. Let i(g) = 4*g**2 + 2. Let h(p) = 3*b(p) + 7*i(p). Let j be h(-1). Solve 2*y + 3 = 3*y - x, j = 5*y - 2*x - 9 for y.
1
Let w(g) = 8*g + 0 + 2*g**2 + 5 + 2. Let o be w(-5). Let d = 21 - o. Solve 9 = -3*q - 3*k, 2*k = -0*k + d for q.
-5
Suppose -5*l + 23 = -m, 5*l + 6 = 31. Let u be (-4)/10 + (-2)/(-5). Let r be (u - -2 - 12)/(-2). Solve -r = b - 6*b, m*o - 5 = -5*b for o.
0
Let m(w) = 4*w**2 - 11*w + 27. Let o be m(2). Solve -5 = -n, 0 = 3*r - 6*r - 3*n + o for r.
2
Let o(g) = g**3 + 16*g**2 + 30*g + 32. Let b be o(-14). Solve 2*z - 2*c = 10, 0*z + b*c = z - 17 for z.
1
Let r be (-2)/(-6) - 3332/(-84). Suppose -3*c + 4 = -5*q + 28, 0 = 2*q + 4*c + 6. Let a = 13 - q. Solve -l + a = 3*u, 2*l + r = 3*u - 3*l for u.
5
Let v(o) = o - 1. Let h = -8 + 11. Suppose -5 = -h*b + 3*j - 2*j, -6 = 2*b + 4*j. Let i be v(b). Solve 3*z = 4*q - 26 - 1, i = 5*q - 15 for z.
-5
Let h(w) = w**3 + 3*w**2 - 4*w + 3. Let s be h(-4). Let x be 1/(((-4)/(-4))/s). Solve m - 3*z = -1, 3 = x*m - 2*m - z for m.
5
Let j(b) = -b**3 + 6*b**2 + 11*b - 6. Let g be j(7). Let n be (-10)/25 - g/(-5). Let t = n - 1. Solve -4*s + 32 = -4*c, 0 = -3*c - 0*c - 4*s - t for c.
-5
Suppose -17*k = -16*k - 4. Let y(v) = v - 1. Let d(r) = -3*r + 8. Let o(c) = d(c) + 2*y(c). Let z be o(k). Solve 3*a = -z*a - 2*t - 16, 5*t = 5*a + 30 for a.
-4
Let j(b) = 2*b**2 - 3*b - 1. Suppose -3*z = -4*h - 17, -4*h - 3 = -z + 8. Let g be j(z). Let d = 89 + -89. Solve 5*l + s = -26, 2*l - 2*s + g = -d for l.
-5
Let r = -206 - -207. Solve 2*i = -4*u, -4*i = -4*u + 13 - r for i.
-2
Let x be (-3)/((-15)/(-820)*-2). Suppose 0 = -17*m - 14 + x. Solve -3*v = -m*l - 2 +