) = i - 7. Let j be a(7). Let w = 0 - j. Solve -4*k - 5*r - 7 + 39 = 0, w = -2*k + 5*r - 14 for k.
3
Let z be (11/(-4))/((-3)/12). Solve w + 5*i + z + 0 = 0, -17 = -2*w + 3*i for w.
4
Suppose 3*l = 50 + 100. Let p = l + -36. Solve -2*a = -4*r - 26, -5 = 3*a - p for r.
-5
Let m = 21 + -11. Let q be m/(-4)*(-8)/5. Solve 4*k + 2*x + 0*x = 10, 3*k = -q*x for k.
4
Let l = 4 - -2. Solve -3*o = 0, 0 = 4*m - 2*o + l - 2 for m.
-1
Suppose 0 = -4*j + 4 + 8. Suppose 3*u = 3, -h - 3*u + 6 = -0. Suppose -h*d + 19 = p, -p = 4*d + p - 28. Solve d*w = n + j, -5*n = w - 4*n + 3 for w.
0
Suppose 9 = -7*w + 4*w - 3*o, 0 = 5*w - o - 3. Let y(g) = -g**2 - 6*g. Let z be -2 + -2*9/6. Let q be y(z). Solve 3*m = 9, w = 2*r + q*m - 3*m for r.
-3
Let k = -12 - -12. Suppose -4*i + k*i = -12. Solve 0 = 4*d - 0*q - 4*q - 28, 9 = i*d + q for d.
4
Let m be ((-40)/(-15))/((-2)/(-27)). Let n = -4 + 6. Suppose -n*q + m = q. Solve 23 = 3*w - 4*f, -5*w + 3*w + q = -f for w.
5
Let n be -4 - ((-3 - 1) + -4). Solve 2*p = -3*p - n*m - 31, -4*p - 2*m - 20 = 0 for p.
-3
Suppose z + 2*u - 14 = -z, u - 47 = -5*z. Solve -z = 2*c + 5*o, -2*c - 2*o - 2 = -4 for c.
5
Suppose 0 = 4*w - 0*w. Suppose -4*c = -2*o, w = 3*o + 6*c - c. Suppose 0 = 2*v - 0*v. Solve o = l + k - 5, v*k - 4*k = -4*l - 4 for l.
2
Suppose 4*m - 20 = 3*m. Let h be ((-8)/20)/((-2)/m). Solve -r + 4*b + 0*b + 8 = 0, -h = 5*r + 2*b for r.
0
Suppose 2*i = 4*i - 12. Let t be i/5*5/2. Solve -2*w + 4*w = -2*d - 2, -3*w = -3*d - t for d.
-1
Let u be (-20)/(-6)*3/2. Let k(z) = -3 - 2 - u + 2*z - 3*z. Let a be k(-10). Solve -2*i + 10 = -4*o, a = -4*o + 4*i - 0 - 8 for o.
-3
Suppose 3*z = 2*c - 56, -2*c - z - 132 = -6*c. Suppose 0 = -2*y - 4*t + c, -t + 11 = y - 2. Suppose -4*v = -3*v - 5. Solve -3 = 3*s - y, -4*u - 14 = -v*s for u.
-1
Let m(l) be the first derivative of -l**2 - 10*l - 1. Let f be m(-5). Solve -2*a + 3*s - 18 = f, 24 = -4*a - s + 4*s for a.
-3
Let d(o) = -o**2 + 8*o - 5. Let s be d(8). Let v(l) = -l - 3. Let a be v(s). Solve r - 5*c = 7, -10 = -2*r - 2*r + a*c for r.
2
Let x be ((-2)/4)/((-5)/(-20)). Let p be 1/(1 + 1/x). Solve 2*a = -p*q + 2, 5*a - a - q = -21 for a.
-4
Suppose -6 = -4*b + 2. Let q be (2 + 13)/(-3) + b. Let x = 0 - q. Solve -3*r - 13 = -x*u - u, 18 = -2*r + 5*u for r.
1
Let d be ((-3)/2)/(2/(-4)). Suppose -2*o + 0*o + u = -11, -6 = -2*o - 4*u. Solve -k - 2*q + 5 = 3*q, d*k + 25 = o*q for k.
-5
Suppose -5*v - 12 = -8*v. Suppose -v*j + 9 = -5*d - 11, 20 = -d + 4*j. Solve -6 = -3*s - 2*p + 6, d = 2*s + p - 8 for s.
4
Let s be ((-25)/(-5))/((-2)/(-2)). Solve -2*m + s = -q, -3*m = -4*q - m - 2 for q.
1
Let g(h) = -1 + 6*h - 2*h - h**2 - 6*h. Let s(j) = j**3 + 2*j**2 + j + 1. Let u be s(-2). Let b be g(u). Solve 0 = 3*k - b*k + 4*t - 10, -k = 4*t - 14 for k.
-2
Let d = -57 - -60. Solve d*a = 4*u - 8, a - 2*a - 9 = 5*u for u.
-1
Suppose 0*n + 3 = 3*n. Let w be -1 - (1*-3 - n). Suppose -123 + 135 = 3*l. Solve s = l*k - 16, 12 = -8*s + 3*s + w*k for s.
0
Suppose 2 = -2*m + 16. Solve -5*y = -u - m - 2, 3*u + 4*y = -8 for u.
-4
Suppose 8 + 10 = -6*f. Let r = f - -7. Solve -3*u + r*b = -3, 2*u - 3*u - 12 = 3*b for u.
-3
Let v(c) = -c - 6. Let o be v(-11). Let l = o + -3. Solve 4*f - 5*x = -37, -28 = f + l*x - 7*x for f.
-3
Let k be ((-10 - -4)/(-12))/((-2)/(-12)). Solve k*x = j + x + 10, 0 = -j - x + 5 for j.
0
Suppose -2*l + 1 = -3. Suppose 0 = -2*r + l - 14. Let a(q) = q**2 + 6*q + 7. Let z be a(r). Solve -4*p - 2*h + 10 = -z*h, 5*h + 10 = p for p.
0
Let x = -8 + 8. Suppose x = 2*y - 4. Solve 2*j + 4*m + y = -4, -4*j = 2*m + 12 for j.
-3
Let n = 10 + -5. Let w(v) = 2*v**2 - 3*v - 3. Let j be w(3). Let h = j + -2. Solve -2*u - 3 = -n*g, g = 5*u - h - 0 for u.
1
Suppose 39 = 3*o + 33. Solve 3*b + 3 = x + x, -o*b - 3 = -x for x.
-3
Suppose 0 = 4*r - 5 - 3. Let u be 9 - (12/r - 3). Solve -2*w + u*b - 2*b - 12 = 0, -5*b + 12 = -4*w for w.
2
Let f(c) = -c**2 + 3*c + 4. Let y be f(3). Let i = 4 - y. Solve -4*d = -5*l - 1 - 5, i = -4*d + 16 for l.
2
Let o(p) = p**3 - 3*p**2 - 14*p + 35. Let r be o(2). Let l(y) = y + 5. Let j be l(5). Solve -2*t - 20 = h + 3*h, -2*h = -r*t + j for t.
0
Suppose -3*x = 2*z + 4 + 13, -5*x - 19 = z. Let h be 22/8 - z/16. Solve 4*d - w - w = -30, -h*d - 35 = -4*w for d.
-5
Let f = 7 - 5. Let b = f - 2. Solve -2*t - 8 = 4*l + 6, b = 4*t + 2*l + 16 for t.
-3
Suppose 4*k - 6 = k. Solve -6*v - 9 = -3*v - t, 26 = -5*v - k*t for v.
-4
Suppose 0*v - 4*v + 5*m - 11 = 0, 1 = -m. Let a = v - -6. Suppose 27 - a = 5*o. Solve o*z + 2*n - 5*n - 19 = 0, 4*n = -z + 13 for z.
5
Let s be 5 - (-4 - (-25)/5). Solve s*m - 5*y + 0*y + 6 = 0, 4*m - 3*y = -10 for m.
-4
Let b be (15/(-10))/(1/2). Let w be 0/b - (-11 + 1). Solve -w = g + 3*c - 3, -3*g = 2*c for g.
2
Let g(a) = -a**2 - 2. Let z be g(0). Let t = 7 + z. Suppose -l + 5*i + 45 = 3*l, 0 = 2*i + 10. Solve 4*r + 23 = -3*m, -t*r + 3*m = l*m + 20 for r.
-2
Suppose 3*n + 4*y = 32, -5*n + 4*n + 2*y = 6. Let l be ((-8)/(-24))/((-1)/(-45)). Suppose -b = -n*b + l. Solve -6 = b*h + 2*d - d, 16 = 2*h + 5*d for h.
-2
Let d(s) = -s**3 - 5*s**2 + 8*s + 8. Let x be d(-6). Let u be (2/x)/((-1)/(-8)). Let i = u - -6. Solve 4*b - i = -4*p + 2, -2*p = 4*b + 6 for b.
-4
Let s(n) = 2*n**2 + 0*n + 2*n**2 - 1 + 2*n. Suppose -3*o - b + 1 = -0*o, -o + 2*b + 5 = 0. Let q be s(o). Solve -q*a - 15 = -5*v, 4*a - 1 = -3*v - 13 for a.
-3
Let l be (0/16)/((-2)/2). Let r be 3*2/(2/1). Suppose r*w + w - 8 = 0. Solve l = 4*s + o + 17, -s = -5*o + w*o + 1 for s.
-4
Let i = -160 + 47. Let o = -77 - i. Let a = -13 + o. Solve -4*f - 2*j = -0*j - 22, 5*f - 2*j - a = 0 for f.
5
Let b(w) = -w + 8*w**2 + 8 - 3*w**3 + 4*w**3 + 2*w + 0*w**3. Suppose 0 = -g - 8 - 0. Let i be b(g). Solve 0*k + 3*k = -2*m + 18, 2*m - 2*k + 2 = i for m.
3
Let i(z) = 2*z**2 + 9*z + 10. Let w be i(-4). Solve 3*k - w = -3*u, k + 2 = 3*k + u for k.
0
Let j(f) = f**3 + 6*f**2 - f - 6. Let y be j(-6). Let s = y - 0. Let q = 6 + -4. Solve q*z + s*z + 13 = v, v - 5*z - 28 = 0 for v.
3
Let m = -9 - -18. Solve -4*k - 3*x + 19 = 0, 4*k - m = -x - 0 for k.
1
Suppose 0*h + 6 = 3*h. Solve h*q + 2*b = b + 3, 5*q - 2 = 3*b for q.
1
Suppose w + 5*s - 19 = 0, -23 = -2*w + 2*s - 7*s. Suppose -12 = -3*y + 39. Solve 4*c = 4*o + 4, -c + o + y = w*c for c.
4
Suppose -207*r = -209*r + 12. Solve i + r = z, 1 = -4*z + i + 19 for z.
4
Let r be -1*4*(-16)/8. Solve 3*g + 5*d + 1 = -7, -r = -g + d for g.
4
Suppose 0 + 8 = 4*x. Let d = -7 - -7. Solve -5*y + r = d, -5*y = x*r - r for y.
0
Let q be (-12)/(-10) + (-5)/25. Solve 5*n = 2*i - 15, -4*n - 7*i + q = -6*i for n.
-1
Suppose 3*o = -0*o + 6. Suppose o = g - 0*g. Solve -4*h - 3*x - 10 = -x, 0 = -g*h - 3*x - 7 for h.
-2
Suppose -13*x = -5*x - 16. Solve -2*b - x = -3*y + 6, b - 22 = -5*y for b.
2
Let w(m) = -m + 5. Let z be w(-3). Suppose 0 = -l - 2*q - 8, -4*l + q + z = -q. Solve -13 = r - 3*o, -5*r - 3*o = -l*o - 25 for r.
2
Suppose -j = -0*j - 3. Solve -4*c + 13 = j*m + 2*m, 2*m = 4*c + 22 for c.
-3
Let z(k) = k**2 + 15*k + 19. Let q be z(-14). Solve -y - 6 = -b + q*b, 4*y = -8 for b.
-1
Let h = 16 - 14. Solve -h - 4 = 3*k, 2*x - k = 12 for x.
5
Let h be 19/(-1) - 2/(-2). Let r be h/(-4) + (-1)/(-2). Let o(x) = -x + 10. Let w be o(6). Solve 0 = -r*q + w*q + c + 8, c = -5 for q.
3
Let k = 29 - 22. Solve -q - 5*g - 20 = 0, q + k = -3*g - 3 for q.
5
Let l(r) = -r - 4. Suppose -2*z + 36 = -6*z. Let u be l(z). Suppose -3*i + 2*i + j - 2 = 0, -u*i + 2 = -j. Solve -i = -h + 2, 4*h = 2*q + 22 for q.
-5
Let n(u) = -u**3 + 6*u**2 + u - 2. Let p be n(6). Solve v = -3*v - p*q - 20, v = -3*q - 7 for v.
-4
Let v = -49 - -49. Solve -u - 2 = -4*f + 6, v = f - 3 for u.
4
Let a = 2 + -1. Let u be 1*a/(1 - 2). Let q be 2/u - (0 + -4). Solve x = 2*p - 1, -q*x + 1 = -0*x - p for x.
1
Let o(r) = r**2 - 6*r - 30. Let k be o(10). Solve -2*h + i + 4 = -4*i, k = 5*h + 4*i for h.
2
Let m = 11 - 7. Let h = 8 + -6. Suppose -5*o - 1 = -h*u, 0*o + 4*o = 12. Solve a + 3*a = -u, -m*f - 26 = 5*a for f.
-4
Let y be (-1 + 2/2)/1. Suppose -3*g + 19 = -2*p, y = -3*g + p - 2*p + 4. Solve 2*j = -s - 3*j + 9, g*j = -3*s + 3 for s.
-1
Let p = -24 + 10. Let j be (-21)/p*4/6. Let v = j - -2. Solve 2*g = -v*c - 2*c - 4, -5*c + 4 = -2*g for g.
-2
Let i = 52 + -50. Solve -x + 11 = -i*d, -3*x = -5*d - x - 26 for d.
-4
Let g be 96/80*5/2.