/i) a multiple of 23?
False
Suppose 0*i = -3*i - 102. Suppose 16*s + 648 = 4*s. Let t = i - s. Does 2 divide t?
True
Suppose 3*t + 5*k = 13939, -2*k + 213 - 4874 = -t. Does 33 divide t?
True
Let h(u) = u**3 - 31*u**2 - 29*u - 93. Let p be h(32). Does 43 divide 596 + (-1 - (-21)/p)?
True
Let b be -4*(12 + -6 - 2). Let x = 169 + b. Does 21 divide x?
False
Suppose -p = 3*g + 219, -10*g + p + 147 = -12*g. Let c = g - -218. Does 11 divide c?
False
Let v(w) = -6*w**2 + 20*w - 92. Let g be v(8). Let f = g + 468. Is 8 a factor of f?
True
Suppose -4*i + 16 = 0, 4*v - 1511 = -5*i + 1. Let l = -211 + v. Suppose 2*c + l = 2*j - 0*j, -j + 69 = -5*c. Is 11 a factor of j?
False
Let m(q) = -2*q**3 - 12*q**2 - 5*q + 16. Let k = 133 + -140. Is 8 a factor of m(k)?
False
Suppose p + 2*l + 1 = 12, 12 = 2*p + 2*l. Let o(b) = -b**2 - 15*b - 4. Let y be o(-15). Is (3/y - p)/((-5)/20) a multiple of 2?
False
Let z(a) = 62*a**2 - 29*a - 97. Let r be (32/(-20))/(28/70). Does 29 divide z(r)?
False
Let v(o) be the first derivative of 41*o**2/2 - 16*o - 4. Suppose 0 = -2*w - 7*j + 6*j + 5, -2*w - 15 = 5*j. Is v(w) a multiple of 12?
False
Let d(j) = 15*j + 81. Let c be d(-15). Let v = -39 + c. Let b = v + 359. Does 11 divide b?
True
Let o(a) = 63*a - 111. Let m be 8 + ((-27)/(-18))/(3/2). Is o(m) a multiple of 10?
False
Let n = 2038 + 6138. Is 112 a factor of n?
True
Let b be (418/4)/(1/2). Suppose 2*i - b = -p + 6*i, 2*p - 418 = -3*i. Is 37 a factor of p?
False
Is 12 a factor of (-12 - 51492/(-24)) + ((-15)/2)/(-3)?
True
Let l(s) = s**2 + 22*s - 66. Let f = 84 + -108. Let m be l(f). Is 44 a factor of (-10)/(-45) + (-4748)/m?
True
Let n(v) = -4*v - 1. Let j be n(-3). Suppose j*z = 6*z. Suppose z*h - 3*h = -36. Does 3 divide h?
True
Let n = -9 + 199. Suppose 2*i = n + 206. Is 9 a factor of i?
True
Suppose -11*n + 8*n + 2588 = -4*q, 2592 = 3*n - 3*q. Let l = -274 + n. Does 11 divide l?
True
Let h(m) = -9*m**2 + 3*m + 4. Let w(f) = 8*f**2 - 4*f - 5. Let c(o) = 5*h(o) + 6*w(o). Let i = -1934 - -1939. Is c(i) a multiple of 12?
False
Let o = 12773 - 8074. Is o a multiple of 11?
False
Does 213 divide -336*(-1 - 897/26)?
True
Let h(c) = -3*c**2 - c**3 - c + 2*c - c - 3*c - 2. Let u be h(-2). Suppose 406 = -u*a + 7*a. Is 14 a factor of a?
False
Suppose -25*t + 42 + 33 = 0. Let m(i) = 14*i**2 - i + 4. Is 5 a factor of m(t)?
False
Let b = -9 - -11. Suppose -b = -2*q + a, -a + 0*a + 4 = 0. Is q/(54/4) + 2012/18 a multiple of 23?
False
Let c be (0 - (-2)/4)*6. Let q(o) = 23*o**3 - 3*o - 24*o**c - 2*o + 7*o**2 + 6. Is 2 a factor of q(6)?
True
Suppose 0*g + 3*g - 942 = 4*m, 3*m + 627 = 2*g. Suppose 3*y + 2*f + 327 = 0, -4*y - 5*f - g = -y. Let r = 158 + y. Is 14 a factor of r?
False
Let v(r) = -r**3 - 5*r**2 + 35*r - 4. Let c be v(-9). Suppose 0 = q - 1568 - c. Is q a multiple of 13?
True
Let p(g) = -12*g - 93. Let n be p(-8). Suppose -3*h + 12*q = 7*q - 1948, n*q = 4*h - 2612. Is 14 a factor of h?
False
Let s = -1913 + 8946. Is 10 a factor of s?
False
Let t(m) = 5 + 2*m**3 - 7*m**2 - 17 + 20*m + 4*m - 14*m. Is 14 a factor of t(8)?
True
Suppose -10*y - 955 = 255. Let a be y/(-33) - ((-2)/3)/(-1). Suppose -a*p + 264 = p. Does 10 divide p?
False
Suppose -19*j + 174 = 98. Suppose 5*r - o = 2261, j - 16 = -3*o. Is 17 a factor of r?
False
Let l(g) = -g**3 + 18*g**2 - 18*g + 22. Let w be l(17). Let d(x) = 30*x**2 - 46*x - 6. Is 39 a factor of d(w)?
False
Let d(q) = -q**2 + 14*q - 16. Let a be d(12). Does 12 divide (-24164)/(-126) + a/36?
True
Let h(j) = 17*j**2 - 11*j + 1. Let v be (-8)/10*150/(-60). Is h(v) a multiple of 2?
False
Suppose 3*h - 47 = 4*h. Let m = h - -36. Does 19 divide (m/(44/114))/((-2)/4)?
True
Let n(v) = -v**3 + 8*v**2 - 6*v + 11. Let g be n(7). Suppose -g*h + 5903 = 1223. Is h a multiple of 4?
True
Let h be (-36)/90 + (-1 - 66/10). Let o(v) = 6*v**2 + 15*v - 24. Is 16 a factor of o(h)?
True
Let s = 723 + -284. Let g = -163 + s. Is 11 a factor of g?
False
Let y(r) be the first derivative of r**4 + 5*r**3/3 - 9*r**2/2 + 18*r - 103. Is 48 a factor of y(3)?
True
Let c be (-18)/4*-1*(-12)/(-27). Suppose 76 = c*h - 1814. Is h a multiple of 63?
True
Is -4 - (-682)/165 - (2 - 137278/15) a multiple of 61?
True
Let s = 4191 + -3463. Does 16 divide s?
False
Let h = 1322 + -899. Suppose -h = 1143*a - 1146*a. Is 4 a factor of a?
False
Suppose 4502 + 15964 = 2*z. Suppose -21*q + 666 + z = 0. Is q a multiple of 17?
False
Let a = -109 - -186. Does 12 divide 3/((-3)/4) - (22 - a)?
False
Let m(x) = 12*x - 3 - 1 - x**2 + 5*x - x. Does 4 divide m(12)?
True
Suppose 7456 - 2806 = 31*j. Is 9 a factor of 0 + 104 + -1 + -148 + j?
False
Suppose 3*j - 24 = -j. Suppose 57*h - 2691 = 2268. Is 9 a factor of 2248/10 + h/(-15) + j?
True
Let b(u) = -951*u - 980. Does 52 divide b(-6)?
False
Let p = 1425 + 36195. Does 171 divide p?
True
Let d be 1674/(-21) - -1*2/(-7). Let f = -61 - d. Suppose -18*o - 120 = -f*o. Is 20 a factor of o?
True
Let v(b) = b**3 - 16*b**2 + 34*b + 11. Suppose -q = 4*q - o - 66, -4 = -o. Is 7 a factor of v(q)?
False
Let h(b) = 21*b**3 + 15*b**2 - 17*b - 17. Let q be h(7). Suppose 0 = 16*l - 2998 - q. Is l a multiple of 10?
False
Suppose -9*t = -151 - 542. Does 25 divide 1 + t + -1 + -1?
False
Suppose 5*b + 2243 = u, -b + 0*u - 2*u = 442. Let x = -422 - b. Does 13 divide x?
True
Let o(g) = 2*g**2 + g + 19. Suppose 0 = 4*f - 8*f - 24. Let y be o(f). Suppose 2*v - y = 5*j, 0*j = -2*j - 2. Is 5 a factor of v?
True
Suppose 27*z = 25*z + 32. Suppose -15*t = -z*t + 94. Let h = -49 + t. Is 15 a factor of h?
True
Let p be 2*(-3 - (-6)/4). Let j be p - ((-173 - -1) + 4). Suppose -o + 51 = 2*g - 32, o - j = -4*g. Is 5 a factor of g?
False
Is 82 a factor of 232/(-2900) - (-393604)/50?
True
Suppose 4*f = 3*j + 15, -13*j = 3*f - 6*j + 35. Suppose 0 = -3*k + 3*h + 2189 + 58, k - 2*h - 750 = f. Is k a multiple of 34?
True
Let h = -105 + 110. Suppose -6*z + 10*z = -2*u + 44, -h*u + 3*z = -136. Does 11 divide u?
False
Suppose 13*k = 16*k + 6. Does 8 divide k + 36/54*(1 - -422)?
True
Let z(r) be the first derivative of r**2 + 7*r - 2. Let a be z(-5). Is 16 a factor of (-26 + 8)/(a/16)?
True
Let y(q) = 2*q + 13. Let x be y(-7). Let v(z) = 5*z - 1. Let j be v(x). Let m(t) = -29*t + 24. Does 40 divide m(j)?
False
Suppose -127*y = -126*y + m - 3087, 4*y + 5*m = 12354. Is y a multiple of 24?
False
Let b(g) = -13*g - 74. Let y be b(-10). Let i be -4 - (81*-1 + 3). Let r = y + i. Is r a multiple of 9?
False
Let p be (-8150)/(-85) + 210/51 + -4. Suppose 542 = 2*c - p. Is c a multiple of 17?
False
Suppose -8*u + 33 + 71 = 0. Suppose -c - 8*f = -u*f - 681, -3*f + 2007 = 3*c. Is c a multiple of 25?
False
Let c(i) = 7*i - 120. Let t be c(16). Is (152/((-8)/2))/(1/t) a multiple of 16?
True
Let d(m) be the second derivative of m**5/20 + m**4/4 + m**3 - 13*m**2/2 - m + 81. Does 24 divide d(6)?
False
Let d(i) = -144*i. Let k(o) = 48*o. Let n(g) = -5*d(g) - 16*k(g). Is n(-6) a multiple of 36?
True
Suppose -5*n + 44063 = -2*o, -140*n + 145*n - 3*o = 44062. Is 178 a factor of n?
False
Let k be 0*(-3 + 2) + -295 + 0. Let h = -189 - k. Suppose -186 = -5*g - m, 0*g - 2*m + h = 3*g. Does 23 divide g?
False
Let c(x) = x**2 - 14*x + 2. Let r be c(14). Suppose 0 = -35*j + 36*j + r. Is ((-3)/j)/((-3)/(-20)) a multiple of 2?
True
Suppose 231*t = 431*t - 1371600. Is t a multiple of 141?
False
Let g(s) = -s**3 + 14*s**2 - 10*s - 1. Let m be g(6). Suppose 3*h - 2*d = 333, -8*h + 6*h + 3*d + m = 0. Is 11 a factor of h?
False
Let j(x) = -x**3 + x**2 - 5. Suppose i - o + 4 = 15, 5*i = o + 47. Let c = -13 + i. Does 18 divide j(c)?
False
Let h(i) = -344*i + 16. Is 15 a factor of h(-1)?
True
Let r be 447 - ((0 - 3) + -3). Suppose r - 1533 = -6*k. Is k a multiple of 20?
True
Suppose -2044 = -2*o - 2*s + s, -4*o = -5*s - 4116. Suppose -5*j + 2096 = -j - 2*h, -2*j = 5*h - o. Is j a multiple of 68?
False
Suppose 0 = -5*u - h + 2*h + 907, -4*u = -4*h - 732. Let c = u + 71. Is c a multiple of 14?
True
Let m = -18404 + 38241. Is m a multiple of 5?
False
Let l = -6 - -10. Suppose l*a - 1265 = 135. Is 14 a factor of a?
True
Suppose 2*m = -4*m + 60. Suppose -712 = 6*j - m*j. Suppose -7*a = 59 - j. Is 3 a factor of a?
False
Let r(i) = -i**3 - 3*i**2 + 86*i - 47. Is r(-19) a multiple of 9?
True
Suppose 9426 = 8*a - 4254. Suppose -3*q + 369 - a = 