- 1, 0 = -s*c + 5*f - 3*f + 3 for c.
1
Suppose 0 = -21*l + 12*l + 36. Let h = 0 - -2. Suppose -12 = -4*w, h*z = 4*w - 3 - 5. Solve -2*t = -z*d - 8, 0 = -2*t + l*d - 9*d - 13 for t.
1
Let z = 45 - 43. Solve -3*i + 15 = -3*d, -4*d + z*d = -3*i + 13 for i.
3
Let g be (8 + (-85)/20)*(5 + -1). Suppose c + 3 = -2*j - 3, -5*c + g = j. Solve 0 = 3*d - 5*d - c*a, d + 6 = a for d.
-4
Let w = 264 - 260. Solve -5*j = -g + 21 - 6, -j - w*g - 24 = 0 for j.
-4
Suppose -5*f + 18 = -b, -8*b = -2*f - 4*b. Suppose 2*i = 4*i - f. Let p be (-1)/(15/6)*-5. Solve t + 0*t = -p*s, 2*s = i*t for t.
0
Let x = -92 + 52. Let a = x - -41. Solve 5*f - 1 = 9, -3*f + a = -r for r.
5
Let a be 2 + (-3 + 4)*66. Let c = a - 36. Suppose -3*w = 5*o - 3 - 22, -o + 2*w - 8 = 0. Solve -3*r - 4*b + 35 = 0, c = 2*r + 4*b + o for r.
5
Let i = 99 - 92. Solve -s - 7 = -2*p, -3*p - i = 5*s + 2 for s.
-3
Suppose -120 = 8*y - 16*y. Suppose 0 = -5*c + y, 5*c + 15 = 3*r + 2*r. Solve p - r*p - 15 = 5*o, o + 4*p = -3 for o.
-3
Let w = 849 + -837. Let a = 6 + 0. Solve -4*m - w = 3*d - 32, d + a = 5*m for d.
4
Let w be (-1*(-2)/(-6))/((-3)/(-99)). Let d(s) = -s**3 - 11*s**2 + s + 14. Let x be d(w). Solve -2*c = 2*m + 10, -m + 0 - 9 = x*c for m.
-3
Suppose 30*b - 600 = -20*b. Solve -x = 3*g - 0*x - 16, 2*g - 5*x + b = 0 for g.
4
Let l be 15/10 + (-6)/(-4). Suppose -3 = l*i - 42. Suppose 4*t - i = -1. Solve t*w + 2 = -4*h - 5, 2*h = 4*w + 24 for w.
-5
Suppose -54 - 21 = -5*j. Suppose i + 4*i = j. Suppose 4*t = 2*y + 28, -4*t - y + 0*y + 16 = 0. Solve 5*q - 21 = c, -i*c + q - t = 2 for c.
-1
Let q(j) = j**2. Let o be q(-2). Suppose 3*y = c + 23, -o*c + 3*c + 5 = y. Solve y = 4*a + 2*k - 1, -2*a - 4 = -k for a.
0
Suppose 36 = 15*v - 6*v. Suppose 4*l - 2*l = v*s + 24, -3*l - 4*s + 66 = 0. Solve -4*a - 18 = 3*u + 1, 0 = -3*a - 3*u - l for a.
-1
Let s(h) = -3*h - 29. Let d be s(-11). Suppose 5*l + m = -2, m + m + d = -l. Solve 4*a - 4*c + 16 = l, 0 = 2*a + c + c + 12 for a.
-5
Let f(o) = 1 + 12*o - 10*o - 6*o. Let x be f(-1). Solve 0 = -2*r + x*b + 2, 0 = -3*r + 2*b - 8 - 0 for r.
-4
Suppose 8*j + 13*j - 84 = 0. Solve 4*d - 22 = -5*z + 13, -5*z - 5 = -j*d for d.
5
Suppose -3*r - r - 4*z = 52, -22 = 2*r + 4*z. Let j = 0 - r. Let s = j + -11. Solve -s*g + x - 1 = 3, 4*x + 24 = -4*g for g.
-2
Let v = -40 + 75. Suppose 4*u + v = 107. Suppose 3*p - 2*r = 10, -3*p - 2*p = -3*r - u. Solve 20 = h - 5*d, 3*d + p = -h - 6 for h.
0
Let b(m) = -m**2 + 1. Suppose 2*d = 2 + 24. Suppose -4*w + 5 = -2*f + 1, -3*w + 4*f + d = 0. Let j be b(w). Solve -2*h = -r + 2*h - 9, j = r + 2*h - 9 for r.
3
Suppose -4*g - 6 = -0*k + 2*k, 0 = -5*k - 2*g + 17. Solve -t - k*a + 11 = -5*t, -12 = -4*a for t.
1
Let z be 4/18 + (-4046)/(-18). Let g be 1830/z + (-4)/30. Solve 5*q + 12 = 3*o, 3*q = -4*o + g*q + 16 for o.
4
Let x = 9 + -10. Let j be 0 + x + 1 + 2/1. Solve 3*l - 3*m = -6, 4*l + 4 = 2*m - j for l.
-1
Let u(n) = -n - 8. Let c be u(-8). Suppose c = 2*w - 6*w + 12. Let r be (w - 3) + 0 + 4. Solve 5*b - 7 = j, -3 = -r*j + 4*b + 1 for j.
3
Let i(v) = 2*v**3 - 45*v**2 - 24*v + 23. Let b be i(23). Solve -4*z = -t - 18, 0 = -b*t + 3*t - 5*z + 19 for t.
2
Let w be 345/21 - (48/14 + -3). Solve -g - 2*g - 4 = -2*u, -4*u + 2*g = -w for u.
5
Let w be (6/(-9))/((-17)/15 - -1). Solve -5 = w*o, 3*m + 4*o = m - 6 for m.
-1
Let h(l) = -l**2 - 13*l - 2. Let n = -16 - -2. Let r be h(n). Let i be (-20)/(-160) + (-62)/r. Solve 5*z + 4*f - i = 41, 0 = 5*z + f - 30 for z.
5
Suppose -z + 13 = -4*c - 4, -z + 22 = -5*c. Let d be (z + 5)*(-14)/(-4). Let y = d + -5. Solve 0 = -3*g - 5*s - 24, -g = -y*s + s for g.
-3
Suppose 16 = 3*q - 11. Let k = -9 + q. Suppose 4*d + 4*t = -k*d + 20, 0 = 5*t - 15. Solve -5*h - d*g = 0, -5*g = -4*h - 0*g for h.
0
Suppose -21 - 15 = 3*w. Let j(t) = t**2 + 11*t + 18. Let r be j(w). Solve -5*z + 5*l = -0*l + r, z - 2*l = -9 for z.
-3
Let d = -779 + 783. Solve 3*s + 5*z = 9*z - 14, d*s + 3*z + 2 = 0 for s.
-2
Suppose c + 3*c - 88 = 0. Suppose 0 = -4*k - 5*b + 33, 0 = 49*k - 53*k - 3*b + 23. Solve -c = -4*g - g - 3*i, -3*g + k*i + 17 = 0 for g.
5
Let y be ((-9)/(315/14))/((-3)/15). Solve -y*l = n - 5, 4*l - 3 - 5 = 0 for n.
1
Suppose 3*v = 4*w + 49, v = -3*v - 5*w + 24. Solve 2*d - 13*t + 16*t + v = 0, 2*t - 14 = 4*d for d.
-4
Let b(v) = 3*v**3 - 13*v**2 + 6*v - 8. Let u be b(4). Solve -5*s = -2*w + 26, u*w - 13 = -3*w + s for w.
3
Let r(v) = v + 1. Let p be r(2). Suppose x - 3*i = -2*i + 4, -p*x - 5*i + 28 = 0. Solve -2*j + x*k - 12 = 2*k, -5*k + 37 = 3*j for j.
4
Suppose 0 = -38*u + 92 - 16. Solve 5*z - u*b + 3*b = -1, 4*z + 4*b - 12 = 0 for z.
-1
Suppose -2*f - 212 = -4*p, p - f - 16 = 38. Suppose 0 = 26*y - 22*y - p. Suppose m + 8 = -4*i, m + 2*i + 2 = -0*i. Solve 4*k + 4*v + 11 = -k, v - y = m*k for k.
-3
Let t(f) = 8*f - 12. Let z(i) = i**2 - i - 1. Let m(l) = t(l) - z(l). Let o be m(7). Solve r = -s - o*s - 16, -5*r - 8 = 2*s for s.
-4
Suppose 26 = -8*k + 6*k. Let c = k - -15. Let w be (4/c)/((-5)/(-10)). Solve -2*l + 11 = -3*x, -l - w*x = -0*l for l.
4
Let p(x) = x**3 + 11*x**2 - x - 7. Let v be 0 + (0 + -11)*1. Let q be p(v). Let f = -30 + 42. Solve q*l + 7 = -5*t - 20, 3*l + f = -t for l.
-3
Let z be (-174)/(-377) + (-99)/(-39). Solve 3*o + o - x = -5, z*o + 4 = x for o.
-1
Suppose 20 = 2*g + 10. Solve -6 = -2*n - g*b, -n + b - 6 = -2 for n.
-2
Suppose -4*t + 2*d + 16 = -24, d - 20 = -3*t. Solve -5*y + 6*y - 3*h = 7, 0 = -y + 4*h + t for y.
4
Suppose -12*l + 8*l + 20 = 0. Let z be (-5 - -5) + (-7)/1. Let r = z - -23. Solve 0 = -2*d - 5*j + 12, -l*j = 5*d - 4*d - r for d.
-4
Let m be (-2)/(-1 + (-6)/(-10)). Let r(t) = -t**3 + 95*t**2 + 6*t - 567. Let d be r(95). Let i be (6/8)/(3/12). Solve u - i*z = 6 + d, -u = -z - m for u.
3
Suppose -4*a - 4 = -5*a. Suppose 0 = -7*r + 20 + 15. Suppose d = 6*d - r. Solve 0 = -p + v - d, 2*v - 3*v - a = 0 for p.
-5
Suppose 5*n - 10 = 2*c + 3*c, 0 = 2*n + 2*c - 4. Suppose d - 12 = -2*d. Solve d*l + 30 = -f - f, 20 = -2*f - n*l for f.
-5
Let l = 63 + -51. Let i = l + -9. Solve -5*f + 40 = -5*t, f - 13 = -i*t + 5*t for t.
-5
Suppose -77*t = -90*t + 104. Let h be (-4)/2 + (4 - 0). Let r be (-3)/(-1) - (h - 17). Solve -2*q = -0*q - t, 2*o + 5*q = r for o.
-1
Let f = -131 - -139. Solve 12 = 4*o + 5*z + 7, 0 = -o + z + f for o.
5
Let d be (-1)/(1*4 + (-145)/35). Suppose -5*w + 24 = d*w. Solve 4*h - 5 = -5*k, -3*h + k = w*k + 10 for h.
-5
Let b(o) = 10*o**2 - 45*o + 2. Let n be b(5). Solve -5*r = -2*u - n, 5*u = r + 2*r - 20 for u.
-1
Let b be (-50)/(-8) - (-6)/8. Let o = -10 + b. Let f = 1 - o. Solve 3*l = -5*x + 25, f*x = 5*l - 3*l + 20 for l.
0
Let k = -206 - -210. Solve -3*i = 5*r + 2*i + 20, -r + k*i - 9 = 0 for r.
-5
Let h(l) = l - 11. Let r be h(6). Let k be 6/r*(-30)/12. Solve k = 3*f, 2*w = w - 2*f for w.
-2
Suppose -66*g = -65*g. Suppose -s - i = g, 0 = 5*s + 2*i - 3*i. Solve -4*t + 4*j = 12, -t - 5*j + s + 3 = 0 for t.
-2
Let s = -2155 - -2157. Solve 5*o + 3 = -3*v, 0 = 2*o - v - s + 1 for o.
0
Let o(u) = u**2 + 17*u - 16. Let h be o(-18). Solve 0 = h*d - d - 2*x - 3, -2*d - 10 = 4*x for d.
-1
Suppose -3*d + 26 - 3 = 2*t, -3*t = 2*d - 22. Solve 0 = -2*x - 5 + 3, 0 = -t*y - x + 11 for y.
3
Let o(h) = -2*h - 9. Let y be o(-6). Let b = 121 - 118. Solve 0 = y*i + 15, -c - b*i + 5 = 22 for c.
-2
Suppose -4*v = i - 103, -3*v + 7*v - 91 = 3*i. Let n(d) = -4*d**3 - 1. Let s be n(-1). Suppose -2*m + 1 = -s. Solve 5*o = -v, k + 4*o - m = -21 for k.
1
Let v(g) = -g**2 - 42*g + 160. Let x be v(-45). Solve n + 7*j - 3*j + 14 = 0, -5*j = 5*n + x for n.
-2
Let h be 3720/170 - (-4)/34. Let q = 22 - h. Solve 0 = -2*l - 3*c + c + 8, q = l - 4*c + 6 for l.
2
Suppose -2*c + 7 = -3. Solve 15 = -5*x + c*r, 2*r + 18 = 4*x + 4*r for x.
2
Let z = -379 - -383. Solve 7 = -3*t + z*t + 5*l, -2*t + 4*l = 14 for t.
-3
Let m = 52 + -52. Solve m = t + 5*l + 20, -t - l - 17 = 3*l for t.
-5
Suppose n - 6*n = -430. Suppose n - 74 = 4*m. Solve 2*c + 4*d = -m - 11, 8 = -2*d for c.
1
Let p = -45 - -47. Suppose -b = -2*b - 2*y + 4, 4*b = -p*y + 16. Solve -3 = 3*h + 3*n, -11 - b = -h + 3*n for h.
3
Let o(r) = -r + 9. Let j be o(1). Solve -4*s - 20 = 4*u, s - 3*u = 3 + j for s.
-1
Suppose 5*a + 16 + 28 = 4*q, -2*a = 4*q - 16. Solve -l = -3*p, 4*l = q*l for p.
0
Suppose 4*i + 4*q - 12 = 0, -2*i + 7*q + 10 = 5*q. Solve -3