+ 8*k + 6 for k.
-3
Suppose 3*q + 5*x = -95 - 340, 5*x + 135 = -q. Let l be 2*(-6 + q/(-12)). Solve 11 + l = 6*y for y.
4
Let m(g) = 2*g**2 - 11*g + 7. Let n be m(7). Let k be (5 - 1) + 6/((-24)/n). Let y be (-54)/(-15)*(-5)/k. Solve 5*c - y*c = -3 for c.
3
Let g(a) be the third derivative of a**6/60 - a**5/15 + a**4/8 - 5*a**3/2 - 12*a**2 - a. Let z be g(3). Solve -10 = 7*w - z*w for w.
2
Let u = -5135 - -5148. Solve 0 = -u*p - 16*p + 174 for p.
6
Let j(u) = -u - 6. Let g(l) = -3*l - 8. Let w be g(-4). Suppose 3*k + 7 = w*k + 4*h, 30 = -2*k + 3*h. Let p be j(k). Solve -7 = -p*v - 1 for v.
2
Suppose -30*g - 4*q - 122 = -31*g, 0 = q - 2. Solve 9*c - 85 = -g for c.
-5
Suppose -3*z = 3*y + 6, -4*z + 2 = 3*y + 12. Solve 16*m = y*m - 84 for m.
-6
Let g be 4 + (-229)/(-3) - 1/3. Let r = 84 - g. Suppose 2*y = r*y + a - 3, 0 = 2*y - 3*a + 9. Solve 2*f + f + 3 = y for f.
-1
Suppose 17*j - 197 = -44. Suppose j*g + g = 0. Solve 6*x - x = g for x.
0
Let p = 51 + -51. Suppose p*o = -3*o + 2*o. Suppose -2*j - 18 + 10 = -2*n, 4*j + 13 = 3*n. Solve -n*u = -o*u for u.
0
Suppose 8*h = -140 + 1876. Suppose -210*x - 21 = -h*x. Solve 5*w = x*w for w.
0
Let j = -425 + 429. Suppose -j*q + 31 = 5*d - 10*d, 0 = d + 3. Let w = -1 - -2. Solve -q*k - 5 = -w for k.
-1
Suppose -2*a = 2*i - 176, 253*i + 436 = 5*a + 257*i. Solve -8*h = 13*h - a for h.
4
Suppose 76*b = 5*b + 1420. Suppose -142 = -b*z - 42. Let v be -1 + (-1*2)/(-2). Solve -z*g = 10 - v for g.
-2
Let u be 1*(68 + -2 + -5). Let i be (-100)/(-30) - (-2)/3 - u. Let v = i - -66. Solve v = -5*n - 6 for n.
-3
Suppose -3*s - 2636 + 2651 = 0. Solve 18*c + 69 = -s*c for c.
-3
Suppose 4*d + 69 - 1 = -3*s, 0 = -5*s - 2*d - 90. Let m = -14 - s. Suppose -m*t = -15 + 13. Solve 0 = -4*z + 13 - t for z.
3
Let i be 6/12*-89*-2 + 0. Solve -15 = -i*m + 86*m for m.
5
Let o = 54 - -460. Let q = o - 505. Solve 6*n - q = 9 for n.
3
Let v(z) = z**3 - 2*z**2 + 21*z + 46. Let u = -5 + 5. Let q be v(u). Solve -3*w + 52 = q for w.
2
Let q(s) = s**3 - 10*s**2 + 9*s. Let u be q(9). Suppose -3*o - 2*o + 10 = u. Suppose k = -4*h + 6 - 2, -38 = -5*k - o*h. Solve k = w + 5 for w.
3
Let t = -1292 + 2002. Solve t*l - 35 = 717*l for l.
-5
Let p = -7 - -10. Let d = -73 - -75. Suppose -14 = d*i - 22. Solve -p*w = -i*w + 5 for w.
5
Let b(p) = -4*p**3 - 51*p**2 + 122*p - 84. Let l(h) = -3*h**3 - 34*h**2 + 81*h - 57. Let f(d) = -5*b(d) + 7*l(d). Let j be f(14). Solve -j*g = 26 + 9 for g.
-5
Let q = -17907 - -18030. Solve q*w + 208 = 97*w for w.
-8
Let a be (1 - (-7 - (-11 + 8))) + 39. Solve 51*h = a*h - 42 for h.
-6
Let r = 1520 + -1517. Solve r*q = 22 - 34 for q.
-4
Let r = 2723 - 2713. Solve 3*y - r = -2*y for y.
2
Let i(o) = -o**2 + 188*o - 1775. Let g be i(10). Solve 9*d - 42 = -g*d for d.
3
Let k(s) = 2370*s + 11931. Let t be k(-5). Solve 71*n + t = -203 for n.
-4
Let b be ((-28)/16 - -2)/(6/72). Suppose -b*h = -4*r + 21 + 33, 3*h = -5*r + 81. Solve 7*t = 2*t + r for t.
3
Let m = -34 + 35. Suppose 7 = a + m. Suppose -5*r = 4*b - 11, 4*r + a*b - b = 7. Solve r = 3*l + 6 for l.
-1
Let i(g) = g**2 + 6*g - 22. Let k(p) = -2*p**2 - p + 1. Let w be k(2). Let v be i(w). Suppose -v*t + 2*f = 0, 5*t + 2*f = -0*f + 20. Solve 3*s - t*s = -4 for s.
-4
Let n(v) = -41 + 42*v**3 - 20*v**3 - 21*v**3 + 16*v**2 - 20*v. Let h be n(-17). Solve h*u = 7*u + 15 for u.
5
Suppose 0 = 5*b - k - 1315 - 369, 0 = 4*b + k - 1349. Solve 348*i = b*i - 22 for i.
-2
Let q be (2 - (-25)/5) + -3. Suppose -5*z + q - 9 = 0. Let x be z - (1 + 6/(-3)). Solve k = -x*k for k.
0
Suppose 19*w + 66 = 275. Suppose 4*j - 2*a = 14, w*j - 11 = 7*j + 5*a. Solve -4*b + j = 20 for b.
-4
Suppose -4*y + 406 = -2*h, -2*h = -3*y - 6*h + 299. Let p = y - 85. Solve -4*c + p + 4 = 0 for c.
5
Let f(d) = -2*d**3 - 13*d**2 + 105*d - 22. Let l be f(4). Solve 209 = -21*s + l for s.
-7
Suppose 0 = 21*q - 9893 + 7121. Solve -q*u = -79*u + 159 for u.
-3
Let b(z) = z**3 + 75*z**2 - 79*z - 200. Let u be b(-76). Solve -26*i = -33*i - u for i.
-4
Suppose 742*h = 749*h - 594 + 146. Solve -h = -29*p + 81 for p.
5
Let s(f) = f**2 - 27*f + 2. Let c be s(27). Suppose -r - 3*r + 20 = c*x, -2*x - 2*r = -16. Suppose -l + 9 = x. Solve -2 = -y - l for y.
-1
Suppose 5*b - 8 = 2*h, 4*b - 3 - 9 = -4*h. Suppose b*s = 36 - 6. Suppose s*k - 10*k - 10 = 0. Solve -k = 5*i + 3 for i.
-1
Let w = -435 - -469. Suppose -45 = -3*i + 3*j, 3*j - w = -3*i - 1. Solve -i*p + 6*p = 21 for p.
-3
Let h be 2 - ((-10)/4)/((-5)/12). Let t be (-54)/4 - 11/(-22) - h. Let l be (-1 - (-2 - -3)) + (-198)/t. Solve 4*d + 0*d = l for d.
5
Let o(a) = -a**2 - 9*a - 12. Let t be o(-8). Let x be (t/5)/((-5)/25). Let f = 12013 - 12001. Solve -4*i - x - f = 0 for i.
-4
Suppose a - 2*p + 6 = 8, -a + 4*p + 10 = 0. Let f(z) = -z**3 - 3*z**2 + 13*z - 16. Let t be f(a). Solve -2 = 4*i + t for i.
-4
Let x = 15809 + -15395. Solve -30*c = 16*c + x for c.
-9
Let y = -1165 - -1256. Solve 96 = -c + y for c.
-5
Let l(r) = -r**2 + 61*r + 138. Let u be l(63). Let t = -9 - -12. Solve -u = 3*h + t for h.
-5
Suppose -384 = -40*o - 56*o. Solve -o*x - 10 = -2*x for x.
-5
Suppose 5*f - 44 = -4*k, -2*f + 5 = -k + 3. Solve -f*n - 103 = -83 for n.
-5
Let q(b) = -b**3 + 19*b**2 - 32*b - 32. Let z be q(17). Let t = 96 - 90. Solve t*y + 12 = z*y for y.
-3
Let r(s) = -s**3 - 14*s**2 + 31*s - 16. Let d be r(-16). Suppose -4*a + 2*k = d, -5*k + 3*k = -5*a. Let b(w) = -w - 4. Let t be b(-6). Solve v = -t - a for v.
-2
Let p be -124 - (0 + 3 + -2). Let d = p + 130. Solve d*b + 8 = 9*b for b.
2
Let q = -1013 - -615. Let p = 403 + q. Solve -p*t - 2 = -4*t for t.
-2
Suppose c - 50*x = -53*x + 35, 3*c = 5*x + 63. Solve 16*i + c = 3*i for i.
-2
Suppose -58*j = -56*j. Let w(d) = 3 - 5*d + 4*d**2 + 2*d - 3*d**2. Let i be w(j). Solve -5*z - 2 = -i*z for z.
-1
Let h = 7993 - 7956. Solve 21*f = h*f - 112 for f.
7
Let i = 8 - 11. Let f = -1 - i. Suppose 5*l - f*n - 20 = 0, -4*l + 0*n = n - 16. Solve 3*v = -l - 2 for v.
-2
Suppose -23*m + 570 = 34*m + 38*m. Solve 261*p + m = 260*p for p.
-6
Let b be 4/(-14) - (-2)/7. Suppose -648*l - 504 = -711*l. Suppose -l*s + 7*s + 20 = b. Solve -4*i = -0*i + s for i.
-5
Let t(r) = 639*r - 6625. Let s be t(11). Solve 387*v = s*v - 136 for v.
8
Suppose -4*b - 3*y - 2200 = -2203, 0 = -4*b - y + 1. Solve -33*q + 92*q - 177 = b for q.
3
Let k be (-17)/(170/(-572)) + 3/(-15). Solve h - k = -62 for h.
-5
Let k = -3515 + 3537. Solve 18*z - k*z - 4 = 0 for z.
-1
Let r be (-2)/(4/(-3) + (-2500)/(-1830)). Let n = r - -61. Suppose 0 = 4*v - 5*q - 56, n - 34 = -2*v + 4*q. Solve 2*x + v = 17 for x.
4
Suppose 85*a = 88*a - 24. Solve a*r - 76 = -12 for r.
8
Suppose -4*u + 188 = 45*t - 40*t, 4*t - 5*u = 134. Suppose -o + 136 = -5*o. Let n = t + o. Solve 2 = n*v + 4 for v.
-1
Let x(p) be the first derivative of 3*p + 14 - 5*p - 7*p + 5*p - 6*p**2. Let f be x(-2). Solve -r = 3*r + f for r.
-5
Suppose 13*o + 334 = 15*o. Let z = 167 - o. Solve z = 7*w - 8*w + 1 for w.
1
Let i be ((-846)/8)/(495/(-20) - -24). Solve -11 = 19*q + i for q.
-8
Let g = 233 - 229. Let c be (-713)/(-155) + g/10. Solve -c*n = -4*n + 5 for n.
-5
Let q = 53 - 50. Suppose -4*j = 5*w - 46 + 14, -q*w + 34 = -5*j. Solve -12*l = -w*l for l.
0
Let y(i) = -1217*i - 3299. Let d be y(-3). Solve -d*w = -379*w for w.
0
Let i = 75 - 29. Let b = 83 - i. Suppose 0 = s - 2*s - 2*x - 7, 4*s = 5*x + b. Solve s*k - 2*k = -1 for k.
-1
Suppose 0 = 2*q - 3*s - 17, -5*q - 552*s = -554*s - 48. Let h(t) = t**3 - 4*t**2 + 2*t - 4. Let f be h(4). Solve q = -f*c + 2 for c.
-2
Suppose -148*i - 5*k - 41 = -151*i, -i = 5*k - 47. Solve -60*c + 38 = -i*c for c.
1
Suppose 5*v = -8 + 23, 2*u + 2*v = -260. Let a be (-2)/5 - (-1 - u/5). Let w = 32 + a. Solve -2*f = -4 + w for f.
-1
Suppose -4*g + 4*a - 368 = a, a = -4*g - 368. Let y be ((-30)/25)/(-2) + g/(-5). Suppose -9*c - y = -64. Solve 0 = -c*f - 15 for f.
-3
Let s = -1188 + 1190. Solve s*i = 4*i for i.
0
Suppose 4*n + 1723 = 1839. Solve -39*q + 127 = -n for q.
4
Let n = 2186 + -2112. Solve -18*p = n - 2 for p.
-4
Suppose -10*p - 2801 + 3431 = 0. Solve -p*u + 8 = -59*u for u.
2
Let k be (15665/(-482))/((-10)/16). Solve -k*d = -58*d - 36 for d.
-6
Suppose 0 = -21*y + 11447 + 102856. Solve -y*x = -5450*x + 42 for x.
6
Let z(g) = g**2 + 54*g + 202. Let a be z(-4). Let y be (39 - 42)*((-16)/3)/a.