*y + 5. Let q be f(l). Solve -3 = t, 3*i - 18 = 4*i + q*t for i.
-3
Let j be (-6)/4*1*-24. Suppose 3*p + c + 7 = j, -2*c - 30 = -5*p. Suppose 2 = 2*w - p. Solve -h - 21 = w*o, 9 = -o - 10*h + 5*h for o.
-4
Let x be (-2)/7 - (-220)/35. Let y be 0 - -1 - 2/1. Let k(s) = 6*s**2 + s. Let a be k(y). Solve -a*f - 2*q + 9 = -x*f, 5*q - 18 = -2*f for f.
-1
Let r(u) be the first derivative of u**3/3 + 7*u**2/2 - 5*u + 4. Let q be r(-7). Let w be (80/q)/(2/(-4)). Solve 4*m = 3*a + 3, 5*a = -4*m + a - w for m.
-3
Let v(a) = a**3 - 7*a**2 - 7*a - 8. Let w be v(8). Solve 3*z - 15 = 0, -22 = f - w*f - 4*z for f.
-2
Let f be ((-3)/(-6))/(2/(-12)). Let o = f - -8. Suppose -5*l + 48 - 23 = 0. Solve t = o*j - 14, l*t + 0 = 4*j - 7 for j.
3
Suppose 9 = -2*u + 13. Solve -z = -2*j + 5, -j + u*j - 5*z = 25 for j.
0
Let i = 35 - 35. Solve -u - 4*s = 13, 2*u + 0*s + 3*s + 16 = i for u.
-5
Let g be (24/(-36))/((-2)/15). Solve 2*r - 5*o + 28 = 0, -g*r = 2*o - 0*o + 12 for r.
-4
Let o be 4 - (-5)/(15/(-12)). Solve 2*u - 7 = -2*a - 1, o = -a - 4*u for a.
4
Let o be (3/9)/(1 - (-56)/(-60)). Solve -4*b - 5*p = -3*p - 4, -18 = -o*b + 4*p for b.
2
Let w = -13 - -23. Suppose -w = -p - 2. Suppose -29 = -3*s - p. Solve -4*c - 3*m = -14 - 3, -s = -5*c + m for c.
2
Let z(q) = -7 + 4*q + 4 - 7. Let o be z(6). Solve 5*j - 3*m + 6 = -20, 0 = -2*j + 3*m - o for j.
-4
Let w = -32 - -37. Solve 2 = 2*d - 0*z + 2*z, 0 = 5*z - w for d.
0
Let d(j) = -j**3 + 15*j**2 - j + 19. Let m be d(15). Solve -3*r = t + m, -3*r - 1 = -t - t for r.
-1
Suppose -6*x + 5 = -x, 4 = -2*k + 4*x. Suppose k = -0*b + 2*b. Solve -23 = 5*i - 0*t + 2*t, b = -i - 5*t for i.
-5
Suppose -y = -0*y - 3. Let i(p) = -2*p. Let s be i(2). Let j = 8 + s. Solve -4*h - 5 = m - y*h, j*m - 5*h - 7 = 0 for m.
-2
Let y = 8 - 6. Suppose 2*p + b - 20 = -y*p, b = 4*p - 12. Solve 0*u = -3*x - 2*u, 0 = p*u for x.
0
Let a be (-2 - ((-16)/(-12) + -2))*-3. Solve 0 = a*z + 4*c + 12, 0*z + 6 = -z + 2*c for z.
-4
Let w = 7 + -2. Suppose 6*v = 2*v + 5*y + 7, 5*v = -w*y + 20. Solve -4*h + 3*q - 14 = 5, 0 = -v*h + 4*q - 23 for h.
-1
Let a = 85 - 83. Solve l - 22 = 5*w, -a*l + 3 - 9 = 0 for w.
-5
Let j(z) = z**3 - 6*z**2 - 6*z - 6. Let q be j(7). Let c = q + -1. Solve 3*n = 5*v, c = -2*v - n - 16 + 5 for v.
-3
Let i = 38 - 36. Solve 0 = 2*k - c + 4, 0 = 4*k + i*c - 8 for k.
0
Let l = 6 - 9. Let a(v) = v + 4. Let t be a(l). Suppose j - 3*s = 6, -46 = -5*j + 3*s + 20. Solve 5*o - j = 0, t + 4 = 5*r - 5*o for r.
4
Suppose 3*d = 4 + 2, y = 3*d - 1. Suppose -4*h - 5*r + 2 = -0*h, -11 = -y*h - 2*r. Suppose -h = -3*i + 2*i. Solve i*t - 4*v + 12 = 0, 4*t + 0 - 3 = -v for t.
0
Suppose -g - 6 = -10. Solve -g*q = -4*l + 8, 0*l + l = -2*q - 4 for q.
-2
Let z be (1 - -3)/8*2. Let r be 4/3 + 3/(-9). Let g be ((z - 1) + 0)/r. Solve -4*f + 2*w = -g*f + 6, w = -3*f - 2 for f.
-1
Let p be (0/(-1) - 2)*-8. Suppose -6 = -t + r, -4*t + 0*t - p = 4*r. Suppose 0 = 3*d + t - 7. Solve 4*g + 4*s = d*s - 4, 5*s = 5*g + 35 for g.
-3
Let d(w) = 20*w**3 + 2*w**2 + 2*w + 1. Let h be d(-1). Let c be -1 - (1*h - 1). Solve 5*a = a + 3*g, 0 = 5*a + g - c for a.
3
Suppose 2*s = -4*q + 50, -5*q - 2*s + 31 + 34 = 0. Solve -4*y - 5 = -4*l - 29, 5*l + q = 2*y for l.
-1
Let r = 14 - 11. Solve 2*d + r*h - 2 = 0, -3*h - 4 = -h for d.
4
Let z(q) = 2 + 0 + 6*q - 2*q - 2*q. Let s be z(5). Suppose -2*w + 2*k = -2, 3*w = 4*k + 1 + 1. Solve 0 = -w*t - 6*c + 2*c - s, 5*t + 18 = 2*c for t.
-4
Suppose -z + 1 = -2. Solve 5*p - 16 = -z*a, 0 = 3*a + 2*p - 0*p - 1 for a.
-3
Let o = -46 + 51. Solve 2*i + 17 = o*j, 0 = -4*i - 2*j + 2 - 0 for i.
-1
Let i be (2/4)/(1/10). Suppose 24 = i*g + 4. Let x = 7 - g. Solve 2 = x*r + s, -2*r - 4*s + 8 = -0*r for r.
0
Let q be (-1)/(-4) + (-1)/4. Suppose -2*y = -2*a + 16, -4*a + 39 = -6*y + y. Let g = 10 + y. Solve q = g*n - 3*r + 24, -r = 4*n + 3*r for n.
-4
Suppose -3*g = 2*d - 20, 2*d - 2*g + 0*g = 0. Let p(b) = -d + 1 - b + 2*b. Let k be p(6). Solve -3*z - 9 = -3*i + 12, -2*z = -k*i + 17 for i.
3
Let a = -3 + 1. Let m be a + (2 - (3 + 1)). Let u = -2 - m. Solve 0 = -u*i + 5*n + 10 + 9, -5*n - 16 = -3*i for i.
-3
Suppose -5*k = -v - 7, -3*v = k - 1 - 10. Solve 2*f + v*i = 12, -3*f - 5*i + 20 = -7*f for f.
0
Let l(p) = -p**3 - p**2 - 2*p - 1. Let v be l(-1). Let f = v + 3. Let w(y) = y. Let s be w(5). Solve -2*b - 6 = -0*b - f*d, b + 2*d = s for b.
1
Let w(i) = 4*i**2 - 1. Let c be w(-1). Suppose -8*f = -c*f - 70. Suppose t = 4*h + 2*t - f, -5*h + 5*t = -5. Solve h = -4*m - o, m = o - 0*o - 7 for m.
-2
Let p(s) = 2*s**2 - 4*s - 13. Let m be p(4). Solve 0 = -2*j - 5*v - 10, -m*j + 4*v + 19 = 3*v for j.
5
Suppose -3*s + 9 = 2*s + 3*d, -9 = -s - 3*d. Suppose 0*a + 5*r = a - 18, a + r = 18. Solve 0 = -s*h + 4*h - 8, -a = 5*v + h for v.
-4
Let l be 3/(((-12)/15)/(-4)). Let i = 3 - l. Let m be -1 - (-4)/(i/(-15)). Solve -m = 3*u + o, 4*o - 4 = 3*u - 5*u for u.
-2
Let n(f) = f**2 - 7*f - 1. Let d be n(8). Solve 0 = 4*k - 5*c + d - 28, 23 = 5*k - 3*c for k.
4
Let s(k) = k**2 - 3*k - 3. Let w be s(3). Let f be w/(-2) + (-3)/(-2). Solve -2*i - 30 = -2*h - 6*i, -f*h = -3*i for h.
5
Suppose 4*x = 7 + 9. Solve 5*k = -2*q + 12, 0*q - x = -2*q - 3*k for q.
-4
Let d(v) = -v + 2 + 2*v - 3*v**2 - v**3 + 2*v**3. Let l be d(3). Solve 32 = 4*j + l*y, j + 3*y - 2*y = 7 for j.
3
Let i(v) = v**3 + v**2 + v + 4. Let u be 1*(0/2 + 0). Let g be i(u). Solve 2*b = -g*d - 18, -5*b - 3*d = d + 15 for b.
1
Suppose 2*s - 8 = 6*s. Let q be 1*-8 + s - -1. Let x be -3*3/(-9) - q. Solve -4*d + 5*a + x = 0, -d - 4*a = -0*d - 13 for d.
5
Suppose -5*w + 3*j = -10, j + 4*j = 2*w - 4. Let n be ((-1)/2)/(1/(-4)). Let g be 10/4 + n/(-4). Solve g*i = 3*o + 1, 0 = 3*o - w*o - 1 for i.
2
Let u(o) = o**2 - 17*o + 18. Let c be u(16). Solve -5*g = 3*x - 17, -c = g - 3*g for x.
4
Suppose -4*l - 5*g = -16 - 13, 4*l + 4*g - 28 = 0. Let p = -2 + l. Suppose 0*a = -p*a. Solve -q + 2*j + 3*j + 2 = 0, a = -5*j for q.
2
Suppose f - 48 = -f. Let v = -20 + f. Solve 3*y = v*s + 16, s = -3*s + 5*y - 16 for s.
-4
Let c = -4 + 6. Let l(y) = -19*y + 1. Let o be l(-1). Let a be o/(-15)*(-2 - 1). Solve -c*i = g - 0*g - a, -3*g = 2*i - 4 for i.
2
Let k(h) = -h**2 + 8*h - 2. Let q be k(7). Solve -5 = -3*s - q*x, -4*s + 1 = -s + x for s.
0
Suppose 4*h = -3*b - 3 + 8, 0 = 2*b + 2. Solve -5*l - 9 = -n - n, 3*n = -4*l + h for n.
2
Let r = -5 + 13. Let t be 2/(-8) + 42/r. Solve -t*n = z + 2*z - 11, 0 = 5*n + 2*z - 9 for n.
1
Suppose 2*o - 3*o + 2 = 0. Solve 2*a + 2 + 4 = -o*c, -4*a + 8 = -c for c.
-4
Let p be ((-2)/(-6))/((-1)/(-15)). Let t = p + 4. Suppose 0 = -2*m + 9*m. Solve 0 = 3*v - 4*y - 31, m = 3*v - 4*v + y + t for v.
5
Let z = -7 - -16. Solve -2*s - 13 = 3*d, -5*d - 3*s + z = -10*d for d.
-3
Suppose 8 = 6*l - 2*l. Suppose -3*r + 4*u = -40, -l*u + 6 = -2*r + 36. Let p = -10 - -15. Solve 2*w + 2*w + 5*q = -21, -p*w + 3*q + r = 0 for w.
1
Let v(o) = -o**2 - 4*o + 6. Let f be v(-4). Solve -5*z + 1 = -5*a + f, -5*z = 3*a + 21 for z.
-3
Let v(r) = -3 - 3*r + 2 + 4 - r**2 + 0*r + 2*r**3. Let g be v(2). Let m = 5 - 1. Solve 2*w + 12 = -2*s, m*w - 3*s + g = -1 for w.
-4
Let z be (-8)/(-5)*(-165)/22. Let o be z/10*20/(-8). Suppose -m - 5*l = 6, 25 + 11 = 4*m + 5*l. Solve p - o*w - 16 = 0, -p + m = -2*w + 2 for p.
4
Suppose 22*x - 24*x + 10 = 0. Solve -2*o - 9 = -d, -5*d + 2*d = -x*o - 25 for d.
5
Let a(q) = 3*q**2 - 1. Let c(d) = d + 4. Let j be c(-6). Let g be a(j). Let h = g + -6. Solve -h = -y, -y = -2*p - 2*p + 15 for p.
5
Let i = 8 - 4. Suppose -s - 5 = -5*f, -1 = -i*s + f - 2. Solve 0 = -2*c - 3*u, c - 3*u + s*u = 9 for c.
3
Let x = -8 + 3. Let l(j) = -j**3 - 4*j**2 + 4*j - 4. Let h be l(x). Solve b + 2 = 0, -5*b - h = -y + 10 for y.
1
Suppose -2*w - x - 65 = 0, x + 43 = -w - 3*x. Let d be (-1)/(-4) + w/(-4). Solve -4*p - 4*g + g = d, 0 = 3*g + 12 for p.
1
Let k = 2 - -2. Suppose 3*d = m + 8 - 0, -k*d + 12 = -m. Let i(c) = c - 1. Let u be i(d). Solve 4*l = 2*q - 24, -3*l + u*q - 23 + 2 = 0 for l.
-5
Suppose 2 = -2*t + 3*t. Let q be t*(3 - 12/8). Let g(y) = y + 1. Let r be g(4). Solve 5*f - 35 = r*z, 12 = -z + q*f - 5 for z.
-2
Suppose 0 = -5*o - 0*o + 25. Solve -4*a = o*v + 25, 4*v = -2*a - 11 - 9 for a.
0
Suppose 0*r + 64 = 4*r. Let d be 5 + -2 - (0 + 1). Let a be (4/(-5))/(d/(-10)). Solve -c + 4*i - r - a = 0, 0 = -3*c + 2*