 m = 13 - s. Solve 0*o - 5*o + m = 2*r, o - 8 = 4*r for o.
4
Let d(p) = -3*p**2 + 69*p + 2. Let f be d(23). Solve f*n + 5 = g, 4*g - 2*n + 16 = -3*n for g.
-3
Let z = 5 + -3. Suppose 0 = -v + 2*s + 2, 0 = 4*v - 5*s - 0 - 14. Suppose -v*d + 24 = -0*d. Solve -13 = 5*h - 4*c, d*h + 11 = 3*h - z*c for h.
-5
Let s = -985 + 987. Solve 0 = r, 0 = -s*f + 3*r - 8*r - 10 for f.
-5
Let h = -363 - -366. Solve 2*i - h = n, 5*i - 2*i - 9 = 3*n for n.
-3
Let h be (-2)/(-9) + 25/9. Let p = 189 + -133. Let m = 56 - p. Solve m = -h*f + 15, -b - f + 25 = 3*f for b.
5
Let d(b) = -2*b**2 - 31*b - 20. Let i = 5 + -19. Let o be d(i). Solve h - 4*h = -3*r - 12, -4*r - o = 2*h for h.
-1
Let j be (-6)/12 - (-6)/(-4). Let y = 7 + j. Suppose -y*h + 27 = -43. Solve -4*g = n + 1 + 7, -2*g = -4*n - h for n.
-4
Let y be (15/5)/(-9)*(-3 + 3). Solve x - 3*t + y + 8 = 0, 5*x = -4*t + 17 for x.
1
Suppose n = -n + 4. Let t = -14 - -8. Let g = 11 + t. Solve 0 = 3*l - 3*y - 15, g = l + n*y - y for l.
5
Let d(t) = 2*t - 6. Let v be d(4). Let c be 14/v + 2 + -5. Suppose -5*y + 3*w + 1 + 25 = 0, c*w - 8 = -4*y. Solve 5*p = -y*l - 5, 5*l - 3*l - 5*p = 5 for l.
0
Let r = 18 + -13. Suppose 6 = c - 5*m, -2*c + m - r*m = -12. Let u be ((-24)/(-2))/(c + -4). Solve -2*j = 16 - u, 0 = -2*l - 2*j for l.
5
Suppose 2141 - 611 = 255*x. Suppose -3*z = 5*q - 19, -5*q + 5*z - 1 = 4. Solve q*d - 3*m = d - 10, 2*d + m + x = 0 for d.
-4
Let i = 142 - 140. Solve -i*s = 4*l - s + 12, -10 = -l + 3*s for l.
-2
Suppose -6 = -5*v + 2*v. Let a be v*((-22)/(-4) - 4). Suppose a*p - 29 = k - 0*k, p = -2*k + 12. Solve -2*x - 4*m = x - p, -5*x = -3*m - 7 for x.
2
Let m be (-2)/((1 + (-18)/12)*2). Solve 0 = s - f + m, -f + 0*f = 5*s + 10 for s.
-2
Suppose 0 = -v - 5*u - 7, -4*v - 5*u + 7 = 5. Solve 2*g = 4*j + v*g + 5, 25 = -5*j + 5*g for j.
-2
Suppose 5*s - 10 = g - 24, 0 = 3*g - s - 14. Suppose 5*j = j - 4*r - 280, 5*j + 344 = -2*r. Let d = -65 - j. Solve -g*t - d*w = 19, t + w - 4 = -10 for t.
-1
Suppose -44*j + 16 = -40*j. Solve -5 - 1 = -y - 2*r, 4*y + j*r - 8 = 0 for y.
-2
Suppose 16*p = 12*p + 3*k + 21, 3*p + k = 6. Solve 2*b + 4 = -0*r + 5*r, p*r = 0 for b.
-2
Let b(y) = 3*y - 4 + y**2 - 7*y - 5. Let d(m) = -5*m - 4. Let x be d(-2). Let c be b(x). Solve 5*p - 2*z + 35 = 0, -5*z + c*z = -2*p - 20 for p.
-5
Suppose -17 = -3*h + 2*o, h - 5*o = 7 + 16. Solve -2*g + l - 3 = -0*l, -g - l - h = 0 for g.
-2
Suppose 148 = 156*i - 119*i. Solve -3*d - 13 = 2*u, -5 = -i*u - 2*d - 11 for u.
1
Suppose 3*j - 15 = 18. Suppose 4*p = 3*f - j - 24, -10 = -5*f - 3*p. Solve -3*t + f*t = 3*y + 1, 2*t - y = -5 for t.
-4
Let h be (-9 - 1160/(-48)) + 2/(-12). Solve -4*a - 5*r + 28 = 0, 4*r + 7 - h = 4*a for a.
2
Let w = 0 - 0. Suppose 2*k + 3*k - 2*r - 4 = 0, 4*r = 4*k - 8. Suppose k = -3*i + 5*g + 6, i = 4*i - 3*g - 6. Solve 5*h + c = i, -4*h + w*h = c - 1 for h.
1
Let o = 123 + -123. Solve q + 6 = -5*w, o = 3*q - 6*q + 12 for w.
-2
Let i = -7 + -3. Let b be (55/(-33))/(i/36). Solve -b = c - j + 4*j, 6 = -2*c - 4*j for c.
3
Suppose 4*b + 5 = 21. Suppose 0 = -4*w - b*u + 68, -2*w + 31 = 5*u - 4*u. Let v = -12 + w. Solve -2*d - v*x = -8, -x = -0*x - 2 for d.
2
Let w be (-600)/(-140) + 2/(-7). Solve 2*b + 5*z - 21 = 0, -5*b - w*z = -0*b - 10 for b.
-2
Suppose 85 = -11*p + 16*p. Suppose p = 3*z - 4. Solve -4*o = z + 13, -5*o - 24 = s for s.
1
Let a be 0*(-1)/4*2. Suppose -5*x = -2*x - 5*v + 26, -5*x - v - 90 = a. Let k = x - -22. Solve -4*o = -k*y - 11, -3*y = -o + y for o.
4
Let o(q) = -q + 2. Let b be o(-2). Suppose -2*t = -4*c + 10, 0 = 2*t + b*c - 3 - 11. Solve -u = -0 - t, 5*k + 3*u - 3 = 0 for k.
0
Let f(c) = -c - 2*c**2 + c**3 + 1 + 3 - 2*c. Let h be f(3). Solve -d + 6*d = 4*r + h, 4*d = 5*r + 5 for d.
0
Let b(d) = 1 - 4 + 0*d - d. Let h be (-2)/(-5) - (-81)/(-15). Let f be b(h). Solve -32 = -5*c - 4*y, 2*c - f*y = 4*c - 14 for c.
4
Suppose 2*v + 24 = -4*v. Let t(p) = p**3 + 4*p**2 - p + 1. Let l be t(v). Solve -l = 3*b + u + 15, -25 = 5*u for b.
-5
Let j(f) = -f**3 - f**2 + 10*f - 5. Let q be j(2). Solve 3*o - q*u = 2*o - 9, 3*o - 1 = -5*u for o.
-3
Let t be 35/(-50)*-5 + 2/(-4). Suppose 5*i + 5*s - 2 = 13, -t*i + 5*s = -49. Solve -3*x + 4*g = 5, 10 + i = -5*x - 3*g for x.
-3
Let s(u) = -2 - 5 + 2*u + 0*u. Suppose -5 - 5 = -2*w. Let j be s(w). Solve 0 = -4*a - 4*v - 8, 5*v - 3*v + j = -a for a.
-1
Suppose 0 = 436*i - 431*i - 230. Solve r + 5*p - i = -18, -2*r + 21 = 3*p for r.
3
Suppose -4 = -5*q + 5*j - 9, 2*j - 23 = -5*q. Suppose 3*a = 2*p - a - 10, 3*a = p - 5. Solve p*g - 1 = -h + 1, 10 = g - q*h for g.
1
Let h be 8/6*((-429)/(-26) - 15). Solve -v - h*j = -2*v + 10, 2*j = -3*v + 6 for v.
4
Let f(y) = y + 21. Let s(h) = -3*h**2 - 9*h + 11. Let w be s(-5). Let m be f(w). Solve 0 = -5*x + 3*n - n - 17, -m = -2*n for x.
-3
Suppose 9*z + 2*z = 33. Solve 3*d - d + 3*l = 21, 9 = -2*d + z*l for d.
3
Let k be 54/4 + (-15)/10. Let b = 33 + -45. Let l be 39/k - (-3)/b. Solve -i = -0*o - l*o - 16, -3*o - i = 8 for o.
-4
Suppose 0 = 49*g - 147 - 49. Solve 3*c = -5*o - 6, -g*o = -c + 4 + 11 for o.
-3
Let q be 15*(-1)/3*-1. Let z = 0 + q. Solve -4*n + 15 = t, t + 18 = 2*t + z*n for t.
3
Suppose 3*a = -2*w + 14, 3*w - 21 = -36. Solve -2*n + a*d = 7*d, -n + 3*d = 0 for n.
0
Let j = -47 + 86. Let v = 121 + -77. Let h = v - j. Solve 4*l + 5 = 3*d + 1, -28 = h*l + 2*d for l.
-4
Suppose -6*f + 12 = -12. Solve u + 5*b - 20 = 0, 4 - 1 = 3*u - f*b for u.
5
Let v(q) = -q - 26. Let m be v(0). Let g = m - -30. Solve 5*b = -g*w - 9, 0*b + 2 = -b - w for b.
-1
Suppose -4*n - 45 = -3*z, -5*z + 2*n + 39 = -2*z. Solve 0*q + 1 = 5*m - 2*q, m = -5*q + z for m.
1
Suppose -3*k = -5*a + 6*a - 3, 5*a - 15 = -k. Suppose -m + 4*l + 2 = -3*m, -l - 23 = -4*m. Solve -2*n = 3*w - m*w + 8, -5*w + 5 = k for n.
-3
Suppose -36 = -9*t + 6*t. Suppose -4*c = 0, t = 2*p - 0*p + 3*c. Let f be -2 + p + -1 - 0. Solve 0 = -3*k + 2*k + h - 7, f*k + 4*h = 0 for k.
-4
Let y(f) = -2*f**2 + 41*f - 117. Let i be y(17). Solve -2*v + i = -l, -3*v - l - 8 + 1 = 0 for v.
-1
Let q be (-2)/(4/2)*(2 + -11). Suppose -3*v + q = -6. Solve -r = -0*r + v*w + 11, -2*r = -w for r.
-1
Let l(s) = -7*s**3 - 10*s**3 + 3 + 2*s - 2*s**2 + 16*s**3 - 7*s. Let c be l(-2). Solve -3*m + 3 = 2*v + 11, 5*v + 4*m + c = 0 for v.
-1
Let m(s) = -s**3 + 14*s**2 - 15*s + 29. Let z be m(13). Solve 21 + 13 = 5*b + 3*c, -z*b + 4*c + 3 = 0 for b.
5
Let w = 37 - 10. Let k be 48/w + 4/18. Suppose 0 = k*l - 6 - 4. Solve -3*r = l*q + 16, -4*r - 6 = -2*q - 2 for q.
-2
Let n(s) = -s**2 + 19. Let k be n(0). Let v = -13 + k. Suppose 0 = -x + v - 3. Solve 18 = -x*o - 3*w, 4*o + w - 6*w - 3 = 0 for o.
-3
Suppose 0 = -4*t - h - 0*h + 13, -1 = 2*t - h. Solve -t*j - 8 = -m + 3*m, 2*j + 8 = 0 for m.
0
Let r be (7 - 2) + 0/(-1). Suppose 0 = -3*k + 4*o + 25, 5*k + 4*o - 80 = 3*o. Suppose 15 = 6*n - k. Solve -n*i + 20 = u, -r*u - 4*i + 7*i - 12 = 0 for u.
0
Let o = -840 - -843. Solve 21 = -2*i - o*k, 2*i - 5*i - 14 = k for i.
-3
Let g = 595 - 586. Solve 4*u = p - 1, 5*p = 8*p + g for u.
-1
Suppose 0 = 15*z - 48 - 27. Solve 0 = z*v - 4*p + 9, 5*v + 0*p = -p - 4 for v.
-1
Suppose 0 = -p + 4*c + c, -5*c = 3*p. Let z be (-10)/(p - 4/10). Suppose 0 = -5*r - z, -5 = 3*k - 0*r + r. Solve 0 = -5*i - 14 - 11, k = u + 3*i + 13 for u.
2
Let g be 3 - (-16)/(-20)*(-5)/2. Let s be 23/g - (6/5)/(-3). Solve -m + 5*m = -5*o - 21, s*o + 25 = 0 for m.
1
Let j = 8 - 28. Let y be 10/(-4)*32/j. Solve -3*t - 16 = -0*z + z, -z - y*t = 20 for z.
-4
Let t = -12 - -10. Let v be (-76)/(-18) + t/9. Suppose -c = v*c. Solve 19 = 3*u + 4*r, 3*u + 5*r = -c*u + 23 for u.
1
Let x be 19 - 19 - (-14)/2. Solve b = -5*h - 22, 3*h - x*h = 3*b + 11 for b.
3
Let s = -4 + -8. Let r be s*(20/15)/(-4). Solve -2*i - 10 = r*b, 0*b - 8 = i + 3*b for i.
1
Let h(z) = -2*z**2 - 21*z + 11. Let x(s) = s. Let v(b) = h(b) + 6*x(b). Let t be v(-8). Solve -4*a - 23 = 3*f, t*f = 5*a + 13 + 9 for a.
-5
Suppose q - 2 = 0, 3*w + 23 + 101 = -q. Let i = w - -44. Solve i = -2*z, 5*l - l - 5*z - 5 = 0 for l.
0
Let i be 2/(1 + (-180)/(-188) + -2). Let q = i - -53. Solve 0 = -a + 3*g + 7, q*g + 11 = a + g for a.
1
Let x = -512 - -514. Solve 5*w - 10 = x*i, -i - 3*w = 3*i - 6 for i.
0
Let m = -16 - -16. Suppose -4*i - 2*z = -12, 5*i + 3*z - 2*z = 9. Solve a + 5 = k + 2*a, m = k - a + i for k.
2
Sup