 - 1 for s.
1
Suppose 135 = 48*z - 105. Solve -5*l + z*s + 15 = 0, 2*s + 2 + 19 = 5*l for l.
5
Suppose 39*h = -43*h + 1312. Solve d = -4*q + 10, 5*d + q = -4 + h for d.
2
Let d = 965 - 962. Solve -3*s - s = -o + 3, 2*o - 6 = d*s for s.
0
Let y(l) = l**3 + 5*l**2 - 5*l + 7. Let i be y(-6). Let x be (-2)/40*-4*5. Let h be (i/x)/((-3)/(-9)). Solve 0 = -0*q + 2*q - 2*v, h*v - 4 = -q for q.
1
Suppose -4*b + 10*b = 72. Solve -2*t = -0*t - 4*g - b, -g = -5*t - 6 for t.
-2
Let h(w) = -w**2 + 19*w - 55. Let j be h(15). Solve 10 = -j*q - 5*f, 5*q + 0 - 26 = 4*f for q.
2
Let o be (108/(-10))/(5/25). Let y = o + 59. Solve -2*d - 2*d - 4*k - 20 = 0, d - 4*k = y for d.
-3
Suppose 4*g - v = 17, 2*g + 3*v + 14 = -v. Solve -3*k + 18 = g*i, -3*i - i - k + 21 = 0 for i.
5
Suppose -q = -3*y - 17, 3*q - 3*y - y = 36. Suppose q = -5*z + 4*o, z - o = 2*z - 2. Solve 3*a - 4 = 5*v, v + 3*v - 4 = z for a.
3
Suppose 0 = -8*d - 3 - 13. Let v be (-4)/((24/6)/(d*1)). Solve 0 = -3*i + 15, -2*c - 3*i - v*i = -27 for c.
1
Let o = -40 + 29. Let r = -4 - o. Suppose -10 + r = -y. Solve -14 = -2*n - 5*p, -2 = -5*n + y*p + p for n.
2
Suppose 13 = x + 10. Solve -x*v + 5*r + 18 = -2*v, 4*v - 2*r = 0 for v.
-2
Let j(u) = -6*u - 28. Let m be j(-5). Suppose 0 = 5*r + 4*z - m, 2*z + 2 = 4*r + 5*z. Solve 0 = -3*b - 5*n + 14, -4*b + 11 = n - r for b.
3
Suppose -4*i + 88 = 5*q, 5*i - 5 = -q - 0*q. Suppose 3*x - 3 = 4*l, 0 = -4*l - 19 + 7. Let f be -4*x/1 + -3. Solve -4*c = -7*c - 5*p - q, -2*c - f = -p for c.
-5
Let d be (0 - 1) + (37 - 34). Suppose 10*l + d = 42. Solve 0 = -3*h + 4*g + 7, 2 + l = 3*g for h.
5
Let n = 721 - 717. Let k(c) = c**3 + 4*c**2 - 2*c - 2. Let o be k(-4). Solve 0 = -x + 2*z, -n*x - 2*z + 7*z = -o for x.
4
Let n be -1*(-13 + 0 + 6). Solve n*a + k + 2 = 4*a, 0 = -3*a - 3*k - 12 for a.
1
Let r be (290/(-50) - -5) + (-138)/(-10). Solve 3*g + r = 3*a + 2*g, 3*g + 14 = 4*a for a.
5
Suppose -62 = 40*w - 262. Solve -o - w*l = 2*o - 3, -2*o + l = -2 for o.
1
Let s = -47 + 46. Let v(i) = 2*i**2 + 2*i + 2. Let q be v(s). Suppose 0*m = -m. Solve q*h - 4*f - 2 + m = 0, -h + 1 = 2*f for h.
1
Let k be 10/6*68/(-5)*-6. Let z = -132 + k. Solve 4*h + m = -17, 3*h + z*m = m - 24 for h.
-3
Let i = 233 - 226. Solve 3*m + i = -4*y, 5*y - m - 19 + 4 = 0 for y.
2
Let l be 2 + (-10)/65 + (-15)/(-13). Suppose -2 = l*g + f - 5*f, -5*g = 3*f - 16. Solve n + 3*z = 1 - 11, -2 = 3*n + g*z for n.
2
Let w = 86 - 65. Solve 3*h - 4*h - 5*q = -w, -3*q = 4*h + 1 for h.
-4
Suppose -2*y = 4, -4*f - 4*y - 2 = -f. Solve c + 2 = 3*o, -2*c - 7 = f*o - 5*o for o.
-1
Let l(k) = k**3 - 3*k**2 - k - 43. Let i be l(5). Solve -i*o = 2*y + 6, -8 = 4*y + 2*o - 0*o for y.
-1
Suppose 0 = 10*r - 6*r - 8. Suppose 0 = 4*i - i + 54. Let m be 3/i*-9*r. Solve -12 = -m*s - 3*a, -s + 3*a = -5*s + 17 for s.
5
Let k be (30/(-40))/(1/4). Let m be 1 + 17 + 0/4. Let d be (135/m)/(k/(-10)). Solve 8 = y - 2*i, -2*i = 3*i + d for y.
-2
Suppose -v + 7*v = -16*v. Solve 4*r + 3*k = 8, 2*r + 9*k - 7*k - 2 = v for r.
5
Suppose 3*x - o + 211 = 0, 0 = -3*x - 3*o + 2*o - 221. Let t be ((-3)/12)/(6/x). Solve -t*k + 5*a - 20 = 0, -a - 3*a = -4 for k.
-5
Let o = -54 - -17. Let x = o + 37. Solve x = 2*j - n + 8, -5*j + 9 = -10*j - 3*n for j.
-3
Suppose 12 + 16 = 7*r. Suppose 5*o + 10 + 10 = 0, 0 = -r*v + 5*o + 32. Solve 5*f - c = 19, -27 = -5*f + v*c - 0*c for f.
3
Let z(w) = w**3 - 5*w**2 - 6*w - 1. Let l be z(6). Let v be l - 1 - (-5)/1. Solve -4 = 2*i + v*t, i + 0*t + 5 = -3*t for i.
1
Let v be ((-12)/(-4) - 2)*4. Let d be ((-1)/(v/20))/(-1). Let z be (3/9 - -5) + (-2)/6. Solve 2*c + r + d = 0, 2*c + z + 2 = -3*r for c.
-2
Let j(y) = -27*y + 8. Let l be j(6). Let v = -137 - l. Solve 0 = 2*q + w + 11 + 2, -v = q + 4*w for q.
-5
Let d(p) = -3*p - 7. Let z be d(-5). Let m be 4/z*(9 - 3). Suppose 0*g = m*g. Solve -2*l + 5*f + 15 = 0, -4*l + g*l = 3*f + 9 for l.
0
Suppose 0 = 221*t - 229*t + 24. Solve 17 = 5*v - z, -v + 11 = -t*z - z for v.
3
Let n(c) = 3*c + 18. Let m be n(-5). Let l be (-2 - -8)*(m + 16/(-6)). Suppose 2*a = 3*a - 3. Solve l*x + 5*u = 2*u + 6, -u + 2 = -a*x for x.
0
Let q = -500 - -502. Solve q*s + 2*i = -8, -3*s + 16 = -4*i - 7 for s.
1
Suppose -1 - 3 = -2*o. Suppose o*k - 5*v - 16 = 0, -3*k + 5*v + 25 - 6 = 0. Solve -4*u + 28 = 3*m, -20 = 2*m - k*m - 4*u for m.
4
Let q(o) = o**2 + 14*o - 205. Let a be q(-23). Solve -x = 3*r - r - 3, 0 = -2*r - a*x for r.
3
Let k(l) = -l + 8. Let n be k(8). Suppose n = -g - 2*g, -88 = -4*p + g. Solve 5*o = -1 - 4, -5*j = 3*o - p for j.
5
Let u(w) = -2*w - 22. Let l be u(-12). Suppose l*p - 10 = -2. Solve 2*g + 18 = 4*i, p = -3*i - g + 10 for i.
3
Let h(l) = l**2 + 17*l - 164. Let b be h(7). Solve -4*z + 4*s = 1 + 11, b*z - 3*s + 11 = 0 for z.
-2
Let l(v) = v**3 - 10*v**2 - 12*v + 9. Let a be l(11). Let c(m) = -3*m**3 - 4*m**2 - m + 2. Let o be c(a). Solve -n = -0*n + 2*p - 5, 0 = -5*n + 3*p + o for n.
3
Let k(f) = -2*f - 6. Let o be k(-9). Suppose p + 16 = 4*m, -4*m + 2*m + 18 = -3*p. Suppose m*q = -q + o. Solve u + q = -i - u, -3*u - 22 = -2*i for i.
5
Suppose -4*m = -2*n - 12, 9 = 3*m + 3*n - 0. Let d = 0 + 2. Solve 5*r - d*h + 18 = 0, 5*r - h = m*r - 7 for r.
-4
Suppose 4*y = -h + 5*y - 4, y = 4*h + 1. Solve -d = 3*b - 7 - h, 3*d - 15 = 0 for b.
1
Let v be (-3)/(-15) + 36/20. Let k(p) = p**3 - 2*p**2 - 8*p + 4. Let y be k(4). Solve 3*m - v*f + 2 = y*m, -2*m + 5*f = 5 for m.
0
Suppose 0 = 7*k - 62 + 48. Solve -k*h = -10, 5*c + 7 - 2 = 5*h for c.
4
Let p = 1589 - 1579. Solve -4*f + 4*v = -6*f - p, -5*f + 15 = 2*v for f.
5
Let j = 8 + -2. Suppose -4*o - 2 = -j. Solve 5*v - 17 = u, 0 = 3*u - 4*v + 2*v - o for u.
3
Let m(w) = 3*w + 23. Let l be m(-6). Solve 4*g = -b - 14, -l*g - 10 = -g - b for g.
-3
Let d(m) = -m**3 + 13*m**2 + 32*m - 27. Let u be d(15). Solve 6*b = v + 4*b + 8, -u*b + 9 = 0 for v.
-2
Let t be -1*4*38/(-38). Solve 3*q - 2*m = 20, 0 = -m + 2*m + t for q.
4
Suppose -20 = -1749*a + 1745*a. Suppose u + 3*h = -0*u - 9, 0 = -4*h - 16. Solve 0 = -a*d + u*f + 18, 4*f + 0*f = 4*d - 16 for d.
3
Let a be ((-31)/(-6) - 5) + 4/(-24). Let z be (0/(-1))/(-3 + 6). Solve a = -5*g + 5*p - 45, z = p - 4 for g.
-5
Let o(q) = -q**3 - 13*q**2 + 11*q - 40. Let l be o(-14). Solve -3*m + 0*m = 3*f, 5*f + 12 = -l*m for f.
-4
Suppose 7*m + 112 = 42. Let p be m/(-5) + 3 - (4 - 1). Solve -2*i - 2 = -5*f, -3 + 1 = f + p*i for f.
0
Let f be (-1)/3 + 371/(-21). Let y = -17 - f. Let o be 1/y + (6 - -4). Solve -3*k + 5*r - o = 0, r = 4*k - 0*r + 9 for k.
-2
Suppose -17*p - 264 = -332. Solve 10 = d + p*y - 4, 0 = 5*d - 5*y + 30 for d.
-2
Let p(z) = z**2 - 8*z + 10. Let q be p(7). Let k = -15 - -18. Suppose 5*h - 5*i = 6 + 34, -5*h - k*i = 0. Solve q*w + 9 = -y, -w + h*y + 10 = -y for w.
-2
Let y(n) = 2*n**2 - 59*n + 32. Let g be y(29). Solve -g*s + 25 = 5*d, -6*d - 17 = -2*d - 5*s for d.
2
Let r be (-21)/6*2/(-1). Suppose -8 = 3*i - r*i. Suppose 0 = 2*k - 6, 2*j + 2*k = k + 25. Solve -i*g + 4*a = a - 11, g + j = -4*a for g.
1
Let i be ((-225)/12)/(-3) - (-30)/(-24). Solve -2*u + 0*u + 10 = 0, 3*v + i*u - 10 = 0 for v.
-5
Let f = 19 + -13. Suppose 2*s = -f + 12. Solve 4*z = b - s*b - 2, -2*b + 19 = -3*z for z.
-3
Let v = 32 - 39. Let y = 9 + v. Solve h - o + 5 = 0, -y*h - 3*o - 6 = 4 for h.
-5
Suppose 3*x + 4 - 10 = 0. Suppose g - 1 = -2, 3*c - 2 = x*g. Suppose -4*f = c, z - 4*z + 3*f + 24 = 0. Solve 0 = y - q - 6, 0*q = 4*q + z for y.
4
Let y be (-1)/2 + 15/6. Let d = -224 - -232. Solve -3*v + d = y*p, p - 6 = 4*p for v.
4
Suppose 0 = -23*m + 14*m. Solve z - 2 = m, -4*t + 7*t = z + 4 for t.
2
Let y = 198 + -346. Let a be (2/(-4))/(6 - y/(-24)). Solve -l = -a*p - 5, 4*l - 3*l - 1 = -p for l.
2
Let d be 1 - -4 - (-2 + 3). Let n = -11 + 33. Let h be n/99 + (-4)/18. Solve 4*g = -5*y + 23, 2*y + 9*g - d*g - 16 = h for y.
3
Let u be 0/(-1 + 3) + 2. Suppose -u*p + 20 = 2*p. Suppose -27 = -y - 15. Solve 0 = -4*o + 2*x - 7 - p, y = -4*o - 4*x for o.
-3
Let s(q) = 2*q**2 - 16*q - 2. Let j be s(5). Let k = -27 - j. Solve -k*b = -c - 10, -4*c - 3*b = c - 6 for c.
0
Let i(k) = k**2 - 17*k + 18. Let h be i(16). Suppose -4*m + 5*x = -1 - 2, -4*x = -h*m. Solve 0 = -2*j + 2*d - 4 - m, -5*j = 5*d - 15 for j.
0
Let u = 626 - 623. Solve -2*o = -2*k - 14, -4*o = -0*k - u*k - 25 for k.
-3
Let w = 161 + -159. Suppose 10 = -u + 7, 