?
True
Let c = -2 + 8. Suppose -2*u + c = -u. Is 6 a factor of u?
True
Let f = 85 + 86. Does 19 divide f?
True
Let y be (4/(-3))/((-4)/(-6)). Let g be 0 + y + -1 + 0. Does 3 divide 2/(2/g + 1)?
True
Let r(g) = -14*g - 4. Let h be r(-4). Let c be 0 + (-7 - -4)/(-1). Suppose -d + c*d = h. Is 12 a factor of d?
False
Suppose -3*b + 2 = -82. Is 14 a factor of b?
True
Let v(m) = -35*m + 1. Let b be v(-1). Suppose 4*s = 2*h - 16, 3*h - 3*s - b + 9 = 0. Is 5 a factor of h?
True
Suppose -5*v - 20 = 15. Let i = 9 + v. Let h(z) = 5*z**3 - z. Does 19 divide h(i)?
True
Let d be 2 - (1 + (-1 - -2)). Let t(l) = 2*l + 1. Let z be t(2). Suppose d = -z*b - 4 + 94. Is 9 a factor of b?
True
Suppose -2 = 2*s - 4*s. Suppose -d + 6*d - 25 = 0. Suppose -d*y = 2*k - 84, 4*y - 61 = k + s. Does 8 divide y?
True
Let j(k) = 14*k**2 + 14*k - 17. Let f = 14 - 3. Let w(o) = -5*o**2 - 5*o + 6. Let q(v) = f*w(v) + 4*j(v). Is q(-5) a multiple of 8?
False
Let l(y) = y**2 + y + 9. Let h be l(0). Suppose -4*q + h*q + 1 = 3*k, k - 4*q + 9 = 0. Does 7 divide k?
True
Let v(c) = 15*c**2 - 2*c + 3. Let g be v(2). Let s = g - 13. Does 9 divide s?
False
Let n = 113 - 77. Does 25 divide ((-10)/(-2) - 4) + n?
False
Let t(j) = 5*j - 2*j + j**3 - 5 + 0 + 7*j**2. Is 30 a factor of t(-5)?
True
Suppose 5*p - 51 = -6. Is 5 a factor of p?
False
Let a = 8 + -14. Let k(o) = -2*o**2 - 8*o - 1. Let u be k(a). Let c = 42 + u. Is c a multiple of 17?
True
Let t = -27 + 15. Is t*(2 + (-16)/6) a multiple of 4?
True
Suppose 0 = -4*q - q + 530. Let s be (-363)/(-5) + 2/5. Let v = q - s. Is v a multiple of 18?
False
Let c = 71 + -5. Is 23 a factor of c?
False
Suppose 4*t = 70 - 22. Let y = t - 6. Does 15 divide (0 - -6)/(y/39)?
False
Let j be 0*((-5)/(-2) - 3). Suppose 4*k = -4*w - w + 85, -2*k - 4*w + 38 = j. Is 25 a factor of k?
True
Let r = 2 - -9. Let y = -3 + r. Is 5 a factor of y + (0 - 6)/(-3)?
True
Suppose -1022 = -5*r + 293. Is 13 a factor of r?
False
Suppose -22*l = -2*l - 2960. Does 16 divide l?
False
Let r(w) = 0*w**3 + 5 - 3*w - w**2 - 8 - 2*w**3. Is r(-3) a multiple of 26?
False
Suppose -51 - 61 = -2*o. Does 19 divide o?
False
Suppose -3*a + 0*a + 2 = 4*b, 4*b = 20. Let c(s) = -3*s**2 - 8*s - 6. Let r be c(a). Let g = -44 - r. Is 11 a factor of g?
True
Suppose -z - 84 = -5*z. Let g(w) = -w**3 - 7*w**2 + w + 1. Let j be g(-7). Let y = j + z. Does 6 divide y?
False
Suppose -5*l + 24 = o - 246, 4*o = 0. Is l a multiple of 7?
False
Suppose -9*o = -5*o + 188. Let k = -21 - o. Is k a multiple of 13?
True
Let w(q) = 54*q - 5. Let g = 12 - 8. Let o be w(g). Suppose 2*k + 2*k - d - o = 0, 3*d = 3*k - 165. Does 18 divide k?
False
Let p(l) be the first derivative of -l**3/3 - 5*l**2/2 - l + 2. Let x be p(-3). Does 9 divide (14/x + -2)*25?
False
Let x(r) = r**3 - 5*r**2 - 5*r - 1. Let l be x(6). Suppose l*b = -6 + 31. Let u(a) = 9*a - 5. Is 14 a factor of u(b)?
False
Let y(t) = 6*t**2 + 7*t. Is 25 a factor of y(3)?
True
Suppose -2*y = -6*y - 120. Let l = y + 71. Let z = -21 + l. Is 11 a factor of z?
False
Let t(j) = 2*j**2 - 3*j + 18. Is t(-9) a multiple of 48?
False
Let o(k) = k**2 + 7*k + 5. Let w = 6 + -2. Suppose 1 + 3 = -q + 3*t, w*t + 18 = -2*q. Is o(q) a multiple of 5?
True
Let i = -122 - -246. Let u = i - 175. Does 17 divide (0 - -1)/((-3)/u)?
True
Is ((-13)/(26/(-252)))/1 a multiple of 33?
False
Let x be 11/(-33) - (-13)/3. Suppose -x*q - 39 = -k, -165 = -3*k - 2*k + 5*q. Is 8 a factor of k?
False
Let x(c) = c**3 + 14*c**2 + 9*c - 18. Is x(-13) a multiple of 9?
False
Suppose 2*l - 15 = -3*l. Let h be l + (-2)/1 + 57. Suppose -4*s = 3*z - 109, -2*z = -5*s + 3*s + h. Is s a multiple of 21?
False
Let l = 286 + -202. Is l a multiple of 9?
False
Suppose 10*h - 49 = 9*h. Is h a multiple of 11?
False
Let z = -1 - -1. Suppose 3*j + 6 = 0, -5*o + j = -z*j - 32. Is o a multiple of 2?
True
Suppose r + 73 = 2*g, -r = -3*g + 129 - 21. Does 7 divide g?
True
Let s = 80 + -32. Suppose -4*g + 5*t = -5, 4*g + 3*t = -t + 32. Suppose s = g*u + 3. Is u a multiple of 9?
True
Let x = 4 + 1. Suppose -36 = -x*v + v. Is v even?
False
Let x(t) = -4*t**3 - 5*t**2 - 3*t - 1. Let v be x(-3). Suppose 0 = 5*p + 69 + v. Is (4/(-2) - p)/1 a multiple of 13?
True
Let y be (8*51/(-6))/(-2). Suppose 2*f = 26 + y. Does 15 divide f?
True
Suppose -3*i = -2*r + 6, 2*r + 0 = -i + 6. Suppose -4*v + 27 + 37 = i. Does 16 divide v?
True
Let l = -5 - -9. Suppose -20 = -y + l*h, -4*h = 3*y - 0 + 4. Suppose -y*w - w = -30. Is 6 a factor of w?
True
Let b(s) = -s**2 + s + 11. Suppose -6 = 3*o, i - o = -4*i + 17. Suppose -5*a = -i*a. Is 11 a factor of b(a)?
True
Suppose -3*w - 2*w = 0. Suppose 2*q - 6 = w, 3*q = 5*r - q - 88. Is 10 a factor of r?
True
Let f = 8 - -2. Does 6 divide f?
False
Let k(s) be the first derivative of -4*s**2 - 4*s - 1 + 3 + 0*s. Is 8 a factor of k(-3)?
False
Let n(c) = -c**2 - 17*c - 12. Is 27 a factor of n(-12)?
False
Suppose -l = -5*p + 934, -l - 180 = 2*p - 555. Is p a multiple of 17?
True
Let x(i) be the second derivative of -5*i**4/24 + i**3/6 - i**2/2 + i. Let w(u) be the first derivative of x(u). Is 11 a factor of w(-3)?
False
Let n(m) = 7 + 3*m**2 + 10*m + 6*m**2 + 3 - m**3. Is 10 a factor of n(10)?
True
Suppose 9 = 4*a + 1. Suppose -4*h + 2*n - 5*n + 113 = 0, -6 = -a*n. Let t = h - -6. Is t a multiple of 15?
False
Suppose -45 = -4*g + 155. Suppose 2*j + 4*m = g, 6 = -3*j + 4*m + 61. Does 13 divide j?
False
Let x = -25 - -133. Is x a multiple of 12?
True
Suppose -4*x + 9*p = 4*p - 860, 4*x - p - 844 = 0. Is 30 a factor of x?
True
Suppose 4*p - 4*i = -16, 8*p - 3*p - 3*i + 12 = 0. Let k = p + 24. Is k a multiple of 6?
True
Let l(d) = -10*d - 23. Does 18 divide l(-12)?
False
Let q be 1/(-1 - 0/(-3)). Let z = 11 + q. Suppose -5*p = 25, p + z = 5*d - 10. Is 3 a factor of d?
True
Suppose 0*i = 4*i + m - 263, -5*m - 5 = 0. Is 22 a factor of i?
True
Let a = 4 - 0. Let w be ((0/(-1))/3)/(1 + -5). Suppose s + 5 = -a*d - 8, w = 2*s + 2*d - 4. Is 2 a factor of s?
False
Suppose 0 = r + m - 13, -3*r + m - 6*m = -45. Let y = 6 + r. Is 180/y - (-1)/(-4) a multiple of 11?
True
Let q = 386 - 174. Is 23 a factor of q?
False
Let k(z) = -3*z - 20. Let g be k(-8). Suppose -x + 55 = 4. Suppose t - g*t = -x. Does 17 divide t?
True
Let o(m) = -m - 1. Let h(v) = -v**3 + 9*v**2 - 12*v - 21. Let i(c) = h(c) - 4*o(c). Is 10 a factor of i(7)?
False
Suppose 37 + 24 = 3*d + 2*o, 4*o = -5*d + 101. Is 0/2 + d + -3 a multiple of 9?
True
Suppose -5 = 2*s - 5*z, 4*s - 3*z = -2 - 1. Suppose s = -c + 4, -4*p = -7*p - 5*c + 35. Suppose 4*i + p*l = 153, l = -4*i + 2*l + 171. Is i a multiple of 21?
True
Is 12 a factor of 130 + (-1 + 2 - 5)?
False
Let i = -295 - -136. Let v = i + 223. Is v a multiple of 16?
True
Suppose -4*k + 5*k - 3 = 0, -p + 21 = 3*k. Is p a multiple of 6?
True
Let i(k) = -6*k + 3. Suppose -2*r = -3*t + 13, 4*r + 21 = r + 3*t. Let v be i(r). Suppose 229 = 5*h - v. Does 19 divide h?
False
Let p = 11 - 7. Suppose -46 = -4*s - 2*q, 3*s - p*q - 11 - 18 = 0. Is 11 a factor of s?
True
Suppose 99 - 19 = 5*b. Is 5 a factor of b?
False
Is 21 a factor of (0 - 1) + (89 - -1)?
False
Let n(j) be the first derivative of -1 + 5*j - 1/2*j**2. Is 6 a factor of n(-8)?
False
Let i(p) = -8*p - 15. Let u = 14 + -24. Does 22 divide i(u)?
False
Let s = 6 - 3. Let i(w) = -w**2 - w + 1. Let x be i(0). Suppose -x = -p - 0, g = s*p + 9. Does 7 divide g?
False
Let n = -219 + 330. Is n a multiple of 37?
True
Suppose -359 - 76 = -15*z. Is 6 a factor of z?
False
Let q(m) = -10*m - 3. Let l = 7 - 9. Does 17 divide q(l)?
True
Let i = 8 + 8. Does 9 divide (54/(-8))/((-6)/i)?
True
Does 7 divide (3 + -1)*(-10 + 69)?
False
Let y(d) = d**3 + 6*d**2 - 18*d + 3. Is 19 a factor of y(-8)?
True
Let x(y) = 2*y + 22*y**2 - 4*y + 3*y. Is x(1) a multiple of 15?
False
Suppose -4*a = -0*a. Suppose a = -g - 4*g + 230. Does 23 divide g?
True
Suppose -2*i + 5*i - 57 = 0. Let o = i - 32. Let z = o + 29. Is z a multiple of 9?
False
Let k(x) = 4*x**2 + 13*x + 16. Is 19 a factor of k(-5)?
False
Suppose 5*y - 3*o = 26, -4*o = -2*y + 2 - 0. Let c(d) = y + d**2 + d + 3*d + 0*d**2. Does 11 divide c(-6)?
False
Let i(n) = -2*n**3 + 4*n**2 + 2*n + 14. Is i(-4) a multiple of 9?
True
Let q be ((-1)/3)/((-1)/12). Suppose q*x - 24 = 3*x. Is 12 a factor of x?
True
Suppose 0 = h + 4, 4*j = 5*j - 2*h -