c.
-3
Let z be -1 - (-2 + (-2 - 1)). Suppose z*u + 3*u = -105. Let x be (-57)/u - (-6)/30. Solve x*b - 15 = -b for b.
3
Let n = 35446 + -35440. Solve -n = -8*i - 70 for i.
-8
Let o(s) = -s**3 + 19*s**2 - 61*s - 13. Let y be o(15). Let d = 42 - 8. Let g = d + y. Solve 0 = 3*q - g*q - 15 for q.
-5
Let d = 4 + 1. Suppose -2*l + 124 = 14*m, -50*m - l - 8 = -53*m. Solve -m*t = -d*t + 4 for t.
-2
Suppose -4*t = 94 + 58. Let v = t + 40. Suppose 4*b - 3*b + 2*o = 10, -v*b + o = 5. Solve i = -b*i for i.
0
Let k(j) = -5*j + 113. Let z be k(-29). Suppose 6*q - z = -240. Solve 0 = -q*b - 9 for b.
-3
Suppose 13*b - 128 = -3*b. Suppose b*g = 3*g. Solve g = -t - 2*t for t.
0
Let w(c) = 45*c - 88. Let v be w(10). Let b = 362 - v. Solve -2*p - 12 + 6 = b for p.
-3
Suppose 19*v - 15*v = -3*p + 114, 164 = 5*p - 2*v. Solve -p*y + 20 = -30*y for y.
5
Suppose 0 = 2*n - 2*c - 67 - 107, 11*n + 5*c - 909 = 0. Solve -88*g + 60*g + n = 0 for g.
3
Let y(m) = -218*m**2 + 108*m**2 + 109*m**2 - 1 + 18*m. Let l be y(15). Solve 0 = 5*a + 6*a - l for a.
4
Suppose -2811 + 1899 = -38*x. Solve x - 26 = -2*g for g.
1
Let t be (15*(-16)/84)/((-160)/896). Solve -126*d + 134*d + t = 0 for d.
-2
Let n = -287 - -295. Suppose 4*q = 4*g + 36, -4*q + 29 = g + n. Solve 9*x - q = -33 for x.
-3
Suppose 54*u - 11*u = 645. Solve u*l - 30*l + 75 = 0 for l.
5
Suppose 7 - 3 = 2*v. Let k = 10 + -582. Let u = -555 - k. Solve -3*y + v = u for y.
-5
Let o = 5803 + -5788. Solve o*r = 7 + 23 for r.
2
Let s(x) = -4*x - 46. Let l be s(-12). Let y be (-34)/(-85) + 38/5. Solve -2*h - l*h + y = 0 for h.
2
Let n(s) = -15*s**3 + 12*s**2 + 17*s + 12. Let t(i) = -8*i**3 + 6*i**2 + 9*i + 7. Let z(o) = 3*n(o) - 5*t(o). Let a be z(-1). Solve -7*b + a = -4*b for b.
2
Let f(d) = d**2 - 8*d + 4. Let y be f(5). Let z = y - -18. Suppose 16 = -0*g + 4*g. Solve -g*l - 6 = -z*l for l.
2
Let u(s) = s**3 + 71*s**2 + 448*s + 12. Let r be u(-64). Solve -95 = -7*g - r*g for g.
5
Suppose 4*v - 92 = 2*x, 0 = 3*v - 2*x + 4*x - 69. Solve -7 + v = 16*u for u.
1
Let c(k) = -28*k + 49. Let t be c(6). Let p = -117 - t. Solve -v = v + p for v.
-1
Let i = -23915 - -24707. Solve 803*f - 44 = i*f for f.
4
Let n = 141 - 131. Suppose -n*v + 22*v = 288. Solve 0 = 2*k + 4*k + v for k.
-4
Suppose -5*t = g - 45, 0 = -2*g - 2*t + 3*t + 145. Suppose 0 = -5*p + 2*s + g, -4*p - 5*s = p - 70. Suppose 1 = -x + p. Solve 0 = -3*o + x - 1 for o.
4
Suppose 3 = 5*o - 7. Suppose -4*n + 8 = 4*f, -31 = 515*n - 518*n + 2*f. Solve o + n = -3*x for x.
-3
Let t(j) = -4*j + 5 + 0*j - 9*j. Let y be t(-2). Suppose y = -3*p + 43. Solve s - p = 3*s for s.
-2
Suppose 348 = 14*t + 3848. Let p = 256 + t. Solve -6 = p*r - 8*r for r.
3
Let c be (36/8)/(-3)*(-26)/3. Let d = c + -13. Solve d*p = 6*p - 12 for p.
2
Let g(z) = -262*z + 821. Let r be g(3). Solve 0 = -41*y + 36*y + r for y.
7
Let v(r) = 4*r**2 - 8*r + 2. Let p be v(3). Suppose 3*h - 2*g + p = 0, -h - 5*g + 14 = -g. Let j be (-84)/(-12)*(h + 4 - 1). Solve 0 = -5*x + j*x + 4 for x.
-2
Let c = 54 - 50. Let q be (-16)/6*(-6)/c. Let w be (6 + -9 - -6)*q/6. Solve -w*y = -y for y.
0
Let o(z) = 3*z**3 - 72*z**2 + 192*z + 7. Let s be o(3). Solve 142 = -21*n + s for n.
-6
Suppose 0 = 2*d - 20 + 54. Let f = d - -21. Let v(y) = -y**2 + 5*y - 4. Let j be v(f). Solve 0 = 3*a - j*a for a.
0
Let w be -1 + 139 - -11 - (-21)/(2 - 5). Solve -48 = w*f - 130*f for f.
-4
Let g be (6/(-5))/(3/(-10)). Suppose -8*v + 23 + 1 = 0. Suppose 4*c - 45 = -5*a, -c - 5 = a - v*a. Solve -c = 3*j + g for j.
-3
Suppose 6*n - 31 + 4831 = 0. Let k = n + 804. Suppose -2 = 2*y - 4. Solve -k*s - y = -5 for s.
1
Let z(b) = 16*b**2 - 51*b + 189. Let i(y) = -9*y**2 + 26*y - 95. Let u(s) = -7*i(s) - 4*z(s). Let o be u(6). Solve o*r + 10 = 30 for r.
4
Let j = 26 + -22. Suppose j*o = 2*o - w + 5, -2*w = -o. Suppose 2*d + 0*d - 21 = -5*k, 4*k + o*d - 16 = 0. Solve -m = -k*m - 4 for m.
-1
Let r be 24/16*3*2. Suppose 4*q = -3*s - 1, 13*s + 29 = 3*q + 11*s. Solve r*h - q*h = -8 for h.
-2
Suppose 8*h + 63 = 15. Let d be (5/(-3))/(2/h). Solve n + d = -0*n for n.
-5
Let o = 3928 - 3851. Solve -12 = -75*w + o*w for w.
-6
Let f be (-1)/(-8)*1 + (-16725)/(-600). Let c be ((-12)/27)/(f/(-126)). Solve -c*j = 2*j - 5*j for j.
0
Suppose -12*a + 74 = 26. Suppose 0 = -3*o - a*p + 29 - 4, 4*o - 5*p - 54 = 0. Solve 0 = -5*c + o - 6 for c.
1
Let y = 852 - 859. Let o(f) = -5*f**3 - 36*f**2 - 9*f - 6. Let c be o(y). Solve -c*k + 15 = -11*k for k.
-5
Suppose 48*v - 65*v = -51. Solve -v*o - 36 = -9*o for o.
6
Suppose -f = 3*x - 7, 0*f - 25 = 5*f + 3*x. Let j(n) = -4*n - 29. Let k be j(f). Solve -k*m = -2*m for m.
0
Suppose 19 = -20*t - 21. Let k be (-13 - 6 - (-2)/2)/t. Solve -k*p + p = -p for p.
0
Suppose 46*c - 18*c = 26*c + 220. Solve 0 = -c*f + 101*f - 72 for f.
-8
Let c(m) = -2 - 6*m**2 + 9*m - 25*m**3 - 16 + 26*m**3. Let b be c(5). Solve -7*j = -b*j for j.
0
Let h(p) = 2*p**2 - 15*p + 69. Let v be h(6). Solve -69*g + 108 = -v*g for g.
6
Let l(z) = 18*z**2 + 2 + 57 + 19 + 4*z + z**3 - 1. Let m be l(-18). Solve m = 5*w - 0 for w.
1
Suppose 19*m + 160 = 27*m. Suppose -k - 4*k = -m. Solve 9*q - k*q = 25 for q.
5
Suppose 4*o - 4*b - 120 = 0, o - 3*b - 1041 + 1013 = 0. Solve o*d = 30*d - 4 for d.
-4
Suppose 0 = 56*g - 59*g + 63 - 0. Solve 0 = -o - g + 15 for o.
-6
Let c be 9/3 + -67 + 64. Solve c = -64*n + 71*n for n.
0
Let s(q) = -62 + 5 + 7*q - 4*q - 6*q. Let d be s(-19). Solve d = k + 1 - 0 for k.
-1
Let t = 2815 - 2813. Solve 16*r = -t*r for r.
0
Suppose -11540 = 12*v - 13964. Solve v*l = 209*l - 7 for l.
1
Suppose -16 = -4*z + 2*o, 3*z + 5*o = 3*o + 19. Let y(f) = -f**2 - 21*f - 18. Let m be y(-20). Let u = z - m. Solve 5*b = u + 2 for b.
1
Let r be (-438)/(-8)*25/45*(-384)/(-80). Solve -r*o + 154*o = -48 for o.
-6
Let j(p) = p + 19. Let h be j(-17). Suppose -h*u = u + 165. Let m be u/(-33)*2*3. Solve 2*x = -0*x - m for x.
-5
Suppose 7 = -2*u + 15. Suppose 3*d + 6 + 1 = u*v, -2*v - 4 = -4*d. Suppose -v*z = 33 - 33. Solve z = -k - k for k.
0
Let o be (-1937)/(-894) + (1 - (1/6 - -1)). Suppose 0 = 5*t - j - 50, -3*j = -5*t + 2*j + 30. Solve -o*b - t = -3 for b.
-4
Suppose 2*a + 3*d - 24 = a, -2*a - 2*d + 40 = 0. Suppose -s + 3 = 0, -5*s + 1 = -2*q + a. Solve -19*u = -23*u - q for u.
-4
Let q = -3551 + 3611. Solve 38*y = 48*y + q for y.
-6
Let h(c) = -c**2 - 4*c - 16. Let o be h(-4). Let q be 64/(-12) - o/12. Let z(m) = m**2 + 3*m + 1. Let a be z(q). Solve 0 = -a*y - 15 - 0 for y.
-3
Let w be (0 + 0)/(-3 + 2). Let z(b) = -b**2 + 3415*b + 82564. Let r be z(-24). Solve w = 3*l - 37 + r for l.
3
Let g(s) = 2*s**3 - 12*s**2 - 2*s + 14. Let i be g(6). Solve 10*v - i - 18 = 0 for v.
2
Let a = -2 + -4. Let j be 6/a - (-7)/1. Solve -2*n - 32 = j*n for n.
-4
Let f = 317 + -592. Let m = f - -280. Solve -m*i - 20 = -i for i.
-5
Let b(n) = -3*n**3 - 13*n**2 - 23*n - 60. Let z be b(-6). Solve -z = -98*w + 55*w for w.
6
Let m = -4180 + 4220. Solve -25*b = -17*b + m for b.
-5
Let y(i) = i**2 - 9*i + 30. Let s be y(-6). Let f = s - 119. Solve 0*j = j + f for j.
-1
Let k = 270 + -155. Suppose -k = 8*b + 109. Let p = -13 - b. Solve 2*d + p = -d for d.
-5
Suppose k + 218 - 72 = 3*u, -4*u = 3*k - 173. Suppose u*y = 51*y - 80. Let f = 369 + -366. Solve -2*l - y = f*l for l.
-4
Let x = 3232 + -3080. Solve x*a - 42 = 138*a for a.
3
Suppose -h - 11 = -4*a + 2, 0 = -h + 3. Let s(p) = -1882*p + 5. Let x be s(0). Suppose 2*i - 51 = -i. Solve i = a*d + x for d.
3
Suppose 2*z = 3*d + 157 + 843, -10*z + 4*d = -4978. Solve 45*q + 26*q = -z for q.
-7
Suppose -5*j - 18 = 13*y - 17*y, -4*j + 24 = 0. Solve x = -13 + y for x.
-1
Suppose 0 = 9*t - 80 + 8. Suppose -16 = -u + 2*g, 3*u - t*g + 9*g - 41 = 0. Solve 5*v + 2*v - u = 0 for v.
2
Let d(k) = -32*k - 186. Let j be d(-17). Let h = j + -356. Solve 8*i - 6 = h*i for i.
1
Let j = 925 + -918. Suppose 30*z - j = 83. Solve -22 = z*u - 13 for u.
-3
Let n be 34 + -29 + 6/2 - -13. Solve n*b + 11 = -10 for b.
-1
Suppose -4*z - 5*l + 313 = 0, -4*l = 4*z + 67 - 375. Solve 5*q + z = -7*q for q.
-6
Suppose 3*t - 246 = 5*k, 8*k - 11*k - 159 = 2*t. Let j be (-606)/k + (-8)/(-68). Solve 8*y = j*y - 20 for y.
5
Let a be ((-891)/81)/((-4)/15*(-3)/(-12)). Solve 12*c - a = -129 for c.
3
Let h(s) = 2*s**2 - 7*s - 3. Let z be h(5). Suppose 0 = -z*k + 15*k - 21. Suppose 9*t - k*t 