Let x be (2/(-5))/(k/15). Solve -x = -3*c + 4 for c.
2
Suppose 2767*k - 702 = 2650*k. Suppose 2*n = -4*t - 0*n + 18, 4*n = -4*t + 24. Solve q - t + k = 0 for q.
-3
Suppose 31 = 24*c - 113. Suppose 0 = -8*q + c*q - 15*q. Solve 0 = -q*n + 3*n - n for n.
0
Let l = -479 + 479. Let v(r) be the third derivative of r**4/24 + 2*r**3/3 - 2*r**2. Let n be v(0). Solve l = n*x + 13 - 1 for x.
-3
Suppose -6*n + 13 + 5 = 0. Suppose 0 = 5*c + y - 95, 113 = 4*c + n*y + 26. Suppose c + 19 = 3*i - 2*r, 16 = 4*i + 4*r. Solve -5*b - i = 1 for b.
-2
Suppose 0 = r + 3*k - 19, 4*r - 2*k - 25 - 93 = 0. Suppose 644 = -r*v + 56*v. Solve -7*m = v - 9 for m.
-2
Let g(b) = -106*b - 633. Let p be g(-6). Solve -5*w = -p*w + 17*w for w.
0
Suppose b = 5 - 3. Suppose 5*v + b*m + 3*m = 10, -5*v + 4*m + 37 = 0. Suppose 0 = 5*j + 3*a + a - 29, 4*j - v*a - 15 = 0. Solve 20 + j = 5*w for w.
5
Suppose 93*l + 34*l - 768 = 31*l. Solve 4*m + 8 = l*m for m.
2
Suppose k - 10 = -3. Suppose -12 = -k*o + 9. Solve 2*a = a - o for a.
-3
Suppose -z = 4*t - 30, -3*z + 103 = z - t. Suppose 0 = -5*s - 4*i + z, 4*s + 3*i + 4 = 6*i. Let g(y) = y**2 - 4*y + 7. Let u be g(s). Solve 2*c - u*c = 3 for c.
-3
Let p = -5870 - -5874. Solve 0 = -p*w + 30*w - 26 for w.
1
Suppose -2*m + 7*m = -c - 2, 0 = 2*c + 3*m + 11. Let b = -3 - c. Solve -4*z = -b + 16 for z.
-3
Let y = 361 - 330. Suppose 26*a = y*a - 5. Solve -4*i = -5*i + a for i.
1
Let z(k) = k**2 - 5*k - 3. Let l be z(6). Let q be (76/(-171))/((-4)/18). Suppose 11 = -q*c - l*f - 2*f, -c - 4*f = 10. Solve -c*r - r - 15 = 0 for r.
-5
Suppose 0 = -5*d + 3*s - 55, 5*s - s - 20 = 0. Let g be 4/d*-34 - -3. Suppose z = -0*z - 5*r, -z = -5*r - g. Solve -m + z = 4*m for m.
2
Let q = -5 + 4. Let s(t) = 28*t - 87. Let x be s(3). Let k be (3 - 3) + x/q. Solve p + k = -2 for p.
-5
Let y = 159 + -116. Suppose 92 = -4*l + 4*d, -l + 4*d = -d + y. Let z be (6 - -1) + l/(-9) - 2. Solve 3*t = z*t - 12 for t.
3
Suppose 4*i + 8*r + 2865 = 13*r, 2889 = -4*i - 3*r. Let q = i + 745. Solve -21 + q = 2*c for c.
2
Suppose -5*h + 0*k + 33 = -k, 0 = h - 2*k - 12. Suppose 13 = -l + 3*a - h, -a = -5. Let g(c) = -c**3 - 3*c**2 + 2*c. Let s be g(l). Solve -1 - s = -3*q for q.
3
Let l(s) = -s**3 + 2*s**2 + 4*s - 3. Let t be l(3). Let c be 1/2*t/2. Suppose -3*b - 16 = 4*q, -3*b + 2*q = -3 - 23. Solve c = 3*o - o + b for o.
-2
Suppose 0*p + 213 = 3*p + 3*a, -p + 29 = 7*a. Solve -17*f - 27 = -p for f.
3
Let g be ((-144)/16)/(3/(-2)). Suppose 25 + 11 = g*w. Suppose -30 = -6*s + w. Solve -4*d + 6 = -s for d.
3
Let m(o) = -24*o**2 + 59*o + 39. Let n be m(3). Solve -2*q + 7 - 11 = n for q.
-2
Let k be 110 - (-50)/(-40)*2*(-18)/(-15). Solve k*a = 112*a + 5 for a.
-1
Suppose -27 = -5*b + 3. Suppose 7*p = 7*p - b*p. Solve 0 = 3*t - p*t - 12 for t.
4
Suppose 6*g = 9*g. Let n be 28/14 - (g - 0) - -4. Solve n = x + 3 for x.
3
Suppose -2*i + 731 = 3*z - i, 5*z = i + 1221. Solve z*d - 250*d + 30 = 0 for d.
5
Let h be 20/(-60)*(1 + -4). Let g = 187 - 141. Solve g*z - 47*z + h = 0 for z.
1
Let g(r) = -3*r - 38. Let i be g(-15). Let w be (-1600)/(-35) - (-2)/i. Let z = w - 44. Solve z*y - 16 = -2*y for y.
4
Let i(a) = -a**3 - 29*a**2 - 28*a + 5. Let v be i(-28). Suppose v = 51*x - 50*x. Solve -w = 7 - x for w.
-2
Suppose -4*c = 4*n - 20, 3*n - 13 = 2*n + c. Let k be (-8 - -173)/15*1. Solve -4*s + k + n = 0 for s.
5
Suppose 3*o - 3*i - 97 = o, -o - i + 36 = 0. Suppose 19*v + 751 = 1568. Solve -d - o = -v for d.
2
Let c be 1 + 3 + 0 + -2. Suppose 4*q = 90 + 78. Let s = q - 42. Solve 2*w + 8 - c = s for w.
-3
Let m(p) = -3197*p - 19170. Let w be m(-6). Solve 0 = -3*r - r - w for r.
-3
Let g(u) = u**3 - 7*u**2 - 4*u + 4. Let c be g(6). Let y = 56 + c. Suppose 2*h - 3*h - 5*j - 8 = y, h + 2 = -2*j. Solve i - h*i = 3 for i.
-3
Let h(j) = 3 + 701*j - 705*j - 1. Let q be h(-2). Suppose 0 = -6*l - 0*l + 24. Solve 6*g - l = q*g for g.
-1
Let b = 5051 + -5050. Let t be 3/(-4) + (-54)/(-8). Suppose -t*c = -9*c + 6. Solve 3*x - b = c for x.
1
Let f(m) = 4*m + 27. Let r be f(-6). Suppose -13 = -4*n - 5*c, -r*n - 2 = 4*c - 12. Solve 3 + n = q for q.
5
Suppose 2*g - k - 57 = 0, -5*g - 4*k = 20 - 156. Suppose -4*j = 4*r - g, 5*j - 9*r = -11*r + 26. Solve j*q + 3 = -1 for q.
-1
Suppose 6*m + k - 61 = m, 4*k = -5*m + 49. Let q = m - -27. Solve -9 = -q*g + 37*g for g.
3
Suppose -5*k - 274 = -6*k + 5*s, -530 = -2*k + 4*s. Let t(a) = 2*a**2 - 258 + 0*a**2 - 10*a + k. Let p be t(6). Solve 0 = 5*l - p - 7 for l.
4
Suppose -7*d + 21*d - 182 = -12*d. Solve -d*a - 3*a = 70 for a.
-7
Let k(p) = 3*p**3 + p**3 - p**2 - 212 + p + 211. Let i be k(1). Suppose w = 2*g + g - 17, -4*w - 5 = -3*g. Solve -g*u = -4*u + i for u.
-1
Suppose j = 1 + 3. Suppose -6*z + 3*z + 4*t + 52 = 0, -2*t + j = z. Let p be (39/z - 3)*8. Solve p*x = -x + 9 for x.
3
Let s(a) = a**3 - 5*a**2 + 6*a - 5. Let f be s(4). Let u be (-8)/5*30*f/(-12). Suppose 0 = -3*w - 6, 5*d = -5*w + 18 + u. Solve -3*k + d = -7 for k.
5
Let i(c) = -c**3 + 44*c**2 + 43*c + 130. Let o be i(45). Let z = 26 + -63. Let t = z + o. Solve 9*m + t = 6*m for m.
-1
Suppose 0 = -4*r - 4*j + 24, r + 3*j - 11 + 3 = 0. Let q be 49/5 + 1/r. Solve -10 - q = 5*u for u.
-4
Suppose -24*r + 59*r = 210. Solve r*p + 6 = 8*p for p.
3
Suppose 103 - 139 = -36*v. Solve -394*b + 393*b = v for b.
-1
Let k = 285 + -283. Let b(w) = -w**3 + 4*w**2 - 4*w + 3. Let h be b(k). Solve -4*s - 9 = h for s.
-3
Suppose 9*m - 10 = 4*m. Suppose -2*k + x + x + 16 = 0, -m*k = -x - 19. Solve 0 = 4*r - 3 + k for r.
-2
Let y(g) be the first derivative of g**4/4 + 2*g**3/3 - g**2/2 + 8*g + 5. Let w be y(-3). Suppose -9*q = -w*q - 21. Solve -5*o - q + 13 = 0 for o.
2
Let p = 609 + 359. Let d be (-4)/14 - p/(-154). Solve 4*u + 6 = -d for u.
-3
Suppose -2*l = 3*b - 31, 2*b + 0 = 2. Suppose 334 = 3*n + 331, g - 5*n = -4. Solve -l*t + 13 = -g for t.
1
Suppose 11*s - 7*s + 80 = 0. Let b be 14 + (-5)/s*0. Let p = b - 14. Solve p*z - z = 3 for z.
-3
Let j = -6674 + 6680. Solve 100 = -j*t + 31*t for t.
4
Let c be (-780)/(-351)*(-180)/(-8). Solve -41 = 9*p - c*p for p.
1
Let p = -19 - -17. Suppose 7*u + 48 = 3*u. Let r = p - u. Solve 2 = 4*y - r for y.
3
Let t(y) = 1 - 3 - 2*y + 166*y**3 - 165*y**3. Let o be t(2). Solve 0 = -o*d + 6*d - 4 for d.
1
Let y(t) = -64*t + 165. Let d(l) = -30*l + 82. Let n(v) = 13*d(v) - 6*y(v). Let m be n(12). Let z be 4/(-6)*(-9)/3. Solve z = m*c + 22 for c.
-5
Let v(y) = -8*y - 49. Let o be v(-8). Let s = -3 + o. Solve 2*f + s = 2 for f.
-5
Let m = -44231 - -44243. Solve -706*n + 708*n - m = 0 for n.
6
Let y be ((-16)/(-12) + 264/(-9))/(0 + -1). Solve -y*t - 53 = -81 for t.
1
Let t = 143 + -135. Solve -t*h - 56 + 48 = 0 for h.
-1
Suppose 312*x - 18 = -3*i + 315*x, 5*i = -x + 6. Suppose 26 = 2*h - 5*s, -4*s = -1 + 17. Solve h = i*a - a for a.
3
Suppose 0 = 3*z - 56 + 44, 2*z - 30 = -2*p. Solve 8 = p*g - 47 for g.
5
Let d(j) = -460*j + 3695. Let s be d(8). Solve -250*u = -253*u + s for u.
5
Let v be (0 + 3)/(2/(-28)). Let l be v/28 + (-9)/(-6) + 0. Let j = 2 + -1. Solve o = -l*o - j for o.
-1
Let s(c) = c**3 + 14*c**2 + 24*c - 109. Let o be s(-9). Solve 88*k - o*k = 40 for k.
5
Let t = 3 - -1. Let d(n) = -113*n**2 - 3*n - 4. Let s(o) = 90*o**2 + 3*o + 4. Let k(r) = -4*d(r) - 5*s(r). Let i be k(t). Solve 6*v - i = 2*v for v.
4
Let f be ((1 - 0) + -3)/(-1). Suppose -3*d = -2*x - 26, -4455*d + 18 = -4450*d + 3*x. Solve 0*k + d*k = f*k for k.
0
Suppose 7*w + 21 = -7. Let t be (11 - -1)*(-2)/w. Solve -t*l + 21 = l for l.
3
Let s(o) = 7*o**2 + 1 - 3 + 3 - o**3 - 6*o + 2. Let c be s(6). Solve -20 = -m - c*m for m.
5
Suppose -15*i = -10*i - 2*z - 246, -5*i = 4*z - 228. Suppose 33*s + i = 57*s. Solve -1 - s = 3*k for k.
-1
Let u(i) = 2*i - 2. Let o be 0 - (0 + 0 + -2). Let z be u(o). Suppose -164*j = -718*j. Solve 6 = -z*f - j for f.
-3
Let p(j) = -j**2 - 8*j + 83. Let h be p(-11). Suppose 0 = 2*z + 2*z - 208. Let g = z - h. Solve -i - g = -5 for i.
3
Suppose 0 = 8*y - 12*y + 20. Let i be (-1 + y/15)*-6. Suppose i*q = 8 + 20. Solve -q = 2*c + 1 for c.
-4
Suppose -30*p + 31 = 241. Let k be (-6)/18*(p - 17). Solve 4*b = 16 - k for b.
2
Let z(a) = -a**3 + 13*a**2 - 12*a + 29. Let x be z(12). Suppose 3 = 16*l - x. Suppose -6*y + 2*y = 4*h - 8, -l*y - 4*h + 8 = 0. Solve -b = -y*b + 3 for b.
-3
Let a = 440 + -437. Suppose 