 Does 16 divide m?
True
Let i = 15 - 36. Let n = i - -31. Does 8 divide n?
False
Let x(n) = -4*n**2 + 2*n. Let b be x(3). Let f = b + 65. Is 17 a factor of f?
False
Let q(j) = -144*j**3 - j**2 - 2*j - 1. Let l be q(-1). Suppose -3*x + l = x. Is x a multiple of 18?
True
Is 16 a factor of 10/(-8) + 345/20?
True
Let u(m) = 2*m**2 + 2*m + 3. Let i be u(-2). Suppose -3*t + 294 = 5*y, i*y - 3*y = 2*t + 222. Is 19 a factor of y?
True
Let u = 28 + 24. Does 3 divide u?
False
Is 16 a factor of ((-18)/(-27))/(1/24)?
True
Let t be -3*2/(-6) + 1. Suppose -140 = -t*v - 2*v. Is 17 a factor of v?
False
Let r(o) = 5 - 1 + 3*o - o + 3. Is r(7) a multiple of 5?
False
Suppose x + 9 = 26. Does 9 divide x?
False
Suppose -8 = -h - 3*h. Let y be (2 + -10)/(h - 3). Suppose -y - 3 = -o. Is 6 a factor of o?
False
Suppose -2*t - 176 = -6*t. Is t a multiple of 19?
False
Let h be ((-8)/6)/((-4)/42). Is h*3/(-6)*-1 even?
False
Suppose -3*f + 4*f - 8 = 0. Let x = 12 - f. Suppose 0 = x*h + 2*z - 76, -h - 4*z + 12 = -14. Is h a multiple of 14?
False
Let u(s) = -s**3 - 3*s**2 + 2*s - 14. Is 14 a factor of u(-5)?
False
Suppose 4*d + 5*r - 107 = 0, 2*r + 137 = 4*d + r. Suppose -5*c + 2*c = -d. Is 7 a factor of c?
False
Let j(u) be the third derivative of u**4/8 - 13*u**3/6 - 5*u**2. Does 8 divide j(7)?
True
Suppose 7*z - 3*z - 788 = 2*a, 3*a - 573 = -3*z. Is z a multiple of 39?
True
Suppose -11 - 19 = -2*j. Suppose j = 4*l + 3. Suppose l*p = 0, -3*f + 39 = -p - 3. Is f a multiple of 14?
True
Let m = -113 + 205. Suppose -4*c = -8*c + m. Is 12 a factor of c?
False
Let g = 42 - 3. Is 19 a factor of g?
False
Let u = 20 - 14. Is 25 a factor of (-50)/(u/(-5 + 2))?
True
Let w(t) = -2 + 9 + 10*t + 6*t. Is w(3) a multiple of 16?
False
Let d(b) = 5*b**3 + 9*b**2 + 4*b + 7. Let p(u) = -14*u**3 - 26*u**2 - 11*u - 20. Let v(a) = 11*d(a) + 4*p(a). Is 14 a factor of v(-6)?
False
Let c = -1 + 6. Suppose 3*m - g = 11, 7 = c*g + 2. Suppose 0 = a + 2*r - m, r - 14 = -2*a - 0*r. Is a a multiple of 4?
True
Let b(h) = 6*h**2 - 6*h + 8. Let y(o) = -7*o**2 + 6*o - 9. Let x(r) = 6*b(r) + 5*y(r). Suppose -9 = 4*q - 37. Is x(q) a multiple of 7?
False
Let w(v) = v**2 - 2*v + 6. Let m be w(5). Let f = 27 + m. Suppose 3 = 3*x - f. Is 6 a factor of x?
False
Suppose 0 = 6*m - m - 30. Does 8 divide m/(-9) - 150/(-9)?
True
Let r(q) = 4*q - 1. Let j be r(-4). Let z = j - -33. Is 11 a factor of z?
False
Suppose 3*p - 64 - 21 = 4*m, 0 = -4*p + m + 135. Suppose g - p = 1. Let v = g + -20. Is v a multiple of 16?
True
Let l = 3 + 9. Is l a multiple of 4?
True
Suppose 8*x - 30 = 90. Is 2 a factor of x?
False
Suppose -r - 41 = -0*r. Let t = 55 - r. Is 25 a factor of t?
False
Is 22 a factor of 26 + 6/2 + -5?
False
Let g(w) = w**2 - 9*w + 14. Let y be g(11). Let a = -18 + y. Suppose p + 1 = a. Does 17 divide p?
True
Let w(o) = o**2 - 5*o - 2. Let r be w(6). Suppose 2*u + 24 = r*u. Is 6 a factor of u?
True
Let j(g) = -6*g + 20. Let l(h) = -2*h + 7 - 3*h + 3*h. Let d(t) = -6*j(t) + 17*l(t). Is d(5) a multiple of 9?
True
Suppose 3*p = -3*s + 366, 0*p = p - 4*s - 142. Is 42 a factor of p?
True
Let n be (-3 + 0)*(-20)/(-12). Let w = n + 28. Let h = 35 - w. Is h a multiple of 10?
False
Suppose f - 57 - 34 = -2*a, a + 3*f = 33. Is a a multiple of 18?
False
Let v(y) = 3*y + 5. Is v(8) a multiple of 4?
False
Let p = -9 + 13. Suppose 492 = p*o + 4*h, -2*o - 5*h = -h - 254. Suppose -4*k - 116 = -7*q + 3*q, -4*q + o = -3*k. Is q a multiple of 16?
True
Let g be (-1 - -1)*2/(-4). Let a = 10 + 0. Suppose 0 = -0*k + k + 4*p - 12, -k - 2*p + a = g. Is k a multiple of 4?
True
Suppose 0*b = b + 52. Does 10 divide 1*4/(-8)*b?
False
Let j = 82 + 95. Does 30 divide j?
False
Suppose -3*s = 3*q - 285, -q = -3*s + s + 199. Is s a multiple of 49?
True
Let a = 99 + -39. Does 6 divide a?
True
Let l = -22 + 46. Does 16 divide (l - 8)/(1 + 0)?
True
Suppose 6*w - 3*w = -12. Let k be (-1)/w + (-63)/(-4). Suppose 4*p = -k, -d - 2*p + 108 = 3*d. Does 10 divide d?
False
Let f(p) be the third derivative of p**5/15 - p**4/24 - p**3/3 + 2*p**2. Is f(-2) a multiple of 16?
True
Suppose 0*s = -4*s - 12, 0 = 3*f - 5*s - 24. Suppose f*c - 1 = -l, -2*l - 3*c = -4*c - 37. Suppose 4*i + q - 5 - 27 = 0, 0 = -2*i + 3*q + l. Does 8 divide i?
True
Let d(q) = 1 - 4 - 3*q - 7. Is 2 a factor of d(-6)?
True
Let n = -13 + 20. Does 2 divide n?
False
Let o = -14 - 11. Let a be (-6)/(-10) + (-10)/o. Is 0/(-6) - (-27 - a) a multiple of 12?
False
Is 18 a factor of -14*((-1)/(-2))/(98/(-1008))?
True
Let i = -11 + 9. Is 3 a factor of 6 - (i + -3 - -2)?
True
Let o(u) be the third derivative of u**2 + 0 + 17/24*u**4 - 1/6*u**3 + 0*u. Is 9 a factor of o(1)?
False
Let n(z) = -41*z**3 + 2*z**2 + z - 1. Is 13 a factor of n(-1)?
False
Let j be (6/15)/((-1)/(-10)). Let p = 19 - j. Is 6 a factor of 28/(-6)*p/(-10)?
False
Let z = -9 + 173. Does 41 divide z?
True
Let s = 11 + -5. Let k be (52/6)/(s/9). Suppose 0 = 5*g - h - 148, -g = -5*h - 7 - k. Does 12 divide g?
False
Let n(c) = -11*c - 2. Let m(w) = -5*w - 1. Let q(d) = -9*m(d) + 4*n(d). Let g be q(-10). Does 12 divide g*((-6)/(-9) - 2)?
True
Suppose 0 = -3*x + x - 46. Let n = x - -62. Does 13 divide n?
True
Let a(d) = -2*d**2 - 11*d + 1. Let r be a(-8). Let q = 77 + r. Does 19 divide q?
True
Let t(n) = -n + 52. Is t(0) a multiple of 4?
True
Let n be (-4)/(-2*3/(-33)). Does 3 divide 268/22 - (-4)/n?
True
Let g = 134 + -74. Does 15 divide g?
True
Suppose -16*r = -2576 - 176. Is r a multiple of 29?
False
Let y(b) = -b**2. Let f(i) = i**3 - 5*i**2 + 6*i. Let a(m) = -f(m) - 2*y(m). Let g be a(6). Suppose g = 4*k - 107 + 27. Is k a multiple of 10?
True
Let f be 3 + 0*3/(-3). Let k be (1 - (-10)/(-6))*-3. Does 17 divide 19 + (2/k - f)?
True
Suppose -r + 3 = -2. Suppose w + w = 12. Suppose -2*b - 3*z + 57 = 0, w*z = r*b + 3*z - 90. Does 9 divide b?
False
Let m(w) = 7*w - 9. Is 16 a factor of m(4)?
False
Let i = 306 + -185. Is 9 a factor of i?
False
Suppose 9 = 6*j - 45. Does 3 divide j?
True
Suppose v - 2*x = 4 - 1, -3*v - 6 = -x. Let y be v/(-6)*0 + 27. Is ((-2)/(-3))/(6/y) even?
False
Suppose -i = 2*i + 183. Does 10 divide 4/(-24) + i/(-6)?
True
Let s = 12 - 9. Let u(m) = 25*m + 6. Let w(h) = -12*h - 3. Let p(r) = -4*u(r) - 9*w(r). Does 9 divide p(s)?
True
Suppose 0*s + 4*s - 20 = 0. Let t(z) = -3*z - 4*z**3 - 8 + 4 + 3*z**3 + z**2 + s*z. Is t(-3) a multiple of 13?
True
Suppose -8*n + 369 = n. Is 4 a factor of n?
False
Suppose 1124 = 5*j + 2*i - 6*i, 2 = -2*i. Let h = 317 - j. Is 26 a factor of h?
False
Let u(y) = -y**3 - 14*y**2 + 29*y - 15. Is 11 a factor of u(-16)?
True
Suppose 0 = -4*o - 1 + 13. Suppose o*d - 54 - 45 = 0. Does 11 divide d?
True
Let q be 174/3*3/6. Suppose 4*r + 80 = -0*r + 2*k, 3*r = -2*k - 60. Let t = r + q. Is 9 a factor of t?
True
Is (-388)/(-10) - (-1)/5 a multiple of 13?
True
Let k = 29 + 1. Suppose -k = -5*o + 30. Is 9 a factor of o?
False
Let w(s) = s**3 + 3*s**2 - 1. Let u be w(-3). Let z(a) = -a + 2*a - 13*a. Is 8 a factor of z(u)?
False
Suppose 0 = 4*i - 8*i + 196. Is i a multiple of 12?
False
Let r(x) = 9*x**3 + 3*x**2 + x + 5. Let b(d) = -5*d**3 - 2*d**2 - d - 3. Let l(o) = 5*b(o) + 3*r(o). Is 8 a factor of l(2)?
True
Suppose -110 = -5*c + 50. Does 13 divide c?
False
Let m be (-1)/(3*(-2)/1110). Let c = -132 + m. Is 12 a factor of c?
False
Let u(c) = 10*c + 8. Is u(2) even?
True
Suppose -j = -3*j - 12. Suppose 58 = -3*f + 2*a, 0 = a - 3 + 1. Let x = j - f. Does 8 divide x?
False
Suppose -3*r = r - 152. Is 9 a factor of r?
False
Let v = -4 - -8. Let z = 22 + v. Is 13 a factor of z?
True
Let y(q) = 19*q - 1. Let d(x) = x**2 + 9*x - 11. Let s be d(-10). Let l = s + 2. Is y(l) a multiple of 8?
False
Let j = 10 - 1. Suppose -5*d = -j - 11. Is d a multiple of 2?
True
Let o = 27 - 15. Suppose -z = -5*z + o. Does 3 divide z?
True
Suppose -5*j = -14 - 6. Suppose -52 = -j*o - 0*o. Does 8 divide o?
False
Let u(h) = 2*h**2 - 6*h + 5. Is u(3) even?
False
Let x(a) = 2*a**3 - 4*a**2 + 2*a. Let y = 3 - 1. Let w be x(y). Suppose 92 = w*d - 80. Is 16 a factor of d?
False
Let o = -2 + 7. Let r be (-7)/o - 8/(-20). Does 11 divide 14 + -3 - 2*r?
False
Is ((-4)/(-8))/1*4*21 a multiple of 21?
True
Suppose -g + 3*g = 4. Suppose g*r = -3*r + 70. Is 14 a factor of r?
True
Let w be 6/4*(-2)/1. Suppose -4*o + 2*x - 4*x = 16, 20 = -4*o 