= 0, 0*m = -5*j + m - 20 for j.
-4
Let q = 86 - 204. Let k be 7/35 - q/10. Solve -x + 4*n + k = n, -3*x - 19 = 2*n for x.
-3
Let a(n) = 2*n - 4. Let r be a(4). Suppose 0 = 4*j - r - 0. Let d be j + 0 - 2*-1. Solve t + 3*f = 8, 0 = -f + d for t.
-1
Let s(h) = h**2 + 2*h. Let k be s(-2). Let p be -5*(1 - (k - -2)). Let n = 0 + p. Solve -n*c = 3*g + 6, -3 = 2*c + 3 for g.
3
Let f be (8/(-12))/(6/(-27)). Solve 0*h = -4*h - f*z + 6, -3*h = 4*z - 1 for h.
3
Let p(m) = m**2 - 7. Let f be p(-3). Let x(w) = 0*w - w + 2*w - 2. Let t be x(5). Solve -16 = 3*d - 2*y, -f*y = -t*d - y - 11 for d.
-2
Suppose -4*q - 1 = -9. Suppose 5*b - q*k = 35, 3*b + k - 10 = -0*k. Suppose -49 = -2*l - 1. Solve -h = -m + 3, -b*h = l - 9 for m.
0
Let l(z) = -11*z + 4. Let c be l(2). Let g = -18 - c. Solve 2*t = k, -4*k + g*k + 20 = 2*t for k.
4
Let v be 1/((-2)/(-6) - 0). Let b = 14 + -11. Solve -4*r = -4*c - 0*c - 4, -r - v = -b*c for c.
2
Suppose -2*f + 4*s = -6, 0 = -f - 2*f + 3*s + 12. Solve -5*g + 0*m = 5*m - 20, 2*g - f*m + 20 = 0 for g.
0
Suppose 5*g = 4*o - 7, g + 7 = o - 3*o. Let j be (-3)/(-2) - g/2. Solve 3*d = -j*r - 16 - 2, 4*r + d + 12 = 0 for r.
-2
Let s(c) = -2*c**2 - 5*c - 3. Let o be s(-3). Let z = o + 8. Solve z*i = v + 1, -1 = 5*i + v - 0*v for i.
0
Suppose 2*t + 2 - 12 = 0. Solve 5*s = t*j + 10, 4*j - 3*s = -s - 8 for j.
-2
Let l = 11 + -11. Solve 5*w + l*w + 2*s = -16, -2*s = -w + 4 for w.
-2
Suppose -8*x + 140 - 36 = 0. Suppose -2 = -s + 2. Let z be x/s + (-8)/32. Solve 3*q = 8*q + p + z, -2*p = -q - 5 for q.
-1
Suppose v + 12 = 3*c, -v + 3*c + c - 16 = 0. Solve 15 = -2*a + 5*h, -3*a = -v*a - 4*h + 5 for a.
5
Let d(k) = 3*k - 7. Let x be d(5). Let c(r) = r**3 + 2*r**2 - 4*r. Let n be c(-3). Let m = 3 - 0. Solve s + 4*h - x = -m*s, 4*s + n*h = 11 for s.
5
Let h(q) = -q**2 - 2*q + 24. Let j be h(0). Let v(g) = g - 5. Let n be v(5). Solve n = -2*b + 4*a + j, -b + 1 = 2*b + a for b.
2
Suppose -5*n = -10*n - 20. Let z be (1 - 3) + 21 + n. Solve 3*j - 9 = 0, -3*y + z = 2*j - 0 for y.
3
Let m(j) = -42*j**2 - 1. Let l be m(-1). Let n be l/(-3) - 5/15. Solve 2*v - 2*p = n, -p = 3*v - 6*p - 31 for v.
2
Let w = -15 + 12. Let p be w + 1 + 0 + 6. Solve -4*i = -4, 0*i - p*i - 1 = 5*r for r.
-1
Let w be (2/3)/(7/231). Solve c + 0 = -p - 3, 0 = -4*c + p - w for c.
-5
Suppose -2*m - 2*a + 5 + 9 = 0, 0 = -3*m + 4*a + 42. Let d = m + -7. Let z(g) = g**2 - 1. Let q be z(d). Solve -5*o + 4*k + q = -0*o, o - 10 = -2*k for o.
4
Let m = 0 + 3. Solve 5*x + m*q - 8 = -3, -x + q = 7 for x.
-2
Let c = 1 - -3. Suppose -4*n + 124 = -16. Solve 2*d + 3*w + n = -3*d, -c*d - 1 = -3*w for d.
-4
Suppose -4*z = -3*z. Solve 4*n = 2*o + 10, -2*o + z*o = -3*n + 10 for o.
-5
Let j = 174 + -172. Solve -6*a + 5*h = -2*a - 16, 14 = -j*a - 3*h for a.
-1
Suppose -4*p = p + 40. Let s = p - -11. Solve 0 = -o + c + 2, -s*o + c = -5*o - 5 for o.
-1
Suppose 0 = -11*k + 4*k + 161. Solve -3*o - 12 = -0*o, 0 = 3*h + 5*o + k for h.
-1
Let h = -4 - -9. Suppose h*c - 1 = 4. Let g be c/(-2) - (-2)/4. Solve 19 = -3*b - 5*x, g = -4*x + x - 15 for b.
2
Let k be 5 - (1 - (19 - 3)). Solve 2*l - 2*t + k = 0, -2*l + 5*l = -4*t + 5 for l.
-5
Suppose l + 6 = -x - 2*l, 0 = -x + 3*l + 6. Let s(y) = y + 1 + 4*y**2 + 0 - 3*y**2. Let w be s(x). Solve 4*j = -p + w, 9 = 2*p - 0*j + j for p.
5
Suppose 0 = -3*f - 15, 3*f + 0*f + 17 = 2*q. Let k be 4*1 + q + 0. Solve -3*d + 15 = -k*j + 2*j, 3*d = 5*j + 17 for d.
4
Let w(j) = j + 3. Let b(a) = -a**2 + a + 9. Let m be b(0). Suppose -n - m = 2*n. Let o be w(n). Solve -2*k - h - 14 + 5 = o, 5*k + 21 = -2*h for k.
-3
Let i = -26 + 43. Solve 2*w = 2*d - 10, d + i = -4*w + 2 for w.
-4
Let d be -2*1 + (0 - 1). Suppose 1 = -4*n - 7. Let j be (-32)/(-6)*d/n. Solve -3*f + 5*q - 11 = 0, 4*q = -4*f + 6*f + j for f.
-2
Let k = 32 + -7. Suppose r = -4*r + 25, 5*z - r + k = 0. Let m be -9*-2*(-2)/z. Solve -5*w - 5 = 5*h, -5*w + 4*h = -31 + m for w.
2
Suppose -4*z - 2 = -10, -4*d = 3*z - 26. Solve 0 = 5*c + 3*o + 3, -5*c - 14 - d = -o for c.
-3
Let z = -12 + 7. Let w(p) = -p**2 - 6*p - 5. Let a be w(z). Solve 3*j + a*v + 2*v = 4, -4 = v for j.
4
Suppose 0 = 3*z + 6, -5*k + 26 = -2*z - z. Solve -2*y = -3*m + 23, k*m + 3*y - 2 - 6 = 0 for m.
5
Suppose -6*n - 5*z + 35 = -3*n, 0 = 5*n - 2*z - 17. Solve -2*f + n + 11 = 2*r, 5*f - 5*r = 0 for f.
4
Let i be 0/(-1*(2 + -1)). Let q(j) = -j**2 + 3*j + 2. Let m be q(3). Let a be 5 - -1*i/m. Solve 4*p = -2*v - 6, 2*v - a = -v + p for v.
1
Let n(r) = 33*r**2 + r. Let m be n(-1). Let f be m/10 - (-1)/(-5). Solve 0 = 5*y - 5*z - 25, -f*z - 2*z = -4*y + 20 for y.
5
Let k(u) = 5*u**3 - u. Let z be (-1 + 3)*2/4. Let i be k(z). Solve 6*p + 4 = p + i*m, -1 = 2*p - m for p.
0
Suppose -85 = 5*h + 4*x, x - 4 - 1 = 0. Let t = -19 - h. Solve -14 + 4 = g + 4*m, -2*m = t*g + 2 for g.
2
Let l(f) = -10 - 4 + 3 + 2*f - f. Let k be l(11). Solve -5*o + 3*d = 2, 3*d + 0*d - 12 = k for o.
2
Suppose -2 = -q + 1. Let a(d) = d**3 + 6*d**2 + 4*d + 5. Let o be a(-5). Solve -n + 5 = 0, 2*n = 5*c - q*n + o for c.
3
Let m be (-3)/(-15) - (-22)/(-10). Let x be (1/m)/(-1)*10. Solve 4*d + 3*l - 2 = 0, d + x*l = 2*d + 11 for d.
-1
Let j(y) = -9*y**3 + 2*y**2 - 1. Let d be j(1). Let m be 2/d - (-1)/4. Solve m = -3*k - z + 2*z, 3*k + z = 6 for k.
1
Suppose 0 = -q + 4*d + 15, 2*d + 2*d + 24 = 4*q. Solve -4*l + 6 = 4*f - 6, -5*f + q*l + 15 = 0 for f.
3
Suppose -2*h + 0*h + 4*z - 8 = 0, 4*h = -4*z + 20. Let i be (h/(-3))/((-1)/3). Solve -4*u + 25 = u, i*n = 5*u - 21 for n.
2
Let j = -10 - -2. Suppose -30 - 50 = -4*c. Let g be (j/20)/((-2)/c). Solve -g*t - 3*f = -f - 12, 4*f + 20 = 3*t for t.
4
Let j = -1 + 4. Suppose 3*s - 43 = -37. Solve -c - b = -1 - 3, s*c = -j*b + 12 for c.
0
Let g be (-2*4)/(-8 - -6). Solve -2*v + 5*v + 16 = -5*z, 2*v + g = 0 for z.
-2
Suppose 0 = 2*d - d - 3. Let y be (-2046)/(-42) - (-2)/7. Let n be y/14 - (-1)/2. Solve -n*x - 32 = d*w, 0 = -3*x - 5*w - 2 - 33 for x.
-5
Suppose -1 = -5*i + 14. Suppose w + 17 = n, -w = -i*w - 4. Solve 3*l = -l + 2*t - 10, 0 = 4*l - 3*t + n for l.
0
Let u be 2/(-6) + 76/12. Suppose 0 = 3*v + 4*s - 10 - 5, 2*s = u. Suppose -v - 3 = -g. Solve -3*c - 22 = g*b - 0*c, -5*b = -3*c + 14 for b.
-4
Suppose 0*n + 51 = -3*n. Let y = 21 + n. Solve -y*z - z + 3 = 3*h, -3*h - 9 = z for h.
-4
Let s = -20 + 16. Let n(p) = p**3 + 5*p**2 + 4*p + 2. Let j be n(s). Solve -12 + 5 = -j*v - f, -4*v = 4*f - 24 for v.
1
Let a(g) = g - 3. Let p(m) = 7*m - 1. Let n be p(1). Let y be a(n). Suppose 0 = 4*f - 4 - 40. Solve -3*u = -3*j + 20 - 5, -u = -y*j + f for u.
-2
Let y(b) = b**2 - 5*b + 4. Let f be y(4). Solve -15 = 3*g, -3*z - 5*g - 30 - 10 = f for z.
-5
Suppose -199*k = -192*k - 35. Let x(t) = -6*t**2 + 3*t**2 + 3*t + t**2 - t**3. Let u be x(-3). Solve -3*g = k*c + 10, 5*g + c + u*c = -2 for g.
0
Suppose -m - 2*u = 3, -m - 4*u = -4*m + 1. Let i be (0 + 3)/(-1)*m. Solve -5*x - i*t + t = 0, 15 = 5*x + 5*t for x.
-2
Let k = 4 + -11. Let g = 12 + k. Suppose -2*t + 29 = 1. Solve -n = 2*y + t, n - g*n - 16 = 0 for y.
-5
Let t = -85 - -95. Solve -6*g = 3*m - 4*g - 5, 5*m + 5*g - t = 0 for m.
1
Let c = -18 + 21. Let u = 13 - 8. Solve i + 8 = u*d, c*i - 6*i - 6 = 3*d for i.
-3
Let h = 91 - 89. Solve -h*g = -4*r, -g + 6*g + 30 = -5*r for r.
-2
Suppose 4*z + 18 = z. Let d be 2/(-4)*(-6 - z). Solve -h - 2*a + 8 = 3*a, -2*h + 4*a - 12 = d for h.
-2
Let d(i) = i**2 + 7*i - 12. Let b be d(-11). Solve -b = -4*y - 4*n, 2*y + 4 = 2*n + n for y.
4
Let f = -29 - -18. Let d = -6 - f. Solve 3*o + g - 2*g + 11 = 0, 0 = -2*o + d*g - 3 for o.
-4
Suppose 0 = -8*v + 35 + 5. Solve -16 = -v*u - 2*s, -s + 0*s = -3 for u.
2
Let b be (4/10)/((-2)/(-10)). Let o = 9 - 4. Suppose -32 = -5*u + 4*g, g = b*u + 2*g - o. Solve -u*w = 2*d, w - 2 = -1 for d.
-2
Let c(l) = l - 4. Let r be c(6). Solve -g = -w, -r*w = -5*g + w - 6 for g.
-3
Suppose 3*m - 15 = -3. Let c(f) = -f + 14. Let n = -5 + 5. Let l be c(n). Solve d = 4*z - l, 5*d + 0*z - 26 = -m*z for d.
2
Suppose -11 = 2*a - 3*a. Suppose 0 = -2*k + 3*p + 8, -p + 5*p + a = 3*k. Solve -4*i + 3*j + 0 = -k, 3*j + 7 = i for i.
-2
Let h(u) = -2*u**2 - 14*u - 9. Let k be h(-6). Solve 4*w = -o - 25, -w - w + 5 = -k*o for o.
-5
Let o = -28 + 40. Solve -2*b + 3*u = -6, 0*b + 4*b = 5*u + o for b.
3
Let t(k) be the first derivative of -k**2/2 - 2*k - 2. Le