 of i?
True
Let i(o) = -4*o + 8 + 5*o + 0*o + 4*o. Let l be i(5). Let s = l - -32. Is 13 a factor of s?
True
Let k(o) = o - 215. Let w(v) = 214. Let s(a) = 2*k(a) + 3*w(a). Let p be s(0). Suppose 33 = 5*q - p. Is 16 a factor of q?
False
Is 21 a factor of (12/14)/((-15)/(-27195))?
True
Does 10 divide ((-1 - 5) + 2 - -1)*-87?
False
Let z = -120 + 143. Is 8 a factor of z?
False
Let i(b) = -b**3 + 16*b**2 - 10*b + 27. Does 7 divide i(15)?
False
Let r(l) = -l**3 - 12*l**2 + 4. Let j be r(-12). Let c(p) = 6*p - 3. Does 7 divide c(j)?
True
Does 11 divide (8/(-5))/((-16)/120)?
False
Let o = -1173 - -1593. Is o a multiple of 20?
True
Suppose p - 43 = -3*p + 3*c, 0 = -5*p - 4*c + 15. Suppose -3*i - 65 - p = 0. Does 9 divide 18*(-4)/(i/9)?
True
Suppose -2*m + 6 = 4*q, -3 + 4 = -3*q + 4*m. Let r be 3 + 106 + 3 - q. Suppose -2*c + 6*p + r = 5*p, 2*c - 101 = -p. Does 27 divide c?
False
Let s = 63 + -11. Let i = -40 + s. Does 12 divide i?
True
Let v = -186 - -231. Is 15 a factor of v?
True
Suppose 0*n - n + 143 = -3*i, -i = 4*n - 572. Suppose 145*b - 46 = n*b. Is 7 a factor of b?
False
Let f(i) = -2*i**2 + 5*i + 17. Let p(w) = w. Let t(x) = -f(x) + 3*p(x). Does 17 divide t(6)?
False
Suppose -20 = -0*t - 5*t, -4*t = 4*y + 156. Let x = y - -78. Suppose -95 + x = -4*g. Does 8 divide g?
False
Let z(y) = 4*y**2 + 0*y + y - y**3 - 15*y + 11*y**2 + 3. Let t be z(14). Does 28 divide -101*(t + (-16)/4)?
False
Suppose 38*t - 31*t - 13629 = 0. Is t a multiple of 34?
False
Let b = 6359 + -2993. Is 66 a factor of b?
True
Suppose 0 = -8*k + 1694 + 282. Does 6 divide k?
False
Let d be ((-12)/(-15))/(5/(-25)). Let i be (-5 + 7)/((-2)/d). Suppose -a - 4*a + 5*g + 135 = 0, 2*a - i*g - 52 = 0. Is a a multiple of 14?
True
Suppose 5*q + 319 = 16*q. Let c = -6 + q. Does 16 divide c?
False
Let l = 14 + -5. Let t = l - 5. Suppose -26 = -5*f + t*w + 61, 47 = 3*f - 5*w. Is f a multiple of 5?
False
Let p = -269 - -454. Is p a multiple of 5?
True
Let p(i) = -3*i**2 + 3*i + 2. Let x be p(-1). Let b = x - -7. Suppose -2*d + 2*t + 99 = b*d, 5*d = t + 102. Does 14 divide d?
False
Let x = 395 - 43. Does 21 divide x?
False
Let d(m) = 2*m**3 - 5*m**2 - 29*m + 20. Does 14 divide d(9)?
True
Let y = 124 + -89. Suppose -122 = -3*i - y. Let r = 51 - i. Is 8 a factor of r?
False
Suppose 2*i = -i. Suppose -2*m + 0*m + 30 = i. Does 20 divide 16/(-6)*m/(-2)?
True
Let r(s) = s**2 + 2*s - 2. Let y be r(-4). Let l be y/(-4) + (-10)/(-4). Is 13/(-3 - -4*l) a multiple of 4?
False
Is 4 a factor of 7 + -5 - (-7 + 2)?
False
Let o = 815 - 567. Is o a multiple of 31?
True
Let u(f) be the first derivative of f**3/3 + 13*f**2/2 - 38*f + 37. Is 19 a factor of u(6)?
True
Suppose -2*w - 5*v + 133 = -0*v, -379 = -5*w + 3*v. Suppose -41*f = -42*f + w. Is 13 a factor of f?
False
Let s be 4*4/(1/1). Let f be s/(-40) - 44/(-10). Let a = 20 + f. Is 6 a factor of a?
True
Suppose 0 = -17*b - 2*b + 1653. Is 11 a factor of b?
False
Suppose 4*o - 7*o + 9080 = 5*w, -w + 5*o + 1844 = 0. Is 12 a factor of w?
False
Let a(n) = 7*n**2 - 174*n + 17. Does 56 divide a(34)?
False
Let z(x) = -x**2 + 4*x + 5. Suppose -2*k = 3*p - 17, 6*p - 5*p = -2*k + 11. Let h be z(k). Suppose 58 = h*a - 3*c, c + 2*c - 26 = -a. Does 7 divide a?
True
Is 15 a factor of 2/((-24)/60) - -1368?
False
Suppose 5*w + 2*a + 0 - 13 = 0, -a - 1 = 0. Suppose -w*x - 2*x = -5. Let h(v) = 11*v**3 + v**2 + v - 1. Does 6 divide h(x)?
True
Suppose c - 324 = -5*q, 2*q - 1225 = -4*c + 89. Is c a multiple of 9?
False
Let t(z) = z**3 + z**2 + z + 1. Let k(y) = 5*y**3 + 15*y**2 + 3*y + 5. Let g(x) = k(x) - 4*t(x). Does 12 divide g(-11)?
True
Suppose -11*w + 26*w = 2520. Is w a multiple of 56?
True
Suppose 67*w + 4*a = 65*w + 3456, 5*a - 8630 = -5*w. Does 103 divide w?
False
Let r = -65 - -114. Let n be 28/r - 416/(-7). Suppose -p = p - n. Is 8 a factor of p?
False
Suppose -2*r - 3*r = -720. Is r a multiple of 36?
True
Let h(q) be the third derivative of q**6/24 - q**5/15 + q**4/8 - q**3/3 - 17*q**2. Does 21 divide h(2)?
False
Let m(h) = 1 - 1 - 2 + 3. Let n(t) = -t**2 + 1. Let r(z) = 6*m(z) + n(z). Does 2 divide r(0)?
False
Suppose -5*u - 6 = -t, u + 3 - 5 = t. Let x be (0 - u)/((-6)/(-9)). Suppose 0 = -x*s + 36 + 24. Is 10 a factor of s?
True
Let l(n) = 101*n**2 - n. Is l(-1) a multiple of 6?
True
Suppose 4*l = -l - 1055. Let u = -71 - l. Does 14 divide (3/(-2))/((-5)/u)?
True
Suppose 0*x - 7*x = -637. Is x a multiple of 21?
False
Let w = 38 + -18. Is w/(-3)*(-45)/10 a multiple of 24?
False
Suppose -3*q + 40 = 2*q. Suppose -2*u = -4*u + 3*r + 13, -2*u = 2*r - q. Suppose 5*m + 5*x - 85 = 0, u*m = x + 36 + 25. Is m a multiple of 4?
False
Does 16 divide (-8)/(-1) - 4992/(-6)?
False
Let r = -432 + 788. Suppose 5*u + r = 981. Does 25 divide u?
True
Suppose 30*r + 5*r = 21980. Is 4 a factor of r?
True
Let o = 11 - -23. Suppose -5*t - 5 = 15, -5*l - 4*t + o = 0. Is 3/(-5) + 166/l a multiple of 16?
True
Let m(o) = 2*o**3 + 4*o**2 + 11*o + 7. Is m(9) a multiple of 16?
True
Let y be (-3)/3*(26 + 1/1). Let s = y + 45. Does 6 divide s?
True
Does 113 divide (-10)/(-15 + 17 - 2280/1138)?
False
Let q = 29 + -6. Suppose -24*c + 186 = -q*c. Does 34 divide c?
False
Is 97 a factor of (44/(-77))/(5/(-23485))?
False
Suppose 3*m - 1 = -5*f, -4*f - 6 = 5*m + 1. Suppose -f*l = l. Suppose 4 + l = h. Is h a multiple of 4?
True
Suppose -d = -233 - 56. Does 33 divide d?
False
Let p = -34 - -31. Is 16*(5 + p) + 1 a multiple of 11?
True
Suppose -3*f - 48 = 3*f. Is ((-10)/(-15))/(f/(-732)) a multiple of 9?
False
Let y(v) = -v**2 - 25*v + 9. Let c be y(-21). Suppose -5*m - 5*g + 51 + 74 = 0, 4*m - 3*g = c. Does 3 divide m?
True
Let g = 513 - 493. Does 20 divide g?
True
Suppose r + 5*b = -6, 3*r + 37 + 32 = 2*b. Let u = -70 - -98. Let c = r + u. Does 7 divide c?
True
Let y(i) = 35*i**2 - 4*i - 15. Suppose 8*n - 18 = 14*n. Is y(n) a multiple of 52?
True
Let g = 1 + -5. Is 17 a factor of (-183*g/(-6))/(-2)?
False
Is 1/(3/(-558))*(-5)/15 a multiple of 31?
True
Is 19 a factor of 117 + 2 + 6 + -1*7?
False
Let l be 0 - (4 + (-9)/(4/4)). Suppose -4*u - l*t = u - 250, 5*t + 270 = 5*u. Is u a multiple of 34?
False
Suppose 1876 = 2*b + 186. Suppose b = 5*q - m, -4*q + 196 = 5*m - 451. Does 42 divide q?
True
Suppose -7*q + 3124 = -3*q. Does 36 divide q?
False
Suppose -2*n - f = 2*f - 18, -3*n + 5*f + 46 = 0. Is (9/(-4))/(n/(-384)) a multiple of 24?
True
Suppose 40 = 2*t - 4*p, 0*t = -2*t - 3*p + 19. Let k = t - 23. Let r(g) = -4*g - 15. Is 7 a factor of r(k)?
True
Let x(y) = 9*y**3 + 2*y - 1. Let b be x(2). Let k(r) = 4*r - 4*r + b + r**2. Is k(0) a multiple of 14?
False
Let g be (-1)/((-1)/(1252/(-4))). Let v = -193 - g. Is v a multiple of 24?
True
Let u(p) = 21*p**3 + 3*p**2 + p + 5. Let h be u(3). Suppose -5*m = -3*k - h, 0 = -4*m - 6*k + 2*k + 488. Does 10 divide m?
False
Let o(q) = 7*q - q - 24 + 23. Is 17 a factor of o(3)?
True
Let q(k) = 13*k + 18. Let w be q(6). Let v = -76 + w. Is 5 a factor of v?
True
Is 6 a factor of ((-3190)/(4 + 6))/(-1)?
False
Suppose 2421*j = 2420*j + 131. Is 12 a factor of j?
False
Let s(m) = 2*m - 7. Let u be s(6). Suppose -2*a - a = -u*g + 28, -4*g - 4*a = -16. Suppose -g*b + 297 = -4*x + x, 236 = 4*b - 2*x. Is 19 a factor of b?
True
Let u(w) = -5*w**3 - 12*w**2 - 5*w - 3. Does 9 divide u(-6)?
True
Let c(s) = s**3 + 2*s**2 - 5*s - 4. Let p be c(-3). Let u(l) = 12*l. Let x be u(1). Suppose 2*q - x = -5*f + 93, -p*q = 0. Does 8 divide f?
False
Let a(v) = -v**2 - 4*v. Suppose -4*k - 5 = 7. Let l be a(k). Suppose 0 = -l*j + j + y + 43, 0 = 4*j + 3*y - 91. Does 11 divide j?
True
Suppose -4*y = 8, 30 = -0*o + o - y. Let q be 1*-10 - (-140)/(-20). Let v = o + q. Does 9 divide v?
False
Let h(t) = t**3 + 21*t**2 + 22*t - 12. Let n be h(-17). Suppose 25*a = 20*a + n. Does 19 divide a?
False
Let m = -11 + 15. Let i be m + -2 - 0/(-1). Suppose -5*h + 84 = i*w - 38, 0 = -4*h + 3*w + 93. Does 8 divide h?
True
Let u be 4/(-8)*(1 + -1) - 36. Let j = u + 246. Is j a multiple of 14?
True
Let b(z) be the first derivative of 3*z**4/2 - 2*z**3/3 - 2*z**2 - 17. Is 24 a factor of b(3)?
False
Let j be (2 - 3)*(-5)/1. Suppose 4*z - 378 = -j*g - 54, -3*g - 4*z + 188 = 0. Is 17 a factor of g?
True
Let q be 2 + ((-10)/(-1) - 2). Let h = q + -16. Is 3 a factor of (5 - 3) + h/(-2)?
False
Let j = 26 + -22. Sup