Let u(n) = n**2 + 3*n - 8. Let p be u(z). Solve x = p*x for x.
0
Let x be (9/6 - 2)*2. Let l = x + 2. Solve -z + 2*z - l = 0 for z.
1
Suppose -16 = -7*x + 3*x. Let t(k) = k**2 + 6*k + 5. Let n be t(-5). Solve x*d - d = n for d.
0
Suppose -4*t + 61 = 3*d, -5*t - 33 = -0*d - d. Suppose -5*s + 2 + d = 0. Solve -1 = 3*f + s for f.
-2
Let z = 44 + -36. Solve -5*k = z - 3 for k.
-1
Suppose 16*u = 14*u + 8. Solve 0*c - u = -2*c for c.
2
Let w(p) = p**2 + 5*p + 4. Let f be w(-4). Suppose 3*k - 3 - 3 = f. Solve -k*g - g = 15 for g.
-5
Let n(q) = q**3 + 9*q**2 + 10*q + 21. Let s be n(-8). Solve s*u = 2*u + 15 for u.
5
Suppose -8 = -4*z - 0. Solve n = z*n + 4 for n.
-4
Suppose 0 = 4*a + 4*f - 0*f + 88, 5*a - 3*f + 94 = 0. Let b = -15 - a. Solve -b*c + 8 = -17 for c.
5
Let y = 36 + -32. Solve -4 - 12 = y*x for x.
-4
Let o(u) = -u - 16. Let c(n) = n + 16. Let a(w) = 4*c(w) + 3*o(w). Let r be a(-14). Solve -3*d - r*d = 15 for d.
-3
Let v(c) = -c**3 + 10*c**2 + c - 8. Let n be v(10). Suppose -3*d - n = -23. Solve -d = -3*u - 19 for u.
-4
Let p(z) = z - 15. Let l be p(19). Solve -l*n - 1 = -13 for n.
3
Suppose 0 = 2*h - h. Let u be 1 + 0 + h - -15. Suppose 29 - 9 = 4*b. Solve -v + b*v = -u for v.
-4
Let f = -9 - -21. Solve -2*t - t - f = 0 for t.
-4
Suppose 15 - 3 = 2*l. Solve o = l*o + 20 for o.
-4
Suppose -t = 2*t - 3. Let v be 2 + -3 + t + 0. Solve v*s + 10 = -5*s for s.
-2
Let u(m) = m**2 - 3*m - 2. Let a(t) = -2*t - 8. Let v be a(-6). Let p be u(v). Let y = -3 + 5. Solve 8 + y = p*q for q.
5
Let u(d) = -4*d - 6. Let y be u(-6). Let a be ((-4)/(-6))/(2/y). Solve -a = -r - r for r.
3
Let j(u) be the second derivative of u**5/60 + u**3/3 + 2*u. Let q(i) be the second derivative of j(i). Let v be q(1). Solve v = -2*g + 12 for g.
5
Suppose 0 = -4*a + q - 6*q + 12, 4*a - 2*q - 12 = 0. Solve -12 = -a*h - h for h.
3
Let t(l) = l**3 + 3*l**2 + 2. Let k be t(-2). Suppose -q = -k*q. Solve q*o + 20 = -5*o for o.
-4
Let d(s) = s - 5. Let t(o) = o**2 + 5. Let f be t(0). Let k be d(f). Let z be 0/((0 - 2) + k). Solve -x + 1 + 1 = z for x.
2
Let m(n) = n**3 + 6*n**2 + 4*n - 3. Let u be m(-5). Suppose -u - 2 = -2*l. Suppose -r - 5*h + l = -3*h, 5 = 3*r + 5*h. Solve o - 4 + 2 = r for o.
2
Suppose -y = 2*y + 12. Let p be y/14 + (-46)/(-14). Let t be 4/(-10) + 4/10. Solve t = -p*z + 8*z for z.
0
Let n be 1/(-7) - (-114)/14. Suppose -4*q = -0*q - n. Solve d = q*d - 1 for d.
1
Let w(u) = -u**2 - 9*u - 8. Let f be w(-7). Let s be ((-16)/f)/((-14)/21). Suppose -4*p + 3 = -r, -s*r = -4*p - 7 - 5. Solve -p*x + 15 = 3*x for x.
3
Suppose -2*p = -3*z + 23, -2*z + 22 = -4*p + p. Suppose -3*y - 2*d = -5*y - 4, 0 = 4*y + z*d - 28. Solve y*f - 4 = 2 for f.
3
Suppose -c - 5*j = -10, 3*j = -2*c - 5 + 4. Let b = c - -5. Let t(y) = -y + 15. Let r be t(b). Solve 0 = 7*q - 2*q - r for q.
3
Let r = -34 + 36. Solve r*n + 0*n = 2 for n.
1
Let s be 6/8*(-2 - -6). Solve 5*x = 4*x - s for x.
-3
Let s be (-9)/6*(-32)/6. Solve -25 = -s*w + 3*w for w.
5
Suppose g + 2*g = 12. Suppose 4*r + r + 40 = 3*x, 59 = -4*r - 3*x. Let k = -3 - r. Solve 0*s - g*s = -k for s.
2
Let z be 23 - 3/(-2)*-2. Let s(r) = 3*r**3 - r + 1. Let t be s(1). Solve -d - t*d - z = 0 for d.
-5
Suppose 4*z = -5*x + 2, 2*x = 3*z - 5*z + 2. Let t be 14*z/6 - 3. Solve t*o = 3*o for o.
0
Let k(s) = s. Let c be k(-4). Let n = 7 + c. Let d = 1 + n. Solve d*o = -0*o - 20 for o.
-5
Let b be (-130)/(-11) - (-8)/44. Suppose 3*g + b = 0, -5*q + 0*q + 4*g + 21 = 0. Let l = 6 - 6. Solve c + q + l = 0 for c.
-1
Suppose -18 = -16*q + 7*q. Solve -2*s + q = -6 for s.
4
Suppose -2*w - 4 + 2 = 0, 24 = 5*f + w. Suppose -4*n - f = -25. Suppose n*u + 2*m = 9, 5*u + 5*m = -0*u. Solve -4*r + 17 = -u for r.
5
Suppose 5*w - 5 + 4 = b, -4*b - 4 = -3*w. Suppose w = 4*i - 3*a + 7 - 0, -4*i = 4*a. Let o = i + 1. Solve o*l = -l - 3 for l.
-3
Let q(h) = 2*h - 10. Let a be q(7). Suppose 7 - 21 = -2*i. Let x = i - a. Solve -x*m + 0 = 9 for m.
-3
Let n(g) = g**3 - g + 1. Let y be n(0). Let k(d) be the second derivative of d**4/3 - 6*d. Let x be k(y). Solve x*u = -u - 10 for u.
-2
Suppose -2*d = -3*m + 7*m - 36, 0 = -2*m - 3*d + 14. Let b = m + -10. Solve b = -t + 4*t + 15 for t.
-5
Let r be (-4)/6*(5 - 11). Solve r = -0*s + 4*s for s.
1
Let g be 6/(-4)*(-10)/3. Suppose -5*i - 8 + 1 = 4*j, 2*i - 17 = g*j. Solve -4*m + i - 13 = 0 for m.
-3
Suppose -2*g + 24 = -5*g. Let n be g*(-4 - 14/(-4)). Solve 3*d = n*d for d.
0
Suppose -r - b = -5, 7*b - 2*b - 1 = -r. Suppose 0 = 5*q - r*q + 2. Solve -2*n + q = -4*n for n.
-1
Let t = -4 + 4. Suppose t*b + 24 = 4*b. Solve -3*n - 12 = -b*n for n.
4
Let t(m) = m + 5. Let b be t(-6). Let f be ((-1)/(-3))/(b/(-12)). Let h be ((-25)/20)/((-2)/16). Solve h = -f*u - 6 for u.
-4
Let j(l) be the first derivative of -l**3/3 + 4*l**2 - 9*l + 1. Let f be j(6). Solve f*y - 8*y = 0 for y.
0
Let b(x) = 11*x**3. Suppose 0 = n - 4*t - 0 + 17, 3*n - 2*t = -11. Let c be b(n). Let y be 4/(-22) - 35/c. Solve -r - 5 = -y for r.
-2
Suppose -2*h + 5*a - 6 = -0*a, -h + a - 3 = 0. Let s(j) = -j + 5. Let v(k) = 5*k - 20. Let z(n) = 9*s(n) + 2*v(n). Let q be z(h). Solve -13 = -q*p - 3 for p.
5
Let b = -8 + 5. Let i be -1 + 0 + (-9)/b. Solve -2*r - i*r = -20 for r.
5
Let r = 24 - 19. Solve -z + 1 - r = 0 for z.
-4
Let q(v) = v**2 - 13*v + 15. Let z be q(12). Solve z*r + 9 = -0*r for r.
-3
Suppose -3*v - 3*n = -9, -v + n = -0*v - 1. Solve 3*r = r - v for r.
-1
Let f(d) be the second derivative of -d**3/3 + 15*d**2/2 - 4*d. Let b be f(0). Solve 0*a = -3*a - b for a.
-5
Let s be (8/(-4) - -2)/2. Let l = 0 + 4. Solve s*i = -l*i for i.
0
Let a = 40 + -39. Solve -v - a = -6 for v.
5
Let n = 43 + -41. Solve n + 3 = -b for b.
-5
Let q(u) = -u**3 + 4*u**2 - 4*u + 3. Let n be q(3). Solve 5*o - 2*o - 9 = n for o.
3
Let q be 4*((-1)/(-2) - 0). Let s(f) = -f - 12. Let c be s(11). Let i = -21 - c. Solve q*w = -i*w + 16 for w.
4
Suppose 0 = -5*d + d + 16. Suppose -8 = -2*l, -d*u + l + 36 = 6*l. Solve -u*k = k for k.
0
Suppose -2*m = 3*m + 5*p - 35, 3*p - 24 = -4*m. Suppose -m*t - t = -8. Suppose 5*a = 5*l + 5, -t*a + 5*l = -1 + 5. Solve -a*k = -0*k - 12 for k.
4
Let f(v) = 12*v - 1 + 4*v**2 - 12*v. Suppose -3*q = -4 + 1. Let t be f(q). Solve -b + t = 2 for b.
1
Let i(q) = q**3 - 3*q**2 + 2*q - 21. Let m be i(4). Solve 3*t = 4*t + m for t.
-3
Let k = -6 + 10. Solve k*l - 6 = 10 for l.
4
Let x(c) = c**2 + 2*c - 1. Let m be x(-4). Suppose 0 = m*n - 11*n. Solve 0*q - 3*q - 9 = n for q.
-3
Suppose 12 = -3*g, m = g - 0*g + 9. Let i = 10 - 7. Suppose 0 = 3*l + z - 6*z, i*l + m*z = 0. Solve l*h = 3*h for h.
0
Let v be ((-12)/5)/((-6)/20). Suppose 2*y = -2*y + v. Solve 0 = -5*l + y*l + 6 for l.
2
Suppose -4 = -4*k + 12. Solve k*w = w + 3 for w.
1
Suppose -2*j + 10 = 0, 0*n + 59 = 4*n + 3*j. Solve 0 = 4*i + n + 1 for i.
-3
Let p be ((-8)/5)/(4/(-50)). Suppose 0 = -u + 2 - 0. Let m be 8/3 + 2/6. Solve -u*b - m*b - p = 0 for b.
-4
Let z(r) = 5*r**2 - 2*r + 1. Let k be z(1). Let t = 4 - k. Suppose t*m = -4*m. Solve o - 1 + 4 = m for o.
-3
Let v be 24/32 + (-2)/(-8). Solve -2 - v = -3*i for i.
1
Let l(h) = h + 2. Let r be l(-6). Let t be r/18 + (-329)/(-63). Solve 1 = 2*g - t for g.
3
Suppose -5*i = -3*i - 18. Let d = -4 + i. Suppose -b + 45 = 2*b. Solve 0 = -5*u + d + b for u.
4
Suppose 0 = 31*d - 26*d - 15. Solve d*y - 5 = -17 for y.
-4
Let r = 109 - 109. Solve -5*y - 12 - 8 = r for y.
-4
Let b be (5/3)/(3/9). Let k be 7 + 2*3/(-3). Solve -k*r + 0 - b = 0 for r.
-1
Suppose 0 = -4*a + 3*s - 12, 4*a + 3*s - 15 = -3. Solve 4 = -a*c + 4*c for c.
1
Suppose 0 = -3*z + 5*m + 15, -5*z + 20 = -z - 5*m. Solve -x = -6*x + z for x.
1
Suppose 0 = -4*o - 4*g - 8, -4*g + g = 4*o + 3. Solve -5*c = -2 - o for c.
1
Let a(d) be the second derivative of -1/20*d**5 + 7/2*d**2 + 2*d + 0 - 1/2*d**4 - 2/3*d**3. Let z be a(-5). Solve z = -j - 0 for j.
-2
Suppose 134 = 20*m + 34. Solve m*g = 10*g + 25 for g.
-5
Let z be (-2)/(-10) - 4/20. Solve z = l + 4 - 2 for l.
-2
Let s = -8 + 12. Solve 0 - s = 4*k for k.
-1
Suppose -3*h + 8*h = -50. Suppose -6*g + 2*g - 80 = 0. Let z = h - g. Solve -5*d = 10 + z for d.
-4
Let j = 8 + -7. Suppose p + 2 - j = 0. Let y(s) = -11*s + 1. Let t be y(p). Solve -2*i + 6*i = t for i.
3
Let p = 6 - 4. Suppose -2*f + 3*t + 15 = 0, -3*f + 8 = -p*t - 7. Solve -15 = -4*s - f for s.
3
