ppose 0 = 2*l - 6 - 8. Solve -5*r + l = -8 for r.
3
Suppose 0*k - 2*k + 4 = 0. Solve 0 = -n - 2 - k for n.
-4
Let q(p) = -p + 9. Let k(y) = -y - 11. Let o be k(0). Let v = -5 - o. Let i be q(v). Solve -2 = -i*u + u for u.
1
Suppose 5*t = 4*y - 70, y - 3*t = -2*t + 17. Suppose -3*s + 6 = -y. Solve 4*r + 27 = s for r.
-5
Let p = -25 + 32. Solve -p*g = -3*g - 8 for g.
2
Let k = -20 - 21. Let y = -29 - k. Solve 0*w = -4*w - y for w.
-3
Suppose -80 = -8*p + 12*p. Let n be 14/4*p/(-35). Let u be 15 - (2/2)/(-1). Solve n*z = -2*z - u for z.
-4
Let u be 1 + 2 + 2 + -1. Suppose 4*j - 23 = -l, -3*j - 2*l = -0*j - 16. Suppose u*h - 4 = 0, 2*h + j = 4*c - 0. Solve -c + 5 = -q for q.
-3
Suppose -11*b = -13*b. Let k be (10/4)/(-1)*-2. Solve 0 = -5*z - b*z + k for z.
1
Let c(b) = -10*b**3 + b**2. Let f be c(1). Let j = f - -14. Let t = -3 + j. Solve -o = -0*o - t for o.
2
Suppose 5*t - 23 = -2*j, 2*t + 2*t = j + 8. Suppose j*x = 8 + 4. Solve -x*h = -2*h - 4 for h.
4
Suppose -4*q + q + z = -57, 12 = -4*z. Let v be (2 - 2) + q/2. Solve 0 = -3*y - v for y.
-3
Let r = -232 + 234. Suppose -4*t + 8 = -2*t. Solve -w - t = -r*w for w.
4
Suppose 3*g + 2 = 4*g. Suppose 16 = -5*d - 4*p, d = -4*d - g*p - 8. Suppose o + o = d. Solve y - 6 + 1 = o for y.
5
Let y = 220 + -215. Solve -6 = y*v - 31 for v.
5
Let s(f) = -f - 2. Let d be 1*3*21/(-9). Let n be s(d). Let g(p) = -p - 5. Let h be g(-5). Solve 0 = -5*c - h*c + n for c.
1
Let n be -5*-1*(-15)/(-3). Suppose 4*q + u = n, -4*q + 5*u = 2*u - 5. Let g(h) = h - 5. Let p be g(q). Solve p*b + 3*b = 0 for b.
0
Suppose -1 = j - 11. Let r be (-4)/j + (-22)/(-5). Suppose 2 = r*n - 30. Solve o + n = -o for o.
-4
Let a(j) be the first derivative of -j**3/3 + 4*j**2 + 10*j - 1. Let n be a(9). Let k = -1 + n. Solve -s - 4 = -k*s for s.
-4
Let j = 9 + -3. Solve 3*o = j*o - 3 for o.
1
Suppose -3*g + 16 = g. Solve q + g = -0*q for q.
-4
Let v = 14 + -24. Let d = v - -10. Suppose 3*u - 8 = -f - d*f, 3*f = -5*u + 8. Solve m = -u*m - 5 for m.
-1
Let g(d) = -d + 4. Let z be g(-4). Suppose z = 3*i + h, -4*i = -i + 5*h - 4. Let u(c) = c**3 + 5*c**2 - 6*c + 1. Let a be u(-6). Solve f - a = -i for f.
-2
Let f = 16 + -12. Solve 0 + f = -2*n for n.
-2
Suppose 4*q + 2 = -2. Let f = 1 - q. Suppose -4*j = 5*b - 11, -f*b + 1 = -2*j - 7. Solve -6 = -0*t - b*t for t.
2
Let y be (-8)/24 - (2 - 21/9). Solve y = -0*j + 2*j for j.
0
Let k(n) = n**2 + 8*n + 9. Let r be k(-7). Solve l - r*l = -5 for l.
5
Suppose 0 + 0 = 7*c. Solve c*r = -3*r + 12 for r.
4
Let n = -25 + 28. Let j(z) = z**3 - 4*z**2 + 4*z + 1. Let r be j(n). Solve -10 = r*k - 2*k for k.
-5
Let n = 12 - 6. Suppose 0 = 2*a - 0*a - n. Let f = a - 0. Solve -f*k = 2*k for k.
0
Suppose -12 = -4*v, -8*y + 3*y + 3*v = -6. Solve -y = x - 5 for x.
2
Let h be 18/4 - (-15)/(-10). Solve -h*s + 3 = -2*s for s.
3
Let h(g) = -g + 6. Let y be h(7). Let n = y - -7. Solve -5*a + 3*a = -n for a.
3
Suppose 10*g = -v + 5*g + 7, -3 = -v - g. Suppose 4*q - 28 = 4*y, 4*q + 4*y = 5*q - 16. Let w(s) = -3*s - 4. Let j be w(-4). Solve q*b - j = v*b for b.
4
Suppose -2*g = -2*q - 6*g - 8, 3*g = 4*q - 28. Suppose a - 10 = -5*w + 5, 7 = w + a. Solve -6 = q*j - w*j for j.
-3
Let w(a) = a - 3. Let i be w(4). Solve -l + 1 = -i for l.
2
Let l = 95 - 89. Solve l*v = 3*v + 12 for v.
4
Suppose 4*m + 0*m = 8. Let k = m - 2. Let i be k + (4 - 3) - -1. Solve -u + 1 = -i*u for u.
-1
Let k(a) = 0 - a**3 + 3*a - a**2 + a**2 + 1. Let g be k(-2). Solve 2*h - g = h for h.
3
Let t = 28 + -24. Solve -t*b + 3*b = 0 for b.
0
Suppose -4*q = 4*g - 8, g - 34 = -3*q + 5*g. Suppose 4*p - 3*x - q + 1 = 0, 3*p = 5*x + 1. Solve -4*w = -p*w - 2 for w.
1
Suppose 36*d - 34*d - 10 = 0. Solve 0 = 2*a - 5 - d for a.
5
Let z(x) = -x**2 + 5*x + 8. Let a be z(6). Suppose -2 = -a*v, -l + 3*v = -2*l + 13. Let p = -8 + l. Solve -p = -3*m + 1 for m.
1
Suppose -2*a - 4*y + 2 = 0, 0*a + 4*y + 1 = a. Suppose 0 = f - 3*r - 12, -6*f + 4*r + 21 = -3*f. Solve -f - a = -k for k.
4
Let n(u) = -u**3 - 9*u**2 - u - 9. Let m be 0/(-4) + (-9)/1. Let w be n(m). Suppose w = 2*x - 4. Solve d = x*d - 1 for d.
1
Let g be ((-1)/1)/(1*-1). Let v be (-1 - 3/(-3))/(-3). Solve -q = -v*q + g for q.
-1
Let v = 3 - -2. Let r(l) = -5*l - 8. Let a be r(8). Let h = -28 - a. Solve 5*t = v - h for t.
-3
Let j = -15 + 13. Let g = j - -6. Solve 11 = -g*d - 1 for d.
-3
Let z be 9*((-5)/(-3) - 1). Let o(w) = -3*w - 12. Suppose 4 + 11 = -3*p. Let u be o(p). Solve 3*y = -z - u for y.
-3
Let d be -2 + 2/(8/28). Solve 4*i = d + 7 for i.
3
Let p be 4/10*8/(40/25). Solve -p*q - 2 = -0 for q.
-1
Suppose 2*t = h - 0*h + 9, -5*t = h - 12. Solve -9 + t = 3*c for c.
-2
Let y(s) = s**3 + 14*s**2 - 16*s - 5. Let v be y(-15). Suppose -v*n + 5*n = 0. Solve -o + 7 - 2 = n for o.
5
Let c(j) be the second derivative of j**5/20 - j**4/2 + 3*j**2/2 + j. Let o = 46 + -40. Let k be c(o). Solve i = k*i for i.
0
Let u(n) = -n**2 + 9*n + 3. Let l be (3 + (-28)/8)*-18. Let f be u(l). Solve f*i = -2*i - 10 for i.
-2
Suppose 4*q = 2*c - 6, -c = 4*c - 4*q - 21. Suppose -c*b + 16 = -4*b. Solve -2*u - 2*u - b = 0 for u.
-4
Let g be 1/(-3) + 176/33. Suppose 10*z = g*z. Solve -h - 3 = -z*h for h.
-3
Suppose 3*b + 2 = -2*g + 6, 0 = g - 2*b - 9. Suppose g*w - 34 - 11 = 0. Suppose 2*k - 3*z + 4 = -z, -9 = 2*k - 3*z. Solve 4*c = w + k for c.
3
Suppose 3*t - u = -4*u + 36, 5*u + 48 = 4*t. Suppose -2*h - t = -5*h. Solve 8 = 3*q - h for q.
4
Let u(t) = 4*t - 4. Let n be u(1). Solve -3*r + n - 15 = 0 for r.
-5
Suppose -5*a = -7 - 13. Suppose a*v - 5 = -1. Let r be (-3)/(1/2 + -2). Solve -r*d = -d - v for d.
1
Suppose 0 = -4*o + 2*o. Let m be (o - 0) + 7 + 4. Solve 2*f + 5 = m for f.
3
Suppose 0 = -j + 3*w - 5, 3*w - w + 2 = 0. Let p be 5*1 - (-7 - j). Solve -h = -p*h - 3 for h.
-1
Suppose -3*b - 6 = 4*m - 50, 5*m = b + 74. Let u be (0 + -1)*m/7. Let l = -2 - u. Solve l = z - 6*z - 10 for z.
-2
Suppose -1 = -b + 3*h - 0, 0 = 4*b + 4*h - 20. Solve -14 = 5*r - b for r.
-2
Let y(q) = -q**3 + 8*q**2 + 9*q + 1. Let w be y(9). Let r be (-2)/(-3 + w) + -1. Solve r*o = 2*o - 4 for o.
2
Suppose -2 - 6 = 2*a. Let d be (a/(-3))/4*3. Suppose -4*v + d + 11 = 0. Solve v*u = u for u.
0
Suppose -2*v - 17 = -3*v + f, -4*f - 51 = -3*v. Solve 5*w = -v - 3 for w.
-4
Let z(v) = v**3 - 6*v**2 - 16*v + 5. Let f be z(8). Solve 0 = 5*u - 0 - f for u.
1
Let a(t) be the first derivative of t**3/3 - 3*t**2 - 15*t + 3. Let u be a(8). Solve -i + u + 0 = 0 for i.
1
Let z(k) = k. Let u(m) = 5*m + 1. Let q(l) = u(l) - 6*z(l). Let h be q(-1). Solve -h*f + 1 = -1 for f.
1
Let o(b) = 3*b - 6. Let z be o(2). Solve 3*q + z = -6 for q.
-2
Suppose 2 = 2*m - 2*g + 8, -5*g + 22 = 2*m. Let t(a) = 4*a**2 - 2*a + 1. Let d be t(m). Solve -2 = h + d for h.
-5
Suppose 5*z - 15 = 0, -5*z + 0*z = 3*r. Let v = 0 - r. Suppose 2*c + q - 13 = -c, -5*q = -v. Solve 4 = 2*d - c for d.
4
Let w(j) = -j**3 - 2*j**2 + 7*j + 6. Let z be w(-4). Solve 0 = 4*v + v + z for v.
-2
Let i(r) = 3*r - 6. Let z be i(4). Let c be -2 + -3*(-68)/z. Suppose -2*p + c = 2*p. Solve 4*m + p = -4 for m.
-3
Let p(o) = 0 - 2 + o - 5. Let i be p(7). Solve i = 6*k - 2*k - 4 for k.
1
Let r(o) = -o**2 + 7*o - 3. Let u be r(6). Suppose -16 = -4*d, 0 = 5*b + d - 4*d - u. Suppose c + 15 = -3*y, b*c + 19 = -3*y + 4. Solve c = z + 4*z for z.
0
Let z = -1 - -1. Suppose 8*g - 3*g - 15 = z. Solve 0*q = -g*q for q.
0
Let f be 27/12 + 1/(-4). Suppose -12 = -3*v + 9. Solve v = 3*i - f for i.
3
Let i(v) = 2*v - 14. Let d be i(10). Suppose 4*u - d - 4 = q, 0 = -3*q - 2*u + 12. Solve 1 = 3*r - q for r.
1
Let h = -2 + 3. Let f be 0/(6/3*h). Solve f = c + c - 8 for c.
4
Let a(f) = -f**2 - 7*f - 7. Let p be a(-5). Suppose -2*i - 4 = -p*i. Solve i*q = -4 - 4 for q.
-2
Let d(t) be the second derivative of t**5/60 - t**4/3 + t**3/3 + t**2 + 4*t. Let k(p) be the first derivative of d(p). Let v be k(8). Solve -m = -0*m - v for m.
2
Let x = -13 + 15. Let f(k) = k**3 - 2*k**2 + 3*k - 1. Let z be f(x). Solve z*o = o - 4 for o.
-1
Suppose -33 = -4*w + w. Let m = -17 + w. Let t = 6 + m. Solve t = -4*p - 4 for p.
-1
Suppose -6*r - 4*l = -7*r + 18, -r = -l - 9. Solve 0 = 2*d + 2 + r for d.
-4
Let y(q) = q**2 - 2*q + 4. Let j be y(0). Solve -c + 3*c = j for c.
2
Suppose -2*n = -3*n - 2*n. Solve -z + n*z - 1 = 0 for z.
-1
Let d(x) = -x**2 + 10*x + 1. 