 = 0, -s - s = -5*z + 2 for s.
-1
Suppose 0 = -q + 2*q. Let y = 2 + q. Solve -y*z + 0*o = 4*o + 12, 10 = -5*o for z.
-2
Let u(h) = h**3 - 17*h**2 + h + 14. Let i be u(17). Suppose -4*z + 3*z + 5*t = -i, -25 = 5*t. Solve 0 = -3*m + 5*o + 1 - z, m - 2*o = -2 for m.
0
Let k(g) = -5*g**2 + 0*g - 2*g**3 - 2*g - 1 + 2*g**2. Let o be k(-2). Suppose -o*h = -3*h - 36. Solve 3*m + 5*z + 15 = 0, z + 4 = m + h for m.
-5
Suppose 2*o - 30 = -3*o. Solve -10 = -2*l, 4*k - o*l = -l - 21 for k.
1
Let c(g) = -g**3 + g**2 - 3. Let j be c(0). Let t = j + 6. Solve -t*r = -m - 1, 2 = 2*r + r - 2*m for r.
0
Suppose 6*a - 2*a + 5*l = 31, 0 = -a - 4*l + 5. Solve 5*d + 1 = 2*f, 7*d + 2*f + a = 2*d for d.
-1
Suppose 0 = 9*u - 39 - 6. Solve 12 = 2*y - 4*m, 10 + 10 = 5*y - u*m for y.
2
Suppose -3*f + 4*o - 3*o = -6, -f - 4*o + 2 = 0. Suppose m = -0*r - 4*r + 69, 0 = -4*m + 4. Let a = r - 9. Solve -a = -2*x + 5*u - f*u, -3*u = 6 for x.
1
Suppose -v + 7 = -1. Solve 3*r = -5*s - 16, 3*s - v + 38 = 5*r for r.
3
Let p = -12 - -12. Solve s - g - 5 = p, -3*s = -0*s + 4*g - 8 for s.
4
Let n = -6 - -2. Let r be n/22 - (-92)/22. Solve -q = r*i - 17, 3*q + 2 = q + i for q.
1
Let t(b) = b**2 - 3*b + 2. Let a be t(4). Suppose 3*z + 0*x + x = 10, a = -3*z + 3*x. Solve 4*w = 4*u - 4, -6*w + 2 = -2*w + z*u for w.
0
Let h be 4 + -7 - (1 + -4). Suppose -x - 2 + 7 = h. Solve 5 = -o + x*v, -v - 2*v + 20 = -4*o for o.
-5
Let l(x) = -x**3 - 11*x**2 - 12*x - 8. Let k be l(-10). Solve -s + 7 = -4*j + j, 3*s + k = -2*j for j.
-3
Let u be (-39)/(-26)*((-40)/(-3) - 0). Solve -8 = 4*y - 3*n, -5*y - 4*n + u = -y for y.
1
Let y = -6 - -16. Solve -2*l = -4, 4*u = -u - 5*l - y for u.
-4
Let l(w) = w**3 - 9*w**2 - 2*w + 22. Let o be l(9). Solve 0 = -q + 5, -o*q = b - 6 - 16 for b.
2
Let w = -5 + 8. Suppose 2*v + w = l - 4*l, 3*l = -3*v. Solve 4*x = 8, -2*o + v*x = -0*x - 2 for o.
4
Let y = -10 - -10. Suppose 2 + y = 3*k + 4*x, 3*k - 5*x - 38 = 0. Solve 3*m = -3*a - 15, -a - 2*m + 1 = k for a.
-5
Let g(b) = b**3 - 15*b**2 - b + 15. Let f be g(15). Solve f = -3*h - 5*c + 7, 2*h + c = 3*c - 6 for h.
-1
Let n(h) = -h - 8. Let r be n(-8). Suppose r = 3*g - g. Suppose -4*f + g*a = -a - 17, -f + 17 = 4*a. Solve -f*u = 2*t + 29, 3*t + 27 = -4*u + 1 for u.
-5
Suppose 1 = -s + 9. Let o(p) = p**3 - 7*p**2 - 8*p + 4. Let y be o(s). Solve v = y*v - 6, -4 = 4*g + 2*v for g.
-2
Let o(b) = -6*b**2 + 15*b + 21. Let c(d) = 7*d**2 - 16*d - 22. Let j(w) = 5*c(w) + 6*o(w). Let i be j(11). Solve -21 = i*x - 3*k, 0 = 3*x + 3*k + 3 for x.
-3
Suppose 6*d - 64 = 2*d. Solve 0 = 2*m - 4*n - d, -m - 7 = 5*n + 6 for m.
2
Let b = 38 + -34. Solve -u + 2*u + 2*x = 2, 3*u + b*x - 8 = 0 for u.
4
Let k be (-2 - 1)*(0 - (-12)/(-9)). Solve 0*y - 23 = 5*y - 3*i, -i = k*y + 15 for y.
-4
Let v = -10 - -6. Let k be (v/(-10))/((-5)/(-25)). Solve -15 = -u - 2*u - 5*d, -k*d = 0 for u.
5
Suppose -t = t. Suppose t = -5*b + 31 + 104. Let m = b + -19. Solve 4*w + 5*n - m = 0, -2*w + 1 = n - 3 for w.
2
Let u(x) = x**2 + 2*x - 2. Let b be u(-4). Solve -5*k = -15, -2*k = -b*h + 3*h - 6 for h.
0
Suppose -31 = -4*s - 5*d, 0*s = -s + 5*d - 11. Solve -2*g + s = -2*i, i - 4*i + 4*g - 4 = 0 for i.
-4
Suppose 0*p - 6*p = -600. Let z be ((-8)/20)/((-2)/p). Solve 3*x + 11 = s, 4*s = 5*x - x + z for s.
2
Let y be 3 - (-2 - -6 - 3). Solve -y*x - 1 = 4*v - 7, 4*v - 8 = 0 for x.
-1
Suppose 2 + 0 = p. Suppose 0*n - p*n = 12. Let q be ((-2)/n)/(5/60). Solve 2*c + 18 = -c + 5*i, q*i = 2*c + 14 for c.
-1
Let f be ((-25)/2)/(2/(-4)). Suppose -4*l = -f + 9. Solve -4*z = u + 8, -l*z + 3*u + 3 = 11 for z.
-2
Let b = -18 - -42. Solve -14 = -5*i - k, b = -0*i + 2*i + 5*k for i.
2
Let f(x) = -x + 5. Let i(k) = -k**3 - 4*k**2 + 5*k + 3. Let a be i(-5). Let u be f(a). Solve 5*w - 5*z = 0, 5*z - 12 = -u*w - 33 for w.
-3
Let r(a) = 2*a**2 - 2*a - 2. Let o be r(2). Suppose -5*n = -2*n - 60. Solve 2*s - 4*l = -20, -o*s = 3*l + l - n for s.
0
Let h = 19 - 14. Suppose 2*o - 4*o = -5*g, -g - h*o = 0. Solve 2*n - x + 5 = g, -3 = -3*n - 3*x - 33 for n.
-5
Suppose -5 = -3*m + 1. Let w be ((-6)/m)/(2/(-6)). Let d(x) = x**3 - 8*x**2 + x - 4. Let b be d(8). Solve -4*h = -3*l + 7, h + w = 3*l - b for h.
2
Let h(g) = g**2 - 9*g + 12. Let a(c) = -c**2 + 11*c - 2. Let p be a(10). Let y be h(p). Solve -2*z = -0*z + y*l + 20, -z + 10 = -3*l for z.
-2
Let q = -8 - -8. Suppose q = 2*g - 12 + 2. Solve 3*l + 11 - 31 = u, g*l = u + 30 for u.
-5
Suppose -6*v - 8 = -3*s - 4*v, -5*s - 16 = 4*v. Solve s = -a + 2*y - 5, 2*a + 5*y = -2*a + 6 for a.
-1
Suppose -3*p = -4*p. Solve p = q - 5, -5*n + 56 - 16 = 5*q for n.
3
Let k = 7 - 7. Solve 2*d + 2*g + g = -13, -3*d + 3*g - 12 = k for d.
-5
Let q(i) be the second derivative of i**3/6 + 3*i**2/2 - 2*i. Let t be q(-3). Solve 3*x + 27 = -t*x - 3*j, -3*x = j + 19 for x.
-5
Let f(p) = p - 2 + 6 - 2*p. Let t be f(0). Solve 2*s = -s + t*z + 5, -3*s + 7 = -5*z for s.
-1
Let l be 5/10 - (-446)/4. Let d be (-2)/7 - l/(-49). Suppose 3*z - d = 2*z. Solve 3*o - 8 = 4*v + 1, z*v = -o + 3 for v.
0
Let q(b) = -2*b**3 - 3*b**2 - 3*b. Let h be q(-2). Let p be (h + -1)/3 - 3. Solve p = -3*g + 3, -3*c + 5*g = -6*c - 7 for c.
-4
Suppose 193 = x + x - z, -5*z - 173 = -2*x. Suppose 3*p - 6 = -4*g, g - 3*p - 5 = 4. Suppose 3 + x = g*d. Solve 12 = 3*h - q, -5*h = -0*q + 3*q - d for h.
5
Let k(f) = f**3 - 4*f**2 + 2. Let h be k(4). Solve 3*x - 3*z - 12 = 2*x, z = -h*x - 4 for x.
0
Suppose 8 = -3*s + 7*s. Suppose 20 + 0 = 5*u. Let j be (-78)/(-5) + u/10. Solve -p - 2*p = -t + 10, 5*t - j = -s*p for t.
4
Suppose t - 6*t = -10. Suppose t*n - 3*n + 3 = 0. Solve 3*m - s - 4 = 8*m, -3*s = -n*m + 12 for m.
0
Let n be (-6)/(-8) + 1/4. Let j = n - 1. Suppose t - 2*t = j. Solve 4*o + 7 = 3*s - 8, -4*s - 4*o - 8 = t for s.
1
Let v(j) = 7 + 3*j - 4 - 5*j. Let x be v(-6). Solve -6*i - x = 3*f - 2*i, 2*i + 5 = -f for f.
-5
Let y(m) = m**2 - 7*m + 9. Let n(g) = g + 13. Let b be n(-7). Let z be y(b). Solve -q = z*r, r - q + 1 = -3 for r.
-1
Let b(j) = 2*j**3 + j**2 - 2*j + 1. Let l be (-6)/(-4) - 9/18. Let q be b(l). Solve 0 = 4*i - z + 5, -6*i + q*z - 2 = -2*i for i.
-2
Let w be -1 + (-1)/(-1) + 0. Suppose 2*i = -w*i + 4*d - 4, -5*i + 4*d - 22 = 0. Let t be (-1 - 9/i)*8. Solve -t*p = q + 23, 2*p - 2 = 3*p - q for p.
-5
Let c be 1/(-2)*0/3. Suppose 2*f = -c*f - 4. Let g be (3/f)/(6/(-16)). Solve 0 = 4*h - 2*p - 4 - 6, -g*h - 5*p - 25 = 0 for h.
0
Suppose -3 + 13 = -2*u. Let k = u + 9. Let o be k*(-2 - 21/(-6)). Solve 0 = 3*f + l + 2, 0 = o*f - 2*f - 2*l - 14 for f.
1
Let k = -7 + 6. Let n be (-1 - k)*4/8. Suppose n = -3*z + 2*z. Solve 2*w + f + z*f = 5, f - 5 = w for w.
0
Let x = -23 + 27. Solve 3 = 2*m + 3*t - 12, -m + 15 = x*t for m.
3
Let f = 75 - 45. Suppose 0 = -5*t + 5*q + f, -6 = 7*t - 3*t + 2*q. Solve 3 = 2*u - t, 18 = 4*l - u for l.
5
Suppose 9*a - 50 = 4*a. Suppose 3*z = 3*t + 27, -z + 3*t + a = -9. Solve 30 = 2*o - z*b, 5*o + b = 5*b + 45 for o.
5
Let j(t) = t + 8. Let l be j(-6). Solve -5*f - 31 = -0*r - l*r, 2*r + 5*f + 19 = 0 for r.
3
Let p be (0/2 + 58)/2. Let k be -1 - p/((-3)/3). Suppose -j + 3*x - 12 = 0, -j - 5*x = -k - 0. Solve 11 = b - j*z, -4*b - 2*z + 18 = -z for b.
5
Let l(s) be the third derivative of -s**4/6 - 5*s**2. Let t be l(-1). Solve 1 = -t*c - 3, 0 = -2*d - 4*c + 2 for d.
3
Suppose -4*b = 9 + 19. Let z = b + 9. Let c be ((-8)/3)/(1/(-3)). Solve -z*g = 2*m - c, 4*m = -2*g + 14 + 2 for m.
4
Let z(v) = 9*v. Let k be z(2). Let d be 4/18 - (-104)/k. Let o = 6 - d. Solve o = -4*t - 2*q - 8, 2*t + q = -3*t - 13 for t.
-3
Suppose 4*q + q = 0. Suppose q = 3*d - d. Solve -l - 3*r - 4 = d, 2 = -2*l - 3*r - 3 for l.
-1
Suppose 0 = -2*y - 2*y - 20, -4*t + 89 = -y. Let r = 14 + 0. Let g = t - r. Solve -4*j + g = -3*o, 4*j + 0*o + 2*o - 2 = 0 for j.
1
Let l = 20 - 14. Suppose o = -5*n - 18, -2*n - 17 = 5*o + 4. Let t = o + l. Solve 0 = -5*b - t*g + 8, 2*b + 0*b - 4*g = 24 for b.
4
Suppose a = -2 + 5. Solve o = -a*m + 2*o + 10, 4*m = -o + 18 for m.
4
Suppose 2*a - 18 = -5*t, -3*t + 2*a + 14 = -0. Solve -11 = t*b + c + 2*c, 3*b + c + 2 = 0 for b.
1
Let s(x) = x**3 + x**2 - x + 1. Let a be s(-2). Let h(d) = d**2. Let z be h(a). Let c = 4 + z. Solve 5 = -2*j + 1, 0 = -2*f + c*j + 12 for f.
1
Let p be (24/14)/((-4)/(-14)). Solve 4*a + 4 = -4*h, 5*h = -9 - p for a.
2
Suppose -4*y + 14 = 