ltiple of 21?
False
Let x(s) = s**3 - 31*s**2 + 59*s - 2. Let f be x(29). Is 36/((15/f)/(10/12)) a multiple of 6?
True
Let x(u) = -30*u**2 - 2*u + 10. Let q(s) = 12*s**2 + s - 4. Let f(y) = -12*q(y) - 5*x(y). Let b be f(-3). Is (b - 5) + (1 - -4 - 2) a multiple of 14?
True
Is (-2)/(-7) + 984/(-41)*(-6723)/42 a multiple of 136?
False
Suppose 5*c + 40 = -5. Let j = -33 + c. Let b = 30 - j. Is 24 a factor of b?
True
Is (((-24)/14)/((-26)/(-91)) + 2)*-174 a multiple of 24?
True
Suppose 3*z - 6*z - 5*l + 9 = 0, z = -3*l - 1. Suppose d = -2*j + 432, -3*j = -z*j - 2*d + 1080. Is j a multiple of 9?
True
Let d = 38916 + -26436. Is d a multiple of 134?
False
Suppose -2*w = -5*p + 4051, w = 3*p + 4*w - 2418. Suppose 2439 = 8*m - p. Is m a multiple of 14?
True
Let t(c) = c**3 - 12*c**2 - 13*c + 2. Let d be t(13). Let n be 1 - (-1 + d)*-1. Suppose v - 5*v + 4*f + 52 = 0, 5*v - n*f = 65. Is 4 a factor of v?
False
Suppose 3*q - 2015 - 2830 = -3*r, -4*q - 3*r = -6455. Is 35 a factor of q?
True
Let x = 236 + -248. Is 90/40*x/2*-6 a multiple of 3?
True
Suppose -1812 = 15*g - 60534 - 148203. Does 89 divide g?
True
Let j(b) = 1453*b**2 + 26*b + 25. Does 33 divide j(-1)?
True
Let w = 95132 - 55423. Does 132 divide w?
False
Is 18 + 2423 + -26 + 1 + -9 a multiple of 9?
False
Let r(a) = -a**2 + 8*a + 11. Let h be r(9). Let c(z) = 36*z**3 - 4*z**2 + 9*z - 9. Is c(h) a multiple of 21?
False
Let k(b) = -b**3 + b**2 - b. Let h(d) = 2*d**3 + 6*d**2 + 2*d + 1. Let z(n) = h(n) - 2*k(n). Is 55 a factor of z(5)?
False
Suppose -35 = 8*f - 13*f. Is (-1)/1 - ((-1190)/f)/5 a multiple of 9?
False
Let g(h) = -390*h - 105. Is 63 a factor of g(-14)?
True
Let f = 96 + 53. Let u = f - 72. Let c = 43 + u. Is c a multiple of 19?
False
Let q = -1018 + 619. Let p = -278 - q. Is 8 a factor of p?
False
Let m(d) = -d**3 + 9*d**2 - 19*d + 25. Let j be m(6). Let q = 56 + j. Does 54 divide q?
False
Let h(p) = -5*p - 40. Suppose 0 = d - 2, -5*r + 2*r = 2*d + 38. Is 30 a factor of h(r)?
True
Let g be (-2)/(-20) - 4/200*-295. Suppose -i + 6 = 4*x - 3*i, x - 3 = -i. Suppose -g*n + x*n = -184. Is n a multiple of 12?
False
Let x(i) = -4 + 46*i**2 + 3 - 14*i**2 - 5*i + 6*i. Let b be x(-3). Suppose -4*d = -b - 100. Is d a multiple of 24?
True
Let s = 9598 - 5643. Is s a multiple of 7?
True
Let p(v) = 29*v**3 + 8*v**2 + 3*v - 21. Let a be p(-5). Let y = a + 4886. Is y a multiple of 19?
True
Suppose 27*d = 35*d - 28360. Is d a multiple of 80?
False
Let p = -12227 - -15077. Does 2 divide p?
True
Let l(a) = -56*a**2 - 1118*a + 46. Is l(-16) a multiple of 52?
False
Let z = -177 + 174. Is 16 a factor of 9/((z/(-10))/(144/120))?
False
Let b = -62 + 55. Let j be ((-6)/3)/(((-28)/(-8))/b). Suppose 2*c = -4*t + 112, -c + j*t = -0*c - 68. Is c a multiple of 10?
True
Let l(p) = -11*p + 18*p + 16 - 4*p. Let r be l(-4). Suppose -r*f + 43 = -33. Is f a multiple of 19?
True
Let z(w) = -670*w**3 - 9*w**2 - 10*w - 10. Is z(-2) a multiple of 22?
False
Suppose -26*l = -32*l - 30. Let n(p) = -6*p + 1. Let a be n(l). Suppose -36*m + a*m + 540 = 0. Is m a multiple of 18?
True
Let j = 69 + -72. Let k = j - -7. Suppose 5*y - 3*y + 2*s - 38 = 0, -k*y - s + 82 = 0. Is y a multiple of 15?
False
Let b(w) = w**3 + 11*w**2 - w - 16. Let x be b(-11). Let u be (-6)/x*20/6. Suppose 2*y - 98 = -2*f + 282, 0 = 2*y + u. Does 16 divide f?
True
Suppose -837 = 3*a - 3*m, -2*a = 2*m + 277 + 289. Let r = 547 + a. Suppose 4*t - 227 = 5*l, 5*t - 5 = 2*l + r. Is t a multiple of 10?
False
Let n(x) = -3*x**2 + 179*x + 40. Does 10 divide n(23)?
True
Is 24 a factor of 8/(-56) + (-1 - 14664/(-42))?
False
Suppose 5*a - 1325 = -2*m, 3*m = -a + 5*m + 253. Suppose 0 = -3*o + 3, 4*q - 5*o - 120 = a. Is q a multiple of 16?
False
Let d be (-1782)/(-405) + ((-14)/10 - -1). Suppose 0 = 17*n - d*n - 3289. Is n a multiple of 11?
True
Suppose 20*n - 2*n = -8154. Let w = n + 908. Is w a multiple of 35?
True
Suppose -75*c = -74*c + 4*r - 5649, -4*r = -4*c + 22676. Does 55 divide c?
True
Let m = 790 + -365. Suppose 2655 = 10*v - m. Is 22 a factor of v?
True
Does 28 divide 10130/1 + (46 - 40)?
True
Let o be ((-9)/(-4))/((-21)/(-364)) + 5. Is (o + -39)*(-1 - (2 + -124)) a multiple of 6?
False
Suppose 0*t + 1 = -r + 3*t, -10 = -4*r - 2*t. Is (-15)/(-25)*(72 - r) a multiple of 7?
True
Suppose 2*g + 3 = -n + 11, -8 = -4*g - 4*n. Is g/60*-6*-30 a multiple of 7?
False
Suppose a = 2*n - 260, -178*a + 174*a - 4*n = 992. Let b = 536 + a. Is 16 a factor of b?
False
Suppose 11*t - 13*t + 3034 = l, 5*l - t - 15214 = 0. Suppose 44*z = 35*z + l. Is z a multiple of 54?
False
Let r be (-5)/(140/(-16)) - 38/(-7). Let p be (1 + 13/(-7))*(-20 + r). Suppose 8*y + 468 = p*y. Is 13 a factor of y?
True
Let w(z) = 81*z**2 + 122*z - 4. Is 78 a factor of w(-8)?
False
Let w be (27/6 - 3) + (-1)/2. Let p be 8/10*(-10)/(-4). Is (p + 1 + -113)*w/(-2) a multiple of 11?
True
Suppose 18011519 + 8816675 = 574*o - 12999944. Is 114 a factor of o?
False
Suppose 40 = -0*c + 2*c. Suppose -2*j = 2*j + 52. Let r = c + j. Is 7 a factor of r?
True
Suppose 105 = -13*n - 90. Does 4 divide 1525/n*(-18)/15?
False
Suppose q + 6 = 2*q - 2*p, 9 = q - 5*p. Suppose -462 = q*b - 106. Let o = b + 193. Does 13 divide o?
True
Suppose -2*k = -a - 6*k, 5*a = -3*k. Let s be 4 + a + -8 + 4. Suppose 3*r + 4*r - 350 = s. Is r a multiple of 17?
False
Suppose 25 = -5*u + 2*q, 10 = -2*u - 2*q - q. Is 7*26 + (u - -1) a multiple of 16?
False
Suppose 3*v - 11418 = -2*u, -124*u - 4*v = -128*u + 22756. Is 9 a factor of u?
True
Let u(s) = 2*s**2 - 5*s + 4. Let w be u(5). Suppose -w*t = -31*t + 8. Suppose -13*q - 2*j + 106 = -8*q, 0 = -t*j + 12. Does 4 divide q?
True
Is 33 a factor of -1584*(1/3 + 16/(-12))?
True
Let r(i) = 141*i - 41. Let j be r(4). Suppose -5*d - 710 = -4*h, j = -3*h + 6*h + d. Is h a multiple of 16?
False
Let f be (-748)/84 + (-4)/42. Let c(x) = 2*x**2 + 10*x + 12. Let y be c(f). Is 14 a factor of y/(4*4/40)?
True
Let q = -3 + 1. Let j be 4/(-7)*35/20*q. Does 36 divide ((-40)/(-1))/(j/9)?
True
Suppose -58*h + 57 = -59. Suppose 0 = -l + 1 + 3, h*o - 5*l - 224 = 0. Does 8 divide o?
False
Let j = -220 - -235. Suppose j*f - 300 = 10*f. Is f a multiple of 6?
True
Let z be (3 - 1)/(-1)*(18 - 19). Suppose 425 + 1357 = z*c. Is 27 a factor of c?
True
Let p = 52 - 49. Suppose -2*i = -v + 12, -4*v + p*v - 4*i = 12. Does 8 divide 161/4 - v/16?
True
Suppose s = 2*y - 8662, -3*s = 3*y + 2*s - 13006. Does 12 divide y?
True
Suppose 4 = -m, m - 1963 = -3*p + 1246. Suppose p = 11*q - 8*q. Does 14 divide q?
False
Suppose -67*t + 1107 = -58*t. Suppose -41 = -5*x + 54. Suppose t = p + x. Is p a multiple of 17?
False
Let y(q) = 1873*q - 183. Is y(7) a multiple of 16?
True
Let y be (-9)/(-2)*((-5)/5 - -149). Suppose -4*q + 24 - 183 = -x, -q - y = -4*x. Does 13 divide x?
False
Let t(w) = w**3 - 80*w**2 - 440*w - 436. Does 40 divide t(92)?
False
Suppose 3*w + 1029 = -2*s, -4*s - 1413 = 4*w - 45. Is 5 a factor of (w/276)/(2/(-160))?
True
Let g(u) be the first derivative of -3*u**2/2 + 14. Let p be g(-5). Is ((-35)/p)/((-2)/6) a multiple of 7?
True
Let k = -322 - -325. Suppose 0 = -m + k*n + 99, -70 = -m + 4*n + 31. Is 6 a factor of m?
False
Let t = 3 - -12. Let i(u) = -u**3 + 15*u**2 - 6*u - 22. Let x be i(t). Let w = x - -242. Is 35 a factor of w?
False
Suppose -3*g = 2*x - 416 - 1659, 2*x - 4*g - 2040 = 0. Does 6 divide x?
False
Let t = -18 + 12. Let j(w) = -w**3 - 5*w**2 + 4*w - 12. Let h be j(t). Suppose h*b + 261 = 3*b. Does 23 divide b?
False
Does 28 divide (2214/(-90) - -19)/(1/(-2400))?
True
Let y = 1641 - 1162. Suppose -2*g + 4*t = -964, g + 2*t - y = 5*t. Is 46 a factor of g?
False
Let a(o) = -5*o**3 - 4*o**2 + 2. Let d be 135/(-9) - 2/2. Let n(v) = v**2 + 15*v - 19. Let l be n(d). Does 27 divide a(l)?
False
Let f(r) = -12*r - 3. Let y be (-18)/99 - 12*(-4)/22. Let a be (-4 + 1)/(y/6). Is f(a) a multiple of 20?
False
Let m be (-1 + -20)/((-27)/36). Let p(f) = 15*f**2 + 2*f + 12. Let a be p(4). Suppose 8*t = m + a. Is 33 a factor of t?
False
Suppose 173*c - 1317587 = 385425. Is 22 a factor of c?
False
Let z = -32515 - -53985. Is z a multiple of 190?
True
Is 29 a factor of ((-32)/56 - (-3)/(-7))/((-9)/85545)?
False
Let d(z) = -268*z**3 - z**2 + 6*z + 14. Let w be d(-2). Suppose -4*y = -w - 1122. Does 12 divide y?
True
Let x(g) = -5