 + 6 for y.
5
Let c(f) be the first derivative of 6*f**2 + 115*f - 93. Let d be c(-9). Solve -d = -3*j + 5 for j.
4
Let y be ((14 - -17) + -31)/(-3 - -2). Solve -2*s + 0*s - 14 = y for s.
-7
Let x = -8013 - -8049. Solve -54*a + 144 = -x*a for a.
8
Let x = 8446 + -8242. Solve 19*m + x = -49*m for m.
-3
Let s = -17769 + 17803. Solve -22 = 7*k + s for k.
-8
Let l = 128 + -105. Suppose 3*h = -f + 30, -4*h + 4*f + l = -1. Solve 0 = 2*k - h*k + 35 for k.
5
Suppose 5*q - z - 64 = 0, -45 = -3*q + 4*z + 7. Solve -f + 11 = q for f.
-1
Let l(r) = -6 - 4 + 5*r - 4*r + 5. Let d = 1025 - 1016. Let n be l(d). Solve -n*q + 4 = -8*q for q.
-1
Let f = -8746 + 8857. Solve -f + 114 = -p for p.
-3
Let i = 54 + -43. Let z be (i - 11)/((-1)/(-1)). Suppose -3*p = 2*d + 2*p - 14, 4 = -3*d + 5*p. Solve z + d = -2*s for s.
-1
Suppose 15*u - 18 = 9*u. Suppose -2*n = -2*d - d + 5, -12 = -2*d - u*n. Suppose -5*r = d - 33. Solve -8*l + r = -5*l for l.
2
Let s(n) = n**3 - 33*n**2 + 28*n + 142. Let o be s(32). Suppose -10*v + o*v = 16. Let y(a) = 2*a. Let w be y(6). Solve -v*h + w = -h for h.
4
Let g(i) = 1077*i**2 + 13 + 2 - 7*i - i**3 - 1086*i**2. Let d be g(-8). Solve d*n = 3*n for n.
0
Let c = -3679 - -3679. Solve -13*y + 24*y = c for y.
0
Let i = 3587 + -3579. Solve 8*l = i + 32 for l.
5
Let i be (-8)/3*(-16113)/164. Let m = i + -260. Solve 3*r + 11 - m = 0 for r.
-3
Let r(v) = -v**3 - v**2 + 4*v + 6. Let b be -1*(6 - (0 + 3)). Let y be r(b). Suppose -5*j = -j - y. Solve -j*f + 25 = -8*f for f.
-5
Let l(u) = u**3 + 4*u**2 - 9*u - 12. Let o be l(-5). Suppose o*p + 1 = 9. Let j be (-20)/(-210) - (-244)/84. Solve j - p = c for c.
2
Let a be (-13 - (-95 - 9)) + (4 - 7). Solve -56*v - a = -78*v for v.
4
Let o = -2016 + 3104. Let h be 4/(-34) - (-128)/o. Solve h = 4*g + 84 - 80 for g.
-1
Let o be 78/(-18) + (9 - 4) - 14/(-6). Solve o = -a - 3 for a.
-6
Suppose -n + 2 + 4 = 0. Suppose 0 = -2*z + 2*m + 8, -z - 2*m = -n*m - 4. Solve z*i + 13 = -7 for i.
-5
Let m(i) be the second derivative of i**4/12 + 3*i**3 - 33*i**2/2 + 18*i. Let w be m(-21). Let f be w/(-4)*24/(-30). Solve -f = 5*p + 9 for p.
-3
Suppose -11*s = -8*s - 30. Let p(g) = g**3 - 9*g**2 - 11*g + 15. Let b be p(s). Let n be -6*(-4)/(-6) + b + 2. Solve -r + n = 2*r for r.
1
Let f(b) = -b**2 - 11*b - 19. Let o be f(-8). Suppose 10*j + 5*d = o*j + 205, -4*j = -5*d - 155. Solve -52 = 4*x - j for x.
-3
Let s = 8408 + -8347. Solve -72*d = -s*d for d.
0
Suppose 0 = 5*k - 5*y - 30, -2*y = -0*k + 4*k - 18. Suppose -3*p - 318 = 3*s - 4*p, 5*p + 15 = 0. Let a = 113 + s. Solve -g + a*g - k = 0 for g.
1
Let d be 274 - ((-2)/20 + (-18)/20). Let n = 300 - d. Solve 8 = -n*z + 21*z for z.
-2
Let m be 66 - ((-2)/(-3))/(2/(-3)). Let c = 79 - m. Suppose -c = -7*p + 23. Solve -4*l = l - p for l.
1
Let k = -1799 + 1808. Solve -8*m - k*m = 0 for m.
0
Let y(i) = -290*i + 2620. Let n be y(9). Solve -8*s = -n*s + 8 for s.
4
Let o(v) = 4*v**2 + 5*v + 63. Let a be o(0). Solve -a*g - 217 = -721 for g.
8
Suppose -3*j + 11 = 8. Let z be j - (12/(-1) + -1). Suppose 5*o = z*o - 27. Solve c + 0 - o = 0 for c.
3
Suppose 4*r - 19 - 41 = 0. Let w be r/(-20)*16/(-6). Suppose 5 = -n + 2*v + 8, -3*n + v + 9 = 0. Solve -w*l = 5 + n for l.
-4
Let o = 35 - 44. Let l(j) = -j**3 - 9*j**2 - j + 1. Let q be l(o). Solve -4*u = -2*u + q for u.
-5
Let r(f) = 4*f - 24. Let c be r(9). Let q(d) = d**2 - 35*d + 178. Let g be q(29). Solve 2*l + c = g for l.
-4
Let t be (-3)/12 - 161/(-4). Let s = 42 - t. Let r be -1 - (-12)/(1 + s). Solve -2*w - r = -w for w.
-3
Suppose -17 = -2*j + 3*z, 3*z + 2 + 1 = 0. Let r be ((-23)/j - -3) + (-107)/(-7). Solve 8*p = 5*p + r for p.
5
Suppose -18*r + 221 = -1309. Solve r*b - 87*b + 6 = 0 for b.
3
Let t be (-122)/(153/68 + (-13)/4). Solve 142 + t = 44*r for r.
6
Suppose 5*r - 33 - 27 = 5*t, -3*r + 4*t + 34 = 0. Suppose 4*p - 4*m - 52 = 0, -4 = r*m - 13*m. Solve -1 = p*q + 26 for q.
-3
Let l be 2/(-9)*(-243)/(-135)*(-1250)/2. Solve -226 = -8*g - l for g.
-3
Let g(u) = -u - 4. Let k be g(-4). Suppose k = 12*c - 2 + 2. Suppose -8*s - 9 + 41 = c. Solve -2*m = -s*m for m.
0
Let n(o) = o**2 + o - 21. Let d be n(8). Let b be d/34*(1 - -1). Let r be ((-1)/(-2))/((-2)/(-24)). Solve b*i + 0 = r for i.
2
Let v be 54/24*-5*(-440)/150. Solve v*j = -11*j - 44 for j.
-1
Let r be 2*((-3115)/(-10))/7. Let h = r + -77. Solve -g + h = 3*g for g.
3
Suppose m + 24 = 4*d - m, -4*m - 8 = 2*d. Suppose d*f - 1 = 67. Suppose f*c = 16*c + 10. Solve -u = u + c for u.
-5
Suppose 445 = 34*s - 3329. Solve 0 = -4*p + 127 - s for p.
4
Suppose 5666*y = 5702*y - 2052. Solve y*p = 55*p + 8 for p.
4
Let u(t) = -7*t - 1. Let p be u(-3). Suppose 212*n - 28 = -4*v + 216*n, 2*v - 3*n = 18. Let g = -6 - -13. Solve -v*k = -g*k + p for k.
5
Let m = 183 + 205. Suppose y + 368 = m. Solve -21*w - 5 = -y*w for w.
-5
Let g = -7909 - -7912. Solve 33 = 14*i - g*i for i.
3
Let l(b) = -b**2 - 179*b - 1036. Let i be l(-6). Solve 0 = -i*c - 25 + 29 for c.
2
Let m = -8 + -8. Let a be (-126)/9*(-80)/(-56). Let n = m - a. Solve b = n*b - 12 for b.
4
Let j = -589 - -603. Solve 8*o - 10 = j for o.
3
Let o(b) = 25*b + 78. Let g = -260 - -257. Let p be o(g). Solve -p*q = -q - 0*q for q.
0
Let q be (-8659)/(-21) - (5/(-2))/((-33)/(-22)). Solve 0 = q*i - 419*i + 30 for i.
6
Let z be (-6 + (-30)/(-6))*203. Let n = z + 211. Solve -3*u = -7*u + n for u.
2
Suppose -3*u + 6724 = 7*u - 236. Solve 7*a = 661 - u for a.
-5
Suppose -2 + 8 = -3*j, -10 = -r + 4*j. Suppose r*t - 5*t = -30. Suppose -7 = x - t. Solve x*m = 1 - 10 for m.
-3
Let y(v) = 2*v**2 - 17*v + 24. Let w be y(7). Suppose -2*u + 2 = -w*u, -i + 8 = 4*u. Solve i*r - 10*r = -24 for r.
-4
Let q(l) = 6*l + 63. Let j be q(-8). Suppose -4*c = -0*m + 2*m - 24, -4*c = -2*m. Solve -11*f = -m*f + j for f.
-3
Suppose -35*b + 165 = -24*b. Let p be 40/24 - (-80)/b. Solve 3*m + p = -4*m for m.
-1
Let i = 67 - 54. Let j(p) = 2*p**3 - 27*p**2 + 14*p + 28. Let b be j(i). Suppose 37*a - b*a = -12. Solve 0 = a*l + 2*l + 10 for l.
-2
Let l(x) = -x**2 - 5*x - 4. Let v(a) = -2*a**2 + 7*a + 0*a**2 - 8*a + 0*a + 2. Let h be v(-2). Let p be l(h). Solve p = 5*m - 15 - 10 for m.
5
Let z be (-18)/15*40/(-24). Let u(g) = g**2 + g - 1. Let a be u(z). Let k(d) = -d**2 + 12*d - 32. Let s be k(a). Solve s*f + 2*f - 10 = 0 for f.
2
Suppose -6*s + s = 0. Suppose -2*a - 3*p = -29, -5 = 112*p - 117*p. Solve 9*o - a*o + 20 = s for o.
5
Let s = 4160 + -4119. Solve -s*o = -35*o + 18 for o.
-3
Let p = 14 - 14. Suppose p = -5*i + 4 + 26. Suppose 2*j - 2*m = 2, 6*j - j - 4 = 4*m. Solve -o + 4*o + i = j for o.
-2
Let g(i) = -62*i - 553. Let w be g(-9). Solve 3*k = -2*k - w for k.
-1
Let t(i) = 65*i - 295. Let o(m) = -162*m + 738. Let q(a) = 5*o(a) + 12*t(a). Let g be q(5). Solve -4*f + 4 + g = 0 for f.
1
Suppose 8*h + 3 = 9*h, 3*h = -5*k + 29. Suppose 0 = -k*n + 548 - 548. Solve -2*g - 7 + 17 = n for g.
5
Let b(m) = m**3 + m**2 + m. Let v(x) = -3*x**3 + 3*x**2 + 3*x - 3. Let g(l) = -b(l) + v(l). Let q be g(2). Let h = -15 - q. Solve -3*k + h*k + 5 = 0 for k.
-1
Let l = -109 - -76. Let b = -29 - l. Suppose -w + 8 = k + k, 5*w = 2*k + b. Solve 6*o = k*o + 3 for o.
1
Let h = 50 + -47. Suppose -13 = 4*g - 3*v - 41, v - 34 = -h*g. Suppose g*x = 3*x + 35. Solve 0 = -2*z - x - 5 for z.
-5
Let b be 2*(1/2 - -1). Suppose 53*v - 5520 = 45*v. Suppose 30*x = 60 + v. Solve b*r = -2*r + x for r.
5
Let m = 139 + -146. Let v be (2 - (-1 + (-25)/(-7)))*m. Solve -v*x = -21 + 1 for x.
5
Suppose -i - 3*i = -16. Let c(q) = q**2 + 38*q - 48. Let o be c(-32). Let r be ((-15)/6)/(100/o). Solve -r*d + 8 = -i*d for d.
4
Suppose -40 = -6*x + 3*x + l, -x - 4*l = 4. Let o = -33 - -36. Suppose x + o = v. Solve 7*k + v = 2*k for k.
-3
Let y(n) = -n**3 - 58*n**2 + 1707*n + 89. Let b be y(-80). Solve x - 4324 = -b for x.
-5
Suppose -91*n = -88*n + 3*i - 753, 0 = 4*n + 5*i - 1009. Solve -3*c = -44*c - n for c.
-6
Let k be ((-1)/2 - -1)*(-41 - 34 - -75). Solve k = 31*g - 27 - 35 for g.
2
Let a(o) = -95*o + 715. Let s be a(7). Solve 0 = 6*c + 14 - s for c.
6
Suppose -b - 6 = 2*w - 7*w, 5*b = -2*w - 3. Let d be (w + 1)/((-4)/(-50)). Let c(v) = -22*v + 71. Let i be c(3). Solve d = -i*p - 0*p for p.
-5
Suppose -122*m = -1866 - 2770. Solve -75 - 1 = m*x for x.
-2
Let a = -79 - -84. Suppose -2*n + 355 = 2*p + 125, a*p = -