 i be (-1)/(-2) - (-114)/(-4). Let y = 128 + -76. Let o = y + i. Does 12 divide o?
True
Let p(h) = -h**3 - 11*h**2 + 11*h + 15. Let z(c) = c - 4. Let b be z(6). Suppose -6*d - 2*g = -b*d + 54, 3*g = -9. Is p(d) a multiple of 9?
True
Suppose -276 = 2*a - 6*a. Let q(z) = -z**3 - 5*z**2 + 6*z + 2. Let k be q(-6). Is 3 a factor of (-3)/k - a/(-6)?
False
Let j = -18 + 20. Suppose -417 + 56 = -5*s + 3*d, 2*s + j*d = 154. Suppose -s + 2 = -p. Does 12 divide p?
True
Suppose 4*s = -h + 199, -3*h = -3*s + 155 - 767. Is h a multiple of 7?
True
Let j(m) = -m**2 + 3*m + 4. Let w be j(4). Suppose -3*r + 181 + 305 = w. Does 27 divide r?
True
Does 9 divide ((-6560)/(-100))/((-4)/(-30))?
False
Let c = -205 + 341. Suppose -c = -38*g + 36*g. Is g a multiple of 15?
False
Let i = 29 + -9. Is -6*5/10 + i a multiple of 3?
False
Let q be (48/20)/((-6)/(-20)). Suppose 0 = -3*b - 2*n, -2*b = -q*n + 3*n. Suppose -6*g + g + 40 = b. Is 3 a factor of g?
False
Let b = 1058 + -584. Suppose -2*s + b = 5*n, 0*n = -3*n - 12. Is 48 a factor of s?
False
Suppose -2*j + 77 - 17 = 0. Does 30 divide j?
True
Suppose 7*q - 690 = -8*q. Does 46 divide q?
True
Let g(v) = v + 13. Let n be g(-10). Suppose m + f + n*f = 26, -2*m + 3*f + 8 = 0. Is 10 a factor of m?
True
Suppose -10*r = 31 + 129. Is 9 a factor of 30 - (r/4)/(-4)?
False
Does 6 divide 48/(-128) - ((-7230)/(-16))/(-5)?
True
Is 9 a factor of (-40)/32*6604/(-13)?
False
Let l = -40 - -36. Does 5 divide (0 - (34 + l))/(-2)?
True
Suppose -25*i - 15*i + 10240 = 0. Is i a multiple of 16?
True
Let m = -105 - -326. Let k = m + -66. Suppose 0 = -4*c - q + k, 5*q + 29 = 4*c - 108. Is c a multiple of 19?
True
Suppose -5*u + 8*u + 4*k - 160 = 0, -4*u + 3*k = -205. Is u/10 - 1/5 a multiple of 5?
True
Suppose 80 = -16*p + 1456. Is p a multiple of 12?
False
Suppose -18*c + 36*c = 1890. Is 15 a factor of c?
True
Is 13 a factor of (10153/(-71))/((2 - 4) + 1)?
True
Let b(i) = 4*i - 4. Let p be b(4). Let n(u) = -519 + u**3 - 32*u + 14*u - 10*u**2 + 530. Does 26 divide n(p)?
False
Suppose 0 = -4*c + 7*c - 207. Suppose 3*p - 2*p = -4*u + c, 2*u - 5*p = 29. Is 2 a factor of u?
False
Suppose -d - 8 = -377. Is d a multiple of 23?
False
Let n = 5379 + -1779. Is 48 a factor of n?
True
Let t(z) = 2*z**2 - z + 13. Let b be t(7). Suppose -3*o - b = -4*x + 177, 0 = x + 3*o - 74. Does 13 divide x?
False
Let i(n) = -6*n**2 + 8*n + n**2 + 4*n**2 - 6. Let y be i(7). Let u = y - -33. Does 15 divide u?
False
Let w be ((-6)/10)/((-2)/60). Suppose l - w - 7 = 0. Is 7 a factor of 185/l + 2/(-5)?
True
Is 1 - -2 - (-312 - (-5 + 7)) a multiple of 12?
False
Suppose -2*w + 26 - 88 = 0. Is 28 a factor of (-2108)/w*10/8?
False
Let s be 2/8 - (-2)/(-8). Suppose -5*p - 5*h - 95 = s, p + h = 4*h - 23. Let d = p + 41. Does 10 divide d?
False
Suppose -2*p + 7*p + 152 = 4*w, 38 = w + 4*p. Let i = 57 + w. Is 14 a factor of i?
False
Let t(s) = 3*s**3 + 30*s**2 - 103*s + 8. Does 12 divide t(4)?
False
Let y(u) = -u - 4*u + 8 + 13*u. Does 12 divide y(2)?
True
Does 14 divide 49 + -53 + (-218)/(-4)*2?
False
Suppose -5*q - 1810 = -5*y, -3*y + q + 211 = -879. Is y a multiple of 14?
True
Let h = 1168 - 820. Is h a multiple of 8?
False
Suppose -2*u - 3*u + 115 = 3*w, 3*w = 3*u - 45. Let v = u - 18. Suppose -63 = -z + r - v*r, -5*z = r - 307. Does 11 divide z?
False
Let w(m) = 615*m - 167. Is w(10) a multiple of 25?
False
Suppose -54 = -3*j - 2*j + 4*s, 4*j + 4*s - 72 = 0. Let c be 696/j + (-6)/(-21). Let v = c + -24. Does 10 divide v?
False
Is (-4)/4 + 327 - 6 a multiple of 6?
False
Suppose -4*q + 4 = 2*s + 2, q - 3*s = 4. Suppose -3*f + u = -7, 0 = 5*u - q - 9. Is 14 a factor of (56/f)/((-1)/(-3))?
True
Let m(n) = -n + 19. Suppose 4*o = 3*o - 14. Is 14 a factor of m(o)?
False
Let w(d) be the second derivative of d**4/12 - 4*d**3/3 - 7*d**2/2 + 2*d. Let o = 83 - 73. Is w(o) a multiple of 2?
False
Let q(f) be the third derivative of -f**5/60 - f**4/4 + f**3/3 + f**2. Let a be q(-5). Suppose 2*z - 3 = a. Is z even?
False
Let r = -17 + 20. Suppose 5*a = -4*l + 1215, -5*l - 92 = r*a - 821. Is a a multiple of 27?
True
Suppose 13 + 7 = 5*t. Suppose t*g + 0*c + 3*c = 385, -2*g + 198 = -4*c. Let u = g + -53. Is u a multiple of 8?
False
Suppose -d - c + 1 = 0, 3*c = 2*c - 4. Let l = d + 2. Suppose -2*k = -o - 175, -345 = -l*k + 3*k + 3*o. Is k a multiple of 19?
False
Let z(f) = f. Let y(r) = -6*r - 8. Let h(l) = y(l) + 5*z(l). Let o be h(-11). Suppose -v + 0*v + 5*k = -66, o*v - 2*k - 263 = 0. Is v a multiple of 27?
False
Let q = -97 + 67. Let m = 54 - q. Is 14 a factor of m?
True
Let c(z) = 3*z + 29. Let y be c(-14). Is ((-98)/4)/(y/26) a multiple of 14?
False
Let h be 5 - 4 - 2 - (23 - -2). Does 15 divide h/143 - 827/(-11)?
True
Suppose 0 = 4*l + k - 1429, -l + 257 + 99 = -k. Is l a multiple of 16?
False
Let d = 54 - 66. Let x = d + 52. Is 10 a factor of x?
True
Let w(i) = 4*i**2 + 21*i - 107. Is 19 a factor of w(-13)?
False
Suppose -4*n = 257 + 127. Is 37 a factor of ((-1512)/n)/(2/8)?
False
Suppose 0 = y - 3*u - 181, -175 = 67*y - 68*y - 3*u. Does 5 divide y?
False
Suppose 7*t - 2*t - i = -110, i - 47 = 2*t. Is (-130)/(-8) + t/84 a multiple of 16?
True
Suppose 0 = -2*n - 3*v + 325, 4*n - 457 = 4*v + 243. Is n a multiple of 5?
True
Suppose 19*m - 24 = 18*m. Is m a multiple of 6?
True
Suppose -4*t + 66 = l - 0, 3*t + 5*l - 58 = 0. Let h be 2/8 - 14/56. Let w = t - h. Is 9 a factor of w?
False
Let v(l) = 6*l**3 + 5*l**2 + 3*l - 3. Let m be v(-3). Is 16 a factor of (-13)/52 + m/(-4)?
True
Suppose -1 = 4*d + 3. Let k = d + -2. Is 11 a factor of -2 + (k + 12 - -4)?
True
Suppose -2*x = -x. Suppose 4*i + 368 = 2*m, x*i - 4*i + 592 = 3*m. Is m a multiple of 48?
True
Let y be (3 + -1 - 10)/2. Let q(t) = -23*t. Is 23 a factor of q(y)?
True
Let r be 0 - (3727/(-5) - (-12)/(-20)). Suppose -v + 138 = 3*z, 0 = 3*v - 8*v - z + r. Is 30 a factor of v?
True
Let m = -2346 - -3366. Is m a multiple of 11?
False
Suppose 0 = -3*b - 2*b + 40. Suppose -3*n = 2*v - 62, 0 = -n - v + b + 13. Is n a multiple of 5?
True
Let q(l) = -26*l + 739. Does 11 divide q(28)?
True
Let i(x) = x - 18. Let u be i(-10). Let a = 100 + u. Is 8 a factor of a?
True
Let r(l) = -l**3 - 2*l**2 + 2. Let m be r(-3). Suppose 2*j = 15 - m. Is (-11 + 1)*j/(-2) a multiple of 5?
True
Let m(k) = k**3 - 19*k**2 + 6*k - 96. Does 9 divide m(19)?
True
Let l(y) = -y**2 + 9*y + 11. Let i be l(13). Let u = 1 - i. Is 28 a factor of u?
False
Suppose 0 = 23*y - 1158 - 9468. Is 21 a factor of y?
True
Let k be (-54)/9*2/(-4). Suppose -k*r - 3 = -21. Let z = r + 36. Is 14 a factor of z?
True
Let l = -4789 - -6949. Does 40 divide l?
True
Let x be 2*(-2)/(-28) - (-1060)/28. Suppose -n = n - x. Is n a multiple of 13?
False
Suppose 11*s = 6*s - 1725. Let m = 538 + s. Does 33 divide m?
False
Is ((-1438)/(-4))/(3/6) a multiple of 65?
False
Let y(c) = 3*c + 10. Let i be y(-4). Let l(x) = 9*x**2 - 2*x - 1. Is l(i) a multiple of 5?
False
Let w(y) = -3*y**3 + 3*y**3 + 42 - 70 - y**3 + 32. Let c(z) = -z**3 + 1. Let l be c(1). Is w(l) a multiple of 3?
False
Suppose -11 = p + 4*y, -p - p - 2*y + 2 = 0. Suppose -p*s - w = -378, s + 2*w - 72 = -0*s. Is 8 a factor of s?
False
Suppose -271*m - 2160 = -274*m. Does 6 divide m?
True
Let u be (-3)/((-12)/(-16)) - 3. Let n = 3 - u. Is 10 a factor of n?
True
Let g(q) = 33*q - 3. Let f be g(-1). Let l = -15 - f. Is l a multiple of 21?
True
Let c = 9 + -15. Let q(b) = -b**2 - 8*b. Let j be q(c). Suppose -74 = -2*o + n - j, -3*o - 3*n = -84. Is 15 a factor of o?
True
Suppose 5*o + 3*p - 73 = 444, -3*o - 3*p + 309 = 0. Is 4 a factor of o?
True
Is 8 a factor of 1481 + 1 - (-37 - -44)?
False
Let n(q) = -4*q**2 + q + 1. Let h(v) = 11*v**2 - 4*v - 2. Let f(r) = 3*h(r) + 8*n(r). Let j be f(4). Does 7 divide j/1 + (11 - -6)?
False
Suppose -3*z + 0*z = -1104. Suppose -5*v = -37 - z. Does 32 divide v?
False
Let p be -3 + -3*(-32)/12. Suppose 3*u = 26 - p. Suppose -u - 2 = -o. Is 6 a factor of o?
False
Let j be 91/(4/(5 - 1)). Suppose 5 = 4*b - j. Is b a multiple of 8?
True
Let d(q) = 13*q**3 + 4*q - 3. Let s be d(2). Let v = 159 - s. Is v a multiple of 15?
False
Let x(p) = -8*p**3 - 2*p**2 + 26*p + 52. Does 56 divide x(-2)?
True
Suppose -y - 5*b = -72, 122 = 5*y + 4*b - 133. Let h = y + -92. Does 15 divide -1*(-3 + (h - 4))?
False
Suppose -2*y - 3*