 2 - (-6)/((-24)/28). Let b be ((-20)/m)/(4/3). Suppose -5*p + 527 = -2*f, 2*p + 5*f = b*p - 110. Does 12 divide p?
False
Let d = 2649 - 1653. Does 5 divide d?
False
Is 11 a factor of 202194/30 + (-18)/(-90)?
False
Let i = -709 + 706. Let r(n) = -4 - 9*n - 3 - 4*n**2 + n**3 - 3*n**3. Is r(i) a multiple of 7?
False
Let a(z) = 417*z**2 + 64*z - 209. Is 34 a factor of a(7)?
True
Let g(f) = -13*f - 57. Let i be g(-5). Is i/36 + (-2390)/(-18) a multiple of 10?
False
Let j(g) = 11*g**2 - 11*g + 7. Let f(t) be the first derivative of -2*t**3 + 3*t**2 - 3*t - 7. Let u(m) = 5*f(m) + 3*j(m). Is 7 a factor of u(2)?
False
Is (2 - -286)*(542/18 - 42/378) a multiple of 10?
True
Let z(o) = -17*o + 10. Let y(p) = -528*p + 308. Let f(c) = 6*y(c) - 187*z(c). Let d be f(-12). Let a = -54 - d. Is 10 a factor of a?
True
Suppose -2*a + 15415 - 1261 = 0. Does 21 divide a?
True
Let r(u) = 15*u - 11*u**2 + 0*u - 4*u + u**3 - 5. Let w be r(10). Suppose -3*q + 26 = k + k, -w*q = 20. Does 4 divide k?
False
Let j = 62492 - 40413. Is 45 a factor of j?
False
Let h = 1621 + 1081. Suppose -h + 1119 = -2*v + 3*o, -2*v + 1607 = 5*o. Is v a multiple of 10?
False
Let w = 25 + 82. Suppose -2*p = 13 - w. Is 6 a factor of p?
False
Let u = 1142 + -711. Let a = u + -307. Suppose -3*z + y + 358 = 0, z - 8*y = -3*y + a. Is 17 a factor of z?
True
Let b(t) = -7*t**2 - 13*t + 5. Let m be b(-2). Suppose -5*g + 1585 = 6*f - f, m*f - 5*g - 943 = 0. Is 14 a factor of f?
False
Let u be 2*((-12030)/12)/5. Let w = 798 + u. Is 20 a factor of w?
False
Suppose -h + 3*y = -15, 22*y = -4*h + 18*y + 108. Suppose -105 = -h*v + 23*v. Is v a multiple of 34?
False
Let z = 3502 + -3111. Is z a multiple of 17?
True
Let h = 3444 - 3532. Suppose 4*y + 0*r = r + 410, -2*r + 4 = 0. Let c = h + y. Does 15 divide c?
True
Suppose 0 = t - 2*m - 5079, -2*t - 4*m + 10165 = -m. Suppose -16*x + t = -1719. Is x a multiple of 8?
False
Does 7 divide 30568 + ((-2)/4)/((-2)/(-5 - -13))?
False
Let j(q) = 12*q**2 + 2*q - 12. Let x be j(8). Let z = 1672 - x. Is 36 a factor of z?
True
Is 73 a factor of (-28950)/(-8) - (38/8 + -3)?
False
Suppose -4*m + 150 = 118. Suppose m*c - 9*c + 15 = 0. Is 5 a factor of c?
True
Let q be 4/8 - 473/(-22). Let n(r) = r + 3. Let c be n(0). Suppose 79 = c*o + q. Does 19 divide o?
True
Let o(h) = h**2 + 10*h + 10. Let u be o(-8). Let j be 3*(-16)/(-56)*(-1694)/u. Suppose -8*d + j + 302 = 0. Is d a multiple of 17?
True
Suppose -50*p + 52*p - t = 18865, -4*t - 37732 = -4*p. Is 18 a factor of p?
True
Let w = -128 + 128. Suppose w = -124*m + 121*m + 630. Is 14 a factor of m?
True
Is 7 + 736024/54 + (-20)/270 a multiple of 54?
False
Let y(u) = 162*u**2 - 31*u - 33. Let v be y(11). Suppose -v = -75*l + 31*l. Does 23 divide l?
True
Let v(d) = -553*d + 4403. Is v(-16) a multiple of 7?
True
Suppose 4*r - 1040 = 1192. Is 10 a factor of r?
False
Let u = 7923 + -1249. Is 12 a factor of u?
False
Let y(m) = 6*m + 22. Let p(i) = i**2 + 2*i - 7. Suppose -3*w + 2*r - 9 = 0, 3*w - 5*r = -0*w. Let j be p(w). Is y(j) a multiple of 14?
True
Suppose -3*l = 2*q - 18, -4*q + 0*q + 12 = 0. Suppose 0 = -l*i + m + 20, 3*i - 5*m + 26 = 4*i. Is (i/10)/(9/495) a multiple of 7?
False
Let t(g) = -g**2 + g + 87. Let l be t(0). Suppose l = 3*d + 2*f, -3*f = -d + 2*f + 29. Is d a multiple of 5?
False
Let x(u) = 6*u**2 + 18*u - 58. Suppose -4*l - 22 = -3*l - 3*z, 0 = z - 3. Is 12 a factor of x(l)?
False
Let z(q) = 659*q + 748. Does 91 divide z(5)?
False
Let v(u) = -14*u - 1. Let w be v(1). Let r = -200 - -185. Does 7 divide (-6)/r - 624/w?
True
Let m be 6*(-3)/(-21)*14. Let c be 1*(-1 - m/4). Is 3 a factor of 2*((-2 - -16) + c)?
False
Is 2/10*(76 - 74) - 16596/(-10) a multiple of 5?
True
Let n(s) = -2*s**3 - 74*s**2 + 49*s - 144. Is n(-38) a multiple of 63?
True
Let g(a) = 2*a**3 + 43*a**2 - 22*a + 18. Let k be g(-22). Suppose k*s - 120 = 13*s. Suppose o + 2*v + s = 114, -5*v = -o + 69. Does 5 divide o?
False
Let c = 5205 + -3175. Is c a multiple of 38?
False
Suppose -d = d + 4, -2*q + 4*d = -288. Suppose 7*u = 11*u - 20. Suppose a + q = u*a. Is a a multiple of 8?
False
Suppose 0 = -7*d + 23 + 12. Suppose d*p - 336 = p. Does 7 divide (p + 10)/(4 + -2 + 0)?
False
Let b = 96773 + -62173. Does 40 divide b?
True
Suppose -5*r - 24 = 2*w, 3*w - 2*r - 10 = 2*r. Is 20/(-10)*(1 - (-25)/w) a multiple of 13?
False
Let z be 1 + -1 - (-1 + 11)*-1. Is 13 a factor of z/((-100)/(-195))*(-40)/(-2)?
True
Suppose -2*l - 4*q + 0*q = 12, l + q + 3 = 0. Suppose -4*p + 5*n + 34 + 11 = l, -5*n = 5*p. Suppose -p*a + 105 = f, 4*f - 2*f = 3*a - 50. Is 4 a factor of a?
True
Suppose -804*u - 12432 = -810*u. Suppose -q + 410 = -3*h, 36*q - 31*q - 4*h - u = 0. Does 52 divide q?
True
Suppose -4*w - 14668 = -5*q, -3*w + 8*w = 15. Is (-5)/((-20)/q) + (-15 - -12) a multiple of 17?
True
Suppose 7 = -8*y + 47. Suppose -15 = n + 2*b - 188, 0 = -n - y*b + 182. Is n a multiple of 5?
False
Suppose -3*z = -5*y + 9 - 7, 2 = 4*y - 2*z. Is (10/y)/(18/351) a multiple of 13?
True
Let h(u) = 3*u + 5*u - 1 + 5. Is h(7) a multiple of 30?
True
Let a(r) be the first derivative of r**3/3 + 2*r**2 - 21*r - 24. Let v be a(4). Is (-14)/(-77) + 999/v a multiple of 7?
True
Suppose 2*c - 3*h + 6 = -h, -4*c = -h + 18. Let s be (4 + -19)/c*-3. Does 58 divide 9/(s/(-62)) - (-12)/(-3)?
True
Suppose -296 = -7*a - 2. Let q = a + 9. Does 16 divide q - 6/4*2?
True
Let n = 1219 - 2091. Let k = -272 - n. Does 27 divide k?
False
Suppose 24902 = -72*g + 1160198. Does 18 divide g?
True
Does 36 divide (-71786)/(-20) - 150/500?
False
Let o(m) = 9*m + 23. Let k be 0 - (-5 + 1 - 69). Suppose 5*a - k = -13. Does 32 divide o(a)?
False
Suppose 13271 = 1552*u - 1529*u. Is u a multiple of 7?
False
Let m be 16/(-10)*(2 + 18/(-4)). Suppose -h = 2*t - 260, 0 = -5*h + 4*h - m*t + 256. Suppose -9*i = -h - 366. Is i a multiple of 10?
True
Let b = 4259 + 3805. Is 18 a factor of b?
True
Let o(m) = 4*m - 31. Let r(v) = 4*v - 32 + 2*v - 2*v + 0*v. Let f(d) = 4*o(d) - 5*r(d). Is f(-17) a multiple of 13?
True
Suppose 25*p - 80637 = 3623 + 41340. Is 23 a factor of p?
False
Suppose -4*g + 574 = -2*y, -3*g + 3*y + 438 = -0*g. Let v = g - 59. Let k = -61 + v. Is k a multiple of 3?
True
Let m = 328 - 81. Suppose 23 - m = -16*x. Does 14 divide x?
True
Suppose -4*z = -2*s, -31*z = s - 26*z - 28. Suppose 0 = -s*d + 2*d + 1332. Does 9 divide d?
False
Is 7*447 - -4*(-3)/(60/(-35)) a multiple of 49?
True
Let m be 729 - (-3)/(12/16). Let v = 1126 - m. Is 56 a factor of v?
False
Let q = 16551 + -8037. Is 43 a factor of q?
True
Let w = 77 - 73. Suppose w*s - 4*p = 532, -5*p = -s - 0*p + 125. Is s a multiple of 21?
False
Let c(j) = -j + 1. Let x(b) = -b**2 + 7*b + 15. Let f(r) = -6*c(r) + x(r). Let h = -7 - -17. Is f(h) a multiple of 11?
False
Is 44 a factor of 508270/1050 - (-3)/(-45)?
True
Let x be 1/(4/104) - 4. Suppose 1662 + 714 = x*h. Does 23 divide h?
False
Let u(p) = p**3 + 9*p**2 + 10*p + 12. Let g be u(-8). Let k be 0*g/16 - -2. Is (66/2)/(k + -1) a multiple of 11?
True
Let w(z) = -3*z**3 - 4*z**2 - 104*z - 480. Does 7 divide w(-5)?
True
Suppose i - 9 = -i + 3*b, -3*i + 15 = -4*b. Let k(x) = 65*x + x**2 - 10 + 0*x**2 - 37*x - 35*x. Is 2 a factor of k(i)?
True
Let q(a) = -6*a**2 - 327*a + 344. Does 10 divide q(-51)?
False
Let w(j) = -2*j + 40. Let a be w(7). Suppose -3*i + 5*h + a = 0, 3*i - 54 = -2*i + 3*h. Is i a multiple of 5?
False
Let f(w) = 25*w**2 + 41 - 2*w - 19 - 24. Let z be f(2). Suppose -i + z - 14 = 0. Is i a multiple of 16?
True
Does 350 divide (-851 - 24)*1528/(-20)?
True
Suppose 5*j - 2 = -22, 5*u + 4*j = -109466. Is 4/(-28) - u/154 a multiple of 2?
True
Suppose 2*o = -3*w + 162, -6*o - 5*w = -3*o - 243. Let n = -129 - -79. Let a = o + n. Is 2 a factor of a?
False
Suppose 7*h + 24 = h. Let c(n) = 22*n**2 + 12*n + 41. Is c(h) a multiple of 23?
True
Let c = 8375 - -27589. Is 111 a factor of c?
True
Suppose 0 = -m + 13*w - 10*w + 1135, -4*w = 20. Is m a multiple of 35?
True
Let t(n) = 337*n**2 + 13*n - 69. Does 23 divide t(-7)?
True
Is 20 a factor of (-32802)/(-126) + (-4)/12?
True
Let s = -215 - -192. Is ((-63)/(-36))/((-1)/4)*s a multiple of 23?
True
Let n be (22/(-12) - -2)/(3/18). Does 41 divide n + 138 + (-27)/(-16 + 7)?
False
Let p(u) be the third derivative of -u**6/120 + u**5/5 - u**4/12 + u**3/2 - 13*u**