t j be n/(1*1/(-8)). Suppose 0 = 5*y - 5*c - 20, -4*y = c + 3*c - j. Solve -y*u + 3*u = -p + 5, 0 = 4*u for p.
5
Let u = 31 - 27. Solve m = 5*o - 21, -6*m + 3 = -u*m - o for m.
4
Let j = -4 - -7. Suppose 0 = 4*i - 0*i - 32. Let p = 0 + i. Solve -2*z + 8 = j*u, 4*u = -3*z - z + p for u.
4
Suppose -3*o - o - 5*u - 13 = 0, -4*u = o + 17. Let g = o - 0. Let k be (96/(-56))/(8/(-28)). Solve 3*m = -g*w - k, m = 5*w - 21 + 7 for m.
-4
Let n be (-1 - 2)/((-6)/20). Solve -t - 1 + n = -2*u, 13 = -4*u + t for u.
-2
Let c = 2 + 1. Let d(o) = o**2 - 9*o + 3. Let t(m) = m**2 - 10*m + 3. Let h(j) = c*t(j) - 4*d(j). Let g be h(2). Solve 3*l = g*i - 26, 4*i = l + 2*i + 10 for l.
-2
Suppose 3*q - 4*q = -32. Suppose i + q = 2*p, -80 = -3*p - 2*p - 5*i. Solve 6*z - z = 4*c + p, 4*c + 4 = 2*z for c.
1
Let v = -6 - -10. Suppose 3 = -d - k, 0*d - v*d + 20 = -4*k. Suppose -4*b + 19 = 5*u - d, -8 = -2*u + 3*b. Solve 4*a = -u*g + a + 3, -3 = -3*g - 3*a for g.
0
Suppose 2*y + 4 = -2*z, -5*y = 2*z - z + 18. Solve -2*v - 3*d + 10 = 0, v - 3*d = 3 + z for v.
5
Let z be (-4)/18 - 292/(-18). Solve -5*b + 17 = 3*l, 3*b - 4*l = -0*b + z for b.
4
Let h(k) = k**3 - 2*k**2 + k + 1. Let v be h(2). Solve v*t = 9, 4*w + 1 = -2*t + t for w.
-1
Suppose 2*r + 3 = 3*n - 3, 3*n = 5*r + 6. Let h be 17/5 + n/(-5). Suppose h + 2 = l. Solve l*s - 10 = -4*k + 10, 0 = 2*k + 5*s - 20 for k.
0
Suppose 3*h + 12 = -h. Let s(m) = m + 7. Let d be s(h). Solve d*y = -j - 2, 0 = -0*y + 2*y - 3*j + 8 for y.
-1
Suppose 12 = -0*s + 2*s. Solve -y - 33 = -s*y + 2*x, x = -4 for y.
5
Let b = -3 + 8. Solve 4*v + 16 = p, 3*v + 2*v = b*p - 35 for p.
4
Let u(s) = s**2 + 6*s. Let z be u(-6). Let d be -1*((0 - z) + -2). Suppose -2*p = d*p. Solve -2 = 5*y + 2*w, y - 2 = -p*y + 2*w for y.
0
Let w = 16 - -4. Let x be (-40)/(-24)*(1 - -2)/1. Solve -2*j - 13 = -5*i, x*i - i - w = 4*j for i.
1
Let j = -38 - -51. Solve 2*u - 8 = 4*f, 4*f = u - j + 3 for f.
-3
Let s be 0 + (39 - (0 - 1)). Solve -4*c - 5*n - s = 0, -4*n - 20 = n for c.
-5
Suppose -v + 2 = -2*v. Let c be -2*v*9/12. Solve 3*d + 32 = -y - c*y, 27 = -3*d - 3*y for d.
-4
Let z be (-31)/(-3) - 3/9. Solve 5*x - 3*o = z, 0*o - 15 = -3*o for x.
5
Let w(s) = -3*s + 31. Let y be w(9). Solve 0 = 2*g + y, -2*j + 2*g = -0*g + 2 for j.
-3
Suppose 1 = g - 3. Suppose 0*i + b + 17 = 3*i, b + 22 = g*i. Solve -5*m = -3*k - 2*m + 24, -i*k + 31 = -2*m for k.
5
Let k be 1/((-5)/(3 - 53)). Solve -s = 3*u - k, -2*u + 4*s = 3*u - 45 for u.
5
Let j(t) = t**2 - 4*t. Let x be j(4). Let q be 3 - (2 - (x - 0)). Let y = q + 4. Solve -l + 3 = -g - 2*l, 0 = y*g - 4*l + 15 for g.
-3
Let q(n) = 3*n**3 - n**2 + 2*n. Let z be q(1). Solve -3*r + 9 = 0, 5*v = -r + z + 4 for v.
1
Suppose 2*v + 0*v - 24 = 0. Solve -4*i = u - 9, -5*i = -3*u - 4*i - v for u.
-3
Let t be (12/(-15))/(6/(-15)). Solve -2*o + t = -3*h - 2, -5*h = -o + 2 for h.
0
Let l(o) = o**3 + 6*o**2 + o + 2. Let g = 4 + -6. Let j be (g/4)/((-1)/(-10)). Let v be l(j). Solve 5*c + 0*x = -x - v, 0 = -5*x - 10 for c.
-4
Let r(b) = -3 - 2*b - 1 - b + 2*b. Let q be r(-4). Solve -c - h - 4 = q, -h - 2 = h for c.
-3
Suppose -5*w - r + 28 = 0, 0 = -2*w - 0*r + 4*r - 2. Let y(s) = -2*s**3 - 3*s**2 - s - 1. Let v be y(-2). Solve 4 = 2*c + w*f, -v*c = -3*c + 4*f - 2 for c.
-3
Suppose -3*c = 5*r - 8, 9*r - 5*c = 4*r + 40. Solve -4*s + 9 = k - 5*s, -20 = r*s for k.
4
Suppose 2*n + 4*b = 2, 0 = 4*n + 4*b - 5 - 3. Suppose j - n*j = 0. Let h(l) = -l. Let m be h(-4). Solve j*v + 5*v + 3*r = 22, 4*v + m*r = 24 for v.
2
Let z = 26 - 26. Solve -2*m - 4*t - 40 = -6*m, z = -4*m - 5*t - 5 for m.
5
Let l(s) = -s**3 + 6*s**2 - 5*s + 3. Let t be l(5). Solve 3*n = -4*r - t, -12 = -5*r + r for n.
-5
Let a be (-40)/(-35) - 2/14. Solve 5*y - 7 = 4*p, -a - 1 = 2*y for p.
-3
Suppose 3*r = -c + 3 + 1, -r = -5*c + 20. Solve t = 2*f - 6*f - c, t - 4 = 0 for f.
-2
Suppose -a + 24 = -w + 5*w, 3*w - 5*a - 41 = 0. Suppose -w = -2*h + 1. Solve 7 = -h*c - 3*f, 4 = c - 4*f + 20 for c.
-4
Suppose 2*n + 4 = 0, 3*t - 2*n - 8 = -4*n. Solve -2*h = -2*a, 2*h - t*a = -h + 2 for h.
-2
Let o = -7 - -12. Suppose -d - d + i = -6, 5*i = o*d - 25. Let m be d + (3 - 1 - -21). Solve -a - a - t = -12, 3*a + 3*t - m = 0 for a.
4
Suppose v - 3*u - 6 = 0, 3*v = -2*v - 2*u - 55. Let s be ((-1)/(-3))/(v/(-108)). Solve k + k = -s*r + 22, 0 = 5*r - 5*k - 5 for r.
4
Let j(d) = -5*d**3 - 3*d**2 + 2. Let i be j(-2). Suppose -5 = a - i. Solve -u + 4*b = a, -4*u = 3*b + 3 + 2 for u.
-5
Let z be (0 - 0/(-3))/(-1). Suppose g - 9 - 24 = z. Suppose 5*s = -13 + g. Solve 0 = j + j, 4*l = -3*j - s for l.
-1
Let w = 180 - 125. Let f = w - 39. Solve 5*m = m - 2*l + f, -5*l = -3*m + 12 for m.
4
Let f be ((-40)/(-32))/(1/8). Solve -i + f = -6*i + 5*z, -4*i = -2*z for i.
2
Let g = -11 - -13. Solve -3*b - g*b = 4*t + 33, -5*t = -b + 5 for t.
-2
Suppose -66 = -3*c - 6. Suppose 5*f - 10*f + c = 0. Solve 3*t + 0*x + 16 = 2*x, -f = 3*t + 4*x for t.
-4
Let u = 62 + -60. Solve 0 = 2*k - w - 10, -k + 5*w = u - 16 for k.
4
Let a be (-12)/84 - 6/7. Let z = -1 - a. Solve 4*d - p - 19 = -z*p, 0 = 3*d + 5*p + 3 for d.
4
Let d(j) = -j + 16. Let f be d(14). Solve 4*o + 5*g = f*o - 11, 0 = -o + 2*g + 8 for o.
2
Suppose -2*h = -s + 4*s + 13, -3*h = -5*s + 10. Let p = h + 11. Let v = p - 3. Solve 5*f = 5*l - 20, -5*f - 12 - 6 = -v*l for l.
1
Let k(d) = d**2 + 2. Let t be k(0). Solve -3*m - t*r + 4*r = -4, 17 = -m - 3*r for m.
-2
Let h = 2 + 1. Solve -1 = -2*k + 2*b - 5, 3*k + h*b = -6 for k.
-2
Let p = -7 + 12. Let x(h) = -h**3 + 4*h**2 + 6*h + 5. Let q be x(p). Solve 5*l + 5*g - q = 0, 5*l - 4*g + 29 = 2*l for l.
-3
Let k(y) = -5*y**2 + 3*y - y**3 + 2 + y - 5*y + 0*y. Let a be k(-5). Solve r = n - 4*n + a, -2*n = -6 for r.
-2
Let z(f) = -2*f**3. Let g be z(-1). Suppose g*k = 2*l, -2*k + 6*k = 3*l. Solve j + 1 = 3*u - 3*j, -2*j + 4 = l for u.
3
Let p be 46/14 + (-10)/35. Solve 3*y + 5*h = -14, -5*h + 10 = -2*y - p*y for y.
-3
Suppose -4*u + 8*u = 4*g + 4, 0 = 4*g + 2*u + 16. Let d(w) = w**2 - w + 4. Let t be d(g). Solve 4*c - 3*k - 36 = 2*k, -2*k = -2*c + t for c.
4
Suppose -21 = -5*z - 1. Solve 0 = -x - 2*w + z, 2*w - 13 = -x - 3*w for x.
-2
Suppose 5*c - 11 = -3*f, 2*c + 3*f = -3 + 2. Let s = 14 + -10. Suppose -3*i + m + 26 = 0, -m + s*m = -i + 12. Solve c*v = 4*j - 2*j + 20, 3*j = -v - i for j.
-4
Suppose 22 = 5*x + b, 16 = x + 4*x + 3*b. Let q(r) = 3*r**3 - 3*r**2 + 2. Let f be q(2). Solve f = 5*v - u - 0*u, -17 = -x*v - 2*u for v.
3
Let l be 2/(-11) + (-342)/(-66). Suppose -n + t + 2 + 5 = 0, l*n + t - 23 = 0. Let u = 17 - -1. Solve 27 = -n*q - 0*a - 4*a, 3*a + u = -3*q for q.
-3
Let f(k) = 6*k. Let q be f(5). Suppose -h + 3*m - m + 5 = 0, 4*h = -2*m + q. Solve -3*s + 2*d = -h, 5*d + 4 + 6 = 0 for s.
1
Let z(g) = -g**2 + 9*g - 11. Let i be z(8). Let c be 9/i + 10 - 2. Solve 3*f = 5*k - 26, -3*k + 2*f + 6 = c*f for k.
4
Suppose -3*k - 2*k = -10. Let d be -6 - (3 - (-5)/(-1)). Let b(z) = -z**2 - 5*z + 1. Let v be b(d). Solve -s - 15 = v*m, 2*m + k*m - 5*s = 17 for m.
-2
Let s = -45 - -45. Solve -4*a - 4*o = 0, -2*a + o + s = -6 for a.
2
Suppose 0 = -2*c + 22 + 12. Solve 2*r + h = -5, -1 = 3*r - 2*h + c for r.
-4
Let g = 36 + -34. Let p be 1 + 0 + 1 + 2. Solve p*d = -4*s - 6 + g, 2*s - d = 4 for s.
1
Let p be 2*(-20)/8*-1. Suppose -5*v - 5 = p*s, s - 6*s + v = -1. Solve 4*o + 4*m = s, m + 9 = -7*o + 3*o for o.
-3
Let m(w) = 4*w**2 + 4. Let s be m(0). Solve -r + 1 = 4*o - 2*o, s*r - 4 = 5*o for r.
1
Let l(r) = -5*r - 1. Let j(h) = -3*h + 12. Let d be j(5). Let m be l(d). Solve 2*a = 2*n - 25 + 11, m = 3*a + 4*n for a.
-2
Let c be (-3*8/12)/(-2). Solve 3*q - 2 = -2*l, -c = -0*l - l for q.
0
Suppose 5*r - 8 = r. Suppose r = 3*u - 4. Solve -u*x = -5*y - 5, y + 0 = x + 2 for y.
-3
Let y = 33 + -2. Suppose -2*g + 6*g - y = -i, 2*g - 3*i - 33 = 0. Solve 0 = 5*r + 5*l - 35, -2*r - g = r - 3*l for r.
2
Suppose 0 = 15*q - 6*q - 108. Let t be -5 + 1 + 2/2. Let j be 2/((-2)/t + 0). Solve -q = -4*i, z = -j*z + 4*i - 32 for z.
-5
Let w = 98 - 96. Solve 3*h + 2*y = 3*y + 2, w*y - 6 = -4*h for h.
1
Suppose 6*t - 10 = t. Suppose 0 = -4*c + t*c. Suppose -3*l + c*i + 4*i = 11, 0 = 5*l - 3*i. Solve h - 4*v + 7 = 0, l*h = -2*h + 2*v - 17 for h.
-3
Suppose -j - 3*j = -24. Let d = j - 2. Let k(c) = c**2 - 6*c + 7. Let q be k(6). Solve -i - 4*s = -24