t i = b + -4. Solve 2*c = -i*c - 8 for c.
-2
Let x(q) = -453*q + 5889. Let z be x(13). Let v be 10/6*(1 + 2). Suppose 3*s - 2*s - v = 0. Solve 0*k - s*k + 15 = z for k.
3
Suppose -19*n + 33 = -8*n. Suppose -8*o - n*a + 180 = -11*o, a + 56 = -o. Let u = -53 - o. Solve u*x - 8 - 2 = 0 for x.
2
Suppose 20658 = 118*c - 30318. Solve c*i - 16 = 448*i for i.
-1
Let n = 43 - 6. Let o be 4/10*1225/490. Solve 9*u + o = n for u.
4
Suppose 4*m - 2*y = 5*m - 9, m + y - 8 = 0. Suppose -q + 13 = m. Solve -11*g + q*g = 10 for g.
-2
Suppose -83*l - 79*l = 74*l. Solve -r + l = -5 for r.
5
Suppose -7 = 5*c - 4*a, 16*c - 12 = 19*c - 5*a. Let r be (50/(-4) - -12)*(c + -1). Suppose -1 - 1 = 2*q - 2*o, q + 4*o - 24 = 0. Solve r*b - q*b = -20 for b.
5
Suppose -13*j = -2*a - 12*j + 63, -5*a - j = -161. Suppose 0 = 31*g - 32*g + a. Solve 0 = g*t - 31*t + 4 for t.
-4
Let g = -14528 - -14534. Solve -14*c - 8 = g for c.
-1
Suppose -118 = b - 3*b. Let k = b - 56. Let a = 64 + -60. Solve -5 = -k*f + a for f.
3
Let a be (2/5)/((-1)/(-30)). Let p(u) = 2*u**2 + 21*u - 174. Let y be p(-16). Suppose y*z + z = a. Solve -z*s = s - 10 for s.
2
Let r = -27 + 38. Let v be 110/(-22 - -11) - -16. Solve -r*o + 5*o + v = 0 for o.
1
Let c = 3287 + -3151. Solve 6 = 139*t - c*t for t.
2
Suppose -2*a - 2240 + 554 = 0. Let d be a/(-15) + 6/(-30). Let s be (-1)/4 - (-686)/d. Solve i - s = 5*i for i.
-3
Let g = 220 + -141. Let x = -72 + g. Suppose 0 = x*p - 0. Solve -2*q - q = p for q.
0
Suppose -4*c = 6 - 26. Suppose 4*l - 2*w + 1 = c*l, -5*l - 4*w = -5. Suppose -38*y + 63*y - 50 = 0. Solve -j = -y*j - l for j.
-1
Suppose 4*d - 282 - 27 = d. Solve -107*n = -d*n - 16 for n.
4
Suppose 288 = -17*p + 113*p. Solve 53*x - p = -321 for x.
-6
Let z(w) be the second derivative of 10*w + 17/2*w**2 + 1/6*w**3 + 0. Let o be z(-11). Solve o*r = r + 5 for r.
1
Suppose 3*w = -a - 523, 3*w + 5*a - 845 = 8*w. Let n = -171 - w. Solve -5 = d - n for d.
-3
Suppose -4*p + 11 = -4*b - 17, -4*b - 16 = 2*p. Suppose 4*i + 4*j - p*j = 14, i + 5*j = -1. Let v be i - (-12)/(-2) - (-6 + 1). Solve v*m - m = 4 for m.
2
Let o(y) = -2*y. Let j(v) = -8*v + 194. Let g(u) = j(u) - 6*o(u). Let q be g(-42). Solve q*c = 27*c - 3 for c.
3
Let t be ((-2)/7)/(7/(-98)). Suppose -t = -u + 2*j, u + u + 8 = -4*j. Suppose u*n = -n + 5. Solve -n*s + 9 = 24 for s.
-3
Let y(p) = -2*p**3 + 7*p**2 - 254*p + 1043. Let v be y(4). Solve -87 = v*w + 18*w for w.
-3
Let x be (-134)/(-3) - (3 - 80/24). Suppose 2*q - x + 29 = -f, -3*f + 12 = 0. Solve -47*a = -44*a - q for a.
2
Let p be ((-4224)/9)/(292/(-438)). Solve -j + p - 698 = 0 for j.
6
Let r(m) = m**2 + 36*m - 69. Let y be r(-38). Solve -19 + 47 = -y*c for c.
-4
Let o = -3287 + 3301. Solve -78*h + o = -71*h for h.
2
Suppose -20*t + 7277 = 637. Let g = 335 - t. Solve -3 = 2*z + g for z.
-3
Let r(t) = t - 13. Let g be r(13). Let z(s) = 5*s - 31. Let i be z(7). Suppose -14 = -v - 3*v - 2*n, 2 = i*v - 2*n. Solve g = -v*c - c + 12 for c.
4
Let j(f) = 5*f**3 - 5*f**2 + 3*f + 3. Let u be j(2). Let z(h) = -h**2 + 28*h + 35. Let k be z(u). Solve -k = 2*w - 4 for w.
-1
Let n = 49 - 40. Let b be 2/(-4 - (3 - n)). Let x be b - 18/12*(-4)/3. Solve -x*g = g for g.
0
Let y be (-205)/1230 - (-1)/6. Solve -8*t + 24 = -y*t for t.
3
Let p(l) = -l + 9. Let z = 65 + -58. Let n be p(z). Suppose -n*r = 2*r - 12. Solve -r*s + s = -8 for s.
4
Suppose 2*v = -3*u - u + 16, 0 = 2*v - 2*u - 16. Suppose 3*i = -c + 3*c + 1, -4*i - 4*c + 28 = 0. Solve v*h = 5*h - i for h.
-1
Let z(x) = -x**3 + 24*x**2 - 49*x + 116. Let q be z(22). Solve 10*d + 4 + q = 0 for d.
-1
Let x = 120 + -200. Let b be (3 - (-39)/(-12))/(10/x). Solve b = -4*v + 18 for v.
4
Suppose 41 = 27*m - 40. Suppose 5*c + 58 = m*l + 3*c, c = -5*l + 101. Solve 0*y = 5*y + l for y.
-4
Suppose -8731*n = -8714*n - 357. Solve -21*u + 38*u = -n*u for u.
0
Let d(l) = l**3 + 6*l**2 + 5*l + 10. Let x be d(-6). Let v = x + 25. Suppose v*g - 4*g - 9 = 0. Solve 4*o = -g - 7 for o.
-4
Suppose -9 + 7 = t. Let y be (4*6/(-24))/(t - -1). Solve -4 = h + y for h.
-5
Suppose -2*n - j + 4 = 0, 5*j - 20 = -n + 3*n. Suppose -4*r + 4*a + 12 = n, -8 = -r + 6*a - 4*a. Let k be (-289)/(-51) - r/6. Solve 4*p = 7*p + k for p.
-2
Let y be (-120 + 10/(-2))/(2/(-8)). Let w = 505 - y. Solve q + 18 = -w*q for q.
-3
Suppose 3*z - 2553 = -3*o - 2505, 53 = 2*z + 5*o. Solve z*a - 24 = a for a.
3
Suppose 0 = x - p - 10, -10*x - 22 = -11*x - 2*p. Solve 126 = -35*f + x*f for f.
-6
Let b = -1725 - -1750. Solve -22*t = -b*t - 3 for t.
-1
Let k(j) = 20*j**2 - 182*j + 368. Let n be k(2). Solve 322 = -n*f + 38*f for f.
-7
Suppose 0 = -3*x - r + 284, -2*x - 37 = -2*r - 221. Solve -6*g = -52 + x for g.
-7
Let t be 19/(-76) + (-11)/4. Let a be (5/2*t)/(1/(-2)). Solve 2*i = -i - a for i.
-5
Let m = 33 - 31. Suppose -53 - 19 = m*r. Let z = r + 40. Solve -z*h - 20 = h for h.
-4
Suppose -3*u - s + 39 = -4, -5*s = -3*u + 55. Suppose 0 = 2*z + 4*n + n - 4, 4*n = z - u. Solve -3 = -4*l - z for l.
-1
Let z(o) = 3*o**2 + o - 4. Suppose -7*b = -3*b - 8. Let d be z(b). Suppose -4*t + d = -6. Solve -2*y - t = -10 for y.
3
Suppose 0 = 3*z + l - 81, 0 = 4*l - 0*l - 12. Solve z = 4*g + 14 for g.
3
Let l(w) = 47*w + 7. Let j be l(5). Let u = -232 + j. Solve -u*v + 25 = -5*v for v.
5
Suppose 4*u = -32, -2042*g - 5*u = -2041*g - 103. Solve 17*j + g - 41 = 0 for j.
-6
Let q = -3 + 2. Let h(t) = 7*t**3 + 10*t + 1. Let k(i) = 8*i**3 + 13*i + 1. Let g(o) = -4*h(o) + 3*k(o). Let c be g(q). Solve c*j + 27 - 7 = 0 for j.
-5
Let c(f) = -f**2 - 4*f - 33. Let b be c(-23). Let x = b - -475. Solve -10*p - 5 = -x*p for p.
-1
Let o(l) = -3*l**2 - 7*l - 26. Let j(f) = -8*f**2 - 20*f - 77. Let s = 34 - 30. Let i(g) = s*j(g) - 11*o(g). Let r be i(7). Solve -r = -4*u + 2 for u.
2
Let m(k) = 294*k - 7838. Let c be m(28). Solve -378*d + 112 = -c*d for d.
-7
Let d(k) = k**3 + k**2 + 14*k + 28. Let q be d(-7). Let a = q + 365. Solve -5 = 2*z + a for z.
-3
Let q be (6/(-18))/((0 - 2)/6). Let i(f) = -f**2 + 15*f + 178. Let l be i(22). Solve -q - l = -5*o for o.
5
Suppose -3*o + 8*k + 2187 = 0, o + 4*k - 1064 = -295. Solve 751 = -2*d + o for d.
-3
Suppose 242 = 4*z + 222. Suppose z*m - 3*d = 108, 3*m = -0*m - 4*d + 88. Solve 9*v = 3*v - m for v.
-4
Suppose 291*k - 3*k = 62*k + 28702. Solve 44 = 19*i - k for i.
9
Let t = 339 - 335. Let s(w) = 27*w - 104. Let x be s(t). Solve q = -0*q + x for q.
4
Suppose -5*n = 20, 0 = -4*z + 3*z - n + 10. Suppose 2*f - z = -3*k - 2*f, -4*f - 56 = -4*k. Solve -3*l = -l - k for l.
5
Suppose -3333*x = -3329*x - 384. Solve 50*m + x = 26*m for m.
-4
Let q(n) = 4*n + 4 - 2*n - 4*n**2 + 3*n**2. Let s(z) = -z**2 + 7*z. Let x be s(0). Let m be q(x). Solve -m = u - 3 for u.
-1
Let f(o) be the second derivative of -o**4/12 + 7*o**3/6 - 9*o**2/2 + 6*o - 7. Suppose -5 = d - 2*d. Let n be f(d). Solve -2*u = n - 3 for u.
1
Let w = -13823 + 13866. Solve -30*a = w*a for a.
0
Suppose -5*b - 102*m + 30 = -106*m, -b - m + 15 = 0. Solve -32 = b*h - 52 for h.
2
Let a(x) = -x**3 - 3*x**2 + 3*x - 4. Let j be a(-4). Suppose j = r - 6*r. Suppose 5*w - 2*w - 15 = 0. Solve 2*n - 5 - w = r for n.
5
Let d = -307 + 304. Let n be (-4)/d + (1 - 3/9). Solve 15*c = 16*c + n for c.
-2
Let n = 685 + -713. Let k be ((-48)/(-15))/(n/(-70)). Solve -k*x = -2 + 18 for x.
-2
Let l(w) = 10*w + 273. Let p be l(-27). Let c(a) = -2*a + 47. Let i be c(20). Solve -u - p = -i for u.
4
Let u = -2777 - -2779. Solve u*c + 2 = -8 for c.
-5
Let j = -43224 - -47152. Solve 0 = 10*d - 4018 + j for d.
9
Let d(o) = -39*o - 15. Let r be d(4). Let m = r + 184. Solve -m + 5 = -2*y for y.
4
Let l(i) = 12*i**2 + 421*i + 41. Let u be l(-35). Let z(v) = -v**3 + 6*v**2 - 5*v - 3. Let c be z(6). Let f = -32 - c. Solve f = -u*m + 5*m for m.
-1
Let m(p) = -p**3 + 4*p**2 + 12*p. Suppose 3*a + o = 19, -2*o + 0 + 2 = 0. Let f be m(a). Solve f = 3*q - 2*q + 1 for q.
-1
Suppose 4*x - 51 = -16*x + 3*x. Solve x*i - 41 = -59 for i.
-6
Let d(j) = -j**2 - 19 - 20*j - 4 + 4 - 15 - 6. Let l be d(-3). Solve l*p - 5 = 6*p for p.
1
Let r be (-3 + 1)*132/(-88). Let n = 2 - 1. Let h be ((-18)/8 + 2)/(15/(-120)). Solve r*a = h + n for a.
1
Suppose -k = 2*k, 4*d - 124 = -k. Suppose a - f + 17 = -9, -4*f = 12. Let q = d + a. Solve c = 1 - q for c.
-1
Let n = 901 + -759. Solve n - 140 = -h for h.
-2
Let h b