 g be c(3). Let x(m) = m + 12. Let d be x(g). Suppose -d*t = 6 - 16. Solve 0 = -2*o - t, 5*p - 4*o = -15 - 1 for p.
-4
Suppose n - 12 = -3*n. Solve -22 = 2*b - 4*l, 0*b - n*b = l + 5 for b.
-3
Let d be (1 + 0)/(22/154). Let u(s) = -s**3 - s**2 + s. Let t be u(-2). Let r be 0 - 1*1*-5. Solve 0 = -b - r*j + 2 + d, -t*j - 10 = -3*b for b.
4
Let z(u) = -u**3 + 6*u**2 + 6*u. Let b be z(7). Let h = b + 9. Solve 0 = y + s + 3, 3*y - 4*y - h*s = 3 for y.
-3
Suppose -43 + 112 = q. Suppose -n + 2*n - q = 0. Suppose -h + n = 2*h. Solve z = 5*u - h, -4*u = 4*z - 5 + 1 for u.
4
Suppose 5*w - 3*w = 3*i - 99, 0 = 4*w + 5*i + 165. Let a = -17 - w. Let b be (-4)/14 - (-92)/a. Solve 4 = -3*h - 5, -b*u = h + 15 for u.
-4
Let x(w) = -2*w**2 - 4*w - 4. Let t be x(-3). Let r = t - -13. Solve -3 = 2*i + i - 3*z, -r*i + 21 = 5*z for i.
2
Let q = -5 - -8. Suppose -14*i - 22 = -64. Solve u - 6 = 4*u, i*n = q*u + 21 for n.
5
Suppose 0 = 4*y - 4*p - 4, y + 5*p - 22 = -3*y. Suppose 0 = -0*o + y*o. Solve s - 5*z + 15 = o, s + 4*s + 3*z - 37 = 0 for s.
5
Let p be 55/(-33)*(-6)/2. Solve 0 = 5*y - 4*b + 7*b + 3, 17 = y + p*b for y.
-3
Let a be (8/12)/((-1)/(-6)). Solve -v = -a*z - 19, -7*z + 2*z - 2*v = 14 for z.
-4
Let t(h) = 0*h**2 - h + h**2 - h**3 - h**2 - h**2. Let a be t(0). Suppose a = y - 5 - 17. Solve -y = f - 4*f - 4*w, 5*f = 4*w - 6 for f.
2
Let y(r) = -r**3 - 2*r + 2. Let g be y(3). Let m be g/(-3) - (-12)/18. Solve -5*s + 3*z + m = 0, 4*s = s + 5*z + 13 for s.
1
Let x(p) = -p**2 + 7*p + 2. Let v be x(5). Solve -4*w = -v, w - 3 = 2*c + 2*w for c.
-3
Suppose -4*p - 6 - 2 = -2*x, 8 = 2*x - 5*p. Let l(c) = -5*c - 7. Let d be l(-6). Solve 0*o + 3*u - d = -x*o, 0 = -5*o + 2*u for o.
2
Suppose 0 = y + 5*i - 17, -2*i - 46 = -4*y - 0*i. Solve -15 = -5*h + 3*r, -3*h - r = -7*h + y for h.
3
Let z(q) = -q**2 - 6*q - 3. Let g be 14/(3/(3/2)). Suppose 4*s = -9 - g. Let h be z(s). Solve 18 = h*o + 4*j, 4*o + 0*j + 2*j = 12 for o.
2
Let f be ((-3)/(-5))/(1/15). Suppose -a + 5 = -f. Solve 24 = 2*j - 4*r, -a = -2*j - 0*r + 2*r for j.
2
Suppose 4*x - 4*s = 36, 3*x = -x - s + 21. Let g be (-45)/6*(-4)/x. Suppose z = -0*w - w, -w = 2. Solve 4*u = g*y - 1, 3*u - 3 = 2*y - z for u.
1
Suppose h = -2*h - 51. Let k = -12 - h. Let v = 70 + -45. Solve -3*l - 2*a + 16 = 2*l, 0 = -5*l - k*a + v for l.
2
Let a be (-2 + 17 + -3)/(2 - 0). Solve 0 = -4*h + a*o - o + 24, 5*h - 2*o - 13 = 0 for h.
1
Suppose 10*v = 4*v. Let g = 23 - 7. Solve -k + 4*b - g = 0, -3*k + v*b + 32 = 4*b for k.
4
Let c = -16 - -16. Solve c = 5*i - 2*u + 20, -3*u + 15 = i + 2 for i.
-2
Suppose 0 = 5*i - 25 + 5. Solve 0*k = 3*w - k - 2, -5*k = -i*w + 10 for w.
0
Let m be 72/20 - (-6)/(-45)*-3. Solve -3*c - d - m = 0, 4*c + 3*d = -2*d + 2 for c.
-2
Suppose -13 = 4*j + 3. Let x be ((-12)/10)/(j/10). Let f be (x/(-2))/((-1)/8). Solve -z - 4*d + f = -3*z, -2*d + 14 = -5*z for z.
-2
Suppose 5*r + r = -36. Let j be (8/(-14))/(r/21). Solve -7*y + 3*y + 5*g = -32, -y = j*g + 5 for y.
3
Suppose 0*y - 4*y + 60 = 0. Solve 3*s + y = -3*l, 3*s + 0 = 4*l - 8 for s.
-4
Let o(a) be the first derivative of a**4/4 + 2*a**3/3 - a**2 + a - 3. Let b be o(1). Solve -3*k + b*k = -5*y + 6, 2*y - 3*k + 8 = 0 for y.
2
Suppose -c + 0*c = 0. Solve 0 = 5*r - c*q - q, 0 = 2*r - 2*q for r.
0
Let l(i) = -3 + 2*i**3 + i**3 + 2*i + 2 - i**3. Let c be l(1). Solve -3*h - c = 3*j, 3*j + 4*h + 3 + 5 = 0 for j.
4
Let k = 16 - 13. Solve k = -f + 4*f, -f + 6 = -5*l for l.
-1
Suppose -5*j - k = -14, 4*j + 10 = 5*j + 2*k. Suppose 3*w - j = 2*w. Solve -3 = s - 2*q, -7*s + w*q + 12 = -3*s for s.
5
Suppose p = 3*p - 46. Let q = -11 + p. Solve f - 3*t + t = -q, -f + t = 8 for f.
-4
Suppose -3*b + 0 = -f - 9, -5*b + 23 = f. Solve 0 = -b*r - 4*a - 12, 3*r - 7*r + 2*a - 24 = 0 for r.
-5
Suppose -3*z = z - 24. Let u be 6/(-8) - 415/(-20). Let k be (-12)/(-8)*u/z. Solve 3*i + 5 - 1 = k*a, -2*i - 1 = -5*a for a.
-1
Suppose 46 = 5*h + 1. Solve -5*m - 15 = -s, 4*m - m = 3*s - h for m.
-3
Let v(l) = -2*l**3 + 2*l**2 + l. Let b be v(-1). Suppose 0 = -4*k + b*k. Solve k = -f + 2*i - 8, -3*f - i - 2 = -13 for f.
2
Suppose 4 = -3*h + 10. Let b(t) = t**2 - 5*t - 6. Let r be b(6). Suppose r = h*k + k. Solve k*y + 5*y + 35 = 5*g, 2*g - 10 = 0 for y.
-2
Suppose r = -3*w + 1, 0 = w - 4*r - 10 - 12. Let y be (0 - w)/(-5 - -3). Solve -17 = -3*n - z, n - 3*z + y = -10 for n.
4
Let i(k) = 2*k**3 + 4*k**3 + k - 5*k**3 + 2 + 4*k**2. Let d be i(-3). Solve d = -2*y - 5*r, 4*r - 7*r + 4 = -y for y.
-4
Let l = -64 + 66. Solve 0 = l*r + 8, -5*k + 21 = -4*k - 4*r for k.
5
Suppose 112 = -0*p - 4*p. Let w be 26/7 - 8/p. Solve -3*v + 7*n = 2*n, w*v + 5*n + 35 = 0 for v.
-5
Suppose 24 = 2*k - 4*v, -5*k + 5*v = -17 - 18. Suppose -34 = -k*n - 4*o, 0 = 2*n - 0*n + o - 43. Solve 4*u + 3 - n = -5*j, 2*j + 5*u - 8 = 0 for j.
4
Let i be 0 - -2 - (1 + -3). Let w(x) = x**3 + 2*x**2 - 4*x - 1. Let k be w(-3). Suppose 5*l = k*f, 5*f = 5*l + f. Solve y = 3*a, l*a = -i*a + 2*y for a.
0
Suppose -3*u + j + j = -25, -3*u = -4*j - 35. Solve 4*v + 2*y - 26 = 0, 35 = 8*v - 4*v + u*y for v.
5
Let d(p) be the second derivative of -p**5/20 + p**4/2 + 5*p**2/2 - p. Let g be d(6). Solve 0 = -2*n - n - l + 6, -g*n - 2*l = -10 for n.
2
Suppose 0*v = v + d - 1, -2*v = 4*d + 2. Suppose -4*g - 1 = -v*g, j + 2*g - 1 = 0. Solve l - 16 = -j*y, -5*l - 5*y + 28 = -12 for l.
4
Let a be -28*((-21)/(-6))/7. Let w be 4/a - 4/(-14). Solve 4*o = -w*o - 3*v + 2, -5*o = 2*v + 1 for o.
-1
Let f(y) = y**2 - y + 4. Let n be f(0). Solve -12 = n*w + r, -w = -0*r + 5*r + 3 for w.
-3
Let o be (-30)/(-14) + 1/(-7). Let v be (2/o)/((-4)/(-8)). Solve r - v = -2*j - 3, -4*r + 7 = -3*j for r.
1
Suppose g - l + 5 = 0, 0 = 2*g - 4*l + 8 + 12. Let r(f) = f**2 + 4. Let y be r(3). Let u = 11 + -7. Solve -s - 8 = -u*n, g*s + s = -3*n + y for s.
4
Let w be 1 + 1*(1 + 4). Solve q - j = -w, -3*j + 3 = -0*j for q.
-5
Let i be 20/(40/(-8)) + 3*2. Solve 13 = x - 4*g, 0 = -2*x - i*x - 2*g - 20 for x.
-3
Suppose -4*q + 2*m = -8*q + 316, -2*q - 5*m + 174 = 0. Let x = -40 + q. Solve -3*f + f = -2*d - 16, -4*f = -5*d - x for d.
-5
Let o(n) = n - 5. Let j be o(7). Solve 2*q - 2 = 5*v, j*q - 1 = v + q for v.
0
Let w be 84/5 - 32/40. Let b be 2/2 + w/4. Solve -k + 13 = 5*i, 0 = -2*k + i - b*i + 8 for k.
-2
Let q be (-3 + 3)/(2 - 1). Suppose 5*l + 23 = 4*x, -6 = x - 4*x. Let j = q - l. Solve -v - 3 - 5 = -j*d, 7 = 2*d + v for d.
3
Suppose -k = -x - x - 4, -26 = -5*k + 4*x. Let q be (-2)/k + (-1)/(-3). Let h be (0 + q)/(-2 - 0). Solve z - 2*z + r = -3, -3*r + 6 = h for z.
5
Let t = 90 + -88. Solve t*m = -5*i - 6, -8*i = -4*i for m.
-3
Let v(d) = -d**2 + 7*d - 2. Let a be v(3). Suppose x + 0*x - a = 0. Let z(q) = q**2 - 3*q. Let u be z(4). Solve f + x = -2*h, -5*h + u*f - 35 = -10 for h.
-5
Let u(n) be the second derivative of n**4/12 + 11*n**3/6 + n**2 + 4*n. Let b be u(-11). Solve -30 = 4*s + 5*r, b*s + 11 + 1 = -r for s.
-5
Let u(r) be the first derivative of r**2/2 + 3*r - 3. Let y be u(3). Solve 3*p = -4*c + 5*p - 12, -c - p - y = 0 for c.
-4
Suppose 3 - 11 = -4*w. Solve 14 = 2*h + 2*h + w*i, 0 = -h + 3*i + 7 for h.
4
Let q = -6 - -10. Suppose q*a = 2*a + 2. Solve 3*d = f - 7, 0 = -3*d - 0*f + 4*f - a for d.
-3
Let n(x) = 2*x + 10. Let m(u) = u**2 - 11*u + 11. Let j be m(9). Let q be n(j). Let z be 10/q*(-14)/35. Solve r + z = 3*l - 2, 2*l = 2*r - 2 for r.
3
Suppose -4*x = -5*v - 17, 5*x - 10 = 5*v + 5. Let f = 2 - x. Solve 0 = -3*w - 0*j - f*j, -11 = -2*w + j for w.
4
Let p be ((-4)/(-10))/((-3)/(-30)). Suppose -3*f = 2*s - 9, p*s - 26 = f + f. Let n be (-4)/((s/(-21))/1). Solve l - 4 + 5 = c, -5*l - n = -2*c for l.
-4
Suppose m + 0*h = -h, -4*h = 5*m. Let k(j) = -2*j + m*j - j - 3. Let r be k(-2). Solve -2*d = -4*y + 22, -r*d = 4*y - 2*y + 1 for d.
-3
Let q be 3/(9/(-2))*-6. Let j(z) = z**2 - 18*z + 56. Let s be j(14). Solve 3*c - 3*w = -25 + 1, s = q*c + 3*w + 4 for c.
-4
Let a(c) = c**3 + 11*c**2 + 10*c + 2. Let l(u) = -3*u**2 + 2. Let z be l(2). Let d be a(z). Solve -30 = -4*x + 2*j, -3*j - 25 = -4*x - d*j for x.
5
Let v(p) = -p - 5. Let k be v(-10). Suppose -3 - 1 = -k*c + 2*g, 4*c - 4*g - 8 = 0. Solve 0 = 2*n - 4*y - c*y - 8, 2*y = -5*n + 20 for n.
4
Let o(k) = k + 1. Let x be o(-1). Suppose x*i = 2*i. Solve 3*q = 3*v + 18, 2*v - 4*q + 6 + 14 = i for v.
-2
Let c 