 27, j - 2*g = 4 for j.
4
Suppose u + j = -0*j - 44, -8 = 2*j. Let p = -25 - u. Let z = p - 13. Solve -4*a = l + 18, -z*a = 2*a + 3*l + 14 for a.
-5
Let h(t) be the second derivative of -t**3/2 + 55*t**2/2 + 13*t. Let k be h(18). Solve 5*i + 7 = -3*l, 2*l + 5*i = -4 + k for l.
-4
Suppose -37*h + 13 = -d - 41*h, 0 = 2*d + 2*h + 2. Solve -3*x = o - 11, -7 = -d*x - 0*x + o for x.
3
Suppose -4*o + h - 41 = 7, -5*h = 20. Let l = 16 + o. Let c(x) = x**3 - 2*x**2 - 3*x + 4. Let m be c(l). Solve 0 = -t, -3*q - q - 4*t + m = 0 for q.
1
Let v(c) = -2*c - 76. Let a be v(-43). Solve 3*p + 3 = -2*u - 7, -5*p = -2*u - a for u.
-5
Let u(h) = -h**2 + 12*h - 16. Let b be u(11). Let n = 13 + b. Solve -3*g = -w + 8, -g + n = 2*w + g for w.
5
Let o(r) = 2*r - 4. Let a be o(4). Suppose -2*x + 37 = 13. Suppose -x*j = -8*j - 8. Solve 0 = -4*y + a*p - 20, y - j = -y - 2*p for y.
-2
Let k = 0 - -3. Let t(u) = -u**2 + 0 - 7*u - 4 + 1 - k. Let x be t(-6). Solve -b - 5 = x, -4*q - 5*b - 20 = -b for q.
0
Suppose 0 = 7*c - 192 - 74. Let p = c + -34. Solve -5*l = -p*l - 3, 4*y + 3*l = 13 for y.
1
Suppose 2*m - 8 = -2*y, y + 0*m - 20 = -5*m. Suppose -b - 3*f + 7 = y, 7 = 2*f + 5. Solve -r = 2*i - 10, -2*r = -0*i - b*i + 12 for i.
4
Suppose -3*c + 1 - 7 = 0. Let g be c/8 - (-49)/4. Solve 16 = 4*n, 2*n = -5*h + 4*n + g for h.
4
Suppose 19*a + 4 = 21*a. Let j be (-2)/a + (5 - 7). Let r(h) = -4*h - 9. Let p be r(j). Solve -p*l + 2*o - 5*o + 6 = 0, -5 = -4*l - 5*o for l.
5
Let i(y) = y - 7. Let b be i(9). Let x be (-357)/(-39) - b/13. Suppose x = 5*c - 16. Solve -m = -2*m - 4, -3*k - c*m - 29 = 0 for k.
-3
Suppose -15 = 6*x - x. Let b = -7 - x. Let g be b/(-6)*(-105)/(-14). Solve g*s = s - 5*c - 41, -5 = c for s.
-4
Let t = -58 + 87. Let s = -26 + t. Let o be (-4 - (-3 - 1)) + s. Solve 14 = o*r + v + 5, 3*r + 4*v = 18 for r.
2
Suppose -6*w + 56 = -w - 2*k, 0 = -4*w - 5*k + 25. Suppose 0 = -4*q - x - 0*x + 72, 5*x + 39 = q. Solve -q = -5*v + m, -w = -2*v - 0*m - 2*m for v.
4
Let g be ((2 - -20) + -1)/1. Let q = 13 - g. Let o = q + 34. Solve 5*t - 5 = -2*i - o, i = 4*t + 22 for i.
2
Let d(n) = 2*n**3 + 86*n**2 - 87*n + 44. Let h be d(-44). Solve 5 = 2*c - h*m + m, 0 = c + 4*m + 8 for c.
4
Let o be 4/((-2 - 0)/(-2)). Let n(l) = -4 - 9 - 398*l + 394*l. Let t be n(-4). Solve -5*z = c - 1, 4*c - t*z = -4*z + o for c.
1
Let a be (-6*2/15)/(4/(-10)). Solve -4*g + 3*z = -17, -g + 8 - 1 = a*z for g.
5
Let q(f) = -39*f + 25. Let p be q(4). Let w = -129 - p. Solve l = -w*y - 6, -3*l - 15 = 6*y - y for y.
-3
Let l(m) = -m**2 - 7*m + 12. Let u be l(-8). Suppose -5*f - 4*t + 7 + 6 = 0, -f = -3*t - 14. Solve -u*i + 9*i - 50 = -f*k, -3*i = -3*k for i.
5
Let j be 3*(4 + -1 + 0). Let n = j + -11. Let z = 2 + n. Solve 4*u - p + 13 = -z*p, p = -3*u - 8 for u.
-3
Suppose -c + 5*d + 26 = 0, 0 = -4*c - 3*d + 6 + 98. Solve 3*u = -2*w - 2, 4*w + c = 3*u - w for u.
2
Let c be (-21)/(-5) + 60/75. Solve 2*r = 4*r - 4*k - 12, -c*k - 15 = -r for r.
0
Suppose -9*m + 12*m - 33 = 0. Solve -5*l = -2*k - 15, 0 = -4*l + m + 9 for k.
5
Suppose k = -4*k + 4*x + 78, -5*k + 2*x = -84. Let t = k + -14. Solve 2*i = t*y + 16, i = 3*i + 3*y + 12 for i.
0
Suppose -16 = 98*s - 102*s. Suppose 2 = -i + 2*i. Solve -c + 4 = -i*l, 5*c - 4*l - s - 10 = 0 for c.
2
Suppose 9 = -0*q + q. Suppose -z = -3*s + 12, -2*z + 3*s + 0 = q. Solve 4*n + o - 6 - z = 0, 0 = -4*o - 12 for n.
3
Suppose 3*v - 6 = -30. Let g = -5 - v. Solve -5*s = -g*f + 21, f = -s - 5 + 4 for f.
2
Suppose -3 - 2 = -j, -2*f + 5 = -5*j. Let u = 120 + -118. Suppose m = -4, -19*w + u*m = -18*w - 11. Solve -3*x + 9 = w*v - 5*v, f = 5*x + v for x.
3
Let c(b) = b**3 - 2*b**2 + 2*b. Let u be c(2). Suppose t = -q - 2*q + 12, q - u = 5*t. Suppose t = 3*s - 5*s. Solve 5*z = 25, -40 = -5*m - s*z - 3*z for m.
5
Suppose 5*d + 2*h = 25, -21 + 8 = 4*d - 5*h. Solve d*a + 6 = -3*g, 5*g + 11 - 51 = 5*a for a.
-5
Let k be 1/(3 - 3 - -1). Suppose -k = 4*y - 21, 5 = 5*j - 4*y. Let u(d) = d**2 + 5*d + 2. Let f be u(-5). Solve -2*l = -3*m, 2*l + f*l - j*m = 0 for l.
0
Let p be -1 + (-3 - -2)*0. Let y be (-1)/1 + p + 16. Let j(b) = 3*b - 2. Let m be j(4). Solve 3*w + m + y = 3*i, i + 12 = -4*w for i.
4
Let m = 2 - 0. Let l = m - -1. Suppose 17 = -2*c + 23. Solve -2*d + c*w + 0*w = -1, -3*d + 24 = l*w for d.
5
Let a(o) = -3*o**2 - 26*o + 85. Let n be a(-11). Solve -z - 15 = 5*x, -z + 3*x = -5*z + n for z.
5
Let c(w) = -w**2 + 3*w - 2. Let p be c(1). Solve p = 2*q - d + 8, 9*q + 5 = 4*q - 5*d for q.
-3
Let s(m) = 45*m**3 - 2*m**2 + 3*m - 2. Let c be s(1). Let t = -39 + c. Solve -2*v + t*i + 15 = 0, 0 = -3*v - 5*i + 13 - 3 for v.
5
Suppose -11*n = -15*n + 12. Solve 0 = -n*v - 2*a + 3*a, 2*v + a = 5 for v.
1
Suppose -3*s = -11 - 13. Let q = -6 + 11. Solve 4*f + 8 = -q*g + 19, -3*f + s = 4*g for g.
-1
Let y = -26 + 37. Let s = y + -8. Suppose -10 = -s*w + w. Solve 0*c + c + 20 = w*p, 4*p - 16 = 0 for c.
0
Suppose -16*l = -0 - 48. Solve 2*x + l*j + 1 = 0, x = 3*x + j - 1 for x.
1
Let f be 336/(-35)*20/(-6). Let w = -28 + f. Solve 3*b = 2*b - 3*i - 8, -w*b - 5*i = 11 for b.
1
Let c = -650 - -653. Solve 6*m + c = 9*m - q, 2*m - 2*q - 2 = 0 for m.
1
Suppose -l = -5*d + 49, 4*d - 6*d - 2*l + 10 = 0. Solve -3*n + 22 = 2*f, -d = -n - 4*f + 3*f for n.
4
Let u(m) = 8*m - 5. Let r be u(1). Let t(s) = 2*s. Let g be t(12). Solve -p + 4*f - g = p, f - r = -p for p.
-2
Suppose -5*d + 4*l - 2 = 0, -12 - 11 = -4*d - 5*l. Suppose -d*c + 9 = -5. Suppose -5*w - 4 = -c*w. Solve -z = -3*v + 11, -3*z - w*v = -6*v + 18 for z.
-2
Let c(o) = o**3 + 7*o**2 - 3*o - 17. Let y be c(-7). Solve 10 = y*j - r, r = -0*j + j - 1 for j.
3
Suppose 5 + 7 = f. Suppose z - 4*m = 23, -3*m - 33 = -4*z + z. Suppose -z*b + f*b = 0. Solve 2*x + 3*g - 4 = -b, -x = -g + 8 for x.
-4
Let c(i) = -i**3 + 12*i**2 + 14*i - 10. Suppose -j - 5*g = -8, 0 = -4*j + g + 31 + 22. Let q be c(j). Solve -5*v - 4*x = -16, -4 + q = x for v.
4
Let x(y) = -2*y**2 - 17*y + 1. Let i be x(-8). Solve -5*a = -3*u - i - 10, -2*a = -u - 7 for a.
2
Let f = 800 - 798. Solve 5*c - 2*k = 17, f*k = -c - 1 + 2 for c.
3
Suppose l - 4 = 5*l. Let v(y) = -5*y**3 - y**2 - y - 1. Let r be v(l). Solve 2*x - 27 = -5*a - x, 0 = -r*a + 3*x for a.
3
Suppose -83 - 1515 = 17*l. Let v = -92 - l. Solve -j - j + 2 = 5*d, -5*d = -v*j - 18 for d.
2
Let r be 105/25 - 2/10. Suppose -r*z + 49 = 3*z. Solve 3*s = 3*j - s - 25, 0 = -5*j - 2*s + z for j.
3
Let q be ((-34)/(-10) - 3)*5. Suppose 0*r = -q*r. Solve -5*u - s - 12 = r, -7*s = 2*u - 4*s + 10 for u.
-2
Let k = 27 + -7. Suppose 0*h - 2*h = k. Let c = h + 15. Solve 2*p + 8 = 4*x - p, c*x = p + 10 for x.
2
Let c = 292 - 164. Suppose h + q = -h + 47, -c = -5*h + q. Solve -2*o = -0*o + 5*f + 31, 5*f + h = 0 for o.
-3
Suppose -4*c + 4*q = 3*q - 8, 12 = 3*q. Suppose 0 = 23*s - 16*s - 35. Solve -5*n - 19 = -c*g - 0*n, 3*n = s*g - 5 for g.
-2
Suppose -4*y = 3*c - 12, c + 5*y - 2 = 2. Suppose -r = -c*k - 40 + 11, -4*r + 80 = -4*k. Suppose -5*p + r = -3. Solve 3*m - p = -2*l - 16, 2*l = 3*m for m.
-2
Let k be 4/(-6) - (-22)/6. Suppose -215 = k*f + 4*j, f + 3*j + 57 + 8 = 0. Let q be f/(-14) - 1/2. Solve -3*h = 4*d + 9, -2*h - h - q*d = 12 for h.
1
Let z(m) = -4*m - 20. Let f be z(8). Let i = 31 + f. Let p = -21 - i. Solve p*w - 4*n - 3 = w, 0 = 4*w - 4*n + 12 for w.
-3
Let z = -1601 + 1605. Solve 3*t - u - 3*u = -8, -8 = -z*t - 4*u for t.
0
Suppose 0 = -3*v + 203 - 50. Suppose 0 = -50*z + v*z. Solve -2*q + 5 = -b, -5*q + 13 = -z*b - 2*b for b.
1
Let m = 6 + -3. Let w be (m - -12)*3/5. Suppose -v + 2 + w = -5*o, -o - 103 = -5*v. Solve 3*z + 2*b = -0*b - v, -12 = 3*z - b for z.
-5
Suppose 5*q = -3*i + 5*i - 31, -5*q = 2*i + 19. Suppose -4*d - d = 2*w - 5, 2*w = -4*d + 2. Solve i*o - 18 = -5*h, 0 = h + 4*o - d - 4 for h.
3
Let q(m) = m**3 - 3*m**2 - 5*m - 3. Let p be q(5). Suppose 2*g - 4*g + p = 0. Let c = -917 - -919. Solve c*y - g = 5*s, -2*s - 2*y = -3*s - 7 for s.
-1
Suppose s + z = 1, 5*s - 2*z = -3 + 8. Solve 0 = l + 4*y - s, -l - 7 = l - y for l.
-3
Suppose -3*c - 70 = -2*w, -4*c + 26 - 34 = 0. Solve -w = -5*j - 3*q, 2*j + 5*q = 3*j + 16 for j.
4
Let f(m) = -59*m**3 - m**2 + 2*m + 2. Let u be f(-1). Let w = -55 + u. Let n = 0 - 0. Solve -q + 3 = -2*g, n = -0*g - g + w*q + 1 for g.
-2
Let y = 251 + -250. Solve -j - 3*h - h - 3 = 0, -3*h + y =