 Suppose -k + j = 7. Solve w = -k, -5*w - 4 - 1 = -i for i.
0
Let z = -8 + 11. Let r be (1 + -2)*z*-1. Let g be 3*(-2)/r - -4. Solve 11 = -g*n + n + 4*c, 5*c = -n + 16 for n.
1
Let i be (2 - 0) + (2 - -1). Solve -i*v - k + 1 = 0, 2*k + 11 = 3 for v.
1
Let r = -3 + 5. Suppose 0 = -2*c + 5*i + 10, -5*c + i = -11 - 14. Let k = c - r. Solve 4*l - 4*t - 6 = -5*t, k*l = -3*t + 9 for l.
1
Suppose 4*g - 20 = 2*h, 18 = -3*g + 6*g - 3*h. Suppose -5*r = -5, 2*r = z - 2*z + g. Solve 0 = 2*q - 2, 4*v - 3*q - z = -17 for v.
-3
Let v(s) = s**3 - 6*s**2 + 5*s + 7. Let x be v(5). Let q = 11 - x. Suppose -13*t + 21*t - 40 = 0. Solve -q*m + t*n - 9 = 0, 0*m - m = 5*n - 29 for m.
4
Suppose 6 = 2*n + 4*r, 2*n + r = 2 + 4. Solve 3*g = 2*q - 3, -18 = 3*q - 0*q + n*g for q.
-3
Let m = -6 + 8. Let k = 253 + -250. Solve -k*n + n = 4*v + 8, 0 = -3*n + m*v + 12 for n.
2
Let k = -8 + 16. Solve -2*y = c + 4, 4*y - 4*c = -c - k for y.
-2
Let u = 61 + -38. Suppose -5*b = -s + 5*s - u, b - 5*s + 7 = 0. Solve 10 = 3*l + 5*c, 2*l + 25 = -0*l + b*c for l.
-5
Suppose 8 = 7*z - 6*z. Suppose s - 3*s = -z. Suppose -5*n + 4*l = -39, 0*l = 3*l + 3. Solve 0 = -2*k - n*b + s*b, 0 = -2*k - 5*b + 4 for k.
-3
Suppose 12 + 3 = 5*o. Solve 3*q - 12 = 4*y + 8, -o*y = -2*q + 14 for q.
4
Let f(s) = -4*s - 8. Let w be f(-6). Suppose -6*r - k = -r + 4, -w = -4*r + 4*k. Solve q = -4*d - 0*d - 9, 2*q - 6 = r for d.
-3
Suppose 7*y = -4*y + 33. Solve -2*t = y*r + 19, 5*r + 3*t - 6*t = 0 for r.
-3
Let o(t) = t**3 - 3*t**2 - 20*t + 15. Let j be o(6). Solve 3*k + 4 = -11, 5 = -5*y + j*k for y.
-4
Let q be (1 - 1) + 9 + -5. Solve -3*s - 3*u - 2*u = -5, 0 = -q*s - 4*u + 12 for s.
5
Suppose 0 = 2*x + 1 - 5. Let r be ((-4)/4)/(3/(-12)). Solve 4*a = -0*o - x*o + 2, r*o = a + 22 for a.
-2
Let k be -3 - (-10 + 6/2). Suppose 123 = -k*u + 39. Let w = 39 + u. Solve j + j = -2*r + 4, 5*r + j = w for r.
4
Let p be (-5 + 13/2)*2. Solve p*z + 11 = 5*s, s + 0*s - 16 = -4*z for z.
3
Let l = 9 + -5. Suppose t = 4*r + 2*t + 60, -l*r + t = 60. Let g be (-3)/(18/r)*2. Solve -h = 2*x + 7, -3*x + g*h = -x - 11 for x.
-2
Let k(s) = -s**3 - 2*s**2 + 6*s - 4. Let n be k(-4). Let g be -5*-2*(-6)/(-20). Solve -4*z - g*r = -2*z - 16, n*r - 22 = -3*z for z.
2
Let v be (4/(-8))/(2/(-20)). Suppose -t - b + 4 = 0, 5*t + 0*t = v*b. Solve 0 = -3*p + t*g - 3 - 0, -2*p + 5 = g for p.
1
Let j = -115 - -118. Solve 5*f - j*w = 2*w + 30, -4*f + w + 18 = 0 for f.
4
Suppose c = 4*c - 9. Solve 3*y + 24 = -5*i, 0 = 5*y - c*i - 2*i for y.
-3
Suppose -j - 3*j = 4*y - 24, -3*j = -5*y - 18. Suppose 2*v = 6 + j. Solve f + 2*z = 5, v = z + z for f.
-1
Let i = 13 + -9. Let c = -4 - -6. Suppose 18 = i*b - c. Solve -5*u + 1 = 4*o - b*o, 2*o + u = -2 for o.
-1
Let y be 4/(-4) + 3 - -8. Solve -2*p + 3 = 2*z - 11, 5*p = 4*z - y for p.
2
Let o = 0 - -4. Suppose j - o*j + 12 = 0. Solve 2*t - 2 = s - j, 0 = 3*t for s.
2
Suppose -2*m = 5 - 3, -4*u = m - 7. Suppose u = 2*n - 8. Solve -2*i - d + 3 = 0, -i - 2*i - d + n = 0 for i.
2
Suppose 2*a = 3*a - 3*b - 19, 0 = -2*b - 10. Let v be a/22 + 24/(-132). Solve v*h - 4*z = -2*h + 8, 4*h - 2*z - 10 = 0 for h.
2
Let x = 48 + -40. Suppose 0 = -2*o - 0*o + 8. Suppose -5*r = 5*k - 5, -2*r + 5*r = k - 21. Solve -3*v + o*w + k = -0*w, x = 4*v - 4*w for v.
2
Suppose 3*m = 4*k - 2*k - 23, -15 = 5*m. Let h be (-6)/9 - (-87)/9. Solve 2*o - 3*u - h = 0, 0*o - 2*o + u + k = 0 for o.
3
Let a(b) = 1 - 12*b - 8 - b**2 - 4. Let v be a(-10). Let t be (-7 + 2)*(-2)/10. Solve 4*l + y = -t - 2, v = -3*y for l.
0
Suppose -3*l + 8*l = 25. Suppose 4 = l*s + 2*m + 2, -m = -2*s + 8. Let b be (-3 + -1)/(4/(-2)). Solve -k = -i + 4 - b, 7 = 3*i - s*k for i.
3
Let i(c) = -c**2 + 2*c - 4. Let a be i(3). Let x = -6 - a. Let b = 31 + -17. Solve -x = -z - 2*y, -b = 2*z - 4*z + 2*y for z.
5
Let l = 23 - 18. Solve 2*p - 9 - l = 4*m, p = -2*m - 13 for m.
-5
Let u be 10/(-35) + 30/7. Suppose 2*y + 4*o - 83 = 27, -y + 2*o = -35. Suppose 5*a - 2*m - y = 48, -2*m + 78 = 4*a. Solve -4 = u*j, 3*j + a = -3*q - q for q.
-4
Suppose -j = j - 8. Solve 0 = j*p + 2*g + 12 + 8, 0 = 2*p + 3*g + 10 for p.
-5
Let x be (-160)/(-72) - 4/18. Solve -12 = 5*q + 3*r, 4*q - 3*r + 9 = x*q for q.
-3
Suppose -6 = r - 39. Let u = -27 + r. Solve 0*g + g - 2*j = -3, -2*g - u = -5*j for g.
-3
Suppose 0 = -5*r + 5*k + 35, 0 = 3*r + 2*k - 4 - 7. Solve 2*p = -4*c + 10, -3*p + 2*p + 11 = r*c for p.
1
Let d(y) = 4*y**2 + 3*y + 2. Let t be d(-1). Let r be (12 - 12)*(-1)/t. Solve -4*g - g + 3*v - 13 = r, 0 = 5*g - 2*v + 12 for g.
-2
Let d = 9 + -5. Suppose -d*g = o - 57, 2*g - 4*o - 19 = -g. Suppose -5*m = 5*p + 5, -2*p = 5*m - 3*p - g. Solve -4*q + 20 = -4*f, -3*f - m*q = 2*f + 25 for f.
-5
Let g = -20 - -22. Solve -2*f = -2*h - 4, -g*f + 16 = 3*f - 2*h for f.
4
Let u = -10 - -13. Suppose -u*l = 2*q + 7 - 19, -4*l + 5*q = 7. Solve -p = l*s, 0 = s + 4*p - 6 - 8 for s.
-2
Suppose 5*a - t - 22 = 0, 3*a - 12 = t - 0*t. Let d be 1 - (-1 + 4 + -2). Suppose d = a*w - 21 + 1. Solve o + o = -5*s - 1, -w*o = -8 for s.
-1
Suppose 0 = 7*k - 15 + 1. Let m = 33 - 17. Solve 16 = -k*t + 2*i + 2*i, m = -4*t + 4*i for t.
0
Let l = 19 + -12. Solve 0 = 2*c - 4*k + k - 4, l = c + k for c.
5
Let t(l) = -3*l + 1. Let s be t(-1). Let z be s/(-2)*1 + 4. Solve -10 = -z*u + 4*h, -u + 13 = 4*u - 4*h for u.
1
Suppose 10*g = 3*g + 21. Solve g*u - 4*s + 13 = 0, 2*u + 8 = -2*s + 4*s for u.
-3
Let t = -7 - -10. Suppose -5*s = 4*i - 31, -3*i - t*s - 2*s = -27. Solve -i*w + 2*j = 3*j - 19, -2*j = 4*w - 22 for w.
4
Suppose 2*t = -0*t + 12. Suppose -y = -0*y + t. Let u = 6 + y. Solve u = -4*r + 4*n + 16, -3*n - 13 = -4 for r.
1
Let z(j) = -j + 5. Let v be z(0). Suppose -19 = -4*l - 5*f + v, 0 = -3*l + 5*f - 17. Let k = 2 + l. Solve 2*u + 4*y - 2 = k*u, -2*y = -2 for u.
2
Let z = 52 + -49. Let m = -5 - 3. Let p be m/(-6)*z/2. Solve 2*j = 6*j, 0 = -t - p*j for t.
0
Let c be 33/7 + 8/28. Solve -2*y + 4*b = 18, -c*y - 26 - 9 = -5*b for y.
-5
Let m = -39 + 73. Let i = m + -16. Let s = -4 + 9. Solve g - i = -s*w + 5, 4*w = -5*g + 31 for g.
3
Let h(q) = -q + 4. Let m be h(-9). Let r = -2 + m. Solve -3*d = -2*z - 5*d + 16, 0 = 2*z + d - r for z.
3
Suppose 4*w - 4*i = 0, -w - i - 2*i = 0. Suppose w = t + t - 10. Let y be 1/(-5) - (-11)/t. Solve 2*m = -5*z - 2 - 3, 4*z + y*m = -2 for z.
-3
Suppose -p + 6 = 2. Let l = 32 - -13. Suppose p*s = -s + l. Solve -5*o - c = -s, -8*o - 5*c + 5 = -3*o for o.
2
Let h(d) = -d**3 - 12*d**2 + 13*d + 5. Let y be h(-13). Let x be ((-6)/y)/((-9)/30). Let r = -28 - -53. Solve 5*v + r = 5*g, 2*g + 6 = -2*v - x for g.
0
Suppose -3*s + 3 = -9. Let l = -2 + s. Solve 3*b = 5*c - 35, 3*c - 6 = -c - l*b for c.
4
Let t(x) = 2*x. Let a be t(8). Suppose a = 5*p + 1. Suppose j - 6 + p = 0. Solve 4*m - j*k = -9, 2*m + 12 = -3*m + 3*k for m.
-3
Suppose 2 = u - 2. Suppose u*g + 3*n = -0*g + 196, n - 142 = -3*g. Suppose -4*y - j + 6*j = -42, g = 5*y - 3*j. Solve -4*k = -3*a + a, -a - 2*k - y = 0 for a.
-4
Let v = -8 - -14. Let k(z) be the first derivative of -z**2/2 + 8*z - 1. Let t be k(v). Solve -4*n - 16 = -t*f, 0 = -n - 0*n + f - 6 for n.
-2
Let a be 8/12 - 64/6. Let m = a - -14. Suppose 5*u + 4*t = 31, 4*u - 4*t = -0*t - 4. Solve 2*x + 3*n - m = 0, -2*x = 4*n - 9 + u for x.
-1
Suppose -q + 5*y = 9 + 3, -2*q + 18 = 4*y. Let j be q/4 - (-3)/12. Solve -5 = -5*l + 5*p, 0*l - 2*l + 3*p + j = 0 for l.
2
Let g(r) = -r. Let t be g(-3). Suppose t*i + 3 = 12. Solve -i*z - p - 11 = 0, z = -p - 2*p - 1 for z.
-4
Let d(w) = -w + 4. Let y be d(2). Suppose -4*o + 2*o = -6. Solve 0 = -b - 4*q + 12, y*b - o*b + q + 2 = 0 for b.
4
Suppose 0 = 6*c - c. Solve -3*x = -5*a, c*x + 3*a - 6 = 3*x for x.
-5
Suppose -1137 = -5*j + f, 3*f - 1143 = -5*j + 2*f. Let h be (j/16)/(9/24). Solve -4*p + 5*z = 8 - h, 8 = -4*z for p.
5
Let n = 14 + -14. Let b be n*((-2)/(-4) + -1). Solve -4*f - k + 5*k + 24 = b, -k = 5*f - 18 for f.
4
Let k be (-9 - -9)*(-1)/2. Solve 3*w - 3*n - 3 = k, -3*n + 6*n = -3*w + 15 for w.
3
Let j = 16 - 16. Solve j = 2*m + 3*m + 4*p + 40, -m + 6 = -2*p for m.
-4
Let h be -4 + -12*(-6)/8. Solve 5*p - 15 = -5*q, p = 4*q + 8 + h for q.
-2
Suppose 0*k - 3*k + 5*w = -42, 0 = -w. Let q be (2 + -5)/((-6)/4). Solve 2*a = 4*i - k, q*i + 3*i = 2*a + 15 for i.
1
Suppose f - 4 = -1. Suppose -6 - 6 = -f*g. Suppose -3*s - g = 5*c + s,