-j*c + 15, 2*t - 1 = -c - 0 for t.
-2
Let k = 1717 + -1713. Solve 0 = c - 3*c + 2*f, 5*c - 9 = -k*f for c.
1
Suppose 0 = 4*x - 11*x - 35. Let v(k) = -2*k - 8. Let b be v(x). Suppose 0 = 2*c - 5*s - 25, s - b*s - 57 = -3*c. Solve -f = -3, 2*q + 2*f + 2*f - c = 0 for q.
4
Let o(q) = q**2 + 3*q - 14. Let c be o(3). Solve -n = -0*n - c, 5*n = 4*s + 4 for s.
4
Suppose 5*x - 75 = -0*x. Suppose -r + 3*r = -4*l - 180, -3*l - 130 = -r. Let j = -44 - l. Solve j = 3*f + x, -2*g + 0 + 20 = -4*f for g.
0
Suppose 0 = -3*r - 4*r. Suppose r = 4*h - 8 - 8. Solve 4*v - h = -4*w, 0*v + 2*v - w + 4 = 0 for v.
-1
Suppose 7*a - 5*k - 45 = 2*a, -8 = -4*a - 3*k. Solve a = x, 4*o + x - 1 = -0*x for o.
-1
Let c = -44 + 46. Solve 4*q + 5*m - 1 = 0, -c*m = -4*q - 4*m - 2 for q.
-1
Suppose -2*y + 13 = 20*h - 21*h, 32 = 3*y - 4*h. Solve 0 = -3*n + y*l + 2, 3*n - 11*l + 6*l = 4 for n.
-2
Let x(q) = q**2 + 13*q + 1. Let y be x(-11). Let c = -18 - y. Solve -s + c = 6*r - 3*r, 5*s - 15 = 0 for r.
0
Let j = 220 + -140. Let z = -53 + j. Solve -3*m + z = 4*l + 11, -23 = -5*m - 3*l for m.
4
Suppose -25*r + 28*r = -39*r. Solve r = 5*q + y - 8 - 21, 8 = 2*y for q.
5
Suppose 2*n + 37 = 5*b + 6, 4*b - n - 23 = 0. Solve 0*o + 2*d = -3*o - 1, b*d = -o + 4 for o.
-1
Suppose -q - 5*k + 3*k = -14, -4*q = k - 42. Suppose q*c - 5*c - 25 = 0. Solve 5*d - 13 - c = j, -5*j = -5*d + 30 for d.
3
Let l be 418/99 + 8/(-36). Solve -l*w - 5*u - 9 = 0, -8*w + 7*w - 3*u = 11 for w.
4
Suppose 12*q - 70 = -2*q. Suppose -3*i + 3 = -0. Solve -q*v + 5 - i = -3*x, 2 = 2*x - v for x.
2
Suppose -4*v + 1 = 5*u + 12, 2*u + 35 = -5*v. Let j be (15/v + 2)*30. Solve 4*z + 3*w + j = w, 0 = 5*z - 2*w + 17 for z.
-3
Let m(t) = t**3 + 5*t**2 + 3. Let q be (-2 - (-18)/4)*-2. Let w be m(q). Suppose w*i + 40 = 8*i. Solve 4*u = n - i, 2*n + 6 = -u - 2*u for n.
0
Let j(y) = 8*y + 59. Let f be j(-7). Solve 5*p = 5*t, f*t - 35 + 7 = -4*p for p.
4
Let l(y) = y**3 - 12*y**2 + 2*y + 15. Let p be l(11). Let c = 85 + p. Solve -4 = -q, -2*w + c = -3*w + q for w.
3
Suppose -4*y = i - 23, 0 = 2*i - 5*i + 9. Suppose 4*d - 13 + y = 0. Suppose 4*w - r = -2*r, d*r = 4*w. Solve -4*g - j - 3*j = -8, 4*g - 3*j - 29 = w for g.
5
Suppose 0 = -4*g + 2*o + 20, -20 = 19*g - 23*g + 3*o. Solve 3*n + 0*a - 34 = -g*a, -n + 13 = 2*a for n.
3
Let m be ((-2)/3)/((-14)/(-63)). Let i(a) = -2*a - 5. Let t be i(m). Let y be (0 - 0)/(t - 3). Solve g = -3*v + v + 6, -5*v + 2*g - 3 = y for v.
1
Suppose p + y - 12 = 0, 40 = 4*p + 3*y - 7*y. Solve 5*l = -z + p - 4, 2*z = 5*l - 1 for z.
2
Let u = 505 + -501. Solve -5*r + 5 = 0, b + u = 2*r - 3 for b.
-5
Let h be (3/(-2))/(3/(-8)). Let t = -1979 - -1983. Solve 2*u + 4*z - t - 2 = 0, -h*u + 3*z - 21 = 0 for u.
-3
Suppose -c - 14 = z - 2, -2*z + 3*c - 4 = 0. Let i be (-3)/(-2) - 100/z. Suppose r + 8 = 5*r, 2*k + 5*r = i. Solve k*d = 4*v - 24, v + 3*d - 1 = -2 for v.
5
Let q(j) = j + 7. Let k = -8 + 3. Let s be q(k). Suppose 153*b = 84*b + 138. Solve -s*f + 6 = f + y, y + b = f for f.
2
Let x(k) = 6*k + 45. Let t(c) = 7*c - 42. Let q be t(5). Let d be x(q). Solve -6 = -3*v - 3*m, -2*m = -v + d*m - 16 for v.
-1
Let o = -69 - -73. Suppose 123 - 87 = o*x. Solve 4*s - 12 = 3*w, -3*s = -2*w + 3*w - x for s.
3
Let c be 20/(((-14)/1)/(-7)). Let k = -6 - -8. Solve -y + 1 + 0 = v, -k*y + c = -2*v for v.
-2
Let s = 0 + -1. Let u be -1 + 6/1 + s. Suppose 2*f + 0*b + 8 = 4*b, f + 5*b = 24. Solve -f*q = 2*a + 12, -u*a + q - 17 = 2*q for a.
-4
Suppose -4*a - 10 - 5 = h, 5*a + 11 = -h. Let v = h + 36. Suppose -2*g = z - 23, -4*g + z = -0*z - 55. Solve -v*p + 2*c = g, -c - 12 = 4*p - 3*c for p.
-1
Let b be (-16)/(-1)*(9 - 8). Suppose 0 = -r + 2*i + i + b, 3*r - 80 = i. Let p = r + -26. Solve 3*q + 2*d = 5 + 8, q + p*d = 7 for q.
3
Suppose -5*n - 40 = 35. Let c = 25 + n. Suppose -6*b + c = -b. Solve -3*p + 3*z = 15, 2*p + 4*z - b = -0*p for p.
-3
Suppose 3*y - 15 = 3*w, -8*w = 3*y - 3*w + 1. Solve y*j + j = 3*s - 19, -2*s + 14 = -4*j for j.
-1
Let c be 0 + 20 + (-4)/(-4)*-3. Solve -3*z - i = -9, 0 = -3*z + 4*i + c + 7 for z.
4
Let c = 24 + 6. Let d = c - 27. Solve d*q - 4 = -l, 2*q + 4*l - 18 + 2 = 0 for q.
0
Let g(d) be the second derivative of -d**3 - 4*d**2 - 50*d. Let o be g(-4). Solve 3*a - 2*j - 23 = 0, -j = -5*a + o + 13 for a.
5
Let m(j) = -5*j**3 + j**2 + 3*j + 3. Let x be m(-1). Suppose 3*h - x = -0. Solve f = -0*b - 2*b - 5, 0 = -h*f + 10 for b.
-5
Suppose 2*m - 6*m = 3*g + 127, m + 3*g = -43. Let a = m - -30. Suppose 4*h - 28 = a*q, 2*h - 4 - 4 = -2*q. Solve 4*z - 2*b - h = 0, 3*z + 2*b + 0 = 1 for z.
1
Suppose -6*g + g = -3*o + 21, 0 = 3*o + 2*g - 21. Let h(d) = d + 5. Let b be h(o). Let m be -12*-2*2/b. Solve -3*i - 3*j - j = -19, 4*j - m = 0 for i.
5
Let f(w) = -8*w + 277. Let x be f(34). Solve -x*b = k - 9, 0*k - 3 = b - k for b.
1
Let u be 20/6 - 84/(-126). Solve -u*c = 4*z - 21 - 7, 3*c + 7 = 4*z for c.
3
Let d be (-5 - -5) + 0/1. Suppose -3*s + 139 = -4*a + 32, d = -5*a - 5*s - 125. Let l = -14 - a. Solve 2*f + 0*h + h + l = 0, -f - 2*h - 12 = 0 for f.
-4
Suppose 4*q + 4 = 0, 0 = -35*x + 34*x - 3*q. Solve 4*u = -f + u + 1, 0 = x*u + 3 for f.
4
Suppose 5*g = 2*g - 48. Let b(c) = -5*c**2 - 3*c - 10. Let h be b(-2). Let r be h/g - 6/4. Solve -l - 3*u + u - 6 = r, 2*u = 4*l - 26 for l.
4
Let f = 18 - -6. Let m(b) = -b**3 - 20*b**2 + 23*b + 18. Let i be m(-21). Let w = i + f. Solve -4*a = -a + 2*n + 6, 2*n + 6 = w for a.
0
Let t = 3 + -1. Let h = 11 + -13. Let k be ((-2)/h)/(((-6)/(-2))/9). Solve 0 = -4*i + 6*f - t*f - 12, -k*f = -i - 13 for i.
2
Let o be (-4)/(-5)*(-60)/(-24). Solve -3*p = o*p - 10, 4*p - 13 = j for j.
-5
Suppose -4*t - 117 = -125. Solve t*r - 5*p = -27, 9*r - p + 4 = 10*r for r.
-1
Suppose -195 = -8*x + 85. Suppose x = 4*l - 69. Solve l = -5*v + c, -v + c = -c + 7 for v.
-5
Suppose -2*u - 3*y = 2*u - 13, -4*u + 33 = -y. Suppose 4*m = -5*n + 30, 0 = -3*n + 5*n - 4. Solve -m*f - 1 = 3*i + 10, 2*f + 5*i - u = 0 for f.
-4
Let n = 19 + 1. Solve 0 = 5*u - 2*q - q - n, -8 = -2*u - q for u.
4
Let t(j) = 2*j - 68. Let n be t(36). Solve -5*x + n*m = 4 + 3, 5*m = 4*x + 2 for x.
-3
Let x(c) = -6*c - 68. Let y be x(-14). Suppose -2*h + 7*h = 5. Suppose -2*i + g = h, 3*i + 0*g = g - 1. Solve -y = 4*l + a, 4*l + 8 + i = a for l.
-3
Suppose -15*c + 36 = -174. Solve i - 2*s + c = 0, i - 2*s = -6*s + 16 for i.
-4
Suppose -33 = -3*c - 0*c. Let v = c + -7. Let b be (40/(-25))/(v/(-10)). Solve 2*d - b*w - 6 = -24, 0 = 5*d - 3*w + 24 for d.
-3
Let i be (10/(-4))/(-3*2/(-216)). Let n = 90 + i. Solve -4 = -5*y + 6, -2*w - 3*y + 2 = n for w.
-2
Let n(c) = c**2 + 5*c + 3. Let w be n(-5). Let i be 21 + -16 - w*1. Solve -5*o - 2*j - 12 = 0, 3*o + i*j + 3 = -1 for o.
-4
Suppose 8*c = 6*c + 6. Suppose 15 = 6*s + c. Solve -2*d - 3 = q, -3*d - 5*q + 5 = s*d for d.
-4
Let q(o) = o**3 - 2*o**2 - o + 16. Let w(k) = -4*k - 36. Let h be w(-9). Let d be q(h). Solve -2*n = -5*j + d, -j = 7*n - 5*n + 4 for j.
2
Let j(w) = 15*w**2 + w + 2. Let f be j(-1). Suppose -6 = f*p - 19*p. Solve -c = 2*t - 7, p*c - 18 = -5*t - c for t.
3
Let o(n) = -n + 8. Let i be o(-4). Suppose 4*w = 14 + 70. Suppose -13 = -3*z + 2*z + 4*c, 0 = -3*z + 3*c + w. Solve r + 3*f = 6, -2*f - i = -z*r + f for r.
3
Let q = 20 - 14. Suppose q*j - 3*j = 39. Let g = -13 + j. Solve g = c - b - 3, 0*b = 2*b for c.
3
Let k = -26 + 24. Let t be 5/k*(-8)/10. Solve -12 = 4*s + y + 5, -t*y - 14 = 4*s for s.
-5
Let s(g) = -g**3 + 22*g**2 + 70*g + 126. Let a be s(25). Solve 3*x - 3 = -2*v + a, 3 = 4*x + 5*v for x.
2
Suppose -4*j + 7 = -3*g + j, -g + 21 = 3*j. Let i = g + -6. Let a = -9 - -12. Solve i*h - 3 = -a*h, q = 2*h - 5 for q.
-3
Let h = -317 + 326. Solve 4*i - 16 = 0, 0 = -4*t + 2*i + h - 1 for t.
4
Let q(b) = -2*b**3 + b**2 + 2*b + 3. Let d be q(-1). Suppose 0*u - 2*u = -d*u. Solve -3*r + 2*j + 1 = -2*r, u = -3*j - 6 for r.
-3
Let m(l) = l**3 - 15*l**2 - l + 17. Let o be m(15). Suppose -o*c = -0*c - 0*c. Solve w - 2*q - 6 = c, -2*q = 5*w - 0*q + 18 for w.
-2
Let f(a) = 28*a + 422. Let j be f(-15). Solve -j*n + 0*c - 2*c = 0, 0 = -5*n + c + 6 for n.
1
Let s = -88 - -90. Let v(w) = w**2 - 5*w - 1. Let z be v(6). Let r = 20 + 1. Solve -c + 3*q = 0, -z*c = -s*q - 8 + r for c.
-3
Let u be (-2 + (-5 - -4))*-1. Solve -u - 17 = -5*w - 4*l, -4*w = 2*l - 16 for w.
4
Let z be (-2)/(