
Let l(i) = 3*i - 75. Let g be l(33). Let w(k) = k**2 - 27*k + 80. Let x be w(g). Solve -3*r - x = -8 for r.
0
Let x = -6819 - -6825. Solve 0 = x*l - 7*l - 4 for l.
-4
Let y be 11 - ((-5)/(-4))/((5/(-20))/(-1)). Solve 33*s + y + 27 = 0 for s.
-1
Let v = 5185 - 5185. Solve v = 41*a - 37*a + 16 for a.
-4
Suppose -f - 481 = 13*f - 943. Solve 13*c + 20 - f = 0 for c.
1
Suppose -56*w = -703 - 6185. Solve w = 6*o + 159 for o.
-6
Let g be (-3)/(-66) + 9785/110 + 7. Solve 0*u - g = -24*u for u.
4
Let q = 0 + 3. Suppose -t + q = -4*u + 20, 18 = t + 3*u. Suppose -t*i + 2 - 6 = r, i = -3. Solve -r*w + w = -4 for w.
1
Suppose -5*w - 4*x = 1303, -x - 3*x + 1327 = -5*w. Let u = -260 - w. Let p = -1 - -1. Solve v + u + 1 = p for v.
-4
Let i be (3*2/(-2))/(21/(-553)). Let h = 86 - i. Solve 0 = 4*k - h - 5 for k.
3
Let t be 3 + (-279)/(-7) - 1/(14/12). Solve 6 + t = -8*q for q.
-6
Let r = 13425 + -13370. Solve 0 = -41*t + 27 + r for t.
2
Let t(x) = -8*x + 105. Let j be t(12). Suppose 4*m = 4*r - 5*r + j, -5*r + 23 = -2*m. Let f = -3 + 3. Solve f*s = -r*s for s.
0
Suppose s = d + 1 - 10, -2*d - s = -6. Let y be ((-3780)/(-217))/9 - 8/(-124). Suppose -d*o + 9 = -y*o. Solve -o*a + 8 = -a for a.
4
Let w = -7 + 7. Let d be 6/2 + 10 + -10. Let o be 23 - (-1)/1*d. Solve 5*x + o - 6 = w for x.
-4
Let c = 5960 - 5920. Solve -38*n + 36 = -c for n.
2
Let g be 1*2 + (-14)/7. Let n = 119 - 117. Let i be (-555)/37*n/(-5). Solve 2*z + i + 0 = g for z.
-3
Suppose -149*n + 307*n - 146*n = 864. Solve n*r = 66*r + 36 for r.
6
Let w(g) be the first derivative of -g**3/3 + 3*g**2/2 - 67. Let c be w(3). Solve -12 = -3*t - c for t.
4
Suppose -24*w + 294 + 86 = -220. Solve -w = -13*g + 8*g for g.
5
Let z(q) = q**2 - 7*q + 16. Let g be z(4). Let o(h) = h. Let t(x) = -10*x - 29. Let w(m) = g*o(m) + t(m). Let k be w(-6). Solve 2*y - k + 1 = 0 for y.
3
Let v be (-1)/((-2)/(-308))*(6 + -7). Solve -108*t + v*t + 276 = 0 for t.
-6
Suppose -p - 105 = 4*l - 903, -2*l + p = -396. Solve 11*f + 122 = l for f.
7
Let a(g) = 11*g**2 + g + 6. Let v(u) = -31*u**2 - 4*u - 17. Let h(n) = -17*a(n) - 6*v(n). Let r = -2 + 4. Let o be h(r). Solve o*l - 7*l = -3 for l.
-1
Suppose 0 = -d - 4*v + 23, 3*d + 0*v - 4*v - 149 = 0. Let p = 47 - d. Solve -8*y + p = -9*y for y.
-4
Let r(j) = 6*j**2 - 144*j + 26. Let c be r(24). Solve 0 = o + 32 - c for o.
-6
Suppose -35*n = -37*n + 90. Suppose 7*o + n = 66. Solve 7 = -o*d + 4 for d.
-1
Suppose -5*m = -4*n - 0 + 1, -5*n + 20 = 0. Let d(x) = -75*x + 525. Let q be d(8). Let k be (0 - -5) + (-75)/q. Solve -w = -m*w - k for w.
-3
Let y be (-34 - -38) + (-17 - -1). Let i(g) = -g - 12. Let f be i(y). Solve -3*d + d = f for d.
0
Suppose z - 1555 = 2*n, 4*z - 2*n - 3378 = 2812. Suppose 1565*s - 80 = z*s. Suppose 19 = 5*w - 3*o, o + 3 = -3*w - 2*o. Solve -s*h + w*h = 10 for h.
-5
Let z(l) be the third derivative of l**6/120 - l**5/12 - 3*l**4/8 + 13*l**3/6 - 5*l**2 + 1. Let w be z(6). Let c be 1 + w/25*-5. Solve c*m - 2 = m for m.
2
Suppose -2*r + 90 = 8*r. Let q be 6 + -10 + -1 + r. Suppose 2*o = s - 10, 3*s - 3*o - 2*o - 26 = 0. Solve s = 2*k - q*k for k.
-1
Let z(f) = -6*f**2 + 16*f - 45. Let j be z(9). Let i = -385 - j. Solve -i*n + 2 = -n for n.
2
Let f(h) = 1689*h - 2473. Let b be f(2). Solve -b = 8*j - 913 for j.
1
Let w(i) = -8 + 20 + i + 7. Let c be (-16)/((-96)/9)*-10. Let y be w(c). Solve -6 = -y*f - 2 for f.
1
Suppose -4*v + 0*v = 2*g - 6, 0 = -g - 1. Let b(l) = -4*l**3 + 163*l**2 + 1392*l + 7. Let q be b(48). Solve v*i + 20 = q*i for i.
4
Let y = 8 + -3. Suppose y*r = 21 + 4. Let u = -3608 - -3612. Solve r*x + 1 = -u for x.
-1
Suppose 25*k - 19*k = 0. Solve -36*o + 10*o - 78 = k for o.
-3
Let y(s) = -2*s**2 - 52*s + 2. Let c be y(-26). Suppose 3*f + 0*t + 4*t = 27, -f = 5*t + c. Solve f*h - 27 = 4*h for h.
3
Let i(u) = -48*u + 1292. Let p be i(25). Solve -106 = 7*x - p for x.
-2
Let c(y) be the third derivative of y**4/24 - 7*y**3/3 - 2*y**2 - 32*y. Let r be c(16). Solve 8*o + r = 6*o for o.
-1
Suppose 0 = f - 3*x - 4 + 3, 5*f + 2*x - 22 = 0. Let u(i) = -7*i**2 - 217*i + 224. Let z be u(-32). Solve z = -f*r + 6*r - 8 for r.
4
Let l(i) = 8*i + 230. Let u be l(-28). Let b be (-1*1/u)/(12/(-72)). Solve -4*r - b = -21 for r.
5
Let b = 163 + -272. Let p = 113 + b. Solve x = -p*x - 5 for x.
-1
Let r(i) = 7*i - 11. Let w be r(5). Suppose -94*a + 97*a + w = 0. Let g be (-28)/(-16) + -3*(-2)/a. Solve 3 + g = d for d.
4
Suppose -8229 = -155*y + 20911. Solve -23*r - 24*r = -y for r.
4
Let q be 9*1/3 - (21 - -2). Let c = 12 + q. Let z be (-1)/2 + ((-20)/c - 2). Solve z = -3*b + 3 for b.
1
Suppose -25*a - 16*a - 19*a = -3*a. Solve 4*i + 44 - 56 = a for i.
3
Suppose 5*h - 11 - 9 = 0. Let x(g) = g**3 - 27*g**2 - 57*g - 989. Let s be x(30). Solve 5 = -h*k + s for k.
-1
Let v be -919 + (8 - (7 + -8)). Let i = v + 911. Solve -14 = -3*f + i for f.
5
Suppose 82*f = 28*f + 48*f + 2100. Solve 0 = 46*j + 24*j + f for j.
-5
Suppose -883 = 67*a - 6712. Solve -17*c + 155 - a = 0 for c.
4
Let x(q) = 3*q - 53. Let w(d) = -10*d - 3. Let n be w(-2). Let z be x(n). Let j(c) = -c**2 - 5*c. Let s be j(z). Solve 2*f - s = -f for f.
2
Let y(d) = 3*d + 5. Let w be y(-7). Let j = w + 13. Let r be (-2)/j + (-39)/(-9) + -3. Solve -o - 3 = r for o.
-5
Let a(u) = -6*u + 16. Let c be a(10). Let n be (-1*1)/(2/88). Let i = n - c. Solve g = -i*g - 4 for g.
-4
Let y be (0 + 6/(-4))*(-26 - -34). Let q be (-1 + 6)*(y/4)/(-3). Solve -4*d + q - 1 = 0 for d.
1
Let f(z) = 2*z + 15. Let r be f(12). Suppose 1077*o = 1075*o - 5*d - 20, 0 = 3*o - d - 4. Solve o = -5*q + r - 19 for q.
4
Let a be (2/5)/(8/80). Suppose 3*q = -a*c + 43, 5*q + 2*c - 67 = 28. Solve q*k - 20*k = -5 for k.
-5
Suppose -5*m + 5 + 15 = 5*a, -m = 0. Solve -8*w + 7*w = a for w.
-4
Let o(i) = 2*i**2 + 12*i + 9. Let x be o(-9). Suppose -86*y = -79*y - x. Solve 4*c + 20 = y*c for c.
4
Let o be (-6)/4 - 1*(-68)/8. Let q be (-3 + o/3)/(6/(-27)). Let k = 16 + -8. Solve -k = -q*a + a for a.
4
Suppose -a - 20 = -19, 4*c + 3*a = -1315. Let w = c - -334. Solve -2*g = -4*g + w for g.
3
Let g be (10 + -4)/(50/175 + (-430)/1652). Solve -39*p - 41 = -g for p.
5
Let l be (5010/45 + 9)*12/(-2). Let y = l + 753. Solve -y*n - 20 = -26*n for n.
-4
Let x(z) = -z - 2. Let f be x(-3). Let q(y) be the second derivative of y**5/4 - y**4/12 + y**3/6 + 93*y. Let s be q(f). Solve -c + s = 3 for c.
2
Suppose -3*z - 4 = -4*z. Let a = 15 - z. Let q = 4154 + -4153. Solve -2*n - a = -q for n.
-5
Let k(i) = -62*i - 731. Let g be k(-12). Solve -20 = -g*j + 3*j for j.
2
Let c be -116*6/((-168)/7). Suppose 3*l = -5*w + 28 - c, -4*w = -3*l + 17. Solve 0 = -l*n - 0 + 3 for n.
1
Let a = -2101 - -2108. Solve -a*j - 8 = 13 for j.
-3
Let l(n) = -125 + n + 8*n - 3*n + 21. Let a be l(18). Solve q = -a*q - 5 for q.
-1
Let h be (2 - 5)/(1/6). Let a be 21/63*h/(-1). Suppose 3*v - 9 = -a. Solve 2*i - v - 7 = 0 for i.
4
Let j = -859 - -863. Let h be (6/j)/(-4 - 806/(-200)). Solve 0 = 53*q - h*q - 15 for q.
5
Suppose 0*n = 4*p - 5*n - 7, 11 = 5*p - 4*n. Let o be (-2)/(1 + p/3) + 4. Let z(y) = -2*y - 2. Let t be z(-7). Solve 0*j - o*j = t for j.
-4
Suppose 21 = n + 5. Let g = 3 + n. Let j(w) = -w**3 + 19*w**2 - w + 21. Let u be j(g). Solve t - 3 = u*t for t.
-3
Suppose 5*n - 9*n + 16 = 0. Suppose -2*a + o + 8 = 0, n*a - o + 4*o - 16 = 0. Suppose 16 - 3 = 5*z + 2*m, -4*z - a*m + 8 = 0. Solve -9 = -z*k - 0*k for k.
3
Let u = 71 + -71. Suppose -d - 2*j = u, 6 = 2*d - 3*j - 22. Solve 4*p + d = 4 for p.
-1
Suppose p = 12*v - 13*v + 392, -1962 = -5*v - 3*p. Solve -401*t + v*t = -40 for t.
5
Let m be (-32175)/(-260) - 26/(-8). Solve 5 = 126*f - m*f for f.
-5
Let n be (-1 - -3 - 1) + 1 + 50. Suppose -5*y - 17 = -n. Solve y*x = 2*x for x.
0
Let q(f) = -8*f**2 - 167*f - 97. Let a be q(-19). Solve -5*t - 42*t + a = 0 for t.
4
Let n be 4*8/8 - -43. Solve 59 = 4*q + n for q.
3
Suppose -12*g = 3*o - 9*g - 108, -4*o - 5*g + 152 = 0. Solve 0 = -483*u + 476*u - o for u.
-4
Let l = -9640 - -9661. Solve -399*w + 402*w + l = 0 for w.
-7
Suppose 5 = 5*v - 5. Let s(i) be the third derivative of -i**5/60 - i**4/6 + 17*i**3/6 + 107*i**2. Let n be s(-6). Solve -k + n = v for k.
3
Let n(x) = -x**2 + 26*x - 23. Let t be n(24). Suppose 2*p - 20 = -2*r, -r - 3*p = r - t. Solve z = -r*z - 24 for z.
-4
Let s(x) = -x**2 + 