 -0*z, i - 3 = -z for i.
0
Suppose -4*r - o = -9, -19 = -4*r + 3*o - 6*o. Let q be (r - 1)/(-4) + 4. Solve -23 + 5 = 3*g + q*s, -s = 5*g + 13 for g.
-2
Let s = -29 - -43. Suppose -9*c + s*c = 0. Let i be -3*(-5)/(15/2). Solve -4*h + i*z + 22 = c, -4*z - 6 + 2 = 0 for h.
5
Suppose -2*d + 32 = -4*k, 0 = d - 3*k + 1 - 22. Suppose 0 = 3*o - 2*o - d*o. Solve -4*l + o*h + 8 = -h, -4*h + 16 = 0 for l.
3
Let h(p) = p**3 + 3*p**2 - 3*p + 2. Let l be h(-3). Let r(i) = i**3 - 11*i**2 + i - 8. Let w be r(l). Solve w*q - 1 + 11 = 5*t, -4*t = -20 for q.
5
Suppose 2*w + t + 4 = 0, -7*w - 5*t - 20 = -6*w. Solve -3*m - 5*i - 9 = -w*i, -5*i - 5 = 5*m for m.
2
Suppose 0*f + 4 = 2*f. Suppose 5*c + y = 13, 2*y = -3*c - 3 + 8. Suppose -8*j + 66 = -c*j - 3*s, 5*s + 70 = 5*j. Solve -4*m = j, -3*m - f*m = 2*a + 15 for a.
0
Suppose 0 = 3*w + 3*o + 84 - 144, 4 = o. Solve 4*n = -4*z + w, 3*z + 2 = -n + 4 for n.
5
Let o = 56 + -53. Suppose -17 = -5*z + o. Solve z*y + d = 3*d + 6, -2*y = 3*d + 17 for y.
-1
Suppose 5*c - 271 = 3*s, 459 = -5*s - 4*c + 32. Let g be (-5 + s/(-15))/((-2)/(-5)). Solve -2*d + 3*k = -8, -5*d + g*k = -k - 2 for d.
-2
Suppose 2*h - v - 6 = 6, -5*v = 4*h - 38. Suppose h*g - 24 = g. Solve 3*j = 3*d - 24, 0 = 4*j + g*d - 3 - 5 for j.
-3
Let g be -1*27/(-12)*28. Let f = g + -42. Suppose -5*s = -f - 14. Solve -y + 1 = 0, -2*j - y + s = 2*y for j.
2
Suppose -u + 0*u - 33 = 0. Let m be (55/u)/((-2)/36). Suppose 5*r - m = -r. Solve r*s - 4*i + 18 = 0, -5*i + 10 = -0 for s.
-2
Let u = 55 + -22. Let h = 41 - u. Solve -15 = 2*r - 5*c - 1, h = 2*c for r.
3
Let u = -555 + 559. Solve 3*a = -c + 5*a + u, -5*c + 8 = 2*a for c.
2
Suppose -30*n + 7 = 2*c - 25*n, -c = n - 8. Solve 6*j - c*j = 5*o + 40, -j + 2*o + 4 = 0 for j.
-4
Suppose 0 = 6*r - 11*r + 85. Suppose r*m = 18*m - 6. Solve -t = -2*d + 2, 0 = 3*d - 3*t - m for d.
0
Let v(l) = 42*l + 87. Let m be v(-2). Suppose -5*u = -u. Solve b - 6 = 2*d, u*d = d - 2*b + m for d.
-3
Let n = -3 + 3. Let o = 154 + -152. Suppose n*i + o*i = 14. Solve 3*b = u + 4 + i, 3*u + 25 = 5*b for u.
-5
Let x be (-2 + (-4)/(-6))/(24/(-54)). Solve -3*f = x*u + 3, -3*u = f - 4 - 1 for u.
3
Suppose -q = -3*c + 3, -3*q + 31 = -10*c + 9*c. Solve -7*y = -5*d - 6*y - q, 15 = -d - 4*y for d.
-3
Suppose l + 3*l = 2*w, 4*l + 4 = 4*w. Let x be (24 + -1)/(1/l). Solve -2*q + 2*z = -7 - 7, z - x = -5*q for q.
5
Let q = -25 - -29. Suppose -5*i + q*i = 0. Let a(n) = n**3 + n + 4. Let k be a(i). Solve -19 = -0*t + 2*t - 5*x, 32 = 4*t + k*x for t.
3
Suppose 2*m = 4*m - 8. Suppose 3 = a + m*r, a + 0 = r - 7. Let y = a + 9. Solve 0 = 3*j - 4*b + 5, 0*b + y*b = -5*j + 45 for j.
5
Let w(m) = 9*m**2 - 7*m**3 - 12 + 2 + 6*m**3 + 13*m. Let y be w(10). Solve -t + 4*v - 20 = 0, 0 = 6*t - t - 4*v + y for t.
0
Suppose -8*z = 13*z - 19*z. Let n be 1 + (-8)/(1*2). Let b = z - n. Solve 0 = 2*a + 4*h + 12, -h - 17 = a + b*a for a.
-4
Suppose 6 = n - 0. Let w = 9 + n. Let z = 15 - 10. Solve z*b - 9 = -2*o, -2*o + w = 3*b - 4*o for b.
3
Let v(t) = -t**2 + 4*t - 1. Let j be v(3). Suppose -15 + 9 = -j*z. Solve -5*k = -2*n + 6, 0*n + 9 = z*n - 3*k for n.
3
Suppose 5*t - 19 - 1 = 0. Let y be (24/(-16))/(-3 + 10/t). Solve y*a - 12 = 0, 12 = -2*g - 0*g + a for g.
-4
Suppose -2*i + n = -57, 2*i = 2*n + n + 63. Solve -c = 3*d + 17, c - d + i = -6*d for c.
-2
Let u = 706 + -701. Solve 2*v - u*a - 22 = 0, 11 + 5 = -4*a for v.
1
Let y be (-3)/(18/(-21))*(-24)/(-28). Solve y*n = p + 7, 3*n = -2*p - 1 + 14 for n.
3
Let i(t) = -t**2 - 12*t - 24. Let u be i(-3). Solve -4 = m - 4*o + 5, 0 = m - 2*o + u for m.
3
Suppose 0 = 5*z - 2*y - 16, -y = 5*z + 1 - 8. Solve 3*v + 15 = a, 3*v + 5 = z*v - 4*a for v.
-5
Let b(j) = -29*j - 303. Let t be b(-11). Suppose 31 = -2*z + d, 3*z + 4*d = -d - 27. Let y = t + z. Solve -3*v = -g + 9, 3*g - y*g = 4*v + 12 for g.
0
Suppose 4*s = -5*y - 32 + 49, 3*s + 5*y - 14 = 0. Solve 0 = 5*f - 3*g - 26, -4*g + s*g - 18 = -4*f for f.
4
Let s(i) = -i**2 - 22*i - 45. Let g be s(-18). Solve 0 = -0*b - 4*b - 12, -5*u + 4*b = -g for u.
3
Let g be (3/(-6))/(2/(-60)). Let x = -27 - -30. Suppose 3*h = 5*s - 25, 2*h - 15 = -x*s - 3*h. Solve 0 = -0*q - s*q + 2*b - g, 0 = -q - 4*b + 19 for q.
-1
Let b be (-316)/(-5) - ((-8)/10 - -1). Let r = 67 - b. Solve g - 4*g + 2*x + 1 = 0, g - 5*x = -r for g.
1
Suppose -3*z = -2*x - 2, -6*z = -9*z - 4*x + 32. Solve 0 = 4*w + u - 19, -4*u = w - z*w + 19 for w.
5
Let w be ((-4)/(-5))/(4/10). Let i be 1 + 2 - 5/(-5). Suppose -4*h = i*c - 9*h + 17, 0 = 2*c - 3*h + 11. Solve -3*z + 5*v - 31 = 0, c*z - 6*z - 2*v = -w for z.
-2
Let k(r) = -r**2 + 66. Let z be k(8). Suppose 0 = 4*s + 6 + 10, 4*d = -4*s - 4. Let b be (2/d)/(z/6). Solve 2*c + 8 = -2*x - b*x, 2*x + 3*c = 0 for x.
-3
Suppose -2*z = p + 22 - 63, 4*z - p = 79. Solve 4*a + 2*i - 4*i - z = 0, -4*a + 4*i + 24 = 0 for a.
4
Suppose -5*t = -c - 23, 2*c - 3*c = 5*t - 17. Suppose -g + 4 = t*d - 16, 5*d = 2*g + 12. Solve -m - 10 = -2*x + m, -m = g*x for x.
1
Let l = 1505 + -1501. Solve 5*a = -5*m + 45, m + 16 = -l*a + 8*a for m.
4
Let h(x) = -x**3 - 17*x**2 - 17*x - 6. Let d be h(-16). Suppose w - 6*w = -d. Solve 0 = -2*f - 5*v + 25, -2*v + 20 = w*v for f.
0
Let r(d) = -2*d**3 - 28*d**2 + 31*d + 22. Let f be r(-15). Solve 2*w + 2*w + f = 3*k, 4*w = 4*k - 12 for k.
5
Let i be 6/(-8) + (35/(-28) - -6). Solve i*u = j + 3, -4*u = -u - j - 1 for u.
2
Let j be 24128/3944 - 4/34. Solve -3*l - 3*g + j = 0, 5*l - 7*g + 6 = -4*g for l.
0
Let u(s) = s**3 + 8*s**2 - 2*s - 9. Let x be u(-8). Solve b = 5*n - 11, 3*b - 14 - x = -3*n for n.
3
Let l be (-1)/((5/30)/((-3)/6)). Solve 5*z - 2*z + 3 = 0, 5*q = l*z - 17 for q.
-4
Suppose 10*b = 122 - 52. Solve -3*x = -2*w + w - b, 0 = -4*w - 5*x + 6 for w.
-1
Let u(p) = p + 2. Let r be u(17). Suppose 4*t + k = r, 0 = -t + k - 6*k + 19. Solve t = -f, -5*i - f - 20 = -1 for i.
-3
Let v = 712 - 707. Solve v*h = -n + 20, 4*h - 8 = 2*h for n.
0
Let u = 15 - 13. Let s be 4*((-33)/(-6) + -3). Let l be 7/2 + (-5)/s. Solve 5*v + 3*x + 28 = 0, -l*v - 11 = u*x + 6 for v.
-5
Let t = -307 + 311. Solve 3*h - 3*p + 3 = 0, 5*p = t*h + 3 + 4 for h.
2
Let r be ((40/(-6))/4)/(25/(-30)). Solve r*f + 2 = -i + 3*i, f = -4*i + 14 for f.
2
Let g(t) be the third derivative of -t**6/120 + 17*t**5/60 + 2*t**4/3 + 41*t**3/6 - 43*t**2. Let z be g(18). Solve l - 7 = -z*y, l + 3*l - 4 = 4*y for y.
1
Suppose 2*u = 2*a + 2, -5*u = -0*a - 3*a - 9. Solve -3*j - 5*s = -25, -j - j + 6 = -a*s for j.
5
Let m = -54 - -62. Let f be 3/(-2) - (-36)/m. Solve f*j = -4*v + 20 - 3, 4*v + j - 19 = 0 for v.
5
Let n(s) = 12*s + 632. Let v be n(-51). Solve 5*o - 10*a + 15*a = -v, 0 = a for o.
-4
Let r(p) = -p**3 + p**2 - 5*p - 3. Let l be r(-2). Suppose 124 = l*n - 15*n. Solve -2*g = 5*c - 21, -5*c + g = -2*g - n for c.
5
Let g(j) = j**2 + j - 37. Let p be g(-7). Solve 5*c + k + 2*k = -11, 1 = -p*c + 2*k for c.
-1
Let y be (-2)/(-7) - (-33)/7. Solve -4*i = -6*i + 2*s + 8, -i - y*s + 4 = 0 for i.
4
Let v = 8 + -5. Suppose -d = 3*z + 7, -28 = -2*d + v*z + 3. Suppose 3*m - 4 = 4*g, -3*m - d = -5*m. Solve w = -j + 2*w - 4, -g*j + 27 = 5*w for j.
1
Let s = -795 + 799. Solve s*v + v = -3*c + 11, 4*v - 13 = -c for c.
-3
Let i = 880 + -878. Solve 3*d - 10*v + i = -11*v, -v = -5*d + 10 for d.
1
Let z be (5/3)/(1/9). Solve -5*u + 4*h = 24, -4*u - z = -h + 2 for u.
-4
Suppose -6 = -3*h + 24. Suppose 4*t = 26 + h. Let a be 3/t - 23/(-3). Solve 5 = -q + 5*v - 5, a = 4*v for q.
0
Let c = -722 + 726. Solve 0 = 5*h - 4*l + 30, 0 = -0*h - 3*h - 2*l + c for h.
-2
Suppose -2*u - 4*w = -24, -3*u + 19 = -4*w - 17. Let f(i) = -i + 3. Let x be f(-5). Suppose 4*g = x*g - u. Solve 0 = p - g*v - 19, -p - 14 = -2*p + 2*v for p.
4
Let z = 27 - 25. Suppose c = -z*l + 12, 3*l - 6*c = -c + 5. Solve l*i + 4*r + 22 = -3, -4*i = 4*r + 24 for i.
-1
Suppose 0 = -11*m + 10*m + 48. Let c be (m/4 + -4)/2. Solve 4*s = 20 - c, 3*s = 4*t + 28 for t.
-4
Let k be 29/6 + (-50)/60. Solve 0*z = -3*z - y - 9, -z = k*y + 3 for z.
-3
Suppose 11 = 2*p + s, 4 = -5*p + 5*s + 9. Solve 5*b + t = p*t - 2, 3*b + 4 = -t for b.
-1
Suppose 5*x - 8 = 3*r, 0*r = 4*r - x - 12. Solve -4*z + 4*f - 12 = 0, f - 3*f = -r*z - 14 for z.
-4
Suppose 3*h + 3 = 4*h. Suppose h*u - 4*z + 10 = 0, 5*u + z - 4*z + 2 = 0. Solve k + 4*p = 9, -u*p + p = -k - 6 for k.
-3
Let o be 3 + 4 + 