 Is 15 a factor of w?
True
Let g be 2*(0 - (-3 - -2)). Suppose a + g*a - 2*s + 16 = 0, -a + s = 5. Is 58/3 - 4/a a multiple of 10?
True
Let h(f) = f**2 - 30*f - 44. Let i be h(26). Let c = -93 - i. Is c a multiple of 11?
True
Let m(h) = 2*h**3 - 8*h**2 - 22*h + 40. Is 3 a factor of m(7)?
True
Suppose -4*r + 50 = -5*t, 0*r + 4*r - 42 = t. Suppose -r*g + 8*g = -2610. Does 12 divide 2/(-6) + g/27?
True
Let a = -83 + 231. Is 13 a factor of a?
False
Let y be 7/(21/6) + 1. Let g be (1/y*3)/1. Is (-36)/g*1/(-2) a multiple of 18?
True
Let s(m) = m**2 - 6*m + 13. Let l(p) = -p**2 - p - 1. Let h(x) = -2*l(x) - s(x). Let z(r) = -2*r**2 - 17*r - 1. Let a be z(-9). Does 6 divide h(a)?
False
Suppose -3*d - b = -1619, -8*b = 2*d - 10*b - 1082. Is d a multiple of 36?
True
Suppose 4*v - 4 + 12 = 0, 3*p - 2*v - 694 = 0. Is p a multiple of 39?
False
Let l(c) be the second derivative of -c**2 + 7/12*c**4 + 0 - 1/6*c**3 + 4*c. Is l(2) a multiple of 18?
False
Let b = -11 + 17. Let y(q) = -q**2 + q + 1. Let m(l) = -3*l - 3. Let v(o) = -m(o) - y(o). Does 15 divide v(b)?
False
Suppose -5*a = 352 + 8. Let b be (20/(-6))/(12/a). Suppose 3*h = s + b, -4*s + 48 = 4*h - 0*s. Is h a multiple of 4?
True
Let o(f) = f**2 + 12. Let x = 64 + -55. Does 9 divide o(x)?
False
Suppose -12*a + 6039 = -3213. Is 20 a factor of a?
False
Suppose -78 = 4*l + 3*a, -l + 5*a + 0*a - 31 = 0. Let z = l + 29. Is 3 a factor of z?
False
Suppose 7*x - 96 = 366. Suppose 4*s - 420 = -4*t, 3*s - x - 149 = -2*t. Does 25 divide t?
True
Suppose -i + 103 + 215 = 0. Is i a multiple of 12?
False
Let j be (-1)/(-7) - 54/(-14). Suppose j*h + 14 = 46. Is 8 a factor of h?
True
Suppose 4704 = 4*v + 4*w - 2488, 0 = 2*w - 10. Does 74 divide v?
False
Suppose -6 = 3*x + 3*h, 2*x - 3*h - 6 = -0*x. Suppose x = -2*a - 25 + 73. Suppose -2*r + a = -d + 5*d, -29 = -2*r + d. Does 7 divide r?
True
Suppose -q = 2*u + 55, 3*u + q = -u - 115. Is 23 a factor of (46*5)/((u/(-6))/5)?
True
Suppose 6*f + 3*f - 90 = 0. Does 23 divide (-1 - 15)/(f/(-4) - -2)?
False
Suppose 2*g + 3*b - 543 = 0, -3*g + 8*g = -3*b + 1371. Does 46 divide g?
True
Let i = -7 - -2. Let a = -61 - -62. Does 8 divide ((-357)/85)/(a/i)?
False
Let c(t) = -t**3 - 7*t**2 + t + 12. Let g be c(-7). Suppose 2*f - 2 = -5*i + 110, 5*i - g*f = 140. Does 5 divide i?
False
Suppose -1 = x - n, -4*x - 2*n + 21 = -5. Suppose -b + 6 = -d, -d - 1 = -x. Let q = b + 0. Is 9 a factor of q?
True
Suppose -20 = 6*j - 2*j. Let a = j - -9. Suppose -83 + 299 = a*r. Is 18 a factor of r?
True
Suppose -5*w + 3 = -7. Suppose -w*c = c - 60. Is c a multiple of 4?
True
Let v be 199/2 - ((-5)/(-2) - 2). Does 25 divide (-4)/18 + 7447/v?
True
Suppose -171 = -13*y + 16*y. Let f = y + 99. Is f a multiple of 17?
False
Suppose 0 = 2*f - 201 - 289. Is f a multiple of 20?
False
Let n = -10 - -30. Is 10 a factor of 18/(-12)*n/(-3)?
True
Suppose 0 = -i - i. Suppose -2*c + 5*q = -8 - 0, i = c - 4*q - 1. Suppose 2*y + y - c = 0. Is 3 a factor of y?
True
Suppose 0 = -2*t - 0*h + 4*h + 58, 3*t - 2*h - 91 = 0. Let b(c) = 2*c + 8. Is 35 a factor of b(t)?
True
Suppose -n = 5*y - 20, 5*n + 34 - 112 = -3*y. Does 49 divide 2210/n - (-2)/(6/(-1))?
True
Suppose -4*t = -568 + 64. Suppose 5*o + 591 - 231 = 5*y, -2*y - 4*o + t = 0. Is 8 a factor of y?
False
Let m be -94*(3 - (-35)/(-10)). Suppose 0 = -4*i + 20, 4*i = 3*f - m + 13. Is f a multiple of 6?
True
Let y be (0 + -2 + 2)/(6 - 5). Let p(n) = n + 71. Is 38 a factor of p(y)?
False
Suppose 3*p - 3343 - 2882 = -3*x, -10363 = -5*p - x. Does 37 divide p?
True
Suppose -556 = -4*m - 3*s, -5*m = -3*s - s - 664. Let j = m + 44. Is 18 a factor of j?
True
Let l(p) be the third derivative of p**5/12 - p**4/8 + p**3/3 - 10*p**2. Let r be l(1). Suppose 0 = u + r*z - 24, -u + z + 19 = -0*u. Is 8 a factor of u?
False
Suppose 81*s + 48 = 82*s. Is s a multiple of 24?
True
Suppose -42*b = -41*b. Suppose -l + 0*l + 2 = b, -5*l - 232 = -2*x. Is x a multiple of 10?
False
Let f = 30 + -22. Let r(x) = 2*x**2 - 3*x - 7. Is 34 a factor of r(f)?
False
Suppose -8*g - 6 = -6*g. Let a = g + -4. Let o(w) = -6*w - 4. Does 8 divide o(a)?
False
Let x(s) = 5*s + 22. Let a be x(-5). Is 16 a factor of (-2398)/(-33) - (-2)/a?
False
Let w = 24 + 231. Is w a multiple of 12?
False
Let r(s) = -s**3 - 16*s**2 + 13*s + 2. Does 14 divide r(-18)?
False
Suppose -1055 = -2*b + 3*p, 1591 = -0*b + 3*b + 4*p. Is 31 a factor of b?
False
Let u(r) = -r - 5. Let j(d) = -d**2 + 2*d + 12. Let y be j(6). Let c be u(y). Suppose -20 = -c*t + 3*t. Does 5 divide t?
True
Let f = -18 + 55. Let m = f + 3. Does 10 divide m?
True
Is (2 - 44/6)/(8/(-84)) a multiple of 28?
True
Let i = -604 - -926. Is i a multiple of 14?
True
Let i = 431 - 156. Is i a multiple of 25?
True
Let d = 465 + -129. Is d a multiple of 48?
True
Let b be (-1 - -3) + (-250 - -5). Let a = 347 + b. Is a a multiple of 40?
False
Suppose -30*q + 17815 - 5725 = 0. Is q a multiple of 10?
False
Suppose 5*t - 48 = -4*c + 343, 2*c - 228 = 4*t. Does 13 divide c?
True
Does 11 divide (-7)/2 + 6/(-4) + 192?
True
Suppose 2*s - 12 = -10, 5*s - 1141 = -2*t. Is 21 a factor of t?
False
Suppose 4*v = 2255 + 1021. Is -9*(-14)/v + 1246/13 a multiple of 32?
True
Let h = -31 + 37. Let s be -9*(-4)/h*1. Does 11 divide (34/(-10))/(s/(-30))?
False
Suppose -3*l - 3*u - 9 = 0, -4*l - 3*u - 2 - 11 = 0. Let x be ((-3)/l)/((-1)/(-4)). Suppose -x*v + 40 = -32. Is v a multiple of 7?
False
Let g(s) = s**3 + 22*s**2 - 36. Is 27 a factor of g(-12)?
True
Let c(h) = -4*h**2 - 3*h + 10. Let k be c(-5). Let l = k - -201. Is l a multiple of 13?
False
Let s = -620 - -1132. Does 30 divide s?
False
Let z(f) = 1055*f**2 + 2*f + 5. Is 50 a factor of z(-1)?
False
Suppose -2*l = 0, 4*n + 2*l + 2 = 6. Is 14 a factor of ((-40)/100)/(n*(-2)/370)?
False
Suppose -2637 - 163 = -5*p. Does 19 divide p?
False
Let d = -28 + 32. Does 34 divide d + -2 + 103 + 6/(-6)?
False
Let t(o) be the second derivative of o**3/6 + 5*o**2 + 9*o. Let l = -21 - -29. Does 4 divide t(l)?
False
Let s = 0 + -22. Let q = s + 33. Is q a multiple of 2?
False
Let q = 669 + -295. Is 17 a factor of q?
True
Suppose 9*y = 10*y - 11. Suppose -y = -5*c - 1. Is 15 a factor of (-107)/(-7) + c/(-7)?
True
Let n(a) = -a**3 - 10*a**2 - 9*a - 4. Let f be n(-9). Is (((-2)/f)/(-1))/((-12)/552) a multiple of 13?
False
Let q = 784 - 558. Let y = q - 124. Is 7 a factor of y?
False
Let x(z) = -3*z - 10. Suppose 21*c - 10*c + 242 = 0. Is x(c) a multiple of 14?
True
Suppose -d = -3*h + 2, 5*d = d - 8. Suppose h = -4*i + 212 - 20. Is i a multiple of 17?
False
Suppose 2 = -5*o + 22. Suppose 2*t + i + 3 = 83, -5*i = o*t - 166. Is t a multiple of 9?
False
Suppose 5 - 33 = 4*o. Let x = 15 + o. Suppose -76 = -h + x. Does 12 divide h?
True
Let p = 20 + -5. Let v = -13 + p. Suppose -4*b + 152 = 2*g, 3*g = 5*b - v*g - 175. Is b a multiple of 11?
False
Suppose 2*g + 36 = 6*g. Let c = -9 + g. Suppose c*j + 234 = 6*j. Does 9 divide j?
False
Suppose -4*z + 0*z = -8. Let b be 24/42*7/z. Is (-48)/(b + 11/(-4)) a multiple of 11?
False
Let w = 72 - 64. Suppose 680 - 2088 = -w*k. Is 31 a factor of k?
False
Let r = -710 - -936. Is r a multiple of 26?
False
Suppose -q - 2*q + 762 = 0. Suppose -q - 191 = -5*p. Suppose 9 - p = -5*n. Is 16 a factor of n?
True
Let o(q) = -212*q - 97*q - 7 + 5. Let u be o(-1). Suppose s - 3 = 0, 5*m - u + 83 = 2*s. Does 11 divide m?
False
Let c(f) = -49*f + 172. Is 18 a factor of c(-20)?
True
Suppose 2*x + 46 = 4*d - 0*x, 2*d + 4*x - 38 = 0. Let h = -1 + d. Is 6 a factor of h?
True
Let d = 21 - 3. Let h be (d/8)/(14/112). Let f = h - 16. Is 2 a factor of f?
True
Let k = -2 - -2. Suppose 0 = -4*x - 12, k = 2*c - 5*x + 2*x - 17. Suppose -126 = -6*w + c*w. Does 21 divide w?
True
Suppose -4*k - 24 - 8 = 0. Let h = k + 26. Is 6 a factor of h?
True
Let r = -4 - 15. Let l = -6 + r. Let x = 36 + l. Is 11 a factor of x?
True
Suppose -6*g - 15 = -11*g. Let a(y) = -1 + 2*y**3 + 4*y - 3*y**g - 11 + 6*y**2. Is 7 a factor of a(6)?
False
Let l(m) = m. Let w be l(0). Suppose w = -y + 5. Suppose 0 = -x + y*x - 188. Does 29 divide x?
False
Let m be 4/(-1)*(33/(-4) + 7). Let y(b) = b**3 - 4*b**2 + 3*b. Does 20 divide y(m)?
True
Is 39 a factor of 2 + 1937/5 + (-15)/(-25)?
True
Is 9 a factor of -45*((-672)/36 - -5)?
False
Let v be (1*(4 + -6))/((-2)/4). Suppose 520 = 