-43*y - 20 for y.
3
Suppose 14 = -2*i + 4*i - h, 0 = i - 4*h - 14. Suppose -2*z + 2*k = -12, -2*z - i = -z + 2*k. Solve -b + 9 = -z*c - 0*b, -3*c + 3*b - 12 = 0 for c.
-5
Suppose 18*v - 544 = -50*v. Solve 4*u + v*n = 3*n - 31, -5*u = -3*n + 11 for u.
-4
Let u = 32 - 30. Suppose 0 = -u*a + 2*w + 138, -5*a - 2*w + 318 = -48. Let y be (-12)/20 + a/20. Solve -g = 2*m - 0 + 9, 2*m + y*g = -7 for m.
-5
Let q(j) = -j**3 - j**2 + 3*j + 4. Let d be q(-2). Solve 2 = -2*y + 5*y + 2*z, d*y - 3*z + 16 = 0 for y.
-2
Let o = 38 - 0. Suppose 2*w - 8 = 0, 5*w + 141 = v + 198. Let m = o + v. Solve m = -3*u + 5*n + 5, 0 = 2*u - 3*n - 2 for u.
-2
Let i(q) = -q**3 - 3*q**2 + 73*q + 3. Let p be i(7). Let m = -14 + 20. Suppose m*c + p = 12*c. Solve 0 = -3*h + c*n + 3, -5*h - 2 = 5*n - 7 for h.
1
Suppose 14*n - 15 = 4*n + 5*n. Solve n*w - 5*c = 1, -6*w - 3*c = -3*w - 9 for w.
2
Let p be 2/4 - (-4901)/58. Suppose -q - p + 89 = 0. Let v(s) = -s + 1. Let t be v(1). Solve 0 = -t*w - q*w - 5*l - 5, -3 = 5*w + 3*l for w.
0
Suppose n + 657 = 4*n - 3*q, q + 653 = 3*n. Let v = 217 - n. Solve d + 2*c = v, -3*c + 5 = 6*d - 2*d for d.
2
Let h be -10*(2/4 - 0). Let l be 15/h*-1 + (2 - 0). Let q be 61/9 + (-8)/(-36). Solve 2*p - 17 = 5*n, 0 = -3*p + l*p - 3*n - q for p.
-4
Let v(c) = c**3 - 13*c**2 - 12*c - 23. Let r be v(14). Let n(f) = -77*f + 254. Let l be n(3). Solve 4*p + l - 3 = r*b, -5*p + 5*b - 25 = 0 for p.
-5
Let d be -4 + 6 + -1 + 1. Suppose r - 15 + 3 = -5*u, -d*r + 4 = 0. Solve 0 = 5*k - u*o, -2*k + 6*k = o - 3 for k.
-2
Let v = 627 + -105. Suppose 520 = -f + v. Solve 5*l + 15 = -5*g, -3*l - 2 = f*g + 6 for g.
-1
Suppose -5*h = o - 28, 2*h = 51*o - 54*o + 45. Solve -5*q - l + 5 = 0, 4*q - l = -18 + o for q.
0
Suppose 0 = -y - 4*z + 32, 3*z + 8 = 3*y + 17. Solve -5*q = 3*o - 12, -5*q + y = -5*o + 24 for q.
0
Let n = 659 + -614. Solve -3*m - n = 2*w - 35, -3*m = 4*w + 14 for w.
-2
Suppose 3*b - 48 = -36. Suppose y = -y - 3*q + 4, 14 = b*y + 3*q. Solve 0*g - 18 = g - 4*l, y = l for g.
2
Let i = 26 + -24. Suppose -2*g - 2*g - 2*t - 56 = 0, 2*t = i*g + 16. Let z = -9 - g. Solve -d = -3*x - 7, 2*d - 3*d + x + z = 0 for d.
1
Suppose 2*x + p = 53 - 42, p - 3 = 0. Solve 2*r + 5*s - 16 = 0, 2*r - 6*r = x*s - 8 for r.
-2
Let q = 263 + -259. Suppose 0 = -3*s - 3, b + 3*s = -2*s - q. Solve -4*k + 4*z = 10 - 2, 4*z + b = k for k.
-3
Let a = 3750 - 3745. Solve 0 - 8 = -3*s + 4*d, a*s = -2*d - 30 for s.
-4
Let v(f) = f**3 + 6*f**2 - 37*f - 7. Let r be v(4). Solve -8*y + 1 = -5*y + x, 0 = r*x - 5 for y.
0
Suppose 6*o - 16 = 2*o. Suppose 6*g = 7*g - 3. Suppose -2*t + g*t - 13 = -4*h, -4*t + 16 = 4*h. Solve 2*d = -o*u - 4, 3*d - 3 = h for u.
-2
Let k(u) = 16*u**2 + u. Let i be k(1). Suppose 13*h - i*h = -124. Solve 3*m + 35 = -5*d + 8*m, -5*d + 4*m = h for d.
-3
Let w be (2 + -3 + -31)*-1. Let f = 157 + -136. Let t = w - f. Solve -x = -4*j + t, j = -3*x - 3 + 22 for j.
4
Let m be 48/(-128) - (-747)/72. Solve 2*c - 5*n + m = 0, -83*c + 78*c = -5*n + 25 for c.
-5
Suppose -8*t - 29 - 11 = 0. Let w(c) = -c**2 + 10 - 15 - 10*c + 3*c. Let x be w(t). Solve -3 = -5*s - h - 4, 0 = -3*s - x*h - 5 for s.
0
Suppose 38 + 2 = 5*b. Let k be 20/11 + b/44 - 1. Solve f - 4*p + 20 = 0, 0 = 3*f + 5*p - k - 7 for f.
-4
Let d be -15*(-1)/(-3)*(-6)/10. Solve 0 = -6*r + 4*r - 5*h - 31, -r = -d*h - 12 for r.
-3
Suppose 3*o = -4*g + 4 + 20, 3*o - 4*g - 24 = 0. Let y(r) = -r**3 + 47*r**2 + 113*r - 735. Let d be y(49). Solve -2 = v + 2, 5*w - 2*v - o = d for w.
0
Let f(g) = g**3 + 16*g**2 + 12*g - 50. Let o be f(-15). Let r = -4 + 4. Let j be r/(o - 8/(-2)). Solve j = -i + 5*d - 2, -d - 7 = -4*i + 4*d for i.
3
Let j(d) = d**2 + 30*d + 94. Let b = 432 + -459. Let f be j(b). Solve 5*v - 20 = -0, -5*n - 2*v + f = 0 for n.
1
Let n(t) = t**3 - 9*t**2 + 46*t - 204. Let c be n(7). Solve b + c = -o + 12, b = o for o.
-4
Suppose 37*p - 74 = 91 - 91. Solve w + 2*w + p = 4*u, 0 = u + w - 4 for u.
2
Suppose 23 = -3*d - g, 9*d + 3*g = 6*d - 27. Let u(f) = f**3 + 6*f**2 - 7*f + 12. Let m be u(d). Solve r - 2*r = -4*l + m, 3*l - 16 = -r for l.
4
Let c(z) = z**3 - 33*z**2 + z - 34. Let q be c(33). Let j be -3 - q*3/1. Let m(f) = f - 1. Let l be m(3). Solve n - l = 0, 2*d + 4 = -n - j*n for d.
-3
Suppose 62 - 2 = 6*n. Suppose n*m - 5*m = 0. Let z be 5 + (1 - 1)/(-4 - m). Solve z*b - 2 = 5*j - 7, 3 = 3*j + b for j.
1
Suppose 0 = -2*x + o - 421, -x - 197 = o + 18. Let n = -209 - x. Suppose 2*g - 3 = -0*j + j, 11 = 3*g + 5*j. Solve 0*c - t = -n*c - 7, -g*c - 4*t = -14 for c.
-1
Let b be 6*4/12*9/6. Let y be 13 - (3 + b + 1). Solve -y = 3*r + 3*v, -3*v + 0 = 4*r + 9 for r.
-3
Let o = -70 - -72. Let t(p) = -2*p + 28. Let l = -2 + 15. Let f be t(l). Solve -12 = 3*v + f*a, 0 = v + 4*a + 2 + o for v.
-4
Suppose 3*z + 8 = -1. Let l(j) = 5*j + 17. Let c be l(z). Solve k - q = 2*k + 5, c*k - 4*q + 4 = 0 for k.
-4
Suppose -24 = -b - 5*u, -4*u = -12*b + 7*b + 62. Solve 0 = 2*t + 4*l - b, 3*l = 2*t - 7 + 21 for t.
-1
Let k(l) = l**3 - 24*l + 4. Let v be k(0). Solve 19*f + 5 = 15*f + u, -v = 2*f - 2*u for f.
-1
Let c(k) = -3*k + 15. Let x be c(0). Let v be (33/18 + (-18)/12)*x. Solve 5*o - 8 - 21 = -g, o = v for g.
4
Let m(f) = f**3 - 39*f**2 - 441*f + 17. Let z be m(-9). Solve -t - 2 = -w, -2 = t - z*w + 95*w for t.
-2
Let o(k) = -625*k + 8753. Let m be o(14). Solve 4*v = -3*g + 28, -m*v + 2*g + 14 - 10 = 0 for v.
4
Suppose 4*d = -5*h - 169, 2*h - 15 = d + 37. Let k = d - -55. Suppose -9*o = -6*o - k. Solve 0 = 3*l + o*u - 15, 0 = l - 5*l + 3*u - 8 for l.
1
Let w(z) = -183*z - 2010. Let q be w(-11). Solve -5*r + 5 = q*m, 6*m = -r + 3*m - 11 for r.
4
Suppose c = -5*h - 4, -32*h = -35*h - 3*c - 12. Solve -2*y + 13 = -o, h*y = -3*o - y - 4 for o.
-3
Let p = 15136 - 15132. Solve -3*q = -w - 6*q - 15, p*w + q = -5 for w.
0
Let r(a) = -a**2 + 17*a + 114. Let v be r(-5). Solve v*l = 2*q + 16, -163*q + 160*q - 14 = -4*l for l.
5
Suppose 3*o = -5*h + 738 - 720, -4*o = 4*h - 24. Let p be (88/(-10))/(4/(-10)). Solve 2*w + 4*v + p = 0, -v - 10 = 2*w - h*w for w.
-3
Let i be (-57)/(-76) - (0 + 45/(-20)). Solve z - 11 = i*f, 0 = 3*f - 14*z + 18*z + 31 for f.
-5
Suppose -a - 17 = -2*w, 3*w = 5*a - 4*a + 23. Solve 5*t = -3*o - w, 0*o + 8 = 3*t - 4*o for t.
0
Let x be (-18)/4*(-4)/6. Let a = 73492 - 73488. Solve -5 = -2*s + 3*p, -p - a = x*p for s.
1
Suppose 69 = 5*u + 64. Let a be (-12 - -12)/(u - -2). Suppose i + 11 - 26 = -2*l, 5*l + 5*i - 45 = a. Solve 5*m + 14 = -t, 4*t - m = -8 - l for t.
-4
Let l be (12 - 5) + (-6 - -3). Solve -12 = 4*t + v, -l*v = -4*t + v - 36 for t.
-4
Let y(p) = -p**2 - 13*p - 7. Let z be y(-11). Let t be z/25 + -1 + 12/5. Let h be 7 + (-1 - 2) + t + -2. Solve 2*a - 7 = b, -29 = -2*b + 7*b - h*a for b.
-5
Let k = 10280 + -10271. Solve 4*q = p - k, 4*q - 21 + 48 = -5*p for q.
-3
Suppose -3*l - 7*w = -51 - 40, 5*w + 85 = 5*l. Let i be (3 + -2 + 0)*5. Solve l = -3*z + 3*o, i = -2*o + 13 for z.
-3
Suppose 4 + 82 = -2*b. Let m = b + 52. Suppose -2*k - 11 = -5*j, 4*k = -3*j - m - 0. Solve 5*o - 4*i = -j, 2*o - o + i = 7 for o.
3
Let m(p) = -5*p - 52. Let i be m(-11). Suppose -2*s + 17 = -i*z, 4 = s - 2*z - 5. Solve 5*k - 25 = 5*r, 6 = 5*k + r - s for k.
3
Let v be 52/39*(-99)/(-44). Solve -3*k = v*j + 12, -3*j + 0*j = -3*k for k.
-2
Let u(t) = 23*t**2 - 54*t + 20. Let r be u(2). Solve 0 = -4*k - 5*i - 14, 4*i + r + 5 = -k for k.
-1
Let v = -34253 + 34255. Solve v*l = 5*m + 33, 4*m + 103*l = 98*l for m.
-5
Let b(o) = 7*o - 30. Let p be b(5). Let y be p/(-2)*36/(-30). Solve 4*r - 36 = 4*a, -6*r = 5*a - y*r + 5 for a.
-4
Suppose 3 = l - 3*k, 4*l + 198*k + 10 = 199*k. Suppose 0 = -j + 6 - 3. Let h be -4 - (j - 8) - 6/l. Solve 0 = p + 3*v + 2*v + 27, h*v + 11 = 2*p for p.
-2
Let o be (-24)/(-3) + (-400)/(-25). Solve -i + 4*i = 15, 4*i = -a + o for a.
4
Suppose 5 = -17*c + 39. Let t(x) = -x - 2*x + 4*x + 5. Let d be t(c). Solve 0 = -2*f + 4*h - 14, -19 = f - d*h + 2*h for f.
1
Suppose -1204*l + 1286*l = 902. Solve 0 = -4*j + 2*w - 6, -5*j + 5*w = 6 - l for j.
-4
Let s = -60830 - -60830. Let f be (3 + 0)*(1 - -1). Let w be 4/(-14) + 93/7. Solve 0 = 5*u + 4*t + w, s = u - f*u + 4*t + 3 for u.
-1
Let r(n) = -12*n + 152. Let k be r(12). Solve -3*x = -k*z + 3*z + 11, 6*x - 4*z = 2 for x.
3
Suppose -698*o + 1386 = -635*o. Solve -2*j = 4*k + o, -4