 = 15 for y.
5
Let k(o) = 2*o**2 + 4*o - o - 66 + 68 + 0*o + 3*o**3. Let c be k(-1). Let w be (-2 - -3) + 4 + c. Solve w*p + p = -8 for p.
-2
Let h be (9/15)/(3/165). Let n = 21 - h. Let p = n + 15. Solve -p*o + 9 = -3 for o.
4
Suppose -6*q = z - 5*q - 85, -4*q = 2*z - 174. Let w = z + -68. Solve -b = 2*b + w for b.
-5
Suppose 5*x - 4*o = 81 - 32, 9 = x - o. Solve 0 = 3*h + 7 - x for h.
2
Suppose 0 = 2*s + 4 + 2. Let j be (-10)/(-15)*s + 9. Solve -2*l + j*l = -20 for l.
-4
Suppose 6*v - v = 4*q - 95, 5*v - 115 = -3*q. Let l be 45/q - 2/(-4). Solve 1 = a + l for a.
-1
Suppose 6*y - 20 = y - 5*r, -5*r = -3*y + 20. Solve -3*c = -2*c - y for c.
5
Let c be (4/(-16))/((-2)/8). Let p be c/2*(13 - -3). Let f be p/28 - (-24)/14. Solve h + 2 = f*h for h.
2
Suppose -3*z + 15 = 0, -4*h + z - 3*z + 34 = 0. Solve h*d + 6*d = 24 for d.
2
Suppose 10*t = 7*t + 6. Let v be (-1)/(-3)*9 - t. Solve -3*z - 5 = v for z.
-2
Suppose -q + 1 = -2*n, -4 = 3*q - 3*n - 19. Solve q + 5 = 7*p for p.
2
Let w(b) = -b**3 + 6*b**2 + 2*b + 36. Let f be w(7). Solve -20*d = f - 41 for d.
2
Let o(z) be the third derivative of -z**6/120 - z**5/12 - z**4/12 + 5*z**3/6 + 4*z**2. Let m be o(-4). Let l be (-3 - -4)*(2 - m). Solve 4*p = 3 + l for p.
2
Let d be 2*-2 - (1 + -11). Solve -2*h = h - d for h.
2
Let y be 2/36*-4 - 370/(-45). Solve 3*i - 5 = -y for i.
-1
Suppose 7*k - 1184 = 818. Suppose 0 = -9*j - 2*j + k. Solve -1 + j = 5*z for z.
5
Let c = 501 + -496. Solve -h = -0 + c for h.
-5
Let m(h) = 2*h - 14. Let p be m(9). Suppose -p*o - 22 = 2. Let v be ((-36)/30)/(o/50). Solve -5*z - v = -3*z for z.
-5
Suppose w - 54 = -3*w - 2*i, -2*w + 29 = -i. Let k = -9 + w. Suppose t + 3 = k. Solve -2*b - t*b - 20 = 0 for b.
-5
Let a(b) = b**3 + 9*b**2 + b + 20. Let q be a(-9). Suppose -12 = -q*u + 7*u. Solve -2*j = u*j for j.
0
Let g(n) be the first derivative of n**3/3 - 4*n**2 + 4*n + 4. Let a be g(9). Suppose -a*v = -9*v - 4. Solve -11 = -4*c + v for c.
3
Let s be ((-4)/7)/(16/(-392)). Suppose -9*h - 60 = -s*h. Solve 8*m - 4*m + h = 0 for m.
-3
Suppose -4 = -5*s - 4*u, -5*s - 46*u = -51*u + 5. Solve s = -3*x - 21 + 18 for x.
-1
Suppose -2*x + 28*j + 18 = 32*j, j = 2. Solve 266 = x*v + 276 for v.
-2
Suppose -c - 39 = -44, 4*r = 4*c - 4. Solve -5 + 17 = r*y for y.
3
Let m be (-2)/4 - (-2 - 5/2). Suppose 5*a + 4*g = -12, m*a = 3*g + g + 12. Solve a*p + 3*p = -15 for p.
-5
Suppose -2*u - q - 13 = -3*u, 5*q + 48 = 4*u. Suppose -8 = -5*n + u. Solve -4*i - 1 = -n for i.
1
Let w be 10/(-2)*-39*5/(-25). Let s be (1/1 - -1)/((-26)/w). Solve s*o - 6 = o for o.
3
Suppose 0 = -3*v + 4*v. Suppose 49*s = 5*t + 54*s - 50, 4*t + 2*s - 44 = 0. Solve 7*r - 3*r + t = v for r.
-3
Suppose -108*u + 11*u = -2134. Solve 21*y = u*y - 1 for y.
1
Let i be 102/170*((-16)/(-3) - 2). Solve i + 2 = u for u.
4
Let v = -10 + 12. Let y(g) = 2*g**3 - g**2 + 3*g - 3. Let h be y(v). Let x = h + 4. Solve 4*w - x = -3 for w.
4
Let l(n) = -n**2 + 2*n + 29. Let d be l(-5). Suppose -30 = -3*o + 3*u, o - 3*u = 6*o - 50. Let v = o + d. Solve 0 = -y + v - 0 for y.
4
Let d be 3 + 4 + -2 + 0. Let b be (-3 - 9/(-3))/2. Suppose -d = -c - b. Solve 0*u - c*u + 20 = 0 for u.
4
Suppose -4*y = 5*m + 10, -5*m - 12 = -2. Suppose n + 0*n - 5*p - 17 = 0, -6 = 3*n + 4*p. Suppose -t + 4 = f, -3*f + n*t = -0*t + 3. Solve -g - f - 1 = y for g.
-2
Let h(p) = -p**3 - 20*p**2 + 21*p + 6. Let x be (6/4 + -5)*6. Let d be h(x). Solve -d*f = -2*f - 8 for f.
2
Let d(k) = k**3 + 7*k**2 - 2*k - 10. Let t be d(-7). Let o be (-8 - -11)*(3 - 1). Solve o*p + 8 = t*p for p.
-4
Suppose -5*c + 1 = -3*h, 68*c + 13 = h + 69*c. Solve 0 = 5*r + h + 2 for r.
-2
Suppose -p + 130*r = 126*r - 20, -2*p = r - 13. Solve -26 = p*u + 14 for u.
-5
Suppose 0 = 3*c - 9, -i + 2*c - 6 = -5*i. Let v = i + 2. Solve v = b + 3 for b.
-1
Suppose -y = -5*g + 57, 35 = 3*g + 3*y - 10. Solve -g*q - 8 = -8*q for q.
-2
Suppose -8*r + 22 = -34. Suppose 5*z - 19 = -3*k, 4*z + 21 = 5*k + 7*z. Suppose 0 = k*n - 3*p + 3, -3*p + 10 + 7 = 4*n. Solve n*v + 1 = r for v.
3
Suppose -2*t = -4*t. Suppose -4*n = -3*f - 361, 2*f + 362 = -t*n + 4*n. Let y be (-24)/(-13) - (-14)/n. Solve w = y + 1 for w.
3
Let y be (-3 - -17) + -4 - -163. Solve 179*z = y*z + 24 for z.
4
Let m(c) = -c**3 - 18*c**2 + c + 30. Let i be m(-18). Solve 2*k - 6*k = i for k.
-3
Let z be (51/153)/((-1)/(-27)). Solve 2*s = -s - z for s.
-3
Let o = -49 + 50. Let j(f) = f**3 - 7*f**2 - 8*f + 10. Let b be j(8). Let q(h) = -h + 10. Let a be q(7). Solve o - b = -a*w for w.
3
Let k = 24 - 16. Let s = -4 + k. Solve -1 + 5 = -s*j for j.
-1
Let z(u) = 7*u**3 - u**2. Let t be z(-2). Let l be 24/t - 44/(-10). Suppose 16 = -l*s, 0*s + 10 = -2*v - 3*s. Solve -3*r + 2 = -v for r.
1
Suppose -3*z - 2*q - 20 = -9, 0 = -3*z - 3*q - 15. Let p be z*(-1 - (1 + -3))/(-1). Solve -2 = -f + p for f.
3
Suppose 6 = -4*j - 6, 3*h - j - 3 = 0. Suppose -2*c - 37 + 173 = 2*y, 0 = -4*y - 3*c + 270. Let p = y - 57. Solve h*b + p = -3*b for b.
-3
Let q = 13 + 17. Let p = -28 + q. Suppose 5*y - 2 = 3*y. Solve d = -y - p for d.
-3
Suppose 0 = b + 3*b + 100. Suppose 245 = 6*s + s. Let r = s + b. Solve q + 5 - r = 0 for q.
5
Let j be 4*4/40*15. Solve -15 + j = 3*d for d.
-3
Suppose 0 = -5*j - g - 5, 5*j - 3 = g + 2. Let b(l) = 3*l - 4. Let d be b(-3). Let r = d - -23. Solve 0*u - 2*u + r = j for u.
5
Suppose y = -4*b - 0*y + 16, 4 = -y. Solve b*c = 7*c - 8 for c.
4
Let c(n) = -n**3 - 5*n**2 + 4*n - 10. Let a be c(-6). Suppose -2*g + 2*v + 2 = -4, -5*g - a*v + 22 = 0. Solve -g - 2 = 2*w for w.
-3
Let y(k) = -k**3 - 11*k**2 - 8*k + 6. Let d be y(-10). Let r be (-4)/(-6)*(-63)/d. Solve -3*g - 6 + r = 0 for g.
-1
Let o = -124 - -208. Suppose -2*a = 3*a + 60. Let r be 70/o - 2/a. Solve -2*f + 5 + r = 0 for f.
3
Let h(l) = 2*l + 4. Let a be h(5). Suppose -3*u - 5 = -a. Let c = 209 + -207. Solve c*o = -u*o - 5 for o.
-1
Let x be (-1)/((-1025)/510 - -2). Let q be 4/(-30) + x/90. Solve -4 + q = -s for s.
3
Suppose 4*j = -3*t + 31, 0 = -5*j - 6*t + 8*t + 10. Solve -2*d = -j*d - 10 for d.
-5
Suppose 6*o + 0 = 18. Let y(c) = c**2 + 8*c + 6. Let z be y(-8). Suppose 3*n = -5*p - z, 2*p + 4*n - 2 = -10. Solve p = o*f + 7 + 2 for f.
-3
Let m(l) = -11*l. Let t(p) = -5*p. Suppose -4*z + 3*z = 7. Let h(f) = z*t(f) + 3*m(f). Let w be h(2). Solve w*d = -0 + 4 for d.
1
Let p = 9 - 6. Let t(g) = 1 - g**2 - g**3 + 0*g - p - 5*g + 9*g**2. Let v be t(7). Solve h + v = 4*h for h.
4
Let b be (-5)/6 - (-77)/42. Solve b + 3 = 4*x for x.
1
Let t be 78/12 + 7/(-14). Solve -t + 8 = -s for s.
-2
Let p = 43 + -43. Suppose 8*v - 2 - 30 = p. Solve f - 15 = v*f for f.
-5
Let c = -96 - -99. Suppose -c*r = 5*z - 17, -z + 2 = 7. Solve -4*q - 6 = r for q.
-5
Suppose -2*a - i = -3*a + 8, -5*i = 25. Let l(k) = k**3 + 5 - a*k**2 + 10*k**2 - k**2. Let n be l(-6). Solve n*r - 20 = r for r.
5
Suppose -3*j - p = -19 - 31, -j + 3*p + 10 = 0. Solve 19*z - j*z = -12 for z.
-4
Let o = -6 + 10. Let w be 292/60 - (-2)/15. Suppose -4*r - w*t = 0, 2*r - t = 4*r. Solve 12 = -r*n - o*n for n.
-3
Let p be (-12)/(3*4/(-32)). Suppose p = -10*h + 2*h. Let j = h + 8. Solve 0 = j*c - 8 - 0 for c.
2
Let r = 57 - 55. Solve r*q + 2 - 6 = 0 for q.
2
Let y(p) = p**3 + 8*p**2 - 7*p - 1. Let s(i) = -i + 1. Let n(q) = 5*s(q) - y(q). Let a be n(-8). Let c(t) = t + 14. Let b be c(a). Solve b = 2*x - x for x.
4
Suppose -2*f = -4*f. Suppose -4*q + 4*w = -2*q - 36, -q - 3*w - 2 = f. Solve -5*c - 15 - q = 0 for c.
-5
Suppose g = f + f - 12, 3*g = 4*f - 32. Let t be (g/12)/(2/(-18)). Suppose 5*w - 6 - 4 = 0. Solve t = w*h + h for h.
2
Suppose 36 = 19*p - 22*p. Let r = -12 - p. Solve 2*g - 1 - 1 = r for g.
1
Suppose 0 + 5 = -5*o - 3*y, -2*o + 9 = -y. Suppose 10*b = o*b + 16. Solve 15 = 5*f - b*f for f.
5
Let p be (-1 - -22)*6/9. Let u = 30 - p. Let k = u - 12. Solve m = -m - k for m.
-2
Let m(r) = 14*r + 133. Let d be m(-9). Solve 11*w + 37 = -d for w.
-4
Let m = -51 - -78. Let s = -25 + m. Solve -1 = s*w + 3 for w.
-2
Let z = 11 - 8. Let l be -1 - (-37 + -2)/z. Suppose l = -u + 5*u. Solve 5*y - u = 2 for y.
1
Let j(w) = w**2 - 3*w + 2. Let n be j(3). Suppose 5*q = 2*z - 6, z - 9 = n*q - 2*z. Suppose q*t - 6 = -3*t. Solve -2*r + t + 2 = 0 for r.
2
Suppose -3 = -c - 0. Suppose -2*t + 5 = -t, -2*t + 114 = -2*o. Let k = o - -56. Solve -c*a = -k*a - 3 for a.