, 2*q - b*f - x = -2*f for q.
5
Suppose 4 = -s + 3*s. Suppose -s*x + 5*h + 17 = 0, -3*h = 5*x - 20 - 7. Suppose -3*u + x = -u. Solve 6 = 3*w - 2*o + u*o, 4*w - o - 1 = 0 for w.
1
Let m = 36 + -36. Solve -6*j = a - j + 17, 2*j + 8 = m for a.
3
Let c(p) = 3*p - 1. Let o be c(1). Solve 0 = -5*i + 4*j + o, -2*i - 2*j + 3 = -5 for i.
2
Suppose -14 = -2*o - 0*o. Let s(y) = 4*y. Let g be s(4). Solve -5*f + 4*l + g + 0 = 0, f + 3*l = o for f.
4
Let s(a) = 3*a. Let f be s(-2). Let j be -6*((-30)/(-9))/(-2). Let h = j + f. Solve -6 = 3*l, 4*r - 6 = -h*l + l for r.
3
Suppose 3*i = -2*i - 2*d + 19, 11 = 3*i + d. Suppose 4*g + i = 11. Suppose -g - 1 = -q. Solve 5*y - 15 = 0, 9 = -q*r - 2*y + 5*y for r.
0
Suppose 0 = 3*r + 4*v - 24, -5*r + 6 = -2*v - 34. Let l be (-8 + r)*2/4. Solve 3*i - 5*k - 5 = -l*i, 5*i + 3*k = -3 for i.
0
Suppose 3*z - 8 = 10. Let y be ((-3)/z)/(1/(-14)). Solve -3*h = 3*w - 5*w - 7, y = w + 2*h for w.
1
Suppose -4*r = 4*r. Solve -5*g + 2*d = 14 + 16, 5*g - 5*d + 45 = r for g.
-4
Let w = 3 + -2. Suppose 0 = s + 6*s - 21. Solve -2 - w = -s*n, 4*d = n - 21 for d.
-5
Suppose 0 = -8*z + 50 + 30. Solve -5*f + 25 = -5*j, z = 5*j - 3*f + 35 for j.
-5
Let j(o) = o**3 + 2*o**2 + o. Let f be j(-1). Let k(t) = 8*t - 225. Let r be k(29). Solve 5*z - 3*s - r = f, 0 = 2*z + 3*s + 5 + 9 for z.
-1
Suppose 9*b - 4*b = 10. Suppose 2*v - 6 = 5*g + 4, g = -b. Solve 0 = 3*h + 5*a + 8, v*a + 5*a = -2*h - 12 for h.
4
Let k = 18 - 15. Suppose w + 1 = k. Solve -3*c + 3*g = g - 1, -w*c - 5*g = 12 for c.
-1
Suppose 5*h = -2*o - 8, -4*h - o = 2*o + 12. Suppose 5*t + 55 - 155 = h. Solve t = 2*c - 2*x - x, -5*x = -3*c + 32 for c.
4
Let c(h) = h**3 + 4*h**2 - 2*h - 5. Let f be (2/4)/(1/(-2)). Let a = f - 3. Let s be c(a). Solve -2 = -o - 3*t, o - s*o - 2*t = 0 for o.
-1
Let y = -1 - 1. Let o be -2*5/y - 2. Let r be 15/o + (-3)/3. Solve g = -r*l - 14, 5*g = -l - 9 - 4 for l.
-3
Let s = 2 - -7. Solve -4*r + 5*g + 4 = -2, 5*r + 2*g = -s for r.
-1
Suppose 2*v = -v + 33. Solve -i + 4*i + 4*t = -v, 4*i + 5*t = -13 for i.
3
Suppose 5*u = -g + 20, -g = u - 2*g + 2. Let f(i) = i**2 - 6*i + 1. Let z be f(6). Let y = 1 - z. Solve -u = d - 3*o - 5, d - 5*o - 2 = y for d.
2
Let y(x) = -x**2 + 10*x - 4. Let l be y(9). Suppose 2*h = -d - l + 27, -3*d = 3*h - 51. Solve u = -4*u + 5*q - 5, -5*u - 2*q - d = 0 for u.
-2
Let w(j) = 2*j**2 + 6*j - 4. Let c be w(-5). Suppose -3*v = 4 - c. Solve n + n + 3*h = 5, -v*n + 4*h = 0 for n.
1
Suppose 2*s + 6 = 16. Solve -4*b = -b - 4*j + 13, s*j = -5*b - 10 for b.
-3
Let x = -7 + 14. Let h = 10 - x. Let y be (-3)/(-9) + 14/h. Solve 7 = -5*k + 6*k - 2*v, -4*v - 17 = -y*k for k.
1
Suppose -2*g - 38 = -3*l - 9, 0 = -4*g - 4. Let f = l + -6. Let n(s) = -s**3 - s**2. Let c be n(-2). Solve -4*k = x - 17, c*k - 8 = f*k + x for k.
5
Suppose 4*j - 3*v - 10 = 0, -2*j + 2 = -3*v - 0. Let c be (0 + 27/6)*-2. Let a be ((-3)/c)/(2/12). Solve -j*q + 4*r = -32, -a*q = -3*q + 5*r + 28 for q.
3
Let g(y) be the first derivative of -y**3/3 + 7*y**2 - 10*y - 7. Let w be g(13). Solve 0*n + 16 = w*n + 2*h, 0 = 5*n - 5*h - 10 for n.
4
Let i be (-208)/(-117) - (-4)/18. Solve -w + 18 = -3*h, w - i - 1 = 0 for h.
-5
Let d be (-5 - 62/(-12)) + (-2)/12. Solve d - 8 = s + r, s + 4*r + 20 = 0 for s.
-4
Let a(n) = -n + 4. Let b(c) = -c + 13. Let z be b(10). Let f be a(z). Suppose -2*p + f = -7. Solve 3*r + 4*h = -28 + p, r - 11 = 5*h for r.
-4
Suppose -v = v - 6. Solve 6*h - v*o = 3*h + 15, 5*o + 7 = -h for h.
3
Suppose 0*k = -3*u - 3*k + 15, u = 5*k - 1. Solve -5*s + 4 = -d, -3*d + u = -s + 2 for d.
1
Suppose 0 = -4*j + 5*z + 3, j + 5*z - 7 = 0. Solve 2*g = y + 4, j*y + 0*g = -g - 8 for y.
-4
Let y be (-1)/6*-2*0. Let x(u) = u**3 + 4*u**2 + 2*u + 3. Let j be x(-3). Solve 0 = -p - t + 3, 2*p - t + y = j for p.
3
Let a = -10 + 10. Suppose 2*t - 3*l - 10 = a, 5*t - 2*t = -5*l + 15. Solve -3*u = -t*w - 11, 2*w + 11 = -5*u - 12 for u.
-3
Let t be 5/4*(8 + 0). Solve -4*x - t = -3*f, -f + x = 5*x + 18 for f.
-2
Let a(j) = -3 + j - 2*j - 1 + 0*j. Let w be a(-7). Solve 4*t + w*o = 3*t - 5, -2*t = 3*o + 7 for t.
-2
Let r = -17 + 17. Solve -3*u + r + 3 = -3*z, -2*z = -u - 2 for u.
4
Suppose -o + 4*h = -90, -289 + 84 = -2*o + 3*h. Suppose 5*q - o - 65 = 0. Solve -4*n + 5*k - 10 = -n, -3*n - 4*k = -q for n.
5
Suppose -7*y + 3*y + 16 = 0. Solve t - 5*a = -2*a + 17, y*t = -5*a for t.
5
Let a(f) = f - 12. Let c be a(0). Let g = -10 - c. Suppose 3*k + 28 = g*y - 0*y, -3*y - 3*k = -42. Solve 5*j - y = 3*v, -2*j + 2*v - 1 = 3*v for j.
1
Suppose -4*r - 3 = -19. Suppose -z + 16 = -r*p, z - 4*z = 3*p + 12. Suppose 0 = -2*l + 6*l - 8. Solve -t + 5*o + 1 = -l*t, -t + 4*o + 8 = z for t.
4
Suppose 4*f - 1 = 11. Solve -2*v - j - 12 = -f, -3*v = -5*j - 19 for v.
-2
Let u(z) = z**2 - 6*z + 1. Let f(j) = -2*j**2 + 12*j - 3. Let q(o) = 6*f(o) + 11*u(o). Let a be q(3). Solve 25 = -3*t - 4*l, -2*t - 5 = a*l + 9 for t.
-3
Suppose t + 2 = 4. Suppose a = 3*x - 1, -t*a + 2*x + 5 = 3. Solve r - 2*r = -a, -3*v - 5 = 2*r for v.
-3
Suppose -4*j = -32 + 12. Suppose k - 2*t - 7 = 0, 5*k - 7 = 2*t - 4. Let b be (-2 - (k - -1)) + 4. Solve -2*m = z, -5*z = j*m - 3*z - b for m.
2
Suppose 1 = i - 4. Suppose -36 = -i*v + 79. Solve 4*r + 5*c + 1 = -v, -3*r = c + 7 for r.
-1
Suppose -h - 4 = 3*h + 4*z, -4*z = -5*h + 4. Suppose h = -2*y + 4. Let q be 5/1 + 0 + -2. Solve -4*k = -3*o - k, -q*o = y*k - 5 for o.
1
Suppose 0*r + 22 = -r - 4*k, 4*r = -k - 13. Let o be (-2 + 1)*-2 - r. Solve -b + c - o = 0, 4*c = b - c + 12 for b.
-2
Suppose -3*h - 2*h = 3*z + 16, 4*h + 5*z = -18. Let y = 5 + h. Suppose -3*k + 1 = x, 4*x + 4*k = y*k + 15. Solve 4*n + 3*f = -13, 4*n = -x*f - 4 - 8 for n.
-4
Let w(t) = -t**2 + 14*t + 5. Let f be ((-4)/(-12))/(1/42). Let b be w(f). Solve -b*s = -5*z + 15, -z = -s - 4*s + 1 for z.
4
Let s = -5 + 15. Suppose 2*z - 3*q + 14 = 0, 0 = 4*z - 6*z - 2*q - 4. Let c = z + 6. Solve c*v - 14 = 4*m, 5*v + m - 34 = -s for v.
5
Let f be ((-11)/2 - -4)*(-16)/6. Solve 5*r + v = -2*v - 18, f*v - 5 = 3*r for r.
-3
Suppose 3*v = 62 + 58. Suppose -l = 3*l + v. Let m be (-8)/l*(-20)/(-8). Solve w = m*n, -4*w = 5*n - 10*n for n.
0
Let h = 34 - 29. Let y(s) = 2*s**2 + 3*s. Let w be y(-2). Suppose -7*d + w*d = -30. Solve h*c = -2*u - 3*u, -2*c - d = -4*u for c.
-1
Let d be (-1)/(((-8)/22)/4). Let n = 16 - d. Solve 0 = 3*p - n*c - 27, -5*p - 5*c = -2*c - 11 for p.
4
Suppose 5*t - 11 = 9. Suppose -8 = -2*y + t. Solve -2*d + 5 = 5*s, -y = 2*s - 8 for d.
0
Let u = -2 - -3. Let n be 0 + 6/2 - u. Suppose -47 + 19 = -7*s. Solve 0 = 4*q + 20, t + n*q - s*q = 5 for t.
-5
Let n = 37 + -10. Suppose 0 = -2*b + v + n, 3*v - 71 = -4*b - 2. Suppose -u - 8 = 2*g + 1, -2*u - 2*g - 8 = 0. Solve -z = 3*t - b, 5*z + 0*z + u = 4*t for z.
3
Suppose -19*w + 21 = -12*w. Solve 4*s + 3*v = -20, 12 = w*s + s - 5*v for s.
-2
Let s be (-4)/(-10) - (16/40 - 5). Solve i = s, -o = 3*o - 5*i + 29 for o.
-1
Suppose 3*y + 0*y = 3. Let l be y/(13/4 + -3). Solve 3*r - 11 - 5 = -l*s, 3*r + 16 = 4*s for r.
0
Let c be (28/(-35))/((-4)/(-50)). Let k = c - -14. Solve 3*i + i - 2*w + k = 0, i + 4*w - 17 = 0 for i.
1
Suppose -3*j + 2 = -2*j. Suppose j*s - 3 = 3. Solve -s*g - 1 - 3 = -4*y, -4*g - 16 = 0 for y.
-2
Let f = 4 - -1. Solve 10 = 2*k + f*j - 0, -k + 8 = 4*j for k.
0
Let j be -1*3/12 + 41/4. Solve a = m, 0*m = 5*m + 5*a + j for m.
-1
Let s be 6/(-9) - 50/(-3). Solve 36 = 4*z + 4*b, -5*z + b - 1 = -s for z.
4
Suppose 4*h - 5 - 7 = 0. Let o = -19 - -35. Solve -4*x = 4*w - o, -3*x - h*w + 6*w + 18 = 0 for x.
5
Let v = 25 - 23. Suppose v*p = -1 + 25. Solve -k = -4*w - 3*k + 4, 0 = 3*k + p for w.
3
Suppose -4*v - 1 = -5*s, 2*s = v + 2*v - 1. Let p be v/6*3*6. Let c = -7 - -11. Solve -c*z + 2*a - 4*a - 18 = 0, p*a = 4*z + 23 for z.
-5
Let s = 76 + -64. Solve 2*i + 3 + s = -5*o, 20 = 4*i for o.
-5
Suppose -27 = -3*f + 21. Suppose 3 = k + 1. Let q = -29 + 34. Solve -5*m = -s - 28, -q*m - k*s + f = s for m.
5
Let k be (-2 + 4)/((-3)/(-6)). Suppose -3*r + 2 = -k. Suppose -f = -5*u + 16, r*u - 4 = -0*u - 2*f. Solve 2*z = 8, u*x - 5*z + 22 = -10 for x.
-4
Let z(d) = -d**3 + 7*d**2 + 4. Let s be z(7). Solve -o - 5 = 0, -o + 2 = s*i - 3*o for i.
-2
Let u(h) = h - 2. Let i be u(11). Suppose 4*r - x - 4 = i, 0 = r + x - 7. Solve -l - r*l - 14 = 2*a, 0 = 2*l + a + 6 for l.
-