 l be i(x). Does 29 divide (l - -1)/(12/270)?
False
Let t = -15 - -30. Suppose -5*g = -0*g - t. Suppose -p - r = g*r - 32, p - 5*r = 59. Does 21 divide p?
False
Let y be (-2)/7 - 48/(-21). Let t be 596/8*1 - y/(-4). Suppose -5*m + t = -20. Is 19 a factor of m?
True
Suppose 15220 = 3*d + 3*z - 4472, -4*d + 3*z + 26270 = 0. Is d a multiple of 134?
True
Let z(o) = -o**3 - 2*o + 16. Let w be z(0). Suppose 5*d - 4*s - w = 0, 2*d = -0*s - 5*s + 13. Suppose -46 = -d*n + 18. Is 2 a factor of n?
True
Let m = -160 - -166. Suppose -m*x + 395 = -865. Is 42 a factor of x?
True
Suppose 10784 = -30*l + 21896 + 29958. Is l a multiple of 3?
False
Let c be (-1)/(-3) - 572/(-12). Let k be (-12)/c - 17/(-4). Suppose 0 = k*t + u - 438, -4*u - 224 = -2*t - 2*u. Is t a multiple of 24?
False
Let r be 104/10 - (4 - (-126)/(-35)). Let j be 18/10 - 8/r - 2. Is j/(3*4/(-456)) a multiple of 19?
True
Suppose 616*x - 619*x = -35787. Is 117 a factor of x?
False
Is ((-40)/6)/((-430)/8772) a multiple of 8?
True
Suppose -20 + 2 = 2*t. Let m be (4 + 0*(-5)/(-20))/(-2). Does 16 divide t/(-6)*((-512)/6)/m?
True
Suppose 1834 = -5*b + 224. Let m = 201 + b. Let w = 181 + m. Is 8 a factor of w?
False
Let o be (-45)/((-3)/(-12)*24/6). Let n = 265 + o. Does 44 divide n?
True
Is 29 a factor of (-19484)/(-8) - 8/(-16)?
True
Let v(y) = -7*y**3 - 17*y**2 + 75*y + 811. Is v(-12) a multiple of 20?
False
Let n = -194 - -68. Is n/4*24/9*-1 a multiple of 6?
True
Suppose -90*m + 4410 = -69*m. Does 10 divide m?
True
Let j(d) = -404*d - 139. Does 14 divide j(-7)?
False
Let o = 50 + 23. Let w = 152 - o. Suppose 273 = 2*l - w. Does 11 divide l?
True
Let j(m) = 13*m + 21. Let n be j(-3). Does 7 divide 51*((-1650)/n)/11?
False
Let r = 9325 - 4461. Let f be ((-1)/(-2))/((-19)/r). Let z = f - -418. Does 10 divide z?
True
Suppose -478150 = 17*g - 42*g. Is g a multiple of 226?
False
Let w(s) = 11*s**2 - 41*s - 1524. Does 124 divide w(-44)?
True
Suppose 2*y + 3*x = 6749, -34*x = -5*y - 30*x + 16907. Suppose y = 14*l + 579. Is l a multiple of 17?
False
Let v = 1 + 222. Let m = 590 - v. Does 20 divide m?
False
Suppose -4*f + 17 = -3*d, 0 = -2*d - 2*f - 6 + 4. Let k be 2 - (d - -4) - -8. Suppose 992 = -k*l + 17*l. Does 18 divide l?
False
Suppose -4*o = u - 29, o - 3*u + 0*u = -9. Suppose 5*k - o*k = -6. Suppose -3*p = -k*p + 36. Does 12 divide p?
True
Suppose 0 = 8*f - 7*f - 6. Is 64 a factor of (-13)/((-2)/(396/f))?
False
Does 26 divide -12 + 169/13 + 2209?
True
Is 21 a factor of (5 + -8 - -18) + 1056?
True
Suppose -4*o - 21 = -13. Does 16 divide (-305)/(-5)*-1*o?
False
Let g(q) = -q**3 - 16*q**2 - 11*q + 30. Let r be g(-15). Let l = r - -15. Does 23 divide (-3*(-4)/l)/(3/(-330))?
False
Suppose -14*t - 114 = -142. Is t + 2 - (-22 - -24) a multiple of 2?
True
Suppose -7*k - 35 = -14. Let s be k*12/(-9)*31/2. Suppose 0 = 3*h + 5*l - 61, -2*l + 5*l + s = 4*h. Is h a multiple of 6?
False
Let i(g) be the third derivative of 0 - 1/3*g**3 + 0*g + 3/20*g**5 + 30*g**2 - 1/24*g**4. Is 16 a factor of i(2)?
True
Suppose 0 = 5*d + 25, -28*d = -4*i - 25*d + 103. Is 37 a factor of i/(-55) - 5/(25/(-1112))?
True
Let c = 1224 - -4241. Does 19 divide c?
False
Suppose 0 = -2*c + 3*n + 19, 5*c - 3*c = -5*n - 21. Suppose 8*u = -4*w + 7*u + 344, -5*u - 172 = -c*w. Is w a multiple of 2?
True
Let m = 492 + -123. Suppose 2*t - 2*n = 1360, -t = -3*n - m - 321. Is 45 a factor of t?
True
Suppose 5178 + 1402 = 10*l. Is l a multiple of 7?
True
Is 3*((-36764)/(-30) + (-150)/1125) a multiple of 33?
False
Let k be 6/(0/6 + -1). Let a be -3 - (412/(-28) - k/(-21)). Suppose 684 = 16*n - a*n. Does 9 divide n?
True
Suppose 0 = 2*h + 4*w - 3 + 31, 5*h - 3*w = -44. Is 30 a factor of h/4*(-224 - 28)?
True
Does 29 divide 1/((-10)/15) - 13013/(-14)?
True
Let y(p) = 1401*p**2 + 16*p + 48. Is y(-6) a multiple of 221?
True
Let j(c) = -c**3 + 71*c**2 - 418*c + 98. Is 77 a factor of j(62)?
True
Let u(r) = -r**3 - 14*r**2 + 10. Let w be u(-14). Suppose -231 = -3*q - 3*k, 385 = 5*q - w*k + 13*k. Is q a multiple of 14?
False
Suppose 100786 = 100*y - 18114. Does 5 divide y?
False
Let k(z) be the second derivative of 5*z**4/3 - 2*z**3/3 + z**2 + 3*z. Let q(u) = -u**3 - 15*u**2 + 53*u - 16. Let t be q(-18). Is k(t) a multiple of 4?
False
Let q(i) = 266*i**3 + 9*i**2 - 12*i + 20. Is q(3) a multiple of 46?
False
Let z be (42/27)/(-7) + 961/(-9). Let t(b) = -b**2 - 4*b + 3. Let u be t(-9). Let p = u - z. Does 20 divide p?
False
Let c = 28 - 30. Let p be -5*((2 - 2) + c/(-1)). Does 6 divide ((-149)/(-18) + p/(-45))*2?
False
Let o = -660 + -227. Is (-29)/(-348) - o/12 a multiple of 2?
True
Suppose -12*j - 26 + 62 = 0. Let s be (j - 3) + -3 + 0 + 5. Suppose s*z = 2*o + 229 + 89, 3*z - 5*o = 471. Is z a multiple of 27?
True
Is (144/(-56) + 3)*15281 a multiple of 177?
True
Suppose 28*b - 37*b = -2277. Does 23 divide b?
True
Let t(o) = 86*o**2 - 214*o + 2911. Is 43 a factor of t(13)?
True
Suppose -4*n = -20 - 264. Let m = 52 - n. Is (m - -8)*(-2)/1 a multiple of 2?
True
Let n(z) = 2*z + 68. Let p be n(-33). Suppose -4*r + p = -6, y - 55 = 4*r. Does 21 divide y?
True
Let w(g) = 5*g**3 + 2*g**2 + 8*g + 15. Let k(q) = 4*q**3 + 3*q**2 + 7*q + 15. Let h(y) = 4*k(y) - 3*w(y). Let v be h(-6). Does 14 divide (-129)/v + (-8)/24?
True
Let z be 239/2*26/(-13). Let f = z + 323. Is 7 a factor of f?
True
Let i = 208 + -829. Let s = 1011 + i. Is 15 a factor of s?
True
Let d(t) = 20*t**2 + 175*t - 35. Is 16 a factor of d(-15)?
True
Let k be 3/6*(-45 + -1). Let n = k - -21. Let u(b) = -b**3 + b**2 + 5*b + 5. Is 4 a factor of u(n)?
False
Suppose -2*f = -5*t + 15, 57*f + 21 = -4*t + 52*f. Is (105/42)/((-497)/(-496) - t) a multiple of 31?
True
Suppose -3*p + 513 = -171. Suppose -11*r = -p - 58. Suppose 5*j + q - 363 = 0, -2*j - r + 173 = q. Is j a multiple of 24?
True
Suppose 4*x + 4*y = 652, 5*x - y - 694 = 103. Does 32 divide x?
True
Let k = -52 - -58. Let d(b) = 5*b**2 - 3*b - 18. Let x be d(k). Let h = 96 + x. Is 49 a factor of h?
False
Let i be 7*72/63*246/1. Suppose m + 0*w = -5*w + 513, -4*m + i = -w. Is 13 a factor of m?
False
Suppose -7*k - 309 = -5*m - 9*k, 5*m = -k + 312. Is 16 a factor of 10 - (-94140)/m - (-2)/(-7)?
True
Let q = 11935 - 7255. Is q a multiple of 8?
True
Suppose -12*g + 13*g - 2 = f, -5*f - 5*g = -10. Suppose -4*m + 291 - 19 = f. Is 3 a factor of m?
False
Suppose 5*s = 4*c - 6, 3*s + 14 = 3*c + 2*c. Suppose s*t = 11*t - 1503. Suppose -4*k + 141 + t = 0. Is k a multiple of 11?
True
Suppose -3*t = 2*w - 6233, 191*w + 10395 = 5*t + 196*w. Does 13 divide t?
False
Suppose f + 2*y - 1871 = 0, -5*y + 1173 = -2*f + 4942. Is 5 a factor of f?
False
Suppose -1707 = 3*u - 3*s, -17*u - 5*s - 2805 = -12*u. Let o = u - -705. Does 10 divide o?
True
Let o(j) = 2*j**2 - 12*j - 41. Let a be o(-4). Suppose 0 = -2*v - 3*v - 2*s + a, -4*v + 4*s + 20 = 0. Is (-52 - 0)/((-2)/v) a multiple of 14?
True
Suppose 0 = -4*s - 28, 22006 = -5*c + 4*s + 341094. Does 178 divide c?
False
Is 8 a factor of -16*(6 + (-665)/10)?
True
Suppose -3*z = 2*a - 14, -6 = 2*a - a - 5*z. Suppose 124 = a*r - 220. Suppose 4*d - 2*y = -3*y + r, -8 = -4*y. Is 21 a factor of d?
True
Suppose 17*m + 705 = 19405. Is 35 a factor of m?
False
Let w = -12881 + 21708. Is w a multiple of 60?
False
Let h(p) = -p**3 - 5*p**2 + 2*p + 5. Let a be h(-6). Suppose -4*n - 5*t = -64, 4*n = -2*t + 6*t + 64. Let w = a - n. Is 2 a factor of w?
False
Does 5 divide ((-118)/(-8) + 3/12)/((-9)/(-6))?
True
Let i be (-4)/(-6) - (-840)/(-45). Is 104/468 + (-1)/(i/5576) a multiple of 9?
False
Suppose 0 = -27*h - 25297 + 81754. Does 3 divide h?
True
Is 3464 - 2*110/(-20) a multiple of 15?
False
Suppose -x - 1496 = -12*x. Suppose -3*p - 13 = -3*f - 4, -3*f - p + 5 = 0. Suppose 4*k = -s + x, -460 = -4*s + f*k + 3*k. Is 20 a factor of s?
True
Is 438550/1015 - 4/58 a multiple of 12?
True
Suppose s = 4*n - 47129, -3*n + 37186 = s + 1834. Is 7 a factor of n?
False
Let m(r) = -r**3 + 13*r**2 + 4*r - 12. Let y = 106 - 93. Does 20 divide m(y)?
True
Suppose 45 = -p - 3*o, -77 = -p + 2*p - 5*o. Let q = p + 57. Suppose 2*l + 158 = 4*c - 230, c + 2*l - 87 = q. Does 15 divide c?
False
Let x(t) = 36*t - 167. Let v be x(5). Suppose v*z - 954 = 13190. Does 32 divide z?
True
Let g(n) = -5*n + 11. Let s be g(-4). Let f be (-29 - -30)*(s + 0). Let c = f + 20. 