m = w + 17. Does 5 divide m?
False
Suppose -47*q = -147769 - 23284 + 2370. Is 7 a factor of q?
False
Suppose -16*z = 7*z - 99981. Suppose -213 = -6*c + z. Does 19 divide c?
True
Suppose 2*d = -5*u + 31439, -18905 = 54*u - 57*u + 4*d. Is u a multiple of 9?
True
Let p be (-1)/6 - 367/(-6). Suppose -5*f - 32 = 18. Let l = p - f. Is 34 a factor of l?
False
Let b(v) = -v**2 + 75*v - 510. Is 14 a factor of b(24)?
True
Let i = 13 - -226. Let n = i - -155. Does 16 divide n?
False
Suppose 0 = -34*k + 40*k. Suppose -4*g + 2280 = 3*l, -6 = -2*g - k. Does 14 divide l?
True
Let k be (-6)/7*315/(-27). Does 16 divide (-2)/(24/k) - (-105195)/90?
True
Suppose -4*i - 31 = -3*y, -2*i + 2*y = y + 17. Is 3 a factor of (-4)/i*(-935)/(-22)?
False
Let l be -4 + (22/(-44))/((-1)/278). Let s = 177 + l. Is 24 a factor of s?
True
Let k be 460/(-11) + (-40)/220. Suppose -22 = 4*o - 3*j, -o + 3*j = o + 14. Is 7 a factor of (-2618)/k + o/(-6)?
True
Suppose 0*d - 4*d = 3*w - 41196, 6 = 2*d. Is 24 a factor of w?
True
Suppose 6*q - 4 - 20 = 0. Let r(y) = -31*y - 5. Let w(m) = 63*m + 11. Let l(g) = -7*r(g) - 3*w(g). Does 12 divide l(q)?
False
Let r be (-38)/(-3) + 6/(-54)*6. Suppose 0 = -j + p + 264, r = -5*p - 8. Is j a multiple of 26?
True
Let f = 4 + 0. Suppose -24 = -3*x - 0*x - 5*j, 0 = f*x + 4*j - 24. Suppose 0*k = -x*k + 396. Is 30 a factor of k?
False
Suppose 4*g + g - 2488 = -2*m, -m = 5*g - 2489. Let t(z) = 113*z - 223. Let s be t(2). Suppose 2*c = 7*d - s*d + g, -4*c + 4*d = -1008. Is c a multiple of 51?
True
Let d be -3*1 - (-17081 + -19)/12. Let q = d + -756. Is 37 a factor of q?
True
Let n = -278 - -497. Is n/9*90/5 a multiple of 37?
False
Suppose -48*d = 3*d - 378369. Is 124 a factor of d?
False
Let j(c) = 3*c - 19. Let f be j(10). Suppose -f*y = -7 - 15. Does 37 divide y + 9/(27/210) + 2?
True
Suppose -4*x = -n - 253, -190 - 81 = -4*x - 5*n. Does 11 divide x/224 + (-10314)/(-14)?
True
Let s(q) = -23*q - 55. Let g be s(9). Let u = g - -292. Is 15 a factor of u?
True
Let a(k) be the third derivative of -k**6/120 - k**5/5 + 5*k**4/24 - 19*k**3/6 - k**2 - 73. Is a(-15) a multiple of 7?
True
Let o(i) = 329*i + 385. Is o(6) a multiple of 7?
True
Let y = -1439 - -10259. Is 36 a factor of y?
True
Is 100/(-45)*3*1428/(-5) a multiple of 14?
True
Suppose 86*x = 108*x - 87120. Does 72 divide x?
True
Suppose -3*y + 169 = s, 0*s - 322 = -2*s + 2*y. Let p = 467 + s. Is p a multiple of 35?
True
Let v = -405 - -645. Suppose -3*o = -4*a - 729, -a - 251 = -2*o + v. Does 23 divide o?
False
Let u be 20/(-12) - -1 - (-18)/(-54). Does 66 divide (u + 48/18)*279/1?
False
Suppose -9*p + 8280 = -2502. Suppose 3*y - 5*v = p, -5*y + 2759 = 4*v + 787. Is 4 a factor of y?
True
Let s = 6 + -4. Let t(i) = 5*i**2 - 21*i + 117. Let d be t(6). Suppose b + 5*f = -0*b + 113, -s*b + f = -d. Is b a multiple of 11?
True
Suppose 847114 = 36*q - 209270. Is 12 a factor of q?
False
Does 3 divide ((-23)/2 + -2)*(-440 - 6)?
True
Suppose -8 = -4*r, 19 + 13 = 5*m - 4*r. Suppose -1376*w + 1394*w - 162 = 0. Suppose m*k + w*k = 1904. Does 22 divide k?
False
Let x be (-2)/((-18)/(-5) + -4). Suppose h - 2*n + 0 = 1, -5*h - x*n = -20. Suppose 2*b - h*b = -18. Is b a multiple of 18?
True
Let f(d) = -d**3 + d**2 - 8*d + 2. Let s be f(4). Let v = 79 + s. Does 19 divide 1/(5/570*v)?
True
Let x be (-20)/(-50) + 23/5. Suppose -460 = -4*v - 4*z, v + v - x*z = 223. Suppose 130 + v = 4*f. Is 9 a factor of f?
False
Suppose -5*s = -p - 5, -2*s + 2*p + 20 = -2*p. Suppose -t + 3 + s = 0, 0 = x + 5*t - 107. Let b = -64 + x. Is 28 a factor of b?
True
Let k = 439 + -53. Let s = k + 244. Is s a multiple of 45?
True
Let i = 23657 + -22847. Is 5 a factor of i?
True
Let b = 323 + -523. Let o(v) = 347*v. Let q be o(-1). Let t = b - q. Is 21 a factor of t?
True
Let j = 61675 - 32396. Is j a multiple of 32?
False
Suppose 0 = 3*m - 4*r + 7, 10 = -5*m - 5*r - 60. Let v(l) = -l**2 - 11*l - 14. Let t be v(m). Suppose 305 - 25 = t*j. Is j a multiple of 7?
True
Let n be 5 - (-41 + (-15)/3). Suppose l + 4*f - 3*f - 10 = 0, 3*l = 4*f + n. Is l a multiple of 12?
False
Let h(p) = -16*p - 2. Let w be h(15). Is 2 a factor of (-2 - w/6)*(-25 - -28)?
False
Let d be (10 + 0)/((-5)/5). Let a be 0*(25/d + 3). Suppose -5*h + 2*z + 75 = a, 0*h = -3*h + 4*z + 45. Is h a multiple of 14?
False
Let y = 1027 - 489. Let z = -279 + y. Is 27 a factor of z?
False
Let x = -381 + 2286. Is x a multiple of 23?
False
Does 11 divide ((-110)/(-8)*(-474)/15)/((-4)/80)?
True
Suppose 10269 = 3*i + 3*y, -20*y + 6846 = 2*i - 19*y. Does 3 divide i?
True
Suppose -5*c - 15977 = -3*d + 5729, -2*c - 28932 = -4*d. Does 64 divide d?
True
Let m(p) = -p**3 + 14*p**2 + 12*p - 41. Let k be m(10). Suppose w + 28 = k. Is w a multiple of 59?
False
Suppose 4*k + 4156 = 5*c - 0*c, -4*c - 5*k + 3292 = 0. Let r be c/24*2*-1. Let q = 140 + r. Is 6 a factor of q?
False
Suppose 0 = -9*x + 5*x - 2*s + 17798, 2*s = -5*x + 22244. Is x a multiple of 18?
True
Let a(n) = 902*n - 85. Let l be a(-9). Is 69 a factor of 168/147 + l/(-7)?
True
Let b be 3038/8 + 5*1/20. Suppose -5*z = 0, 0*o + 2*z = 5*o - b. Suppose 5*q - 394 = o. Does 40 divide q?
False
Let m = 66 - 47. Let r be (5 + -14)/(1/m). Let f = -103 - r. Is f a multiple of 17?
True
Let g(b) = -18*b + 15 + 5*b**2 - 8*b**2 + 31 + b**3 - 13 + 26. Is 15 a factor of g(6)?
False
Let v(m) be the third derivative of 11*m**7/5040 + m**6/240 - m**5/60 - 2*m**2. Let d(i) be the third derivative of v(i). Is 12 a factor of d(2)?
False
Suppose 22*x = 8974 + 63300 + 185500. Is 28 a factor of x?
False
Let k(y) = 5*y**3 + 187*y**2 - 161*y + 8. Does 100 divide k(-36)?
False
Suppose 0 = 4*l - 16, 5*l = 3*x + 332. Let z = x + 102. Let o(s) = 47*s**2 - s - 3. Does 11 divide o(z)?
True
Let p = -5594 - -8677. Is p a multiple of 3?
False
Let p = -653 + 1536. Let f = -441 - -461. Suppose -p = -7*r + f. Is 8 a factor of r?
False
Let c = -155 + 313. Suppose 399 = -c*k + 165*k. Is k a multiple of 19?
True
Let a be 110/6 - 48/36. Suppose 4 = -5*m + h + 25, 5*m = 2*h + a. Suppose -2*i + i + 115 = m*o, -4*o = -2*i + 244. Does 40 divide i?
True
Let o = 80 + -77. Suppose -o - 8 = -11*z. Is 9 a factor of (-3)/3 - 4*(-30 - z)?
False
Suppose -6*p + 622 + 1244 = 0. Let h = 49 + p. Is h a multiple of 12?
True
Let z = -144 - -144. Suppose -2*o = 3*y - z*y - 327, 0 = -y + 1. Does 9 divide o?
True
Let r = 288 + -121. Suppose 114 = 3*d - 4*u, -u = -3*d + 8*d - r. Suppose -33*k = -d*k + 190. Does 38 divide k?
True
Let a = -1124 + 1540. Is 104 a factor of a?
True
Let y(f) = 13*f**3 - 9*f**2 + 75*f - 11. Does 147 divide y(5)?
True
Let j(i) = -i**2 - 106*i + 93. Is 21 a factor of j(-51)?
True
Let q(o) = 333*o - 288. Is 59 a factor of q(22)?
False
Let g = 91 - 76. Suppose 5*v = -0 + g. Does 17 divide v/(-8) + (-7513)/(-88)?
True
Let t be (12/(-4))/(-12) + (-2185)/20. Let i = 60 + t. Let f = -25 - i. Is f a multiple of 8?
True
Let h(r) = -57*r + 3. Let q be (-4)/(-10) + (-9)/(-15). Let f be (-4 + 2)*q/2. Is 15 a factor of h(f)?
True
Let n = 108 - 132. Suppose 5*d = 4*m + 151, -4*d = m + 17 + 5. Let k = n - m. Is 4 a factor of k?
False
Suppose 68*b = 92*b - 545160. Does 385 divide b?
True
Let o(b) = 2*b**2 + 3*b + 1. Let n = 18 - 20. Let m be o(n). Suppose m*u = 5*u - 180. Is 18 a factor of u?
True
Let x(f) = 9*f**2 - 17*f - 149. Is 59 a factor of x(28)?
True
Suppose -8*m - 11 = -59. Is ((-22)/66)/((-2)/m) - -981 a multiple of 48?
False
Suppose -20*k = 128*k - 169635 - 24541. Is k a multiple of 12?
False
Suppose -17*p - 8369 = -21*p + 3*a, -3*a + 3 = 0. Does 13 divide p?
True
Let c(x) = 905*x**2 + 6*x - 3. Suppose 0 = -4*l + 20, 0 = -3*j + l + 3*l - 17. Does 13 divide c(j)?
False
Suppose -5*z = -3756 - 99. Does 37 divide (9 + z + -3)/(6/4)?
True
Suppose 0 = 9*w - 4*w - 20. Suppose t - i = -3*i + 81, 2*i = w. Suppose -2*y = 5*d - 130, t = y + 5*d + 2. Is 8 a factor of y?
False
Let x = -65 + -36. Let c = 309 + x. Is 78 a factor of c?
False
Suppose 2*q - 7*q = -5*t - 36505, 0 = 3*q + 5*t - 21903. Is 49 a factor of q?
True
Let w(p) = -p**3 - 5*p**2 + 5*p - 7. Suppose -3*h - 5*o - 14 = 0, h - 18 = 3*h - o. Is w(h) a multiple of 10?
False
Let j(l) = -134*l - 91. Let x(d) = -6*d + 172. Let q be x(29). Is 5 a factor of j(q)?
False
Let c(v) = -13*v - 3. Let f be c(9). Is (96/f)/((-4)/1230) a multiple o