Let w be (-1 + 13)*3/(-6). Let b = w - -6. Let i = 2 - b. Solve -15 = 3*c + i*c for c.
-3
Suppose -c + 4*v + 2 = -24, -4*c - 3*v + 9 = 0. Solve 2*b - c = -b for b.
2
Let v(k) = k**3 + k**2 - k - 3. Let d be v(0). Let a be ((-15)/2)/d*4. Let x = a + -8. Solve -3 + 11 = x*p for p.
4
Let i(l) = l**2 - 2*l + 4. Let n be i(4). Let p be ((-2)/(-3))/((-4)/(-18)). Suppose 2*o = -p*y + 24, 4 = y + 5*o - 4. Solve n = 4*d - y for d.
5
Suppose 3*i = -2*i + 10. Let p be (-3)/(-4) - 294/(-56). Solve -i*u - 20 = -p*u for u.
5
Let t = -8 + 5. Let h = t + 7. Let r be (-8)/24*(-27 - 0). Solve r*q - h*q = 0 for q.
0
Suppose 0 = -c - 1 + 6. Suppose 9 = -3*m - c*i, 5 = -m - 3*i - 2. Solve 2*u + 0 - m = 0 for u.
1
Suppose 5*f - 15 = 2*f. Solve v = f*v for v.
0
Suppose 13 + 2 = 3*u. Suppose -4*b + 3 = -u. Solve b*z + 3 = z for z.
-3
Let t = -16 + 23. Let c = -7 + t. Suppose 4*q = -q. Solve 3*k + c*k = q for k.
0
Let a(y) = y**3 - 3*y**2 + 7*y - 10. Let m be a(2). Let k(p) = -p**3 + 2*p**2 + p + 1. Let r be k(2). Solve m = r*d + 16 - 1 for d.
-5
Let f = -1 - -3. Let p be 15/f*(-6)/(-3). Solve -2*k - k = -p for k.
5
Let b(x) = 4*x - 5. Let l(s) = 1. Let r(z) = b(z) + 6*l(z). Let n be r(1). Suppose 0 = -3*i + 2*w + 22, 2*w - 36 = -n*i + 5*w. Solve 0 = 2*f + i - 4 for f.
-1
Let s = 11 + -3. Solve -y - s = y for y.
-4
Suppose -3*u + 4*u - 5 = 0. Let n be 1*u*(-8)/(-20). Solve n*o + 3 = -7 for o.
-5
Let h(p) = p + 1. Let y(d) = -2*d - 3. Suppose -3*x + 1 - 4 = 0. Let z(c) = x*y(c) - 3*h(c). Let g be z(0). Solve 0 = 2*s - g + 8 for s.
-4
Suppose 20 = 5*f - 10. Let g = f - 15. Let y = 15 + g. Solve -4*i - y = -7*i for i.
2
Let j = 12 - 10. Suppose -5*u + j*u + 9 = 0. Solve -13 = -2*g - u for g.
5
Let c = -2 - -7. Suppose c*z + 14 = 64. Let i = 14 - z. Solve -j = -i*j for j.
0
Let i(f) = -4*f**2 - 2*f - 1. Let n = 5 + -6. Let x be i(n). Let s(v) = v**2 + 4*v + 4. Let j be s(x). Solve j = -4*u - 3 for u.
-1
Suppose -44 = -2*q + 2*o - 0*o, 38 = 2*q - 4*o. Suppose -m + 37 = 2*h, -q = -4*m - m. Solve -6*f = -2*f - h for f.
4
Suppose -k - 3 + 26 = 0. Suppose k = 2*o - 17. Solve v = 6*v - o for v.
4
Let p = -24 - -13. Let i(d) = d**3 + 10*d**2 - 11*d + 4. Let f be i(p). Solve -f = -j - 3*j for j.
1
Let j(b) = -b**3 - 5*b**2 - 6*b - 3. Suppose 5*f + 2*u = -25, 5*f + 25 = -0*u + u. Let m be j(f). Solve -4*n + 11 = m for n.
-4
Let m(v) = -27*v**3 - v - 2. Let n be m(-1). Let r be (-2*3)/(n/(-13)). Solve -c = 2*c + r for c.
-1
Let m be -2*1*(-5)/2. Let k be 0/3 + 6 + -2. Suppose 4*n = 2*n + k. Solve 0 = n*q + m + 1 for q.
-3
Let c(t) = t + 12. Let z be c(-10). Solve -8 - z = 5*g for g.
-2
Let d = 5 - 3. Let z be (1 + 0)*(5 - 2). Suppose -z*l = d*l. Solve -x + 0 + 1 = l for x.
1
Suppose g + x - 9 = 0, -30 = -5*g + x - 9. Solve 4 - 9 = -g*h for h.
1
Suppose -16 = 2*z + 2*z, 72 = 4*q - 4*z. Let x = q + -10. Suppose -f + x = -4. Solve i = 5*i - f for i.
2
Suppose a - f + 0*f + 5 = 0, 5*f = -4*a + 25. Solve a*r + 2*r = 0 for r.
0
Suppose 4*z = 4*w - 4, -2*w - w = 3*z - 9. Let c(u) = 59*u**3 + 2*u**2 - u. Let p be c(1). Suppose 5*l - l - p = 0. Solve l = m + w*m for m.
5
Let f(p) = 5*p**3 - p**2 + p - 1. Let b be f(1). Suppose -2*u + 2*y = 3*u - 10, -b*u - 3*y - 15 = 0. Solve u = 4*j - 3*j for j.
0
Suppose 4*v - 9 - 3 = 0. Suppose 5*d = -2*x, 3*x - x = -v*d. Suppose -14*k - 5*k = 0. Solve k = j - d*j - 1 for j.
1
Let z be ((-12)/9)/((-1)/3). Suppose -z*o - 10 = -9*o. Solve o - 5 = d for d.
-3
Let s(x) = -5*x**3 + x**2 - x. Suppose 6*y - 2 = 4*y. Let z be s(y). Let g = z + 7. Solve g*a = 6*a - 12 for a.
3
Suppose -a - 4*i + i - 13 = 0, 2*i + 10 = 0. Suppose a = -5*g + l, 4*l - 10 = -2. Suppose 2 = 5*j - 2*q, -j - 2*q + 13 - 3 = g. Solve -j*k = 3*k + 5 for k.
-1
Let b(p) = -p**3 - p**2 + 2. Let x be b(0). Let f = -6 - -8. Suppose a - f = -1. Solve x = w - a for w.
3
Let x = -35 - -42. Solve 3*p = x*p + 4 for p.
-1
Let x = 18 - 23. Let w = x + 7. Solve w*k = k + 3 for k.
3
Suppose 0*n - 2*n = 10. Let b = -2 - n. Suppose -b*c = -15, -5*s + 0*s - 3*c = -15. Solve s*g = g for g.
0
Let t be (10/25)/((-8)/(-20)). Solve -i + t = -0 for i.
1
Let u be (-12)/(-36) + (-16)/(-6). Solve -i + u*i = 0 for i.
0
Let u = 3 - 0. Suppose c = -u*v, 5*c + 0*v = 5*v. Solve -j = -2 - c for j.
2
Let i(v) = 4*v - 4. Let m be i(6). Solve 6*k - k = m for k.
4
Let h(a) = -a**2 - 10*a + 9. Let m be h(-11). Let g = 1 - m. Solve -12 = -g*o - 0*o for o.
4
Let p be (-1 + -3)*2/(-4). Let j(o) = -o**3 + 3*o**2 - 3*o. Let x be j(p). Let a(t) = -2*t**3 - 2*t**2 + t. Let z be a(x). Solve -18 + z = -3*c for c.
4
Let y = -2 - -2. Let a be (-1 - 0)*y/1. Solve -4 = -2*t - a*t for t.
2
Suppose 2*j = 4*j - 36. Let z be 1/(3 + (-51)/j). Solve z = 3*f - 0*f for f.
2
Suppose 2*d = -4*x - d - 6, 0 = -x + d + 2. Solve -2*h = -x*h for h.
0
Let h(k) be the third derivative of k**4/24 - 4*k**3/3 + k**2. Let z be h(13). Solve -2*l = -z*l for l.
0
Let q = 11 + -7. Let o(n) = -n**3 + 11*n**2 + 12*n + 3. Let v be o(12). Let w(f) = -f**2 + 6*f - 4. Let i be w(4). Solve -v*l = -i*l + q for l.
4
Suppose -u = 3*w - 10, -3*w = -4*w - 2*u. Suppose -w*d + 15 = 3. Solve o = -d*o + 16 for o.
4
Let u(z) = -3*z - z**2 + 4 - 3 - 5*z + 5. Let i be u(-8). Solve -5*h - i - 4 = 0 for h.
-2
Suppose -g - 57 = -63. Solve f - 10 = g*f for f.
-2
Suppose v + 5 = 10. Suppose -4*b = 4*d - 3*d - 23, -3*b = -v*d. Let h(q) = -q - 1. Let j be h(-4). Solve j = -2*t - d for t.
-3
Let k be (0/(-4 + 7))/1. Solve k = -o - 8 + 3 for o.
-5
Let q = 14 - 24. Let z = q + 21. Solve -z = 2*c - 1 for c.
-5
Let z be ((-3)/(-2))/(-3)*-6. Suppose 0 = 5*x - 4*i + 15, 1 + 4 = -5*x + 2*i. Solve s - x = -z for s.
-2
Suppose 4*z = -5*t + 7*z + 31, 2*z = 4*t - 24. Solve t*a - 20 = -0 for a.
4
Suppose -2*w = -17 - 7. Let l = -5 + 10. Let c = l - 0. Solve -t = -c*t + w for t.
3
Suppose 4*t = 39 - 27. Solve t - 4 = -a for a.
1
Let y(b) = -b**2 + 2*b + 4. Let i be y(6). Let j be (i/(-12))/(2/6). Solve 0 = -j*x - 11 + 1 for x.
-2
Let p = 54 + -49. Solve -13 - 12 = -p*h for h.
5
Let z be 16 - (-1)/(1/(-4)). Solve -h = -5*h - z for h.
-3
Let m = -2 + 9. Let u = -3 + 6. Solve -u = 2*n - m for n.
2
Suppose -4*r + 22 = -18. Solve 0*m + r = 2*m for m.
5
Suppose -f = -6*f - v + 29, -28 = -4*f - 2*v. Let d be 1*1/((-3)/(-12)). Suppose d*q = f*m - 0*m + 99, 0 = 5*m + 15. Solve -q = -3*b - 6 for b.
5
Let u = -11 + 14. Solve -u*d - 25 = 2*d for d.
-5
Let t(d) be the third derivative of -1/60*d**5 - 1/2*d**3 + 0*d + 0 - d**2 - 1/4*d**4. Let p be t(-4). Solve f - 12 = p*f for f.
-3
Let q(w) = w**3 - 7*w**2 - 9*w + 10. Let p be q(8). Suppose -32 = -4*g - 3*a, -2*a - 3 = -p*g - 1. Solve -g + 3 = t for t.
-2
Let f be 2 + 0 - ((-16)/(-4))/4. Let a = -3 + 10. Let h = a - f. Solve 2*z + z + h = 0 for z.
-2
Suppose 9*j = 3*j + 96. Solve -v - 3*v = -j for v.
4
Let y(c) = -c**3 + c + 3. Let u be y(0). Solve -q = 1 - u for q.
2
Suppose -6*v + 36 = -3*v. Suppose 0 = z - 5*z + v. Solve 0*g = g + z for g.
-3
Suppose -7*m + 8*m + 42 = 0. Let l = -30 - m. Solve 0 = 4*n - n - l for n.
4
Let h(k) = k**2 - 4*k. Let t be h(5). Suppose 3 = t*w - 4*w. Solve 0 + w = r for r.
3
Suppose 2*r + 4*h = 2*h - 4, 5*h = 2*r - 24. Let m be (1*(3 + 1))/r. Solve -9 - 1 = -m*g for g.
5
Let a = 6 + -11. Let m be (-1)/1*1*a. Let k = 5 - m. Solve p = -k + 3 for p.
3
Let y = 21 - 19. Solve -y*v + 5*v = 0 for v.
0
Let u = -3 - -5. Suppose 3*p - 8 = -s, 6 = -2*p + 3*s + u*s. Solve p*v + 2 = -0 for v.
-1
Suppose -6 + 6 = 2*n. Solve 5*c - 5 - 10 = n for c.
3
Let b(l) = l**3 - 2*l**2 - 3*l. Let g be b(3). Solve g*f + 15 = -3*f for f.
-5
Let o = 7 + -5. Solve 3*l + 5 = o for l.
-1
Suppose 0 = -5*d + 17 + 3. Let i(m) = m - 4. Let k be i(d). Suppose 5*w - 3*j = 14, 5*j - 2 = 2*w - k*w. Solve -w = -2*l + l for l.
4
Let d = 1 - -2. Let w be ((-10)/8)/(d/(-36)). Solve -w = 3*z + 2*z for z.
-3
Let f(c) = -3*c - 5. Let t(u) = -3*u - 4. Let g(v) = -5*f(v) + 6*t(v). Let s be g(1). Let h = s + 8. Solve -m - h = -4*m for m.
2
Let c = 4 - 2. Suppose 0 = n + c*n - u - 27, -3*n + 18 = 2*u. Suppose 3*p - n = 4. Solve 0 = 3*w - p - 2 for w.
2
Suppose -2*c + 4*j - 30 = 2*j, -5*c = -2*j + 78. Let w be 3/12 + (-12)/c. Solve 2*r = -w - 3 for r.
-2
Let h = -3 - -5. Suppose -3*t + 3*p + 3 = -p, -p = -2*t + h. Let i be 1*(2 - 0) - t. Solve -2*l - i = -l for l.
-1
Let b be 2/(-