3*b for s.
-3
Suppose -15 = -2*y + 5*m + 7, y - 17 = 4*m. Suppose -y = -c + v, -4*c + 12 = -0*v + 4*v. Solve -x - c*s + 9 = 0, 12 = 5*x - 3*s + 2*s for x.
3
Suppose -22*i - 2*t = -19*i - 10, 0 = 5*i + 2*t - 22. Solve 9 = 3*n + 3*x - i, 2 = -2*n + x for n.
1
Let i(f) = -f + 8. Let n = 4 - -3. Let v be i(n). Let y(q) = 11*q**3 - 1. Let o be y(v). Solve -b - 7 = 3*x + 1, b = 3*x + o for x.
-3
Let w = 70 + -79. Let x be 6/w + (-16)/(-24). Solve 4*s = -2*n + 10, x*n - 25 = -4*s + n for s.
5
Suppose -27*f = f + 420. Let i(x) = x**2 - x + 3. Let o be i(4). Let l = o + f. Solve -3*r - q + 2 = l, 3 + 6 = 5*r - 4*q for r.
1
Suppose -s = 4*s - 15. Suppose -22 + 76 = s*v. Solve 2*t = t + 4, -2*o + 5*t - v = 0 for o.
1
Let a be (92/(-16))/(-1) + (-21)/28. Solve -3*k = 2*s - 7*k + 22, s = a*k - 20 for s.
-5
Let f(k) = k**3 - 25*k**2 - 25*k + 4. Let s be f(26). Solve -5*w + 0*r - s = r, r = 5*w + 20 for w.
-5
Suppose v + v - 10 = 0. Let r = 25 - 16. Let b(a) = 4*a - 12. Let g be b(4). Solve -4*k + v = -5*o, -5*o + 26 + r = g*k for o.
3
Suppose 6*z + 10 + 8 = 0. Let l be (-8)/z*12/8. Solve 2*c - 4 = -12, 2*n - l*c - 26 = 0 for n.
5
Let k(x) = -x**2 + 6. Let j be k(0). Suppose -p - 10 = -j*p. Solve p*l + 0*t = 2*t, 3*l + 5*t + 32 = 0 for l.
-4
Let l be (-2)/4 + (-3)/(-6). Suppose 0 = 3*h - 4 - 5. Let o be 1/(((-50)/16 + h)/(-1)). Solve 4*d + 3*x - 9 + 4 = 0, d + 3*x - o = l for d.
-1
Let j be 6/11 + (-2646)/(-594). Solve a - 18 = -j*c, 5*a + c + 0*c + 6 = 0 for a.
-2
Let f be (-6)/24 + (-146)/(-8). Let z be (-12)/(-54) + 86/f - 3. Solve 3*p - 2*x + 7 = 0, z*p = -p - 4*x + 23 for p.
1
Let o = -1128 + 1130. Solve -21 = 2*n - 3*g, -4*g + 29 = -n - o*n for n.
-3
Let l(c) = -2*c - 12. Let x be l(-8). Suppose -g = -5*g + 5*v + 12, -5*v = 2*g - 6. Solve -g*j + k + 0 + 8 = 0, -x*k - 8 = 0 for j.
2
Suppose 11 + 7 = -3*t - 2*n, -31 = 2*t - 5*n. Let d = -5 - t. Let u = 2290 - 2286. Solve -2*v = d*a - 5, -v + 5*a - 25 = u*v for v.
-2
Let i be 40/60*(-18)/(-4). Solve 2*t - q + 1 = 0, 5*q = t + i*t + 17 for t.
2
Let g = -22 - 1. Let d = 26 + g. Solve 4*c + 4*p - 6*p = 0, 0 = d*p for c.
0
Let b(i) = -i**3 - 25*i**2 - 66*i + 5. Let d be b(-3). Solve -3*z + 4*z + d*u + 20 = 0, -u = z for z.
5
Let z = 150 + -147. Solve -2*q = z*d - 14, 2*q + 5*d - 22 = -4 for q.
4
Suppose 3*i = -2*i - 60. Let x be 11/3 + 8/i. Suppose -x*w - w + 32 = 0. Solve 3*p = -6, -5*p - 3 - w = -b for b.
1
Let a(g) = -g**3 + 4*g**2 - g + 69. Let c be a(0). Let o = c - 61. Let t be 2/(-5) - 12/(-5). Solve -2*k - 12 = 4*h, t*k - 4*k = o for h.
-1
Suppose 10*v = 8 + 12. Solve 26 = 5*o - 2*s, v*o = o + 4*s + 16 for o.
4
Suppose 308 = 4*w + 296. Solve -4*l - k + 17 = 0, -4*k - 24 = -w*l - k for l.
5
Let r = 20 + 0. Suppose 0*i + i - 3 = 0. Suppose -3*q = 2*m - 53, i*q = -q + r. Solve 3*x - 14 = y, 0 = -3*y + 5*x - 3 - m for y.
1
Suppose 5*x + 20 = -30. Let q be -15*(34/x - -3). Suppose 7*k - 3*k = 20. Solve k*p - 5 = -i + q*i, 10 = -4*i + p for i.
-3
Let o = 16 + -28. Let c = 14 + o. Solve -5*j + 24 = c*v + 3, -5*j + 5*v + 35 = 0 for j.
5
Suppose 34*c - 33*c - 26 = 0. Suppose 4*a = -c + 38. Solve -4*g = 3*f + 22, 1 = -3*f + 2*g + a for f.
-2
Suppose -2*n = -5*z - 22, n + 3*n - z - 8 = 0. Let r be -7 + (4 - n) - -26. Solve -5*h + g = r, 2*g - 10 = h - 2 for h.
-4
Suppose 0 = 5*c - 5*k - 245, 0*k - 257 = -5*c + k. Let x = -39 + c. Solve -5*r + 4*q = 0, -2*r + x = q - 0*q for r.
4
Let n be -3 + (-30)/(4 - 7). Suppose 21 + n = 4*f. Suppose -f*q = -3*q + 2*l - 6, -5*l - 25 = 0. Solve -4*h - 38 = q*d + 2, 0 = 2*h + d + 15 for h.
-5
Let f(d) = d**3 + 7*d**2 + 6*d - 16. Let b be f(-5). Solve 3 + 17 = 4*o, -k - b*o = -15 for k.
-5
Let b(l) = l + 16. Let o be b(-12). Let x be 2/7 - (-65)/91. Solve -2 = y - 3*m - 0, -o*y = -3*m - x for y.
1
Suppose -d = 3*s - 8, -2*s = -32*d + 33*d - 7. Solve 3*t + 9 = -5*p + p, 0 = -d*t - 4*p - 7 for t.
1
Suppose -4*h + 29*p = 30*p - 41, 0 = -2*h + 4*p + 34. Solve -4*b = 2*z + 26, -h - 4 = 5*z for b.
-5
Let i = 3 - -5. Let d be 36/27 + 4/6 + i. Solve -20 = 3*j - 5, 0 = o - 3*j - d for o.
-5
Let q(r) = r + 7. Let a be q(3). Let u be (-3)/2*(-19 + 17). Solve u*d - 2*x = 3*x - a, -25 = 4*d + 5*x for d.
-5
Suppose 0 = g - 19 + 36. Let a(t) = -t**3 - t**2 + 37. Let q be a(0). Let c = g + q. Solve -z = -4*v - 17, 4*v - z = -v - c for v.
-3
Let s = -95 - -125. Let t = s + -28. Solve 3*g + 2*v = 4*v - 4, -g - 4 = t*v for g.
-2
Suppose -o = 2*o + 3*z - 3, 0 = -5*o - z + 1. Let s = 2 - o. Suppose -s*m + 10 = 3*c, c + 3 = 4*m - 3. Solve c*r - 3*r - 1 = 2*n, -5*n = -2*r - 20 for n.
2
Let a be 27/(-1 - (-7)/4). Suppose a*w + 15 = 41*w. Solve w*v + 15 = 2*q + q, -2 = -4*q - 5*v for q.
3
Suppose 0 = z + 4*o - 32, 72 = 4*z + 2*o. Suppose 0 = -j, 2*j - j - z = 4*l. Let p be (-1 - l) + 3/(-1). Solve 4*n - 3*i = -4, 2*n - 4 = 3*i - p for n.
-4
Let x be (-6)/12 + (-230)/4. Let i = x - -60. Solve 5*r = -g + 14, 5*r + i*g + 6 = 6*g for r.
2
Let a = 5768 + -5768. Let q(k) = k**3 - 6*k**2 + 7*k - 2. Let p be q(5). Let l = 0 + p. Solve a = 2*w + 2*z + 4, -5*z + 2 = w - l*z for w.
-1
Let a = -23 + 38. Let i = -19 + a. Let z be i - 4/4*-8. Solve 5*x + 37 = -z*p, 4*x + p + 25 = 2 for x.
-5
Suppose -7 - 2 = 3*d, 2*d = v - 6. Let x(t) = 2*t**2 - t. Let m be x(-1). Suppose v*l - l = -m. Solve 5*y + 3*h = -23, -l*h - 11 = -y + 3*y for y.
-4
Suppose -4*m = m + c - 46, -2*c + 11 = m. Suppose 3*f + m = -i + 6*f, 4 = 4*i - 2*f. Solve 3*j + 5*g = -6, -i*g - 10 = 5*j - 8*g for j.
-2
Suppose -5*l = -1698 + 1673. Solve 3*y - 2*b = 18, -5*y + l = 4*b + b for y.
4
Let b(v) = -v**2 - 10*v + 10. Let i be b(-9). Suppose -3 = 5*x - 13. Suppose -3*p = x*g, 3*g - 8 + 21 = 2*p. Solve -k = 5*o - i, p = k + o - 1 for k.
-1
Suppose 2*q - 19 = 5*u, -q + 14 = -4*u - 0*u. Suppose 11*n - 6*n = 10. Solve 5*l = q*z + 30, -n*z + 3*l = 6*l - 2 for z.
-5
Let t = 218 - 215. Solve -j - 6*h - 1 = -4*h, h + t = 0 for j.
5
Let c = -12 - -17. Let a(h) = -h**2 + 4*h + 2. Let r be a(c). Let s be (10 - (5 + -2)) + r. Solve -s*q - 14 = -v, 5*v - 10 = 2*q + 6 for v.
2
Let y(x) = 5*x**2 - 26*x - 48. Let h be y(-2). Solve 4*u = -5*m + 32, -4*u - 3*m + h = -0*u for u.
3
Suppose 2*c = -5*k - 37, 3*c + 3*k + 68 = 8. Let y = c - -51. Solve 5*u = -2*d + 5*d - 5, -5*u - y = 2*d for u.
-4
Let n be (6/6)/2*4. Solve 2*u + 5 = -w, -5*u + n = -3*w + 31 for u.
-4
Let r = 173 + -170. Suppose 6*n - 120 = 2*n. Solve -r*m = 2*b + 25, 3*b = -3*m - 0 - n for b.
-5
Let q(x) = -x - 10. Let l be q(-5). Let w = l - -15. Solve -3*a + 3 + 1 = -h, -5*h + 5*a - w = 0 for h.
-1
Let r(h) = h**3 + 2*h**2 - 2*h + 4. Let n be r(0). Let q be 4*((-14)/n - (13 + -17)). Solve -5*i = q*c - 32 + 1, 0 = 5*i + 3*c - 34 for i.
5
Let m = -62 + 65. Solve -y = -5*r - 15, -2*r = -2*y + m*r + 20 for y.
5
Suppose 10*h + 4 = 11*h. Solve 3*f = h*i + 10, -3*f = 2*i + 2*i + 22 for i.
-4
Let d = 16 + -9. Suppose d*t - 13 = 6*t. Solve 0 = -f - 3*a - 1, t - 4 = -f + 5*a for f.
-4
Let i(f) = f**3 - 8*f**2 + 4. Let a be i(8). Suppose -2*d = -3*d - a, 5*s + 255 = -5*d. Let w = -32 - s. Solve r + 0*r + 4*v = 5, w = 3*r - 5*v for r.
5
Suppose -i = 4*i - 225. Let f be ((-2)/(-6))/(5/i). Suppose -2*v + 4 = -d, -15 = -4*d - f*v + 2. Solve 0*a + a + 5*o = -29, -6 = 4*a - d*o for a.
-4
Suppose -5*a - b + 4*b = 152, 3*a - 5*b = -104. Let l = 30 + a. Solve 0 = -2*s - 8, l*s = 4*q - 13 + 1 for q.
1
Let d(w) = -10*w + 745. Let c be d(74). Solve 2*v - 3*z = 12, v = 4*z + 6 + c for v.
3
Let w = -2 + 2. Let m be 58/16*1 + (-3)/(-8). Solve -3*k = -f + 7, 4*k - m*f + 10 + 10 = w for k.
-1
Suppose 0 = -2*z + 5 + 5. Suppose 2*g + 2*x = -0*g + 10, -2*g + 3 = -z*x. Solve -g*u + 4*p + 4 = -u, 5*u + 3*p = 26 for u.
4
Suppose 0*l = -6*l + 12. Suppose l*t = -3*t. Solve -1 = 3*f + 2*i, -i + t = -f + 8 for f.
3
Let q(b) = b**2 - 8*b - 4. Let u be q(9). Let r(g) = -u - 2*g - 4*g**2 + g**3 + 5*g**2 + 4. Let p be r(2). Solve -3*j - 2*t + p = -0*j, -4 = 4*t for j.
3
Let a be 9 + -3 + -2 + 4. Solve 11 = -5*p + d, 3*d - d = -a for p.
-3
Let p = 762 + -760. Solve 3*j = o + 5, p*o + 4*j - 3 = -13 for o.
-5
Let f be (2 + -2 + 3)/((-33)/(-44)). Solve 0 = -f*p - 3*z + 5, -5*p + z + 20 = -2*p for p.
5
Suppose -30*m = 5*k - 33*m - 75, -5*m - 60 = -4*k. Solve 6*q - 4*r = q + 15, 0 = -5*q + 3*r + k for q.
3
Let t be 19*(-3 - -1)/(-2). Solve 2*q = 8*b