x = y + 6, 0 = -2*y - 0*y - 2*x + c for y.
0
Let g(i) = 6*i + 242. Let x be g(-39). Solve 3*b - 2 = 2*w, x = -0*w + 3*w + b for w.
2
Let o(m) = -m**2 + 7*m - 3. Let a be o(5). Let g(y) = -4 + a*y**2 - 6*y - 2*y**2 + 0 - 3*y**2. Let w be g(5). Solve -4*p + 4*d = -8, 3*d + w = -p - 2 for p.
-3
Suppose 0 = -3*f - f + 52. Let t = 15 - f. Let q be 1/t - (-5)/2. Solve 5*u = q*z + 1, 5*z - z + 6 = 2*u for u.
-1
Suppose 5*y + 62 = 4*z + 6*y, -3*z + y + 50 = 0. Solve 0 = f + 4*x - z, -2*x + 18 = -2*f - 0*x for f.
-4
Let o = 641 - 636. Solve -2*z = 4*p + p, 3*z = o*p for z.
0
Let d = 573 - 569. Solve m + 2 + d = 2*k, 3 = 2*m + k for m.
0
Suppose -5*m + 558 = m. Let h = 54 - m. Let s = h + 40. Solve -3*i - 2*j = 19, 3*j + s = 2*i - i for i.
-5
Suppose 3*p + 0*p = 2*i + 28, -3*i - 6 = 0. Solve m - 18 = 4*w, -4*w - 7*m - p = -3*m for w.
-4
Let j = 1825 + -1813. Solve 4*m + 27*c - j = 31*c, m + c = 3 for m.
3
Suppose 10*h = -h + 11. Solve j + 5*c + 5 = 0, -6*j + j = c + h for j.
0
Suppose 33 - 57 = -3*p. Let v be (4 - p)/(2*-1). Suppose -5*n + 13 = v*z, 0*n + 4*n - 17 = 5*z. Solve 5*t - 13 = n*s + t, -s - t + 5 = 0 for s.
1
Let l = 26 + -20. Suppose -z = -5*q + l, 3*q - 4*z + 0*z + 10 = 0. Let k be 1/(2/1)*0. Solve 2*g + k*g = 5*m - 21, q*g = -4*m + 6 for g.
-3
Let m = -36 - -41. Solve 4 = o + m*d - 23, -4*d = -5*o - 10 for o.
2
Let t be (5/2)/((-5)/(-40)). Suppose 14*b - t = 9*b. Solve 0 = -4*j - 0*j + b*i, i = -3*j for j.
0
Suppose -216 = -37*i + 13*i. Solve 5 = 5*c - n - i, -3*c = -5*n - 4 for c.
3
Suppose -2*s - 6 - 9 = p, s - 3*p + 11 = 0. Let u be 0 + -1 - (s - 7). Let z be 150/u + 32/112. Solve -5*k + t - 13 = -k, -2*k + 5*t = z for k.
-3
Let f = 82 - 79. Suppose s + 8 = 2*s. Suppose 4*j + j + 2*l - 48 = 0, j = 4*l - s. Solve 3*k - k = -j, h + 13 = -f*k for h.
-1
Let c(o) = -3*o**3 - 2*o**2 - 1. Let g be c(-1). Let v = 3 - g. Solve 3*p - 5*i - 11 = -v*i, -p = 3*i for p.
3
Suppose -2*c + 32 = 2*c. Suppose -4*u - 5*q = -0*u - 23, -3*u = -q - 3. Solve -u*y = -o - c, 5*y = o + y + 18 for o.
2
Suppose 2*f + r = 62, -f + 4*r + 71 = 2*f. Let p = -23 + f. Let d(u) = u**3 - 9*u**2 + 11*u - 19. Let i be d(8). Solve -i*g + p - 1 = 5*s, -3*g = 5*s + 1 for s.
-2
Suppose 2*a - 8 = -3*a - 2*b, a + 12 = 3*b. Suppose 2*s = 5*r + 15, -33 = -2*s - a*s - r. Solve -4*v + 3*p = -3*v - s, 2*v = -p - 5 for v.
0
Let s be (2 + 1 + 1)/(28/56). Solve -3*v = -2*x + s, -2*v - 3 = -5*x - 3*v for x.
1
Suppose 0 = -24*w + 33 + 63. Solve 3*n = w*z - 17, 3*z = 3*n + 14 + 1 for z.
2
Let i be 36/14 + 40/(-70). Suppose i*c - 5 = 3. Solve 2*v - 3*v = -1, -c*b = 3*v + 5 for b.
-2
Let z = -25 + 35. Suppose 0*q - z = -5*q. Suppose -4 = -4*d + q*d. Solve -r - 3 = 1, -4*f = -d*r - 16 for f.
2
Let m(s) = 55*s + 335. Let h be m(-6). Solve -f + 2*f = i + 2, -h*i - 20 = 0 for f.
-2
Let x be (-3)/(-4)*(-16)/(-6). Solve 3*d - 4*d = -4*p - 3, x*d = -2 for p.
-1
Let p(z) = 6*z**2 + 2*z + 1. Let y be p(-1). Suppose y*w = -3*n - 3, 2*w - 4*w = -3*n + 18. Let r = -3 + 7. Solve 4*o - 4 = -r*g, -8 = n*o - 5*g + 15 for o.
-2
Let m = 1132 - 1127. Solve 2*g = 3*o + g, 0 = -m*g for o.
0
Let m(x) = -x**2 - 4*x + 1. Let p be m(-3). Let v be 0*(-1)/(-8) - (-1 + 82). Let j = v - -81. Solve j = 5*g - p*g + 2, -4*k + g = 18 for k.
-5
Let h = -262 - -267. Solve 5*v - h*r - 10 = 0, 4*v + 2*r + 3 - 23 = 0 for v.
4
Suppose 60 = 7*h + 25. Solve 4*v - 6 = -h*n, -11 = -2*v - 3 for n.
-2
Let c = -475 - -508. Solve 5*o + c = 2*x, -5*o - 24 = 1 for x.
4
Suppose 2*n - 6 = 0, 3*z + 0*z - 78 = 4*n. Suppose 5*s + g = 21, -3*s + 5 = -5*g - z. Solve s = 3*c - c - u, 5*u = 4*c - 13 for c.
2
Let z(x) = -x**3 + 6*x**2 - 2*x - 2. Let g be z(5). Let d = -23 - -37. Let p = -12 + d. Solve 0*w + 4 = -p*w - 3*y, -4*y - g = -5*w for w.
1
Let w(f) = f**3 - 5*f**2 + 2. Let j be w(5). Suppose -2*u - 5*u = 0. Solve -5*m - 12 = -j, 5*x + 3*m + 6 = u for x.
0
Let b be (-78)/(-8) + (-2)/(-8). Let m(w) = 12*w + 13 + 39*w**2 + 36*w**2 + w**3 - 61*w**2 + 2*w. Let z be m(-13). Solve z = 4*l, -2*d + 0*l = 2*l + b for d.
-5
Let x(q) = q**2 + 6*q - 19. Let f be x(-9). Solve f + 0 = 2*o, 5*p = 2*o - 33 for p.
-5
Suppose 0 = -2*v - 5*o - 20, -1 - 3 = -5*v + o. Suppose v = 4*f + 6*f. Solve f*q = -r - q, 3*r + 6 = -5*q for r.
3
Let k(h) = 3*h**3 - 15*h**2 + 4*h - 15. Let z be k(5). Solve z*q + 8 = 3*y, -2*q - y - 20 = 2*y for q.
-4
Let s = 5 - 3. Suppose 3*h + 3*b + b = 77, -3*h = -b - 82. Let v = h - 7. Solve -4*x = 4*q + v, s*q - q - 3*x - 3 = 0 for q.
-3
Let i be (-9)/(-12) - (5 - 82/8). Solve 2*h = -z + i, 2*h + 0*z = z + 10 for h.
4
Let x = 10 - -13. Suppose -4*u - 20 = -8*u, 3*u - 7 = 2*o. Solve 1 = 4*l - o*j - x, 18 = 4*l + 2*j for l.
5
Suppose -5*u + c + 3*c + 36 = 0, 2*c = -3*u + 4. Suppose -z = z, u*b - 4*z = 12. Solve -3*p - 15 = -0*f + b*f, 5*f - 25 = 5*p for f.
0
Suppose 0 = 4*g - 3*g - 5. Suppose 0 = -7*j + 2*j + 105. Let v = 515 + -512. Solve u + 11 = -0*u - v*k, -j = u + g*k for u.
4
Let j = 16 - 66. Let r = -45 - j. Solve -3*i - 4*o - 3 = 14, -r*i = o for i.
1
Suppose -2*b + 26 = 4. Let t(a) = a - 6 + 0 + b - 4 + a**2. Let v be t(-4). Solve -u + 7 = -3*c + 18, -v = -c + 5*u for c.
3
Let r(b) = 11*b - 5. Let o = -47 + 50. Let l be r(o). Solve -3*h - l = -5*z - 4*h, 3*z = 5*h for z.
5
Suppose -32*n + 31*n = -3*m - 25, -2*n + 3*m + 35 = 0. Solve 0 = -2*s - n + 4, -3*c + 9 = -2*s for c.
1
Let w = 40 + -58. Let i be 3 + 23/(-7) + w/(-63). Solve -h + 3 = 4*o - i*o, -5*o - 3 = -h for h.
3
Let o = 15 + -4. Suppose -14*t = -o*t - 3. Let c be -2 + (-5)/(5/(-2)). Solve -3*i + 2 = -3*w - t, c = -w - 3 for i.
-2
Suppose -6*v = -4*v - 6. Let p be (-9)/v + 16 - 4. Solve -4*i + 24 = -4*k, 0*i = -3*i + p for k.
-3
Let m be -35 + 39 - 4/1. Solve -5*k + 5*z + 25 = m, 4*z + 5 = -2*k + 3*k for k.
5
Let w(n) = -3*n**3 - 2*n**2 + n + 2. Let x be w(-1). Suppose 3*s - x*o - 8 = 0, 4*s + 5*o - 17 - 9 = 0. Solve 0 = s*m + q + 17, -5*q + 10 = -0*m + m for m.
-5
Let j = 1 + 1. Let c be (-6 - 6) + (1 - -2). Let g = 13 + c. Solve -5*l = -2*i + 1 - 2, j*i - g = 0 for l.
1
Let a(s) = s**2 - 4*s + 8. Let h be a(2). Suppose 0 = h*l - 6*l. Solve -3*n - 5*w + 14 = 0, l*n + 5*w = 2*n + 24 for n.
-2
Suppose 5*p = -4*l + 1, -p + 10 = -2*l + 21. Suppose 16 = l*g + 5*z, -3 = -g + 2*z + 1. Solve -g*n = 8, 0 = 2*y - 0*y + n for y.
1
Suppose -81*m + 84*m - 72 = 0. Solve 0 = -2*c + 2*k + 4, -m = 3*c + 3*k - 0 for c.
-3
Let z(t) = 3 + t**2 + 3*t - 2*t - 2 - 8*t. Let n be z(7). Solve 4*s + 18 = 3*g - n, 18 = 3*g - 3*s for g.
5
Let b(o) = o**2 + 4*o + 2. Let h be b(-4). Suppose 4*q = 21 + 47. Suppose -5*f - 2 = -q. Solve 3*u - h*j - 2 = 0, -4*u + f*j = u - 4 for u.
2
Suppose -5*t + 34 = 34. Suppose t = -s + 4*s. Solve s = -2*f + 3*y + 3, -3*y + 4*y = -f + 4 for f.
3
Suppose 3*f + 0*f = 6. Let b = 140 - 134. Solve 6 = -r - f*r, 5*r + b = 2*x for x.
-2
Let u(o) = o**2 + o - 68. Let m be u(-10). Suppose 4*z - 38 = -0*l - 2*l, -4*l = 4*z - 56. Let q = 11 - l. Solve q*d = 5*d - 15, x + 4*d - m = 0 for x.
2
Suppose -20 = 4*n - 16, -l = 4*n. Solve -2*f + 6*f = l*a - 20, -a + 5 = -5*f for a.
5
Let i(s) = -s**2 - 4*s + 10. Let x be i(-5). Let l be (-5 - -8)*(-4)/(-6). Solve 0 = l*z - 0*z + x*q + 6, 5*q + 10 = 0 for z.
2
Let t(l) = 5*l**2 - 2*l + 1. Let z be t(-2). Suppose 0*j + 5*j = z. Solve -j*q = -9*w + 4*w + 25, -5*w + 25 = 3*q for q.
0
Let p = 8 - 3. Suppose -58 = 4*i - 4*o - 6, -p*i + 3*o - 63 = 0. Let u = i - -16. Solve 4*q = -0*q - 2*f - 4, q + 2*f + u = 0 for q.
0
Let a(u) = -2*u + 6. Let o be a(3). Let w be o/((-3 - 0)/(-1)). Suppose w*k - 5*k = -20. Solve 4*v - k*r - 2 = 5*v, 8 = -4*v - 3*r for v.
-2
Suppose 4*n - 6 = -r, -4*r + 9 = -r + 3*n. Solve 4*z + 5*i - 3 = 0, -21 = 3*z - 6*i + r*i for z.
-3
Let y = 22 + -18. Let h be ((-2)/y)/(10/(-80)). Suppose 5*x = w - h*w + 10, -w + 3 = 2*x. Solve -4*t - t = w*d, 0 = 4*t + 20 for d.
5
Let a(p) = -p**2 + 4*p + 7. Let l be a(5). Suppose 5 = -c - l. Let g = c + 12. Solve 4 + 2 = k - h, g*h + 12 = -k for k.
3
Let b(m) = m**2 + 22*m + 44. Let q be b(-20). Solve 2*o - 4 = -3*x, q = -3*x + 5*o - 6 for x.
0
Let a be 7 - (31 + 11)/7. Solve 0 = 4*y - 5*s + 16, -7 = 2*y + 2*s + a for y.
-4
Let c(p) = -p + 12. Let v be c(8). Suppose 4*i = -v*u - 6 - 14, -u = -5*i - 19. Let s be ((i - -1) + 3)/1. Solve s = d - b - 6, -5*d = -b + 3*b + 5 for d.
1
Let b