
-3
Let m = 89 - 75. Solve -4*u + 3*u - 2*c = -m, -5*u + 4*c = 0 for u.
4
Let w = 5 + 2. Suppose 0 = -w*o + 3*o + 16. Let a be -1*(-5)/(5/o). Solve 0 = -4*q + 12, -a*q = 4*k - 23 - 5 for k.
4
Let o be (-4 + 5)/((-1)/(-17)). Solve -3*c + o = p, -p - p + 4*c - 16 = 0 for p.
2
Let b be 225/(-27) + 4/(-6). Let o = 51 - 31. Let u = o + b. Solve 4*f + k = 5 - u, -3*f = 5*k - 4 for f.
-2
Let o = 5 + -3. Let d(p) = p**2 + 8*p + 8. Let s be d(-6). Let z = s - -12. Solve -4*l - o*w - 17 - 7 = 0, -4*l - z = -2*w for l.
-4
Suppose -k + 3*l + 1 = -1, 5*l - 6 = -3*k. Let j = -2 - 1. Let g = 8 + j. Solve u = -s + 5 + 1, k*s + 9 = g*u for u.
3
Let u = 15 - 13. Suppose u*a = -2 + 12. Solve l - 1 = -4*d + 8, 14 = a*d + 4*l for d.
2
Suppose 5*d + 358 = -12. Let s be d/(-14) - 20/70. Solve -13 = -c + 4*o, 8 = 4*c - 0*o - s*o for c.
-3
Let z(j) = -j**3 - 7*j**2 - 2*j - 10. Let k = -2 - 5. Let r be z(k). Let l be (-1)/r + 105/20. Solve f - 2*s = -l, -6*s = -3*f - 3*s for f.
5
Suppose 11 = -2*y + 3*y - 5*v, -7 = 3*y + 5*v. Solve 3*w - y = 5*b, 4*b + 19 = -b - 3*w for b.
-2
Suppose -4*y = -0*y - 8. Suppose 3*g - 37 = -2*a - y*g, -a - g = -11. Solve d - z + a*z = 25, 3*d = 4*z - 20 for d.
0
Suppose r + 0*r = -5*z - 1, 2*r - 7 = -z. Solve 3*p - r = 4*y + 2, 5*y - 5*p + 10 = 0 for y.
0
Let k(i) be the first derivative of -i**4/4 + 5*i**3/3 + 4*i + 2. Let h be k(5). Solve -h*l + 32 = -2*v - 2*v, 3*l = v + 14 for v.
-5
Let h be -11 + 14 + 2*1. Solve -4*u - 17 = -o, 0*u - 2*o + 19 = -h*u for u.
-5
Let g(y) = -y**3 + 10*y**2 + 11*y + 8. Let z be g(11). Let u(n) = -n**3 + 7*n**2 + 9*n - 3. Let q be u(z). Solve 4*r = -q*x, 4*r + 2*x = 6*x for r.
0
Let c = -82 + 84. Suppose 3*t - 6 = 6. Suppose 3*q = -t*p + 15, -5*p = c*q - 3*q + 5. Solve -4*w = 3*g + 5, 2*g + 0*w + w = -q for g.
-3
Let l be (3 + 14/(-4))*-4. Solve -2*d + 10 = 0, -2*b - 2*b - l*d + 6 = 0 for b.
-1
Let c be (-3 + 1)*(-14)/4. Suppose 8 = c*m - 3*m. Solve -3 = -2*o + 7, -m*b - 5*o + 17 = 0 for b.
-4
Let w be (-2 + 1 - 0) + 6. Let z = 0 + w. Let g = 0 - -5. Solve g*u = 4*p - 30, -u - 19 = -z*p + 8 for u.
-2
Let c(h) = h**2 + 10*h + 12. Let z be c(-8). Let k = -4 - z. Solve -p + 5*r + 1 = 4*r, 5*p + 2*r - 5 = k for p.
1
Let w(p) = 2*p + 3. Let j(i) = 3*i + 7. Let g(m) = 2*j(m) - 5*w(m). Let u be g(-1). Let k = 6 - u. Solve -y + 5*z = -21, 0 = 3*y - k*z - 3 for y.
-4
Let a be (-9)/7 - (-4)/14. Let u be (2 + a - 0)*3. Solve -h = -2*r - 4, u*h - 2*r - 4 = 4 for h.
2
Let u = -2 + 4. Suppose -m = -u*m. Solve m = r + r + 4*i + 22, -4*i = -3*r + 7 for r.
-3
Let d be (-4)/(0 - 2)*13. Suppose 2*y - d = 2*c - 3*y, 0 = -5*c + 4*y - 82. Let p = -13 - c. Solve -2*q + 13 = -3*m, 2*q - 5 = p for m.
-1
Let g = -13 + -6. Let h = g + 28. Solve -h = -3*b + 3*n, 17 = -2*b + b - 3*n for b.
-2
Let v = 92 + -91. Solve 0 = -z + g - v - 2, 0 = z + 2*g - 3 for z.
-1
Let j = -8 + 18. Let n = j - 4. Solve -2*i - n*g - 14 = -2*g, 4*i - g - 8 = 0 for i.
1
Let z = -11 - -18. Suppose -z*p = -3*p + 3*s - 9, -2*s = -6. Suppose -3*c + c = p. Solve -6*n - 5*h + 5 = -n, -5*n - 4*h = c for n.
-4
Let f = -10 + 20. Let i be f + 9/(-3) + 2. Solve i = -4*l + t, -5*l + 5*t = 3*t + 9 for l.
-3
Let z be -6 + (1 - 2 - -1). Let y be 2*(3 - (-9)/z). Solve 3*t + 1 = -4*b - 4, 0 = -y*b - 6 for t.
1
Suppose 2*g - 8 - 4 = 0. Let b(d) = -d - 4 + 2*d - d + d. Let j be b(g). Solve 4*p = 2*x + 8, -5*x - j*p = 8 + 12 for x.
-4
Let d be 10/((-6)/(-2) + -1). Suppose 0 - 9 = -t. Let c = -25 + 25. Solve t*b - 5 = 4*b, c = -d*v - b - 19 for v.
-4
Suppose 0 = 2*s + 5*a - 4 - 4, a = 0. Let y be s/(-10) - (-44)/10. Suppose -y*v + 7 = -9. Solve 3*f - 2*z = -13, -2*f = v*z - 1 - 17 for f.
-1
Let q = 14 + -8. Let x be (-128)/(-28) + q/14. Solve -v - 2 = 2*a + 3, 23 = x*v - 2*a for v.
3
Let b be 2/(-4) - 46/4. Let d = 12 - b. Solve -3*s = -4*j + d, -2*s = 4*j + j - 7 for s.
-4
Let a be (-1 + 2 + -1)*1/3. Solve 2*p = -5*f - a*f - 19, 3*f + 21 = 2*p for p.
3
Let x = 49 - 45. Solve -x*y - 4*s - 45 = -9, 4*s + 24 = -y for y.
-4
Let r = 56 - 16. Let p be 24/r - 22/(-5). Solve c = 4*l - 4, -c + 3 = p*l - 2 for l.
1
Suppose -5*z = 0, 2*i + 0*i + 4*z = 6. Let j be -6*i/(-6)*1. Let q be -7*(1*-2 - -1). Solve j*x - 15 = -0*x, -q = 3*v - 2*x for v.
1
Suppose 6 = -4*m + 14, -5*o - 46 = 2*m. Let c be (4 + -6)*(-1 + -6). Let q = o + c. Solve -2*u + 2*k = -0*k - 4, u + q*k = -8 for u.
0
Let s be (-12)/8*4/(-3)*1. Solve 4*v = 4*l - 16, -2*v - s*v = -5*l + 19 for v.
-1
Let j(u) = 6*u**2 + 6*u - 1. Let r be j(4). Let d be r/(-35) + (-2)/(-5). Let x be (-1)/(d - (-24)/9). Solve 25 = -s + 4*t, 5*s + 45 = t + x*t for s.
-5
Suppose -4*i = -0*i + 4. Let g be (-30)/(-2)*i/(-3). Suppose g*w - 2 = 23. Solve -w = -2*t + 5*f, -t - 3*t - 5 = -5*f for t.
-5
Suppose -5*h + 9 = -3*q, -4*h + 2*q + 5 = -h. Solve -2*v - 3*r + 11 = -2*r, -r + 14 = h*v for v.
3
Suppose 0*i - 2*i - 8 = 3*q, 3*i - 2*q = 14. Suppose -5*g = 4*f - 12, -f + 3 = -0*g - 2*g. Solve -3*n - f = w, 0 - 6 = -2*n + i*w for n.
0
Let j be (-10)/(-85) + 147/51. Let h be ((-56)/(-21))/((-2)/(-9)). Solve -2*f - h = -j*q + f, 0 = 2*f for q.
4
Suppose 0 = -5*w - 25, -12 = y - 2*y - w. Let d(o) = -o**3 - 5*o**2 - 6*o + 2. Let v be d(-3). Solve -1 = -m + 2*g - 0, -y = -5*m - v*g for m.
3
Let b be ((-16)/(-6))/2*(-168)/(-16). Solve b = 2*a + 2*w - 0*w, 3*a = -4*w + 26 for a.
2
Let q = 33 + -23. Solve -3*r = -g + q, 4*g + 5*r - 4 - 2 = 0 for g.
4
Let d(r) = r + 2. Let f be d(0). Suppose f*k + 4 = -8. Let v be 0*(9/k + 1). Solve 2*j = -q - 8, v = q - 0*q + 5*j + 14 for q.
-4
Suppose 3*o + 9 = 2*n, -6*n + 10*n - 3*o = 27. Solve -n = 2*x + 4*s + 9, x - s + 3 = 0 for x.
-5
Let g be 1/3 + 2/(-6). Suppose g*z - z = -3. Suppose -13 = -4*a + 11. Solve 11 = -3*x - 4*l, -z*x + l - a - 10 = 0 for x.
-5
Let d be (-102)/(-1)*1/2. Let u be d + (-4)/((-6)/3). Suppose -5*r + u = -22. Solve 25 = 5*o, -4*o = -6*t + t - r for t.
1
Suppose 3*y - 4*y = 0. Suppose b - 2*b = y. Suppose -3*z = -b*z - 18. Solve 2*m + z = 3*o, 3*o - 3*m + 3 = 2*m for o.
4
Suppose 2*c - 14 = 3*c. Let y be (-74)/c - (-14)/(-49). Solve 5*d + 10 + y = 0, -5*b + 4*d = -2 for b.
-2
Suppose y - 3 - 2 = 0. Let p = y + 0. Solve 0 = -5*c + c - 3*j - 19, 4*c + p*j + 29 = 0 for c.
-1
Suppose d + 2 = 0, -4*d = -2*l + l + 97. Suppose 5*i = -3*t + l, -t - 3*t - 5*i = -112. Solve -4*n = v - 4*v - t, 3*n - 4*v - 26 = 0 for n.
2
Suppose 3*f + 7 = 4*f. Let l = -4 + f. Suppose -l*h = -0*h - 6. Solve 5*r + 28 = -4*j, -h*r - 12 = r for j.
-2
Let h(t) = 4*t + 2*t**2 - 1 - t**3 + 1. Let k be h(3). Suppose 5*b + 0*b - 110 = -5*c, -b = -k*c + 46. Solve 5*p + 3*v = c, 2*v = -p + 3 + 6 for p.
1
Let u(n) = -2*n - 8. Let y be u(-8). Suppose -3*f + 20 = y. Suppose -b = p - 0*p - 8, -f*b = -4*p + 8. Solve 2*k + 3*a = 20, a - 3*a = b*k - 20 for k.
4
Suppose 3*p + d = 5*p + 1, 5*d = -4*p + 33. Solve -2*o + 4*s - p = 6, -s = 5*o - 24 for o.
4
Let d = 3 - 3. Solve d = -o - o + 3*x - 11, -4*x = -2*o - 12 for o.
-4
Suppose 15 = -9*y + 51. Suppose 0 = 3*r + r - 20. Suppose r + 7 = y*n. Solve 4*s - 3 - 2 = -d, n*d - 15 = 5*s for s.
0
Suppose -1 = -3*n + 2*i - 0, 3*i = -4*n + 24. Let q be 112 + (9/n - 1). Let j = -60 + q. Solve -3*h = -5*w - j + 14, -w = 2*h - 5 for h.
5
Let y = 18 - 15. Suppose -z + 3*h = -29, 0 = z - 2*h - y*h - 37. Solve -w - m = -4*m + 4, m + z = 4*w for w.
5
Suppose 0 = 4*f - 3 - 21. Suppose 0 = -2*g + 9 - 3. Let m = -1 + g. Solve -2*x - 3*x + 2*n = f, 0 = 3*x - m*n + 6 for x.
0
Suppose 50 = 4*h - 14. Suppose -3*a - 2*v = -h, -3*v = -3*a - a + 10. Solve -x + 20 = -a*t, 5*t + 0*t = -20 for x.
4
Let h = 4 + -4. Suppose -n + 5*n - 24 = h. Suppose 3*i = 3 + n. Solve 2*k - a - 1 = 0, -5*k - i*a - 2*a = 5 for k.
0
Let i be (1 - -2)/(-3)*0. Solve -3*m + m + v = 10, 3*v = i for m.
-5
Let z = -1 - -15. Solve -5*u + 3*x = -z, 0 = -u + 4*x - 3 - 1 for u.
4
Suppose -26 = -5*r + 39. Let o = -13 + r. Solve -5 = -d, t + 4*d - d - 20 = o for t.
5
Let p(q) = -q**3 + 2*q**2 - 1. Let o be p(1). Let t be ((-18)/15)/(4/(-10)). Let w be 4/t*3/1. Solve -4 = -w*b - 3*h - o*h, b = -3*h + 1 for b.
1
Suppose -5*y = -3 - 12. Suppose -15 = y*g - 8*g. Solve 0 = o + 4*v + 5, o - 2*v = -g*o - 20 for o.
-5
Let y be 8/1 - (-4 - (-6 - 1)). Solve -3*c - y*j = 16, -c - c + 5*j = -6 for c.
-2
Let q(m) = 2*m**2 + 7*m + 3*m**2 + 6 - 6*m**2. Let c be q(7).