pose y*v = -1 + 61. Solve 5*h - 9 = v for h.
3
Suppose 0 = -5*c + 24 + 141. Solve -26*h = -c*h + 21 for h.
3
Let i(r) = 150*r + 125. Let y be i(0). Solve -85 = -8*s - y for s.
-5
Let m = 43 + -140. Let q = -97 - m. Solve q*s = 6*s for s.
0
Let a(n) = n**2 + 47*n + 624. Let v be a(-38). Solve 0 = -3*y + 50*y + v for y.
-6
Let s(i) = -i - 11. Let c be s(-11). Suppose c = -2*k - 0*k + 6. Let b be (30/24*1)/(1/4). Solve 1 = k*m - b for m.
2
Let d(u) be the third derivative of -7/24*u**4 - 1/15*u**5 + 1/120*u**6 + 5/3*u**3 + 0 + 17*u**2 + 0*u. Let m be d(5). Solve -2*v + v - 5 = m for v.
-5
Suppose -7*t = -0*t - 28. Suppose 70 + 26 = t*n. Suppose 3*y - 12 = 3*l, 3*y = 26 - 11. Solve -5*a - l = n for a.
-5
Let i(r) be the second derivative of 5*r**3/2 + 11*r**2/2 + 11*r. Let v(z) = 7*z + 6. Let y(x) = -6*i(x) + 13*v(x). Let w be y(-9). Solve 6*l = w*l - 9 for l.
-3
Let g be (8/(-6))/((-104)/1014). Solve -7*d = -41 + g for d.
4
Let y = -22082 - -22124. Solve y*o = -3 + 45 for o.
1
Suppose 0 = 9*z + 7 - 16. Suppose 0 = -2*j - 4*o + 8, -4*j - 2*o + 5 = z. Solve 3*a - 6 = -j for a.
2
Let j = -9160 - -9206. Solve -j*l = -41*l + 10 for l.
-2
Let i = 420 - 400. Let f = -14 + i. Solve -3 = -3*o + f for o.
3
Let n = 121 - 121. Suppose -5*l + 6 = 4*b, 3*b - 14 = -n*l + l. Solve -8*i = -10*i + b for i.
2
Let x = -17 - -26. Suppose 5*l - 22 = -2. Suppose -l*n = 2*m + 8, -3*m + 3*n + 6 = -0*m. Solve -3*q + x = -m*q for q.
3
Let n be 36/24 - (-2439)/(-2). Let i be (-15921)/n + 1/(-14). Solve 10*l - i*l + 15 = 0 for l.
5
Let v(d) = -3*d**2 + 192*d + 444. Let p be v(66). Solve -6*f + p = -22*f for f.
-3
Let r = -138 + 136. Let x be (3/r)/((-6)/12). Solve o - 12 = -x*o for o.
3
Suppose -2*d - 2*z = -6, z - 3 = 83*d - 86*d. Let s be 9 - 8 - (3 + 0). Let y = 4 + s. Solve -2 = -y*p - d*p for p.
1
Let z(s) = -12*s**2 + 86*s - 181. Let f(y) = 19*y**2 - 129*y + 270. Let h(n) = 5*f(n) + 8*z(n). Let u be h(40). Solve -2*m - 18 = -u for m.
2
Suppose -4*m - 3*x = -645, -3*m + 94 = -3*x - 416. Solve -q - m = -162 for q.
-3
Let z(j) = -j**2 - 27*j - 53. Let m be z(-24). Suppose 14*s + m = 103. Solve -s + 20 = 7*n for n.
2
Let z be 66/77 + (-58)/(-14). Suppose -3*w = -2*t - 72, z*w - 117*t + 113*t - 122 = 0. Solve -24*v = -w*v - 10 for v.
5
Let a(b) = -9*b**3 - 21*b**2 - 4*b + 4. Let c be a(-2). Let w be 1 - (3 - -1) - -3. Solve w + c = 3*d for d.
0
Let z = -3040 - -3091. Solve -z = -31*r + 73 for r.
4
Let c = 27674 + -27666. Solve -c*y = 49*y + 228 for y.
-4
Suppose -20 = 12*l - 17*l. Suppose -3*t + 2*o = -43, 8*o = 2*t + l*o - 18. Solve -14*i + t*i = -9 for i.
-3
Let o be 24*35/30 - -7. Solve 725*l - o = 720*l for l.
7
Let x = -15 - -17. Suppose x*z - 2 = z. Let w be 2 + (-4)/6*18/(-12). Solve -w*d - z*d = 0 for d.
0
Suppose 7*g + 53 = 4*g - 4*t, -t - 47 = 3*g. Let i = 17 + g. Let b be (-162)/(-16) + 19/(-152). Solve -i*h - 3*h - b = 0 for h.
-2
Let a be -176 + ((0 - 1)/(-1))/1. Let n = a - -183. Solve -3*i - 17 + n = 0 for i.
-3
Let v be (4 + -2 + 1)*(-24)/(-4). Suppose -v + 10 = -2*r. Let i = 10 - 4. Solve r*k - i = k for k.
2
Let g = 66 + -47. Suppose 0 = -7*m - 5 + g. Solve q + 0*q - m = 0 for q.
2
Let m(z) = -4*z + 32. Let d(g) = -2*g**3 + 48*g**2 - g + 32. Let q be d(24). Let i be m(q). Suppose i*v = v. Solve -5*y + 10 = -v for y.
2
Let g(b) = b + 6. Let h be g(-5). Let j(o) = 2*o**2 - o + 1. Let s be j(h). Let p be (-944)/(-4484) - 4/19. Solve -6*n + s*n - 16 = p for n.
-4
Let h = 32 + -21. Let a = h - 8. Suppose -m + 21 = -3*d + 6*d, 3*d - 9 = 3*m. Solve 0 - a = m*q for q.
-1
Suppose -5*g + 4*f = -1353, -8*g - 4*f = -11*g + 807. Suppose -91 + g = 26*m. Solve 0 = 4*x - m*x - 15 for x.
-5
Suppose -28 = -31*l + 65. Suppose 4*n - 44 = 36. Let o = n - 18. Solve s = -o*s - l for s.
-1
Let p(q) = -3*q**2 + 52*q + 53. Let j be p(18). Let d be (2 - 4) + j/(153/90). Solve -3 = a - d for a.
5
Let r(j) = 352*j + 2178. Let z be r(-6). Solve z*h + 445 = -23*h for h.
-5
Suppose 0 = -6*t + 78 + 918. Suppose -27*i - 4 = -t. Solve -2*j - j + i = 0 for j.
2
Let g(b) = -7*b**2 + 625*b - 665. Let h be g(88). Solve -70*n - 13 - h = 0 for n.
-2
Suppose 16*i + 0*i - 32 = 0. Let y be 1/((-5)/10) - -4. Solve y*c + i + 0 = 0 for c.
-1
Suppose 65 = -2*y + 89. Suppose -30 + 150 = -y*v. Let s = 6 - v. Solve 2*w + s = -2*w for w.
-4
Let w = -2511 + 2529. Solve -103 = w*d - 13 for d.
-5
Suppose -827 - 179 = -8*y - 494. Solve -50*p + y*p - 14 = 0 for p.
1
Suppose 4*a - 5*r = 20, -a - r - 20 + 16 = 0. Solve a = -20*j + 13*j + 28 for j.
4
Let g = -6 - -7. Let d = 220 - 197. Suppose -12 = 20*a - d*a. Solve -x - a = g for x.
-5
Let w = -907 + 931. Solve -23*b - w = -17*b for b.
-4
Let h be (-80 + 24)*(-60)/14. Solve -23*g + 33 = h for g.
-9
Let x = 5 - 1. Suppose 14 = 2*k - 4*l - 2, 5*k - x*l - 28 = 0. Suppose -7*g + 2*g + 80 = p, 4*p + 16 = g. Solve 0*w + g = -k*w for w.
-4
Let c be 2/15 + (-987)/315. Let p(i) = 2*i**3 + 8*i**2 + 5*i + 2. Let r be p(c). Solve -5*j + r = 20 for j.
-3
Let k(g) = -3*g**2 + g + 1. Let n(r) = -10*r**2 + 11*r + 6. Let i(t) = -3*k(t) + n(t). Let y be i(8). Solve 7 = -y*q + 4 for q.
-1
Let q(b) = -b + 14. Let g be q(13). Suppose k + 5*a + 0*a = 3, 5*k - 2*a - 42 = 0. Suppose -k = -p - 5*l, -5*p + l = -7 - 7. Solve -p*z = 5 + g for z.
-2
Suppose -15*j = -14*j - 5*y - 47, -3*j = y - 77. Solve -10*t = -t - j for t.
3
Let f(h) = -565*h - 3365. Let z be f(-6). Solve -z*b + 62 = -88 for b.
6
Let s(d) be the first derivative of d**2 - 23*d + 9. Let r be s(16). Let l(u) = -u**3 + 9*u**2 - u + 13. Let x be l(r). Solve x*o + 12 = -0*o for o.
-3
Let f = 185 - 176. Solve -7*s + 4*s = f for s.
-3
Let x be (14 - 93/6)/((-3)/4). Suppose 3*k - d = -4*d - 24, -4 = -k - 4*d. Let p be 39/18 - (-2)/k. Solve x + 0 = p*q for q.
1
Let w(s) = 0*s + 2*s + 6 + 0*s + 7. Let d be w(3). Suppose d*c - 18*c = 0. Solve 5*x - x = c for x.
0
Suppose -20*i = -28*i - 32. Let g(k) = k**2 + k - 10. Let u be g(i). Solve u*c + 5 = 7 for c.
1
Suppose -6*o + 306 - 280 = -2*l, 0 = 5*l - 25. Solve -o*s + 343 = -55*s for s.
-7
Let h be -4 - (-75)/(-5) - (-1 + -1). Let x be (h/(-4) + -4)*-4. Let m be (-2 - (-1 + x))/(-2). Solve m = 3*o - 3 for o.
1
Let a = -13 + 18. Let l be a/((-5)/3) + 5. Let w be (1/5)/((-6)/(-30)) - -2. Solve -f - w = l for f.
-5
Let t(x) be the first derivative of -x**2/2 + 23*x - 57. Let l be t(17). Solve 4*k = l + 2 for k.
2
Suppose -550*n = -520*n - 360. Solve -30 = -n*m + 6*m for m.
5
Suppose y + 5*u = 135, 0*y - 565 = -4*y + 5*u. Solve y*a + 523 = -317 for a.
-6
Suppose 88*x - 6983 = -1141 + 2342. Solve x - 245 = 19*t for t.
-8
Let a(k) = k**3 - 6*k**2 + k - 3. Let f be a(6). Suppose 3*g = -4*d + 1, 1 = 6*d + 4*g + g. Solve f*j = d + 2 for j.
1
Let r(v) = 373*v + 1128. Let i be r(-3). Solve -5*u + i = 4*u for u.
1
Let z = 18767 + -18278. Solve 0 = 7*t - 454 + z for t.
-5
Suppose 30*k + 30*k + 19*k = 20*k. Solve k = 11*p + 3 - 36 for p.
3
Let z be (-2)/6*(70 + -172). Solve -44*h = -z*h - 60 for h.
6
Suppose 0 = 22*n - 29*n + 28. Suppose 0 = -n*g - x + 33, -3*g + 8*g + 4*x = 33. Solve g*a - 12*a = -6 for a.
2
Suppose -34*i = -29*i. Suppose i = 47*m - 45*m - 80. Let y = 47 - m. Solve 0 = -9*d + y*d for d.
0
Let y(z) = -5*z**2 + 98*z + 44. Let t be y(20). Solve -6*s = t*s - 30 for s.
3
Let q(s) be the third derivative of -s**6/120 - s**5/60 + 3*s**4/8 - s**3/6 + 23*s**2. Let y be q(-5). Suppose a + y = 61. Solve 0 = -a*g + 4*g for g.
0
Let w = 15896 + -15849. Solve 56*t = w*t + 9 for t.
1
Let y(m) = -22*m + 370. Let n be y(3). Solve 314*l - n*l + 50 = 0 for l.
-5
Suppose 55*p = 51*p + 5*h - 16, 2*p - 22 = -5*h. Solve -16*r + p = 1 for r.
0
Suppose 4*r - 1 = 5*w + 4, -5*r - 35 = 2*w. Let f be ((-6)/w)/((-70)/25 + 3). Solve -x - f = 2*x for x.
-2
Suppose -20*v + 16*v + 4*m = -884, -4*v - 4*m = -948. Solve 236*n - v*n = -14 for n.
-2
Suppose -35*h - 826 = -42*h. Let v = h + -104. Solve 5*p + v = -2*p for p.
-2
Let y be (-1253*1)/(-9 - (5 + -13)). Solve -1255*p + y*p = 10 for p.
-5
Suppose -5*i + 320 = 3*u, 28*i = 27*i + 4. Suppose -88*a + 93*a = u. Solve 0*r - 4*r = -a for r.
5
Let y(s) = 33*s - 22. Let a be y(2). Suppose 30 = -7*q + a. Let p = 2 - 1. Solve q*f + 3 - p = 0 for f.
-1
Suppose u = -373 + 817. Solve 4*r + 70*r - u = 0 for r.
6
Let i be (12 + 0)*(-3)/(-6). Let v be 1 + -9*(-2)/i - -1. So