*h + 19 = y*l, 4*l - 8 - 9 = h for l.
5
Let p(q) = 8*q + 1. Let h be p(1). Solve -6 = 2*s - m - 18, -s + 2*m + h = 0 for s.
5
Let p(i) = 2*i**2 + i + 424. Let q be p(0). Let s be q/40 + 4/10. Solve 5*w - s = w - 5*c, 3*c - 5 = -2*w for w.
4
Suppose 4*j = 26 - 6. Solve j = 3*q - 4*f, -2*q = q + 4*f + 11 for q.
-1
Let f(l) = l**3 - 3*l**2 + 7*l + 1. Let b be f(5). Suppose 4*x - b = 78. Solve y + 29 = -8*z + 3*z, x = -5*z - 4*y for z.
-5
Let h be (-18)/15*20/(-6). Solve -h*w - 8*d + 22 = -3*d, 4*d - 20 = -4*w for w.
3
Let m(l) = -2*l**3 + 15*l**2 + 11*l - 11. Let c be m(8). Solve -c = -5*h + 3*x, 2*x = -3*h + 24 - 1 for h.
5
Let p = -26 - -31. Solve 6*h + a + 10 = 2*h, -p*h + 5*a = 0 for h.
-2
Suppose 0 = -5*x - o + 1, -6 = 2*x + 2*o. Suppose 16 = 5*q - q. Let i = 15 + -10. Solve -3*c + q*l = x - 12, -2*l - i = -c for c.
1
Suppose 3*r = 4*w + w - 21, 5*w + 3*r - 39 = 0. Solve -u = -x + 1, -5*u + w*x = 2*x + 6 for u.
-2
Let u(o) = -o**2 + o. Let y be u(0). Suppose y*r = -r + 3. Suppose -r*t = b - 17, -t + 6*b - b = 21. Solve 4*s = 0, -5*k = t*s + 12 + 3 for k.
-3
Suppose 4*r - 5*t = 57, -r - 39 = -3*r - t. Suppose -4*c + 3 = -5. Solve 4*y - c*a = -r, 0*a + 5 = 5*a for y.
-4
Suppose -x - 18 = -5*f, 5*f + 5*x - 3*x - 24 = 0. Solve s - 3*u = 2*u - 7, -2*u + f = 0 for s.
3
Suppose 0 + 2 = j. Let u(r) = -r**3 - r**2 - r + 3. Let z be u(0). Suppose -3*c + z = -3. Solve 2*s + c = j*i, 3*s - 2 = -3*i - 17 for s.
-3
Let o = 2 + 0. Suppose 3 = -o*f + 3*f. Let t be 0 + (-3)/f + 5. Solve 0 = 3*u - 2*b + 2, -2*u - u + b = t for u.
-2
Suppose -5*w + 4 = 3*n, -n - 5*w = -2*w. Solve -5*b - r = n + 7, -4*b = -5*r + 8 for b.
-2
Suppose -5*y + 5*u = -125, u - 51 = -5*y + 74. Suppose 4*d = 4*l + 15 + y, -5*d - 2*l = -15. Solve -3*p + 18 = 4*b, -4*b + d + 11 = 2*p for b.
3
Let k(c) = c**2 + 2*c. Let r(q) = -3*q**2 - 6*q. Let d(a) = -7*k(a) - 2*r(a). Let o be d(-1). Solve y = x, -5*x + y = -o - 15 for x.
4
Let y be (3 + -3)*(4 + -5). Let h = 7 + -5. Let v = h - 2. Solve v = 3*z + 4*t, z + y*z - 2 = -2*t for z.
-4
Let q(p) = 3*p - 1. Let w be q(1). Suppose -8 + 0 = -w*l. Suppose -7 = -5*a + 3. Solve -a*m - m = -u, 0 = 2*m + l*u + 14 for m.
-1
Let c(n) = 10*n**3 - n**2. Let g be c(1). Solve 4*t = -5*j - g + 1, j + 4*t = -8 for j.
0
Let z be 4/18*-3*-3. Suppose 3*a - 4*m = z*a + 7, 2*a + 3*m = 3. Solve -14 = -y + 4*p - 2*p, 0 = -y - a*p - 11 for y.
4
Let v = -40 + 42. Solve 2*t = 2*a + 2, -2 = v*t - a - 3 for t.
0
Let o = 16 + -3. Suppose 4 = -8*b + 9*b. Solve 5*q - 8 = -4*w, -b*q + o = -3*w - 3*q for w.
-3
Let d = -29 + 35. Let h be 1/2 + 27/d. Suppose 0 = t - 5*t + 8. Solve -h*o - 15 = -2*y, -5*o + 8 = t*y + 23 for o.
-3
Let s(l) = -l - 9. Let j be s(-9). Solve 2*r - 15 = -3*x, j*r - 6 = -5*x + 3*r for x.
3
Suppose 5*h - 23 - 18 = -4*t, -8 = -2*t. Solve 20 = 5*o + h*w, 20 = -2*o - 2*o + 5*w for o.
0
Suppose 25 = 5*l, -3*j - 6*l + 32 = -2*l. Solve -j*g - w + 0*w = 22, 0 = -w - 2 for g.
-5
Let u = 112 - 108. Solve 3 = 2*f + u*g - 15, -4*f + 15 = g for f.
3
Let y = 54 - 53. Solve -i + 3*o - 12 - 1 = 0, -o = -3*i + y for i.
2
Suppose 0*u + 31 = u + 3*c, -2*c - 38 = -2*u. Solve 7 + u = -3*o - 5*s, 0 = -4*o - 4*s - 28 for o.
-3
Suppose -11*s + 0 = -44. Solve o + 4*g = 2*o + 1, 2*g = 4*o + s for o.
-1
Let u be (-1)/((-2)/6) + 0. Suppose u*z - 2 = -x, -z + 2*x + 14 = 2*z. Solve 0 = -z*y - 4*p - 0 - 18, 3*y + 3*p + 12 = 0 for y.
1
Suppose 3*d - 5*r + 3*r + 4 = 0, -5*r = 2*d - 29. Let t be 3/(-9)*(-30)/d. Solve 2*v - 11 = 3*z + 3*v, -5*z - 5*v - t = 0 for z.
-5
Let h(u) = u**2 + 6*u - 7. Let i = 5 + -12. Let g be h(i). Let c = 3 - g. Solve 3*r + c = 2*j + 10, j = -5 for r.
-1
Let z = -12 - -32. Suppose 0*s - 2*s = w, -4*s + 3*w + z = 0. Solve l + l + 4*o = -8, -s*l + 5*o = -28 for l.
4
Suppose 0 = -5*a + 6 + 14. Solve -2*u = 2*l - a, -4*u - u - l = 6 for u.
-2
Let b(n) = -n + 9. Let s be b(6). Suppose s*x - 6 = x. Solve -2*i - 5 = 3*p, 3*p - i = x*i - 35 for p.
-5
Suppose 0 = 6*b - 3*b + 18. Let j = 9 - b. Solve -3*v - 3*h - j = 0, 0*h = 4*v + 2*h + 18 for v.
-4
Let x = -3 + 0. Let h = x - -5. Solve -4*n + 8 = 3*a - h, -5*a = 2*n + 2 for n.
4
Let l(o) = o + 5. Let g = 16 + -19. Let c be l(g). Solve -2*r - 12 = -c*y, -4*y - 2*r = -0*r - 12 for y.
4
Let k(z) = -2*z - 2. Let b be k(3). Let i(c) = -c - 3. Let t be i(b). Solve -5*v = -t*d + 5, 0*v + 15 = -3*d - 3*v for d.
-2
Suppose 0*f - 3*f = -30. Solve -5*d + 20 = 5*y, y + 2*d - f = -2*d for y.
2
Suppose -d = 2*d - 30. Suppose -4*z + 2*g = -d, 10*z - 5*z + 10 = -5*g. Let q be (10/z)/(8 - 6). Solve -3*i = f - q - 10, -4*f = 0 for i.
5
Let j be 3 - 1 - -3*3. Solve -2*g - j = -3*u, 2*u - 6*u + 24 = -5*g for g.
-4
Suppose k + 4*k + r = 9, 1 = -r. Suppose k*l - l = 0. Suppose s - 6 = -0. Solve 2*x - 2*q - s = l, -15 = x - 4*x - 3*q for x.
4
Let n be (-21)/14*120/(-9). Solve 0 = -3*y + s + n, 5*s + 26 - 1 = 0 for y.
5
Let u = 126 - 121. Solve -5*x - k + 8 = 0, 4*x = -0*x - u*k - 2 for x.
2
Suppose d = -2, 4*d + 1 = 2*p - 13. Solve p*o = -2*z + z + 15, -4*z - 5*o = -25 for z.
0
Suppose -4*q = 6 + 2. Let n be 3/q*(-5 + 7). Let g = 4 + n. Solve -23 = 5*o + t - 2*t, 2*o = -3*t + g for o.
-4
Let j(g) = -7*g**3 - 2*g**2 + 1. Let a be j(-1). Let z be (-1)/(-3) - a/18. Solve 5*d + 2*y - 16 = z, 2*d = -0*d - 4*y for d.
4
Suppose 8*p = 4*p + 24. Suppose 3*z = -4*y + 24, -3*z + 3 = -y - p. Suppose -4*v + y = -3*f - 3, 3*f + 9 = 5*v. Solve 4*w = -0*o - 3*o - 23, -f*o + w = 8 for o.
-5
Let k(h) = h**2 + 5*h + 1. Let x be k(-6). Let t = -2 + x. Suppose -3*g + 5 = -4. Solve 4*v - 2 = -3*r, g*r - t = -0*v - v for r.
2
Suppose 3*p + 20 = 2*s, 3 - 7 = -2*s - p. Solve -3*i + 4 = -w + 5*w, 5 = -s*i + 5*w for i.
0
Let u = -8 - -14. Let v be 1/(3*1/15). Solve -m + 2*w - 1 = u, 21 = -v*m - 4*w for m.
-5
Let i be (-3)/(-9) - 47/(-3). Suppose 3*c + c = i. Solve 0 = 5*w + 2*l - 19, 3*w - l = w + c for w.
3
Let i(a) = a + 1. Let m be i(-1). Suppose -4*o = -m*o. Solve -2*c + o*q + 5*q + 2 = 0, 0 = 3*c + q - 3 for c.
1
Suppose 5*n = 4*o - 30, 0*o - 20 = -2*o + 5*n. Suppose l = -o*b + 28, 3*b - 2*l - 9 = -0*b. Solve -2*v = b*i + 2, 4*v + 4*i - 12 = -4 for v.
4
Suppose -4*w + 13 + 3 = 0. Solve 0 = -3*f - n - 16, 1 = -2*f + w*n - 5 for f.
-5
Suppose -b + 7 = -3. Let f be b/2 + 0 + -1. Suppose -f*w + w + 6 = 0. Solve -2*d = 3*t - 12, -2*d + 0*d - w*t = -8 for d.
0
Suppose -6*z = 14 - 44. Let g be 2*1 + (2 - 1). Suppose -g*d + 18 = 3*a, -2*d + 16 = 4*a - 0. Solve -3*k + d*q = 0, z*q + 0*q = 2*k for k.
0
Suppose 1 = -x - 0. Let d(n) = -9*n**3 - n. Let q be d(x). Solve -3*v = -3*k + 2*v - q, 4*k = -2*v + 4 for k.
0
Let f(r) = -4*r + 10. Let x be f(1). Solve 0 = 5*h - 10, 4*p + 4*h = 3*p + x for p.
-2
Let p(g) = -2*g - 44. Let z be p(-23). Solve z*l + 16 = 4*d, 0*l = -5*d + l + 23 for d.
5
Suppose 4*w = w. Suppose -m - 4*m + 65 = w. Solve 5*b = -5*g + 14 + 1, 3*g - b = m for g.
4
Let z be (11 - 1)*(3 + 10 - 11). Let t be (1/2)/((-2)/(-8)). Let k be t + (1 - 3) + 3. Solve -4*l + 2*l = 3*u - z, -5*u = k*l - 32 for u.
4
Suppose -u - 2*u - 5*q + 88 = 0, -5*q = 5. Solve -y = 2, -3*i - u = 3*y - 10 for i.
-5
Let z be (-1)/3 + (-20)/30 - -3. Solve -3*n - 10 = -2*n - z*d, 6 = 2*d for n.
-4
Let a = -3 + 9. Solve -3*w = 4*u - 6, -a*u = -2*u + 4*w - 4 for u.
3
Suppose -42 = -5*h - 17. Solve -2*u + 0*x - 2*x = -2, h*x = 20 for u.
-3
Let i(k) = -k + 6. Let z be i(0). Suppose -z*r + 4*r + 6 = 0. Suppose 3*p + p = -r*l + 87, -p = -l - 13. Solve -u - p = -4*h, h - 5 = -0*h for u.
2
Let k(h) = h**2 - 4*h + 5. Let m be k(4). Solve -4*v + 9 = m*z + 46, 0 = -4*v - 12 for z.
-5
Suppose 0 = -3*w - 5 + 14. Suppose i = -w*i + 20. Solve 15 = -h + 4*h + 4*x, 3*x + i = h for h.
5
Let q be 4/(-14) + (-23)/(-7). Let m be (-3 + (-57)/(-15))*20. Let p = 18 - m. Solve 2*x = -4*c - x + q, -p = -2*x for c.
0
Let g(w) = w**3 - 3*w**2 - 4*w + 2. Let x be g(4). Let k = -20 - -26. Let h be k + (2 - -3 - x). Solve h = -4*i + 3*l - 0*l, -12 = -4*i - 4*l for i.
0
Let q be 4/14 - (-8)/(-28). Let n = q + 3. Solve -2*k + m - 5 = 0, 6*m = 4*k + n*m + 5 for k.
-5
Suppose -2*x + 4*a + 24 = 0, -5*x - 13 = -4*x + 3*a. Let c(i) = i + i**x + i + 2*i**3 - 3*i**3. Let w be c(2). Solve 2 = -4*l - 5*h + 8, w = 4*l + h + 2 for l.
-1
Suppose -2*k = 3*k - 55. Let z = k - 7. Solve 4*u + 22 = 2*a, z + 5 = -3*u for a.
5
Let d(c)