 0. Let h be 114*(8/(-12) - -1). Let b = h + u. Is 8 a factor of b?
True
Let t(c) = 21*c**2 - 1. Let i be (4/8 + 2/(-8))*4. Let h be (2 + -3)*i/1. Is t(h) a multiple of 10?
True
Is -4*(-2514)/(-32)*-4 a multiple of 17?
False
Let i(c) = 3976*c - 1164. Does 242 divide i(2)?
False
Does 14 divide (56/35)/(52/106470)?
True
Is 2858 + 6 + 1 - 13 a multiple of 10?
False
Suppose 4*x - 270 = x. Suppose 100 = 2*c + 20. Let r = x - c. Does 25 divide r?
True
Let z be -5 - ((-10)/45 - (-27004)/18). Let p = -1015 - z. Does 14 divide p?
True
Let c be 7*-1*((-9)/(-3) - 4). Suppose 0 = -7*l + 11*l - 12. Suppose -32 = -c*b + l*b. Does 4 divide b?
True
Let s be (2/10)/((-1)/(-10)). Suppose -96 = -s*d + 4*r, 2*r - 208 = -5*d + 92. Is d a multiple of 41?
False
Suppose 7*r - 5*r - 704 = 0. Let v be r/(-12)*(2 + (-28)/8). Suppose n - v = -0*n. Does 8 divide n?
False
Let a(h) = -111*h - 33. Suppose -3*c - 32 = -j + 5*j, -2*c = 0. Is 60 a factor of a(j)?
False
Is (-2)/(22259/(-2473) + -21 + 30) a multiple of 7?
False
Let s(u) = 2464*u**3 + 4*u**2 + 10*u - 32. Is 62 a factor of s(2)?
True
Let r(h) = -h**2 + 20*h - 114. Let u be r(8). Does 37 divide u/((-7011)/999 + 7)?
True
Let z be (105/(-9))/7 + 1/(-3). Let j = -33 - -28. Is j + (2 + z - -167) a multiple of 9?
True
Suppose a - f - 11885 = 0, a - 4*f - 5101 = 6790. Is 17 a factor of a?
True
Let a be 340/(-2)*(-400)/50. Suppose 19*t - a = 11*t. Is t a multiple of 17?
True
Let g(c) = c**3 + c**2 - 2*c - 37. Let i(q) = 3*q**3 + 2*q**2 - 6*q - 111. Let o(w) = 8*g(w) - 3*i(w). Let p be ((-24)/16 + 12/8)/(-1). Is o(p) a multiple of 9?
False
Let d(z) = -2*z**2 + 33*z + 20. Let t be d(16). Suppose -7*y + 16*y - t = 0. Suppose -y*b = -2*b - 28. Is b a multiple of 14?
True
Let q = -11 - -14. Suppose 39 = q*k + 3*a, -3*k + a + 23 + 0 = 0. Is ((-24)/k)/(-1 - (-2)/3) a multiple of 8?
True
Let s(p) = p**3 + 12*p**2 - 86*p + 60. Is s(18) a multiple of 49?
True
Let a = -223 + 233. Does 8 divide (9 - a)*(-3 + 100/(-2))?
False
Let d = 333 + 7867. Is d a multiple of 81?
False
Suppose 4*r = -20 - 0. Let j(y) be the second derivative of -13*y**3/6 - 25*y**2/2 + 15*y. Does 14 divide j(r)?
False
Let d(m) = 148*m**2 + 25*m + 146. Is 44 a factor of d(-6)?
True
Let g = 19100 - -174. Is 30 a factor of g?
False
Let i = 16 + -28. Let x(k) = -30*k + 5. Let a(o) = 75*o - 12. Let w(d) = i*x(d) - 5*a(d). Does 25 divide w(-5)?
True
Let k(f) = -f**2 + 44*f + 6871. Is 2 a factor of k(88)?
False
Let h be (-3)/(-9)*(31 - 1). Let k(d) = -4 - 50 + d + h*d. Is k(17) a multiple of 19?
True
Let a(y) be the first derivative of -y**4/4 - 10*y**3/3 - 17*y**2/2 - 9*y - 50. Is 4 a factor of a(-9)?
False
Let s = 253 + -250. Let d = 100 + 11. Suppose s*y + x = 241, -d = -3*y + 2*x + 127. Is y a multiple of 16?
True
Let c(q) be the first derivative of 7*q**2 - 23*q + 4. Does 43 divide c(5)?
False
Suppose 0 = h - 2*o - 346, 2*h + 4*o = h + 364. Suppose -33*a - h + 4972 = 0. Does 8 divide a?
False
Suppose -157 = -3*a - 148. Does 6 divide (a + 3 + -8)*(-82)/4?
False
Let h be ((-21)/(-14))/(-2 + 283/142). Does 3 divide h/(-12) + (-17)/(-68)?
True
Suppose 3*f - 113 = 5359. Let o = f + -1235. Is 57 a factor of o?
False
Let o(p) = 3318*p - 10938. Is 130 a factor of o(6)?
True
Suppose 19092 = 125*x - 99*x - 11068. Is 5 a factor of x?
True
Suppose -5*l = -4*y + 90, 5*l + 7*y - 2*y + 90 = 0. Let p be (7 - 6) + (2 - 1) + l. Let q = 41 + p. Is q a multiple of 4?
False
Let w(o) = -o**2 + 27*o - 20. Suppose 6*p - 30 = -2*a + 10*p, -p = -5. Does 5 divide w(a)?
True
Let l = 15 + 37. Suppose -l = -j + 52. Suppose 0 = -2*d - 4, 2*b - d + 5*d - j = 0. Is b a multiple of 14?
True
Let o be (-3652)/(-132) - (-1 - 10/(-6)). Suppose 2*y - 13 = -o. Let d(g) = 4*g**2 + 4*g + 3. Is 19 a factor of d(y)?
True
Suppose 3*w = 8*w, 6030 = 5*b - 2*w. Suppose 522 = 6*a - 3*a. Suppose -b + a = -6*l. Does 43 divide l?
True
Let z(g) be the second derivative of g**7/1260 + g**6/240 + g**5/120 - 17*g**4/6 + 40*g. Let x(s) be the third derivative of z(s). Is 5 a factor of x(-3)?
True
Let x be 6/((-6)/(-1))*1049. Let o = x - 413. Does 26 divide o?
False
Let l = 0 - -1. Let d be ((-4)/(-2))/(1/l). Does 23 divide 4149/27 - d/(-6)?
False
Let c(q) = -5*q**3 - 4*q**2 + 2*q + 8. Let v = 30 + 7. Let g = v - 40. Is 32 a factor of c(g)?
False
Suppose 0 = 4*b + 2*i - 353 - 1845, 0 = -5*b + 5*i + 2725. Let f = 1126 - b. Is f a multiple of 51?
False
Let d = -6097 - -14465. Does 12 divide d?
False
Suppose -a + 21 = 5*l - 1, 3*a = -l + 66. Let o(h) = 2*h - 1. Let m be o(-1). Is (a/(-4))/(m/102) a multiple of 49?
False
Let u be (21/6)/(2/12). Suppose -17*w + u*w = 16. Suppose 2*z - 5*q = 160, 7*z = w*z - 4*q + 240. Is 20 a factor of z?
True
Let x = -19892 - -38603. Is 77 a factor of x?
True
Suppose 11718 = -23*y + 9*y. Let l = -571 - y. Is l a multiple of 27?
False
Suppose -377 + 54 = 17*k. Is 954/2 + 17 + k a multiple of 41?
False
Is 9/(18/16) - -15267 a multiple of 65?
True
Suppose 24*a = 27*a + 12. Let b be a/12*-9 - (-164)/(-2). Let y = 171 + b. Does 7 divide y?
False
Let g(i) = 25*i**2 + 22*i + 35. Let a be g(-13). Let l be (-4)/(-14) + a/14*2. Let q = l + -405. Does 9 divide q?
False
Let d be 21663/145 - (-2)/(-5). Suppose -2*w + 8 + 2 = 0, 0 = 5*l + 2*w + 330. Let o = d + l. Is 27 a factor of o?
True
Let z(x) = 45*x**2 - 24*x + 406. Does 13 divide z(9)?
True
Let k(g) = -2*g + 5. Let j = -23 + 30. Let h be k(j). Let u = h + 41. Is u a multiple of 4?
True
Let n(p) = p**2 - 6*p - 1. Let x be n(6). Let z(y) = -232*y**3 + y**2 - 2*y - 4. Does 41 divide z(x)?
False
Let d(x) = 3*x**3 + 45*x**2 + 27*x + 48. Let w(c) = c**3 + 23*c**2 + 14*c + 25. Let f(a) = 2*d(a) - 5*w(a). Is 7 a factor of f(26)?
True
Let b = -180 + 274. Let m = b - 88. Let q(r) = 29*r + 26. Does 40 divide q(m)?
True
Let m(h) = h**2 - 13*h - 14. Let t be m(14). Suppose -w = 3*z - 5*z + 100, t = 2*w. Suppose -4*k - z = -y, 2*y + k = 3*k + 88. Is y a multiple of 7?
True
Suppose 21*m - 32 = 19*m. Suppose m*z = 13*z. Does 27 divide 1 + 102 - z*(-3)/(-12)?
False
Let g(t) be the second derivative of -t**4/2 - t**3/6 - t**2/2 + 20*t. Let v be g(1). Is (1 - (-44)/v)*(1 + -11) a multiple of 9?
True
Suppose 0 = 3*v + 3*v - 14256. Suppose 0 = -0*x + 11*x - v. Is x a multiple of 18?
True
Let q(o) = -o**2 + 7*o - 10. Let b be q(4). Suppose 7*a + 3*a = b*a. Suppose -5*s + 2*r + 193 - 13 = a, -2*s + r = -72. Does 8 divide s?
False
Suppose 9*q - 16710 + 6337 = 11623. Is 11 a factor of q?
False
Suppose -21959 = -26*q + 29885. Suppose -28 + 27 = -r, -q = -4*v - 2*r. Is v a multiple of 35?
False
Suppose -36*q = -31*q - 35, -2*u = 7*q - 621. Does 22 divide u?
True
Let m(c) = -c**3 + 47*c**2 + 539*c + 118. Does 10 divide m(54)?
False
Suppose 0 = -3*q - 2*k + 6 + 5, -q - 5*k = -21. Let c be ((-8)/(-12))/(q/66). Suppose j = -f + 38, -f + 5*f = -j + c. Does 18 divide j?
True
Let y = -7 + 10. Suppose -2*v + 11 = -0*v - y*l, 5*l + 10 = -5*v. Is 14 a factor of (-21 + 0)*(2 - (5 - v))?
True
Let n = -115 + 112. Let w be n/(-6)*(9 + 4/4). Suppose -w*a + 192 = -28. Is 22 a factor of a?
True
Suppose 5*l = 5*n, 3*n + 3*l - 11 = 7. Suppose -5*i = 4*t - 255, -3*t = -n*i + 115 + 11. Let j = i + -41. Is 6 a factor of j?
True
Let n be 14/8*(6 + -90)/3. Let r = 5 - n. Does 9 divide r?
True
Is (1 + 4891/(-3))*129/(-215)*25 a multiple of 47?
True
Does 59 divide (24020 + -72)*2/4?
False
Let p be (1128/(-9))/((-8)/24). Suppose 0 = 6*i - 4*i - 4*f + p, -3*f + 188 = -i. Let x = 269 + i. Does 27 divide x?
True
Let o(f) = -26*f**3 - 9*f**2 + 16*f + 142. Is o(-6) a multiple of 6?
False
Suppose y + 0*y = 83. Let m be (-4 - -7)/(7/((-322)/6)). Let o = y - m. Does 17 divide o?
False
Suppose -11*g - 175 = -2*s - 16*g, -5*s + 4*g + 520 = 0. Suppose 0 = 13*a - s - 43. Is a even?
False
Suppose 4*c - 95*a = -90*a + 24865, 0 = -4*c - 5*a + 24895. Does 20 divide c?
True
Let l be (-142)/(-6)*(78 + 0). Let p = 181 + -142. Does 8 divide (l/p)/((-4)/(-6))?
False
Suppose -3*g + 397*l = 393*l - 2139, 4*g + 3*l = 2852. Is g a multiple of 14?
False
Let q(i) = 34 + 22*i - i**2 - 10*i**2 + 5*i**2 - 6*i**2 - i**3. Does 2 divide q(-14)?
True
Let j(u) = u**3 - 24*u**2 + 20*u - 363. Is j(31) a multiple of 18?
True
Suppose u = -1, -2*u + 38166 = -0*q + 4*q. Is q a multiple of 54?
False
Is 7 a factor of (50400/45)/(-4*(-3)/12)