 - 16*u + 19. Let f(b) = -3*b**2 + 17*b - 19. Let m(a) = x*h(a) - 3*f(a). Does 13 divide m(-16)?
False
Let o(g) = g**3 + 15*g**2 + 15*g + 29. Let v be o(-14). Let d be (18/v)/((-3)/(-285)). Suppose 5*s - d - 391 = 0. Is 10 a factor of s?
False
Suppose 5*d = -5*j + 10*j + 2865, 0 = -4*d - 4*j + 2284. Is 11 a factor of d?
True
Let b(m) = 2*m**2 + 18*m + 4. Suppose 0 = 3*i + 5*h + 42, 7*i - 4*i + 39 = -4*h. Let w be b(i). Is 10 a factor of ((-114)/18)/((-3)/27) - w?
False
Suppose 61*m = 59*m - 128. Let u = -34 - m. Is 6 a factor of u?
True
Suppose -3*q - 12752 = -2*d, 22*d + 76460 = 34*d - 5*q. Is d a multiple of 15?
False
Let s(r) = -3*r + 12. Let z(t) = 2*t**2 + 23*t + 14. Let w be z(-11). Let y be s(w). Suppose -x + 0*x = -q - 74, -2*q + 242 = y*x. Does 6 divide x?
True
Suppose 6*c - c - 205 = 0. Suppose 2179 = 34*u + 547. Suppose -c*i + 43*i - u = 0. Does 12 divide i?
True
Does 22 divide -8 - 1 - 1842042/(-337)?
False
Let f = 72 + -107. Is 27 a factor of (-3)/(-5) - 413/f*23?
False
Let k = 5646 - -1156. Is k a multiple of 6?
False
Let i(c) = -3*c**3 - 6*c**2 - 4*c + 15. Let p be i(-6). Does 5 divide (-12)/(-2) - p/(-3)?
False
Let r = 18 - 12. Suppose r*j - 12*j = -1356. Is 8 a factor of j?
False
Is (202/5*-4)/(5364/1350 + -4) a multiple of 303?
True
Let w = -79 - -165. Suppose 0 = -10*y + 54 + w. Is y a multiple of 2?
True
Suppose -n = 2*x - 6390, -3*x + 3*n + 8465 = -1129. Is 13 a factor of x?
False
Let y(i) = -65*i. Let b be y(-4). Suppose 24*c = 20*c + 5*u + 482, -3*c + 5*u + 364 = 0. Suppose b = 9*w - c. Is w a multiple of 6?
True
Let v(n) = n**3 + 47*n**2 - 61*n - 1132. Is v(-45) a multiple of 66?
False
Suppose 4*k = -5*z + 22623, 5*z + 4218 = k - 1469. Is k a multiple of 18?
False
Let v be 200/(-32) + 6 + (-13306)/(-8). Suppose 0 = 5*j - v - 157. Does 26 divide j?
True
Let l(x) = 3*x**3 - 36*x**2 - 14*x - 36. Is 33 a factor of l(18)?
True
Does 3 divide -4 + -1 - (-77770)/(-404)*(-8)/2?
True
Suppose 3*x = -y + 9868, -2*y + 31101 - 11350 = x. Does 21 divide y?
False
Let a(d) = -d**3 - d**2 + 7*d + 7. Let j be a(-3). Suppose s - 24 + 10 = -o, 0 = j*s - 2*o - 86. Is s even?
False
Suppose -28*d + 16*d + 6852 = 0. Let s = d - 150. Is 8 a factor of s?
False
Let m(s) = -3*s - 34. Let t be m(-13). Suppose 3*q + 22 = -2*i, t = i + 3*q + 22. Does 12 divide (-97)/((i + 4)*1)?
False
Let b be 126/(-1 - -4)*2/6. Suppose b*j = -99 + 323. Is 4 a factor of j?
True
Suppose -4*z - 26022 = 2*w, 0*w = -4*w - 12. Let j be (-2)/3 + z/(-36). Suppose -8*q - j = -13*q. Is q a multiple of 12?
True
Let n = -6190 + 7033. Does 6 divide n?
False
Suppose -w - w = -6. Let o be (25/(-15) - -1)/(8/(-36)). Suppose o*j - q = w*q + 40, j = -4*q - 8. Does 4 divide j?
True
Suppose -3*i = -3*a - 279, -9*i = 5*a - 4*i + 485. Is 32 a factor of -3 + a/(-35) + (-8616)/(-21)?
False
Is 27 a factor of (7 + 2 + -21 + 21)*99?
True
Let k(a) = -17*a - 1. Let h be k(-6). Suppose -z = -29*z + 14*z - 238. Let u = h - z. Is 19 a factor of u?
False
Suppose -661*a + 672*a = 52789. Is a a multiple of 24?
False
Let l = -348 + 404. Suppose l*g - 16904 = -1840. Does 3 divide g?
False
Let z be (2 - 229)/((-2)/(-24)*4). Let p = z - -1305. Is p a multiple of 24?
True
Suppose 2*m - 20 = -2*h, m - 4*h = -4*m + 5. Suppose 3*u + 2*w - 264 - 211 = 0, -m*u = -3*w - 817. Does 7 divide u?
True
Does 80 divide 48*(-29)/(203/(-4410))?
True
Let c = -4764 + 8331. Is 135 a factor of c?
False
Let z(i) = 18*i**2 + 3*i + 8. Let y be (10/3 - 4)*-6. Is z(y) a multiple of 28?
True
Suppose -14*r - 4507 + 45051 = 0. Is r a multiple of 25?
False
Suppose 5*o = 5*c - 76885, -10*c + 7*c + 46096 = 2*o. Is 29 a factor of c?
True
Suppose 9*m - 14481 - 8058 = 6864. Is 27 a factor of m?
True
Let x be (-1)/(4*4/(-80)). Suppose -418 = -6*s + 5*s + x*z, 0 = -5*z + 20. Does 18 divide s?
False
Let a be (-9)/(54/(-48)) - 5. Suppose -5*l + 323 = 2*k, -315 = -3*k + k + a*l. Does 31 divide k?
False
Let h(v) = 283*v + 1892. Does 16 divide h(15)?
False
Let u = 217 + -215. Suppose 0 = -4*v - n + 1545, -4*n = -0*v + u*v - 776. Does 42 divide v?
False
Let w = 7355 - 6727. Is w a multiple of 5?
False
Suppose -4*u - 4*y = -8291 - 97313, -6*y = 2*u - 52798. Is 54 a factor of u?
False
Let t(l) = 715*l - 990. Is 38 a factor of t(16)?
True
Suppose -164*v + 1109925 + 819211 = -228448. Is v a multiple of 11?
True
Let i = 8560 - 1741. Does 25 divide i?
False
Let n = -342 + 347. Suppose -14*j + 2268 = -n*j. Is j a multiple of 3?
True
Let c(u) = -u**2 - u. Let m(q) = -q**3 - 13*q**2 - 12*q - 17. Let s(z) = -3*c(z) + m(z). Is 26 a factor of s(-11)?
False
Suppose 0 = 4*b + 3*y - 1665, -4*b + 2*b + 4*y + 816 = 0. Suppose -14*w = -b - 1014. Is 34 a factor of w?
True
Let h = 6084 + 2148. Is h a multiple of 56?
True
Suppose -5*f - y = -24318, -42*y = -46*y + 12. Does 50 divide f?
False
Let t(o) = -o**3 + 3*o**2 + 11*o + 7. Let z be t(6). Let x = z + 39. Let r = x + 94. Does 9 divide r?
False
Let g(x) = 6*x**2 - 3. Suppose 19 = -3*j - 14. Let f = j + 14. Is 20 a factor of g(f)?
False
Suppose 12*a = 5*a - 168. Let f be (-4116)/a + (-1)/(-2). Suppose -k = 2 - f. Is k a multiple of 26?
False
Let q = -167 - -170. Suppose -933 = -3*r + 3*v, -r + q*v = 5*v - 323. Is 15 a factor of r?
True
Suppose -8803*d + 8812*d = 5472. Does 38 divide d?
True
Let y = 50831 + -34566. Is 14 a factor of y?
False
Suppose 181*d + 89*d - 693630 = 0. Does 16 divide d?
False
Let s(z) = 4*z - 21. Let d be s(3). Let i be ((-5)/(40/12))/(d/132). Let o = 114 + i. Does 17 divide o?
True
Let a(u) = 2220*u - 743. Is a(6) a multiple of 23?
False
Let w be (-6)/9*(-936)/((-9)/(-3)). Does 13 divide w/6*(-42)/(-8)?
True
Let n(f) = 135*f + 2833. Is 25 a factor of n(78)?
False
Let i = -134 - -103. Let t be (-2)/1 - (i - -22). Suppose 38 = t*q - 928. Is q a multiple of 23?
True
Suppose a + 4*x = -6 - 172, 723 = -4*a - 5*x. Does 26 divide (-88116)/a - (-6)/(-39)?
False
Let d(l) = l**3 + 6*l**2 - 13*l - 14. Let s(g) = -4*g**3 - 16*g**2 + 38*g + 41. Let k(a) = -7*d(a) - 2*s(a). Let r = 18 - 10. Is k(r) a multiple of 2?
True
Let q = -6025 - -15172. Is q a multiple of 15?
False
Let c be 0 - (-33)/(6/2). Let b = c + -5. Suppose 4*x = -3*f + 223, -3*x - 4*f - 136 = -b*x. Is x a multiple of 14?
False
Let j be (0/3 - -2) + 2. Let m be ((3 - 2) + 0)/(j/(-244)). Let h = m + 85. Is 6 a factor of h?
True
Let g = -1219 - -3202. Suppose -2*f - 3*q + g = 0, 2*f - 6*q = -3*q + 1965. Is 21 a factor of f?
True
Is (-1171054)/(-50) - ((-984)/200 + 5) a multiple of 19?
False
Let j be (4 + (-5 - -1))/6. Suppose 3*r + 169 - 673 = j. Is r a multiple of 5?
False
Let q be ((-9)/(-4))/(12 - 423/36). Suppose -q*y + 1415 = 5*r - 8*y, -2*y + 10 = 0. Does 26 divide r?
False
Suppose -7*p - 216 = -4*p. Let y = -67 - p. Suppose -2*u + 210 = -4*l, -2*u - 209 = -4*u + y*l. Does 12 divide u?
False
Suppose 4*r - 1 = -3*u + 24, r + 3*u = 13. Does 8 divide ((-8336)/(-20))/r + 8/(-40)?
True
Let g be 3*1*(-12 - 35). Let h be 2577/(-21) + (-4)/14. Let k = h - g. Does 3 divide k?
True
Suppose 33*u - 89*u = -190512. Is u a multiple of 18?
True
Suppose -4*d - 5*m + 21356 = 0, -3*d + 0*m = -4*m - 15986. Is 127 a factor of d?
True
Let b = -763 - -769. Let t(p) = 153*p + 229. Is 47 a factor of t(b)?
False
Let c(j) = 15*j + 15. Let r be c(-7). Let n = 94 + r. Does 4 divide (96/(-30) + n)/(2/70)?
True
Suppose i - 1 = 0, -790 - 1786 = 5*h - i. Let y = -425 - h. Is y a multiple of 18?
True
Let j be 19 - (-10 + 5 - -10). Suppose -3*s - 5 = -5*q + j, -4*q = -4*s - 12. Suppose -1190 = -3*n - q*y, -n + 380 = 2*y + 3*y. Is n a multiple of 35?
False
Is 97 a factor of ((-8)/36)/(33/(-37125))?
False
Let x(b) = 6*b**3 - 92*b**2 - 12*b - 26. Is x(16) a multiple of 26?
True
Suppose p - 83 - 229 = 0. Suppose 2*c + 0*k - 2*k = 192, p = 3*c + 3*k. Suppose c = 3*a + 4*x, -4*x + 172 = -a + 6*a. Is 19 a factor of a?
False
Let j be ((-95)/15 + 6)/((-2)/60). Suppose 0 = 23*x - j*x - 2366. Does 48 divide x?
False
Let h(l) = -76*l - 357. Let g(o) = 153*o + 832. Let a(i) = 3*g(i) + 7*h(i). Suppose 5*p = -1 - 4. Is 6 a factor of a(p)?
False
Suppose 0 = -47*s + 34*s. Suppose -187*f + 189*f - 390 = s. Is f a multiple of 11?
False
Suppose -3*c = 4*o - 97200, -593*o = 5*c - 590*o - 162000. Is c a multiple of 18?
True
Suppose -5*z - 2739 + 831 = -2*t, -5*t - 5*z = -4770. Suppose 21*