c = 11, m = -0*p + 5*p - 4*c - 16 for p.
4
Suppose 0 = 5*s + 5*i - 25, -3*s - 4*i + 15 = -3*i. Let t = s - 0. Suppose -f + 5*f = 0. Solve -t*o = -4*z + 3, 2*z - 1 = 3*o - f*o for o.
1
Let c(z) = -13*z - 3. Let b be c(-3). Suppose -4*s + b = -2*s. Let p = s - 13. Solve 2*n - 2*f + f = 11, 0 = 5*n + 5*f - p for n.
4
Suppose 25 = 3*l + 19. Solve -l*p + i - 5 = 2, -5*p + 2 = 4*i for p.
-2
Suppose -4 = r + 2*a, 4*a - 8*a - 32 = 5*r. Let q = -3 - r. Solve 0 = 2*g - 4*c, 0 = 2*g - q*g + 5*c + 2 for g.
4
Let z(a) = -a**3 - 3*a**2 - 3*a - 8. Let q be z(-4). Suppose 2*m + 1 + q = 5*j, -m - j + 7 = 0. Solve 2*y = -2*b - 10, m*y - 4*b + 0 = 20 for y.
0
Suppose -13 = -3*l - 4. Suppose 5*q - 5*r + r = 33, -q = 4*r + 3. Solve 5*m = l*c + 2*c, -q = -5*c for m.
1
Suppose 3*i = -i - 12. Let j = i + 7. Let g(a) = a + 1. Let f be g(0). Solve j*b = 5*s - 2, -2*s - 5 = -4*b - f for b.
2
Let y be (-2)/(-9) - (-50)/18. Suppose -y*b - 12 = -5*b. Let m be (4 + -4)/(b/(-2)). Solve 2*p + 0 = -5*h - 3, -3*h - 2*p - 1 = m for h.
-1
Suppose l = -34 + 75. Solve -2*s = -7*s + 4*p - l, -5*s - 5*p = 5 for s.
-5
Let n(u) = -u**2 - 6*u. Let f be n(-6). Let s = 4 - f. Solve x - 2 + 3 = 0, z + 9 = -s*x for z.
-5
Suppose -2 = -0*o + 2*o. Let h be (-59)/(-6) - o/6. Solve -2*x = 3*u + h, -3*u - 6 = x + 5 for u.
-4
Let q = 3 - 3. Let g be -1 + 1 - (-5 + q). Solve 25 = g*m + 5*v, 5*v = -m + 2*m + 7 for m.
3
Suppose 0*i = 2*i - 10. Suppose d + 5 + 8 = 3*n, -i*n + 15 = -5*d. Suppose -3*g = 5*b - 18, -13 + 2 = -5*g - 2*b. Solve -u + 3*u = p + g, -n*u = -2*p for p.
-5
Let y = 5 - 4. Suppose 2*p = p - 3*z, 2*p - y = -5*z. Solve p*j = 3*u, 4*j = -2*u - j - 21 for u.
-3
Let r be -4 - (-4 + -4) - -4. Solve 0 = 5*n + l + r - 20, 0 = 5*l + 15 for n.
3
Suppose -2*k - 16 = -6*k. Solve -7 = y + 4*n, -5*y - n + 34 = -k*n for y.
5
Let b(m) = m**3 + 14*m**2 + 2*m + 32. Let h be b(-14). Let j be (-2 - -4) + 2/1. Let t be ((-6)/j)/(-1)*2. Solve -t*l + 6 = 5*z - 9, -h*l - 2*z + 20 = 0 for l.
5
Let q = 8 + -4. Suppose -m + 4 - 3 = 0. Suppose -q*l = -3*b + 8, 5*l = 2*b - b + m. Solve 4*v + b*c + 3 = -5, 1 = -2*v - c for v.
1
Let d be (-3 - -2) + 0 + -2. Let z be ((-4)/(-3))/((-1)/d). Suppose z*h + 1 = 13. Solve -h*t = -a + 2*a + 6, a - 3*t = 0 for a.
-3
Let p be 3/(-6) - 3/(-2). Suppose p = c - 2. Solve 4*s - 3*s + 2 = -2*q, -3 = c*s + 3*q for s.
0
Let f = 117 + -111. Solve -2*d - 3*d + 2*z - 27 = 0, -d + z = f for d.
-5
Let n be (2 + 10/(-3))*-3. Suppose 0*y = -n*y. Let k be (-4 - -2 - y)/(-2). Solve 2*a + 3*m - 10 + k = 0, 3*m - 3 = -4*a for a.
-3
Let q be (2 - 16/(-9)) + (-16)/(-72). Solve z - q = -0*z, -6 = -2*r - 3*z for r.
-3
Suppose 22 = 5*s + 12. Let v be 2/4 + 54/12. Solve v*p - 1 = s*m + 20, -3 = 5*m + 4*p for m.
-3
Suppose g = -b - 0*b + 1, 5*b + g - 1 = 0. Suppose 8*u - 6*u = b. Solve 3*w - 16 = -x, -3*x + 4*w - w - 12 = u for x.
1
Let g = 12 - 10. Suppose -l + 4*l - 2*j + 5 = 0, l = -g*j + 9. Let t = 0 + l. Solve -y - t = z + 2*y, 5*z + 5*y = 5 for z.
2
Let o(q) = q**3 + 4*q**2 - 5*q - 3. Let y = 6 + -10. Let c be o(y). Suppose 5*u + c = 42. Solve u*d + 2*l = l + 24, -d + l = 0 for d.
4
Suppose 2*o - o = 2*z, -2 = 5*z - 3*o. Solve 0 = 3*g - z*l + 4, 4*g + 10 = 5*l for g.
0
Suppose 5*f + 21 = 81. Solve -4*q + z = 19, -4*q - 11 = 3*z + f for q.
-5
Let q be (-46)/(-10) + 21/(-35). Solve 0 = 4*w - 2*m, 0 = -w - w + q*m - 6 for w.
1
Let m be 28/((-4)/2) + -2. Let f be ((-18)/8)/(6/m). Let r be (-32)/10*(1 - f). Solve 0 = -g + 4*y + r, g - y - 6 + 2 = 0 for g.
0
Let m(w) = 7*w - 3. Let h be m(5). Let d be 3/(0 + 1/(-1)). Let c = d + 3. Solve 5*j + h = -u + 5*u, c = j + 4 for u.
3
Let z = -24 - -27. Solve 4*i - 4 = 4*r - 0*r, z*r = i - 9 for r.
-4
Suppose 5*k + 5 + 3 = x, x - 3*k - 12 = 0. Let l = 5 + x. Solve i - l = -2*c - 3*c, -5*c = 3*i - 19 for c.
5
Suppose 3*n = 7*n. Solve -2*s + u - 7 = n, 4*u + 1 = -5*s + u for s.
-2
Let w = 11 + 7. Let d = w + -13. Solve -3*p = a + 8, 4*p - 7 = d*a - 24 for p.
-3
Let b(v) = -v**2 - 4*v + 5. Let l be b(-4). Solve 2*q - 1 + 0 = 3*r, l*r - 5*q + 5 = 0 for r.
1
Let y be -1*(0/(-2))/(-4). Solve -j = 2*z + 9, -j + 3*z - 2*z = y for j.
-3
Let l(t) be the third derivative of -3*t**2 + 1/4*t**4 + 0*t - 1/3*t**3 + 0. Let x be l(4). Solve -3*o - 2*g - 2 = -0*o, -4*g = -3*o + x for o.
2
Let d = 16 - 14. Solve -d = -5*l + 3*b + 8, -b = 5 for l.
-1
Suppose -11 = 4*v + 1. Let k be (-126)/4 + v/2. Let p = 49 + k. Solve 2*l + p = -0*l - 4*w, -5*w - 20 = 0 for l.
0
Suppose -4*c + 4*q + 22 = 2, -c - 4 = 2*q. Let b = 2 + c. Solve -b*d + 4 = 5*u, -7*u = -3*u + 4*d for u.
4
Let o(p) = 7*p. Let c be o(0). Solve -v = 4*b - 1, 2*v = -5*b - c*v + 2 for b.
0
Suppose -4*u - 5*k = -88, 3*u - 5*k - 20 - 81 = 0. Solve 5*m = 3*s + u, 0*s = m + s + 1 for m.
3
Suppose 0 = -3*k + 6, 0*k - 2*k + 4 = -3*w. Solve -3*p - 2*p = -t - 25, w = 2*t + 4*p - 6 for t.
-5
Suppose -3*t - 4*t = -14. Solve t*l - 2 = 2*d, 3*d = l - d - 13 for l.
-3
Let u = 8 - 6. Suppose -p = -u*w - w + 8, 20 = 5*w - 5*p. Suppose -i = v + 1, 0 = -2*i - 6. Solve 0 = g + w*g, -3*t = v*g - 9 for t.
3
Let n(i) = -i**2 + 6*i - 7. Let b be n(2). Solve 0*w - 13 = 3*w - o, 5*w + 4*o - b = 0 for w.
-3
Let l(n) = -2*n**2 + 12*n + 4. Let q be l(6). Solve 0 = -3*y + 2*f + 1 - 0, -q*y + f = 7 for y.
-3
Let i = 17 - 17. Let v be 5/2*8/10. Suppose i = -5*j + v*a + 6, 3*j - 12 - 2 = -4*a. Solve m = -b + 4*m + 13, j*m = 4*b - 22 for b.
4
Let y be -6*-2*3/18. Suppose -3*m - 2 - 4 = 0. Let c = y + m. Solve 0 = g - 5*r - 15, -5*r - 25 = g - c*r for g.
-5
Suppose -x = -5*o - 3*x + 176, 3 = x. Let n be (o/8)/(2/8). Solve 10*t + z + n = 5*t, 4*t - 4*z + 28 = 0 for t.
-4
Suppose -3*t = 3*u - 36, 5*u + 5*t = 3*t + 45. Suppose g = 3*i - 1 + 5, 20 = 5*g - 2*i. Solve -2*x + 4*q = -26 + 4, -3*x - g*q = u for x.
3
Let l = -3 - -6. Suppose 0*z + z = 3. Solve -5*q = z*m + 8 - 0, -l*q = m + 8 for m.
4
Let l(g) = g - 7. Let r be l(7). Solve 3*w - 5*n = -r*w, n = -w - 8 for w.
-5
Suppose -10*d = -8*d - 6. Solve 2*p - 5 = -d*s + 2, -4*s - p + 11 = 0 for s.
3
Let l(k) = k + 12. Let g be ((-10)/(-25))/(1/(-30)). Let y be l(g). Suppose 44 = 2*m + 6. Solve v + y*v + m = 5*z, 0 = -v + 4*z - 16 for v.
-4
Suppose -3*w - 14 = -v, -6*w - 20 = -v - w. Suppose 10 = 3*c - v. Solve c*x + 2*r - 9 = 0, -1 = -2*x + 3*r - 5 for x.
1
Suppose 2*z = -0*z. Solve 5*u + 5 = -4*m + 3*m, -4*m - 20 = z for u.
0
Let n(f) = 2*f + 1. Suppose -5*p - 4*a = 15, -4*p - p - 2*a - 5 = 0. Let y be n(p). Solve -3*k + 4*k = y*i + 4, 0 = 4*i + k + 10 for i.
-2
Let o(m) = -3*m + 1. Let f be o(-1). Let n(s) = s**2 - 3*s - 4. Let i be n(f). Solve -33 = 5*t - i*t + 4*p, -3 = t - p for t.
-5
Let b(v) = v**3 + 6*v**2 - 7*v + 2. Let h be b(-7). Solve h*c - 18 = 5*p, 0 = 3*c - 7 - 5 for p.
-2
Suppose s - 10 = -5*d, 3*d - 2 = 2*s + 4. Suppose -2*n = -4*c - 16, -5*n + n + 2 = 2*c. Solve z - 4 = -d*y, -5*z = n*y - 3*y - 20 for z.
4
Suppose -3*v = -6*v. Solve 2*h + 4*p = 12, 4*h + p = -v*p + 3 for h.
0
Suppose 4*z + 4 = -4*q - 0*q, 3*q + 4*z + 6 = 0. Suppose 10 = 3*l - 14. Suppose 0 = -4*i + 33 - 1. Solve 2*n + q*n = -5*u + i, -4*n = u - l for n.
2
Let w(l) = l**2 - 23*l + 26. Let j be w(22). Solve 3*u = -3*r - 3, j = 2*r - 2*u - 2 for r.
1
Let u(z) = z - 3. Let r = 0 + 4. Let j be u(r). Solve 2*a - p - 2*p + j = 0, -7 = 2*a - 5*p for a.
4
Let p be (3/(-3) - -6) + -1. Let v = 9 - p. Suppose v*j + 4*a - 29 = 0, -6*j + j - a = -26. Solve 3*y + 12 = 0, -j*y = 2*g + 21 - 3 for g.
1
Suppose -f = -0*f - 23. Suppose 2*a = -2*q + 4*q + 14, -5*a + 2*q = -f. Solve -a*k + 15 = 5*p - 1, -3*k = p - 8 for p.
2
Let l = -2 - -4. Let w be 23/(l/(2/1)). Suppose 1 = 5*c - 19. Solve -c*d = -3*o + w, -o = 3*o - 3*d - 19 for o.
1
Let b = 66 - 62. Solve -2*f + 6 = b*m, 3*m - 15 = f - m for f.
-3
Let v(s) = -2 + 0 + 3 + 182*s**2. Let l be v(1). Suppose -l = -5*w - 2*r, -4*w + 148 = -r - 1. Solve -3*u - w = -5*o, u - 3*u - 5*o = -17 for u.
-4
Let a(m) = -4*m**2 + 6*m - 8 + 5*m**2 + 1. Let z be a(-7). Suppose 3*j - 20 = -j. Solve -5*b = -0*b - 5*k + j, -3*b - 5*k + 29 = z for b.
3
Suppose 0 = -4*p + 19 + 9. Suppose -2*i = -p*i + 10. Solve -5*f = -5*y - 5, -6*f + f + 8 = -i*y for f.
2
Suppose 0 = -2*q - 5*j + 7, -j + 5 = 2*q - 14. Solve 5*f - q = r + 13, 0 = 4*f - 16 for r.
-4
Let b(u) be the second derivative of u**4/4 - u**3/6 + u*