 for y.
-3
Let q(p) = p**3 + 9*p**2 + 2*p + 21. Let x be q(-9). Let h = -4 - -6. Solve 0 = x*o + h*o for o.
0
Let f(k) = -10*k - 2. Let m(v) = -11*v - 3. Let u(w) = -6*f(w) + 5*m(w). Let q be u(2). Let c = q + -2. Solve -c = -r - 1 for r.
4
Let i = 26 - 24. Let x(c) = 10 + c + i*c - 4*c + 2*c. Let t be x(-6). Solve t*j - j + 15 = 0 for j.
-5
Let i be (120/(-16))/((-6)/4). Suppose -z = -1 - 3, 0 = i*b + 4*z - 21. Solve 4*c + b = 5 for c.
1
Suppose -5*s + 55 = 5*c, -17 = 3*s - 4*s - 3*c. Let r = s + -8. Suppose 2*m - 5*v = -4, 3*m + 2*v + 2*v - 40 = r. Solve 20 = 4*q + m for q.
3
Let t = 8 - 10. Let o(l) = l**3 - l**2 + l. Let g(x) = -5*x**3 + 2*x - 1. Let q(p) = t*o(p) + g(p). Let d be q(-1). Solve d*h = 3*h for h.
0
Let g(t) = -4*t - 198. Let d be g(-52). Solve -21 = -d*w + 9 for w.
3
Suppose -2*m - 2 = -h, 0*m + 8 = 4*h - 2*m. Suppose -3*p = i - 1 + 10, 5*i = -2*p - 6. Solve -h*b - 3*b - 20 = i for b.
-4
Let z = 25 - 25. Suppose w + 0*w - 35 = z. Suppose 0 = 5*b - w + 5. Solve -4*x = 2 - b for x.
1
Suppose 3 - 3 = -2*n. Let b(h) = -2*h + 4. Let m be b(3). Let a be 2/m*12/(-1). Solve -4*r + a = -n*r for r.
3
Let s(a) = 2*a**2 - 34*a - 10. Let v be s(17). Let n be 12/15 + (-2)/v + 4. Solve -13*d + n = -12*d for d.
5
Let y(r) = r**3 - 3*r**2. Let g be y(2). Let c = -4 - g. Let x = 104 - 100. Solve -x*p - p - 25 = c for p.
-5
Let c(t) be the third derivative of -t**4/6 - 5*t**3/3 - 4*t**2. Let q be c(-7). Solve -4*s = -6 + q for s.
-3
Let c(w) = 6*w**3 - 9*w**2 - 10*w - 11. Let y(t) = 7*t**3 - 8*t**2 - 11*t - 11. Let p(l) = -5*c(l) + 4*y(l). Let m be p(7). Solve -m*g + 7*g + 6 = 0 for g.
-2
Let b = 15 + -23. Let p = -5 - b. Suppose 7 = p*f - 14. Solve -3*u = -f*u - 20 for u.
-5
Suppose -4*g + 5*t = -45, -4*g - 3*t + 75 = 2*t. Let i be ((-308)/(-6))/(10/g). Suppose 4*q - i = -a, 3*q + 14 = 4*q + 2*a. Solve 3*w - q = -2*w for w.
4
Let o(s) = -3*s + 66. Let n be o(13). Solve n*p - 19*p = -40 for p.
-5
Suppose 0 = -12*w - 136 + 136. Solve -15 + w = 3*p for p.
-5
Let r(g) = -g**3 + 9*g**2 - 2*g - 71. Let z be r(6). Solve -15*q = z*q - 41*q for q.
0
Let c be 0 - 15/5 - (-9)/(-3). Let g be (c/(-7))/(-3 + 44/14). Suppose 6*h - h - 3*b = 0, 0 = -3*h - 5*b + 34. Solve h*v = -g - 3 for v.
-3
Let h be (2 + -5 - -6)/1. Suppose 16 = h*w - 2*f, f - 5 = -3*w + 14. Solve q + q = -w for q.
-3
Suppose 3 = -i - 5*g, -5*i + 7 = -2*g + 5*g. Suppose 5*t = -4*w + 11 + 11, -2*t = 5*w - i. Solve -n - t = n for n.
-3
Suppose -5*r + 4*w + 22 = 0, -5*w = 5*r - 2*w - 1. Suppose -5*d - z = -29, 37 = 5*d + r*z + z. Solve -1 = 2*o + d for o.
-3
Suppose 0 = -5*s + 8*s - 93. Suppose 4*k - 2*t = 9 + s, -32 = -4*k + 4*t. Solve -3*m + 6 = k for m.
-2
Let b be (-528)/(-96)*(-18)/(-11). Solve b = 16*f - 7*f for f.
1
Suppose 18*w - 550 = 710. Solve -2*h - w = -70 for h.
0
Suppose 62 + 69 = 5*i - k, 0 = -5*i + 2*k + 127. Solve 3*q + 18 = i for q.
3
Let g be 48/9 - ((-1)/3)/(-1). Solve -g*r - 5 = -0 for r.
-1
Suppose 9*u - 2*p - 25 = 6*u, -5*u + 3*p = -40. Solve w + u = 9 for w.
4
Suppose -3*q + 27 = 3*u, 2*u - 18 = -11*q + 6*q. Solve u*a + 5*a - 28 = 0 for a.
2
Suppose 2*f - 118 + 114 = 0. Let s = 14 - 5. Solve -f*x - s = x for x.
-3
Suppose -11*d + 12*d + 4 = 0, 5*r = 4*d + 36. Solve 12 = -r*u - 2*u for u.
-2
Suppose 0 = -5*t + 20 - 5. Let w be (0 - -2)*t/2. Solve 0 = w*s - 0*s - 3 for s.
1
Let n(f) = 35*f**2 + 245*f + 11. Let l be n(-7). Solve -l*m = 49 - 5 for m.
-4
Let t = -96 - -111. Solve 2*b + 3*b = -t for b.
-3
Suppose 0 = -5*t - 4*o + 80, 70 = 5*t - t + 2*o. Let q = -13 + t. Solve 0 = 5*w + 3 + q for w.
-2
Let v be (-2)/2 + -1 - (12 + -20). Let l be (-6)/(-6 - (2 - v)). Solve -4 = -m - l for m.
1
Let n(j) = j + 15. Let u be n(23). Solve -u + 37 = q for q.
-1
Suppose 5*w - 11 = -4*x + 29, -3*x + 15 = 0. Suppose p + 18 = 2*p - b, p + b - 24 = 0. Suppose -d - w - 10 = -3*q, 2*q - p = 3*d. Solve -q = 5*n + 7 for n.
-2
Let u(i) = i**3 + 30*i**2 - 30*i + 34. Let a be u(-31). Suppose -31 + 1 = -3*k. Suppose y + 4*y = k. Solve l + a = y*l for l.
3
Suppose 6*n + 12 = 3*n. Let q be ((-10)/n)/((-1)/(-2)). Let b(k) = k**2 - 6*k + 7. Let l be b(q). Solve 2*z + l = -0*z for z.
-1
Suppose -4*o = -3*o - 2. Let b(w) = 84*w - 334. Let x be b(4). Let u(s) = s - 2. Let c be u(2). Solve -o + c = -x*n for n.
1
Let b be 2 - 9/((-36)/40). Suppose 3*d - 2*v - 3 = b, -3*v - 9 = 0. Solve d*o = 18 - 3 for o.
5
Suppose -13*f + 91 + 13 = 0. Solve -f*d - 8 = 8 for d.
-2
Let d = 5 + 7. Let n = 22 - d. Solve -2*a + n = 2 for a.
4
Suppose 51*f = 45*f + 18. Let j(b) = -b**2 + 3. Let n be j(0). Suppose -2*a = n*z - 21, 0 = f*a - 9*z + 4*z + 16. Solve -15 = -a*g - 0*g for g.
5
Let r(j) = j**3 + 2*j**2 + 3*j + 6. Let u be 24/(-10) + 10/25. Let k be r(u). Solve k = -4*n + 5 - 21 for n.
-4
Let f = 27 - 26. Let w be 12/84 + f/(-7). Solve -x + 0*x = w for x.
0
Suppose 0 = -3*s + 2*s + g + 6, -4*s = -5*g - 24. Solve 0 = 4*w - s*w + 8 for w.
4
Suppose 3*z = -z + 64. Suppose 0 = 2*y - 0 - z. Let t = -4 + y. Solve -6*d + 4*d - t = 0 for d.
-2
Let c be 6/27 + (-346)/18. Let d = c - -34. Suppose -d = -3*f - 3. Solve -2 = -m - f for m.
-2
Let p(y) = -y**2 - 28*y - 42. Let w be p(-26). Solve 15 = 5*t - w for t.
5
Suppose -3*p - 7 = v, 4*p + v + 12 = -3*v. Let j = 4 - p. Solve -j*y + 15 = -y for y.
3
Let u be (-36)/(-24) + (-10)/(-4). Solve -i + u*i = 3 for i.
1
Suppose 3*o + 21 - 6 = 2*u, 0 = -5*u + 2*o + 21. Solve -u*z + 9*z = 0 for z.
0
Let f = -282 - -286. Solve f*v + 0*v + 20 = 0 for v.
-5
Let a be 4 + -6 + 10 + -6. Solve 78 - 68 = a*d for d.
5
Let h(f) = f**2 + 12*f + 2. Let c be h(-13). Let y be ((-17)/(-51) - 1/3) + 2. Solve -y*u = -5*u - c for u.
-5
Let b(y) = -y**2 - 10*y + 50. Let s be b(0). Solve -s = -k - 55 for k.
-5
Let y(i) = -i**3 - i**2 + i + 3. Let c be y(0). Let h = -15 + 19. Solve -b = -h*b + c for b.
1
Let p = -541 + 541. Solve p = -4*m + 2*m + 6 for m.
3
Let z = -168 + 170. Solve -z*q + 7*q + 5 = 0 for q.
-1
Let a(y) = -2*y**2 + 0*y**2 + 9*y + 3*y**2 + 51 + 10*y. Let b be a(-16). Solve 0 = -5*p + b*p - 10 for p.
-5
Let w be 166/1411 + (-540)/(-34). Suppose 0*c = c - 3. Solve c*x = w - 4 for x.
4
Let l = -9 - -12. Suppose -l*t + 4*t = -2. Let f be (-1)/(-6) - t/(-12). Solve f = -5*h + h + 16 for h.
4
Let j = -662 - -668. Suppose -3*l + 2*f + 24 = 6*f, 0 = -2*l + 3*f - 1. Let s = l - 1. Solve -n = -s*n + j for n.
3
Let l(x) = -x**3 + 3*x**2 + 5*x. Let y be l(4). Let f be ((-2)/y)/(5/(-10)). Let g be f/2 - 2/4. Solve g = -3*d + 9 + 6 for d.
5
Suppose -m + 6*m - 25 = 0. Suppose 0 = m*h - 23 + 8. Solve h*v = 2*v for v.
0
Let c(t) = -28*t - 2. Let x be c(-2). Suppose -2*s + 2*l + x = -12, 0 = s + l - 29. Solve -s = 4*g - 11 for g.
-5
Let d(h) = -6*h**3 + 3*h + 2. Let n be d(-2). Let k be 1/(3 - n/16). Solve k = -j - j for j.
-2
Suppose 8*z = 9*z + 1. Let s be (1 - 3) + z + 8. Suppose -h = 3 - s. Solve 0 = -h*g - 2*g - 8 for g.
-2
Let r(h) = h**2 + 7*h + 10. Suppose 35*b - 33*b = -12. Let g be r(b). Solve -s - g = 1 for s.
-5
Let h = 172 - 160. Solve 0 = 8*i - 12 - h for i.
3
Let q be (1/(-2) - 0)/((-51)/1224). Suppose 5*c = -2*s + 21, 3*s = 7*s - q. Solve 0 = -5*j - c + 8 for j.
1
Suppose 0 = -17*q + 641 - 216. Suppose -18*u - 42 = -q*u. Solve 2*m + u - 2 = 0 for m.
-2
Let s = 35 + -21. Suppose -x + 13 - 5 = 5*t, 5*x - s = t. Suppose -x*c + 45 = 2*c. Solve -c = -3*g + 6*g for g.
-3
Suppose -53*a + 124 = -194. Solve 80 = -a*q + 22*q for q.
5
Let z(d) = 3*d**2 - 15*d + 52. Let f(t) = -5*t**2 + 22*t - 78. Let v(h) = 5*f(h) + 8*z(h). Let l be v(-12). Let q = 3 - 0. Solve u + q = -l for u.
-5
Let k = 68 + -67. Let q be (k - 2)*(-9 + 4)*1. Solve 0 = -q*r + 3 + 2 for r.
1
Let n(u) be the second derivative of 5*u - 2*u**3 - 17/2*u**2 + 0 - 1/12*u**4. Let d be n(-10). Solve -5*m + 4*m = d for m.
-3
Let w = -708 - -760. Solve 37 = 3*b + w for b.
-5
Let x(t) = -3*t**3 - 2*t**2 - 4*t + 1. Let u be x(-3). Let g = u - 36. Let b = -28 + g. Solve -c = 2*c - b for c.
4
Let g(v) = -v**3 + 12*v**2 - 17*v - 23. Let z(q) = -q**2 - 3*q + 38. Let a be z(-7). Let h be g(a). Solve 4*w - 1 = h for w.
2
Let d(k) = 3*k + 3. Let s be d(-8). Let q = -21 - s. Solve 5*a = -q*a + 10 for a.
2
Let b(r) be the first derivative of 9*r**2/2 - 34*r - 20. Let c be b(4). Solve 2*x + c*x = 0 for x.
0
Suppose 5*l - 4 = -4. Solve l*o = -o - 5*o for o