18*q = 6. Solve 4*x + 4*t = x - 2, -5*x = -q*t + 12 for x.
-2
Let q(g) = 8*g**2 - g + 1. Let a be q(1). Let i = a + -6. Let f be 0 + -5 + i - -8. Solve -d - 3*t = -15, f*t = -d + 4*t + 5 for d.
0
Suppose 0 = -3*h + 21. Solve -9 - 2 = -q - 3*o, 3*o - h = -5*q for q.
-1
Suppose 0 = 4*z - 5*w + 21 - 77, 0 = -5*z - 3*w + 70. Solve 18 = 3*u + 4*k, -u - 3*k - 3 = -z for u.
2
Suppose 3*r + 2*c - 21 = 6*r, -3*r - 3 = 4*c. Let f be 115/25 + 3/r. Solve -6 = -5*o - f*x, -o + 3 = -5*x - 4 for o.
2
Suppose -17 = -6*b + 1. Solve 2*a - 2*l - 3 - 3 = 0, -b*a - 5*l = 15 for a.
0
Let l = 6 + -4. Suppose -4 = -j - l, 2*i - 12 = -j. Solve h + h = -5*k + i, 13 = -3*k + 2*h for k.
-1
Let k = 0 + 2. Suppose 0 = -k*l + 4 - 0. Suppose 0 = r + 3, l*d + 2*r = -10 + 78. Solve 5*j + 5*x - x + d = 0, -2*j = 5*x + 25 for j.
-5
Let i(p) be the second derivative of -p**4/12 + 4*p**3/3 - 9*p**2/2 - 3*p. Let h be i(6). Solve 2*g + 1 - h = 3*s, 3*s = 0 for g.
1
Let q(n) = 6*n**3 + n**2 - n. Let u be q(1). Let g be -4*u/(-1 - 2). Solve y - 2*z - 4 = -g, -z = -3 for y.
2
Let k be 2 - (2/1 - 3). Let c = 4 - k. Solve b - c = g - 5, -2*g + 4*b + 18 = 0 for g.
-1
Suppose -4*h = -21 - 15. Let v be 17/4 - h/(-12). Solve -g - 3 = -x, x + v*g = -12 - 15 for x.
-2
Suppose -8*t + 15 = -3*t. Suppose 2*c = -3*m + t*c + 4, 4*m + 4*c = 16. Let q be m + 4/(-2) + 0. Solve q = 3*x + 5*g + 14, -2*g + 22 = x - 7*g for x.
2
Let y be 1*((-6 - -3) + 9). Let n = y - 2. Solve n*x + 7 = 2*k - 1, 3*x + k = -1 for x.
-1
Let o(w) = -w**3 + 8*w**2 + 8*w + 11. Let l be o(9). Suppose -l*z = -4*z + 4. Suppose 8 = -z*b + 6*b. Solve 5*k + 2*i + 1 = 15, -i + 6 = b*k for k.
2
Suppose 22*j - 15*j - 7 = 0. Solve -4*v + 0 = 12, -2*h + v = -j for h.
-1
Let t = 29 - 25. Solve -7*f + 3*f - t*c = 12, 0 = -f - 4*c + 3 for f.
-5
Let h be (-1)/6 - (-3)/18. Solve -8*b + 3*b + 4*l = 9, -4*b - l - 24 = h for b.
-5
Suppose -5*s = -3*s - 2. Solve 0 = -2*d + 4*b, -d + 5*b - 2*b = -s for d.
-2
Let t(m) = -m + 1. Let d be t(-1). Suppose -d*o - 4*b = -2*b + 2, -2 = 2*b. Suppose o = k - 4. Solve 0*y + 3*y + 5*l - 8 = 0, y + k*l - 12 = 0 for y.
-4
Suppose -2*v + 8 = 3*j, 4*j + 4 = v + 3*j. Suppose -6*l - 4 = -2*l, -26 = -v*d + 2*l. Solve -2*r + w - 17 = -d*r, -3*r + 14 = w for r.
3
Let q(w) = 2*w**3 - w**2 + w. Let f be 10/14 - (-8)/28. Let j be q(f). Solve y + 6 = 4*y, -5*y + 16 = -j*z for z.
-3
Suppose 0 = -18*y + 23*y - 5. Solve -2*a = 5*h, h - 3*h = a - y for h.
-2
Let r = 72 + -67. Solve r*m = 2*o - 23, 1 - 21 = 4*m for o.
-1
Let c(v) = 0 + v**2 + v + 4*v**2 + 4*v**2 - 3 - v**3. Let m be c(9). Let b = m + -3. Solve 0*s - 5*f - 27 = -b*s, -3*f = -4*s + 25 for s.
4
Suppose 44 - 8 = -3*a. Let r be (a/8)/((-2)/4). Solve 5*p - 5*c - 45 = 0, -p - c - 2 = -r for p.
5
Suppose 2*r = r + 3. Suppose 15 = r*f, -2*a - f = -0*f - 11. Solve 0 = 2*u - 2*l + 8, a*u + 7 = 2*l for u.
1
Let b be (-3)/(4/(-4) + 0). Let j = b - -2. Solve 0 = d, -2*a - 3*a + j*d = -5 for a.
1
Let p = -51 + 53. Solve -2*s + 5*a = -35, a - 20 = -3*s + p*a for s.
5
Suppose -5*p - m = 56, p + 5 = 5*m - 27. Let k be 26/8 + 3/p. Suppose -k*t + 8 = t. Solve -4*q + 4*i - 6 = t, 4*i = -4*q + 8 for q.
0
Suppose -10 = -0*f - 2*f. Solve 3*t + 30 = -5*d, -4*t - f = -5*d - 0 for t.
-5
Let l(i) = -i**2 + 3*i**2 + 6*i + 2*i**2 - 2*i**2 - 6. Let u be l(-5). Solve -4*m = -7*m + 5*r + u, -6 = -m + 3*r for m.
3
Suppose -4*a = a - 70. Let h = 5 - 2. Solve h*r = 2*c - a, -6*c + c = 4*r - 12 for c.
4
Suppose -5*d + z + 35 = 0, -d - d - 3*z + 31 = 0. Solve -3*s + d*q = 3*q - 5, 2*q - 2 = 2*s for s.
-5
Let b(f) = -f**2 - 7*f - 6. Let p = 7 - 12. Let g be b(p). Solve -g*z = -4*o, 0*o + 5*o = 15 for z.
3
Let t be (-19)/(-6) + (-3)/18. Solve k - 12 = -t*b, -12 = -3*b + 2*k - 0 for b.
4
Let a = -1 - -6. Suppose 0 = -a*h + 4*r + 12, h + 2*h + r = 14. Solve 3*t - 5*t - h = z, 0 = 4*t - 5*z - 6 for t.
-1
Let a be 3*(-2 - 14/(-3)). Let z be (-4)/(a/(-6)) + 16. Solve 2*j = 5*w + z - 3, -j = -3*w - 9 for j.
3
Let v(i) = -i**2 - 9*i - 12. Let u be v(-7). Solve 19 = k - 4*t, 2*t - u = -4*k + 2 for k.
3
Suppose h - 7*h = 0. Solve -2*m + 3*r + 3 = h, -4*r - 5 = 2*m - 1 for m.
0
Let o = -12 + 12. Suppose 3*h - 3*i - 15 = 0, -3*h + 2*i + 6 = -2*h. Let y be 10/4 + 2/h. Solve -2*z - 3*f = -z, o = y*f + 3 for z.
3
Let m(l) = l**3 + 7*l**2 + 3. Let p be m(-7). Suppose p*b - b = 6. Solve b*n - 10 = 2*y, -3*n - 4*y = 3 - 1 for n.
2
Suppose 2*t = -2, 0 = -u + 2*t + 5 + 1. Let g(s) = -u*s - 1 + 2*s - 4*s**3 + 0*s**3. Let y be g(-1). Solve 0 = j + 3*j - v - 25, -y*j + 10 = 3*v for j.
5
Let c be 4 + 9/((-36)/8). Solve -c*p = -0*p - 4, 27 = -5*y + p for y.
-5
Suppose 14 = 2*v + 6. Suppose 0 = -g - n + 5 - 2, 3*n - 16 = -4*g. Solve -3*b + 8 + g = v*h, 5*b - 25 = 2*h for h.
0
Suppose 25 = -3*q + m, -4*m - 70 = 3*q + 2*q. Let n be ((-24)/20)/(4/q). Solve -n*i - 2*k = -5*k, -k - 10 = 4*i for i.
-2
Let y = -3 + 6. Suppose -y*x - 4 = -4*x. Solve -x*w - 2*g = 8, -2*w - 6*g = -2*g + 16 for w.
0
Let d = -28 + 33. Solve -w - d*g + 3 = -2, -g = -3*w - 1 for w.
0
Suppose 8*r + 4*c = 3*r + 26, 3*c = 2*r - 15. Solve -3*t + z - 4*z = r, -3*z = 4*t + 8 for t.
-2
Let y = 3 + 6. Suppose -4*w + y*w - 25 = 0. Suppose -3*o = o - 24. Solve -5 = -w*s - 5*t, 0 = -s - 4*t + o + 4 for s.
-2
Suppose 3*m = -4*b + 20, 0*m = 2*m - 3*b - 2. Suppose 3*y - 6 = -3*z, 3*z + 6 = 2*y + y. Suppose 37 = y*t + 5. Solve -3*g - 8 - t = -m*a, -3*a = -g - 13 for a.
3
Suppose 18 = -0*g - g + 4*z, -3*z = -4*g - 7. Let u = g - -3. Solve -x = -5*x - 20, 0 = -u*k - x - 30 for k.
-5
Let c(r) = 2*r**2 + 8*r - 1. Let q be c(-5). Solve 2*w - 3*g = q + 4, 0 = -3*w - 3*g - 18 for w.
-1
Suppose 2*p - 76 + 32 = 0. Let u = 25 - p. Solve -1 = -n - x + 4, n + 11 = u*x for n.
1
Suppose -4*c + c - 1 = 2*o, c - 13 = 2*o. Solve -3*j + 5*j - 13 = 3*s, -2*s = -c*j + 7 for s.
-5
Let w = -7 - -11. Let z(b) = 4*b + 4. Let d be z(w). Solve 0 = 2*h - 2*a - d, h + 0*a = -a for h.
5
Let r = -1 + 17. Suppose -4*d + 24 = -r. Suppose 5*a = 3*x + 5, 0*a - 2*a + 2 = 5*x. Solve -5*o + 3*k - d = x, -k = -2*k for o.
-2
Let g(z) = 2*z + 20. Let l be g(-9). Solve 2*d + 16 = -4*i - d, 2*i = l*d + 6 for i.
-1
Suppose 0 = -3*s - s - 4. Let i be 4/12 - s/(-3). Let l be -2 - (-7 + (0 - i)). Solve 4*p - 26 + 2 = z, -5*z - l = 3*p for p.
5
Suppose 11*a + 18 = 216. Solve 4*c - i = 18, 2*i - i = -5*c + a for c.
4
Let j = 1 + -2. Let q be 1/(j/(-3)) + 40. Let x = q + -20. Solve 3*y = 5*f - x, 5*y - 15 = -4*f - 4 for f.
4
Let y be -3*(3 - 2) - 3. Let p = y - -21. Solve 0 = -4*g - 5*n + p, n + 9 = 2*g + 4*n for g.
0
Suppose 2*u - 6*w = -4*w - 2, 4*w = -2*u - 14. Let j be 1 + (u + 6 - 1). Let x = j - 1. Solve 3*m + x*v - 10 = v, -2*v + 18 = 5*m for m.
2
Let w(x) be the second derivative of -1/2*x**3 - 3/2*x**2 + 0 + x. Let s be w(-2). Solve 4*l + 3 = 4*g - l, s*g - 5*l = 1 for g.
2
Suppose -3*p + 9 - 3 = 0. Let k be 56/12 - p/(-6). Suppose 0 = -4*h - h + 90. Solve -h = 2*r + k*f, -2*r = 4*f - 0*f + 16 for r.
-4
Let j = -21 - -23. Solve -a + 1 = -3*x, 3*x = 4*x + j for a.
-5
Let w = -28 + 30. Solve 14 = -2*z - 4*f, -6*f = -w*f + 4 for z.
-5
Let n(c) = c**2 - 7*c + 9. Let m be n(6). Suppose -g - 2*g = 3*f + m, 2*f - g - 1 = 0. Solve 25 = -10*h + 5*h + 5*x, f = h - 5*x + 17 for h.
-2
Let y be 38/4 + 3/6. Let l = y - 5. Suppose -5*j - 2*h = -5, 17 - 45 = -j + l*h. Solve 5*s = -2 - 3, 9 = -3*z - j*s for z.
-2
Let v = 18 - 9. Let r be v/(-36) + (-5)/(-4). Solve -3*p - 2*f = 7, r - 3 = 3*p + f for p.
1
Let r = 30 - 14. Suppose -4 = -5*n + 2*o + 4, r = -4*n - 4*o. Solve y - 5*v - 5 = -n*v, -y - 5*v = 15 for y.
-5
Suppose 0*w - 4*s = 4*w - 28, -3*w = 2*s - 18. Solve -w*g - 2 = r - 3, -5*g - 7 = 4*r for g.
1
Let k(v) = 2*v - 12. Let h be k(7). Solve 0 = -5*m - 5*z, -h*z + z + 9 = 4*m for m.
3
Suppose 0 = 3*c - 3 - 12. Let s(g) be the first derivative of g**3/3 + g**2/2 + 2*g + 1. Let k be s(-2). Solve 0 = c*p - k - 1, -2*o + 4*p = -2 for o.
3
Let a = -1 - -3. Suppose -2*q = -5*z - 2, -4*q + 0*z - z = -26. Suppose 2*l = 4*f - 8, 5*l - 3*l = 3*f - 4. Solve -2*y + f*y = -a*k + q, -3*y + 10 = 2*k for k.
-1
Suppose -2*k - 6 = -18. Suppose 2*b + 0 = k. Solve -b = 3*q - 0, 5*q + 25 = 5*s for s.
4
Let p = -26 + 31. Solve -v - p*g + 18 = 0, 0 = -5*v - 3*g - 0*g + 24 for v.
3
Suppose 2*n - 14 + 6 = 0. Let s be -3*2*n/6. Let z = s 