11*t + 125. Is (11 - (-183)/(-15))/(t/10310) a multiple of 59?
False
Let n(r) = 2*r**3 + 89*r**2 - 66*r - 158. Is n(-45) a multiple of 93?
False
Let a = 1202 + -562. Suppose -3*r - n - a = -5*r, 3*r = n + 960. Is 16 a factor of r?
True
Let g(n) = n + 1. Let b(k) = -k - 4. Let p(o) = 3*b(o) - 3*g(o). Let t be p(-3). Suppose 3*m - 5*s - 344 = -t*s, -m - 5*s + 143 = 0. Is m a multiple of 7?
False
Let a(o) = -o**3 + o**2 + 4*o. Let l be a(2). Suppose -l*h + 5*d - 3430 = -7*h, 0 = 5*d - 10. Does 38 divide h?
True
Suppose -3*q = -497*c + 501*c - 35133, 0 = c - q - 8778. Does 140 divide c?
False
Suppose -262*y + 1554043 = 638381 - 1274658. Is 44 a factor of y?
True
Let r(p) = -p**3 - 20*p**2 - 21*p - 18. Let a be r(-19). Let w = a + 32. Let f = w - 43. Is 5 a factor of f?
False
Let z(t) = -t**2 + 136*t - 1381. Is z(51) a multiple of 52?
False
Suppose 0 = 34*t + 6779 - 29763. Suppose -494 = -2*n + 2*i, -5*n = -3*i - t - 557. Is 29 a factor of n?
False
Does 19 divide (1 + -17)*(-380)/(-30)*-6?
True
Let t = -3457 - -3919. Does 21 divide t?
True
Let z(u) = -7*u**2 + 12. Let w(q) = -q**3 + q**2 - q. Let k(v) = w(v) - z(v). Let n be k(7). Suppose 40 + n = 2*i. Is 5 a factor of i?
True
Let p = 18 + -18. Suppose p = -2*n - 26 + 86. Suppose 2*u = 3*o - 127, -o - 5*u + 35 = -n. Is 7 a factor of o?
False
Let b = 3098 - 1814. Suppose -b + 108 = -8*f. Is f a multiple of 14?
False
Let n = 114 + -168. Let s = 42 - n. Is (1/(-1))/((-2)/s) a multiple of 24?
True
Suppose 50*h = 43*h + 182. Let p = -23 + h. Suppose 0 = -p*v - 4*n + n + 246, 5*n = -10. Is v a multiple of 12?
True
Suppose 4*k + 5*m - 10835 = 0, -4*m = -170*k + 169*k + 2714. Does 110 divide k?
False
Let w = -47 + 47. Suppose 15 = 3*q - w. Suppose 3*i - 4*i + 54 = -x, 0 = -q*i - 5*x + 240. Is 32 a factor of i?
False
Suppose -2*z = -4*z - 3*m + 7366, -3*z + 11070 = m. Is 26 a factor of z?
True
Let v(y) = 3*y**3 + 17*y**2 - 7*y - 4. Let x be v(-6). Suppose -x*b = -4*u + 104, 0*u - 3*u + 78 = 3*b. Let s = 124 - u. Is s a multiple of 10?
False
Let v be (-1)/(-2) - 0 - (-9456)/96. Let t = v + 14. Is t a multiple of 4?
False
Let r(z) = 323*z**3 + 2*z. Let g be r(1). Let m = 514 - g. Is m a multiple of 7?
True
Suppose 3*y - 6 = 0, 2*y = j - 4*j - 1121. Let z = 681 + j. Is z a multiple of 51?
True
Suppose 368*h = 411*h - 218707 - 59890. Does 49 divide h?
False
Is (-3 - 2)*1*2*(0 - 421) a multiple of 6?
False
Let q = 79 + -42. Let j = -2591 - -2639. Let t = j - q. Is 7 a factor of t?
False
Let u = 142 + -124. Suppose 25*d - u*d = 2625. Is d a multiple of 10?
False
Let x(j) = j**3 + 23*j**2 - 51*j + 21. Let l be x(-25). Suppose 21279 = l*h - 5*h. Is h a multiple of 40?
False
Suppose -95*x + 73182 - 18877 = -34615. Does 6 divide x?
True
Let u = -4 - -4. Let n be 333/(-6)*(-64)/12. Suppose -8*b + n + 664 = u. Is 20 a factor of b?
True
Let y = 6836 + -1028. Is 24 a factor of y?
True
Is 73 a factor of 19710 - ((-21 - -17) + -15)?
False
Let q = -1327 - -1859. Let g = -59 + q. Does 43 divide g?
True
Suppose -9*l - 708 - 399 = 0. Let w = l - -128. Suppose -4*t + 91 = n, -5*n + w*t + 26 = -329. Does 11 divide n?
False
Let c(z) = 176*z + 4618. Is 90 a factor of c(52)?
True
Let u(y) = 64*y**2 + 10*y - 16. Does 17 divide u(9)?
False
Suppose -4*x = -58 - 74. Suppose -2*i + 181 = -x. Let m = 275 - i. Does 30 divide m?
False
Is 6 a factor of (13/3)/(130/74880)?
True
Let q be (124 + (-4 - -2))*1. Let m(d) = -d**3 - 45*d**2 + 6*d + 163. Let y be m(-45). Let b = q + y. Does 5 divide b?
True
Let u(q) = -q**3 + 2*q + 4. Let z be u(-4). Suppose 6*j = 18*j - z. Suppose 2*k = 2*t + 60 + 36, 5*k + j*t = 240. Is k a multiple of 16?
True
Let a(d) = -d**3 + d**2 - 3. Let m be a(-3). Suppose 9 = -59*v + 62*v. Suppose z - m = -v. Does 15 divide z?
True
Suppose 5 + 9 = 7*a. Suppose 3 = 3*h - a*h. Is (-19)/h*(1 + -4) a multiple of 17?
False
Suppose 5*r = 4*j + 3185, 4*j = -3*r + 619 + 1292. Is r a multiple of 13?
True
Let c = 5 - 1. Suppose -c*d = 5*o - 19, -2*o = -5*o - d + 10. Suppose o*q - q = 5*r - 150, 2*r + 4*q - 84 = 0. Is r a multiple of 16?
True
Does 24 divide -4 - 2 - (-24472)/161?
False
Let h(t) be the second derivative of -t**4/4 + 5*t**3/6 - 9*t. Let l be h(1). Suppose -2*f = 2*g + g - 199, 0 = -l*f + g + 211. Does 13 divide f?
True
Let w = -270 - -268. Let k(v) = -184*v**3 - 2*v**2 + 2*v + 5. Does 29 divide k(w)?
False
Let o(g) = 8*g + 36. Let r be o(3). Suppose -r = -s + 75. Does 5 divide s?
True
Let c = -415 + 1063. Suppose -4*i + 4*h = -c, -2*i - 2*h + 7*h + 330 = 0. Is 27 a factor of i?
False
Suppose 3201118 = 226*g + 329788. Is g a multiple of 77?
True
Let l be -8*(0 - -1 - (-3)/(-2)). Let r(k) = k**2 + 3*k - 4. Let z be r(-4). Suppose 5*p = -o + 99, z = l*p - 3*o + 15 - 98. Is p a multiple of 5?
True
Suppose -3*l - 82 = -223. Let c = -50 + l. Is 21 a factor of (c/5)/((-16)/560)?
True
Suppose 16*q + 1648597 + 953387 = 184*q. Does 32 divide q?
True
Does 41 divide 4 + (-85)/20 + -4 + (-32523)/(-12)?
True
Let c = 68 + -66. Suppose 2*y + 3*b + c*b + 93 = 0, 5*y = 5*b - 180. Let g = 47 + y. Does 8 divide g?
True
Let o(m) = -m**2 - 5*m - 2. Let x be o(-6). Let d be ((-4)/6)/(x/(-24)) + 7. Suppose h - 234 = -d*h. Is h a multiple of 4?
False
Let d = 5 + 5. Is ((-142)/(-1))/(d/5) a multiple of 26?
False
Let u(x) = 11*x + 10. Let g be u(6). Suppose -4*z - 11*h = -6*h - 308, -g = -z - h. Does 12 divide z?
True
Suppose 142*d - 125*d = -346*d + 9312039. Is d a multiple of 98?
False
Let f(t) = t**2 - t - 3. Let g be f(5). Suppose -3*b + 11*m - 16*m + 3920 = 0, 5*m = -5*b + 6560. Suppose b = g*s - 5*s. Is 22 a factor of s?
True
Let k be 8*(-10 - -4)*-2. Suppose 6*y - 498 = k. Does 43 divide y?
False
Suppose -n - v - 516 + 1276 = 0, -762 = -n - 3*v. Let s = -598 + n. Is 7 a factor of s?
True
Let u be (-12)/18 - 138/9. Let v = -12 - u. Suppose q - 70 = 2*w, -w = -8*q + v*q + 308. Does 35 divide q?
False
Let f be 6/5 + (-1935)/(-75). Suppose f*z - 25747 = -4309. Is 31 a factor of z?
False
Suppose s + 12859 = 4*a, 12854 = 4*a - 185*s + 183*s. Is 16 a factor of a?
True
Does 13 divide 0 + (3958/2 - -10)?
True
Let m be (10/(-15))/((4/(-9))/2). Let o be ((-9)/6)/(m/(-6)). Suppose 0 = -o*w - 0*w + 117. Does 8 divide w?
False
Is 6 a factor of ((-70)/(-25)*(-6)/7)/((-16)/3400)?
True
Let b = 61 - 119. Let z = 62 + b. Suppose 5*k = -2*y + 161 + 329, 0 = z*k - 8. Is y a multiple of 48?
True
Let r be (-63)/28 + (-4)/(-16). Let f be 1 - r*(4 + -3)*-59. Is (f/(-12))/((9/60)/3) a multiple of 56?
False
Let a be 6/((4 - 3)*2). Suppose 5*l - 3*p = -6*p - 39, -3*p = a*l + 27. Does 35 divide (-208)/l - (-1)/3*1?
True
Let f = 949 + 904. Is 16 a factor of f?
False
Suppose -4*u - 3*a + 29613 = 0, 0 = -3*u - 4*a + 3242 + 18959. Is 5 a factor of u?
False
Let q = 76 + -136. Let w = -18 - q. Does 10 divide w/4*136/51?
False
Let t = -4244 - -7195. Let u = t - 1523. Does 28 divide u?
True
Let c = -133 + 2509. Does 18 divide c?
True
Let v be (-20069)/282 - (-2 + (-22)/(-12)). Let o = 175 - v. Is o a multiple of 18?
False
Let s(j) = 469*j**2 - 64*j + 7. Does 20 divide s(-3)?
True
Let o be -1395*((-72)/15)/12. Let i = 1125 - o. Does 27 divide i?
True
Suppose -3*s = 5*y - 13, s + 2*y = -1 + 7. Is 24 a factor of (10/s + 2)/(2/(-412))?
False
Let a(j) = 375*j - 972. Does 3 divide a(21)?
True
Let i(x) = -x + 24. Let n be i(12). Let p be 2/n + 105/18 + -6. Suppose p = -0*b - 3*b + 252. Is b a multiple of 17?
False
Let k = 35 + -31. Suppose -k*n - 3*n + 700 = 0. Suppose -84 = -4*i + 3*j, -3*i - 2*i + 5*j + n = 0. Is i a multiple of 8?
True
Let k(l) be the second derivative of -l**5/20 + 3*l**4/4 + 11*l**3/6 + 9*l**2/2 - 2*l. Suppose 10*x - 5*x = 20, 5*i - 54 = -x. Is 15 a factor of k(i)?
False
Let r = -309 - -241. Let j = 260 - r. Is j a multiple of 8?
True
Suppose 15 - 33 = -6*t. Suppose 2*y = t*y - 180. Let i = -120 + y. Does 15 divide i?
True
Let d be ((33/4)/(21/(-56)))/1. Is 81 a factor of 68/374 - 26726/d?
True
Suppose 10*g - 105 = 65. Suppose 11*a + 36 = g*a. Suppose a*c + v - 47 = 2*c, c - 16 = 4*v. Does 3 divide c?
True
Is (8 + 463/1 + -4)*4 a multiple of 89?
False
Let t be 0 + (-2 - 73*-3). Suppose 5*j = -2*l + 177, -2*j - j - t = -2*l. Let u = 211 - l. Is 22 a factor of u?
True
Let a(c) be the second derivative of -10*c**3/3 - 7*c**2/2 + 7*c - 5. Is a(-7) a multiple 