k.
4
Suppose -10*t + 27 = -13. Solve v + 1 = 3*x, 3*x - 1 = v + t*x for v.
-1
Suppose h + 30 = 4*h + i, 3*h + 4*i = 30. Let t be (-64)/(-6) - h/15. Solve -5*d - t = -3*y, 2*d - d + 2 = y for d.
-2
Let h = 321 - 227. Let n = -65 + h. Let g(l) = l**2 - l + 1. Let k be g(2). Solve 5*i + 35 = k*r, -i + 5*r - n = -0*r for i.
-4
Suppose 8*p - 18 = 6. Solve 4*k - 2*s = -0*s + 6, 3*k = s + p for k.
0
Suppose 8*u - 18 = 5*u. Solve 4*i + 9 = -4*y - 3, -2*y - u = -2*i for i.
0
Let b be (2 + -5)*(-4)/6. Let l be 2/(-20)*-4*10. Suppose l*d = b*d. Solve -3*o - 15 = 3*s, -o + 4 = -2*s - d*s for s.
-3
Let r = -15 - -29. Solve 0 = -3*o - 6, -4*y - 6*o + r = -3*o for y.
5
Let q = 16 - 13. Solve q*v + 12 = 4*k, 0 = v - 4*v - k + 3 for v.
0
Suppose 5*r - 5*n = 6*r + 8, r - 10 = 4*n. Suppose 0 = r*s - 8, -u - 2*u + 29 = 5*s. Solve o + 2*h - 7 = -1, 4*o - u*h + 31 = 0 for o.
-4
Let v be (-5)/(-2) + (-4)/(-8). Suppose -s = v*t + 1, 2*t - 3*t + 5*s = -5. Solve 4*w + u - 6 = t, 2*w = 2*u + 5 + 3 for w.
2
Let q(i) = i**3 - 11*i**2 - 15*i + 18. Let z be q(12). Suppose -3*f - 2 = 13, 3*k - 118 = 5*f. Let h = z + k. Solve 10 = -2*n, -3*l - 5*n = l + h for l.
3
Let y(v) = -v**3 - 3*v**2 - 2*v + 2. Let q be y(-2). Let k be (-5)/(-10)*12/q. Suppose -l - k*l = 0. Solve -3*n + 4*r + 27 = 0, l*n - 13 = -5*n - 4*r for n.
5
Let t be 1 + (-2)/(4/2). Let v be -4*(-2 + t)/2. Suppose 24 - 4 = 4*s. Solve -4*h - 5*j = s - 0, -3*h - v*j = 3 for h.
-5
Let d(l) = l - 2 + 7 + 3. Let v be d(-5). Suppose 0*u - 18 = -v*u. Solve -3*g = j + u, 0*j - 2*g + 7 = -3*j for j.
-3
Let k = -4 + 8. Let n = k - 5. Let c be n + (0 - -3) - -1. Solve 7*a - 3*a = c*l - 10, 2*l = a for a.
-4
Let l = -9 - -18. Let g = l + -4. Solve 0*a = 2*n - g*a - 15, -2*n = -2*a for n.
-5
Let r(n) = -n - 3. Let x be r(-3). Let a be 2 + -11 - (-1 - x). Let j be 6/(-4)*a/4. Solve 3*q + 6 = 0, j*h + 2*q = q + 7 for h.
3
Suppose u + 2 - 6 = 0. Suppose a = j - 3*a, -u*j + 40 = 4*a. Solve k + j = -5*c, -c + 5*k + 4 = -10 for c.
-1
Suppose 6*c - 9*c + 6 = 0. Solve 0 = -c*y + y + 3*z - 10, -4*y = z + 1 for y.
-1
Let c(l) = 3*l**2 + 8*l. Let w(u) = -7*u**2 - 15*u - 1. Let p(b) = 9*c(b) + 4*w(b). Let x be p(10). Solve -4*z + 2*j = -x, 3*j = -4*z - 4 - 0 for z.
2
Let o be (-69)/(-15) - (-2)/5. Suppose -o*r = -2*r - 15. Solve -4*v = 3*j - 17, -v - j = -0*j - r for v.
2
Let q = -176 + 180. Solve l + 6 = q*l + g, 7 = l + 2*g for l.
1
Suppose 3*u = -2*z - 15, -2*u - 10 = 3*z - 2*z. Suppose 2*d = -d. Solve r + b + 4 = -z*b, d = -3*r + b + 8 for r.
1
Let u be (-2)/(-8) + (-57)/(-12). Let v be (-81)/(-15) - 2/5. Suppose -19 = -5*s - h, -v*s - 5*h + 13 + 2 = 0. Solve 2*c - 15 = u*o - 1, -4 = s*o - 4*c for o.
-4
Let d be -1*(4 + 14/(-2)). Solve -d*o - 4 = -o - 2*v, -5*v + 12 = -3*o for o.
1
Suppose 6*b - 10 = b. Solve -5*l = b*m - 2, 3*l = -l for m.
1
Suppose 10*t + 28 = 17*t. Solve 0*m + t*m + 18 = -2*d, -15 = 3*d for m.
-2
Let x(m) = m**2 - 4*m - 3. Let y be x(5). Solve o + 23 = 5*a, 0 = 2*o - 0*a - y*a + 6 for o.
2
Suppose -5*h - 2*j = -136, 3*j - 47 = -5*h + 92. Solve 2*l + 5*c - h = -9, -l + 16 = 4*c for l.
-4
Suppose -3 = -0*j + 3*j. Let z = j - -8. Let s(n) = -n**3 + 6*n**2 + 8*n - 4. Let c be s(z). Solve 8 = 2*i + m - 2*m, c*i - 2*m = 12 for i.
4
Let g(n) = -2*n**2 + 4*n**2 - 12 + n + 11 + 0*n**2. Let r be g(1). Solve -r*b = -2*h + 4, 5*b = -7*h + 3*h - 19 for b.
-3
Suppose -3 = 4*p - 19. Solve -3*g + 2*g - 3*m + 17 = 0, p*g - 2*m - 12 = 0 for g.
5
Let c be 5 + -3 - 1*-1. Suppose 221 + 160 = c*r. Let n = r - 87. Solve -3*s + 0*s - n = -5*y, 5*y - 30 = s for y.
5
Suppose -9 = -u + 1. Solve 5*f + u = 2*s, 2*s + 3*f = -2 - 4 for s.
0
Let j = -19 - -25. Solve 4 = -5*o - 3*i - j, 4*i - 4 = 2*o for o.
-2
Let b = 14 - 13. Let h be 3*1 - (-18 - b). Solve -4*x - 2*y + 16 = 0, -x - 4*y = 2*x - h for x.
2
Let b be 5/2 + 3/(-6). Suppose 2*p + 4 = -p - 5*i, 5*i = -b*p + 4. Let n = p - -11. Solve 0 = -5*v - x + 4, n*v + x - 4 = -0*x for v.
0
Suppose -2*c + 2*o = 0, c - 4*o + 11 = 2. Let u = 4 + 0. Solve c*h + 2*t = -2*h, u*t = 0 for h.
0
Let h(m) = -2*m**2 - 13*m - 6. Let r be h(-6). Solve j - 4 = -r*j + 3*w, 0 = -5*j + 2*w - 19 for j.
-5
Let b(x) = -x**3 + 7*x**2 - 2*x + 16. Let q be b(7). Solve 5*a - 2*p = -3*p - 10, -a + 5*p - q = 0 for a.
-2
Let j = 3 + 1. Suppose -5 = -j*p + 7. Suppose 0*n = n + 2*v + p, -6 = -3*n - v. Solve -11 = -4*r + 5*i - 2, -2 = r + n*i for r.
1
Suppose 6*j - j = 2*l - 6, -5*l = -3*j - 15. Solve 0 = 2*t - l*d + 10, -4*t - 3 = 5*d - 5 for t.
-2
Suppose -4*o + 36 - 20 = 0. Let h(t) = -t**2 - 6*t - 6. Let a be h(-4). Solve 0*r - a = 2*j - 2*r, r = o for j.
3
Suppose -f + 7 + 2 = -k, -3*f + 19 = -k. Solve -3*x - 2*y = 2*y + 2, -f*x - 12 = -2*y for x.
-2
Suppose 5*s = 3*l - l + 12, -3*l = 2*s - 1. Solve 0 = -5*f - g - 5, s*g + 5 + 5 = 0 for f.
0
Let w = -41 - -44. Solve i + 2*s - 2 = -w*i, -4*s = 4*i for i.
1
Let j = -2 + 5. Suppose 3*k - 8 = m, -3*k - 4 = -7*m + j*m. Let u be 6*3 - (3 + 0). Solve 0 = -w + k*w + t + 15, -3*w + 2*t = u for w.
-5
Suppose 8 = 2*f + 4*k - 6, -5*f + 2*k + 11 = 0. Let a be ((-18)/8)/(6/(-16)). Solve -u + a = -6*u + f*d, 4*d + 15 = -u for u.
-3
Suppose 5*h - 25 = 3*l, 3*h - 3*l - 22 = -1. Solve s = 3*z - h, 4*s - 16 = -0*s for z.
2
Suppose 5*n = n. Solve n = j + 2*w, 2*w + 26 = 4*j + 6 for j.
4
Let z be (5/4)/(3/12). Suppose z*g + 0*g - 20 = 0. Solve k = 5*c - 0*k + g, 4*c + 4*k - 16 = 0 for c.
0
Suppose -3*j - 40 = -8*j + 5*f, -5*j = -3*f - 32. Solve -5*x + h - 4*h = 30, -2*h + 2 = -j*x for x.
-3
Let s = -49 - -49. Suppose -l = 4*l - 25. Suppose 2*x - 21 = -3*v - 2*v, 0 = -3*x + l*v + 19. Solve 4*r + 2*d = -s*d - x, -r = 2*d - 4 for r.
-4
Let j(l) = -4 - 3 + 2*l - 4*l. Let n be j(-5). Suppose -a + n*m + 26 = 0, a - 30 = 2*m + 3*m. Solve 5*y - 3*u + 7*u + 4 = 0, y = 4*u - a for y.
-4
Let h(d) = -d**3 + 2*d + 3. Suppose -c + 11 = -3*g, -5*g + 0*g - 15 = -c. Let y be h(g). Solve -3*o + 7*o = t - y, t - 2 = -o for t.
3
Suppose -2 = 5*d - 3*a - 17, -3*d + 5 = -a. Let r = -14 + 11. Let q(c) = -8*c - 1. Let w be q(r). Solve -5*n + j - w = -3, d = 2*n - j + 5 for n.
-5
Let k = -3 - -8. Let d be (-6)/(-4)*(k - 3). Solve l + 1 = -0*l + r, 2 = -2*l - d*r for l.
-1
Let h(l) be the second derivative of l**5/20 + l**4/2 - 4*l**3/3 + 2*l**2 + 7*l. Let a be h(-7). Solve -3*g - a = -3*k + 4, -g - 4*k = 0 for g.
-4
Suppose 4 - 1 = -m. Let y be 2/m - (-22)/6. Solve y*z = 2*b + 4*z + 1, 4*b - 8 = -4*z for b.
-3
Suppose 8*r - 8 = 6*r. Solve -3*o - 8 = -4*w, 0*o - w = r*o - 2 for o.
0
Let i be (0/((-25)/5))/4. Solve i = 3*q + 4*n - 10 - 3, -2*n + 8 = 0 for q.
-1
Let g be -13 + (1 - (-2 + 2)). Let o = g + 15. Solve o*m - 5 = -t, 4*t - t = -3*m + 3 for t.
-1
Suppose 5*v = m - 36, v - 76 = -2*m - 3*m. Solve -d - 1 = 5*a, -4*d + 4*a + 4 = -m for d.
4
Suppose x - 1 - 2 = 0. Suppose -10 = 5*a - 25. Solve 0*d + a*d = 3*s - x, 45 = -5*s - 5*d for s.
-4
Let l(h) = 0*h + h - 35 + 28. Let q be l(10). Solve 0 = -v + 2*t + 2 + 10, -q*v + 3*t = -24 for v.
4
Suppose -4 = -2*b - 2. Suppose n - 6 = -b. Solve 5*q = n*t - 35, 2*q - 3*t = q - 13 for q.
-4
Suppose -2*i = -16 - 0. Let y = i + -6. Solve -3*j - f = -3 - y, -20 = -j - 4*f for j.
0
Suppose 0 = 5*u + 25, 0*v - 3*v = 4*u + 11. Let i(q) = -v + 4*q - 4*q - 6*q. Let y be i(-4). Solve 3*j = -m - 12 + 1, y = 4*m - j for m.
4
Let d = 9 - 7. Let v be ((-12)/14)/(d/(-28)). Suppose 0 = -g - 5*t + 24, -5*t + v = -g - g. Solve 2*y - 3*h = h - 18, g*y + 16 = 3*h for y.
-1
Suppose -5*o + 2*o - 19 = 4*y, 4*y + 4*o = -16. Let k = y + 10. Solve 2*b + k*i + 18 = -b, b - 5*i = 24 for b.
-1
Let y be (0 + 1)/((-3)/(-15)). Let v = -9 + 14. Suppose 2*k + 3*k + 25 = -5*d, -d - v = 3*k. Solve 5*f - 2*r = -k*f - 3, -y*f = 5*r + 10 for f.
-1
Let w(r) = -r**3 - 16*r**2 - 15*r + 6. Let u be w(-15). Solve 0*n - 4*l = 2*n - u, -l = 0 for n.
3
Suppose -4*f = -5*f + 5. Solve -f*a + 4*b = 20, 3*b - 7*b = 0 for a.
-4
Let x(d) = -d**2 - 6*d + 10. Let a be x(-7). Solve -f - a*w = 0, -w + 16 = 4*f + 5 for f.
3
Suppose 5*t - 12 = t. Suppose -5*k = 5*p - 80, -t*k = -p + 2*k + 4. Solve 2*u + p = -3*r, -4*u + 3*r = -5 - 3 for u.
-1
Let i be (-4)/(-2) + 3/(-3). Suppose 0 = 2*b - 9 - i. Solve -38 + 13 = 5*p + k, b*p + 25 = -4*k for p.
-5
Suppose 2*i + 2*t = t + 35, 2*i - 5*t - 29 = 0. Let s = 6 + -4. Suppose -4*a - s*r