 for y.
-1
Let u be ((-6)/(-18))/((-2)/(-156)). Suppose 31*q - 522 + u = 0. Solve 36*g = 32*g - q for g.
-4
Suppose -6*v + 4*v = -10. Suppose 5*d - 3*c + 3 = 2*d, -v*d - 4*c - 5 = 0. Let x = d + 1. Solve x = 4*w - 5 + 1 for w.
1
Let u = -76 - -71. Let a(t) = -3*t**2 - 13*t + 9. Let q be a(u). Let d be 11/4 - 5/20*q. Solve 5 + d = 2*w for w.
4
Let p(r) = -r**2 + 4*r + 5. Let i be p(4). Let m be (5 - (-78)/18) + (-4)/(-6). Let b be 25/m + 15/2. Solve i = -5*h - b for h.
-3
Let g = 250 + -297. Let q = 52 + g. Solve 0 = 4*v - q*v + 3 for v.
3
Let i = -41 - -45. Suppose -16*v - 1056 = -i*v. Let z = v + 108. Solve -l = 4*l - z for l.
4
Let p = -1516 - -1539. Solve -12 = -7*g + p for g.
5
Suppose 20 = 3*t - 7*t, 0 = -k + 4*t + 17. Let o be 6 + (16/(-4) - k). Solve -10*v + o*v + 15 = 0 for v.
3
Let v(w) be the third derivative of w**6/60 - 61*w**5/60 - 4*w**4/3 + 6*w**3 + 74*w**2. Let i be v(31). Solve -i*j = -8*j - 3 for j.
-1
Let h = -3222 - -3224. Solve -1 = -3*l + h for l.
1
Let p(s) = -83*s + 84*s + 8 - 12. Let g be p(4). Solve g = -r + 2 - 6 for r.
-4
Let f = -17 + 36. Let s be 2/4*-4 + f. Solve -8 = -3*a - s for a.
-3
Let g(k) = -2*k + 0*k - 10*k**3 - k**2 + 5*k - 3 - 1. Let v be g(2). Let b = v - -94. Solve 0 = -6*f + 3*f + b for f.
4
Suppose -4*r + 60 = -9*r. Let p be (-1 + 2)*r/(-4). Suppose 0 = -363*u + 361*u. Solve u = 2*a + p*a for a.
0
Let t(u) = u**2 + 2*u**3 + 40 - 41 - 10*u**3. Let d be t(-1). Suppose m = -3*m + v + 17, -4*v = 4*m + d. Solve -m*n - 4 + 1 = 0 for n.
-1
Suppose 4 = 5*w + 2*o, -2*w - 4*o = -2 - 6. Let z be (w + 0)/(-4 - (6 + -8)). Suppose j - 19*j + 108 = z. Solve -5*v + j = 11 for v.
-1
Suppose 21 = 2*c - 3*c. Let a = -1 + c. Let n(b) = -b**2 - 21*b + 22. Let s be n(a). Solve 4*t + 0 - 8 = s for t.
2
Let m = -767 - -833. Let d = -49 + 34. Let s be (-2)/5 - (4 + m/d). Solve 0*k - k = s for k.
0
Suppose i + 20 = 6*i, -s - 2*i = -14. Let j be 39629/(-8615) - (-23)/5. Solve 3*h - s = -j for h.
2
Let r(n) be the first derivative of n**4/4 + 7*n**3 + 19*n**2/2 - 20*n - 152. Let x be r(-20). Solve x = -4*a - 2 - 6 for a.
-2
Let k = -1 - -8. Let h(q) be the third derivative of -q**5/60 + q**4/4 + q**3/6 + 30*q**2. Let a be h(0). Solve 3*x = a - k for x.
-2
Suppose -7*n + 12*n = 0. Suppose 1 = -3*c + 5*q, n = -3*c - c - 2*q + 16. Suppose -5*d = -3*o - 40, c*d + 7*o = 3*o - 5. Solve 4*v - d = -v for v.
1
Suppose -4*g + 1598 = -3*m - 1087, -4*g - 5*m + 2693 = 0. Let u = 674 - g. Suppose 0 = -3*i + 3*b - 0*b + 42, 5 = 5*b. Solve 5*v - u*v = i for v.
5
Let v(b) = 14 + 7 - 7*b - 11. Let o be v(1). Solve -o*s = -s - 8 for s.
4
Suppose -2*l - 28 = 2*l + 4*y, 5 = -y. Let m be ((-13)/26)/(l/(-8*1)). Let j = m - -2. Solve -3 + j = w for w.
-3
Let u(l) = 2*l**3 + 83*l**2 - 16*l + 1107. Let n be u(-42). Solve n = 14*a + 127 for a.
-8
Let z be 209 + -7 + (7 - 11). Solve 101*s - z - 4 = 0 for s.
2
Let w(d) = -2*d + 36. Let k be w(12). Suppose -18*b + k*b = -48. Solve 0 = -2*p + b - 0 for p.
4
Let a(h) = h**3 - 18*h**2 - 20*h + 21. Let l be a(19). Let z be (-6)/7*-7 - (l + 0). Solve 9*t = z*t - 20 for t.
-4
Let x = -2 - -6. Let u be (-1)/(-1)*-8 - -6. Let i be (x + u)*(0 + 1). Solve i*r + 4 = r for r.
-4
Suppose 6 = -u + 13. Suppose -u*b + 12*b = a - 25, -6 = -2*a - b. Solve -4*g = -9*g - a for g.
-1
Let w = -950 - -968. Solve -19*z = -43*z + w*z for z.
0
Suppose 0 = -0*h - h + 2*o - 39, -4*h - 2*o - 136 = 0. Let n be 9/6*(-16)/(-6) + h. Let s = n - -44. Solve -5*j - s = 7 for j.
-4
Let z(b) = 14*b + 136. Let f be z(-12). Let h = f + 44. Solve 10*a = h*a + 6 for a.
-3
Suppose -3*h + n + 19 = 0, -77*h + 5*n - 25 = -82*h. Solve -h*k = -1720 + 1744 for k.
-4
Let t(d) = 15*d - 57. Suppose -5*i = -6*i + 4. Let l be t(i). Solve 0 = -l*f + 2*f for f.
0
Let c = 421 + -76. Let h = c - 342. Solve -h*v = -8*v + 15 for v.
3
Suppose 3*y = -3*k + 2*k + 27, 2*k = -4*y + 56. Suppose -h - k = -6*h. Solve -4*p = -h*p + 6 for p.
3
Let y(m) be the third derivative of m**5/30 + 7*m**4/12 + 6*m**3 - m**2 - 7*m. Let c be y(-4). Solve -14*j - c = -10*j for j.
-3
Suppose 13*i = 36 + 3. Suppose 0 = 3*s - 0*p + i*p - 33, 0 = 4*s + 2*p - 52. Solve 16*o - s*o = -4 for o.
-4
Let v be 3 + 3/(-2 + (-15)/(-10)). Let l be ((-4)/7*v)/(72/336). Solve 3*i - 7*i - l = 0 for i.
-2
Suppose 4*u - 34 = -j + 20, -2*u + 2*j + 12 = 0. Solve u = -6*a - 6*a for a.
-1
Let z be (-27)/5*(188/(-6) + 28). Solve -z*j = -17*j for j.
0
Let f = -363 - -366. Suppose -5*t - 2*g - 2*g = 0, f*t - g = 0. Solve 3*x - x + 8 = t for x.
-4
Let m be (98/56)/(1 + 25/(-24)). Let a = m - -44. Suppose -3*x = -a*x. Solve x*p = 3*p + 6 for p.
-2
Let r = -206 - -254. Let n be 0 + 5 - r/128*-8. Solve 0*h - 24 = -n*h for h.
3
Let q = 14750 - 14608. Solve 80 = 37*z - q for z.
6
Let r(i) = 3*i + 10. Let n be (-140)/(-16) + (-3)/(-12). Let j be r(n). Let p = j + -23. Solve 4*k + p = 34 for k.
5
Suppose -2*y + 4*v = -106, 13*v = 2*y + 19*v - 136. Solve y*h + 7 = 420 for h.
7
Let p(l) = -l**3 - 92*l**2 - 176*l + 420. Let w be p(-90). Solve 24*q = w*q + 72 for q.
-2
Let j be ((-19)/(-4) + -4)*804. Let k = j + -591. Solve -14 + k = -c for c.
2
Suppose 35 = -5*d - 5*c + 210, 225 = 5*d - 5*c. Solve 18*w = -d - 50 for w.
-5
Suppose -2*j = -j + 10*j. Let c be (4/(-12))/((-1)/3). Solve l + j = c for l.
1
Suppose 2*k - 5*k = -24. Let u = -335 + 337. Suppose 5*r + x = u*r + 19, 0 = 5*r + 5*x - 25. Solve 3*p = r*p + k for p.
-2
Suppose 0 = -3*m - 2*m + 3*h + 15, 5*m = -3*h + 15. Let s(w) = 273*w + 1373. Let z be s(-5). Solve -4 = -m*k + z for k.
4
Let y = -376 - -395. Suppose -35*q + y*q + 64 = 0. Solve -2*l + 2 = -q*l for l.
-1
Suppose 4*k + 2*u - 14 = 0, 2*k - 11 = 2*u - 1. Let q be 160/2 - 4/k*-6. Solve 85 = v + q for v.
-1
Suppose 16*v = 13*v + 12. Suppose -3*u = 5*z + 36 - 79, z + 5*u - 13 = 0. Solve -m + z = v for m.
4
Suppose a = -2*a + 9. Suppose 0 = 5*x + 5*l - 35, -3*x + 2*l - a*l = -13. Let o = 5265 - 5264. Solve -x*i = -4 + o for i.
1
Let b = -4652 - -4728. Solve 0 = 8*d + b - 52 for d.
-3
Let r be (2 + 5/(-2))*(75 + -497). Solve r*k - 10 = 221*k for k.
-1
Suppose 0 = -12*z + 8*z + 16, 0 = -2*g + 3*z - 2. Suppose 4*l = 4*k - 92, -g*k + 0*k = -4*l - 110. Solve -k = -13*t + 7*t for t.
3
Suppose 11 = 4*x + 5*g, 0 + 13 = 4*x + 3*g. Let b(o) = o - 3. Let y(r) = -r + 2. Let j(p) = -4*b(p) - 3*y(p). Let t be j(x). Solve 0 = -6*a + 8*a - t for a.
1
Suppose -166 = -9*n + 347. Let d = 61 - n. Let b(q) = -q**3 + 2*q - 1. Let k be b(1). Solve k*z = d*z - 8 for z.
2
Let b(g) = 2*g**2 - 4*g + 2. Let j be 3*4/10*10/6. Let k be b(j). Suppose -k*o + 3 = o. Solve -1 - o = -2*a for a.
1
Let v be ((-48)/1)/(-9 - (-18 + 10)). Solve -23*m - v = -140 for m.
4
Let n = 53 + -57. Let k be 5/(2/(-40)*n). Solve 22*p - k*p + 3 = 0 for p.
1
Let x be ((-2)/3)/((-33240)/(-1584) + -21). Solve 0 = -36*g - 172 - x for g.
-6
Let r(a) = a**3 + 22*a**2 - 68*a + 175. Let i be r(-25). Solve i = -22*m + 24*m - 12 for m.
6
Let w(n) = -3*n - 84. Let l(s) = -s**3 + 21*s**2 - 20*s - 28. Let k be l(20). Let b be w(k). Solve b = 3*f - 10 - 2 for f.
4
Let h = -69 + 50. Let v be 1 + -2 + 25 + h. Solve -v*z = -1 + 1 for z.
0
Let y(a) = -7*a**3 - 435*a**2 - 59*a + 261. Let m be y(-62). Solve 62*w - m*w = 0 for w.
0
Let c(d) = d**3 - 6*d**2 - 2. Let u be c(6). Let o be 1*(16 + 1) - u. Let m be -9 + 108/6 + -3. Solve 5*w - m = o for w.
5
Let h be (-15)/(-20)*(9 - 8) + 26187/12. Solve 5*r = h - 2178 for r.
1
Let s(a) = -a**2 + a. Suppose 10*g - 3*g = 14. Let w(b) = 4*b**2 - 2*b + 1. Let r(h) = g*w(h) + 7*s(h). Let n be r(2). Solve 5*k + n = -8 for k.
-4
Let s(w) = 2*w**2 + 65*w + 18. Let k be s(-10). Let y = 434 + k. Solve -6*d = -7*d + y for d.
2
Let l = -267 + 456. Let n be l/315 - (1 - 112/5). Solve -4*o = -6 + n for o.
-4
Let t(m) = 19*m + 18. Let g be t(-12). Let p = g - -212. Let v(f) = f**2 + 3*f - 18. Let b be v(-6). Solve b = -4*i - 14 - p for i.
-4
Suppose 5*x + 146 = 8*a, -10*a + 7*a + 4*x = -42. Solve a - 12 = 10*g for g.
1
Suppose -3*m + 4*g - 1781 = 0, 0 = -46*m + 42*m - 3*g - 2383. Let k = m + 602. Solve 11*q - k*q - 16 = 0 for q.
4
Let a be 9/2*(-16)/1. Let z be (-22368)/320 - 8/80. Let x = z - a. Solve -4 = v - x for v.
-2
Let w = -286 - -291. Let d be 2*(w + 2 - -1). Solve -21*o = -13*o - d for o.
2
Suppose 3*d - 15 + 3 = 0. Suppose -2*o = -2*t + 4, 