 13?
True
Let p = 35 - 35. Suppose p = 8*c - 5*c - 1791. Suppose n + 3*h - 214 = 7*h, 3*n + 3*h - c = 0. Is 44 a factor of n?
False
Suppose 1516*m - 1119798 = 1427*m. Is 18 a factor of m?
True
Let o be 8/(-6) - 633241/(-21). Let i = -14674 + o. Is 56 a factor of i/46 + (-1)/2?
True
Is (704/(-256))/(1/411)*(-88)/6 a multiple of 169?
False
Suppose -27 = -5*h + 4*f, 10*h - 3 = 6*h - 3*f. Let a(j) = 10*j**3 - 3*j**2 + 12*j + 1. Is a(h) a multiple of 19?
False
Let j be (-8372)/(-252) - (-4)/(-18). Let s be -3 + 4 + 8 - 3. Suppose 0 = s*c + j - 681. Is 9 a factor of c?
True
Let j be 616/2*(-138)/(-184). Suppose -6*d + j = -2331. Is d a multiple of 5?
False
Is 228/(22 - 17 - 3172/636) a multiple of 15?
False
Let v be ((0 - (-468)/8) + 2)*-2. Let r be 6/(-4) + (-305)/(-2). Let z = r + v. Is z a multiple of 3?
True
Suppose -2*s = 4*r - 5*s - 873, 2*r - 444 = 4*s. Is r a multiple of 4?
True
Let n = -28 - -34. Let m(k) = 11*k**2 + 3*k - 14. Is m(n) a multiple of 22?
False
Let s = 18801 - 13241. Does 139 divide s?
True
Let j = 7311 + -4143. Does 18 divide j?
True
Suppose -4*i - 5*m + 380 = -3*m, -4*i + 5*m = -366. Let n = i + 85. Does 30 divide n?
False
Let w(u) = -2*u**3 + 27*u**2 + 20*u - 35. Let j be w(12). Let t = -314 + j. Is 19 a factor of t?
True
Suppose -5*q = -695*o + 700*o - 11530, -q = -4*o - 2301. Is 14 a factor of q?
False
Suppose 5085 + 19995 = 19*t. Is t a multiple of 20?
True
Let z(m) = 4*m + 19. Let f be z(-4). Let u(v) = 40*v - 55. Is u(f) a multiple of 4?
False
Suppose -71*u - 2*k = -72*u + 43448, u + 5*k = 43469. Does 82 divide u?
False
Suppose -61*k = -60*k - 149. Let g = k - -18. Does 6 divide g?
False
Let n = 82 - 48. Suppose 0 = n*k - 36*k + 6. Suppose -82 = -k*o + 23. Does 3 divide o?
False
Suppose -480 = -9*i + 6. Let s = i - 51. Is ((-60)/(-8))/s*36/15 a multiple of 6?
True
Suppose -11*r + 5*r + 1350 = 0. Let q = 464 + r. Let t = q - 481. Is 16 a factor of t?
True
Suppose 59*w = 67*w + 64. Does 31 divide ((-4 - w) + -35)*(-238)/7?
True
Suppose -3*c - 10 - 8 = 0. Let a be 2/(-4)*-2 - (-5 + c). Let n = a - -28. Does 10 divide n?
True
Let q be (38/4)/((-1)/2). Let v(f) be the first derivative of -f**4/4 - 6*f**3 + 8*f**2 + 9*f - 430. Is v(q) a multiple of 22?
True
Suppose 16*y + 32 = -48. Suppose w + 3 = 3*t - t, 2*w + 2*t = 0. Is w/(y/180*2) a multiple of 4?
False
Let p(c) = -2*c**3 + 4*c + 3. Let f be p(-1). Let g = -63 + 158. Suppose -f = -x + g. Is x a multiple of 24?
True
Let q(k) = 41*k**2 - k + 23 - 5 - 40*k**2. Let u be q(0). Suppose -168 = 16*c - u*c. Does 21 divide c?
True
Suppose -2*q - 3*v = -5673 - 3240, -22279 = -5*q - 4*v. Does 10 divide q?
False
Suppose 56 = 5*i - k, -5*i + 17 + 41 = -3*k. Let r = -404 - -419. Suppose r*w - 168 = i*w. Does 6 divide w?
True
Suppose -3*b - 85*z + 21999 = -83*z, 36669 = 5*b + 2*z. Is b a multiple of 9?
True
Let w(r) = -8*r - 26. Suppose -o = 2*m + 4, -5*o + 0*m + 36 = -4*m. Let p be o + (-8)/4*5. Does 4 divide w(p)?
False
Let q(j) = -j**3 - 33*j**2 + 63*j - 45. Suppose 4*c + 48 = -3*v - 41, -4*v - 3*c = 128. Is q(v) a multiple of 8?
True
Suppose -5 = -j, -3*p = -4*j - 1736 + 31. Is 2 a factor of p?
False
Suppose -9*p + 14*p = 0. Suppose p = 3*n - 14*n + 627. Suppose -n = -2*v - 13. Is v even?
True
Let i be 9 - (38/(-14) + 6/(-21)). Let j(t) = t**3 - 12*t**2 + 3*t - 2. Let n be j(i). Let y = 17 + n. Is y a multiple of 17?
True
Suppose 107*a - 122*a + 4815 = 0. Suppose 322*y - 242 = a*y. Is 3 a factor of y?
False
Let m(k) = 16*k + 116. Let x(b) = 31*b + 232. Let v(n) = -11*m(n) + 6*x(n). Is 12 a factor of v(-8)?
True
Suppose 249 = -13*z + 93. Is ((z - -7) + -2)/((-1)/56) a multiple of 49?
True
Let h be (-1818505)/(-115) + 9 - 4/46. Is 16 a factor of h/18 + 15/3?
False
Let n(f) = f**3 + 8*f**2 - 21*f - 7. Let g be n(-10). Suppose a + 2*b = 78, -g*b = 1 + 2. Is 11 a factor of a?
False
Is 2 - ((-156)/72 + 2 - (-184006)/(-12)) a multiple of 108?
True
Let c be 0*2/(-2) - (-2 + -8). Suppose -17*q = -c*q - 28. Is 10 a factor of q/(-24)*2 + (-64)/(-3)?
False
Let w(i) = -i**3 + 11*i**2 - 18*i + 2. Let o be w(9). Let g be (1 + 1 - 1) + o. Suppose -3*n + 0*n = -12, 0 = -g*v - 5*n + 83. Does 7 divide v?
True
Let j(o) be the first derivative of 5*o**2/2 - 17*o + 598. Suppose 3*c = 2*c - 4*v + 32, 2*c = 4*v + 16. Does 11 divide j(c)?
False
Let t(s) = s**2 - 18*s + 5. Let y be t(18). Does 25 divide 192/(4/2) + y?
False
Let d = 20 + -18. Suppose 980 = d*v - 190. Suppose -5*a + 0*a + v = 0. Does 10 divide a?
False
Let x = 9620 + -6308. Is x a multiple of 9?
True
Let d = 14038 + -8405. Is d a multiple of 7?
False
Suppose 0 = -3*k + g + 39, 3*g = 2*k + k - 33. Let r(m) = -3*m**2 + 44*m - 21. Does 2 divide r(k)?
False
Suppose -168*m + 165*m - 3 = 0, -5*m - 14 = -3*a. Let g be (2 + -3 - 0)*-9. Suppose 5*u + 20 = q, -q - a*u + g + 27 = 0. Is 5 a factor of q?
True
Let w = -24 - -26. Suppose 0 = d + 3*x + 17, -4*d - w*x = -6*x - 12. Is (-10)/35 + (1968/28 - d) a multiple of 9?
True
Let b = -6752 - -7394. Is b a multiple of 3?
True
Suppose -312 = -4*c + 4*f, -4*f = 5*c - 610 + 220. Let s = 7 + c. Let d = s - 44. Does 8 divide d?
False
Is 276 a factor of 249224/21 + 1012/5313?
True
Suppose 37*q - 6444 - 6014 - 14034 = 0. Is q a multiple of 16?
False
Suppose -3*p - t + 461 + 124 = 0, -5*t = p - 195. Suppose 2*c - 15 - p = 0. Is 15 a factor of c?
True
Suppose -5*a + 45*y = 49*y - 172228, 5*a - 2*y = 172186. Is 24 a factor of a?
True
Let t(y) = -y**3 - 3*y**2 + 10*y - 2. Let u(q) = -3*q**2 + 8*q + 7. Let j be u(4). Is 15 a factor of t(j)?
False
Let b(m) = 19*m**2 - 2*m + 1673. Is 76 a factor of b(-40)?
False
Suppose -151*h = 167*h - 5459424. Does 58 divide h?
True
Suppose 0 = 77*z - 297757 + 162094 - 803583. Is z a multiple of 114?
True
Suppose -2*i + 6*r + 9015 = 7*r, 2*i + 4*r = 9012. Does 49 divide i?
True
Let a be (-2)/(-6)*1185/(25/5). Suppose 5*s + 14 + 81 = 0. Let i = a - s. Is i a multiple of 14?
True
Let n(f) = 12*f - 3. Let g be n(-2). Let v = g - -105. Let l = v - 0. Is 6 a factor of l?
True
Let a(s) = 2*s**3 - 4*s**2 + 4*s - 6. Let x(g) = -4*g - 1. Let k be x(-1). Let m be a(k). Is ((-20)/(-6))/(4/m) a multiple of 6?
False
Let y be -5*(-5 + (-451)/(-5)). Let k = -196 - y. Does 44 divide k?
False
Let z = -540 + 542. Suppose 36*v - 40*v + 648 = 2*b, 2*v - 318 = z*b. Is 9 a factor of v?
False
Is 64 a factor of (-7)/((-28)/8) + 5473?
False
Suppose -11 = 4*x + 4*k + k, 2*x + 3 = -3*k. Let j be (-164)/x - (-6)/(-27). Suppose 2*u - 3*g = 45, -j = -2*u + 5*g + 33. Is 8 a factor of u?
False
Does 2 divide (-1723 + 6/(-3))*537/(-179)?
False
Suppose 59*o - 17427 = -2*i + 62*o, -3*i = 2*o - 26082. Is 60 a factor of i?
True
Suppose 2*x + 18600 = 5*h, -13*h + 14*h + 5*x = 3693. Does 13 divide h?
True
Let a be (-20)/10 - (-6)/2 - -122. Is (1 - -4) + 3 + -3 + a a multiple of 16?
True
Let n be ((-660)/50)/((-942)/(-240) + -4). Let z be (193*-4)/(-1) - 1. Suppose n - z = -7*c. Does 23 divide c?
False
Does 9 divide ((-3)/66)/(2/(-141776)) + 16/(-88)?
True
Let o be (5/((-75)/(-531)))/(3/(-15)). Let w = -81 - o. Is w a multiple of 12?
True
Suppose -4*d - 2322 = -3*n, 2*d = 2*n + 104 - 1652. Suppose -n = -5*p - 3*h, 0 = -4*p + 3*p - h + 154. Does 12 divide p?
True
Suppose -9*y + 56544 = -10*y + 4*y. Is 32 a factor of y?
True
Let n(w) = 11*w**2 + 51*w - 543. Does 3 divide n(9)?
True
Let f(k) = -49 - 1193*k + 1194*k + k**2 + 0*k**2. Does 14 divide f(-20)?
False
Suppose -20*n + 815 = 4355. Let g = n - -1447. Does 10 divide g?
True
Let w = -94 + 51. Let z = -79 + 144. Let h = w + z. Is h a multiple of 2?
True
Let q(m) = m**3 + 5*m**2 - m - 4. Let i be q(-5). Suppose 19*k - 131 = -245. Does 16 divide (2/k)/(i - (-260)/(-258))?
False
Let u(v) = 0 + 5*v - v**3 - v - v**2 + 1 + v. Let f be u(-3). Suppose 119 = f*z - j, -5*j = -z - z + 55. Is z a multiple of 18?
False
Let q(y) be the third derivative of 13*y**5/60 + 11*y**4/8 + 65*y**3/3 - 2*y**2 + 18*y. Is q(-6) a multiple of 50?
True
Let m = -43 - -61. Let f be (18/m)/(2/14). Suppose -135 = 2*l - f*l. Is 3 a factor of l?
True
Let d = -322 + 1148. Suppose 8*t = 614 + d. Suppose -6*b = -t - 180. Does 8 divide b?
False
Suppose -87 = o - 11. Is 19 a factor of (o/(-95))/((-1)/(-855))?
True
Suppose 10*k + 687 - 10577 = 0. Is k a multiple of 43?
True
Let r(j) be the third derivative of