 0, a = -4*n - 3*u - r for n.
-5
Let x be 2*(29/2 + -2). Suppose 0 = 5*d - 0*d - x. Solve 10 = d*a - 2*u, -u - u + 18 = 2*a for a.
4
Let l be (-4)/(-2) + (6 - 5). Let r be -5*4/((-12)/l). Let u(m) = 2*m + 1. Let x be u(4). Solve -p + x = -y - r*p, y + p = 0 for y.
3
Let f = 13 - 11. Let a be (-7)/((-3)/(-9)*3). Let k = -4 - a. Solve -2*u + 7 - 3 = f*b, 2*u + k = 5*b for u.
1
Let q(j) = j**3 - 11*j**2 + 17*j + 14. Let a be q(9). Solve 0 = -4*x - a*z - 45, -2*z - 5 = -2*x + z for x.
-5
Let x be (-2)/(-6) + (-95)/15. Let i(p) = -p**3 - 5*p**2 + 7*p + 8. Let a be i(x). Solve 0 = 4*f - 3*n - 15, -3*f - 5*n = -a - 2 for f.
3
Let r be (36/8)/(2/32). Suppose 5 = -y + 4*q + 28, -2*y + r = 5*q. Solve 4*g - 5*v - y = 0, -2*g - 4*v = g for g.
4
Suppose 4*h + 2*s + 3*s = 0, 4*h - s = 0. Solve -7*z + 35 = -2*z + 5*u, -3*z - 2*u + 16 = h for z.
2
Let x = 11 - 6. Suppose 3*t - x*t = -6. Solve 2*c + 21 = -t*u, -2*u - 3 + 2 = -3*c for u.
-5
Let a(h) = 2*h**2 - 3*h. Let x be 6/2*(-2)/(-3). Let l be a(x). Solve 4*d - l*d - 20 = -4*t, -2*d = 2*t - 10 for t.
5
Let x = 15 + 13. Solve m - 5*g = 5, -8*g + 4*g - x = 4*m for m.
-5
Suppose -11 = m - 0. Let w = m - -24. Suppose w = 3*v - 2. Solve 0 = -3*p + 5*x + 2 - 29, -v*x + 35 = -5*p for p.
-4
Let u(g) = g**2 - 7*g - 5. Let m be u(6). Let p(w) = w**3 + 12*w**2 + 7*w - 14. Let t be p(m). Solve 3*a = b + 4 + 2, t = 5*b + 5*a for b.
3
Let k(q) = 2*q**2 - 15*q - 8. Let n be k(8). Solve -2*l + t + 5 + 3 = n, -3*t + 21 = 3*l for l.
5
Let t = -12 - -16. Let v be 2/(-3)*(-6)/1. Solve 5*m - 4 = t*z, 2*m - v*z = 5*m + 4 for m.
0
Let p(a) = a**3 - 6*a**2 - 7*a. Let y be p(7). Let v(w) = w**2 - 7*w - 7. Let o be v(9). Solve y = 4*f - d + 11, -f - 5*d + o = f for f.
-2
Let h be -5 + (-4)/(0 - -4). Let b(i) = i**2 + 5*i - 2. Let m be b(h). Solve 2*l - 5*y = 8, m*y - 2*y = 3*l - 12 for l.
4
Suppose -4*g = 4 - 28. Solve 0 = -4*s - 3*m - 3, s - g*s = -3*m + 24 for s.
-3
Let p(j) = -j**2 - 6*j - 1. Let g be p(-6). Let x = 0 - g. Solve l - 3*t + 1 + x = 0, l + 4*t - 12 = 0 for l.
4
Suppose -a + 4*j + 19 = 0, -j - 22 = -2*a + 3*j. Solve -a*n + 6 = -0*n + 3*c, -5*n - 4*c + 11 = 0 for n.
3
Suppose t - 5*t = -20. Suppose -3*j - 6 = -t*j. Solve -4*m + 22 = -j*f, 3*m = -0*f - 2*f + 8 for f.
-2
Let x be 2/(-7) - (-60)/14. Suppose -n = 4*v - 3*v, -x*v - 2*n = 0. Solve v = 3*w + 2*r - 25, -5*r = -2*w - 6 - 9 for w.
5
Let a(u) = -u - 5. Suppose 0 = -5*p - z - 10 - 14, 12 = -5*p + 2*z. Let h be a(p). Let w be h/2 - 18/(-4). Solve w*m - 2*q + 4 = 2*m, -4*q + 4 = -3*m for m.
-4
Let c(z) = z**3 - 7*z**2 - z + 8. Let w(b) = -b**3 + 4*b**2 - b + 1. Let x be w(3). Let u be c(x). Solve 0 = l - 3*y + u, -3*l + 3*y + 3 = -0 for l.
2
Suppose -2 = 4*b - 2*k - 8, k + 9 = 4*b. Suppose 3*g - b = 0, n + 4 - 6 = 4*g. Solve -2*q - 32 = 5*v - 9, 0 = -v + q - n for v.
-5
Let l(g) = g**2 - 4*g - 14. Suppose 0 = -2*u + 14 - 0. Let j be l(u). Solve -5*z = n + 30, -2*n = -j*n - 3*z - 40 for n.
-5
Suppose -f - 5*u = 2*f, -5*f = 5*u - 10. Suppose -5*m - f = -8*m + 4*v, -2*m + 3*v = -3. Solve 0 = -4*r, -m*j - 3*r = -2*r + 12 for j.
-4
Suppose -s + 8 = -3*c, 2*s = -3*c + 5*s - 6. Let k = c - -5. Let g be ((-7)/(-2))/(1/6). Solve -l = -n - 2, k*n + 2*l - g = -l for n.
3
Let y be -2 + 3 + 1 - -2. Solve -6*z + y = -2*z + 2*w, -w = 3*z - 1 for z.
-1
Let j(d) = -d**2 + 5*d - 3. Let y be j(4). Let b = y - 1. Solve 2*v - 3*m + 11 = b, -2*v = -5*m - 11 + 32 for v.
2
Let a = -13 - -7. Let l = 9 + a. Let r be 4/(-12) - 7/(-3). Solve 0 = 3*d - o - 1, -11 = -d - l*o - r*o for d.
1
Suppose 0 = -g + 6 - 2. Let p be (-2 + (-80)/(-28))/(2/7). Solve -8*n + p*n + 4*f = g, -5*f - 40 = 5*n for n.
-4
Let k be 1 - 7/((-14)/(-4)). Let n be (-9)/(-6) + k/(-2). Solve -r + n*y = -15, 5*r - 35 - 15 = 5*y for r.
5
Let q be 3*(-1)/((-1)/1). Let m be 2*3/(-6)*(-3 - 2). Suppose m*w = q*w + 6. Solve s = -n - 1, n + 2*n = -4*s - w for n.
-1
Let p be 10/4 - (-21)/14. Suppose 3*u + 15 = p*u. Solve 0 = -x + 3*x + 2*i, x = 2*i - u for x.
-5
Suppose 6*y - 2*y + 20 = 0. Let i = -5 - y. Solve -4*v = -f - i*v + 7, v - 7 = 2*f for f.
-5
Let f = 6 - 3. Suppose j + 1 = f. Suppose -17 = -y + 3*z, -4*y - j*z - 3*z = -68. Solve -3*u + 5*n = y, n = 3*u + 2*u + 21 for u.
-4
Let g be (1/2)/(2/20). Solve -g*i - 12 = 8, -16 = -2*r + 5*i for r.
-2
Let l be (-2)/(-2) + -1 + -7. Let n = -2 - l. Let d be (-3)/(-5) - (-2)/n. Solve 2*j + d + 19 = 2*w, 3*j + 20 = w for j.
-5
Let m(p) = 12*p**2 - 2*p + 1. Let v be m(1). Let i = v - 5. Let x be i/(-21) + (-37)/(-7). Solve k - 3 = -x*l, k = -5*l - 3*k + 12 for l.
0
Let c(i) = 7*i - 28. Let v be c(6). Suppose j - 1 = 1. Solve j*w = -5*s - 24, w = -2*s + 6*s + v for s.
-4
Let i be 1 - 6*(-22)/4. Let f = i + -18. Solve -3*o = 5*p + f, 5*o - 3*p + 4 + 0 = 0 for o.
-2
Let g be (-8 - -10) + -2*1. Solve u = b - 1, -3*b - 4*u + 7 + 10 = g for b.
3
Let a(u) = -u**2 + 20*u + 17. Let y be a(20). Solve -2*x + y = -3*t, -t - 3 = -5*x + 7 for t.
-5
Suppose -4*y + 12 = -2*w + 6*w, -15 = -3*y + 3*w. Suppose -a = 4*u - 9, 4*u + u + y*a = 14. Solve 3*i = 2*t + 7, 3 = u*t - i - 0 for t.
4
Let v be (-2*5)/(-1*1). Let w(k) = -2*k**3 + 8*k**2 + k + 6. Let s be w(4). Let q = s - v. Solve 4*h - 7 = -q*z + z, -4*h - 2 = 2*z for z.
-3
Let b = -28 + 59. Suppose 4*n - b = -5*y, 0 - 3 = -3*n + 3*y. Solve c = 2*i + 4, 0*c + n = 2*i + c for i.
0
Let d(y) = y**2 + 4*y + 5. Let w be d(-4). Solve 3*v - 7 = z + v, 0 = z + w*v for z.
-5
Suppose 0 = -l - l + 6. Suppose u - 5*x = 5*u - 44, -4*u = -l*x - 12. Solve v = -4*f - 4 - 13, 0 = 2*f + u for v.
-5
Let y be (-4 - -2) + 0 - -8. Let b be (-102)/36 + 2/(-12). Let j be -4 + 0 + 3 - b. Solve j*l + 4*p = 16, 0*l - l = -5*p + y for l.
4
Suppose 0 = -2*z + 3*z - 2. Solve 3*y - r = -9, 4*y - z*r = -r - 13 for y.
-4
Let m(o) = o**3 + o + 22. Let d(q) = q**2 + 6*q - 7. Let w be 20/(-3) + (-2)/6. Let r be d(w). Let t be m(r). Solve -2*l - 14 + 6 = -2*x, -2*l = 4*x - t for x.
5
Suppose 5*u + 4*w - 10 = 0, -2*u = 4*w + 10 - 2. Solve -4*x - 4 - 8 = 0, 2*x + u = -2*v for v.
0
Let f = -8 + 13. Suppose -2*b + 3 = -f. Solve 1 = a + b*i, 20 = -2*a - 3*a + 5*i for a.
-3
Let r be 1/5 - (-132)/(-10). Let p = r - -15. Solve 5*h + 3 = 3*o, 2*o + p*o - 4 = -3*h for h.
0
Suppose -v - i + 11 = 2, 5*v - 37 = 3*i. Solve 2*g = -3*m + v, -2*m = -g + 2*g - 4 for m.
0
Suppose -4*m - 20 = 0, -7 - 8 = 5*n + 5*m. Suppose -n*c = 5*v - 29, -3*c + 26 = v + 3*v. Solve 2*d + 14 = -5*t, c*t + 0*t = 2*d for t.
-2
Let j(o) = 3*o - 4. Let c be j(3). Solve 0*p - c*h - 12 = 4*p, 2*p - 3*h = -6 for p.
-3
Let q(b) = b**3 + 2*b**2 - b + 1. Let w be q(-2). Suppose 5*k = 10, -4*j - w*k - 4 + 18 = 0. Solve -4*m + 16 = 0, -3*r + 2*m + j*m - 13 = 0 for r.
1
Let z be ((-60)/20)/(0 + -1). Solve 3*f + y - 15 = 0, 0 = 5*f - z*f + y - 10 for f.
5
Let q be 1199/55 - (-4)/(-5). Solve 3*y = 5*y + 4*x + 18, y = 4*x + q for y.
1
Let w(z) = -2*z. Let y be w(1). Let v be (3 + y/1)*6. Let d(q) = q**3 - 7*q**2 + 6*q + 4. Let f be d(v). Solve -2*n = -f*j + 14, -4*n + 4 - 2 = -2*j for n.
3
Let y be (-2)/(-6) - (-94)/6. Suppose 0 = -c + 4*c. Let g(s) = s**2 - 7*s - 6. Let j be g(8). Solve 0 = -4*p + y, c*n + j*n + 4*p = 24 for n.
4
Let c be (30/(-20))/((-6)/8). Suppose 2 = -q + y, 3*y = c*q - y + 10. Solve h = 4*u + 7, 2*u - 4*u - h = -q for u.
-1
Suppose 0*m = m - 4. Solve d = -2*l, 2*d - 24 = m*l - 2*d for l.
-2
Suppose -8 = -5*d + 7. Solve 3*q = d*n, -3*q - 5*n = -2*n - 12 for q.
2
Suppose -20 = -7*d + 3*d. Solve 0 = 5*j - 20, 8*j - 3*j - 25 = -d*s for s.
1
Let n = 14 + -14. Solve 28 = -5*t - 3*q + 3, -4*q = n for t.
-5
Let k be (0 - 7)*(-4)/14. Suppose -5 = -v - k. Solve -4*f - 13 = -3*z + 1, -v*z - 5*f - 31 = 0 for z.
-2
Suppose -5*c - 6 = -7*c. Solve 0*p - c*p + 3 = g, 2*g = -2*p - 2 for g.
-3
Let c(b) = b**2 + 4*b + 4. Let i be c(-4). Solve -12 = -k - i*v, -k - 4*v + 15 = v for k.
0
Let i(v) = v + 4. Let l be i(-4). Suppose -3*d + 4 + 2 = l. Suppose 3 - 15 = -4*u. Solve 0*x = d*j + 4*x - 12, u*j + 7 = -x for j.
-4
Let y(o) = -3*o - 1. Let p be y(-1). Solve -g + p*x = 0, -2*x = 5*g - x + 22 for g.
-4
Suppose 18 = 2*p + 10. Solve -y - 16 = 5*m + 3*y, -8 = -p*m + 2*y for m.
0
Let j(h) be the second derivative of -h**3/6 - h**2 + 6*h. Let a be j(-6). Solve 3*c - 3*z - a = c, -3*c - 2*z - 20 = 0 for c.
-4
Let t = 16 + -10. Solve x 