(y) = y**3 + 3*y**2 - 5*y. Let x be a(-4). Let m = 15 + -21. Let h be (3/(-2))/(m/40). Solve -p = x*p - h for p.
2
Let z be -1 + 6 + -3 - 3. Let d be 4/24 - z/(-6). Solve -2*o - 3*o = d for o.
0
Suppose 4*q = 3*q + 10. Solve -4*r = r - q for r.
2
Let u = 12 - 15. Let y = u + 4. Solve -4*p - 5 = -y for p.
-1
Let k(s) = -s**3 - 10*s**2 + 9*s + 1. Let g be k(-11). Let b = g - 23. Solve m + 3 + b = 0 for m.
-3
Let w(s) = 2*s + 1. Let m be w(1). Suppose -2*p + 1 = -l, m*l + 4*p - 4 = 33. Solve l = -3*i - 2 for i.
-3
Suppose 2*c - 4*c + 3*c = 0. Suppose -4*y = -7 - 1. Suppose b = 3*k - 4, 3*k + 3*b - 14 = -k. Solve c = k*m + y*m - 8 for m.
2
Suppose 0 = -z - z. Suppose -8*y + 3*y = z. Let d be y*(2 + (-15)/6). Solve d*h - 20 = -5*h for h.
4
Let d(q) = -q**3 + 7*q**2 - 7*q + 8. Let b be d(6). Solve 4*f - b = 3*f for f.
2
Let f be 2/(2/5) + (-2 - -4). Solve -2*z - 3 = f for z.
-5
Let v(x) = x**3 + x + 4. Let n be v(0). Suppose 0*y = n*y. Solve a + y*a - 3 = 0 for a.
3
Let y be (-5)/15*2*108/(-8). Solve y = 3*t + 3 for t.
2
Suppose 2*q + 0 - 4 = 0. Solve 3*p = -q*p for p.
0
Let n = 3 - 5. Let v(h) = -2*h + 1. Let a be v(n). Let q(i) = i - 1. Let u be q(2). Solve -4 - u = a*w for w.
-1
Suppose 0 = d - 0*d - 5. Let x(n) = 5*n + 38. Let v be x(-7). Solve -d*u = -v*u - 10 for u.
5
Let z(u) = u**2 + u + 5. Let h be (-5)/2*(0 - -2). Let v be z(h). Solve -3*a - 2*a = -v for a.
5
Let b(a) = a + 7. Let f be b(3). Solve -2*p - 2 = -f for p.
4
Let c = -18 + 34. Let g be c - (4 + -2 + -1). Solve 0 = 2*u + 3*u - g for u.
3
Suppose -5*v + 4*v + 3 = 0. Let m(d) = 2*d**2 - d - 7. Let g be m(v). Solve u = -3*u - g for u.
-2
Suppose 17 = -u + 5*s, 0 = 4*u - 2*s - 3*s + 113. Let i be 2/(-2)*u/2. Solve -2*z - 2*z = -i for z.
4
Let i be -3 - -4 - (1 + 0). Suppose -v - 4*v + 15 = i. Let k be v/6 + 14/4. Solve k*c + 1 = 21 for c.
5
Let x be -3*(-4)/(-4) + 3. Suppose x = 3*s - 10 + 4. Solve -4 = -3*k + s for k.
2
Let j(u) = -2*u + 18. Let d be j(8). Let a be 7 + (-2 - (-2)/2). Solve d*w = 5*w + a for w.
-2
Suppose 3*b - 18 = b + 4*s, -b - 5*s - 19 = 0. Let f = 38 - 27. Let a = b + f. Solve 2*y = -y - a for y.
-4
Suppose 4*x = -42 + 106. Solve -x + 1 = -3*q for q.
5
Let r = 12 + -4. Suppose -2*x = -r, -2*s - 2*s + 2*x = -52. Solve o + 2*o = -s for o.
-5
Let l = 13 - 8. Suppose 0 = i - l + 2. Suppose 0 = -i*t - g + 12, -8 = -t - 4*g + 5*g. Solve 3 = -2*u + t*u for u.
1
Let u = 5 + -2. Solve -25 + 10 = -u*h for h.
5
Let a = 125 - 116. Solve 3*t + 0 + a = 0 for t.
-3
Let v = 5 - 3. Solve 0 = -v*d - d + 15 for d.
5
Let z be (-3)/2*(-4)/3. Let w be (-2 - -3 - 3) + z. Suppose -2*g + w*o - o = -9, -4*o = -4. Solve g*n = 3*n for n.
0
Let o = -9 - -21. Suppose 2*d + 10 = 20. Solve c + o = d*c for c.
3
Suppose 0 = -5*t - 4 - 11. Let r(s) = 2*s + 44 + 2*s**2 - s**2 - 45. Let f be r(t). Solve -f*n - 8 = -4*n for n.
4
Let q = -5 - -7. Solve -8 = q*m - 0 for m.
-4
Suppose 5*r + 0*r + 90 = 0. Let c be (4/(-6))/(6/r). Solve -2*g + 0 = c for g.
-1
Suppose 0 = -3*l - t + 5, -l - 5*t = l - 12. Let u be l/(-1) + (3 - -52). Suppose -5*z - 2*k = -u, 5*z + 2*k - 58 = -2*k. Solve b - z = -b for b.
5
Let m = -26 + 38. Let y be ((-16)/m)/((-1)/(-3)). Let j = y - -5. Solve 2*l + 9 = -j for l.
-5
Suppose -5*o + 6 = -5*a - 4, -5*o + 8 = -3*a. Solve -w - 1 = o for w.
-2
Let s be ((6 + 2)/4)/(-2)*0. Solve 2*n + n - 9 = s for n.
3
Let r be 9*((-3)/(-9) + 1). Suppose -4*x + 12 = -r. Suppose k = -2*i - 4*k - 15, 2*k = -i - x. Solve i*j - 5*j = 20 for j.
-4
Let q(c) be the third derivative of c**5/20 + c**4/12 + c**3/6 - 9*c**2. Let o be q(-1). Solve o*x + 2*x = 12 for x.
3
Let m = 1 + 2. Suppose 2*v + m = 3*v. Solve 11 + 4 = v*z for z.
5
Let b(t) = -t**2 - t + 1. Let h be b(1). Let v be 0 + h + (10 - 5). Suppose -3 = 3*i - v*i. Solve 4*s + 1 = i*s for s.
-1
Suppose 42*v - 15 = 37*v. Solve s + 4 = v*s for s.
2
Let x(z) = -2*z - 11. Let r be x(-6). Let g be r/4 + (-8)/32. Solve g = 4*v + v for v.
0
Let t be ((-5)/(-3))/((-2)/(-12)). Suppose 5*c = t*c. Solve -4*m + 0*m + 4 = c for m.
1
Suppose 0 = 2*i + 2*i. Let b(o) = -3*o. Let c be ((-4)/8)/((-2)/(-4)). Let q be b(c). Solve -q*a + 7 + 2 = i for a.
3
Suppose 2*x + 3*x = 80. Solve -2*s = -6*s - x for s.
-4
Let c(d) = 2*d**2 - 13*d + 9. Let b be c(6). Suppose 0 = 5*k - 4 - 1, 4*k - 4 = -2*h. Suppose 5*r + h*r = 0. Solve r = i - b*i + 2 for i.
1
Suppose 27 = 3*a + 9. Let j(m) be the third derivative of m**4/24 - 2*m**3/3 + 2*m**2. Let n be j(9). Solve -14 = -n*k + a for k.
4
Suppose 3*j + 0 = -4*v - 2, 5*j - 8 = -v. Solve -j*w + 0*w - 4 = 0 for w.
-2
Let o be (-562)/4 - 5/(-10). Let g be 9/(-15) + o/(-25). Solve g*j + 15 = -10 for j.
-5
Suppose -v = 2*i + 3*v - 60, -5*i = 2*v - 118. Solve -4*c - i = -6 for c.
-4
Suppose -3*i + 16 = -20. Let w = -18 + i. Let x = 10 + w. Solve -y - x*y + 15 = 0 for y.
3
Suppose -5*z + 3*z - 4*m = -10, -5*z = -m - 25. Let y be (-339)/(-11) + (-14)/(-77). Suppose -y = -z*t - 11. Solve h + t = -h for h.
-2
Suppose -5*f = -5*u - 15, -3*u + 8*u = -f + 9. Suppose w - 17 = -3*b, 3*w = -2*b - 0 + 16. Let s = f - w. Solve n = 3*n + s for n.
-1
Let u = -7 - -17. Solve 0*x = 2*x - u for x.
5
Suppose 0 = -2*o - 3*o. Suppose j = -3*z + 6*j + 74, -z - 5*j = -38. Suppose y + 3*s - z = -4, 0 = -y - 2*s + 21. Solve o = -a + 6*a - y for a.
3
Let i = 62 + -46. Solve 0 = 2*r - 6*r + i for r.
4
Let b = 111 - 109. Solve -3*c - 4 = -b*c for c.
-4
Let c(z) = -z + 3. Let q(u) = -u**3 - 11*u**2 - 9*u + 13. Let v be q(-10). Let a be c(v). Solve a = -j - 2*j + 3 for j.
1
Suppose -2*j + 2*j = -2*j. Solve -w + j = 1 for w.
-1
Let t be (-1)/(0 + (-1)/11). Let q(i) = i**2 - 12*i + 15. Let a be q(11). Solve t - 3 = -a*v for v.
-2
Let j = 16 + -16. Solve j*t = 2*t + 10 for t.
-5
Let m = -37 - -66. Suppose -5*r + 4*s + m = -17, -2*s = -3*r + 26. Solve -r*a + 3*a = 0 for a.
0
Suppose -a = a - 6. Suppose 2*u = -4*c - 3*u + 33, 0 = -2*c - a*u + 19. Solve c*v - 7*v = 20 for v.
-4
Let k be 3 + 0*3/(-9). Suppose 5*g = 20, -k*t - 2*g + 44 = 3*g. Suppose -16 = m + 3*m, t = -4*a - 2*m. Solve q = -a*q + 5 for q.
5
Let u = 14 + 6. Solve -2*l - u = -6*l for l.
5
Let o = -6 - -10. Suppose 0 = -q + 5*c - 1 - 9, c - 2 = 0. Solve l - o*l = q for l.
0
Let p(j) = j + 10. Let i be p(-8). Let r be 1 - (3 - i - 0). Suppose r*o + 2*o = 24. Solve -d + o = -5*d for d.
-3
Let f(m) = -4 + 3 + 0*m - m. Let j be f(-5). Solve -10 + j = -2*r for r.
3
Let c(u) = -u**3 - 3*u**2 - u + 4. Let p be c(-2). Solve -p*q - 3*q = -15 for q.
3
Suppose 0 = -10*w + 5*w + 85. Solve -7 = 5*p - w for p.
2
Suppose -y - v + 7 = 0, -2*y - 2*y = -2*v + 2. Solve 8 = -y*d - 2 for d.
-5
Let a(k) = 6*k + 4. Let c be a(-3). Let r = c + 24. Solve r - 1 = 3*o for o.
3
Suppose 0 = -m + 1 + 2. Suppose 0 + 15 = m*d. Suppose d*x - 2 = 4*x. Solve 3*j - x*j + 4 = 0 for j.
-4
Let g(v) = -3*v - 26. Let d be g(-10). Solve 0*n - n + d = 0 for n.
4
Let k be -1 + (4 - 3)*1. Suppose 2*u = z - 7, 0 = -4*z + 5*u - 0*u + 22. Suppose z = 2*g + g. Solve t - g + 2 = k for t.
-1
Suppose 4*v - f = -v + 5, 5*f = -5*v - 25. Let k be (2 - v)*(1 - 0). Solve -k*b = -3*b - 4 for b.
-4
Let i(c) = -c + 2. Let h be i(5). Suppose 12 = 4*a - 4*v, 3*a - v + 2*v - 9 = 0. Let r = a + h. Solve r*p - p = 0 for p.
0
Let b be (-21)/(-35)*25*1. Solve r + b = -2*r for r.
-5
Let a be (14/6)/((-1)/(-3)). Let w be (a/(-4) - -1)*-4. Solve -w*x = -8*x for x.
0
Let u(d) = -d**3 - 8*d**2 - 8*d - 4. Let i be u(-7). Solve 0 = i*l - 0 - 12 for l.
4
Let t = -10 - -26. Suppose 0 = k + 5*f - 3*f + 7, -2*k = -2*f - t. Solve 2*d + k = 5*d for d.
1
Suppose -3*z + 9 = -0*z. Let l = -27 + 55. Let j be 2/z - l/(-12). Solve 4 = j*f - f for f.
2
Let d be (-3 + -1)*(-3)/4. Suppose -4*w - 8*c + 20 = -3*c, 0 = d*w + 2*c - 15. Solve -l = -w*l + 16 for l.
4
Let f(u) = -u + 5. Let n be f(0). Solve 2*g = n*g for g.
0
Let s(x) = x - 8. Let a(j) = 2*j - 15. Let m(v) = -3*a(v) + 5*s(v). Let g be m(3). Suppose -g*q - 3*q = 10, 3*h + 2 = -4*q. Solve -3*c + 5 = h for c.
1
Let u = -21 + 11. Let z = u - -12. Solve -l + 1 + z = 0 for l.
3
Let o(w) = w**3 - 9*w**2 + 9*w - 1. Let s be o(8). Suppose -4*u + 23 - s = 0. Solve r - 5 = -u*r for r.
1
Suppose -l = -4*l. Let t = -1 + 1. Let h = t + l. Solve -b = -h + 4 for b.
-4
Let i(q) = -25*q - 497. Let r be i(-20). Let d be 0 + 2/4*10. Let c(s) = s**2 