, -m*a - 5*f = -21 for a.
-2
Let b(x) = x**2 - 2*x + 11. Let t(j) = 2*j**2 - 5*j + 21. Let o(h) = -5*b(h) + 3*t(h). Let a be o(4). Solve 5*f - 20 = 4*p, 9*f - a*f = 3*p + 15 for f.
0
Let m(a) = -a**2 - 3*a + 2. Let v = 8 + -11. Let f be m(v). Let u be -1*(-2 - 1) + 1. Solve j = 5*g - 15, u*j = f*j + 3*g - 2 for j.
5
Suppose 2*d - 6*d + 12 = 0. Solve 0*t + 1 = -4*t + d*f, -3*t + f = 2 for t.
-1
Let q be (1 - 6)/(2/(-2)). Solve 3*t = -q*i - 5, -1 = -t - i - 4 for t.
-5
Let p = -2 - -18. Suppose -o = o - p. Let y be 0/(3*-1) + o. Solve -3*k + 3*c = 2*c - y, -k = -c - 6 for k.
1
Let r(t) = 2*t**2 - 19*t + 12. Let l be r(9). Solve 2 - 1 = 2*i + l*x, 5*x + 7 = i for i.
2
Let x be ((-5)/(-15))/((-2)/30). Let n = x + 8. Solve 4*f - 8 = 0, 2*m - 7*m = n*f - 11 for m.
1
Let a(y) = y**2 - 6. Let g be a(3). Solve -4*p + 4*x + x - 8 = 0, 2*x = -g*p - 6 for p.
-2
Let i(n) be the first derivative of -n**3/3 + n**2 + 5*n + 6. Let o be i(3). Solve -15 = x - 4*t, x = 5*x + o*t - 30 for x.
5
Let o = 69 - 39. Let k = -10 + o. Let n(m) = 6*m**2 - 2*m - 1. Let g be n(-1). Solve -3*a + g*a = -4*l, 0 = 3*l - 2*a - k for l.
4
Let n be 72/(-8) + (1 - -1). Let v be n/(14/(-4))*1. Solve 11 = v*k - 7*k + 4*f, -5*f + 16 = -4*k for k.
1
Let v be -1 + 64/12 + (-2)/6. Solve -18 = 2*x + 3*d, -v*x - 3 = 5*d + 29 for x.
-3
Suppose 0 = 3*p + 2*t - 22, 5*p + 3 + 2 = 5*t. Suppose 0 = -q - 2 + p. Solve k + 2*r = -q*r - 21, 5*k + 2*r = -15 for k.
-1
Let q be 0/((-5)/((-10)/(-4))). Suppose 3*z + z = q. Suppose -5*p = -z*p - 75. Solve 2*b + p = 3*u, 0 = 3*u - 0*u - 9 for b.
-3
Let b(n) be the third derivative of -n**6/120 + n**3/6 + 6*n**2. Let i be b(1). Solve -3*w = i, -4*a - 3*w + 4 = 12 for a.
-2
Let o be 42/9 - (-6)/(-9). Suppose -o*v + 6 = -18. Solve 2*u - 3*b - 4 = 1, v = 2*u - 2*b for u.
4
Let o(s) = -s**3 - s**2. Let r be o(0). Suppose r = v + 4*v + 3*x - 6, 6 = 2*v + 3*x. Suppose -2*d + 16 = -v*d. Solve d = -2*p - 0, 2*n - 5*p = 10 for n.
-5
Suppose 2*q - 2 = 2. Solve u - 5*u + 3*w - 7 = 0, -5*w + 3 = q*u for u.
-1
Suppose 0*q + 3*q = 15. Suppose q*i - 68 + 23 = 0. Suppose 0 = 4*x - i*x. Solve -l + 3*v + 24 = -v, -3*l - 4*v - 8 = x for l.
4
Suppose 4 = 2*q - q. Suppose 5 = q*z + 5*l, 0*l = -2*l + 2. Suppose -4*j + 70 = 5*i, z*i - 5*i + 2*j = -70. Solve -i = -o + 4*a, 3*o - a + 6 = -5*a for o.
2
Suppose 0 = -24*w + 20*w + 12. Solve 2*m = 4*x + 2, -m + 4*x = w*m - 12 for m.
5
Let g(j) = -j. Let n be g(4). Let u(s) = -s**2 - 6*s - 4. Let a be u(n). Solve 2*d - a = 3*v + v, 4 = 2*d for v.
0
Let a = -40 - -28. Let j = -9 - -17. Let k be (j/(-12))/(2/a). Solve 13 = -k*o - s, -4*o = -2*s + 14 + 8 for o.
-4
Suppose 8*x - 2*x = 18. Let i(y) = -y**2 + 5*y - 4. Let g be i(3). Suppose -g*a + 160 = 3*a. Solve -5*k = -4*l + a, -l = 2*k + 2 + x for l.
3
Let d be -1 + 2 + 0 + -1. Suppose 3*q - 7*q = -12. Suppose k + q - 17 = -f, 3*k = 2*f - 8. Solve -3*l = 15, d = 5*h - 4*l - 5 + f for h.
-5
Let o = -20 - -24. Solve -o*q = -3 - 17, 0 = 4*s + 2*q - 14 for s.
1
Let d(j) = j + 10. Let r be d(5). Solve -2*q - 3*y = 15, 3*q - 4*y - r = 4*q for q.
-3
Suppose 4*c - 4 = -3*r - 30, 28 = -3*c + 2*r. Let f = c + 6. Let x(g) = -g + 1. Let k be x(f). Solve -4*y - 3 = m, 6*m + 12 = 2*m - k*y for m.
-3
Suppose 0 = 12*v - 14 - 46. Solve -3*d + v*c = -5, -4 = -0*c - 2*c for d.
5
Suppose -3*c + 25 = -4*q, 29 = 3*c - 2*q - 0. Suppose 3*g - c + 2 = 0. Let u be 1 - -3*(-2 - -3). Solve u*m + 0*d = 2*d + 14, -5*d = -g*m + 21 for m.
2
Suppose -3*q - 9 = -0*q. Let z = q - -5. Suppose 2*y - 10 = -0*y. Solve -z*r = -k - 3, 3*r + y*k = 6*r + 13 for r.
4
Suppose 0 = -5*q + 3*o - 2*o + 130, 0 = 3*q - 5*o - 100. Let n = -6 + q. Suppose 75 = 3*w + 6. Solve 0 = 3*c + h - n, c = 4*c + 2*h - w for c.
5
Suppose v + 2 = 2*v. Solve -3*q + 0*q - 12 = -4*l, 6 = v*l + 5*q for l.
3
Let b be 1/((-46)/(-24) + -2). Let d be (-12)/2*32/b. Solve -5*j + 8 = -2*t, 7*t - 3*j = 3*t - d for t.
-4
Suppose 15 = 5*l - 0*l. Solve 2*y - l*y - 4 = 4*f, -5*f = -4*y - 16 for f.
0
Let u(b) = -3*b + 1. Let j(k) = k + 10. Let i be j(-8). Let s be u(i). Let r be (-15)/(-4) - s/20. Solve r*h - 9 - 7 = -3*p, h = 4 for p.
0
Let x(f) = 0*f - f + 0*f + 9. Let d be x(6). Solve -4*i - 2*z = -16, -d*z + 11 = 5*i - 5*z for i.
3
Suppose 5*p - 15 = 0, 3*t - t - 15 = -5*p. Solve 0*a = 5*a + z + 8, -z + 2 = t for a.
-2
Let l be (0 + -1)*6/(-2). Let a be (l/4)/((-1)/(-4)). Let d(g) = -g**2 + 14*g - 9. Let k be d(13). Solve 0*h - 3*h - k = -t, t = -a*h - 14 for h.
-3
Suppose -4*r + 5 = 5*x, -5*x + 2 = 2*r - 3. Let j = 1 - x. Suppose j = s + s. Solve -4*w + 3*i = -w + 12, w - 5*i + 16 = s for w.
-1
Let h(x) = x + 1. Let w be h(3). Solve -3*d - 2 = 4*g, -w = -4*g + d + 2 for g.
1
Suppose -2*i = -3 - 7. Solve 4*s + 3*m = -0*m + 1, 0 = i*s - 5*m - 45 for s.
4
Let m be ((-4)/(-12))/(10/90). Solve 0 = -m*v - 0*k + 2*k + 3, -6 = 2*k for v.
-1
Suppose 0 = -o - 2 - 2, 23 = 5*a - 2*o. Solve -a*n + 17 = 4*x - 0, 3*x = 6 for n.
3
Let f(r) = -r**3 - 4*r**2 + 5*r + 4. Let y be f(-5). Suppose -2*p - 20 = -4*p. Solve -4*x = 3*s - 7, -5*x - y*s + p = -0*s for x.
-2
Let u(f) = 2*f - 1. Let k be u(-5). Let w = -9 - k. Solve w*a + 15 = -3*h, h + 3*h + 20 = -a for a.
0
Suppose f + 2*v = -6, 0*v - 21 = -4*f + v. Suppose f*d - 8 = 3*n + n, -2*d + 10 = 0. Solve -q = 5*g - 6 + n, q + g = -1 for q.
-2
Let d = 46 + -31. Let v be 24/d*30/(-3). Let q = 14 - v. Solve -3*y - 31 = -4*l, -5*l + 4*y - 2*y + q = 0 for l.
4
Suppose 5*r + 4*c = 8, 5*c = 4*r - 8*r + 1. Solve 0 = -2*q + x + 4*x, -r*q = x for q.
0
Let f = 9 - 11. Let y be 2/4*f + 5. Solve -l = -4*z + 10 - 1, 4*l - 4 = -y*z for z.
2
Let a = 20 - 31. Let x be a/(-5) - (-2)/(-10). Suppose 0 = y + x*y - 12. Solve -2*p + 2 + y = -2*b, -5*p - 15 = 5*b for p.
0
Let m = -24 + 27. Solve 3*w + 3*j = -w - 28, m*j = -12 for w.
-4
Let j = -14 - 7. Let b = -21 - j. Solve 3*c + q + 17 = b, -2*q - 10 = 3*q for c.
-5
Let k be (-114)/(-24) + -2*2/(-16). Solve -4*w - k + 37 = 4*i, -i - 3*w = -14 for i.
5
Let y be (-3 + 16/6)/(2/(-30)). Solve 5 = z - 0*k + 2*k, 4*k = -y*z - 5 for z.
-5
Let x(o) = 5*o**2 - 2. Let l be x(-2). Suppose -2*p + 10 = 5*u - 8, -3*p = 3*u - l. Let j = 0 + 0. Solve p*z + 20 = j, -4*m - 28 = 2*z + 2 for m.
-5
Let c(o) = 0 + 3 + o**2 + 4 + 5*o. Let b be c(-6). Solve 4*i = 2*i + 10, 0 = 2*f + 3*i - b for f.
-1
Let t(s) = -5*s + 0 + s + 0. Let c be t(-1). Suppose 6 = 4*p + 2*w - w, c*p - 3*w = 14. Solve -p*u + 1 = v + 2, 3*v = -u + 12 for u.
-3
Let s be 2/3 + 4/(-6). Let d(u) = -u**2 - u + 3. Let o be d(s). Let n be o/(-2 + 5) + 1. Solve 4*c + 20 = -2*m, 0 = -4*m - m + 2*c - n for m.
-2
Suppose 3*b + 21 = 2*h, 4*h - 20 = 5*b + 17. Suppose -y + 0 = -h*k - 4, -y = 3*k - 4. Solve g = -4*r - k*r - 4, 3*r + g = -4 for r.
0
Let p = 6 + -4. Suppose -3 - 1 = -h. Solve 0 = -4*z - 8, 4*c - 6 - p = h*z for c.
0
Let o(a) be the second derivative of a**5/20 + 11*a**4/12 + 3*a. Let i be o(-11). Suppose -3*z + 12 + 24 = i. Solve -3*p - p + z = -2*b, 0 = -2*b - 4 for p.
2
Let r(q) = -q - 4 - q + 28. Let h be r(11). Solve 2*x - 3*a - 4 = 2*a, x = 3*a + h for x.
2
Let d = -8 + 13. Solve -10 = -3*u + t, -u + 6 = -d*t + 4*t for u.
2
Suppose 2*l + y = 6, -5 = 3*y + 7. Let x = 9 - l. Let c = x + -2. Solve -n + 6*n + 3*f - 16 = 0, -1 = -c*n - 3*f for n.
5
Let q(x) = -x**3 + 4*x**2 + 7*x - 5. Let y be q(5). Suppose 0 = -6*w + w. Solve w = -y*f + 5*c - 5, 5*c = 4*f + 2 for f.
-3
Let r = 9 + -5. Let u = r - 0. Let d = 25 - 17. Solve d = 2*g - u*a - 2, -3*g - 1 = -2*a for g.
-3
Let s(t) = -t**2 - 17*t - 13. Let y be s(-16). Solve y*w - 9 = 2*k - 6*k, 2*k - 9 = 3*w for w.
-1
Let v = -20 + 20. Solve 3*q - 3*s - 6 = v, -5*q = -s + 2*s - 22 for q.
4
Let l be 1/(-2) - 15/(-6). Solve -4*r - h + 5 = 0, -3 = -2*r - h + l for r.
0
Let g(j) = -22*j + 6. Let x be g(-7). Suppose -x = -y + 6*y. Let k be 8/12 + y/(-6). Solve 0 = -k*r + r - 20, 2*t + 3*r = -8 for t.
2
Suppose -5*q - f = -23, 4*q = 5*f + 7 + 23. Solve 2*w + g - 3*g + 12 = 0, -2 = 3*w + q*g for w.
-4
Suppose o = 4*o + 3. Let w be -3 - -9 - (-1)/o. Solve 4*k - 9 = -0*k - 3*h, -11 = -2*k + w*h for k.
3
Let n be (0 - -3) + 20 - 3. Suppose 3*g + 2*g = n. Solve x + 7 = -g*t, -3*t = -4*x - 1 - 8 for t.
-1
Let k = 36 - 16. Suppose -3*x = -2*v + 3*v + 5, 4*v + k = -2*x. Solve -3*z = -j + 7, -3 = -x*z - z - j for z.
-1
Le