t q = -140 + 75. Let z = q + 157. Is 18 a factor of z?
False
Suppose 4*u - 3*h = 107, -4*h - 26 = -u - 3*h. Let w(t) = t**3 + 34*t**2 + 281. Let i be w(0). Let f = i - u. Does 28 divide f?
True
Let k(g) = -22*g + 421. Is 7 a factor of k(-48)?
True
Let l(g) = -39*g**2 - 14*g - 5. Let o(x) = 38*x**2 + 17*x + 4. Let w(k) = -6*l(k) - 5*o(k). Is w(2) a multiple of 23?
True
Let f = -426 - -153. Let z = 536 + f. Is z a multiple of 3?
False
Suppose -v - 1212 = -5*m, -7*v + 6*v - 1240 = 2*m. Let x = -688 - v. Is x a multiple of 34?
True
Suppose -14 = -5*y + 2*m, 3*y - 3*m - 12 = -0*m. Suppose -3*c + a - 1 - y = 0, 3 = -5*c + a. Suppose c = 2*p - 76 - 210. Does 11 divide p?
True
Suppose 15*g + 18*g - 32161 = 4*g. Let w be 15*((-5)/3 - -2). Suppose -w*f - 2*s = -g, -892 = -2*f - 2*f - 4*s. Does 30 divide f?
False
Let g be 2/20*2 - (-5740)/50. Suppose 0 = q - 3*b - g, -q + 146 = 4*b - 4. Is 26 a factor of q?
True
Let f(m) be the second derivative of 13*m**5/5 - m**4/6 - m**3/3 - m**2 - 7*m. Let v be f(-1). Let x = v - -124. Is 35 a factor of x?
True
Suppose -17 = 3*b + 4. Let u(y) = -y - 2. Let a be u(b). Is 4 a factor of a/((-10)/(-36)) + -2?
True
Let b = 1572 - 148. Let o be 2*(-3)/(-4)*b/24. Suppose 4*y = o + 31. Is 10 a factor of y?
True
Is ((-12)/(-18) + 0)*(1 - 1 - -4836) a multiple of 7?
False
Let n(x) = x**3 - 21*x**2 - 24*x + 42. Let k be n(22). Let o be k/6 - (-22)/(-33). Does 25 divide -1*((o - 3) + -103)?
False
Suppose 102 = 7*v + 333. Let s = v + 38. Suppose s*w = 5*z + 350, -4*w + 8*w + z = 270. Is 16 a factor of w?
False
Let c(t) = -21*t - 74. Suppose 4*z + 3 = -2*s - 15, 3*z + 24 = 2*s. Is 13 a factor of c(z)?
True
Is 77 a factor of (-17256484)/(-476) + (12/(-102))/1?
False
Suppose 537 = j + l, -l + 589 + 1547 = 4*j. Is 3 a factor of j?
False
Let q = 430 + -732. Let o = 533 + q. Suppose -5*i + 181 = 4*w, 3*w + o = 5*i + 78. Does 8 divide i?
False
Let x(b) = 122*b**2 + 11*b - 5. Let f be x(2). Suppose f = 5*v + 4*c - 571, -5*c = 5. Is v a multiple of 12?
True
Let u(x) = -x**3 - 4*x**2 + 6*x + 4. Let t be u(-5). Let y be t/(-2 + 588/296) - -2. Suppose 0 = -2*l + 44 + y. Is l a multiple of 5?
True
Suppose 706023 = 140*g - 12*g - 1044633. Is g a multiple of 23?
False
Let s(r) = 454*r**2 + 7*r - 334. Does 56 divide s(10)?
True
Let y(d) = -15*d + 4*d**2 + 24 + 11 + 1. Is 15 a factor of y(9)?
True
Let f(x) = x**3 - 14*x**2 + 32*x + 20. Let j be f(11). Suppose 15*a - j*a - 4458 = 0. Is a a multiple of 9?
False
Suppose 20*b + 326424 = 26*b + 36*b. Is b a multiple of 67?
True
Let z be 4/(-1) - (-32040 - -2). Suppose 4*x - 11897 = -5*i - z, -2*x - 4031 = i. Does 20 divide i/(-55) + (-2)/11?
False
Let x = 702 - 702. Suppose x = 4*b - 20, b = -n - 0*n + 72. Is 67 a factor of n?
True
Let r(w) be the third derivative of 28*w**2 + 0 - 1/6*w**4 + 0*w - 11/6*w**3 + 1/30*w**5. Does 7 divide r(-3)?
False
Let q(a) = 3*a + 7. Suppose 4 + 8 = o + 2*d, o - 4*d + 12 = 0. Let c be q(o). Suppose -c*h = -10*h - 972. Does 25 divide h?
False
Let c be -2 - -235 - 1/(-1). Suppose c = -11*a + 1059. Is 10 a factor of a?
False
Let n = 46779 + -26704. Is 98 a factor of n?
False
Suppose 3*o + 670 = 4*o. Let z be ((-5)/((-25)/(-2)))/((-2)/o). Suppose -2*m + z = -28. Is 7 a factor of m?
False
Suppose 0 = -1669*t + 1598*t + 467819. Is t a multiple of 11?
True
Let p = -23144 + 61530. Does 34 divide p?
True
Suppose 5811 = -6*q - 9657. Is q/(-7) - (-18)/(-63) a multiple of 8?
True
Let j(d) = 14*d**2 - 11*d + 3. Let f be j(-4). Suppose 8*g + f - 2415 = 0. Does 10 divide 1/((8/g)/2) + 3?
True
Suppose -4*r - 3*p + 6*p = 465, 3*r - 4*p = -347. Does 9 divide 52/r - (-643)/9?
False
Let z be -6 - -1 - (-13 + -8). Is 6 a factor of 4*-6*(-236)/z?
True
Let m be 284/(-28) + (-4)/(-28). Let u be 104 - 2/6*(-4 - m). Let w = u + 7. Does 32 divide w?
False
Let v(h) = h**2 + 3*h - 6. Let f be v(-6). Suppose -2*w + 27 = -2*t + 3*w, -2*w - f = 3*t. Does 3 divide 2/t - (1 - (-82)/(-3))?
False
Suppose 161*u = 683199 - 509602 + 1391484. Is u a multiple of 10?
False
Suppose h = -y + 6675, 2*y - 57477 = -7*h - 10782. Does 19 divide h?
True
Let a(o) = o**2 + 1 - 30*o + 8*o + 10*o + 11*o - o**3. Let f(u) = -246*u**3 + 5*u**2 - 5*u + 6. Let c(l) = 5*a(l) - f(l). Is 30 a factor of c(1)?
True
Suppose 3*p - b = 4840 + 12334, 5*b = 3*p - 17182. Is p a multiple of 53?
True
Let d be (48/10)/((-4131)/375 - -11). Let k = d - -388. Is 4 a factor of k?
True
Let b = -185 + 189. Suppose 0 = t + b*i - 13, -4*i + 7*i = 5*t - 42. Is 3 a factor of t?
True
Is 9 + 0 + -10 + 5509 a multiple of 108?
True
Let j = 6045 + -3991. Is 12 a factor of j?
False
Let t(k) = k**3 - 33*k**2 + 250*k. Does 50 divide t(25)?
True
Suppose 98 - 323 = -5*o. Let u = -43 + o. Let r(i) = 36*i - 6. Is 22 a factor of r(u)?
True
Suppose 5*h - 44289 = -4*r + 10*h, -2*r - 3*h + 22161 = 0. Is 71 a factor of r?
True
Let t(g) = 39*g**3 - 6*g**2 + 16*g - 14. Is 8 a factor of t(2)?
False
Is (-60)/24*15788*(-33)/30 a multiple of 12?
False
Let z = 379 + -70. Let i = 585 - z. Let s = i + 69. Is s a multiple of 23?
True
Let w(n) = -n**2 + 46*n + 1. Let q be w(22). Suppose 2677 - q = 4*y. Suppose x + 2*x - y = 0. Is 17 a factor of x?
False
Let d = -99 + 513. Suppose -t + 42*z - 40*z = -d, -3*z = 9. Does 12 divide t?
True
Let r(g) = -101*g + 28*g**2 + 315*g + 46*g**2. Is r(-6) a multiple of 30?
True
Let l be (-12 + (-1 - -12))*-1*5. Suppose 400 = 5*g + w, -16*w + l = -17*w. Is 27 a factor of g?
True
Suppose 44907 = 4*j - 5*z, -61291 + 5173 = -5*j + z. Does 87 divide j?
True
Suppose -114*k - 3*t - 13428 = -118*k, 2*k + 3*t = 6696. Does 13 divide k?
True
Let q(p) = -24*p - 439. Is q(-44) a multiple of 8?
False
Let p(i) = i**3 - 6*i**2 + 10*i - 38. Let y be p(11). Suppose 15*f - 1048 = y. Does 5 divide f?
True
Let h be 2680/190 + (-4)/38. Suppose -h*i + 652 = -10*i. Does 7 divide i?
False
Is 10 a factor of -3 + 0 - 10434/259*-1253?
False
Suppose -55516 - 76541 = -4*v - 3*a, -4*a = 4. Does 172 divide v?
False
Let d be ((-1)/(25/230))/(4/(-10)). Let m(c) = -3*c**2 - 43*c - 17. Let y be m(d). Does 39 divide (-2)/(-15) + y/(-15)?
False
Let o(b) = 71*b + 7. Let m be o(16). Let k = m + -685. Is k a multiple of 25?
False
Let o be -7 - -4 - (-10 + -1). Let g be 2*(2 - (-1044)/o). Suppose -g = -4*m + 15. Is 14 a factor of m?
True
Suppose 5*u - 2*r - 6 = u, 5*r = -3*u + 11. Suppose v - u*a = 178, a + 351 = 2*v - 2*a. Does 8 divide v?
True
Suppose 24*a - 371633 = 430735. Is 24 a factor of a?
True
Let k(v) = -v**2 - 9*v - 3. Let z be k(-5). Suppose z + 2 = 5*f + g, 2*g = -2*f + 6. Suppose -f*l = -6*l + 30. Is 2 a factor of l?
False
Suppose -5*h = 1 - 21. Let u(g) = 0*g + 14*g**2 - 2 - 13*g**2 + h*g. Is 6 a factor of u(4)?
True
Let t = -287 - -623. Let k = t + -16. Does 8 divide k?
True
Let h = 2368 - 792. Is h a multiple of 25?
False
Let b(t) = -3*t**3 + 13*t**2 + 6*t + 12. Is 22 a factor of b(-5)?
True
Let o(s) = s**3 + 9*s**2 + 27*s - 121. Is o(13) a multiple of 20?
False
Suppose 0 = -2*a - 8, 5*u + 3*a = 6*a + 1092. Let q = -14 + u. Suppose 3*o - q = 6*s - 7*s, -o - s + 66 = 0. Does 34 divide o?
True
Suppose 79148 - 7944 + 2400 = 4*r. Is 9 a factor of r?
False
Suppose -4*h = -2*h - 2*g - 16, 10 = -h - 5*g. Suppose 3*c - n - 496 = 256, -264 = -c + 3*n. Suppose 0*s - 413 = -h*l + 4*s, c = 3*l - 2*s. Does 20 divide l?
False
Let m(w) = -5*w. Let u(z) = -z. Let v(i) = -m(i) + 4*u(i). Let c be v(3). Suppose 0 = -c*b - 6*b + 477. Is 5 a factor of b?
False
Let l = -2972 + 7073. Is 58 a factor of l?
False
Let j(s) = 8*s**2 - 9*s - 113. Does 63 divide j(25)?
True
Suppose 138*g - 140*g + 2*o = -5572, 0 = -5*g - 4*o + 13966. Does 155 divide g?
True
Let o = -104 - -109. Suppose 4*t = -t - o*p + 255, 4*t - 5*p = 249. Is 40 a factor of t?
False
Suppose 0 = 5*u - 14*u - 558. Is 13 a factor of (u/(-155))/(-1 - (-3494)/3490)?
False
Is ((-1385 - -9)/(-16))/((-2)/(-234)) a multiple of 26?
True
Suppose 5*o - 4*n = 8 + 36, 5*o = -3*n + 37. Suppose -4*m + 424 = 4*g, -o*g + 5*g - 232 = -2*m. Does 6 divide m?
False
Let b = 29095 - 51. Is b a multiple of 212?
True
Let n be (-8 - -10)/(-1)*-21. Suppose 0 = n*y - 660 - 1230. Is y a multiple of 15?
True
Does 214 divide (276/10)/((-2)/(-730))?
False
Let t(d) = -d - 26. Let m(r) = 1. Let x(p) = -6*m(p) - t(p). Suppose 96 - 81 = -15*a - 195. Is x(a) a m