2*i + a = -5*v for i.
-2
Let b = 38 - 40. Let y be 147/(-6)*(-2 - (2 + b)). Let v = -46 + y. Solve -2*f = -f + 5*z, 4*z + 19 = v*f for f.
5
Suppose -6*x = 5*x + 66. Let o be -3*4/x*40/16. Suppose -o*d = -g - 19, 3*d + 3*g = -8 + 5. Solve d*c + 3 = -3*t, -4*t + 3*c = 6*c - 1 for t.
4
Let f be (-46)/16 - -3 - (-79)/8. Suppose -5*m - 555 = -115. Let d be 22/f - m/110. Solve 0 = -d*k + j + 9 - 2, -j = 3*k - 17 for k.
4
Let c = 6270 - 6268. Solve -4 = 2*i + c*a, 0 = 5*i - 3*a - 0*a + 18 for i.
-3
Let m(p) = 47*p + 55. Let l be m(0). Let w be 40/25 + 22/l. Let o = -7 + 10. Solve 4*u = q - o, w*q - 6 = -2*u - 0*u for q.
3
Let b(m) = -m**3 - 5*m**2 + 58*m - 75. Let w be b(-11). Solve -5*v - 2*d + w = 0, -5*d - 10 = -5*v - 10*d for v.
3
Let i(m) = 5*m + 97. Let z be i(-19). Let n(g) = 2*g**2 - 8*g - 6. Let b be n(6). Solve -v - c = 0, -2*c - b = -z*v + 2*c for v.
3
Let u = 0 + 5. Let x = -128428 - -128430. Solve x*j - u*q - 7 = -0*q, 2 = 3*j + q for j.
1
Let q be ((-1 - 0)*-5)/(3/(-6)). Let a = 8 - q. Suppose -20 = a*k - 23*k. Solve -14 = k*z - 2*x, x = -2*z - 3*x + 18 for z.
-1
Let w(c) = 4*c - 4. Let t be w(6). Suppose 14*h - 219 = 33. Suppose h - 20 = -2*x. Solve 4*q + t = 0, 9 = 2*p - 4*q - x for p.
-5
Suppose 69 = 5*b + 3*l, 0 = b - 0*l - 5*l - 25. Suppose -14*n = -9*n - 440. Let m = -82 + n. Solve 4*w - 12 = -4*i, -w + b = i - m*w for i.
5
Suppose -18 = -96*i + 87*i. Solve -2*l - 2*r - 16 = 2*l, 0 = -i*l + 3*r - 16 for l.
-5
Let l = 18 + -10. Let r(k) = 37*k**2 - k - 3. Let x(q) = -80*q**2 + q + 6. Let c(s) = 13*r(s) + 6*x(s). Let o be c(l). Solve o*v = u, 0*u = -3*v - u - 8 for v.
-1
Let y(p) = 59*p - 59. Let b be y(1). Solve b = 5*i + n - 2 - 1, 0 = -5*i - 5*n + 15 for i.
0
Let c(i) = i**3 + 26*i**2 - 46*i - 497. Let z be c(-27). Solve -3*r + 17 = q, -z*q + 17*q = -4*r + 22 for q.
2
Let m = 46 + -48. Let g = m - -1. Let b = g - -32. Solve k + 2*k + 5*w = -b, w + 7 = -k for k.
-2
Let w(x) = 13*x + 988. Let a be w(-76). Solve a = -2*z + 5*z + o + 16, -2*o - 8 = 0 for z.
-4
Let u = 97 - 67. Let z = -6635 - -6640. Solve -4*r = -5*s - 3 - 0, 5*r + u = -z*s for r.
-3
Let h be 1 + 12/16*4. Let o be ((-20)/(-8) - h)*-2. Suppose 2*n - 3*n = -3*k - 5, -4*k - 28 = -4*n. Solve -4*u - u - o*f = n, -8 = -2*f for u.
-4
Suppose -6*w + 11*w - 30 = 0. Suppose -x = -47 + 14. Suppose -28*j + x*j - 35 = 0. Solve -2*f + m = -w*f + 18, f = m + j for f.
5
Suppose 171*w = 283*w - 224. Solve 0 = -g - 2*y + w, 9*g - 5*g + y - 8 = 0 for g.
2
Let c(j) = 16*j - 212. Let m be c(14). Solve -5*l - 3*o = -m, 8*o = -2*l + 3*o + 1 for l.
3
Let k be 18/(-7)*(6/(-4) + -2). Solve w = -u - k, 0 = -0*w - 5*w - 3*u - 35 for w.
-4
Let g(l) = 5*l**3 - 12*l**2 + l - 9. Let j be g(3). Solve -3*i + 8 = 4*s, 0 = -j*s + 24*s + i - 6 for s.
2
Let n be -1 - (66/11 - 10). Solve -2*m - n*m + 13 = 4*j, 4*m - 35 = 5*j for m.
5
Suppose -8*n + 18 = -11*n, -11*n - 86 = -5*r. Solve r*j + 3 = -v, -87 = 4*j + 2*v - 85 for j.
-1
Suppose -2*s = 0, -14 = 3*m + s - 62. Let f = -8 + m. Let v = f - -3. Solve -2*d + 15 = 3*g, -5*g - 3*d + v + 13 = 0 for g.
3
Suppose 16 - 14 = -33*m + 35. Let k be 4/(-5) + (-224)/(-80). Let c = 9 - 5. Solve -b = -2*f + m, f = -k*b + 4 + c for f.
2
Let f be (-2 + -1)/3 - -6. Suppose f*w = -117 - 213. Let c = w + 66. Solve -2*u + 8 = -2*z - c*z, -u = z for u.
2
Let v(s) = -279*s - 830. Let q be v(-3). Solve 5*m - x + q = 0, -m = -2*x - x - 7 for m.
-2
Suppose -9*u + 4*u - 3*r = -31, 0 = -2*u + 5*r. Suppose -u*v = 8*v - 26. Solve 3*x - 1 = -k + 8, -3*x - v*k = -9 for x.
3
Let u be 3/(-6) + 147/6 - 4. Solve 5*p - u + 7 = -v, 2*p + v - 4 = 0 for p.
3
Let p(n) = 2*n**3 - 28*n**2 - 35*n + 24. Let f be p(16). Let y = f - 487. Solve -o = -5*l + 2*o + 13, -y = o for l.
2
Suppose 13*g - 16*g + 63 = 0. Suppose 0 = g*y - 76 - 8. Let b(x) = x - 4. Let r be b(6). Solve y - 2 = -5*p - r*a, -p = -4*a - 4 for p.
0
Let t = 23 - 11. Let y be 4*(2*(-3)/54 - 377/(-234)). Solve y*v - t = 4*i + v, 5*v = 20 for i.
2
Suppose 1 = 5*l - 6*n + 3*n, 0 = 2*l - n - 1. Let t be 4/(-20) - l/((-40)/1004). Let z = 50 - t. Solve -3*v = -z*v + 15, -g = 4*v + 22 for g.
-2
Let c be (-34)/(2/16*4). Let o = 63 + c. Let p = o - -7. Solve -4*s - 10 = -p*l, -30 = -0*l + l + 5*s for l.
-5
Let p be (-9 + 11)/(-34)*-324 + 4/(-68). Solve 5*a - 42 + p = -4*q, -9 = -3*a for q.
2
Suppose 0 = 2*w + 22 - 30. Suppose 0 = -4*x - 5*a + 3, -13*a + 10*a = -w*x + 11. Solve -p + 1 = -r, -x*p = -p + 2*r + 11 for p.
-3
Suppose -438*f - 672 = -466*f. Solve -5*j - f = d, d = 5*d - 4 for j.
-5
Suppose 12*p - 2956 + 892 = 0. Let q = -145 + p. Solve 4*c + 6*o = 3*o - 11, 2*c - 5*o - q = 0 for c.
1
Let o = -23 - -7. Let l be (25/(-20) + 1)*o. Solve -l*i + 2*i = 2*j + 2, i = 3*j - 17 for i.
-5
Suppose -2*g + 47 = 3*z, -5*g - 29 = 3*z - 88. Suppose -z*q = -16*q + 6. Solve 2*j - 8 = 5*k, q*j + 0 = 3*k + 4 for k.
-2
Let i be ((-30)/(-1))/2 + (-1 - 12/(-6)). Solve -n + 5*g + 8 = 3, 2*n + i = -3*g for n.
-5
Let x(a) = a**3 - 3*a**2 - 8*a + 11. Let c be x(5). Let l be (180/126)/(3/c). Solve 0*w + 2*w = -i - 6, -3*i = 4*w + l for i.
2
Suppose 0 = -f + 21 + 35. Let a = -46 + f. Suppose -9*p + a*p - 5 = 0. Solve -4*v - 1 = c, -c - v = -p*v + 1 for c.
-1
Let s be (0*((-99)/(-22))/(-9))/6. Solve 2*q - 10*x - 38 = 0, s = q + 4*q + 4*x - 8 for q.
4
Suppose 445 = 7*z - 12*z. Let v = -83 - z. Suppose 0 = -12*h - 2 + 2. Solve -3*y = 3*o - 6, o + h*y + 3*y - v = 0 for o.
0
Let d be (-13684)/(-198) + 1/(-9). Let j = d + -78. Let q(f) = -4*f - 33. Let t be q(j). Solve 5*s = 2*c + 24, -c + 4*c - t*s + 18 = 0 for c.
-2
Suppose -28*d = -51*d + 160 - 45. Let z = 1 + -1. Suppose -h = -2*x - 2*x - 25, z = h + 4*x + 15. Solve -3*q + 0*p + 25 = 2*p, 0 = -h*q + d*p for q.
5
Suppose 28 = 11*v - 4*v. Suppose -v*u - 6 = -3*y + u, -5*u - 2 = -y. Solve y*k - 5 = 4*a - 15, -5*k + 3 = -3*a for a.
4
Let s = 122 + -120. Let i be (-2 + s - -12)*8/24. Solve -2 - 13 = -4*a - 3*y, i*y - 4 = 0 for a.
3
Let v be 4/(-18) - 74/(-9). Suppose -5*h + v = -3*x, 0 = 5*h - 2*x + 7*x - 40. Suppose -h = 163*g - 165*g. Solve 3*b = -c + 6, -g*c - 2*b + 3*b = 2 for c.
0
Let a(q) = -3*q**2 + 74*q - 441. Let d be a(14). Solve 10*t - d*t = -2*p + 16, 3*p - 19 = -2*t for t.
2
Suppose 68*g - 62*g - 18 = 0. Suppose -5*j + g*r = 5*r + 2, -2*j + 3*r = -3. Solve j = u + 3*a + 10, 40 = 4*u - 3*a - a for u.
5
Suppose -3*p = -6*p + 18. Let y be -5*(-1 + 0/(-2)). Solve -4*t = p*g - g + 13, 5*t - 40 = y*g for g.
-5
Let x(m) = -1. Let z(d) = -d**2 + 4*d + 12. Let a(s) = -4*x(s) - z(s). Let v be a(-2). Let g be (-16)/56 - 37/(-7). Solve -c - v*t + 10 = 25, c - g = t for c.
1
Let d be (-31)/(-93) + (-6)/9*-7. Solve i + 10 = -2*c + 5*c, -5*c + 10 = d*i for c.
3
Let v be (-3 + 6)/(-2*2/(-148)). Let l = 148 - v. Suppose 0 = l*a - 48*a + 77. Solve 0 = -4*i + 5*h + 6, 3*i - 3*h = 2*h + a for i.
-1
Suppose -5*u = 5*r - 10, -1793*u + 1789*u + 14 = r. Solve -4*h = u*q, -3*h + 5*h - 4 = -q for q.
-4
Let f = -472 - -488. Let o = -82 - -157. Suppose 0 = 3*k + d + 6 - 51, -3*d = -5*k + o. Solve -3*l = -p + f, 3*p + k = 5*l + 43 for l.
-5
Let k(z) = 18*z**2 + 239*z - 177. Let b be k(-14). Solve 2*u - b*q = 5*u + 7, 4*u + 6*q = -8 for u.
1
Let a = -3045 + 3073. Solve -5*j = i - a, -2*i + 9 = -5*j + 28 for i.
3
Suppose 27 = -5*g + 42. Suppose 24 = 11*j - 3*j. Suppose -2*m - j*m = -20. Solve -s + 9 = 2*w - 3*w, -m*s + 32 = -g*w for w.
-4
Let y(m) = -m**3 + 16*m**2 - 51*m + 24. Let w be y(4). Solve -3*r + w = -x, -8 = -3*r + 1 for x.
-3
Suppose 11 = 4*h + 3. Let y = -3428 + 3453. Solve -h*b = 3*f + 15, -5*f - b = 2*b + y for f.
-5
Suppose 2*o + o = 5*a - 126, 0 = a - 4*o - 15. Suppose -311*m + 2523 = 346. Solve 4*f + m = -2*k + a, -f + 5 = 3*k for f.
5
Let l(z) = -3*z + 17. Suppose -2 = -3*m + 19. Let k be l(m). Let h be (2 - 4/(-8)) + 2/k. Solve 2*p - h = -0*y + 4*y, -2*p - 16 = 2*y for y.
-3
Let h(p) = 25*p - 622. Let n be h(25). Solve -z = -5*s - 15, -15*z + 13*z = -s - n for z.
0
Let d(y) = y**3 + 9*y**2 + 10*y + 36. Suppose -3*o = 2*n + 24, 2*o - 3 = 2*n - 19. Let j be d(o). Solve -w + 3*w = -5*b - 2, -4*b = -3*w + j for w.
4
Suppose -11*x + 10*x - 4*f - 13 = 0, f + 13 = 3*x. Suppose k + k - 33 = -5*p, -x*k = 5*p - 37. Solve -k*d + 0*d - 14 = -3*g, 4*d = -4*g - 28 for g.
-2
Let x(y) = 4*y**2 - 30*y - 13. Let j be x(8). Let u(