7). Suppose 5*z = r + 14. Suppose u - 4 = -2. Solve 3*i - 2 = -u*m, -z*i - 3 + 0 = -3*m for i.
0
Let q(k) = -3*k + 17. Let v(u) = 8 + 0*u + 17 + u - 5*u. Let s(i) = -7*q(i) + 5*v(i). Let p be s(-6). Solve p*o + 4 = 4*o, 4*f + 4*o = 0 for f.
-1
Let g = 12 - 20. Let j = g + 6. Let f(v) = -v**3 - 3*v**2 - 3*v. Let a be f(j). Solve z - 1 = 2*d, -4*z = -a*z - 2*d for z.
-1
Let k(a) be the second derivative of -a**5/20 + 5*a**4/12 - 2*a**3/3 + a**2 - 3*a. Let y be k(4). Solve 19 = -4*x - 3*v, 2*v = -y*x - 0*v - 12 for x.
-1
Suppose 4*g = c - 5, -15 = -c - 2*c - g. Solve -3*o + 14 = -2*i + o, 3*o = c*i + 14 for i.
-1
Let o(m) = -m - 3. Let c be o(-7). Let q = c + 0. Solve 2*j + d = 3*d - 8, q*j = -d - 21 for j.
-5
Suppose -2*l = 5*n - 17, -3*l = -0*l - 2*n + 3. Let c be (l + 9/(-3))*-1. Solve c*m - 3*f = 0, 0*f - 4*f = -2*m + 2 for m.
-3
Suppose h + 5*z - 83 = -3*h, 5*h = 4*z + 73. Solve -2*y = -8, -v = 3*y + 7 - h for v.
-2
Let r(m) = m**2 + 7*m + 2. Let g be r(-6). Suppose 3*i - 4 = 14. Let l = g + i. Solve -3*x + l*w - 21 = 0, 3*x + 2*w = -w - 6 for x.
-5
Suppose -2*f = -4*f + 6. Suppose -l = 4*z - 21, z + f*z - 3*l - 17 = 0. Suppose -3*t = -0*t, -210 = -z*p + 4*t. Solve 8 = -2*v, 5*v - 7 = -3*s - p for s.
-5
Let c(f) = f. Let h be c(-1). Let w be 0*((-1)/(-2))/h. Solve -l - 3*u + 9 = w, -4*l = 2*u - 6*u - 4 for l.
3
Suppose -2 + 20 = -2*a. Let z = a + 11. Solve -18 = -6*x + 2*x - 5*n, 2*n = z*x for x.
2
Let m be 2/8 + 6/(-24). Let r(l) = -l**2 + 3. Let n be r(m). Solve -n*u + 0*u = 4*i - 8, 2*i = -3*u - 2 for u.
-4
Suppose -2*m = 2*m - 8. Let g(h) = h**2 - 4*h - 7. Suppose -13 = -2*x - 1. Let q be g(x). Solve m*d - q*d = f + 19, -d = 5 for f.
-4
Let k = -10 - -7. Suppose 3*m - 5*x - 6 = 5*m, -3*m + x + 8 = 0. Let o be (-160)/(-24) + m/k. Solve -3*h = v - 17 + 7, o = h - v for h.
4
Let j be (12/(-9))/(4/(-6)). Suppose 0 = -4*q + 2 + 6. Solve q*f + j = 4*a, a - 2*f + 7 = -0*a for a.
3
Let b(z) = -5*z + 6. Let v be b(-3). Solve 2*h - 6*h = 5*a - 10, -3*a + 3*h - v = 0 for a.
-2
Let k(f) = 2*f**3 + 11*f**2 + 4*f - 3. Let b be k(-5). Solve 0 = -b*n + 5*j - 14 + 36, 4*n - 20 = 4*j for n.
1
Let a(t) = t**3 - 4*t + 5. Let u be a(2). Solve -2*v - u = -3*d + 4, -v + 1 = 4*d for d.
1
Let a be (-3)/9*(1 + -7). Let l(y) = y**2 + 2. Let p be l(a). Solve -x + 1 = 3*g - 5, -4*x - 3*g = -p for x.
0
Let v = 12 + -7. Suppose f - 45 = 5*j + 6*f, -2*j - f = 21. Let t = -5 - j. Solve -4*x + 9 = x - 2*i, -3*x - v*i - t = 0 for x.
1
Suppose -5*h + 4*k + 36 = 0, -h - 4 = 5*k + 12. Solve -5 = h*c - 3*q - 2*q, 2*q = -c - 11 for c.
-5
Suppose -4*j - 2*c = 2 - 4, 2*j + 8 = -4*c. Solve z - j*r + 25 = 2*r, -30 = z - 5*r for z.
-5
Let q = -123 - -133. Solve 5*v + q = 5*c, -3*c + 8 = c + 3*v for c.
2
Let f be (-1)/(-1 - 8/(-10)). Suppose 4*o - 25 = f*z, 2*z - 5 = 7*z. Solve 3*b + 3*h - o - 13 = 0, 3*b = -5*h + 20 for b.
5
Let w be 3/((-12)/8)*-4. Suppose -5*h = -w - 2. Solve 0*j - h*g = -j + 5, 0 = 5*g for j.
5
Let d(x) = x**3 + 0*x**2 + x**2 - 3 - 4*x**3 + 2. Let p be d(-1). Solve 0 = p*n + 4*s + 4, 5*n + 1 = 2*s - 23 for n.
-4
Suppose -49 = -3*w + 5. Suppose -4*j = 4*c + 12, -5*j = 2*c + c + 5. Let v be 2/(4/w) - j. Solve -p - 2*y + v = 3*y, 2*p = y + 3 for p.
2
Let u = -177 + 182. Solve u*t + l - 14 = 9, -5*l = 10 for t.
5
Suppose 3*g + z - 30 = -2, 4*g - 3*z = 20. Let k = g - 6. Solve -3*r = -h, -r + 0*r + h = k for r.
1
Let b be (-2)/7 + 163/7. Solve -3*p = l - 3 + b, -2*p = 4*l + 30 for p.
-5
Let t = -9 - -14. Suppose 0*y + 2*y - 18 = 0. Let i = y + -7. Solve 8 = i*j, -5*j + 3*j = t*d - 8 for d.
0
Suppose -3*b - 5 = -5*y + 3, 0 = 5*y - 2*b - 12. Solve 10 - 40 = 2*t + 4*m, y*m = -20 for t.
-5
Let o(y) = y**2 - 5*y + 5. Let g be o(5). Solve 0 = 4*t + 5*v - 10, 0 = -5*t + v - g*v + 8 for t.
0
Let q be (-2)/7*(-4)/((-16)/(-28)). Solve 3*v - 2 = q*j - 0, -4*j - 4*v - 24 = 0 for j.
-4
Suppose g + 6 + 4 = 5*f, g + 2 = f. Solve -3*v - 22 = -5*z, g = 4*z - 4*v - 8 - 16 for z.
2
Let b(u) = 6*u**2 - 2*u - 3. Let x be b(-1). Solve -x*g - 3*y + 10 = 1, 3*g - 3 = -y for g.
0
Let u = 9 + -6. Suppose 5*b = -4*g + 53, -u*g - 5*b = -2*g - 17. Let o = -7 + g. Solve 5*v + 3*s - 1 + 2 = 0, 0 = 2*v - o*s - 12 for v.
1
Let o be 1/(-2) - 15/(-6). Let m = o + 1. Suppose -18 = -m*i - 2*l, 3*i - 2*l - 1 = 5. Solve 2*a = 2*x - 0*x + i, 2 = -4*x + 2*a for x.
1
Suppose -2*q + 13 = -11. Solve -4 = -b - 5*w + 10, -q = 3*b - 3*w for b.
-1
Let s(o) = 27*o - 2. Let g be s(1). Suppose 7*f + 4 = g. Solve 4*p - 2*p + 9 = 3*n, f*p = 4*n - 11 for n.
5
Let u = -36 - -39. Solve 3*l = -4*p - 15, u*l - 5*p - 10 - 2 = 0 for l.
-1
Let p = 12 + -10. Solve 3*y - 2*y - 5 = p*l, -y = l - 2 for y.
3
Let v(k) = -k**2 + 5*k + 5. Let t be v(5). Suppose 2*d - d = -t*l + 13, -3*d - 18 = -4*l. Solve -b + 2 - 12 = 3*n, -2*n + l*b - 3 = 0 for n.
-3
Suppose -u - 4*u + 100 = 0. Suppose -5*n = -2*n - a - 5, -u = -5*a. Let v be (-2)/(4/2)*-5. Solve -v*t - 3 = -2*i + i, -4*t - 9 = -n*i for t.
0
Let k be (-1 - -16)*2/6. Let z = -40 - -66. Solve 11 = 5*b + y, 0*y - k*y - z = -2*b for b.
3
Suppose 6 = -19*f + 21*f. Solve -7 = -m + 2*m + 3*o, -5*o = -f*m - 7 for m.
-4
Suppose -5*d + 3 + 2 = 0. Let p be ((-2)/(-2) - d) + 14. Solve -l - 6*z + p = -4*z, 3*l - 17 = -z for l.
4
Let s be (4 + -1 - 3) + 3. Solve -5*u + 4*z = 32, 0 = -u - z - s*z + 8 for u.
-4
Suppose 3*q + 28 = 40. Solve 4 = v + 3*p - q, -4*p = -v - 13 for v.
-1
Let l(m) = -m - 5. Let t(h) = h**3 + 8*h**2 + 2*h + 9. Let d be t(-8). Let q be l(d). Solve 3*f = 5*c - 5, 0 = -0*f + q*f - 10 for c.
4
Let s be 1 + -3 + 2 + 2. Solve s*n - v - 6 = 4*n, -v + 15 = -5*n for n.
-3
Suppose 4*s = -12, m - 5*s - 17 = -s. Solve 0 = m*j, -2*j + 10 = 5*l + 2*j for l.
2
Suppose -d - 60 = -4*a + 3*d, 0 = -4*a - 4*d + 36. Solve 1 - a = l - 3*o, -5*o = 5*l - 25 for l.
1
Let i be 2/3*15/2. Solve -6 = 2*l + 5*s, -3*s = l - 2 + i for l.
-3
Suppose 0 = v - 5*v. Suppose -3*u + 4*u - 4 = v. Solve i + 2 = 4*i + j, -2*i - 2*j + u = 0 for i.
0
Suppose 2*q - 3*q = -4. Suppose -3*r = 5*y - 1, -4*y + 3 = 2*r + 1. Suppose 5*h - y - 8 = 0. Solve -4*m + h = -5*l - 1, -q*l + 3*m = 3 for l.
-3
Let s(r) = -5*r + 6. Let p(b) = -11*b + 13. Let l(k) = 6*p(k) - 13*s(k). Let x = 6 - 11. Let c be l(x). Solve -i + 4*i + 4*g = -3, c*i + 5 = -5*g for i.
-1
Let j be 2*((-1)/(-6)*15 - -1). Solve -2*s - 2 = -4*l, 0 = -5*s + 2*s + l + j for s.
3
Let d(a) = -a - 1. Let b be d(-4). Solve -b*l + u = 3 - 17, u + 2 = 0 for l.
4
Let c = -53 - -56. Solve -4*m - c*g + 10 = -9, 8 = 3*m - 4*g for m.
4
Let k be 5/(-2)*24/30. Let i(p) = p**2 - 2. Let w be i(k). Suppose b - 5*t = -2, -b + 3 = -t + 1. Solve b*z - 3 = 0, w*v = v - z + 1 for v.
0
Suppose f - 2*f = -9. Solve s - 2*n = -2*s - f, -4*n + 16 = -4*s for s.
-1
Suppose 0 = 2*y - 1 - 7. Suppose y*z - 7*z - 5*f + 20 = 0, 27 = 5*z + 2*f. Solve -v = 5*x - 4*x - 3, -10 = z*x for v.
5
Suppose 5*q - 3*j - 19 = 0, -2*q - j - 2*j - 5 = 0. Solve -5*v = x + 16, -q*v + 8 = -5*v + x for v.
-3
Let l = 88 - 57. Solve 6*f = f - 2*g, -3*f = -5*g - l for f.
2
Let f = 13 - 10. Suppose -1 = -4*v + f*v. Solve 4*o = -c - 4, -5*c - o + v = -2*o for c.
0
Let q be (-6)/(-9)*-1*-3. Solve 0 = p - 2*o + 3*o - 7, -o - 2 = -q*p for p.
3
Suppose -3*x - 4*x + 28 = 0. Solve 2*q + 18 = -3*l, 2*l - x = 4*q - 0*l for q.
-3
Let h = 11 - 7. Suppose -4*b + 70 = 5*s + 25, 0 = s - 5*b + 20. Solve 0 = -z + 1, h*o - s*z - 4 = o for o.
3
Let k be (3/6)/((-1)/18). Let j = k + 11. Solve 0 = -5*d - 4*i - 3, j*d + 2*d - 4*i - 12 = 0 for d.
1
Let d(i) = i**3 - 8*i**2 + 8*i - 2. Let w be d(7). Let o be 2/(-6) + (-7)/(-21). Solve o = w*l - 21 + 1, -l = 4*r + 16 for r.
-5
Let y(j) = -j**2 - 6*j + 7. Let w be y(-6). Suppose w*f = 3*f. Let i = 29 + -16. Solve f = 3*t + 2*p + i, -2*p = -4*t + 2 - 10 for t.
-3
Let y(p) = p**2 - 3*p + 1. Let q be y(4). Let j = q + 8. Solve 3*c = -4*g - j, -4*c - 20 + 4 = 4*g for c.
-3
Let f(r) = 11*r - 2. Let q be f(2). Solve -4*g - 2*z + 1 = z, 4*g - 4*z = -q for g.
-2
Suppose s + s + 10 = 0. Let f = 5 + s. Solve f*o - 5*o + c - 22 = 0, -o + 4*c = 12 for o.
-4
Let s be -1*1 + (-2 - -3). Suppose 2*g = 5*k - s*k - 19, 0 = -4*k + 2*g + 14. Solve 0 = p + 4*n - 0*n + 12, 4*p = k*n - 6 for p.
-4
Suppose 0 = 3*d + 2*k - 6, -5*d - 4*k + 12 = -2*d. Solve -3*n - 12 = d, 0*h - 3*n - 22 = -5*h for h.
2
Suppose -5*x -