 s = 8 - 4. Let v be f(s). Solve 3*r - 6 = -k*b - v, -2*r = -5*b + 12 for r.
-1
Let r be (-42)/(-8) - (-4)/(-16). Suppose -5*x - 42 = -2*a, 1 + 9 = -r*x. Let h = a + -9. Solve 0 = -5*w + w + 16, 0 = -3*j + 4*w - h for j.
3
Let s(m) = -m**3 + 6*m**2 - m + 4. Let b be s(5). Suppose 2*l = 3*l - b. Solve -l = -5*h - 0*u - 2*u, -u = h - 6 for h.
4
Suppose 0 = -0*j + 5*j - 105. Let m = -19 + j. Solve 24 = -2*d - 4*f, 2*d + m = 3*f + 6 for d.
-4
Suppose 3*r - 86 = -7*c + 3*c, 0 = c - 2*r - 16. Let h = -2 + 2. Suppose h = -b + 3. Solve n + c = -g + 5*g, b*g + 8 = -5*n for g.
4
Let b = 2 + 2. Solve -b*z - 28 = 5*u, 0*z - 2*z + 8 = -3*u for z.
-2
Suppose 4*s + 23 = d, 0 = 3*d + d + 2*s - 2. Suppose d + 7 = 5*t. Solve -18 = 2*w + 5*a, -23 = -5*w + 4*a - t for w.
1
Suppose u = 2*u. Suppose w - 2*c + 4 = u, 2*w + c = -0*c + 2. Suppose -v + r - 3*r + 3 = 0, -5*v - 5*r = -15. Solve w = v*f - 4*f, -2*g - 8 = 3*f for g.
-4
Let p = -28 - -28. Solve 5*q - 20 = p, -2*m - 3 = -q + 3 for m.
-1
Let r be 7/(-14)*(0 - 10). Suppose 3*f - r*f = 0. Solve f*p + 5*q = p + 4, 3*q - 3 = 0 for p.
1
Let c(i) = -i**3 + 5*i**2 - 4*i + 3. Let t be c(4). Solve 2*v - 7 = -a, v - 4*a - 8 = -t*v for v.
3
Suppose 0*h + 5*h = 70. Let c = h - 11. Solve -2*g = -3*n + 12, 2*g + c = -3 for n.
2
Let o be 31/1 - (-5 - -4). Suppose 3*p = -4*a + o, -p - 31 = -3*a - 5*p. Solve -a*c = m - 23, 2*c - 3*c = 4*m + 3 for m.
-2
Let n(p) = 0 + p**2 + 4*p - 1 + 0*p**2. Let h be n(-5). Solve -5*i + 5*k - 1 = -6, -h*i + 5*k = -5 for i.
0
Let m(r) be the first derivative of r**4/4 - 5*r**3/3 + r**2 + 5*r + 3. Let w be m(5). Solve 2*l - 24 = 7*l - u, -2*l - 5*u = w for l.
-5
Let x = 2 + -1. Suppose 3*t - 33 + 24 = 0. Suppose -t*a - x = -7. Solve -3*c - a = k, 0*k + 4*k = -5*c - 15 for c.
1
Let d(u) = 3*u - 1. Let y be d(4). Let s = y - 7. Solve s*z - 3*k = -6*k - 31, 15 = -3*k for z.
-4
Suppose -s + 5*d - 24 = 0, 0 = 4*d - 8 - 12. Let i be (-1)/(s*(-4)/32). Solve -2*c + i = 0, -3*w - 1 = c - 5 for w.
0
Let d be (3/(-3))/((-4)/20). Solve 2*i + 3 = 11, l + 15 = d*i for l.
5
Let c be (-18*(-2)/8 - 2)*2. Solve 3*t - c*o = 22, -4*t - o + 2 = -3*t for t.
4
Let a = -18 + 18. Solve 0 = -2*t - 2*t - 3*x - 31, a = -3*x - 15 for t.
-4
Let j be 78/21 - (-2)/7. Solve 2*z + 3 = b, j*b = -2*z + 1 + 1 for b.
1
Let j(x) = -11*x**2 - 4 + 13*x + 1 + x**3 - 3 - 8. Let u be j(10). Solve 5*k + 2 + 2 = -4*r, u = -4*k for r.
4
Let p = -32 + 46. Suppose 3*l = 2*q + p, -3*l + 5*q = -5*l - 16. Suppose 4*u = 10 - l. Solve -5*j + u*j = 0, -10 = 5*s + 5*j for s.
-2
Let i(d) = -d**2 - 6*d - 4. Let f be i(-4). Suppose 4*z - 12 = 0, f*u - 5 = -0*u + 5*z. Solve -9 - 1 = u*t, -k - 6 = 3*t for k.
0
Suppose u = 2*t - 14, 2*u - 3 + 1 = -2*t. Suppose -2*o = -t*s - 35, -o + 0*o = 0. Let h = 11 + s. Solve 8 = -3*w - h*q, 0*w + 4*q = 4*w + 20 for w.
-4
Let v(q) = -q**2 + 8*q + 2. Let n be v(8). Suppose -n*f = -4*f. Solve f = 4*m + 4*g + 4, m - 4*g + 2*g - 2 = 0 for m.
0
Let h(r) = r - 2. Let c be h(4). Let l be ((-3)/(-2))/(1/2). Suppose -3*q = z + l, -q + 1 + c = -z. Solve -2*t + 15 = -3*d - q*d, 4*d - t + 15 = 0 for d.
-3
Suppose 4*k - g + 8 = 53, 4 = -4*g. Let c = k - 8. Suppose -6 = c*a - 5*a. Solve -5*y + 5*d + 20 = 0, -2*d + 5 = a*y - 2 for y.
3
Let o be -2*3/(-18)*21. Suppose -r + 3*r = 0. Let q = o + r. Solve q*n + 5*p = 2*n - 25, 20 = 5*n - 4*p for n.
0
Let j = -28 + 15. Let z = 17 + -25. Let h = z - j. Solve -4*l = 5*r - 40, 2*l + 15 = h*r + l for r.
4
Let z = -1 - -5. Suppose 0*l - j + 6 = l, -z*j + 22 = 2*l. Solve -5*h = -y + 26, l + 3 = -h - y for h.
-5
Suppose -15 = -5*p - 5. Solve p*x - 4*x = 5*o + 35, -30 = 3*o + 3*x for o.
-5
Suppose 5*c = -58 + 208. Let h be ((-28)/10)/((-2)/c). Suppose -2*r + h = -0*r. Solve 3*k + 2*b + 27 = -b, -r = 5*k - b for k.
-5
Suppose -2*m + 14 = 3*b, -15 = -2*m + 3*b + 23. Solve -3*f = -a + m, f + 3*a - a + 9 = 0 for f.
-5
Suppose 0 = 2*a - 6 - 6. Solve 5*u = -3*s - 22, -5*u + a*s - 3*s - 28 = 0 for u.
-5
Let k be (-1 - -2) + 18/6. Solve 0 = -5*u, 3*z - 2*u - k + 19 = 0 for z.
-5
Suppose -a - 3*a - 4*j - 4 = 0, 2*j - 14 = 2*a. Let p be a/(-14) + (-36)/(-21). Solve 2*v = -5*x + 28, p*x = 5*x + 3*v - 24 for x.
4
Let t = -3 - -3. Let d = 10 - 5. Let q = d + -5. Solve -u + 2*f - 7 + 3 = t, -4*u - 5*f - 16 = q for u.
-4
Let l = -42 + 42. Solve 4*v + 5*b - 6 = 1, 4*b - 12 = l for v.
-2
Suppose -2*r + 45 = -7*r. Let z be (-2)/1*r/6. Solve -5*d - z*m = -29, -d + 5*m = 5 + 6 for d.
4
Let l be (-4)/5*45/(-18). Solve 0 = 4*d - 4*y + 8, 3*d - l*y + 10 = -3*y for d.
-3
Suppose -14 = 4*w - 3*m, 5*w = -3*m + 4*m - 12. Let r be 4/(1 - 3)*w. Solve 5*v + 11 = 4*h, 7*v + r = 4*v + 5*h for v.
-3
Let x(a) = -a**2 + a - 1. Let d be x(1). Let v be 1/(d + (-5)/(-4)). Let s = 78 - 47. Solve -2*f - v*k = -10, 5*f - 5*k + 4 = -s for f.
-3
Let w = -2 + 2. Let v = 3 - w. Solve -v*j = 2*p - 4, -3*j - 4 + 16 = 0 for p.
-4
Let j(z) = -18*z - 14. Let a be j(-1). Solve -4*p = -5*l + 26, -5*p + p + a*l - 24 = 0 for p.
-4
Let k be 74/26 + 6/39. Let v = -3 - -6. Suppose v*l = 6*l - 39. Solve 5*j - 11 = -2*m, 4*m = 2*m + k*j - l for m.
-2
Let z(l) = 15*l**2 + 2*l + 1. Let x be z(-1). Suppose 5*a = x + 11. Solve 0 = 2*i - 5*r - 0*r + 6, -r = -a*i - 15 for i.
-3
Let x = -1 - -2. Let n = 4 + x. Solve y + 5*l = 2*y - 10, -n*l + 20 = 5*y for y.
5
Let d(v) = 4*v + 2. Let j be d(4). Let q = 34 - j. Solve -1 = -b + 2*s, -2*b + q = -s + 4*s for b.
5
Let w(p) = -3*p + 2. Let f be w(-2). Let d = 10 - f. Let h = 6 + -2. Solve -4*g - h = 0, -2*g = -4*q + d*g - 16 for q.
-5
Suppose 0 = -5*p - d - 3, -4*d + 4 = 16. Solve 4*v + 7 = -h, 2*v + p*v - h + 5 = 0 for v.
-2
Let p be -14 - -16 - 0/1. Solve p*j - 20 = -3*v, 5*j + v - 32 = -2*v for j.
4
Let h be 6/(-2 + 0) - -8. Solve -5*b + 12 = -3*b + 2*w, -4*b = h*w - 27 for b.
3
Let l(q) = -5*q**3 - q - 1. Let i be l(-1). Suppose n - 10 = -2*r, 5*r - 2*n - 6 = 1. Suppose -3*v + 12 - r = 0. Solve -5*o = -4*g - v, -o - 2 = 3*g + i for o.
-1
Let p(o) = -o - 9. Suppose 4*q + 28 = 4*v, -q - 3*v - 45 + 18 = 0. Let d be p(q). Solve -4*x = -3*a + 2, 2*a = -d - 1 for x.
-2
Suppose 0 = -5*w + 4*w. Let x be (-130)/(-8) + 1/(-4). Let u = -10 + x. Solve w = u*s - 3*s - 2*q - 7, 0 = -s + 2*q + 9 for s.
-1
Suppose 3*w - 3 = -5*p - 12, 4*p = 5*w + 15. Solve p = s + 4, s - 15 = -5*z - 44 for z.
-5
Let x(z) = -2 + 5 + 5 + z - 6. Let b be x(5). Let v = 8 - b. Solve -4*y = 3*a + 9, a = 3*a + y + v for a.
1
Let c be ((-4)/((-3)/3))/(-2). Let v be (3 + c - 0) + 2. Solve 3*i + 3*k = -i + 10, 10 = v*i + k for i.
4
Suppose 4 - 3 = -j, -12 = -4*l + 4*j. Suppose 0 = -l*k - 3*k. Solve -5*p - w - 12 = -5*w, 3*p - 4*w + 12 = k for p.
0
Let j be 4 + 4*(-3)/3. Solve -4*w - 3*m + 5 = 0, j = -5*w - 3*m + 1 + 6 for w.
2
Let k = 45 + -30. Let d = -8 + 11. Let a be 8 - (d - (-4 - -4)). Solve s + s - a*v = 23, 5*v = -k for s.
4
Suppose 3*o = 2*m, -5*m + 4*m - 22 = 4*o. Let h = m - -10. Solve -6 - 3 = 3*p + 3*d, 3*p + 2*d = -h for p.
2
Suppose 2*b + 4 - 8 = 0. Solve -h = b*q + 7, 0 = -3*h + 2*q - 7 + 2 for h.
-3
Let b = -56 + 58. Solve -b*j = -4*g + 8, 4*j + 2*g + 8 = -j for j.
-2
Let h(p) = -p**3 + 4*p**2 - 3*p + 1. Let g be h(2). Suppose -4*o - 17 = 5*i, -2*i = 13 - g. Solve 0 = r + 2*u - 9, 5*u + 15 = o*r + 8*u for r.
3
Let s(q) = q**2 - 10*q - 11. Let m be s(11). Solve 3*z - 5 = -m*z - u, 5*z + 3*u - 7 = 0 for z.
2
Suppose -5*v + n = 4*n + 72, 3*v + 3*n + 48 = 0. Let l(x) = -x**2 - 13*x - 6. Let j be l(v). Solve -3*o + 13 = 5*i - 11, 0 = -5*o + 3*i + j for o.
3
Suppose 3*h - 16 = h. Suppose -5*y + 11 = 3*p - h, -2*p - 14 = -2*y. Let n = 9 - y. Solve n*i = i - q, 5*i + 4*q = 0 for i.
0
Let m(z) = z**2 - 5*z - 2. Let y be m(6). Suppose -1 = -y*r + 11. Let a be (-12)/16*(-1 - r). Solve -t + 3 = -a*v + 14, -t = -2*v + 7 for v.
4
Let t(a) = -5*a - 1. Let u(h) = 14*h + 4. Let p(r) = 11*t(r) + 4*u(r). Let b be p(-3). Solve -12 = 2*q + x, b*q + 9 + 9 = -4*x for q.
-5
Suppose -5*g + 20 = 0, 2*k + 14 = -k + 2*g. Let c be (-6 - k)/(12/(-6)). Solve 4 = -c*f + 5*t - 1, t = -5*f + 1 for f.
0
Suppose -2*j + j = 0. Suppose 2*p - p - 14 = j. Solve 0 = -0*t - t + n + 2, -5*t = -n - p for t.
3
Suppose 129 = 3*c + 120. Solve a + 17 = -5*x, -c*x + 6*a = 3*a + 21 for x.
-4
Let l(c) = -5 + 2 - c + 1. Suppose -4*o - 3*r - 13 - 4 = 0, o + 3*r = -11. Let s be l(o). So