se -2*p - 4*i - 6 + 26 = 0, 5*i - 27 = -3*p. Solve -p*u = -1 - 19 for u.
5
Suppose 0 = -2*c - 15 + 19. Solve -8 = -6*w + c*w for w.
2
Let n = 10 + -8. Let o = 14 - n. Solve l + o = -3*l for l.
-3
Let m(v) be the first derivative of v**2/2 + 9*v + 16. Let c be (0 - (0 + -4))*-1. Let x be m(c). Solve -x*u = -2*u - 6 for u.
2
Let w be (-3 - -3) + 3 + 42. Suppose -3*g = -5*p + w, -5*p + 38 = -2*p - 4*g. Solve -p*o = -4*o - 10 for o.
5
Let r(q) be the first derivative of q**4/4 + q**3 - q**2/2 + q + 5. Let j be r(-3). Solve j*u = 16 - 4 for u.
3
Let k = -7 + 12. Suppose 1 = -2*x + 2*i + 13, k*i + 12 = -x. Solve x*q = 8*q - 10 for q.
2
Let s = -1 + 6. Solve s = -6*f + f for f.
-1
Suppose -9 = -4*l - 1. Let v be (l/(-2))/((-4)/8). Solve 5*u - 9 = v*u for u.
3
Let c(q) = q**2 + 6*q + 7. Let l be c(-7). Let z = 15 - l. Let j be ((-2)/4)/((-1)/2). Solve -2*s + z + j = 0 for s.
1
Suppose 9 = q + 2*g, 2*q + 0 = -g + 9. Solve 6*b = q*b + 6 for b.
2
Let f(i) = i - 7. Let h be f(9). Let r(z) = 2*z + 1. Let o be r(h). Solve 3*g + o = 4*g for g.
5
Suppose 2*t + 4*t = 48. Solve m + m + t = 0 for m.
-4
Let j(b) = -b**2 + 5*b + 8. Let r be j(5). Suppose -4*d = -0*z + 3*z - 28, -3*d = -z - r. Solve -z*p = -6 + 14 for p.
-2
Suppose 3*x = 4*x - 11. Let i = x + -4. Suppose 5*o - y - 2*y = -i, 2*y = 8. Solve 3 = n - o for n.
4
Suppose 2*n + 3 + 3 = 0. Let v = n + 0. Let c be (-2)/(-9)*v*-6. Solve 0 = 5*a + c + 6 for a.
-2
Suppose 6*z - 2*z = 44. Let n(h) = -h - 3. Let r be n(3). Let t = r + z. Solve 3*c - 4*c = -t for c.
5
Let s(w) = -w + 7. Let h be s(5). Solve -3*p - 25 = h*p for p.
-5
Let b(d) = 13*d**2 - 2. Let w be b(-1). Solve w = -5*h + 36 for h.
5
Let t = -13 + 15. Solve -3*u - 1 = t for u.
-1
Let a = 8 + -9. Let b = a + 4. Solve -7 - b = 5*w for w.
-2
Let v be 4/(-22) + (-9053)/121. Let h be ((-12)/(-10))/((-30)/v). Let m(s) = 2*s**2 + 2*s - 2. Let a be m(-2). Solve h*i - 1 = a*i for i.
1
Suppose 0 = -3*a + m + 19, 4*m + 19 = 3. Suppose 0 = 5*h - a*y - 50, -y + 5*y = -4*h + 16. Solve -4*k = -h - 5 for k.
3
Let b = 1 - -1. Suppose b*d + 2*d = 8. Solve 0*n = d*n - 10 for n.
5
Let a(r) = r**3 + 17*r**2 - 18*r + 2. Let w be a(-18). Solve -w*z = -z + 4 for z.
-4
Let u(v) be the second derivative of -v**5/20 - v**4/3 + v**3 + 7*v**2/2 - 4*v. Let t be u(-5). Let g be t*((-70)/(-4))/5. Solve -2*f = -g*f - 5 for f.
-1
Suppose 0 = -g - h - 2, 0*h + h = 3*g + 22. Let u be (2/g)/((-2)/12). Solve d - u*d + 5 = 0 for d.
5
Suppose -5*c - 2*u + 6 = -8, -2*u - 10 = -c. Solve 0*f - c = 2*f for f.
-2
Suppose 0 = -4*n + 524 - 516. Suppose 16 = c + 3*c. Suppose -5 = c*r - 25. Solve n*l = 1 - r for l.
-2
Let h = 20 - 18. Solve -9 = -h*j - 1 for j.
4
Let l be -2 + (0 - 1) + 18. Suppose -3*g = l, 5*r + 5*g - 10 = 3*g. Solve n = -r*n for n.
0
Let c = 5 + -8. Let d be (1 + 6/(-3))*c. Let i be (-36)/30*(-10)/d. Solve i*g - 20 = -0 for g.
5
Let t(r) = -2*r - 1. Suppose -7 = -3*y + v, v + 3*v + 8 = 2*y. Suppose 0 = j + 4 - y. Let l be t(j). Solve -l*b = b + 20 for b.
-5
Suppose 4*b - 5*c = 9, 2*c - 23 - 1 = -3*b. Suppose -b = 2*w + 4. Let s = 5 + w. Solve -4*l + 8 = -s for l.
2
Let w be 50/(-15)*9/(-6). Solve -2*o - 9 = -w*o for o.
3
Let j(m) = 3*m**2 + 2*m. Let l be j(-2). Let t be (-36)/4*(-8)/6. Suppose -t = -5*z + l. Solve -z*o - 14 = 6 for o.
-5
Let n(f) = f - 2. Let s be (-872)/32 - 1/(-4). Let l be ((-3)/(-2))/(s/(-72)). Let t be n(l). Solve 0 = -t*a + 4*a + 8 for a.
-4
Let q = 8 + -6. Solve -q*d + 5 = -1 for d.
3
Let l be (-99)/(-45) + 1/(-5). Solve 0 = -q - l*q + 6 for q.
2
Suppose 10 = f + 4*f, -4*n = -4*f - 16. Let i = n - 4. Let j = 2 + i. Solve -m = -j*m for m.
0
Let r be 4/(-10) - 49/(-35). Solve -5*u = -r + 11 for u.
-2
Let y = -7 - -12. Let o = 7 - y. Suppose -r + 3*g + 19 = 0, 0*r + 5*g - 5 = -o*r. Solve -d - d = r for d.
-5
Suppose -f - 25 = -6*f. Suppose 8*k = f*k. Solve 0 = 2*z - k - 4 for z.
2
Let d = 101 + -81. Solve -13*r - d = -8*r for r.
-4
Let a be 7 + -10 + 9 + -2. Suppose -a*l + l + 12 = 0. Solve 0 = -0*d - l*d + 16 for d.
4
Suppose 0*b + 2*b - 5*y = -25, b - 20 = -4*y. Suppose -4*n + b*n = -20. Let z be ((-4)/n)/((-9)/90). Solve 0 = -3*a - z - 4 for a.
-4
Let i be 4 + 9/((-27)/6). Solve -5*k + 18 = -i for k.
4
Let i be 2/(2/(-14)*2). Let m(o) = o**2 + 6*o + 5. Let a be m(i). Suppose -a = -4*q + 8. Solve -q*s - 15 = -2*s for s.
-5
Let d(w) = -w**2 - 16*w - 26. Let b be d(-14). Solve -b*o - 1 = 5 for o.
-3
Suppose 4*h - 20 = 3*l + l, 2*h + 14 = -l. Let b(n) = n**2 + 8*n + 2. Let y be b(l). Solve -y*r - 1 = -7 for r.
3
Let b be 3/2*16/6. Suppose 5*n + 19 - 184 = 0. Suppose 0 = 5*z - 3*t + t - n, 2*z - 30 = 5*t. Solve -b*v = -z*v + 4 for v.
4
Let j = 3 + -1. Solve i - j*i + 2 = 0 for i.
2
Suppose 4*b - 33 = -3*k, -b - 3*k + 6 + 9 = 0. Solve -2*d = -b*d + 20 for d.
5
Let y(x) = x**3 - 9*x**2 - x + 9. Let n be y(9). Suppose 17 = 3*q - 4. Suppose q = 5*f - 8. Solve n = -f*a + 3 + 3 for a.
2
Let a = -8 + 2. Let y be (-2)/a + (-10)/(-6). Let z be ((-36)/(-30))/(15/25). Solve z*s = s + y for s.
2
Let p(v) = -v**2 - 3*v + 5. Let i be p(-4). Solve 3 = -t + i for t.
-2
Let b be (0 - 1)/((-2)/6). Solve -b*m = -0*m + 12 for m.
-4
Let i = -11 + 12. Let o(v) = -v + 4. Let w be o(2). Solve m - w = i for m.
3
Let y be -4*(-1 - (0 - 0)). Suppose 4*p - 4*v = 8, y*p - v - 4 = -2. Let k be 4 + 1 + (-12)/4. Solve k*m + 4 + 0 = p for m.
-2
Suppose 11*v = 8*v. Suppose 5*w - 10 + v = 0. Solve -2*u = -0*u + w for u.
-1
Suppose -8*j + 16*j = 0. Solve 3*f + 0*f - 12 = j for f.
4
Suppose 0*d + 12 = 3*d. Let m be (-1)/(-2) + (-2)/4. Suppose -k + 2*w + 24 = m, -w - 70 = -3*k + d*w. Solve 0 = -h - 4*h - k for h.
-4
Let k(g) be the second derivative of -g**5/20 + g**4/6 + 2*g**3/3 - 2*g. Let o be k(3). Solve o*n + 4 = 4*n for n.
4
Suppose 3*x - h - 4 = 0, -2*h = -2*x - 3*h + 11. Suppose 2*r - x*m - 5 = 0, m - 1 + 2 = 0. Let t = r + 5. Solve 3*f + 15 = t*f for f.
5
Let w = 15 - 6. Suppose w = 5*k - 6. Suppose -k*d = -4*o + 7, 5*o = -d + 4*d + 11. Solve -25 = 2*r + d*r for r.
-5
Suppose 5*d + t = 10, 2 = 3*d - 2*d - t. Solve -d*y = 2 + 2 for y.
-2
Let z(l) = -l + 11. Let g be z(5). Suppose 4*a + 3*c - 35 = 0, 3*a - 1 = 5*c - 11. Solve -g*n + a*n + 2 = 0 for n.
2
Let z(c) = c. Let g be z(-8). Let r = g + 13. Let x(a) = -a**3 + 6*a**2 - 3*a - 1. Let b be x(r). Solve -5*l - b - 11 = 0 for l.
-4
Let l be (-1)/(0 + (-2)/4). Let o(r) = 2*r**2 + 14*r + 22. Let k be o(-5). Suppose -q = -l*i - 9, k*q = -i + 5 + 8. Solve 3*m - q = 8 for m.
5
Suppose -2*c = -8, 2*s + 2*c + 3*c = 32. Suppose -3*n + 2*n = -s. Suppose 4*f - 27 = -f + 3*q, -3*q = -f + 15. Solve n*m + 3 = f*m for m.
-1
Let p(s) = -s**3 - 10*s**2 + 11*s + 2. Let x be p(-11). Solve x*g = -0*g for g.
0
Let y(g) = -g**3 - 3*g**2 + 2. Suppose 5*h - 19 = -3*b + 6, 0 = -2*h + 2*b - 6. Suppose t = -h*t - 9. Let n be y(t). Solve -n*c - 5 = 3*c for c.
-1
Let i be (-4)/24 - (-67)/6. Let k = i + -11. Solve -z = -k*z + 3 for z.
-3
Let x(z) = -z**2 - 7*z - 4. Let i be x(-6). Suppose 2*b + i*b = 12. Solve 0 = -0*p - b*p + 15 for p.
5
Suppose 0*f - 3*f = -24. Let t be (-1 - (-3 + 4)) + f. Suppose b - 18 = -3. Solve t*l = l - b for l.
-3
Let y(h) = 9*h - 6. Let k be y(4). Suppose -10 = 5*j - k. Solve -m = -0 + j for m.
-4
Let o be 2 + (0 - 1) + 0. Let t = 1 - o. Solve t = -3*l - 2*l - 25 for l.
-5
Suppose 3*u + 5*g - g = 23, 5*u - g = 23. Solve u*l - 3*l = -6 for l.
-3
Let z(v) = -2*v + 13. Let r be z(5). Solve 4 = -r*w + 1 for w.
-1
Let k be ((-4)/(-5))/((-5)/100*-4). Solve 1 + k = -5*x for x.
-1
Let l(g) = -g**3 - 9*g**2 + 10*g + 1. Let j be l(-10). Let a be (3/3 - j) + 4. Solve a = m + 1 for m.
3
Let i = -71 - -171. Suppose -z + i = z. Suppose -z = o - 3*o. Solve -4*j - o = j for j.
-5
Let d = -10 + 13. Solve d*p = -p for p.
0
Let v = -18 + 23. Solve a = v*a + 12 for a.
-3
Let j(k) = k - 1. Let n be j(7). Let f = -3 + n. Solve 0 = -2*s + f*s for s.
0
Let o = 33 + -21. Solve -o = 3*i + i for i.
-3
Let d(a) = -a**3 + a**2 + a. Let f be d(-3). Suppose -4*w = 5 - f. Suppose 0 = 2*i - 2*l - 6 - 6, -3*l - 26 = -4*i. Solve w + i = -3*k for k.
-5
Let v be 2*(95/(-2))/5. Let q = 36 + v. Solve q = 5*x - 8 for x.
5
Let y = -29 - -30. Solve -3*x = y + 8 for x.
-3
Suppose -4*c + w = 5*w - 32, 0 = -2*c - w + 12. Suppose -c*f = f. Solve f*k = -k for k.
0
Suppose -3*j 