= -12 - a. Let o be p(z). Solve 0 = y - 4*m + 1, 5*y + 4*m = 18 + o for y.
3
Suppose u = -0*u + r + 15, -2*r = 0. Let i = u - 11. Suppose -5*k = i*n + 4, -4*k + 12 = -2*n - 9*k. Solve n*a + p = 23, -p - 10 = -2*a - 3 for a.
5
Let q(o) = -o + 1. Let r be q(-12). Suppose r + 22 = -x. Let w be (-6)/5*x/14. Solve 0 = s - l - 2, w*s + 0*s = 2*l + 9 for s.
5
Let t = -136 - -139. Suppose 2*c - t*c = 0. Solve 2*l + c = w + 13, 2*w = -l - 1 for l.
5
Suppose 0 = 6*y + 114 - 126. Solve 2*k = 6*k + i + 8, 3*i = -y*k - 4 for k.
-2
Suppose h + 10*w - 12 = 6*w, 9 = -3*w. Solve 3*v = -v - 2*k - h, 4*v - k + 18 = 0 for v.
-5
Let i be 19 + 0/1 + -3. Suppose u - 5*u + i = 0. Let t be 9 - ((-6)/10 + (-8)/(-5)). Solve -u*k = t, -3*k + 1 = 3*q - 8 for q.
5
Let z = -11 - -10. Let o be 2/3*-3 + z. Let v = o + 5. Solve 2*n + 11 + 0 = -m, v*m + 12 = -2*n for m.
-1
Let k = 311 - 307. Solve 2*m - 4*d = 4, -5*m - 2*d + 2 = k for m.
0
Let l be 20/(-1)*9/(-3). Let q = -36 + l. Suppose i + 18 - q = 0. Solve -3*y = 3*z - i, y + 4*y - 4*z + 8 = 0 for y.
0
Suppose 7*y - y = 2862. Let w be 4/22 + y/99. Suppose l + 3 = w*g - 3*g, 4*l - 2*g = 6. Solve -5*v = 0, -x - l = -4*v + 3*v for x.
-3
Let u = 11 - 39. Let b be (-104)/u + (-6)/(-21). Solve 0*o = o - b*z - 13, 5*o - z + 11 = 0 for o.
-3
Let k = 123 - 121. Let u be (k/(-4))/(11/(-44)). Solve 0 = -3*d + t + 14, -3*d + u*t + 20 = 7 for d.
5
Let q(a) = -44*a - 480. Let g be q(-11). Solve b = -k - 4 + 3, -4 = g*b + k for b.
-1
Suppose 16*g = 21*g - 25. Suppose z - 19 = -o + 11, 0 = 4*z + 5*o - 125. Solve -q - 6 = -5*i, -g*i + z = q + 11 for i.
2
Let r = 4 + -2. Let x(o) = o**2 - 6*o + 8. Let y be x(5). Suppose 2*v - y = -i + 1, -2*i - v + 2 = 0. Solve 3*j + 6*h - 2*h - 3 = i, -2*h = r*j - 2 for j.
1
Let x(p) = -p**2 - 9*p. Let f = 5 - 14. Let h be x(f). Suppose h = -5*k + 8 + 17. Solve 3*w - k = a - 0*a, 3*a + 15 = -4*w for a.
-5
Let o(c) = 121*c**3 + c. Let b be o(1). Let u = b + -119. Solve -2*v + a - 4 = 2*v, 3*v + 5*a = -u for v.
-1
Suppose -12 = -3*s - 5*o, -30 = -2*s + 2*o - 6. Let g = -54 - -33. Let h be g/s*-3 - 4. Solve -3*l + 10 = -3*x - 11, 4*x + h*l = 0 for x.
-3
Let t = 86 - 81. Solve 0 = t*g - 3*l - 20, 0*l = -4*g - 2*l + 16 for g.
4
Suppose 0 = 24*a - 14*a - 30. Solve -10 = -5*d + 4*s, a*d - 3*s + 2 = 4*d for d.
2
Suppose -4*p = -4*l + 16, 13 = 4*l - 3*p - 3. Solve f = -h + 1, 3*f = -12*h + 8*h + l for h.
1
Let j(m) be the third derivative of m**4/24 - m**3/3 + 4*m**2. Let a be j(4). Let z be a - -19 - (1 + 1). Solve -5*f - 4*q + 25 = -0*q, 4*f + 3*q = z for f.
1
Suppose 28*z - 23*z = 15. Solve -4*h - 5*x = 41, 0 = -z*h + 5*x + 22 - 9 for h.
-4
Suppose -33*l = -22*l. Solve x - 3*y = -12, 5*x + 2*y + 3*y = l for x.
-3
Let c(h) = -4*h**3 - h**2 - h + 2. Let g be c(1). Let t be (-1 + 0)/(2/g - 0). Solve 0*o - 8 = 2*j - 2*o, -t*j - 5*o = -13 for j.
-1
Let d = 7 - 4. Suppose x - d*x = 0. Suppose 2*m + 6 = x, 3*a - 5*m = 6*a + 3. Solve o + a*o + 4 = g, 3*g + 7 = -4*o for o.
-1
Let m(d) = d**2 - 14*d + 18. Let n be m(13). Let u = 7 + -4. Solve -3*a - 6 - 6 = u*x, -2*a = -n*x - 20 for x.
-4
Suppose -2*d + 4*a = 2, -3*d - 21*a + 16*a = -30. Solve -3*k = -5*k - 8, 5*t = 5*k - d for t.
-5
Let x = -993 - -995. Solve -2*v + 5*q - 6 = 0, 0 = -x*v + 2*q - q + 2 for v.
2
Let m(v) = -3*v - 1. Let f be (-1 - -13)*(-4)/(-6). Suppose 0 = -3*j - f - 1. Let i be m(j). Solve -c - 3 = 0, 3*g - i*g - 3*c = 34 for g.
-5
Let p be (-6)/4*(40/15 + -6). Solve b - 2 = -5*k - 1, 2*k = p*b - 5 for k.
0
Let c = 7 - 2. Suppose -5*x = i - 25, 6*i - 7*i - 4*x + 21 = 0. Solve -i*q + 5 = -0*q + 5*h, 0 = c*q + h + 3 for q.
-1
Let q(n) = n**2 - 14*n + 3. Let a be q(14). Let d = a + 0. Solve 3*w + 4*i - 9 = 0, -w - i + 0 = -d for w.
3
Suppose -106*j = -110*j + 12. Solve c = 2*s + 3, -24 = -j*s - s - 4*c for s.
1
Let m be (13/(-39))/(1/(-36)*1). Suppose 5*p + o - m = 0, 0 = -4*p + o + 8 - 2. Let w = -3 - -6. Solve 2*i = w*d - 10, -4*i - 8 = -2*d - p*i for d.
2
Let r be (-807)/21 - (18/7)/(-6). Let m = -31 - r. Suppose 1 = u + c - 7, -2*u - c + 13 = 0. Solve -4*t + j - 20 = 0, 0 = -2*t - u*j - m - 3 for t.
-5
Let r(u) = -2*u - 22 + 6 + 4 + 0*u. Let k be r(-7). Solve -4*l - 12 = -o, -k*l = -7*l + 5*o for l.
-4
Let u be (-14)/(-21) + (-4)/6. Suppose r + h - 7 = u, -8 = -3*r + 7*r - 5*h. Suppose -r*a = 3*a - 30. Solve -k - 4 = -o - a*k, -3*k = 2*o - 3 for o.
0
Let v = -50 - -54. Suppose -18 = -0*g - 3*g + 3*z, 0 = g + 4*z + v. Solve 5*j + 5 = -5*h, -4*h - g = -5*j - 0 for h.
-1
Let q be -2 + 1 - -2 - -6. Suppose -4*s + q = f, -4*f + 35 = 5*s - 8*f. Solve 4 = -s*a - 5, -4*a - 14 = w for w.
-2
Let b(h) = -3*h**3 - 7*h**2 + 12*h. Let o(j) = j**3 - j**2 - j - 1. Let y(x) = -b(x) - 2*o(x). Let f be y(-10). Solve 4*n = -f*d - 2, -n + 2*d - 1 = -4*n for n.
-3
Let v = -29 + 12. Let z = -15 - v. Solve z*c + 10 = -w, -2*c + 2*w = -5 + 3 for c.
-3
Let h = 9 - 7. Let b be 93/(-9) + h/(-3). Let t = b - -16. Solve 0*l + d - 4 = 2*l, -t*l - d + 4 = 0 for l.
0
Let m be 2/(-1)*(-22)/4. Suppose 2*a - 35 = 3*n - m, -4*a = -2*n - 48. Suppose -3*t + 12 = w + 2*w, w = -2*t + 4. Solve 10 = 3*s - u - 0, -w*s + 2*u = -a for s.
4
Suppose 4 = -3*k + o + 19, -o - 23 = -5*k. Solve n - 37 = 6*n + 3*g, -4*n + 4*g - k = 0 for n.
-5
Suppose -3*z = -13*z + 40. Solve 3*m - 2*g = -9, m = -z*g - 0 - 3 for m.
-3
Let c(q) = q**3 - 2*q**2 - 10*q + 10. Let i(f) = -f**2 + 17*f - 38. Let h be i(14). Let v be c(h). Solve -4 = -y + v*j + 2, 6 = -3*y - 2*j for y.
0
Let n(h) = h**3 + 12*h**2 - 116. Let l be n(-11). Solve -2*s = g - 2, 2*g + s + 6 = l*g for g.
2
Let z be (-6)/(-12) - (-63)/6. Let o = -11 + z. Suppose o*t = -4*i + 4*t + 4, -4*t = 4*i - 44. Solve -j = -i*j + 3*p + 13, j + 2*p = 13 for j.
5
Suppose 2*g = -3*d + g - 12, -g + 9 = -4*d. Let y = 3 + d. Solve y = -2*a - 4*r + 4 - 20, -a = -r - 1 for a.
-2
Suppose -4*d = -5*t - 2, 5*t = d - 0*d + 7. Suppose 0 = 5*w - 4*o + 2, -w + 6 = 2*o - 2. Solve -t*f = -w*c + 3*c + 5, f = 2*c - 10 for f.
-4
Suppose -5*i = -19*i + 14. Solve 0 = -4*k + 3*b + 2, i = -3*k + 5*b - 3 for k.
2
Let f = 1 + 0. Let s be f + 2/(-2)*-13. Let a be 330/110 - (-1 + 1 - -1). Solve -3*k + s = -r, a*k + 14 = 7*k + 3*r for k.
4
Let j(c) = c**3 + 13*c**2 - 17*c - 40. Let i be j(-14). Solve -5*y - 6 = -4*p, 3*p - i = 5*y - 0*y for y.
2
Let n(r) = -r + 1. Let v be n(6). Let x(y) = y**2 + 3*y - 6. Let f be x(v). Let q(k) = 6*k - 14. Let z be q(3). Solve f = -z*a + 3*a - h, -2*h - 10 = 4*a for a.
-1
Let l(i) = -i - 7. Let y(a) = -a**2 - 13*a - 12. Let r be y(-12). Suppose r*j = -4*j - 44. Let x be l(j). Solve 4*c - 16 = 5*c + x*z, -c = z + 7 for c.
-4
Let p = -10 - -12. Suppose 0*v + 2*w - 8 = -2*v, 4 = -p*v + 4*w. Solve -3*c + k = v*c + 17, 2*k - 4 = 0 for c.
-3
Let p be (50/(-15) + 4)/(4/18). Let x = -1 + p. Solve -3*d - 2*g + 3 = -0*g, -g = -x*d + 9 for d.
3
Let q(u) = u**2 - 6*u - 5. Let x be q(7). Suppose 3*w - 4*j = -1 + 4, -16 = -2*w - x*j. Solve 0 = -5*d - 5*g - 0*g - 35, 5*g - w = 5*d for d.
-4
Suppose 4 = b + 2. Suppose -7*c + b*c = -10. Solve -d + 3*j - 6 = 0, -c*d + 2 + 0 = j for d.
0
Let u(x) = 0*x**3 - 3*x**3 + x - 12*x**2 + 10*x**2. Let h be u(-2). Let b be (-66)/(-14) - (-4)/h. Solve 4*g = -b*m - 32, 2*m + 19 = -5*g + m for g.
-3
Let z(o) = -o**2 - 6*o + 9. Let t be z(-7). Suppose -2*r + 0*r + 24 = 0. Let k be (12/(-36))/(((-2)/r)/1). Solve -k*i - 6 = -3*d + t*d, i - 3*d = -3 for i.
-3
Suppose 53*y + 21 = 56*y. Let c(g) = 7 + 2*g**2 + 6 - g**2 - y*g - 5. Let h be c(7). Solve -o + 0 - 2 = -v, 0 = 4*o + 4*v + h for o.
-2
Suppose s - 7 = f - 2, -5*f = 5. Solve c + 1 = -w, s*c - 2*w = w - 4 for c.
-1
Let s(k) = -7*k - 3. Let z be s(-1). Suppose 6 = o + 2*c, -z*o - 2*c + 8 = -2*o. Solve -o*q - 5*g + 14 = 0, -q + 3*g - 4 - 11 = 0 for q.
-3
Suppose 5 = 35*w - 34*w. Solve -4*u - 12 = w*h, -h + 1 = 5*u - 5 for u.
2
Let d(m) = -m**2 - 17*m. Let w be d(-15). Let s = -14 + w. Let k = s - 11. Solve y - 19 = 5*z + 4, k*y - z + 5 = 0 for y.
-2
Suppose -5*x + 29 = -a, 26*a - 22*a + 16 = 0. Solve -3*q - 3*j - 2 + 8 = 0, -3*q + x*j = -6 for q.
2
Let f be (-1 - 14/(-10))/(44/1100). Solve 2*n = -4*z - 16, -3*z + 0*n = n + f for z.
-2
Suppose -3*u + 31 = -5*r, -4*u = -6*r + 11*r + 17. Solve 4*g = v, u*g - 2 = -4*v + 16 for v.
4
Suppose -7*y + 2*y + 10 = 0. Let t = 83 - 81. Suppose 3*n + n