 + 16. Solve 45 = m*v - v + i*p, v - 1 = p for v.
5
Let t(o) = -o**2 - 6*o + 4. Let q be t(-6). Let v = q - 5. Let k be v/4 - 9/(-4). Solve 10 = 5*m, -b + 4*m - k*m - 4 = 0 for b.
0
Suppose 0*c + 4*c - 32 = 0. Solve -a - 2*m = c, 4*a - 1 - 11 = 3*m for a.
0
Let i = 27 + -22. Solve i*c + x = -22, -4*c + 8*x - 35 = 3*x for c.
-5
Suppose -2*l - 8 - 3 = 5*h, 2*h = 2*l + 4. Let k = -5 + 2. Let p = k - l. Solve 3*t + 16 = 3*b + 2*b, -2*t - 4 = p for b.
2
Suppose -u - 3*u = -8. Solve 0*f = -5*y + 2*f - 5, -u*f - 4 = -2*y for y.
-3
Let q be ((-4)/8)/((-2)/(-12)). Let d(z) = z**3 + 3*z**2 + 2. Let w be d(q). Let k be (-75)/(-3)*(4 + (-72)/20). Solve -2*y = -w*i - k, y + i = -0*y - 1 for y.
2
Suppose 4*d + 24 = 8*d. Solve -20 = 5*b - 5*l, -4*l + d = -b - l for b.
-3
Let g(p) = p - 5. Let r(q) = q - 6. Let c(f) = -4*g(f) + 3*r(f). Let h be c(-4). Solve -3*b + 3*v + 0 = -h, -30 = -5*b - 5*v for b.
4
Let h be (2/3)/((-14)/21). Let g(a) = 5*a**2 + 2*a + 1. Let o be g(h). Solve -o*y + 3*x + 2*x = 29, 5*x = -4*y + 21 for y.
-1
Let p be (15/25)/((-12)/(-40)). Let d = 16 - 3. Suppose -2*y = 3*k - 16, -y - 4*k + d = -0*y. Solve -4*n = 2*z - p, y*z = 4*n + 24 + 9 for z.
5
Suppose -5*j - w + 6*w = -10, 2*j = -w + 13. Solve o - 12 = -4*g, j*g + 7 = o + 22 for o.
0
Let g be (-12)/(-7)*(-42)/4. Let y be (-76)/(-18) + 4/g. Suppose -4*r + i + 12 = 0, -y*r - 4*i + 2*i = 0. Solve -5*a - 4*t = -11, -4*t + r*t + 7 = 3*a for a.
3
Let t be (4/14)/(5/35). Let a be (-2 - t)/4*0. Solve 3*p - v - 12 = -p, -5*p + v + 15 = a for p.
3
Let t(c) = c**2 + 21*c + 20. Let n be t(-20). Solve n = -4*v + 4*h + 3 - 11, -4 = v - 3*h for v.
-1
Let q be 0 - (-1 + 0 + -3). Solve 2*k - 14 = -3*y, -4*k = -k + q*y - 20 for k.
4
Let i be (0 - -2) + -3 + 6. Let j(s) = s - 6. Let w be j(6). Suppose w = -x + 2*x - 3. Solve 0 = x*g + 5*d - i - 0, d + 11 = -3*g for g.
-5
Suppose -d = 2*d. Solve 3*o - 4*f + 6 = -d*f, -11 = -4*o - f for o.
2
Let p = -1 - -4. Solve -2*x = -4*v + 3*x + 3, 2*x + 15 = -p*v for v.
-3
Let l = -30 - -30. Solve -4*p + 3*z + 0 - 11 = l, 5*p = -3*z - 7 for p.
-2
Let b = -8 - -5. Let t(z) = -z**3 - 2*z**2 + 3*z + 2. Let s be t(b). Solve -25 - 6 = -5*q + 2*r, q + s*r = -1 for q.
5
Suppose -10 + 5 = 5*m. Let i = -3 - m. Let n be 0/(-3)*(3 + i). Solve -6 = 2*y - z + 6, 3*y - z + 17 = n for y.
-5
Suppose -y - 19 = -4*k, -4*y = -k - 3*y + 7. Let o(z) = z + 12. Let r be o(-6). Suppose 2*g + 24 = r*g. Solve 3*m + g = -k*s - 8, -8 = -s + 5*m for s.
-2
Suppose 6 = -3*q + 2*j - 18, 0 = 5*j - 15. Let t = q - -8. Let i(g) = 2*g + 2. Let b be i(6). Solve -c + 3*u = -b, -u - 6 = t*c - c for c.
-1
Suppose -d - 12 = -7*d. Solve 3*q = 0, -q - 3*q = -d*x + 4 for x.
2
Suppose -5*x - 11 - 12 = -2*i, 2*i + 2*x - 44 = 0. Suppose 2*r - 8 = -5*w + i, -2*r + 5*w = 23. Solve 2*j + 3 = 2*f - r, -3*j = -5*f + 16 for f.
5
Let w = 2 + 0. Solve w*d = -2, -3*n + 5*d = -2*n for n.
-5
Let k(t) = -t**2 - 9*t + 12. Suppose 3*x = -0*r + 2*r - 75, -50 = 2*x - r. Let n = 15 + x. Let s be k(n). Solve 20 = -5*g + f, -4*g = s*f + 3*f + 16 for g.
-4
Let t(h) = -h**3 + 30*h**2 + 33*h - 57. Let i be t(31). Solve 5*m - 2*k - 20 = 0, 0*m + 4 = m + i*k for m.
4
Suppose -2*m = m - 4*a, 0 = m + 5*a - 19. Let y(z) = -z**2 + 5*z - 4. Let d be y(m). Suppose d = -5*n + 25. Solve 2*i - n*i - 19 = -5*w, -13 = -5*w + i for w.
2
Suppose 0 = -5*m - 0*m - 5*v + 220, 3*m + v = 124. Let y be (m/25)/(4/10). Solve -5*q = -2*q + d + 9, -5*d + 12 = -y*q for q.
-3
Let g(a) = 3*a + 7*a - 5*a + 4 + a**2. Let b be g(-5). Solve z - 3*m = m - 1, -b*z - 4 = -3*m for z.
-1
Let u be (-6)/15 + (-24)/(-10). Let v be -2*u/(-4)*1. Solve 0 + v = l, 2 = -5*o + 2*l for o.
0
Let x = 52 + -22. Suppose -x = m - 4*m. Solve -5*l = -2*p - p - m, 5*p - l = -24 for p.
-5
Let u be (-3)/(-1) - (-380)/5. Suppose -4*i + u = 5*s, -2*s + 6*s = 5*i + 96. Solve 0 = 3*f - 0*n - 5*n - s, 5*f - 21 = 3*n for f.
3
Let b(g) = -g**3 - 7*g**2 - 8*g - 4. Let z be 1/(-2)*0/2. Suppose z = -2*u - u - 18. Let k be b(u). Solve -w = 5*v - 4, -3*v = -2*w - 0*v + k for w.
4
Let y = -85 - -87. Solve 2*o = y*h + 16, 7 = h - 3*o + 5*o for h.
-3
Let d(v) = 2*v - 2. Let n be d(2). Let o(b) = 3*b - b**2 - 4*b + 1 - n + 4. Let p be o(0). Solve 0*q - 2*q = p*f + 17, 5*f + 5*q + 30 = 0 for f.
-5
Let q(m) = m**3 + 3*m**2 + m - 1. Let u = -5 - -3. Let f be q(u). Suppose b - f = -3*y - 0, 0 = -4*y - 12. Solve w - v + 2 = 6*w, 0 = -2*w - 5*v + b for w.
0
Let h(q) = q - 19. Let u be h(19). Solve -3*t = 2*b + 3, t + u*t - b + 1 = 0 for t.
-1
Suppose 4*h = -20, -3*c + 31 = -0*c - 5*h. Solve o + 2*y = -1, -19 = -3*o - c*o - 2*y for o.
5
Suppose 0*g + 7 = f + 2*g, 18 = 4*f + 3*g. Suppose -4*z = -2*z - 2. Let h be 2 - z/((-3)/30). Solve -f*u - h = 5*l, -4 + 2 = -l - 5*u for l.
-3
Suppose -27 = 13*d - 22*d. Solve t + d*i - 5 - 9 = 0, 3*t + 18 = 3*i for t.
-1
Let f(g) = 8*g + 10. Let s be f(2). Solve -a + 3*h + 9 = s, -4*a = 2*h + 12 for a.
-5
Suppose 0*c + 12 = 4*c. Suppose -3*r = 4*v - 0*r - 15, c = -r. Let p = 10 - v. Solve 5*t = -3*u + 5*u - 23, 0 = -4*t + p*u - 28 for t.
-3
Let y(s) = -s**2 + 4*s - 5. Let m be y(4). Let z = m - -9. Solve 3*q - 5 = -2*o, z*o - 2*q = -3*q + 15 for o.
4
Let s = -4 - -9. Suppose 0*m - 14 = -2*m. Let b = m - s. Solve -27 = b*z + 5*v, z - 4 = v - 0 for z.
-1
Suppose 12 = 13*v - 10*v. Solve -3*g - 2*d - 2*d - 20 = 0, 0 = v*d + 20 for g.
0
Suppose 2*v + 18 = 4*x, -2*v + 5*v = -3*x + 9. Solve -2*t + 4*d = -10, 2*t + 11 = 3*t - x*d for t.
-1
Suppose -2 - 10 = -4*w. Solve 3 = u, w*o - 2*u + 1 - 7 = 0 for o.
4
Let g(w) = -7*w + 4. Let k be g(3). Let n = 11 - k. Solve -5*r = -j - 2 - 17, 4*r - 4*j = n for r.
3
Suppose 0 = 5*p + 15 - 0. Let n(u) = -u + 1. Let t be n(p). Solve 4*i + 2*f = -12, 0*i - 26 = 2*i - t*f for i.
-5
Let a be (0/(-1))/3 + 6. Let z = -6 + a. Solve 0 = h - z*t - 3*t + 9, -2*h = 5*t - 4 for h.
-3
Suppose 0*l - 12 = -4*l. Suppose -5 = -2*o - l*p, -4 = -6*o + o + p. Solve 0 = 3*b - 3, 2*m + 2*b - o + 3 = 0 for m.
-2
Let a(g) = -6*g - 1. Let u be a(-1). Solve 2*q = 2*n, 4*n + 4 = u*q + 1 for q.
3
Let b = 88 + -80. Solve 4*c + 2*d = 0, -4 = 3*d + b for c.
2
Suppose 0 = 5*r - 15 + 5. Suppose r*n - 2 = 8. Let f be (-18)/15*(-20)/6. Solve 4*v + f*h = -v + 21, -3*v + 2*h = n for v.
1
Suppose 0 = -8*a + 12*a - 16. Solve a*l - l - 5*o - 8 = 0, 5*l - 4*o = 9 for l.
1
Suppose 5*u + 20 = 5*l, -u - 3*u = 5*l - 20. Suppose 2*j - o - 2 = 0, 4*o = -2*j + 1 + 1. Solve l*h = -4*z + 16, -3 - j = 5*h - z for h.
0
Let s be 24/4*(-4)/(-8). Suppose -2*u + 7 + s = 0. Solve 0 = 2*t - 2, 3*b - 14 = 6*b - u*t for b.
-3
Suppose 2*v - 2*p + 3*p - 11 = 0, -20 = -5*v - 4*p. Solve 5*a + 27 = -o, 0*o - 2*a - v = -o for o.
-2
Let m be (32/(-56))/(2/(-14)). Suppose 0 = -j + 5*i - 18, -j = -4*i + 3*i + 2. Solve -r - j = n, -m*n - 6 = -4*r + 18 for r.
2
Let b be (1 + 45)*4/8. Suppose -5*v - b = -r, r - 5*v + 2*v = 15. Solve -4*f = 7*y - 8*y + 19, -2*f = -r*y + 7 for f.
-5
Let j be 6*(0 - (-12)/8). Suppose -6*z - 9 = -j*z. Solve 3*k + h - 18 + 1 = 0, 0 = z*h - 15 for k.
4
Suppose -5*p = -3*c - 21, p + 5*c - 27 = -p. Solve -4*b - 5 = -a, 2*b + p*a + 13 = 3*a for b.
-2
Let t = -41 + 11. Let w be (7/((-21)/t))/2. Solve b + 0*b = w*g - 22, -5*b + 5*g = 10 for b.
3
Let v(c) be the second derivative of c**4/4 - c**3/3 + c**2 - 5*c. Let t be v(1). Solve 2*q = -2*u - 10, -3*q - 5 = t*u - 2*q for u.
0
Let p(q) = -q + 2. Let d be p(-5). Suppose -5*u = d - 62. Solve 5*w = v + u, 4*v + 0*v - 4 = -4*w for w.
2
Let t(m) = 0 + 2 + 2*m**2 - 8*m**2 - 4*m - 1 - m**3. Let g be t(-6). Let r be (1 - 0)/((-1)/(-5)). Solve 4*b + 20 = 0, b + 2*b + g = r*f for f.
2
Let c be ((-1)/3)/(1/(-9)). Let j be 1 + -3 - (0 + -5). Solve -c*t + 7*t - 5 = -l, 13 = -j*l + 2*t for l.
-3
Let n = 11 - 11. Solve 3*t - 20 = 5*p, n*t - 3*p = -3*t + 18 for t.
5
Suppose -2*h = 3*h. Suppose -16 = -3*f - 1. Solve h*c - c = -3*z - 4, 0 = -f*c + 5*z - 10 for c.
-5
Suppose 5*l + 4*i = 20, 2*l - 5*i = 5*l + 1. Suppose 5*g = 3*z - z + 4, 4*g = z + l. Solve 4*f - 12 = 3*v - 8*v, -3*v = 2*f - z for f.
-2
Let u = 37 - 6. Let r(n) = n - 4. Let g be r(6). Suppose -5 = -z - g. Solve 7 = -5*b - c - 20, 5*b = -z*c - u for b.
-5
Let d(t) be the second derivative of t**4/12 - 2*t**3/3 + 5*t**2/2 - t. Let s be (15/(-6))/5*-8. Let m be d(s). Solve 0 = -u + 5, 0 = -m*f +