Solve 24 = n*k + 16 for k.
4
Let i be -2 - -6 - (8 + -4). Suppose -3*y + 18*y - 150 = i. Solve -10*q = -12*q - y for q.
-5
Let r(w) = w**3 - 14*w**2 - 3*w - 6. Let d be r(14). Let s be (-1)/4*d/30*5. Solve -3*l + 14 = s for l.
4
Suppose -30813 - 21188 = -149*l. Solve -72 = -l*w + 331*w for w.
4
Let r be 0 + -1 - (-5)/1. Let x(t) = t**3 - 14*t**2 - 13*t - 28. Let v be x(15). Suppose -j = -a + r, v*a + 4*j - 1 = -j. Solve 0 = 7*d - a*d for d.
0
Let z(j) be the first derivative of j**4/4 - 8*j**3/3 + 3*j**2 + 7*j - 6. Let f be z(7). Suppose f = 7*c - 12*c + 35. Solve -2*s + 1 = -c for s.
4
Let j be (-2 + 2 - -14)/(-1). Let r be -1*(j - (-6)/(-2)) + 1. Suppose 4*o + 1 = -2*v - 3, 3*v - 2*o = r. Solve 0 = -7*i + v*i + 6 for i.
2
Let v be 1/((-1261)/(-2990) - (-2)/(-5)). Suppose 3*z - 3*b + 16 = v, 0 = 2*b + 8. Solve -z = -a - a for a.
3
Let y be (-38 - (-4 + 0)) + 4. Let w be ((-2)/4)/(2/(-136)). Let u = w + y. Solve 0*i + 2*i = -u for i.
-2
Let a(f) = -868*f + 26913. Let g be a(31). Suppose -5*t - 4*r + 2 = 0, -3*r + 8 = -7*r. Solve 0 = -t*x + g + 1 for x.
3
Let w(v) = -3*v**2 + 69*v - 228. Let x be w(4). Let h = -4 - -8. Solve -4*y + x*y = -h for y.
1
Let s(p) = 167*p**3 - p**2 - 7*p - 7. Let u be s(-1). Let q = 171 + u. Solve 0*z - 3*z = q for z.
-1
Let w = -2229 + 2265. Let p = -59 + 25. Let z = p + w. Solve -3 = -z*b - 1 for b.
1
Suppose -4*w + 130 = -5*r, 2*r - 39 = -5*w + 107. Solve w - 22 = -2*o for o.
-4
Suppose 53 = 5*l + z, -26 = -l - 0*z + 2*z. Solve l*f + 46 = -2 for f.
-4
Suppose 14728 = -13*u + 15378. Solve 67*q - 57*q = -u for q.
-5
Suppose -3*b = 2*w - 435, -108*w = -111*w - b + 628. Solve w = 2*x + 199 for x.
4
Let v be 3/6 + ((-655)/10 - 2). Let k = 142 + -208. Let b = k - v. Solve 3 = -p + b for p.
-2
Suppose -68*m = -75*m + 35. Suppose -30 = -m*g - 10. Let x be 0 + (-1*2)/(-2). Solve -g = c - x for c.
-3
Let v be 586552/2669 - 12/(-51). Solve v = 2*r + 230 for r.
-5
Suppose 20*f - 19*f - 3 = 0. Let c be (18/4)/f*(-290)/(-87). Solve 0 = -3*u - 2 + c for u.
1
Let v be (0 - 276*(-4)/(-36))*-18. Solve 555*f - 21 = v*f for f.
7
Suppose -33 = -5*q - x - 765, 0 = -5*q + 5*x - 720. Let p = 158 + q. Solve 0 = p*w - 9*w for w.
0
Suppose g - 101*w = -106*w + 104, -3*g - 5*w + 252 = 0. Solve g*m + 36 = 68*m for m.
-6
Suppose -33*f = -4*f + 6*f - 70. Solve f = 3*m - 2*m for m.
2
Suppose 5*f = -3*p + 44, -4*f + 22*p = 36*p - 128. Let z(k) = k**3 + k**2 - k - 1. Let n = 6 + -7. Let d be z(n). Solve d - f = s for s.
-4
Let u(a) = -2*a**2 + 6*a - 5. Let d be u(12). Let z = d - -221. Solve -5*s + 0 + 10 = z for s.
2
Let m be 129/(-18) - -7 - (-22)/(-12). Let w(s) = -s**2 + 7. Let o be w(m). Solve -114*b = -111*b - o for b.
1
Let t = -868 - -872. Solve t*f - 246 = -222 for f.
6
Let h = 104 - 102. Suppose -8*g = h*g - 30. Solve 0 = z - 7 + g for z.
4
Let x(p) = p**2 - 10*p + 21. Let u be x(9). Suppose 2*a = -3*l + 14, -2*a - 7*l + u = -3*l. Solve -9*d = -4*d - a for d.
2
Let j be ((-8)/(-28))/(3/21). Suppose 0*l = l + j. Let h be l/(-2)*5 - 3. Solve -3*q + h*q = 0 for q.
0
Let h = 10740 - 10702. Solve -34*c + h*c = 0 for c.
0
Suppose 0 = a - 9*p + 13*p - 32, -4*a - 6*p + 118 = 0. Solve 6*w - 13*w - a = 0 for w.
-4
Let u(y) = 7 - 43*y - 11*y**2 + 6*y**2 - 20. Let q be u(-8). Solve 1 - q = 5*z for z.
-2
Suppose 76*s + 120*s - 59215 = 18205. Solve 393*b - s*b = -6 for b.
3
Suppose -3*l - k + 44 = 0, -83 = -3*k - 68. Solve l*s - 101 = -23 for s.
6
Suppose -17*z + 15*z = j - 29, -z + 18 = 4*j. Solve -27 = -z*y + 1 for y.
2
Suppose -16*n = n - 153. Suppose 9*j + n*j = -1800. Let c = -85 - j. Solve 3*p + 0 = c for p.
5
Let p(o) be the first derivative of -o**3/3 + o**2 + 29*o - 245. Let a be p(6). Let n = -3 - -5. Solve -n = -a*j + 3 for j.
1
Let c(j) = 119*j - 990. Let o be c(9). Solve 0 = -74*r + o*r + 7 for r.
-1
Let x be (-1)/(-8) + (-124)/(-32). Suppose z + 28 = -3*i, x*i + 34 + 4 = -z. Let h = i - -10. Solve h = -4*d + 12 - 0 for d.
3
Let n = -19 - -22. Suppose n*c + 95 = d, -2*c - 4*d - 54 = -0*c. Let h = -20 - c. Solve -4*m = 3 - h for m.
2
Suppose 4*a - 4*h - 264 = 0, 0 = -a - 3*h + 50 + 40. Solve -102 = -106*p + a*p for p.
3
Let d be 3*(43/((-430)/(-390)) + (0 - 0)). Solve d = -10*s + 127*s for s.
1
Let g = 2249 - 2241. Suppose -p + 21 = 2*p + 2*d, -4*p = -d - 17. Solve -7*h + g = -p*h for h.
4
Let u = -198 - -188. Let k(t) be the first derivative of t**4/4 + 10*t**3/3 + 14*t + 20. Let f be k(u). Solve 39 = -5*r + f for r.
-5
Let i be 12/(-14) - ((-159360)/(-581))/(-96). Suppose 10 = -a + 6*a. Let n(t) = 4*t + 1. Let y be n(a). Solve l + i*l = -y for l.
-3
Suppose 18*f - 20*f - 82 = 0. Let b = 41 + f. Solve b*k - 24 = -6*k for k.
4
Let s be (-44)/3*(-5 - -2). Suppose 37*z - s*z = -42. Solve -z*x = x - 21 for x.
3
Let n(j) = j**2 + 28*j + 81. Let l be n(-25). Suppose -l*x + 25 = -x. Solve 0 = 4*h - x - 3 for h.
2
Let f(u) = 2*u + 6. Let r be f(-2). Suppose a - r*g - 6 = -3*g, -4*a + g = -14. Solve a*w = -3 - 9 for w.
-3
Let p(b) = b**2 - 71*b + 574. Let s be p(9). Solve 2*o = -s + 4 for o.
-6
Suppose -131*h + 22668 = 68*h + 4758. Solve -h*s + 85*s - 10 = 0 for s.
-2
Suppose 0 = -36*q + 31*q. Suppose -3*i + 5*o + 21 = -1, q = -i + 4*o + 12. Solve -k = i*k - 15 for k.
3
Let j be (-20)/1*4/(-10). Suppose 5*g - q = -2200, g + q + 217 = -229. Let v = -438 - g. Solve -v*y + j = -5*y for y.
-4
Let w = 59 - 73. Let y be (3/2)/(-7 - 105/w). Let b be 12/y - (4 + -5). Solve b = -k + 7 for k.
2
Let a = -41 - -62. Solve 43 = 8*m - a for m.
8
Suppose -9861*v = -9836*v - 100. Solve 0 = 31*m - v*m + 54 for m.
-2
Let w(m) = -m**2 + 7*m - 6. Let r be w(4). Suppose -2*g - 33 = -5*f, -4*f - 3 + 11 = 3*g. Solve r*n - f = n for n.
1
Let k(l) = 11*l + 7. Let a(o) = 12*o + 8. Let h(n) = -6*a(n) + 7*k(n). Let y be h(1). Suppose -5*v - 5*z + 6 = -4, 4*z + 6 = 3*v. Solve -y*s + v*s = 16 for s.
-4
Suppose 4*p = -2*l + 6*p, 4*l - 18 = -2*p. Suppose 0 = -l*h - 3 + 12. Suppose -112 = -123*a + 116*a. Solve -r = h*r - a for r.
4
Suppose 62 = 4*r - 2*p, 3*p - 206 = 3*r - 260. Solve 27*m + 280 = -r*m for m.
-7
Let w = 16 + -11. Suppose -36 = -h - 4*v, 2 - 27 = -w*v. Solve 8*m = h*m + 32 for m.
-4
Let j be (-2)/3 + -4 + 32/3. Let f be (171/(-95) + j/(-10))*-5. Solve 0 = -5*h - f - 8 for h.
-4
Let b(k) = -10*k - 166. Let l be b(-24). Suppose -10*i + l = -6. Solve 9*x + 6*x = i*x for x.
0
Let r be (4/30 - 0 - (-2214)/(-16605))/2. Suppose 8*h = 4*h, -18 = -2*x - 2*h. Suppose 8*b - 5*b + 3*n - x = 0, -15 = -5*b + n. Solve r = -b*o - 9 for o.
-3
Suppose -3*r - 3 = 4*i + 2, 1 = 3*r + i. Let a be -6*1/r*(-2)/(-4). Let v be a + 0 - (-52)/4. Solve -2*b - v = -0*b for b.
-5
Let h(c) = c**3 + c**2 - 4*c + 10. Let a be h(-3). Suppose j + 77 = a*o - 4*j, -3 = 3*j. Solve 0 = -o*v + 13*v - 10 for v.
-2
Let u = -103 + 102. Let n be (7 + -7)/(u/1). Solve -3*a = 12 - n for a.
-4
Let j be ((-42)/5)/(411/(-685)). Solve -24*z - j = -17*z for z.
-2
Suppose -665*w = -661*w - 72. Let n be 4*(14/w - (-30)/135). Solve -8 = -4*s + n for s.
3
Let m = -437 + 440. Let a(t) = 2*t**2 - 1 - t**3 + 9*t**3 + 7*t**3. Let f be a(1). Solve m*k = -k - f for k.
-4
Suppose -15*c - 5*c + 100 = 0. Suppose -5*x + 11 = -n, 9*x + 3*n = 5*x + c. Solve 0*j + x*j - 4 = 0 for j.
2
Let m = 48 + -51. Let r be (-3)/m + (-12)/(-4). Suppose -1 = r*i - 5. Solve 4*u - 7 = i for u.
2
Let u be (-56 + 35 - (-1 + 6))*(1 + -2). Solve -u*s + 27*s = 3 for s.
3
Suppose 0*z = 2*z. Let s(w) = -w**3 + 2*w**2 + 2*w + 9. Let p be s(3). Suppose 12 = 2*j - 4*g - p, 4*j - 5*g = 30. Solve -x + z = j for x.
-5
Let v(g) = -11*g - 3*g**2 + 1 + 5*g**2 - 2. Suppose 3*q - 5*d = -2, -8*d + 10 = -q - 4*d. Let k be v(q). Solve 0*m = k*m for m.
0
Let h(f) = f**3 + 10*f**2 - 13*f - 7. Let u be h(-11). Solve 18*z + 3 = -u for z.
-1
Let i be (-1 + (-41)/(-5))*(-470)/(-188). Let g(a) = 2*a - 7. Let h be g(6). Let w = -152 - -155. Solve w = h*o + i for o.
-3
Let f = 7789 - 7696. Solve -4*s - f = -77 for s.
-4
Suppose -23*s + 210 = 23*s - 36*s. Solve s*r = 20*r + 4 for r.
4
Suppose 2*o = -2*r - 12 + 26, -o = 5*r - 47. Solve -r*k = -6*k - 16 for k.
4
Suppose 2*v - 5*g = 50, -4*v - g = -4*g - 86. Solve 0 = 37*z - v*z for z.
0
Suppose 15807 = -16*h + 16063. Solve -h*r - 16 = 16 for r.
-2
Suppose 328*k = 336*k + 88. Let u(h) = 2*h**2 + 19*h - 30. Let i be u(k). Solve 