 Solve f + 3*b = -2, -f + l = -4*b - 3 for f.
1
Suppose 2*i + 42 = -i. Let s be (-426)/(-21) - (-4)/i. Let r = -9 - -13. Solve -17 + 2 = 3*f - 3*c, 3*c - s = r*f for f.
-5
Let j(x) = -x**2 - 7*x - 5. Let w be j(-5). Solve -h = -5*a - 5, -a - a + w = h for h.
5
Let l = -51 + 51. Solve m = u, -m + 2*u + u - 4 = l for m.
2
Suppose 9 = 3*g - 111. Suppose -2*m + 0 = -g. Solve z = -2*z - x - m, -40 = 3*z + 5*x for z.
-5
Let x(c) = -c - 1. Let q = 3 + -3. Suppose 2*h + 12 - 4 = q. Let w be x(h). Solve 17 = -4*i - g, 3*i + 5*g + 37 - w = 0 for i.
-3
Suppose 2*m + 3*b = 0, 3*m = -2*m + 3*b. Suppose 0*v - v = m. Solve 0 = -4*c, 2*a + 0*a - c = v for a.
0
Let v = -6 + 10. Let x(t) = -v - 4*t + t**2 + 2 + 5*t. Let m be x(2). Solve -10 + 24 = 3*a + 5*o, 0 = 3*a - m*o + 22 for a.
-2
Let r = 5 + -3. Suppose -4*c + 6*c = 0. Solve r*o + 9 = z, 2*o - o + 4*z = c for o.
-4
Let b = 34 + -9. Let p be 8/(-20) - 46/10. Let q be (10/b)/((-1)/p). Solve z + 2 = -q*u - 0*u, -u = -3*z + 1 for u.
-1
Let q = -9 - -14. Let p(t) = q*t + 2 + 2 + t**2 + 0*t**2 - 1. Let s be p(-5). Solve -4*f - s*y - 5 = 0, f - y = -2*f + 6 for f.
1
Let m be 1/(-1)*-7*3. Suppose -5*q + 3*i = 0, -3*q - 3*i + m = -q. Solve -5*z + 25 = t, 0 = q*t - 4*z + 15 + 5 for t.
0
Let i = 19 - 19. Solve -4*m = 4*f - 4, 2*f - 5*f + m - 13 = i for f.
-3
Let j be (10/2)/((-2)/(-14)). Let i be -2 - (2 - 11) - -3. Suppose -r - 4*s = -16, 3*s - i + 1 = 0. Solve -3*b = r*v + j, 0 = b + 3*v - 0*v + 20 for b.
-5
Let d = -12 - -19. Let p(q) = q**3 - 7*q**2 + 7. Let w be p(d). Suppose 3*v + 12 = w*v. Solve 11 = 3*s - v*j - 4, 2*s + 3*j = 10 for s.
5
Suppose -6*j + 3*j = -9, 2*u - 3*j - 25 = 0. Suppose -4*y + 7 = -u. Let p be 6/4*(y + -4). Solve 0 = -h + 5*b - 15, 2*h - 3*h - 4*b + p = 0 for h.
-5
Let m(c) be the third derivative of c**5/60 + c**4/8 - 5*c**3/6 - 3*c**2. Let u be m(-6). Solve -4*g = -l + u, 0 = 3*g + 12 for l.
-3
Suppose -43 = -4*z - 27. Solve 26 = z*v + 2*g, v - g - 6 + 4 = 0 for v.
5
Suppose 6 = 4*n + 14. Let m be 18/8 - n/(-8). Solve 2*h + 5*i + 2 = -m*h, 3*h = 2*i + 10 for h.
2
Suppose 0*y - 30 = -5*y. Let b(i) = 0*i - 2 + i + 0*i. Let c be b(y). Solve 2*l = -5*v - 17, 5*l - 7 - 33 = c*v for l.
4
Let x be (-1 + 2)/((-2)/(-22)). Suppose -3*q + 30 = -0*f + 3*f, 0 = 5*q + f - 50. Solve o + x = -d + 4*o, q = -2*d + 3*o for d.
1
Let b = 112 + -109. Solve 2*z = -i, 2*i + 0 = -b*z + 2 for z.
-2
Suppose -q = 4*h - 68, q - 32 = -3*h + 5*q. Solve -5*r + 3*d + 0 = h, -5*r = -2*d + 14 for r.
-2
Suppose 2*q - 14 = 2*y, 0 = -q - 2*q - 4*y + 56. Suppose 12*t - q = 9*t. Solve 5*l - 15 = 0, -t*x - 6 - 3 = -3*l for x.
0
Suppose 2*p = 3*p - 3. Suppose -q = p*q - 24. Suppose -5*r = 2*l, -4*l = 2*r - 8*l - 24. Solve -x - 4*w = 11, 5*x + q*w - r*w + 23 = 0 for x.
-3
Suppose y = -3*j, 0 = -2*y + 3*y - 5*j - 8. Solve -1 + 15 = -y*i + u, -5*i + 4*u - 28 = 0 for i.
-4
Let n = -7 - -8. Let k be n/(-6) + 65/30. Solve 4*q = -0*q - 8, -a = k*q + 5 for a.
-1
Suppose -k = -5*t + 2*t + 1, -3*k + t = -13. Solve 2*h - 3*f = -3, -k*h = 4*f + 5 + 14 for h.
-3
Let c = 17 + -9. Let q = -6 + c. Solve -5*k + d + 5 = 0, 3*d + 0*d - 19 = -q*k for k.
2
Let i(l) be the first derivative of -4*l + 1 + 1/2*l**2 - 1/4*l**4 + 7/3*l**3. Let c be i(7). Solve 4*q - 8 = 4*k, 3*k + 3*q - 5*q + c = 0 for k.
1
Let v = -13 + 23. Suppose 0*p + 2*p = v, -p = -r - 2. Suppose 5*h = 16 + 4. Solve -h*z + 15 = z, r*y - 3 = -z for y.
0
Suppose 8 = 4*c, 0*r + c - 22 = -5*r. Suppose r = -2*t + 6. Let l be (0 + t + 0)*3. Solve 0 = -3*d + 3*s - l, 4 + 5 = 5*d + 2*s for d.
1
Let w = -2 + 3. Let o = 1 - -4. Solve -4*q = 2*n - o - 3, -w = -q for n.
2
Let r be 0 + (0/2 - -2). Solve -2*w + 2*z = 8, r*w + 5*z = 5*w + 14 for w.
-3
Let u(q) = -q**2 + 3*q + 2. Let v be u(2). Suppose -v*a + 2 = -10. Suppose -t + 6 = -a. Solve -5*z - 4*h = -0*z - 27, -z + t = 2*h for z.
3
Let z be 8/(-10)*(-15)/6. Let i be 3 - (-1 + 2) - 0. Suppose -10 = -i*t - z. Solve 6 = -5*d - 3*h, -t*h = -4*d + 9 - 1 for d.
0
Let n be -4 - ((1 - -2) + -5). Let m = 2 - n. Solve 0 = 2*d + s + 9, -m = -3*d - s - 15 for d.
-2
Let i = 5 - -1. Solve 0 = 2*o - i, -5*u + 2*o - 12 = -2*u for u.
-2
Let f(v) = -2*v + 5. Let l be f(0). Solve 3*q = j + 5, -2*q + 5*j + 25 = -l*q for q.
0
Let t be (-21)/4*(-40)/30. Solve -5*p + 2 = 3*g - t*g, -2*p - 7 = g for g.
-3
Let a(m) = -m**3 - 14*m**2 - m - 14. Let i be a(-14). Solve 2*r + 5*h = 3*h + 14, i = -r - 2*h + 10 for r.
4
Let f be ((-55)/22)/(2/(-4)). Solve -4*w - 8 = f*g, -g = -3*g + w - 11 for g.
-4
Let l(g) be the third derivative of -g**6/120 - g**5/12 - g**4/24 - g**3/6 + 6*g**2. Let u be l(-5). Solve 9 = 3*j + 5*x, -5*j + 12 = -j + u*x for j.
3
Suppose 3*c - 3*f + 4 = 25, 5*c - 3*f - 29 = 0. Let t be -12*((-13)/c - -3). Solve 3 = -b - 4*s, 5*s = -t*b - 0*s + 5 for b.
5
Let a(n) = n**2 + 5*n - 1. Suppose -1 = -t - 5. Let y be a(t). Let b be (-8)/20 + (-2)/y. Solve 3*r + 11 = 5*u, b = -5*u + 14 + 6 for r.
3
Let v be 6/(-8) - (-76)/16. Solve -4*d = 20, -5*d = v*g + 18 + 15 for g.
-2
Let k be 2/(-9) - (-65)/9. Let p(d) = 2*d - 61 + d + 57. Let u be p(k). Solve 3*y - a + 0 = -1, -3*a + u = 5*y for y.
1
Suppose -12 = -a - 5*b, -2*b + 12 = 4*a - 0*b. Suppose -5*u + a = -13. Solve 0 = -3*x - 3*s + 6, 6 = u*x - 2*s - 5 for x.
3
Let l = -33 - -33. Solve -9 = -3*j - 2*d, -3*d = 4*j - l*d - 12 for j.
3
Let d(o) = -o**2 + 2*o + 28. Let u be d(6). Solve -i + 2*r - 8 = -3*i, -3*i + u*r + 5 = 0 for i.
3
Suppose 0 = -5*i + 5*m + 50, -20 = -i + 2*i + 5*m. Solve 0 = 5*q + 3*o + 2, 3*q + 1 + i = -3*o for q.
2
Let h be 2 - 38/1 - -1. Let t be (-95)/h + (-2)/(-7). Suppose t*x - 12 = -3*s, -4*x + s = -8*x + 19. Solve 0*q - x*q = -2*y + 18, -q + 18 = 5*y for y.
4
Let w(b) = -b**3 + 9*b**2 + b - 7. Let h(k) = -k + 3. Let r be h(-6). Let l be w(r). Solve 0 = -5*m - g + 23, -4*g - 1 = -l*m - 5 for m.
4
Let u = -1 - -3. Let n = u + -15. Let j = -9 - n. Solve 3*t = -a + 10, -2*t - 4*a + 12 = -j*t for t.
2
Suppose -3*p + 8 - 2 = 0. Let f = p - 0. Let q be 7/(14/16) - 2. Solve 0 = f*o - 2*c - 2, 2*o = -5*c - q + 29 for o.
4
Let w(m) = m**3 + 14*m**2 + 13*m + 16. Let n be w(-13). Solve -2*h - n = -2*k, -2*k + h - 4 = -5*k for k.
3
Let i = 4 + 24. Let l = i + -28. Solve 4*o = -4*x, 2*o + x = -l*x for o.
0
Let b(w) be the first derivative of -w**2/2 - 4*w - 2. Let a be b(-2). Let k be ((-4)/a)/((-2)/(-4)). Solve 0 = -2*r + 2*m - k, -m = -2*m + 5 for r.
3
Let c(m) = -m**2 - 7*m - 7. Let s be c(-5). Let t = 4 - s. Suppose -n + 5*f = -17, 3*f = -4*n - 2 + t. Solve -5*g - 4*h - 18 = 0, -3*g - h + n*h = 4 for g.
-2
Let y(p) = -p**3 + 16*p**2 - 26*p - 28. Let g be y(14). Solve -3*l = 3*s + 6, 5*s - 3 - 2 = g for l.
-3
Let i = -6 + 8. Solve -i*j - 5*f - 1 = 3, 0 = -5*f for j.
-2
Suppose -3 = -4*a - t, 4*t = -5*a + 4 - 14. Solve -a*y - 8 = q - 0*y, 3*y = -q - 10 for q.
-4
Let l = -10 - -5. Let f = l - -7. Solve -2*p = 5*k - 21 - f, 0 = -5*p + k - 10 for p.
-1
Let h = 5 - 5. Let c be h - (4/(-2))/1. Solve 3*u = c*u + 5*o + 4, -16 = -4*u - 3*o for u.
4
Let a = -3 + 7. Solve 0 = -2*w + 6*w + 3*u - 8, -4*w = 2*u - a for w.
-1
Suppose -5*a = -0*a + 10. Let w be -3 + -2*7/a. Solve 5 = w*y + 4*q - 19, 0 = 2*y - 5*q + 23 for y.
1
Let s = -11 + 17. Solve s = -2*i, 3*j + 0*i - 3 = i for j.
0
Let s be (-498)/(-36) - (-2)/12. Let h = 22 - s. Solve 2*c - 4*j + 6 = -h, 0 = -c - 5*j for c.
-5
Let r(p) = p**2 + 16*p + 66. Let o be r(-9). Let u(m) = m**3 + 5*m**2 - 2*m - 5. Let q be u(-5). Solve 2*k + 2*i - 14 = 0, 0*i - q*i + 3 = -o*k for k.
4
Let l(n) = -n**2 + n + 4. Let x be l(0). Suppose 10 - 1 = 2*w + d, -x*w - 3*d = -19. Solve w*z + 24 = -4*c, 4*c + 21 = -2*z - z for z.
-3
Suppose 24 = -f + 5*f. Let w be (1 + -2)/((-3)/f). Let j = 12 - 7. Solve -2*x = 2*a, 4*a = -j*x - 0 + w for a.
-2
Let d(g) = 2*g + 10. Let h be d(-5). Let k be h/((-4)/2 - -1). Let a be (4/(-2))/(4/(-6)). Solve -2*z + 4*p + 24 = k, a*p = -2*z - 0 - 11 for z.
2
Suppose 5*k - 18 = -2*f + 7, 0 = 3*k + 5*f - 15. Solve 2*w - k*m - 7 = 9, 2*m + 13 = 3*w for w.
3
Suppose 5*u = r, 0 = -r - 3*u - 0*u - 8. Let c be 1/(-2)*(r - -3). Let h = 7 + c. Solve -2*z + h = -2*x - 3*z, -4*x = -z + 16 for x.
-4
Suppose 0 = 6*w - 40 - 92. Solve 2*s = -3*x + 11, -5*x = -s - 5 - w for s.
-2
Suppose -3*c = 4*l + 12, -3 = -c + l - 0. Suppose 16 = 5*k - 5*y + y, c = -2*k 