2 - j. Let m be k(6). Suppose s - m = 0, 81 = 4*x - s + 2. Is x a multiple of 8?
False
Let z(d) = -d**3 - 16*d**2 + 16*d + 20. Is 5 a factor of z(-17)?
False
Let k = -6 + 10. Let r be (-77)/(-28) + 1/4. Suppose -4*b + b + 158 = -2*n, 0 = k*b + r*n - 188. Does 20 divide b?
False
Let h(m) = -m**3 + 10*m**2 - 9*m + 13. Suppose 15 + 12 = 3*f. Is h(f) a multiple of 4?
False
Is 15 a factor of (14 + -50)*(-30)/8?
True
Suppose -5*n - 4*u - 8 = -27, 0 = -5*n + 3*u + 47. Let k(v) = -v**2 + 12*v + 1. Is k(n) a multiple of 9?
True
Let l = -36 + 26. Let b = 0 - l. Is b a multiple of 7?
False
Suppose -p = 3*p. Let f be (1 - -2)/(6/40). Suppose p*b + f = 5*b. Is b a multiple of 2?
True
Suppose 2*h = -3*z - 3*h + 1, z + h - 1 = 0. Suppose -2 - 10 = -z*o. Does 6 divide o?
True
Let i be (123/(-6))/((-6)/12). Does 15 divide (i - -2)*-1*-1?
False
Let y = -64 - -91. Does 3 divide y?
True
Is (-3)/(-6) - 126/(-4) a multiple of 6?
False
Suppose -648 + 240 = -6*u. Does 14 divide u?
False
Let r(x) = -2*x + 14. Does 13 divide r(-6)?
True
Let t = -61 + 117. Does 15 divide t?
False
Let i(n) = n**2 - 8*n + 1. Is i(9) a multiple of 5?
True
Suppose 0 = -b + t - 0*t - 2, -3*t = -b - 4. Let i be b/(2/(-10)) - 1. Suppose -s - 3*u = 8, -2*s = 3*u - 3 + i. Does 3 divide s?
False
Suppose -2*z - 3*j = -476, 11*z = 7*z - 2*j + 936. Is 58 a factor of z?
True
Let y be 18/(-20)*4*5. Let x = 0 - y. Let k = x + -10. Is k a multiple of 8?
True
Let t(a) = -a + 3. Let d be t(3). Suppose d*m - 160 = -5*m. Does 9 divide m?
False
Let k be 145/(-3) - 4/(-12). Let n = -18 - k. Is 10 a factor of n?
True
Let c(g) = -65*g + 8. Is 13 a factor of c(-1)?
False
Suppose 2*b + 4*j = -10, 0 = -5*j + 3 - 18. Suppose c = -c + 40. Let l = c - b. Is 19 a factor of l?
True
Let b = 15 + -5. Let j be (-5 - (1 - 4))*-2. Suppose 0 = -a - 2*q + 28, -b = -j*q - 2. Does 12 divide a?
True
Let f be -1 + (-3 - -3 - 20). Is 5 a factor of (-309)/f - 2/(-7)?
True
Let o be 5/((-10)/(-6)) - 0. Suppose o*g - 43 = 2. Is g a multiple of 10?
False
Let z = -55 + 82. Is z a multiple of 9?
True
Let l = 74 + -53. Does 7 divide l?
True
Let u(h) = -h**3 - 9*h**2 + 2. Let x be u(-9). Let p be 1*x/(-4)*12. Is 16 a factor of (-164)/p + (-2)/6?
False
Let d(p) = p**2 - 4*p + 3. Let f be d(5). Suppose -f = -2*s + 6. Suppose 0 = -c + 3*h - s*h + 27, -97 = -4*c - 5*h. Does 10 divide c?
False
Is (-1 - 106/(-6))*(1 + 5) a multiple of 10?
True
Let c(u) = -2 + 3*u**3 + 12 - 4*u**3 + u. Suppose -v = 4*v. Does 5 divide c(v)?
True
Suppose 5*s = -14 + 54. Suppose -4*z - 240 = -s*z. Does 15 divide z?
True
Let g(p) be the second derivative of 4*p**5/5 - p**4/6 + p**3/6 + p. Is g(1) a multiple of 9?
False
Suppose 0 = 5*i + 4*x + 5, 4*i + 6*x - 3*x + 3 = 0. Suppose m - 5 = 0, 0*q + 5*q = 4*m + 45. Suppose j - q = -i. Is 10 a factor of j?
True
Let v be (3 - 21)*3*-1. Suppose -108 = -2*b + x, b - 2*b - 3*x = -v. Is b a multiple of 18?
True
Suppose 3*j - 2*v - 6 = j, 2*j - 12 = 5*v. Is 6 a factor of (-1)/(j/(-3 + -15))?
True
Suppose -3*k - z + 16 = 0, -k = 3*z + 2*z - 24. Suppose -149 = -k*q + 83. Is 29 a factor of q?
True
Suppose 3*r - 2*r - 14 = -5*d, 5*d = 3*r + 18. Suppose 3*a + a = 3*k + 311, 3*a - k - 237 = 0. Suppose d*m + 29 = a. Does 17 divide m?
True
Suppose 5*a - 142 = -17. Is a a multiple of 6?
False
Let p = -9 - -21. Is 4 a factor of (-25)/(-2)*p/10?
False
Let c(r) = r + 3. Let j be c(0). Let s be (2/j)/(7/(-105)). Is (-6)/s - 231/(-15) a multiple of 8?
True
Suppose -7*g + 122 = -18. Is 10 a factor of g?
True
Let c = -37 + 70. Let z = c + -13. Is z a multiple of 14?
False
Suppose -167*n + 164*n = -24. Is n a multiple of 8?
True
Let z = -48 - -111. Is z a multiple of 29?
False
Let a be (-9)/(-1 - 2/(-3)). Let o = a - 16. Is o a multiple of 11?
True
Let n be (-2)/((10/(-9))/5). Suppose -5*o = -n - 6. Is 5 a factor of 3 + 12 + -2 - o?
True
Let r = 450 - 309. Does 10 divide r?
False
Suppose -34 = 2*w - 8. Does 9 divide (-2)/w - (-1047)/39?
True
Let o = 12 + -7. Is 46/6 + o/15 a multiple of 4?
True
Suppose -20 = 5*m + 5, 98 = r - 4*m. Suppose 3*x - 6*x = -549. Suppose 3*h = x - r. Is 13 a factor of h?
False
Let o(j) be the third derivative of -j**4/3 - j**3/6 + 3*j**2. Suppose -5*f + 2*f = 3. Is o(f) a multiple of 4?
False
Let q(u) = 2*u**2 - 2*u. Does 6 divide q(4)?
True
Let h = 219 + -40. Is h a multiple of 26?
False
Suppose 4*p + 10 - 167 = 3*g, -2*p - 187 = 3*g. Let n = -38 - g. Is n a multiple of 7?
True
Let f be (-3*1)/(12/(-176)). Is -2 + 3 + 1 + f a multiple of 13?
False
Suppose -2*q - 67 = -o, 2*q - 6*q - 4*o - 152 = 0. Is 36 a factor of (-2475)/q + (-2)/(-7)?
False
Suppose -2*q - q - 93 = 0. Let u = 54 + q. Is 23 a factor of u?
True
Suppose l = 6*l - 390. Is l a multiple of 21?
False
Suppose 0 = n - 2*n + 2. Suppose -b - 61 = -5*r + 3*b, -n*r - 4*b = -2. Suppose -4*m = -r*m + 100. Is 10 a factor of m?
True
Is 15 a factor of 102 - (-2 - 5/(-5))?
False
Suppose -2*p = -4*q - 317 - 153, -2*q = -4*p + 928. Let u = p + -163. Is u a multiple of 18?
False
Let x(i) = -3*i + 1. Does 8 divide x(-5)?
True
Let h(w) = -w**3 + 28*w**2 - 25*w + 48. Is h(27) a multiple of 17?
True
Suppose -39 - 9 = -2*i. Does 12 divide i?
True
Let u(a) = -8*a**3 + a**2 + 2. Let h be u(-3). Suppose -4*v + 5*f + 209 = 0, 4*v + 26 = -3*f + h. Is 16 a factor of v?
False
Suppose -514 = -10*x + 326. Does 12 divide x?
True
Let l = -119 - -161. Is l a multiple of 7?
True
Is 7 a factor of (-2 + 2/(0 + 2))*-16?
False
Let y be 18/(-2)*(-11)/3. Is 2*(y/2 - 0) a multiple of 11?
True
Let o(w) be the first derivative of -w**3/3 - 3*w**2 + 3*w + 2. Let n(x) = x**3 - 5. Let c be n(0). Is 6 a factor of o(c)?
False
Is ((-70)/(-15))/((-3)/(-45)) a multiple of 14?
True
Let c = -49 + -33. Let p = c + 130. Does 24 divide p?
True
Let p be 1*2/4*0. Let z(w) = 2*w**2 + p*w + w + 9*w - 9. Is z(-8) a multiple of 15?
False
Suppose 7 + 9 = 4*v. Is (-3)/v - 55/(-4) a multiple of 13?
True
Suppose 6*o = 102 - 30. Is o a multiple of 12?
True
Is 6 a factor of 18 - (16/4 - 5)?
False
Suppose -7*d + 3*d + 2 = 2*x, 0 = -3*x - d + 13. Suppose x*o + 0*o - 112 = -4*m, -4*o + m = -98. Does 10 divide o?
False
Suppose y - 3 = 4*y. Is 8 a factor of (-32)/(0 + y + 0)?
True
Let i(s) = -s**2 + s + 26. Is 26 a factor of i(0)?
True
Suppose 5*v - 10 - 5 = 0. Suppose 0 = 5*y - a - 179, v*y - 4*a + 6*a - 97 = 0. Is y a multiple of 19?
False
Let u = 129 + -87. Is 10 a factor of (18/(-21))/((-2)/u)?
False
Suppose 3*t - 109 - 59 = 0. Is t a multiple of 4?
True
Let c(x) = x**2 + 9*x + 6. Let o be c(-9). Suppose l = 1 + o. Is 7 a factor of l?
True
Let y be (-250)/(-6) + (-4)/(-12). Let a = y + -9. Let o = a + -23. Is 10 a factor of o?
True
Suppose -v + 2*b = 6*b + 9, -4*v - 2*b = 8. Is 6 a factor of ((-9)/(-6))/(v/(-4))?
True
Is -27*(-1 - -2)/(-3) a multiple of 8?
False
Suppose p - 3*x = 170, -6 = 4*x - x. Does 25 divide p?
False
Suppose 66 = 5*v + 4*o - 13, -55 = -4*v + 5*o. Suppose 3*g + v = -2*g. Let i(y) = -5*y - 1. Does 13 divide i(g)?
False
Let s be 2/(14/10 + -1). Suppose -7 - 8 = 3*f, -35 = 5*k + s*f. Does 2 divide k/6 + (-13)/(-3)?
True
Suppose 211 = t + 79. Suppose 0 = -2*o + 6*o - t. Does 11 divide o?
True
Suppose 0*t = -3*t + 6. Let i be 2*((-9)/(-12))/((-15)/50). Is (-88)/i - t/(-5) a multiple of 8?
False
Let w(c) = 4*c - 4. Let d be w(4). Let b be (1*-3)/(9/d). Is 332/12 - b/(-6) a multiple of 15?
False
Let c(b) = -23*b - 1. Is c(-2) a multiple of 10?
False
Let k = 2 + 1. Suppose -2 = -k*m + 31. Is m a multiple of 3?
False
Let n be (3 - 2)*(-1416)/4. Is 8 a factor of n/(-15) - (-4)/10?
True
Suppose -w + 4*n + 34 - 7 = 0, 0 = -2*w + 2*n + 36. Suppose -3*t = -4*s - t + 2, w = 3*t. Is 4 a factor of (4 + 2)/(s/4)?
True
Let g = -9 + 17. Is g a multiple of 3?
False
Suppose -10*u = -14*u + 164. Let m = -25 + u. Is m a multiple of 7?
False
Let g be 360/(-16)*4/(-5). Let c = 44 - g. Is 26 a factor of c?
True
Let m(i) be the third derivative of 0 + 2*i**2 + 1/120*i**6 + 0*i + i**3 + 1/60*i**5 + 1/24*i**4. Does 3 divide m(0)?
True
Let b = 151 - 91. Suppose z + z - 2*a = b, 5*a = -3*z + 58. Does 13 divide z?
True
Let y(t) = t**2 - 5*t - 1. Let s be y(6). Suppose -s*u = 3*k - k - 49, 4*k - 43 = u. Is k a multiple of 6?
True
Let l = -3 + -1. Is 7 a factor of ((-5)/l)/(2/24)?
False
Let s(d) = d**3 + d**2 + d + 23. Suppose 2*j 