y be x(-4). Solve 4*s + 12 = -3*m - 5, -6 = y*m for s.
-2
Let h = 6 - 3. Solve -4*y - h*r = 1 - 0, 0 = -2*y - 4*r - 8 for y.
2
Suppose 0 = 5*l - 10*l - 15. Let s be l - 16/(1 + -3). Solve -5*g + 2 = o + 9, 9 = g - s*o for g.
-1
Suppose -2*g - 5 = -4*d - 3, -4*d - 2*g = -14. Let r = 4 + d. Let o = 3 - 0. Solve r*a = 3*s + 2*a, -4*s - o*a + 25 = 0 for s.
4
Let l = -11 - -15. Solve -l*d + 2*z = -8*d + 6, -z + 5 = 4*d for d.
1
Let o(u) = -u**2 + 10*u - 7. Let i be o(9). Solve 1 = i*c - 3*f, 5*f - 6 = -c + 1 for c.
2
Suppose 0 = 3*s + 4 + 5. Let x be 1/(-6)*-4*s. Let k = 2 + x. Solve 0 = n - 5*v + 16 + 6, k = -2*n + 2*v - 12 for n.
-2
Let b = 6 + -6. Let v be (3 - 2) + -1 - b. Solve -4*a + 3*j + 15 = 0, -6*a + a - 2*j + 13 = v for a.
3
Suppose -7*j + 220 = 59. Solve -3*m - 9 = -w, 0*m - 2*m = 5*w + j for m.
-4
Suppose -w = 4*w - n, w + 24 = 5*n. Solve 5*l + 5 = -z, 3*l + 2 = -z - w for z.
0
Let l = -15 - -20. Solve -3*j - l*c - 7 = 0, -j = 2*j - 2*c + 14 for j.
-4
Suppose -2*d + 5*d = -3. Let x be 0/1*d/2. Solve 2*j + 2*t + 2 = x, -2*t + 4 = 2*j - 3*t for j.
1
Suppose -5*w + 4 = -3*w. Suppose 3*f - 2*f = w. Let z be (14 - 2)/2 + -2. Solve -f = -z*s + 2, -3*u + 1 = s for u.
0
Suppose 0 = -y + 1 + 17. Suppose a - 225 = -4*a. Suppose 0 = -5*k + a + 5. Solve k = 2*x, -2*h = -2*x - 0*x + y for h.
-4
Let h = -7 - -19. Solve m = -0*u - 2*u - 9, -4*m = 2*u + h for u.
-4
Suppose 3*d - 33 = 48. Let g be 12/(-9)*d/(-2). Solve -4*y = -3*x - g, -4*x = x + y + 7 for x.
-2
Suppose i - r = 0, -2*i + i - 5*r = 0. Solve 5*p + i*h - 3 = -3*h, 0 = -p + 2*h - 2 for p.
0
Let p(f) = -f**2 + 10*f + 15. Let c be p(9). Let m(l) = -l**2 - 5*l - 2. Let q be m(-3). Solve 19 = -n + q*b, -4*n + 2*b - c = -b for n.
-3
Let k be 2 + (29 - -2) + 1. Let f be (-4)/6 + k/6. Solve -15 = -o + 2*s, -2*s - 5 = -4*o - f*s for o.
5
Let c(u) = -u**3 + 5*u**2 - 3*u - 3. Let m be c(4). Let k = m + 0. Suppose 3*z + 9 = -v + 5*v, 4*v - z = 3. Solve -2*g + 3*t = k - 3, v = -3*g - 4*t + 20 for g.
4
Let t be ((-4)/6)/(2/(-9)). Suppose t*r = -5*p + 6, 0 = -2*r - 3*p - 3 + 7. Solve -x = 2*c + 3, -r*x = -x + 3*c + 2 for x.
-5
Let k be (24/(-10))/(4/(-10)). Suppose -2*o = 2*o + 4. Let h = o + 1. Solve h = -2*a + 4*l + 12, 5*a + k = -4*l + 5*l for a.
-2
Suppose -6*m = -2*m. Let d = 15 - 9. Suppose 2*u = 4, m*a - 3*u = -4*a + d. Solve a*s + 13 = -3*n + n, -3*n + 23 = -4*s for s.
-5
Let j = 22 - 18. Solve -j*p + 16 = 5*k, 2*k + p + 4 = 2*p for k.
0
Suppose -4*g + 43 + 13 = 0. Let l be ((-15)/(-12))/((-2)/(-16)). Solve -3*n - 2*v - l = -0*v, -g = 4*n + 3*v for n.
-2
Let y(p) = 4*p**3 + p. Let z be y(1). Let i = -8 + 12. Suppose 0*k - 2*k + 4 = 2*n, 0 = -3*n - i*k + 6. Solve -z*r + 25 = 0, 0 = n*l - l - 5*r + 20 for l.
5
Let c be 28/(-35)*(1 - 7/2). Solve 0*g - 4*z = c*g + 4, 2*g - 4 = 4*z for g.
0
Let c = 10 + 4. Let o be (-4)/c + (-115)/(-35). Solve 24 = 3*b - 5*t + o, 0 = 5*b + 4*t + 2 for b.
2
Let u be (1/(-2))/((-2)/20). Suppose u*f = 0, 4*k + 3*f - 60 = -0*k. Let v = k - 10. Solve -5*g = 5*q + 25, -2*q - 2*g = -v*q for q.
-2
Suppose -16*w = -20*w. Solve -5*p - 3*v + 20 - 7 = w, 5*v = -4*p + 13 for p.
2
Let h be ((-2 + -1)/1)/(9/(-15)). Solve -2*f - 10 = -7*o + 3*o, -h*f - 25 = -5*o for f.
-5
Let a be 3/6 - 9/(-2). Suppose -a = -b - 2. Solve 0*l + b = 2*l - v, 0 = -5*l + 5*v - 5 for l.
4
Let m(o) = -o - 2*o + 2*o. Let d be m(0). Suppose a - 2*a = d. Solve a = -5*r + 6*s - 2*s - 5, -10 = -r + 3*s for r.
-5
Let n(p) = -p + 4. Suppose 6*w = w - 35. Let f = w - -11. Let y be n(f). Solve -5*q - 5*g + 5 = y, 0*q + 4*g = 4*q + 20 for q.
-2
Let f = 3 + 0. Suppose -3*a + 5*x - 2 + 26 = 0, -3*a + 4*x = -21. Solve -8*w + a*r + 9 = -f*w, -w = 4*r - 11 for w.
3
Suppose -4 = 2*s + 2. Let x = s + 8. Solve 5*d + 31 = 2*h, d - x*h = -13 - 7 for d.
-5
Let r(y) = y**2 - 8*y - 5. Let q be r(9). Solve 0 = -q*s - k + 21, -3*k = 2*k - 25 for s.
4
Suppose -4*g = g - 20. Solve g*m + q - 12 = -3*q, 2 = -2*q for m.
4
Suppose 2*c - 4 = -3*g, 4*c + c - 3*g - 10 = 0. Solve c*p = 10, 18 = -v + p + 3*p for v.
2
Suppose -4*y + 14 = -6. Suppose -y*c + 8 = -x, 0*x - 2 = c - 2*x. Solve 4 - 2 = -c*v, 0 = 5*f - 5*v - 25 for f.
4
Let n(i) = -i**2 - 6*i - 1. Let j be n(-5). Solve -2*y - y = 4*l - 17, j*y - 2*l - 8 = 0 for y.
3
Let s be (-1)/5*135/36*-4. Solve -3 + 13 = -3*w - v, -s*w = -2*v + 16 for w.
-4
Suppose 0 = 2*s + 4*l - 16, 8 = -4*s - 9*l + 11*l. Solve 8 = 4*n - y, -y = -5*n - s*y + 9 for n.
1
Suppose 1 = 3*j - 8. Let m = 3 + -1. Suppose -4*g - 5*u = 0, -2*g - u + 14 = -m*u. Solve 0*n = -n - 3*y + 3, 9 = -g*n - j*y for n.
-3
Let g = -6 + 9. Solve f + 14 = g*q, 0 = -4*f - 2*q + 14 for f.
1
Let z = -16 - -20. Let f = -2 + 6. Suppose -31 = -f*a + l, -5 = 2*a - z*a - 3*l. Solve a*c + 16 = -q + 3*c, -q = 5*c + 19 for q.
-4
Suppose 3*f + 2 = -4*z, 4*f = -3*z + 4*z + 10. Let i be (f/1 - 0) + -2. Solve a - s + 1 = i, 4*a + 0*s + 3 = 3*s for a.
0
Let c be (4 - 1)/((-9)/(-12)). Suppose 4*t - 24 = -c*g, -2*t + 3*t = 3*g - 6. Solve 0*s = g*s - 2*b + 3, -b = -3*s - 3 for s.
-1
Let a be 195/(-6)*(-4)/5. Suppose 4*m = 16 - 0. Suppose 5*z = -m - 6, -5*i + 15 = 5*z. Solve -5*s - w = a, 5*s - i*w + 10 = 2*s for s.
-5
Let i = 31 - 29. Solve -7*l - i*a = -3*l - 20, -a - 14 = -4*l for l.
4
Let d = 19 - 16. Solve -2 + 3 = -2*h - d*l, -3*h = 4*l for h.
4
Let c = -481 + 484. Let a = -4 + 8. Solve 2 = c*q - 2*i, a*q - 3*i = -0*q + 2 for q.
2
Suppose 0 = 3*v - 5*v. Suppose v = 2*s - s. Suppose 4*z - 2 = 3*z - 3*a, 3*z + 4*a - 11 = 0. Solve u - 1 = z*k - 3*u, s = k - 5*u - 4 for k.
-1
Suppose 3*s - 12 = -0. Suppose 83 = 4*l + z + 2*z, 2*z + 7 = l. Let w be (-6)/8*1*-4. Solve 5*m + l = -i, -w*m - 9 = s*i - 3*i for i.
3
Suppose -5 = -3*b + 4. Solve -4*z = -5*z + 1, -2*y + b = 5*z for y.
-1
Let q(o) = -o**3 - 12*o**2 - 12*o - 6. Let r be q(-11). Suppose -3*k = -6*k + 9. Solve 3*n + k = -3*g, -n + 8 + 3 = -r*g for n.
1
Let i = 1 + -2. Let j = 1 - i. Solve -5 = -3*k + z, -2*k + 0*z - j = -2*z for k.
3
Let p(r) = r**2 + 11*r + 13. Let c be p(-10). Suppose -c*t = t - 16. Solve 3*v + 4*m = 5, v = 3*v - t*m + 30 for v.
-5
Suppose 0 = -3*f - 8 - 4, -4*h - 4*f = 4. Solve 16 = 2*v + 5*m, h*v + 9 = m - 1 for v.
-2
Let w(s) = s**3 + 8*s**2 - 13*s - 11. Let o be w(-9). Let a be (-4)/10 - (-85)/o. Solve -a*v + 2 = -3*f - 1, f + 5*v = -7 for f.
-2
Let n = 37 + -6. Let x = 144 - 81. Let i = x - n. Solve -i = -3*d + 4*s, -2*s + 21 = 4*d - 3*s for d.
4
Let o = 27 + -27. Solve 6*l + 21 = 3*v + l, o = 3*l + 9 for v.
2
Suppose -5*r - 7 = -a, 0*a + 4*r = 4*a - 12. Solve -2*n - 2*f - 2 = a*f, 0 = -3*n - 5*f - 2 for n.
1
Let v(q) = -q**3 - 3*q**2 + q + 6. Let f be v(-2). Solve p = f, -4*w + 4*p = 7*p - 4 for w.
1
Let b = 6 - 4. Suppose 11 = b*f + 3. Solve 0 = -2*z + f*o, 0*o = 3*z - 3*o + 3 for z.
-2
Let t be 59/5 - 1/(-5). Solve l - t = 4*v, -3*l + 4 = -5*v + l for v.
-4
Suppose f = n, -3 + 9 = -2*f + 4*n. Let u be (-2)/3 + 2/f. Suppose 0 = r - 4 - u. Solve 2 = -c - 3, -r*o + 5*c + 41 = 0 for o.
4
Let d(m) = -2*m + 6. Let p be d(4). Let s be p - (-2 + (-4)/2). Solve -3*a - 4*z - 9 = 0, 0*z - s*z = 0 for a.
-3
Suppose 1 = 5*b + 3*z - 6*z, -15 = -5*z. Solve 4*u - 13 = 3*u + 4*c, -9 = -u + b*c for u.
5
Suppose -15 = -3*q - 3. Suppose -q*l + 6 = -2. Suppose l*b + 10 = 7*b. Solve -h + 2 = -1, -3 = u - b*h for u.
3
Let f be ((-4)/(-2) - 0)*2. Solve -4*t + 2*i - 2 + f = 0, 0 = t - 2*i + 1 for t.
1
Let y(m) = 3*m**2 + 3 - 2 - 2*m**2 + 3*m. Let d be y(-4). Let a(g) = g - 5. Let l be a(d). Solve -3*w + 4*k - 2 - 1 = 0, l = 3*w - 5*k for w.
-5
Let l(h) = -h + 6. Let g be l(4). Let q be 1/(g - (-17)/(-8)). Let b(c) = -c**2 - 8*c + 3. Let t be b(q). Solve -t*v + 15 = -z + 5, 0 = -5*z + 25 for v.
5
Suppose -o - 48 = -3*o. Let v be (42/(-8))/(o/(-64)). Solve 0 = -2*n - 3*x + v, n + 1 = -x + 6 for n.
1
Let b(g) = 30*g**2 + 5 - 3*g + 2 + g - 4. Let w be b(2). Suppose -o + 87 = 3*o - 5*a, -4*a = 5*o - w. Solve -5*s = -3*r + o, 5*s = 4*r - 5*r - 19 for s.
-4
Let l(u) = -u**3 - 2*u**2 + 3*u + 4. Let a be l(-3). Solve 2*r + 9 = 3*r - a*h, -2*r - h = 0 for r.
1
Let p be (-1 - (4 - 2))/(-1) + 1. Solve -4*g + 4 = -4*j, -2*j = -g + 2*g - p for g.
2
Suppose 0 = -7*g + 4*g - 15. Let w be g + 5 + 4/1. Solve 16 = -w*v, 0 = -l + 2*v + v + 16 for l.
4
Let s(h) = -h**2 - 5*h - 1. Let y be s(-3). Solve -y*p + 5*