 0, 0*q + 2 = -4*q + x*t for q.
2
Suppose 0 = 2*g + 2, -x + 1 = -3*g - 0. Let f be (11/x)/1*-2. Solve -4*s + 0 + 5 = 3*k, -5*k = -3*s + f for s.
2
Let x(t) = -2*t**3 - 7*t**2 + 2*t - 3. Let m be x(-4). Solve -m*s - 2*c = -12, 3*s + c - 7 = -0*c for s.
2
Suppose 2*t - 12 + 0 = 0. Solve -n + 5 = -2*d, 3*d - d + t = 0 for n.
-1
Let i(x) = x**2 - x - 2. Let y be i(-2). Solve 0 = -y*z + 4*j - 24, j + j + 3 = -z for z.
-5
Let l be 0*(-1 + (4 - 2)). Solve l = -4*b + 3*q, -5*b + 7 = -q - 4 for b.
3
Let h be (-6)/4*2/1. Let r(o) = o - 3*o - 3 - 1 + 0*o. Let q be r(h). Solve 5*s - q - 1 = -4*x, 0 = x - 3*s - 5 for x.
2
Let d(h) = h**3 + 9*h**2 + 1. Let k be ((-2)/(-4))/((-1)/18). Let l be d(k). Solve n = -5*v + 2, 3*n = -3*v - l + 7 for n.
2
Let q = -2 - -4. Let m be 16/9 + q/9. Solve 4*i = 5*p - 34 - 7, -3*p = m*i - 7 for p.
5
Let o be 2/(-4)*0 + -8. Let i(w) = 2*w + 12. Let s be i(o). Let t be (-8)/(-2)*(-3)/s. Solve t*l = -0*h - 2*h - 4, -5*l - 8 = 4*h for h.
-2
Let i be (4/5)/(7/35). Suppose 0 = 5*h - 2*m - 43, -5*m - 38 = -2*h - i. Solve 3*u + 0*p - 5*p = h, 0 = -2*u + 2*p + 6 for u.
4
Let b be (-3)/(-2)*8/3. Solve 3*a - a - d - 9 = 0, -b*a - d = -21 for a.
5
Let r = -20 + 23. Solve -r*c + 19 = 3*j - 4*c, -3*c - 12 = 0 for j.
5
Let f = -10 - -12. Let l be (-10)/6*(-6)/f. Let a be (5 - l)*(-1 + 2). Solve 5*t - 2*q = -a*q + 10, 5*t + 2*q = -10 for t.
0
Let u(z) be the third derivative of z**4/24 - 2*z**3/3 - z**2. Let p be u(10). Solve 0 = 4*a - 8, -p = 3*c - 5*c - a for c.
2
Let o be (-2)/(-8) - (-1215)/36. Solve 3*x - o = 4*z + z, 2*z + 22 = 4*x for z.
-5
Suppose -6 = -f + 6*a - 4*a, 0 = -5*f - 3*a + 17. Suppose f*u - 20 = 0, z - 5*u + 46 = 2*z. Solve 15 = -2*d - 5*r, 4*d + 6 = -r + z for d.
5
Let j be 6/2 - (-17 + -3). Suppose -4*d = 0, -5*a + 5*d + 7 = -j. Solve -5*w = -u + 14, -4*u = -w - a - 12 for u.
4
Let r be 25/10*(-16)/(-10). Suppose 4*c + 5*l = -2, 3*l + 12 = -3*c + 6*c. Let j be (2 + -1)/c*0. Solve 5*h + 31 = -r*y, j*y + 2*y + 2*h + 14 = 0 for y.
-4
Let o = -8 - -13. Suppose 0*i = o*i - 160. Solve -3*u + 7 = u - b, -4*u + i = 4*b for u.
3
Let q be 5 - 4*3/4. Solve 4*p = -3*l + 26, p + 0*p = q*l + 1 for p.
5
Let y = 1 + 1. Suppose -1 - y = -g. Suppose 0 = -4*u + 17 + g. Solve -n - 1 = -4, -5*b = -u*n + 35 for b.
-4
Suppose -3 + 11 = 4*i. Let h = 1 + i. Solve -2*z - o + 3 = 2, z = -h*o + 13 for z.
-2
Suppose -4*h + u = -2 + 4, 0 = -5*h + 2*u - 4. Let w = 5 + h. Let d = 29 + -14. Solve f - 3*f = -5*v + d, 5*f + w*v = 15 for f.
0
Let l = 9 + -9. Suppose 2*o + 3*g - 55 = l, -g + 34 = 5*o - 71. Suppose 4*u + 10 = 26. Solve u*b = -5*x + b - o, 0 = -x - 5*b - 26 for x.
-1
Let f(d) = 3*d - 3. Let s be f(3). Let l be (-186)/18 + (-4)/s. Let o = -6 - l. Solve -r + 5 = -3*k, o = 3*r - 10 for k.
0
Let n(v) = 4*v**3 - v**2 + v - 1. Let s be n(1). Suppose -2*j = q + 5, 2*j + 1 = q - 14. Let h = -1 - j. Solve -s*f + 0*u - 3*u = -6, h*f - u - 3 = 0 for f.
1
Suppose -10 = 2*x, 2*g - 20 = -3*g + x. Suppose 0 = -0*j + 3*j - 57. Solve 0 = 3*s - 3, -g*b - j = -4*s - 3 for b.
-4
Let l = 31 - 25. Solve 4*s - l = -i + 5, 41 = -5*i + 4*s for i.
-5
Let o be (1 - (4 - 1)) + 26. Solve -3*u = -4*r + o, -8 = -u - r - 3*r for u.
-4
Suppose 1 = -p + 6. Let n(k) = 4*k + 5. Let u be n(5). Let y = -15 + u. Solve 3*t = -a - y, -3*a - p = -2 for t.
-3
Suppose 4 = 4*a - 4. Solve 2 = a*u - 5*l, -u = -4*u + 5*l + 3 for u.
1
Let z(n) = n**2 - n + 7. Let x be z(0). Suppose -x*b = -2*b. Solve b = -k + 3*c - 1, 2*c = 3*c + 1 for k.
-4
Let w be 17/((-2)/(-2 + 0)). Let m = 18 - w. Solve 2 = -l, 2*k + 2*l = -k - m for k.
1
Let y = -5 + 6. Let w be (-2 + y)/((-3)/9). Solve 17 = -2*d - w*n, 2*d = -3*d - 3*n - 20 for d.
-1
Suppose 10*u = 5*u + 25. Let w(y) = y**3 + 2*y**2 - 5*y - 3. Let b be w(3). Solve -u*x - b = -4*c + 8, 34 = 5*c - 3*x for c.
5
Let w be (-3)/(-27)*3*0. Suppose -3*t - 3*q + 0 = -24, -30 = -3*t + 3*q. Let c = t - 6. Solve w = -2*p - p - 3*z + 18, -13 = -2*p - c*z for p.
5
Suppose 0 = 2*j - 7*j - 2*n - 83, -5*n - 63 = 4*j. Let z = 37 + j. Solve q - 2*l = l - z, -5*q + l - 30 = 0 for q.
-5
Suppose -4*d - 5 = -25. Suppose 2*a = d*z - 10*z + 41, 0 = -2*a - 4*z + 42. Solve -5*j + a = -3*g, -6 = -2*g - j - j for g.
-1
Suppose 5*q + 11 = -2*z, 5 = -z + 3*q + 16. Let k = z - 2. Let i be (-4 + 0)*(-1 - k). Solve 4*d + 8 = 0, i = -4*f - 4*d - 24 for f.
-5
Let a = -20 + 22. Let s = 5 - a. Solve s*f - 7 = -c, c + c - 3*f = -22 for c.
-5
Suppose -4*h = -2*h. Let z(d) = -d + 20. Let p be z(h). Solve p = -t - 0*t - 5*v, 30 = 2*t - 4*v for t.
5
Let z be 3/9 + (-31)/3. Let u = z + 15. Suppose -7*j + 4*j - 3*n = -27, u = n. Solve 2*k = 2*r + 10, -3*k = -4*k + j*r + 8 for k.
4
Let x = 0 + 3. Suppose -2 = -4*d + x*d. Solve -c - 2*b - d*b - 16 = 0, 3*c - b - 17 = 0 for c.
4
Suppose i + 4*w - 18 = -5, 3*i - 2*w = 11. Solve 2*k = -i*y - 2, 16 = 5*y - 3*y + 5*k for y.
-2
Let n(y) = 5*y - 2. Let o be n(2). Solve -4*m = 3*p - 11, -2*p - 4*m = -m - o for p.
1
Suppose -w = -6*w + 25. Suppose 3*u + 4 = w*u. Solve 1 = -u*y + l, -y = -2*y + 4*l - 18 for y.
2
Suppose -2 = -b + 5*z, 3*b - 6*z - 6 = -2*z. Solve 4*d + 5*v - 2 = 0, 0 = b*d - v + 3*v - 2 for d.
3
Let a = -2 - -5. Suppose 5*d - a*d - 68 = 0. Suppose 5*l = -4*x + 60, 4*x + 0*x + 3*l = 68. Solve 5*s + d = -3*r, 0*s - x = 4*s for r.
-3
Suppose -17 - 1 = -9*k. Solve k*h = 4*a - 4, -4*h = -0*h + a + 17 for h.
-4
Suppose -39 = 3*w - 51. Solve 3*b = w*h + 23, 2*b + 11 = -2*h + 3 for b.
1
Let k(h) = h**3 - h**2 + 3*h + 22. Let c be k(0). Solve 4*q + 2*m - 10 = 0, c = 4*q - m + 9 for q.
3
Let t(g) = g**3 + 8*g**2 - 9*g + 3. Let m be t(-9). Suppose 2*u + 6 = 2*p, -3*u + 5*u - 19 = -m*p. Solve 0*s + 3*s = 4*q - 23, u*s = 5*q - 20 for q.
2
Let x(m) = -m**3 + 13*m**2 + 14*m + 18. Let w be x(14). Let j = w + -13. Solve -q + 10 = 5*r, j*q = r - 6*r + 30 for r.
1
Suppose -10 = -5*x - 0. Suppose -l + 0 = x*p - 4, -16 = 4*l. Suppose -16 = 3*y - 5*y - 3*i, 0 = p*y + 4*i - 28. Solve 0 = y*j + 17 + 3, -22 = q + 5*j for q.
-2
Let h = 19 - 19. Solve -4*r - 3 = -5*v, h*v + 2*r + 6 = 4*v for v.
3
Let c(v) = 4*v**3 - v**3 - v**3 + 1. Let h be c(1). Let w = 2 + h. Solve 3*i = o - 2, w*i - 2*o + 0*o + 5 = 0 for i.
1
Suppose -4*j - 23 = 5. Let f = j + 9. Solve -8 = t + f*g, -2*t - 2*g - 19 = 3*g for t.
-2
Let i be (12/(-2))/((-39)/52). Solve u - 3*o = 0, i*u = 4*u - 4*o for u.
0
Let f = 2 - -19. Solve n + f = -5*b, -4*n - n + 5 = 3*b for n.
4
Let u(c) = -c**2 - 12*c - 7. Let q be u(-11). Let f be 3/(-2) + 14/q. Solve 0 = f*s + 2*k, 0 = -2*s + 4*k - 0 + 18 for s.
3
Let a(l) = 5 + 4*l**2 - 11*l - 3*l**2 + 0. Let q be a(11). Let x = 0 - -9. Solve q*b - x = d, -5*d + 4*b = -b + 5 for d.
1
Let n(a) = a**3 - 3*a + 2. Let o be n(2). Let r = 4 + -2. Solve -p = -o*j - r*p - 1, 0 = -4*p - 20 for j.
1
Let j(k) = k - 10. Let o be 14 - (2 - -1)/(-3). Let m be j(o). Solve 0 = m*g + i + 23, g + 10 = 4*i - 6*i for g.
-4
Let f(k) = k + 9. Suppose 18 = -4*o + o + 2*z, -5*o - 17 = z. Let u be f(o). Let d be ((-20)/(-25))/(1/u). Solve 2*y + 10 = 0, 2*v + 2*v = d*y + 8 for v.
-3
Let f(q) = q**3 - q**2 + q + 7. Let h be f(0). Let o = -3 + h. Suppose 3*u + o*r + 6 = 0, 3*u - 4*r - 15 = 3. Solve -10 = -9*c + 4*c, -5 = -3*l + u*c for l.
3
Suppose 3*o - 3*s + 2*s + 3 = 0, -3*o = 2*s - 6. Solve -r + 32 = -5*r - 4*k, o = -4*r + 2*k - 14 for r.
-5
Let o(i) = -i**2 - 6*i - 4. Let k be o(-4). Suppose k*t - 2*t = 4*b - 58, 0 = -2*t - 10. Solve 3*l = u - 9, 0*u + 4*u - b = 0 for l.
-2
Let q(z) = 6*z**2 + 1. Let i be q(1). Let x = 6 + -1. Let n = x + -1. Solve 5*v = -2*j + i, -4*v = n*j - 2*j - 6 for j.
1
Let s = -72 + 77. Solve 2*u + s*y = 8, -2*u - y + 4 = -u for u.
4
Suppose -2*t = -4*s - 22, 4*t - s = -15 + 38. Solve 2*g = -t*o - 8, 0*o - 3*o - 2*g = 4 for o.
-2
Let j(i) = i**2 - 14*i - 10. Let h be j(15). Suppose -2*f + 3 - h = -2*g, -g = -3*f + 7. Solve f*y = 2*r + 2*y, -4*y + 20 = 0 for r.
5
Let x be 1 + (-57)/(3 + 0). Let k be (-30)/(-9)*x/(-15). Suppose 3*w - 4*d - 18 = 0, k*w - 2 = -d + 3. Solve 5*o - 5*s + 15 = 0, 2*o - w + 6 = 4*s for o.
-4
Suppose 0*w = 3*w - 6. Solve w*q = 4*j - 5*j - 2, -q + 2 = -j for q.
0
Let b(w) = -8*w**2 + 2*w - 2 + w**2 + 1. Let j be b(1). Let p be 14/6 + (-4)/j. Solve 3*v - 31 = 5*k, k + p = -2 for v.
2
Let l(d) = -d + 6. Let f be l(2). Solve 5*x = x + 2*k - 