w = 20, -4*w + h = 4*f for f.
4
Let a(n) = -n**2 + 8*n + 3. Let y be a(8). Let g(f) = 14*f - 6. Let j be g(3). Let z be (-166)/(-18) - 8/j. Solve -y*m = -4*s - m, 2*m = -5*s - z for s.
-1
Let k be 2*(3/2)/(-3). Suppose 0*h + 1 = 3*h - 4*m, 2*m - 4 = 0. Let i be (0 - h - k) + 6. Solve 2*d - 2*o = -o, i*o = -4*d - 24 for d.
-2
Let l = -2 - -6. Let o = -4 + l. Suppose o = -2*t + 12 + 18. Solve -2*g - t = g - 4*y, 2*y = -3*g - 15 for g.
-5
Let c(f) = f**3 + 6*f**2 + 3*f - 4. Let z be c(-5). Suppose z*h = h - 20. Let x = 4 + h. Solve 2*v + 3*u = 8, x*v - 3*v + 3*u = 18 for v.
-2
Let k(f) be the third derivative of f**4/24 + f**3 + 2*f**2. Let x be k(-6). Solve x = -4*q - 4*c, 0 = -2*q + c - 3 - 0 for q.
-1
Let j = 158 - 155. Solve 3*f - j = -6, 17 = -5*s + 3*f for s.
-4
Let p = 33 + 0. Solve -2*o + p = -5*c, -4 = 2*c - o + 10 for c.
-5
Suppose 2*z - 2 = 4*p, -4*p + 3 = -2*z + 5*z. Solve 3*x + z = -4*r, -2*r - x + 17 = -5*r for r.
-4
Suppose k + 5*b = -4*k + 25, -4*k = -2*b - 32. Let z = k - 20. Let d = -11 - z. Solve 5*l + 0*x - 5 = d*x, -2 = -2*l - 2*x for l.
1
Let o = 52 - 40. Solve -k + 5 = -3*r + 2, 2*r + o = 4*k for r.
0
Suppose -2*q + 3*r - 8 = 0, -2 = q - 2*r + 4. Let i be q/4 + (-17)/2. Let l = i + 16. Solve 3*z - 5*t + 4*t - l = 0, 2*z - 8 = -2*t for z.
3
Suppose -3*y - 2*y = 80. Let x = 18 + y. Solve -3*c + 8 = -5*c, 2*t - x*c - 16 = 0 for t.
4
Suppose -7*q = -2*q - 20. Let s be (-1 - -4) + -5 + 4. Let g = 1 + s. Solve g*c = -2*v, 3 = -q*v + 15 for c.
-2
Suppose 4 = -5*o + 19. Suppose -4*i + 11 = o*j, -i - 4*j - 2 = -4*i. Let n = -26 + 46. Solve -a + 2*y - 8 = 0, 3*y = 5*a - i*y + n for a.
0
Let z be 6/(-1)*2/(-4). Suppose g = z*g - 10. Suppose 0 = -c - 4*r + 10, g*c + 0 = -2*r + 14. Solve -l - 21 = 4*m, -5*m = c*l - 14 + 41 for l.
-1
Suppose 0 = -5*h + 7*h. Solve -2*n + y = -4*y + 1, h = 2*n - 2*y + 4 for n.
-3
Let d(m) = m - 3. Let o be d(6). Suppose -2*k - o = -3*k. Suppose -k*c + c + 56 = 0. Solve 5*l = -t - 3*t, 4*t - 2*l - c = 0 for t.
5
Suppose 0 = 5*u - 0 - 5. Let i be 4*u*(-3 - 0). Let c be (-27)/i + (-2)/8. Solve -3*l = -c*y + 5, 13 = -2*y - 3*y - l for y.
-2
Let p = -5 + 8. Let c = 6 + -3. Suppose -2*x = 5*i - 7 + 3, 3*x - 6 = -c*i. Solve 3*a + x*a + 9 = p*b, a - b = -1 for a.
-3
Suppose 2*c = -0*c. Suppose c = 3*j - 5*j + 6. Suppose 2*i + 5*h = 10 - 1, 3*i - j*h = 3. Solve -4*x - s = 9, -i*s + s = x for x.
-3
Let v be (1/3)/(1/3). Let g = 13 - v. Suppose 0*i + g = 4*i. Solve 5*o = -3*w + 2*w - 12, i*w - 4*o = 2 for w.
-2
Let a be -2*(105/(-10))/7. Solve 20 = -d - 0*m + 4*m, 5*m = -a*d + 25 for d.
0
Let t be (-2)/7 + 8/28. Let z = 3 + t. Solve j = -d - 1, z*j = 4*d + 2*j - 11 for d.
2
Let q = -5 + 5. Suppose 2*p - 3 - 5 = q. Suppose -p*t - 5*k + 1 + 9 = 0, 3 = t + k. Solve 0 = -r, -t*c - 14 = 4*r + 11 for c.
-5
Let c(u) = -u**2 - 3*u + 12. Let s be c(-5). Solve -w + 5 = 5*a, 0 = s*a - 5*w - 10 - 19 for a.
2
Let n(p) = p**2 + 5*p - 3. Let v be n(-5). Let x(q) = -q**3 - 3*q**2 - q. Let a be x(v). Solve -4*t + 0*l = -4*l + 8, 3 = a*l for t.
-1
Let t = 4 - 1. Let d be (6 - (-15)/(-5)) + -3. Suppose -2*z + 4*g = g - 19, d = -5*z - 2*g. Solve 5*y + z*w + 26 = w, 4*y = t*w - 17 for y.
-5
Suppose -3*t = -0*t - 2*k - 10, k = 4*t - 5. Solve -3*x + 2*m = -t*m + 13, -4 = x - m for x.
-5
Suppose 0*v = v - 3. Suppose l + 1 = v. Solve -4*t = -j + 2 + 15, -2*t - l*j + 4 = 0 for t.
-3
Suppose -2*o + 12 = 4*q - 7*q, 5*o + 12 = -3*q. Solve k - 4*b - 19 = o, -k - 3*b + 14 = -6*b for k.
-1
Let b(i) = i**2 + 3*i + 2. Let k be b(-2). Suppose -7*a + a + 24 = 0. Solve a*u - 16 = -4*j - k*j, 3*j = -2*u + 13 for u.
-1
Let g = 3 - 0. Suppose g*x - 23 = 19. Suppose 2*b - r = 5, -4*b + 0*r + r = -5. Solve x = 4*n - 2*h - b*h, 2*h = -3*n - 7 for n.
1
Let q = 15 - 13. Solve x + 0*r - q = -3*r, 8 = 4*x - 5*r for x.
2
Let p be 4/(-14) + 138/42. Solve -18 = p*y + 3*c, 4 = -2*y + 3*c + 2 for y.
-4
Suppose 0 = 4*v - 5*q - 37, q = 4*q - 9. Suppose a - 4*a + 4*k + v = 0, 0 = 3*a - 5*k - 14. Solve 2*n = 2, -5*n + 13 = -a*l + l for l.
-4
Let d = -3 + 2. Let u = 4 - d. Solve u*l - o - 27 = -2, -5*l = 4*o for l.
4
Suppose -3*l = 4 - 16. Suppose l*c = c + 15. Let k = 3 - 0. Solve 5 = -5*y - 2*v, 3*y + k*v - 1 = c for y.
-3
Let q = 25 + -35. Let s be (-6)/(-10) + (-4)/q. Let x be (1 - s)/(-4 + 5). Solve 3*h - 5*r = 28, -5*r = -x*h + h + 24 for h.
1
Let w(t) = t**2 + 4*t + 4. Let f be w(-5). Let p be ((-6)/f)/(4/(-30)). Let g(y) = y**2 - 4*y - 3. Let h be g(p). Solve -r - 3*r + 8 = 5*j, -r + h = 0 for j.
0
Let w = -10 - -14. Solve 4*i + 2*c + 2*c = w, 5*c - 17 = -2*i for i.
-4
Suppose 0 = 3*r + 3*r - 18. Solve j = 4*l + l + 9, -7 = r*l - j for l.
-1
Let m be 3 - -4*2/(-8). Solve 4*u - 5*d - 17 = m, -d - 5 = -2*u for u.
1
Let h(m) be the third derivative of -m**4/12 - 5*m**3/6 - 7*m**2. Let g be h(-5). Solve -3*k - 6 = k - 2*d, 0 = 2*k - g*d + 7 for k.
-1
Suppose -4*y - 4*o + 4 = 0, 13*y - 12*y = 3*o + 9. Let a = 18 + 0. Solve 2*j + q = y*q + 6, a = 4*j + 2*q for j.
4
Suppose 7 + 9 = -4*l. Suppose -2*j + 5 = 3*t, -2*j + 7 = -3*t - j. Let w = t - l. Solve -26 + 9 = 2*z - w*a, 0 = -3*z + 4*a - 24 for z.
-4
Suppose -5*a - s = -22, 2*s = a - 3*s - 20. Let f be a/((-10)/4) + 7. Let z be 3 + -3 + (-15)/(-5). Solve -f = -z*y + 4*u - 28, -2*u = y + 1 for y.
-5
Let h(s) = -s**3 - 9*s**2 - 15*s - 5. Let v be h(-7). Suppose v*r = 18 - 2. Solve 2*g + 10 + 3 = -3*o, 0 = 4*g + r for o.
-3
Suppose -j + 0*j = 4*c - 87, 0 = -2*c + j + 51. Solve -2*g - 2 = 2*i, 0 = -4*i - c + 3 for g.
4
Suppose 3*v - 6*v + 21 = 4*f, f - 12 = -3*v. Solve 3*x = v*t - 0*t - 21, t - 3*x - 11 = 0 for t.
5
Suppose -10 = -3*c - 2*c. Solve 4*f - c*p = 22, 0*p + 3*p + 12 = -f for f.
3
Suppose 35 = 12*o - 169. Solve -o = -5*c + 2*b, 0 = b - 2*b + 4 for c.
5
Suppose 7*d + 10 = 12*d. Solve i = -5*r, i = -d*r - 2*r for i.
0
Suppose 216*p - 192 = 200*p. Suppose -4*l + 1 = -3. Let q be 2/2 + l/1. Solve 4*z = -5*h - p, q = -4*z + h + 14 for z.
2
Suppose -3*j - 3*b + 31 - 4 = 0, -2*j + b = -3. Let r(p) = -p**2 - 12*p - 9. Let w be r(-11). Solve -w*a - q = -2, 5 = j*a + a + 5*q for a.
1
Let k = 12 + -26. Let a = k - -16. Solve -a*q = -3*v + 10, -2*v + 2 = -5*q - 12 for q.
-2
Let g(o) = o**3 - 8*o**2 - 8*o - 5. Let x be g(9). Suppose 0 = x*h - 3*h - 5. Solve 2*w - 27 = h*a, -3*a = -4*w + a + 24 for w.
1
Let g = 51 + -46. Solve 3*w - 8 - 2 = g*m, 0 = m + 2 for w.
0
Suppose 9 = 2*u - 3*m - 2, 0 = 5*m + 5. Solve -u*b = v - 13, -16 = 4*v - 3*b + 8 for v.
-3
Suppose 24 = 5*u - u. Let x(j) = -4*j**2 + 0 + 7 + j**3 + 0 - u*j. Let k be x(5). Solve k*b - 3*a = -0*b - 2, -5*a = 5*b - 20 for b.
2
Let c be (-2 - -6) + -8 + 12. Let l = 5 - 3. Solve c = 5*i - 2*g, -l*i + 0 = -g - 3 for i.
2
Suppose -8*m + 3*m = o + 12, 5*o + 2*m = 9. Solve -o*k - h + 3 = 0, -2*h = -3*k - 0*h - 6 for k.
0
Let r = -48 - -71. Solve -5*m + r = -4*f, f - 4 = -3*m + m for f.
-2
Suppose 0 = s - 1 - 3. Let g = -1 + s. Let b be (-10 - -2)*(-3)/g. Solve -2*l + 2 = a - 6*a, -4*a = b for l.
-4
Let b = -20 - -56. Suppose -6*k + 3*k + b = 3*a, 20 = a + 3*k. Let n = a - 5. Solve 23 = s - 5*o, s + 4*o = -n*s - 4 for s.
3
Suppose 45 = 5*i + 4*t, 3*i + i + 2*t = 30. Suppose -4*u + 2*v + 40 = 0, 7*v = -2*u + 2*v + 44. Let j = -8 + u. Solve 5*z - 13 = j*n, n + i*z - 1 = -n for n.
-2
Suppose -2*u = -2*c + 10, -2*c = -5*u - 3 - 7. Suppose -5*k = -1 - 14. Solve 2*j = 3*z + 4, -5*z + z - k*j + 6 = u for z.
0
Let q be (1/(-2)*-8)/((-12)/(-6)). Solve -9 = -3*w - 4*x, -q*w + 4*x = -w - 3 for w.
3
Let n be (-168)/(-112)*(0 + (2 - 0)). Solve -n*y - 5*i + 4 = 0, -y + 2 + 2 = 3*i for y.
-2
Let n(b) = b**3 + 4*b**2 - 2*b - 6. Let u be n(-4). Solve -2*k + 2 = -3*a, 0*k - 5*a = -3*k + u for k.
4
Suppose v - 7 = 15. Suppose -v*c = -24*c + 4. Let z(t) = t + 1. Let i be z(2). Solve 4*l = c*a - 7*a + 9, 0 = -2*l - a + i for l.
1
Suppose -a + 3*a = 0. Solve g + 4 = 0, -3*u - 5*g = -a*u + 11 for u.
3
Let b(f) = -f**3 - 5*f**2 - 4*f + 2. Let g be b(-4). Solve 4*k - 5*n + 20 = 2*k, 3*k + 8 = g*n for k.
0
Suppose 3*t = 4*t. Suppose 2*c - 14 = 2*i, t*i + 1 = -3*i - c. Let x be i/(-2) + (-8)/(-2). Solve 4*d + x*s - 2 = 0, 4*d = 2*s - 6*s for d.
-2
Let n be (-13 + 12)/(2/(-10)). Let d = 3 + 4. Solve s = -4*u - d, -n*u + 2*s = -0*u + 25 for u.
-3
Suppose -40 = -11*k + 3*k. Solve -k = -5*f, f = -5*i