3/3 + 11*i**2/2 + 8*i. Let a be d(11). Suppose -a - 4 = -k. Is k a multiple of 3?
True
Suppose -12*x + 7*x + 10 = 0. Let s(b) = -20*b**3 - 17*b + 18*b**x - 21*b**3 + 42*b**3 + 47. Does 9 divide s(-19)?
True
Let h be (45/(-12))/(-4 - (-303)/76). Let n = 739 - h. Does 10 divide n?
False
Suppose -434*w = 242*w - 26276664 + 6652384. Is 40 a factor of w?
False
Let m(u) = 153*u**2 + 71*u - 880. Is 64 a factor of m(17)?
True
Let c(o) = -121*o**2 + 11*o + 1. Let f be c(3). Let d = -561 - f. Is 13 a factor of d?
True
Suppose -43*o = -47*o - 4. Is 8 a factor of o - 30/(-40) - 1026/(-8)?
True
Let w(f) = -f**3 - 65*f**2 - 3*f - 68. Does 6 divide w(-65)?
False
Is (-252)/15*6020/(-21) a multiple of 56?
True
Let b(l) = l**2 - 3*l + 2. Let v be b(2). Suppose v = 4*c + 6*q - 2*q - 64, -5*q = c - 36. Suppose -r = 2*y - c, -4*r = 5*y - 3*y - 2. Is y a multiple of 2?
False
Let t(m) = -3*m**3 - 68*m**2 + 112*m - 72. Is 54 a factor of t(-36)?
True
Does 18 divide 3357940/130 - (-168)/(-546)?
True
Let p = -36 + 33. Let c = -37 - p. Let n = c - -62. Is 7 a factor of n?
True
Let w = 97417 - 40399. Is w a multiple of 258?
True
Let k = -1583 + 3866. Suppose 0 = 5*z - 687 - k. Is z a multiple of 14?
False
Let u(o) = 19*o + 588. Is 55 a factor of u(-2)?
True
Let l(g) = 61*g**2 + 82*g - 520. Is l(6) a multiple of 110?
False
Let u(y) = -5*y**3 - 75*y**2 - 3*y + 80. Is u(-16) a multiple of 17?
False
Let n = -128 + 180. Suppose n = -6*o + 2*o - 4*z, 80 = -5*o - 2*z. Is 39 a factor of (1/((-15)/o))/(6/195)?
True
Suppose -2*z + 2 = -4*h, -3*z = h - 8*z + 5. Suppose 47*o - 46*o - 125 = h. Does 12 divide o?
False
Suppose -27471 = 117*p - 130431. Is p a multiple of 58?
False
Let b = 200 + -473. Let u = 169 + b. Let d = u + 156. Is d a multiple of 25?
False
Suppose -2*u + u = 0. Suppose 51*c - 8092 = 17*c. Suppose -2*y + u*y + 94 = f, 5*y + f - c = 0. Is 8 a factor of y?
True
Suppose -610483 - 622013 = -59*g + 11*g. Does 32 divide g?
False
Let b be ((-1)/(-2))/((35/154)/5). Suppose -12 = -3*h, b*h - 10*h - 24 = -4*y. Let v(q) = 44*q + 55. Does 40 divide v(y)?
False
Let v(k) be the first derivative of -k**4/4 - 5*k**3 - 7*k**2/2 + 19*k - 1. Let r be v(-14). Let d = -53 - r. Does 13 divide d?
True
Suppose -16*v + 61*v - 70426 = 493874. Does 10 divide v?
True
Suppose 304146 = 116*x - 8938. Is 54 a factor of x?
False
Let z(t) be the second derivative of 745*t**3/6 + 3*t**2/2 + 5*t - 3. Is z(1) a multiple of 35?
False
Suppose -32*i = -28*i + 68. Let w = i - -7. Does 6 divide (55/w - -5)/(1/(-20))?
False
Let y = -1102 - -1806. Suppose y = 3*v - 55. Does 11 divide v?
True
Suppose 0 = -41*d + 22543 + 48305. Does 15 divide d?
False
Suppose -2*r + 8436 = 6*k - 4*k, 0 = -3*k + 5*r + 12606. Is k a multiple of 26?
True
Suppose 0 = 12*g + 21 + 27. Let c(z) = -14*z**3 - 2*z**2 + 3*z + 3. Does 10 divide c(g)?
False
Let u(m) = -7*m**2 + 11*m - 25. Let w(r) = -10*r**2 + 16*r - 37. Let b(z) = 7*u(z) - 5*w(z). Let q be b(4). Is ((-466)/(-2))/((-2)/q*-7) a multiple of 12?
False
Let r(y) = -5*y - 1. Let j(b) = -7*b**3 + b**2 + 6*b - 1. Let x(f) = -6*f**3 + f**2 + 5*f. Let q(m) = 5*j(m) - 6*x(m). Let g be q(0). Is r(g) a multiple of 4?
True
Let a(j) = -5*j**3 + 18*j**2 - 24*j + 23. Let r = -20 - -16. Let q(c) = -3*c**3 + 9*c**2 - 12*c + 12. Let l(w) = r*a(w) + 7*q(w). Is 12 a factor of l(-11)?
False
Suppose 9*z - 6*z = 342. Suppose -o + 0*o - v - 1 = 0, 5*o - 2*v = 23. Suppose z = -0*y + o*y. Is 26 a factor of y?
False
Let j(g) = 4*g**2 + 13*g + 29. Let w = -196 + 193. Is j(w) a multiple of 8?
False
Is -145 - -153 - 75/3*-152 a multiple of 5?
False
Suppose 5*a - 4824 = -3*s, 0 = -2*a - 5*s - 310 + 2251. Suppose l = m - 192, -5*m = 11*l - 15*l - a. Does 65 divide m?
True
Let p(a) = 207*a**3 - 13*a + 14. Let y be p(1). Suppose 2*v - 181 + 17 = 0. Let u = y - v. Is u a multiple of 21?
True
Suppose 5*z + 13 + 7 = 0. Let i = z - -6. Suppose 2*d - 80 = i*u, 3*u - 2 = -14. Does 6 divide d?
True
Let h(q) = 44*q**3 + 6*q**2 - 3*q - 13. Suppose 18*c = 8*c + 30. Is 35 a factor of h(c)?
False
Let b(o) be the second derivative of o**5/20 + 2*o**4/3 - 8*o**3/3 + 39*o**2/2 + 29*o. Is 6 a factor of b(-9)?
True
Let b be (3/4)/((-24)/(-96))*-10. Is ((-20)/b)/(((-1)/(-216))/1) a multiple of 16?
True
Let q(v) = v**3 + 3*v - 6. Let u be q(0). Let a be (-6)/(-2)*1*(-16)/u. Let d = 25 - a. Does 17 divide d?
True
Let d(g) = -2*g**2 - 6*g + 2. Let v be d(9). Let q = 118 - -268. Let f = v + q. Does 43 divide f?
True
Suppose -5*q + w - 23 = 0, 14*q = 12*q - 5*w - 20. Is 30 a factor of 217 - q*(-3)/15?
False
Let n(o) = o**3 + 5*o**2 + 8*o + 11. Suppose -2*t - 35 = -5*s, -s + 15 = -0*s - 2*t. Is n(s) a multiple of 6?
False
Suppose -41062 = -18*h - 20955 + 78443. Is h a multiple of 41?
False
Suppose 4*n + r - 3461 = 8*n, 0 = 3*n - r + 2597. Let c = n + 1234. Is c a multiple of 5?
True
Suppose 3*g = -3*g + 186. Suppose 3*t = 7*t + 104. Let j = t + g. Is 3 a factor of j?
False
Let k = 14128 - 5416. Is k a multiple of 18?
True
Suppose 230*i - 332690 = 2115715 + 256625. Is 19 a factor of i?
True
Suppose -4*p - 3*c - 166 = 0, 2*p - 2*c = -77 + 1. Let u = p - -45. Suppose 2*d - 577 = -u*t, -2*t + 4*d + 198 + 52 = 0. Does 9 divide t?
True
Let c(j) = 2097*j**2 + 11*j - 10. Is 31 a factor of c(1)?
False
Let s be 10/(-2)*(-57)/(-95). Is s*(-58 + 4 - 3) a multiple of 9?
True
Let v(d) = 2*d**3 + 3*d**2 - 4*d + 2. Let w be v(1). Suppose 0 = -5*a - w*g + 353, 0*a + 2*g + 227 = 3*a. Is 11 a factor of a?
False
Let b(x) = x**2 - 9*x + 39. Let p be b(17). Suppose -5*a = -4*h + p, -4*h - 2*a + 182 = -0*a. Is h a multiple of 5?
True
Is 101 a factor of 21/(-3) + 13 - -8830?
False
Let o = 18850 + -3024. Is o a multiple of 61?
False
Suppose -3*y = 2*v - 12798, -12*y + 7*y + 21337 = v. Does 22 divide y?
True
Suppose 27 = 7*p + 6. Suppose -2 = -2*g, 5*n - p*n + 3*g = 2025. Is 21 a factor of n?
False
Let t be 1 - (-5 + 12 + -1108). Suppose -16*p = -t - 370. Is p a multiple of 17?
False
Suppose -4*c = 5*n + 2519, 508 = n - 2*n - 5*c. Let m = n - -800. Is 5 a factor of m?
False
Let i = -22463 - -47190. Does 60 divide i?
False
Let o = 70 - 68. Let t be o/((0 - (-1)/(-3))/1). Is 24*((-4)/t + (-10 - -10)) a multiple of 16?
True
Suppose 268*r = 3*l + 266*r - 2444, 2*r - 4052 = -5*l. Does 2 divide l?
True
Let r(g) be the first derivative of 2*g**3/3 + 4*g**2 + 4*g + 583. Suppose 2*u - 5*u - o - 23 = 0, -u + 2*o + 4 = 0. Is 11 a factor of r(u)?
False
Let s be 3384/84 + 2/(-7). Suppose 39*g - s*g + 476 = 0. Does 34 divide g?
True
Suppose 55*n - 9187 = 5003. Let l be 1/(-4) - (-37)/4. Does 34 divide ((-6)/l)/((-1)/n)?
False
Is (164/533)/(5/4745) a multiple of 2?
True
Let i = -5095 - -5512. Is i a multiple of 7?
False
Let c(v) = -84*v**3 + v**2 - v - 2. Let y(j) = -j**3 - j - 1. Suppose -8*x - 9 = -9. Let f be y(x). Is 28 a factor of c(f)?
True
Let d be ((-2)/(-4))/(4/8). Let u be 0*(-4)/(-8)*d. Suppose u = y + 3 - 4, -142 = -i + 2*y. Is i a multiple of 24?
True
Let u be -27 + -1 + (-45)/(-15). Let n(q) = -q**3 - 25*q**2 - 5*q - 61. Is n(u) a multiple of 10?
False
Suppose -14*p + 8*p = -4542. Suppose 2*w - p = t, 10*w - 14*w + 1510 = 2*t. Is w a multiple of 25?
False
Let o be 96/(-1)*2/(-4). Suppose 2*m + 58 = -2*d, 2*d = 2*m - 3*d + 44. Let r = m + o. Does 21 divide r?
True
Suppose 0 = -3*y + 5*y + 4. Let c be ((-4)/12)/(y/(-18)). Is 17*5 + 3/c a multiple of 14?
True
Suppose 4*p - 960 = -2*c + 3042, -p + 1 = 0. Is c a multiple of 19?
False
Let a = 223 + -223. Suppose a*p - 882 = -9*p. Is 7 a factor of p?
True
Let a(n) = 363*n**2 + 21*n - 140. Is a(7) a multiple of 206?
False
Suppose 238*p - 242*p + 64 = 0. Suppose 5*t + 616 = p*t. Is 33 a factor of t?
False
Let f = -600 + 2076. Is f a multiple of 82?
True
Let n = 431 + -198. Let k = n + -146. Does 3 divide k?
True
Let p(j) = -8*j**3 + 7*j**2 + 3*j + 2. Let z = 38 - 41. Is p(z) a multiple of 54?
False
Let y(k) = -78*k**2 + 7*k - 4. Let f be y(2). Let c = 523 + f. Does 30 divide c?
False
Let d be (-4)/(-10)*(27 - 22). Suppose 2*c + 7*c - 234 = 0. Suppose c + 10 = d*o. Is 6 a factor of o?
True
Let o(t) = t**3 - 12*t**2 - 6*t - 16. Let z be o(13). Let p = -72 + z. Suppose 244 = 2*h - 4*x, 2*h + 5*x + 125 = p*h. Does 8 divide h?
True
Let s = -10560 - -19107. Is 4 a factor of s?
False
Let k(s) be the first derivative of 