 4, -i - v - 1 = 0 for i.
-1
Let q = -37 - -29. Let x be (4/q)/((-2)/12). Solve -4 = -2*l + i, x*i - 1 = l + i for l.
3
Suppose -109 - 1 = -5*x. Solve 2*o = 3*q - 16, -2*q + 3*o = 2*q - x for q.
4
Suppose 2*b - 4 = 0, -3 - 14 = 5*y - b. Let p = 13 - y. Let h = -12 + p. Solve -12 = q - 0*c - h*c, c = 5*q + 3 for q.
0
Suppose -13*j = -14*j + 1. Suppose 3*s - 4 + j = 0. Let l be -2 - s - 6/(-1). Solve 2*z = l*t + 7*z + 9, -4*t - 5*z = 7 for t.
2
Suppose -4*g + 3 = 3*w, -3*g - g - 2 = -2*w. Let k be 10/3 - 4/12. Suppose k*b - 1 - 5 = g. Solve -b*z + 9 = -o, -3*z = -0*o - 4*o - 11 for o.
1
Suppose 1 = l - 2. Let z(s) = -s**3 + 2*s**2 - s + 3. Let d be z(3). Let x be d/(-3) + 9/l. Solve 0 = 4*a - 2*n - 4 - x, 3*a - 18 = -2*n for a.
4
Suppose -4*g + 5*g - 8 = a, 2*a = 6. Suppose -2*v = -0*v + 14. Let f = g + v. Solve 0 = 2*q + 2*l - 0*l - 16, f*l = 4*q for q.
4
Suppose 60*s - 57*s + 15 = 0, -65 = -5*n - 2*s. Solve 5*k + 0*z + z = -18, -n = 5*z for k.
-3
Suppose 4*a + 38 = 4*g - 7*g, 2*a + 10 = -g. Let i = -13 - g. Solve j + 5*o + 4 = 3*o, 2*j = i*o + 10 for j.
0
Suppose 0 = -0*t + 7*t - 21. Suppose 60 = 7*s - t*s. Solve -5*k - s = 2*f, 24 = -5*f + f - 4*k for f.
-5
Let p(c) = -c**2 + 14*c + 4. Let n be p(14). Suppose n = -k + 2*k. Suppose 4*b - 18 = b - 3*v, 2*b + k*v = 14. Solve 3*h + 3 = f - 11, -22 = -h - b*f for h.
-3
Let y = 3 - 19. Let v = 18 + y. Solve 0 = -4*z - x + 7, 3*z - v = -2*z + x for z.
1
Let q(v) be the first derivative of -v**4/4 - 2*v**3/3 + 2*v**2 + 13*v + 55. Let y be q(0). Solve 0*l - 3*k - 5 = -5*l, l = 3*k + y for l.
-2
Suppose 31*s - 214 = -121. Solve -x - 10 = -s*a, -5*a = -x + 2*x - 14 for a.
3
Suppose 0 = 16*r + 243 - 275. Solve -r*h = -2*l - 6, -l = 3*h - 7*h + 12 for l.
0
Let y be 93 + (-2)/6 + (-14)/21. Let r = 102 - y. Solve c - 6*c + k - 15 = 0, 5*c + 4*k - r = 0 for c.
-2
Let m be 14/3 + 14/42. Let o(j) = 2*j**3 + 4*j**2 - 6*j - 12. Let a be o(-2). Solve 0 = -b + 4*b + 4*q + 20, -m*b - 4*q - 20 = a for b.
0
Let v be (2/(-6))/(3/(-18)). Suppose 0*u = v*u + 2. Let j = 5 + u. Solve -2*r = -4*b + j, -r = 3*r - 5*b + 8 for r.
-2
Suppose -5*c + 9*c = 0, -15 = -5*r + 2*c. Solve -v = -r*b - 9 - 2, 0 = 3*v + b - 3 for v.
2
Let g = -4 - -7. Let r be (-5)/(-5) - (-5)/((-25)/(-95)). Solve -a - v = a - 15, -g*v = a - r for a.
5
Let i = 632 + -632. Solve 3*s = 2*y, s - 4*s + 4*y = i for s.
0
Let b be 1 + -7 + 3 - -36. Suppose 2*y - b = -13. Solve 2*o - y = -2*j, 0*o + 4*j = 4*o + 20 for o.
0
Let o be 0 + 3/(-15) + (-228)/10. Let h = 26 + o. Let b be -5*((-2)/(-5))/(-1). Solve -4*u + 6 = b*a, h*a + 5 + 8 = 5*u for a.
-1
Let z(j) = j**3 - j**2 - 5*j + 6. Let l be z(3). Let o be 3*(-2 + 24/l). Solve -21 - 7 = -4*k - 5*c, -o*k - 4 = -2*c for k.
2
Suppose -l + 12*p - 11*p + 15 = 0, 3*l - p = 35. Let g(d) = 2*d - 22. Let r be g(13). Solve -3*t - l = r*j - t, -6 = 2*t for j.
-1
Let w = -4 - 0. Let u be w/(-2)*1/1. Let i be 3/6*((-144)/(-2))/12. Solve -7 = b + 3*n, -u*n + 9 = -i*b + n for b.
-4
Let d be 1/(-2)*0/1 - -3. Solve 5*o - 2*f = -2, 0 = d*o + 3*f - 3 for o.
0
Let r = 300 - 297. Solve 4*l + 6 = -o, 0 = 3*o - r*l + 7*l + 2 for o.
2
Let z be 4/10 - 608/(-80). Suppose 10*u = z*u. Let j(s) = s**2 + 2. Let n be j(u). Solve n*a + a = 3*l - 27, 0 = -5*a - l - 15 for a.
-4
Suppose 0 = 3*i - 14 - 13. Let g(l) = -l + 6. Let x be g(6). Let h = -46 + 48. Solve h*r - 2*c + 2 - 8 = x, 4*r - i = 3*c for r.
0
Let k be (0 - 1/(-1)) + 1. Let x(p) = p**3 - p**2 - p - 2. Let z be x(2). Suppose -t = -z - 3. Solve 5*c - t*n + 14 + 7 = 0, 3*n = -k*c for c.
-3
Suppose 0 = -3*l - 5*t + 35, 0 = 3*t - 2 - 10. Solve 2*w = -u + 6*w - l, -u - w = 0 for u.
-1
Let u = 637 - 632. Solve c + 3*a - 13 = 7*a, a = u*c + 11 for c.
-3
Suppose -g - 10 = -6*g. Suppose 0 = 3*k + 134 - 116, -3*l + 4*k + 33 = 0. Solve g*b + l*f = 7, 0 = -3*b + 5*f - 2*f + 18 for b.
5
Let y = 139 - 139. Solve y = -2*b - 2*b - 3*x - 1, 22 = -3*b + 2*x for b.
-4
Let v(a) = -2*a**3 - 6*a**2 - 9*a - 5. Let c be v(-2). Solve -c*k = 2*y - 1, 2 - 4 = y for k.
1
Let o = 34 - 38. Let a be 12*5*o/(-8). Let d = 32 - a. Solve 4*c + d = 3*z, z = -0*c - 5*c - 12 for c.
-2
Let u be (-564)/16 - (-2)/8. Let o = -30 - u. Suppose 0*y + y = 4*h, -o*y = 2*h - 44. Solve 3*w = 4*z + 5, y = -z + w + 2*w for z.
1
Suppose 0 = 3*z - 12, -3*a = z - 5 - 5. Suppose 4*m = 5*h - 27 - 11, 0 = 5*h + 4*m - 22. Let j = 10 - h. Solve 2*b = -a*b + j*y - 12, -4*b - 2*y = 24 for b.
-5
Suppose -10 = -4*d - 10*r + 15*r, 5*r = 3*d - 10. Solve -4*b = 3*q - 16, 3*q + 4*b - 2*b - 8 = d for q.
0
Let x = 5 + -6. Let h be x*2 - (-12)/4. Let j be -2 + h + (-2 - -8). Solve -2*p + v + 20 = 5*v, 0 = v - j for p.
0
Suppose 0 = -3*v + 4*l + 114, -4*l + 139 = 3*v + 25. Let t = v + -30. Solve -o = 2*o + 5*y + t, 0 = 2*o + 5*y + 7 for o.
-1
Let y = -12 + 16. Suppose 0 = -3*q + 23 + y. Suppose -6*f + q = -3*f. Solve -x - 7 = f*w - w, -5*x = -3*w - 30 for w.
-5
Let f be (-6)/9*-29*3 + 1. Let y = f + -55. Solve 4*v + 8 = y*j, -5*j - 2*v - 11 = -0*j for j.
-1
Let r = -2001 - -2003. Let k = 5 + -3. Solve h + 4*h + 15 = k*w, 6 = -r*h + w for h.
-3
Let q be (-56)/(-36)*6/(-4)*-9. Let h be (2/6 - 49/q) + 2. Suppose 5*o - 25 = -0*o, 0 = -w - 4*o + 20. Solve 3*n - 2*m + 1 + 6 = w, -n + 5*m + 2 = h for n.
-3
Let v(h) = -h**2 - 11*h - 10. Let t be v(-8). Let q be 5/(t/4 + -1). Let y be (q + (-22)/6)*-3. Solve -y = 2*m + 3*m, 0 = 4*r + 3*m + 23 for r.
-5
Let f = -619 - -624. Solve 4*r - 13 = -s, -14 = f*s - 10*s - 3*r for s.
1
Let c(f) = -f**2 - 16*f - 11. Let u be c(-15). Solve 5*q = u*p - 2*p + 8, 0 = 2*q - 5*p + 1 for q.
2
Suppose 3*x + 72 = -0*x. Let d = -18 - x. Solve -d = 2*p, -2*b + 4*b = 5*p + 5 for b.
-5
Let k = 35 + -39. Let r be 10/(-16)*k*16/20. Solve -r*h + h - 23 = -4*n, -5*h - 20 = -n for n.
5
Let n be (-1)/(-7) + (-36)/(-42) + -1. Solve -5*y - 2 = 4*j, n = -5*y - j + 9 - 2 for y.
2
Suppose -226 = -42*r - 16. Solve -3*k + r*b = 2*b, -k = 5*b for k.
0
Let a = 28 - 23. Let k be a - ((-12)/(-4) + -1). Solve 0 = -4*x + k*c - 0*c + 5, 0 = 2*x - 2*c - 2 for x.
2
Let y = 950 - 948. Solve -3*u + 2*h = -u + y, 0 = -3*h - 3 for u.
-2
Let j(l) = l**2 + 3*l - 26. Let d be j(-7). Let n be (-2 + 1 - -2) + d. Solve 7*r - 2*r - 30 = 4*s, 0 = 3*r - n*s - 21 for r.
2
Let q = -127 + 156. Solve -5*d - 24 = g, -g + q = -5*d + 3 for d.
-5
Suppose 5*t + 9 = -5*h - 1, -2*t = -5*h - 24. Solve -m + t*j + 11 = 0, -j - 2 = -m + 5 for m.
3
Suppose 2*k + 4*n - 14 = 0, 5*k + 2*n - 10 - 17 = 0. Solve -5*m = -3*v, k*v + 2*m - 13 = 6*m for v.
5
Suppose 41 + 4 = -5*p. Let i(j) = 2*j**2 + 17*j - 4. Let z be i(p). Solve -27 = 3*d + z*w, 0 = -5*d + d - 5*w - 31 for d.
-4
Let n = -1076 + 1081. Solve n*o + 5*w + 34 - 14 = 0, -3*o + 3*w = 12 for o.
-4
Let g = 1550 + -1545. Solve -g*t + 4*t - 5*d = 12, -d = 3 for t.
3
Suppose 0 = z + 3*f - 8, 21*z - 14 = 17*z - 3*f. Solve -4*j - 11 = z*k + k, 0 = -3*k + 5*j + 34 for k.
3
Suppose -4 = -c - 5*l, c = -2*c - 4*l + 12. Solve -4*v - v - 19 = -3*x, -14 = -3*x + c*v for x.
-2
Let j = 513 - 498. Solve 3*r = -2*r + 3*p - j, 4*r + 5*p - 25 = 0 for r.
0
Let z = -283 + 291. Solve 0 = -5*f - x - 0*x - 7, 3*x = -2*f - z for f.
-1
Suppose 4*x - 7 = -15. Let z be 380/(-10)*x/4. Let t = 22 - 19. Solve -k = t*b + 14, 2*k + 3 = 5*b + z for k.
-2
Suppose 3*q - 141 = -9*b, 3 = -4*q + 11. Solve -2*l = -h + 5, -b = -3*h - 5*l + 3*l for h.
5
Suppose -260*z = -269*z. Solve z = -0*d - d + 5, y + 16 = 4*d for y.
4
Let n be 32/16 - 1*71. Let c = -65 - n. Solve 5*i = 2*t - c, -5*t + 6*t - 2*i = 2 for t.
2
Let p(m) = 7*m + 6. Let l(h) = h + 1. Let a = 15 - 16. Let g(x) = a*p(x) + 6*l(x). Let b be g(-1). Solve 0 = 3*o - 9, -q - b = -5*q - 3*o for q.
-2
Suppose 0 = 281*z - 283*z + 56. Solve -5*b + 2*h = 4*h + 10, -2*b + 4*h - z = 0 for b.
-4
Let g(a) = a**2 - 7*a + 12. Let v be g(4). Let c be (-32)/(-4) + -3 + (2 - v). Solve -4*z + 7*z + 2*t - 2 = 0, 3*z + t - c = 0 for z.
4
Let a = 28 - 23. Suppose -a*r + 2*l + 27 = 0, -2*r + 5 = -2*l - 7. Solve -22 = -3*j - 6*p + p, 14 = r*j - 3*p for j.
4
Let t(f) = -f**2 + 10*f - 6. Let j be t(9). Suppose j*h - 11 = 1. Let k be 0 + 0 - (-1 - 1). Solve k*w = -x - x - 8, 4 = -h*w for x.
-3
Suppose -3*j = -2*i - 5, 5*j - 7 = -i + 23. Suppose -3*q = -x + 6*x + 6, -5*x + i*q + 10 = 0. Solve n + 3*w = -1, 2*n + 2*w = -x*w + 6 for n.
5