-15. Let w = t + g. Does 15 divide w?
True
Suppose -3*y = s - 6*s + 19, -2*y - 4*s + 24 = 0. Let k be 6 - (1 + 3 - y). Is 12 a factor of 35 + k/2 + -2?
False
Is 11 a factor of 18*14/20 - 4/(-10)?
False
Let k be (1/1 - -6)*1. Suppose -k*n = -4*n - 75. Let p = n + -11. Does 8 divide p?
False
Let r = -61 + 73. Does 9 divide r?
False
Let z = 2 + 1. Suppose z*h - 5*s - 7 - 9 = 0, h - 4*s - 3 = 0. Is h a multiple of 7?
True
Suppose 0 = -3*z - n - 8, 5*n + 8 = -3*z + 4. Let c = 12 + z. Suppose x + u = -2*u + c, 5*x = 4*u + 45. Does 9 divide x?
True
Suppose -2*c - 6 = 2*i, 0*i + 4*i - 2*c = -6. Let d = -1 - i. Is 16 - (d - 0/2) a multiple of 7?
False
Let p = 77 + 2. Is p a multiple of 27?
False
Let d = 15 + -10. Suppose d*q - h - 179 = -0*q, 0 = 5*q + 5*h - 185. Is q a multiple of 18?
True
Is 13 a factor of (-1)/(5/2) - 524/(-10)?
True
Let g = 21 + 61. Is g a multiple of 29?
False
Let g(v) = -v**2 + v + 240. Is 16 a factor of g(0)?
True
Let a be 2 + -2 + (-4 - 2). Let c = -2 - a. Suppose 4*o - 34 = -3*w - 0*o, 0 = -5*w - c*o + 62. Is 14 a factor of w?
True
Let d be 2/6 - (-19)/(-3). Let w be (-12 - -3)*44/d. Let c = -40 + w. Is c a multiple of 26?
True
Suppose 5*w - 9 = 6. Suppose w*l = 3 + 3. Suppose -l*a + 150 = k + 2*k, 4*k - 198 = -2*a. Does 25 divide k?
False
Let g(v) = -v**2 - 8*v - 1. Let r be g(-7). Suppose 3*q = -4*s + 302, -r*s - 5*q + 221 = -3*s. Is 21 a factor of s?
False
Is 6/(-9) + 38/3 a multiple of 6?
True
Let z = 12 - 4. Suppose 94 + z = 3*r. Does 9 divide r?
False
Let t be 516/(-42) - 2/(-7). Is t/(-20) + (-37)/(-5) a multiple of 2?
True
Let c(t) = 2*t + 8. Is c(0) a multiple of 6?
False
Is 9 a factor of (-9 - 6)/((3/10)/(-3))?
False
Let f be 8/20 - (-187)/(-5). Let b = f + 61. Is 6 a factor of b?
True
Is 15 a factor of -8 - -4 - -84 - 1?
False
Let h(m) = 0*m**2 + m**2 + 2*m + 0*m**2 + 2. Let w be h(-3). Is -5*4/w*-4 a multiple of 6?
False
Let a(v) = -2*v**3 - v**2 - 4*v. Does 19 divide a(-3)?
True
Let b be (-2)/3 - 213/(-9). Suppose 0 = -3*k - u + b, 2*k = -u - u + 10. Is k a multiple of 6?
False
Let f(x) = 16*x - 3. Let q be f(2). Let o be 2 - (3/3)/(-1). Suppose -o*z - 2*z = 4*a - q, 2*z = -2*a + 16. Is 11 a factor of a?
True
Suppose -3*r + 0*i - 54 = -3*i, 0 = 3*r + 3*i + 36. Let u = 20 - r. Is u a multiple of 12?
False
Suppose 6*z = 10*z - 860. Is z a multiple of 43?
True
Let s(u) = -u**3 - u + 33. Let n = 28 + -12. Suppose -3*a - n = 4*m, 4*a = m - 1 + 5. Does 13 divide s(a)?
False
Let h = -5 - -7. Suppose 6*a - 8 = h*a. Suppose 0 = a*w + 6 - 24. Does 3 divide w?
True
Suppose b - 45 = -3*b + 3*g, 5*b = -5*g + 65. Let h(l) = 7*l**2 + 23*l - 25. Let v(y) = -3*y**2 - 12*y + 13. Let a(i) = -4*h(i) - 9*v(i). Is 8 a factor of a(b)?
False
Let i(l) = -10*l**3 + l. Let a be i(1). Let x be 28 - (-3 - -4 - 1). Let m = a + x. Is 10 a factor of m?
False
Suppose 4*v - 5*f = 62, -3*v + 4*f = -v - 28. Is v a multiple of 18?
True
Let b = -8 - -23. Does 5 divide b?
True
Suppose -127 = -0*o - 2*o + 5*y, 5*y - 101 = -o. Does 16 divide o?
False
Suppose -3*a = -2*a - 4. Suppose -5*s - a*i + 2 + 78 = 0, -5*s - i = -65. Let w = 27 - s. Does 15 divide w?
True
Suppose f + 5 = -4*t, 2*f + 4*t + 3 = 3*t. Let r be (0 - (-1 - f))/(-1). Suppose 5*q - 51 = -w + 100, r = -3*q - 5*w + 95. Is 15 a factor of q?
True
Suppose 4*j - 13 = -5. Suppose j = x - 2. Does 13 divide 2/x*(28 + -2)?
True
Is (48/4 + 3)*3 a multiple of 15?
True
Let s(h) = h**3 - 5*h**2 - h - 3. Let d be s(6). Is 11 a factor of 4 + (-8)/(-4) + d?
True
Suppose -i = -4*r + 1030 + 45, 4*r = 5*i + 1087. Suppose -4*f - 100 = -r. Is f a multiple of 14?
True
Let z be 5/(-20) - (-46)/(-8). Is 24/9*(-9)/z a multiple of 4?
True
Let y(m) = m**2 - 2*m**2 + 0*m**2 - 2*m**2 + 3*m + 6 - m**3. Is y(-4) a multiple of 5?
True
Let o(h) be the third derivative of -h**6/24 + h**5/60 + h**4/8 + h**3/3 - 2*h**2. Does 14 divide o(-2)?
False
Let h(b) = 6*b**2 - 2*b - 1. Let g be h(-1). Let l(y) = -y**2 + 11*y - 9. Let u(d) = -d. Let a(s) = -l(s) - 4*u(s). Does 6 divide a(g)?
False
Suppose -2*l = 4*r - 74, -41 = -2*r - l - 4*l. Is r a multiple of 16?
False
Suppose -53 = -2*s - a, s + 3*a = 2*s - 44. Is 12 a factor of s?
False
Let l(x) = 0*x + x - 25*x + 3. Is l(-3) a multiple of 25?
True
Let o(g) = 9*g - 4. Let h = 1 + 2. Is 14 a factor of o(h)?
False
Let h(q) = q**2 + 5. Does 41 divide h(6)?
True
Let f(u) = 13*u**3 - 4*u**2 + 5*u - 2. Does 12 divide f(2)?
True
Suppose -6*y = -7*y - 2. Let h(m) = 5*m**2 - 1. Is h(y) a multiple of 12?
False
Suppose 3*q + 11 = 2*c + 3*c, -3*q + 4*c = 7. Suppose 4*a - 62 = -q*h, 2*a - 74 = -4*h + a. Is 18 a factor of h?
True
Suppose 0 = -f + 19 + 29. Is 12 a factor of f?
True
Suppose 29 + 25 = 3*n. Suppose -z = -n - 42. Does 9 divide z?
False
Let u be 2 - 1 - 55*1. Let z be (u/4)/(1/(-2)). Let c = z + -8. Does 13 divide c?
False
Suppose 0 = -s - 2*s. Suppose 0 = -s*f - 2*f + 24. Is f a multiple of 6?
True
Let k(n) = 4*n**3 - 2*n**2 - 2*n + 1. Does 9 divide k(2)?
False
Let k = -94 + 152. Let j = k - 4. Is 27 a factor of j?
True
Suppose 2*i - 10 = -2*m, -3*i + 4 = 2*m - 6. Let n(d) = -d + 7. Is 4 a factor of n(i)?
False
Let t(p) = -p**2 + 4*p. Let f be t(4). Suppose 5*u - 149 + 29 = f. Is u a multiple of 12?
True
Suppose -4*p + c + 3*c = 16, -16 = p - 5*c. Is (80/(-3) - p)*-3 a multiple of 22?
False
Suppose -3*i = -i - 2. Suppose 4*t - 238 = -v, 0 = -4*t + 4*v + 247 + i. Does 12 divide t?
True
Does 18 divide -2*(-87)/3 + -4?
True
Suppose 0*b - b + 389 = 3*t, 4*t + 5*b = 515. Is 40 a factor of t?
False
Let o be -2*(-1 + (-73)/2). Let q = 11 - 58. Let d = q + o. Is 14 a factor of d?
True
Suppose -4*u + 12 = 0, 0 = 4*p - 5*u - 265 - 244. Does 26 divide p?
False
Suppose 3*m = 2*y + 118, 0*y - y = -3*m + 113. Does 6 divide m?
True
Let l = -66 - -100. Suppose l + 14 = 2*b. Does 18 divide b?
False
Let a = -2 + 4. Let g(y) = y**2 - 4*y + 0*y**a + 3*y. Does 20 divide g(-4)?
True
Suppose d - 106 = -4*l, d - 45 = 3*l + 47. Is d a multiple of 26?
False
Suppose 3*s - 5*x - 374 = 0, 0 = 5*s + 4*x - 2*x - 644. Is s a multiple of 39?
False
Let j(x) = 80*x**3 + 2*x**2 + x - 2. Does 15 divide j(1)?
False
Suppose 0 = -6*z + z + 1350. Does 28 divide 3/9*(-3 + z)?
False
Let p(k) = k**2 + 4*k - 2. Let t be p(-5). Suppose -2*i + s + 4 = t, 5*i - 2*s = 5. Is i even?
False
Let v = 48 + -34. Does 14 divide v?
True
Let v(y) = y**3 + 4*y**2 - 2*y - 1. Is v(-4) even?
False
Suppose -2*x + 25 = 7. Is 10 a factor of 3/(-2)*(-156)/x?
False
Let k = -19 + -14. Let b = -10 - k. Is 14 a factor of b?
False
Let a be (8 + -8)/(1 - 0). Suppose 0 = 2*z - 4*d - 99 + 7, -d + 1 = a. Is 16 a factor of z?
True
Is 41 a factor of 4/((-4)/(-10*10)*1)?
False
Let i be 55/4 - 1/(-4). Let x = 7 - i. Let b = 15 - x. Does 11 divide b?
True
Let j(p) = 5*p - 51. Is j(16) a multiple of 3?
False
Let h be -5 + 1 - (0 - -1). Let b = -21 + 49. Let q = h + b. Is 20 a factor of q?
False
Suppose -7*z - 85 = -239. Is z a multiple of 11?
True
Let q = -11 - -17. Let a(m) = m**2 + 5*m - 6. Is a(q) a multiple of 20?
True
Let l be -1 - (-1 - -6) - 0. Let m = l - -8. Suppose 2*r + 6 = 0, -r = -3*y - m*r + 63. Is y a multiple of 10?
False
Suppose -2*t + 5*l = 8*l - 53, 4*l = -12. Is t a multiple of 10?
False
Suppose 0 = 3*b + w - 8, 0 = 4*b - 3*w - 31 + 3. Suppose 0*z - 52 = -b*z. Is 13 a factor of z?
True
Suppose -4*o + 4*k - 16 = 0, o + 34 = -3*o - 5*k. Let d = -7 - o. Does 8 divide 0 + d - 16/(-1)?
False
Let h = -1 - -4. Suppose 0 = 5*p + 2*w + 84 - 244, 0 = h*p - w - 85. Does 15 divide p?
True
Let j = -102 + 154. Is 13 a factor of j?
True
Let c(l) = -8*l**3 - l - 1. Let v be c(-1). Let u(i) = i**3 - 7*i**2 - 8*i + 2. Let s be u(v). Does 4 divide 6/(3/(s + 1))?
False
Let m(n) = -n**2 + 2*n - 1. Let u be m(1). Let v = 17 + u. Does 13 divide v?
False
Does 3 divide (-23)/(-5) - 10/(-25)?
False
Suppose -5*o = 5*q - 1449 + 109, 530 = 2*q + 5*o. Is q a multiple of 15?
True
Let j(t) be the second derivative of t**4/12 - t**3/3 + 3*t**2/2 + 2*t. Does 9 divide j(-4)?
True
Let w = 7 + -15. Let v(f) = -2*f - 11. Let d be v(w). Suppose 14 + 46 = d*n. Is 5 a factor of n?
False
Let m = -3 - -7. Let o be 8/1 + m + -3. Suppose 2*i + i - o = 0. Is i a multiple of 2?
False
Suppose 2*u = -2*u - 4*o - 4, -2*o = -5*u + 30. Suppose 9*d - u*d + j = 169, 4*j + 17 = d. Does 21 divi