et x be 8/(-7) - 6631/133. Does 16 divide (-6)/x - (-12)/68*7196?
False
Let q = 1344 - 904. Let m = -252 + q. Does 8 divide m?
False
Let i be ((-4)/(-10))/((-2)/(-90)). Suppose 2*w = 54 + i. Suppose 7*l = 13*l - w. Does 2 divide l?
True
Let o(j) = 9*j + 67. Is 11 a factor of o(-5)?
True
Let n(j) = -j**3 - 13*j**2 - 5*j - 2. Let t(w) = w**3 + 14*w**2 + 5*w + 2. Let z(m) = -4*n(m) - 3*t(m). Let g be 1/(-7) - 165/21. Does 11 divide z(g)?
False
Let z = 748 - 753. Let m(s) = 20*s**2 + 13*s + 47. Is 11 a factor of m(z)?
False
Suppose -53220 = 18*z - 172092. Is z a multiple of 13?
True
Let y = -27 + 49. Suppose 58*n - 23904 = y*n. Does 8 divide n?
True
Suppose -225*u + 1035 = -234*u. Let d(p) = p**3 + 3*p - 3. Let w be d(-4). Let l = w - u. Is 12 a factor of l?
True
Suppose 28 = -6*v + 118. Suppose 0 = v*q - 548 - 1837. Does 15 divide q?
False
Let a(m) = -123 + 10*m + 52 - 17*m. Is a(-14) a multiple of 9?
True
Suppose 2*i + 138*d - 12414 = 134*d, -24843 = -4*i - 5*d. Is i a multiple of 15?
False
Let d(b) = 1. Let g(i) = 11*i + 23. Let z(o) = -3*d(o) - g(o). Suppose 4*s + 34 = x, 8*x - 26 = 4*s + 3*x. Does 4 divide z(s)?
False
Let k(m) = m**2 - 13*m + 16. Let q be k(12). Let y(s) = 32*s**2 - 3*s + 11. Let j be y(q). Suppose 0 = -5*z + 1476 - j. Is 35 a factor of z?
False
Let d(m) = 5*m - 2 - 2*m + 0*m - 4*m. Let h be d(-7). Let q(j) = 7*j**2 - 4*j - 1. Does 22 divide q(h)?
True
Suppose -5*v + 605 + 417 = -c, 0 = -3*v - 2*c + 621. Suppose -3*h - 4*d + v = 0, d = -3*h + 84 + 136. Suppose -a + 0*a + h = 0. Is a a multiple of 15?
True
Suppose -5*t = w + 1, 0 = 2*t - 2. Let a(c) = c**3 + 12*c**2 - 9*c - 14. Does 16 divide a(w)?
True
Let l(x) = -13*x**2 + 3*x + 2. Let j be l(-1). Let q(m) = m**3 + 14*m**2 - 8*m - 31. Is q(j) a multiple of 9?
True
Suppose 3393*n = 3474*n - 1358451. Does 149 divide n?
False
Let l = 772 + -944. Let v = l + 194. Is 7 a factor of v?
False
Let s = 304 - 299. Suppose -s*f = -17*f + 10944. Is f a multiple of 57?
True
Let v be (4 + -91)*736/48. Let p = v - -3413. Is p a multiple of 63?
True
Let r = 48 + -46. Suppose k - 245 - 116 = -r*t, 0 = 4*t - 3*k - 747. Does 17 divide t?
False
Suppose 0 = 3*b - h - 8599, 0 = 235*h - 232*h + 3. Is b a multiple of 11?
False
Suppose 0 = -6*g + p + 89648, -3*g + 3*p + 44836 = p. Is 28 a factor of g?
False
Let p be (-2)/(-11) - (-1269)/99. Suppose r = -p*r + 56. Suppose h = -3*m + 159, -r*m - 3*h - 117 = -6*m. Does 9 divide m?
True
Does 167 divide (-489660)/(-35) + -1 - 2/7?
False
Let o(z) = 755*z + 11250. Is 72 a factor of o(-7)?
False
Let x(u) = 50*u**2 + u - 2. Let h be x(-2). Let b be h + 2/(-6)*3. Suppose 0*i + 3*i - t = b, 4*i = t + 261. Does 13 divide i?
False
Let f(w) be the second derivative of -w**6/48 + 41*w**4/12 + 39*w. Let h(a) be the third derivative of f(a). Does 30 divide h(-4)?
True
Let z = 72 + -72. Suppose 2*v - 6*v - 4 = z. Is -4 + v + 9*4 a multiple of 4?
False
Let l(g) = 313*g - 17. Let a be l(-3). Does 5 divide a/(-8)*4 + (0 - -5)?
False
Suppose 4*a = 3*h - 6, -3*h + 42 = 2*h + 4*a. Suppose h*c - 11*c = 70. Let m = c - -49. Does 5 divide m?
True
Let v(c) = 2*c**2 + 35*c + 6. Let j = 141 + -162. Is 17 a factor of v(j)?
True
Suppose 558 + 3867 = 15*w. Let l = w - 241. Does 6 divide l?
True
Let v(y) = 5*y + 75. Let m be v(-14). Is 8 a factor of m*(-4)/8*1528/(-20)?
False
Let k(f) = -2*f - 32. Let i be k(-22). Is (281 - 3)/(-10 + i) a multiple of 18?
False
Let j(m) = 36*m**3 + 2*m**2 - 2*m - 3. Let l be j(-1). Is 49 a factor of (-994)/(-35)*l/(-2)?
False
Suppose 4*o + 10 = -10. Let q be (8 + o + 99)/(0 + 1). Let l = 6 + q. Does 18 divide l?
True
Let q(g) = 486*g - 3894. Is 11 a factor of q(11)?
True
Let f(d) = d**3 + 17*d**2 - 45*d - 62. Let c be f(-17). Suppose -c = -3*h + 296. Is 9 a factor of h?
True
Suppose 7*t - 11*t - 13*t + 137258 = 0. Is t a multiple of 4?
False
Suppose q - 3*z - 10 = 0, 13*z + 6 = 3*q + 16*z. Suppose 0*g + 4*g = -5*j + 6481, 0 = 3*g + q*j - 4860. Does 15 divide g?
False
Let x = 1998 - 1932. Does 46 divide x?
False
Let h = 80 - 126. Suppose -7*n = -9*n, 5*a = 4*n - 145. Let x = a - h. Is x a multiple of 4?
False
Let p(l) = -60*l**2 - 21*l + 4*l - 57*l**2 + 120*l**2. Let w(y) = -y**2 + 7*y + 2. Let c be w(6). Is p(c) a multiple of 4?
True
Suppose 5*z - 2*z - 6 = f, -4*f + 8 = 4*z. Suppose 3*h - 3*d = 393, 11*d - 6*d + 259 = z*h. Is h a multiple of 12?
True
Let l(g) = 7*g**2 - 5*g - 858. Is l(29) a multiple of 8?
False
Suppose 9918 = 5*c - 3*k, 8*k + 3964 = 2*c + 10*k. Does 127 divide c?
False
Let d be ((-45)/30)/((-2)/4). Is 72 a factor of (-9)/d + (439 - 3)?
False
Let z be (-1)/4 - (-84)/16. Let a(k) = 3*k**3 + 4*k**2 - 2*k - 6. Let p be a(z). Suppose -y + 4*y = p. Is 43 a factor of y?
False
Let b(y) = -y**3 + 34*y**2 + 82*y - 274. Does 28 divide b(30)?
False
Let d(g) = 9*g**2 + 161*g - 15. Let i be d(-18). Suppose 0*q - 4*b = q - 330, -3*b = -i*q + 960. Is 23 a factor of q?
True
Suppose -25 - 31 = r + b, 0 = -4*b. Let a = 109 - r. Suppose 51*m - a = 46*m. Does 3 divide m?
True
Let m(t) = t**3 + 11*t + 34 - 6*t**2 - 4*t - 76 + 25. Let u be m(6). Is (-20)/u*(-175)/2 a multiple of 10?
True
Suppose -v - 38*b + 3890 = -40*b, -v - 5*b + 3848 = 0. Does 55 divide v?
False
Let l be -2 - 19400/(-14) - 10/(-35). Suppose 731 = 15*k - l. Is k a multiple of 7?
False
Let l(o) = 11*o**2 + 20*o + 18. Let c be l(-1). Suppose -3460 - 2615 = -c*h. Is h a multiple of 45?
True
Suppose 5*y - 53812 = -5*j - 3802, -2*y + 5*j = -20039. Is 84 a factor of y?
False
Let m(p) = -660*p - 236. Does 53 divide m(-1)?
True
Let i(k) = 11*k**3 + 10*k**2 + 15*k - 122. Is i(8) a multiple of 33?
True
Let g(b) = b**2 + 10*b - 18. Suppose 0 = -3*u + 7*u - 8. Suppose k = u*k + 14. Does 5 divide g(k)?
False
Let q = 24199 + -13217. Is q a multiple of 34?
True
Suppose q + 47 = 50. Let w(y) = -5*y + 8 + q*y - 2*y + 3*y. Does 5 divide w(-8)?
False
Suppose t + c + 16 = 0, 2*t - 6*c + 4*c + 24 = 0. Let k(l) = 3*l**2 + 22*l + 20. Is 30 a factor of k(t)?
True
Let k(z) = z**3 - 12*z**2 + z + 3. Let f be k(12). Let l = 11 + f. Is 3 a factor of l?
False
Let g = 3297 - 1926. Does 28 divide g?
False
Suppose -4*n + 308568 + 10992 = 4*t, -t - 159780 = -2*n. Is 9/(-15) + n/150 a multiple of 14?
True
Suppose 5*i + 105 = 120, 0 = 2*h + 8*i - 20458. Is h a multiple of 15?
False
Suppose -8*a = -12*a + 3*y + 9, a - 4*y = -1. Suppose -i - a*j + 200 = j, -5*j = 4*i - 855. Is i a multiple of 84?
False
Let w = 233 - 206. Suppose -w*n + 2016 = -19*n. Is 36 a factor of n?
True
Let y = -38 + 32. Does 3 divide 2/(-54)*y - 1070/(-45)?
True
Let f(w) = -144*w - 155. Is 28 a factor of f(-31)?
False
Suppose 0 = -4*w + w + 2*y + 66966, 3*w + 2*y = 66966. Is 21 a factor of w?
False
Let s = -209 - -209. Suppose 3*t = 3*f - 437 - 523, s = -3*t. Is f a multiple of 80?
True
Suppose -53*p + 51*p + 2159 = 3*m, 0 = 3*m - 3. Suppose 0 = 4*s + 7*s - p. Is 14 a factor of s?
True
Let d = -572 + 1677. Is 17 a factor of d?
True
Let k(r) = -r**3 + 32*r**2 - 52*r + 66. Is 38 a factor of k(22)?
True
Let z(j) = 3*j**2 - 17*j - 32. Let n be z(-4). Suppose i - n = 5*b, -25*i + 2*b + 264 = -21*i. Is 4 a factor of i?
True
Suppose -2*r - 833 = y - 1151, 2*r = y - 330. Does 97 divide y?
False
Suppose -7*w + 2*w + 2*g + 109 = 0, 0 = 3*w - 4*g - 71. Suppose 5*u - 5 = 10, -5*u - w = -i. Is 9 a factor of i?
True
Let r(d) = 123*d**2 + 10*d + 28. Let o(t) = 41*t**2 + 3*t + 10. Let b(n) = -17*o(n) + 6*r(n). Is 19 a factor of b(3)?
False
Is 8 a factor of (2376/440)/(3/895)?
False
Let g = 1644 + -552. Is 10 a factor of (12/(-16))/((-3)/g)?
False
Suppose 37 = 10*h + 7. Is 27 a factor of h/2 + 19260/72?
False
Suppose d - 204 = 2*c + 2068, -d + 3*c = -2268. Does 60 divide d?
True
Suppose -6*y + 82396 - 8705 = -13663. Does 23 divide y?
True
Let c = 78453 - 49917. Does 13 divide c?
False
Suppose n + 6 = s, 1 = -n + 3. Is 5 a factor of (s - 145/20)/(2/240)?
True
Let b be -10*(138 - -1)*1/(-2). Suppose -3611 = -6*f - b. Is f a multiple of 18?
True
Let z = -14359 + 20311. Is z a multiple of 111?
False
Suppose 4*q = 3*l + 3945, -58*q - 2990 = -61*q - 4*l. Does 45 divide q?
True
Let q = -2168 + 3522. Suppose q = 17*r - 4341. Is r a multiple of 16?
False
Suppose -4*r + 5 = -5*x, -3*x - 7 = r - 21. Suppose r = t - 2*g, t - 2*g = -5*g. Suppose -3*m - 13 + 121 = -t*o, -2*m 