 = -q*k, -2*j + 4*j = -5*k - 5 for k.
-3
Let v(h) = -h**3 + 15*h**2 - 27*h + 20. Let o be v(13). Suppose 0 = m - c + o - 20, 5*m + 5*c = 85. Solve -p = 2*y - 6, 4*p + y + m = -p for p.
-4
Let l(n) = n**2 + n - 7. Let b = 26 + -4. Suppose -2*m + i + 4 = 0, -4*m - 2*i + b = 3*i. Let f be l(m). Solve f*u - 3*z = -24, -7*z = -4*u - 3*z - 24 for u.
-3
Let a = -27 - -34. Suppose -3*s - a*s = 0. Solve s = 3*f - 2*n + 10, 0 = 2*n - 4*n - 2 for f.
-4
Let k be 1 + -2 - (-1)/1. Solve -5*z + 4*u + 25 = 0, -5*u - 24 = z - k*u for z.
1
Let v = -6 - -21. Suppose 0*w + v = 3*w. Suppose 0 = -2*y - 3*y + 25. Solve w*p - 4 - 1 = 3*x, -3*x + y = 5*p for x.
0
Let f(p) = -36*p - 288. Let r be f(-8). Solve r*k = -5*k + 4*v - 26, -v + 4 = 0 for k.
-2
Let x = 7 + 22. Suppose 5*z - x = -9. Solve -z*w = -5*m - 13, -m - m - 2*w = 16 for m.
-5
Suppose -4*k + 23 - 3 = 4*g, k + 3*g - 9 = 0. Let b(j) = 3*j - 20. Let a be b(8). Suppose 0 = a*t - t - 9. Solve 3*o + 15 = -t*d, -4*d + k*d + 5 = -o for o.
-5
Let l = 16 - 14. Suppose 0 = 3*u - l*h - 5, -u + 5*u = 4*h. Solve -3*q + 4*v + u + 27 = 0, 4*q - 41 = 5*v for q.
4
Let d be 23 + -10 + -17 + (0 - -4). Solve 2*i + d*u = u - 4, -i + 3*u - 7 = 0 for i.
-1
Suppose i - 59 = -199. Let l = -135 - i. Solve -5*r = -l*w + 40, 5*w - r - 37 = 3*r for w.
5
Let o(m) = -m**3 + 8*m**2 + 11*m - 3. Let x be o(9). Suppose 0 = -0*t + 5*t - 20. Suppose 3 = 5*z - t*z. Solve -4*d = -5*j + d, x = -z*d for j.
-5
Let y(i) = i**3 - 15*i**2 - 2*i + 35. Let g be y(15). Solve -2*b + g*b = -5*d + 10, -3*d = -6 for b.
0
Suppose 0 = 3*a + v + 4*v - 7, -a + v + 5 = 0. Suppose a*m - 2*m = 32. Suppose -2*n - 2*n + m = 0. Solve -n*h + 5*b + 8 = -0*h, -8 = -4*h - 4*b for h.
2
Suppose 4*y = -2*x - 6 + 60, -5*y - 2*x = -68. Suppose 18 = v + y. Suppose -v*t = -0*t - 8. Solve 3*h - 5*d = 13, -t*h + 8 = h - 4*d for h.
-4
Let z(t) = -t**3 - 31*t**2 - 27*t + 19. Let l be z(-30). Let x = l + 73. Solve -12 = -4*q, -x*v + 2*q - 22 = -6*v for v.
4
Let z(w) = w**2 - 9*w + 3. Let t be z(9). Solve -f + 3*f = -4*p + 8, -t*f - 2 = -p for f.
0
Suppose 2*d - 114 = -2*u, 4*u - 146 - 82 = -3*d. Suppose 3 = 6*s - u. Solve 3*z - s + 2 = -y, 2 = z for y.
2
Suppose 0*v - 2*v + 8 = 0. Suppose 33 = v*l - l. Suppose 7*z + 12 = l*z. Solve 14 = 4*y - z*d - 3, 3*d + 5 = -2*y for y.
2
Let z(m) = 4*m**3 - 2*m**2 + 2. Let j be z(2). Suppose -5*o + 102 = 3*s, 2*o + s - j = 14. Solve 5*y - 2*u - o = 0, u + 2*u + 22 = 5*y for y.
2
Let y = 732 - 720. Solve -4*b + y = 0, -2*x + 16 - 25 = -3*b for x.
0
Let v = -2 + 6. Suppose v*y - 25 + 5 = 0. Solve -y = a, 7*w - 2*w = -a for w.
1
Let f(w) = 24*w + 5. Let q be f(-2). Let v = q + 45. Solve m = -4*m + 3*l - 9, 4*m + v*l - 6 = 0 for m.
0
Suppose -j - 14 = -5*o, -o - 4 = o + 2*j. Suppose -o*n + 2 + 6 = 0. Suppose 5*w = n + 6. Solve -4*v - 2*p = -w, 2*p + 16 = 2*v - 2*p for v.
2
Suppose 8*n = 5*n + 6. Solve 0 = 5*m + n*k - 26, -3*m = -7*m - 3*k + 25 for m.
4
Suppose 4*x = 728 - 68. Suppose 3*q = -135 + x. Solve 0 = 4*h - 5*j + q, 0*j - 2*j = -h - 4 for h.
0
Let k = 38 - 41. Let w be (-6 - (-6 + 3))/(k/6). Solve -5*i + 9 = -5*l - w, -9 = 3*l - 4*i for l.
-3
Let g = -3001 + 3021. Solve 2*y + s - g = -3*y, -5*s = 0 for y.
4
Let p = 534 - 532. Solve p*c + 2*g = 12, 4*g + g - 5 = 0 for c.
5
Let d = 6 + -24. Let g = -13 - d. Let r be g + -3 + 2/2. Solve 3*b - n + 3 = 0, r*b - n = 3*n + 6 for b.
-2
Let b be 5/(-10)*10*(0 - 3). Suppose b*t - 8 = 13*t. Solve 0 = 2*p + h + 5, p = -2*h + t*h - 10 for p.
-4
Suppose 8*h - 3*h = -245. Let y be (-4)/(-14) + (-378)/h. Suppose -7*u = -3*u - y. Solve -3*l - 4*n + 11 = -6*l, 3*l + u*n + 17 = 0 for l.
-5
Suppose -a + 15 = 4*x, a - x - x = 3. Let d(z) = z**2 - 7*z + 8. Let f be d(6). Suppose -f + 17 = 3*b. Solve -b*n = -5, a*v + 12 = 3*v + 4*n for v.
-2
Let s(d) = 2*d + 14. Let w be s(7). Suppose -r + 5 - 30 = 0. Let y = w + r. Solve -k + 2*c - 3 = 3*c, -3*c = -y for k.
-4
Suppose -i + 2*x = 84, 0 = 4*i + 3*x + 2*x + 271. Let l = i - -78. Solve 3*g = -l*u + 15, 2*u = -7*g + 3*g + 20 for g.
5
Suppose m + 1 = 2*j, 3*j - 4 = -4*m + 14. Solve 5 = -5*l + 5*d, m*l + d + 1 + 10 = 0 for l.
-3
Let a be ((-20)/8)/(3/(-6)). Suppose a*l = 3*r + l + 8, -5*r = l - 25. Solve 0 = r*d + 4*o - 12, 13 = 3*o + 1 for d.
-1
Suppose f + 3*f + 44 = 0. Let c = f + 7. Let b be (-1 - c) + 1*-3. Solve b*t - t - d = 2, 12 = -5*t - 3*d for t.
-3
Suppose -4*a + 57 = 21. Suppose a*d = 115 + 110. Solve 5*g = -2*w - d, -4*w - 4 - 1 = g for w.
0
Let o = -29 + 35. Let d be (-5 - -4) + -3 + o. Let a = d + 0. Solve 17 = 5*b + 4*u, 0 = 2*b + 4*u - a*u - 6 for b.
5
Suppose 2*p + 5 = 4*v - 5, -5 = -p. Solve 4 = 4*b - v*t, 3*t = 2*b + t for b.
-4
Let y(s) = -s**2 + s + 2. Let u(n) = -2*n**2 + 10*n + 1. Let o(k) = u(k) - 6*y(k). Let d be o(2). Solve -3*l + 5*q + 23 = 0, 2*q + 2*q + d = -3*l for l.
1
Suppose -4*j - 86 = -m - 73, -2*m - 4*j - 10 = 0. Solve 9 = -3*c + u, 0 = 4*c - 2*u - m + 11 for c.
-4
Let s(x) = -x**2 - 10*x - 6. Let m be s(-9). Suppose 2*f - 23 = -j, 2*f + 2*j = m*f - 4. Solve -5*i - c = f, 28 = -3*i - 0*i - 5*c for i.
-1
Let i = 9570 - 9568. Suppose 2*b = -2*b. Solve -9 = 3*z - 4*m, -2*z + i*m = -b + 4 for z.
1
Let x = 960 - 958. Let a = -2 - -4. Let q = 4 - a. Solve -4*i = 3*s + 17, 4*s - q*i = x*i - 4 for s.
-3
Let w(g) = g**2 - 10*g - 20. Let c be (-8)/16*(-2 + -22). Let h be w(c). Solve -4*q = 2*z + 14, 7*q - 4*z + 16 = h*q for q.
-4
Let j = 1160 - 1158. Solve -f - 5 = -5*p, j*p - 22 = 5*f + 3 for p.
0
Let i be -5*(70/(-25) + 2). Suppose -3*d - 2*a - 4 = 0, 2*d - d + 2*a = -i. Solve f = -4*p - 18, 35 = 5*f - d*f - 5*p for f.
2
Suppose -24 = 4*l - 32. Let r be 5/10*l*2. Solve -u + 3 = -4*i - 13, r*i = 3*u - 18 for u.
4
Let y be (-1)/(-1)*(-13 - -19). Suppose -4 = -y*l + 8. Solve 2*c - 7 = l*d + 9, 4*c = -2*d + 8 for d.
-4
Let a = 14 + -2. Solve 17 = 3*i - 5*w - 3, -2*i = -3*w - a for i.
0
Let h = -632 - -642. Solve -2*x + 2*a = x + 23, 2*x + 5*a - h = 0 for x.
-5
Suppose q + 5*l + 10 = 0, -4*q + 6 = -3*l - 0*l. Let t = -247 - -233. Let r = q - t. Solve 3*a + 3*s - 7*s - 13 = 0, -2*a - 3*s - r = 0 for a.
-1
Let t(c) = c**2 + 6*c - 7. Let y be t(-7). Solve f + 4*n = -7 - 10, -f + 3*n + 11 = y for f.
-1
Let t(n) = n**3 + 8*n**2 - 7*n + 20. Let c be t(-9). Solve 0 = 4*v + 5*o - 35, -3*v - o + 12 = -c*o for v.
5
Suppose -5*z - 3*x + 29 = 0, -4*z - 4*x + 2*x + 22 = 0. Suppose -v + z = -6. Let b be ((-4)/7)/(v/(-35)). Solve -3*j = -p + 2*j + 13, -b*j + 5 = 3*p for p.
3
Suppose 7*h = 6*h + 37. Let v = h - 34. Solve 0 = 5*a - v*p + 4*p, -4*a + 6 = 2*p for a.
-1
Suppose 0 = 3*y - 0*y - 27. Let l(x) = -2*x + 6. Let n be l(y). Let o be 8/(-20) - n/5. Solve -2*z - 4*h = 24, o*z - h - 16 = 3*h for z.
-2
Suppose -5*m = -3*t + 4*t + 412, -5*m - 403 = 4*t. Let z be (2/(-6))/(m/(-21) - 4). Solve 3*s + 15 = k, 5*s + 5*k + z - 2 = 0 for s.
-4
Let d = 8 + -3. Suppose -i + d = 1. Solve -o + i*y = 0, 3*o + 5*y = -0*o for o.
0
Suppose -9*o + 272 = -5*o. Suppose -5*s = -s - o. Let q be 3/(-6) + (-1)/(-2). Solve s - 2 = -5*r, 2*k - 2*r = q for k.
-3
Let k be -6 - -3 - (1 + -4). Suppose 15 = t + 3*t - 3*j, k = 3*t + 5*j + 25. Suppose -o - 1 + 4 = t. Solve o*s = -3*h, 4*s + h = 6*s - 9 for s.
3
Let t be (0 - -18)/((-2)/4). Suppose 4*w = -r + 4*r - 105, r + 3*w = 48. Let v = r + t. Solve -c + 0*j = -v*j + 3, 2 = j for c.
3
Let a = -48 + 45. Let s be (-6 - a - -4)/(-1) - -5. Solve 0 = 4*q + 5*z - 2, 0 = -s*q + 2*q + 5*z + 16 for q.
3
Let q = -50 - -84. Let v = 37 - q. Solve -v*r = -5*t - 35, 0*t + t + 14 = 2*r for r.
5
Let i be 1/(6/8)*3. Solve 3*j - i*d + 12 = -2*j, 3*j + 2*d - 6 = 0 for j.
0
Suppose -4*i - 5*f + 54 = 3, 73 = 5*i - 3*f. Suppose i*a + 0 = 28. Solve 0 = -5*v + 3*u - 5, 4*v + 41 = a*u - 7*u for v.
-4
Let b(d) = 11*d + 92. Let y be b(-8). Solve 4*x = y*s + 20, 5*x - 5*s - 11 = -7*s for x.
3
Suppose 24 = -11*v + 15*v. Let s = v - 7. Let x be (-6 - 4)*s + -2. Solve -26 = j + 5*p, -x*p - 20 = -4*p for j.
-1
Suppose 0 = -2*k - k. Suppose -s + 5*m + 0*m - 11 = 0, 3*s = 5*m - 3. Solve k = 3*q - s*w + 6, -4*q - 10 = 4*w - 2 for q.
-2
Suppose 12*k - 3 - 57 = 0. Solve 2*g = -2*x - 18, k*g + 6 = 5*x + 1 for g.
-5
Let i(q) = -5*q - 12. Let b(y) = -1. Let o(r) = 4*b(r) + i(r). Let n be o(-4). Solve 0 = -v + 2*d + 6, 0 = 3*v - n*v - 2*d - 2 for v.
2
Suppose 3*h = h - 4. 