= -k*i, 16 = 2*i - 2*l for i.
3
Suppose 3*u - 21 = -3*a, 0*u - 2 = -2*a + 2*u. Let d be (-4)/(-14) - 78/(-21). Let b = d + -2. Solve q + 7 = 3*o, b*o - a*q - 20 = -2 for o.
1
Let b = -13 - -9. Let w be (-1 - b) + 0/2. Suppose 3 = 2*g - 7. Solve 0 = -3*p - 4*i + i - 3, 0 = 4*p + w*i + g for p.
-2
Suppose 0 = -f - v + 2, 2 = 3*f - 4*v - 4. Solve 8 = s + s - d, 4 = f*d for s.
5
Let d be -1 - 0 - 66/(-6). Let t = d + -12. Let c be 3*(t + 2 + 2). Solve -2*a - 6 = -k, 3*a + c = -a + 5*k for a.
-4
Let v(m) = m**2 - 3*m - 6. Let h be v(-7). Suppose -2*q + k + 24 = -5, -h = -4*q + 4*k. Solve -a - 2*w = 2*a + q, -5*a + 2*w = -5 for a.
-1
Let v = -8 + 13. Let a(b) = -b**2 + 7*b - 6. Let p be a(v). Solve 4 = -p*c - 5*k + k, c - k = -5 for c.
-3
Suppose -21 = -5*n + n + 5*y, -2*y + 2 = n. Solve 3*j + 0*j + n*d + 11 = 0, 5*j + 2*d + 9 = 0 for j.
-1
Let r(z) = z**3 - 19*z**2 + 35*z + 2. Let v be r(17). Solve -6 = -x - a + 1, 2*a = -3*x + v for x.
5
Let q be (6/5)/(6/10). Solve -4*u + 12 = 2*s, -q*s - 4 = -u + 4 for u.
4
Let c(j) = 22*j**2 - 2*j. Let m be c(-2). Let t = m + -62. Solve -4*p - t = 4*a + p, -4*a - 28 = 4*p for a.
-5
Let g be 2 + (-3 - -2) + -1. Let c = 8 + -5. Suppose 0 = 4*s - c*s. Solve 7 = i - 5*y, s = -4*i + y - g - 10 for i.
-3
Suppose -4*k = -0*k - 12. Let a(l) = l**2 + 2*l. Let i be a(-3). Let s(o) = -2*o + 6. Let m be s(1). Solve -3*g = m*h - 9, 13 = -g - i*g + k*h for g.
-1
Suppose 5*s - 3 = 4*h - 2*h, 25 = -5*h - 5*s. Let a be (-54)/10 + 3/(-5). Let t = h - a. Solve 0 = -j + o - 1, t*j - 3*j = 4*o + 11 for j.
-3
Suppose -7*l - 5 = -19. Solve -2*d - 5 = -u, l*d + 5*u = u for d.
-2
Let t be (-2)/8 + (-17)/(-4). Solve -2*b - 4 = -2*u, 0*u + 5*u = t*b + 7 for u.
-1
Let g be 2*(-142)/(-4) - -1. Suppose -3*r = -24 - g. Solve d - 6*d - 36 = -4*c, r = 3*c - 5*d for c.
4
Let b be 637/65 + 2/10. Let g = b - 8. Solve c + 3 = 2*k, k + c - 2 = -g*k for k.
1
Let k(a) = -a**3 + 7*a**2 + 8*a + 2. Let w be 15/2 + 1/2. Let o be k(w). Solve -2*v + o*j - 4 = 0, j - 6 = 2*v + 3*v for v.
-1
Suppose -11 = -0*s - 2*s + k, s + 2*k + 7 = 0. Solve 2*x + 4*j = 5*x, 0 = 5*x - s*j for x.
0
Let h(g) = g**2 + g - 1. Let p be h(0). Let d be p + 5 + (0 - 1). Suppose -2*w + 8*w = 30. Solve -w*r + d*z = 8*z + 25, 3*r - z = -3 for r.
-2
Let y = 63 + -61. Solve -5*z = t - 7, t + y = -2*z + 3 for z.
2
Let b(p) = p**2 - 4*p + 4. Let h be b(4). Let m = h + 0. Solve i + 5*l + 24 = m, 5*i = -4*l - 37 for i.
-5
Suppose -2*a - 1 + 12 = j, -5*j = 3*a - 34. Suppose -3*h = 6*n - 9*n - 9, -4*n = -a*h + 7. Solve -w + 10 = 2*y + 4*w, 2*w = n*y + 18 for y.
-5
Let x(y) = y + 5. Let l be 2/1 - 0 - 2. Suppose -5*s - 4*h + 7*h = 28, l = 5*h - 5. Let m be x(s). Solve -8 = -4*o - 2*r, o - 5*r + 7 + 2 = m for o.
1
Suppose -2*y = -4*y + 12. Solve 2*p - 4*i = y*p - 8, -5*p + 2*i = -10 for p.
2
Suppose 0 = m - 0*m - 4. Solve 2*p = 2*a + 6, -3*a - m*p - 5 = -3*p for a.
-2
Let a = -29 + 52. Solve p - 2*n = 9, -4*n = -p + 4*p + a for p.
-1
Let w(s) = s**2 + 13*s + 33. Let t be w(-10). Solve -4*d - 5*v - 5 = 0, 0 = -3*d + 6*d + t*v for d.
5
Let x(b) be the second derivative of -b**5/20 + b**4/2 - 7*b**3/6 + 4*b**2 - 9*b. Let q be x(4). Solve -2*t - 2 = -3*v - q, t + 2 = -2*v for v.
-2
Suppose u - 2*u = -3. Suppose 15 = -v + 5*p, p + 3 + u = 2*v. Solve -5*q = -0*q + v*f + 15, 2*f + 8 = -3*q for q.
-2
Let w be ((-1)/(-1))/((-4)/(-16)). Suppose 5*v - 11 = -4*g + 30, -w*v + 36 = 4*g. Suppose u = -g*u + 10. Solve -u*h + 4*p = -h - 20, -3*h = 4*p + 4 for h.
4
Suppose 89 = 9*v - 19. Solve -4*x + 20 = p + 4*p, -v = -3*p for x.
0
Suppose 5*i = 4*i. Suppose -2*c + 5*x + 2 = 12, -2 = c - x. Let k be 0/(2 + c) - -16. Solve -2*d + 3*j = k, 2*d - 4*j + 2*j + 12 = i for d.
-2
Let v(w) = -w**2 + 5*w. Let t be v(5). Suppose j = -t*j + 2. Let i be 5*((-18)/15 + j). Solve -l - 37 = -i*a - 6*l, -5 = -l for a.
3
Suppose 0 = 2*x - 9*x + 35. Solve -2*i + 4*f = 4, i - x = -0*f - 5*f for i.
0
Let v be (2/(-4))/(1/(-62)). Suppose -3*l + 7 = v. Let y be 4/l - 3/(-6). Solve -5 = 4*j - q - 21, y = -q for j.
4
Let u = -13 + 16. Solve -i + 3 = 2*w, -u*w - 2*w - 15 = -2*i for i.
5
Suppose n = 0, -20 = -2*t - 3*t - 5*n. Solve 15 + 3 = 2*u + 5*p, -2*u = t*p - 16 for u.
4
Suppose 12 = 2*p + 2*p. Suppose -6 = -p*c, -2*w - c + 4 = -2*c. Suppose 5*o + 2*z = 37, z - 17 - 24 = -5*o. Solve w*s + 28 = 4*t + o, 4*t = 2*s + 18 for t.
4
Suppose 0 = k, -a - 3*a = 5*k - 16. Suppose 8 = 3*x - a. Suppose 5*d + 4 = 4*s, -4 = -x*d - 3*s - 1. Solve -5*z - q + 2*q + 3 = d, 5*q + 15 = -2*z for z.
0
Suppose 0*f = -2*f + u - 13, 5*f - u + 25 = 0. Let z = f + 13. Let b = 25 - 24. Solve 2*n + b = -z, -17 = l + 4*n for l.
3
Suppose 0*g = 4*g - 140. Solve -5*i - k = 2*k + 10, g = -5*i + 2*k for i.
-5
Let k(n) = -6*n**2 + 1. Let g be k(-1). Let i = g + 13. Suppose 2*s + 0 = 10. Solve -3*y + i = o, -y - 8 = -s*y for o.
2
Suppose 16 = 2*i - 5*u, -5*u = 2*i + 3*i - 5. Let r = i + 2. Solve -5*h + 5*c = 0, 2*c = -r*h + c + 18 for h.
3
Let r(s) = -s**3 + 7*s**2 - 6*s - 2. Let p be r(6). Let v be -1 - (-2 - 0) - p. Solve 5*y + 3*d - 2 - 11 = 0, -y - 2*d - v = 0 for y.
5
Let t(d) = d**3 - 6*d**2 + 6*d - 1. Let j be t(5). Let q be j/((-21)/(-6) - 3). Solve 5*o + b = o + q, 3*b = 12 for o.
1
Suppose 5*o - 13 = 12. Solve -4*y + 3*q + o = 0, 0 = -4*y + 3*q - 7*q + 40 for y.
5
Let g be (-250)/(-60) - 1/6. Suppose -4*z = g*k + 8, -2*z - 11 = -2*k - 27. Solve -5*d - z*s - 16 = -5*s, -2 = s for d.
-4
Let b(u) = -2*u - 4. Let d be b(-4). Suppose 3 = 10*f - 77. Solve 4*p = 5*o + 41, 3*p + f = -0*o - d*o for p.
4
Suppose 5*f - 12 = 3. Suppose -2*v = v - f. Solve -3*d = 5*b - 2*d - v, -b + 5*d - 5 = 0 for b.
0
Let q = 69 + -67. Solve 0 = p - 2, -17 = -3*t - 2*p + q for t.
5
Suppose 2 - 8 = -3*o. Solve 4 = -k + n - 0, o*k = -4*n - 2 for k.
-3
Let m = -13 + 30. Suppose a - 2*a + 4 = -b, 3*a + 2*b = m. Suppose a*h = -4*j - 3, -j = 2*h - 3*j - 6. Solve 15 = 3*v + 5*r + 4, 3*v - h = 5*r for v.
2
Let w = -3 - -5. Solve 11 = -5*k + 3*d, k + w*k - d + 9 = 0 for k.
-4
Let t be (3/(-3) - 8)*10/(-3). Solve 7*j - 3*w + t = 2*j, 0 = j - 3*w + 18 for j.
-3
Suppose -3*m + 13 = 4. Let a(k) = -k**2 - 6*k - 6. Let u be a(-4). Solve 0 = m*q + 12, 2*q + q + 10 = u*o for o.
-1
Let r(o) = o**2 - o + 3. Let v(g) = g + 6. Let d be v(-6). Let c be r(d). Solve 3*a - 14 = -4*t, -5*a + a = -c*t + 23 for a.
-2
Let v(s) = 3*s - 3. Let t be v(6). Let b = 30 - t. Solve -2*w + 16 = 2*l, 4*l = -l + b for w.
5
Suppose 2*d + 3*j = -2, d - 4*j = 3*d + 4. Let l be (2/4)/(1/4). Suppose 2 = 2*o + m, 3*m - l = -5*o + 1. Solve -g - 1 = -o*z, -d*z = g + 3*g + 18 for g.
-4
Let r = 1 + 6. Solve 3*h - 13 = -u + r*h, -3*h = -2*u + 6 for u.
-3
Suppose -5*r - 2*a = -27, 4*r = 5*a - 1 + 16. Solve 2*h = -4*p - 18, h - r*p - 8 = 4 for h.
-3
Let d(p) = p**3 - 6*p**2 - 9*p + 8. Let i be d(7). Let s(k) = -k**3 + k - 10. Let r be s(0). Let y = i - r. Solve -2*w + 8 = y*a, -w + 5*a - 2*a = -4 for w.
4
Let u be 1222/104 - (-1)/4. Let j = -2 - -5. Suppose -4*r + j = -13. Solve 0*k = k - 2*z + r, 3*k + 2*z = u for k.
2
Let r(t) = t - 5. Let l be r(5). Suppose -3*z + 14 + 7 = h, 3*z + 9 = 4*h. Let y be ((-4)/h)/((-12)/54). Solve 0 = -c + y*b + 16, -c - 3*b - b - 12 = l for c.
4
Let d = 1 + 2. Solve -3 = -3*u, -1 = -z - u + d*u for z.
3
Suppose 2*s - 4 = 4*r - 3*r, 5*r + 3*s = 32. Solve 0*n = -4*l - n + 8, 2*l - r*n = -14 for l.
1
Suppose 0 = -5*d + 2*d + 9. Let f(b) = d*b**3 + 1 - 5*b**3 + 6*b**2 + 3*b**3. Let v be f(-6). Solve 0 = -q + 2*s - 3, 4*q + 2*s + s + v = 0 for q.
-1
Let d(b) = -b**2 - 7*b - 3. Suppose -i + 3*i = 3*g - 18, -i - g - 4 = 0. Let y be d(i). Suppose y*a = -0*a + 12. Solve 0 = a*s - 4*n, -s + n = -3*n - 15 for s.
-5
Suppose -16 = -5*f - 51. Let y(q) = q**3 + 6*q**2 + 4*q + 5. Let b be y(-4). Let c be (-2)/f - (-99)/b. Solve -6 = -3*l + 3*k - 0*k, -c*l = -3*k - 12 for l.
3
Let x be 0/(-2 - (-3)/1). Let q be -3 + 2 + x - -5. Solve 3*z + 4 = -0*g + 5*g, 0 = q*g - 4*z for g.
2
Let r be (240/35 - 4)*7. Let s be (-2)/(-1)*(-5)/(-2). Solve -s*l = -3*m + 8, 8*m + r = 3*m for l.
-4
Let l be (-2 + (-21)/(-12))*-8. Let i be 2/(-4)*(-1 - 5). Suppose d = -l, -23 = -i*x + 3*d + 43. Solve 4*f + 14 - 40 = 2*r, -x = -4*f for r.
-3
Suppose 2*v - 34 = 2*z, -3*v - 5*z = -z - 51. Suppose 2 = -5*i + v. Solve 0 = -2*q - i*h + 12, -q + 4