pose -17 + 13 = 5*c - 2*n, -4*n = -5*c - 8. Solve c = 78*a - 36*a + 168 for a.
-4
Let a = -90826 + 90839. Suppose -6 = -4*u + 10. Solve 12*w = a*w + u for w.
-4
Let b be 7 + 1 + ((-24)/12 - -12). Solve -20 = 13*h - b*h for h.
4
Suppose 0 = 61*b - 46*b - 45. Solve 15*q = 16*q - b for q.
3
Suppose 0 = 7*v - 61 + 40. Let p(c) = -c**3 + 2*c**2 + 5*c - 3. Let a be p(3). Suppose v*s = b - 2 + 11, 3*s + a = 5*b. Solve 0 = s*h - 2 + 18 for h.
-4
Let u(c) = -524*c + 2148. Let b be u(4). Solve 28 = -6*o + b for o.
4
Suppose 25 = 2*i + 29. Let u(k) = 3*k**3 + 4*k**2 - 5*k + 1. Let j be u(i). Solve 0*c + j*c = 3 for c.
1
Let x = 9 - -16. Let r(j) = j**3 - 24*j**2 - 26*j + 30. Let b be r(x). Solve -2 + 7 = b*t for t.
1
Suppose 2*p = y - 28, p - 44 - 26 = -3*y. Let r(z) = -z**2 + 30*z - 144. Let v be r(y). Solve v = -i - 5 + 4 for i.
-1
Let w be (0 - 1 - -287) + 2. Let a = w - 286. Solve -3*u - 14 + a = 0 for u.
-4
Let d = 1364 - 1358. Solve d*i + 4 + 2 = 0 for i.
-1
Let i = 102 + -106. Let s be (i + (-8 - -12))*1/2. Solve -n = -s*n for n.
0
Let w = 2 + -2. Let n(k) = k**3 + 18*k**2 + 176*k + 2313. Let v be n(-16). Solve 3*f + v = -w*f for f.
-3
Suppose 2*p + 14*r - 4 = 15*r, 0 = -5*p + 2*r + 8. Suppose p = -0*q - 5*q + 5*z - 5, 5*q - 3*z - 3 = 0. Solve 16 = q*t + 4 for t.
4
Suppose -45*x - 394 + 1754 = 35*x. Solve 11*c - x = 27 for c.
4
Suppose -211*x - 9043 = -336*x + 42082. Solve 0 = x*t - 400*t - 45 for t.
5
Suppose 0*v + 5*v - 1750 = 0. Let x be v/9 + 9/81. Suppose -4*b + 1 = -x. Solve -4*a = 26 - b for a.
-4
Let l(j) = 5*j + 4 - 3 + 4 + 1 + j**2. Let v be l(-4). Solve -3*p + 2 = -v*p for p.
2
Suppose 0 = 5*s + 2*x - 179, -s - 2*x + 0*x + 39 = 0. Let u(r) = r**2 - 36*r + 46. Let b be u(s). Solve 8 - b = v for v.
-3
Let y(s) be the first derivative of s**4/4 - 5*s**3 + 9*s**2/2 + 70*s + 142. Let q be y(14). Solve -i - 2 + 5 = q for i.
3
Let t(v) be the first derivative of 8*v**3/3 + v**2/2 + 8. Let s be t(-1). Let h be (-1)/2 + s*(-5)/(-10). Solve -h*b + 20 = 2*b for b.
4
Suppose 1605 = 9*q + 5*q + 79. Solve -119*h = -q*h + 60 for h.
-6
Suppose -32*t = -373*t + 12958. Solve 14*w = t*w for w.
0
Let i(v) = 22*v - 1584. Let m be i(72). Solve m = -24*u + 43 + 29 for u.
3
Let i(p) = p**3 - 23*p**2 + 24*p - 45. Let n(j) = j**2 - j. Let q(u) = -i(u) - 3*n(u). Let c be q(19). Solve -4*o + c = 3 for o.
1
Suppose -183*s + 35*s + 9400 = -12356. Solve -s = -94*l + 115*l for l.
-7
Suppose 4*t - 938 = 3*f + 2*f, f + 3*t + 180 = 0. Let b = f - -192. Solve 5*d - 2 = b*d for d.
-2
Suppose -3*l + 5*p + 433 = 0, 171 = -0*l + l + 5*p. Let i(y) = -6*y**3 + 29*y**2 + 10*y + 54. Let n be i(6). Let c = n + l. Solve 4*t = c + 7 for t.
5
Suppose -5*v - 5*c = -1280, 9*c = -v + 5*c + 277. Solve -v*k = -255*k - 24 for k.
-4
Suppose 3*m - 321 = -20*r, -40 = 3*r - 8*r + 5*m. Solve 0 = 1751*y - 1746*y + r for y.
-3
Let m(d) = 24*d - 21 - 27 - 17*d + 12*d + 5*d. Let l be m(2). Solve l*b + 10*b = b for b.
0
Let r be -55 + 22 - -31 - (-268)/2. Solve r = 54*n - 138 for n.
5
Let k(z) = 16*z + 40. Let t(b) = -b - 4. Let d(s) = -k(s) + 8*t(s). Let c be d(-3). Solve w - 5 + 0 = c for w.
5
Let k be 45/25*10/6. Suppose -i = -4*t + 24, 3*t + t - 40 = -k*i. Solve -10*z - 12 = -t*z for z.
-4
Suppose 8*v - 16 - 32 = 0. Suppose -2*s + 24 = v*s. Solve -1 - 8 = -s*q for q.
3
Suppose -16*z + 15*z + 6*b + 54 = 0, 3*z + 5*b = 24. Solve -176*k = -185*k + z for k.
2
Let d(q) = -q**3 + 6*q**2 - 8*q + 5. Let p be d(4). Suppose p*k - 2 = 13. Let r be (k - 54/14)/((-9)/42). Solve 12 = -r*i + i for i.
-4
Suppose -32*u = -27*u - 35. Suppose 2*n = -u*n + 7*n. Solve 7*g - 15*g - 24 = n for g.
-3
Suppose 300*p - 304*p = -152. Suppose -58 = -10*g - p. Solve 8*y + 42 = g for y.
-5
Suppose -200 = -64*j + 56*j. Solve -33*f = -j*f + 32 for f.
-4
Let r = -2911 + 2924. Solve -r*x + 17*x - 16 = 0 for x.
4
Let w(a) = -a**2 + 5*a + 8. Let h be w(6). Suppose 4*b - h - 14 = 0. Suppose o = 3*s, -4*o + 4 = -4*s - b. Solve o*p + 0*p = -3 for p.
-1
Let r(z) = -z**3 + 7*z**2 - 3*z + 6. Let v be r(6). Let t = 1095 - 1117. Let h = v + t. Solve -h = a - 3*a for a.
1
Let t be (-32)/4 - ((-16)/10)/((-22)/(-605)). Solve t*x + 82 = -26 for x.
-3
Let v(o) = o**3 + 10*o**2 + 5*o - 5. Let r be v(-8). Let x = -282 + 287. Suppose -2*l - 3*u + 41 = -0*u, -u = x*l - r. Solve 0 = 3*y + l - 4 for y.
-4
Let a(r) = -r**3 - 10*r**2 - 23*r - 63. Let g be a(-9). Solve g = 17*n + 131 for n.
-4
Suppose -3*p + 12 = 3*r, 0 + 4 = 5*p + r. Suppose p = 2*i + 2*a + 6, -2*a = 5*i. Suppose 24 + 6 = i*u. Solve -c - 4*c = -u for c.
3
Let c = -410 + 434. Suppose -c*g + 171 = -5*g. Let x be (-19)/(-3) - 3/9. Solve -x - g = 5*p for p.
-3
Let t = 783 + -774. Solve 0 = -8*g + t + 23 for g.
4
Suppose 157*v - 2*h = 162*v - 88, -4*h = 4*v - 68. Solve -v*l = 47 - 29 for l.
-1
Let a = 4 + -53. Let b = a - -49. Suppose -i + 4*n + 3 = b, -3*i + i + 6 = -3*n. Solve 0 = -h - i + 2 for h.
-1
Let h be (-210 + 214)/((-6)/81*-2). Solve -h = -201*u + 210*u for u.
-3
Let c = 4579 - 4547. Solve 0 = -l - c*l + 165 for l.
5
Let r = -25960 - -27214. Solve 20 = -1258*w + r*w for w.
-5
Suppose -2*m = 2*k - 56, 5*k - 6*m + m = 140. Let l = k - -7. Let s = -34 + l. Solve 2*o - 3 = s for o.
2
Let h be (-88)/(-66)*(-9)/(-4). Suppose 0 = 11*j - 19 - h. Solve -w = j*w for w.
0
Let j(b) = 8*b**2 + 9*b + 24. Let v be j(-3). Solve -70*d = -v*d - 4 for d.
4
Let d(r) = -3*r + 9. Let a be d(-14). Let z = -7 + a. Suppose -4*h = 7*h - z. Solve -3 = -o - h for o.
-1
Suppose 1105 = 72*w - 1127. Solve 2*l = w*l - 261 for l.
9
Let v = -993 + 1001. Suppose -7*f + 68 + 16 = 0. Let i = -8 + 13. Solve -i*l + v = -f for l.
4
Let u(a) = 34*a - 16. Let w be u(-7). Let t = w - -264. Solve -t - 10 = -5*c for c.
4
Suppose 11*t - 2*m = 12*t - 600, -4*t - 4*m = -2408. Solve -595*o + 54 = -t*o for o.
-6
Let b be -16 + 11 + 2 + 16 + -2. Suppose -15*l + 36 = -b*l. Solve 0 = -4*t - l - 11 for t.
-5
Suppose 32*t + 14 = 18*t + 15*t. Solve 0 = 8*h + t + 10 for h.
-3
Suppose -26*v + 1500 = 695 - 1431. Solve -v*p - 224 - 550 = 0 for p.
-9
Suppose 60 = 3*n - 0*n + 5*r, -2*n - 4*r = -42. Let m(u) = -u**3 + 53*u**2 + 110*u. Let l be m(55). Solve -5*d + l*d = -n for d.
3
Suppose 4*q - 7 - 20 = -c, -5*c + 2*q = -69. Let x = c + -11. Let r = 4 - x. Solve r*f = f + 2 for f.
-2
Let u be 6*(-6)/60*-5. Suppose u*o = 3*k - 96, -3*o - 4*k + 26 = -4*o. Let m = 41 + o. Solve m*w - 5*w + 8 = 0 for w.
-4
Let p(u) = -u**3 - 19*u**2 - 17*u + 12. Let f be p(-18). Let z(x) = -x**2 + 11*x - 15. Let c be z(10). Let i be (f - c)*3*-9. Solve 5*r = -i + 2 for r.
-5
Suppose 160 = 96*y - 86*y. Solve 1553*r - 1561*r - y = 0 for r.
-2
Suppose 0 = -41*t + 52*t - 165. Suppose -t*m + 114 = 54. Solve -2*g + 3*g = m for g.
4
Suppose 4*w = 5*q + 26, -4*w - 11 + 31 = -2*q. Suppose w*k - 32 = 84. Let i = k + -26. Solve 0 = i*g - 2*g - 2 for g.
2
Let j(r) be the third derivative of r**5/60 + 11*r**4/12 + 41*r**3/2 - 133*r**2. Let d be j(-13). Solve 4*n - 2 = d*n for n.
-1
Let c(g) = -63*g - 3631. Let u be c(-60). Solve 169*n + 160 = u*n for n.
-8
Suppose 0 = -15*g - 3988 - 1607. Let c = g + 375. Solve c*o = 5*o - 3 for o.
1
Let j be 20/8*((-72)/(-15))/3. Let v = 4 - j. Suppose v = y - 3*y. Solve -3*f - 15 + 0 = y for f.
-5
Let r = -27 + 57. Let z = 36533 + -36518. Solve 9*b + r = -z for b.
-5
Let u(z) = 35*z**3 + 2*z**2 - 32*z + 10. Let n be u(3). Solve -n*v + 875*v = 8 for v.
-4
Let y = -965 - -971. Solve -406 = y*m - 376 for m.
-5
Let o(g) = -g**3 + 19*g**2 - 39*g - 55. Let j be o(17). Let m be 17/4 - (-175)/j. Solve -2*l + 0*l = -m*l for l.
0
Suppose 17605 = 137*o - 2839 + 5374. Solve o = 37*v - 38 for v.
4
Let r be 1342/(-6039) + (-4)/30*(-1490)/3. Solve -65*z - r - 389 = 0 for z.
-7
Suppose 3*c = -5*v - 0*c + 16, -13 = -2*v + c. Let r be 27/v - 14/35. Suppose -2*z + 28 = r*z. Solve h + z - 5 = 0 for h.
1
Let w = 10 + -8. Suppose -w*z = x + 2*z - 12, -15 = 3*x - 5*z. Solve -d = -x*d + 4 for d.
-4
Let m = -1800 - -1849. Solve -28*a + m = -21*a for a.
7
Suppose 0 = l + 5*c - 24 - 11, 0 = -l - 2*c + 14. Solve l = 63*a - 61*a - 6 for a.
3
Suppose 55*v - 1218 = 33*v - 36*v. Suppose 3*y = -2*y + 10. Suppose -y*d + d = -v. Solve 0 = -4*p + 5 - d for p.
-4
Suppose -4*k + 16 = -0*k. Let y(i) = -i**3 - 15*i**2 + 17*i - 9. Let s be y(-16). Let x = s - -26. Solve 13 =