for i.
2
Suppose 3*v = -5*n + 31, -4 = 3*v - 6*n + 4*n. Solve -r = 4*a - 5, -2*r - v*r = -4*a for r.
1
Let y be (5 + (-1 + 3 - 1))/2. Let g be (-4 - y/(-1))*-3. Solve -2*f = -m - 1 + 5, -g*m - 2*f = 4 for m.
0
Suppose -4*d + 12 = -2*g, -g - 8*d = -4*d - 12. Solve g = -4*y + 4*a - 36, y - 4*y = -a + 17 for y.
-4
Suppose 10 = -8*s + 58. Solve 2*h = 3*w + s, -w = 2*w + h + 15 for w.
-4
Suppose 0 = 5*h - 400 + 45. Suppose 2*v + 63 = h. Suppose 0 = 3*r - 4*b + 6, -v*r + 4*b - 4 = -0*b. Solve -19 = 5*p + r*m - 5*m, 3*m = 4*p + 17 for p.
-2
Let l = -1012 - -1015. Solve 6*i - 2*i + q = 13, -5*q - 4 = -l*i for i.
3
Suppose 0 = 3*d + 5*z - 19, -5*d + 4*z + 3 + 4 = 0. Solve 2*j + 7 = -3*t, d*j + 10 = -3*t - t for t.
-1
Let x(a) = -a**3 - a**2 + 15. Let v be x(0). Let t = v - 4. Suppose -4*z + d + 4 = -3, 5*z + d - t = 0. Solve z*r = -2*m - 16, 3*m + 4 = -0*r + r for r.
-5
Let l be (-135)/(-12) + 1*(-9)/(-12). Solve -9 = 3*k + 2*m, -l = 5*k - 4*m + 25 for k.
-5
Let b(l) = -8*l - 71. Let f(p) = p**3 + 12*p**2 - 12*p + 3. Let s be f(-13). Let j be b(s). Solve -6*a + 2*c + 15 = -3*a, 5*c + j = -2*a for a.
3
Let l be 1 + -1 + 12 + -10. Solve -5*w = -3*w - 5*i - 29, -l*w - 4*i - 16 = 0 for w.
2
Let y be (16 - -9) + -12 + (0 - 2). Solve -i + 6*i + 3 = 4*g, i + 5*g - y = 0 for i.
1
Suppose -141*p + 146*p = 10. Solve 0*w - 3*v + 7 = -w, 2*w = -p*v + 10 for w.
2
Suppose -110 = -6*m - 4*m. Solve 0 = 4*v - 4*d - 4, -3*v - 2*d + 3*d + m = 0 for v.
5
Suppose -10*f = -541 + 341. Solve 4*v = -3*x + f, -v + 15 = 2*v - 5*x for v.
5
Suppose -f = -3*d + d - 13, 0 = -d - 5. Suppose -i + 8 = z, -5*i + 2*z + 10 = -f*z. Solve -11 = -n - 3*l, -3*n + i*l - 39 + 2 = 0 for n.
-4
Let f(m) = 7*m**2 - 1. Let x = 0 + 1. Let s be f(x). Suppose 0 = -z - 4*r + 8, 0 = 4*z - 5*r + s + 4. Solve z = -5*n - a + 6*a - 10, -n - 11 = -4*a for n.
1
Let g = 12 - 8. Suppose -3 + 2 = 3*d + 5*v, -5*d = g*v - 7. Let w(m) = m**2 + 16*m + 6. Let q be w(-16). Solve q = -d*p - 5*n + 1, 5*p - 37 = 3*n for p.
5
Suppose 2*u + 3*g - 2*g = 17, 2*g = -2. Suppose -6*m - u + 15 = 0. Solve h - 12 + 5 = 2*p, 2*p + m = -h for h.
3
Suppose 0 = -5*o + o + 72. Suppose 0 = -13*q + 19*q - o. Solve 3*p - p = 5*f + 28, -q*p + 12 = 0 for f.
-4
Suppose -21*j = -14*j - 56. Solve -5*z = i - 20, -6*i - j = 4*z - 10*i for z.
3
Let o = 155 + -153. Solve -5*s = -o*s - 4*y + 4, 0 = -s - 5*y - 14 for s.
-4
Let i be (0 + 1)*(4 + -4 - -3). Solve -i*z + 11 = o - 3*o, -5*z = -2*o - 17 for z.
3
Suppose 21 = 5*t + 1. Let y(q) = q - 4. Let b be y(t). Let w be (-15)/(-6)*(b + 2). Solve -3*i + 8 = 4*z, 2*i + z - 12 = w*z for i.
4
Let r(b) = -b**3 + 3*b**2 + 4*b + 5. Let f be r(4). Suppose i + k - 2 = 0, f*i - k = -2*k + 22. Solve -6 = -s - 3*s - i*y, -5*y = -3*s - 13 for s.
-1
Let q = -113 + 117. Suppose 3*r - 19 = j, q*j = -5*r + 5*j + 33. Solve 3*g = -5*d + g + 14, 3*g = -4*d + r for d.
4
Let x be (-804)/(-72) - 7/6. Solve t = -u - 8, -x*u + 3*t - 11 = -6*u for u.
-5
Let j = 8 - -3. Let i be (-1*2/4)/(17/(-136)). Suppose -4*s - i = -6*s. Solve -v = -2*f - j, s*f = 2*v + 3*v - 31 for v.
5
Let r = -165 - -185. Suppose -2*i = 5*c - 0*c - r, 0 = -3*c. Solve -4*l - q = i, 0 = -l + q - 2 - 3 for l.
-3
Let u(v) = -7*v + 27. Let i be u(8). Let j = i + 32. Solve 5*b + 2 = -3*t, t = 2*b + 6 - j for b.
-1
Let v be (-89)/(-1) - (-3 + 0). Suppose v = 4*b + b - 3*d, 2*b - 5*d = 52. Let p be (-2)/(-1*2/b). Solve y = -4*t - 4*y - 7, y - p = 5*t for t.
-3
Let h be ((-6)/4)/(60/(-1600)). Suppose -2*b - 2*q + 62 = 2*b, 0 = 2*b + 4*q - h. Solve -t = z - 2*z, 5*t - b = -2*z for t.
2
Let x = -549 + 551. Solve x*p = -3*t - 0*t - 2, 4*p - 12 = -2*t for p.
5
Let n(l) = l + 3. Let t be n(0). Suppose -4*m = 3*m - 147. Suppose 3*k - 5*v = 8, 2*v = 5*k - 5 - m. Solve -t*z + 1 = 4*b, 3*b = 2*z + 4*b + k for z.
-5
Let k be 4/(-26) + 10*159/195. Solve 4*s - k*r + 4 = -4*r, 4*s - 14 = -2*r for s.
2
Suppose -46 = -45*f + 22*f. Solve -f*z = -6*z + 2*o - 20, 2*z + 4*o = 0 for z.
-4
Suppose -3*t + 3*o - 9 + 27 = 0, -2 = -3*t - o. Solve t*i + 3*l = 0, l + 12 = -2*i + 4*l for i.
-3
Let v(p) = -p**3 - p**2 + 6*p + 3. Let l be v(-3). Solve -n = 4*x + 1 - 6, -n = l for x.
2
Let z(a) = -a**3 + 4*a + 3. Let o(d) = -d**3 + 19*d**2 - 2. Let p be o(19). Let b be z(p). Solve b*n + c - 6 = 5*c, 5*c + 21 = -3*n for n.
-2
Let l(s) = 4*s**3 + 3*s**2 - 2*s - 2. Let c(x) = x**3. Let u(q) = 3*c(q) - l(q). Let w be u(-4). Solve -5*m - 5*p = -w, -4*m - 2*p + 0*p + 10 = 0 for m.
3
Let d be (-2 + 0 + 3)*3. Suppose -42 - 246 = -96*h. Solve a + h = r, 0 = d*a - 2*r - 3 + 9 for a.
0
Let a be 24*8/24 + -4. Suppose 0 = 3*l - 264 - 36. Suppose -3*b = -8*b + l. Solve -a*z + 5*x + 4 = -0*z, 4*z + b = -x for z.
-4
Let a(o) = -o**2 - o + 1. Let b(f) = -f**3 - 16*f**2 - 14*f + 5. Let g(c) = 4*a(c) - b(c). Let l be g(-11). Solve 0 = -4*h - 9 - 7, -2*z - 2*h - l = 0 for z.
-1
Suppose -354*t + 364*t = 20. Solve 5*w + 22 = 3*k, -w - 12 = w - t*k for w.
-2
Let t be ((-2)/(-6))/((-3)/(-45)). Let j(a) = 4*a**3 - 3*a**2 + 2*a - 1. Let c be j(1). Suppose -11*f = -10*f - c. Solve -f*q + q = -t*v + 4, -q + v = 4 for q.
-4
Let z(v) = -v**3 + 8*v**2 + 11*v - 13. Let g be z(9). Let s be (-2)/(-4) - 6/12. Solve s*j - 6 = 2*a + 5*j, 0 = -g*a + 4*j - 15 for a.
-3
Suppose i + 160 = -3*v + 177, 4*i - 5*v = 0. Let g = -4 + 6. Solve 0 = 3*s + 2*m - i, 0 = g*s + 3*m + 5 for s.
5
Let g(y) = y**3 - 24*y**2 + 45*y - 4. Let i be g(22). Solve 5*k + 2*s = -i, -k - 2*s + s = 6 for k.
-2
Suppose -2*b + 5 = 3*b. Let j be (-2 - (0 - 3))/b. Suppose -2*h = -5 + j. Solve -3*y - 7 = p, -2*p = -y + h + 5 for p.
-4
Let s(c) = 33 - 15 - 4*c - 20. Let g be s(-1). Solve 3*o = -g*b - 13, 5*o + 3*b + 20 + 2 = 0 for o.
-5
Suppose -b + 1 = -17. Let w = -121 + 121. Solve w = r + a + 6, -4*r - b = -3*r + 5*a for r.
-3
Suppose -36*s + 80 = 4*s. Solve -4*d + s*x + 8 + 22 = 0, -x = 5*d - 20 for d.
5
Let c = -4 - -5. Let b(i) = 2*i**3 - i**2 + 1. Let v be b(1). Suppose 1 = h - v. Solve h*y - 3*m = y - 1, -2*m = -y - c for y.
1
Let i = -1755 - -1776. Solve 4*v = -k - i, -k - 16 = 2*v - 5 for v.
-5
Let b = -126 - -133. Solve 3*v - 11 = -n, -3*n = -b*n - v for n.
-1
Let u(n) = n - 16. Suppose 4*j - 56 + 10 = -2*v, 4*j = 5*v - 87. Let k be u(v). Solve -2*z = 10, -k*z - 23 = 2*b + 2*z for b.
1
Let y be (-8)/28 - (58/(-7) + -5). Solve 5*l + 12 = -3*x, y = -4*l + x - 0 for l.
-3
Let j be (1 + 17)*(-6)/(-36). Solve -5*d = -j*u - 2*u + 35, 29 = -3*d + 5*u for d.
-3
Let k be (-4)/12 - 42/9. Let y be (-1)/(k/(-3) - 2). Solve 0 = -y*j, -3*j = -4*t + 2*j - 20 for t.
-5
Let o be 16 + -17 - 13/(-1). Let c be (-244)/(-8) + -2 - (-6)/o. Solve -2*j - 5*q - 33 = 0, 4*j + c = 3*j - 5*q for j.
-4
Let m(g) = -g**2 - 11*g - 5. Let z be (4 + -6)*4/2. Let h = -14 - z. Let i be m(h). Solve 6*n = n + 5*f + i, -5*f + 35 = 5*n for n.
4
Let h be (-8)/(-40)*-5*(-8)/2. Solve -f + 0*f - 20 = 4*w, -h*f = -3*w - 15 for w.
-5
Let v = 371 + -366. Solve -4*r + 5*i = 1, 0 = 5*r - 0*r - v*i + 5 for r.
-4
Suppose -15 = -4*q + 25. Suppose -q = -3*m - 2*m. Solve 4*l + 8 = -2*d + 4*d, m*l + 8 = -d for d.
-2
Let h be 4/(-2) - (-5 + 1). Let a(x) = x + 11. Let i be a(-7). Let s(o) = 25*o**2 - 21*o - 3. Let c be s(1). Solve 8 = y - r, 0 = -h*y - i*r - c - 1 for y.
5
Suppose -5*v - 16 = -2*z + 7, 4*v = -12. Let d be (-5 + 4)/(-5 + z). Solve -11 = 4*u - 3*y - d, -2*u + 2*y - 4 = 0 for u.
-4
Let y = -1 - 9. Let w = -10 - y. Suppose -a + 2*a - 31 = w. Solve -3*x + 17 = -g, 4*x + 0*g - 3*g = a for x.
4
Let c be 408/20 - 2/5. Suppose c = 4*g - 5*i + 3*i, -4*g + i = -18. Suppose 2*a = s - 0*s + 5, -5*a + 8 = -g*s. Solve -d + 1 = f, -3*d - 21 = -a*f - 3 for d.
-2
Let o(x) = x**2 + 11*x + 28. Let b be o(-12). Solve 5*l + b = -v + 6*v, 5*v + 4*l = 4 for v.
4
Let z(m) = m**3 - 16*m**2 + 15*m + 33. Let g be z(15). Suppose -g = -o - 2*o. Solve 0 = -4*j - 20, -j + o = -4*c - 4*j for c.
1
Suppose -n + 2*n - 5 = -5*d, 5*n - 79 = 2*d. Suppose 1 = 4*v - n. Suppose 0 = v*b + 5 - 13. Solve -2*y + 2 = -2*i - 6, b*y - 4*i - 12 = 0 for y.
2
Suppose 2*a - 4*q = 14, -3*q = 3*a - 3 - 9. Solve -2 = 4*g - 0*g + 2*y, 5*g + a*y = -15 for g.
2
Let b = 652 + -646. Solve 0 = -3*d - 3*x + b, 3*x = 7 + 8 for d.
-3
Suppose 0 = -89*y + 84*y + 100. Suppose -24*b - y = -29*b. Solve 0 = -3*k, -b*o - 3*k = 16 + 4 for o.
-5
Let s(z) = z**3 + 