4, u = 2*i + 4 - 0 for i.
-2
Let f = 122 - 119. Solve 2*x = 2*n + 10, 2*x + f*x = -3*n + 1 for n.
-3
Let o be 3/2 + (-66)/4. Let v be -3 - 5/(o/18). Solve d - 2 = 2*d, v*a + 3*d = 9 for a.
5
Let h(s) = -s**3 - 9*s**2 + 7*s - 10. Let a be h(-10). Suppose a = 5*d - d. Solve -d*k = 2*p - 9, 3*p - 7*p - 2*k = -10 for p.
2
Let j be 2 - 3 - -1 - -5. Solve -j*k + 5*s - 30 = 0, k = 4*s - 2 - 10 for k.
-4
Let f be 0 + -1 + -2 + -10. Let c = f + 22. Let y = 11 - c. Solve -y*n = -3*h + 8, -4*n + 26 = 4*h + n for h.
4
Let p = 8 - 8. Solve 2*f + 4 = p, 3*s - 4*f - 12 = -f for s.
2
Let m be -6 + 5 - (-2)/(-2). Let c(f) = 1 + 4*f**2 - f**3 - f**2 - 2*f**2 + 3*f. Let q be c(m). Solve -2*a - 3 = -5*r, 1 = q*a - 2*a - 4*r for a.
1
Let i(m) = m**3 - 6*m**2 + 4*m - 5. Let l be i(6). Solve 0 = 5*t + j + j - l, 2*j = -2*t + 4 for t.
5
Let s = 6 + 3. Suppose -s = 2*j - 5*h + 3, -j - 4 = -2*h. Solve n + 5*a - 10 = 4*a, 0 = -n + j*a - 15 for n.
5
Let t(s) = -s**2 + 12*s + 4. Let r be t(12). Suppose -r*b + 3 = -5. Solve -b*f = u - 2, -2*u + f + 0 = -4 for u.
2
Let j(z) = 1 + 8*z + 9*z - 4. Let q be j(2). Solve -3*i - 19 = -5*p, 3*p + 3*i = q - 10 for p.
5
Suppose 18 = 3*m - 6. Let d = m + -6. Let r(s) = -s**3 + 8*s**2 - s + 8. Let v be r(8). Solve d*t = -7 - 3, 5*c + 4*t + 30 = v for c.
-2
Let r(f) = f - 5. Let a be r(6). Suppose b - a - 1 = 0. Let l be 2 - (1 + 2) - -3. Solve -3*p - 5 = -4*q, 3*q = b*q + l*p for q.
2
Suppose -5*f = 324 + 636. Let c be 2/7 - f/14. Let n = c + 1. Solve -2*o = r + 2*o + n, 2*r = 2*o + 10 for r.
1
Let h be (0 - 1) + -1 + 2. Suppose -2 = 3*x + 4. Let m be (0/(-2))/(x - -4). Solve c - n = -h*n - 9, -5*c + 4*n - 40 = m for c.
-4
Suppose 0 = -b - 2*b. Suppose b = 3*i - 8*i + 15. Solve -1 - 2 = 2*u + r, i*r + 9 = 4*u for u.
0
Let g = -6 - -11. Suppose 11*a + 3 = 4*m + 14*a, 0 = m - 3*a + 3. Solve m = -5*f - 3*s - 27, 3*f + 0*f - g*s - 11 = 0 for f.
-3
Suppose 0 = -4*x + 4*o + 16, 3*x - 2*o - 18 = -5*o. Suppose 0 = -3*u - i + 62, 4*u - 79 = -7*i + 2*i. Solve 0 = b - x*r - u - 0, 2*b + 6 = -2*r for b.
1
Suppose p + 1 = -4*n, -4 = 3*p - 1. Suppose -5*c - 5*w + 35 = 0, 3*c + 11 = 2*w + 3*w. Suppose -c*x + 6 = -0. Solve -5*t + 3*z - x = z, t - 3*z + 3 = n for t.
0
Suppose w - 10 = j, -3*j - 4 = -7. Solve 0 = -3*k + o + w, 3*o - 20 = -2*o for k.
5
Let l(v) = -v**2 - 2*v + 2. Let k be l(-3). Let i = k + 2. Let w be (3/i)/3 - -3. Solve -5*g = 7*a - 3*a + 28, 8 = w*a - 4*g for a.
-2
Let h = -15 + 17. Solve 26 = 4*i - h*s + 8, 3*s + 25 = 5*i for i.
2
Let g = 4 + 1. Suppose 0*f - 3 = -3*f. Suppose 5*c - 6 = -f. Solve w = g*v - 10 + 24, -2*v - c = -5*w for v.
-3
Let l be (-9 - -9) + 1*2. Solve -2*v = 5*x - 10, l*x - 2*v - 13 = -v for x.
4
Suppose -2*m = 4*d - 16 + 4, 4*d - 4*m = 12. Solve 0 = -t + 3*x + 1, -4*t - 12 = -d*x + 2 for t.
-5
Suppose -7*z = -2*z - 20. Solve 2*x + y = 11, -x = -z*y + y + 5 for x.
4
Let o(y) = -y**2 + 10*y + 27. Let j be o(12). Solve -l = q + 3, -j*l + 6 = -8*l + 4*q for l.
-2
Let o(x) = 4*x - 2. Let r be o(4). Solve 2*c - 4*p - r = 0, c - 3*p + 4*p + 2 = 0 for c.
1
Let u = -12 - -21. Suppose -27 = -r + 4*w, 2*r - u = -0*w - w. Solve 4*m = -4*s + 24, r + 2 = m + 4*s for m.
5
Suppose 0 = 4*h - 3 + 35. Let m(y) = 2*y**2 + 6*y. Let p be m(-4). Let o = h + p. Solve -2*u + 2 = 0, -5*u + 8 = f - o*u for f.
3
Let g = 9 - 6. Let q be -3 - (1 - (1 + g)). Solve 5*d = -4*o, -4*d - o - 2 + 13 = q for d.
4
Let b be 42/28 + (-2)/(-4). Solve b*q = -f - 1, q = f - 1 + 2 for q.
0
Suppose 5*h = 18 + 42. Solve -2*x - v = -3, 4*x = v + h + 9 for x.
4
Let f = -14 + 21. Suppose -3*i = -f*i. Let c be (-3)/(-15) - 14/(-5). Solve -d - c*t + 1 = i, -2*d + 0*d - 4*t = -4 for d.
4
Let t = -89 - -129. Suppose 5*h - t = h. Suppose 23 = 3*w - 7. Solve 3*z = -l - w, 2*l + 2*l - 3*z = -h for l.
-4
Let c = -4 + 5. Let o = 5 - c. Suppose -17 = -o*h - 1. Solve 2*w - 3*z = 5, -h*w + 3*w - z - 10 = 0 for w.
-5
Suppose -20 = -4*b + 3*i - 7, -3*b + 14 = 2*i. Suppose 5*o + a + a = 2, 3*o + 4*a = -10. Solve -b*d + 24 = o*g, d - 3 = 2*g - 2 for g.
2
Suppose -4 = -4*d - 5*h + 17, -d + 24 = 5*h. Let m be (8 - d)/((-3)/(-2)). Let n be (-4)/m + 8/12. Solve -4 = 4*r - 4*q, n = -5*r - 4*q + 9 - 41 for r.
-4
Let l(p) = p**3 - 5*p**2 + p. Let y be l(5). Suppose -20 = 2*a - 3*a - 4*b, 3*b + 146 = 5*a. Solve -m = -y*m - 16, -5*m = -4*n + a for n.
2
Let s = -16 - -33. Solve 3*o - 6*o + s = c, -c - 15 = -5*o for o.
4
Let x = 16 - 12. Suppose -4*l = -20 - x. Solve -2*u = -3*s - l*u - 6, -3*u + 1 = 5*s for s.
2
Suppose -1 = -f - 11. Let v = 13 + f. Solve 4*p = v*y - 13, 5*y = -4*p + p - 17 for p.
-4
Let t be (-2)/(-3)*6/(-1). Let y(r) be the first derivative of r**4/4 + 5*r**3/3 + 2*r**2 + 4*r - 1. Let b be y(t). Solve -8 = d - 2*l + l, 23 = -b*d + l for d.
-5
Suppose 2*u = 0, -5*u = 2*n + 18 - 52. Let v = n + -15. Solve -v*y - 2*c + 3 + 3 = 0, -5*y - c = -15 for y.
3
Let x be (-1 - -3) + -2 + 4 + 1. Solve -4*r = 5*p + 24, r = -3*r + x*p + 16 for r.
-1
Suppose l - 4*g - 23 = 0, -g - 3 = 4*l + 2*g. Solve -3*i = a + 5 + l, -2*i = -2*a for i.
-2
Suppose 13*p - 16*p + 30 = 0. Solve 0*q + 2*g - 14 = -2*q, -4*q = -5*g - p for q.
5
Let o = -29 + 33. Solve 2*n + 6 = 0, 0 - 1 = o*v + 3*n for v.
2
Let z(k) = -k**3 + 7*k**2 - 4*k - 8. Let a be z(6). Solve 2*x - 6*x = -a*c - 4, 3*c = -9 for x.
-2
Let q be 576/80 + (-2)/10. Let k be ((-2)/(-3))/(3/(-9)). Let z = k + q. Solve -5 = l, 15 + z = 5*o - 4*l for o.
0
Let y(i) = i - 2. Let f(k) = -2*k + 5. Let t(z) = -3*f(z) - 7*y(z). Let x be t(-4). Let l = -1 + x. Solve 3*a + 15 = 2*r + l, 4*r + 29 = -5*a for r.
-1
Let p(j) = j - 13. Let q(z) = 1. Let f(y) = -p(y) - 4*q(y). Let c be f(4). Suppose 10*b = c*b. Solve v + 17 = i - 3*v, b = 3*i - 3*v - 24 for i.
5
Let y = 42 + -31. Solve i - 2*m = m - y, -4*i = 5*m - 41 for i.
4
Suppose 25 = -2*f - 5*z, -f + z + 2 + 3 = 0. Suppose -u - 2*u = f. Let p be (u + 1)/((-1)/(-7)). Solve p*n - 4*n - 5*m = -14, -4*m + 1 = n for n.
-3
Let h(d) = -d + 2. Let r be h(2). Solve -5*f - 3*v - 2 + 7 = r, -f = 3*v - 1 for f.
1
Suppose -2 - 33 = -7*g. Solve -3*f = 0, -4*f + 15 = -g*s - 0 for s.
-3
Let c(d) = d + 14. Let t be c(0). Suppose -4 = 5*h - t. Suppose -h*s = -5*s + 6. Solve p = s*x + 3, -x + 2 + 4 = -3*p for x.
-3
Let b be 3 + -4 + 0 + 1. Solve 0 = 5*r + j + 20, -5*j = 4*r - b*j + 37 for r.
-3
Let t(v) = -2*v**3 - v**2 - 3*v - 3. Let x be t(-2). Solve 0 = 2*q - 2*g - 20, 5*q + 3*g - x = g for q.
5
Let a = 47 - 27. Let w = a - 14. Solve -4*h = -4*q - 12, q + 2*h - 4*h + w = 0 for q.
0
Suppose -3*a = 4*y - 15, -4*y + 3*y = -3*a + 15. Let t = 1 - -2. Solve q + 5*r = 7, -a*q - t = -r - 12 for q.
2
Let u be 31 - 4 - 1*-1. Suppose -j + 31 = 3*m - 2*j, -u = -4*m + 4*j. Suppose 3*l - 7*l + m = 0. Solve -4*q + 3*o - 12 = -5*q, 0 = -2*q + l*o - 3 for q.
3
Let k = -17 + 25. Let a be (4/8)/(1/(-16)). Let w be (a/10)/(2/(-5)). Solve 5*p - r = -w, 0*p - k = -2*p - 4*r for p.
0
Let m(w) = w + 1. Let d be (3 + -1)/(10/25). Let x(f) = -4*f - 1. Let g(u) = d*m(u) + x(u). Let v be g(0). Solve 0 = 2*h - 3*r + 22, -h + r = -v*h - 11 for h.
-5
Suppose -7*q = -4*q + 6. Let f = q - -7. Suppose o = f*o - 8. Solve o*y + 0*y = -6, -2*u - 2*y = 6 for u.
0
Suppose 83 = 3*x - x + w, -5*w = -3*x + 105. Let d = x - 20. Suppose 0*u = 3*u - 6. Solve 5*k - k = -u*l + d, 2*k - 6 = 0 for l.
4
Let k(m) be the second derivative of m**4/12 - m**3/3 - 2*m**2 - 3*m. Let z be k(4). Solve -z*y - 5*j = 0, -3*y + 4*y - 3*j - 17 = 0 for y.
5
Let t = 3 - 0. Suppose -5 = t*v - 17. Let f be ((-2)/6)/((-5)/45). Solve 5*x + 17 = -0*q + v*q, -f*q + 4*x + 14 = 0 for q.
-2
Suppose -4*k + 3 + 21 = 4*c, -3*k - 2*c + 16 = 0. Solve -15 = 3*h - 0*l - l, 5*l - 31 = k*h for h.
-4
Suppose 0 = -5*q + 3*q + 2*u + 16, 5*q + 3*u = 8. Suppose -q*i = -4 - 0. Solve 0 = 2*t - 4*t + 8, -n - t - i = 0 for n.
-5
Suppose -4*t = -5*t. Suppose t = -5*j + 5*f + 65, 4*j - f - 39 = 1. Solve 3 = -2*v + 3*h - 2, 3*v - j = -h for v.
2
Let m be 0 + (1 + -3 - -4). Suppose -3*l = -16 - 38. Solve 4*h + l = 2*f, 3*h = 3*f + m*f - 31 for f.
5
Let s = 143 + -138. Suppose 0 = -5*h + 4*u + 63, h + 2*u + 9 = 2*h. Solve 4*k = -2*i + 14, s*i + 5*k = -0*k + h for i.
-1
Let x = 5 - 3. Let y be ((-1 + 1)/x)/(-2). Suppose 6 = -2*n, -2*v + y*v = -5*n - 23. Solve 4 = v*g - 4, -g = -2*k - 4 for k.
-1
Suppose 0 = g