1 - 5, -12 = -2*w + 5*d. Let m = w - 2. Solve 4*b + 0*b = m for b.
1
Let b(n) be the first derivative of 3*n**4/2 + n**3/3 - n**2/2 + n - 3. Let r be b(1). Solve 5*k = r + 8 for k.
3
Let n be 0 + (1 - 2) + 0. Let o be (-2 + 2)/(2*n). Suppose o = -3*v + v. Solve v*f + f = 0 for f.
0
Let k = -2 - -5. Suppose -k*w + 16 = w. Solve -w*l = -11 + 3 for l.
2
Suppose -3*y - 6 = -18. Suppose 3*c + 0*c = 108. Let a = c + -21. Solve -y*p + p = a for p.
-5
Suppose 4*p = 5*d - 7, 2*p + 2*d + 2 = 12. Suppose -5*w + 17 = 2*v + p, -v = 0. Suppose w*l - o = 1, 2*l - 4*o - o = 5. Solve l = 2*u + 4 + 4 for u.
-4
Suppose 0 = 2*l + 2*l - 12. Let r(d) = -4*d**2 + d**l - 4 + 3*d**2 - 5*d + 1. Let u be r(4). Solve o - u = -4*o for o.
5
Suppose -4*z + 11 = -1. Solve -2*k = -z*k + 1 for k.
1
Let t be 14*(1 - (-6)/(-4)). Let g(u) be the third derivative of -u**4/24 - 5*u**3/6 + 16*u**2. Let i be g(t). Solve 2*z - 6 = i for z.
4
Let h = 4 + -2. Let o be (-21)/6*2/(-7). Suppose -h - o = -y. Solve y*d + d = -20 for d.
-5
Let i(x) = x**2 - 5*x + 13. Let p be i(5). Solve 0 = 4*c + 3 + p for c.
-4
Suppose -2*m + m + 13 = -5*x, 5*m + 4*x - 36 = 0. Solve -2*d + 2 = m for d.
-3
Let m = -4 + 7. Suppose l + 5*b = -l + 20, -5*l + m*b = -19. Let a = -2 - -4. Solve 3*p - a = -l for p.
-1
Suppose -o = -0*r - 2*r + 15, 0 = 2*r - 4*o - 18. Solve 2 - r = h for h.
-5
Let c = 1 - 8. Let s(r) = -r - 3. Let l be s(c). Solve o + 5 = l for o.
-1
Let u be 1/(-1) + 0 + 1. Suppose 0 = 2*w - u*w. Let m be 0/(2 + (-9)/3). Solve w = -m*o - o - 3 for o.
-3
Let h = -6 - -4. Let l be 3/((8/h)/(-4)). Solve -s - 6 = -l*s for s.
3
Suppose 0 = -8*u + 34 - 10. Solve 8*l = u*l + 25 for l.
5
Suppose 2*n + 2 = 14. Let y be (-9)/n*(-4)/3. Solve -y*c = 5 - 15 for c.
5
Let z(j) = j - 2. Let w(y) = y + 9. Let s be w(-4). Let o be z(s). Solve o*q - 20 = 7*q for q.
-5
Let c = -22 + 26. Solve -6 - 2 = -c*i for i.
2
Suppose 5*f = 9*f - 12. Solve -6*g + f*g = -15 for g.
5
Suppose -74 = -z - z. Let u be z/(-3) + 2/6. Let v = -6 - u. Solve -3*j + 15 = -v*j for j.
-5
Let n be (-3 - 2)*(-1 - -2). Let o(v) = -v - 2. Let f be o(n). Suppose -2*q + 1 = f*i - 20, 4*i = 4*q + 8. Solve -q*l = -2*l + 5 for l.
-5
Let u(s) = -s**3 + 7*s**2 - 5*s - 4. Let t be u(6). Let o(z) = -4*z - 14. Let q be o(-4). Solve 0 = -q*b - 6 + t for b.
-2
Suppose 5 + 3 = -5*b + 2*k, k - 4 = 0. Solve b*j - 2*j = 0 for j.
0
Let f = -32 + 35. Solve q - 1 = -f for q.
-2
Let w(d) be the first derivative of -d**3/3 + 4*d**2 - 3*d + 3. Let q be w(7). Suppose 0 = -2*r + 4. Solve r*x + q = 10 for x.
3
Let r be 32/(-12)*6/(-4). Suppose 2*h - r = h. Solve 4 = h*g - 4 for g.
2
Let j(x) = 4*x. Let r(w) = w + 1. Let q(l) = j(l) - 5*r(l). Let f be q(-9). Solve f = 2*v - 2 for v.
3
Let n = 37 + -36. Solve 0 = 2*u - 5 + n for u.
2
Let u(m) = m**2 - 20*m - 15. Let s be u(21). Solve f = 4*f + s for f.
-2
Let h be 2 - (-2 + 3 + 0). Let w be 3/6*6 + h. Solve -4*t + 12 + w = 0 for t.
4
Let f = -20 + 27. Solve 0 = 4*o - f - 5 for o.
3
Let o(f) = 3*f - 5. Let r(z) = 7*z - 10. Let i(u) = -5*o(u) + 2*r(u). Let m be i(4). Let n be (-6)/(-3 - 0) - m. Solve -n = -0*d + d for d.
-1
Suppose -4*y + 2 = -8*y - 2*b, y = -3*b - 13. Solve s = -4 + y for s.
-2
Let w be -1 - (-4 + (-3)/(-3)). Solve 3*m - 1 = w*m for m.
1
Let h = -5 + 3. Let q = 1 - h. Suppose -4*o = q*w - 26, 3*w = -0*w - 2*o + 22. Solve w*x = 3*x + 12 for x.
4
Let c = -7 + 9. Solve -2*j + 2 = -c for j.
2
Suppose -2*b = -0*b + 2. Let h(l) = -3*l. Let x be h(1). Let k = b - x. Solve 0*t = k*t for t.
0
Suppose -14 = -4*w - 62. Let b = w + 14. Solve -3*k + b*k = -1 for k.
1
Let x be (-79)/(-11) - (-12)/(-66). Solve -x - 13 = 4*h for h.
-5
Suppose -21 = -5*u - 6. Let g(y) = -2*y - 7. Let x be g(-6). Let l(d) = -d**3 + 6*d**2 - 4*d - 3. Let k be l(x). Solve u*q - 4*q - k = 0 for q.
-2
Suppose -2 = -2*f - 3*j - 1, 4*f = -3*j - 1. Let d be 2 + 0/f - -6. Let b(k) = k**3 - 5*k**2 - 5*k - 3. Let z be b(6). Solve -h - z*h = -d for h.
2
Let q be (-80)/24*12/(-10). Let a be (10/q)/((-4)/(-8)). Solve -c + a = -0*c for c.
5
Let z(f) = -f - 5. Let s be z(-10). Solve 4*p - s*p - 1 = 0 for p.
-1
Suppose -z + 6 = 2*c, 3*z - 9 = 4*z - 3*c. Solve z = -6*p + 3*p for p.
0
Let i = 1 + 1. Suppose 5 + 11 = 4*x. Let w be (i - (-2)/x)*2. Solve -3*z = -w*z for z.
0
Let o = 8 + -6. Let m be (-23)/(-7) - (-2)/(-7). Suppose -m*b + 2*b = -4, -z - 16 = -4*b. Solve -10 = o*q - z*q for q.
-5
Let c(j) = j**2 + 7*j - 8. Let g be c(-7). Let v = -5 - g. Solve 4 - 1 = v*d for d.
1
Suppose 6*r = -2*r + 48. Solve -15 = -r*u + u for u.
3
Suppose 0 = -2*y - 3*y - 20, 0 = 5*x - 5*y - 50. Solve -x*l = -l - 10 for l.
2
Let i = -10 + 10. Suppose d - 3*b + 4 = 2*d, i = -b. Solve 0 = 4*r + 4 + d for r.
-2
Let a be (0/2 - 2)/(5/(-10)). Solve 12 = -r + a*r for r.
4
Let h = -1 - -7. Suppose j = -3*v + 5*j + 48, -5*j = 3*v - 21. Let r = -10 + v. Solve -2*b = -h - r for b.
4
Suppose -3*c = 3*b + 2*b - 14, -2*c = -4*b + 20. Let p be (c - -4)/((-5)/(-10)). Solve 0 + 4 = p*w for w.
1
Let y(q) = -q**2 + 5*q - q + 2*q - 7. Let v be y(5). Let k be v/6 + (-147)/(-9). Solve k - 41 = -5*m for m.
5
Let y be 3 - 1/(-2)*4. Suppose -3*c - c + 3 = a, -5*c - 2*a = -6. Suppose 5*g - 5*p = 150, g - 4*p - 23 - 22 = 0. Solve -y*j = -c*j - g for j.
5
Suppose -3*i = -w - 0*i + 20, w - 20 = 2*i. Suppose -4*b + 20 = -3*f, 8 - w = -4*b + f. Solve 0 = 3*p - b*p for p.
0
Suppose -6 = -n - n. Suppose n*q = q. Let z = q + 6. Solve -5*v + z = 26 for v.
-4
Suppose -4*f + 3*v = -2*v - 23, -f = -v - 5. Suppose f*g - 29 = 21. Solve -g = -3*z - 2*z for z.
5
Suppose 8*c + 6 - 14 = 0. Solve -2*i - 5 + c = 0 for i.
-2
Suppose -8*r - 9 = -105. Solve -3*x = x - r for x.
3
Suppose h = 5*v - 17, -3*h - 5 = -5*v + 2*h. Suppose 2*g + 4*z + v = 0, 3 = -3*g + 2*z + 13. Let r be g + -1*3/(-3). Solve -n - r = -7 for n.
4
Let p(i) = -5*i**2 + 3*i - 5. Let l(g) = 3*g**2 - 2*g + 3. Let o(t) = -8*l(t) - 5*p(t). Let w be o(-2). Let y be 10/w*(-3)/(-2). Solve -1 = -y*a + 9 for a.
2
Let k = 4 + -8. Let l = 2 - k. Solve s - l*s = -20 for s.
4
Suppose 9*u = 10*u - 2. Solve -u*q - 2*q = 16 for q.
-4
Let l(u) = 4*u**2 + 4*u + 2. Let z be l(-1). Solve o = -z*o for o.
0
Suppose -4 = 4*z - 68. Solve z = 5*x + 1 for x.
3
Suppose 4*o = 2 + 2. Let q(s) = 7*s + 6. Let z(f) = -6*f - 5. Let g(d) = 5*q(d) + 6*z(d). Let l be g(0). Solve l = i + o - 6 for i.
5
Let f(u) = -u**3 + 10*u**2 - 3. Let h be f(10). Let x = 3 + h. Let t = 3 - 0. Solve x = -2*p - 3 - t for p.
-3
Let x = 4 - 14. Let f = -18 - x. Let a = -2 - f. Solve q - 20 = a*q for q.
-4
Let n(h) = -h**2 + 7*h + 2. Let x be n(9). Let z be x/24 - 22/(-6). Solve -2*o - o = -z for o.
1
Let d = -9 - -18. Suppose -23 = -4*r - 0*k + k, 0 = 3*k + d. Solve 12 = -r*j + j for j.
-3
Let j(o) = -3*o - 3. Let c be j(-2). Let m(t) = t**2 + 6*t - 1. Let f = -23 - -16. Let p be m(f). Solve -w - p = -c*w for w.
3
Let z = -12 + 27. Solve 0*b - z = 3*b for b.
-5
Let t be 3 + -3 + 0 + 0. Let p be t/2 - (-2 - 0). Solve k + p = -k for k.
-1
Let g(u) = -u**2 + 9*u - 7. Let c be g(7). Suppose 17 + c = 4*i. Solve -5*n - 4 - i = 0 for n.
-2
Let n(a) be the third derivative of a**4/24 + a**3/3 - a**2. Let i be n(-2). Solve m + 3 = -i for m.
-3
Let j be 51/(-15) - (-4)/10. Let q be (0 + -5)/(3/j). Let b be q/3 + (-2)/(-6). Solve 3 - 5 = -b*i for i.
1
Let n(m) = -9 + m + m**2 + m**2 - 10*m - 3*m**2. Let z be n(-7). Solve z*v - 3*v = -10 for v.
-5
Let z = 32 + -16. Suppose -4*s + z = -0*s. Suppose -s*h + 5*h = 5. Solve n - h*n = 0 for n.
0
Let l be 1 - ((-4)/4)/(-1). Solve -t + l = 1 for t.
-1
Let l be (-3 + 2)/((-5)/(-45)). Let n = l + 9. Suppose -3*d + 2*d = -3. Solve -d*v + 20 - 5 = n for v.
5
Let n be (-15)/2*(-32)/40. Solve 0 = 2*u - 4*u + n for u.
3
Let f be 15/21 + ((-8)/(-14))/2. Solve -11 + f = -2*d for d.
5
Suppose -3*n + 6 = -3*v - 3, 0 = 3*v + 3*n + 9. Let d(h) = -h - 2. Let y be d(v). Solve y - 4 = -u for u.
3
Let r be 3/2*16/3. Suppose 4*b = -0*b - 20. Let y be b*1*(-2)/2. Solve y*c - r = c for c.
2
Let n(x) = -x**2 - 4*x. Let q be n(-3). Solve -q*k = -7*k + 8 for k.
2
Let h = -1 - -2. Suppose -12*j + 6*j = 0. Let q = h + j. Solve 2 + q = -3*l for l.
-1
Suppose 7*m = 4*m + 9. Suppose -m*h + 10 = -x, -3*x - 16 = -5*x - 3*h. Solve -2*b = x*b + 16 for b.
-4
Let v be (4 - 1)/(3/15). Solve 5*s + v = -5 for