 0 for c.
2
Let u = -3165 - -3170. Solve 2*h + 17 = 3*s, -u*s + 5*h = -19 - 11 for s.
5
Let s(n) = 6*n + 20. Let c be s(0). Suppose -3*o + 46 = c*o. Let f be -1 - (1 + 0 + -3). Solve b + 17 = 5*u - b, 0 = -o*u - 5*b + f for u.
3
Let u be 10/4*(2346/(-115))/(-17). Solve 4*i + 7 = d - 4*d, -4*d = u*i + 14 for d.
-5
Let d be 3*(-161)/21*-1. Suppose 0 = -10*u + d*u - 260. Solve 5*c + u = 5*v, -6 = c + c - 4*v for c.
-5
Suppose 12*y - 1 = 11*y. Let t(w) = 4*w**3 + w**2 + 2*w - 2. Let x be t(y). Solve x*u - 2 = 4*o - 14, 5*o - 15 = -4*u for o.
3
Suppose 0 + 840 = 155*h - 245. Solve -q = h*y - 3*y - 4, -4*y = -5*q + 20 for q.
4
Let w(n) = 8*n**2 - 8*n + 7. Let u be w(2). Let p = -21 - -26. Suppose p = 5*t - 3*z - 7, t = 3*z. Solve 2*d - 3*d - b = 6, t*d + u = -4*b for d.
-1
Let b = 3423 + -3421. Solve z + 10 = -b*i + 2*z, 0 = 3*z for i.
-5
Let o be 1920/(3 - 1)*(-2)/(-4). Suppose 3*x + 37*x - o = 0. Solve 18 = 2*i - 4*a - 8, -2*a = 4*i - x for i.
5
Let n be (2/(-6))/(13/(-156)). Let o be n*(1 - 2) - (-17 - -13). Suppose 5*v - m - 7 = 0, v + o*m - 9 = 4*m. Solve -3*w + 4*z - 4 = 0, -3*z - v = w - 4*z for w.
0
Let i = -16609 - -16614. Solve -i*g = -n - 21 + 1, 2*g - 10 = 0 for n.
5
Let v(k) = -k**3 + 27*k**2 + 34*k - 163. Let h be v(28). Solve 4*r + 7 = -g + h*r, -r = -2*g - 11 for g.
-4
Let d(r) = 5*r + 40. Suppose -9 = 3*i + 3*m, -3*i - 4*m + 36 = -5*i. Let j be d(i). Solve k = 0, j = 3*a + k + 12 for a.
-4
Let f = -7150 - -7152. Solve f*s - 1 = o - 2, 2*o - 3 = 3*s for s.
1
Let h(f) = -3*f**3 - 81*f**2 - 79*f - 24. Let q be h(-26). Solve z - n = q, 5*z + 14 = -0*z - 3*n for z.
-1
Suppose 49 = -4*i - 47. Let w = -14 - i. Suppose y + y = w. Solve 4*z - 20 = -y*g, -5*g + 2 = 3*z - 18 for g.
4
Suppose -30*c + 16108 + 2672 = 0. Let j = -622 + c. Solve 0 = -t - b - j, -t - 4*b - 19 = -0*t for t.
1
Let r(k) = -k**2 - 142*k - 677. Let f be r(-5). Solve -17 = -5*b + 2*x, -f = 4*b - x - 24 for b.
5
Let r be 18/(-6)*(-12)/9. Let m = 9595 - 9571. Solve -r*j - 5*q + m = -3*j, -2*j + 4 = -q for j.
4
Let l(v) = -21*v - 51. Let r(s) = 22*s + 49. Let x(k) = 6*l(k) + 5*r(k). Let i be x(-4). Solve 2*q + i = 4*z + 3*q, -3*z = q - 1 for z.
2
Suppose 287 = 10*r - 473. Let l = r + -74. Suppose 0*w - 2*w + 4 = 0. Solve -o - 3*p = -14, -17 = -o - l*p - w*p for o.
5
Suppose -4*m - 28 = -5*b + 7, 2*b + 19 = -5*m. Solve -3*q = -4*c - 1, -4*q - b*c + 0*c = -18 for q.
3
Let k = 46 + 99. Let b = 147 - k. Solve h + b*t - 5 = 0, -t + 2*t + 25 = 5*h for h.
5
Let w be (-42)/105*(-225)/10. Solve -n = -3*m + 5, 6*n - 2*m = w*n - 18 for n.
4
Let h = 552 - 1129. Let w = -573 - h. Solve 3*s + 20 = -w*d, -2*s + d = 4*d + 14 for s.
-4
Let f = 74 - 47. Let y = f - 24. Solve 5*w + 15 = -5*s, -w + y = 4*s - 2*w for s.
0
Let p be 2/(5/(-26 - 4)). Let n(k) = -k**3 - 11*k**2 + 14*k + 27. Let s be n(p). Suppose -5*u = -13 + s. Solve -u*w - 1 + 6 = 3*d, 5*w + d = 6 for w.
1
Let f(x) = x**2 + 422*x + 38916. Let l be f(-136). Let u(n) = n + 2*n - 2*n. Let b be u(0). Solve 2*t - 8 = -c - t, -3*c + 2*t - l = b for c.
-4
Suppose 0 = 56*q + 610 - 2010. Solve 5*i + 4*c + q = 0, 44*i - 49*i - 25 = 5*c for i.
-5
Let m = -4 + 13. Suppose -2*f = -0*f + 200. Let g be (f/(-120))/((-1)/(-6)). Solve 3*o - 2*j + m = j, -g = 3*o - 5*j for o.
-5
Suppose 0 = -2*n - 4*y - 8, -5*n - 40 = 4*y - 38. Solve -2*j = 5*u - n, 2*u = -59*j + 57*j + 2 for u.
0
Suppose 4*r = -c - 16, -12*c - 3*r - 33 = -66. Solve -z = 2*n + 1, -c*z + n - 4 + 0 = 0 for z.
-1
Let h(x) = x**3 - 51*x + 144. Let v be h(4). Let o(k) = 3*k - 4. Let b be o(3). Solve -6 = 3*z - b*a - 41, -v*z - a + 16 = 0 for z.
5
Let j(a) = 1151*a + 4606. Let v be j(-4). Solve 37*q = 2*u + 33*q, -u - v*q = -12 for u.
6
Suppose -5*w - 2 - 18 = 0. Let o be 3 - ((60 - 4) + w). Let x = -19 - o. Solve 0 = -5*j - k - 4*k - x, 3*k + 15 = 0 for j.
-1
Let b be ((-12)/3)/4 + 3. Let j(w) = 3*w - 10. Let g be j(-13). Let a = 56 + g. Solve 5*f + 3*m + a - 1 = 0, -b*m = -3*f - 15 for f.
-3
Let t(c) = 97*c - 54. Let s be t(4). Let z = -331 + s. Solve 0 = -d - d + z*y - 5, 5*y + 21 = -4*d for d.
-4
Suppose -7*y + 4*y = 2*t - 72, -y - 4*t = -34. Suppose -8 = -y*a + 18*a. Let q be (-126)/(-8) - 9/12. Solve 3*v = 3*m + q, a*m + m = v - 7 for m.
-1
Suppose -4*l - 12 = -7*l - 3*y, -l + 5*y = -4. Suppose 3*h + 5 = h - 5*x, -h + 4*x + l = 0. Solve -1 = -2*b - 4*p + 9, -2*b + 3*p - 4 = h for b.
1
Let m(c) = -c**3 - 46*c**2 - 85*c + 138. Let a be m(-44). Solve s - a = -5*p, -s - 3*p + 4 - 2 = 0 for s.
-4
Let i = 203 - 196. Let f(a) = a**2 - 5*a - 8. Let t be f(i). Solve t*u - 9 = -3*p + 3*u, -3*p - 4*u = -9 for p.
3
Suppose 20*j - 19*j - 12 = 3. Solve -3*a - j + 11 = -b, 5*a = -3*b + 12 for a.
0
Let z be 4/10 - (-976)/610. Solve -a = 5*m - z*a + 11, -m + 2*a = -5 for m.
-3
Let u = -313 - -343. Suppose 36*t - 30 = u*t. Solve 4*g + t*n + 22 = 3*g, -2*g - 4*n - 14 = 0 for g.
3
Let m = -3 - -3. Suppose -2*w + 39*s = 4*w + 40*s - 14, s = 2. Solve -2*d - f + 4 = 12, d - w*f - 6 = m for d.
-2
Let s = -6811 - -6815. Solve -c - m = 14 - 12, c + 5 = -s*m for c.
-1
Let g(p) = 14*p - 7. Let f(n) = n + 2. Let r(v) = -7*f(v) - g(v). Let x be r(-1). Solve -3*c = -5*u + c - 17, -5*c + x = u for u.
-1
Suppose 0 = 1901*c - 1908*c + 7. Let u be (0 - c)*-5*(-24)/(-60). Solve 0 = u*f + z + 7, -z = -f + 4*f + 10 for f.
-3
Suppose -3*r - 2*r + 10 = 0. Let o = 94 + -92. Solve q + o + 11 = -3*n, r*q = 3*n + 10 for q.
-1
Suppose 0 = 5*p - 4*a - 49, 5*p + 4*a - 30 = -29. Solve 4*r = p*l - 16, 8*l - 4 = r + 6*l for r.
-4
Let j(s) = -4*s**2 - 52*s + 5. Let o be (0 - (30 - 4))/2. Let p be j(o). Solve -3*i = -4*m - 2*i + 15, -p*m + 2*i + 15 = 0 for m.
5
Let q(s) = 61*s - 102. Let g be q(5). Let z = -200 + g. Solve -u + z = -2*k + 6*k, 0 = -5*k + 4*u + 9 for k.
1
Let n(i) = -i**2 + 24*i - 54. Let v be n(23). Let g = v - 43. Let t = -70 - g. Solve -u + 7 = y, y - 26 = -t*y - 2*u for y.
4
Suppose 2*x - 5*b = -1814, 127 = -x + b - 777. Let l = -892 - x. Solve -u - l + 3 = -2*i, -5*u = -5 for i.
4
Suppose 217 - 269 = -132*l + 344. Solve -2*z + g = -11, 10*z + l*g = 5*z + 11 for z.
4
Suppose 4*g - 47*g + 165 = 36. Solve 5*v = 3*l - 16, -2*l - 3*l = -g*v for l.
-3
Suppose 19*r + 27 = 46. Suppose 2*f - 5*k = 13, 2*f - 7 + r = -2*k. Solve -2*q - 5 = l, 5*l + 21 = -f*q + 2 for q.
-1
Let o(k) be the second derivative of -k**5/10 + k**3/2 + 39*k. Let m be o(0). Solve m = -3*x + 4*x + 5, -3*l + 5*x = -22 for l.
-1
Let r be (-14596)/(-7387) + (-6)/(-249). Solve r*i - 65 + 71 = -n, -n - 6 = 3*i for n.
-6
Let n = 2168 - 2163. Solve 0 = -8*c + 5*t - 29, -n*t + 16 = -3*c + 2 for c.
-3
Let w be (24/(-60))/((-4)/240*-3). Let h(m) = 7*m + 56. Let n be h(w). Solve 3*k + 2*g - 2 = 0, -4*k - 3*g + n*g + 1 = 0 for k.
4
Let q be 4 - (-2 - (-4 + 2)). Let h = -15565 - -15569. Solve 5*w + 2 = 2*f, h*w - 3*f + q = 1 for w.
0
Suppose -8*w + 2 = -9*w, -3*g - w = -22. Suppose -6*m = 2*q - g*m - 8, 2*q - 20 = 5*m. Solve -2*h + 0*x = -3*x - 19, q = h + 3*x + 4 for h.
5
Suppose a + 2 = -0*a - g, 4*a + 2*g = -2. Let y be (-9)/(-6*(14/16 - a)). Let k be (-45)/6*2/y*4. Solve -2*s - 20 = -s + k*q, 2*s = -q - 4 for s.
0
Let z be 61 - (-2 - -3 - 1). Let o be (-10)/(5 + -3) + 5/(25/(-195)). Let d = o + z. Solve -7*a + 3*a - 8 = -4*j, d = j + 4*a for j.
5
Let o be (-10)/(-6)*-3 - -11. Let x be (4 - o)/(-4)*(-1 + 1). Solve -2*d + 0*d + 2*y = 8, x = 4*d - 2*y + 10 for d.
-1
Let u(t) = t**2 - 250*t + 763. Let x be u(3). Solve -2*k = -4*d - 18, -15*d = -2*k - 10*d + x for k.
1
Suppose 2*w + 10 = q - 15, 0 = 5*q + 3*w - 177. Let j be (q/110 - 1/(-5))*10. Solve -5*z = -2*p - 3*p + j, 0 = 3*z + 4*p - 18 for z.
2
Let t(s) = -8*s**2 - 312*s + 661. Let p be t(-41). Let v be (-1 + (0 - 1))*-1. Solve -5*a + b + 7 = 0, -5*b = a - v*b + p for a.
1
Let g be 254/50 + 268/(-3350). Solve -f + 5*f - g*b + 5 = 0, -f - 2*b = -15 for f.
5
Let l be (1 - 18)*(-12)/60 + (-140)/350. Solve 21 = 5*m - 2*w, -l*w + 1 = m + 7 for m.
3
Let u(l) = -32*l + 34. Let f(g) = -17*g + 17. Let i(j) = -5*f(j) + 2*u(j). Let h be i(1). Solve 3*k + h*o - 1 + 2 = 0, 13 = -3*k + 2*o for k.
-3
Suppose 11*d = n + 13*d - 15, 2*n - 2*d + 6 = 0. Solve 0 = n*b - 3*t - 24, -21*b - 2*t = -24*b + 19 for b.
3
Let q(y) = y**2 + 1354*y + 8090. Let i be q(-6). Solve -4*v - 2*l + 6 = 0, -5*v = -0*l + i*l - 10 for v.
4
Let f