3*v - 5 = 3*y + i for v.
-3
Suppose -8*v - 2*x = -3*v + 45, 4*v = 4*x - 36. Let n be (-1 - -4) + (v - -6). Solve 4*i + 2*k + 16 = n, 5*i + 0*k + 30 = -5*k for i.
-2
Suppose 5*w - 8 = 2. Suppose m = 3*p - 3, w*p - p - 1 = -2*m. Solve m*b - 6 = -2*b + i, 2*b + 3*i = 14 for b.
4
Suppose -22 - 17 = -3*q. Suppose 5 = -5*t + 10. Suppose -4*k + q = t. Solve p = 4*p - g + 12, 2*p + g + k = 0 for p.
-3
Suppose 54 = -3*q + 6*q. Let k = q + -18. Suppose -2*f = k, -2*n + 5*f = -49 + 9. Solve n = -3*z + 5, -5*x + 2*z + 30 = 0 for x.
4
Suppose -12 = -8*d + 4*d. Suppose 708*g = 710*g. Solve g*i - 4*i - 2*p = -4, -i + d = p for i.
-1
Let r be 1 - 1 - (-90)/18. Solve 4 = -a - r*j, 2*a - 5 = a + 4*j for a.
1
Suppose -103 = 5*f - 383. Let z = -34 + f. Solve -4*y = -2*t + 7*t + z, 4*t + 2*y + 14 = 0 for t.
-2
Let g(c) = -c**3 - 4*c**2 + 2. Let z be g(-4). Let s be -2*z/(-8)*10. Suppose 2*r = 2*h + 16, -5*h = r - 0*h + 22. Solve 2*l - 13 = -s*o, o + r - 4 = 0 for l.
4
Let y = -2654 + 2659. Suppose 0 = -6*u + 2*u + 12. Solve -q - y*a = -20, -20 = u*q - 7*a + 2*a for q.
0
Let q be (-10)/(-4)*(0 + -2). Let n(v) = 2*v + 13. Let f be n(q). Solve -p - 12 = 2*p - f*o, -2*p - 9 = -o for p.
-5
Let u = 8 + -4. Let j = 1 - -4. Suppose -3*c - 20 - 24 = -j*o, -c = o - 12. Solve -3*f + 9 = -r - o, -u*r + 2*f = 26 for r.
-4
Let b be 1/(0 - (-4)/8). Let z(p) = -p**3 + 8*p**2 - 12*p + 1. Let v be z(5). Solve -b*a - t + 9 = -4*a, v = -4*a + 4*t for a.
-5
Let l = -22 + 34. Let q be (l/(-18))/(4/(-30)). Suppose -3*t = -q*b - 0 + 8, -t + 2*b - 4 = 0. Solve -t*f = -16, -f = -a + f - 10 for a.
-2
Let o(n) = -n**2 - 7*n**2 + 9*n + 2 + 7*n**2. Let d be o(9). Suppose -3*v + 8 = d. Solve 0 = 2*p - b + v, -7*b + 3*b - 4 = 4*p for p.
-1
Suppose 2*a + 13*a - 30 = 0. Solve 0 = -2*h + 4*g + 24, -h + 2*g = -a*g - 22 for h.
2
Suppose -4*p + 55 = -2*a - 19, -3*a + 3*p = 96. Let w = a - -52. Suppose 5*i - 40 = -5*m, 2*m - 5*i + w = 6. Solve 3*z + 1 = -q, -4*z - z + 3 = -m*q for q.
-1
Suppose 222 + 322 = 32*i. Solve 2*c + 8*w - 3*w = -1, 0 = -4*c + 5*w - i for c.
-3
Let o be -3 - (2/(-2))/1. Let l = o + 6. Suppose -2*c - m - 24 = -7*c, l*c - 4 = -3*m. Solve -2*a - 12 + 2 = -d, c*a + d + 14 = 0 for a.
-4
Let n(y) = 30*y + 100. Let r be n(-3). Solve -m + 5*m + 17 = 3*o, -3*m - r = -5*o for m.
-5
Suppose 70*s + 14 = 84*s. Solve -2 = -5*f - 2*q, q + s - 2 = f for f.
0
Let i be 5/35 - 34/(-7). Solve 4*g + 20 = -4*y, g + i = 5*y - 0*g for y.
0
Let n = 31 - 29. Suppose 4*v = -3*u - 4, 2 - 6 = n*u + 3*v. Solve u = -h - 1, 3*m + 2*h = -4 for m.
2
Let o = 397 + -394. Solve 5*l - 3*l + 3*f = 4, l - f = -o for l.
-1
Let q = 10 + -7. Suppose -3*z + 54 = -q*x - 2*x, -54 = -3*z - 3*x. Solve -2*u + 14 = -3*b, 0*b - b = -4*u + z for u.
4
Let o(k) = k**3 - 6*k**2 + 12*k - 29. Let x be o(5). Solve -v = -3*s + x*s, 4*s - 5*v = -19 for s.
-1
Let s = -2 - -3. Let q be s + 4 + (-1 - -1). Let l(f) = 198*f + 595. Let x be l(-3). Solve 4*y - 4*c + 4 = 0, -4*c = -x + q for y.
-2
Let o(a) = 65*a - 1223. Let d be o(19). Solve 0 = -5*h - 0*l + 5*l + 10, 3*h + 3*l = -d for h.
-1
Suppose -q + 6*q - 23 = -3*v, 2*q - 3*v = 5. Suppose 4*s = 5*s + 4*j + 6, 4*s + 2*j = q. Solve -6 - 7 = f - 5*u, s*f - 2 = -4*u for f.
-3
Let r be 38 + -47 + 9*1. Solve 0 = -5*z + a - r*a + 3, -6 = -3*a for z.
1
Let m = -6 + 12. Suppose -4*o + 5 = 4*r - 7, 2*o - 2*r - m = 0. Solve -2*k + 4*l = -1 - o, 2*k + 2 = -2*l for k.
0
Let r = -20 - -52. Let u = r - 30. Let l = -2 + 2. Solve 8*x - 3*x + 4 = 2*j, l = u*j - 4 for x.
0
Let k(q) = 2*q**2 - 11*q + 19. Let i be k(2). Solve 0 = -s + 3*t - t - 4, 0 = s - 3*t + i for s.
-2
Let u = 17 + 27. Suppose -39*f = -u*f + 10. Suppose -4*x = 5*g + 15 - 2, g - 7 = -4*x. Solve 3*j + 4*s = -3, 0 = 5*j - x*j - 2*s + f for j.
-1
Let h(r) = r**3 + 30*r**2 + 59*r + 87. Let t be h(-28). Solve 0 = 4*p + 3*j - t, 0 = 2*p + 3*p + 3*j - 6 for p.
3
Let j(x) = -x + 6. Let a be j(6). Suppose -q + 37 = -3*b + 13, a = 3*b + 15. Let t be (12 - 8 - 10)*-2. Solve 0 = -3*m - 5*v + q, 3*v = -m - 3*m + t for m.
3
Suppose 2*b + 8 = -3*o - o, -4*o + 4 = -b. Let q = 3 + o. Solve l + q*p + 1 = 0, 4*l + 11 = -0*l - 5*p for l.
-4
Suppose g + z = -1, 3*g + 2*z = -0*g - 4. Let b be 27/5 + (g/5)/1. Solve -a + 23 = b*y, -11 = y - 2*a - 3*a for y.
4
Let n = -23 - -32. Let t(h) = -h**3 + 31*h**2 - 59*h + 48. Let z be t(29). Let a = z - n. Solve -a = 5*q, 5*m - 3*q + q = 9 for m.
1
Let g = -73 + 78. Solve 3*q = -t + g*q - 2, 0 = 4*q - 12 for t.
4
Let s(l) = l**3 + 5*l**2 + 6*l + 3. Let r be s(-2). Solve -10 = -0*c - c + 3*h, r*c = -4*h - 22 for c.
-2
Let y be -1 + 21*(-4)/(-6). Solve -s - 4*f - 11 = 0, 0 = -5*s + f - 0*f - y for s.
-3
Let j be (33/22)/(1/(-34)). Let g = j + 53. Let p(x) = x**3 + x**2 + x + 2. Let q be p(0). Solve 5*a - 16 = g*n, q*n + 0 = -3*a + 16 for a.
4
Let s be ((-32)/3)/(4/(-6)). Let f(j) = -j**3 + 15*j**2 - 27*j + 15. Let c be f(13). Solve -s = -2*l - 0*t + 4*t, 0 = c*l - 5*t - 19 for l.
2
Suppose 179*k - 184*k = -20. Solve -2*o + 10 = -2*d, -5*o - 1 = -k*d - 25 for d.
-1
Let p(u) = 5*u - 1. Let m(q) = q + 2. Let b be m(0). Let f be p(b). Solve 0*h - 3*h - x - f = 0, 0 = -2*x + 6 for h.
-4
Let p = 0 - 3. Let v = p - -7. Suppose 0 = 3*f + v - 10. Solve q = 5*l + f*q + 27, 3*l = 4*q - 7 for l.
-5
Let a be 3/((-245)/65 - 1*-4). Solve -5*s - 3*j + a = 0, 5 = j + 4*j for s.
2
Suppose 0*x - 5*x + 25 = 0. Suppose 0 = z - 5, 3*z = x*u - z. Let c be -1 + 0 + (-1)/(-1). Solve j = -2 - 0, -u*l - 5*j - 26 = c for l.
-4
Suppose 4*l + a - 53 = 16, -5*a + 90 = 5*l. Suppose -4*r - 3*f + l = 0, -r + f + 0*f = 1. Suppose r*h - 2 = -0. Solve 3*n - j = -5, -n + j + h = -0*j for n.
-3
Let g be -18 + -2 + (-8)/(-1) + -3. Let f be ((-3)/g)/(2/230). Solve 0*t + o + 4 = t, 0 = 3*t + 4*o + f for t.
-1
Let d(s) = -17*s - 55. Let j be d(-5). Let i be -8*(-9)/(-8)*(-20)/j. Solve 5*z + 50 = b - i*b, -b + 20 = -5*z for b.
-5
Suppose 15*s = 5*s. Let w = -5 - -7. Suppose -u - 5*n = 5, w = -5*u + 3*n + 5. Solve 4*z - 1 + 5 = u, 2*x - z + 5 = s for x.
-3
Suppose -40 = -4*p - 0*p. Let q be p/(-25) + 54/10. Let a be 48/3 - (6 - q). Solve -l - g = 3*g + 15, -2*l + a = -g for l.
5
Suppose 24*v - 28*v = -12. Suppose -v*s - 6*t = -2*t - 19, 4*s = -3*t + 23. Solve w - 18 = -0*w + s*q, 3*w + 14 = -2*q for w.
-2
Let n(h) be the third derivative of h**5/20 - h**4/2 + h**3/6 - 2*h**2. Let z be n(5). Solve 4*b - 4 - 28 = -4*s, -z = -5*b + 3*s for b.
5
Let k be (8/10)/((-4)/(-10)). Let j(c) = c**k - 85 + 4*c + 78 + 0*c. Let q be j(-6). Solve 6 = -4*u + q*b, 14 = u + 4*b + 5 for u.
1
Let k = -8 + 1. Let t(u) = -4*u - 26. Let d be t(k). Solve -d*y = a - 6, 3*a + 2*y - 14 = 4*a for a.
-4
Let t = -40 + 45. Suppose -t = j, 2*w - j - 10 = w. Solve x + 12 = -x + 5*y, w*x - 4 = 4*y for x.
4
Suppose -4*x + 7 = -1. Suppose 3*w = x*w. Suppose w*q - q = -14. Solve 2*n = 2*u + n + 7, 5*u + q = -n for u.
-3
Let j be 2 + (1 - 2) + -8. Let i be (j - 3)*2/(-4). Let t(l) = -l**2 + 4*l + 7. Let v be t(i). Solve -f = h - 5, 3*f - 6*h - 8 = -v*h for f.
4
Let i be 1/(-4) - 17/(-4). Suppose -11*x + 8*x = p - 2, 5*x + 4 = 2*p. Suppose -38 = 3*m - 5*m. Solve -5*l - m = -7*c + 4*c, i = -p*c for l.
-5
Let u = 103 - 101. Suppose 0 = -4*v - 2*s - 0*s + 20, u = 3*v - 5*s. Suppose -2*h = 2*h. Solve v*i + 4*z + 7 + 5 = h, 5*i + 4*z + 17 = 0 for i.
-5
Let t(d) = -d**2 + 10*d + 2. Let w be t(10). Let g(j) = -4*j + 4*j - 5 + w*j. Let m be g(5). Solve -3*z - 15 = 4*o - 0*o, -m*z - 5 = 0 for o.
-3
Let c be (4 - (-2 - 15)) + 8/(-2). Suppose -c*h + 10*h = 0. Solve 3*p + 2*w - 2 = 0, h = p + 2*w + 4 + 2 for p.
4
Let c = -45 + 38. Let w(q) = q + 7. Let g be w(c). Solve 12 = -4*b - 4*j, g = -2*b + 3*j - j + 2 for b.
-1
Let n = -1097 - -1097. Solve n = -r - 3*f + 17, -30 = -2*r - 7*f + 2*f for r.
5
Suppose -15*w - 8 = -17*w, 0 = 5*i - 4*w + 6. Let b be (10 - -1 - 2)/1. Let y = -5 + b. Solve -i*l = 5*o - l - 24, -o - l = -y for o.
5
Let v(p) = -2*p**3 - 10*p**2 - 10*p - 6. Let i be v(-4). Let y be i/3 - (-52)/(-78). Solve -4 = -4*q, -3*s - 4*q - 2 = -y*s for s.
-2
Suppose 135 = -4*o + 143. Solve 3*v + 3 = 0, z - 2 = -o*z - 4*v for z.
2
Let o = 50 - 43. Solve o = -3*q - 5, 2*v + 4*q = -6 for v.
5
Let s = -445 - -450. Solve -2*h + 2 = -2*f, 0 = 5*f + 4*h + h - s for f.
0
Let g(t) = -t**2 - 6 + 11*t + 9*t**2 - t + t**3 