m. Solve -5*s = t + m*t + 30, -4*s + 5*t - 15 = 0 for s.
-5
Let p be (-2 - -1 - -7) + -2. Let r be (-2)/(-3) + (-14)/3. Let u = 4 + r. Solve -4*o + 4*l = 16, u*o = -3*o - p*l - 12 for o.
-4
Let v(n) = -n**3 - n**2 - 4*n + 25. Let x be v(0). Solve -5*h + 2*o = -25, x = -2*h + 7*h + 4*o for h.
5
Let l(k) = 5*k - 4*k**2 + 0*k**2 + 2*k**2 + k**2. Let u be l(4). Solve 0 = -5*b - u*g - 7, 3 = b - 4*b - 3*g for b.
-3
Let q(f) = -f**2 - 13*f + 18. Let p = -11 - 3. Let g be q(p). Suppose c + 2 = g. Solve -5*z = -y + 24, 3*y - c*z - 5 = -2*y for y.
-1
Suppose 5*y + 185 = 5*u, 3*u - 2*u = -2*y + 31. Let m = u - 17. Solve -i + 4*k + 15 = 0, 4*i - 2*k = m - 0 for i.
3
Suppose 4 + 4 = 2*c. Suppose c*p - 40 - 8 = 0. Let y be (-2 + p/9)*-3. Solve y*s = -4*m + 6, m + 21 = -5*s - 0*m for s.
-5
Let n be ((-1)/(-2))/((-4)/(-16)). Let g be 8 - (0/(-2) + n). Solve -2*j + 2*t - 2 - 2 = 0, -g = j - 3*t for j.
0
Let k = -4 - -9. Suppose 3*b = -k*g - 3, 0 = -g + 5*b + 3 + 2. Suppose g = 2*y + y - 3. Solve -3*z + 21 = -3*s, -5*z - y = 4*s - 0*s for s.
-4
Let a be (-1)/((-3)/(-6) - 1). Suppose 14 = 2*f - 4*l, -22 = -a*f - 3*f - 3*l. Suppose 7 = f*q - 8. Solve -y + 3 = x, 2*y = -3*y - q*x + 13 for y.
2
Suppose -4*w - 2*x + 54 = -5*x, 0 = 2*x + 4. Let h be ((-10)/6)/((-2)/6). Solve -2*b + 10 = -3*q, b + 4*q + h + w = 0 for b.
-1
Let c be (11/33)/(1/12). Solve -4*k = -3*v - 13, v + c = -k + 2*k for k.
1
Let x(h) = -6*h**2 - 2*h - 1. Let f be x(-1). Let r be f/10*(-3 + -1). Suppose s - 3 = r. Solve -5*m = -3*y - 6, 2*y - 1 = 3*m - s for y.
-2
Let q be ((-4)/(-6))/((-6)/(-252)). Let m = q - 5. Let n be (2/(-3))/(4/(-78)). Solve 3*t + t + n = r, r + 5*t = -m for r.
-3
Let t(d) = d**3 - 9*d**2 - 11*d + 4. Let u be t(10). Let j be 5 + (0 - u)/3. Solve a + 7 = 2*o - j*o, o - 7 = 4*a for a.
-2
Let z be 4*(-5)/(-10) + 2. Solve 0 = 2*g + z*u - 8*u - 22, -4*u - 17 = 3*g for g.
1
Let t be 1/(-2)*(8 + -6). Let m be t + 0 + 12 + 1. Solve 0*c - 2*c + m = -4*w, w = -c - 9 for w.
-5
Let v be 1/(-2 - 18/(-8)). Let n(b) = -b**3 - b**2 - 32. Let s be n(0). Let l = s + 52. Solve 0 = -2*y, m + v*m = -y + l for m.
4
Let p(k) = -k - 6. Let w be p(-10). Suppose 0 = 2*a - 6*a + 80. Suppose n = -0*n - 3*f + 19, a = w*f. Solve 2*m + 3*r = n*r - 1, -6 = 2*m + 4*r for m.
-1
Let b = 19 - 14. Solve -2*s + 5*s = 6, -b*j + 11 = 3*s for j.
1
Let n(b) = -b**3 + 5*b**2 - 3*b. Let g be n(4). Solve 0 = 5*v - g*k + 16, -4*v = -0*k + 4*k - 16 for v.
0
Suppose 0 = 2*i - 0 - 10. Solve -i*s - 25 = 0, -2*s + 21 = 4*l - 3*s for l.
4
Let k = 32 - 32. Suppose -2*l = 4 + 8. Let r be (1 + -2)/(2/l). Solve r*o = -4*t + 27, -o = 3*t - k*t - 14 for t.
3
Suppose 0*a - a = 0. Solve -4*p + 15 = 3*m, a = 4*p - 0*p for m.
5
Suppose -2 = -16*a + 18*a. Let z be 2 + 1 + a + 2. Solve -4*c - z = -2*o, -4*c - o - 7 = -3*c for c.
-3
Let u = -5 - -9. Suppose 6 + 6 = u*s. Suppose 3*w + 4*c - 26 = -2*w, 2*c = -5*w + 18. Solve 2*j - s + 5 = g, -3*j + w*g - 3 = 0 for j.
-1
Let p be (-4 - -2 - -2)/1. Solve u = -2*r + 10, p = r + 4*u - 2*u - 5 for r.
5
Let b be 2 - (0 + 11)/(-1). Solve 0*z + 4*a = 5*z - b, 0 = -5*a - 10 for z.
1
Suppose 3 = -2*l - 3*c, -5*l - 2*c + 3*c + 18 = 0. Let p be l - (-2 + (1 - 0)). Solve -3*v = -4*y + 15, p*y + 5*v + 8 = 5*y for y.
3
Suppose 8*m - 5*m - 3*x - 3 = 0, -2*m + 5*x - 7 = 0. Solve -3*f = 2*f + 3*i - 22, i - m = 0 for f.
2
Suppose -3*f + 0*f - 21 = 5*g, -3*g - 2*f = 13. Let b be (g - (0 - 4))*2. Solve 4 = -s + 3*p - 9, -b*s + 3*p - 14 = 0 for s.
-1
Let u(f) = 3 - f**2 + 3*f**2 - f**3 - 2*f + 2*f**3. Let m be u(-3). Solve m = 4*z + 2*h + 22, z - 3*h - 5 = -0*h for z.
-4
Let i = -5 + 11. Let x be (6/i)/(1/2). Solve 8 = 4*j + 3*k, 0*k - 3*k = -x*j + 22 for j.
5
Let v = 21 - 1. Solve -4*m = -3*z - v, -m = -z - 6*m + 25 for z.
0
Let r be 20/8 - 6/(-4). Solve r*p - p = -y - 2, -5*y + 2*p = -7 for y.
1
Suppose -p = -0*p - 4. Suppose -3*m + 3 + 12 = 0. Let s(o) = o + 2. Let j be s(m). Solve 0 = -5*x + l - j, -p*x + l - 2 = -l for x.
-2
Let t = -20 + 25. Solve -4*w - 4*n = 0, 5*w - t*n = -21 - 29 for w.
-5
Let h be ((-2)/4)/(11/(-88)). Solve 3*p + 12 = 5*o, 4*o = p - o + h for p.
-4
Let u be (-108)/4*(-22)/6. Let w be u/4 - (-4)/16. Solve 0 = -4*d + 5*q - 6 - 11, -5*q = -w for d.
2
Let q(a) = -a + 5. Let c be q(0). Let n be 27/c + 12/(-30). Solve n*x = d + 6, -16 = -5*x - 6 for d.
4
Let h(d) = -d**3 + 2*d**2 + 24. Let f be h(0). Let z be (f/20)/((-6)/(-15)). Solve j + 2*u = -z, -21 = -6*j + j + 2*u for j.
3
Let g be 10*((-28)/8 - -3). Let k be 2/g + (-85)/(-25). Solve 2*l - 6 = 3*n, -2*n = k*l - 0*n - 9 for l.
3
Let p = -35 + 4. Let j = p - -19. Let b be j/2*(-32)/12. Solve 19 = -2*q - 2*g + 5*g, 3*q = 2*g - b for q.
-2
Suppose -6*j = -2*j + 20. Let y = j + 8. Solve o + 8 = -2*h, o + 24 = y*o - 4*h for o.
2
Let v(d) = -d**2 - 9*d - 4. Let b be v(-8). Let h = 11 - 8. Suppose 4*r = -0*l - l + 17, h*r - 8 = b*l. Solve -2*q - 3 = r*t + 7, q = -3*t - 9 for q.
3
Let z be (-72)/(-20) + 9/(-15). Solve -5*f + 20 = -3*k - z*f, 4 = f for k.
-4
Let x(a) = 4*a**3 + 4*a**2 - 5*a - 4. Let s(q) = -q**3 - q**2 + q. Let r(d) = -5*s(d) - x(d). Let o be r(0). Solve -o*m = 5*j - j - 8, 3*m - 24 = 3*j for j.
-3
Let o be ((-5)/(-2) + -3)*0. Suppose 10 = -3*q + 5*n, o*n + 5*n = 5*q. Solve 4*z + 4 = 0, -q*v - 3*z = 11 + 17 for v.
-5
Let w(p) = 2*p**2 + 2*p + 3. Let g be w(-2). Solve 0 = -5*i - a + g + 6, 5*i = -2*a + 11 for i.
3
Let i = -43 + 46. Solve 12 + 13 = i*t + 5*x, 0 = -4*t + 5*x - 25 for t.
0
Let f be (3/2 + -2)*0. Suppose b + 0 - 3 = f. Suppose -b*c - 5*s - 15 = 2*c, 0 = -5*c - s + 5. Solve r - c = 1, -2*r + 10 = n for n.
4
Suppose -5*d - 5*n = -5, 5*n = -d + 2*d - 7. Solve 3*b + 13 = 5*h, d*h + b - 4*b - 7 = 0 for h.
2
Let m(x) = -x**3 - 7*x**2 - 9*x - 15. Let b be m(-6). Solve 4*v - l = -6*l - 12, b*v - 2*l = 14 for v.
2
Let i(a) = -a**2 - 7*a - 5. Let n be i(-5). Suppose s = 2*l - 4, l - s - 7 = -3*s. Solve 4*z - 27 = l*q, -3*z + 22 = -4*z - n*q for z.
3
Suppose -y = 5*f - 12, -3*y = -y + 5*f - 14. Solve -2*x + 22 = 5*h + y*x, x + 5 = 4*h for h.
2
Let p = 36 - 34. Solve -p*c - 2*k = 8, c - 2*k = k + 4 for c.
-2
Let k(f) = 3*f + 2. Let u(l) = -l**2 + 5*l + 2. Let h be u(4). Let w be k(h). Solve 3*i - 8*i = -5*n - w, 4*i = n + 13 for n.
-1
Let v = -28 + 34. Solve 2*d = v*d + 3*g - 11, 4*d - 4*g - 4 = 0 for d.
2
Let q(h) = -h**3 + 19*h**2 + 20*h. Let u be q(20). Solve 5*a + 2*w = 1 - u, -6 = 3*w for a.
1
Suppose 5*q + 5 = z, 2*z + 2*q = -0 - 2. Suppose z = -5*m - 15, -4*m = -l - 4*l + 22. Solve -b = l*a - 3, 4*a - 5 = 3*b + 26 for b.
-5
Let g be (-2)/1 - (-16)/2. Let c(r) = -r**3 + 6*r**2 + 2*r - 6. Let k be c(g). Solve k = 4*d + 8*b - 3*b, 0 = d - 3*b - 10 for d.
4
Let g(l) = 6*l**2 - 1. Let c be g(-1). Let b be (-4 - -11) + 1 + 1. Solve -x = v - b, 4*x + c*v - 3*v = 28 for x.
5
Suppose -o + 3*o = j - 12, 0 = -5*o - 10. Suppose -2*v + 28 = 3*y + 2*y, 0 = -2*v + 4*y - j. Solve 3*k + c = 6 - 4, -v*k - 19 = -3*c for k.
-1
Let a be (-2)/(-7) - (-2)/(-7). Suppose a = -3*v + 9 - 0. Solve -q + 5*i + 23 = 0, -3*i - 5 = -v*q - 4*i for q.
3
Suppose -2 = -k - 4. Let n = k + 2. Solve -4*c + 12 = n, -4*h + c = -4*c + 31 for h.
-4
Suppose -q = 4*t - 143, 36 = 2*t + 5*q - 31. Suppose 2*y = 3*d + t, -y - y = 3*d - 60. Solve -4*p - r + y = 0, 3*p - 40 = -p - 5*r for p.
5
Let w = -1 - -4. Solve 3 + 14 = -w*i - l, 2*i + 16 = -3*l for i.
-5
Suppose 3*y = 15 + 12. Solve 3*p = 15, 4*p - y = f + 6 for f.
5
Suppose 0 = d - 4*d + 18. Suppose d*x = -8 + 68. Solve -2*y + x = -f + 3*f, -f - 11 = -3*y for f.
1
Let l be (-6)/((-12)/(-20) + -1 + 0). Solve k = -3*p - 13, -2*p + p = 3*k + l for p.
-3
Let g(n) = -10*n - 5. Let s be g(-1). Solve s*j - 5*a - 24 = -4, 2*j + 3*a = 3 for j.
3
Let b be (12/8 + -1)*80. Suppose -3*h = -b - 2. Solve 5*x - 4*y + h = 0, 3*y - 1 + 8 = -5*x for x.
-2
Let y = 6 + -4. Let u = 3 - -12. Suppose -a + 7*o = 2*o, -34 = -4*a + 3*o. Solve -f = 3*f - 2*h - a, -h + u = y*f for f.
5
Suppose -5*u - 21 + 36 = 0. Solve -p + 11 = 4*t, 5*p + 11 - u = t for p.
-1
Let o = -70 - -124. Let n = -38 + o. Suppose -n = -2*i - 4*t, 3*t + 10 = 5*i - 2*t. Solve r - 9 = -i*j, j = -0*j + 1 for r.
5
Suppose 2*m - 5*l = -0*m + 23, -2 = m + 2*l. Suppose -q + 0 = -2. Suppose 3*z = -j + 3 + q, -2*z = 4*j + 10. Solve -2*v + 5*y - m*y = z, v + 6 = -y for v.
