et c be u(0). Let z be c*(1/(-1) + 2). Solve 0 = -l - f, z*l = -2*f - 2 + 6 for l.
2
Suppose -m = 2*d - 5 + 1, 2*m = d + 3. Suppose -6*x + 2*w - 5 = -3*x, -5*x - m*w - 3 = 0. Let f be (0 - 6)/(-1 + x). Solve j - 1 = -c, 2*j - f = 4*j + c for j.
-4
Let o = 66 + -53. Solve -o = -2*n + 3*a - 3, 3*n = -2*a + 15 for n.
5
Suppose 12*u + 8 = 16*u. Solve -u*b + 3*m = 2 - 1, 3*m - 4 = -b for b.
1
Let m be ((-18)/(-15))/(1/10). Suppose -m = -2*k - 0*k. Solve 2*g - x - 5 = 0, -5*g + k*x = x - 25 for g.
0
Let s = 7 - 8. Let k be 78/36 + s/6. Solve 23 = 4*m - k*m - 3*p, 4*m - 21 = p for m.
4
Let p(v) = -v + 12. Let n be p(-3). Solve 5*u + n = -2*h, 3*h - 1 = 2*u + 5 for u.
-3
Let x(v) = 15*v**2 - v + 1. Let m be x(1). Suppose 0 = 4*h - h - m. Solve 2*c + q = -3*q - 26, 3*c - h*q - 5 = 0 for c.
-5
Suppose -u + 2*u = 2. Suppose p - 1 = u*o, 2*o - 35 = -5*p - 6. Solve y = o*y - 2, 2*y = -q + 4 for q.
0
Let d(w) = 24*w - 5. Let r be d(1). Let m(b) = 2*b - 10. Let x be m(7). Solve s = 3*t + 3*s - 17, -r = -x*t + s for t.
5
Let z(x) = 2*x - 4. Let g(a) = -a**2 + 8*a + 3. Let j be g(8). Let w be z(j). Solve -14 = w*c - 2*n, -2*c + 7*c + 33 = 4*n for c.
-5
Suppose -1 = -5*m + 29. Suppose -4*p + 6 = -m. Let h(u) = u**2 - 3. Let j be h(p). Solve -y - 4 = -5*b, 2*b = -5*y + j*b + 1 for y.
1
Suppose 5*f + 2*b + 6 = 19, -4*f + 13 = -b. Solve 7 = f*a - 4*p, -4*a + 0*a - 4*p - 28 = 0 for a.
-3
Let v be (10/(-4))/((-9)/18). Solve -x + 13 = v*d, 6 = 4*x - 4*d + 2 for x.
3
Let o(p) = -p**2 - 8*p - 3. Let h be o(-6). Let b(c) = c**2 - 7*c + 13. Let j be b(h). Solve j = 5*w + m + 2*m, -24 = -4*w - 2*m for w.
5
Suppose 0 = -5*g + b + 4 + 6, 5*b - 10 = 5*g. Solve -g*h = -0*f - f, -3*f - 13 = 4*h for h.
-1
Let i = 59 - -1. Let t be (-8)/5*i/(-8). Let l be (4/t)/(3/18). Solve -l*o - 5*p - 30 = -3*o, 5*o = 3*p + 40 for o.
5
Let d(n) = n**3 - 5*n**2 + 7*n - 9. Let w be d(4). Suppose 4*u - 22 = w*g, -5*g + 5 - 15 = 0. Solve -5*t = -u*p + 29, 5*p - 5*t = -3 + 33 for p.
1
Let g be (1 + 2)/((-39)/260). Let p = g - -22. Solve -f = 3*c + 16, p*f - 4 = c + 2*c for f.
-4
Suppose 2*j - 7 = -3. Suppose r - 5*r - t + 17 = 0, -j*r + 7 = t. Solve 2 = f + r*w, -3*f = -2*f - 2*w + 5 for f.
-3
Let m = -13 - -18. Suppose -r + 5*r + 5*t - 13 = 0, -m*r + 13 = 3*t. Solve 0 = 5*p + 5, -5*p + 0 + 1 = r*w for w.
3
Let t(c) = -c**2 + 8*c + 11. Let i be 9 + (-6)/3 - -2. Let p be t(i). Let q = 3 + 0. Solve -l + 3*w + 10 = -w, -p = -4*l - q*w for l.
2
Suppose -t - 29 = -33. Solve 2*k - 2 = -z, -4*z + k + 8 = -t*k for z.
2
Let x(b) = -b - 1. Let h be x(-5). Let f be 1*11/(44/24). Suppose -2*n - 4*y = -2 - 10, 2*y = 2*n + f. Solve 4*g - 3*j = 2, n*g + h*g + 2*j = -8 for g.
-1
Let i = -2 - -6. Suppose i*x = 5*s + 46, x - 4*s + s = 15. Let a = 10 - x. Solve 4*q - 25 = -3*c, q - 2*c + 3 - a = 0 for q.
4
Let b be ((-54)/(-63))/(2/14). Let p be b/(-9)*(-3 + -3). Solve 0 = 2*h - p*c + 10, 4 + 10 = -h + 5*c for h.
1
Let g(j) = -8*j - 9. Let p(r) = -r - 1. Let f(q) = g(q) - 6*p(q). Let d be f(-3). Solve -d*u + 5*l + 2 = -5*u, 2*u = 2*l + 12 for u.
4
Suppose q = -2*q. Solve 3 = -5*j - 2*l - 9, q = -2*j - l - 5 for j.
-2
Let r be 2 - (-1 - (2 + -4)). Let m be (2/r)/1*1. Solve -m*n + 5*y = 2*n + 12, 4*n + 3*y + 12 = 0 for n.
-3
Let m be (-3)/(6/(-4)) - -1. Let g = 10 - 7. Let h be g/(-9) - (-22)/m. Solve -6 = -5*x - 3*l, 0 = -x - 3*l - h + 1 for x.
3
Let v(n) = 10*n**3 + n**2 - n + 1. Suppose w = -x - 2, -3*x = -w - w + 21. Suppose 0 = 2*o - w*o + 1. Let t be v(o). Solve -4 = -a + 3*j - t, -j = -a - 3 for a.
-1
Suppose -4*s = -5*l - 1, 4*s + 2*l - 14 = 2*s. Solve -4*o = -2*n - 26, -o = -4*o + s*n + 27 for o.
5
Suppose 0 = -3*t - 5*t + 40. Let w = 8 - 5. Solve i + t*u = -2*i - 32, w*i = 5*u + 8 for i.
-4
Suppose 0 = u + 4 + 4. Let y be u/(-24) + 10/6. Solve -d = -y*s + d + 16, -2*s - 5*d = 19 for s.
3
Let i(b) be the second derivative of -b**4/12 - 5*b**3/6 + b**2 - 2*b. Let q be i(-4). Suppose -5*h + q = -2*h. Solve -3*u + 0*s = -4*s + 9, -h*s = 0 for u.
-3
Let g(f) = f - 4. Let o be g(4). Solve -5*d + 13 = t, 5*t - 4*d + 1 + 21 = o for t.
-2
Suppose 4*m - 1 = -2*b + m, -4*b + 2*m + 42 = 0. Solve -5*w + 2*j = -0*j - 5, 4*j - b = 4*w for w.
3
Suppose 0 = -2*i + 4, -26 = -3*p + p - 5*i. Let j be 4/(-12)*(-18 - 0). Solve n - j*n = 4*m - 4, p = -4*m - 2*n for m.
-4
Suppose -15 = b - 6*b. Suppose b*n = 6*n - 90. Solve -5*q + t = -t - n, 22 = 3*q - 2*t for q.
4
Suppose 2*u - 120 = -5*r + u, 0 = r + 5*u. Solve 4*i = -n + r, -i = n + 4*i - 30 for n.
5
Suppose 0*z = z - 14. Solve -5*k + 5 = 0, 3*a = -3*k + 8*k - z for a.
-3
Let w = 3 + 3. Let m(q) = q - 4. Let u be m(w). Solve -1 = 2*a + a - u*g, 3*g - 18 = -a for a.
3
Let m be 16/88 + (-2)/11. Let l be 3/(-6)*(m + 10). Let n = 23 - l. Solve 0 = a + 5*g - 15, g + n = 4*a + 5*g for a.
5
Let p(n) = 3*n. Let o be p(5). Let l be 2/(-3*(-2)/o). Solve b - l*b - 5*u + 31 = 0, 26 = 5*b + 2*u for b.
4
Let p = 9 - 8. Suppose d = p + 11. Let k = -10 + d. Solve 0 = -5*w + 20, -3*w - k = -5*l - 39 for l.
-5
Suppose 0 = -0*x - 2*x. Solve x = 2*d - 5*u - 23, -3*d - 8*u + 3*u - 28 = 0 for d.
-1
Suppose 2*l - 8 = -2*m, -2 = -m - m. Solve p + l*a - 3 = 0, p = 4*p + 5*a - 9 for p.
3
Let w be 12*(-1 + (-7)/(-4)). Let q = w - 5. Suppose 0 = u + u - q. Solve 5*x = s + 22, -2*s - u*s + 2*x = 16 for s.
-2
Suppose -i - 10 = -6*i, 5*i = -3*l + 4. Let h = 7 + l. Solve -3*z - 2 + 12 = h*y, 45 = 4*y - 5*z for y.
5
Let w(z) = 3*z**3 - z**2 - 3*z**3 + 3*z**3. Let c be w(1). Solve -3*k = -u - 2*k, -c = -2*k for u.
1
Suppose 8 = 4*c - 2*c. Let n be (-1)/1 + (-140)/(-4). Suppose -n = -3*k + 2. Solve 5*d + 20 = 0, 3*d - 5*d + k = -c*t for t.
-5
Let b be (-9 - -7)*(-2)/4*3. Solve 21 = 4*u + 5*h, b*u - 4*h = -3*h + 11 for u.
4
Let c = -3 + 4. Let g = c - -1. Suppose -3*v - g*v + 15 = 0. Solve 3*m - 2 = -5*l, 2*l + 5*m + 6 = v*l for l.
1
Suppose 0 = -5*m - 12 + 37. Suppose 27 = -2*o - m*v, 5*o = -0*o + 4*v - 18. Let c = o + 9. Solve c*u - 3*t - 27 = 0, 5 = 5*u + 3*t + 2*t for u.
5
Let t = 76 - 74. Solve -b + 5 = -4*c + t*c, 0 = -b + 3 for c.
-1
Let f be (0 + 1)*2*65/13. Solve 2*n - 2*b = f, -n - n + 5*b + 25 = 0 for n.
0
Let r be 3 + (1 - 1)/(-1). Suppose -r*c = 2*c. Suppose -5*b + 15 = -v, -9 = -3*b - c*v + 4*v. Solve -3*t - f + b*f + 15 = 0, 0 = -t - 5*f + 5 for t.
5
Let l(w) = -w**2 - 3*w + 4. Let c be l(-4). Let n(d) = -d**3 + 8*d**2 + 9*d + 9. Let x be n(9). Solve 16 = 4*f, c*r + 5*r + 4*f = -x for r.
-5
Suppose 0 = -y + 3 - 0. Suppose -y*r = 2*f - 60, -4*r - 2*f + 36 + 46 = 0. Suppose -5*x = -2*x. Solve x = -5*h - 4*l + 28, 0*h + l = -5*h + r for h.
4
Suppose -2*j = 12 + 4. Let r = j - -13. Solve 14 = 4*o + 2*d + d, 3*o = -5*d + r for o.
5
Let n(u) = u**2 + u - 7. Let w be n(3). Solve 0 = 2*t + w*z - 6, -3*t + 3 = -2*t + 3*z for t.
3
Suppose -6 = k - 8. Let c be (1 + -16)*(-2 + 1). Let z be 65/c + 2/(-6). Solve -7 = k*d - z*v + 7, -v - 1 = -5*d for d.
1
Suppose 3*k + 39 = 4*z, 3*z + 5*k = 4*z - 31. Suppose z*p - p = 25. Solve 3*a = -2*f - 2, -f + 3 = p*a + 18 for f.
5
Let m(z) = z**3 - z**2 + z + 18. Let p(t) = -5*t + 5*t + t**2 - 4*t. Let o be p(4). Let i be m(o). Solve h + 17 = -4*q, -16 = 5*q - 3*h + i for q.
-5
Let w be ((-12)/1)/(6/(-4)). Suppose g + g = w. Suppose 22 - 102 = -g*k. Solve -b - k = -3*s, 10*s - 5*s = b + 30 for s.
5
Suppose -5*f = 2 - 12. Suppose -3*w + 65 = 5*g, -4*w = -f*g + w + 57. Solve c = 2*b - g + 6, 2*b - 22 = 4*c for b.
3
Let h = -3 + 8. Solve -3*y = -h*r - 3, -y - 2 - 8 = 2*r for y.
-4
Let j(m) = -7 + m - m + 3*m. Let z(s) = -s**2 + 4*s + 2. Let d be z(3). Let v be j(d). Solve 0 = -3*q - 4*a - 4 - v, 0 = 4*a for q.
-4
Let o = -3 - -2. Let m be -3 - -2 - o - 0. Solve -4*r - 4 = 4*b, 0 = 3*b + 2*r - m*r for b.
2
Let j be 0 - 9/(1 - 4). Suppose 6 = 2*n + s, 8*s = 5*n + j*s. Suppose -n*b + 5 = -b. Solve 3*h + 4*m = 7*m + 12, -b*m - 6 = 2*h for h.
2
Suppose 7*g = 3*g - 44. Let j = 22 + g. Suppose -2*v + 6 = -4*a, -2*v + 10 - 4 = -3*a. Solve -1 = -h - v*p, -h + 4*h = -p + j for h.
4
Let i be 114/24 + 1/4. Let q(g) = -23*g + 2. Let b be q(4). Let r be (-4)/14 + b/(-21). Solve -4*t = 0, 0 = -i*h + h - 5*t - r for h.
-1
Let u be (4/(-8) + 0)*0. Suppose 5*k + u*k = 0. Solve -7 = -d + 3*n, -2*d - 2 = -2*n - k*n for d.
-5
Let p(m) = -m**3 + 7*m**2 - 8*m + 9. Let f be p(6). Let x = 1 + f. 