 Suppose 3*d = -3*w + 30, -3*d + d + 4*w + 50 = o. Is 5 a factor of d?
True
Let j be (-2)/(-8) + (-2289)/(-12). Suppose -4*m + j + 89 = 0. Does 14 divide m?
True
Let w = 7 - 3. Suppose -w*q + 0*q + 48 = -2*z, -4*q - 5*z = -20. Does 4 divide q?
False
Let n(f) = -54*f + 18. Does 28 divide n(-4)?
False
Let h = 106 + -55. Does 11 divide h?
False
Suppose 0 = 3*h - 5*f - 710 - 505, 5*h + 5*f = 1985. Is h a multiple of 10?
True
Let t = 49 - -5. Does 18 divide t?
True
Suppose -8*g + 225 = -159. Is 24 a factor of g?
True
Let w(b) = -8*b**3 + 2*b**2 + b. Let j be w(-1). Let t(v) = -v**2 + 11*v - 8. Let k be t(j). Suppose -2 - k = -2*r. Is r a multiple of 5?
False
Let u(g) = g**2 - 4*g + 4. Let j be (-95)/(-20) + (-2)/(-8). Is 2 a factor of u(j)?
False
Let p be (-7 - -7)*(-1)/(-3). Suppose -5*l = -4*b + 26, -4*b + 4*l - 8 + 36 = p. Does 5 divide b?
False
Suppose -n = 1 - 5. Suppose -n*b = b - 120. Is b a multiple of 6?
True
Let l = 4 + 15. Does 5 divide l?
False
Let x = 3 - 2. Suppose -2*t + 3*t = x. Is 9 a factor of 21*t + 12/(-4)?
True
Let x = 1 + 14. Let b(p) = p**2 - 7*p + 3. Let s be b(3). Let o = x + s. Is 6 a factor of o?
True
Let t(n) = 16*n**2 - n - 2. Does 10 divide t(2)?
True
Let d(f) = -f**2 - f. Let o be d(-5). Let p = 6 - o. Does 13 divide p?
True
Let l(f) = 34*f**2 + 3*f - 2. Is l(1) a multiple of 12?
False
Let b = -145 - -197. Is b a multiple of 7?
False
Let d = 35 - 20. Is 3 a factor of d?
True
Let u(k) = 2*k**2 + 5*k - 3. Does 6 divide u(-6)?
False
Let v(a) = -3*a**3 - 4*a**2 - a - 1. Let t(q) = -q**3 + 8*q**2 + q - 11. Let p be t(8). Does 13 divide v(p)?
False
Suppose 0 = -4*k + 2*l + 290, 0 = -k - 4*k + l + 361. Does 9 divide k?
True
Suppose 2*i - i = -2. Suppose 0 = -3*j - 2*g - 1081, 8*j - 3*j + 1823 = 2*g. Does 14 divide i/7 - j/21?
False
Suppose 25 = -5*i, 48 = 4*b + 5*i + 1. Suppose 3*z = 6, b - 52 = 2*s - 4*z. Let d = 21 + s. Is 8 a factor of d?
True
Let h(v) = -4*v**2 + v + 1. Let w(q) = -11*q**2 + 4*q + 4. Let u(x) = -8*h(x) + 3*w(x). Let f be u(5). Is (f - (-25)/2)*2 a multiple of 8?
False
Let f(z) = -z**2 - 2*z. Let d be f(-3). Let l(i) = -i**3 - 2*i**2 + 2*i. Is 2 a factor of l(d)?
False
Let f be (2/(-5))/(3/(-30)). Suppose -12 = -5*r - 0*r - f*n, 0 = -2*r - 5*n - 2. Suppose 36 = -r*k + 96. Does 15 divide k?
True
Let n(v) = v**2 + 5*v + 5. Does 2 divide n(0)?
False
Suppose -5 + 2 = 3*y. Let g(a) = -64*a + 5. Let f(x) = -43*x + 3. Let d(v) = 8*f(v) - 5*g(v). Is 14 a factor of d(y)?
False
Suppose -4*x + 172 = 4*y, 2*y + y - 3*x = 105. Is 24 a factor of y?
False
Let y(l) = -l**3 + 8*l**2 + 8*l + 10. Let t be y(9). Is 4 a factor of 24/(-10)*(-5)/t?
True
Let c(x) = -x**3 - 10*x**2 - 11*x - 12. Let t be c(-9). Suppose 4*h + 21 + 24 = 3*p, t = 2*h. Suppose p = -g + 2*g. Is g a multiple of 12?
False
Let t(g) = -4*g - 19. Is t(-6) a multiple of 5?
True
Let f(q) = 6*q - 3. Let z = 2 + 1. Is 6 a factor of f(z)?
False
Suppose -2*a = -4*a - 70. Let j = a + 59. Is 6 a factor of j?
True
Suppose -4*c - 20 = 0, -2*p - c = p - 22. Let y(w) be the second derivative of -w**5/20 + 3*w**4/4 - w**3/6 + 13*w**2/2 + w. Is y(p) a multiple of 2?
True
Let n(i) = -i**2 - i + 2*i**2 + 51 - 3*i**2 + 3*i**2. Is 17 a factor of n(0)?
True
Let f(t) = t + 2. Let q be f(5). Suppose q = -2*c + 1. Is c/(-4)*6*4 a multiple of 18?
True
Let i(f) = f**3 + 6*f**2 + 4*f + 3. Let o be i(-4). Suppose 3*n = 29 + o. Does 4 divide n?
True
Let i(l) = l + 17. Let c be i(-12). Suppose c*y + 2*o = 10 + 323, -5*y + 4*o = -309. Does 13 divide y?
True
Suppose -o = -0*o + 4, -2*u + 108 = -4*o. Suppose -4*a + 56 = -2*a + 2*d, 3*d + u = 2*a. Suppose -5*i + 24 = -a. Does 5 divide i?
True
Suppose n = 4*t - 33, -t + n + 17 = -n. Let q = 1 + -3. Let h = q + t. Does 5 divide h?
True
Let o(u) = u**3 + 6*u**2 - 3*u - 7. Let p be o(-5). Let t(a) = a**3 - a**2 - 2*a + 1. Let c be t(2). Does 18 divide 9/3 + p/c?
True
Suppose 1199 = 10*v - 51. Is v a multiple of 17?
False
Let x(n) = n**2 + 17*n - 41. Is 14 a factor of x(-22)?
False
Let r = -1 - 1. Let m be (0 + 2/(-6))*-87. Is 16 a factor of m/4*(r - -6)?
False
Let h(a) be the second derivative of -a**3/6 - 5*a**2/2 - a. Let q be h(-8). Does 15 divide q/(-12) + (-109)/(-4)?
False
Let p = 18 - 4. Suppose 7 = d - p. Is 7 a factor of d?
True
Suppose 6*l = 11*l - 5*c - 1090, 4*c + 8 = 0. Is l a multiple of 12?
True
Let q be -195*(-1 - (-6)/9). Suppose -3*p - 185 = 4*x + 2*p, -2*x + 3*p - q = 0. Is 3 a factor of x/(-6) - 12/18?
True
Suppose -2*b = 2*b + 16, -5*b = -4*c + 44. Suppose 5*i = v - c*v + 20, -4*i = -5*v + 20. Suppose i = -3*y - 3*m + 78, -4*y + 104 = 2*m - 2. Is 11 a factor of y?
False
Let d be ((-7)/(-14))/(2/28). Let y(h) = -h**3 + 8*h**2 - 5*h - 9. Is 5 a factor of y(d)?
True
Is 798/63 - (-2)/(-3) a multiple of 3?
True
Let o(u) = u**3 - 7*u**2 + 2*u - 3. Let l be o(6). Let i = 42 + l. Suppose -4*k + r + 117 = 0, 0 = 3*k + 5*r + i - 74. Is k a multiple of 14?
True
Suppose 0 = -2*g + 3*k - 4*k + 51, 3*g + 5*k - 94 = 0. Is 17 a factor of g?
False
Let b = 44 + -27. Is 6 a factor of b?
False
Suppose 12*w - 1858 = 746. Is w a multiple of 31?
True
Suppose -7*z - 131 = -8*z. Is 46 a factor of z?
False
Let z be (-458)/14 + (-6)/21. Let m = -16 - z. Is m a multiple of 5?
False
Let n(h) = -h**2 + 28*h + 42. Is 13 a factor of n(25)?
True
Suppose 5*z - 2*f - 64 = 0, 4*f - 11 = 5*z - 79. Is z even?
True
Suppose 3*m - m = 26. Suppose -s = -2*s + m. Is 6 a factor of s?
False
Suppose 0 = 2*q + s - 64 - 760, 3*s - 1644 = -4*q. Suppose -4*n - 42 + q = 0. Is n a multiple of 31?
True
Suppose -2*g = -g + 4*m - 102, 3*m = -g + 99. Is g a multiple of 30?
True
Let w(y) = y**2 + 6*y - 16. Let t be w(11). Let p = 289 - t. Does 15 divide p/6 + (-3)/(-9)?
False
Let t(j) = -j + 10. Let g be t(9). Let c be (1 - 11)*(0 + g). Does 18 divide (-174)/c - (-6)/10?
True
Let m(u) = 7*u**2 + 3*u - 5. Is 3 a factor of m(2)?
False
Let y(l) = 2*l**2 + 2*l + 3. Let h(i) = i - 7. Let r be h(3). Let s be (1 + -3)*r/(-4). Is y(s) a multiple of 4?
False
Suppose 5*n - m - 17 = 0, 2*m - 6 = -4*n - m. Does 2 divide 9*(-1)/(-9)*n?
False
Let a = 41 - -24. Let z = 1 + a. Suppose -5*l = -2*l - z. Is l a multiple of 8?
False
Suppose -b + 343 = 4*b + 2*h, -2*h = -2*b + 140. Does 20 divide b?
False
Let t(k) = -k**2 - 14*k - 7. Let l be t(-10). Suppose b = 2*b - l. Does 17 divide b - 3/(9/(-3))?
True
Let g = 1 + 1. Suppose -g*t + 2*p = t - 40, 5*t = -5*p + 50. Is t a multiple of 9?
False
Let n = 215 - 145. Does 2 divide n?
True
Let a = -2 + -1. Let h be ((-8)/6)/((-6)/18). Is a - (-36 + (h - 3)) a multiple of 16?
True
Suppose -3*m + 101 = -5*y, 2*m + 131 = 7*m + y. Suppose -x = -j - 24, -x + 0*x + 2*j + m = 0. Is x a multiple of 9?
False
Suppose 4*h - 449 = 379. Is h a multiple of 25?
False
Let v = 79 + 12. Is v a multiple of 21?
False
Does 8 divide (-6 - 10)/((-4)/22)?
True
Let j(b) = b**3 - 7*b**2 + 5*b + 3. Let u be j(5). Let c = -16 - u. Suppose 2*t - c = t. Does 3 divide t?
True
Let x = 47 - 19. Is x a multiple of 12?
False
Is 12 a factor of (-2058)/(-18) + 2/3?
False
Suppose 2*d + 3*d - 1150 = 0. Suppose 0 = -5*u + l - d, -u = -3*u + 2*l - 84. Let v = -18 - u. Does 18 divide v?
False
Suppose 0 = 5*z - 2*b - b - 275, -z = -b - 53. Let k = z - 11. Is k a multiple of 16?
False
Suppose -4 = -p + 6. Suppose -s + 12 = -p. Does 22 divide s?
True
Let g = -18 - 9. Let o = 7 - g. Does 9 divide o?
False
Is 6/(-54)*-51 + 1/3 a multiple of 3?
True
Let r(z) = z**3 - 3*z**2 - 4*z + 2. Let n be r(4). Suppose n*l + 0*l = 8. Is 3 a factor of l?
False
Suppose -4*h + 5*t + 345 = 0, -2*h + 3*t + 177 = 2*t. Is h a multiple of 30?
True
Does 18 divide 107 + (-2 - -2) - 4?
False
Let z(i) = i**3 - 4*i**2 - 8*i - 2. Let c be -18*(24/9 + -3). Is z(c) a multiple of 11?
True
Let c(a) = 3*a - 2. Let w = -14 + 22. Is c(w) a multiple of 11?
True
Let z be (0/(-9))/((-2)/(-2)). Suppose z*l - 22 = -l. Is 22 a factor of l?
True
Is 15 a factor of 9/(-15) + 303/5?
True
Suppose -63 - 39 = -h - z, 4*h = -5*z + 408. Suppose 5*b - h = -17. Does 4 divide b?
False
Let x(v) = -10*v - 30. Is 4 a factor of x(-11)?
True
Let f(n) = -20*n - 2. Let t be f(-6). Suppose -2*j - 4*a = -t, -j - a + 69 = 3*a. Is 20 a factor of j?
False
Is 6 a factor of (-2151)/(-45) - 1/(-5)?
True
Is (4/(8/54))/1 a multiple of 27?
True
Let c = 2 + -3. Let