11 for f.
-1
Suppose -17*q = -14*q - 3. Let v be (3 - -2)/q + -2. Solve 5*u - 10 = -5*m, 5*u - v*u = -4*m + 14 for u.
-3
Let x(l) = -l**2 + 9*l + 93. Let j be x(-6). Solve -2*s + 0*s = -3*q - 8, -5*q - j*s = 26 for q.
-4
Let o(d) = -d**2 - 4*d + 38. Let x be o(-8). Solve 36 = x*s - 2*s + 4*l, 5*l = -s + 25 for s.
5
Let n be 1/4 - (322/(-56) + 6). Let c be 1 + (n - (2 + 0 + -4)). Solve -2*l + 14 = -3*z - c*l, z + 4*l = -23 for z.
-3
Let f(p) = 4*p**2 - p. Let k(v) = -4*v**2 + 35*v + 10. Let w = -47 + 56. Let y be k(w). Let r be f(y). Solve -15 = 5*b, -r*b - 4 = -2*c + 3 for c.
-1
Suppose 0 = -1528*g + 1524*g - 3*f + 14, 5*g = f + 8. Solve 5*r + 2*l = l - g, 2*r = -2*l + 4 for r.
-1
Let z(r) = 27*r + 108. Let n be z(-4). Suppose -7*l + 54 + 86 = n. Solve g - 3 = -3*c - l, g + 1 = c for g.
-5
Suppose 0 = -4*s + 5*o + 2, 3*o - 194 = -s - 185. Solve 4*j - i + 112 = 115, -2*j + i + s = 0 for j.
0
Suppose -975 = -6*d + 1233. Let y = d + -364. Solve -s + 5 = y*n - 1, 0 = -3*n - 5*s - 4 for n.
2
Let o(h) = -h - 14. Let n be o(-23). Suppose -20 = -z - 4*z. Suppose t + 12 + 0 = z*w, 4*t - n = -3*w. Solve -4*a + t*a + 20 = 2*g, -a - 5*g + 23 = 0 for a.
3
Let n = 73 - 75. Let p = n + 5. Solve -2*f + 5 + 13 = -4*b, p*b - 2*f = -16 for b.
-2
Let h(x) = 3*x**2 + x + 2. Let i be ((-24)/36)/((-2)/(-3)). Let r be h(i). Solve 3*y + 2*y = -2*c - 18, r*c + 5*y = -26 for c.
-4
Let w be ((-7575)/250 + 8)*(-12 + 2). Solve -2*r + 3*m = -209 + w, 2*r - 14 = -4*m for r.
-1
Let w = 2580 - 2519. Solve 0 = -2*y - 4*n + 18, w*y + 2*n = 66*y - 21 for y.
5
Let y be (-1)/(4/546*-3)*68/238. Solve d - 10 = -r - 17, -4*r = d + y for r.
-2
Let n = -10647 - -10665. Solve 0 = 22*w - 19*w - 4*y + n, 3*w + 3*y = 3 for w.
-2
Suppose -6*n + 18 = 3*l - 7*n, 2 = -2*l - 4*n. Suppose l*h - 16 = -d, -h = 3*d + 19 - 11. Solve -2*x + 10 + 2 = -h*y, -4*y = -5*x for x.
-4
Suppose 2*g - 4 = 2. Suppose a + 3*t - 22 = 0, g*a - 11 = 4*t - 2*t. Let w be (-288)/144 - (0 - 7). Solve -3*i = -w*k - a, 0*k = 3*k - 2*i + 4 for k.
-2
Suppose -x - 3 = 0, 20 = -5*p + 5*x + 190. Solve 15 = 5*i, -4*u + 10 = -3*i + p for u.
-3
Let i = 3171 - 3168. Let u be (-2 - -4) + -3 + 1. Suppose -2*z - 3 = -1, u = -i*p + z + 1. Solve 5*k = 2*v + 13, -2*k - 5*v - 18 = -p for k.
1
Suppose 0 = 3*v + 7 + 2. Let r be ((-4)/6)/(1*1/v). Let f be r/2 + -2 - (-6 - 0). Solve 22 = 3*a - f*w, -w + 2*w + 14 = 3*a for a.
4
Let z be 22698/27 + (-6)/9. Let b = 847 - z. Solve 2*p - 4*o + 20 = 0, 0 = -p - b*o + 6*o - 1 for p.
-4
Suppose -351 = 2*v - 11*v. Let j = -34 + v. Suppose -5*s + 3*a + 30 - 6 = 0, j*s + 2*a - 9 = 0. Solve -1 = 3*p - 4*c + 10, 0 = -5*p + s*c for p.
3
Let i(c) = 513*c + 1542. Let z be i(-3). Solve -5*y - z*b = -10*y + 17, 0 = 4*b - 4 for y.
4
Let l(o) = 6*o - 27. Suppose 6*x - 26 - 4 = 0. Let g be l(x). Solve 4 = -i - g*y, 5*y - 7 = 3*i + 5 for i.
-4
Let u(a) = a**2 + 11*a + 15. Let v be u(-10). Suppose m + 19 = 4*n, 0 = 3*n + n + v*m - 25. Solve i + 5 = -2*o - 2, 0 = -2*o + n*i - 25 for o.
-5
Let n be (0 - -1)*(-9 - -62). Let k = -48 + n. Suppose 0*r - r - 8 = -3*q, 5*r = k*q - 10. Solve -2*x + 1 = h, -3*x = q*h - 8*h - 21 for h.
-3
Suppose 4*n - 27 = 5*v - 43, -v + 2*n + 2 = 0. Solve -v*p + 2*p + 2*k = 2, -5*p + 2*k + 4 = 0 for p.
2
Let r(h) = -2*h**3 - 8 + h**3 + 1 - 14*h + 9 + 15*h**2. Let l be r(14). Let z = -37 - -39. Solve 3*o + l*m + 0*m = -18, -5*o = z*m + 26 for o.
-4
Suppose -5*c = -5*j + 285, -j + 4*j - 179 = 5*c. Suppose 9*l = 100 + j. Solve 4*i + 32 = y + 3*y, -l = 4*i - y for i.
-3
Let q = 137 + -247. Let r = -105 - q. Solve 0 = -0*k + r*k + 4*n - 22, 4*n - 16 = -2*k for k.
2
Let p(m) = 5*m - 27 - 5*m + 2*m + 0*m. Let d be p(16). Suppose 5*f = d*k + 17 - 47, k = 5*f + 18. Solve o + 2 = k*q, o - 4*o + 4 = -4*q for o.
4
Suppose -210*y + 195*y = -30. Let q(f) = -17*f - 65. Let z be q(-6). Solve -3*u - z = 5*d - 3, -y*u - 16 = 2*d for d.
-5
Suppose 2130*h - 2140*h = 0. Suppose -r - 8 = -5*r. Solve r*d + h*d = 4*z - 6, 5*d = -3*z - 15 for z.
0
Let i(o) = -137*o - 1368. Let d be i(-10). Solve 2*z + 4*w = -d, 19 = 5*z - 4*w - 4 for z.
3
Let l = -409 - -400. Let q be 54/l + 11 - 1. Solve -q*d + 12 = 2*a + 38, 0 = d + 4 for a.
-5
Suppose -577 + 91 = -243*q. Solve -q*c - 4*n = -4*c, -5*c + 22 = n for c.
4
Let b be 0 - -5 - -12*14/1232*-22. Solve -2*q - q - 4*i = 12, -5*q + b*i - 20 = 0 for q.
-4
Let u = -3 - -9. Suppose 0*b + 5*l = 2*b + 2, l + u = 2*b. Let r be b/(-10) + 468/45. Solve 3*w = w + 4*o + r, 5*o = 3*w - 10 for w.
-5
Suppose -80*y + 144*y - 384 = 0. Solve -5*p + 11 - 4 = 3*l, -y = -4*p - 2*l for p.
2
Suppose 0 = -2*q - 2*d + 6, 4*d = -68*q + 73*q - 33. Solve q*p = p - 2*f - 30, 0 = p + 5*f + 30 for p.
-5
Suppose 0 = -7*p - 34 - 22. Let a be (2 + (-3)/((-6)/(-5)))*p. Solve -3*i + 4*q + 24 = 0, 0 = a*i + 2*q - 10 for i.
4
Let s be (4 - 4) + -1 + -1 + -4. Let c be s/4*(-76)/57. Solve -5*j = 20, 0*j + c*j - 17 = 5*t for t.
-5
Suppose 3*h + 0*h = 0. Let w be (-1)/(-3 + 4)*h. Solve j + p + 2*p = 0, w = 4*j + 3*p - 9 for j.
3
Let w(x) = -29*x - 171. Let h be w(-6). Suppose 0 = 2*k - 5*j - 21, 0 = -6*k + 5*k + h*j + 10. Solve -5*n + 2*c - k = -2*n, -5 = -n - 4*c for n.
-3
Suppose 5*i - 256 + 136 = 0. Suppose -5*w = w - i. Solve -s = m - w, -2*m = 2*s - 7*s + 20 for m.
0
Suppose 8*q + 7*q - q = 0. Let i be -1 + q + (8 - -14). Solve -4*a - i = 4*p - 5, -6 = 2*a for p.
-1
Let v(g) = -g**3 - 60*g**2 + 120*g - 243. Let b be v(-62). Solve -2 = -c, -18*p + 1 = -21*p + b*c for p.
3
Let l = 2280 - 2275. Solve 4*d - 5*a - 24 + 14 = 0, l*a = 2*d for d.
5
Suppose -4*y - 3*f = 17, -y = 4*y - f + 26. Let q(o) = -o**2 - 17*o - 42. Let n be q(y). Solve u + 2*u - 25 = -5*c, 0 = -4*u + c + n for u.
5
Let w = 241 - 236. Suppose 0 = w*f - 0*o + 2*o - 12, -1 = f - 3*o. Solve -2*c = c - 5*p + 13, 8 = -f*c + 3*p for c.
-1
Suppose 0 = 113*r - 57*r - 55*r - 4. Solve 5 = -3*x + 5*a, -26 = r*x - 0*x + 3*a for x.
-5
Suppose 0 = -5*z - 2*l + 18, 0*z = 2*z + 5*l - 3. Suppose -z*b = 441 - 89. Let s = b - -113. Solve 0*t + t = -4*y - 5, 5*y + s = -5*t for t.
-5
Let a = 20 + -18. Suppose -14 - 26 = -8*b. Suppose -b*g - 8*w = -4*w - 14, w - 1 = 0. Solve y - 10 = -a*r - 2*r, 0 = -g*y + 2*r for y.
2
Let j be 0*((-113)/(-2373))/((-6)/(-14)). Solve 2*l = -5*k + 9, j = -7*l + 4*l - k + 7 for l.
2
Suppose 6683 = 2*h + 6655. Solve -3*z + 4*r - h + 13 = 0, r + 2 = 3*z for z.
1
Let a(j) = -2*j + 48. Let x be a(12). Suppose 0 = -7*l - l + x. Suppose -18 = -5*r + 12. Solve -i = -r*i + l*q - 35, -5*q + 45 = -5*i for i.
-4
Let c = 87 + -85. Suppose 5*m = 6*q - 2*q + 4, -c*m + 16 = 2*q. Solve -2*b - 18 = -3*s, s = -4*b - q*s + 8 for b.
-3
Let o = 318 - 227. Suppose 15 = -88*i + o*i. Solve l + 3*y = -6, 6*l - 30 = l + i*y for l.
3
Let z(i) = -i**2 - 10*i + 23. Let j be z(-12). Let v be (-2)/4*(-1 - j)*-1. Solve -4*h + 3*g = -v*g - 6, -2*g = 4*h + 4 for h.
0
Let f(s) = -s**2 - s + 4. Suppose -3*k = -0 - 12. Suppose k = -2*t + 12, 0 = -4*d + 5*t - 20. Let h be f(d). Solve c + h = 3*l, -c - 2 = c - 4*l for c.
5
Let o(p) = -p**3 + 9*p**2 + 49*p - 8. Let s be o(-4). Solve s*x - 4*l = 3*x + 20, x + 4*l = -20 for x.
0
Suppose 8 = 4*v + 5*d, 75*v - 77*v + 4 = -4*d. Solve v*z = 4*a - 16, 16*a - 20*a + 16 = z for z.
0
Let s = -4 - -6. Suppose 5*n - 43 = 2*m + 2*m, 34 = 2*n + 4*m. Suppose 3*d = 3, -5*g + s*d = 3*d - n. Solve -l = -g*i - 2*l - 1, 2*l - 12 = 3*i for i.
-2
Let h be 2/(-2) + (80 - 70). Let d(p) = -p**3 + 9*p**2 + 21*p - 180. Let x be d(h). Solve -3*i - x + 4 = k, 5*i - 4*k + 31 = 0 for i.
-3
Let f(i) = i**2 + 38*i - 362. Let q be f(8). Solve 0 = -3*d + 3*k - q, -5*k - 27 = 2*d - 2 for d.
-5
Let u(p) = -3*p**3 - 45*p**2 - 43*p - 11. Let k(b) = b**2 + 23*b + 112. Let j be k(-9). Let o be u(j). Solve 16 = o*a - 2*l, 5*a - a = l + 18 for a.
4
Suppose 3*l = -3*y + 5*l - 493, -l + 659 = -4*y. Let v = -163 - y. Solve -z = 4*r - 3, 0*r + v*z = -5*r + 3 for r.
1
Suppose -5*q + r + 99 = -4, -3*q - 2*r + 80 = 0. Solve 2*o - 1 = -3*c - q, 2*c = o - 7 for c.
-5
Suppose 5*i - 2 = -k, 2*i = -42*k + 43*k - 2. Solve i = f + 3*v - 2, 3*f - 5*f - 3*v = 2 for f.
-4
Let a = 8 + -2. Suppose 10*d - 8*d = 42. Suppose 0 = -7*o + d + 14. Solve -x = o*s - 9, a*x - x + 5*s = 25 for x.
4
Let y = -3662 - -3664. Solve 5*s + l = 4*l - 21, 0 = y*l - 4 for s.
-3
Let r(l) = -2*l**3 - 18*