e r(-4). Solve -5 = -a + b*a for a.
-1
Suppose -4*x = -u - 21, 5*u + 13 = -12. Solve 0 = -x*v + 15 - 3 for v.
3
Let s(f) = f**2 - 4*f - 2. Let w be s(5). Suppose -w = 3*u - 2*a - a, -3*u = a - 13. Solve -u*r - 5 = -4*r for r.
5
Let n(g) = 2*g + 1. Let d be 2/4 + 12/8. Let j be n(d). Solve -j*t = 18 + 7 for t.
-5
Let k(u) be the third derivative of u**6/120 + u**5/12 + u**4/12 - u**3/3 - 3*u**2. Let g be k(-4). Solve 0 = d + d + g for d.
-3
Let v(o) = o**3 - 5*o**2 + 1. Let m be v(5). Let u = m - -3. Suppose -u*z = -3*x + 22, 5*x - 18 = 2*z - 0*z. Solve 0*n + x*n = 0 for n.
0
Suppose 2*l = l + 16. Let m = -1 + l. Solve 2*h - m = -h for h.
5
Suppose -4*d + 29 = -27. Let b = d + -1. Let l = 5 + b. Solve -2 - l = -4*p for p.
5
Let j be -1*1 - (11 - 12). Solve j = 4*l - 10 + 2 for l.
2
Let h(y) be the second derivative of y**5/20 - 7*y**4/12 - 4*y**3/3 + y**2 + 3*y. Let u be h(8). Solve b - u*b + 4 = 0 for b.
4
Let y(l) = 16*l. Let u be y(8). Let q be 6/(-21) - u/(-7). Suppose 0 = 4*d - 2*x - 4, -4*d - 5*x + 0*x = -q. Solve d*c + 0 = 4 for c.
2
Let x be (-48)/(-27) - 2/(-9). Suppose -4*d + 4*w = -92, x*w + 110 = 5*d - 2*w. Let z = -10 + d. Solve 0*u = -4*u + z for u.
2
Suppose 5*u + 8 = -c, u = -3*u - c - 7. Let t be 3 - (-2 + 7 + -1). Let l be -1*(u + t) + 1. Solve -h = l*h for h.
0
Let q = -18 + 11. Let g(o) = -o**3 - 8*o**2 - 8*o - 5. Let w be g(q). Let k = 3 - w. Solve 3*a + k = -8 for a.
-3
Suppose 2*x + 4 + 12 = 0. Let k be (-9)/6*x/6. Suppose 0 = -3*b - 3*v + 12, k*b - 1 = -5*v + 4. Solve 1 - b = -4*q for q.
1
Let d(s) = -15*s**3 + 3*s**2 + 3*s - 2. Let q(f) = 7*f**3 - 2*f**2 - 2*f + 1. Let y(w) = 4*d(w) + 7*q(w). Let p be y(-1). Solve -p = 5*i - 5 for i.
-1
Let w(i) = -i - 4. Let x be w(-5). Let h(k) = 2*k**2 + 3*k. Let l(p) = p + 5. Let q be l(-7). Let j be h(q). Solve 0 = y - j*y + x for y.
1
Let b = -9 + 3. Let w be 1/3 + 2/b. Solve w = z + z for z.
0
Let s(x) = -x. Let a be s(0). Suppose 4*o - 10 = 50. Suppose 4*q = -q + o. Solve q*v + 12 = -a for v.
-4
Let i(a) = 2*a**2 - a + 2. Let v be i(1). Solve -v*n = 2*n for n.
0
Let q be (-60)/(-75) - 22/(-10). Solve q*b = 5*b + 8 for b.
-4
Let z = 18 + -18. Solve z = 3*p - p for p.
0
Suppose 4*w - 23 = w + d, -5*w - 2*d = -20. Let h(u) = -4*u**2 - 2*u**2 + 7*u - 1 + 5*u**2. Let p be h(w). Solve 0 = -p*y - 4 - 1 for y.
-1
Let y(x) = -x - 1. Let i be y(-7). Let h be 0/(3/i*2). Solve h = j - 2 for j.
2
Let v = 6 - 4. Let j be 0/(4*2/4). Suppose 2*m + m = j. Solve 0*l - v*l = m for l.
0
Let o = -115 - -115. Solve o*t - 4*t = 4 for t.
-1
Let w = 18 + -14. Solve h - w = -h for h.
2
Suppose 0 = -p - n + 4, -6*p + 2*n + 4 = -2*p. Suppose -2*k - 6 = p. Let j be 1/k + (-34)/(-8). Solve -1 + 21 = -j*y for y.
-5
Let x = 2 + -6. Let m = -4 - x. Suppose 3*a - 4 = -l + 6, -4*l + 4*a + 8 = m. Solve l*h + 8 = -4 for h.
-3
Let j = -7 + 12. Let p = -1 - -3. Solve 0 = -j*s - 8 - p for s.
-2
Let g(u) = 4*u - 5*u + 0*u + 5. Let k be g(0). Solve -2*v + 1 = k for v.
-2
Let i(z) = z**2 + 6*z - 5. Let l be i(-7). Suppose m + 0*w + 4*w + 8 = 0, 3*m + 5*w = -10. Suppose m = u - 5*a, 2*u - a - 20 = u. Solve -3*k = l*k + u for k.
-5
Let c(g) = -g + 4. Let i be c(2). Suppose 7*k = -x + i*k - 25, 0 = x - 2*k - 10. Solve 0 = -x*v - 2*v + 8 for v.
4
Suppose 3*m - 4 = 2. Suppose 8 = 2*v + m. Suppose -x - v*x = 0. Solve -5*l = -x*l for l.
0
Let a be 4/(-2) + (1 - -1). Let q be 6 + -4 - 2 - a. Solve -d - 4 = -q for d.
-4
Let u = 25 - 7. Let s = -11 + u. Let w = s + -4. Solve -w*b + 16 = b for b.
4
Let u(o) = -2*o + 3. Let z be u(2). Let s = z + 5. Suppose -s*f = -2*n - 16, 8*f - 4*f = 16. Solve -2*k + 3*k + 4 = n for k.
-4
Let s(h) = h**3 + 9*h**2 - h + 20. Let i be s(-9). Solve 4*y = -9 + i for y.
5
Let u be (3/(-9))/((-2)/18). Suppose 2*c + 0*c = -4. Let o be (-12)/c*(-16)/(-12). Solve u*j - j = -o for j.
-4
Suppose -5 = -2*k + 7. Solve 3*o + k = -0*o for o.
-2
Suppose f = 5*g - 8, 0 = 5*g + 2*f + 3*f - 20. Solve -2*q = g + 4 for q.
-3
Suppose 5*s + 2*h = -h + 12, -3*h - 15 = -4*s. Solve s*u + u = 16 for u.
4
Suppose -4*z - 3 + 11 = 0. Let k = -5 + z. Let a be 1 - (-3)/(1*k). Solve 7*f - 3*f - 20 = a for f.
5
Suppose -12 + 0 = -4*b. Suppose -2*x - 9 = -2*o + x, -4*o - b*x - 9 = 0. Solve h + o*h = 4 for h.
4
Let c(y) = 2*y - 3. Let f be c(3). Solve 6*i + 3 = f*i for i.
-1
Let m(q) = -q**3 - 7*q**2 + q - 2. Let o(w) = -w**3 - 8*w**2 + 2*w - 2. Let a(p) = -4*m(p) + 3*o(p). Let k be a(-3). Solve -1 = -2*c + k for c.
3
Suppose -3*f = 2*f + 80. Let d be f/(-10) + 3/(-5). Let b(z) = -z**3 + 2*z**2 + 2*z - 1. Let o be b(2). Solve -o = -2*y + d for y.
2
Let m be ((-7 - -14) + -10)/((-6)/4). Solve 0 = z + m + 1 for z.
-3
Let m be (1 + 1)*12/24. Let t be (-2 - m)*4/(-6). Solve -t*q - 3*q + 25 = 0 for q.
5
Let c = -29 + 34. Solve -j = 9 - c for j.
-4
Let w(r) = r**2 - 2*r. Let t be w(2). Let o be -2 + 5 + t + 0. Solve -o*m = 2*m + 5 for m.
-1
Let g = -103 - -105. Solve -3*y - 10 = g*y for y.
-2
Suppose -2*v + 7*p - 10 = 2*p, -5*v + 5*p - 10 = 0. Suppose 13*m + 4 = 14*m. Solve -m*d = -20 - v for d.
5
Suppose -4*p + 17 + 15 = 0. Solve 3*u - p = u for u.
4
Let d be (0 - -1)/(-4 + (-72)/(-16)). Solve -d*k - 2 = -0 for k.
-1
Let o(p) = -4*p - 9. Let t be o(-4). Suppose 0*j = -4*j - 4. Let b = t - j. Solve -b = g - 3*g for g.
4
Let l(q) = q**2 + 2*q + 1. Let a be l(-1). Suppose -4*o + 12 = -2*i, -i = -a*o + 2*o - 10. Solve i*j = 4*j - 4 for j.
2
Let h = -28 + 31. Solve h*y = -0 + 9 for y.
3
Let c be (4*1)/(4 - 2). Let m be (3 - 4 - 9)/(-2). Suppose -m*z = -8*z + 21. Solve c*l - z = 3 for l.
5
Let a = 7 - 4. Suppose 0 = 3*q + 2*z - 12, 4*q + 8 = -a*z + 24. Solve 5*i - 1 = q for i.
1
Let u = -4 + 5. Let v = u - -1. Let k(z) = z**2 + 4. Let d be k(0). Solve 2 - d = -v*j for j.
1
Let a(b) = b**3 - 8*b**2 - 8*b - 3. Let o = 38 - 24. Suppose 2*z = -2*v + o, -2*v - 2*v + 38 = -z. Let t be a(v). Solve -14 + t = -4*k for k.
2
Suppose 4*f + 2 = -r - 4*r, 2*f = -3*r - 2. Solve f*b = -b - 15 for b.
-5
Suppose 0 = -2*p - 3*n - 0*n - 12, -2*n = -p + 8. Solve -2*w + 6*w + 12 = p for w.
-3
Suppose -2*u + 5 + 3 = 0. Suppose 0 = -z - u + 2, 4*l = -z + 14. Solve 10 = f + l*f for f.
2
Let v be (-8)/10*10/(-4). Let t(k) = -1 + 0 - k + 5*k**2 - 3*k**2. Let c be t(v). Solve 0 + 10 = -c*u for u.
-2
Suppose 2*u + 1 = 5. Let f(n) = -2*n**3 - n + 1. Let d be f(1). Let t be 2 - -2 - (d + 1). Solve t*r + 3 = -u for r.
-1
Let d be 2/2 + 0/(-3). Solve -7 + d = -2*w for w.
3
Let p = -16 - -17. Let u = -1 - -4. Let i = u + p. Solve 2*g - i = g for g.
4
Let x = -25 + 14. Let w(z) = z + 15. Let n be w(x). Solve -n*v - 3 - 13 = 0 for v.
-4
Let i(u) = -2*u**3 + 15*u**2 - 7*u + 3. Let z be i(7). Solve -c = z*c - 8 for c.
2
Let q be -1 - 2*9/6. Let k be (q/10)/(2/(-60)). Let u be k/(-10)*(-5)/2. Solve u*d - 3 = -0 for d.
1
Let v be ((-12)/20)/(2/(-10)). Suppose 0 = -2*q - 2*q + 56. Suppose q + 1 = v*b. Solve -10 = -b*a - 0*a for a.
2
Let j(a) = -a**3 + 5*a**2 + 3. Let w be j(5). Suppose 0 = -5*l + 3 + 17. Solve -l = -w*h - 1 for h.
1
Let j(b) = -b - 1. Let k be j(-5). Suppose 7*l + 6 = k*l. Let i(t) = 3*t**2 + 3*t + 2. Let p be i(l). Solve -p = r - 5*r for r.
2
Let k = -9 + 13. Suppose -3 = -k*q + 41. Let v = -8 + q. Solve -v*z - 2*z + 5 = 0 for z.
1
Let b = -15 + 17. Solve -3 = -5*h + b*h for h.
1
Let h(a) = -a - 5. Let t be (-10)/45 + (-61)/9. Let z = 0 + t. Let s be h(z). Solve s*y - 7 + 3 = 0 for y.
2
Let x(l) = -l**3 + 32*l**2 - 32*l + 34. Let z be x(31). Solve 0 = -8*g + z*g for g.
0
Suppose -3*c + 8 = 2*i, 7 = 3*i - 5. Solve c*a + a = 0 for a.
0
Suppose 2*o = -3*o + 10. Suppose 17 = 3*j + o, 3*j - 3 = 3*q. Suppose -q*y - y - 3*a - 15 = 0, -y - 15 = 3*a. Solve y = 7*t - 2*t - 5 for t.
1
Suppose a = 11 - 6. Solve -25 = -0*h + a*h for h.
-5
Suppose 6 = -2*d - 2*n, 4*d - 2*n = -0*n + 6. Solve -j = -d*j - 5 for j.
5
Let v be 46/(-14) - 4/(-14). Let w = v + 5. Solve -w*o + 15 = -7*o for o.
-3
Let l = 14 - 14. Suppose 0 - 2 = -2*y - 4*w, 4*y - 5*w = 17. Suppose y*c = -u + 9, -3*u + 5*c = -6*u + 23. Solve -2*s = -l*s + u for s.
-3
Suppose 0 = -n + 2, -2*t + 8 = -n. Let h(c) = 13*c**2. Let g be h(1). Let p(b) = b**3 + 3*b**2 - 3*b - 2. Let j be p(-3). Solve -t*x + j = -g for x.
4
Let a(r) = -r**2 - 7*r + 3. Let m be a(-7). Solve 2*h + 1 = -m for h.
-2
Let l(z) = z + 8. Let d be l(-