tor of a?
True
Suppose -2*p - 4*y = -100, -5*y - 194 = -5*p - y. Let l be (-7 - (-330)/p)/((-2)/(-7)). Suppose 2 = -5*h - l, 0 = i + 3*h - 165. Is i a multiple of 14?
True
Suppose 299 = -10*k - 561. Let j = 208 + k. Is j a multiple of 4?
False
Let j = -2 - 1. Let n(k) be the third derivative of -11*k**4/12 - k**3/6 - 322*k**2. Is 5 a factor of n(j)?
True
Let c(w) = 26*w + 167. Let a be c(-6). Suppose 15*s = a*s + h + 179, 0 = -s - 2*h + 38. Is s a multiple of 24?
False
Suppose -12 = 4*n - 0*n, -18 = -3*y - 3*n. Suppose 201 - 1077 = -4*d. Is 11 a factor of ((-6)/y)/((-1)/d)?
False
Let b(s) = -s**2 - 10*s - 19. Let l be b(-7). Suppose l*i = -52 - 24. Is 15 a factor of (4 + -5 - 0)*i?
False
Let j be (-3 - (-115)/35) + 19/7. Suppose -i = j*i. Suppose 9*v = -i*v + 180. Is 12 a factor of v?
False
Let p = -285 + 12. Let n = -144 - p. Does 43 divide n?
True
Let r be 24/9 + -2 - (-4)/12. Is 1*((r - -2) + 2415/21) a multiple of 6?
False
Let m be -8 - 11/(66/510). Let d = m - -322. Is 79 a factor of d?
False
Suppose 2*d - 301 = -273. Does 61 divide (3/2)/(d/5124)?
True
Let n(g) = g**2 - 6*g + 15. Let w be n(3). Let y(k) = 13*k**2 - 10*k + 2. Does 46 divide y(w)?
False
Does 122 divide (4 - (6 + 3288/(-42)))/(7/637)?
False
Suppose -o = y - 2373, 4*o = 5*y - 16630 + 4738. Suppose 4*u = 4*x + y, -3*x + 1160 = 2*u + 2*x. Is u a multiple of 17?
False
Suppose 24*u + 52844 = 1346516. Is u a multiple of 266?
False
Let q = -4208 - -16036. Does 55 divide q?
False
Let o(g) be the second derivative of 43*g**4/24 + 7*g**3 - 13*g**2/2 - 2*g - 2. Let c(w) be the first derivative of o(w). Does 32 divide c(6)?
False
Let t = -20 + -25. Let z be -4*(t/20)/((-6)/(-10)). Suppose 39 = 2*s + z. Is s a multiple of 6?
True
Suppose -98*h + 17307 = -17973. Does 2 divide h?
True
Let o(q) = q**3 + 11*q**2 - 12*q + 7. Let k be o(-12). Let f(c) = c**2 + 2*c + 5. Let n be f(k). Is n/((2 - -2)/4) + -1 a multiple of 5?
False
Let k(b) = 4 - 5*b**2 + 5*b**2 - b**2 - 13*b - 2. Let p be k(-13). Suppose -p*w - 11 = -297. Is 16 a factor of w?
False
Let r(l) = -l - 12. Let z(s) = 3*s + 25. Let v(f) = -5*r(f) - 2*z(f). Let d be v(7). Suppose d*u = 6*u + 3*j - 108, 182 = 5*u + 4*j. Does 11 divide u?
False
Let l be 3/5 + -1 - (-534)/10. Let i = -50 + l. Suppose 2*m = -i*m + 90. Is 13 a factor of m?
False
Suppose -711 = -r + 4*a, 5 + 4 = -3*a. Suppose 0 = -18*z + r - 195. Does 14 divide z?
True
Let w(o) = 255*o**2 - 334*o - 2338. Is w(-7) a multiple of 5?
True
Let j(g) = 5*g - 9. Let h be j(3). Suppose -s - h*y = -5*y - 208, 5*s = -3*y + 1046. Does 19 divide s?
False
Let p(v) = 20*v**2 - 74*v - 50. Is p(-15) a multiple of 96?
False
Does 11 divide ((-300)/7)/(72/(-1512))?
False
Let y(n) = -n**2 - 10*n + 1188. Suppose 0 = -l + 2*l. Is y(l) a multiple of 27?
True
Let z = 51 - 58. Let b = -114 + z. Let a = b - -271. Is a a multiple of 25?
True
Let p(j) = -j**3 + 12*j**2 - 11*j + 1. Suppose -a - 1 = 0, -10 = -5*i + a + 91. Suppose -i = 4*m - 60. Does 13 divide p(m)?
True
Let u(d) = d**2 - 24*d - 22. Let f be u(25). Suppose 4*w - 919 = f*r, -r - 3*r - 1150 = -5*w. Is 10 a factor of w?
False
Let v(h) = 3*h**2 + 4*h + 4. Let k(y) = 13*y**2 + 15*y + 17. Let x(g) = -2*k(g) + 9*v(g). Let p be x(-4). Is 16 - (p - -3)/1 a multiple of 9?
False
Let j = 2050 + -1104. Does 2 divide j?
True
Let b(y) = y**3 - 2*y**2 + 112*y - 835. Is 5 a factor of b(24)?
True
Suppose 0*h - 2*h = z - 45, -3*h = z - 66. Suppose -5*k - h = -241. Suppose 39*u - k*u = -780. Is 26 a factor of u?
True
Suppose -26*n = -30*n + 3*h + 2142, 3*n - 3*h - 1602 = 0. Is n a multiple of 45?
True
Suppose 0 = -4*t + 2*a - 2 + 34, 5*a = 4*t - 26. Let l = 4 - -320. Suppose t*v + 0*v - l = 0. Is v a multiple of 18?
True
Let w(a) = a**3 - 4*a**2 + 2*a + 32. Let f be w(7). Suppose -40*i - 2*o + f = -39*i, 820 = 4*i - 4*o. Is 36 a factor of i?
False
Let n = 5797 - 2180. Is n a multiple of 11?
False
Let l = 466 - 295. Suppose -v = -1, 0 = 4*f - 2*v - l - 67. Does 8 divide f?
False
Is 30 a factor of 15 - ((-132)/(-12) + -7036)?
False
Suppose -2*q - 3*g + 24 = 0, q + 3*g - 6*g = 3. Suppose q*d = 190 + 1322. Is d a multiple of 24?
True
Is (-7792)/(9 - 1)*-1 a multiple of 11?
False
Let i = -28 + 12. Let m(a) = -15*a - 48. Does 6 divide m(i)?
True
Is 11 a factor of ((-15)/45)/((-3 - 69628/(-13926)) + -2)?
True
Suppose -265 = -2*q + 2*d + 9, 3*d - 669 = -5*q. Suppose 131*n - q*n + 52 = 0. Is 2 a factor of n?
False
Suppose 34*y + 1530 = -4*v + 31*y, y - 1903 = 5*v. Let g be 8/(-20) + (-1646)/10. Let k = g - v. Is 18 a factor of k?
True
Suppose 4*d - 15997 + 6457 = 0. Suppose d = 4*s + l + 442, 5*s + 5*l - 2425 = 0. Is s a multiple of 54?
True
Let o(z) = -834*z - 2708. Does 10 divide o(-7)?
True
Let b(p) be the third derivative of 7*p**5/120 - 5*p**4/2 - 5*p**3/3 - 25*p**2. Let l(n) be the first derivative of b(n). Is l(14) a multiple of 19?
True
Let p be 2 + (6100/225 - (-1)/(-9)). Suppose -y - 2*u + 651 = 0, 0 = -p*y + 34*y + u - 3264. Is 14 a factor of y?
False
Suppose 8430 = 58*y - 73*y. Let k = 1726 + y. Is k a multiple of 53?
False
Suppose 228253 + 418326 = 171*q + 25165. Is q a multiple of 7?
False
Suppose -12*r = -9*r. Is 26 a factor of (-8)/((r + -5)/600)?
False
Suppose 0 = -4*w + 9*w - 15, -4*w - 26 = -2*r. Let b = 12 - r. Let j(d) = d + 27. Is j(b) a multiple of 15?
False
Let u = -20 - -22. Suppose -u*n = 6*n - 144. Suppose 2*r = -n + 64. Is r a multiple of 23?
True
Suppose -976 - 408 - 236 = -15*k. Does 2 divide k?
True
Let z be (-3)/(-1) + 375*(-10)/3. Let y = z - -2022. Is 25 a factor of y?
True
Let z = -734 - -4515. Is z a multiple of 24?
False
Let d(y) = -y**2 - 21*y + 57. Let o be d(-24). Let c = -21 - o. Is 31 a factor of (3/c + -2)/((-4)/296)?
False
Let k(q) = 3*q**2 + 34*q + 623. Is k(-29) a multiple of 19?
False
Let o be (55/(-15) + 5)*171/12. Let c = -12 + 125. Suppose 2*j - o = c. Does 22 divide j?
True
Let p(o) = 4*o**2 - 2473. Does 90 divide p(-57)?
False
Let s(t) = 3*t + 16. Let r be s(-4). Suppose -r*z + 3*d = -453, -d = -0*d - 5. Is z a multiple of 9?
True
Suppose 340117 + 311005 = 208*k - 116398. Is 15 a factor of k?
True
Let u(f) = f**3 - 5*f**2 - 3*f + 3. Let h be u(7). Suppose 4*n + 3*k - 2*k + h = 0, 4*k = -n - 20. Is 6 a factor of (52/n)/((-1)/5)?
False
Suppose -55*r + 248880 = 66*r - 104*r. Is 24 a factor of r?
True
Suppose u - 280 = -288. Let w = u - -151. Does 13 divide w?
True
Let q(d) be the first derivative of d**3/3 - d**2/2 + 68*d - 55. Is 15 a factor of q(-20)?
False
Let j be 5/10 - ((-123)/6)/(-1). Let q = 148 + j. Does 4 divide q?
True
Let s(l) = -l**3 - 13*l**2 - 4*l + 16. Let z be s(-13). Suppose -3*m - 13 = -5*r - 4*m, -m + 7 = 2*r. Suppose -3*f + 0 = 6, 0 = -r*n + 4*f + z. Does 3 divide n?
True
Does 12 divide 2827 + (194/(-22) - 70/385)?
False
Is 36 a factor of 8/12*(-5 + 21119)?
True
Suppose k = -4*r - 84, 5*k + 347 = r - 73. Let b be (-4)/6 - k/(-9). Let s(m) = -m**2 - 16*m - 19. Does 8 divide s(b)?
False
Suppose -16*k = -3*k + 39. Let l(j) = 83*j + 13. Let a be l(k). Let v = -128 - a. Does 6 divide v?
True
Let r(j) = 27*j**2 + 4. Suppose -g = 5*i - 691, -255 = -5*i + 2*g + 433. Let z = i - 140. Is r(z) a multiple of 14?
True
Let l(k) = 46*k**2 - 85*k + 10. Is 21 a factor of l(11)?
True
Suppose 26941*b - 1446856 = 26902*b + 574085. Is 69 a factor of b?
True
Let v(c) = -943*c - 325. Is 61 a factor of v(-6)?
False
Let w(c) = -5*c**3 - 59*c - 176. Is w(-11) a multiple of 36?
True
Let w(f) = 2*f + 43. Let p be w(-20). Suppose -5*n = -n, -r = -p*n - 353. Suppose 5*o = 537 + r. Is o a multiple of 23?
False
Let k(r) = r**2 + 2*r + 3. Let y be k(-3). Suppose y*o + 2*o - 408 = 0. Suppose 5*z - 60 = -5*x, -z - o = -4*x - 4*z. Is 15 a factor of x?
True
Let a = 2681 - 1259. Suppose 0 = 12*c - a - 486. Is c a multiple of 2?
False
Suppose -201*u - 6944 + 79394 = -183*u. Is u a multiple of 3?
False
Is 296 a factor of (32/10)/(222/246420)?
True
Suppose -4*f = -31*f + 437853 + 660075. Is f a multiple of 68?
True
Let m(s) = -7*s**2 - 41*s + 90. Let t(i) = 3*i**2 + 20*i - 44. Let y(q) = -2*m(q) - 5*t(q). Is 17 a factor of y(-15)?
True
Let k(w) = -w**3 - 20*w**2 - 7*w + 32. Let c be k(-21). Suppose -414 - c = -11*x. Does 7 divide x?
False
Let d(m) = 249*m - 3180. Is 9 a factor of d(26)?
True
Let p = -121 - -131. Let i(f) = -4*f**2 +