. Let c be f(5). Let m(q) = 2*q**2 + q. Let t be m(c). Solve 0 = -t*x - 2*x + 15 for x.
3
Suppose -40*k + 34 - 135 + 821 = 0. Solve 44 = 62*l - k for l.
1
Suppose -3*n = -c + 2*c + 2, -n + 1 = 2*c. Let h be (-6 - -7) + c/(-1). Solve h = -0*g + 5*g - 10 for g.
2
Suppose 2*z = -3*k + 47, 5*k + 112 + 18 = 5*z. Suppose -30*u - 28*u = -1624. Solve -u*i = -23*i - z for i.
5
Let f(y) = y**2 - 11*y - 37. Let m be f(14). Suppose 0 = -5*c + 4*z + 4, -m*c + 3*z = 6*z - 32. Solve c*j = 6 + 6 for j.
3
Suppose -34 = 3*f - 43. Suppose 5*y + 5*l = 55, f*y + l - 6*l + 7 = 0. Suppose -2*x + 3*x = y. Solve -x = 3*z - 5*z for z.
3
Let f(x) = x**3 + 12*x**2 + 18*x - 24. Let y be f(-3). Solve p + y = -0 for p.
-3
Suppose -185*h + 14110 = -15*h. Solve 0 = -108*s + h*s for s.
0
Let o be (-58)/(-16) - (-15)/40. Let a be (-36)/(-45)*(o - -1). Suppose 0 = -5*f + 8 - 3. Solve f = 5*l - a for l.
1
Let a be (-1)/2 + 27/72*(-1796)/(-3). Solve 19*v = 75*v - a for v.
4
Suppose 3*k - 405 = -3*q, 220 = 2*k - 5*q - 78. Solve 15 = -144*a + k*a for a.
-3
Let q(l) = l**3 + 2*l**2 - 14*l - 20. Let z be q(-4). Let u(h) = h**3 - 7*h**2 + 2*h - 10. Let t be u(7). Suppose -t*d + 2*d = -z. Solve -d = 5*k + 8 for k.
-2
Let x = 63 + -48. Let s(v) = -3 + v**3 - 14*v + 5 + 2*v**2 + 0*v**2 + x*v. Let q be s(-2). Solve -p - 2 - 1 = q for p.
-3
Suppose 2*c - 19 = -9. Suppose a = -4*s + 3, -4*a + 0*s + s = c. Let y be 7 + 4/a - 1. Solve y*n + n = -15 for n.
-5
Let i(m) = -2143*m + 10728. Let v be i(5). Solve -92*j - v - 79 = 0 for j.
-1
Let t(g) = -g**3 - 12*g**2 - 8*g + 11. Let l be t(-11). Let s = 21 + l. Let z be s/(-1)*1 - 0. Solve z + 1 = d for d.
2
Suppose k + 2*c = 10, 11*k = 7*k + 5*c + 1. Suppose 0 = k*t - 36. Solve t - 7 = -m for m.
-2
Suppose -r - 4*r = 0. Let d = -103017 + 103021. Solve r = d*h + 6 - 22 for h.
4
Suppose -4*l + 4*z = -292, 0 = 2*z - 68 + 58. Solve l*m = 83*m - 20 for m.
4
Let s be 86/387 - 104/(-18). Let u(n) = 25*n - 148. Let l be u(s). Solve -14 + l = -6*g for g.
2
Suppose 2*r = 5*t - 14, -4*t = t + 2*r - 6. Suppose -f - k - 5 = 3*f, -t*f + 5*k + 25 = 0. Suppose -4*w + 8*w = f. Solve 6 = -2*m - w for m.
-3
Suppose -12 = 52*z - 55*z. Suppose -i - 2*i + 4*c = 12, -4*i = -z*c + 12. Solve 8*t - 16 = -i*t for t.
2
Let m = -8281 - -8307. Solve m = 45*q - 19 for q.
1
Let o = -2431 + 2452. Solve o*c - c = -100 for c.
-5
Let j(f) = 165*f**2 - 51*f**2 - 58*f**2 - 15 + 5*f - 55*f**2. Let s be j(-9). Solve 23*m = s*m + 6 for m.
3
Let m = 107 - -2. Suppose -m*l - 3 = -112*l. Solve a + 3 + l = 0 for a.
-4
Let b(m) = -m**2 + 55*m - 138. Let j be b(41). Solve -428*k + j*k = 16 for k.
2
Let g(u) = -19*u - 20. Let q = -13 + 7. Let x(i) = 36*i + 40. Let h(j) = q*x(j) - 11*g(j). Let n be h(-5). Solve -n = -z - 4*z for z.
3
Let a be (-1444)/(-6)*(40 + -37). Solve 727*t + 35 = a*t for t.
-7
Let x(y) = -y**3 - 8*y**2 - 60*y - 225. Let n be x(-5). Solve 258*i - 263*i = n for i.
0
Let g be -1 + (6 + 6)/6. Suppose 6*c - 23 = g. Solve 0 = c*q + 4 for q.
-1
Let b(t) = t**3 + 6*t**2 + 3*t - 3. Let k(w) = -2*w + 15. Let p be k(10). Let x be b(p). Suppose 0 = 5*r - x + 7. Solve r*a = 3*a - 3 for a.
1
Let u be (-4)/(-1) - (3 - 4). Let d = 134 - 162. Let j = 35 + d. Solve -j*l = -2*l + u for l.
-1
Suppose 287*v = 279*v. Solve -16*g - 87 + 39 = v for g.
-3
Let k = -2441 + 2457. Solve -k*h + 81 = 17 for h.
4
Let w(g) = 6*g**2 - 7*g - 177. Let t be w(8). Solve -7*q = -t + 123 for q.
4
Suppose -291*f + 319*f - 112 = 0. Solve -14 = -f*y + 18*y for y.
-1
Let s be 6*-2*1*6/(-12). Suppose -h = s*h + 3*h. Solve 0 = -5*u + 5 - h for u.
1
Let l be (4 - -3) + (-2 - 0). Suppose -d - d = r, 0 = l*r. Suppose d = 13*o - 19*o + 12. Solve 0 = o*z - 8 - 0 for z.
4
Let l = -10 + 19. Suppose -2*t - 1 = -l. Suppose 0 = -76*h + 35 - 35. Solve -t*z - 16 + h = 0 for z.
-4
Let v be 635231/14743 - 4/46. Solve -5*p + v - 63 = 0 for p.
-4
Let t = -143 + 176. Suppose -2*o = 2*a + 62, -2*o - 2*a = -6*a + 38. Let k = o + t. Solve b - k = -b for b.
3
Suppose -s - 5 = -g - 0*g, -17 = -3*g + 4*s. Let m be g + (19 - -3) + -7. Solve 0 = m*d - 20*d + 2 for d.
1
Suppose -53 + 5 = -5*d + 3*u, -2*u - 4 = -d. Let v be 24/10 + (-8)/20. Suppose -v*j + 5*j = 0. Solve -3*p + j*p = -d for p.
4
Suppose 61*w + 9*w - 1260 = 0. Solve -6*l + 36 = -w*l for l.
-3
Let h be ((-285)/(-36) - -2) + (-54 + 110)/672. Let o = -1 - -1. Suppose o = 3*d - 8*d - 5*y - 10, 18 = 5*d - 2*y. Solve 0*l = -d*l + h for l.
5
Let z = 305 - 300. Let y be ((0 - z) + -1)/(18/(-24)). Solve 0 = -y*g + 6*g for g.
0
Let r(f) = -f**3 + 17*f**2 - 28*f - 3. Let n be r(3). Solve -82 = -2*w - n*w for w.
2
Let b(a) = a - 3. Let w be b(3). Suppose -4*z = r - 4 - 0, 0 = 5*z - 4*r + 16. Let v be 10/35 + (351/21 - 1). Solve -4*s + w*s + v = z for s.
4
Let o(y) = y**3 + 115*y**2 + 112*y - 218. Let q be o(-114). Solve q*m + 48 = -12 for m.
-6
Let a(u) = -u**3 + 5*u**2 + 17*u - 3. Let h be a(7). Suppose h*b - 78 = -8*b. Solve 6*q - b = 27 for q.
5
Let q(a) = 4*a**2 - 25*a - 184. Let i be q(-7). Solve -i*r - 40 = -177*r for r.
-4
Let p(y) = -4 - y + 1 + 6*y - 10. Let x be p(4). Suppose -x*d = d. Solve -2*n = -d*n for n.
0
Let d be 639/15 + ((-54)/15 - -3). Let y = 36 - d. Let l be y/(-3) - 3 - (-13 - 0). Solve 0 = -0*h - 4*h - l for h.
-3
Let b(s) = 3*s**3 - 7*s**2 - 3*s - 19. Let v(a) = -a**3 - a. Let h(w) = b(w) + 2*v(w). Let n be h(8). Solve 0 = n*l - 11 + 26 for l.
-3
Let n(w) = -2*w**3 + 31*w**2 - 38*w - 43. Let q be n(14). Solve q*l + 5*l - 22*l = 0 for l.
0
Suppose 4*q = 5*f + 92, -3*q + 4*f + 53 = -17. Let t be (2*3/q)/(3/18). Suppose i - 27 = 5*b, t*b + 6 = -5*i + 60. Solve -i = -4*s + 4 for s.
4
Suppose 3*m + 8 = -4*o - 1, -m + o + 4 = 0. Let t be 18*((-6)/9 + m). Solve -v = -t*v - 10 for v.
-2
Suppose 27*d - 23*d + 44 = 0. Let x be (-2448)/(-396) + 2/d. Suppose 28 = x*r + 4. Solve 2*f + r = f for f.
-4
Let f = 83824 - 83819. Let v = 12 - 8. Solve -f*s + 4 = -v*s for s.
4
Suppose 19*r = 28*r - 2187. Let j = r - 243. Solve -5*c - 5 + 15 = j for c.
2
Let t be 7 - (-19 + (-18)/(-3)). Solve t = 3788*z - 3793*z for z.
-4
Suppose -46*l + 55*l - 270 = 0. Suppose -5*d = -2*d + 3*s - l, 3*s + 12 = 4*d. Solve -d = 4*y - 2*y for y.
-3
Let r(m) = 26*m + 44. Suppose -8*p + 12*p = -8, 5*k + 2*p + 9 = 0. Let w be r(k). Solve 0 = -3*u - 6*u - w for u.
-2
Suppose -5*s - 73 = 2. Let z be 6/9*s*2. Let o be (-2)/(16/z) + 9/6. Solve 4*c = 2*c - o for c.
-2
Let o = 2619 + -2601. Solve -o*g + g = 102 for g.
-6
Suppose -5*u + 105 = 5. Suppose u*w + 46 = 18*w. Let o = w + 25. Solve 5 = -o*t + 1 for t.
-2
Suppose 5*z - 4*u + 21 = 6*z, 2*u = 2*z - 12. Let k(g) = 2*g**2 - 18*g + 1. Let j be k(z). Solve 4*v + j - 13 = 0 for v.
3
Suppose -n + 2 = -0. Let d be (-1969)/4 - 0 - 141/188. Let p = 495 + d. Solve c = n*c - p for c.
2
Suppose -31*l - 45 = -1471. Suppose 44*b + 52 = l*b. Solve -b = -18*c + 46 for c.
4
Let i = 605 + -496. Suppose -7*x - 88 = -i. Solve x*g - 6*g = 0 for g.
0
Suppose 1033 = 24*m + 49. Suppose -4*c + 5*r = -m, c + c + 7 = -3*r. Solve c = d - 1 for d.
5
Suppose -3*n = -5*n - n. Suppose -3*x + 5*q - 5 = n, 3*x - q - 11 = -0*x. Suppose 0 = m + x*s - 10, 3*s + 0 = 3*m + 6. Solve -w - w = m for w.
0
Let b be (-3)/6 - 14/(-4). Suppose h - b = -2*h. Solve h = 5*t - 4 for t.
1
Let w be 8 - 10 - 8/((-40)/45). Solve -54 = -w*o - 89 for o.
-5
Let n(y) = -2*y**3 + 49*y**2 - 70*y + 26. Let g be n(23). Suppose -6 + 51 = 3*r. Solve g*a - 6*a = -r for a.
5
Suppose 65*t - 1568 = 73*t. Let u = -30 - t. Solve 3*j - 175 = -u for j.
3
Suppose 2*u - 7*u = 5*h - 5, 0 = -5*h + u + 11. Suppose h = -3*w + 44. Solve -4*i = -18 + w for i.
1
Suppose 3*n - 10 = n, -4*k + 5*n = 5. Let l = -5083 - -5087. Solve -21 = k*g + l for g.
-5
Let v(g) = -14*g**3 + 92*g**2 - 78*g - 11. Let m(r) = -5*r**3 + 31*r**2 - 26*r - 4. Let x(j) = 11*m(j) - 4*v(j). Let c be x(26). Solve c = 2*a - a - 4 for a.
4
Let m(l) = -17*l - 26. Let h be m(-9). Let r = h - 117. Suppose -r*y - 3*y + 52 = 0. Solve -1 = y*u - 9 for u.
2
Suppose 0 = -15361*p + 15368*p. Solve p*w = -40*w + 240 for w.
6
Suppose v = -5, 16*h - 21*h + 155 = -3*v. Solve 50 = -h*l - 6 for l.
-2
Suppose 0 = 2*f + 3*f + 2*c + 14, 2*c = -3*f - 14. Solve f = -18*i + 44 - 134 for i.
-5
Let h be (0 - 1/(-3))*-6 - -150. Let k = h + -145. Solve 0 = -5*g + k*g for g.
0
Let q(f) = 2*f**