3 a factor of p?
False
Let m be 3/(-2)*(-28)/(-21). Let h(y) = -y. Let a be h(m). Suppose 5 = v + a. Is v a multiple of 2?
False
Is (-2432)/(-72) + 2/9 a multiple of 5?
False
Let t = 31 + -17. Is 262/t + 18/63 a multiple of 9?
False
Let o(d) = d**2 + 8*d + 11. Is o(-9) a multiple of 6?
False
Suppose -405 - 819 = -12*s. Is 7 a factor of s?
False
Let t(v) = -8*v**3 + 33 + 2*v**2 + 2*v - 33. Does 17 divide t(-2)?
True
Suppose -5*q + 180 = -0*q + t, 4*q + t = 144. Does 7 divide q?
False
Let a = -7 - -11. Is a/8 + 10/4 even?
False
Suppose 0 = -3*r + j + 68, -r + 26 = -7*j + 6*j. Is r a multiple of 21?
True
Suppose -5*w + g = -2*g + 66, 0 = w - 2*g + 16. Let d = -3 - w. Suppose -35 = -d*b + 4*b. Is b a multiple of 6?
False
Suppose 0 = -4*a - o + 173, -218 = -5*a - 2*o - o. Is 14 a factor of a?
False
Suppose -z = -4*t - 6*z - 15, -4*z + 20 = 0. Let f = t - -12. Let l(h) = h**3 - 2*h + 2. Is 6 a factor of l(f)?
True
Let k(u) = -u**2 + 11*u + 6. Is 4 a factor of k(9)?
True
Suppose -3*k + 4 + 2 = 0. Suppose 5*q - q - 70 = -2*m, 6 = -k*m. Is 19 a factor of q?
True
Suppose -4*o + 309 = -3*p, -3*o + 2*p = -7*o + 294. Let k = o - 52. Does 16 divide k?
False
Let g = -18 + 7. Let o = 3 - g. Suppose 3*q + 58 = 5*h, 4*q - q = h - o. Is h a multiple of 5?
False
Let p(d) = -26*d - 1 + 25*d + 50*d. Does 24 divide p(1)?
True
Let u(y) = -4*y**2 + y - 1. Let v be u(1). Is 8 a factor of (-50)/(-6) - v/(-12)?
True
Let c(b) = 3*b**2 + 3*b + 2. Let n be c(-1). Suppose 0 = 3*s + n*s - 55. Is s a multiple of 3?
False
Let h = -16 - -11. Let u be 26 + h - (2 - 1). Suppose -2*r - 4*w = -u, -4*r + 5*w + 31 + 9 = 0. Does 10 divide r?
True
Let l = 21 - 13. Is 8 a factor of l?
True
Let o(w) = -12*w - 8. Is o(-7) a multiple of 9?
False
Let y = 44 + -33. Let j(b) = -b - 3*b**2 + 4*b**2 - 8 - 7*b. Is 9 a factor of j(y)?
False
Let i(p) = -10*p - 1. Let y be 20/(-35) - (-24)/(-7). Is i(y) a multiple of 9?
False
Let j(f) = 13*f - 2. Let q be j(5). Let b be 0 + (-3)/4*-4. Suppose -4*h = 2*u - 9*h - 47, -b*u + 5*h = -q. Is 8 a factor of u?
True
Let h(v) be the third derivative of -v**4/24 - 12*v**2. Let t = -1 + -4. Is h(t) a multiple of 5?
True
Let a(b) = 69*b - 12. Is a(2) a multiple of 21?
True
Suppose -4*i + 5*o = -51, -3*i = -7*i - 5*o + 21. Suppose a - 37 = i. Let k = -31 + a. Is k a multiple of 15?
True
Let v = 12 + -7. Suppose -3*z + v*z - 84 = 0. Is 21 a factor of z?
True
Is 9 a factor of (-3 + 71)/2 - -2?
True
Let s(u) = 2*u**2 + 2*u + 7. Does 4 divide s(4)?
False
Let c = 311 + -221. Is c a multiple of 15?
True
Suppose 1 = -6*w + 19. Let u(s) = -s**2 + 5*s - 4. Let m be u(4). Is 9 a factor of m - (-3*4 + w)?
True
Let q(p) = p + 57. Let m be q(0). Let k = -33 + m. Suppose -z + k = -5*o, -3*z - 23 = -4*z + 4*o. Does 18 divide z?
False
Let o = -30 + 40. Is 6 a factor of o?
False
Let h be (-90)/(-3)*1/3. Suppose -h + 35 = c. Is c a multiple of 5?
True
Suppose 0 = -5*v + 28 + 2. Let y(r) = 5*r - 4. Let x be y(5). Does 6 divide (-1)/((v/x)/(-2))?
False
Suppose 0 = 5*z - 231 + 21. Is 6 a factor of z?
True
Let h(k) = k**3 + 8*k**2 + 13. Let l(u) = -u**3 - u - 1. Let c(s) = h(s) + 2*l(s). Let y be c(8). Let q = y - -39. Does 17 divide q?
True
Let j = -168 + 253. Is 18 a factor of j?
False
Suppose 25*z - 21*z = 1688. Does 16 divide z?
False
Is 3 a factor of (-15)/6*96/(-30)?
False
Let b = 40 - -20. Does 18 divide b?
False
Suppose 9*b = 4*b + 20. Suppose 2*w - 44 = o, -b*w + 21 + 39 = 5*o. Is 10 a factor of w?
True
Suppose -24 = -3*i - 4*k, 3*k - 13 = -2*i + i. Let n(a) = 2*a**3 - 5*a**2 + 2*a - 2. Is 18 a factor of n(i)?
True
Suppose j - 229 = -3*y - 75, 0 = -4*y - 4*j + 200. Is y a multiple of 26?
True
Suppose -5*n = -38 - 17. Does 6 divide n?
False
Let l(d) = -d**2 + 5*d + 1. Let q be l(4). Let p = q + -3. Suppose -p*b + 20 = -10. Is b a multiple of 15?
True
Let d(n) = -9*n - 43. Does 17 divide d(-7)?
False
Let s(b) = -b**3 - 11*b**2 - 2*b + 1. Is s(-12) a multiple of 13?
True
Does 40 divide (98 - (-4 + 2))*2?
True
Let o(u) = -6*u**2 - 4*u + 4. Let f(h) = -h**2 - h + 1. Let s(a) = -5*f(a) + o(a). Let z be s(1). Is (-6 - -5)/(z/44) a multiple of 22?
True
Let h = 22 - 4. Is 16 a factor of 788/h - (-14)/63?
False
Let s be 16/(-6)*(-27)/(-12). Let i = s - -34. Is 14 a factor of i?
True
Let w = 9 - -4. Suppose w = 4*z - 15. Suppose -a + 2 = -z. Is 5 a factor of a?
False
Suppose 4*q - 1278 = -5*q. Does 30 divide q?
False
Suppose -6*f + 40 = -2*f. Is 10 a factor of f?
True
Suppose 425 = 2*q - 637. Suppose 4*m = 3*z + 424, -4*z = -3*m - 2*m + q. Let c = m - 58. Is 20 a factor of c?
False
Let l = 8 + -13. Is 58/2*(l - -6) a multiple of 14?
False
Let l be (-1 + 2)/((-2)/(-6)). Suppose -4*o = -5*o + 2. Suppose -o*p + 79 = l*f, p + 4*f - 47 = f. Is 16 a factor of p?
True
Suppose 3*p + 4*o - 22 = 0, o - 3 = 1. Suppose -3*z - 5*u + 49 = 0, -p*z = -z - 2*u - 31. Is 14 a factor of z?
False
Let c(j) = 3*j + 3*j**3 - 4*j + j**3. Is 15 a factor of c(2)?
True
Let u(a) = -a**3 - a + 3. Suppose -12 = l + 3*l. Is 18 a factor of u(l)?
False
Suppose 4*y - 40 = r, 21 = 2*y - y - 3*r. Is y a multiple of 3?
True
Suppose -p + 12 = 2*p. Suppose -p*z = 16, z = m - 0*z - 49. Does 14 divide m?
False
Suppose -3*z - 3*h = -54, 2*h = -2*h - 16. Suppose z = k - 30. Is 14 a factor of k?
False
Let y = 353 + -227. Let k = y + -89. Is 20 a factor of k?
False
Let t = 8 - -1. Is 9 a factor of t?
True
Suppose 3*d + 1512 = 15*d. Is d a multiple of 24?
False
Suppose -2 = -o + 19. Is o a multiple of 7?
True
Suppose 0 = x - 5*n - 75, 0*x + 5*n = 2*x - 165. Does 10 divide x?
True
Let r be 1 + 3/(-3 + 2). Is 7 a factor of 297/15 - r/10?
False
Does 6 divide (15 + 0 - 3) + -3?
False
Suppose -3 = 4*x - 3*p, 4*x = -x + 2*p + 5. Suppose -2*q = 4*u - 146, -4*q - 102 = -x*u - 20. Is 10 a factor of u?
False
Suppose -5*z + 84 = 7*z. Is z a multiple of 3?
False
Let t = -18 - -26. Does 8 divide t/16 - 78/(-4)?
False
Suppose -t - 5*j + 29 = 0, -5*j + 0*j = 0. Is t a multiple of 11?
False
Let v(c) = 82*c - 2. Does 8 divide v(1)?
True
Let a = -16 + 25. Suppose -n + 2*n - 4 = 0. Suppose -n*q - a = -85. Is q a multiple of 19?
True
Suppose 0 = t + 2*t. Let o = -12 - -21. Suppose o + t = k. Is k a multiple of 9?
True
Let v(f) = f**2 - 5*f. Let s be v(5). Is (-1 + s)/(3/(-150)) a multiple of 25?
True
Let t = 32 + -64. Let w = t + 53. Does 21 divide w?
True
Let r be (18/(-15))/3*25. Let p(v) = -v**3 - 11*v**2 - 9*v + 14. Let x be p(r). Suppose 5*o + 2 = -4*z + 1, -x*o - 2 = 3*z. Does 6 divide z?
True
Let m(n) = -77*n - 25. Does 37 divide m(-2)?
False
Suppose -o + 5*c - 5 = 4, -5 = -c. Is o a multiple of 8?
True
Let d = 125 + 29. Is d a multiple of 30?
False
Suppose -4*s - 11 = -i, 5*s + 22 = 4*i - 0. Let d = s - -2. Suppose d = 5*u - 0 - 75. Is 6 a factor of u?
False
Suppose -3*h - 150 = -0*h. Let q = -3 - h. Is 9 a factor of q?
False
Suppose -2*j = 7 - 29. Is j a multiple of 5?
False
Suppose -4*g - 4*l + 220 = -0*g, -5*g + 2*l + 310 = 0. Is 12 a factor of g?
True
Suppose 3*x = -0*l - l + 7, 4*l = -x - 5. Is (7 + (-3 - l))*1 a multiple of 6?
True
Let d = -3 + 15. Is d a multiple of 12?
True
Let j(i) = 0*i + 7*i - i**2 - 2*i - 3. Is j(2) a multiple of 3?
True
Suppose 2*a - 3*a + 1 = 0. Suppose -w + a + 18 = 0. Does 16 divide w?
False
Suppose -j - 89 - 53 = -4*q, -2*j + 40 = q. Is 7 a factor of q?
False
Let c(w) be the first derivative of -w**4/4 - 7*w**3/3 + 3*w**2 - 10*w - 1. Let d = 58 + -66. Does 3 divide c(d)?
True
Suppose 435 = 4*w + 3. Is 22 a factor of w?
False
Let m = 347 - 152. Is 13 a factor of m?
True
Let m = 46 + 14. Suppose -3*n = -15, 0 = -4*d + 3*n - 7*n + m. Suppose 5*g - d - 95 = 0. Does 7 divide g?
True
Suppose -2*s = 2, -3*t + 2*t + 2*s = -2. Suppose 2*d - 4*i = -i + 16, t = -5*d - 2*i + 21. Does 5 divide d?
True
Suppose 0 = -4*c + 5*t + 267, 5*c = 2*t + 2*t + 345. Is 11 a factor of c?
False
Is 4 a factor of (-1)/2 - 39/(-2)?
False
Let w(k) = -10*k - 6. Does 18 divide w(-7)?
False
Let s(y) = -4*y - 2. Let o be s(-2). Suppose -3*d - 2*h + 13 = 0, -o - 12 = -3*d - 3*h. Is (d - 4) + (-184)/(-8) a multiple of 6?
False
Let d be (-10 - 0)*(-7)/14. Suppose -d*i - 168 + 418 = 0. Is i a multiple of 25?
True
Let a = 18 + -1. Does 8 divide a?
False
Suppose 2*l = -q + 2, 9*l = q + 4*l + 5. Suppose 6*g - 228 = 2*g. Suppose 0*k - 3*k + g = q. Is