 Suppose 0 = 7*a - n*a - 16. Solve a*k = -r + 2 for k.
-2
Suppose -24 = -a + 17*d - 12*d, 3*a + d - 8 = 0. Let u = -2 - -5. Suppose -5*y - 3*m - 2 = -5, 6 = -2*y - u*m. Solve 3 = y*n - a*n for n.
-3
Let q be 15/(-2)*(-2)/3. Suppose -70 - 355 = 17*a. Let n = 28 + a. Solve -q = -n*j + 1 for j.
2
Suppose -4284 = 246*k - 372*k. Solve 294 = -k*r - 15*r for r.
-6
Let f = -2850 + 3105. Solve -18*h = 33*h - f for h.
5
Let d be (-44 + 22 - -83) + 2. Solve -1892*x = -1883*x + d for x.
-7
Let q be 22034/345 + (-2)/3 - 3/15. Solve 18*b - 27 - q = 0 for b.
5
Suppose -3*v + 2 = 4*j, 2*j = 26*v - 25*v - 4. Suppose -4*u + 9*u - 5*a = 20, v*a = -4*u + 28. Suppose 0 = y, -b + 7*y = 2*y - 1. Solve -b = g - u for g.
5
Let x be (-9)/3 + 0 + -6. Let i be x/(9/2) - (-4 - -75). Let c = i + 75. Solve -c*j + 2 = -j for j.
2
Let z(o) = o**3 - 8*o**2 + 6. Let t be z(8). Suppose -3*q + 4 - t = -5*w, -5*q = -4*w - 1. Solve -y = -q - 3 for y.
4
Let u(t) = -111 + 70 - 94 + 7*t + t + 4*t. Let v be u(14). Solve -v = -3*r - 24 for r.
3
Let b be 2 - 3 - (-12 - -9). Suppose 0*v = -b*v. Suppose -4*c - 3*d + 31 = v, c + 11 = -0*c + 3*d. Solve -4*w = -3*w - c for w.
4
Let o = -4 + 8. Suppose -p - 3*f + 32 = -1, 146 = 5*p - 4*f. Suppose -p = -3*d - 2*k, 3*d - 15 = -k + 15. Solve g + o*g = -d for g.
-2
Let j = -12964 + 13014. Solve -j*r - 114 = 86 for r.
-4
Let f(t) = -20*t + 3*t**2 - 2*t**2 + 8 + 33*t - 18*t. Let s be f(3). Suppose s*w + 0*w = 0. Solve -i = -w - 2 for i.
2
Let c(n) = 2*n**3 + 18*n**2 + 15*n + 9. Let j be c(-8). Solve -h + 22 = j for h.
5
Let j(t) = t**3 + 12*t**2 + 2*t + 27. Suppose 15*a - 12*a + 5*h + 46 = 0, -h = 5*a + 62. Let f be j(a). Solve 10*v + f = 7*v for v.
-1
Let h(x) = x**2 - x + 2. Let z be h(0). Let r = 62519 - 62503. Let l be (-14)/(-8) + 2/8. Solve l*m - r = -z*m for m.
4
Let q be (9/(-90)*0*-1)/(-2). Solve q = -46*t + 52*t - 18 for t.
3
Let z be 150/(-45)*(0 - 12/20)/1. Let o = -4 + 8. Solve -z = o*t + 10 for t.
-3
Suppose 0 = 4*q + 3 + 5, 0 = 5*n + q - 3. Let w be 3*(n/(-3) - (20 - 21)). Suppose 3*k = -5*t - 2*k + 25, -t - 5*k = -13. Solve -t*a - w*a = 15 for a.
-3
Let x = -17 - -21. Suppose c = 2*c - x*c. Suppose c = -l + 2*o + 6, -4*o = l - 4*l + 22. Solve d = -4*d + l for d.
2
Suppose 3*u - 12 = 0, 15*u = 3*l + 10*u + 11. Solve -144 = -21*x + l for x.
7
Suppose 8 = 2*f - 2*k - 4, -15 = -3*f + 4*k. Suppose -5*b + 7 = 5*j - f*b, 0 = 5*j - 2*b - 11. Solve -2*l = j*l + 5 for l.
-1
Suppose 3*p = -18, y + p + 1142 - 1136 = 0. Solve 35*f - 11*f - 96 = y for f.
4
Let t(w) = 5*w + 21. Let k be t(20). Suppose 0 = 9*j + 14 + k. Let f be (j/4 + 4)*12. Solve -f*l - 21 = -6 for l.
-5
Suppose -9*n = -6 - 165. Suppose -2*f + 3*f + 5*k + 17 = 0, 0 = -2*f - 5*k - n. Let u be ((-10)/4 - 0)*f. Solve 4*t - 1 = -u for t.
-1
Let l = -1 - -2. Suppose -4*h = 5*q + h - 40, q = 3*h - 12. Let u(d) = -2*d**3 + 5*d**2 - 3*d + 19. Let i be u(q). Solve -l - i = c for c.
-2
Suppose 6*l - 7*l = -1. Let j be 1 - (4 + l + -1)/(-2). Solve -a = -j*a - 4 for a.
-2
Let s(b) = -4*b**2 - 377*b - 82. Let z be s(-94). Solve z*l + 55 + 17 = 0 for l.
-6
Suppose 0 = 4*u - 628 + 160. Solve -u*f = -111*f + 6 for f.
-1
Let u = 15 + -21. Let g(i) be the second derivative of -i**4/12 - 2*i**3/3 + 13*i**2/2 - 423*i. Let l be g(u). Solve r + l = -1 for r.
-2
Let j(b) = b**2 - 6*b - 16. Let c be j(8). Suppose 41*n - 45*n + 8 = c. Suppose -2*v = -2*g - 4 + 2, -5*v + 2*g + n = 0. Solve 0 = -5*z - v*z for z.
0
Suppose 2*m - 3*m = 0. Suppose m*u + 14 = u. Suppose -z + 3*z = u. Solve -3 = -4*h - z for h.
-1
Let z(b) = -18*b**2 - 9*b - 7. Let m be z(-6). Let l = 619 + m. Solve 4*y - l = 10*y for y.
-3
Let u(l) = -l**3 + 66*l**2 - 126*l - 78. Let p be u(64). Solve p = 66*b - 76*b for b.
-5
Let m = 11 - 16. Let j = m + 30. Let t = j - 22. Solve -t = -o + 2 for o.
5
Let s = -378 + 378. Suppose s = -2*a - 3*f - 2*f + 126, -114 = -2*a - 2*f. Solve 4*l = a - 73 for l.
-5
Let p = -4879 - -4882. Solve 15*i - 12 = p for i.
1
Let h(o) = 2*o**3 + 3*o**2 - 7*o + 8. Suppose 54*z - 57*z = -6. Let y be h(z). Solve -7 + y = 5*x for x.
3
Let v be 6/((-168)/3332*(-14)/4). Solve v = -13*z + 30*z for z.
2
Let d = 35290 - 35261. Solve 63*n - 470 = -d for n.
7
Let p be (-12 - -12)/7 + 10. Solve 8 = 6*u - p for u.
3
Suppose -25*u = -9*u - 32. Suppose 0*s + 16 = -2*s - 4*j, -3*s = -5*j - 31. Solve 0*o + s*o = u for o.
1
Let v = -330 - -372. Suppose 2*c - v = -4*u, c + 48 = 3*u - 3*c. Solve -u*x = -15*x + 15 for x.
5
Suppose -94 + 2532 = 23*r. Let g be (-53)/r*(-3 + -1). Let t = 17 - 10. Solve -15 = t*y - g*y for y.
-3
Let m be (874/(-152))/(4/(-16)). Solve m*s - 10*s = 13 for s.
1
Suppose 4*b = 25*b - 13*b - 760. Solve 39 - b = -8*h for h.
7
Suppose 119 = 2*f + 3*q, 4643*f = 4648*f + q - 265. Solve f*u = -19 + 175 for u.
3
Let n be (-10)/(-5)*(2 + 269*(-4)/(-8)). Solve -n*s - 168 = -217*s for s.
-3
Let t = 51 + 192. Let u = t + -243. Solve u = -3*i - 14 - 1 for i.
-5
Let q(b) be the third derivative of b**4/8 - 11*b**3/6 - b**2. Let h = 1360 - 1355. Let s be q(h). Solve -v + s - 2 = 0 for v.
2
Let s(p) = -p**3 + 8*p**2 + 20*p - 8. Let a be s(10). Let c be (-27)/(-6)*a/(-12). Solve -2 = c*n + 1 for n.
-1
Suppose 4*i - 6 = 10. Let g = 81 + -77. Suppose -g = -3*m + 5. Solve i*p - 1 = m*p for p.
1
Suppose 1491 = 4*d + 3*h, -5*d + 1172 = -h - 668. Suppose 12 = 6*s - 3*s. Let k be (-3)/(s/22 + d/(-396)). Solve 0 = -k*u + 5 + 15 for u.
5
Suppose -8*c + 6*c - q = -20, 0 = 2*c + 3*q - 28. Suppose 5*f - 8 = 7. Suppose c = -4*t + 8*t - 5*y, -f*t - 4*y = -6. Solve -s - s = t for s.
-1
Let l be (192/40)/(4 - 3*74/60). Solve -74*m = -78*m + l for m.
4
Let n = 2 + 11. Suppose -n*f = -9*f - 8. Suppose -2*u - 14 = -f*q + 4, -4*q + 6 = 2*u. Solve -h + 1 + q = 0 for h.
5
Let r = -261 + 263. Suppose -4*p = -4*f - 11 - 9, -4*f + r*p - 10 = 0. Solve f = -0*w + 2*w + 10 for w.
-5
Let y(a) = -a**2 - 17*a - 12. Let d be y(-16). Suppose -4*z = -5*j - 36, j = -d*z + 5*j + 32. Let x be (z/12)/((-3)/(-9)). Solve 3*v - 5 - x = 0 for v.
2
Let p(w) = -w**3 - 199*w**2 + 418*w + 3237. Let m be p(-201). Let y = 9 + -2. Solve m = -y*j - 0*j for j.
-3
Let v be ((-123)/4)/(((-14)/168)/(2/9)). Solve 0 = 91*c - v*c - 9 for c.
1
Let u be (-1)/((-2)/4)*(646/68 + -4). Solve u*v + 54 = 43 for v.
-1
Suppose -1015 = -14*p + 273. Suppose 3*y - 3*r - 19 = 20, -4*r = 4*y - p. Solve y = -4*o - 2*o for o.
-3
Let j(p) = 3*p**2 - 12*p + 58. Let u(h) = 6*h**2 - 23*h + 117. Let y(d) = 13*j(d) - 6*u(d). Let m be y(3). Solve -5*b - 15 + m = 0 for b.
2
Let d be 5*(-1 + 7/5). Let c be 128/24*6/d. Let r be 1/(-2) - 2*(-4)/c. Solve 3*s - 5 - 4 = r for s.
3
Suppose 5*f = -5 + 25. Let z(s) = s**3 + 4*s**2 + 6*s + 7. Let m be z(-3). Let w be (176 + -176)/((1*m)/1). Solve 0 = f*l - w*l - 8 for l.
2
Let t(j) = 3*j**3 + 6*j**2 + 2*j + 1. Let v be t(-1). Let p be (-1 + 2)*0/7. Suppose 2*r - 2 - v = p. Solve 4 = r*y - 2 for y.
3
Suppose 85 = -o - 0*c + 5*c, -4*o + 3*c - 255 = 0. Let z = 66 + o. Solve z*j + 2 = 7*j for j.
2
Let o(v) = v**3 + 22*v**2 + 40*v + 6. Let r be o(-20). Suppose -5*z = 4*p - 71, 25 = 4*p - 3*z - 54. Suppose -p + 11 = -b. Solve -b = r*g - 2*g for g.
-2
Let u(i) = 2*i**3 + 75*i**2 - 38*i + 20. Let l be u(-38). Solve -l*q - 17 = 23 for q.
-2
Let x(m) = -86*m - 676. Let g be x(-8). Solve g*l = 52 - 16 for l.
3
Let k(n) = -2*n + 8. Let p be k(0). Suppose 3*j - 9 + p = v, 0 = -4*v - 4. Solve j = -5*b - 15 + 5 for b.
-2
Let x(f) = f**2 - 955*f + 955*f + 6. Suppose -j = 4*j + 2*m + 4, 8 = 5*j - 4*m. Let v be x(j). Solve 0 = v*s - 3*s for s.
0
Suppose 29249*y = 29259*y - 770. Solve y*s = 62*s - 75 for s.
-5
Let d be (-6)/4 - ((-550)/20 + 4). Let w be 4/(-28) - 4*d/(-28). Solve -w*b - 5 = 2*b for b.
-1
Suppose -12*m = k - 11*m - 5, -3*k - 4*m + 20 = 0. Solve 12*u + 75 - 123 = k for u.
4
Let m(q) = -q**3 - 4*q**2 - 3*q - 6. Suppose 0 = 5*i - 2*v - 2*v + 32, -v = -3. Let t be m(i). Suppose 3*u + 0*u = 0. Solve 2*b + u*b = t for b.
3
Suppose -17 = -4*l - 5*y + 18, 2*l - 25 = 5*y. Suppose 2*j + 0*j - l = 0. Let o = 18951 - 18951. Solve -i = -o*i + j for i.
-5
Let d = -29 + 37. Let h(m) = -6*m - 13. Let q(f) = 7*f + 14. Let b(t) = 6*h(t) + 5*q(t). Let z be b(-12). Solve -d = -z*l + 12 for l.
5
Let b be 55/2 - 2 - (21/(-2))/21. Solve -29*y + b*y + 9 = 0 for y.
3
Suppose t + 0*t - 10 = 