4, -v + 0 + 8 = a*l for v.
-2
Let l(y) = y**2 + 4*y - 4. Let o be l(-5). Suppose 1 + o = h. Suppose 5*s - 22 + h = 0. Solve 4 = t - s*i, 3*i + 0*i + 10 = -t for t.
-4
Let f(m) = m**3 - 4*m**2 + 2*m - 6. Let z be f(4). Let u(k) = 2*k**2 - 3*k**2 + 0*k**z + 4*k. Let q be u(3). Solve -3*j - 2 = -3*o + 7, 0 = o - q for j.
0
Let v(f) = 3*f**3 + f**2 - f + 1. Let r be v(1). Suppose 3*a + r = -2*l, 5*l - 24 = 4*a - 57. Solve 12 = 5*h - 8, a*o + 22 = 5*h for o.
-1
Let d be 5/3*1*3. Suppose 1 = 2*l - d. Solve 0 = -4*j + 4*g + 12, -j - l*g + 6 = 19 for j.
-1
Let m = 14 - 11. Suppose -k - 3*n + 16 + m = 0, -9 = 4*k - 5*n. Solve k*g + 15 = 6*g - 5*i, 0 = g + i + 3 for g.
0
Let y be (-14)/7 + 9*3. Suppose -9 = -4*d - y. Let c be 1*(d - 2)/(-3). Solve 2*s = s + c, s - 4 = -2*p for p.
1
Suppose -z + 2 = z. Suppose -3*n = 2*j + z - 11, 3*j = 2*n + 15. Solve 4*s - j*x + 6 = 0, 3*s + s + 14 = x for s.
-4
Let l(k) = -k**3 - 7*k**2 - 6*k + 2. Let u be l(-6). Suppose -u*j + 3*j = 0. Solve -2*g + 5*t - 14 = j, 4*t - 12 = -4 for g.
-2
Let h = 10 + -8. Suppose -4*p = -h*j + 32, -3*p + 2*p - 116 = -5*j. Let o be (-6)/j + 9/4. Solve -o*a - 7 = -s, 4*a + 5*s + 7 + 0 = 0 for a.
-3
Let z be 132/28 - (-6)/21. Solve 4*n - 4*g + 20 = 0, -z*g + 8 = -3*n - 17 for n.
0
Let h = 18 - 19. Let x be h - 0 - (0 + -5). Solve -v = 3*a - 4, 2*a + 3*a - 16 = -x*v for v.
4
Suppose -m + 0 + 2 = 0. Suppose 6 = 3*h + 3*x, -3*h + m + 6 = x. Solve -3*b = h*u + 2*b + 40, -b + 5 = -2*u for u.
-5
Let w be 2/5 + (-529)/(-115). Solve 0 = -3*d + 2*y - 11, -d + y + 2 = w for d.
-5
Let m(c) = 134 + 0*c - 148 + 4*c. Let i be m(5). Solve i*h - 2*j = 2*h + 12, -3*h + 27 = 3*j for h.
5
Let g = 12 - -3. Suppose -o + 3*o - 2 = 0. Suppose 5*b - 16 = -o. Solve b*j - 3*q = -g - 0, 0 = -5*q for j.
-5
Let q be (-1)/4 + 252/(-16). Let n = -11 - q. Solve -8 = -2*x - 5*b - 27, 4*x + n*b = -13 for x.
3
Suppose -3*s + 2*s = -d, -3*d = 4*s - 28. Let i = 2 - -2. Let b = 1 + i. Solve -z + 5 = -5*l, 5*z + s*l - 25 = b*l for z.
5
Let q be (((-18)/8)/(-1))/((-33)/(-352)). Solve 5*v + 32 = 5*g - g, -q = -4*g + 3*v for g.
3
Let b = -7 - -9. Let s be (-7)/(-21)*0/b. Solve g + 7 = 5*t, -6*t + 3*t - 3*g + 15 = s for t.
2
Let r(v) = v**2 - 4*v + 5. Let f be r(4). Suppose -2*o - o + 3 = -2*k, 0 = -f*o + 15. Solve 4*c + 5*y = -13, -k*c + 2 = 2*y + 10 for c.
-2
Suppose -4*v + 2*t + 2*t + 72 = 0, v = -3*t + 30. Let i be 1*2/(-2)*-1. Solve -3*f = -3*l - v, 3*f = 2*l + 15 + i for l.
-5
Let s(h) = 3*h - 14. Let d(p) = p**3 - 7*p**2 - 6*p - 10. Let z be d(8). Let y be s(z). Let k be 2/8 + 6/8. Solve 0*v + 4*v = a + 11, 3*a + k = -y*v for v.
2
Let y be 8 + 2/4*0. Suppose y*d - 3*d = 0. Suppose 0*w + w - 4 = d. Solve 0*i = -i - 2*a + w, -5*a + 10 = 0 for i.
0
Suppose 2*t = h + 7*t - 17, -2*h - 3*t = -13. Solve -3*g - 3 = -3*y, h*g = -y + 7*g + 17 for y.
-3
Suppose 3*b = b - 2*y, 5*b - 6 = -2*y. Solve 2*q + 0*q + b*o = 4, -5*o = 0 for q.
2
Let g be 39/4 + (-2)/(-8). Let w be (g/6)/((-1)/(-3)). Suppose 4*f + 3*m - 1 = -4, 0 = 4*f + 5*m + 5. Solve 0 = -3*x + 4*b + 5, f = 3*x - w*x - 2*b - 20 for x.
-5
Suppose x - 45 = -4*x. Solve 4*y = -4*a + 28, -y - a - x = -4*y for y.
4
Let h(r) = -r - 2. Let k be h(-2). Suppose k = 4*d + d + 10, 0 = z + d - 3. Solve 6 = -2*l - b, 15 = -z*l - 2*b - 2*b for l.
-3
Let w(s) = -11*s**2 + 4*s + 1. Let a be w(-3). Let m be (2/4)/((-11)/a). Solve z + 3*q + 9 = -z, -m*q = -5*z - 10 for z.
-3
Suppose 2*a = s + 24 - 56, 24 = s + 2*a. Solve 5*l + 2*n = -n - s, 4*l + 24 = -4*n for l.
-5
Suppose 2*f = 3*a + 41, 0 = 5*f - 6*f - 5*a - 12. Solve 3*v - v = 3*y - 11, 0 = -y + 3*v + f for y.
1
Suppose -2*g - 3*u - 14 = u, 2*g + 2*u + 4 = 0. Solve -1 = -3*i - g*r + 14, 9 = 2*i + r for i.
4
Suppose w + w = 0. Suppose 0 = 4*f - 16, 4*f - 8 = 4*z - w*z. Solve -4*g = z*m - m - 12, 4 = 2*g for m.
4
Suppose 4*v - 14 = 2. Let q be v*(-3)/(-12)*3. Suppose 0*j = q*j - 12. Solve -2*r - 18 = j*y + 10, 11 = -4*r + y for r.
-4
Let d = 2 - 2. Let r be (-1)/(2/(-4) + d). Suppose -2 = r*v - 4. Solve 0 = 3*l + 4*o + v, -1 = -l - 2*o - 0 for l.
-3
Let i be (6 + -6)*(4 - 3). Solve -2*x - 11 = -i*x + 3*b, -4*b - 20 = 4*x for x.
-4
Let s be 2/1*(-36)/8. Let o be 3/(s/2)*-3. Suppose -o*n = -5*n + 6. Solve 2*m = l + 13, -m + 3*m - n*l - 18 = 0 for m.
4
Let z be (1 + 0)*(-9)/3. Let b be 10/z*(-12)/(-10). Let s = 11 + b. Solve 2*c = -2*m - 12, 22 = -3*m + s for c.
-1
Let u = -42 - -45. Solve -2*w - 1 = n - 3, -u*n + 2*w = -14 for n.
4
Let z = -1 + 1. Let h(d) = 6*d - 1. Let q be h(1). Suppose k - q = -4. Solve z = -3*c + 2*s - 11, -c - k - 5 = -3*s for c.
-3
Let d = 9 - 6. Let h = 6 + d. Solve -16 = 3*k - 4*j, -4*k - j = -h*k - 4 for k.
0
Let x = -16 + 15. Let m be x/((4/1)/(-16)). Solve 4*n - 1 = -m*o + 3, 0 = -4*n + 4*o + 28 for n.
4
Let x(m) be the second derivative of -m**3/3 + 6*m**2 + m. Let q be x(8). Let w be (72/(-15))/(q/30). Solve -5*h - p - w = 3*p, -20 = 3*h + 2*p for h.
-4
Suppose 8 = 2*x - 4*s, -5*x + 20 = 8*s - 9*s. Solve -2*d = -3*y - 19, -6*y + 2*y = -x*d + 32 for y.
-3
Let v be 27/12 + (-2)/8. Suppose 0*m = v*m - 4. Let b = 1 - -8. Solve -x + 12 = x + 4*p, -m*x + 3*p = b for x.
0
Let j(r) = -12*r + 1 + 10*r - 4. Let p be j(-3). Solve -5*i - 6 = -p*i - 2*g, -2*g + 4 = -i for i.
-2
Suppose i = 2*i + 4, -h - i = 6. Let q = h - -5. Suppose 0 = -a + 2*u - 0 + q, -4*a + 12 = -3*u. Solve -2*f - 8 = 0, -m - 22 = -a*f + 8*f for m.
-2
Suppose 18 = -5*w + 38. Solve 5*m - 1 = w*y, 4*m + 0*m = -y - 16 for m.
-3
Suppose 11*p - 10*p = 5. Solve -s + 5 = -u - p, -25 = 3*u - 2*s for u.
-5
Suppose -6*b + b = 30. Let s be 106/12 - 1/b. Solve -4*l = 5*j + 29, -3*j + l = -j + s for j.
-5
Let u be -2 + 0 - (0 - -1). Let k = u - -5. Suppose 4*b + k = -4*a + 30, 5*b = 3*a + 19. Solve -2*i - 12 = -2*q, 0*i = 4*q + b*i + 12 for q.
2
Suppose 5*r - 25 = -5*z, 0 = 3*r - r + 4*z - 16. Suppose 0 = j - r - 1. Solve 8 = -4*n, -4*n = j*k + 2*k + 28 for k.
-4
Let y(c) = 2*c - 3. Let q be y(3). Suppose o = -2*p - p + 18, q = -3*p. Solve v - o = 2*v + 4*g, -g = -3*v - 11 for v.
-5
Let q(u) = 2*u**2 + u. Let k be q(2). Suppose k*s - 10 = 5*s. Let j(d) = -d**2 - 3*d. Let n be j(-3). Solve -s*m + 4 = -2*i - n*i, -2*i = -5*m + 10 for i.
0
Suppose 2*k = -2*k. Suppose 0*g + 9 = g. Solve k = 3*v - u, g = 3*v - 0*v + 2*u for v.
1
Let g be 1*2/4 - (-9)/(-18). Solve -z + 5*l = 2*l + 6, g = 3*z - 3*l + 12 for z.
-3
Let d = 6 + -1. Solve 4*p - 4 = 4*l + l, -l + 5*p - d = 0 for l.
0
Let t = -4 + 4. Suppose t*h + 4 = h. Solve 0*d - 3*d = i + 9, -5*i - 1 = h*d for d.
-4
Let n = -48 + 56. Solve 3*w - 5 = -t, -5*t = -0*w + 4*w + n for w.
3
Suppose 5 = 7*a - 23. Let f be 8 + -4 + (0 - -1). Solve f = -4*l + 2*c + 3*c, 0 = 4*l - a*c for l.
5
Let i be (-264)/(-55) - (18/10 + -2). Solve 2*p - p - i = 3*s, 4*p = -16 for s.
-3
Suppose 101 = -3*a + 299. Suppose -2*t + a = -0*t. Solve -4*k + 7 = -3*q + t, 0 = -5*k - q - 23 for k.
-5
Let z be (-2 + 3)/(-1) + 1. Suppose z = 2*n - 6 - 0. Solve -n*r = -y + 3*y - 1, 2*y - 2*r = -14 for y.
-4
Suppose 8*m = 7*m + 34. Suppose -w = w - m. Solve r + d = 0, 1 + w = 5*r - d for r.
3
Suppose 11*j = -0*j + 22. Solve 12 = -4*n, p - 2 = -0*p + j*n for p.
-4
Let a(t) = 6*t**2 - 6*t - 5. Let n(u) = u**2 - u - 1. Let f(y) = a(y) - 5*n(y). Let c be f(2). Solve -6*w + 4*j = -5*w + c, 2*w + j = -4 for w.
-2
Let w(z) = 13*z - 13. Let x be w(2). Solve -3*b + b - 8 = 0, -3*d + x = -b for d.
3
Let w = -98 - -100. Solve 3*r + 2 = w*r, 3 = 5*y - 4*r for y.
-1
Let u(i) = -i**3 + 2*i**2 + 3*i + 3. Let w be u(3). Solve w*k - 17 = 2*j, -4*k = 4*j - 5*k + 19 for j.
-4
Let h(c) = -4*c**3 + 2*c**2 + 2*c. Let s be h(-1). Solve x - 2 = 2*j, x = -s*j - 0*x - 4 for j.
-1
Let d(n) = 5*n - 3 - 3*n - 3. Let k be d(6). Solve k = -b - 2*v, 3*b - 6*v + 9 = -3*v for b.
-4
Let x be 0/2*1/2. Let t(h) = -2*h - 1 - h**3 + x*h**2 - 7*h**3 - h**2. Let y be t(-1). Solve -4*f - y = 0, -c = -0*f + 2*f + 4 for c.
0
Let m = 68 + -64. Solve 5*j - 2*x = 3 + 5, 5*x + 3 = m*j for j.
2
Suppose 0 = -5*m - 5*i - 0*i + 120, 0 = -5*m - 2*i + 105. Suppose 2*j = 1 + m. Solve 2*x - 2*b = -16, x - 3*b + j + 6 = 0 for x.
-4
Let q = 7 - 5. Solve 0 = -5*t - q*r + r + 19, -4*r = 2*t - 4 for t.
4
Let n be -4 + 5 - (-1 - 4). Suppose 0 = k + n*w - 2*w, -k + 2*w = -6. Suppose 0 = k*s - 4 - 12. Solve v - 1 = b, 16 =