 z*y - 4*y + 24 for u.
-5
Let b be ((-24)/(-40))/(2/60). Solve -x + b = -4*h, -5*h + x + 2 = 25 for h.
-5
Let a(o) = o**3 + 4*o**2 - 3*o. Let g be a(2). Suppose -5*b = -b + 12, 3*l - g = 2*b. Solve -5*s - 5 = 0, l*v - 1 = s - 0 for v.
0
Let k be (-63)/(-45) + 3/5. Solve 5*j = 3*g + 13, 2*g + k*g = -5*j + 41 for j.
5
Let z = -52 - -32. Let r = z + 25. Solve a + 0 = -l + 1, -r*a = 2*l - 2 for a.
0
Suppose 5*w + 5*l = 25, 0*l + 4*l - 20 = 2*w. Suppose w*i = -4*n - i + 5, 4*i + 18 = 3*n. Solve -5*v = n*z, 4*v = z + z + 18 for z.
-5
Let h be 3/1 - (2 - 1). Let u(j) = h - 13*j**2 - 4 - 2*j + 15*j**2. Let s be u(2). Solve -s*o - 2*o = m - 10, -17 = -5*o + m for o.
3
Let i = 3 - 16. Let f = -3 + -6. Let y = f - i. Solve 0 = -5*p + u - 17 - 1, -4*u = -y*p - 24 for p.
-3
Suppose -3*z = 2*i - 8*z, 3*i - 4*z = 0. Let n be -3 - 5 - (0 - -2). Let f = n - -10. Solve 6 = -f*t + 2*t, i = v + 5*t - 20 for v.
5
Let t(m) = -m**2 + 12*m + 32. Let q be t(14). Solve -19 = 4*x - p, q*p - 32 = 5*x - 0*p for x.
-4
Suppose -3*u - 17 = -4*u - 3*c, 0 = -2*u + 5*c - 21. Solve 0 = u*j + 6*f - 2*f, -5*j + 5*f = -15 for j.
2
Let f(a) = -2*a**3 - 16*a**2 + a + 10. Let r be f(-8). Solve -5*x = -34 + 9, 25 = -r*b + 3*x for b.
-5
Suppose 3*j + 3*w + 2 = 8, 4*j = 3*w + 29. Suppose -4*o + d + 16 = 0, j = -o - 0*d - 2*d. Solve 7*u - o*i - 15 = 4*u, 3*u = -i - 5 for u.
0
Let a = 10 - 8. Suppose -2 - 2 = -a*x. Solve -x*h - 5*i = 5, 3*h - 2*h - i + 6 = 0 for h.
-5
Let r(a) = -a**3 - 5*a**2 - a - 5. Let h be r(-5). Solve 0 = 5*j - 5, h*p = -p + 3*j - 1 for p.
2
Suppose 6*u = 3*u - n + 5, 0 = -u + 5*n + 7. Suppose d - 6 = -u. Solve -p = q + d*q - 24, -4*q = -3*p - 4 for q.
4
Let d(b) = 4*b - 6. Let q be d(7). Suppose 12 = -2*m + 4*m. Let l(o) = 2*o - 9. Let r be l(m). Solve q = r*i - 2*w, -6 + 18 = -2*i - 4*w for i.
4
Let r(t) = 33*t**3 - 2*t**2 + t. Let a be r(1). Solve 0*p = -x + 5*p - 22, -4*p = 4*x - a for x.
3
Let x = 2 + 0. Suppose 2*i + i + 24 = 5*n, -5*i = 5*n - 40. Suppose 0 = -5*v - l + 12, -5*v + x*v = 5*l + n. Solve -v*z - 5 = 3*a - 2*z, -3*a - 9 = -3*z for a.
-2
Let y be ((-32)/3)/(18/(-27)). Let v = y + -11. Solve -3*m - 7 = -v*k - 2*m, -m = 5*k - 3 for k.
1
Let q be 2/(-3) - (-8)/12. Solve 3*f - 3 = q, 0*f + 3*f + 22 = 5*w for w.
5
Suppose -7*a = -93 - 75. Solve -z - 8 = -4*u - a, 4*u = 5*z for u.
-5
Suppose 2*g = -5*c + 28, -2*g = -2*c - c + 4. Solve -c*q - 4*h + 4 = 0, 0 = -2*q + 4*q + 3*h for q.
3
Suppose -p - 2 = -6. Let y(v) = -v**3 + 5*v**2 - 5*v + 6. Let j be y(p). Let r be -6*(j + 10/(-3)). Solve -2*u = 4, -2*z - 2*u = -u + r for z.
-3
Let l be (-3)/(-1) + (-2)/2. Suppose l*f = -f. Suppose -3*i + 25 = 2*i. Solve i*v - b - 18 = f, 5*v + 3*b - 1 - 5 = 0 for v.
3
Let o = 7 - 4. Suppose -o*f - 2 = 10. Let z = 5 + f. Solve a + z = -5*l, l = -2*l + a - 7 for l.
-1
Let y be 540/(-21) + (-2)/7. Let r = y - -44. Let f be 2/4 - r/(-4). Solve f*c + 12 = -2*i + 1, -c = 5*i - 7 for c.
-3
Suppose 6 = 2*n - 0. Suppose 2*k + 3*k + v = 0, k + n*v = -14. Let q be 0 + 2 - (k + 0). Solve -5*f + 5 = 3*g, q = -3*f - 2*g + 5 for f.
-2
Suppose 2*r = -3*r. Suppose z = 3*z. Suppose -o + 17 = -z*o. Solve -t + 4*d + 11 = r, t + 4*t - 2*d = -o for t.
-5
Suppose 0 = 2*i - 6*i - 24. Let n be -1 + i*(-2)/2. Suppose r - 4 = 1. Solve n*l + 5*v = l + 5, r*l - 10 = -5*v for l.
5
Let f be -1 - 21/3*1. Let h = f + 13. Suppose 2*v = 8, 5*g + 21 = h*v + 1. Solve -2*p + 11 = -0*p - a, g = 5*a + 25 for p.
3
Let b(f) = f + 3. Let g be b(-1). Solve 3 = -5*o + g*h, 4*h - 10 - 6 = 0 for o.
1
Let o(n) = n**3 + n**2 + 2*n + 5. Let q be o(0). Solve 5*x + 2*d - 6*d = -11, -2*x + q*d - 1 = 0 for x.
-3
Suppose -7 = -r - 4. Suppose -h + r + 0 = 0. Let a(i) = -i**3 + 2*i**2 + 4*i - 1. Let n be a(h). Solve -n*d + t = -4*d - 3, 4*t + 12 = -3*d for d.
0
Suppose v - 6 = -2*z, -v = v + 8. Suppose -4*i = 1 - z. Solve 0 = 3*x - 5*h - 12, -2 = h + i for x.
-1
Let z = 2 + 1. Suppose 3*x + 5*o = 16, 5*x - 6*o + z*o = 4. Solve 0 = -p - f - 2, 3*p - x*f + 6*f + 8 = 0 for p.
0
Let v be (-3)/6*6*1. Let r = v - -6. Solve -2*h + r*b = 6*b - 20, -3*b + 24 = 3*h for h.
4
Let m be 6/(-27) + ((-2)/(-9) - 0). Solve 8*v - 5*v + 5*u - 4 = m, 2*u - 6 = v for v.
-2
Let v(g) = 4*g - 12. Let r be v(4). Solve 3 = 3*s - 0*s + x, -3*x + 9 = r*s for s.
0
Suppose u - q + 34 + 3 = 0, -2*q + 10 = 0. Let v = u + 56. Solve 3*d = t - 4, -v = 4*t - t + 3*d for t.
-5
Let g be -10 - (-1)/(1/2). Let a = 13 + g. Suppose a*j = 20, 0 = -5*w - 0*j + 4*j + 129. Solve 3*z - 6 = 0, -z + w = -5*i + z for i.
-5
Let l be 8 - -2*(-2)/2. Solve 4*q - l + 2 = -4*z, -3*q = 2*z - 2 for q.
0
Suppose 5*w + 15 = 2*n + 2*n, 4*n + 3*w = 23. Let c(j) = j - 5. Let p be c(10). Let x = -39 + 43. Solve -3*s = -2*t - 21, 0*t + x*s = -p*t + n for t.
-3
Suppose 13 = 2*c + 5. Let h(q) = -8*q - 4. Let b be h(-5). Let l = -26 + b. Solve c*n - f - 3*f = 4, 0 = 2*n - 4*f - l for n.
-3
Suppose 3*l = x - 6, x - 3*x = 5*l - 1. Solve -t = -x*t - 8, 3*f + 5 = -5*t for f.
5
Let w(n) = n**3 - 6*n**2 + n - 1. Suppose 0 = -h - 2*h - 54. Let i be (7 + -2)*h/(-15). Let k be w(i). Solve 2*s = -3*m + 6, k*m - 4*m = s + 2 for s.
0
Let d = -13 + 9. Let m = 1 - d. Solve 5*a = -3*x + 9, -4*a = -m*x + 6 + 9 for a.
0
Let k(y) = y + 1. Let i be k(3). Suppose i*c = 3*c + 4. Solve -c*a - 2*f = -2*a - 6, -4*a + 3*f = 2 for a.
1
Suppose 5*a - 3*t = -4*t + 20, -8 = -2*a + t. Suppose -a*i = -4 - 8. Solve -o - 7 = -3*u, i*u - 5 + 0 = 2*o for u.
3
Suppose 2 = -2*u + u, c = 2*u + 8. Solve -c*w = 20, 14 = -b - 4*w + w for b.
1
Let d be 2*12/9*3/4. Solve 3*l - d*v = 3 + 3, 3*v + 9 = 5*l for l.
0
Let r = -21 - -25. Solve -3*u + 5*t = -2*u + 24, -r*u - 4*t = -24 for u.
1
Suppose -6 = 3*l, 5*l - 3*l + 4 = s. Solve -5*u - 3*z - 1 = 0, -2*u + u - z + 1 = s for u.
-2
Suppose -98 + 53 = -9*x. Solve -11 - 9 = 4*y, g + y + x = 0 for g.
0
Let p be ((0/4)/(-2))/3. Solve -3*t + 4*a - 7 = p, 4*t + a - 19 = -t for t.
3
Let v(q) = q + 6. Let m be v(0). Solve -3*i + 7*r - 22 = 2*r, i - m = -5*r for i.
-4
Let g be (0 - -1) + 5 + -2. Suppose -2*j = -g*j - 16. Let b be (-42)/j + 2/(-8). Solve -b*w = 2*r + 2*r - 6, -5*w + 12 = -2*r for r.
-1
Let d(x) = -x + 3. Let f(q) = q + 2. Let y be f(0). Let b = y - 2. Let g be d(b). Solve -5*v = 3*c + 4, -3*c - v = -1 - g for c.
2
Let i(p) = p**3 + 5*p**2 + 4*p - 1. Let n be i(-3). Let r(x) = 4*x - 1. Let a be r(-1). Let l = 7 + a. Solve 4*w + n*h = -7, l*h + 2*h - 4 = 0 for w.
-3
Let o be (-50)/(-3) - (-4)/12. Solve y + 14 = -3*g + 3*y, -3*g + 5*y = o for g.
-4
Let r = -5 - -8. Suppose 2*y + 8 = 0, 0 = r*i + y + 2*y. Solve 2*z + 45 = -2*z - 5*f, -25 = z + i*f for z.
-5
Suppose -1 + 7 = 3*m. Let z be (1/2)/(6/(-108)). Let n = -4 - z. Solve -m*c = 2*s + 10, 0 = -n*c - 4*s + s - 21 for c.
-3
Let p(x) = -x**2 + 16*x - 6. Let s be p(14). Suppose s = 3*j + 5*f - 0*f, -5*j = 2*f - 24. Solve 0*a + 14 = n + 2*a, -j*a = -20 for n.
4
Suppose 2*z + 0 - 4 = 0. Let l be 5 - ((-4)/(-2) + -3). Let a be (18/12)/(l/8). Solve -4*w - z*j + 10 = a, 5*j + 10 = 0 for w.
3
Suppose -6*s + 28 = -s - 4*o, -4 = -3*s - 4*o. Let k be 10/s*2 + -3. Solve 4*y = 2*h + 14, -5*y + 3*y - k*h - 2 = 0 for y.
2
Let z be -2 - -5 - (-2 - -2). Let j(d) = -4*d**z - 6*d**2 + 4*d**2 - 2*d + 3*d**3. Let u be j(-2). Solve -2*s + 2*h = 10, -u*s + 4*h = -3*s + 5 for s.
-5
Let u be (-3)/1*12/(-9). Let p be (u/2)/((-4)/(-16)). Let t = p + -5. Solve 0 = t*l + 4*g, 3*g - 1 = 8 for l.
-4
Suppose 4*v = 3*d - 5*d + 6, 2*v = -4*d - 6. Suppose w - 7 = v. Solve 2*t + w = -5*j, 20 = -2*j - t - 3*t for j.
0
Let y(h) = 3*h - 5. Let w be y(3). Let d be (6/w)/(27/90). Solve -4*k - 4*f = 8, -d*k - 3*f - 6 = -0*k for k.
0
Let b be 1/(-6) - 26/(-12). Let v(l) = l**2 + 2*l. Let w be v(b). Solve 8 = 4*n - 2*s, 0 = 4*n - 0*s - 5*s - w for n.
2
Suppose 24*u - 22*u - 4 = 0. Solve -5 = -5*t, -u*y + t - 2 = 5 for y.
-3
Let y(i) = i - 4. Suppose 0 = 2*r - 6*r + 24. Let o be y(r). Suppose -j = -3*j + o. Solve -9 = -3*f + d, f - j - 2 = -5*d for f.
3
Suppose 0*r + 2*f - 13 = -3*r, -3*f = -3*r + 3. Solve 4*s + 4*x + 28 = 0, -s + x + r*x + 18 = 0 for s.
-2
Let a = -119 + 125. Solve -2*n - 5 = -3*f + 4, n - a = -2*f for n.
0
Suppose o + 1 - 3 = -5*g, -3*g = -3*o + 6. Suppose 3*b - 4*d = -0 + 34, -28 = -3*b - o*d. Solve 0*k - 4*h = 5*k + b, 0 = 3*k + 5*h + 6 for k.
-2
Suppose 