- 8 = -a + 3*i for a.
-2
Let f = -1632 + 1635. Solve -y - 9 = -2*b - 3, f*b - 3*y = 15 for b.
1
Let n(p) = p**3 - 12*p**2 + 2. Let a be n(12). Suppose 14 = 2*d + a*f, -4*d + 3*f + 2 = 9. Solve -2*k - d*k - 3*l + 8 = 0, -5*k - l = 1 for k.
-1
Let j be 2/(20/(-4) - 41/(-8)). Suppose 21*u - 15 = j*u. Solve -13 = 2*n + y - 0*y, 37 = -u*n - 5*y for n.
-4
Suppose 20 = -33*o + 38*o. Let h(w) = -w**3 - 4*w**2 - 2*w + 4. Let j be h(-3). Suppose -3*l + j + 2 = 0. Solve -3*k - l = -o*c, -2*k + 5*c = -6*k - 22 for k.
-3
Let m be 6/21 + 122/14. Let a(p) = -3*p + m - 29 - 26. Let n be a(-22). Solve 2*z = -2*c + 5*z - 18, n = 5*z for c.
-3
Let y(d) = 3*d**2 + 24*d + 15. Let v be y(-12). Let r = -154 + v. Solve 4 = 4*a + 4*t, 0*a = -r*a + 5*t + 35 for a.
4
Suppose -15*l - 247 = -28*l. Suppose 5*i = -r + 20, 0*r = 5*r - 2*i - l. Solve 3*t = -r*c + 35, 3 = 2*t - 7 for c.
4
Suppose 9*r + 6 + 16 = 67. Solve -r*o + i = 6*i - 5, 3*o - i = 11 for o.
3
Suppose 58 + 21 = 2*a + t, 0 = 2*a - 5*t - 109. Let x be (-21)/a*(2 + -2). Solve -5*n + 25 = x, 4*s + 3*n - 6 = n for s.
-1
Let f = 6034 - 6029. Solve 16 = 4*o + 144*m - 141*m, -f*m = -20 for o.
1
Let w(p) = p**2 + 5*p - 3. Let s be w(2). Solve 5*n - i = -19, 3 = -3*n - 2*i - s for n.
-4
Let j(c) = 7*c - 16. Let x be j(3). Let v be (-3 + x - (-6)/(-4))*2. Solve 2*t + k = 7 - v, 5*t - 4*k - 2 = 0 for t.
2
Let a be (-57)/(-38) + (-5)/(-2). Solve 0 = -3*g + 8*t - a*t - 28, -t = -4 for g.
-4
Let a be ((-2)/3)/((-6)/(-585)*-5). Solve 5*t - 3*o + a = -4*o, -t - 9 = -3*o for t.
-3
Let g(n) = -3*n**3 - 6*n**2 + 25*n - 4. Let c be g(3). Let f = c - -67. Solve f*d - 3*u = -0*u + 12, 3*u + 7 = -2*d for d.
1
Let v = -139 - -151. Let q be v/2 + (4 - 3). Solve 0 = 4*f + 3*o - q, 3*f + f + 28 = 4*o for f.
-2
Let b be -15*(11/(-231) + 6/(-21)). Solve 10*o = 6*o - 3*g - 15, b*o + 20 = -5*g for o.
-3
Let f(x) = x**2 - 1873*x + 11204. Let d be f(6). Solve 0 = 2*l + 4*k + 10, -60*l = -63*l + d*k + 17 for l.
3
Let o = 32 + -101. Let h = o - -81. Let d = h + -9. Solve 8 = -t + 5*f, -3*t - 11 = f - d*f for t.
-3
Let j be (-7)/(49/(-42)) + -6. Let s(u) = -7*u**2 - 65*u - 16. Let v be s(-9). Solve -4*x + j*x - 28 = 5*a, 2*x + 12 = -v*a for x.
-2
Let p(v) = v**2 - 2 - 17 - 2 - 9*v. Let q be p(12). Solve -3*r + 4*t = -25, -5*t = -2*r + 41 - q for r.
3
Suppose 249*a - 250*a = -5. Solve 3*d + d - a*u + 16 = 0, -u + 1 = -3*d for d.
1
Let s(p) = p**3 - 50*p + 123. Let n be s(3). Solve 6*q - 5*q = -b - 8, n = 3*q - 5*b - 8 for q.
-4
Suppose -51*v + 54*v - 4 = 2*y, 3*v = -3*y + 24. Solve 0 = -h + s - y, -5*h + 3*h - 17 = -5*s for h.
-1
Let d(i) = 5*i**2 - 5*i + 28. Let x(z) = -z**2 - z - 3. Let u(w) = -d(w) - 6*x(w). Let q be u(-12). Solve 4*c = q*j + 6, 2*c - 4*j = -0*c - 6 for c.
3
Let n = -221 - -173. Let d = n + 52. Solve 0 = 4*h + 2*m - 4, 2*h + d*m + 28 = 6*h for h.
3
Let a be (-12)/(-14) - (5 - (-1204)/(-196)). Solve -4*j + a*i = 20, 89*j - 87*j + 2*i = -4 for j.
-4
Suppose k + 8 = 5*o, -3*o + 4*k - 4 = -o. Suppose 4*v - q = 21, -o*v = 3*q - 5 - 2. Solve 4*p - 4*x - 20 = -0*p, v*x + 5 = 0 for p.
4
Suppose 3*f - 21 = -3*y, -5*f - 4*y + 5*y = -5. Let u(p) = p**2 + 5*p + 3. Let v be u(-5). Solve 2*b = -v*z - 1, 6*b + f*z + 8 = b for b.
-2
Let k(t) = -t**2 - 7*t + 33. Let y be (-9)/(-6)*(-4)/3*5. Let a be k(y). Let o = 51 + -44. Solve u = o*v - 2*v + 8, 0 = -5*u - a*v + 12 for u.
3
Suppose 2*m = s - 12, 3*m = 30*s - 34*s + 4. Let l = -7 + 4. Let a = 1 - l. Solve 0 = 3*h + s*z + 5, -h + 3*z = -a*h - 3 for h.
1
Let a(t) = -29*t + 211. Let n be a(8). Let i = -19 - n. Solve m + 6 = -p, -3*m + i = -2*p - 5 for m.
-1
Suppose -55*x + 19 = u - 51*x, 2*u - 4*x = 26. Solve 4*s - 3*g + 5 = 24, -3*g = u for s.
1
Let x be ((-10)/(-25))/((-2)/(-10)). Let m = 6 - x. Let k be (-4)/(2/2) - (-15 - -8). Solve -3*b = m*f + 5, 3*f - k*b + 7 = f for f.
-2
Suppose 3*f - 9 = -0. Suppose 69 = 5*m + f*z, -3*m = 5*z - 12 - 39. Suppose 11*j + 6 = m*j. Solve -5*k - 5*d + 4 + 6 = 0, 0 = -k + d + j for k.
4
Let f(l) = -2*l + 2. Let a be f(0). Let m(c) = -c**3 + 27*c**2 + 62*c - 110. Let r be m(29). Solve 0*v - 5*t = -v + 12, 4*t + r = a*v for v.
-3
Suppose 32*y = -62*y + 470. Solve 0 = 5*k - y*q + 25, 0 = -k - 4*q + 3 + 17 for k.
0
Suppose 4*x - 5*x = 33. Let v = x + 15. Let w be 5/(-45)*-20 - (-4)/v. Solve -3 = 2*s - 5*s + 2*h, 2*s - w*h = 2 for s.
1
Let n(s) = 3*s**3 + 8*s**2 - 38*s + 3. Let m be n(3). Solve 20 = 4*u, -f - u = -m + 33 for f.
4
Suppose 14 = 2*r + 2*p, -4*r - 2*p + 19 = -p. Suppose 0 = 2*d + m - 2, -2*m - 8 = 4. Let t be d - (-66)/(-77)*14/r. Solve x + t = -3*g - 4, -3*x + 9 = g for g.
-3
Suppose -63*m = 144*m - 1035. Solve -m*x = 2*z + 18, 0 = -4*x + 19*z - 20*z - 12 for x.
-2
Let a = -21107 - -21131. Suppose -y + 2*l + 0*l - 7 = 0, -5*l = -25. Solve 17 = m - 4*g, 3*m + y*g = -0*m - a for m.
-3
Suppose p = -3*v + 12, 9*v + 3*p = 10*v - 14. Solve -4*i + 2*i = -3*c + 12, 0 = 5*c + v*i - 20 for c.
4
Suppose w - 33*u - 5 = -37*u, -4*w + 20 = -2*u. Solve f - 6 = w*z, -5*z - 14 = -4 for f.
-4
Let v(h) = 69*h + 2350. Let q be v(-34). Solve q*s + 15 = m, 0 = 8*m - 5*m - 3*s for m.
-5
Let g = -36 + 41. Let w(u) = -11*u - 12. Let c(r) = -5*r - 6. Let j(t) = -9*c(t) + 4*w(t). Let q be j(-4). Solve -5*k = -5*i - g, -4*k = -q*k - 4*i for k.
2
Let r be (-1 - -3)*3/6*5. Suppose -2*i + i + b - 33 = 0, 181 = -r*i - 3*b. Let y = 43 + i. Solve 4*l = -3*q - 6, 2*l - y = l + 4*q for l.
0
Let q(r) = -r**2 + 14*r + 38. Let d = 39 - 89. Let i = 66 + d. Let j be q(i). Solve 2*f = 3*z, 3*z = -3*f + j*f for f.
0
Let i(j) = j**2 + 4*j + 3. Let p be i(-4). Suppose -p*q = -6 - 9. Suppose 2*u - 8 = b, u + b - q*b - 11 = 0. Solve -5 = 5*o - 4*a + 3, 5*o = u*a - 6 for o.
0
Let l(o) = 3*o**2 - 136*o + 178. Let m be l(44). Solve -5*i = -m*a + 16 - 9, -4*i = -a + 8 for i.
-3
Let x = -2228 - -2228. Solve 2*v + b = x, -b + 3*b - 5 = v for v.
-1
Suppose -38*p + 2260 = 2146. Solve 4*l - 2*m - 12 = 0, p*l - m - 43 + 34 = 0 for l.
3
Let i be (-16)/(-72) + 158/18. Suppose -111*t + 108*t = -i. Suppose y + 3*y = t*q - 28, -2*q = -4*y - 20. Solve -15 = -3*h + q*h + 5*z, 3*h + 4 = 2*z for h.
-2
Suppose 16*v - 306 = -86*v. Solve 7*r + 3*b = 6*r - v, -5 = r + 5*b for r.
0
Let w = -79 - -69. Let v(d) = -d**3 - 10*d**2 + 7*d + 75. Let q be v(w). Solve -3*a + 16 = q*r, -5*r + 3 + 1 = -3*a for a.
2
Suppose 265*x - 264*x - 3*z - 14 = 0, -4*x + 17 = z. Suppose -g - 2 = 0, 0 = 3*p + 2*p - 5*g - 30. Solve j - x*y + 2*y = -11, p*j + 5*y - 7 = 0 for j.
-2
Suppose -2*n - 8*h + 10*h - 46 = 0, 5*n - 3*h + 125 = 0. Let x = n + 30. Solve -b - 2*b + x*u = -2, -5*b = -4*u - 4 for b.
0
Let s = -575 + 574. Let h be (-1 + s)*7/(-28)*4. Solve 4 = -4*f - 4*w, -2*f + h*w = f + 3 for f.
-1
Suppose 121*l = 124*l + 2*g - 148, 0 = -2*l + 5*g + 143. Solve -29 = 5*f - 2*z, f = -5*z + l - 49 for f.
-5
Let n = 540 - 535. Suppose 0 = -b + 4*g + 6, 4*b - 18 = -n*g + 6. Solve r + 3*z - 2*z = -b, 2*z = 5*r + 16 for r.
-4
Let x be 5 - (-2 + ((-25)/5 - -7)). Suppose 6*k - 7*k + 10 = x*c, 4*k - 84 = 2*c. Let r be 8/32 - (-2)/(-8). Solve r*d + 2*v + k = 3*d, v + 4 = 0 for d.
4
Let u = 421 + -430. Let z be 15/10 - u/18. Solve 4*q + l = -8, q + 3*l = 4*l - z for q.
-2
Let l(p) = -p**2 - 21*p - 117. Let f be l(-12). Let d be ((-96)/(-9) + f)*3. Solve 4*a + 2*h + d + 5 = 0, -5*a = h + 8 for a.
-1
Suppose 472*h = 470*h + 10. Suppose 0 = 18*b - 16*b - 10. Let r = 12 + -7. Solve 4*t + r*f = 27, 17 = h*t - f + b for t.
3
Let w(d) = 50*d - 844. Let t be w(17). Solve t = -f + 5*r, -f = 2*r + r - 10 for f.
4
Let j(a) = -14*a + 1138. Let z be j(78). Suppose -5*o - 89 = -3*s + 30, -3*o = -3*s + 123. Let c = z - s. Solve -l = -c*d + 8, -2*l - d = -7 + 2 for l.
1
Suppose 15*y - 54 = 9*y. Suppose -4*k + 2*k - 18 = -2*i, 0 = 3*i - k - 33. Let t = -1226 + 1229. Solve -o - 1 - i = 5*m, o = -t*m - y for o.
-3
Suppose 29*f = 270 - 96. Suppose 0 = f*i - 15*i + 9. Solve y + i = 0, 2*l + 6 = y + y for l.
-4
Let t(x) = 3*x + 37. Let v be t(-11). Let i be v/((-1)/1 + 0). Let y be ((-8)/i - -5) + -4. Solve k + 3 = -r, -y*r + 11 = -k - k for r.
1
Suppose -160*y = -192*y + 96. Solve -b - 11 = -3*n - 4, 3*n - 15 = y*b for n.
1
Suppose -z = 5*s - 73, -3*s - 559*z + 76 = -563*z. Solve 4 = q + s*d - 17*d, 0 = -4*q - d + 6 for q.
2
Let a be 3/((-6)/45 + (-85)/(-75)). Let c be