Suppose 4*u - 6 = x. Let a = 5715 + -5711. Solve 7 = -n - u*z, -n - n = 3*z + a for n.
1
Let s = 196645 + -196645. Let o be 2*1*(-4)/(-2). Suppose 11 = 4*l - 5. Solve -18 = -w - 4*t, l*w - o*t + 8 = -s*w for w.
2
Let f = -16 - -33. Suppose -f*l = -10*l - 42. Solve -3*o - l = -3*s, -o + 2 = -2*o for s.
0
Let q(w) = -w**3. Let b be q(0). Let d(s) = 233 - 195 + 27*s - 3*s**2 + s**3 + 17*s**2. Let n be d(-12). Solve 0 = -5*z - n*k - 19, -2*z + b*z - 13 = -k for z.
-5
Suppose -3*h - 5*d = -d - 55, h = -4*d + 13. Suppose 8*z - h = z. Solve n + 1 = 2*r, z*r = r + 3*n - 5 for r.
2
Suppose 7*s = -4*l + 4*s + 39, -5*l = -4*s - 41. Let t be 12/l*(-9)/(-6). Let m be -3 + (7/t)/((-2)/(-4)). Solve c = -a, -5 = -m*a - 0*a - 5*c for a.
-5
Suppose 48*a = 47*a - 2*p - 2, -2*p = -5*a + 98. Solve -5*f + v + a = 0, -11*v - 4 = f - 10*v for f.
2
Suppose 21*y + 150 - 234 = 0. Solve 2*v - b - 6 = 0, 4*b = 3*b + y for v.
5
Let p(z) = -17*z**3 + z**2 - 1. Let u be p(-1). Let g = -42999 - -43000. Solve 3*m + 3*x - g = m, 4*m + x = u for m.
5
Let s be (1 - -1) + -8 + (124 - 116). Solve -s*p - 10 = -5*q, 5*p - 41*q = -40*q + 21 for p.
5
Let t(w) = 23*w - 146. Let x be t(12). Let l be x/(-26)*(-3 - (-13)/5). Solve -3*v = -c + 2, 3 + 5 = -l*v + 2*c for v.
1
Suppose 5*u = -2*i - 23, 0 = i + 1 - 2. Let a = 7 + u. Let g(y) = 2*y**2 + 13*y - 1058. Let t be g(20). Solve 4*f = o + t*o, 11 = f + a*o for f.
3
Let s(c) = 2*c**2 - 341*c + 342. Let l be s(1). Let q(d) = -d**2 - 5*d + 2. Let j be q(-5). Solve -2*t + k - 6 = -3*t, l*k = j*t + 8 for t.
2
Suppose -174 = -2*x - 164. Suppose a = 2*q + 12, 0 = 3*a - 8*q + x*q - 33. Solve 4*l - 17 = -3*i, -a = -5*i + 5*l - 8*l for i.
-1
Suppose 15*f - 16*f + 5 = 0. Let x be 15/(0 + f) + -3. Solve -4*w + 5*r + x*r + 16 = 0, r = 0 for w.
4
Let l be 2/(-3) - (-39040)/366. Solve -5*i + 108*w = l*w - 29, i = -w + 3 for i.
5
Let u = 26 + 0. Suppose 150 = -2071256*n + 2071306*n. Suppose -2 + 14 = 4*m. Solve a + 0 = n*w - 1, -4*a + u = m*w for w.
2
Let k(d) = -3*d + 13. Let l(n) = 6*n - 37. Let x(f) = -17*k(f) - 6*l(f). Let v be x(0). Solve 2*g - 4*j - 26 + 8 = 0, -g + v = 2*j for g.
5
Let p(z) = 4*z**2 + 13*z - 38. Let i be p(3). Suppose 46*k = i*k. Solve -4*s = 0, k*f - s - 2 = -f for f.
2
Let u = -3205 - -3209. Solve 2*a = u*k - 10, 3*k = 5*k + 4*a + 10 for k.
1
Let n = -3870 + 3885. Solve -6*r + 4*r = -u - n, -2*u = 4*r - 10 for r.
5
Suppose -w + 4 = -5*r + 25, 6 = 2*r - w. Suppose 0 = r*t + 9 + 51. Let n be (-3)/(-2)*(-16)/t. Solve -l + n*y + 6 = -0*y, 3*l = 4*y + 12 for l.
0
Suppose -9434 = 65*f - 12684. Solve 19*y + 5*q = 14*y + f, 0 = 4*y - 4*q for y.
5
Let a(r) = 60*r**3 - r**2 - r + 1. Let d be a(1). Let j = -58 + d. Suppose -4*w = -3*o - 15 + j, 0 = 2*w - 10. Solve 3*x - o*x = -4*q + 8, q + 2*x = 9 for q.
1
Let i(w) = -17*w - 87. Let d be i(-5). Let z(r) = -2*r**3 - r**2 - 5*r + 1. Let p be z(d). Solve 2*g - p = -5*x, -4*g + 0*g - 4 = 0 for x.
5
Suppose c = 0, -4*c + 2*c = 4*l + 3*c - 8. Solve -3*b = -3*s + 6, s + b = -l - 2 for s.
-1
Let z = -130 + 160. Suppose -f - 9*f + z = 0. Suppose 0 = 8*y - 0*y - f*y. Solve 5*a - 3 = 4*n - y*a, 9 = -5*n + a for n.
-2
Let m(z) = -z**3 + z**2 + 10*z - 15. Let r be m(2). Suppose j + r = 5. Solve l + d = j*d + 10, d = 5*l + 20 for l.
-5
Let s = -567 + 571. Suppose -i = 5*f + 26 - 121, -3*i + f = -269. Suppose s*n - i = -n. Solve -b = 3*t + b - n, -5*t + 3*b + 11 = 0 for t.
4
Let f be 6 + 5 - (6 - -3). Solve 3*d = 3*a + 5 + 10, -2*a - 2 = f*d for a.
-3
Suppose -13*v - 31 = -304. Let h be (-368)/(-112) - 3/(v/2). Solve 3*k - y - 10 = -k, h*k - 2*y = 5 for k.
3
Suppose -2*l = 2*p - 20, 0*l - 30 = -3*p - l. Suppose -p = 6*n - 16*n. Let q be n/(3/(-9)) + 6. Solve -5*z - 7*j + 5*j = 22, 5*j = q*z + 7 for z.
-4
Let t(m) = 11*m + 3. Let g be t(3). Suppose -g = -8*i - i. Solve 0 = 3*x, -10 = -i*n + 5*x + 2 for n.
3
Suppose o - 3*o - 4*b + 26 = 0, 5*o = -5*b + 45. Let w = -2308 + 2310. Let r be (1 - (0 + 1))*1. Solve o*k - w = -r*k - 3*d, -2*k = d for k.
-2
Suppose -56*t + 80 = -46*t. Suppose t*j - 40 = -16. Solve 0 = z + 2*c + 12, -8 - 23 = j*z + 5*c for z.
-2
Let c(u) = -2*u**3 + 6*u**2 + 46*u - 152. Let x be c(4). Let b be (6/(-4))/(9/(-24)). Solve x*q - t - 5 = q, -b*q - 14 = -2*t for q.
-4
Suppose 4*r - 2 = -98. Let h be 108/16 + 18/r. Let n be 9/h - 45/(-6). Solve -3*u + n = 3*w - 0, 2*u = 2*w + 14 for u.
5
Suppose 0 = -4*y + 3*i + 83, -y + 2*i - 98 = -5*y. Solve -2*t + 35 = 5*f, 4*t = -2*f + 7 + y for f.
5
Let n(r) = -r**3 + 6*r**2 - 2*r - 5. Let c be n(5). Let l = 1130 + -1125. Suppose -l*w = -c*w. Solve -2*i - 2*t + 18 = w, -2*t - t + 11 = -i for i.
4
Let y = 3184 - 3179. Solve 2*q - 14 + 7 = 3*s, -y*s = -q + 14 for q.
-1
Let q(o) = -4*o + 5. Suppose 279*j = 282*j. Let h be q(j). Solve -h*l = -2*p - 24, -l - 3*l + 20 = -2*p for l.
4
Let i(n) = -4*n**3 + n**2. Let d = 6 + -7. Let j be i(d). Let y = -8043 + 8072. Solve -k - y = -j*v, 0 = v + 2*v - 3*k - 27 for v.
5
Let z = 11867 - 11864. Solve z*a = 2*a - 2, 2*x + 2*a = 0 for x.
2
Let v be 1/((-6)/(-16) - (-49)/(-152)). Let k be 2 + 2*19/(-2). Let g = k - -19. Solve -5*y - w = -20, g*y - v = 4*y - 5*w for y.
3
Suppose 0 = -10*u + 2*u + 32. Let f(p) = p**3 - 5*p**2 + 6*p - 6. Let b be f(u). Solve -13 = 2*n - o, 3 + 4 = b*n + 3*o for n.
-4
Let a be 0/(-9 + 8 + -1) + 4. Solve 184 = -4*u + 3*r + 197, a*u - 20 = -4*r for u.
4
Let c(k) = k**3 + 5*k**2 + k - 19. Let p be c(-4). Let t(x) = x**3 - 49*x + 2. Let d be t(p). Solve -12 = d*r - 4*f, -r - 1 = 2*f + 1 for r.
-4
Let z(l) = 31*l - 56. Let n be z(3). Suppose 3*v + 22 - n = 0. Solve 4*i - v*u = -u - 24, 3*u = -2*i + 13 for i.
-1
Let q be (-3 - (-51)/15)/((-8)/5)*0. Solve -3*u + 18 = 5*r - q, -3*r = -3*u - 6 for r.
3
Suppose 49*t = 413*t + 35*t - 798. Solve -6 = -4*l + 2*h, 2*h = 4*l + 4*h - t for l.
1
Let v = -96 - -113. Suppose -o = 11 - 13, -u - o + v = 0. Solve 4*n = 4*w - 0 - 20, -3*n - u = -4*w for n.
-5
Suppose o + 3 = 3*h + 5*o, -h = -o - 8. Let y be ((-750)/35)/(-15)*126/15. Solve 18 = -3*u + 3*k, -9 = -4*u - h*k + y for u.
-1
Let l(h) = h**3 - 3*h**2 + 29*h + 12. Let d be l(0). Solve -3*t - d*j - 27 = -7*j, -4*t - 2*j = 8 for t.
1
Suppose -14*u - 128 = -18*u. Let q be 3 + u/(-3)*-3. Let x = q + -31. Solve -3*s - 5 = -5*m, -2*s = -m - 3 + x for s.
0
Let r = 146 - 130. Suppose -4*q = 5*k - r, -k - 3*q + 9 = -3. Solve -h - 4*u + 8 = k, -14 = -4*h - 0*h + 2*u for h.
4
Suppose -3*y + 1263*u + 76 = 1264*u, 0 = -5*y - u + 116. Suppose -5*t = -q, 4*t + 0*q = q. Solve -4*z - o = 16, t*z - 5*z + 4*o = y for z.
-4
Let z(n) = -10 - 5 + 6*n - 11 + n. Let k(t) = t**3 + 10*t**2 + 7*t - 14. Let l be k(-9). Let o be z(l). Solve -o*h = -2*i + 9 + 1, 5*i = -3*h + 1 for h.
-3
Suppose 0 = 4*p + c - 147, -42 = -2*p - 5*c + 27. Suppose 3*z + p - 40 = 0. Let r be z - 12/9 - (-201)/9. Solve r = 5*h - 3*l + 7, 2*h = -l - 5 for h.
0
Let s(f) = -101*f + 4360. Let c be s(43). Solve 5*m = -d - 2, 41*d + c = -2*m + 46*d for m.
-1
Let f be 9*43/24 - 1/8. Suppose -f*v = -19*v. Solve -r - 1 = u - 0, -u + 3*r + 15 = v for u.
3
Let q = 3394 + -3393. Solve -d - 3*p = q + 7, -3*d - 16 = p for d.
-5
Let g be (-10)/2*(-4)/10. Let u be (96/(-9))/(-4)*(-15 + (-897)/(-52)). Solve 2*c + 5*n = 3*c + 23, 2*n = g*c + u for c.
2
Let j be ((-93)/(-2))/(69/92). Suppose 0 = -r + 5, -66*r = -2*t - j*r - 14. Solve y - 9 = -2*d, -3*y = d - 3*d - t for d.
3
Suppose -36 = -2*y + 3*v, -3*y + 6*y - 4*v = 54. Suppose -32 = 5*p + y. Let b be 72/39 - p/65. Solve 3*j = 5*i - 29, 2*j + 8 = b*i - 6 for j.
-3
Let v(y) = -29*y - 331. Let t be v(-12). Solve -l - 1 = 2*g, 3*g + 1 = 16*l - t*l for l.
-1
Let k(i) = i - 12 - 2*i - 6. Let r be k(-23). Suppose -2*h + 4 = -26. Solve r*g + h = 0, 3*s + 1 = -s + g for s.
-1
Let w = -972 - -983. Let g be (12*w/44)/(2 + -1). Solve 3*v - 4*m + g*m - 8 = 0, 5*v - 5*m = 20 for v.
2
Suppose -1810*t + 1819*t = 0. Solve -f - 2*j - 7 = 0, -j - 7 + 2 = t for f.
3
Suppose -4*w + s = 19 - 6, 5*w + 2*s = -26. Let p be (w/(-10))/(4/30). Solve 5*a + 10 = 2*i, 4*i - 4 = p*a + 2 for i.
0
Let x be ((-20)/(-8))/(0 - (-11)/22). Let a be (0 + 1)/(2/82). Solve -x*v = -4*k - a, k + 3*v + 5 = -4*k for k.
-4
Let f(s) = -s**2 - 4*s + 14. Let o be f(-6). Suppose -u - m + 6*m + 5 = 0, 94 = 5*u - o*m. Solve -4*k = -u, 1 = 2*w + k + 6 for w.
-5
Supp