*j + 20 for c.
5
Let y be ((-12)/16)/((-2)/8). Solve 4*b = n - y - 16, 5*b + 23 = 2*n for b.
-5
Let g = -26 + 26. Solve -s + 6*s = -w + 8, g = 2*w + 5*s - 6 for w.
-2
Let q = -5 + 11. Suppose 3*o + 3*l = 6, 5*l = 2*o + o - q. Suppose 2*u - o = d - 17, -3*d - 3*u = 0. Solve 0 = d*c - 3*p + 15, -p - 3*p = 0 for c.
-3
Suppose 3*b = 11 + 1. Solve -40 = b*k - 4*l, k - 4 = -4*l + 11 for k.
-5
Suppose 19*a - 16*a - 36 = 0. Solve -4*r - 3 = p - a, 4*r + 3 = -5*p for r.
3
Let c(r) = -4*r + 51. Let p be c(11). Solve 2*k - p = -h, 0 = -0*h + 3*h - 5*k + 1 for h.
3
Suppose -25 = -k - 4*k. Let w(b) = b**2 + 4*b + 2. Let j be w(-4). Suppose 2*r - u = k*r - 7, 10 = -j*u. Solve -3*g - r*q + 4 = 5, -g = 2*q - 1 for g.
-3
Let i = -67 + 72. Solve -15 = v + i*n, 0 = -3*v + 2*n - 5 + 11 for v.
0
Let a(x) = -x**3 + 7*x**2 - 5*x - 3. Let q be a(6). Solve 0 = q*t - 5*u - 11, 0*t + 5*t - u = -11 for t.
-3
Let t = 3 + 0. Suppose 0 = -0*l - t*l. Suppose l = 3*s + 4 - 10. Solve -5*f = -2*z, 3*f = -s + 8 for z.
5
Let v = -49 + 51. Suppose 0 = -2*t + 3 + 1. Solve -4*s = t*w + 10, 12 - 2 = -v*w + s for w.
-5
Suppose -3*l + 12 = -c, -l + c = -1 - 3. Suppose 3*y - 2*y = l. Solve y*j + 6 = 3*r, -3*r + 2*r + 4*j + 2 = 0 for r.
2
Let o = 2 + 0. Let v be 11/3 - o/3. Suppose -6 + v = -p. Solve j + p*j + 3*s = 3, s = -4*j + 9 for j.
3
Let q(l) = -4*l**2 + 3*l - 5. Let a be 18/(-12)*(-16)/6. Let r be q(a). Let w = -29 - r. Solve -s + 25 = -5*m, 0 = 3*s - 2*m - w + 5 for s.
5
Let t = 37 - 32. Solve -t*v = 5 - 15, 2*n = 2*v for n.
2
Let a(j) = j + 1. Let u be a(7). Let p = u - 3. Let z(r) = -r - 4. Let s be z(-6). Solve 3*x - 7 = 4*v, -v - p = -2*x - s*x for v.
-1
Let j(y) = y**3 - 4*y**2 - 3*y - 7. Let v be j(5). Solve -a + 3*s + 4 = 2*s, -5*s = v*a + 20 for a.
0
Let o(d) = -3 + d + 3 + 1 + 1. Let l be o(0). Solve -b - 5*j + 21 = 0, -3 + 13 = l*b + 2*j for b.
1
Suppose -2*d = 2*q - 12, -4*q = -0*d + d - 12. Solve 0 = -2*c + d*n, 5*c - 3*n = -4*n for c.
0
Let v(d) = 0 - 4 - 7 - d + 1. Let g be v(-14). Solve 0 = -2*m - a - 12, 2*m = a + g*a for m.
-5
Let x be (-1)/4 + 22/(-8). Let n(k) = k**3 + 3*k**2 - 3*k. Let p be n(x). Solve -2*o + 5 = -3*o - c, 5*o + c + p = 0 for o.
-1
Let a(h) = 3*h**2 - 6*h + 2. Let l(c) = 5*c**2 - 12*c + 5. Let r(m) = -7*a(m) + 4*l(m). Let n be r(-6). Solve -3*q = 2*q - 20, 0 = -2*g + 3*q - n for g.
3
Let c = 41 - 38. Solve c*v + v - 28 = 2*g, -2*v = 2*g - 2 for v.
5
Let w be 1 - (-12 + (-1 - -4)). Suppose -20 = -2*o + j, o + j = 5*j + w. Solve 2*r + k = -2*k - o, -3*r + 3*k = 0 for r.
-2
Suppose -56 = -3*i + 2*i. Suppose 2*x - i = -2*x. Solve -2*l = -4*m + x, m + 6 = -4*l - 4 for l.
-3
Suppose -3*u + s = -26, u + 2*s = -3*u + 28. Solve -1 = -5*w - 4*a - 2, 4*a = 4*w + u for w.
-1
Let u(k) = -k**2 + 4. Let x be u(-4). Let w be (8/3)/((-8)/x). Solve 3*s + 4 + 2 = -3*c, -3*s = c - w for c.
-5
Let o = -2 + 3. Let r = o + 3. Suppose k - r = s, 2*k + 0*k + 2*s = 8. Solve -w - 2*d + 0 = -2, -8 = -k*w + 2*d for w.
2
Let z(m) = 8*m - 6. Let s(w) = -7*w + 5. Let i(g) = -4*s(g) - 3*z(g). Let v be i(2). Suppose -h = -v - 0. Solve -4*b + 3*f - h*f + 2 = 0, -2*b = -2*f - 8 for b.
2
Let h(p) = -20*p + 12. Let d(v) = -7*v + 4. Let i(r) = 8*d(r) - 3*h(r). Let n be i(6). Solve 2*c + 3*y = -3*c, -y = -5*c - n for c.
-3
Suppose 5*n = 4*n + 3. Solve 0*k + 6 = -2*k + 4*x, 4*x - 7 = n*k for k.
-1
Let w = 9 + -5. Suppose w*u = 9*u. Suppose -q + 5*v + 24 = 0, -v - 22 = -5*q + 98. Solve 2*x + 4 = 3*n, 4*n + 2*x + u*x = q for n.
4
Suppose -9 = -4*t + 7. Solve 5*c + 3 + 10 = -t*x, -5*c - 11 = 3*x for c.
-1
Suppose -4*p = -3*g + 83, -4*g - 4*p - 33 = -5*g. Let q = 40 - g. Let c = -6 + q. Solve 6 - 21 = -3*r + 3*f, 0 = -5*r - 3*f + c for r.
3
Let c = -5 - -5. Suppose 3*k - 5*b = -c*b + 10, b = -4*k - 25. Let s be 2/15*-3*k. Solve 8 = 3*r + h, s = 2*r + h - 5 for r.
1
Suppose 4*l = l + 63. Let i be l/(-9)*(3 - 6). Solve -3*s + 2*d = -19, -s - 4*d = -2*d + i for s.
3
Let r = 4 + 2. Let t be 2164/18 - r/27. Suppose -3*o + 6*o = t. Solve 0 = -5*m + 3*z + 16, 5*m = z - 6*z + o for m.
5
Let d(x) = -3*x - 1. Let f be d(-1). Let t be (-2)/(-3) + 280/84. Let y = t - f. Solve 5*j - y*o - 45 = -6*o, 10 = j + o for j.
5
Let p = 0 - 0. Let o be 5/(-15) - 16*4/(-12). Solve d = -3*t + 4*t, 5*t + o*d - 30 = p for t.
3
Suppose -5*v - 4*r = -19, -3*v + 8*v = 2*r + 13. Suppose -3*j + 16 = m, 4*j = m - v*m + 22. Solve j = -q + t, -5 = -q + 2*q + 3*t for q.
-5
Suppose -o - 6 = -11. Let q be 1/((-4)/6 + 1). Solve -o*l = -2*v + 13, 2*l = -q*v - 2*v - 11 for v.
-1
Let m(n) = -2*n**2 + 9*n**2 - n**3 + 8 + 11*n - 4*n. Let w be m(8). Suppose 16 = -c + 4*s + s, -c + s = w. Solve -5*x = 4*h - 4*x + 2, 0 = 3*h - c*x - 8 for h.
0
Let v = -13 + 18. Solve 4*y + u + 3*u - 8 = 0, u + 2 = -v*y for y.
-1
Let r = -16 - -16. Solve 5*d + 22 - 6 = 3*a, -5*d - a - 28 = r for d.
-5
Suppose 36 - 4 = 4*x. Let w = x + -8. Solve -a - 4*i = 17, w = a - 2*i - 3 - 4 for a.
-1
Let c(d) = 9*d + 4 + 0 + 2*d**2 - 1 - 1. Let w be c(-5). Let l be 2 - 1 - (-5 - -1). Solve -j = l*i + 23, 30 = 5*j + 3*i - w*i for j.
2
Let o = -5 - -3. Let l be o + 2 - (-3 + 3). Solve q - 7 = 3*c + 5*q, l = c + 3*q + 9 for c.
3
Suppose -d + 8 + 8 = 0. Let n be 6/(-4)*d/(-6). Solve 0 = n*p + 2*b + 2*b + 8, -4*b - 8 = -p for p.
0
Suppose p = 5*p + 4, -z + 4*p = -6. Suppose -z = k + 2. Let h(o) = -2*o - 4. Let r be h(k). Solve 0*j = -j - r*l - 15, -j - 5*l - 20 = 0 for j.
5
Let f = 5 - 1. Solve -2*d = 3*m + 18, -3*m = m - 4*d + f for m.
-4
Let t(u) = 14 + 5*u - 5 - u**2 - 11*u. Let r be t(-7). Solve -4*k + 0*s + 4*s = -8, -k = -r*s - 2 for k.
2
Let b be 1 - 3 - 6/3. Let j be ((-2)/b - 0)*22. Let k be j/3 - 2/(-6). Solve 0 = -k*f - 3*a + 4*a - 4, 2*f - 16 = -4*a for f.
0
Suppose o - 4*k = 124, 5*o - 4*k + 2*k = 566. Let q = -47 + o. Suppose -3*i = 2*i - q. Solve 3*h = 5*x - 28, x - 2*h + i = 4*x for x.
5
Let t = 9 - 5. Solve -3 = 3*s, 3*a + 4 = -t*s + 3*s for a.
-1
Let h = 3 - -1. Solve h*g = -p + 13, -3*p - 2 = -2*g + p for g.
3
Suppose -4*l + 12 = -3*b, 5*b + 0 = l - 3. Solve t + 19 = -5*z, -l*z - 4 = -2*t + z for t.
-4
Let h = -10 - -7. Let q = 0 - h. Suppose k - 3 = q*o - 8, -4*o = 4*k + 20. Solve u + 3 = o, -3*l + l - 3*u = 15 for l.
-3
Let g be 63/14 + (-3)/6. Solve 0 = w - 3*t + 12, -w + t + 6 = -g*w for w.
-3
Suppose l - 12 = 5*l. Let q be l*1/(-3)*2. Solve -2*n = -m - q, 0*n + 2*n - 2 = -3*m for m.
0
Let y(g) be the first derivative of g**3 + g**2/2 + g - 1. Let m be y(-1). Suppose 0 = 5*w - 3*w. Solve -4 = -m*j + 2*f, -4*j - f + 9 + w = 0 for j.
2
Let y = 68 + -60. Solve 2*c - 4*z = 8, -2*c - 3*z - z = -y for c.
4
Let p(q) = q + 14. Let i be p(-14). Suppose i = -3*o + 2*o + 15. Solve 4*c + 20 = 0, -4*y = c - 2 + o for y.
-2
Let n = 4 - -6. Suppose -7 = -z + n. Solve -2*w - 3 = -3*w + 2*p, -3*w - 2*p + z = 0 for w.
5
Let m be 12/6 - (1 - 1). Suppose 3*a = 12, 5*a + 2 = -m*s + 24. Let p be (s - (-6)/(-4))*0. Solve 0 = -0*q + 3*q + 6, p = -5*d + 3*q + 6 for d.
0
Let p be (1/2)/(1/2). Suppose 9 - p = 2*f. Solve l - f*m + 4 = 0, 0 - 6 = -3*l + 3*m for l.
4
Let g = 0 - 4. Suppose -2*d = j + 10, 0 = d + 3*d - 3*j. Let m be (-6)/g*(-8)/d. Solve -m*h + 5*s - 2*s = 19, -3*h = 3*s + 9 for h.
-4
Let u be (-75)/(-18) + (-3)/18. Solve 1 = -3*q - 0*q + t, 4*q - 4*t = u for q.
-1
Suppose -8 + 13 = 5*f. Let v = -1 + f. Solve v = 2*r - k - 11, -4*r + 2*r - 4*k = 4 for r.
4
Let b be (3 - 1) + 0 + 0. Let g(y) = -y**3 - 9*y**2 - 8*y + 2. Let m be g(-8). Solve -2*j + j - r - b = 0, -1 = j + m*r for j.
-3
Suppose 0 = 3*w - 5*w - 2. Let g be 5/(-2)*(w - 1). Let o(b) = -b**3 + 7*b**2 + 9*b - 3. Let r be o(8). Solve 4*y + 4 = -3*c + r*c, c - 9 = -g*y for y.
1
Suppose 0 = -5*a + 22 - 7. Solve 0*b - 15 = -b + 5*g, -g = a for b.
0
Let l = 20 + -15. Suppose 0 = l*r - 3*r. Solve 0*f = 2*f - 2*s - 16, 4*f - s - 20 = r for f.
4
Suppose -5*a - 47 = -4*t, -a - 85 = -5*t - 0*a. Solve p - 5*u = t, 12 = -p - 2*u + 2 for p.
-2
Suppose -22 - 14 = 4*l. Let y(s) = -1 + 3 - 3 - 5 - s. Let k be y(l). Solve 5*f + k*w - 3 = 0, 4*f - 4*w + 6 = 2 for f.
0
Let a(s) = s**3 + 3*s**2 - 13*s + 7. Let y be a(-5). Solve 4*i = -5*z - 40, y = -3*i + i - 3*z for i.
-5
Let h(j) = -j + 3*j - 2 - 3*j. Let m be h(-5). Solve -2*o + m*o = t + 5, 5*t = -5*o + 15 for o.
4
Let n = -96 + 162. Let z be n/(3/(9/6)). Solve