1, a = 2*y + 4*b for y.
0
Suppose -4*q - 5*u = -3*q - 51, -u = 3*q - 153. Let y be q/9 + 6/18. Solve -3*c + 0*j + 3 = -3*j, -2*j = y for c.
-2
Suppose 4*u = -2*j + 26, -3*u + 22 = 2*j + 1. Solve -j*q + 13 = -f, f - q + 9 = q for f.
-1
Suppose 0 = h - 5*h + 84. Let r be (-51)/(-68) - h/(-4). Suppose 6*l = 3*l + r. Solve -k - 5*f = -9, -2 = -4*k + l*f - 10 for k.
-1
Let n = -43 + 47. Suppose n*q = 12 - 8. Solve 5*z = -2*b + 1, 3*b + q = 3*z - 8*z for b.
-2
Let u(x) = x**2. Let t be -3 + 1 - 0 - -2. Let q be u(t). Let k = -10 + 12. Solve a + q*b = -k*b - 5, 0 = -5*b - 10 for a.
-1
Suppose 20 = -4*c, 5*g - 6 = -3*c - 11. Solve p = -2, -p = g*h - 2*p for h.
-1
Suppose 0 = -5*x - 4 + 9. Let f be 0 + (5 - 1) - x. Solve 3*z = 4*u - 0 + 1, -3*u = -f*z for u.
-1
Let x(l) = 2*l - 17. Let u be x(-8). Let d = u + 35. Solve o = 3*q - 8, 6*q - d*q = 16 for o.
4
Suppose -4*q + 8*q + a - 186 = 0, q + 5*a - 37 = 0. Let r = q + -44. Solve -5*v = 5*y + 15, 0*y - r*v = -2*y - 16 for y.
-5
Let c be (-14)/63 - (-65)/9. Suppose -5*d + 4 + c = 2*v, -d - 2*v = 1. Suppose 0 = z - 0 - d. Solve -n - 13 + 5 = 3*h, -z*n + h = 14 for n.
-5
Suppose -5*x + 3*s = -1 - 6, 2*s = 3*x - 4. Let u be 17 - (4 - x - 3). Suppose 2*j - 3 = 3. Solve 2*o - u = -2*a, -9*o + 4*o + j*a = -13 for o.
5
Let d(i) = -i**3 - 7*i**2 - 6*i - 5. Let n be d(-6). Let k be (-54)/(-15) + (-2)/n. Suppose -4 = k*q - 20. Solve c = -q*v - 0*c - 21, 5 = -c for v.
-4
Suppose 23*b - 45 = 24. Solve p = 5*s - 24, -5*s + 6*p - b*p + 32 = 0 for s.
4
Suppose -3*b - 5*w = -12, 2*b - 7*w - 8 = -10*w. Solve -b*f + 3*v = -2*f - 8, 0 = 4*f - 4*v - 16 for f.
4
Suppose -6*i + 2*i - 8 = -3*l, 5*l + 5*i = -10. Suppose 2*t = 3*t + 4*q - 10, l = -2*t - 4*q + 12. Solve 0 = -o - 3*f + 19, 11 + 3 = o + t*f for o.
4
Suppose -2*w - 26 = -4*i - 0*w, -22 = -3*i + 2*w. Suppose -4*o + i + 8 = 0. Solve -2*c + 5*c + o*p = -6, -3*c = -5*p + 6 for c.
-2
Let x(g) = -2*g**3 - 2*g**2 - 4*g - 2. Let t be x(-3). Suppose -t = -5*o - 1. Suppose -4*l - u = -o, l + 3*u = -u - 9. Solve p + l = 0, -i + 8 = -5*p - 2 for i.
-5
Let z(h) = 21*h + 487. Let q be z(-23). Solve 5*c + v = -13, 4*c + v = -q - 7 for c.
-2
Suppose 0 = 3*y - 4*y - 3, 5*f = y + 28. Suppose -3*z - 13 = -f*z - 3*h, 3*z - 5*h - 10 = 0. Solve w - 6 = 3*g, 0 = z*w + 3*g + 28 - 4 for w.
-3
Let w(a) = -5*a - 14. Let i(b) = -10*b - 29. Let y(s) = 4*i(s) - 7*w(s). Let d be y(-6). Solve -5 = -4*f + 2*n + 15, 3*n = -d for f.
3
Suppose o + 2*j + 6 = -2*j, -5*j - 27 = -2*o. Solve -12 = -4*r, -3 = 4*d + r - o*r for d.
3
Let l(s) = -s**3 + 4*s**2 - 4*s + 3. Let o be l(3). Let q = o + 8. Let p be (10/q)/(2/8). Solve p*u + 2*d - 9 = 0, -u + 4 = -d - 2 for u.
3
Suppose -3*m - x - 3*x + 30 = 0, -2*x + 12 = m. Solve 0 = 4*a + 3*i - 25, -2*i - m = -3*a - 0*i for a.
4
Let f = -25 + 14. Let g = f - -11. Suppose 0 = i + 2*t - 2, 3*i + g*t - 6 = -t. Solve -a = -5*u + 4, 3*a = -i*u + a - 8 for u.
0
Let v(u) = -u + 23. Let f be v(17). Suppose 3*q = 6*q - f. Solve -2*i - q*p - 4 = 0, -2*i = 5*p - p + 14 for i.
3
Let c(b) = 2*b**3 - 15*b**2 - 6*b - 4. Let f be c(8). Suppose 0 = 2*j + 19 + 1. Let v = j + 17. Solve -3*g - 3*w = v - 1, 4*w = -f for g.
1
Let i(d) = 2*d**2 - 2*d. Let l be i(3). Suppose 111*c - 508 - 47 = 0. Solve j - 5*k - l = 0, 5*j + c = k - 7 for j.
-3
Let q be (-4)/8*14/21*-15. Solve 5 - 8 = -2*g - t, 0 = q*g + 4*t - 9 for g.
1
Let h be (14/(-3) + 4)/(4/(-66)). Suppose 4 = 3*s - 5*s. Let g(c) = 3*c**2 + 4*c + 3. Let p be g(s). Solve -f - 2*k = -p*k + 22, -4*k + h = -3*f for f.
3
Let j be (-12)/(-16) + 37/4. Suppose 58 = j*s - 22. Solve 2*t - 3*y = -s, 0*t - 3*t - 1 = y for t.
-1
Suppose 2*z - t + 4 = 9, 2*t + 6 = 2*z. Solve 0 = 2*o + 5*i + 19, -1 = 3*o - i + z for o.
-2
Suppose -4*h = -3*a - 2 + 10, 0 = 3*a + 3*h + 6. Suppose 15 = 3*r - 0. Solve 5*d - r*c = a, -5*d + 3*c + 2 = -0*d for d.
1
Let q = 13 - 12. Suppose -v + q + 5 = 0. Suppose -v*k = -k. Solve -f = -4*p + 2, p + 4*f + 8 = -k*p for p.
0
Let l = 10 + -6. Suppose 3*n - 25 = 5. Suppose w - 5*u - n = 15, 0 = w + 4*u + 20. Solve 3*g = l*q - w*g, 5*q + 2*g = 0 for q.
0
Suppose 2*l - 3 = l + 2*h, -5*l + 27 = -4*h. Solve -l*c + 2*c - b = 12, -2*c - 15 = -3*b for c.
-3
Suppose 4*g = -p + 76, 14*g - 5*p - 80 = 11*g. Solve 2*v = 3*r + 6 + 14, 4*r - v = -g for r.
-4
Let c(t) = 0*t - t + 10*t + 32 - 8*t. Let r be c(-21). Solve -4*b = o - r, -3*o + 13 = -3*b - 8*o for b.
4
Let w(k) = k**3 + 57*k**2 - 60*k - 115. Let x be w(-58). Solve -3*q = 3*i + 11 + x, -2*q = -5*i + 15 for i.
1
Let y(v) = 2*v - 7. Let h be y(6). Suppose 4*w - 14 = 2*m - 0, -5 = -h*m. Suppose 10 - 120 = -10*u. Solve 2*q - 5*q + w*b = u, 0 = 5*q - b + 24 for q.
-5
Suppose 8*m - 1700 + 1684 = 0. Solve 3*h - m*j = -14, h - 5*j = 2 - 11 for h.
-4
Let d be 16/(-3) - (-3)/9. Let j(l) = -l - 2. Let i be j(-2). Let x be d/(-4)*(i + 4). Solve x*s + 22 = m - 4*m, -5*m - 5*s - 20 = 0 for m.
1
Let l be ((-8)/14)/(54/(-189)). Solve 5*c - l*u + 3*u + 2 = 0, 0 = -c + 2*u + 4 for c.
0
Let g(d) = -d**3 - 2*d**2 - 2*d - 2. Let p be ((-2)/(-4) - 1)*4. Let i be g(p). Suppose j = 1 + i. Solve -3*k - 16 = 5*h - 1, -j*k = -3*h + 15 for k.
-5
Let k(w) = -71*w + 3. Let l be k(-1). Let q = 79 - l. Solve 5*d - x = 12, 2*x + 10 = q*d - 4 for d.
2
Let j = -637 - -637. Solve 4*y + 4 = j, 2*y + 3*y = -5*h - 20 for h.
-3
Let c = 15 - 10. Suppose 2*m = k - 2*m + 15, 4*k + 2*m - 12 = 0. Let g = 4 - k. Solve 4 = -2*n + n - c*w, 2*n + g*w = -8 for n.
-4
Let r(o) = -o**3 - 3*o**2 - o + 1. Let l be r(-1). Solve -4*f + 2*a + 26 = l, 0 = -4*f - a + 12 + 5 for f.
5
Let i = 907 + -895. Solve -15 = 4*f + f, -3*c + f = i for c.
-5
Suppose 2*n - 5*n - h + 18 = 0, 22 = 5*n - h. Suppose -137*k + n = -136*k. Solve -q - 5*w + 28 = 0, 0 = -q - 4*q + 4*w - k for q.
3
Let v(h) = -h**2 + 38*h + 268. Let y be v(-6). Solve -5*k - 5*x + 7*x + 5 = 0, 3*k = -y*x - 23 for k.
-1
Let m = 25 + -27. Let f be (-8)/(-3) + m/3. Suppose -4*c + 14 = 3*x, c + 4*x = f*x + 6. Solve g - 4*h + 13 = 0, 1 = c*g + g - 2*h for g.
3
Suppose 4*v + 57 = 5*p, -p = -3*v - 2*v - 24. Solve 6*m - p*m + 4*d - 12 = 0, 3*m - 3 = -d for m.
0
Suppose 6*a - 2*a - 8 = 0. Let p be (8 + -1 + a)/1. Solve -3*h - p = z + z, 0 = 4*h + 2*z + 10 for h.
-1
Suppose -57*p + 163 = 49. Suppose 5*l = 5*f, 5*l = -8 + 23. Solve 4 = -p*j, 3*j + 1 = -f*a - 2*j for a.
3
Suppose 5*q = q + 24. Let w be ((48/9)/(-4))/(6/(-36)). Suppose 0 = -w*s + 7*s + 3. Solve s*v - q = -0*v - 3*h, -3*h = -4*v + 22 for v.
4
Suppose 90 = -3*n - 2*i - 114, -4*i + 292 = -4*n. Let v = 87 + n. Solve -2*r - v = -r - 5*l, 4*r + l = 16 for r.
3
Let k be 0/(-12) - (-12 + 8). Solve -3*g + 2 = 2*g + 4*c, 4*g + 2*c - k = 0 for g.
2
Suppose 6 = 3*i - 3*s, 2*i - 5*s + 0 = 1. Solve 5*b = -15 + 5, -10 = -i*u - b for u.
4
Suppose 0 = -3*p - 3*a + 24 - 15, 2*a = -5*p + 15. Solve 5*b = -2*x - 10, 6 = x - 2*x - p*b for x.
0
Let h = 49 + -41. Let n be -1*(4 + (4 - h)). Solve 5*b = 2*q - 14, 2 = b + 2*q - n*q for b.
-2
Let t be (-1 - 9/2)/(1/(-2)). Suppose m + 3*k + 3 = 0, 5*m - 4*k - 1 = -3*k. Suppose m = 4*v - 7*v + 9. Solve h = -2*c - 2*h - t, 5*c + v*h = -5 for c.
2
Let i(j) be the second derivative of -j**3/3 + j**2/2 - j. Let t be i(-6). Let g = -80 - -84. Solve 2*y - g = -3*q - t, -2*q + 7 = -3*y for q.
-1
Let y = 1029 + -994. Suppose 2*b - 6*b = -20. Suppose 2*z - 57 = -b*i + 26, 4*i + 4*z = 76. Solve k = 2*t + i, -3*t - y = 2*t - 2*k for t.
-5
Let n be ((-2)/(-7))/(1859/154 - 12). Solve -2*q + 3*c + c = -10, n*q - 3*c - 15 = 0 for q.
3
Let g(w) = -2*w**3 - 25*w**2 - 36*w - 13. Let c be g(-11). Solve 5*k = -3*x + 25, -4*x + c = -k + 5*k for x.
0
Let m(k) = -k**2 - 8*k + 14. Let t be m(-7). Solve -2*c + 5*c = -3*n + t, 10 = 5*n for c.
5
Let v be -1 + (-11)/((-11)/(-54)). Let b = 59 + v. Solve b*u = u - 5*w - 35, w + 14 = -2*u for u.
-5
Let f = -388 - -392. Solve s = -5*x + 10 + 2, f*s = x + 6 for s.
2
Let r(f) = f**2 - 2*f + 2. Let v be r(0). Suppose -2*n - 3*t = 0, 4*n + t = v*n. Suppose 8 = -n*l + 4*l. Solve 4*z + z = -3*q + 1, l*z + 6 = 2*q for z.
-1
Suppose w + 19 = 24. Solve 0 = 3*k + w*b + 34, -k - b - 14 = 2*k for k.
-3
Let a be (696/4)/2 + -2. Suppose -3*j + 61 = -2*b, 0*j - b = 4*j - a. Let g = -21 + j. Solve -2*p + 1 = z, g = -5*p - 3*z + 3 for p.
0
Let y be 2 + 74/1 + (2 - 1). Let q = y + -73. Solve -5*b 