*w**2 + 28*w + 15. Let k be m(14). Suppose -k*i = -1054 - 101. Does 24 divide i?
False
Suppose -48*h + 54*h = 2088. Does 17 divide h?
False
Suppose -2*u + 0*g = g - 383, -2*u = -2*g - 392. Suppose -p = 5*f - 87, 5*f + u = 3*p + 3*f. Is 15 a factor of p?
False
Suppose -4*o + 1688 = 3*n, -3*n + 10*o + 1720 = 6*o. Is 71 a factor of n?
True
Let c be (2 - 0 - 3) + -5. Let u = c - -9. Is 6 a factor of (-50)/(-4) + u/(-6)?
True
Suppose 5*n + f - 57 = 0, 2*n - 21 = n - 5*f. Suppose 0*x = -x + n. Is 5 a factor of x?
False
Let y = 4 + -4. Suppose -7*n + 6*n + 26 = y. Is n a multiple of 13?
True
Let f(n) = -n - 6. Let b be f(-7). Does 22 divide (-308)/6*(b/1 - 4)?
True
Let i(c) = -8 + 82*c**3 + 76*c**3 + 10 - c - 33*c**3. Is i(1) a multiple of 26?
False
Let a = -1104 - -2755. Is a a multiple of 13?
True
Let s(x) = -20*x + 1. Let j be s(1). Let u(n) = -n**3 - 20*n**2 - 28*n - 16. Is u(j) a multiple of 31?
True
Let h = -20 + 19. Let c be (-7641)/(-36) - h/(-4). Suppose -5*i = -28 - c. Does 16 divide i?
True
Is 13 a factor of -7*((-14)/(-3))/((-6)/117)?
True
Let i(r) = -2*r**3 - r**2 - 1. Let m be i(-1). Suppose -h = -3*u + 6, m*u - 2*h = -4*u + 8. Is 2 a factor of u?
True
Let l = 1411 - 985. Let n = l + -250. Suppose -3*d + n = d. Is d a multiple of 11?
True
Let h(x) = x**2 - 3*x + 5. Let i(k) = -2*k + 14. Let p be i(6). Let l = 7 - p. Does 3 divide h(l)?
True
Let c be 71 + (-1)/3*3. Suppose 3*u - 136 = -u. Let i = c - u. Is 12 a factor of i?
True
Let a(b) = -b + 6. Suppose 5*r - 128 + 33 = 0. Let g = r + -17. Is 3 a factor of a(g)?
False
Let u(i) = -48*i + 11. Is 14 a factor of u(-16)?
False
Suppose -171 = 5*u + 149. Let d = u - -107. Is d a multiple of 4?
False
Suppose 3*j + 23 = 5. Let x be j - (4/(-2) + 3). Let v(m) = -m + 1. Is 7 a factor of v(x)?
False
Suppose 2*u = -5*n + 135, -4*n - n - 140 = -3*u. Let w = -15 + u. Is w a multiple of 8?
True
Let f(z) = 47*z - 52. Let t(j) = 12*j - 13. Let u(n) = -2*f(n) + 9*t(n). Is u(4) a multiple of 43?
True
Let q(h) = -62*h**2 - 1. Let s be q(1). Is 9 a factor of (-3 + -3)*s/6?
True
Does 31 divide (279/27)/(3/99)?
True
Suppose -1 + 3 = j. Let k(t) = -2*t**3 - 14*t**2 + 48*t - 8. Let m be k(-10). Suppose j*o = 4*o - m. Is o a multiple of 9?
False
Suppose 4*o + 2 = 5*o, -4*o = 5*a - 23. Let z(n) = 14*n - 3. Let c(t) = -13*t + 2. Let y(f) = -6*c(f) - 5*z(f). Is y(a) a multiple of 7?
False
Suppose -x - 14*x = 2475. Let r = -90 - x. Does 9 divide r?
False
Suppose 0 = -l + f - 189 + 1941, -f + 8748 = 5*l. Does 70 divide l?
True
Let w = 47 - 17. Let b = 54 - w. Is b a multiple of 8?
True
Let y be (-35)/2*((-6)/3 + -6). Suppose 2*h = 3*z - 5*z + y, 0 = -2*h + 2*z + 132. Is h a multiple of 21?
False
Let p be 2 + (2 - (3 + 0)). Suppose -7 = -3*a - p. Suppose -a*s - 3 = -77. Does 13 divide s?
False
Suppose -4*a - 3*h = -0*a - 12, -2*a = 3*h - 6. Suppose -j - 94 = -r, r + a*j = 16 + 90. Let p = -57 + r. Does 11 divide p?
False
Suppose 0 = q + n - 0 + 5, -4*q + 3*n = 27. Is (22*(3 + 21/q))/(-1) a multiple of 4?
False
Let u = 10 + -1. Let n(v) = -u*v + 2*v + 2 - 7*v**2 + 6 + v**3. Does 8 divide n(8)?
True
Let w(b) = -2*b**3 - 33*b**2 - 16*b - 1. Let u be w(-16). Is 10 a factor of (21/7)/(u/(-13))?
False
Let p(f) = 2*f + 1. Suppose 3*w - 4 = w. Let x be p(w). Let b(i) = 11*i - 10. Is b(x) a multiple of 30?
False
Let n(p) = 29*p**2 + 9*p + 30. Is 31 a factor of n(-5)?
False
Let d(m) = m**2 + m - 111. Is 18 a factor of d(28)?
False
Suppose -2*w = -y - 3196, 5*w + 5*y = 5117 + 2903. Is w a multiple of 64?
True
Suppose 2*q - 92 = -390. Let p = 85 - q. Is 17 a factor of p?
False
Suppose 27*z - 27168 = 3*z. Does 58 divide z?
False
Let b(v) = 3*v**2 - 8*v + 132. Is b(11) a multiple of 21?
False
Let r(n) = 7 - 42*n - 10 - 19. Is 22 a factor of r(-4)?
False
Let t be 26*(-1)/(-4)*-2. Let i = 16 + t. Suppose 5*g - 18 = i*g + 3*m, -m - 36 = -4*g. Is g even?
False
Suppose 3*j - 2*j - 1 = 0. Let n(h) = -16*h**2 + 5*h. Let s(v) = -208*v**2 + 64*v. Let l(q) = 64*n(q) - 5*s(q). Is 9 a factor of l(j)?
False
Suppose -93 = 5*l + 2*g, l + 13 = -3*g - 3. Let z be -3 - -1 - (27 - 0/(-2)). Let p = l - z. Is 2 a factor of p?
True
Let h = -10 + 4. Let f be (-5)/h + 1/6. Is 27 - f - (1 + 1) a multiple of 10?
False
Suppose 2*x - 13 + 1 = 0. Suppose -x*o = -o - 10. Is (16/(-12))/(o/(-36)) a multiple of 6?
True
Suppose -d + 5*d = -3*o + 14, 2*d = 4*o - 4. Suppose 0 = -a - d*y - 3*y + 127, -408 = -4*a + 5*y. Is a a multiple of 26?
False
Let g be (-92)/22 + 8/44. Let p = g - -8. Is p a multiple of 2?
True
Let l = 0 - -2. Let h be l*-4*4/(-8). Suppose -2*t = h, s - 5*t + 1 = 56. Is 15 a factor of s?
True
Is 28 a factor of -3 + (2 - 1 - -758)?
True
Let u be (-5)/((-1)/(-2)*-2). Let n be -6 + u + 3 + -3. Let b(x) = 48*x**2 + 3*x + 1. Is 23 a factor of b(n)?
True
Let t = 4857 + -3346. Is t a multiple of 4?
False
Suppose -20*r + 3092 = -2988. Is r a multiple of 43?
False
Let k(q) = 7*q**2 - 3*q + 20. Is 21 a factor of k(7)?
False
Suppose -5*r + 4*c = -3*r + 4, 4*r = -4*c + 16. Suppose l - 1 = n, -6*l + 26 = r*n - l. Let j = 13 + n. Is j a multiple of 8?
True
Suppose 0 = 17*l - 14*l + 24. Is 19 a factor of 80*(3 - l/(-4))?
False
Let z be -2*(-2 + 708/(-8)). Let d = z + -126. Is 8 a factor of d?
False
Let s(u) = 121*u**2 + 2. Is 20 a factor of s(1)?
False
Let a(w) = -19*w**3 - 2*w**2 - w + 1. Let j be a(-1). Suppose 17*v + 74 = j*v. Does 5 divide v?
False
Let i be 58/8 - (-1)/(-4). Let h(m) = -m**3 + 7*m**2 + 9*m - 4. Let p be h(i). Is p/5 + (-1)/(-5) a multiple of 4?
True
Let z(p) = -5*p - 16. Let v be z(-6). Suppose v*n - 231 - 217 = 0. Is n a multiple of 3?
False
Is 124/310 + (-6323)/(-5) a multiple of 55?
True
Suppose 4*p + 175 = -4*n - n, 0 = -2*p - 10. Let k = 34 + n. Suppose -k*j + 342 = 6*c - c, 2*j - 343 = -5*c. Does 9 divide c?
False
Let h = 570 + -87. Is h a multiple of 69?
True
Let t(m) = -2*m**2 + m - 4. Let b be t(-6). Let a(p) = 7*p - 1. Let l be a(1). Is 24 a factor of 9/l*-2 - b?
False
Let p = 10 + 7. Suppose -5*s - 60 = -p*s. Is s even?
False
Suppose 0 = -4*z - 42 + 206. Suppose 4*d - 100 = -0*d. Let s = z - d. Is 3 a factor of s?
False
Suppose 149 = 4*x + 5*o, -4 = -x - o + 32. Let u(v) = -2*v + 11. Let k be u(12). Let f = x + k. Does 8 divide f?
False
Suppose 5 + 0 = -q, -c + 2*q + 38 = 0. Let r = 26 + c. Is r a multiple of 9?
True
Let q(o) = o**2 + 10*o - 23. Let v be q(8). Suppose -46 = 3*s - v. Does 18 divide s?
False
Let f = -47 - -23. Let i = 44 + f. Is 556/i + 2/10 a multiple of 28?
True
Let x(v) = 2 + 3 - 7*v - 12*v. Does 13 divide x(-6)?
False
Let y(u) = -2*u - 15. Let a be y(-7). Is 22 a factor of a + (-4 - (-68 - 3))?
True
Let u be (-60)/(-16) + ((-27)/(-12) - 2). Does 5 divide u/16 + (-187)/(-4)?
False
Suppose 2*y + 4*s = 0, -4*y + 46*s - 41*s = -65. Is 2 a factor of y?
True
Let p = 29 - 32. Let s(n) = 2*n**2 - 2. Is s(p) a multiple of 16?
True
Let q be (-5 - -5)*(0 + -1)*1. Let z(r) = -6*r + 4*r + r**3 + r + 6. Is 6 a factor of z(q)?
True
Let g(k) be the third derivative of -k**4/6 - 29*k**3/3 + 11*k**2. Is g(-17) a multiple of 5?
True
Let k = 2271 + -1347. Does 33 divide k?
True
Let q(i) = -4*i**2 - 3*i - 2 + 2*i**3 - 5*i**3 + i**3. Let k be q(-2). Let y = -1 + k. Is 3 a factor of y?
True
Let c = -40 - -17. Let n be 6/8 + c/4. Let y = 7 - n. Does 4 divide y?
True
Suppose d + 60 = -3*d. Let r be (-6)/(-5)*d/(-9). Suppose -74 = -r*g - 2*k, -g - 4*g + k = -179. Does 6 divide g?
True
Let j = 25 + -47. Let l = j - -52. Is l a multiple of 15?
True
Is 12/63*-3 - 831/(-21) a multiple of 3?
True
Suppose -71*g + 171171 = -104167. Does 25 divide g?
False
Let m(r) = 10*r**2 - 17*r + 17. Is 6 a factor of m(7)?
False
Let f(c) = 8*c**3 - c**2 - 2*c - 1. Let h be f(-1). Let o be h/12*(-18)/(-4). Let g = o + 24. Does 6 divide g?
False
Let t = 4 - 4. Let z be 3*((-51)/(-9) + -4). Suppose t = -w + z*w - 28. Is w even?
False
Let o = -5 + 5. Suppose f - y = 2*y + 12, o = 3*f - 5*y - 28. Let h(a) = a**2 + 8. Is 11 a factor of h(f)?
True
Let b(d) = 2*d + 7. Suppose 74*l - 70*l - 56 = 0. Is b(l) a multiple of 7?
True
Let a = 154 - -84. Suppose 3*m + 4*j - 202 = 0, 5*m - a - 60 = 3*j. Is 31 a factor of m?
True
Let w(j) = j**3 + 13*j**2 - 20*j + 32. Is w(-14) a multiple of 24?
False
Let g = 11 + -20. Let u(w) = w**3 + 8*w**2 - 8*w + 3. Let l be u(g). Le