pose 26 = f*r + 3*c, -c - 2 = -2*r + 4. Solve m - r*y + 2 = -2, 4*y - 4 = -2*m for m.
0
Let c = 0 + -8. Let b = -6 - c. Suppose -5*s = -j - 7, s = -j + b*j - 1. Solve s*t + 0*v - 4 = 2*v, -t + 17 = 4*v for t.
5
Let c(v) = 7*v - 285. Let x be c(41). Solve b + x*b = 3*u, -5*u = -4*b + 4 for b.
-4
Let y = -998 - -1000. Solve -5*i - y*z = -5 + 22, 0 = z - 4 for i.
-5
Let c be (-1)/(12/11 - 1). Suppose -o + 5*m = -26, 2*o + 2*m + m - 13 = 0. Let d = c + o. Solve 2*k - 15 = -k, d = 3*w + 4*k - 11 for w.
-3
Let o be (-4)/(-8) + 86/4. Suppose 3*c - 6 - 6 = 0. Suppose c*b + 6 = g, 5*g - 3*b - 18 = 2*g. Solve f = -r + g, -5*f - o = -8*f - 5*r for f.
4
Let g = -354 + 359. Solve g*o - 4*d - 21 = 0, 5*o - d = 3*o + 6 for o.
1
Suppose 27*z - 5*z + 286 = 0. Let u(m) = -m - 11. Let b be u(z). Solve b*c + 3*c = 5*r + 20, 0 = -2*r - 10 for c.
-1
Suppose -96 = -v - 81. Solve 2*c + 3 = -o - 2, -2*o - 5*c = v for o.
5
Let l be 450/108 + (-1)/6. Solve -5 = 3*d - 4*c, -5*d - 1 = -5*c + l for d.
1
Let v = -13 - -25. Suppose -5*k - j = v, -5*k - 2*j = j + 6. Let w be k*4/(-3) - 2. Solve 4*x = 5*z - 20, 0*z = w*z + 4*x - 8 for z.
4
Let h = 1171 - 1169. Solve -5*s - 5 = -c, -5*s = h*c + c - 15 for s.
0
Let a be (200/2)/(0 + 1). Suppose -3*c = p - 3, -5*c + 3*c - a = -5*p. Solve -3*v + 15 = -3*l, l = 5*v - 7 - p for v.
5
Let v be ((-80)/(-30))/((-2)/(-12)). Suppose -2 = x - 2*b - v, -2*x = 2*b + 2. Solve -2*n + 3*n = -l + 5, -l = -x*n - 5 for n.
0
Let k = 118 + -117. Suppose 6*o = 25 - k. Solve y = -3*y + o, 3*i + y - 16 = 0 for i.
5
Let g = 282 - 269. Solve 0 = -3*l + j + 3 + 6, l = -3*j + g for l.
4
Suppose 28*q = -26*q + 108. Let f = -1 - -5. Solve -3*k + 2*n = -f*k, -3*k - q*n = -8 for k.
4
Let j be 27 + 10*(0 + -1). Solve -4*h - t = -j, 2 = -5*t - 13 for h.
5
Suppose -35 = -4*z - 91. Let c(a) = a**2 + 10*a - 47. Let i be c(z). Solve -2*q + 6*q - i = -3*f, q + 4*f = -1 for q.
3
Let v = -932 - -936. Suppose -4*p + 29 = 9. Solve 4*o = v*b, -3*b + 0*o - p = -4*o for b.
5
Let z be -2 + 0 + 2 - 4. Let x be (-1)/z - (-5)/(-20). Suppose x*q - 6 = -2*q. Solve l = 2*b - 3, 4*b + q*l - 18 = -7 for b.
2
Suppose 0 = 2*p - f - 7, -4*p - 3*f = p - 23. Suppose 13*r - 14*r + 2 = 0. Let a be r/8 - 1/p. Solve -3*k + 0*t + 5*t = -20, a = 4*k + 4*t + 16 for k.
0
Let k = 0 + 8. Let j = -30 + 37. Suppose -27 = -j*l + k. Solve 5*d - l*z = -z - 25, 9 = -4*d + z for d.
-1
Suppose -9*g = -12*g - 36. Let r be (-116)/(-24) - 2/g. Solve 0*s + 4*x = -r*s + 17, 3*x + 6 = 0 for s.
5
Let j = 7 + -2. Solve 4*p - 4*o = -12, j*p + 0 + 9 = 2*o for p.
-1
Let a = -62 + 65. Suppose 2*w + 105 = 7*w. Solve 0 = -o - 2*i + 5, a*o = 3*i - w for o.
-3
Suppose 6*p - 2*p + 2*l = 146, 0 = 3*p + 2*l - 111. Let o = p - 33. Solve o*k - 3*n + 12 = 0, -4*n = 3*k + n - 20 for k.
0
Let b be ((-5)/(-5)*0)/(-3 - 1). Let m = 4 - -1. Solve -m*t - 3*h = -23, b + 8 = 3*t - 4*h for t.
4
Suppose -9*j - 54 = -99. Solve -j*n = -4*f + 11, -n = -3*f - 6 + 17 for f.
4
Let o(q) = 8*q - 52. Let s be o(7). Solve -4*u - s = 0, -3*h = 2*h + 2*u - 3 for h.
1
Suppose 54*c - 240 = -6*c. Let h = -5 - -10. Solve u - 10 = p + c*p, -u + h = 0 for p.
-1
Let o be (-3)/21 + (-144)/(-28). Solve 5*z = z + 4*a - 32, 0 = 3*z + o*a for z.
-5
Let r be (0 + 2)*17/2. Suppose -4*n + r = -11. Suppose -3*v - 16 = -n*v. Solve f + 1 = -v*o + 10, f - o = -1 for f.
1
Suppose -w + 4*w - z - 59 = 0, -5*w = -4*z - 89. Let b = -30 + 34. Suppose 0*m - 12 = -b*m. Solve 5*n = -5*g - 40, -4*g + 2*g - w = m*n for g.
-3
Let l be 63/3 - (2 + -1). Let b = -24 - -64. Let w = b - l. Solve -5*f + 2*m = -0*f + w, -2*f - 3*m = -11 for f.
-2
Let u(o) = -o**2 - 4*o - 9. Let r(b) = 3*b**2 + 11*b + 28. Let x(h) = -2*r(h) - 7*u(h). Let w be x(-5). Solve -w*m - j + 13 = -5*m, 15 = -3*m + 3*j for m.
-4
Let a = 66 + -60. Suppose -s = -a*v + v + 20, -3*v = -3*s. Let k = -5 - -8. Solve -4 = -k*d - 5*y - 2, 12 = s*d + 4*y for d.
4
Suppose 6*z - 14*z = -16. Solve 2*v - 13 = 5*f, -5*f - 28 + 11 = z*v for f.
-3
Let n = -277 - -282. Solve 29 = n*t - 3*j, -5*j - 31 = -2*t - 2*t for t.
4
Let c = 1220 + -1220. Solve 3*z + z + 5*d = 1, -5*z + 5*d + 35 = c for z.
4
Suppose 0 = -11*d - 23*d + 544. Solve -h - 4 = -p + 4*p, 2*h - d = 2*p for h.
5
Let w = 27 - 19. Suppose -f = 3*j - 14, 0 = -5*f + w*j - 4*j + 13. Solve -m - 2*m = 4*a - 11, 0 = 5*a + f for m.
5
Let k(p) = p**3 - 4*p**2 + 3*p - 10. Let y be k(4). Solve 3*m = 2*n + y, 3*m + n = 5*m - 1 for m.
0
Suppose -14*l + 37 = -19. Solve 3*c - 5 = 3*p + l, -4*c + 10 = -2*p for c.
2
Let h(l) = -5*l**3 + l**2. Let p be h(-1). Suppose 0 = -d - p + 8. Let k be ((-152)/16)/((-1)/2). Solve 4*t - k = 1, -2*v + d*t - 16 = 0 for v.
-3
Let c = -277 - -279. Let t = -4 + 4. Solve j - 5*q - 17 = 0, j + t*q - 8 = c*q for j.
2
Suppose -12*s + 78 = -7*s - u, 3*s + u - 42 = 0. Suppose 0*p = p - 3. Solve 0 = p*r - s, -2*r - 5 = 4*x - 3*r for x.
0
Suppose 5*f - 15 = -5*h, 13*h - f + 12 = 17*h. Solve -2*n - 2*n - v = -16, 0 = -h*n + 5*v + 35 for n.
5
Let n(g) = -2*g + 11. Let z be n(-9). Let o = z + -27. Suppose 0 = -f + 2*f - 5. Solve -18 = -f*u - o*q - 3, -4*q = -2*u - 18 for u.
1
Let a(z) = -2*z - 10. Let d be a(-12). Suppose -2*h = 2*v - 7 - 3, -d = -4*h - v. Solve 5*s + 5*u = 15, -h*s + 0*s - 5*u + 17 = 0 for s.
-1
Let a(w) = w**3 + 5*w**2 + 8*w + 9. Let c be a(-3). Solve 5*t + 22 = -c*p - 0*p, -2*t - 7 = 3*p for p.
1
Suppose -34*r - 4 = -35*r. Solve 5*c - r*a + a = 6, 3*c - 4*a + 3 = 0 for c.
3
Let y be (-5)/(25/(-15)) + (0 - -1). Solve -5*m + y = -3*d, 5*d + 4*m + 2 = -17 for d.
-3
Let t(n) = 2*n**2 - 105*n + 58. Let w be t(52). Solve 4*a + w + 2 = 0, 5*a = 3*h - 1 for h.
-3
Suppose -5*c = -3*m + 31, -3*c + 2*m - 29 = -10. Let b be (c/(-2))/(12/24). Solve -f + 4*z = 6*z - 5, -f = -z - b for f.
5
Let k(t) = -2*t + 30. Let f be k(14). Suppose -d = p - 3, -p = f*p - 3. Solve -5*c = 2*a - 29, -d*a + 2 = -6*a + 2*c for a.
2
Let z = -34 + 38. Suppose -z*m + 6*m = 0. Solve 5*u - 13 = a + 3*a, 4*u - 3*a - 11 = m for u.
5
Let h(a) = -193*a + 593. Let t be h(3). Solve -5*v + 17 = -2*c, 3*c + 2*v = 2*c + t for c.
4
Let y be (-3)/(1*(2 + -3)). Suppose -y*q = 4*r - 47, q - 3*q + 5*r = -16. Suppose 0 = -6*h + 88 + 32. Solve -g - 1 - q = -5*x, -4*x + 3*g = -h for x.
2
Suppose -x + 2 = 0, f = 3*f - 5*x - 22. Let j(d) = d**2 - 15*d - 14. Let y be j(f). Solve 5*i - 15 = y*g, 6*g - 2*i + 6 = g for g.
0
Suppose -7*j = -256 + 186. Solve u + 4*z = j, 6*u - 5*u - 5*z = -8 for u.
2
Suppose 647*b = 643*b + 8. Solve -5*y - 20 = -b*l, l - 5*y - 1 - 19 = 0 for l.
0
Let z(h) = 8*h - 21. Let d be z(5). Let i = 22 - d. Solve 0 = -5*g + 5*b + 45, 3*b - i = -4*g + g for g.
5
Suppose -26 = -4*k - 0*b - 2*b, b - 9 = -k. Suppose -9*n + k*n = 0. Let c(y) = -y**2 + 8*y - 5. Let q be c(7). Solve r - 2*g - q = n, 5*g + 4 = -r + g for r.
0
Suppose 3*x = 3*j - 9, 0*x + x - 5*j + 7 = 0. Let p be (-575)/(-200) + x/(-16). Solve -2*s - p*n = -17, -2*n = -3*s + 2*s - 2 for s.
4
Let f(k) = -8*k + 30. Let y be f(4). Let i be 2 + 126/3*y/(-3). Solve 3*h - h = b + 5, 5*b + h - i = 0 for b.
5
Suppose 3*t - 29 = 25. Let u be -6*(-12)/(-8)*-1. Let g = u - 7. Solve g*k + 10 = 0, -5*r - t = k + 2 for r.
-3
Suppose -4*y + 23 = 3. Suppose -2*s + y = -7*s + 5*m, -2*m = 2*s - 6. Solve u + 4*v + 4 = -s, 5*u = -3*v - 25 for u.
-5
Let l be (1 + 0)/(8/(-128)*-4). Solve 3*r - 16 = 2*q + r, 0 = -l*r + 12 for q.
-5
Let k(f) = -13*f + 2. Let b be k(-1). Let g(y) = -3*y - 6*y**2 - 28 - 4*y**3 + y**3 + b + 2*y**3. Let r be g(-6). Solve -r = 4*s + 3*a + 1, 2*s - 8 = 4*a for s.
0
Suppose -2*d - 4*h + 12 = -0, 2*h - 6 = -4*d. Solve 5*i + 5*p + 15 = d, -5 = 4*p + 3 for i.
-1
Let d = 94 - 92. Suppose l - 3 = -0*l. Suppose v + 0 = r - l, -r + d*v + 6 = 0. Solve r*p = -4*b + p - 16, b - 5*p = 15 for b.
-5
Suppose -2*b = -x - b + 1, 5*x + 2*b = 5. Let r(v) = -4 - 4 - v - x. Let g be r(-9). Solve -3*d + 4*q + 32 = 0, g - 10 = 2*q for d.
4
Let p be 1/10 + (-32747)/(-1430). Solve 4*v - 16 = 0, v - p = -3*b - 4*v for b.
1
Suppose -346*o - 42 = -360*o. Solve -4*l - s - 3 = 4, 0 = -o*l + 3*s - 24 for l.
-3
Let k = 4 + 2. Let b = 258 + -258. Suppose b = 9*i - 6*i - k. Solve -5*z - i = 2*n, 26 = 3*z - 6*z + 5*n for z.
-2
Let r be (-2 + 12 - 10)*1/2. Solve -b - c + 8 = r, 2*b + 3*c - 24 = -5 for b.
5
Let h be (-1)/(3/(-9)*-3). Let l(o) = o**3 + 