8 = 0, -2*u = -5*x - 0*x - n for x.
-3
Let d(i) = -i**2 - i + 2. Let r be d(3). Let j be (-24)/3*5/r. Solve -j*w + 16 = m, -w - m = -6 - 1 for w.
3
Suppose -h = 2 - 5. Suppose 0 = 2*l - 9 + h. Suppose 10 = 9*y - 4*y. Solve -y*t - 26 = -l*w - w, 5*w = 2*t + 30 for w.
4
Suppose v = -0*v + 2. Suppose v*k + 3*w = k - 1, 3*k + 4*w - 7 = 0. Suppose -5*r - 2 = 4*x, 9 = -r - 2*r - k*x. Solve 2*l = 2*i - 0 - r, 4 = i for l.
3
Let r be 8/10*(-40)/(-16). Suppose 4*s + 6 + r = 4*j, 4*s - 7 = -j. Let i(y) = -y + 1. Let c be i(-4). Solve 0 = -4*t + 3*v - 4, -2 = c*t - v + j for t.
-1
Let j = 8 - 6. Suppose 2*v = n - 22, -n + j*n - 5*v - 7 = 0. Let o be 2/(-8) - (-168)/n. Solve -4*m - 3*b = 2*b - 10, -m - 5*b - o = 0 for m.
5
Let m(x) = -2*x - 1. Let i be m(-2). Let h be (-2)/(-6) - (-246)/18. Suppose -3*v + 1 + h = 0. Solve -2*w - v*b = -i*w - 8, 0 = 5*w + 2*b + 13 for w.
-3
Let z be 1/(-3 + (3 - -1)). Suppose 0 = -4*y - p + 25 - 6, -2*y = -3*p + z. Solve -3*l - 5*u + 16 = 51, -y*u = 3*l + 31 for l.
-5
Let o(s) = s + 2. Suppose -4*c - 9 = 3*y, 3*y + y + 12 = 0. Let r be o(c). Solve -r*f = -4*z - z + 5, 2*z - 3*f = -9 for z.
3
Suppose -4*t + 2*g - 6 = 0, -2*g + 8 = -4*t + 2*g. Let w(p) = -16*p**3 + 2*p**2 + 2*p + 1. Let h be w(t). Solve -5*o + 12 = -3*n, 0 = -5*o - n - n + h for o.
3
Let n be ((-6)/(-5))/(6/15). Solve -n*i = -5*h - 2*i - 23, h + 4*i - 8 = 0 for h.
-4
Let k(p) = 2*p**2 - 2*p - 2. Let w be k(2). Suppose z + 4*c + 16 = -0*z, -3*c = -4*z + 31. Solve -3*q - z*m - 27 = 0, -m = w*q + 3*m + 22 for q.
-5
Suppose f + f - 16 = 0. Suppose s + 0 = -j + 5, -3*j + 3*s = -3. Let r(c) = c**3 - 3*c**2 + 1. Let h be r(3). Solve 0 = -2*g - f, j*g = 5*u - h + 4 for u.
-3
Let n(y) = -6*y + 17. Let z be n(2). Solve 5*w = -o + 23, -o = -3*w + w + z for w.
4
Suppose -5*m = -9*m + 20. Solve -4*l = -m*y + 32 + 9, -2*y = 5*l + 10 for y.
5
Let h = -3 - -11. Solve -2*s - 5*u = 3, 4*u + 1 = 5*s - h for s.
1
Let c be ((-32)/20)/((-1)/10). Solve -y + 7*r - 2*r = -23, -c = 4*r for y.
3
Let v(h) = h**2 + h - 2. Let j be v(-3). Suppose 0 = j*y - 16 - 4. Solve 3*g + y*f + 6 = 0, 2*f = g - f + 2 for g.
-2
Let r = 21 - 111. Let t be ((-7)/21)/(2/r). Solve -3*q = t, 3*q = 4*b - q for b.
-5
Let x(a) = -3*a**3 - a**2. Let q be x(-1). Let b be (-4)/(-22) + 130/11. Suppose b = 3*w + w. Solve -w*y + 3 = -3*u - 0*u, q*y + 5*u + 5 = 0 for y.
0
Suppose -2*o = -2*i - 12, -2*i + 24 = 4*o + 3*i. Let r = o + -6. Solve 4*j - f - 2*f + 5 = r, -2*j + 5*f + 1 = 0 for j.
-2
Let j(g) = g**2 - 2*g + 3. Let l be j(2). Solve -l = 2*u - 5*i + 1, i + 10 = 4*u for u.
3
Let p(h) = h - 9. Let z be p(9). Suppose z*d = d - 12. Solve -2*t + 3*c = d, -t + 2*c = -2 + 9 for t.
-3
Suppose 0 = -j, -4 = 4*c + 3*j - 12. Let f(v) = -v + 2. Let z be f(c). Solve z*w - 5*y = 2*w - 21, 0 = 5*y - 25 for w.
-2
Suppose -g + 8 = 2*f, 5*f = 12 + 8. Let k = g + 5. Solve 15 = h - 5*t + 2, -k*t = -2*h + 11 for h.
-2
Let w = 3 + 0. Suppose -2*l - w = -1. Let g be -9*1*l/3. Solve g*n - 8 = m - 0*n, -4*n = -m - 12 for m.
4
Suppose 10 = 6*z - z. Let d be 6/(-9)*z*-3. Let n = -2 + d. Solve -5 = m + n*a, 5*m = 5*a - 0*a + 5 for m.
-1
Let n(b) = b + 3. Let o be n(3). Let t be (o/(-18))/(1/(-12)). Solve -2*c + 14 = -t*a, -5*c + 11 = a - 3*a for a.
-3
Let t(l) = l - 3. Let d be t(6). Solve -4 = -3*p - 5*w, -2*p - 2*w = -d*w - 7 for p.
3
Suppose 7*f + 0 = 21. Solve -2*r = 8, m + 2 = f*r + 15 for m.
1
Suppose -5*q + q = -8. Solve -d = -5*d - 4*l + 12, q*d = 4*l - 24 for d.
-2
Let i be 28*(2 + (-9)/6). Let o = -9 + i. Solve -u + 5*r + 7 = 3*u, u = o*r - 2 for u.
3
Suppose 2*p = -p + 15. Solve 0 = -b + 2, p*m - 2*b = -5 - 9 for m.
-2
Suppose c = -0*c. Let f = c + 2. Suppose -2*q + 2*z = f, 7*q - 2*q = 4*z - 1. Solve -2*o - 21 = -q*h, -3*o - 1 = h + 3 for h.
5
Let n = 9 + -6. Suppose 3 = n*z + 4*f - 4, 0 = 2*z + 3*f - 4. Suppose -y + 4*y - z*r - 17 = 0, 3*r + 3 = 0. Solve -15 = 3*s - y*g, 0 = s + 2*g - 1 + 6 for s.
-5
Let l(y) = y + 0*y**2 + 4*y**2 - 2*y**2. Let v be l(-2). Suppose -33 = 3*c - v*c. Solve -4*a - 22 = -4*b + 2*b, -5*b + c = a for b.
3
Suppose -6*m + m + 15 = 0. Solve 2*n - m*s = -n - 9, n = -s + 1 for n.
-1
Let i = 16 - 13. Suppose -3 = -4*f + i*f. Solve 22 = 4*k + 2*s, -f*s = -k + 1 - 6 for k.
4
Let z be (-4)/(-22) - 621/(-33). Suppose g - 5*r - z = 4, g = r + 11. Suppose -g = -5*u + 3*u. Solve 5*p + 15 = -u*q, 2*q = -5 - 5 for p.
1
Let u(k) = k - 3. Let l be u(4). Let h be (l + -2)*(-6 + 1). Solve 20 = -n + 5*y, h*n + 2*y - y = -22 for n.
-5
Let b(m) = -m**3 - 3*m**2 + m - 2. Let l be b(-4). Let w = 15 - l. Solve -4*h + 7 = 2*n - 3*n, -w*n = 3*h + 12 for h.
1
Suppose 6*p = 2*p + 16. Suppose 2*l - p*l = 5*q - 15, 12 = 3*l - 3*q. Solve 2*c - l = -3*x + c, -5*c = -4*x - 25 for x.
0
Suppose 0 = 2*v + 2*v. Let o = -5 + 7. Let y(t) = -t**3 - 6*t**2 + t + 6. Let g be y(-6). Solve 3*l - 2*q + 17 = v, g = o*q + q - 12 for l.
-3
Let s = -11 + -1. Let l be ((-4)/(-12))/((-2)/s). Solve -4*b - l = -2*g - 12, 2*b - 5*g = -15 for b.
5
Suppose -x = -0*x - 3. Let q(d) = d + x - 2 - 2. Let z be q(3). Solve -5*h - 5*j + 15 = -0*j, -j = z*h - 8 for h.
5
Let h = 0 - 0. Suppose h = f - 6 + 1. Let t = -9 - -13. Solve 0 = 4*q + q + f*z - 25, -2*q + t*z = 20 for q.
0
Suppose -p + 2*y + 5 = -0*p, 4*p = -2*y + 10. Solve -n = -4*j - 11, p*n + 5 = 4*n - j for n.
3
Suppose -4*a = -0*a - 16. Solve -4*j - 2*t = 6, -j + 7*t + 2 = a*t for j.
-1
Let y(t) be the third derivative of -t**6/120 + t**5/15 + 5*t**3/6 - 7*t**2. Let j be y(4). Solve v + 1 - 8 = j*b, 13 = -2*b - 3*v for b.
-2
Suppose 0 = 5*c - c + 44. Let d = c + 19. Solve 4*a = -4*j + 8*j - d, 2*j - 8 = 0 for a.
2
Let j(v) = -4*v + 5. Let r(t) = 9*t - 9. Let h(m) = 7*j(m) + 3*r(m). Let d be h(7). Solve -3*s + 3*c = 11 + d, -4*s = 4*c for s.
-2
Suppose w + 5 = 5*c - 0, 4*w = -20. Let t be (0 + 2)/(c + 2). Let f be (3 + -4)*-4*t. Solve 21 = m + f*m + 3*i, i + 1 = m for m.
3
Let c(o) = -o**2 + 8*o - 8. Let x = 16 - 22. Let h = 12 + x. Let y be c(h). Solve -2*m + 5 = 3*z, -3*m + 1 - 2 = -y*z for m.
1
Let a be 2/12 + 110/60. Solve -2*h = -4, 2*m = 3*h - 5*h - a for m.
-3
Suppose 2*z - 24 = -8. Solve p = c, -p + z*c - 3*c + 8 = 0 for p.
-2
Suppose o + 2*o - 15 = 0. Solve -4*g + 0*a = o*a + 16, 5*a = -20 for g.
1
Suppose 6*t + 4*t - 130 = 0. Solve 3*w = -s - 18, -2*w - 4*s = -3*s + t for w.
-5
Let l(n) = n + 10. Let u be 94/(-14) + 2/(-7). Let h be l(u). Solve -t - 2*k + 2 = 2*t, 2*t = h*k + 23 for t.
4
Suppose 35 = -4*g + 5*g. Suppose -3*q - 3*u + 32 = q, 5*u - g = -3*q. Solve 0*x + 5*x = q*t, 4*x - 4 = 3*t for x.
4
Let j = -9 + -6. Let w be (-4)/16 - j/12. Solve -3*p + 15 = -4*n + w, 0 = -5*p - 10 for n.
-5
Let l be (-2 - -1) + 8/2. Let n be -1*(l + 18/(-3)). Suppose 7 - n = o. Solve -3*z - o*u + 17 = -0*z, 0 = 2*z - 3*u for z.
3
Let k(w) = 2*w**2 + 28*w - 23. Let r be k(-15). Solve 4*u + 4*x + 23 = r, 5*x = -4*u - 16 for u.
-4
Let n(w) = w**3 - 8*w**2 - 7*w - 13. Let k be n(9). Solve j = 3*z - 4*z - k, -4*z = -2*j - 10 for z.
0
Suppose u - 12 = -3*u. Suppose 0 = -5*b + 2*x + 18, -7 = -b + u*x + 7. Suppose k - 6 = -b. Solve -3*v + 4*q - 11 = -q, 0 = 4*v + k*q - 28 for v.
3
Suppose 4*j = 3*o + 7, o + 2 = 3*j - 7. Solve -2*h - 1 = -s, -o*s - s - 4*h = 20 for s.
-3
Let k(m) = 2*m + 6. Let y be k(8). Solve -v + 29 = 3*v + 5*l, 0 = 2*v + 4*l - y for v.
1
Let x = 44 - 24. Solve 6*m - m = -5*n - 25, -5*n - x = 0 for m.
-1
Suppose 0*s + 4*k - 7 = s, 5*s + 5*k = 40. Solve s*y + 8 = -2*o, 5*o + y + 20 = -0*o for o.
-4
Suppose -12 = 2*f - 26. Solve 0*s + s + 5 = -k, -5*s = -3*k - f for s.
-1
Let j be ((-2)/(-8))/(4/48). Solve 4*l = -2*y - 0*y - 12, 2*y - j = l for l.
-3
Let q be (1 - -3)*5/10. Solve -j + 15 = 2*j, -q*k + 4*j = 20 for k.
0
Let l(o) = o**3 + o. Let p be l(1). Let w be (-2)/4 - p/(-4). Let g = 15 + -15. Solve 3*f - 3 = w, g*n + 5*f - 1 = -n for n.
-4
Suppose -5 = t - 0. Let f = t + 7. Let y be (23 - -2)/1 - f. Solve 2*x + 2*x - 18 = -q, 3*x - y = 4*q for x.
5
Let k be 2*((-9)/6)/(-1). Solve 3 = -r, 2*r = 3*v - k*r for v.
-5
Let n = -37 - -38. Solve 5*h - 2*k = 2, 4*k + 5 - n = -4*h for h.
0
Let s = 3 + 7. Solve 0 = -2*a + 4, 0 = -4*u - 2*a - 3*a + s for u.
0
Let g(w) be the first derivative of w**4/4 + 2*w**3 + 5*w**2/2 + 3*w - 3. Let a be g(-4). Solve b - 1 = v, 5*b - 2*b + v - a = 0 for b.
4
Supp