-2 - -7. Solve 5*d + 3 = -v - t, -d + 5 = -z*v for v.
-2
Let g be 151/(-9) + (-6)/27. Let m = -10 - g. Solve 0 = -4*q + 12, -20 = 4*f + 3*q - m*q for f.
-2
Suppose -4*b - 2*m = -9 - 13, -4*m = -12. Solve -d + 2*n - 1 = -4, -b*d + 4*n = 0 for d.
-3
Let y be 10/6 + (-8)/12. Let p be (36/(-24))/(y/(-4)). Solve -g - q = -4*q + 4, -5*q + p = -g for g.
-1
Let o = 15 + -11. Let z be 4 + o + -1 + -2. Solve 5*s - 40 = -z*g, -5*g - 2*s + s = -28 for g.
5
Let r(f) = -f**2 - 6*f + 5. Let i be r(-6). Solve 5*h = -g - 8, -i*h - 3 + 4 = -2*g for g.
-3
Suppose -6*m + 40 = -2*m. Let j be (m/(-3))/((-16)/24). Solve 0 = -d + 3*r - 13, 3*r - j = -5*d + 4*r for d.
2
Suppose 3*l - 27 = 4*t - 122, 0 = 4*t + 2*l - 110. Suppose 4*i - 2*u + 4*u - t = 0, -3*u = -3*i - 3. Solve 16 = 4*p + 3*g, 0*p + 15 = -p + i*g for p.
1
Suppose -5*c + 2*d + 41 = 0, -2*c = 3*d + 1 - 6. Solve 5 = -j, -c*j + 3*j = p + 15 for p.
5
Let r = -337 + 345. Let a(y) = -y**2 + y + 1. Let m be a(0). Suppose -m = -l + 2. Solve -l*j - 6 = -k - 0*j, j - r = -3*k for k.
3
Let x be -10*1/(-2)*1. Suppose -4*u + 68 = -4*k - 2*u, -17 = k + u. Let n = 31 + k. Solve -f = 2*a - 7*a - n, 3*f = x*a + 22 for a.
-2
Let f(l) = 2*l - 5. Let i be f(4). Let k = 15 - 15. Let m be 0/(-2*(1 + k)). Solve m = -v + 2*s - 1 - 6, -3*v - 6 = -i*s for v.
3
Let c be 1*2 - (6 + -8). Let v = c + 0. Solve 0*a + 3*a - 2*w = -3, 2*a + v*w + 18 = 0 for a.
-3
Let a be -1*12*((-70)/(-15) + -5). Solve -4*r = p, -3*r = p + a*p + 17 for r.
1
Let w = -7 + 7. Suppose -2*p + 5*q + 14 = w, -p + 10 = 2*p - 2*q. Solve 15 = -5*z + u, -5*z - 18 = -p*u - 8 for z.
-4
Let o(t) = t + 13. Let q be o(-8). Let g = 9 - -7. Suppose 4*p - 4*b = 20, 3 = 4*p - 3*b - g. Solve -p*r - 4*n = -8*r, 0 = 5*r + q*n for r.
0
Suppose 5*l = y + 20, -2*l + 0*y = -5*y - 31. Solve 0 = 4*p - l*m - 2 - 2, 2*m + 18 = -5*p for p.
-2
Let k = 0 - -10. Let a be 6/(-4)*(-8 + -2). Let b = a - 7. Solve u - 5*u + b = -5*q, 5*u + 4*q - k = 0 for u.
2
Suppose -2*j + 2 = -4*j. Let w be 3/(j/4 - -1). Solve -4 = w*c + 2*d, 4*d + 7 + 9 = 0 for c.
1
Let q = 12 - 10. Solve -q*s - 18 = -5*p, -2*p = -5*p + 12 for s.
1
Let u be ((-4)/10)/(1/(-110)). Let v = u + -30. Let m = 16 + v. Solve 2*t + 2*x + 0 = -6, 0 = 4*t - 5*x + m for t.
-5
Let a be ((-24)/9)/(2/(-15)). Solve 5*r - 2*f - 35 = -7*f, 4*f - a = 0 for r.
2
Let o = -17 + 35. Suppose 21 = -u + 6*u + c, 0 = -4*u - 2*c + 18. Suppose u*p + 2 = 98. Solve -n = -5*w + o, p = 5*w + 4*n - 2*n for w.
4
Let a = 16 + -11. Solve 6*r + 2*f = 3*r - 10, f + a = 3*r for r.
0
Let f(p) = -p**3 + 13*p**2 + p - 17. Let q be f(13). Let h(z) = -z + 1. Let b be h(q). Solve 4*o - 18 = b*k, 3*o + k + 4 = 4*o for o.
2
Let b = -7 + 11. Suppose -a - b*a + 25 = 0. Let z = -4 + 7. Solve 0 = p - a*p + z*t - 18, -4*p - t - 10 = 0 for p.
-3
Suppose -10 = -i - 6. Solve -z - w = w + 5, -z + 7 = -i*w for z.
-1
Let u(x) = -2*x**3 - 6*x**2 + 3*x + 9. Let a be u(-3). Solve 0 = -2*d + 5*m, a*m = -4*m + 8 for d.
5
Let q = 3 + 2. Solve 3*n = -q*p + 4 + 1, -4*p = -4*n - 4 for p.
1
Suppose 0 = 5*q - i + 16, -2*q - 1 = -3*i - 5. Let d be (q/(-8))/((-2)/(-12)). Solve d*s - 3*c - 11 = c, 2*c = 5*s - 9 for s.
1
Let i = -30 - -24. Let q be (0 - 1)/(2/i). Solve 0 = -4*v - 0*v + q*y + 13, 4*v - 20 = -4*y for v.
4
Suppose 3*v - 5*u = -1 - 8, -5*v = 5*u - 25. Solve -3*g - 18 = -3*j, 5*j = v*g + 2*g + 25 for g.
-5
Suppose 3*g - i + 1 = 11, 14 = -3*g - 5*i. Let r(a) = -4 - a**2 - 3*a**g + 5*a**2 - 5*a. Let z be r(6). Solve 0 = -3*d + z*m + 13, 5*m = 2*d - 5*d + 20 for d.
5
Let u = 7 + -7. Solve -4*b + 6*z - z - 25 = u, 5*b + 3*z - 15 = 0 for b.
0
Let s(d) = -d**2 - 2*d + 4. Let t = -6 + 2. Let a be s(t). Let l be (-116)/(-36) + a/18. Solve 3*f = 4*h + 11, 0 = -5*f - 4*h - 6 + l for f.
1
Let h(f) = -f + 1. Let o be h(-2). Solve -o*v + 4*c = 2*v, -3*c + 15 = 0 for v.
4
Suppose 2*y + 6 = 0, -5*y + 15 = 3*t - 3*y. Let w = -2 + t. Solve -5*u = -w, 10*r - 5*r = -3*u - 7 for r.
-2
Let j = -53 - -58. Solve 5*m + 37 - 7 = j*x, -4*m = x + 14 for x.
2
Let d be -18 - -22 - (3 + 1). Solve -2*v - 5*m + 4 = 0, -7*v + 2*v + 2*m + 10 = d for v.
2
Let o(z) = z + 14. Let s be o(-12). Solve s*k - 14 = -5*u, -10 = -3*k - 4*u + 4 for k.
2
Let u(l) = l**2 - 4*l + 7. Let m be u(3). Solve 0 = -5*r - 4*z + 15, r + z = -0*z + m for r.
-1
Let j = 0 + 1. Let h be 32/j - (3 + -1). Suppose 0*y + h = 3*y. Solve 5*s + 0*l - 5*l + y = 0, 5*s - 20 = -l for s.
3
Let x(q) = q**3 - 7*q**2 + 7*q + 1. Let j(s) = s**3 + 11*s**2 + 9*s - 4. Let c be j(-10). Let n be x(c). Solve 2*v - 1 = -5*r - 13, 0 = 2*r + 3*v + n for r.
-2
Let a(s) = -s**2 - 8*s - 4. Let d be a(-7). Solve 0 = 5*p + 5*y + 10, d*p + 0*y = 2*y - 21 for p.
-5
Let o(q) = q**3 - 4*q**2 - 5*q + 3. Let j be o(5). Solve v = -5*h - 24, -j*v + 2*h = -4*v - 12 for v.
-4
Let i(x) = -x**2 - 15*x - 6. Let d be i(-10). Suppose -5*f + f = -d. Suppose -4*t + 1 + f = 0. Solve -2*y - 10 = -5*j, -5*j - 4*y + 7 = -t for j.
2
Let y = 7 + 33. Solve 0 = l - 4*t + 15, -3*l - 5*t + 0*t + y = 0 for l.
5
Suppose -10 = -4*u - u. Let r = -31 + 37. Solve 0 = -2*n + u, -5*n + 15 = -4*b - r for b.
-4
Let v be 2/(-5)*(-1 + -4). Suppose 2*w - 16 = -v*w. Let u = -28 + 30. Solve -w*p - 3*s = 11, -7*p - s = -u*p for p.
1
Suppose 0*y = -4*y - 40. Let r = -6 - y. Let v be 29/6 + 2/12. Solve -3*s = 2*c + 15 - 5, -v*s + 3*c - r = 0 for s.
-2
Suppose 4*d - 10 - 2 = 0. Let n(c) = -c**3 - c**2 - 4*c - 3. Let y be n(-2). Solve -m = z - d + y, 5 = -5*m for z.
-5
Suppose 4*f + 16 = 2*v + 6, -2*v + 5*f + 10 = 0. Suppose 4 = -4*s - 5*m, -4*s = -7*s - m + 8. Solve -2*j + s*p - 1 = -15, -j + 16 = -v*p for j.
1
Let w(h) = -3*h. Let j be w(-1). Suppose -23 = -5*c - j. Let n(r) = -r - 3. Let u be n(-6). Solve k = 3*v - u, v - c = -v for k.
3
Suppose -11*c = -12*c + 2. Solve -4*z - z - 4*k = 18, 5*k + 6 = c*z for z.
-2
Let t(b) = 2*b**3 - 3*b**2 + 2*b - 3. Let s be t(2). Solve s*j - 7 = 2*j - 5*a, -5*j + 3*a + 23 = 0 for j.
4
Suppose -5*x + 3*x = -14. Suppose -n = -1 - 4. Solve -3*t - 4*h + 11 = -0*t, -h + x = n*t for t.
1
Let p = 47 - 42. Let o(s) = s**2 + 7*s + 6. Let x be o(-7). Solve 14 = -p*j - 4*q, -x = 3*j + j - 2*q for j.
-2
Let z = -16 - -33. Suppose -22 = k - 3*d - 9, z = k + 3*d. Solve -2*q = 8, -q + 2 = -k*n - 3*q for n.
3
Let s(h) = -h + 7. Let r be s(3). Suppose -2*v + 0*v - 5 = -3*i, 2*v + 10 = r*i. Solve 0*j + 7 = o + 2*j, 3*o - 16 = -i*j for o.
-3
Let q be 218/9 + (-4)/18. Let h be q/4 + -3 - -9. Suppose -2*g + 3*g = 2. Solve 4*r - h = -3*u - g*u, 3*u = 4*r + 20 for r.
-2
Let g be (2 - 4)/(1/(-4)). Suppose 24 = 4*s - g. Suppose -j - 4*j + 110 = -4*h, 4*j + h = 88. Solve -2*b + 4*x = -j, 3*x = b + 2*x - s for b.
5
Suppose 0 = 3*i - 22 + 10. Solve -4 = i*s - 5*c, -5*s + 3*s - 2 = -4*c for s.
-1
Suppose -4*o = 5*g + 3 + 4, -5*o = 3*g + 12. Let c = 1 + g. Solve -6 = c*f + 2*t, f + t + 1 = -t for f.
-5
Suppose -2*k - 2*i + 5*i = -4, 10 = 5*i. Let r(a) = -2*a. Let m be r(-1). Solve -k*v + 4*j = 41, -2*j + m = -2*v - 16 for v.
-5
Let b be 10/10*(-1 - -9). Solve m + 2*o = -6, m + 2*o = -2*o - b for m.
-4
Suppose -4*y + 135 - 11 = 0. Let i = y - 21. Suppose -2*a + 0 = -i. Solve 0 = -5*r + r - 2*q + 16, 0 = 2*r + a*q - 24 for r.
2
Let y = -382 + 387. Let p be (-1)/(-4) + (-7)/(-4). Solve p = -b + j, -y*j - 30 = 4*b + b for b.
-4
Suppose -3*y - 4*g + 21 = 0, -g - g = 2*y - 12. Solve -5*d + 7*z - 2*z + 20 = 0, -5*z = y*d + 4 for d.
2
Suppose 0 = v + 8 - 0. Let o be (-6)/v + (-162)/(-8). Solve q - o = 2*q + 5*y, 0 = -4*q + y + 21 for q.
4
Suppose s + 2*s = 45. Solve n + 0 - 3 = 3*v, -2*v + s = 5*n for n.
3
Let w(i) = 4*i**2 + i + 1. Let r be w(-1). Let v(x) = -10*x + 24. Let j be v(0). Solve h + 2*h + m = 10, 4*h - r*m = j for h.
4
Let y be 2*1/(-2)*-2. Let n(s) = -s**2 + 4*s. Let x be n(y). Suppose x = -4*v + 12. Solve 0 = -2*p - v*o, -p + 4*o - 25 = -0*p for p.
-5
Let k = 2 - -4. Suppose -9*f + 5*f - c = -10, c + 6 = 4*f. Suppose -y = 4*y - 2*i - 30, -3*i = -5*y + 35. Solve -f*s + k*s + x = 8, -y*s + x = 0 for s.
1
Let o(k) = -k**3 + 6*k**2 - 4*k. Let f be o(5). Solve -w + 12 = 3*w, 0 = y + f*w - 11 for y.
-4
Let s = 38 - 26. Solve 4*k + 5*n - 15 = 0, -3*k + 4*n = -5*k + s for k.
0
Suppose 4*i = w + 11 - 0, -37 = -3*i - 5*w. Solve i*n = 5*b + 1, 5*n = -2*b - 4 - 3 for b.
-1
Suppose 2*x - 2*w - 5 = 21, 4*w - 8 