 5, 0 = 2*f + n - 8 for f.
4
Let f be (-6)/(-4)*((1 - -6) + -1). Solve 2*w - f = 5*y, -5 - 22 = 5*y + 4*w for y.
-3
Let p be (40/16)/(2/12). Suppose -5*x - p = 0, 5*x + 17 = h - 0*h. Solve h*w - j = 7*w - 12, 3*w + 4*j + 3 = 0 for w.
3
Let o(t) = -t**3 + 6*t + 5. Let k be o(-3). Solve -r + m = 2*m + 6, 2*m = -3*r - k for r.
-2
Let v be (40/(-30))/((-2)/72). Let x be 14/1 + v/(-12). Solve -3*y + 5 = -4*r - 0, 0 = -2*r - x for y.
-5
Let s = -1 + 6. Let z = -2 - -1. Let j = 4 + z. Solve 0 = -2*o + s*w + 35, 0 = o + 7*w - j*w + 15 for o.
5
Suppose -2*c - 10 = 0, -c + 25 = -2*s - 4*c. Let g(j) = -j**3 - 4*j**2 + 4*j + 2. Let v be g(s). Solve 3*f - 2*k + 12 = 0, 4*k = -f + 3 + v for f.
-2
Suppose 0 = 5*t - 3 - 2. Solve 4*p + 2 = -3*n + t, 0 = -5*p - 2*n - 10 for p.
-4
Let l(j) = 4 - j**2 - 2*j - 10 - 5*j. Let c be l(-6). Solve -5*o + 2*d + 10 = c, o - 5*d = -3*o + 8 for o.
2
Let p(m) = m - 10. Let v be p(10). Solve -d - 5*o - 23 = v, 6 = -d - 2*o - 2 for d.
2
Let y(t) = -2*t**3 - 14*t**2 - t - 5. Let a be y(-7). Solve 0 = 2*d - c - a + 3, -3*d - 6 = 3*c for d.
-1
Let v = -7 - -20. Solve 4*q + 5*s = v, s - 5 - 9 = 3*q for q.
-3
Suppose 5*n + 8 = -d, 4*n - 3*d + 3 = 8. Let z = -13 + 17. Let p = z + n. Solve -t = -5*q + 4*t - 15, -4*q - p*t - 19 = 0 for q.
-4
Let v = 6 + -1. Solve -8 = -4*y, v*b + 5*y + 17 = y for b.
-5
Let n be (16/(-6))/((-4)/6). Suppose n*m - 10 - 10 = 0. Suppose -m*b = -20, -4*b - 35 = -3*x - 9*b. Solve x*c - 4*p - 22 = 0, 2*c + 2*p = -c for c.
2
Suppose -4*w = 2*q - 26, 0 = -w + 3*q - 4. Solve -1 = -w*n - c - 21, 4*n + 17 = -c for n.
-3
Let f(u) = -u + 21. Let i be f(19). Solve i*q - 4*h = 28, 0*h = 3*h + 15 for q.
4
Let m = 10 + -6. Let c(u) = -u**3 + 3*u**2 + 6*u - 6. Let s be c(m). Solve -3*t = -s*f - 12, 4*f = t + 8*f + 10 for t.
2
Let b be (-5)/(1*(-1 + -4 + 4)). Solve -5*r + 10 = z + 2*z, 5*r + 30 = b*z for z.
5
Let r be (-1)/6*4*-3. Solve a + 5 = 2*c, r*c - 3*a + 8*a - 11 = 0 for c.
3
Suppose -4 + 2 = 2*w - 3*d, d = -4. Let y(m) = -3*m. Let z be y(w). Solve 3*n + 2 + 5 = -2*r, 0 = n - 4*r + z for n.
-5
Suppose -3*l + 4*l = 8. Solve -3*q + l = -z, -5*q + 6*z + 11 = 2*z for q.
3
Suppose 34 = 5*w + 14. Suppose 3*k - 8 = -w*n, k + 2*k = -12. Solve -5*b + c + 20 = 0, 0 = 4*b - 0*b - n*c - 37 for b.
3
Suppose 35 = 5*u + 3*i, u - 3*i + 4*i = 9. Solve u*k + 3 + 6 = -j, -21 = 5*j - 4*k for j.
-5
Let t(g) = -g**2 - 11*g + 21. Let y be t(-12). Solve 0*h + h + 3*m - 1 = 0, 3*h + y = -3*m for h.
-5
Suppose 17*m - 150 = 12*m. Suppose -m = -9*o + 4*o. Solve 0 = -4*a - 5*x + o, -a = 3*x + 2 for a.
4
Let c = 6 - 2. Suppose 2*k = c*k + 10. Let h be k/(15/6) - -5. Solve 2*x - 5*v = h*x - 13, -3*x = -4*v + 18 for x.
-2
Suppose 3 = 2*f - 1. Solve 0 = -f*q - 10, q + 21 = -2*p - 2*q for p.
-3
Suppose c - 4*f - 15 = 0, -f + 6*f = 3*c - 45. Solve c = -t + 4*z, 0 = -2*t - t - 4*z + 19 for t.
1
Let i(s) = s + 7. Let j be i(-5). Suppose 3*f + c - 5*c = 25, -2*c - 16 = -j*f. Solve 5*r = 2*k - f, k + 6 + 4 = -2*r for k.
-4
Let o(n) = 2*n + 9. Suppose 0 = 7*z - 3*z + 16. Let j be o(z). Solve -2*v = -2*t + 2, -5*v + 2*t = -j - 3 for v.
2
Suppose c - 8 = -5. Let a(g) = 9*g - 3. Let q be a(2). Solve -3*m - k + 5 = -m, -c*k = -q for m.
0
Suppose 8*y = 3*y - 15. Let l = 25 - y. Solve -4*q - l = 4*m - 0*m, -3*q - 9 = -3*m for m.
-2
Suppose -2*x = -0*x - 10. Let g(l) = -l**3 + 6*l**2 - 3*l + 5. Let y be g(x). Solve 2*a + 0*a = -4*i - 12, 5*i - 3*a + y = 0 for i.
-3
Let o = 11 - 3. Solve -o = -4*n + 4*l, l + 2 + 3 = 0 for n.
-3
Suppose 5*c + 5*u - 37 = c, 21 = 3*c - 3*u. Suppose -3*j = 2 - c. Suppose w + j = 2*x, -x + 17 = 2*w + 2*x. Solve -2*d - y = -3*y + w, 5*d - 2 = 2*y for d.
2
Let f(p) be the first derivative of p**4/4 + 3*p**3 + 7*p**2/2 - 6*p - 3. Let k be f(-8). Solve k*w + 20 = 2*h + 2*h, 0 = -5*w for h.
5
Let j be 3 + 1*(1 - 0). Solve 0 = 2*x + 3*z - 10, j*x - 15 = x + 3*z for x.
5
Let d = -7 - -11. Suppose 3*y - 5 = -2, 0 = 2*n - y - 21. Let a = d + n. Solve 0 = -2*m + 5*o - a - 11, -16 = -4*o for m.
-3
Let z = 70 + -70. Suppose 10*n = 5*n + 20. Solve z = n*r + 2*m + 26, 2*r - 17 = 7*m - 2*m for r.
-4
Let q(v) = -v**3 + v**2 + 3*v - 2. Let s be q(2). Suppose 4*j - 20 = 0, 4*t + t + j - 70 = s. Solve m = 4*n - t, -n + 24 = n - 4*m for n.
2
Let j be (-1*1)/(34/(-238)). Let h = 29 + -14. Solve y = j*k - 2*k - h, -5*y = k - 3 for y.
0
Let y(m) = -3*m - 6. Let h be y(-7). Let f be (-2)/(-5) + 144/h. Suppose -2*t + 0*b = -b - f, -5*t + 14 = 3*b. Solve -3*p + 0*g = -t*g - 25, 2*g + 5 = -p for p.
3
Let s = 56 - 33. Suppose -2*m - 2*g - 2 = -4, 3*m - s = 2*g. Suppose b + 2*b = -4*w + 20, -2 = -b + w. Solve -9 = b*l + m*v, -l - 5 + 0 = 4*v for l.
-1
Let i be -3*6/(-9) - -5. Let s = 17 + i. Suppose -2*c + 7 = -1. Solve c*n + 3*f - s = 0, -n - 9 = -6*f + 3*f for n.
3
Let y = -8 - -9. Let g be y*(5 + (3 - 4)). Solve 0*i - 4 = -i + b, -4 = g*i + b for i.
0
Let n = -10 + 16. Let y be 0*((-10)/(-36) - (-16)/72). Solve 0 = 3*o + n*g - g - 21, y = -3*o + 2*g for o.
2
Let n be 1/4 - 245/(-28). Solve -5*o + l - 8 = 0, 4 = -4*o - 3*l + n for o.
-1
Let b(j) = -j + 31. Let o(f) = -8. Let g(k) = 2*b(k) + 9*o(k). Let x be g(-7). Solve -3*m - 5*r + 4 = 14, x*m = 5*r - 25 for m.
-5
Suppose 6*c - 15 = c. Solve c*b + l = -5, b + 4*l - 2 = -0 for b.
-2
Suppose 30 = 6*q - 4*q. Suppose 4*g + 2*v = -10, 12 = g - 2*v + 2. Solve -2*s + a + 0*a + 6 = g, 5*s = -5*a - q for s.
1
Suppose 5*t + 3*s + 22 = 0, -3*s = t - 2 + 4. Let j = t - -7. Solve -3*w = -2*i, 2*i = -j*w + 4*i for w.
0
Suppose -9 = 5*h - 4. Let p be -1 - 20/(h*4). Solve y + 3*y - 5*n = -23, 5*y + 2*n + p = 0 for y.
-2
Suppose 5*c + 14 = -51. Let w be 38*1*(-1)/(-2). Let o = w + c. Solve o = -2*h + 2*m, 2*h - 5 = 3*m - 13 for h.
-1
Let k = 33 - 9. Let d = k - 16. Suppose -5*n + i + 3 = -d, n = 2*i + 4. Solve -4 = 4*a + 5*v, v = -n*a - 2*a - 4 for a.
-1
Suppose 0*d + 4*d - 20 = 0. Solve -27 = -3*z + 5*r, r + 32 = d*z - 3*r for z.
4
Let r = 8 + 7. Let z = r - 7. Solve 0 = 3*t - 3*j, 0 = -3*t - 7*j + 2*j + z for t.
1
Let i = -15 - -15. Solve -4*v - 17 = w, v + i*v + 23 = -4*w for v.
-3
Let a(v) = 2*v**2 + 3*v - 3. Let t = 1 - 4. Let h be a(t). Solve -3*u - h = 4*k - 7*k, -18 = -k + 5*u for k.
-2
Let w be -2 - (2 - 3) - -4. Let p(i) = -i - 3. Let o be p(w). Let j be o/(-15) + 4/(-10). Solve -n + 12 = -j*n + 2*v, 0 = 4*n - 4*v for n.
4
Suppose 0 = 5*f - 2*f. Let c be (1 - 0 - f) + 39. Suppose 0 = -2*v + 3*v, -5*x = 5*v - c. Solve -2*p = -3*n + 8 + 12, 0 = 2*p + x for n.
4
Suppose 0 = -z + 3*z. Suppose 4*u - 2*v - 16 - 52 = z, -4*v = -2*u + 28. Solve 24 = -3*p - 5*a, 0*p + 3*p + 3*a + u = 0 for p.
-3
Suppose -4*i - 5 = 5*c, 2*i + 2*i + 4*c = 0. Let v = -3 + i. Solve v*t - 4*s = -16, s - 1 = 6*t - 4*t for t.
2
Let r(v) = -v + 13. Let h be r(8). Solve -4*o - u - 4 = 0, o = 2*u - 5 - h for o.
-2
Suppose -3*j - 28 = -j. Let d = j + 23. Suppose -4*w + w = -3, -a - 4*w + d = 0. Solve 0 = -5*s - 7*p + 2*p - 20, 4 = a*s - 3*p for s.
-1
Let c(u) = -11*u**3 + u**2 - u - 1. Let k be c(-1). Suppose -51 = 5*o + 4*m - 142, 0 = -3*m + k. Let j = -5 + o. Solve 4*f = v - 5*v, -j = -f + v for f.
5
Suppose 21*r + 51 = 177. Solve -30 = r*m - 2*m - 5*s, -m - 2*s - 1 = 0 for m.
-5
Let q be (-5)/(-2) + 9/18. Suppose 4*o + 4*r + 6 = -2, -2*o = q*r + 8. Let h be 0 + 1 - (-2 - 0). Solve o*m = -2*i + 16, -4*m + 3 - 6 = -h*i for i.
5
Suppose -3*r - 5*k + 30 = -4, 3*k - 9 = 2*r. Suppose 0 = l + 2 - 5. Let m be 42/(-126)*(1 - 1 - 9). Solve i - m = 3*t, -l*i - r*t - 13 = -t for i.
-3
Suppose -2*p + 52 = 4*d + 3*p, 0 = -3*d - p + 28. Solve -3*y - 5*r = d, -5*y - r - 4*r = 0 for y.
4
Suppose 8*q = -0*q + 104. Solve 5*r - q = 2*f, 14 = 5*f + 2*r + r for f.
1
Let i = -5 - -7. Let u be ((-3)/(-4))/(1/4). Solve -3*c - 4*p = -5*p - u, -1 = -c + i*p for c.
1
Let n(v) = 5*v - 1. Let p be n(1). Suppose -5*c - p*l = -35, -l + 11 = c + c. Let w be (-3)/(c*2)*-8. Solve -w*y = 2*r + 12, -9 - 9 = 5*y + r for y.
-4
Suppose -5*o + 44 = t - 180, -3*t - 120 = -3*o. Let z be o/12 + (-1)/(-3). Solve 2*c = z*m - 22, -21 = -0*m - 2*m + 3*c for m.
3
Suppose 0*f + g = -5*f + 15, -4*f + 12 = 4*g. Let k be 2/(-12) - 11/(-66). Solve -f*n + 3 = k, -1 + 0 = -3*j + 5*n for j.
2
Let q be 3 + -2 + 4/2. Solve -5*x = -2*v - 0 - 22, q*x - 14 = 2*v for v.
-1
Let f = 12 + -8. Suppose -9 = -f*