u(c) = 83*c**2 + 5*c + 8. Let m(z) = -83*z**2 - 5*z - 9. Let s(h) = 2*m(h) + 3*u(h). Is 28 a factor of s(-1)?
True
Let o(i) = -i**2 - 8*i - 7. Let x(w) = -w**3 + 6*w**2 - 8*w + 11. Let y be x(5). Let p = y + -1. Is 2 a factor of o(p)?
True
Let y(i) = -2*i - 10. Let x be y(-4). Let k be 18/6 - (0 + x). Suppose 3*t - 4*t = 3*p - 43, -k*p = t - 73. Does 5 divide p?
True
Suppose 2*n = 18*n + 288. Does 33 divide (-9)/n*-154*-1*3?
True
Suppose 0 = 2*k + 3*s - 111717, -4*k + 175*s - 176*s + 223439 = 0. Does 24 divide k?
False
Is 11/(2*((-24130)/210596 + (-2)/(-17))) a multiple of 74?
False
Let w(m) = -5*m**3 + 6*m**2 + 9*m + 5. Let o(h) = -8*h**3 + 9*h**2 + 13*h + 7. Let p(j) = -5*o(j) + 7*w(j). Let g be p(-2). Is 7 a factor of (15/20)/((-2)/g)?
False
Let v(p) = 8*p**2 + 17*p - 1. Let y = 56 - 62. Let r be v(y). Suppose 11 - r = -3*o. Is 13 a factor of o?
False
Suppose 5*w - 15 = -3*m + 6*m, 15 = 2*m + 5*w. Suppose 8*u - 3*u + 4*q - 1087 = m, 0 = -2*u - 2*q + 436. Let g = u - 95. Is 20 a factor of g?
True
Let f(l) = -2*l**2 - 13*l**2 - l**3 + 4 + 0 - 10*l. Let u be f(-15). Is 11 a factor of u/(-1)*4/(-8)?
True
Let o = 28587 - 3539. Is o a multiple of 98?
False
Let l = -118 - -155. Suppose -w + 121 = l. Does 2 divide w/3 - -4 - (1 + -1)?
True
Let w(i) be the third derivative of i**5/30 + 17*i**4/24 - 5*i**3 + 4*i**2. Suppose -a + 6817 = 6835. Is 13 a factor of w(a)?
True
Let v = -2 - -5. Suppose -v*i - 3 = -4*i, 0 = -x + 3*i. Let t = 19 - x. Is t a multiple of 3?
False
Suppose -3*k - l = 2*k + 103, l + 23 = -k. Let i be (k/24*16)/(2/(-72)). Suppose -970 = -5*h + i. Is h a multiple of 29?
True
Is 24 a factor of 4/(-6)*-1409*(-2214)/(-36)?
False
Let y be (-85)/(-102) + (-1)/(-6). Is 3*(y/9 - 43420/(-180)) a multiple of 17?
False
Let m(v) = 5*v**2 + 18*v + 67. Is m(22) a multiple of 31?
True
Suppose 0 = 58*h + 43*h - 1581357. Is h a multiple of 17?
True
Does 29 divide 3393 + 0/(1 + 0)*(-2)/(-8)?
True
Suppose 4*f - 36 = -4*y, 2*y - 33 = -3*y + f. Let j(q) = -26*q + 4*q**2 - 5*q**2 + y - 4 + 5. Is j(-19) a multiple of 58?
False
Suppose 11 - 27 = -4*s. Suppose -4*n + 21 = -s*o - 47, 0 = 2*o + 4*n + 16. Let a(x) = -2*x**2 - 31*x + 26. Is a(o) a multiple of 30?
False
Let p(d) = 17*d - 21. Suppose 0 = q - x - 8, 5*x + 14 + 2 = 2*q. Does 11 divide p(q)?
False
Let q(m) = 21*m + 9. Let k = 64 + -72. Let n be (((-112)/(-3))/k)/((-2)/3). Does 26 divide q(n)?
True
Is 5 a factor of (10/6)/((-2)/8*(-256)/14016)?
True
Suppose -3*y + 3*d = 447, -2 = -2*d + 2. Let o = -98 - y. Is 49 a factor of o?
True
Does 14 divide 3 - ((-3460)/6)/((-18)/(-27))?
True
Suppose 0 = -20*w + 35*w. Suppose w*u - 2*z + 358 = u, 0 = -4*u - 4*z + 1416. Is 10 a factor of u?
True
Is (-8 + -3 + 10)*(-3827*1 - -2) a multiple of 45?
True
Let k be (-4598)/(-25) + 28/350. Let n = 520 - k. Does 4 divide n?
True
Suppose 24*z - 138114 = 1686. Is 7 a factor of z?
False
Suppose 3*h - 5*q - 47 = -h, 3*h = 2*q + 30. Suppose -6*k + 28 = -h*k. Let v = k - -38. Is 12 a factor of v?
True
Let a be 226/5 - (-3)/(-15). Let r = a + -45. Suppose -21 = 3*s - 6, r = 5*b - s - 380. Is b a multiple of 15?
True
Let o(t) = -4*t**3 + t. Let x be o(-1). Suppose 3*s - 2*u = -2767, x*u - 38 - 2731 = 3*s. Is 6/24 - s/12 a multiple of 14?
False
Suppose 0 = -6*i + 24 + 12. Let a(n) = 7*n - 8*n - 5*n + i*n**2 - n**2. Is a(3) a multiple of 9?
True
Let h = -1870 + 3011. Is h even?
False
Let i = 416 + -414. Suppose 0 = 4*t - 4*u - 4436, i*t + 3*u = -0*u + 2213. Is 58 a factor of t?
False
Let t = 5891 + -4037. Is t a multiple of 9?
True
Let y be -8*(2 + 25/20 + -4). Suppose -b - 265 = 4*d - y*d, 0 = 3*d + b - 405. Is d a multiple of 10?
False
Let d = -164 + 164. Suppose d = 949*p - 953*p + 1308. Is 19 a factor of p?
False
Let l(x) = x**2 + 6*x + 36. Suppose c + 25 = 2*y - y, 4*y - 2*c - 96 = 0. Is l(y) a multiple of 9?
False
Let d be 114/(-42) + 3 + 6/(-21). Let p = -70 + 74. Suppose d = 5*f + p*g - 468, 0 = -2*f + g + 87 + 108. Is 16 a factor of f?
True
Suppose -5*g + j + 77720 = 0, 16*g - 18*g - 3*j + 31088 = 0. Does 8 divide g?
True
Suppose -2*s - 3*b = 611, -7*s + 5*s + 5*b - 651 = 0. Let q = -109 - s. Does 11 divide q?
False
Let c(z) = 10032*z**2 - 23*z + 23. Does 264 divide c(1)?
True
Suppose 4*h = h + 36*h. Suppose -2*i + 623 + 1377 = h. Does 50 divide i?
True
Let w(a) = -a**2 - 14*a + 19. Let i be w(-15). Let h be 3 + (8/20)/(2/10). Suppose q - h*q = -i*v - 28, 0 = 3*q - 5*v - 11. Does 4 divide q?
True
Is (3693*(2 - 3))/(33/(-22)) a multiple of 94?
False
Suppose 2*i - o = -3*o + 1774, 4*i = -5*o + 3552. Does 12 divide 48/(-8) + i + -2?
False
Suppose -3708 = -4*v - 3736, -y + 11910 = -3*v. Is y a multiple of 59?
False
Let a = 44 + 335. Let f = 1291 - a. Is 48 a factor of f?
True
Let a be 2*(-1)/18 - 350917/(-63). Suppose 38*h + a - 29472 = 0. Is h a multiple of 8?
False
Suppose 0 = -5*r + 2*l + 15948 + 69054, l - 67999 = -4*r. Suppose -20*a = 14*a - r. Is a a multiple of 12?
False
Let h be -6 + 3 + 2 + 763. Let i = h - 286. Does 17 divide i?
True
Let d be (-180)/(-99) - (-6)/33. Does 13 divide 60756/83 + d + 1?
False
Suppose 0 = 1421*h - 1413*h - 3648. Is h a multiple of 24?
True
Let x = -55 - -79. Let h be (-207)/(-6)*(-32)/x. Does 2 divide (h*3/12)/((-1)/2)?
False
Let p(s) = -2*s - 10 + s**2 + 6*s - 7*s. Let o be p(5). Suppose 0 = 5*r + 4*u - 230, -3*r + 165 = -o*r - 3*u. Is 10 a factor of r?
True
Let r(t) = -175 - 4*t + 171 + 219. Is 13 a factor of r(0)?
False
Let c(m) be the second derivative of m**4/6 - 9*m**3/2 - 5*m**2/2 + 18*m. Let k(l) = 2*l**2 - 27*l - 6. Let r(b) = -3*c(b) + 2*k(b). Is r(13) a multiple of 2?
True
Let z = 1736 + -933. Let l = z - 503. Is l a multiple of 67?
False
Let p(w) = -16*w + 1088. Is p(18) a multiple of 50?
True
Suppose 5*u = 3*s - 125, 2*u - 167 = -3*s - 2*s. Let n = 45 - s. Suppose 0 = -3*y - n + 73. Is y a multiple of 7?
True
Let j(g) = 196*g**2 - 15*g + 10. Does 22 divide j(-5)?
False
Suppose -2*l = 4*b - 80, l - 95 = -2*l - b. Let m = l + -14. Is m a multiple of 6?
False
Let t(r) = 12*r**2 - 10*r - 15. Let d = 141 - 135. Let g be t(d). Let z = g - 211. Is 10 a factor of z?
False
Let i(y) be the second derivative of -31*y**3/6 + 4*y**2 - 1752*y. Suppose 5 + 4 = -3*g. Is i(g) a multiple of 18?
False
Suppose 3*l - 2*t = 10327 + 1819, l - 5*t = 4066. Is l a multiple of 14?
True
Let v(m) = -43*m - 40*m - 54 + 65*m. Is 30 a factor of v(-10)?
False
Suppose 3249 + 8540 = 8*h - 6531. Does 6 divide h?
False
Suppose 41*k - 108910 = 308265. Is k a multiple of 25?
True
Let a(j) = 0*j**3 + 2*j**3 - 352*j**2 - 2 - 15*j - 3*j**3 + 340*j**2. Suppose -3*v - 4*n = -2*n + 31, 4*n - 4 = 0. Does 7 divide a(v)?
True
Let u(n) = -946*n - 1561. Does 9 divide u(-8)?
False
Let k(p) = 3952*p**2 + 77*p + 236. Is k(-3) a multiple of 56?
False
Let z(m) = 9605*m**2 + 42*m - 43. Is 33 a factor of z(1)?
False
Suppose -7*a - 6*a = 0. Suppose -2*i - 91 - 57 = a. Is 1*2*(-38 - i) a multiple of 9?
True
Let f be 140/(-30)*(-5)/((-20)/(-6)). Suppose 3 = -t + 8. Suppose -t*y - 126 = -f*y. Does 38 divide y?
False
Suppose 0 = -4*b - x + 2201, -3*b = b + 5*x - 2221. Let n = b + -305. Does 8 divide n?
False
Let c(a) = 3*a + 21. Let n be c(-5). Suppose n = -b + 2*v, -b + 4*v - 14 = -0*b. Suppose -4 = b*s, 49 = h + 3*s + 5. Is h a multiple of 4?
False
Let j(g) = g**2 + 142*g + 4377. Is j(-130) a multiple of 6?
False
Let i(q) = 161*q + 14187. Does 6 divide i(-45)?
True
Let o(f) = 10*f + 172. Does 2 divide o(-14)?
True
Let c(a) = 1153*a**3 + 2*a**2 - 2*a - 1. Is c(1) a multiple of 9?
True
Let h(b) = -1 - 8*b**3 - 12*b**3 + 26*b**3. Let w be h(1). Suppose 5*m = -w*i + 850, 2*i + 176 + 534 = 4*m. Is 26 a factor of m?
False
Let a = -24 - -27. Suppose a*k + 9 = 4*k. Suppose k*h = 6*h + 117. Is h a multiple of 13?
True
Let d(m) = -17*m**2 - 6*m - 7. Let o be d(-3). Is 2 + (-5 - (o + -1)) a multiple of 12?
False
Suppose 4*q + 2*n = 1878, 3*q - 490 = 4*n + 946. Suppose 471*h = q*h - 144. Is 24 a factor of h?
True
Is 37 a factor of (21/((-126)/4))/((-6)/14319)?
True
Let u = -3926 + 10012. Is 39 a factor of u?
False
Let a(u) = 3*u + 12. Let s be a(-5). Let j be -6 + 2*(2 + s). Is 10 a factor of -10*(j/48 - (-10)/(-12))?
True
Let u(s) = s**3 + 5*s**2 - 8*s - 7. Let j = -58 + 52. Let y be u(j). Suppose -3*b - 3*a = -216, y*b + 2*a - 350 = 7*a. 