*(x/8)/1 a multiple of 9?
True
Suppose 2*p + 2 + 2 = 0. Let f(x) = -13*x - 4. Is 8 a factor of f(p)?
False
Suppose 3*a = a - o + 9, 4*o = 2*a + 16. Suppose 3*h - 17 = -a. Suppose 0 = -h*l + 166 - 16. Is 15 a factor of l?
True
Let y = -95 + 179. Is 6 a factor of y?
True
Let p(r) = -r**2 + 9*r. Let d = 7 - -2. Let w be p(d). Suppose w = 5*s - 7 - 8. Is 3 a factor of s?
True
Suppose -7 - 2 = p + 5*i, -6 = 2*i. Is 20 a factor of (p + 87)*1/3?
False
Suppose -4*n + 3*n + 18 = 0. Let o = n - 0. Is o a multiple of 6?
True
Let p = 3 - -3. Is 4 a factor of p?
False
Let g(z) = z**3 - 7*z**2 + 7*z - 5. Let d be g(6). Let u be (2 - d)*(1 + 3). Suppose -3*x + 17 = -2*n, 0*n + u*n = -3*x + 11. Is 5 a factor of x?
True
Is 105 - 1 - (-4 - 0/1) a multiple of 27?
True
Let v(h) = -7*h + 1. Is v(-2) a multiple of 4?
False
Let c = 3 - 1. Let p be 9 - (c + -4)/(-2). Let w(h) = h**2 - 7*h + 7. Does 15 divide w(p)?
True
Let b(p) = -p**2 - 3*p - 4. Let g be b(-5). Let x = g + 20. Is ((-54)/(-4))/(3/x) a multiple of 20?
False
Suppose -5*z + 5*a + 515 = 0, 4*z = 5*z + 3*a - 111. Let f = -60 + z. Is 15 a factor of f?
True
Suppose l + 4*t = 6, 3*t - 30 = -5*l + 2*t. Suppose 5*w - 3*w + 14 = -4*m, 0 = -2*w + 4*m - l. Let d = 0 - w. Does 3 divide d?
False
Let k = 5 - 2. Suppose 0*b + 36 = k*b. Is b a multiple of 6?
True
Let f be ((-24)/30)/(1/(-5)). Suppose -f*t - 39 = -o - 123, o - 36 = -2*t. Suppose 3*g - t = 58. Does 14 divide g?
False
Let c be 3/(-6) + (-33)/(-6). Suppose -1 = d - c. Suppose 0 = 5*t - d*s - 38, -22 = -0*t - 2*t + 5*s. Is 5 a factor of t?
False
Let j be ((-3)/6)/((-2)/12). Suppose -2 = -j*a - 11. Is 26/((a + 4)*2) a multiple of 13?
True
Let f(q) = -q**3 + 20*q**2 + 46*q - 18. Is 2 a factor of f(22)?
True
Suppose -5*l + b = -0*l + 4, -2*l - 3*b = -12. Suppose -5*m + 220 = -l*m. Is m a multiple of 19?
False
Suppose 0 = -5*k + 5*b - 35, 19 = 3*k - 4*k + 5*b. Let n = k + 6. Is 17 a factor of 35 - ((-1 - n) + 4)?
True
Let x = -3 + 4. Let j be -1 + x - (2 + -2). Suppose 4*k - 2*f - 14 - 4 = j, 0 = -4*k - 4*f + 24. Does 5 divide k?
True
Suppose 0 = 3*p - 7 - 2. Suppose 76 = i + p*i. Is i a multiple of 16?
False
Suppose 273 = 7*x - 4*x. Is 13 a factor of x?
True
Let u(w) = 21*w**3 - 3*w**2 + 5*w - 4. Does 9 divide u(2)?
True
Let z be -6 - 2/(-1) - 0. Let f = z + 6. Suppose -5*u - 3*w = -f*u - 117, u + 2*w - 44 = 0. Is 12 a factor of u?
False
Let v = -2 - 4. Is 7 a factor of 14 - (-4)/(8/v)?
False
Let w = -78 - -181. Let c = -59 + w. Does 33 divide c?
False
Let g = 499 - 347. Is g a multiple of 19?
True
Let s be (4 - (9 - 3))*6. Is 16 a factor of (-574)/s - 9/(-54)?
True
Suppose 0 = -2*m + 4*m - 6. Is 3 a factor of m?
True
Let u = 6 - 3. Suppose -4*z = -u*q + 82, 2*q + q + 3*z - 54 = 0. Is 21 a factor of q?
False
Suppose 0 = 4*a + y - 220, -y + 0*y - 220 = -4*a. Is 11 a factor of a?
True
Let x(a) = 2*a**2 - 7*a + 1. Suppose 0*c = -c + 1. Let r(u) = 5*u**2 + u. Let v be r(c). Is x(v) a multiple of 11?
False
Let z(w) be the first derivative of w**3/3 + 5*w**2/2 - 7*w + 3. Is z(-8) a multiple of 17?
True
Let a(y) = 13*y**2 + 2*y + 1. Suppose 5*x + 25 = 5*n - 0, -5*n + 4*x = -25. Suppose -n*h - 12 + 5 = s, -h - 3*s - 7 = 0. Does 12 divide a(h)?
True
Suppose 2*o + 3*w = 47 + 4, -w - 81 = -4*o. Suppose t = -2*t + o. Suppose -4*c - 102 = -t*c. Is c a multiple of 13?
False
Suppose 2*q = 5*w + 25, 4*w = -2*q - q - 20. Suppose 5*z - 226 + 71 = q. Does 7 divide z?
False
Let u(p) = 2*p**2 - 13*p + 1. Let f be ((-84)/(-60))/((-2)/(-10)). Does 8 divide u(f)?
True
Let b be (-1)/(-5) + (-16)/5. Let q be ((-10)/(-6))/((-1)/b). Let k = q - 1. Is k a multiple of 4?
True
Suppose -306 = -5*h + 324. Is h a multiple of 18?
True
Let k(w) = -11*w + 9. Let p be k(-10). Suppose -4*f + p = 35. Does 11 divide (-6)/f + 149/7?
False
Let d = 966 + -690. Let k = d - 186. Suppose 7*r = 2*r + k. Is 9 a factor of r?
True
Let b = -2 - -4. Suppose 2*l + 0*l - 22 = 2*h, -b*h = -4*l + 42. Does 7 divide l?
False
Suppose 2*s - 14 = -6. Does 8 divide ((-6)/s)/((-6)/64)?
True
Suppose 3*n = -3*i + 324, -n - 300 = -3*i + 4*n. Does 21 divide i?
True
Let f = -630 - -1013. Does 13 divide f?
False
Suppose -14*u - 272 = -18*u. Is u a multiple of 17?
True
Suppose 0*y - 5*i - 17 = 4*y, 2*y - 14 = 2*i. Suppose t = 5*j + 29, -y*t + 1 + 29 = 4*j. Suppose 4*v + k = -2*k + t, 4*v - 5*k = 43. Is v a multiple of 4?
False
Suppose -y + 1 = 15. Let j(n) = -n**2 - 16*n + 12. Is 20 a factor of j(y)?
True
Let q(n) = n**2 - 6*n - 4. Let f(m) = m**3 - 2*m**2 + m - 4. Let j be f(3). Is q(j) a multiple of 12?
True
Suppose 8 = 4*o - 20. Let x = 28 - o. Is 12 a factor of x?
False
Is 12/10*20/(-8) - -46 a multiple of 5?
False
Let x be 10/(-55) - 46/(-11). Suppose 2*v = -x*w + 52, 5*v + w = -0*v + 148. Does 30 divide v?
True
Suppose -6*p + 62 = 14. Does 3 divide p?
False
Let s = 7 + -5. Let a(f) = -4*f - 6. Let u be a(-10). Suppose 2*x = u + s. Does 8 divide x?
False
Let q(n) = n**3 + 11*n**2 - 193 - 7*n + 194 - 6*n**2. Is q(-6) a multiple of 3?
False
Suppose -j + 16 = 2*o, -o - 7*j + 1 = -3*j. Is o a multiple of 6?
False
Suppose -3*y + 2*y + 13 = 0. Suppose -71 - y = 2*o. Let v = -30 - o. Is v a multiple of 12?
True
Suppose -j + 4*j - 143 = 4*f, -j - f + 43 = 0. Is j a multiple of 10?
False
Let d = -36 + 73. Let y(l) = l - 15. Let p be y(0). Let c = d + p. Is 11 a factor of c?
True
Let m = 1 + 0. Suppose -6*h + 2*f - 12 = -h, -h - m = f. Let g(a) = -11*a - 1. Is 17 a factor of g(h)?
False
Suppose y - 7 = -47. Let u = y + 84. Is 13 a factor of u?
False
Suppose 0*b + 36 = 4*b. Let w(x) = x**3 - 8*x**2 - 6*x - 3. Does 19 divide w(b)?
False
Let h(p) = p + 8. Let g(f) = 4*f**2 - 22*f - 7. Let l(t) = t**2 - 7*t - 2. Let b(d) = -2*g(d) + 7*l(d). Let r be b(-6). Is h(r) a multiple of 2?
True
Let z be 4 + -1 + -2*1. Let w(s) = 1 - s**3 - 2*s**3 + 16*s**3. Does 5 divide w(z)?
False
Is 2/15 + 838/15 a multiple of 28?
True
Let s(m) = -m**3 - 2*m**2 + 3*m + 2. Let h be s(-3). Is h/9 - (-158)/18 a multiple of 8?
False
Let l be 3 + 4 + -3 - 0. Suppose 5*h + 0*h - 84 = i, 4*i = l*h - 80. Is h a multiple of 15?
False
Let m(v) = -11*v**2 + 7*v - 10. Let o be m(7). Let g be o/(-6) + 8/12. Suppose -3*l + g = -0*l. Is 14 a factor of l?
True
Let r be 2/1 - (-3 + 1). Suppose -5*n + 0*n + b + 340 = 0, -68 = -n - r*b. Is 30 a factor of n?
False
Suppose -3*g = 5 + 37. Let n = 29 + g. Does 15 divide n?
True
Suppose 0*h = h - 7. Suppose -4 + h = -3*l. Let n = 22 + l. Does 7 divide n?
True
Is -1*13/((-13)/6) a multiple of 5?
False
Let o = 30 + -11. Suppose 2*k + 5 = o. Is k even?
False
Suppose -n - 3*j = n - 117, -5*j = n - 62. Suppose -5 + n = 4*m. Does 13 divide m?
True
Is ((-12)/(-10))/(20/50) - -107 a multiple of 11?
True
Let z(i) be the second derivative of -i**4/12 + i**3/2 - 3*i**2 - 3*i. Let k be z(5). Is 5 a factor of -4 + 2 + (-2 - k)?
False
Suppose 6*n - n = 400. Is n a multiple of 7?
False
Suppose 2*h - 3*y - 16 = 50, 5*h + 5*y - 190 = 0. Is h a multiple of 10?
False
Suppose -462 = -3*f - 4*f. Is 17 a factor of f?
False
Suppose 0 = -0*l + l - 6. Suppose -3*j = -l*j. Suppose 0 = -4*f - 4, j = -n + f - 0 + 13. Is n a multiple of 6?
True
Let p be (15*-1)/((-1)/1). Let y = p - -65. Suppose a + y = 5*a. Is a a multiple of 10?
True
Suppose -5*v + 8 - 35 = -u, -4*u + 5*v = -153. Is 7 a factor of (u/(-15))/((-14)/245)?
True
Let p(s) = -2*s - 4. Let j be p(-4). Suppose 0 = 2*i + j*r - 34, -i + 2*r + 42 = -r. Is 8 a factor of i?
False
Let r be 20 + 3/(-6)*4. Suppose -r = -j - j. Is j a multiple of 3?
True
Let p be ((-2 - -4) + -1)*15. Suppose -95 = -2*b - p. Is 10 a factor of b?
True
Suppose -3*o + 260 = 3*w + w, 3*o = -5*w + 262. Let h = o + -55. Is h a multiple of 5?
False
Let i = -126 - -65. Let w = i - -88. Does 9 divide w?
True
Let g = 371 - 99. Is g a multiple of 11?
False
Let m(x) = -12*x - 56. Let u(s) = -s - 5. Let h(t) = 6*m(t) - 68*u(t). Is 8 a factor of h(-3)?
True
Let t(d) = -8*d**3 + 2*d**2 + 4*d + 2. Let w(y) = -y**2 + 9*y - 2. Let k be w(9). Is t(k) a multiple of 18?
False
Let d(k) = 17*k**2 - 1. Let i(m) = -5*m + 2. Let u(w) = 4*w - 1. Let r(l) = -5*i(l) - 6*u(l). Let b be r(3). Is 10 a factor of d(b)?
False
Let o = 0 + 7. Let j = -9 + o. Let k(v) = v**2 - v + 1. Is 7 a factor of k(j)?
True
Is -3 + 3 + 83/(-3)*-3 a multiple of 26?
False
Sup