 + 3 for x.
3
Let l(o) be the first derivative of -5*o**2/2 - 8*o - 27. Let a be l(-2). Let k be -4*a/4 + 2. Solve k = -0*g + 3*g + 15 for g.
-5
Let n be (-126)/((6/(-20))/((-21)/(-28))). Let d = n - 312. Solve 20 = -7*l + d*l for l.
-5
Suppose -2118 - 1074 = -32*y + 1160. Solve -48*r + y = 472 for r.
-7
Let a be (63/4 + 60/(-5))/((-3)/(-100)). Solve -y - 24*y + a = 0 for y.
5
Let i(y) = 141*y**3 + y**2 + 3*y + 3. Let x be i(-1). Let m be 24/15 - 7/(x/8). Solve 0 = -s + m - 6 for s.
-4
Let g = 10400 - 10351. Solve -25*v = -g*v + 15*v for v.
0
Suppose 2*x - 18 = -0*x. Let v(l) = -l**2 - 18*l - 65. Let d be v(-11). Suppose 0 = -5*z - 20, t - x*z - d = -6*z. Solve t = -5*g + 14 + 11 for g.
5
Suppose -87 = -9*a - 933. Let o = -87 - a. Solve 8*h + o = -17 for h.
-3
Let r = -260 - -270. Suppose 2*x - 3*u - r = 0, -u = -5*x - 5*u + 71. Solve x - 13 = -l for l.
2
Let w(x) = -x**2 + 15*x - 13. Let z be w(14). Let o be z*15*((-9)/27 - -1). Solve -u = -u + o*u for u.
0
Let h(p) = -4*p + 4*p + 7*p - 4*p + 13. Let n be h(-4). Let m be 4/12*n/(1/6). Solve -3*j = -m*j + 3 for j.
-3
Suppose -3*r + 8*r = 35. Let q be (-4 - ((-2 - 0) + 62)) + 2. Let h = -58 - q. Solve -h*i - 1 = r for i.
-2
Let m(h) = 68*h - 5. Let q be m(1). Suppose 68*a - q*a = 0. Let n(x) = x + 1. Let w be n(2). Solve l + w*l + 8 = a for l.
-2
Suppose 0 = 49*c - 65*c + 32. Suppose -3*s = -4*n - 12, 4*s - 16 = -c*n + 4*n. Solve x + 20 = -s*x for x.
-4
Let p be (6/((-264)/55) - 78/40)*-15. Solve 0 = -6*s - 12 + p for s.
6
Let n be 11 + (-8 - 30/(-5)). Let p = -35 + 46. Solve p*h - n*h + 10 = 0 for h.
-5
Suppose 0 = -4*c + 8*t - 13 - 3, -4 = -2*t. Solve c = 36*b - 48*b for b.
0
Suppose -8*h + 13 = -275. Let a = h + -16. Suppose 4*j = 3*u, -j - 4*u = -a + 1. Solve -j*g = -4*g for g.
0
Suppose -r - 4 = -2*y - 2, 5*y = -2*r + 5. Let w be 1/((-1)/(-3)) - (1 + r). Solve -4*k + w = -10 for k.
3
Let j = -346 + 360. Let u be -6 + j - 3 - -1. Solve 5 - 17 = -u*t for t.
2
Let n(z) = 120 - 246 + 119 - 2*z. Let k be n(-7). Solve -4 = p - k for p.
3
Suppose 0 = 2*m + 2*m - 80. Suppose -5*o - 4*i = -50, -3*o - 10*i = -5*i - 43. Suppose m = 2*q - 4*a, -4*q = o*a - a + 12. Solve -2*v = -0*v - q for v.
1
Let m(s) be the first derivative of s**4/4 - 8*s**3/3 - 3*s**2/2 - 39*s - 30. Let f be m(9). Solve f*h - 8 = 17*h for h.
-4
Let a = -10658 - -10663. Solve 28 = -a*g + 58 for g.
6
Let f be 7*(((-60)/35)/(-6) + 1) - 4. Solve -f*o + 5*o = -4*o for o.
0
Suppose -43 = a - 45. Suppose p + 3 = -a*t - 1, -5*t = 20. Solve -4*d = 12 + p for d.
-4
Let b be (-9)/7 - 16/(-56) - -1. Let j(t) = t + 21. Let n be j(-8). Let w be 22/55 + n/5. Solve 12 = -b*c - w*c for c.
-4
Suppose -6*u + 992 = 1124. Let y = 39 + u. Solve 6 = -11*l + y for l.
1
Let c be -3*-10*3/15. Solve 0 = 4*v + 22 - c for v.
-4
Let i(s) = -145*s + 883. Let l be i(6). Solve l = -13*q + 26 for q.
1
Suppose -6019*m - 5*b - 20 = -6024*m, m + 4*b + 6 = 0. Solve m*t - 23*t = 84 for t.
-4
Suppose r = -2*r + 21. Let u be ((-24)/(-84))/((-8)/28). Let i be 0/(-2) + r + u. Solve 2*c - 4 = -i for c.
-1
Let t = 106 - 111. Let a be (-3 - (-14)/5) + (-26)/t. Suppose 5*n - 18 = 4*f, a*n - f = 44 - 17. Solve n = 3*q - 0*q for q.
2
Suppose 22*m - 26*m + 4 = 5*v, 2*m - 12 = -5*v. Solve 0*b - v*b = -3*b for b.
0
Let y = -9 + 26. Suppose -2*z - y = -21. Solve 0*l - 10 = -z*l for l.
5
Let y = 6537 - 6298. Solve 263 = 12*u + y for u.
2
Let d(o) = -156*o + 624. Let w be d(4). Solve 15*i + 60 = -w*i for i.
-4
Suppose 274*c - 279*c = 2*o - 541, 4*o = 3*c - 309. Solve -3*g = -c + 122 for g.
-5
Let u = -2607 - -2634. Solve 2*h - u*h - 25 = 0 for h.
-1
Suppose 0 = -4*u - 4*g + 416, -2 = -3*g - 8. Suppose -u = -26*c - 28. Solve -c*t + 8 = t for t.
2
Let w = 8 - 10. Suppose -5*o - 3*h - 11 - 5 = 0, 0 = -5*o + h - 28. Let q = w - o. Solve -q = -r - 0 for r.
3
Let u(h) = -2*h**2 + 168*h - 442. Let q be u(77). Solve -647*b = -q*b + 66 for b.
-6
Let o be 10/(-1) - (-79 - -21). Solve 51*d = o*d - 18 for d.
-6
Let p(s) = -42*s**3 - 90*s - 180. Let a be p(-2). Solve 38*g = -4*g + a for g.
8
Let q be -5 + (6 - 6 - 2). Let k(z) = -5*z - 20. Let b be k(q). Solve -b = 3*h - 8*h for h.
3
Let j = -3331 - -3370. Solve j = 8*l + 31 for l.
1
Let y(m) = -22*m - 237. Let s be y(-13). Solve s*l + 208 = -37 for l.
-5
Let w(n) = 5*n**2 - 9*n - 9. Let c be w(-1). Suppose -3*y - 1 = -x, 0 = -c*y + x + 3 - 2. Solve 0 = 3*t - 5 - y for t.
2
Let n(o) be the second derivative of o**4/6 + 23*o**3/6 + 21*o**2/2 + 2*o - 4. Let j be n(-11). Solve -4*y + j = 6 for y.
1
Let s(c) = -c**3 + 11*c**2 + 24*c + 32. Let p be s(13). Solve 0 = 34*v - p*v - 112 for v.
4
Let m = 54 - 54. Let y = -88 + 18. Let f = y - -85. Solve 0 = 3*l - f - m for l.
5
Let n(g) = 42*g - 443. Let c be n(11). Solve 21*y = -c + 124 for y.
5
Let q be (-4)/(-14) + 188/28. Let a be 4/(-8) - (-220)/40. Solve -q*f = a - 26 for f.
3
Suppose -3*d - 28 + 55 = -3*o, -3*o = -5*d + 45. Solve o = 145*t - 174*t - 174 for t.
-6
Let n = -110 - 62. Let j = n - -270. Suppose 3*i - 5*b - j + 20 = 0, 3*i = -2*b + 57. Solve 0 = -4*w - i + 1 for w.
-5
Let n be ((-25)/(-7))/(9669/(-231) - -42). Suppose 3*u = -3*z + 12, -8 = 3*u + 4*z - 24. Solve -20*i + n*i - 10 = u for i.
2
Let f = 1987 - 1882. Solve 13*p = -2*p + f for p.
7
Suppose -2*m = -2*h - 110, m - 5*h + 649 = 684. Solve 62*q = 42*q + m for q.
3
Let x(r) = 2*r**2 - r + 25. Let i be x(-12). Let a = 333 - i. Solve 0 = 4*k - a - 0 for k.
2
Let n be 20*(3 + 14/10). Let t be (-27)/21*(-700)/75. Solve 91*x - n*x = -t for x.
-4
Suppose 5*k - 5 = -4*u, 0 = 2*u + 202*k - 206*k + 4. Solve 29*w + 62 - 178 = u for w.
4
Suppose -29*d + 30*d - 3 = 5*x, -1 = -x. Suppose -3 = i, 4*w = -d*i + 4*i + 8. Solve 0 = -2*p + w - 3 for p.
1
Let v be (-11)/(198/(-3348)) - -9*1. Solve -150 + v = -15*d for d.
-3
Let w = 427 - 265. Let s = 166 - w. Solve s = 3*c + 13 for c.
-3
Let x(s) = -s**2 - s. Let t(j) = j**3 - 7*j**2 - 7*j + 95. Let y(b) = -t(b) - 3*x(b). Let m be y(10). Suppose 4*k - 25 = 15. Solve -k + 5 = m*r for r.
-1
Suppose -3*x - 73 = -4*o, -3*o - 23*x = -26*x - 54. Solve -11*n - 14 - o = 0 for n.
-3
Let g(x) = -x + 7. Let s(d) = -d**2 + 3*d - 2. Let a be s(2). Let c be g(a). Let o(l) = l**3 - 6*l**2 - 7*l + 10. Let i be o(c). Solve 0 = 5*r + i + 10 for r.
-4
Suppose 9 = -3*x, 2*g - x - 67 + 4 = 0. Suppose -g = 4*y - 8*y - 2*t, 3*t + 5 = 4*y. Solve -y*p - 11 - 4 = 0 for p.
-3
Suppose 58*w = 60*w - 12. Let i(p) = -p**2 + 15*p - 28. Let r be i(13). Let v be (-5 - -4)*(r + -1). Solve -w = 3*n + v for n.
-3
Let b = 26 - 19. Let t be (35/40)/(5/40). Solve 7 = b*o - t for o.
2
Suppose -14*x + 5*x = 0. Suppose -16*c - 15 + 175 = x. Solve -2*b + 6 = c for b.
-2
Let y(f) = 165*f + 1. Let h be y(0). Let q(i) = 2*i - 9*i - i**2 + 3 + 11*i + 0*i**2. Let l be q(4). Solve 2*u + h = l*u for u.
1
Let l(g) = -g**2 + 4*g + 30. Let u(i) = -i**3 - 2*i**2 + 2*i + 11. Let q be u(-2). Let f be l(q). Solve 2*b = 5*b + f for b.
-3
Suppose -z = -3*g + 948, 36*g - 1560 = 31*g + 5*z. Solve g*j - 314*j = -24 for j.
-6
Suppose 3*q = -q - 8. Let w be q/9 - (-76)/18. Let n = 866 + -863. Solve 2 = -n*z - w for z.
-2
Let d(t) = t**3 + t**2 - 1. Let s(a) = 5*a**3 - 5*a**2 + a + 6. Let j(o) = 6*d(o) - s(o). Let i be j(-11). Let f be 16 - i - (8 + -6). Solve 6*z + f = z for z.
-3
Suppose -5*d - 4*b + 14 = -5*b, 10 = -3*d - 4*b. Let v be (22 - 18)*(-2)/(-4). Suppose -4 = v*i - 8. Solve -4*g + i = -d*g for g.
1
Suppose -p + 4*p - 2*j = -600, 0 = p + 3*j + 189. Let u be (-1)/11 - 4968/p. Let n = -15 + 21. Solve u = -n*l + l for l.
-5
Suppose 8 = -3*d + 7*d. Let j be ((-2)/(-7))/(4 + (-110)/28). Suppose -2*m - s - 23 = -4*m, -3*m + 47 = -j*s. Solve 3 = -d*f + m for f.
3
Let a be 154/4 + (-20)/(-40). Suppose 4*o + 56 = -4*p + 2*o, -a = 3*p + 3*o. Let b be ((-9)/p)/((-3)/(-15)). Solve 2*g = b - 9 for g.
-3
Suppose -2*j = 2*j. Suppose 2*g + 6*m = 2*m + 250, g - 105 = 3*m. Let x = 120 - g. Solve -3*p = -x - j for p.
1
Suppose 440 = 2*m + 9*m. Suppose -5*v + 9*v - m = 0. Suppose 3*a = 2*n - 2 - 4, -v = n + 5*a. Solve n*i = -5*i for i.
0
Let o(l) = 3*l - 16. Suppose -2*b - 46 = -5*c, 4*c + 5 = 3*b + 46. Let w be o(c). Solve 4*u - 8 = w for u.
4
Suppose 4*g - 296 = -4*u, -5*u + u + 286 = -g. Solve 0 = 43*f - 31*f - u for f.
6
Let d be (-102 - -108) + (-80)/(-5). Solve 0 = 