5) + -2)*-3?
False
Suppose -2*j - 161 = -3*w - 3*j, 0 = w - 2*j - 63. Is w a multiple of 17?
False
Let x(m) = m - 4. Suppose -19 = -4*d + 5. Let n be x(d). Suppose -n*p + 32 = -0*p. Does 8 divide p?
True
Let c(u) = 5*u**3 + u**2 - 2*u + 1. Let t be c(1). Suppose 5*l + 0*l = 5*o - 155, -5*o - t*l + 205 = 0. Is o a multiple of 18?
True
Suppose -b - 16 = 3*b. Let s = -8 - b. Does 11 divide (s - -1)/(-3) - -25?
False
Let d be ((-6)/(-10))/(1/5). Suppose -67 = -d*m + 50. Is 13 a factor of m?
True
Suppose -6*n = -3*w - 2*n + 72, -4*w = 3*n - 121. Does 11 divide 0/(-3) + w*1?
False
Let x be -10*(-1)/(6/3). Suppose x*y + 7 = -138. Let i = y - -44. Does 4 divide i?
False
Suppose -7*b = -3*b - 24. Let p(w) = -w**2 + 10*w - 9. Let o be p(b). Let t = 40 - o. Does 19 divide t?
False
Suppose 10*x = 5*x. Suppose c - 35 = -2*t - 3*t, -3*c - 2*t + 53 = x. Is c a multiple of 6?
False
Suppose 110 = -2*u + 4*u. Let w(a) = -a**2 + 4*a + 2. Let d be w(6). Is 10 a factor of (16/d)/(-4)*u?
False
Let x = 33 + -3. Suppose -2*b = 5*k - 249, 113 = 3*k - 2*b - x. Is k a multiple of 13?
False
Suppose -3*w = 3*q - w - 29, 0 = 2*q - w - 17. Let c = q + -3. Is c a multiple of 6?
True
Let w be (-9)/6*(-2 - 0). Let i be 3/1*2/w. Suppose 4*d = 3*f - f + 52, 2*d = -i*f + 32. Is d a multiple of 7?
True
Suppose -c = -3 - 2. Suppose 4*s + 2*p + 2*p = 108, -c*p = 3*s - 71. Let v = s - -16. Does 17 divide v?
False
Let m(i) = 5*i**2 + 3 + 0*i**3 + 7*i**3 + 5*i - 6*i**3. Let n be m(-4). Is -4*((-33)/4 - n) a multiple of 10?
False
Let x(n) = n**3 - 10*n**2 + 20*n - 2. Does 3 divide x(8)?
True
Let v(u) = u**2 - 2*u + 2. Let n be v(3). Suppose -n*p = 5*y - 0*p - 45, 2*y - 28 = -4*p. Does 19 divide 118/y - (-4)/8?
False
Let b = 10 - 3. Suppose g = 2*c - 18, 4*g + b + 1 = 0. Does 8 divide c?
True
Let h = -10 + 35. Suppose h = -5*i, 260 = 3*m - 7*i + 3*i. Does 20 divide m?
True
Let o be (11/3)/(3/9). Is 4 a factor of (10/4)/(o/22)?
False
Let z(m) = -2*m**3 + 17*m**2 - 2*m + 2. Is z(8) a multiple of 4?
False
Let b(n) = 16*n - 32. Is b(8) a multiple of 16?
True
Suppose -z - 4*j = -4 - 5, -2*z + 2*j + 8 = 0. Suppose -z*s - 64 + 169 = 0. Is s a multiple of 6?
False
Let y = -51 - -75. Is 8 a factor of y?
True
Let h(p) = 0*p - 13*p + 0*p**2 - 2 - p**2. Does 11 divide h(-9)?
False
Let m(j) = j**2 + j + 5. Let n(o) = -o**2 + 2*o. Let v be n(2). Does 5 divide m(v)?
True
Suppose 0 = -p - 4*p + 300. Is 20 a factor of p?
True
Let d(q) = -q**2 + 13*q - 13. Let n(m) = -m**2 - 9*m - 4. Let r be 8/12 + (-46)/6. Let y be n(r). Does 12 divide d(y)?
False
Let l be -6*(1 + (-11)/3). Let q be -12*(1 + 27/(-12)). Let v = l + q. Is v a multiple of 16?
False
Suppose 135 = z + 4*f, 2*z + 3*z = -5*f + 750. Does 15 divide z?
False
Is (-18)/4*(10 - 14)*2 a multiple of 9?
True
Suppose 2*d = -l + 27, 3 = l + 4*d - 8*d. Is l a multiple of 8?
False
Suppose 0 = q - s - s + 7, 5*s = 5*q + 10. Let f be q/(-5) + (-106)/(-10). Let w(z) = -z**3 + 9*z**2 + 15*z - 14. Is 22 a factor of w(f)?
False
Does 33 divide 58102/165 - (-2)/(-15)?
False
Let c = 6 + 17. Is c a multiple of 23?
True
Suppose 7*c - 4*c - 27 = 0. Does 14 divide 2*6*21/c?
True
Suppose -q + 4 = -0, 3*g - 3*q = -21. Let o be (-1)/3 - 40/g. Suppose -5*u + o = -4*u. Is 11 a factor of u?
False
Let i(y) = 165*y**2 - y + 1. Let n be i(1). Suppose -7*r + n = -2*r. Is r a multiple of 11?
True
Let l be 3/(-6) + 7/(-2). Let k(c) = -c**2 + 2 + 4*c + 0*c**2 + 4*c**2. Is k(l) a multiple of 17?
True
Let o be 48/27 - 4/(-18). Suppose o*b - 71 = 3*s + 2*s, b = 5*s + 48. Suppose 4*w - 215 = -b. Is w a multiple of 25?
False
Let p = 112 - 68. Suppose 4*y = -4*b + p, -b - 2*y = -4*y - 20. Let q = b - -6. Is q a multiple of 8?
False
Let s be -3 + (5 - 3) - -25. Suppose 0*o + 4*o = s. Is o even?
True
Let c be (1 - -2)*(-1)/(-1). Suppose -q + 48 = c*q. Is q a multiple of 12?
True
Suppose -5*g = -149 - 1061. Suppose 62 - g = -3*m. Is 20 a factor of m?
True
Let w(h) = h**3 - 4*h**2 + h - 3. Let b be w(4). Let v be b/(1 + 34/(-33)). Let s = 59 + v. Is 10 a factor of s?
False
Is 3 a factor of 1*(-2)/6*6 - -19?
False
Let t = 3 + 0. Let q(s) = 2*s + 2*s + 0 - 4 + t*s. Is 7 a factor of q(3)?
False
Let b = 155 - 111. Suppose 5*u - 22 = -4*t + b, -76 = -5*t - 3*u. Does 11 divide t?
False
Suppose 41 = -0*b + b. Is b a multiple of 15?
False
Suppose -17*r + 2 = -16*r. Let d(k) = 43*k**3 + k**2 - k + 1. Let z be d(1). Suppose 0*s + r*s = z. Does 11 divide s?
True
Let d(v) = v**3 + 11*v**2 + 10*v - 4. Is d(-8) a multiple of 18?
True
Let v(x) = x**2 + 7*x + 11. Is 24 a factor of v(-11)?
False
Let u(g) = g**3 + 6*g**2 + 6*g + 4. Is u(-4) a multiple of 5?
False
Let i be (-4 + 4 - 3) + 117. Suppose z = -2*z, 2*q = -3*z + i. Does 19 divide q?
True
Suppose -2*t + 4*t = 90. Suppose -3*l = 2*l + t. Is 3/l*0 + 15 a multiple of 5?
True
Let q be (-422)/(-8) + (-15)/20. Suppose k - q = -8. Is 9 a factor of k?
False
Let f = -21 - -89. Is 14 a factor of f?
False
Let c(b) = b**3 - 5*b**2 - 4*b + 5. Let l be c(5). Let s(z) = -70*z. Let j be s(1). Is (j/l)/((-1)/(-3)) a multiple of 14?
True
Let a = -67 + 115. Suppose -4*z + a = 12. Is z a multiple of 3?
True
Suppose -2*x + 3 = -s - 5, 10 = 4*x + s. Suppose -7 = -2*h - 0*v + v, x*v + 3 = 0. Suppose 120 = 5*i + 5*q, -h*q + 23 = 2*i - 23. Is i a multiple of 10?
False
Let j(p) = 10*p**2 - 6*p + 5. Let n be j(-5). Suppose 4*w - n = 87. Suppose -5*z + z = 5*y - w, 5*y = -5*z + 120. Is 22 a factor of z?
False
Let z(g) = -g**3 - 9*g**2 - 7. Let m(t) = t**2 + 1. Let y(s) = -2*m(s) - z(s). Is 5 a factor of y(-7)?
True
Let j(a) = -a**3 - 9*a**2 - 9*a - 5. Let o be j(-8). Suppose -o*m - 2*m + 2*d + 41 = 0, -3*m + 15 = 2*d. Is 2 a factor of m?
False
Let v(k) = -6*k - 9. Suppose h - 7 = 4*x - 3, 5*x = -3*h + 29. Suppose -24 = -5*b + h*b. Is v(b) a multiple of 16?
False
Suppose -2*h + 1 = 3*r, 0*h = -2*h + r - 19. Let j = -4 - h. Is j a multiple of 3?
True
Suppose -3*g - s + 689 = 0, 11*g - 8*g - 5*s - 695 = 0. Is g a multiple of 16?
False
Suppose -4*r = -9*r - 15. Let u(c) = -2*c**2 - 4. Let w(n) = n**2 + 1. Let o(f) = u(f) + 3*w(f). Does 4 divide o(r)?
True
Let h = 17 + 84. Does 25 divide h?
False
Let m(k) = k**3 + 6*k**2 + k + 6. Let w(y) = y**3 + 5*y**2 + 6*y + 2. Let i be w(-4). Let o be m(i). Suppose -4*j + j + 30 = o. Is j a multiple of 5?
True
Suppose 3*a + p = 4 + 2, p + 2 = a. Is 16 a factor of (-2)/a - (-44 - 5)?
True
Suppose -4*p + 2*p = -20. Does 10 divide p?
True
Let n(h) = 2*h**2 - 4*h. Let u be n(5). Let z = -16 + u. Does 14 divide z?
True
Suppose 0 = 6*i - 14 - 112. Does 7 divide i?
True
Does 15 divide 159/2*(-22)/(-33)?
False
Suppose 3*l = n - 41, -4*n - 2*l + 72 = -64. Suppose -4*y + 84 = k, -4*k + n = 4*y - 37. Does 13 divide y?
False
Let l(v) = -78*v. Is l(-1) a multiple of 17?
False
Suppose -5*l - 126 = -486. Is l a multiple of 6?
True
Suppose 0 = 2*v + 40 - 6. Let j = 3 - v. Let r = j + -12. Is 4 a factor of r?
True
Let t = 1 + 2. Is -1 + t/(9/42) a multiple of 13?
True
Let p = -1 + 1. Let u be (p/(-1))/(1 + 0). Suppose -3*j + 5*r + 11 = u, -2*r + 4*r - 10 = 0. Is 11 a factor of j?
False
Suppose 0 = 3*a - 3*o + 6, o + 2*o - 18 = -3*a. Suppose -a*f - 16 = -56. Is f a multiple of 19?
False
Let v = -257 - -559. Suppose 0 = 5*h + 4*i - v, -3*i = -5*h + i + 278. Suppose h = 3*s + 5*a, 5*s - 4*a - 35 = 37. Is s a multiple of 12?
False
Let u(d) = 10*d**3 + 1. Is 11 a factor of u(1)?
True
Let o = 10 + -13. Let d = 2 - o. Is d a multiple of 2?
False
Let j(n) = -n**3 + 7*n**2 - 4*n - 2. Let r be j(5). Let i(q) = -q + 4. Let c be i(0). Let t = r - c. Does 13 divide t?
False
Is 3 a factor of -5 - -8 - (-8)/1?
False
Suppose 4*h + 0*h + 5*v - 239 = 0, -4*v = 20. Is 10 a factor of h?
False
Let p = -22 - -16. Let t(a) = a**3 + 8*a**2 + 8*a. Let g be t(p). Let l = g - 14. Does 7 divide l?
False
Let p = -15 + 56. Suppose 4*j - 23 = p. Does 11 divide j?
False
Let f(y) = 0*y + 1 - 5*y - 4 - y**2 - 5*y. Is f(-7) a multiple of 6?
True
Let d(z) = 42*z - 1. Let s be d(2). Let l = -10 + s. Let w = l - 36. Does 25 divide w?
False
Let x be 3/(-3)*(-7 - -2). Suppose 6 = x*b - 4. Suppose -b*n - 13 = -t + n, -3*t = 2*n - 94. Does 10 divide t?
False
Suppose 117 = j - 5*x - 24, -2*x + 624 = 5*j. Is j a multiple of 9?
True
Let a(o) = o - 4. Let f be a(3). Let x be 0/(-1) + (4 - f). Suppose 