 + c - 9 = 0 for c.
-3
Suppose 0 = 4*k - 2*l - 38, 2*k + 21 = 4*k - 3*l. Suppose k = 5*a - 11. Solve 0 = a*f - 6 - 2 for f.
2
Let n be 2/(-3) - (-320)/48. Solve -t + n = -3*t for t.
-3
Suppose 0*j = -j + 4. Suppose -u - 14 = j*s, -5*u + 0*s + 26 = -4*s. Let v be (0*u/(-6))/(-2). Solve 25 = -v*c + 5*c for c.
5
Let h = -1 + 2. Suppose 3*j = -2*j + 2*u + 8, j - 5*u = 20. Let q = 3 + j. Solve q*t = h + 2 for t.
1
Let i = -8 + 13. Suppose 8 = i*n - 2*w - 9, 5*n - 13 = -2*w. Solve n*u = 8 + 4 for u.
4
Let x = 46 - 44. Solve y + 0 = x for y.
2
Let u = -2 + 3. Suppose -2*j = 2*t - 16, 5*t - 4*t + 2 = j. Let m = -1 + t. Solve l = m - u for l.
1
Let c(w) = w + 5. Let v be c(-3). Suppose -v*u - 2*i + 16 = 2*u, 2*i - 7 = -u. Solve -2*s + 5 = u for s.
1
Let y(h) = h**3 + 6*h**2 - h - 5. Suppose -5*t + 3*k - 22 = 0, -1 = -2*k + 3*k. Let o be y(t). Solve -c + o = 4*c for c.
5
Suppose -94 = -9*f + 4*f - 2*y, f = -4*y + 8. Suppose -i + 3*i = 0, 4*i - f = 5*g. Let t(n) = n**3 + 5*n**2 + n - 4. Let w be t(g). Solve 3*o - 5*o = w for o.
-4
Let f(x) = 4*x - 4. Let y be f(2). Suppose 2*z - 4*z + 6 = -2*o, 2*o = -5*z + 1. Solve -y = i - z for i.
-3
Suppose j = d - 4, -2*d - d - 5*j + 28 = 0. Let f = -245 - -248. Solve -f*o + d*o - 9 = 0 for o.
3
Let w = -28 - -49. Suppose 5*q = 5*l - 6*l + 27, -3*l + w = 5*q. Let x be ((-10)/(-4))/(1/q). Solve 4*d = d + x for d.
5
Let k(f) = -f - 4. Let h be k(-8). Let y = 1 + h. Solve y*s = -18 - 2 for s.
-4
Let l(t) = -t**3 + 20. Let b be l(0). Solve -4*m = m - b for m.
4
Let l be -3 + 4/3*3. Suppose a = -7 - l. Let q be 18/(-15)*20/a. Solve -q*m - 7 + 1 = 0 for m.
-2
Suppose 39 = 8*t - 17. Solve 5*g = -2 + t for g.
1
Suppose -15 + 0 = -5*l. Let r be 1/2 + (-2)/4. Solve r = 5*g - l*g + 10 for g.
-5
Suppose 4*n - 26 + 10 = 0. Solve -y + 3*y = n for y.
2
Suppose 2*f + 4*q - 24 = 0, -5*q = -29 + 9. Solve 0 = f*l - l for l.
0
Let p = 1 + 1. Let a = 1 + -1. Suppose -p*h + h = a. Solve h = -g + 6*g - 25 for g.
5
Let p = -9 - -8. Let f be (1 + 1 + -24)*p. Suppose f = 2*q - t, 2*q = 3*q - 3*t - 21. Solve q = 4*g - g for g.
3
Suppose -7*c + 14*c = 7. Solve 0 = s - c - 1 for s.
2
Suppose 0 = -3*c + 11 + 1. Suppose g = -4*g - 20, g = 3*o - 28. Let q = o - c. Solve j + 0*j = -q for j.
-4
Let c = -6 + 24. Solve 7 = 5*k - c for k.
5
Let w(u) = -u**2 + 11*u + 2. Let t be w(11). Solve t*b + 16 = -2*b for b.
-4
Let f(u) be the first derivative of -u**3/3 - 7*u**2/2 + 4*u + 4. Let x be f(-7). Solve 3*o - o = x for o.
2
Let l(g) = 2*g + 2. Let n be l(3). Solve n - 33 = 5*s for s.
-5
Suppose s - 2*z - 5 = -5*z, s + 3 = 5*z. Suppose 26 = 5*o - d, -d + 4 = -0*d. Suppose s*x - o = x. Solve -b + x = -4*b for b.
-2
Suppose 3*m + a = 3, 2*m + a + 11 = -4*a. Suppose 8*z + 10 = 10. Solve 0 = m*w - z - 10 for w.
5
Suppose -3*n = -0*n + 5*x + 14, -5*x = -n + 22. Suppose n*b + b - 42 = 0. Let v = 2 + 2. Solve 0 = v*r - 2 - b for r.
4
Let l(p) = -p**3 - 5*p**2 - 6*p - 4. Let t be l(-4). Suppose 3*f - 3*u = 8*f - 40, -t*u + 15 = -f. Suppose 5*r - 35 - 15 = 0. Solve r + 5 = -f*g for g.
-3
Suppose -3*w - 2 = -5*h, -w + 6*h - h - 4 = 0. Let d be w/1 + (-6 - -6). Solve 4 = -b + d for b.
-3
Let u = -4 + 7. Let g be -3*(7/3 + -3). Solve -u*k - g*k - 20 = 0 for k.
-4
Let d(f) = -4*f - 8. Let y be d(-7). Suppose y = -3*t + 8*t. Solve -5*b = -t*b + 1 for b.
-1
Suppose -9 = -4*b + 3*c, 4*c = 3*b - 0 - 5. Solve -b*m - 3 + 0 = 0 for m.
-1
Let i(f) = 5 + 1 + 10*f + 3 - 1 + f**2. Let p be i(-9). Let z be ((-5)/3 - p)*-12. Solve -3*o = -o - z for o.
4
Let g be 2 + (-1)/(-2 - -1). Let v be (6/(-4))/(-1)*6. Let h = v - 5. Solve g*b = h*b + 4 for b.
-4
Suppose 5*u - 5*t = -40, -u - 4*t - 1 = 12. Let q(b) = -b**3 - 10*b**2 - 10*b - 7. Let w be q(u). Solve 2*o = w + 8 for o.
5
Let l be (-7)/28 - (-10)/8. Suppose -3*f = 2*y - 0*f + l, 4 = 4*y + 4*f. Suppose y*h = 18 + 2. Solve -h*r + 15 = -2*r for r.
5
Let v be 12/66 - (-106)/22. Solve v*p - 12 + 2 = 0 for p.
2
Suppose 5*d - 18 = 3*d. Solve -4*m - d - 7 = 0 for m.
-4
Suppose 3*d + d - 100 = 0. Solve 0 = u + 4*u + d for u.
-5
Let o(l) = -l**2 - 8*l + 7. Let n be o(-8). Suppose -2*t = -n*t. Solve 4*c = -t*c + 8 for c.
2
Let y(h) = h**2 + 3*h - 2. Let v be y(-6). Suppose 5*u - v = u. Solve u = -5*x + x for x.
-1
Let l = 2 - 0. Solve 0*s + l = s for s.
2
Let m = 0 + 3. Solve -9 - m = 4*h for h.
-3
Suppose 2*k + 3*h = 6*k, -4*k + h + 8 = 0. Suppose 28 = 4*l + 4*j, l + k*j + 0*j = 9. Solve -r - 2*r = l for r.
-2
Suppose 3*i - 12 = -0*i - 3*t, 2*i = 2*t. Solve -i*p + 3*p = 5 for p.
5
Suppose 4 = 3*a + 1. Solve -2*f = -9 - a for f.
5
Let v(z) = z**3 - 9*z**2 + 5. Let o be v(9). Let n = 1 + o. Solve 2 + n = 2*u for u.
4
Let n(h) = h**3 - 2*h**2 - 2*h + 1. Let q be 12/(-8)*(-2)/1. Let a be n(q). Solve a*x = 5 + 7 for x.
3
Suppose -g - 4*s - 268 = -5*g, -g + 37 = 5*s. Suppose 0 = -4*c - v + g, -c = -4*c + 4*v + 37. Solve -c = -5*b + 10 for b.
5
Let c(x) = -x**2 - 8*x - 4. Let z be c(-7). Suppose 4*r - z = -7, -4*r + 2 = 3*i. Let m be 2 - (1 - 4)/3. Solve -d + i = m for d.
-1
Let g(z) = z**3 + 5*z**2 + z + 5 + 1 + 4 + 4*z**2. Suppose -3*k - 8 = 19. Let c be g(k). Solve 2*v - c = v for v.
1
Suppose 4*m - 8 = -0*m. Suppose -v - 5*d - 2 = 4, 0 = m*v + d - 6. Solve -v*x + 20 = -0*x for x.
5
Let z(n) = n**3 + 3*n**2 - 8*n - 13. Let j be z(-4). Solve w - 2 = j*w for w.
-1
Let f(t) be the third derivative of t**5/60 + t**4/4 + 7*t**3/6 + t**2. Let p be f(-5). Solve -p = -3*y - 17 for y.
-5
Suppose 0 = -4*f - 2 + 18. Let m be ((-8)/10)/((-2)/5). Suppose o + f = 3*d, 0 = m*d + d - 9. Solve -o = -7*j + 2*j for j.
1
Let a(l) = l**3 + 2*l**2 + l - 5. Let c(v) = -v**3 - v**2 - v + 4. Let w(q) = -4*a(q) - 5*c(q). Let r be w(4). Solve i - r = -3*i for i.
5
Let q(c) be the second derivative of c**5/20 - c**4/6 + c**3/6 + c**2 - c. Let n be q(2). Solve b + n = -0*b for b.
-4
Let s be 12/8*(-8)/(-3). Let j be (-3)/(6/(-4)) - -1. Suppose 7 = k - 2*o, -2 - 3 = s*k + j*o. Solve 3*v + 13 - k = 0 for v.
-4
Suppose 2*b = 6*b - 8. Suppose 0*d = -b*d. Solve -3*u + 4 + 11 = d for u.
5
Suppose -4*m = -29 + 1. Solve m*o = 4*o - 3 for o.
-1
Suppose 3*q - 8 = -q. Let s(n) = 12*n + 1. Let m be s(q). Suppose 0 = 4*w - 2 - 34. Solve m = 4*b + w for b.
4
Suppose -2*n + w - 56 = -7*n, -3*w - 24 = -n. Let a = -1 + 3. Let j = 2 - a. Solve 4*x = -j - n for x.
-3
Suppose 4*z - d = 7, z - 10 = -3*z - 2*d. Let q(u) = -1. Let j(b) = -b - 5. Let o(n) = -j(n) + 3*q(n). Let p be o(z). Solve 7*w + p = 3*w for w.
-1
Let b(r) = -r**2 + 7*r - 2. Let d be b(6). Suppose -5*v = -4*v + d*k + 6, -6 = v - 5*k. Let m(q) = -q**2 - 6*q + 8. Let p be m(v). Solve 8 = -4*f - p for f.
-4
Suppose v + 24 = 4*u, -v = -3*u - 2*u + 29. Solve 14 + 6 = u*n for n.
4
Let r(u) = -2*u - 9. Let t be r(-6). Suppose -4*y - 2*x + 42 = -9*y, 19 = -2*y + 3*x. Let b(a) = a**2 + 6*a + 9. Let k be b(y). Solve -t*c - 2*c + k = 0 for c.
5
Suppose -b - 1 = 0, b + 21 = 4*c - 4. Solve -q - 3 + c = 0 for q.
3
Suppose -4 = -4*o + k + 8, -4*o + 12 = 2*k. Solve -1 = 2*m + o for m.
-2
Let d(s) = -s**3 + 8*s**2 + 5. Let o be d(8). Solve o*b - 2*b = 6 for b.
2
Let b = -10 - -40. Let q be -2 + 0 + b/5. Solve 6 + 2 = -q*c for c.
-2
Let w = 31 + -29. Solve 0 = -w*j + 4 - 2 for j.
1
Let y = -29 + 33. Solve 13 = -y*b + 1 for b.
-3
Let p be 12/(-8)*2/3. Let c be 0/2 - (p + -1). Solve -j - c = j for j.
-1
Let t be 6 + (-3 - -2 - 1). Suppose -t*q + 56 = -8. Solve 4*y + q - 4 = 0 for y.
-3
Let g = -20 + 20. Solve c - 1 = -g*c for c.
1
Let a = 3 + -5. Let j be 0 + (a - (-9 - -2)). Suppose j*d - 28 - 57 = 0. Solve -4*w + 1 - d = 0 for w.
-4
Let w(l) = 5*l + 1. Let h be w(1). Solve 0*c + h = -3*c for c.
-2
Let p(m) = m**2 + 8*m + 10. Let x be p(-7). Suppose 4*w + 2*t = -26, 5*w - x*t = 2*w - 6. Let q = w - -5. Solve 20 = -4*c - q*c for c.
-5
Suppose 3*d + 18 - 45 = 0. Let y = 8 + -4. Solve d = y*q - q for q.
3
Suppose 0 = -3*n + n - 3*i + 1, 0 = -4*n - i + 17. Suppose n*m - 31 = -2*r + 3*r, 3*m - 3*r = 21. Solve m*g = 3*g - 3 for g.
-1
Suppose 0*l = -4*l + 2*m + 8, 3*l - 4*m - 6 = 0. Suppose 0 = 5*s - l*y - 15, y = -3*s - 0 + 9. Let o = -19 + 19. Solve o = -5*w + 17 + s for w.
4
Let a = 91 - 91. Solve 5*k + a = 5 for k.
1
Suppose -t + 3*a = -8, -3*t + 2*a = -4*t - 2. Let c = t - -1. Solve -j + c = -4*j for j.
-1
Let p be (0 + 2)/(3/6). Suppose 0