i = -5*c + 10. Let h be -1*(-4 - -1) + c. Solve 5 = 2*k - h for k.
5
Let h = -6 - -15. Let r(i) = i + 16. Let d be r(-19). Let y be 8 + (d - 4/4). Solve y = -5*b + h for b.
1
Suppose -f + 15 = 7. Solve 4*l - 4 = f for l.
3
Let m = 4 - 1. Suppose -4*t - 5*f = -3 - 6, 2*t - 5*f + 3 = 0. Solve t = -b - m for b.
-4
Suppose 0 = o + k + 5, k - 2*k = 5*o + 13. Let t be -2 - (2 - 2) - o. Solve -4*f + f = t for f.
0
Suppose -5*r + 3*r + 5 = 3*c, 0 = -c - 3*r - 10. Suppose -2*p = 2*p - 12. Suppose p*y = -2 + 17. Solve c = -y*n + 10 for n.
1
Suppose 3*x - 2*x - 5 = 0. Let c be (-44)/(-6) - (-4 - 20/(-6)). Solve -3 + c = -x*z for z.
-1
Suppose 5*c = -a + 41, -3*c - 4*a = -2*c + 7. Solve -3*u + 0 = c for u.
-3
Let f(m) = m**3 - 6*m**2 - 6*m - 2. Let s be f(7). Suppose 2*h - s - 1 = 0. Solve z = -h*z - 12 for z.
-3
Suppose 5*x + 5*h - 39 = h, x + 3*h = -1. Suppose 0 = -2*y + x - 5. Solve 5 + y = -2*s for s.
-4
Let z(g) = g**2 - 12*g + 1. Let s be z(12). Let r = 0 - -1. Let l(m) = 3*m**2 - 1. Let x be l(r). Solve s + 1 = x*o for o.
1
Let a = 0 - 16. Let s = a + 22. Solve 5*c = 19 + s for c.
5
Suppose -h + 26 = h. Let o = -7 + h. Solve -j = j - o for j.
3
Let n(w) = -w**2 + 1. Suppose 2*q + 1 - 3 = 0. Suppose 3*z = 2*z - q. Let u be n(z). Solve y + u = -3 for y.
-3
Let v = 102 + -92. Solve -v + 7 = -c for c.
3
Let p = 9 + -7. Let g = 2 - p. Solve 0*v + v = g for v.
0
Let j(h) = -h**3 - 3*h**2 + 3*h + 2. Let u(q) = -8*q + 5*q**2 + 2*q**2 + 0*q**2 + 5 + q**3 + q**2. Let i be u(-9). Let x be j(i). Solve x = -y - y for y.
-3
Suppose -2*b - 7 - 7 = 0. Let c(g) be the second derivative of -g**3/6 - 7*g**2/2 + g. Let k be c(b). Solve -5*m + 13 + 2 = k for m.
3
Suppose v + 85 = -5*r + 6*v, 3*v + 9 = -2*r. Let u be ((-3)/r)/(3/60). Solve -8 = -u*i + i for i.
2
Suppose 3*m - 14 + 2 = 0. Let l = 39 + -25. Suppose -m*d - 2 = -l. Solve -7*t + d*t + 16 = 0 for t.
4
Let p(a) = -25*a. Let q be p(-2). Suppose 0 = 2*j + 4*u - q, 0*j + u = 3*j - 40. Solve -5*x + j = -10 for x.
5
Let x be (14/28)/(2/16). Solve -3*o - x = -1 for o.
-1
Suppose 5 = -0*g + 2*g - j, -20 = 3*g + 4*j. Solve 3*s + 0 - 6 = g for s.
2
Let u = 14 - 12. Suppose -2*d = -0 - 10. Suppose -3*f = 0, 0*f = d*i - f. Solve i*a + u = -a for a.
-2
Suppose -6*l + 5*l = -2. Suppose -2*y - 8 = -l*k, 5*y + 5 = 10. Solve -k*o + 2*o = 0 for o.
0
Let a = 3 + 0. Suppose -a*s + 7*s = 4*x - 28, 2*s = 3*x - 16. Let p be 2*x/(-1 + 2). Solve -p*h - 2 = 10 for h.
-3
Let j be (0 - (3 + -2))/1. Let m be 6/((0 - j)*2). Solve m*s = 4 + 5 for s.
3
Suppose -3*n - 4 = -1, -2 = -5*f + 2*n. Let x(v) = 5*v**2 - v + 1. Let u be x(1). Solve -u*j + 0*j = f for j.
0
Let v(q) = q**3 - 9*q**2 - q + 12. Let b be v(9). Suppose b*t = 5*t. Solve t = -2*s + 4*s - 8 for s.
4
Let f be (-21)/(-9) + 2/(-6). Suppose -3*j - 4*g = -f, 1 - 6 = -j + 3*g. Solve 3 = -j*q - 7 for q.
-5
Let v(p) = -3*p - 9. Let d be v(-4). Let w(y) = y**3 - 4*y**2 + 4*y. Let f be w(d). Solve -f*z + 4 = 7 for z.
-1
Suppose -2*x + 2 = -0*x. Let w(l) = l**3 + 2*l**2 - 1. Let k be w(x). Solve -k*o - 3*o = 5 for o.
-1
Suppose -b + i = -2, -5*b = -0*b + 4*i + 8. Suppose 3*x = -b*x. Solve 0*r + 4*r + 16 = x for r.
-4
Let i = 3 + -3. Suppose 0 = 4*r + 4, 3*q + i*q - 9 = -3*r. Suppose -5*j - c + 5 = -q*j, -2*j - 5*c + 19 = 0. Solve 0 = 3*v - v - j for v.
1
Let j = 18 - 9. Let t = j - 9. Solve t = -5*s + 1 - 21 for s.
-4
Let i(c) = -c**2 + 7*c + 24. Let j be i(9). Let l(s) = 3*s**2 - 2*s + 1. Let x be l(2). Suppose 4*g - 21 = -x. Solve 0 = g*o - j - 3 for o.
3
Suppose 0 = 3*y + 2*w - w - 31, 0 = 2*w - 2. Let n be (2 - (-1 + 3))*1. Solve 0 = -5*g - n*g + y for g.
2
Let y(x) = 5*x**3 + x**2 - 12*x + 4. Let i(s) = s**3 - s**2 - s + 1. Let m(o) = 6*i(o) - y(o). Suppose 2*c + 3*c - 30 = 0. Let r be m(c). Solve 3 + r = f for f.
5
Suppose 0 = -4*j + 5*o - 12, -j + 5*j + 4*o - 24 = 0. Solve j*s + 0 = -4 for s.
-2
Let n(c) be the second derivative of c**5/20 - 2*c**4/3 + 4*c**3/3 - 5*c**2/2 - 4*c. Let t be n(7). Solve -7 = -3*u + t for u.
3
Let b = -5 - -9. Let k be b + 0 + 0 + -3. Solve -t - 1 = k for t.
-2
Suppose f + 2*f = -9. Let k be (-2)/6 - 16/f. Solve k*w + 0 = 10 for w.
2
Suppose -7 = -2*j - 2*l + 25, -2*j = -5*l + 3. Suppose -3*f + 9 = 0, 0 = 2*g - 5*f - 0*f + j. Solve 9 = -g*h - h for h.
-3
Let d(v) = -v**3 - 2*v - 2. Let x be d(-1). Solve -n + 0 = -x for n.
1
Let s(f) = -7*f. Let p be s(-1). Solve -3*m + 19 = p for m.
4
Suppose 10 = s + s. Let w = s + -2. Solve i = -w*i for i.
0
Let k = 80 + -65. Solve 3*f + 0 - k = 0 for f.
5
Let d = -23 - -47. Solve -d = -3*s - 9 for s.
5
Suppose v + 32 = 5*v. Solve 0 = -5*n - v - 17 for n.
-5
Let w(k) = 5*k + 5. Let b be w(3). Suppose 4*y - 8 = 0, 2*y + 0*y - b = -4*x. Solve -x = 3*o - o for o.
-2
Suppose 0 = -5*o + 3*o. Solve 5 = k - o for k.
5
Let q(w) = -3*w - 6. Let b(h) = -6*h - 13. Let x(z) = -4*b(z) + 9*q(z). Let d be x(-2). Suppose -d = 2*s - 32. Solve -11 - s = -5*i for i.
5
Let h(w) = -w**3 - 12*w**2 - 2*w - 12. Let p be h(-12). Solve -2*y = 2*y + p for y.
-3
Let u(z) = -z - 1. Let y be u(-1). Suppose 3*v - 9 = -y*v. Solve 8*k = v*k + 25 for k.
5
Let m be (-6)/(-14) - (-3)/(-7). Solve -2*q + m*q + 8 = 0 for q.
4
Let y be (-1)/(-5) - 2/10. Solve 4*x - 3*x + 1 = y for x.
-1
Suppose 5*l = 4*l. Solve l = -4*g + 5*g for g.
0
Let n(c) = 7*c**2 - 4*c + 7. Let t(z) = -3 - 8 - 20*z**2 + 12*z - 11 + 2. Let h(j) = 17*n(j) + 6*t(j). Let m be h(3). Solve -m + 4 = -a for a.
-2
Suppose 0 = 4*w - 2*w + 6. Let l(d) = -d**2 - 5*d - 2. Let p be l(w). Let b = -20 + 25. Solve -u = -b + p for u.
1
Let n be (-2)/(4 - 3) + 5. Solve -n*j = -2*j - 3 for j.
3
Let i = -2 + 1. Let t = -4 - i. Let r be (-1)/t + 17/3. Solve -r*y = -2*y - 12 for y.
3
Suppose 5 = -3*b + 2*b. Let w = b - -9. Solve w*q - 6 = 2 for q.
2
Let d be (-8)/(1 - (-9)/(-6)). Let z = -46 + d. Let i be (-4)/((-16)/z)*-2. Solve -g + i = -6*g for g.
-3
Suppose -g = -4 - 2. Solve -3*u - 3 = g for u.
-3
Let j = -12 + 15. Solve 3 = -j*h - 6 for h.
-3
Suppose -2 = -5*i + 8. Let s be (2/3)/((-4)/(-6)). Let f = i - s. Solve -f + 9 = 2*k for k.
4
Let b(s) = -s**2 + 5*s. Let j be b(4). Suppose -k + 2 = -5*r, -28 = -j*k + 2*r + 16. Let i be 2*(-2 - k/(-3)). Solve -17 = i*c - 5 for c.
-3
Let a = 12 + -10. Solve a = -w + 1 for w.
-1
Let c(t) = -t**3 - 2*t**2. Let o be c(-2). Let l = 8 + o. Suppose -4*b + l = -4. Solve -2*q - b*q = 0 for q.
0
Let n(k) = k**2 + 4*k. Let s be n(-4). Solve s = -f - 3*f - 12 for f.
-3
Suppose -4*t - 28 = 3*b + b, -5 = 3*b - t. Let m = b - -7. Let p be (-45)/(-6) - (-2)/m. Solve -f = -5*f + p for f.
2
Let o(i) be the third derivative of i**4/8 - i**3/3 + 8*i**2. Let j be o(2). Solve -j*v = 1 + 11 for v.
-3
Let t(r) = -3*r. Let h be t(-1). Solve o - 4 + h = 0 for o.
1
Suppose -6 = 5*m - 7*m. Solve 2*n = -m*n for n.
0
Let v = -9 + 8. Let h be v - 6/(1 - 3). Suppose 13 = 5*j - 4*b, j - 4*b + 9 - h = 0. Solve 0 = j*d + 19 + 6 for d.
-5
Let h = 9 - 9. Suppose 4*g - 20 = -3*l, 3*l + 3*g - 1 - 14 = h. Solve 0 = -l*c - 3*c + 6 for c.
2
Let z = 11 - 11. Solve 0 = 4*h - z*h for h.
0
Suppose -4*x + 39 + 53 = 0. Suppose 1 = 2*j + 15. Let c = j + 12. Solve c*w + x + 2 = 0 for w.
-5
Suppose -5*f = -o - 4*o - 5, -4*f = 2*o - 4. Solve o = -5*w + 4*w for w.
0
Let p(g) = -g**3 - 9*g**2 + 7. Let o = -30 - -21. Let a be p(o). Solve -4*u = -a - 1 for u.
2
Let o be ((-4)/10)/(2/10). Let r be o/(-9) + 280/36. Suppose -3*x - r = 2*u - 0*u, 0 = -4*x + 2*u + 8. Solve x = 4*z - 0 - 4 for z.
1
Suppose -2*s - s = 5*k - 32, 5*k - 40 = -5*s. Solve 0*z + k = -z for z.
-4
Let l = 20 - 18. Let o be (1/(-1)*16)/(-1). Solve -6 = -l*n - o for n.
-5
Let q(o) = -o**2 + 3. Suppose 0 = 10*k - 5*k. Let v be q(k). Solve -v*h = -2*h for h.
0
Let k(u) = -u**3 + 20*u**2 + u - 2. Let d be k(20). Solve 5*r = 2 + d for r.
4
Let x(s) = 5 - 1 - 8 + s. Let u be x(10). Let n = -2 - -5. Solve u = -0*f - n*f for f.
-2
Suppose 15*k + 12 = 18*k. Solve -1 = -q + k for q.
5
Let z(l) = l**2 - 4*l - 5. Let s be z(5). Solve 4*g + 0*g - 8 = s for g.
2
Suppose z = -2*z + 3. Let p = z - 0. Solve -2 = y - p for y.
-1
Let p(t) = -t**3 + 12*t**2 + t - 7. Let s be p(12). Solve s = 2*j - 3*j for j.
-5
Let m be 3/(-2)*(2 - 4). Let y(a) = a**2 + 20*a - 37. Let k be y(-22). Solve m*j = k*j for j.
0
Let i = -8 - -12. Suppose 0 = -0*l + 2*l - 14. Suppose -i