x?
False
Let n(v) = -16 - 33*v - 23 - 21 + 84. Let h be n(4). Let y = 151 + h. Is y a multiple of 5?
False
Let p = 393 - 388. Suppose 4*k - 2*s = 456, -p*k = -2*k - 2*s - 344. Is k a multiple of 3?
False
Is ((-94)/(-7))/((-42)/(-1764)) a multiple of 12?
True
Suppose 0 = 4*i - 2*f - 107600, 3*f - 13822 + 40727 = i. Does 109 divide i?
False
Suppose -4*j = r - 8554, -6*j = -r - 3*j + 8547. Is 75 a factor of r?
True
Let k(f) = 2742*f**2 + 50*f + 4. Does 21 divide k(2)?
False
Let o = 62107 + -35328. Is o a multiple of 47?
False
Let k(r) = r**3 - 9*r**2 - 8*r + 5. Suppose -4*b + 5*c + 53 = 0, 3*b - 4*c = 8 + 32. Let w be k(b). Let j = w + -85. Does 39 divide j?
False
Suppose -1155 = c - 2*c. Suppose 561 = -11*t + c. Does 27 divide t?
True
Suppose -a + 28047 = -21365 + 5068. Is 66 a factor of a?
False
Let p = -6282 + 55578. Is 316 a factor of p?
True
Let g be ((-4)/(-10))/((-22)/(-55)). Let h be (0 + (-38)/6)*g*-3. Suppose 10*r + 144 = h*r. Is 4 a factor of r?
True
Let v = 29296 - 21256. Is v a multiple of 20?
True
Let x(q) = -q**2 - 10*q + 29. Let d be x(-12). Suppose -3*g - 14 = -w, d*g = -0*w + 4*w - 70. Suppose 24*l = w*l + 284. Does 13 divide l?
False
Let v(f) = 166*f**3 - 1. Let l be v(1). Suppose -164*o + 165*o = 2, b + 108 = -4*o. Let x = b + l. Does 11 divide x?
False
Suppose -h - 17 = n, -2*h + 56 = n - 5*n. Let w = 111 + n. Is 32 a factor of w?
True
Is 5 a factor of (-17)/(-1) + (345 - -1322)?
False
Let g(v) = v**3 - 15*v**2 + 28*v - 13. Let a be g(13). Suppose a*l = -4*w + 9*l + 236, -3*w = 4*l - 172. Is 16 a factor of w?
True
Let q = 43 + -40. Suppose -x = -5*w - 29, -q*w + 0*w = 15. Does 8 divide 19 - (-7 - (x + -7))?
False
Suppose 0 = -k - 8 + 5. Let v be (-4 - (k - 4))*-1. Is 16 a factor of 1/((-2)/(-12))*(-32)/v?
True
Is -2 + (-1032)/(-172) + 20058/1 a multiple of 12?
False
Let v be ((-2)/5)/((-5 - 2)/70). Suppose v*x - 3*c = -4*c + 681, 4 = 4*c. Does 17 divide x?
True
Does 16 divide (-80)/3*((-2156)/10 - -8)?
True
Let z = -57 + -11. Suppose 216 = -5*j + 3*b - 0*b, 3*j + 124 = -b. Let m = j - z. Does 13 divide m?
True
Let l = 68 + -63. Let v be (4/l)/(4/50). Suppose v*o - 1277 = -327. Is o a multiple of 19?
True
Let p(o) = o + 7. Suppose 4*x + 2*c - 7 - 1 = 0, x + 5*c + 16 = 0. Let i be p(x). Suppose -8*y + 53 = -i. Is 2 a factor of y?
True
Let n = 915 + -911. Suppose -5*f = m - 535, -2*m + 2260 = 2*m - n*f. Is 20 a factor of m?
True
Does 21 divide (24/16)/((-22)/(-106876))?
True
Let z(n) = -19*n**2 + 6*n + 5. Let d(m) = 22*m**2 - 7*m - 5. Let l(s) = -6*d(s) - 7*z(s). Suppose -4*y + 24 - 8 = 0. Does 11 divide l(y)?
True
Let c(h) = h**2 + 3*h - 17. Let v be c(5). Suppose -s - v + 75 = 0. Does 14 divide s?
False
Suppose 129*k + 2*x + 153990 = 131*k, 0 = 5*k + 4*x - 384912. Is 38 a factor of k?
True
Suppose 5*c - 68801 = 2*d + 93604, -5*c - 5*d + 162370 = 0. Is c a multiple of 27?
False
Let p(f) = -f**2 + f - 1. Let c(y) = -4*y**2 + 20*y - 104. Let l(h) = -c(h) + 3*p(h). Is l(7) even?
False
Let g(x) = -95*x**3 + 14*x**2 + 36*x - 2. Is 27 a factor of g(-3)?
False
Let z be -1*(11 + 2 + -7)*(-21)/(-2). Suppose n + 47 = 2*q - 35, 0 = -2*n - 2*q - 140. Let c = z - n. Is c a multiple of 5?
False
Let h be (96/(-27) - -4) + (-464)/(-9). Suppose 51*p = h*p - 840. Is 15 a factor of p?
True
Let k = 278 - 186. Let d = k - 41. Let m = -27 + d. Is m a multiple of 8?
True
Let h(b) be the third derivative of 5*b**4/6 - 7*b**3/3 - 28*b**2. Let q be h(9). Let w = 241 - q. Does 7 divide w?
False
Suppose -3*y - 8524 + 102500 = 14*y. Is 4 a factor of y?
True
Does 7 divide 7/(-5) - (-5698700)/500?
True
Suppose -2*w + 354 = -2*g, 3*w = 5*w - g - 352. Is 4/32*8*w a multiple of 5?
True
Let h be 4/8 + (-5)/(-2). Let r be -8*(3 + (-174)/48 + 0). Suppose -r*c = -h*c - 2*y - 132, 4 = -4*y. Does 11 divide c?
False
Let q = -24 - -332. Suppose -10*p + 3*p = -q. Is 5 a factor of p?
False
Let j = -9 - -13. Suppose 0 = 4*b + j*t - 40, 0 = 4*b - 0*t - 4*t. Suppose -4*m + b*z = -224, -5*m - 2*z = -2*m - 168. Is m a multiple of 6?
False
Let z(t) = 182*t + 1. Is 13 a factor of z(4)?
False
Let b be 40543/9 + (-238)/63 + 4. Suppose -17*v + 34*v = b. Does 53 divide v?
True
Suppose 0 = 3*m - 2*t + 699, -2*m = 3*m - 3*t + 1165. Let b = -861 - -432. Let j = m - b. Is 49 a factor of j?
True
Let a(b) = b**3 - 8*b**2 + 14*b + 4. Suppose 0 = 56*n - 51*n + 150. Let q be 2/(-5)*n*7/14. Is 16 a factor of a(q)?
True
Let o(r) = -r**2 + 8*r - 13. Let n be o(4). Suppose 0 = -4*c - n*y - 25 - 5, -5*c + 5*y - 20 = 0. Is c/(-10) - (-324)/60 a multiple of 6?
True
Is 21 a factor of (-15)/(1755/(-18)) + 264145/13 + 3?
False
Let y(g) = g**2 - 15*g - 10. Let p be y(16). Let u be 18*p/(-9)*(-10)/3. Let t = u + -36. Is 2 a factor of t?
True
Suppose 4*l = -19*a + 17*a + 51336, 5*a = -4*l + 51342. Is 41 a factor of l?
True
Suppose 30 = 2*l + 3*l. Let h(q) = -l + q + 2*q + 16*q**2 - q. Is h(-3) a multiple of 12?
True
Suppose 1766 = 2*p + 2*b - 942, 4061 = 3*p + 4*b. Suppose 0 = -6*g + p - 113. Does 23 divide g?
True
Suppose 3*d - t - 106 = 0, -2*d + 54 = 6*t - 10*t. Suppose -31*u = -d*u + 3900. Is 8 a factor of u?
False
Let j be 223 - (-1)/(-3)*(-19 - -22). Suppose -4142 + j = -8*q. Is 35 a factor of q?
True
Suppose -113312 = -26*p + 71808. Suppose 4*k - c = 7108, 54*c - p = -4*k + 58*c. Is k a multiple of 54?
False
Let o be 47/(-4) - 13*1/52. Is 18 a factor of (-22452)/(-48) + (-3)/o?
True
Let o be (2 + -8)/(198/(-2343)). Let c = -35 - -2. Let s = o + c. Does 19 divide s?
True
Let h be (-140)/(((-11)/(-11))/((-5)/(-2))). Does 10 divide (h/(-15) + 2)/(2/9)?
False
Let m = 5436 - 936. Does 9 divide m?
True
Let n(t) = -185*t + 4520. Is n(-101) a multiple of 7?
True
Let t(h) = h**3 + 8*h**2 + 9*h - 13. Let p be t(-6). Let a(f) = 6*f**2 - 18*f + 20. Let o(s) = s**2 + s. Let u(m) = p*o(m) - a(m). Is u(18) a multiple of 31?
False
Let d = -145 - 251. Let t = 862 + d. Does 41 divide t?
False
Suppose 0 = -2*z - 5*l - 138 - 471, 5*z + 5*l = -1545. Let v = -169 - z. Does 6 divide v?
False
Let q(m) = -m**3 + 7*m**2 + 2*m - 9. Let a be q(7). Suppose 4*r = 3*t + 2, -2*r + 20 = a*t + 3*r. Suppose -f + 5 = 0, s - t*f - 14 = -0*f. Does 8 divide s?
True
Let h(a) = 338*a**2 + 8*a + 9. Let d be h(-1). Let u = 3 + d. Is u a multiple of 3?
True
Let a(g) = 8*g**2 - 92*g + 826. Is 11 a factor of a(8)?
False
Let b be 4 + 19 - 12/(2 + 2). Is 5 a factor of (b + -1)/(5/25)?
True
Let c(b) = -b**3 + b**2 + 6. Let y be c(0). Suppose 2*d = -d - 4*n + 109, -2*n + 107 = 3*d. Is 14 a factor of d/10*y/(-14)*-12?
False
Let p(k) = -k - 6. Let j be p(-9). Does 4 divide j*7/((-63)/(-165))?
False
Is 155 a factor of 22 + -8 + -2 - (-2 + -36552)?
False
Let t = -331 - -334. Suppose -t*f + 5*f + k = 2082, k - 2 = 0. Is f a multiple of 40?
True
Let l(h) = 20*h + h**3 - 10*h**2 - 22 - h**2 + 4. Let a be l(9). Suppose -145 = -2*s + 3*n, a = -2*s - s + n + 235. Is s a multiple of 12?
False
Let u(t) = -t**2 + 3*t + 21. Let b be u(6). Suppose 13*m + 792 = 17*m + f, b*m = -4*f + 594. Is m a multiple of 33?
True
Let s = 42 - 42. Suppose f = 2 - s. Suppose l = 3*r + 242, 0*r + 470 = f*l + r. Is l a multiple of 20?
False
Suppose -864 = 4*w - 7*w + 3*g, -279 = -w - 2*g. Is 16 a factor of w?
False
Suppose -126*h + 123*h - 5*x + 6550 = 0, 0 = -4*h + 3*x + 8685. Does 75 divide h?
True
Suppose -15*x = 15 - 0. Is (x*(-2)/(-4))/(3/(-972)) a multiple of 27?
True
Suppose 2*a - 2*m = 74050, 22*a - 27*a + 4*m = -185116. Does 178 divide a?
False
Let i be (35/10)/(1/16) - 4. Suppose -2*f + i = 26. Suppose -f*m + 15*m - 224 = 0. Is 16 a factor of m?
True
Suppose 10*l - w = 7*l + 2313, -2*w = 0. Suppose 10*h - 8529 = l. Does 31 divide h?
True
Suppose 5*t + 10 = -4*f, t = f - 4*t - 10. Suppose -j = -0*r - 4*r + 604, -2*j = f. Does 24 divide r?
False
Suppose -8 = -2*a, -l = 3*a + 2*a - 20. Let v be (3 - (l + -2)) + 5. Suppose v*f - 497 - 33 = 0. Does 15 divide f?
False
Let a(g) = -248*g + 42. Let f be a(-3). Let u = f + -522. Is u a multiple of 24?
True
Suppose d - 3*o + 5 = 15, 5*o = -3*d + 16. Is (14/(-8))/(d/(-308)) a multiple of 7?
True
Let y(u) = -18*u - 17*u + 8 + 23*u. Let a(p) = 2*p**3 + 2*p**2 - 2*p. Let g be a(-2). Does 14 divide y(g)?
True
Suppose 3*g - 5972 = 1128*i - 1133*i, 0 = -6*i + 6. Is 39 a factor of g?
True
Suppose 12*f + 0*f - 252 = 0. Suppose -5*m +