 24 a factor of b?
True
Let q be 485/(-55) - -4 - 4/22. Does 17 divide 47718/55 + 3/q?
True
Let a be (-12720)/(-50) - (-6)/(-15). Let z = -140 + a. Is 3 a factor of z?
True
Suppose 24*f - 2*f - 199814 - 297650 = 0. Is f a multiple of 97?
False
Suppose -24 = -3*w - 12. Suppose -8*m + w = -10*m. Is 11/(-22) - 121/m a multiple of 14?
False
Let f be (-3920)/(-12) + (-2)/3. Let g = -1286 + 1824. Suppose 9*j = f + g. Is 16 a factor of j?
True
Suppose 5*g - 13470 = -a, -12 = -8*g + 6*g. Does 12 divide a?
True
Let h(y) = -2*y - 10. Let k be h(-6). Suppose -5*z = k*z - 35. Suppose 89 = 3*d - 2*c - 84, -z*d = -3*c - 289. Is 5 a factor of d?
False
Let t = 5848 + -2360. Is t a multiple of 109?
True
Suppose -4*d - 1244 + 1380 = 0. Suppose -24*t = -d*t + 1450. Is 5 a factor of t?
True
Suppose 0 = -h - 3*g - 16, h - 5*g - 2 = 6. Let x be (-5)/h + -1 + (-162)/21. Is 4 a factor of x/(-44) - (720/(-33) - -2)?
True
Let b = 201 + -193. Let h(a) = -a**3 + 11*a**2 - 18*a + 23. Is 4 a factor of h(b)?
False
Is (43/(559/(-234)))/(4/2528*-3) a multiple of 48?
True
Let f(s) = 70*s**2 - 27*s - 213. Does 19 divide f(-32)?
False
Suppose 2*j + 2*d = 288, j + 41 = 2*d + 197. Let z = j + -145. Suppose z*s + 4*y = 2*y + 142, 5*s = -4*y + 236. Is 2 a factor of s?
True
Suppose 3*f + 3*g = -18, 3*f - 3 = f + g. Let s be 45/(7 - 2) - -1. Let v = f + s. Does 3 divide v?
True
Suppose 0 = 5*x - 7*x - 6. Let m be (x + (-7 - 0))*14/(-4). Suppose 325 = 4*f - m. Does 18 divide f?
True
Let m be 4/(-8)*0 - -4. Suppose 411 = 3*l + 4*f - 416, -m*f - 538 = -2*l. Does 5 divide l?
False
Let w be ((-6)/(-24))/(1/20). Suppose -w*o + 1784 = 434. Is o a multiple of 21?
False
Suppose x + 21672 = 2*t, 198*t - 43346 = 194*t + 3*x. Is t a multiple of 42?
False
Suppose -8*q + 4 = -12. Suppose -q*c + 2*v + 12 = 0, 0 = c + c - v - 8. Suppose 2*u - 122 = -c*i + 56, 5*u - 436 = 4*i. Is u a multiple of 22?
True
Suppose -7*z - 6523 = -8*z. Does 11 divide z?
True
Let i(c) = 36*c**2 + 243*c + 72. Is 90 a factor of i(18)?
True
Does 12 divide (-61350)/(-1200)*1*8?
False
Let q = 36 - 36. Let g(o) = -o**2 - 15*o + 10. Let t be g(-12). Is t/(2 - (0 - q)) a multiple of 7?
False
Suppose -11 - 13 = -6*y. Suppose -9*p + y*p = q - 425, 0 = -2*p + 8. Is q a multiple of 38?
False
Let h = -377 - -723. Suppose 214 = 5*b - h. Is b a multiple of 16?
True
Let l be 0 - (-581 + 3 + 3). Suppose -155 - 130 = -c - 2*q, 0 = -2*c + q + l. Let i = c - 187. Is 10 a factor of i?
True
Let s(c) = 32*c**2 - 6*c + 10. Let m be (-8)/(-6)*234/104. Does 40 divide s(m)?
True
Let r(s) be the first derivative of -55*s**2/2 - 53*s + 93. Is 8 a factor of r(-3)?
True
Let j be -12*((-3)/2)/3 + -2. Let x(h) = 6*h**2 + 3*h + 1. Let v be x(-1). Suppose -4*b + 2*y = v*y - 434, j*y = -12. Does 22 divide b?
True
Suppose 0 = -5*j - 20, j + 397 = o. Suppose 4*t - 1473 = 3*n, -4*t + n + o + 1090 = 0. Is 31 a factor of t?
True
Let i = 310 + -308. Suppose -i*x = -8 - 40. Does 2 divide x?
True
Let a = -1563 + 1553. Let v(w) be the first derivative of w**3 + 2*w**2 - 40*w - 3. Does 20 divide v(a)?
True
Suppose l = -3*n + 1756, -2*l + 3520 = -6*n + 10*n. Is l a multiple of 8?
True
Let o = 5 + -2. Let v be (-4)/((-16)/20) - (o - 3). Suppose -2*n + 466 = 4*k, n - 4 = v*n. Is k a multiple of 13?
True
Suppose 12 = 3*s, -2*b + 23 = -b + s. Let m = 266 + b. Does 12 divide m?
False
Let y(g) = g**3 - 32*g**2 + 6*g + 156. Is y(32) a multiple of 3?
True
Suppose 40 = -f - 5*p, 6*f - 5*f = 5*p - 20. Let y be 2/(-10) - (-3 - (-17376)/f). Let g = 904 - y. Is 14 a factor of g?
True
Suppose 541 = 3*x + p, x + 0*p - p = 175. Suppose -w - 3*b + x = 38, 5*b = 20. Is w a multiple of 52?
False
Suppose 5*p + 2*q - 910 = 0, 5*q - 54 = 4*p - 749. Suppose -6*j + 10*j - 8 = 0. Suppose 5*d + 2*i = p, -j*d - 2*i + 72 = -5*i. Is d a multiple of 10?
False
Suppose -2130 = 21*f - 26*f. Let y = f + -119. Is y a multiple of 44?
False
Suppose 15*y - 268 = -58. Suppose 847 + 1911 = y*i. Is i a multiple of 17?
False
Let l be (-2)/(-5)*30/18*-57. Let r = l + 87. Is r a multiple of 7?
True
Suppose -7504 = -q + 3*p, 0 = -4*q + 83*p - 78*p + 30051. Is 13 a factor of q?
False
Suppose -175*l - 2*l + 1363136 = 59*l. Is 76 a factor of l?
True
Let u be ((-296)/(-20))/(1 + (-12)/15). Does 7 divide u/7 - 88/154?
False
Does 16 divide 3/(9/754)*(-5)/((-10)/117)?
False
Suppose 62*y - 10 = 57*y. Does 14 divide (112/(-20) + y)/((-6)/405)?
False
Let o(t) = -t**2 - 38*t + 81. Is 19 a factor of o(-21)?
False
Suppose -59*m = -66*m - 14. Is (-6)/((m/140)/((-46)/(-345))) a multiple of 24?
False
Let v(g) = -3*g**3 + 5*g**2 + 7*g + 27. Let i = -267 + 259. Does 13 divide v(i)?
False
Suppose 0 = s - 0*s - 11. Suppose -5*k = -4*h + 44, 3*h + s*k = 7*k + 2. Is h a multiple of 6?
True
Let u(z) = -z**3 + 10*z**2 - 8*z - 14. Let p be u(9). Does 9 divide (-4)/(20/81)*p?
True
Let m be -16*((-1)/(-4) + 26/8). Let u = m + 49. Is 16 a factor of ((-18)/(-3) + 1)*(-144)/u?
True
Let l(s) = 7*s**2 + 8*s - 1. Let u be l(-4). Suppose u = x - 26. Let d = x - -15. Is d a multiple of 20?
True
Suppose -5*h + f + 2864 = 0, 5*h + 26*f - 25*f - 2866 = 0. Suppose 4*m - 3*u = h, -2*u + 3 = -7. Does 21 divide m?
True
Let j(d) = -17*d**3 - 9*d**2 - 19*d + 1. Let w be j(-3). Let f = 31 + w. Is 13 a factor of f?
False
Let p(x) = 2*x**2 - 10*x - 605. Is 2 a factor of p(-19)?
False
Let s = 100 - 71. Suppose -36 = 4*t + 2*r, -t - 2*t = 2*r + s. Let i(l) = -10*l + 14. Does 13 divide i(t)?
False
Suppose -2*m + 3*q + 12 = -0, 4*m + 3*q - 24 = 0. Let p be -5*((-21)/(-60) + m/(-8)). Does 12 divide (p + 4)*(-2)/(4/(-74))?
False
Suppose -4*u - 12 = 4*g, 2*u = 4*g - u + 26. Let s(m) = 2*m**3 + 10*m**2 - m - 5. Let w be s(g). Suppose w = f - 7*f + 858. Is 17 a factor of f?
False
Let d(k) be the third derivative of k**5/30 + 11*k**4/24 + 2*k**3 - 23*k**2. Is 21 a factor of d(-12)?
True
Let h(d) = 3*d**2 - 481*d - 1885. Does 33 divide h(171)?
False
Let k(d) = 7*d**2 - 39*d - 262. Is k(40) a multiple of 5?
False
Suppose -12*d + 30 + 306 = 0. Suppose 94 = 2*s + d. Is 22 a factor of (4 - s)/((-1)/2)?
False
Suppose 78*w - 75*w + 3*p - 43530 = 0, p + 14498 = w. Is w a multiple of 28?
True
Suppose 5*u = x + 81, -x + 4*u + 108 = -2*x. Let c be ((-33)/4)/(4/x). Let i = c + -90. Is i a multiple of 27?
True
Let v be (-521)/(-5) - (-28)/35. Let t = v - 102. Is 27 a factor of (t/24*-6)/((-2)/648)?
True
Suppose -12*r - o = -9*r - 1371, 3*o = r - 447. Suppose 0 = 6*h - 11*h + 20, -y + 4*h = -r. Is y a multiple of 43?
False
Let l(p) = -165*p - 156*p + 52*p - 75*p - 57 + 4*p. Is 64 a factor of l(-3)?
False
Suppose -d + u = -0*d - 527, d - 536 = 4*u. Suppose -9*z + d = -16. Does 15 divide z?
True
Let h = 3597 - 2547. Is 6 a factor of h?
True
Let y be (-2)/(-5) - 48/(-30). Let i(z) = -z - 86*z**2 + 170*z**2 - 86*z**y - 117*z**3. Is 19 a factor of i(-1)?
False
Suppose -658*h - 887084 = -28382930. Does 9 divide h?
True
Let x = 39 - 35. Suppose -30*z = -28*z - x. Suppose -n + 36 = 5*h - 0*h, 0 = -2*h - z. Is 11 a factor of n?
False
Let y = -1 + 8. Suppose o - 10 = -n, -y*n = o - 5*n - 6. Is 0 - -169 - (-14)/o a multiple of 34?
True
Suppose 3*l = 198*f - 193*f + 35617, -4*l + 3*f + 47515 = 0. Is 144 a factor of l?
False
Let w be 1/(-4)*1 + 17/4. Let b(j) = -13*j + 25. Let v(y) = 3*y - 6. Let q(a) = w*b(a) + 18*v(a). Is 4 a factor of q(8)?
True
Let c = -2957 + 3650. Is 6 a factor of c?
False
Let j(u) = 288*u**3 - 22*u**2 - 6*u. Is j(3) a multiple of 7?
True
Let w = 801 + -763. Let c = 97 + -43. Let v = c - w. Is v a multiple of 3?
False
Suppose 47*a - 127153 = -13084. Is 11 a factor of a?
False
Let w = -17 + 19. Suppose -w*v + 146 = 214. Let m = v + 110. Does 19 divide m?
True
Let p(b) = -109*b - 69 + 264*b - 110*b. Is 12 a factor of p(13)?
True
Let o = 90 - 87. Suppose -3*v - 1478 = -s - 4*s, -587 = -2*s - o*v. Is s a multiple of 35?
False
Suppose 21 = 3*x - 2*q, -45*q + 41*q = 3*x - 3. Suppose x*p = 3*g - 1174, -4*g = -16*p + 12*p - 1568. Is g a multiple of 47?
False
Let z(y) = y**2 - 5*y + 2. Let t be z(6). Let f(p) = p**2 + 0*p**2 + 7 + 7 - 5*p - 3. Is f(t) a multiple of 5?
True
Let j(h) = -2*h**3 + 91*h**2 - 62*h + 38. Does 9 divide j(44)?
False
Suppose -80*c = -43684 - 4209894 + 204298. Is 74 a factor of c?
True
Let z(h) = 2*h**2 - 14*h - 136. Let f be z(-6). Let j(m) = m**2 - 16*