- f for b.
5
Suppose -12 = -n + 13. Solve 0 = 3*v - 3*y + 12, -4*y = -0*v + 5*v - n for v.
1
Let h(a) = -a**2 + 5*a - 1. Let p be h(4). Suppose -p*z + 7*z + 4 = -4*y, 2*z = -3*y + 2. Solve 2*v - 7*v - y*d = 8, -5*v - 5 = 5*d for v.
-4
Let c = 4 - 0. Solve -c*w + 8 = -4*n, -4*n - 25 = n for w.
-3
Suppose 3*r - 3*b + 2*b = 11, -5*b = 10. Solve 0 = -5*h + r*x - 1 + 2, 4*h + 4*x + 12 = 0 for h.
-1
Let s be (-9)/(-2) - (-12)/8. Suppose -x + s = x. Solve 4*q = -4*v - 24, 19 + x = -5*q + 3*v for q.
-5
Suppose 3*f - 10 = -4. Suppose f*p - 3 = p. Solve -3 = 3*h, p*a + a - 4*h + 16 = 0 for a.
-5
Suppose 0 = -2*g - 30. Let q be 2*2*g/(-20). Solve 0*f + q*f + 8 = 4*x, -3*x = -5*f - 17 for x.
-1
Suppose 3*c - 7 = -1. Let o be (c + -2)*(-1 + 2). Suppose o*m + 12 = 4*m. Solve 4*b = -5*t - 1, -3*t - 2*t + m*b = -27 for t.
3
Let b(q) = -q**2. Let l be b(-1). Let m(r) = 3*r**2 + r + 2. Let f be m(l). Solve 2*a - 4 = -j + 5, -21 = -5*j - f*a for j.
1
Suppose 0 = 66*t - 59*t - 28. Solve -7*a + 4*a + 5*s = -30, t*s = -3*a + 3 for a.
5
Let z = 4 - 0. Let l = 9 - z. Solve 0*j + j = -f - 5, -l*f - 2*j - 13 = 0 for f.
-1
Suppose -5*x - 3*t = -4, -3*x = t + t - 3. Let v be (-65 - -3)/(x - 1). Suppose v = 2*r - 19. Solve a = -6 + 7, -r = -4*u - 5*a for u.
5
Let v be (3/4)/((-11)/(-44)). Solve 0*q - 4 = q + d, 4*d = -v*q - 16 for q.
0
Let i = -5 + 15. Solve 5*f + 4*z + 6 = 0, 5*f - 5*z + i = -5 for f.
-2
Suppose 9 = 2*u + 5. Suppose 0 = -3*j + u + 1. Solve 0*a + 5*a + j = f, -3 = 5*a - 3*f for a.
0
Suppose -2*w = 3*w - 25. Suppose -w*f = -4*a - 134, -f - 8 = -4*a - 38. Solve -b = -4*l + 15, 3*l + 2*b - f + 1 = 0 for l.
5
Let h(j) = j**2 - 7*j + 2. Let q be h(7). Suppose -q*z + 2 = -6. Solve -5*k - 29 = -3*m, -2*k = 5*m - 3 - z for k.
-4
Let a(w) = w**2 - 7*w + 7. Let o be a(6). Suppose -x - o = 0, 0*g - 4*x + 8 = 4*g. Solve t = -k - 2*t - 1, -k - t - g = 0 for k.
-4
Let p = 8 + -4. Suppose -p = -5*z + 4*z. Solve -2 = z*c + u, -3*c + u + 4*u = 13 for c.
-1
Suppose -k = 3*k - 4. Let t be (0 - k)*2 + -33. Let c = t + 64. Solve 5*m + 3 = 5*a - 2, -5*a - m = -c for a.
5
Suppose -2*n - 3*m + 21 = 0, 0*m = 4*n - 5*m + 13. Suppose -3*c = -31 + 13. Solve 3*v - c*v = -15, -q - v = -n for q.
-2
Let m(g) = g**3 - 12*g**2 + g - 8. Let s(c) = c**2 - 4. Let i be s(-4). Let t be m(i). Solve -3*k - 3 = 3*v - 0*k, 0 = 4*v - t*k - 20 for v.
2
Let q = -95 + 99. Let r be (14/(-6))/((-2)/(-6)). Let p be 4/14 - 131/r. Solve s = 2*v - 3*v + 7, -q*s - v = -p for s.
4
Suppose -1 = 5*v - 26. Solve -5*b = 2*r + 15, v*r + 5*b + 15 = -0 for r.
0
Suppose z + 0*z - 1 = 0. Suppose -2*j + 9 - z = 0. Let c(o) = o + 7. Let u be c(-5). Solve -2*m - j*v = -4*m + u, -3*m + 4*v + 7 = 0 for m.
5
Let y be 2 - 0*2/(-4). Suppose 3*q = y*q - 15. Let j be (-54)/(-10) - (-6)/q. Solve -4*b + 2*b + j*p + 3 = 0, b = 2*p + 1 for b.
-1
Let x be (2*-3)/(18/(-84)). Suppose 11*c = 10*c + x. Solve 0 = 3*i + 2*l + 22, -c = 2*i - 4*l + 8*l for i.
-4
Let j be 9/6*(-4)/(-3). Suppose 0 = -2*x - j*b + 6, -b = 5*x + 3*b - 12. Solve 4*k + 3 + 3 = 2*s, x = 2*s - 6 for k.
0
Suppose -39 = -5*d + 1. Let j = 12 - d. Solve 2*s + j = v, 2*v - v - 5 = 3*s for s.
-1
Let i(p) = 2*p**2 + 3*p. Let h be i(-2). Suppose j + 5*f = -13, 4*j = 6*j - 3*f - 13. Let q = j - -11. Solve 1 = -h*g - 3*g - 3*y, -5*g + 4*y = -q for g.
1
Suppose 0*u + 2*u = 6. Solve 0 = 5*p + q + 29, -p - u*q - 2 - 15 = 0 for p.
-5
Let a be 3*115/15 + -2. Solve -p = -4, 5*t - 6*p + a = -2*p for t.
-1
Let x = -82 - -85. Solve -24 = -x*y - 4*v, -y + 14 = 4*y - 2*v for y.
4
Let j = 4 + 2. Solve 2*q + 10 = 5*o, 23 = 3*q + j*o - 4*o for q.
5
Let h(c) = -4*c - 3. Let s be h(-3). Let x be 5*s/(-15)*-11. Suppose b - x = -2*b. Solve -17 = 4*i + n, -25 + b = 4*i - 2*n for i.
-4
Let x(c) = -c - 4. Let y be x(-4). Suppose y = 2*j - 0*j. Let f = j + 3. Solve -2*b - 3*w - 3 = 0, f*b + 4*w + 5 = 2 for b.
3
Let h = -5 - -7. Let m be 1 + 6 + (h - 5). Suppose -17 = -l - 5*d, 2 - 3 = l - 4*d. Solve 4*x - 8 = 2*j, l*x - m*j - 1 = 4*x for x.
3
Suppose 0 = -5*h + 9*h - 24. Let f(t) = -t**3 + t + 8. Let r be f(0). Suppose 0 = 5*j - r - 47. Solve -4*y = -h*l + l - j, y = -5*l - 16 for l.
-3
Let w(s) = -s**3 - 5*s**2 + 2. Let g be w(-5). Let n = g - -1. Solve -v + 0*v = 2*z + n, -4*v = 3*z - 3 for v.
3
Let r(f) = -4*f**2 + 3*f**2 + 1 + 8*f**3 - f**2. Let w be r(1). Suppose -2*y + 0*y = -6. Solve 7*l - 14 = -3*k + y*l, -l = -k - w for k.
-2
Let h(s) = s - 9. Let t be h(13). Suppose t*k - 6*k + 4 = 0. Solve -4*g - 3*q + 17 = 0, k*g - 6 = -0*g - 4*q for g.
5
Suppose 0 = 4*t - 0*t - 84. Let q be (-2*1)/(2/(-5)). Suppose -5*k = 2*n + 8 - 4, 7 = -n - q*k. Solve n*v = -3*j - 18, -4*v - 3*j = -8*j - t for v.
-1
Suppose 13*z - 20 = 19. Let j = 0 + 0. Let w = 1 - j. Solve -i + w = p, p - i = z*i - 14 for p.
-2
Suppose -4*r + 18 = 2. Solve -r*j + 19 = -3*g, -j - g - 5 = -2*j for j.
4
Suppose 0*w + 5*d = -5*w, -4*w = 2*d - 8. Solve 0 = -2*x - w*y, -y + 13 = 5*x - 4*y for x.
2
Suppose -2*i + 4 = -16. Suppose c + 2 = -2*w, 3*c + 4 = 5*w - i*w. Let r be (-64)/(-12) + w/6. Solve r*s + 32 = -0*l - 4*l, -3 = 3*s - 3*l for s.
-4
Let t = 71 + -69. Solve 5*v + m = -3*m + 17, -t*v + 18 = -4*m for v.
5
Let s(q) = 3*q**2 + 2*q - 2. Let d be s(2). Solve h + 4*n + 6 = 0, d = 5*h - 2*n - 0*n for h.
2
Suppose 5*b + 8 = 4*u, 6 = 8*b - 6*b + 3*u. Solve -2*f = i + 3, b = 5*i + 4*f - 2*f - 9 for i.
3
Suppose 30 - 33 = -z. Solve 3*d = 2*j + z, 4*d + 0 = -j + 4 for d.
1
Let g be (2/5)/((-2)/10). Let k(h) = -2*h**3 - h**2 + h. Let q be k(g). Let b = 212 - 207. Solve 0*v - 5*v = s + q, 0 = b*v - 3*s + 30 for v.
-3
Let w(v) = v**2 - v - 3. Let c be w(3). Let n = 7 - 7. Suppose n = -0*p + p. Solve p = 5*i - 20, 6*u + 3*i - 21 = c*u for u.
3
Suppose 41 = 5*u + 3*o, 4*u = 5*o - 9 + 27. Let j(i) = i**3 + 7*i**2 - i - 12. Let r be j(-7). Let m = r + u. Solve -a + 4 = -2*w, 4*a - m*w - 2 = -4 for a.
-2
Let d = 34 - 11. Let x(f) = f - 7. Let u be x(7). Suppose u*n + 3*n = 45. Solve 6*t = t - i + d, t = 5*i + n for t.
5
Let w = -2 - -4. Let b(h) be the second derivative of h**4/12 - h**3/6 - 3*h**2/2 + 2*h. Let x be b(3). Solve 4*s - w*p + 26 = -2, -31 = x*s - 4*p for s.
-5
Suppose -3*y + 20 = 2*y. Solve -4*u + y*d = 12, 2*d + 24 = -4*u - 0*d for u.
-5
Let l = -66 - -75. Suppose r = -f, 3*f + 2*r = 3*r + 12. Solve f = -3*d - 3*c + l, -3*d = -2*c + 9 for d.
-1
Suppose -3*l = -2 - 19. Solve 0 = -4*d + 3*f - 0 - l, 0 = d - f + 2 for d.
-1
Let l be (-22)/(-6) + 2/(-3). Suppose -2*u = -v - 7, 4*u + 4*v - 11 = l*v. Suppose 0 = u*b - 9 - 3. Solve -b*g + 0*g + 5*w = -30, 2*g - 2*w = 14 for g.
5
Let p = -13 + 16. Suppose -p = -m - 1. Solve 2*o - 18 = -m*z - 2*o, 4*o - 27 = -5*z for z.
3
Suppose 0 = -3*o + 5*m - 23, -4*o + 8 - 30 = 2*m. Let t be (-21)/o - 3/(-6). Solve -5*v + l = -0*l - 11, -t*v + 13 = -5*l for v.
2
Let i = 5 + -2. Suppose -2*q = i*m + 16, -5*q - 4*m - 40 = -3*m. Let t be (3/2 - 2)*q. Solve -3*u = -2*u - t*l + 22, -24 = 2*u - 4*l for u.
-2
Let x = -11 + 26. Suppose 14*t + 2 = x*t. Solve k + k = c + 6, t = c for k.
4
Let f(b) = 19*b - 9. Let o be f(2). Solve 3*x = 2*x + 3*j - 11, 5*x = 2*j - o for x.
-5
Let j be (5/(-3))/(2/6). Let l = -3 - j. Solve q - 5*b = -q - 27, -2*q + 8 = l*b for q.
-1
Let i be (37/(-3))/(1/(-3)). Suppose 2*d + 2*d = -5*q - i, q + d = -8. Let g be ((-7)/q - 2)*-5. Solve a = -u + 3, -4*a - g*u - 15 = -8*u for a.
0
Let j = 109 - 106. Solve -2*n = m, -j*m + 9 = -5*n - 2 for m.
2
Suppose -3*s - 3 = l - 7, -3*l - 6 = 3*s. Suppose 0 = s*o - 2*o. Suppose -z + 8 = z + 2*k, 2*k + 22 = 4*z. Solve -a = z*n + 6, o = 5*n + 4*a - a + 8 for n.
-1
Let t = 11 + -10. Solve 2*q = l + 1, 6*l - t = 5*l + q for l.
3
Let p = 115 + -108. Solve 2*a - 2*q - 3*q = -p, 5*a - q + 6 = 0 for a.
-1
Let s = 7 + -12. Let g = s - -7. Suppose 13 = g*a - 5. Solve -z = 2*w + 3*w + a, -21 = 5*w + 4*z for w.
-1
Let b be (-3)/2 + 18/4. Suppose b = -3*h - 0. Let o = 7 + h. Solve -2*x - o = m, -2*x = x + 3 for m.
-4
Let n(m) = m**2 - 10*m + 29. Let a be n(5). Suppose 0 = -2*q - 2*y - y + 10, -q + 5*y = -5. Suppose 1 = -w + q. Solve i = w*c + 1 + 2, -i - a = 3*c for c.
-1
Let z(q) = -2*q - 6. Let r be z(-8). Let c = r - 7. Let h be (1/(-1))/(c/(-15)). Solve -h*a - 4*m = -5, -3*a - 40 = 2*a - 5*m for a.
-3
Suppose -12 = -3*b - 3*b. Solve b*x - 5*z - 19 = 0