 - m for c.
-1
Suppose -4*u - 5 = -1, n = -4*u - 4. Let q(s) = -s**3 + s**2 - s + 3. Let b be q(n). Solve -b*j + 2 - 8 = 0 for j.
-2
Suppose j = -2*j + 18. Suppose -5*t - 6*z + z = -50, -3*z = -3*t. Suppose -49 = -t*y + 3*u, 28 + j = 5*y + 2*u. Solve 4*r - y = -0 for r.
2
Suppose -5*g - 5*w - 4 = -24, 2*g = 5*w + 29. Let r = -7 + g. Solve r*s - 8 = -4*s for s.
2
Suppose 9 = 4*t - t. Suppose 2*i - 17 = -f, t*f - 18 = 4*f - 5*i. Solve 4*v = f + 13 for v.
5
Let c be (1 - 5) + 5 + -1. Let r = 8 - c. Solve -p + r = 3*p for p.
2
Suppose -b - 27 = 2*n + 3*n, 6 = -2*n + 2*b. Let s = -1 - n. Solve -3*t - 4 = -s*t for t.
4
Suppose 6*k = -6 + 30. Solve 18 - 2 = k*q for q.
4
Let h(w) = w**3 + 2*w**2 - w. Let x be h(-2). Suppose 5*c = -r - x*r + 30, -c - 12 = -3*r. Solve y + c*y - 4 = 0 for y.
1
Suppose -3*w = -2*t + 49 - 1, 5*w + 3*t + 80 = 0. Let u be (-1 + (-3)/(-6))*w. Solve -2*v + 0 + u = 0 for v.
4
Let n be (-22)/(-14) + (-42)/(-98). Solve -h = n*h for h.
0
Suppose -h = -3*h. Let w = -5 - -9. Solve -w*r = -h*r for r.
0
Suppose 4*u - 40 = -12. Solve -2*z + 3 = u for z.
-2
Suppose -3*s = -12, -s - 24 = -5*r - 2*s. Suppose 0 = r*u - 5*p + 27, 0 = -u - 0*u - p. Let f(w) = -w + 2. Let z be f(u). Solve 0 = z*a - 8 - 7 for a.
3
Let r be 14/(-21)*6/(-4). Solve 0 = a - r + 2 for a.
-1
Let n be ((-12)/15)/((-2)/(-5)). Let b be -2*(-1 - 1/n). Solve 0 = -2*y - b - 3 for y.
-2
Let p be 2 + (-3 + 3 - 0). Let d be p*5/((-10)/(-4)). Let q be -3*(28/(-6) - 0). Solve 2 = d*c - q for c.
4
Suppose -19 + 4 = 5*w. Let d(c) = -c + c - c + 0. Let n be d(w). Solve b + 2*b = -n for b.
-1
Let r = -2 - -31. Let b be (-6)/(-30) + r/5. Solve b - 2 = f for f.
4
Let g(l) = l**2 + 6*l - 8. Let u be g(-7). Let x be (-15)/(-3) + 0 + u. Solve -3*t + 5*t = -x for t.
-2
Let a(m) = -m**3 - 8*m**2 + 9*m + 3. Let h be a(-9). Solve 0 = -5*i + h*i + 6 for i.
3
Let i(r) = -r**3 + r**2 - r - 2. Let l be i(-1). Solve g = -l - 2 for g.
-3
Let d(v) = -6*v - 2. Let i be d(-3). Suppose -5*z + i = 3*n, -n + 3*z - 6 = -z. Suppose -3*f = f. Solve -m - 7 + n = f for m.
-5
Let y(n) = -n**3 - 5*n**2 - 4*n - 4. Let f be y(-5). Let q = 27 - f. Suppose -r = -0*r + 4*t - q, 4*t - 23 = -5*r. Solve -3 = r*l + 3 for l.
-2
Let t be (-16)/(-6)*15/10. Suppose -5*c = -t*l + 17, -c + 4*l = -0*c + 13. Let p(w) = w**2 + 2*w + 1. Let f be p(c). Solve f*o = -2*o - 10 for o.
-5
Let u = 53 - 34. Solve u = 4*p - 1 for p.
5
Let n(h) = h**3 - 7*h**2 - 7*h - 6. Let v be n(8). Solve -v = -5*y + 6*y for y.
-2
Let o = -10 - -6. Let z(v) = -v**2 - 3*v + 4. Let f be z(o). Suppose -4*g - 4*u + 0*u + 4 = f, -7 = g + 5*u. Solve -g = 2*m + 7 for m.
-5
Suppose 0*i + 4*i - 48 = 0. Solve 5*n + i = n for n.
-3
Let q(p) = -3 + p**3 + p + 2*p**2 - 1 + 2*p**2. Let w be q(-3). Solve -15 = 5*k - w*k for k.
-5
Let p(u) = u**3 - 3*u**2 - 2*u - 4. Let x be p(4). Suppose 2 = 3*y - 4. Solve -f - x = -y for f.
-2
Let w(y) = -2*y + 2. Let x(v) = -v + 2. Let b(z) = 3*w(z) - 4*x(z). Let g be b(-3). Solve -g*f + 12 = -8 for f.
5
Suppose -2*c = -c - 5. Let g(q) = q**2 - 3*q - 7. Let r be g(c). Solve 4*x - r = 3*x for x.
3
Let z(t) = 4*t**2 + t - 1. Let g be z(1). Solve -g*v = -10 + 2 for v.
2
Let d be 33/12*4 + -1. Solve -5*w + 3*w = d for w.
-5
Let s(f) = -f**3 + 6*f**2 - 6*f + 7. Let x be s(5). Suppose 34 = 3*o + 5*r, 6*o - r = 2*o + 7. Suppose -o*z = -x*z. Solve z = -w + 4*w - 6 for w.
2
Let a = 10 - 19. Let p = a - -5. Let c = p - -8. Solve c*s = 7*s for s.
0
Suppose t - 5 = -q + 2*t, 0 = -q - t - 5. Solve q = 4*b - b - 15 for b.
5
Suppose -3*f = 5*y + 24 + 19, -4*y = -5*f + 27. Let z be 3/(-9)*(y + 2). Let n(s) = s**2 + s - 4. Let w be n(-4). Solve z + w = -2*o for o.
-5
Let h(a) = -a**2 - 6*a + 8. Let j(r) = -5*r**3 - r**2. Let w be j(-1). Suppose -z = w*z + 30. Let c be h(z). Solve -5*k + 3*k + c = 0 for k.
4
Suppose -4*w - 25 = -9*w. Solve -w = 5*g - 0 for g.
-1
Let h(d) = d**3 - 5*d**2 + 5*d - 1. Let z be h(4). Suppose -2*o - w + 3 = 0, -o + 3*w = o + 9. Suppose o*m = 3*m - 51. Solve -z*j + m = 2 for j.
5
Let t(h) = -3*h**2 - 20*h + 13. Let b = -1 - -4. Let x(w) = w**2 + 7*w - 4. Let z(o) = b*t(o) + 8*x(o). Let f be z(-5). Solve f*p - 7 = -1 for p.
3
Let s(y) be the third derivative of y**5/60 + y**4/8 + y**3/3 - 4*y**2. Let f be s(-2). Suppose -2*h + 3 = -5. Solve 16 + f = h*o for o.
4
Suppose 2*d + 3*d - 30 = 0. Let u be (-4)/(-6) - 4/d. Solve 0 = 3*h - u*h for h.
0
Let q(u) = 5 + 4*u**2 - 4*u + 6*u - u**3 - 2*u + 4*u. Let m be q(5). Solve 2*a = -m*a for a.
0
Let x be (-2)/(-2 - 5/(-5)). Solve x*f = -f + 12 for f.
4
Let w be 6 - 22 - (-2)/2. Let a = w + 17. Solve 2*z + a = 4 for z.
1
Let t(i) = 4*i**3 + 14*i**2 + 4*i + 9. Let l(n) = -n**3 - 5*n**2 - n - 3. Let h(a) = 7*l(a) + 2*t(a). Let z be h(7). Solve -z*v - 20 = -0*v for v.
-5
Suppose -u - 6 = 4*j - 0, 4*u = 3*j - 5. Let q be (3/(-9))/(u/6). Solve 3*l + q = -5 for l.
-2
Suppose 2*b - 56 = -2*w, -4*w + 2*w = 4*b - 102. Solve -5*q = -3 + b for q.
-4
Let w = -2 - -5. Let q be 6 + 0 + -1 - w. Let y(k) = k**3 - k**2. Let m be y(q). Solve -m*t - 8 = -8*t for t.
2
Let p be 10*1*(-2)/(-4). Suppose 0 = t + 2*v + 12, -4*t + v = -5*t - 8. Let q = 19 + t. Solve p*f + q = 2*f for f.
-5
Let i be (-6)/(-10) - (2 + (-35)/25). Solve i*d - 3*d = -9 for d.
3
Let m = -16 - -27. Suppose -4*j + 2*j = 10, 2*w - j = m. Solve -b = -w*b for b.
0
Let b(i) be the first derivative of i**4/4 - 10*i**3/3 - 6*i**2 + 14*i + 3. Let j be b(11). Suppose j*w = 6*w. Solve -5*x = -w*x - 15 for x.
3
Suppose 3*r + 93 = 6*r + 3*p, -p + 124 = 4*r. Let c(k) = -k**2 + k + 5. Let d be c(0). Suppose -w + 2*w - 10 = 2*m, 0 = -m - d. Solve w = 5*j - 11 + r for j.
-4
Let l(v) = v**3 - 14*v**2 + 14*v - 8. Let n be l(13). Let g = -61 - -86. Suppose -4*a - a = -2*i - 4, 4*a = -5*i - 10. Solve -n*d + 10*d + g = a for d.
-5
Suppose 9*c = 13 + 23. Solve 0 = h + c + 1 for h.
-5
Let o(w) be the third derivative of w**4/24 - 5*w**3/6 + 4*w**2. Let g be o(8). Suppose -2*s = 3*s - 50. Solve -8*c = -g*c - s for c.
2
Let k be (-1 + 0)*(-6)/2. Suppose 0 = -w + 2*n - 3*n + 3, -n + 7 = k*w. Suppose -x - w*i - 5 = 0, -25 = -3*x + 3*i + 5. Solve -10 = -0*f - x*f for f.
2
Let x be ((-2)/(-1) + 1)*-1. Let t be -3*3/x*1. Solve -s + 1 = t for s.
-2
Suppose 2*p - 3*z = 0, 0 = -2*p + 3*p - 5*z + 7. Solve p*j + 0 = -15 for j.
-5
Suppose 14 + 9 = 4*m + o, -4*o = 4*m - 32. Solve m*p - p = -20 for p.
-5
Let k be (0 - 0) + -1 + 3. Let p(x) = 10*x**2 + 2*x + 1. Let h be p(-1). Suppose 4*i - 10 = -3*g, -5*g + 3*i = 2*i - h. Solve -g*a - k = -a for a.
-2
Let w(v) be the second derivative of v**4/12 - v**3 - 4*v. Let a be w(6). Suppose -4 - 10 = -3*h + 4*f, a = -h - 3*f - 4. Solve -h*c = c + 9 for c.
-3
Let h(y) = 2*y + 18. Let m be h(-12). Let n be m/(-15) + (-39)/(-15). Solve -i - n + 4 = 0 for i.
1
Suppose -2*k + 4 = -0*k. Suppose 100 = 5*v + 10. Let c be (-4)/(-3) + v/27. Solve k = -c*o - 6 for o.
-4
Suppose -8*k - 4*k = -2*k. Solve -2*g + 2 - 8 = k for g.
-3
Suppose 0 = -2*v - 4 - 4, -4*r + 4*v + 116 = 0. Solve -j - r = 4*j for j.
-5
Let y(c) = -c**3 - 14*c**2 - c - 5. Let n be y(-14). Solve -n = 3*o - 0 for o.
-3
Let u be (-47)/5 + (-18)/(-45). Let z = u + 11. Solve 3*o - 5 = z*o for o.
5
Suppose 120 = 5*n + 7*n. Let d = 2 - 4. Let s(w) = -2*w + 1. Let c be s(d). Solve 10 = -n*v + c*v for v.
-2
Let n be 2/(-3)*(-4 - -16). Let j = 8 + n. Solve 5*a - 4*a - 3 = j for a.
3
Suppose 3*k = 3*b, -4*b - 3 = -4*k - b. Suppose -k*f - 3*s + 9 = -5*s, -f + 5*s = -3. Solve -f - 1 = 2*n for n.
-2
Let o = -14 + 28. Solve o = 4*q - 6 for q.
5
Let y be 3 - (2 + 2/(3 + -1)). Solve y = -4*w + 16 for w.
4
Let j be 15/4*(-4 - (-16)/3). Let z = -2 - -4. Solve j*r = -z - 3 for r.
-1
Let b(m) = 3*m**3 + 3*m - 2. Let n be b(1). Solve -4*f + 3*f - n = 0 for f.
-4
Suppose -r + 216 + 10 = -4*u, 3*u + 163 = 4*r. Let s = -32 - u. Let h = s + -14. Solve 5*l + h - 36 = 0 for l.
5
Let x be 6/10 + (-42)/(-30). Suppose -x*b - 8 = -28. Solve 0 = -5*k - b - 15 for k.
-5
Suppose 3*v + l + 115 = 0, -2*v + l - 4*l = 72. Let d = -17 - v. Solve -3 - d = 5*s for s.
-5
Let b be 6/4*(1 - (-1)/(-3)). Solve -b = -o + 1 for o.
2
Suppose 5*u + 5*l - 15 = 0, -3*u - l + 5 = -0*l. Let o = 5 - u. Suppose -o*r + 4 = -8. Solve 3*j + 0 = r for j.
1
Let l be 2 + 3*2/6. Suppose -4*w + 2*w = -4*k - 68, 5*k = l*w - 97. L