= -4*a, 4*u - a = 14 - 4. Let v be (-100)/6*6*(-1)/u. Solve 5*t - 9 = -4*s - v, 0 = 2*s - 2*t - 2 for s.
-4
Suppose 5*f - 4*f = 4*s - 3, 0 = 2*s - 3*f - 9. Solve -4*n = -n + 3*h, s = 2*h + 4 for n.
2
Suppose 0 = -7*b + 137 - 32. Let y = -13 + b. Solve -4*w - 26 = 7*h - 4*h, y*h - 5*w - 21 = 0 for h.
-2
Suppose -20*o = -126*o + 212. Let y(t) = -8 + 3 + 2*t - 2. Let a be y(6). Solve s - a*m = -20, 0 = -5*s + o*m - 0 + 15 for s.
5
Let a = 13 - 14. Let w be a/1*2 + 52. Suppose -f + 0*z = 3*z - 12, 3*f + 2*z - w = 0. Solve 3*h + 3*q = q + f, -3 = -q for h.
4
Let k be (3/(-2))/((-18)/48). Suppose -5*y = -8*y + 9. Let s be 4 + -3 + -4 + y. Solve -4*g + 21 = -x, -g - k*x + 2 - 1 = s for g.
5
Let n = -14 - -17. Suppose 0 = -n*s + 5*d - 17, 6*s = s + d + 1. Let c be s + -6 + 2 - -7. Solve -2*i - 9 = 3*u, 0 = 3*i + 4*u - c + 15 for i.
3
Suppose 5*p + 15 = 0, -3*p - 160 = 4*m - 679. Let n = m - 226. Let z be n/(-3) + 2/3. Solve 5*q + z = -4*a, 4*a = 5*q + 3 + 5 for q.
-4
Let u(x) be the third derivative of -x**5/60 - 11*x**4/24 - 4*x**3/3 + x**2. Let i be u(-9). Solve 0 = r - 2*g + i, -11 = r - 2*r - 5*g for r.
-4
Suppose 0*j + 5*j = 10. Let v = 1848 + -1844. Solve -5*b - j*s = 12, 2*s + 3*s - 36 = v*b for b.
-4
Let l = 528 + -528. Solve l*c + 5*c = b - 20, -22 = -2*b + 4*c for b.
5
Suppose -2*t - 15 = 2*x - 7*t, 3*t - 9 = 5*x. Solve 0 = 5*a - x*m + m + 15, -m + 17 = -3*a for a.
-4
Let b = -1159 - -1163. Suppose 10 = 6*u - 4*u. Suppose -12 = -u*x + 2*x. Solve b*j = -x*i - 8, 4*j - 3 + 15 = -2*i for j.
-4
Let m be (0 + -7 + 2)*-1. Let n = -157 + 156. Let r be (-10)/3*15/10*n. Solve -r*f - 4 = 3*x - 10*f, 0 = m*x - 5*f for x.
2
Let o(f) = 24*f + 938. Let v be o(-39). Solve -3*g - 12 = -4*p, -14 = v*g + 4*p - 6 for g.
-4
Let g = -1874 + 1878. Solve -2*j - g = -12, 0 = -3*z + 5*j - 35 for z.
-5
Let c(j) = -j**2 - 9*j - 14. Let t be c(-7). Solve -a + 5*o + 10 = t, -2*o - 25 = 2*a + 3*o for a.
-5
Let w = -23 + 21. Let t be w/(-12) + 5/(-30). Solve -3*s + 15 = t, 0*c + c + 22 = 4*s for c.
-2
Let x(p) = p**2 - 13*p - 11. Suppose 28 = 2*b - 0*b. Let g be x(b). Suppose 0 = -g*d - 2*d + 10. Solve 0 = -i - 2*z - 13, z = 4*i + d + 5 for i.
-3
Suppose -3 - 5 = -2*r. Suppose -n = r*m - 3 + 11, 2*m = 3*n - 32. Solve -3*u + 14 = 5*l - n, -5*l + 18 = 2*u for l.
2
Suppose -4*s - 1 + 17 = 0. Let b be (-357)/(-105) - 3/(-5). Solve -b*q + z = s*z + 20, 0 = -z - 4 for q.
-2
Let d = -18 - -54. Let p = 40 - d. Solve 0 = 4*h - 4*c, p*c = -2*h + 17 + 13 for h.
5
Let m = 43 + -16. Let j be (-32)/6*m/(-18). Suppose -4*v + 8*v - j = 0. Solve -2*c - h + 4*h = -v, -4*c - 4 = -2*h for c.
-2
Let i = -231 - -234. Solve 2*m - 3*l + 12 = -6*l, -11 = i*m + l for m.
-3
Let o(g) = -g + 15. Let k be o(3). Suppose 2*v + 8 = i, 0 = -2*i + 2*v - 0*v + k. Solve -5*w - 3*n - 22 = 3, -20 = i*w + 2*n for w.
-5
Let f(m) = 3*m**2 - 15*m. Let d be f(5). Solve -3*k + d = 4*h - 4, 3*k - h = 14 for k.
4
Let d = -15 - 31. Let m = -44 - d. Solve p + 3*b + 8 = 0, -p + m*p - 3*b - 16 = 0 for p.
4
Let i be (-133)/(-6) + ((-5)/(-6))/(-5). Let t = 29 - i. Solve 4*y = c + 7, y + 5*c - t = -0 for y.
2
Suppose 0 = -7*s + 6*s. Suppose s = 2*p - 2*q - 12, -p - 5*q - 16 = 2. Solve 9 = -4*z - 3*k + p, -5*z = 3*k + 11 for z.
-4
Let i be ((-1 - -7) + -6)/(1 - 2). Solve i = -4*x + 2*c + 2, -3*x - 5*c - 33 = x for x.
-2
Let u(h) = -3*h**2 + 1. Let v be u(-2). Let g = v + 16. Solve -6*j + j = 10, 2*j = g*z - 29 for z.
5
Let q(t) = -3*t**3 - 19*t**2 - 11*t - 28. Let z be q(-6). Solve -3*i - i = -3*w - 19, -4*i - z*w + 14 = 0 for i.
4
Let z(k) be the third derivative of k**4/24 - 8*k**3/3 + 6*k**2. Let v be z(10). Let j = 14 - v. Solve j = -n + 3*w, -n + 3*w = n + 25 for n.
-5
Let i = 12 + -17. Let o be 1/(-1) - (2 + i). Let f(z) = 3*z**2 + 2*z + 1. Let y be f(-1). Solve 0 = y*u, -o*h + u = -5 + 1 for h.
2
Let h be 63/14 + (-1)/(-2). Suppose -10 = -4*y + 2*y. Let i = h - y. Solve -4*k + 5*b + 31 = i, 3*b - 13 = -4*k - 6 for k.
4
Suppose f - 5*y - 23 = 0, y - 2 = -2*f - 0*f. Suppose f*q - 2*j = 0, 0 = -3*q - j + 4*j - 3. Solve q*p + 2 = -d, 4*p + 5*d + 8 = 2*d for p.
1
Let g be 5/15*(-42)/(-1). Let w be -3 + (-7)/(g/(-18)). Suppose t = -t + w. Solve 0 = k - t*o - 2, 0 = -5*k + 3*o - 8*o + 30 for k.
5
Let t(x) = -x - 5. Let d be t(-7). Let j = 34 - 30. Suppose -p - 6 = 4*v - 20, 0 = -j*p - 8. Solve -5*w + 30 = c - 10*w, -v*w - 10 = d*c for c.
5
Let w(p) = p**3 + 12*p**2 + 18*p - 16. Let n be w(-10). Solve 2*y - n*t + 14 = 0, 0 = -4*y - 4*t + 32 for y.
3
Suppose -4 = 5*t + 4*j + 2, -5*t + 2*j = -18. Solve -4*i - 5*u = 0, 0*u + t*u = i - 13 for i.
5
Suppose 0 = 4*x - c + 9, -5*x + x - c = -1. Let t be 0/(4 + x - 4). Suppose 10*s - 13*s + 15 = t. Solve -s*n + 9 = 2*y, 3 = 2*n + 1 for y.
2
Suppose -6*k - 344 = 4*y - 4*k, -10 = 5*k. Let j = y - -89. Solve t + 2*w = -2*t - 15, -25 = 5*t - j*w for t.
-5
Let g = 474 + -473. Solve 3*p - 17 = -3*t + g, 0 = 4*t - p - 14 for t.
4
Let w be 40/15 + 6*1/(-9). Solve -3*n - a = -1, 6*a - w*a + 16 = -2*n for n.
2
Let n(i) = 10*i**2 - 38*i - 5. Let c be n(4). Solve -3*k - c*p + 27 = -0*p, 5*k - 5*p = 5 for k.
5
Let r(d) = d - 18. Let q be r(22). Solve 0 = -q*n - 5*p - 11, p - 11 = 2*n - 2 for n.
-4
Let v be -13*(-14)/455*5. Solve 5*n - 4*n = -i - 5, 0 = -v*n - 3*i - 10 for n.
-5
Suppose l - 3 = -s - 0*l, -2*s = -3*l - 16. Suppose -3*v + 9*q = 12*q, 4*v = 4*q + 40. Solve -f + 0*z - v*z + 20 = 0, s*f - 4*z = -16 for f.
0
Suppose 65*m - 60*m - 25 = 0. Solve -14 = 2*b + 4*j, -m*j = -b - 3*b + 11 for b.
-1
Suppose 2*s + a + 2 = 9, 0 = -a - 3. Solve s*q - 4*m = 18, 3*q + m = -0*m + 4 for q.
2
Let v be 34/6 + 21/63. Suppose -7*f = -2*f. Let g = f + v. Solve -4*p - 23 = t, -3*t + 0*t + g = -3*p for t.
-3
Suppose 0 = 2*f + 2*a - 64, 3*f + 4*a + 82 = 5*f. Let b = f + -33. Solve 0 = -5*d + c + 2, -2*c + 3 = -d - b for d.
1
Suppose 0 = -3*l + 15, 2*g - 3*l + 26 = 21. Solve -3*t = -4*u - 29, 0*t - 5*t = g*u + 10 for t.
3
Suppose -6*i + 680 = 668. Solve p - 4*p = c, -3*c = -i*p for c.
0
Suppose g - 20 = -7. Let q = g + -7. Suppose -12 = 3*l - q*l. Solve 0*o + l*h = -2*o - 2, 17 = o - 4*h for o.
5
Suppose -53*t + 18 = -47*t. Suppose 3*n + j - 22 = 0, t*j + 3 = -n - 3. Solve -n = 3*p + f + 2*f, -2*p + 3*f = 1 for p.
-2
Let b be 3*(-12)/8*(-4)/6. Solve 4*d = -4*i + 4, -3*i = 5*d - d - b for i.
1
Suppose -9 + 9 = w. Suppose w = -r + 2. Solve 4*q + 20 = -2*d - r, 5*d + 40 = -5*q for d.
-5
Let y = -48 - -69. Suppose -3 + y = 18*j. Suppose -4*t = -t - 9. Solve -p - j = -0*l + 4*l, 0 = t*l + 2*p + 7 for l.
1
Let n(v) be the second derivative of v**3/6 + 9*v**2 + v. Let k be n(-9). Solve -p - d - 3 + k = 0, 5*p - 2*d = 23 for p.
5
Suppose 0 = -44*j - 111 + 419. Solve -4*a - 6 = -2*h, 4 = 6*a - j*a for h.
-5
Let s(y) = -y**3 + 4*y**2 - 2*y - 3. Let j be s(3). Suppose -11 = -2*b - j*a + a, -3*b + 21 = -3*a. Solve 4 = 2*v + 2*z, 12 = 3*v - 2*v - b*z for v.
4
Suppose 4*i - 6*i = -2*v - 12, 5*v = -2*i - 16. Suppose -4*b + 18 = n, -2*b - b + 8 = -i*n. Solve 0 = n*z - 5*r + 8, -z + 2*z = 5*r - 9 for z.
1
Suppose 4*s - 2*t - 22 = 0, 0*t - t + 24 = 5*s. Suppose 5*i + s*a = 50, -4*i + 3 + 43 = a. Solve 2*u + i = -4*c, -u - 2 = -4*c - 20 for c.
-4
Suppose 0 = 10*a - 8*a. Suppose -3*t - t + 22 = 2*j, 4*t - 16 = a. Solve 2*h + 4*o = 8, -j*h + o + 8 = 5*o for h.
0
Let y = 462 + -460. Solve -2*m - y*v + 0*v - 2 = 0, -3*m + 5*v = 27 for m.
-4
Suppose 90*s - 92*s = 0. Solve -27 = -u - 5*p, -4*u - p + 4*p - 7 = s for u.
2
Let b(l) = -12*l - 52. Let t be b(-6). Solve 3*u - u = -5*w + 35, -5*u + w = -t for u.
5
Let s be (18/(-4))/(4 + 472/(-112)). Let l = s + -16. Solve 5*d - p - 10 = -0*p, -l*d - 10 = -5*p for d.
3
Suppose -3*w = -4*l + 24, -6 - 18 = -4*l - 5*w. Let a be (l - 2) + (7 - 4). Solve 2*z - 9 = -3*j, -5*j = -4*z + a*z - 16 for z.
-3
Suppose 7*g = 10*g + 12. Let u be 2/(-3)*(1 + g). Suppose 0 = -2*s + 2, -u*s + 8 = -3*f + 27. Solve 27 = 2*z - 2*r + f*r, -r = z - 6 for z.
1
Let b(q) = -q**3 + 6*q**2 + 3*q + 7. Let l be b(6). Let p = l + -23. Solve 0 = p*y + g - 12, -4*g + 15 = y + g for y.
5
Suppose 13 - 1 = 4*r. Let z be 4/(-16) + (-37)/(-4). Solve -2*p + x = z, 0*p + r*x - 13 = -p for p.
-2
Let h = 218 - 215. Solve -4*l - 5*q = -24, 0*q = 2*l - h*q + 10 for l.
1
Let l(k) = 7*k**3 + k**2 + k - 1. Let a be l(1). Suppose -2*j -