 of i?
True
Let o(y) = 14*y - 6. Does 3 divide o(3)?
True
Suppose -y = 1 + 1. Is 1 - 46*y/4 a multiple of 8?
True
Let o(x) = -14*x**3 - x**2 - 2*x + 1. Let u be o(-2). Suppose 5*n - u + 38 = 0. Is n a multiple of 5?
True
Let b = 41 + -25. Let k = 44 - b. Let d = k + -18. Is d a multiple of 10?
True
Let d(z) = -3*z - 3. Let b(a) = -a - 1. Let m(u) = -4*b(u) + d(u). Let t be m(-6). Let l(s) = -s**3 - 5*s**2 - 5*s + 5. Is 15 a factor of l(t)?
True
Suppose -o + 5 = -p, 5*p - 5 = -0*o - o. Suppose 4 = a - 5*h + 5, -o*a + 47 = h. Is a a multiple of 5?
False
Suppose -2*h = 4, -3*i - 4*h = -6*h - 10. Suppose 4*s - 2*s - 64 = -2*j, -64 = -i*s - 5*j. Is s a multiple of 27?
False
Let u = 65 - 30. Suppose -55 - u = -k. Is k a multiple of 30?
True
Let y = 0 - -5. Let r(m) = -m**2 - m - 2*m**2 + 5*m**2 + y + 7*m. Does 14 divide r(-5)?
False
Suppose -3*z + 2*c + 3*c = 11, -5 = 5*z - 5*c. Suppose -4*k + 103 = 3*j, -z*k + 4*j = 6*j - 76. Suppose -3*h + 5 = -k. Is 9 a factor of h?
True
Suppose 3*b + 544 = 5*b. Is b a multiple of 17?
True
Suppose 0 = -2*t - 6, 6 - 19 = 2*b + 5*t. Let z(d) = 56*d - 2. Is 12 a factor of z(b)?
False
Let c be (-18 - (-4 - -2))*-1. Let l = c - -3. Suppose 0 = -0*p - p - 3*m + 17, -3*p - m = -l. Is p even?
False
Suppose 3*g - g = 6. Let x(z) = 4*z**2 + 3. Is x(g) a multiple of 13?
True
Is (8 - 3)*(-78)/(-15) a multiple of 26?
True
Let u = -68 - -96. Let h = 6 + u. Is h a multiple of 9?
False
Suppose -20 = -2*k + 6. Is 13 a factor of k?
True
Suppose -191 + 56 = -3*x. Is 29 a factor of (116/10)/(9/x)?
True
Suppose -566 = -3*q - 14. Does 23 divide q?
True
Let r be (-141)/(-11) + 2/11. Let k = 23 - 12. Suppose -r = -4*u + k. Is 6 a factor of u?
True
Let s(l) = 3*l**2 + 4*l + 4. Let b(g) = 2*g + 8. Suppose 4*h - p + 27 = 0, h - 5*h - 30 = -2*p. Let t be b(h). Does 18 divide s(t)?
True
Suppose 0 = -5*c + 536 + 44. Does 24 divide c?
False
Does 8 divide (-35)/(-2)*54/15?
False
Let m(a) = a**3 + 4*a**2 + a - 4. Let d be m(-3). Let c = 4 - d. Is 17 a factor of 3/c*68/6?
True
Let n be -5 - -3 - (-64)/(-2). Let x = -21 - n. Is x a multiple of 6?
False
Let h(o) = 1. Let l(m) = 12*m + 2. Let k(f) = -3*h(f) + l(f). Suppose 0 = -u + 3*w + 7, -4*u - 8*w - 6 = -3*w. Does 11 divide k(u)?
True
Let b(o) = 2 - 5 - 2*o - o + 2. Let u be b(1). Is ((-44)/6)/(u/6) a multiple of 5?
False
Suppose 20 - 16 = g. Is g a multiple of 3?
False
Does 10 divide (-3 + 54/(-4))*-2?
False
Let v = 48 - 15. Is 11 a factor of v?
True
Suppose 4*k - a = -3, -5*k - 12 = a - 5*a. Let z(o) = -4*o**3 - o**2 + o + 1. Let i be z(-1). Suppose i*q = j - 1 + 24, k = 5*j - 5. Does 8 divide q?
True
Let w(k) = k**3 + 8*k**2 - 11*k - 19. Let i be w(-9). Is 11 a factor of (-4)/(-1) - (i - 14)?
False
Suppose 4*o = 167 + 33. Suppose -62 = 4*y + o. Let n = y + 54. Is 11 a factor of n?
False
Let m be (6/(-4) + 1)*78. Is (m/2)/((-2)/4) a multiple of 17?
False
Let q(x) be the first derivative of -x**3/3 + 6*x**2 - x + 8. Is 13 a factor of q(9)?
True
Let i(d) = 4*d**2 - d - 1. Let z be i(-1). Is 17 a factor of -51*2*(-2)/z?
True
Suppose 0*h = 3*h - 153. Is 8 a factor of h?
False
Let y(r) = r**2 + r + 1. Is y(-4) a multiple of 13?
True
Suppose 1 = 2*l - 3*l. Let y(d) = -47*d + 1. Let c be y(l). Suppose 0 = -3*n + 2*m + c, -5*n - 3*m = -2*m - 93. Is 7 a factor of n?
False
Suppose -100 = -8*f + 3*f. Suppose 2*u + 3*c - 14 = 0, 2*c - 15 - f = -5*u. Is u a multiple of 7?
True
Let s = 10 - 17. Let m(n) = -n**2 - 7*n + 3. Let l be m(s). Suppose -14 + 58 = 5*o + 4*b, 0 = -l*b - 12. Is 5 a factor of o?
False
Suppose -5*f + 19 = u, -f - 1 = -3. Does 9 divide u?
True
Let i = 25 - 10. Suppose 4*l = 5*r - i, -l + 9 = 2*r + r. Suppose -4*w = x - 53, r*w - 51 = -4*x + x. Does 4 divide w?
True
Suppose -15*h + 2069 = -91. Is h a multiple of 16?
True
Suppose -4*a + 3*k + 276 = 0, -2*k = -2*a + 50 + 86. Does 18 divide a?
True
Suppose -91 = -4*h + 5*i, -h - i = 2*h - 73. Is h a multiple of 12?
True
Suppose -4*h + 456 = -4*f, -4*h - 13 + 466 = -5*f. Is 13 a factor of h?
True
Let l(z) = -7*z - 7. Let k(c) = 6*c + 8. Let w(u) = 5*k(u) + 6*l(u). Does 6 divide w(-1)?
False
Let h be 4/1 - 2/2. Suppose -2*g + 5 = k, h*g + 0*k + 2*k = 8. Suppose 3*a = g*p + p - 9, -16 = -3*p - 4*a. Is p even?
True
Let s(a) = a**2 - 5*a - 2. Let v be s(5). Let k be (-63)/v*32/12. Suppose k - 12 = 3*z. Does 12 divide z?
True
Suppose b + 3*c = 5*c + 5, -2*b + 11 = -5*c. Suppose 3*k - 5*q = 95, b*k = 4*q + 72 + 19. Is 10 a factor of k?
False
Let b = -32 + 98. Is b a multiple of 12?
False
Suppose 0 = -a - 4*a. Suppose -4*y + 3*p - 2*p + 318 = a, y = -p + 82. Is y a multiple of 22?
False
Suppose 3*j - 54 = -5*z, -j - 2*z + 5 = -14. Does 6 divide j?
False
Let t(c) = -4*c + 4. Is t(-4) a multiple of 14?
False
Let s = -19 - -20. Let p be (1 - (-81)/(-12))*-4. Let g = p - s. Is 10 a factor of g?
False
Let y(v) = v**3 - 6*v**2 - 6*v + 11. Is 14 a factor of y(8)?
False
Suppose 4*w - 2*c - 26 = 0, 5*w - 5*c - 25 = -4*c. Let g be 1/w - 22/(-8). Suppose 0 = 3*x - g, -x + 26 + 47 = 3*v. Does 12 divide v?
True
Let c be (-18)/(20/(-12) + 1). Does 3 divide 9*(-3)/(c/(-12))?
True
Suppose -5 = -5*t + 35. Let i = t - 8. Suppose i*n - 5*n + 70 = 0. Is n a multiple of 4?
False
Let o = 134 + -60. Does 15 divide o?
False
Let w(g) = -g**3 + g**2 + 5. Let j be w(4). Let f = j + 87. Does 22 divide f?
True
Let h = 273 - 133. Is 14 a factor of h?
True
Is (1/2)/(8583/1716 + -5) a multiple of 23?
False
Suppose 20*a - 17*a = 6. Is (a/3)/(4/360) a multiple of 19?
False
Let v be (-1)/4 - 131/4. Let b be (v/15)/((-1)/5). Suppose -y - 4*y = -2*n - b, y - 12 = -n. Is n a multiple of 7?
True
Suppose 2*k - 6 = -2*d, 4*d = 6*d + 4. Suppose 0 = -o - z + 63, 0*z + 339 = k*o - 3*z. Is 27 a factor of o?
False
Let s(c) = 17*c**2 - 1. Is 11 a factor of s(1)?
False
Suppose -2*w + 55 = 5*g - 50, 0 = 5*g - 4*w - 105. Is g a multiple of 4?
False
Let f(a) = 6 + 8*a**2 + 0 + 8*a - 6*a**2. Let t be f(-5). Is (-6)/8 + 364/t a multiple of 11?
True
Let y = 109 + -52. Is y a multiple of 19?
True
Suppose 5*q - u - 12 = 0, 5*q - 6*q + 5*u - 12 = 0. Let k(o) = o**2 + o**q + 4*o**2 + 0*o**2 - 12 - 12*o + 4*o**2. Is k(-10) a multiple of 4?
True
Suppose -2*b + 3*b - 25 = 0. Does 5 divide b?
True
Let y(v) = -2*v**2 + 4*v - 3. Let t(o) = 5*o**2 - 13*o + 8. Let k(p) = 3*t(p) + 8*y(p). Let h be k(-6). Is (0 + 5)*h/5 a multiple of 2?
True
Suppose 0*f = 3*f - 18. Let j(h) = 4*h**2 + h**3 - f*h + 6*h. Does 4 divide j(-2)?
True
Suppose -101 = 4*s - 3*q, 0 = 2*s - 0*q + q + 43. Suppose m = -m + 112. Let v = s + m. Does 13 divide v?
False
Suppose -2 + 8 = 2*d. Let f be -1*(-1)/(d/(-51)). Let m = f - -31. Does 9 divide m?
False
Let a(g) be the second derivative of 7*g**5/15 - g**4/24 - g**3/6 - 3*g**2/2 - g. Let r(c) be the first derivative of a(c). Does 14 divide r(-1)?
True
Let h(b) = 2*b**2 - 9*b + 2. Suppose 0*x = -x + 6. Is 20 a factor of h(x)?
True
Suppose 5*m - 3*y = -0*y + 249, -5*y + 214 = 4*m. Suppose 2*a + 3*s - m = -0*a, -126 = -4*a + 2*s. Is a a multiple of 17?
False
Suppose -214 = -5*m + b, 3*m + 2*b = 4*b + 127. Is 8 a factor of m?
False
Suppose -4*q - 18 = -6*q + 5*z, 2*z = -2*q + 4. Suppose m - 1 = q. Suppose 1 = x - 2, l + 2 = m*x. Is 9 a factor of l?
False
Let v be 3 - (-38 + -1 + 3). Is (-2)/(-4)*(v + -5) a multiple of 11?
False
Let b be (-1)/(-3) + 11/3. Suppose 54 = 5*p - j, -p + b*j + 28 - 2 = 0. Does 10 divide p?
True
Let t be (-2)/9 + 22/18. Is ((-5)/10)/(t/(-32)) a multiple of 7?
False
Is 9 a factor of ((-14)/3)/(11/(-99))?
False
Let j(i) = -i**3 + 14*i**2 + 2*i - 17. Let y(q) = -q**3 - 8*q**2 - 8*q - 3. Let w be y(-7). Suppose -w*v + 52 = -4. Is j(v) a multiple of 5?
False
Suppose -3*k + 2*j + 119 = 0, -3*k - 4*j + 116 = -3*j. Is 11 a factor of k?
False
Let c be 9/3*15/9. Suppose -60 = -4*s - c*u + 63, 3*s - 3*u = 72. Is s a multiple of 8?
False
Let a(h) = h**3 + 4*h**2 - 5*h + 1. Let q(p) = -p**2 - 5*p + 1. Let b be q(-6). Let c be a(b). Suppose k - c + 5 = -5*f, 3*k - f = 52. Does 8 divide k?
True
Let w(m) = -33*m**3 + m. Let u be w(1). Let y = u - -55. Is 9 a factor of y?
False
Let u(f) = f**3 + 8*f**2 + 5*f - 10. Let s be u(-7). Suppose j = -3*w + 6, 0 - 8 = s*w. Does 12 divide j?
True
Let f = 384 + -159. Does 9 divide f?
True
Let s(l) = 3*l - 1. Let h(c) = c + 1. Let w be (2 - (-15)