2*r - w + 4 = 0 for r.
1
Suppose 561 = h + 32*h. Suppose -d = d + h*d. Let a = 7 - 4. Solve d*l - a*l = -15 for l.
5
Suppose -b = 3*v - 4*b + 93, 0 = 3*b + 6. Let d = v + 36. Let t be 3/(-2) - (42/(-4) + -7). Solve -w - d*w = -t for w.
4
Let t(l) be the third derivative of -l**5/60 + 13*l**4/24 + 9*l**3 + 24*l**2. Let i be t(16). Solve 9*o - 9 = i*o for o.
3
Let g = 106 - 50. Let f = 60 - g. Suppose 0 = -3*z + 5*h + 25, f*z - 4*h - 10 = -2*h. Solve d + 10 - 5 = z for d.
-5
Let r(h) = 4 + 9*h**2 - 3*h - 4 - 14 - h**3 - 2. Let f be r(8). Suppose -3*i + 4*o + f = -0*i, 14 = 2*i - 2*o. Solve -2*x - 8 = -i*x for x.
4
Suppose -348*u + 344*u - 131 = -5*r, 2*r - 56 = u. Solve -j = r*j - 160 for j.
5
Suppose 0*b - 3*b = -4*j - 20, -b + 3*j + 5 = 0. Suppose b*v = 106 - 90. Suppose 0 = -w - 4*n + 8, -5*w + 21 = 3*n - 2*n. Solve -v*a - 6 = -w*a for a.
3
Let n(j) = j**3 - 8*j**2 + 2*j + 38. Let o be n(7). Suppose -3*l = -2*s - 20, -32 = -o*l + 29*s - 24*s. Solve l*u + 5*u = 36 for u.
4
Suppose w - 6 = 2*q, 0 = 2*w + 3*q - 2 + 4. Let c be 8/8 - w/(-1). Suppose -c*y + 8*y = -5*r, -4*r + 18 = -2*y. Solve -r*i = -12 + 3 for i.
3
Let w = 24 - 11. Let n be (-67 + 66)/(-2*(-3)/(-12)). Solve -n*p + 5 = w for p.
-4
Let t(x) = 3*x**2 - 101*x - 8. Let q be t(34). Solve 29*s + 15 = q*s for s.
-5
Let l(y) = 2*y**3 + 7*y**2 + 19*y + 99. Let u be l(-4). Solve 49 = -0*r - u*r for r.
-7
Suppose -170 - 285 = 38*s + 27*s. Let v be (2 - 1)/((-2)/(-18)). Let m = v + s. Solve m*i = 5 - 3 for i.
1
Let y(g) = g**3 + 14*g**2. Let h be 39/(-6) - 1/(-2). Let i be (-16)/h + -2 - 220/15. Let d be y(i). Solve -b + 2 = -d*b for b.
2
Let p(c) = 151*c + 1550. Let y be p(-10). Solve -35 = 47*z - y*z for z.
-5
Let j = -308 + 256. Let i = 54 + j. Solve i*o - 15 = -19 for o.
-2
Let d = 176 - 171. Suppose 2*r + 5*a = 50, r = d*a + 24 + 1. Solve -5 + r = 5*g for g.
4
Let d = -12 + 0. Let n = d + 20. Let y be (10/(-60))/((-1)/(-8))*24/(-8). Solve n = y*f - 6*f for f.
-4
Let h(o) = -o**3 - 5*o**2 - 3*o + 8. Let k be h(-4). Suppose k*v + 5 = 1. Let l be v/(((-3)/1)/12). Solve -l*r = r for r.
0
Suppose -6*u + 10*u - 24 = 0. Let w = -3 + u. Suppose 12 = 3*s - 7*s, w*x + 5*s = -3. Solve -3*t = -7*t - x for t.
-1
Let f(u) = 2*u**2 + 62*u + 457. Let y be f(-19). Solve y = -3*o - 14 for o.
-5
Suppose -54*m + 96 = -30*m. Let d(k) = 3*k**2 + 5*k - 21. Let r(a) = a**2 + 2*a - 7. Let w(o) = -2*d(o) + 7*r(o). Let u be w(-6). Solve u*b + 4 = m*b for b.
-4
Let c(l) = -83*l + 3132. Let n be c(36). Solve n = -60*s - 156 for s.
-5
Let t = 41860 + -41857. Suppose -4*o + 2*o = -10. Solve t = z + o for z.
-2
Let j(v) = v**2 - 2*v - 2. Suppose -30*r + 100 = -25*r. Let m = 24 - r. Let w be j(m). Solve 0 = w*o - o for o.
0
Let y(c) = 9*c + 15. Let z(w) = 5*w + 8. Let k(r) = -6*y(r) + 11*z(r). Let l be k(2). Let x = 526 - 523. Solve 0*p + x*p = l for p.
0
Let b = -1720 + 1729. Solve 0*o - b*o - 9 = 0 for o.
-1
Suppose 10*p - 3410 = -3250. Solve 58 = 13*b + p*b for b.
2
Suppose 30 + 48 = -19*j + 32*j. Solve j*v - 47 = -77 for v.
-5
Let t(r) = r**2 - 188*r + 557. Let c be t(3). Solve -8*o = c + 22 for o.
-3
Let o be 57/(-12) - (-10355)/436. Solve -33 + o = -2*c for c.
7
Let a(n) = -n**2 + 2*n + 2. Let x be a(0). Let m be ((-15)/(-6))/((-1)/(-2)). Suppose -k + x = -5*r, -k + 4*k - m*r = 6. Solve -k*b = -7*b + 10 for b.
2
Let j = -10602 - -10638. Solve 2*q = j - 42 for q.
-3
Let c = -1433 + 1437. Let r(x) = x**3 + 8*x**2 + x + 12. Let k be r(-8). Suppose 4 = k*a - 12. Solve 0*o - a = -c*o for o.
1
Let t(j) be the second derivative of -j**4/4 + 71*j**3/6 + 14*j**2 - j - 3. Let v be t(24). Solve -3*w = -7*w + v for w.
1
Let h be (-309)/(-721) - 15/35. Let x be 0 + 1 + (5 - 4). Let b(w) = 11*w - 2. Let i be b(x). Solve -i = -h*k + 5*k for k.
-4
Let x = -3709 + 3710. Solve 5*i + x + 9 = 0 for i.
-2
Let j be ((-6)/16 - (-1425)/120)*-14. Let m = j - -209. Solve -m = 3*x - 36 for x.
-4
Let w(h) = h**3 - 4*h**2 - 4*h + 4. Let m be w(5). Suppose -4 - 5 = -m*s. Suppose 6 = a + s. Solve -4 = a*p - p for p.
-1
Let w be -77 + 94 - -1*25. Solve 38*o = 31*o + w for o.
6
Suppose -3*y = t + 8, -t + 5*t = 2*y + 10. Let c be (-7 + t)*18/(-81)*3. Suppose 0 = -2*v + 5*v + 5*o - 86, c*v - 3*o = 105. Solve -5*j = -12 + v for j.
-3
Let q = -10 - -18. Let o be q/3 + 4/(-6). Let w(c) = -c**3 + 20*c**2 - 32*c - 6. Let i be w(2). Solve 0 = -i*k + 2 + o for k.
2
Suppose 2*t = -2*b + 30, 3*t + b = 4 + 41. Suppose -3*u = -3*x - 27, 17*u - t*u + 7 = -3*x. Solve d = -d + u for d.
2
Let a(c) = -248*c + 2981. Let g be a(12). Solve -g*r - 288 = -41*r for r.
8
Let r(f) = -9*f - 1. Let v(u) = -u**3 + 13*u**2 - 2*u + 29. Let i be v(13). Suppose 11*d - 8*d = -i. Let w be r(d). Solve w = 3*y + 20 for y.
-4
Let x be ((-120)/(-150))/(3/(-4) + (-646)/(-840)). Solve 0 = 10*g - x - 18 for g.
6
Let m = 2211 - 2201. Solve m*a = -63 + 43 for a.
-2
Let l be (-2 - -4)*(-5)/(-2). Suppose -1 = -3*g - 2*j + 1, 0 = -l*j - 10. Suppose -p - g*p = -4*o + 8, 0 = -4*p. Solve 9 = -o*k + 1 for k.
-4
Suppose 260 - 8 = 4*m. Let z = 66 - m. Let s(y) = -16*y**3 + 2*y**2 + 9*y + 7. Let t be s(-1). Solve z*r - t = -1 for r.
5
Let l = -1641 - -1645. Let c = 21 + -3. Let s be 18/81 - l/c. Solve t - 2*t + 5 = s for t.
5
Suppose 25*b + 397 - 4009 = -18*b. Solve b = -47*w + 33*w for w.
-6
Suppose 3*z - 4*z + 6 = -5*a, 2*z - 26 = 3*a. Suppose 5*w + 2*n + z = 0, -n - 13 = w + 4*w. Let x be w/(-6) - 2/(-12)*10. Solve 1 + x = -3*m for m.
-1
Let i = -81 + 125. Let m = i + -34. Suppose s - m = -2*t, -4*s = -t - 3*s - 1. Solve -13 = -5*n - t for n.
2
Let y be 788/22 - (3 - 280/88). Solve 51*f - 55*f = y for f.
-9
Let z(p) = -p**2 - 74*p - 1269. Let j be z(-27). Solve -23*r - 69 = -j*r for r.
-3
Let v(b) = 11*b**3 - b**2 + 4*b - 4. Let c be v(1). Let j be ((-21)/35 - 0) + 36/c. Solve j*t + 6 = 5*t for t.
3
Let x(b) = -5*b. Suppose 0 = -4*z + 2*z + p - 5, -5*z - 3*p - 7 = 0. Let u be x(z). Let l be 4/((-23)/((-1035)/36)). Solve u + 5 = -l*v for v.
-3
Let z = 7440 + -2778. Solve -11*l + 4629 = z for l.
-3
Suppose 5*r - 2*s = 14, -23 = -2*r - s - 4*s. Suppose 19 = r*o + 3. Suppose -o*p + 9*p = 60. Solve -v - p = -4*v for v.
4
Suppose -3*h - 5 + 26 = 0, h = 2*k - 9. Solve -k*r - 53*r + 366 = 0 for r.
6
Let q(w) = 3*w + 26. Let y be q(-9). Let m be (2 + 2 + y - 2)*3. Suppose -3*z + 20 = -4*h, h + 4 = -m*z - 1. Solve 4*p + 13 + 7 = z for p.
-5
Let i be 6/(-3)*105/(-14). Suppose 4*p - 9 = 2*x + 3, 0 = -x - 5*p + i. Solve h - 5*h + 20 = x for h.
5
Suppose -13*f + 444 - 341 + 885 = 0. Solve -24*j + f = -5*j for j.
4
Let n(a) = a**2 - 22*a + 27. Suppose 0 = -3*p - d + 188, 4*d = 5*p - 0*d - 319. Suppose m - p = -2*m - 4*b, -2*b = 0. Let y be n(m). Solve 5*z - 5 = y*z for z.
-5
Let o(r) = r**2 - 25*r + 50. Let k be o(23). Suppose -k*j + 36 = -4. Solve j + 5 = 3*q for q.
5
Let n(l) = l**3 - 3*l**2 - 2*l - 6. Suppose -21 = -8*z + 11. Let u be n(z). Solve 0*k + 6 = -u*k for k.
-3
Let o(t) = 8 + t**3 - 32 + 9*t**2 + 13*t**2 - 2*t. Let s(d) = 22*d + 594. Let y be s(-28). Let j be o(y). Solve -9*b = -4*b + j for b.
-4
Suppose -5*i - 38 - 52 = 0. Let q be 0 + 0 - 90/i. Solve 0 = -q*v + v + 4 for v.
1
Let y be (34 - (78 + -37)) + (-38)/(-1). Solve 41*c - y = 10 for c.
1
Let o = 155 - 71. Suppose -4*p = 0, -2*f + o = f + 2*p. Let a = -24 + f. Solve 0 = a*x - x - 15 for x.
5
Let i be 2*-2 - (-22)/2. Suppose -3*q + 3 = -3*o, -4*q = i*o - 3*o - 12. Solve -3*b + 7 = o for b.
2
Suppose -4*j + 2*t = 44 - 640, 0 = -2*t + 8. Let l = 153 - j. Solve 7*p - 5 = l*p for p.
1
Suppose -33*j - 206*j + 48*j = -2101. Solve -4*s + 42 = -j*s for s.
-6
Suppose -30*k = 35*k + 6*k - 67308. Solve -6*v = 912 - k for v.
6
Suppose 7*w - 30 = 3*w + w. Solve -w*x + 150 = 20*x for x.
5
Let i be -7 + 5/(5/158). Suppose -19*q + i = 113. Solve 0*v - q = 2*v for v.
-1
Let r be 2/(-9) + (-20)/(-9) + (178 - 178). Solve -r*x = -239 + 245 for x.
-3
Let s(j) = -j**3 - 5*j**2 - 45*j - 200. Let r be s(-5). Solve -44*l + r - 157 = 0 for l.
-3
Let f = -10 + 10. Suppose f = -2*y - 2*y. Let t = -1716 - -1718. Solve d - t*d - 4 = y for d.
-4
Let u be (-2 - 2)/(-4)*3. Let a = 263 - 133. Let g = a - 125. Solve d = u - g for d.
-2
Suppose 7*l + 512 = -l. Let p = l - -86. Suppose 5*z = p*z - 102. Solve z*d = 2*d for d.
0
Let a = -11 - -26. Let x = a - 120. Let v = x 