 m be 2 + (-1 - 12) + 1. Let h be ((-12)/m)/((-6)/(-15)). Let o = 4 - h. Solve c - 2 = 4*x, -c - c = -5*x - o for x.
-1
Let d(s) = s**2 - 2*s - 3. Let l be d(3). Solve -k = -2*y, l = -4*y + 5 - 13 for k.
-4
Let g = -7 - -11. Suppose 24 = 5*h - 4*u, -3 = -4*h - 3*u + 10. Solve -2*b - 2 = -h*o - 10, g*b + 5*o = 3 for b.
2
Suppose 5*l + 0*l + 45 = 0. Let s be (2/(-6))/(1/l). Solve s*t = 6, -3*b + 0*t + 19 = 2*t for b.
5
Suppose -5*o + 15 = -0. Let g(m) = 2*m + 4. Let q be g(o). Let l = -2 - -2. Solve -s + 4*w - 6 - q = l, 0 = s + 4*w - 16 for s.
0
Suppose -14*u + 11*u = -6. Solve k = 5*c + 10, 4*k - 24 = u*c + 2*c for c.
-1
Let i = -113 + 116. Solve -i*h = -m - 2*m - 24, h + 4 = -2*m for h.
4
Suppose 34 = -2*z - 0*z + 4*n, -4*z - 3 = 5*n. Let g = z - -11. Solve -3*a = a - g*p - 16, -3*p = 5*a - 12 for a.
3
Suppose 5*y = 10 - 0. Solve -4*u - 8 = 3*r - 2, -y*u = -2*r - 4 for u.
0
Suppose 0 = m + 17 - 19. Solve -5*h = -5*n - 25, m*n = 5*n for h.
5
Let l(w) = w + 5. Let b be l(3). Solve -o + b = -3*n, -n + 2*o - 4 = n for n.
-3
Let i = -32 - -42. Solve 0 = 3*b + 4*t + 11, -b + 6*b + 5*t + i = 0 for b.
3
Let c(a) = -a**2 + 5*a + 1. Let s be c(5). Suppose 4*k - k - 3*j = 0, 5*k + 2*j - 35 = 0. Solve 0 = -m - p + s, -2*m - 1 = 4*p + k for m.
5
Suppose -4*d = -7*d + 6. Let j be (-1)/2*-4*d. Solve j*w + 3*z + 11 = -5, -5*w - 4*z - 20 = 0 for w.
-4
Suppose -2*i + 34 = -3*u, -2*u = -5*u - 2*i - 38. Let c = 16 + u. Suppose 2*w = -5 + 59. Solve -c*v - 4*p - 4 = 0, 3*v - 2*p = w - 10 for v.
3
Let z(b) = 4*b + 7 + 0*b - 3*b + 0*b. Let o be z(-5). Solve -2*l - 5*j - 15 = -3*l, o*l + 2*j + 18 = 0 for l.
-5
Let g = 13 + -13. Solve -d + 2*z - 3 = 0, g = -7*d + 2*d - 3*z - 15 for d.
-3
Let g(p) = -3*p + 8. Let v be g(-6). Suppose -d - 7 = -w, -4*d - v = -2*w - w. Suppose 0 = -3*f + 21. Solve 0*q - q + w*n = f, 2*q + 3*n = 14 for q.
1
Let g be 0 - ((-3)/3 - 2). Suppose -z = 2*v - 6, g*v - z = -3*z + 8. Suppose v*q + 3 = 5*q. Solve 6*r - q*r + 3*i + 18 = 0, i + 3 = 0 for r.
-3
Suppose c = -0*l + l + 8, 3*l + 28 = 4*c. Suppose 4*k + c*x = k - 40, -5*x = -2*k + 4. Let g = -5 - k. Solve 26 = 2*p + 4*m, -p + 22 = g*m + 4 for p.
3
Let t = -47 - -49. Solve -16 = -z - 3*m, t*z - 17 = -2*m - m for z.
1
Suppose 0 = -2*f - 2*w + 6*w + 20, 2*w = -8. Solve 0 = -f*b - 0*h - 4*h - 18, 3*b - 13 = 2*h for b.
1
Suppose 2*h + 2 = 3*h. Solve -4*g + 12 = w - h*w, -5*g + 32 = 3*w for g.
4
Let n be 3 + (3/3 - 2). Let u be (-2*3)/n + 6. Solve -u*v - 10 = 2*m, m + 4*v = -m - 10 for m.
-5
Let t(o) be the first derivative of o**3/3 + 2*o - 4. Let r be t(0). Solve -f - 2 = x, -2*x = f + r*x - 1 for f.
-3
Let y be 14 - ((1 - 3) + 4). Solve 0 = -4*r + 2*t + y, t + 0*t = 5*r - 9 for r.
1
Let k = 1 - 1. Let w = k + 0. Solve 0 = -2*l + 2*c, 2*l + 8 = 4*c - w for l.
4
Let t be 7/2 - 1/(-2). Solve -2*k + 5*k + 22 = -5*n, t*n + 3*k + 20 = 0 for n.
-2
Let m(r) = 4*r**3 - 3*r + 2. Let y be m(1). Suppose -3*d + 3 = 0, -2*w + 3*d = -4*w + y. Solve -3*l + 4 = -s, l + w*s - s - 4 = 0 for l.
0
Let p(o) = -o**3 + 4*o**2 - 3*o + 2. Let r = -4 + 7. Let x be p(r). Suppose -x*v = -v. Solve -4*t + 31 = 5*c, v*t + 12 = 3*t for c.
3
Let g be (-2)/(-6) - (-10)/6. Solve d - 13 = 3*w, g*w + 0*w + 26 = 5*d for d.
4
Let g be (-1)/5 - 29/5. Let a = g + 3. Let k = a + 4. Solve 0 = -i + 3, u - k = 2*i - 4*i for u.
-5
Suppose 0 = -3*h - 5 - 7. Let m be h/2 + (2 - -5). Let l(i) = -i**3 - 5*i**2 + 7. Let w be l(-5). Solve 4*g + m*o - w = 0, 2*o - o = 4*g - 13 for g.
3
Suppose -2*s + 10 = -5*f, 4 + 4 = -2*s - 4*f. Solve 3*c - 6 = s, 2*c = -3*b - 1 - 1 for b.
-2
Let w = 1 + 3. Suppose -4*k - w = 5*y - 22, -3*k + 16 = 5*y. Solve -k*c - 11 = 5*h, -h - 5*c = 3*h + 19 for h.
-1
Suppose -4 = -l, -a - 2*a - 2 = -2*l. Solve 0 = -a*s + 2*j + 2, -2*j + 14 = -4*s - 7*j for s.
-1
Let c(v) = 3*v - 9. Let i be c(6). Let f(k) = k - 4. Let w be f(i). Solve -3*s = r - 0*s + 1, w*r = -2*s - 5 for r.
-1
Suppose 5 = -o + 9. Solve o*k + 5*y = 33, 5*k - 4*y = k - 12 for k.
2
Suppose 2*q - 7 = -1. Solve q*o + d - 12 = 0, 0*o - 3*d = 5*o - 24 for o.
3
Let u = -34 + 34. Solve 3*g - h - 3 = 1, 4*g - 3*h - 12 = u for g.
0
Let r(l) = -l + 6. Let s(y) = -y + 6. Let i(w) = -5*r(w) + 6*s(w). Let u be i(-6). Solve 0*m - 5*m = 2*p + 9, 5*p = -m + u for p.
3
Let k = 79 - 67. Solve 5*z + 20 = 0, -5*d + 0*z - k = -2*z for d.
-4
Let u = 10 + -5. Let r(f) = -f + 6. Let p be r(6). Suppose -2*c = -p*c - 8. Solve j = u*b + 14, -4*b + c*j = 3*j + 12 for b.
-2
Let r(n) = n**3 + 2*n**2 - 3*n - 3. Let t be r(-2). Solve 5*y + t*c = -2*c + 30, 5*c - 26 = -3*y for y.
2
Suppose 0*f = -f - 3. Let i be (-1 - f)*-1 + 7. Solve 6*g - 2 = 3*g + 2*z, -25 = -i*z for g.
4
Suppose 2*m = 4*m - 10. Suppose -m*i + 7 = -3. Let q(f) = -4*f**3 - 2*f**2 + 1. Let j be q(-1). Solve 18 = i*u + 4*z, -4*u + z + j = -2*z for u.
3
Let g = -19 + 22. Solve 2*s - 6 = 2*r, -5*r + 35 = g*s + 2*s for s.
5
Let y(t) = 2*t + 7. Let j be y(3). Solve 4*i - m = -6 + 17, -2*i + j = -3*m for i.
2
Suppose 12*m - 13*m = -4. Suppose -m*j - 3*d + 57 = 0, -63 + 23 = -3*j - 5*d. Solve 2*n = o + o + 6, -5*n + j = -2*o for o.
0
Let x = 4 - 1. Let t(o) = 2*o**2 + 1. Let s be t(-3). Suppose -u = -0 - s. Solve -5*l = x*d - u, 2*l + d = -3 + 11 for l.
5
Let r = 12 + -10. Solve n + 0*c - r*c = -6, c - 10 = -3*n for n.
2
Suppose -5*y = -0*y. Let a(l) = 9*l**2 - l + 2. Let f be a(1). Suppose -3*q + 18 = -3*r, 5*r = q - y*q - f. Solve q*i + o = -23, o + 11 = -3*i - o for i.
-5
Suppose 0 = 3*f + 5*s - 16, -3*f - 1 = -2*s - 3. Solve f*h - 1 + 7 = 0, 2*h + 1 = -r for r.
5
Let d = 4 - 6. Let z be 3*1*(d + 3). Suppose -6 = -3*f + z. Solve 3*u + 2*h - 3 = 2*u, 5*u + f*h - 8 = 0 for u.
1
Let m be (-4)/(-10) - (-13)/5. Let d = -11 - -16. Let l(o) = -2*o**2 - 2*o + 1. Let i be l(0). Solve i = 2*q + d*f - 16, 5*q - 14 = -m*f for q.
1
Let z(d) = -d**2 + 10*d - 3. Let r be z(9). Suppose 2*h - r*h = -8. Solve 5*j - 15 = h*x, -5*x + 2*j - 1 = 5 for x.
0
Suppose -4*h = -2*h - 2*d - 6, 4*h - 18 = -2*d. Solve h*y - 3 - 17 = 4*z, 0 = -2*y - 2*z - 10 for y.
0
Let o be (-64)/(-28) - 4/14. Suppose -o = -0*k + 2*k. Let a(z) = z**2 + z. Let f be a(k). Solve -c + 5*h + 10 = -4, f = -5*h - 10 for c.
4
Let r = -39 + 66. Solve -2*y - r = -5*w, 0 = y + 3*w - 11 - 3 for y.
-1
Suppose 27*b - 9 = 24*b. Solve -l + 3*l + 3*d - 2 = 0, 0 = -b*l + d + 14 for l.
4
Let t = -38 - -43. Solve -t = 5*b, -5*l + 3*b = 7*b + 4 for l.
0
Let u = -20 - -27. Solve -2*l + 4*r - 1 = -15, 4*l + u = r for l.
-3
Let m(l) = l**3 - 2*l**2 + 5. Let z be m(3). Solve 2*h + 0*h = -5*r + z, -5*h + 1 = 4*r for h.
-3
Suppose 20 = 5*l + b, 2*l = 3*b + 2*b + 35. Solve -w - 4*w = 3*k + 14, l*k - 5*w = -10 for k.
-3
Let k = -55 - -63. Solve -2*f - p + 1 = 0, 0 = f - 0*f + 3*p - k for f.
-1
Let j be ((-16)/40)/((-2)/(-30)). Let p(l) = 2*l + 14. Let s be p(j). Solve 0 = -6*g + g - s*t - 25, 2*g = -5*t - 31 for g.
-3
Let w(a) = a**3 - 13*a**2 - a + 16. Let p be w(13). Suppose h = 4*x - 6 - 6, -3*x = -p*h. Solve 5*u - 12 = -m, 0 - 15 = -x*u + m for u.
3
Suppose -4*h + 5*p + 44 = 0, h + 2*p - p - 2 = 0. Let k be 26/h - 1/3. Let w = -31 - -33. Solve l + 7 = -0*l + w*q, 5*q + 2 = -k*l for l.
-3
Suppose 1 = -s + 4. Solve 0 = p + s*m + 8, 4*p - 5*m - 12 = 7*p for p.
1
Suppose 3*c = -2*p - 3*p, 2*p + c = 1. Solve 15 - 1 = 2*k - 2*t, 0 = -p*t - 9 for k.
4
Let z = 22 + -17. Solve 0 = i + 5, i + 0*i = -3*k - z for k.
0
Suppose -6 = 9*z - 12*z. Solve m + 18 = -5*u, m + 0 = z*u + 3 for m.
-3
Let y = 68 + -63. Solve -10 = -4*s - y*o + 3, -2*o - 2 = 4*s for s.
-3
Suppose -4 = -f + 1. Solve t - 2*t + 2*s - 5 = 0, -3*s = -f*t - 11 for t.
-1
Let k = 7 - 5. Let f(h) = 1 - 5*h**2 + 2*h**k + 4*h**2. Let m be f(0). Solve 2*a - 6*a = q - 4, 4*q - m = -a for a.
1
Suppose 4*i - 5*i + 2*j = -6, -3*j = -6. Solve l + 4*b - 4 = -l, 0 = 5*l + 3*b - i for l.
2
Let t = -7 + 17. Solve -2*w - 4*a + t = 2, -2*a + 4 = -5*w for w.
0
Let y be 4*(6/(-4) - -3). Suppose 3*d - 3 = y. Solve d*c + 18 = -0*z + 3*z, 5*c = -z - 12 for z.
3
Suppose 12 = -b - 0*b. Let o be (8/(-10))/(b/60). Let z be (-2)/(-2) - 7/(-1). Solve 0*r + 2*a = -4*r + 2, 2*r = -o*a - z for r.
2
Let n(p) be the second derivative of 0*p**2 - 1/6*p**3 + 0 + 1/2*p**4 - 3*p. Let a be n(1). Solve 3*q = 3*y + y + 13, -5*q - a = 0 for y.
-4
Let r be (-502)/9 + 8/(-36). Let