. Let k be (4*2/8)/(o/(-8)). Is 47/2*(2 + k) a multiple of 15?
False
Let t = 14524 - 9649. Suppose -5*b + b = 5*d - t, 2*d - 1950 = 3*b. Does 13 divide d?
True
Suppose -156*w + 167*w = -77. Let b(q) be the third derivative of -53*q**4/24 - 14*q**3/3 - 2*q**2. Is 45 a factor of b(w)?
False
Let a = 66 - 61. Suppose -g + a = 0, -4*y - 5*g = -33 + 4. Suppose 2*c - 113 = -y. Does 14 divide c?
True
Suppose 9*t - 12 = 33. Let b(f) = 59*f**2 + 3*f + 2. Let d be b(-3). Suppose d = 4*k - t*a, -k - a + 548 = 3*k. Is 34 a factor of k?
True
Suppose -4*c - 5*r = -20185, -c - 3*r + 5015 = -8*r. Does 6 divide c?
True
Suppose 8*g + 11 = 4*g - 3*w, 30 = 5*g - 5*w. Does 27 divide (10 + -13)/(g/(-36))?
True
Let u be -7 + 6 + 2 + (0 - 3). Let x be 605/3 + (5/(-3) - u). Let b = -138 + x. Does 13 divide b?
False
Does 26 divide (-100)/20*(-4 - -5)*-79?
False
Suppose 87*w - 6 = 89*w. Is 9/w*320/(-6) a multiple of 16?
True
Let c(s) = 4*s**2 - 34*s - 38. Suppose 0 = 22*r - 11*r - 187. Is c(r) a multiple of 36?
True
Let c(o) = o**3 - 12*o**2 - 13*o. Let r be c(13). Suppose -d - 18*d + 1140 = r. Is d a multiple of 20?
True
Let m(z) = z**2 - 51*z + 42. Let u be m(23). Let t = -371 - u. Is t a multiple of 7?
True
Suppose 55 = 3*x - 8*x. Let w = 8 + x. Does 16 divide 0 - (-3 - ((-372)/w - -1))?
True
Suppose 32*o - 29*o = -5*k + 486, 4*k + 680 = 4*o. Does 3 divide o?
False
Suppose -2*s + 2*w + 10 = 12, -4*w = 3*s + 38. Is (-2)/s + 8057/21 a multiple of 48?
True
Let n be (-262026)/(-72) + (2 - (-18)/(-8)). Suppose 0 = 9*a - n - 2724. Does 49 divide a?
False
Let o(a) = 4 + 23*a**3 - a**2 + 0 - a**2 - 4 + 4 - 2*a. Is o(2) even?
True
Let i be ((-3)/(-4))/((-6)/432) - 3. Let v(h) = -7*h - 16. Let m be v(7). Let o = i - m. Does 2 divide o?
True
Let d = -131 - -128. Let b(g) = -8*g**3 + 11*g**2 + 2*g + 5. Does 25 divide b(d)?
False
Let v = -27371 - -32859. Is v a multiple of 196?
True
Suppose 0 = 2*j + 7 - 9. Let y(o) = 60*o + 1. Let r(l) = 59*l. Let d(g) = 3*r(g) - 2*y(g). Is d(j) a multiple of 11?
True
Let v(k) = k**2 - 12*k + 10. Let p be v(14). Let m = -40 + p. Is m/7 - ((-4290)/(-7))/(-3) a multiple of 12?
True
Suppose 3*l - 3*z - 198 = 0, 58*z - 55*z = -2*l + 122. Does 32 divide l?
True
Let k = 11988 - 4914. Is k a multiple of 18?
True
Suppose 4*r = 5*o - 85, 0*o + r = 4*o - 57. Is (o/(104/160))/(1/34) a multiple of 24?
False
Suppose -39 = -0*x - x. Suppose 0 = 191*a - 195*a + 304. Let v = x + a. Is 16 a factor of v?
False
Suppose -7*d + 26*d = 0. Is 33 a factor of (-8)/(-1) + 110 + d?
False
Suppose 21*s - 17*s = 216. Is 15*9/s*74 a multiple of 45?
False
Suppose 17*o + 8 = -26. Let i = o + 2. Suppose i*g = -g - 4*s + 38, -2*g - 3*s + 86 = 0. Does 10 divide g?
False
Suppose -17*l = -20*l + 21. Suppose -l = 3*n - 16. Is 9 a factor of 82 - ((-6)/n - 0)?
False
Suppose -5*y = 3*h - 2025 - 3050, 3*y + 5*h - 3029 = 0. Is y a multiple of 16?
False
Suppose -936*z + 3*u = -937*z + 2637, -5*u = 3*z - 7923. Is z a multiple of 14?
True
Let p = 108 - 106. Suppose -3*r - 3*u + 1 = -2, 4 = -r - p*u. Does 5 divide (10/4)/((-4)/(-432)*r)?
True
Let b(w) = 5231*w - 1823. Is 112 a factor of b(3)?
False
Let z(r) = r + 8. Let b be z(-5). Let o(c) = 2*c**3 + 73*c**2 - 34*c + 252. Let q be o(-37). Suppose -w + q = -b*l + 495, -5*l = w - 582. Is 13 a factor of l?
True
Suppose 8*d = 4381 + 315. Suppose -5*x - 4*t = -d, 3*x + t - 357 = -3*t. Suppose u = 3*c - x, 2*c = -c + 2*u + 110. Is 21 a factor of c?
False
Let p be (-2)/(-6) - (-6 - (-261)/(-27)). Let t(g) = 2*g**2 - 28*g + 68. Is t(p) a multiple of 4?
True
Let h = -1067 - -3099. Is 52 a factor of h?
False
Let m(k) = 7*k - 79*k + 5*k**2 - 112*k + 14*k + 72. Does 57 divide m(40)?
False
Suppose -4*d = -5*d + 116. Let l be (10/(-4))/((-1)/2). Suppose 104 + d = l*h. Is 11 a factor of h?
True
Let x be (-1)/(10/(-498)) + 43/215. Let z(m) = -41*m - 27 + x + 36*m. Does 8 divide z(-5)?
True
Suppose 517*r + 39710 = 612*r. Is r a multiple of 11?
True
Let d(b) = -73*b + 99. Is d(-33) a multiple of 12?
True
Let k(p) = -p**3 - 57*p**2 - 15*p + 70. Does 16 divide k(-57)?
False
Let a = 7096 + -3964. Is a a multiple of 29?
True
Let a(h) = 28*h**2 + 15*h - 5. Is 5 a factor of a(-10)?
True
Let p be (-3*10/15)/(2/4). Let h be (-18 - 2)/p*(134 + 5). Suppose -3*a - 65 = -h. Is a a multiple of 15?
True
Suppose 0 = -d + i + 6192, 168*i = 4*d + 171*i - 24754. Is d a multiple of 10?
True
Let c = 10612 + -7537. Is c a multiple of 3?
True
Let f = 294 - 290. Suppose 4*r + f*g - 3*g - 1267 = 0, -333 = -r + 3*g. Is 16 a factor of r?
False
Suppose 0 = 18*p - 14*p + 11294 - 44390. Does 13 divide p?
False
Let o(l) = -2*l**3 - 4*l**2 - 2*l + 1. Let y(i) = 2*i - 21. Let b(j) = -j - 12. Let g be b(-21). Let f be y(g). Does 16 divide o(f)?
False
Let p be 50/4 + 10/(160/(-24)). Suppose 3*y - 1 = p, 5*r = -3*y + 1242. Is 9 a factor of r?
False
Suppose -8793 = -5*q - 4*j - 513, 3312 = 2*q + 3*j. Suppose -5*u + q = -3*w, -2*u + 9*w = 14*w - 650. Is u a multiple of 33?
True
Let z(c) = -c**2 - 4*c + 16. Let d be z(-6). Suppose f = 4*a - 4 + 3, -3*f + d*a = -5. Is 40/60 + 115/f a multiple of 10?
False
Suppose -2*k - 1062 + 152 = 4*u, 0 = -2*u - 4*k - 464. Let p = u - -241. Does 15 divide p?
True
Let w be (-1 - -2)/(12/276). Does 46 divide 3 + w/(-7) + (-4188)/(-7)?
True
Let c be 2698 + 1 + (-192)/32. Let p = -1817 + c. Does 73 divide p?
True
Suppose -2*v + 0*j - 3*j - 16 = 0, -6 = -5*v + 4*j. Let h be (-2)/v*(-17 + -1). Is 2 a factor of (h/(-15))/((-1)/(-10))?
True
Suppose -26*t + 11*t - 63478 = -255613. Is t a multiple of 138?
False
Suppose 2*y = -5*v - 1487, -4*y = -41*v + 38*v - 913. Suppose 184 = -j - 5*n, -3*j - 726 + 152 = 4*n. Let h = j - v. Is h a multiple of 15?
True
Let q = 58 - 54. Does 3 divide (-5544)/(-28)*2/q?
True
Let t = 68 + -60. Suppose r - 103 - t = 0. Is r a multiple of 20?
False
Let m(o) = o**2 + 20*o - 23. Let r be m(-12). Let c = 258 + r. Is 5 a factor of c?
False
Let y = 23 - 11. Suppose 9 = -n + y. Suppose -n*b + 154 = l - 121, -l = 5*b - 461. Is b a multiple of 23?
False
Suppose -21*g - 4888 = -3*p - 16*g, -6512 = -4*p + 4*g. Does 33 divide p?
False
Suppose 5*f - 2*x - 46807 = 0, 0 = -5*f + x - 18096 + 64902. Does 23 divide f?
True
Let f(n) = 117*n**3 - 24*n**2 + 7*n + 30. Does 29 divide f(8)?
False
Let m(v) = -50*v - 98. Let w be m(-28). Suppose w = 2*t - 1140. Is 37 a factor of t?
True
Let v(q) = 1. Let p(s) = 134*s + 1. Let d(i) = p(i) + v(i). Let a be d(-1). Is (a/(-36))/((-1)/(-3)) even?
False
Let l = -9 + 9. Suppose l = 5*o - 156 - 54. Let u = o + -16. Does 21 divide u?
False
Let g = -138 - -168. Does 6 divide 9558/g - (-8)/20?
False
Let t(r) = r**2 - r - 31. Let w be t(-20). Suppose 369 = 2*k - w. Does 36 divide k?
False
Suppose -4*m - 20 = -5*j, 0 = 3*j + 5*m + 29 - 4. Suppose -3*n + 330 = x + 4*x, j = -5*n + 4*x + 513. Does 15 divide n?
True
Suppose 3*r = -9, 4*q - r - 13 = -q. Suppose 0 = z - 106 - q. Is 36 a factor of z?
True
Let f(q) = -q**3 + 21*q**2 + 21*q + 22. Let l be f(22). Does 7 divide (l - 1)*35*252/(-90)?
True
Let f = -1555 + 1559. Let c(d) be the first derivative of d**3 - 3*d**2/2 - 8*d - 2. Is 2 a factor of c(f)?
True
Let t(b) = -8*b + 966. Let g be t(0). Suppose 26*q = 5222 + g. Does 47 divide q?
False
Let x(d) = -5*d + 5. Let a = -17 + 15. Let i be x(a). Does 4 divide (i/20)/(1/12)?
False
Suppose -10*t - 14 = -44. Is 33 a factor of (t/18)/((-11)/(-20922))?
False
Let f(d) be the second derivative of -d**4/6 - 11*d**3/3 - 2*d**2 + 17*d. Let s be f(-7). Suppose -5*y + 5*h - 7 = -s, -3*y + 45 = 3*h. Is y a multiple of 9?
False
Let r(a) = 9*a**2 + 168*a - 1425. Does 165 divide r(43)?
True
Suppose -2*c + c = -5*c. Suppose c = -18*w + 373 + 77. Is w a multiple of 5?
True
Let k = 553 + -1004. Let g = 1026 + k. Does 58 divide g?
False
Let n(v) = 3*v**3 - 3*v**2 + 42*v - 169. Is n(13) a multiple of 7?
True
Let c(h) = h**3 + 6*h**2 + 2*h + 6912. Does 72 divide c(0)?
True
Suppose -8 = 45*f - 47*f. Suppose -f*x - 76 = -6*x + 4*h, -4*x - 2*h = -112. Is 10 a factor of x?
True
Let f = 61 - 83. Let x = 22 + f. Suppose 5*u + 2 - 82 = x. Is u a multiple of 2?
True
Let q = -186 - -301. Let c = q + -112. Suppose v = -4*z + 885, -7*z + 2*z + 1085 = -c*v. Is z a multiple of 17?
False
Suppose -171*h - 42940601 = -790*h - 13952831. Does 70 divide h?
True
Suppos