Suppose -c + 8 = -3*t. Solve 6*b - t = 3*b for b.
2
Let o(m) = m + 2. Let n be o(0). Suppose -n*x = -l + 15, l - 2*x = 3*x + 30. Solve -6 = -l*r + 9 for r.
3
Let f(q) be the second derivative of q**3/6 - 7*q**2/2 + 3*q. Let a be f(7). Solve a*h - 3*h = 0 for h.
0
Let u = -21 + 39. Let k be (-3)/12 + u/8. Let p = 15 + -8. Solve -k*t + p*t - 15 = 0 for t.
3
Let t = 4 - 1. Let d be (-1)/(-2) - 60/(-24). Solve 2*s - t*s - d = 0 for s.
-3
Suppose -b + 14 - 9 = 0. Solve -m - b + 0 = 0 for m.
-5
Let c = -4 - -1. Let z = c - -9. Suppose n = f - z*f + 30, -f + 3*n - 10 = 0. Solve -2*y - 1 = f for y.
-3
Let m = -17 - -5. Let a be (0 + -1)*m/3. Solve 3*g - 1 = a*g for g.
-1
Let t(z) = z**3 - 5*z**2 - 2*z + 7. Let q be t(5). Let p be ((-3)/q - 1)*-1. Solve p*c - 3 = -c for c.
3
Suppose -5*h + 7*h = 0. Suppose -4*m + 0*m + 16 = h. Solve -m*p = -p - 15 for p.
5
Suppose 5*b - 361 - 434 = 0. Suppose 0 = 3*g - g + l + 75, -4*g - b = 5*l. Let u be 2/(-9) - 116/g. Solve u*z + z = 20 for z.
5
Let i = -102 + 105. Solve 0 = p + i*p for p.
0
Let a(i) be the first derivative of 8/3*i**3 + 6*i - 1/4*i**4 - 2 - 7/2*i**2. Let m be a(7). Solve -x + 3*x = m for x.
3
Let m(r) = -r**3 - 3*r**2 - 4*r - 2. Let b be m(-2). Suppose 2*k + 0 = 4. Let x be (-3)/(k - 33/12). Solve -2*c + b = x for c.
-1
Suppose 5*p = -3*c + 26, -3*p + c - 1 + 11 = 0. Suppose -12 = -7*z + p*z. Suppose -2*m + 18 = 2*s, -1 = -z*s - 2*m + 31. Solve s = 2*v + 1 for v.
3
Suppose -4 = -i + 4*z - 13, -4 = -4*z. Let p = i - -25. Solve 2*r - p = -2*r for r.
5
Suppose 48 = -6*m + 10*m. Solve -5*j - 37 = -m for j.
-5
Suppose -5*a = -f + 22, 3*f - 19 + 1 = -a. Suppose -4*u + f = u - 4*i, -5*u + 21 = 3*i. Solve 4*q + 3 = u*q for q.
-3
Suppose -2*k = 4*u - 16 - 6, 0 = -5*k + 25. Let d(t) = -4*t - 4 + 3 + 3*t. Let b be d(-3). Solve -u*n + n + b = 0 for n.
1
Let b be 2/(-4) - 14/(-4). Suppose q - 6*c - 5 = -2*c, 4*q + b*c = 20. Let i = -1 + q. Solve t = -i*t + 5 for t.
1
Let j = -12 - -16. Solve 0 = j*m - m + 12 for m.
-4
Suppose 2*l - 3*i = 19, 3*l - 12 = -i - 0*i. Let j = -20 + 33. Solve l - j = 2*h for h.
-4
Let y(d) = -d**3 + 3*d**2 + d + 3. Let o be y(3). Solve -x = -o*x + 15 for x.
3
Let a(o) be the third derivative of o**6/60 + o**5/30 - o**3/3 - o**2. Let g be a(2). Suppose 0 = -x + v - 3*v - 5, 0 = -2*x + 4*v + g. Solve 4 = x*f + f for f.
1
Suppose 3*a - 4*k + 7*k = 51, -2*k = a - 19. Let u = a + -12. Solve -x = -u + 1 for x.
2
Suppose 3*q - 3*k + 5*k - 89 = 0, 31 = q + k. Suppose q = 4*z + 3*a, 0*z - 2*a = 5*z - 25. Solve 4*m - z*m = 0 for m.
0
Let b = -2 + 2. Let c = 10 + -8. Suppose 8 = u - 1. Solve -a - c*a - u = b for a.
-3
Suppose 9*x = 3*x + 48. Solve x = 4*g - 0 for g.
2
Suppose -3*n + 6*p - 14 = p, 0 = 2*n - 3*p + 8. Solve 4 = n*d - d for d.
4
Let y be (-80)/12*18/(-15). Solve 2*p = y + 2 for p.
5
Suppose 2*s - 5 + 1 = 0. Suppose -2*q - 3*j = s*q, 3*j = -q. Solve -4 = -q*r - r for r.
4
Suppose -5*o - 23 = -8. Let k = 1 - o. Solve 0*n + k = 4*n for n.
1
Suppose -j - 5*l + 9 = 0, j + l + 7 - 12 = 0. Let g be 2*-2*(-2)/2. Suppose 3*s + 2*v = 8, -v = -0 - g. Solve -c - j = -s for c.
-4
Suppose 9 + 31 = 2*d. Suppose -k = -0 - 7. Suppose -2*j = -k*j. Solve -5*c + 10*c - d = j for c.
4
Let y be -1 - 4/12*-3. Let m be ((-7)/(-1) + -1)/2. Suppose m*d - 1 - 2 = y. Solve -7 = -2*b + d for b.
4
Suppose 3*g - 2*t = -6*t + 4, -2*g + 5 = 5*t. Let d = -6 + 4. Let o be -1*(-3 + (-6)/d). Solve o = z - g*z + 3 for z.
-3
Let c(p) = 11*p**2 - 2*p + 1. Let i be c(1). Let d = i + 0. Suppose -5*f + 68 = -2*l, 54 - d = 3*f - 2*l. Solve -v = 3*v - f for v.
3
Suppose -2*a = 3*a - 10. Solve -3*r - 2 = -a*r for r.
-2
Suppose 0 = w - a + 3*a - 7, -4*a = 3*w - 17. Let b(i) = -i + 11. Let x be b(-13). Suppose t = -w*t + x. Solve 2*v - t*v = 0 for v.
0
Suppose 0*c = 5*c + 40. Let z be 115/20 - 2/c. Solve z - 1 = -y for y.
-5
Let s be (1 - 2/6)/((-34)/(-153)). Solve -2*d - 15 = s*d for d.
-3
Let y(i) = 3 + 4*i + 0*i + 0 - i**2. Let s be y(4). Solve 6*g - s*g = -12 for g.
-4
Suppose 4*m + b = -2*b, 4*b = 0. Let w be 2/3*3 + 3. Suppose -w = -5*l - 0*l. Solve m = 2*c - c - l for c.
1
Let c be (-26)/(-8) - (-2)/(-8). Suppose c*h + 9 = 54. Solve 4*f - h = -f for f.
3
Let p(x) = -x**3 - 3*x**2 + 3*x - 4. Let f be p(-4). Suppose -3*c - 3*y + 21 = 0, f*c + 11 = c + 2*y. Solve -1 = c*q + 2 for q.
-1
Let g(w) = w**3 - 2*w**2 + 3*w - 1. Let q be g(2). Let n = 5 - 2. Suppose n*l - q = -2*l. Solve i = l + 1 for i.
2
Let l = -2 - -4. Solve 0 = l*o + 2*o for o.
0
Suppose -2*x = -5*t + 54, -14*x = 2*t - 19*x - 9. Solve -2*o + t = o for o.
4
Suppose 3*x = 0, 2*t + 0*x - 78 = -4*x. Solve 0 = 5*s + t - 14 for s.
-5
Let m(u) = u**2 - 3*u + 2. Let g be m(3). Suppose 4*i = 8, 5 = 4*w - g*i - 3. Let p be (-1 - 2/6)/((-9)/27). Solve p*j - 7*j = w for j.
-1
Let b = 2 + 1. Suppose -2*k - b = -23. Suppose k = -j + 3*j. Solve -14 = j*c - 34 for c.
4
Let w = 13 + -11. Let m(l) = 3*l**2 + 3*l - 3. Let y be m(w). Solve 4*j + y = -1 for j.
-4
Suppose -3*m + 2 + 28 = 0. Suppose -4*s - m = 10, -o - 4*s = 18. Suppose -3 = k - 4. Solve o = w - k for w.
3
Let m(d) = -d - 2. Let x be (-3 + 39/9)*-3. Let k be m(x). Solve 4*j - 6 = -k for j.
1
Suppose 27 + 23 = 5*u. Let q be (-4)/u + 44/10. Solve -4 - 4 = q*y for y.
-2
Let b be (-1 - -4)*(-16)/6. Let l be b/(-12) - 14/(-6). Solve 2*x = -x - l for x.
-1
Let w(z) = -2*z + 6. Let o(j) = -j. Let s(c) = 3*o(c) - w(c). Let n be s(-6). Solve -t - 2*t = n for t.
0
Suppose 4*r + c = -0*r + 1, -2 = 3*r - 2*c. Suppose 27 = 3*s - 0*s. Suppose 0*b = -2*b + 3*y - 7, r = -b - y + s. Solve b*k = k + 9 for k.
3
Let b(g) = -g**2 - 1. Let r(y) = -5*y**2 - 7*y - 5. Let p(k) = 6*b(k) - r(k). Let n be p(6). Solve -4*l + n = 1 for l.
1
Let b(m) = -m**3 - 6*m**2 - 3*m - 10. Let w be b(-6). Solve 0 = 3*y - w*y + 20 for y.
4
Let n(z) = z - 1. Let d be n(5). Solve c = -d*c - 15 for c.
-3
Let g(j) = -j**3 + j**2 + j. Suppose 0 = -0*z - 2*z. Let v be g(z). Solve -p + 6*p + 10 = v for p.
-2
Let w be (-1)/((-34)/18 + 2). Suppose 2*n + 8 = -0. Let r = n - w. Solve r*q + 41 = 16 for q.
-5
Suppose 12 - 4 = 4*n. Let k = n - 0. Let m(g) = g**2 + 3*g + 3. Let b be m(-3). Solve -k*y = b*y for y.
0
Let d(t) = 2*t - 13. Let b be d(9). Let o(w) be the second derivative of w**5/20 - 5*w**4/12 + w**2/2 - w. Let h be o(b). Solve 0 = 2*z - 7 - h for z.
4
Let j be 117/15 - (-2)/10. Suppose 4*m + 24 = 5*i + 10, 2*i - j = 4*m. Solve 5*t = 4*t - i for t.
-2
Let s = 5 + -3. Suppose s*h - 15 = -7*i + 4*i, -i - h = -6. Solve l - 4 = i*l for l.
-2
Let p = -10 - -10. Let t(y) = -y**3 + y + 8. Let q be t(p). Solve -j - q = -3*j for j.
4
Suppose i = 2 + 4. Solve -4*a - i = 2 for a.
-2
Suppose -j + 4*j = -0*j. Solve -3*y - 2*y = j for y.
0
Let f(h) = 2*h - 6. Let b be f(10). Suppose -5*j - 4 = -b. Solve j*i - 3*i + 2 = 0 for i.
2
Suppose 0 = 4*l + 4*k - 104, -5*l + 2*k + 46 = -77. Solve -3*t - l = 2*t for t.
-5
Let u be (-2)/(-8) - (-5)/(-20). Suppose u = -r + 6*r + 5*w, -3*r + w + 12 = 0. Solve -7 + 1 = r*i for i.
-2
Let p be 4/10 - 74/10. Let c(w) = w**2 + 6*w - 4. Let a be c(p). Suppose a*b = -2*b. Solve 3*q + 0*q + 3 = b for q.
-1
Let v be 0 + -2 + (-64)/(-4). Solve 4*d + 2 = -v for d.
-4
Let q(h) = h**3 - 9*h**2 - h + 9. Let v be q(9). Solve -k - 3 + 1 = v for k.
-2
Let a(u) = u**3 + 5*u**2 - 7*u - 3. Let q be a(-6). Let f be 2 + (-5 - (-2 - 1)). Let t be f/((-1)/(3/(-6))). Solve q*c - 6*c + 3 = t for c.
1
Suppose -4*u = 8 - 24. Let i be 12/18 - (-14)/6. Let m be i/(2/(-8)*-6). Solve m - u = -f for f.
2
Let w(a) = -5*a**2 - 6*a - 5. Let r(f) = -5*f**2 - 7*f - 6. Let j(y) = 4*r(y) - 5*w(y). Let s be j(-1). Let b = -4 + s. Solve b = 3*u + 3 for u.
-1
Let m be (-58)/6 + 2/3. Let d be (-3)/m - (-17)/3. Let k be d*(1 - 3/6). Solve -2*n - k = n for n.
-1
Let k(y) be the second derivative of y**4/12 - y**2/2 - 2*y. Let q be k(-1). Let v be -2 - (-14 + q) - 2. Solve -5*w + 10 = -v*w for w.
-2
Suppose -4*a - 2*x = -34, -1 = 5*a + x - 36. Solve -1 + a = q for q.
5
Suppose -5*v + y = -111, -3*v - y + 4*y = -57. Let q = -15 + v. Let f = q - 1. Solve -f*o - 12 = -3*o for o.
-3
Let l(f) = -f**3 - 5*f**2 + 8*f + 6. Let g be l(-6). Let o = g - -8. Suppose a = o*n + 9 + 4, 28 = a - 5*n. Solve -2*z - 20 = a*z for z.
-4
Suppose -4*w = -3*o + 4, 0 = -3*w - 8*o + 4*o - 3. Let p be 0 + w