 - 19 for f.
-1
Suppose -2*r + 5*d - 13 = -6, -22 = -3*r + d. Let i(g) = g**2 - 7*g - 13. Let a be i(r). Suppose -j + 20 = 3*j. Solve -3*s - s - 10 = -j*w, -w - a*s = -2 for w.
2
Suppose 0*a = -5*a + 100. Let r = -12 + a. Solve 4*l - 16 - 2 = -f, 2*f - 3*l = -r for f.
2
Suppose -2*y = -7*y. Let i(u) = -u**2 + 6*u. Let r be i(5). Suppose c - 4*n + 17 = 0, -3*c + n + r - 1 = y. Solve x = 3*h - 8*h + 17, 0 = c*x + h + 5 for x.
-3
Let z(r) = r**3 - 4*r**2 - 2*r - 10. Let f be z(5). Solve m - 2*m + 5*l = 18, 5*l = -f*m for m.
-3
Suppose 4*f + 2 = 5*f. Let b(z) = z**f - z - 4*z + 6*z + 4 - 2*z. Let u be b(0). Solve 0 = -5*r - s + 22, 0 = 2*r - 6*s + u*s - 4 for r.
4
Let v = 9 + -9. Suppose v = i - 0*t - 2*t + 4, 0 = 2*i + 2*t - 16. Solve 4*u - 17 = -5*k, 0 = i*k + 4*u - 9 - 3 for k.
5
Suppose -4*t + 5*w = -0*w - 1, 3*t - 2*w - 6 = 0. Solve -6 = -5*h - l, l = 5*h + t*l - 8 for h.
1
Let x = -1 + 8. Let m be (x - 8)*(-3)/1. Solve 4*k - 5 = n + m*k, -19 = 3*n - 5*k for n.
-3
Suppose 2*h + 5 = 13. Solve -7 = 2*x - z, 2*x - 2*z - 16 = h*x for x.
-5
Suppose -3*b - 3*z + 5 = -4*z, -4*z = 5*b + 3. Let n = 6 + b. Solve 5*w = 5*f + 10, -2*w + 2*f + n = w for w.
3
Let v be ((-5)/5)/(1*-1). Let l be -1 + (v - 1) + 7. Suppose l*c - 3*c - 3 = 4*i, -2*i = c - 11. Solve j + 1 + 2 = 0, -i*s - 5*j = 24 for s.
-3
Suppose 0 = 5*o - 10. Let w(n) = n**2 - 2*n + 3. Let r be w(o). Solve 0 = r*p + 4*m - 20, 7*p + 2*m = 2*p + 24 for p.
4
Let g = -7 - -21. Suppose 3*m = -9, g = q - 0*q - 4*m. Solve 4*l = 4*i, 2*l + 3*i = -8 - q for l.
-2
Let p be (-170)/(-3) - 5/(-15). Let y = 92 - p. Suppose 6 + 1 = a + 2*b, 4*a + b - y = 0. Solve -s - 3*d + a = 0, 4*d = 8*d - 16 for s.
-3
Let w be (-33)/(-12) - 12/16. Solve 5*l = -2*r - 2, -w*r + 1 = 3*l - 1 for l.
-2
Suppose -4*n + 3*d = -83, 2*n - d + 19 = 3*n. Solve 0 = -o - 2, n = 6*u - 3*u - 4*o for u.
4
Suppose l = 6*l - 15. Solve 4*i + 3*o = 13, 0 = l*i - 5*o - 11 - 6 for i.
4
Suppose -2*k + k + 2 = 0. Let j(f) = f**3 - 4*f + 3. Let z be j(k). Solve 5 = -2*o - z*g - 4, -o + 2*g - 1 = 0 for o.
-3
Suppose 3*k - 20 = -4*j, -2 = -2*k - 2*j + 10. Solve k*i - 3*s = 5, -5*s + 0*s = -4*i - 5 for i.
5
Suppose 2 = 5*p + c, 5*p - 11 = -2*c + 4*c. Suppose 0 = 4*u - 19 - p. Solve w + 5 = -g, g = -2*w - 0*g - u for w.
0
Let a = 0 + 9. Let f be 2/4 - (-35)/10. Suppose 0 = -2*b + m + 3, m = 5*b + f*m - 13. Solve -b*t = 4*r - a*r + 24, 3*r - t = 14 for r.
4
Suppose 4*i + 3*g = 8*i - 54, 0 = -2*i + 2*g + 26. Let m be (-4)/(-10) + (-66)/i. Let h be 4/5*(-10)/m. Solve -2*p = -3*j - p, h*j - 4 = 2*p for j.
-1
Suppose -z + 44 = -3*g, 4*g + 2*z = -24 - 18. Let v = g - -19. Let u be 4/v - (-7)/3. Solve -u*q - x = -3, 3*x = q - 2 + 1 for q.
1
Suppose 5 = -6*l + 7*l. Solve -2*p + 5*r + l = 0, -2*p + 0*r - 4 = 4*r for p.
0
Let b = 12 - 8. Solve 3*m - b*n - 17 = 0, -2*m = -m + 4*n + 21 for m.
-1
Suppose 2*w - 115 = -5*x, -85 = -4*x + 3*w - 6*w. Solve 0*o + o = 0, -2*o + x = -5*b for b.
-5
Let h = -12 + 12. Let z = -3 - -6. Suppose h = -z*r + 4*r - 3, 0 = -m + r - 1. Solve -m*q - q = 3*b + 15, -3*b = -2*q + 15 for q.
0
Suppose 2*d + 0*d = 6. Let k be 1*d + (5 - 4). Let t be k - (-1)/((-1)/(-1)). Solve -5*f + 3*f = x + 9, t*f + 23 = -2*x for f.
-5
Let k(u) = u**2 - 9*u + 5. Let g be -2 - (22/(-2) - 0). Let f be k(g). Solve 0 = 5*j - 5*i - f, 4*j + 3*i = -0*j + 32 for j.
5
Suppose -y = -4*w + 25, 6*w - 15 = w - 2*y. Suppose w*n = 4*o + 5, 4*n + 5 = -0*o + 5*o. Solve -19 = 2*l - o*d, 3*l = 4*d - 1 - 10 for l.
3
Suppose 0 = -2*v - 3*j + 4 + 7, 4*v - 16 = -4*j. Suppose 3 - v = o. Solve 0 = -2*y - o*d - 2, 2*y - 4*d - 18 = -y for y.
2
Suppose 2*p = 2*h + 3*h - 56, 5*h - 3*p - 54 = 0. Solve -5*o = 2*v - 0*o + h, 5*v + 11 = -3*o for v.
-1
Suppose -4*q = -0*q - 12. Solve q*j = 3*l - 2*l + 14, 3*l = 3 for j.
5
Let q = 10 + -6. Suppose -h + 2 = i - 0, 5*h = -3*i + q. Suppose -55 + 7 = -i*n. Solve -2*j - 3*j + 4*t = n, -2*j - 12 = -3*t for j.
0
Let y = 7 + -4. Suppose -5*w = l - 29 + 8, -y*w + 14 = 2*l. Solve 3*k + 28 = -2*t - 2*t, -w = -2*k + 3*t for k.
-4
Let m be (-2)/(-3) - 19/(-3). Let s(l) = -l**2 - l + 1. Let o(x) = -x**2 - 6*x. Let v be o(-6). Let h be s(v). Solve -y + h = 3*i, i + m*y - 4*y = 3 for i.
0
Suppose -3*p - 4*s = 0, 4*s + 0*s = -p. Solve -4*l + 1 - 10 = -3*w, p = 3*l - w + 3 for l.
0
Let s = 3 - 3. Let i = 3 + -35. Let x = i + 51. Solve -2*o - 3*w + x = s, 0*o - w = 4*o - 13 for o.
2
Let z(k) = -k**2 + k. Let q(x) = 7 - 4*x**2 + 0*x**2 + x**2 + 9*x. Let f(a) = q(a) - 2*z(a). Let h be f(7). Solve -4*b + 14 = 4*g - 2*g, -b + 3*g + h = 0 for b.
4
Suppose 3*b = 4*p - 32, -32 = -4*p - b + 6*b. Let k be (-20)/25 - p/(-10). Solve k = 2*c - 2*h + 8, -3*c + 5*c + 4*h = 22 for c.
1
Let d be 1/2 + 3/2. Suppose -7*s + d*s = -15. Suppose 4*m - s*m = 0. Solve 4*w - 11 = j, 2*w - 7 = -j - m*j for j.
1
Let x(w) = 5*w**2 - w + 1. Suppose -2 = 3*d - 5. Let m be x(d). Solve 4*l + 6 = y + m*l, 3*y - 4*l = 4 for y.
4
Suppose -16 = -3*w - w. Let z be (-4)/(w/3) - -3. Solve -5*r + 0 = 5*y - 15, z = -y + 5*r - 21 for y.
-1
Let l(s) = -2*s - 10. Let i be l(-7). Suppose j = 3*r - j + 6, -i*r + 3 = j. Solve r = -2*t + 5*w + 18, 6 = 4*t - 0*t + 5*w for t.
4
Let n = -6 + 6. Let g = -4 + 18. Suppose -5*x - 3*t - 6 + g = n, 2*x + 4*t = -8. Solve -3*s = x*y + 7, 8*s = -4*y + 3*s - 1 for y.
-4
Let y be (4 - -8)*(-2)/((-4)/3). Solve 0 = -2*l - i - 4*i - y, -3*i = -5*l - 14 for l.
-4
Suppose -2*i = 5*x - 31, 48 = i + x - 5*x. Suppose 54*g - 228 = 35*g. Solve -i = 4*k - 4*s, 2*s - g = -2 for k.
-2
Let w be (-4)/(3 - 1) + 4. Let c(l) = 2*l**2 - 7*l - 4. Let d be c(6). Solve 4*z - 7 = -a + 3*z, -d = -5*a - w*z for a.
4
Let s = -24 - -27. Solve s*d = -3*k - 24, -4*k - 2*d = d + 27 for k.
-3
Suppose -2*x = 3*y - 2, -2*x = 3*y + 3*x - 5. Solve 2*a - 25 = -3*p, y*p = a + p - 10 for a.
5
Let u(b) = -5*b. Let d be u(-1). Solve 2*x + 7*j - d = 2*j, 3*x + 1 = j for x.
0
Let a(h) = -h**2 + 5*h - 2. Let t be a(4). Solve l = -t*i - 4, -4*i + 2*l - 6 = 18 for i.
-4
Let n be (0 - 4/10)*-165. Suppose n = 4*q + 14. Solve 3*v - 8*v = 2*r - 26, -q = -3*r - v for r.
3
Let g = -18 - -22. Solve 0 = -4*f + 2*c + 8, 2*f + 0*f + 5*c = g for f.
2
Let w(c) = c**3 + 9*c**2 + c + 9. Let y be w(-9). Solve -3*l + 12 = -u - 0*u, -2*u + 5*l - 20 = y for u.
0
Suppose 0 = -5*q + 7 + 8. Let o = 5 - q. Let d(i) = -8*i - 54. Let x be d(-7). Solve 0 = -5*w - x*l + 6, 0*l = o*l - 6 for w.
0
Let x be ((-50)/15)/(2/(-3)). Suppose 3*g - x*g + 38 = 0. Solve -4*i = 12, -4*m - i + g = -6*i for m.
1
Suppose -2*y - y + 15 = 0. Suppose 0 = 6*p - p - 25. Suppose p*g + 12 = 3*l - l, -5*g = 2*l - 32. Solve -5*d - 35 = 5*h - 0*d, y*h = 3*d - l for h.
-4
Suppose s + 2 = 2*s + 4*m, 0 = s + m - 2. Solve 4*q = 3*z - 5, -s*z = -4*z + 2*q for z.
-5
Suppose -4*r + 76 = 2*b - 162, -b - 5 = 0. Let f be (-3)/15 - r/(-10). Suppose -f*c = -3*c - 6. Solve -n + c - 6 = 0, -2*p + 3*n + 10 = 0 for p.
-1
Let q = 17 - 13. Solve 0 = 2*r - h - h - 2, q*h = r + 11 for r.
5
Let m(s) = -5*s. Let n be m(-2). Let u be 0/(-2) + 0 - -5. Suppose -5*b = c - 3, -5*b + 3*c + 6 = 5*c. Solve f - 2*t = 5*f - n, b = u*f - 5*t - 20 for f.
3
Let i(u) = -u**3 - 7*u**2 - u - 9. Let o be -1*1/(3/21). Let r be i(o). Let l(t) = t**2 - t - 1. Let g be l(r). Solve 0 = -f - y + 1, g*f = 4*y - 9 + 32 for f.
3
Let y be (3 - 12/(-4))*2/4. Solve 0 = y*n - j, -2*n = -0*n + j for n.
0
Let h = 3 + 0. Suppose -4*c - 2 = t - 8, -h*t - c = -7. Solve y + q - 1 = 5*q, t*y - q - 9 = 0 for y.
5
Suppose -5*m + t + 0*t + 12 = 0, 0 = 4*m + 4*t. Solve f + f = 5*v - 9, 4*f + m*v = -6 for f.
-2
Suppose -5*b + 1 = -9. Solve 3*d + 2 = h - b*h, d = -2*h + 1 for h.
1
Let u be 6/2 + 0/5. Solve 2 = -y + u*c - 11, 3*c = 4*y + 16 for y.
-1
Let v be -3 + (-1 - 2 - 0 - -10). Solve 3*s = -v*g - 2*s - 22, -6 = 3*s for g.
-3
Let m(p) = p**2 + 8*p + 4. Let z be m(-8). Solve -2*q + 3 = -w + z*w, 4 = -q + 4*w for q.
0
Let s be ((-2)/(-4))/((-2)/(-8)). Solve -5*f + 10 = -v, f - 3 + 10 = s*v for v.
5
Suppose 0 = -4*w + 3*t + 14, -3*t - 2*t = -4*w + 18. Suppose -6 = -2*j + 4. Solve -j*k - 2*o = -29, -o - 3 + 15 = w*k for k.
5
Suppose 3*r - 3 = 5*u - 1, 5*u - 5*r + 10 = 0. Let v(o) = -7 + 3*o**u - 2*o**2 + 3*o + 0*o**2. Let d be v(-5). Solve d*s = -6, 0*z - 19 = -5*z - 3*s for z.
5
Let a(z) = 3*z**2 - 3*z + 2. Let d be a