 a multiple of 15?
True
Is 9 a factor of (-9)/6*-5286*(11 + -10)?
True
Suppose -2*k + 24859 = 5*w, -3*w - 5*k + 15005 = -15*k. Does 25 divide w?
True
Let v = -16899 + 23624. Does 108 divide v?
False
Let r = -9041 + 15345. Is r a multiple of 16?
True
Does 11 divide (20/25)/(198/(-135)) + (-2998410)/(-55)?
True
Is 97 a factor of (-7)/(-28) - ((-46798)/8 + -1)?
False
Let q(g) = 9*g**2 - 8 - 84*g - 98*g + 3*g**3 + 175*g. Does 16 divide q(8)?
True
Suppose -18*p + 14231 = 5*p - 3962. Does 14 divide p?
False
Let d = 11608 + 809. Is d a multiple of 12?
False
Let r be 1/(-3) + (-56)/(-42). Is (-235)/10*(-5 - -1)*r a multiple of 13?
False
Is 4 a factor of ((-1)/(6/(-12)))/(-4)*(-11862 - 26)?
True
Let m(b) be the first derivative of 9*b**4/4 - 5*b**3/3 + 2*b**2 - 9*b + 8. Is m(4) a multiple of 38?
False
Suppose 0 = 5*b - 15, -3*x - 4*b = x - 148. Suppose 2*t + 18 + x = 0. Let d = t - -57. Does 20 divide d?
False
Suppose 2*y - 1106 = -4*p, -4*y + 2004 = -4*p - 148. Suppose 0 = -5*d - 3*x + 909, 3*d + 8*x - 7*x = y. Is d a multiple of 19?
False
Let c be 4/(-14) - (-208)/(-56). Let s be ((16/(-12))/c)/(2/(-6)). Does 5 divide ((-2)/(-6))/(s/(-147))?
False
Let h = 4509 + -2376. Is 9 a factor of h?
True
Let h be 8/((-6)/3) - -10. Suppose -x = h - 9. Suppose -4*s + 56 = x*s. Is 2 a factor of s?
True
Let t(f) = 80*f**2 - 769*f - 19. Does 25 divide t(19)?
True
Suppose -5*w + 4*k = 211, -5*k - 136 = -20*w + 24*w. Let s(m) = -11*m - 320. Does 17 divide s(w)?
False
Suppose 0 = b - 29 - 57. Let t be ((-70)/(-28))/(70/112). Suppose 4*y - 5*y + 4*r = -18, 3*y - t*r - b = 0. Does 11 divide y?
False
Let u(t) = -23 - 166*t - 14 - 3 - 52. Is u(-3) a multiple of 19?
False
Suppose 0 = 5*p + 5*d - 175, d = 2*p + 5*d - 66. Let r = p - 10. Let z = r + 15. Is 7 a factor of z?
True
Let w(a) = a**3 - 37*a**2 + 138*a - 342. Does 56 divide w(41)?
True
Suppose 0 = 2*b + b + 210. Let s = -98 - b. Does 5 divide 8 + (-7)/(s/(-12))?
True
Let z = -6321 + 9132. Is 39 a factor of z?
False
Let k(q) = -q**2 + 16*q. Let v be k(16). Suppose 5*a - 3*w + 4*w + 10 = v, 2*a - 5*w = -4. Let i(c) = -137*c - 10. Is i(a) a multiple of 33?
True
Suppose 5*c = k - 8, -k + 5*k = 2*c + 14. Suppose s = -k*s + 860. Is 27 a factor of s?
False
Suppose 13*y + 2*y - 34976 = -17*y. Is 8 a factor of y?
False
Suppose -5*w + 11960 = 4*n - 18708, -38335 = -5*n - 2*w. Does 11 divide n?
True
Let k(z) = -z**3 - 5*z**2 + 19*z + 96. Let c be k(-5). Does 81 divide (-832 + 3)*c/(-3)*3?
False
Suppose 0 = -2*o - 3*o + 2*l + 23, -5 = -2*o + 5*l. Suppose 4*f - 3*w - 9 = 0, -w - o = f - 3*f. Suppose -30 = f*g - 4*g. Does 6 divide g?
True
Let u(h) = 99*h**3 - 3*h**2 - 6*h - 4. Is u(3) a multiple of 203?
False
Suppose -28*m + 17687 = -25*m - 4*s, 20 = 5*s. Does 21 divide m?
True
Let x(s) = 4*s - 16. Let g be x(11). Suppose 3*v - g*v + 300 = 0. Is 6 a factor of v?
True
Let x = 11 + -16. Let i be ((25/4)/x)/((-2)/120). Suppose 0 = w - 2*w + i. Is w a multiple of 11?
False
Let u(z) be the third derivative of z**4/12 + z**3 + 2*z**2. Let t be u(-13). Is 3 + 56/t - 1098/(-10) a multiple of 11?
True
Let i be (85/(-51))/(10/(-72)). Does 16 divide 7355/20 + (i/3)/16?
True
Suppose -191*g - 9621 = -389*g + 195*g. Is g a multiple of 10?
False
Let b = 10047 - 6260. Is 2 a factor of b?
False
Suppose 3*q + 2*u = -59, -3*q + 3*u - 71 = -2. Suppose -27 = l - 3*j + 18, -3*l + 5*j = 127. Let t = q - l. Does 6 divide t?
True
Let q = -360 + 676. Suppose p = 389 - q. Is p a multiple of 73?
True
Let c = -12476 + 14640. Is c a multiple of 4?
True
Suppose -5*f + 9*f = 12. Suppose f*b - 445 = 497. Let u = b - 174. Is 28 a factor of u?
True
Suppose -32*r + 34995 + 56265 = -6*r. Is r a multiple of 45?
True
Suppose -17 = 4*j + 11. Let c(t) = 19*t + 2. Let a be c(j). Let b = a + 221. Is b a multiple of 15?
True
Suppose 2*v + d = 43528, 3*v + 213*d - 214*d - 65307 = 0. Is 52 a factor of v?
False
Let m(s) be the third derivative of 95*s**4/6 + 164*s**2. Is 29 a factor of m(1)?
False
Suppose -2678 - 2169 = 4*n + 3*b, 5*b + 2427 = -2*n. Let t = -611 - n. Is t a multiple of 33?
False
Let k be -4 + (8/(-6))/(18/(-64692)). Suppose -w = -4*w + k. Does 80 divide w?
False
Suppose 42 = 6*x + 24. Let i be -1*(x + -2) - -41. Suppose b - i = 79. Does 16 divide b?
False
Let c = 31608 + -21676. Does 4 divide c?
True
Suppose 400*h - 398*h = -2. Does 7 divide -18 - -14 - (-225 - 0/h)?
False
Let h(o) = o**3 - 14*o**2 + 10*o + 37. Let k be h(13). Let b(w) = -71*w - 58. Is 12 a factor of b(k)?
True
Let b = -17177 + 24675. Is b a multiple of 23?
True
Suppose -2*i - w = -0*w - 2757, 0 = 5*i - 4*w - 6925. Let k = 1949 - i. Does 13 divide k?
False
Suppose 81804 = 44*m - 37172. Does 26 divide m?
True
Suppose -69*t + 125*t = 61*t - 4050. Is 15 a factor of t?
True
Is 41 a factor of (-40)/16*(-427056)/60?
True
Let p be (-78)/65*5/(-2). Suppose -p*n - 11*q + 14*q + 906 = 0, 5*n - 1522 = -q. Is 16 a factor of n?
True
Suppose 16857 = 22*q - 9763. Is 10 a factor of q?
True
Suppose 10*g - 2615 = 5*g. Let r = g - 5. Suppose -3*a + 383 = 2*s - 3, 2*s - r = -4*a. Is a a multiple of 10?
False
Let q = 7498 - 823. Is q a multiple of 25?
True
Suppose -55642 - 25637 = -3*k + 3*t, 3*k - 81282 = 4*t. Does 21 divide k?
True
Suppose 9*l + 395 = 9818. Suppose -10*o = -1923 - l. Is o a multiple of 6?
False
Does 206 divide (4 - (-15236)/8 - (-42)/(-14))*12?
True
Is -3 + 584/200 - (-4651248)/600 a multiple of 57?
True
Suppose 364220 - 541856 = -35*h + 744054. Is h a multiple of 209?
True
Let b(s) = 356*s - 4. Let y be b(2). Suppose 0 = 7*z - 3*z - y. Is z a multiple of 13?
False
Let z(w) = -w**2 - 12*w - 2. Let u be z(-11). Let f = -10 + u. Does 25 divide -2 + 3 - (2/f + -122)?
True
Let w(j) be the third derivative of -55*j**4/24 - 5*j**3/6 - 114*j**2. Is 20 a factor of w(-3)?
True
Let v = -2662 + 5512. Is v a multiple of 15?
True
Suppose -69 = x - 2*x. Let w be 0 - (0/2)/(-2). Suppose w = -8*n + 11*n - x. Is 16 a factor of n?
False
Let i(r) = -9*r**3 + 11*r**2 + 41*r + 12. Let g be i(-7). Suppose -4*j = -3*z - g, -41*z = 5*j - 45*z - 4188. Is j a multiple of 42?
True
Let q(d) = d**2 + 37*d - 3. Let z(h) = -2*h**2 - 36*h + 3. Let u(b) = -4*q(b) - 3*z(b). Does 11 divide u(25)?
True
Let p be -18*(7120/(-6))/5. Suppose -14*h = 2*h - p. Does 11 divide h?
False
Let i(f) = 4*f**2 + 4*f + 55. Let w be i(20). Suppose 18*d - 1271 - w = 0. Is 11 a factor of d?
False
Suppose 45 = 3*n - 3*g, -3*n - 4*g = -2 - 15. Suppose -n*f - 81 = -12*f. Does 12 divide f?
False
Let m = 30986 - 15770. Does 48 divide m?
True
Let v be ((-74)/(-8))/(2/8). Suppose 3*z - v + 648 = 2*l, -4*z = -12. Let r = -190 + l. Does 37 divide r?
False
Let y be (4 + 7)/(6 - 5). Suppose -5*h + 20 = 0, -6*h = 5*o - y*h - 5680. Is 58 a factor of o?
False
Let o(c) = -c**3 + c**2 - 16. Let p be o(0). Is (p/((-16)/(-4)) - -76) + -5 a multiple of 67?
True
Suppose -s + 2 = s. Suppose 3*n + 2*n = -20, -3*t - s = 4*n. Suppose -3*q + 273 + 306 = t*f, 2*q = 4*f - 472. Does 39 divide f?
True
Let g(o) = 10*o**2 - o**3 + 7*o**2 + 13*o**2 - 17*o - 28*o + 2*o**3 - 43. Does 23 divide g(-31)?
True
Suppose -b - 5*p + 25 = 0, -3*b - 11 = -6*b + p. Suppose 1593 = 32*o - b*o. Is o a multiple of 16?
False
Suppose 99 = 3*q + 93. Is 3 a factor of (-4)/((2 - 4)/q) + 9?
False
Is 13 a factor of (-1182897)/(-45) - (-3)/((3 - 2)*-5)?
True
Let j be (0 - 1068/16 - 1)*-4. Let y = 856 - j. Suppose u = 4*h + 87 - 565, 0 = -5*h - 5*u + y. Does 18 divide h?
False
Let y(l) = 2851*l**2 + 149*l + 570. Does 13 divide y(-4)?
False
Suppose -20*o = -17284 - 19676. Is 22 a factor of o?
True
Suppose -3*s + 1867 = -4*j, 2*s - 5*j - 89 - 1165 = 0. Suppose -5*w - s = -3277. Suppose 0 = -k - 6*k + w. Does 38 divide k?
True
Is 145 a factor of 1544250/(-150)*(-1)/1?
True
Is 23 a factor of ((-560)/168)/(((-8)/(-90))/((-5704)/12))?
True
Let r(b) = -3727*b + 33. Does 80 divide r(-1)?
True
Let m = 348 + -344. Suppose -5*b - 4*r = -3345, -5*r = -2*b - m*r + 1351. Is 38 a factor of b?
False
Let k(v) = 109*v - 6407. Is 55 a factor of k(83)?
True
Let o(r) = -4*r - 29. Let a be o(-10). Let q(g) = 4*g**2 - 27*g + 20. Is 23 a factor of q(a)?
True
Let a(w) = -539*w - 182. Does 21 divide a(-4)?
True
Let d be (746/8)/((-4)/(-48)). Suppose -2*n + 2459 + d = 0. Suppose -n + 349 = -9*g. Does 16 divide g?
True
Suppose 0