4
Suppose 0 = -2*c - c + 9. Suppose -4*k + 7*k - c*w = 21, -5*k - 2*w = -49. Solve -b - 2 = 3*j - k, 0 = -5*b + j - 13 for b.
-2
Let w = -5 - -9. Suppose -3*n + 7 = q, w*q + 0*q + n = 28. Solve 5*l = k + 3, -q*l = -2*l - 5 for k.
2
Let m be 11/4 - 3/(-12). Let a be m/((-6)/(-8)) - -1. Solve 4*y = -2*w + 4, -12 - 12 = -a*w + 4*y for w.
4
Let h = 10 - -2. Solve 4*v + h = 0, 4*v = 3*a - 0*a for a.
-4
Let m be 1 - 8/(4/(-1)). Solve -4*r + 2*h = -10, -m*r - 5*h - 5 = -4*h for r.
0
Suppose 20 = 2*g + 4*o, 3*o + 0*o - 15 = -g. Let r = 2 + 0. Let y be (-18)/(-8) + r/(-8). Solve 5*q - y*q - 3*w = g, 5*w = -q + 6 for q.
1
Suppose 2*i - 18 - 2 = 0. Suppose 4*k = k + 12, -3*v = k - i. Solve -h - c - 2*c - 10 = 0, v*h - 2*c = 12 for h.
2
Let l be 1/(-8) - (-438)/48. Solve l = 2*b - r + 2*r, -5*b + r + 5 = 0 for b.
2
Let k(f) = -f**2 - 6*f - 2. Let i = 8 - 13. Let n be k(i). Suppose -2*p + 3*l + 16 + 2 = 0, 0 = p - l - 7. Solve -s - p = 0, n*s = 3*d + 7 - 19 for d.
1
Let v(s) = -s + 8. Let r be v(6). Solve m = -r*m - 9, -u + m - 1 = 0 for u.
-4
Suppose d + 3*d - 40 = 0. Let t be 1/(-5) - (-42)/d. Suppose 4*p = -4*s + 12, s + 3 = -2*p + t*p. Solve 9 = -p*q + 5*o - 1, 0 = q - 3*o + 6 for q.
0
Let l be (14/2)/((-2)/(-2)). Let i(x) = -3*x + 2*x + 2*x**2 - l + 4*x. Let f be i(-5). Solve -o - 1 = -5*s - 7, -4*s = 5*o + f for o.
-4
Let h(i) = -i**3 - 6*i**2 - 4*i - 6. Let g be h(-4). Let q = g + 22. Solve 4*k = w + 19, w + k + q*k = 1 for w.
-3
Let d = 1 - -1. Solve -1 = -z + c, 2*z + 5*c = 6*z - d for z.
3
Let r be 0 + (-2 - -5)/3. Let o(b) = r - b + 1 - 3. Let f be o(-5). Solve -5*g - f*i = -18 - 23, 2*i = -g + 13 for g.
5
Let x be 30/7*(-28)/(-6). Solve -f = -3*f + 4, 4*f = -4*s + x for s.
3
Suppose -3*n - 5*f = -74, 3*n - 5*f + 3*f = 46. Let z = n - 8. Solve 5*l - 5*j + z = 0, -4*j + 3*j = -3*l - 2 for l.
0
Suppose 0 = c - 87 + 72. Solve 5*m - r = 8, 3*r = -3*m - 3 + c for m.
2
Let b be 26/6 + (-1)/3. Let i(s) = s**3 + 5*s**2 + 4*s + 3. Let g be i(-4). Suppose -5*t = -5*p, b*t - t = -g*p. Solve n + 4*a - 3 = t, -3*a + 0 + 3 = 0 for n.
-1
Let b = 5 + 0. Solve 0 = -b*u - g, -3*u + 5*g = -4*u + 24 for u.
-1
Let d be ((-2 + 5)*-1)/(-1). Let v(t) = t**2 - 2*t - 3. Let j be v(d). Suppose w + 0 - 2 = j. Solve b + w*x + 13 = -2*x, 4*x + 16 = 0 for b.
3
Let z be (12 - -1) + 4/2. Solve -4*q - 23 = r, -q - z + 1 = 3*r for r.
-3
Let y(q) = q**3 - 6*q**2 - 9*q + 9. Let u be y(7). Let i be (-5)/(u/(-3)) - -7. Suppose -8 = -0*n - i*n. Solve -3*m + 7 = 2*k - 2*m, 0 = 2*k - n*m + 2 for k.
2
Let k be (0 - -1)*-1 - -8. Suppose 4*v - k = -3*w, 8*v - 5*v = 3. Let q = 4 + w. Solve 4*b + 3*i - 1 = 17, -q*b - 2*i + 19 = 0 for b.
3
Let p = -6 - -8. Solve p*k + 18 = 4*n, -21 = -5*k - 5*n + 9 for k.
1
Let a be 5*1 - 0/2. Let b be 4/28 + 144/(-28). Let h(o) = o**3 + 6*o**2 + 5*o + 2. Let q be h(b). Solve -q*g = -a*z - 5, 4 = -4*z + 3*g - 0 for z.
-1
Suppose -3*x - 12 = t + 17, -5*x = t + 45. Let j = 13 + x. Suppose 394*y - 390*y - 12 = 0. Solve -8 = -j*c - 3*o + 10, -7 = -y*c + 2*o for c.
3
Let o = 133 + -112. Solve -o = -2*d + 3*f, -5*d - 11 = -5*f - 51 for d.
3
Suppose q = -2*q + 9. Suppose -6*r = -q*r. Solve -5*d + 20 = r, 2*v + 0*v = -3*d + 8 for v.
-2
Let a(u) = -u. Let p be a(3). Let r be -3*(p - 6/(-9)). Let v(g) = -g + 2. Let q be v(-2). Solve 0 = -5*s - i - 20, 0 = q*s + 2*i + 23 - r for s.
-4
Let j = 3 - 0. Suppose j*o - 6 = -0. Let h be (-210)/(-50) + (-1)/5. Solve 5*y - 21 = -o*q, -h*y = -3*q - 33 + 7 for y.
5
Let y be (-3)/(3 + -4) - -1. Let l be (-3)/12 - (-73)/y. Solve 4*f + 20 = 3*z, 4*z + z + f = l for z.
4
Let b = -2 + 7. Solve 0*o = b*n - o - 17, 0 = 2*n + o - 11 for n.
4
Let j = -96 + 58. Let g = j + 59. Suppose 0 = -3*b - 2*k + 15, -g = -5*b + 4*k + 4. Solve b*z = -x - 13, -2*x + 0*x - 2 = 2*z for z.
-3
Let z = 6 - 1. Suppose 5*n + c - 6 = -3, -3*c - 5 = n. Let u = z - n. Solve 2*q - 4 = -k, -u*k + 1 = 4*q - 11 for q.
1
Let v be 0 + 1/2*10. Suppose -v*q + 6 = -9. Suppose -3*z + 2*t + 20 = 0, -z - 1 = 2*t + q. Solve 9 = 3*j + 4*r, 5*j + z*r = 3*j + 6 for j.
3
Suppose 3*z - f = -z - 6, 0 = -2*z + 4*f - 10. Let y be (2/(-5))/z*5. Solve l + k = -1, -y*l - 16 - 2 = -2*k for l.
-5
Let s be 15/(-9) + (-4)/12. Let h(m) = -3*m - 3. Let w be h(s). Solve 22 = 3*x + y + 3*y, w*x = -2*y + 14 for x.
2
Let c = -79 - -82. Solve -5*z = 5*q - 35, 5 = c*q + z - 2*z for q.
3
Let c be (5/(-2))/(3/(-18)). Let g = -10 + c. Let i(t) = 2*t - 9. Let w be i(6). Solve 15 = 3*o, g = -4*r - 0*r - w*o for r.
-5
Suppose -2*w = -5*w + 51. Solve 14 = -2*y + 2*c, -4*y + 3*c - 9 - w = 0 for y.
-5
Suppose -2*z = 2*z - 2*v - 18, -3*v = 2*z - 13. Solve z*y - 5*q - 10 = 0, 6 + 0 = -5*y + q for y.
-2
Let n be 9/4 - 1/4. Suppose -5*j - 10 = 4*l + l, 4*l + n*j = 0. Solve -o = -l*g - 3*o - 12, 0 = 3*g + 5*o + 22 for g.
-4
Let h = -3 + 5. Solve -5*v - h*w = -0*w + 25, -3*w - 15 = 3*v for v.
-5
Let y(v) = v + 7. Let x = -17 + 7. Let i = 3 + x. Let h be y(i). Solve -3*a - 3*s = s + 16, a + 3*s + 7 = h for a.
-4
Let u = -63 + 66. Solve -5*c = -c + 5*w + 2, 0 = u*c - 2*w + 13 for c.
-3
Let p be 8/3 + (-1)/(-3). Solve 3*x - 5 = p*d + 16, 5*x + d - 23 = 0 for x.
5
Let q be 22/5 - (-14)/(-35). Suppose 0 = 2*v - 3*v. Solve q*i = -2*b - 0*i, b - 2*i = v for b.
0
Let a(b) = 9*b. Let f be a(1). Let t = f + -6. Solve 5*o - 5*j = -3*j - 10, t*o = 2*j - 6 for o.
-2
Let x be ((-6)/(-2))/(4 + -1). Solve 2 = 4*q - 2, -x = -2*b + q for b.
1
Suppose 5*j - 8*j = -6. Solve 4*v - 5 = y, 5*y + 0 + 25 = -j*v for v.
0
Let n(i) = -i - 1. Let f = 9 - 13. Let l be n(f). Solve 6 = -3*o + 2*d, -l*d - 12 = d for o.
-4
Let a(r) = 2*r**2 + 2*r - 1. Let b be a(-2). Suppose -3*q + 18 = -0*q. Suppose 4*u - q*u = -4. Solve 2*y = 2 + u, -j - y + b = 0 for j.
1
Suppose 32 = -4*x + 8*x. Solve -4*f = 4*h + 20, 0 = 2*h - 5*f - x - 3 for h.
-2
Suppose 6 = 4*z - 2. Solve u - 1 = 4*l, -u + 3*u - 2 = -z*l for l.
0
Let l(j) be the second derivative of j**3/6 + 5*j**2/2 + 2*j. Let h be l(-5). Solve 4*u - 2*a - 20 = h, 7*a - 3*a = -u - 4 for u.
4
Let c be (-4)/(-10) - 32/5. Let n(t) = 3 + t**3 + t + 3 - 7*t**2 + 13*t**2. Let b be n(c). Solve -d = -v + 5, 0 = -3*d - b*d + v - 5 for d.
0
Let d be (-203)/(-49) + 3/(-21). Suppose -5*g + 63 = -2*g. Solve 0 = -b + 3*s - 11, -1 = 5*b - d*s + g for b.
-2
Let z be (-17)/(-6) + 2/12. Suppose z*b = -2*w + 12, 3*w + 12 = 7*w. Solve 0 = u - 1, -2*u + 1 = -b*x - u for x.
0
Let n(d) = 2*d**2 - 2. Let h be n(-2). Let o = 4 + -2. Suppose l - o*l = 0. Solve 0 = 3*q - l*t - 2*t + h, -3*q = -t + 3 for q.
0
Let i = 17 - 7. Let a be (-4)/12 + (-16)/(-3). Let b = -20 + 25. Solve -4*k = -2*c + 14, -b*c - i = -a for k.
-4
Let i(s) = s**2 + 2*s - 6. Let d be i(2). Solve -r + 1 = -2*y - 3*y, 18 = -4*r - d*y for r.
-4
Let w = -15 + 11. Let m be (w/2 - 2)*1. Let r be 37/7 - m/(-14). Solve -3*y + 2 = -l - 0*l, -2*y = -r*l + 3 for l.
1
Let u = -40 - -42. Solve 4*b - u*b + 4 = m, -8 = 4*b for m.
0
Let p be (-2)/(-2) - -1 - 7. Let w = p + 5. Suppose -y = -5*i - 0*y + 15, 9 = 3*i - 5*y. Solve 0 = -i*x - 5*c + 20 + 4, 4*c - 12 = w for x.
3
Let h be 5 + 1*-3 + 2. Let r be 2 - (3 - 2) - -1. Suppose 0 = -2*a + 5*v - 1, r*a - 9 = -5*v. Solve 0 = -2*q - a, 9*f + 3*q = h*f - 13 for f.
-2
Let x be 6/(-1)*4*(-4)/24. Solve -k - 14 = -x*y, 2*k - 2 = 2*y - 12 for y.
3
Suppose 3 + 5 = 4*r. Solve -h + 3*o + 3 = -3, 4*h - r*o = -6 for h.
-3
Let a be 2 + 0 - (-7 - -8). Solve 0 = -5*o + 10, r + 4*o - 11 = a for r.
4
Suppose -7*o = -11*o + 72. Suppose x - o = 7. Solve -3*p - x = 2*p, -5*z - p - 20 = 0 for z.
-3
Suppose 18 = 3*o + 6. Suppose -o*x = -6*x + 40. Solve -5*h + 25 = z, -5*z - x = -5*h + 5 for h.
5
Suppose 5*o = -20 - 15. Let q = o + 13. Let d be (-28)/(-6) - 4/q. Solve 0 = -0*h - 3*h + 3*a - 6, -5*h + d*a - 12 = 0 for h.
-4
Let g = 10 + -4. Solve 5*j - 12 = 2*v, 2*j - 3 - g = 5*v for v.
-1
Suppose 0 = -4*s + 7*g - 3*g + 12, -s = -5*g + 17. Let p(t) = -t**2 + 9*t - 5. Let y be p(s). Solve -y*k = -f + 5, -k = -2*k - 3 for f.
-4
Let r be (-1 - 0)/(1/(-3)). Suppose 3*m + 10 = -2*b - 0*b, 3*m + 6 = -r*b. Let t = 6 + m. Solve 0 = -2*i - 4*f - 28, t*i - 32 = 3*i + 4*f for i.
-4
Let u = 1 - 0. Let s = u - -1. Let n be (0 - (-2)/s) + 6. Solve -n = q - 2*d, -q + d - 7 = -1 for q.
-5
Suppose 0 = 3*t + 4*g - 31, g + 13 + 8 = 5*t. Solve 14 = 3*k + u, -3*k + 