-6*a + h. Does 16 divide a?
False
Does 23 divide (-709)/(-4) + (-42)/168?
False
Let w(o) = 67*o + 6 + 2 + o**2 - 77*o. Does 8 divide w(12)?
True
Suppose -68*j = -72*j + 8840. Is j a multiple of 9?
False
Let k(i) = 4*i**3 - 6*i**2 + 3*i - 3. Does 64 divide k(6)?
False
Let k(u) = 13*u + 24. Let x = -86 + 96. Is k(x) a multiple of 22?
True
Suppose -k - 961 = 6*i - 7*i, -3*k - 3849 = -4*i. Does 86 divide i?
False
Let d(t) = -22*t + 38. Let w be d(10). Let r = 259 + w. Is 13 a factor of r?
False
Let s(x) = 7*x**2 + 7*x + 6. Let p be s(-7). Suppose -5*i - p = -10*i. Is 15 a factor of i?
True
Let o be 1*(-466)/((-8)/4). Suppose -15*l + o = -52. Is l even?
False
Let g be -10*((-5)/(-5))/((-10)/(-308)). Is 9/45 + g/(-10) a multiple of 7?
False
Let t = -38 + 236. Does 6 divide t?
True
Let a(c) = -c**2 - 15*c + 4. Let t be a(-15). Suppose 0*r - 13 = -r - 5*l, 94 = t*r - l. Is 6 a factor of r?
False
Suppose -4*p - 4*t + 20 = 0, 2*p = 3*p - 3*t + 7. Suppose 41 = u - 3*k - 2*k, 0 = p*u + k - 126. Does 10 divide u?
False
Suppose 17 = -2*z - 7. Let k be 117/4 - 9/z. Is 8 a factor of k/(-75) - 232/(-5)?
False
Suppose 6*g = 9*g - 27. Let k be 64/3*(-6)/(-4). Suppose -g*a + 11*a = k. Is a a multiple of 10?
False
Suppose -3*x - 70 = g, -x = -2*g - 2*g - 332. Suppose 4*z + 2*t = -118, 2*z + 2*z - t + 127 = 0. Let n = z - g. Is 17 a factor of n?
True
Let n(x) = 38*x**2 - 13*x - 42. Is 14 a factor of n(-9)?
False
Let u(w) = -w**3 - 4*w**2 - 4*w - 10. Let x be u(-4). Let z = -6 + x. Suppose 3*c - s = 38, 0 = 5*c - z*c - 2*s - 64. Is c a multiple of 3?
True
Suppose -4*i + 40 = -4*k, i - 3*k = -0*k + 20. Suppose -24 = -o - 3*o + a, a + 30 = i*o. Is 2 a factor of o?
True
Let j = -261 + 357. Is 48 a factor of j?
True
Suppose -v - v + 78 = 0. Let l = v - 34. Suppose 0 = -7*r + l*r + 198. Does 21 divide r?
False
Let u(b) = 5*b**2 + 2*b - 4. Is u(3) a multiple of 44?
False
Let f = 43 + -40. Is 10 a factor of f*((-92)/(-12) - 1)?
True
Suppose -2*u = -4*w - 76, -u - 2*u = 2*w - 106. Let r = u - 31. Does 4 divide r?
False
Let m = -543 - -683. Is 13 a factor of m?
False
Does 11 divide (-8)/(-1)*(-87)/12*-2?
False
Let l(k) = k**3 + 14*k**2 - 4*k + 11. Let q be l(-14). Let u = 147 - q. Is 10 a factor of u?
True
Suppose -1524 = -18*c + 1428. Is c a multiple of 14?
False
Suppose -15*h + 302 = -1138. Suppose 3*v + 5 = -5*b + 22, 0 = -3*b - v + 11. Suppose -5*l = -5*j + 200, b*j - h = j - 5*l. Is 9 a factor of j?
False
Let n = -62 + 44. Let g be 2 + 0 - (-2 - n). Does 15 divide (-4)/g - (-1332)/42?
False
Suppose 27*h - 5589 = -243. Does 21 divide h?
False
Let j(y) = 3*y**2 - 9*y + 6. Let q be j(9). Let o = q - 96. Is o a multiple of 24?
True
Let l(u) be the first derivative of u**2 + 32*u + 1. Let c = -712 + 712. Is 16 a factor of l(c)?
True
Suppose -5*z - 3*z = 24. Is 8 a factor of -2*z/12*202 + 0?
False
Let a be (-1 + 0 + -1)*1/(-2). Is (-3 - -1*(24 + a)) + 2 a multiple of 3?
True
Is (-3)/(12/28)*116/(-4) a multiple of 6?
False
Let q = -266 - -154. Let a = q - -220. Does 27 divide a?
True
Suppose 193 + 71 = z. Let g = z + -164. Does 21 divide g?
False
Let y = -429 + 831. Suppose f - 5*i - 84 = -0*i, -2*i + y = 4*f. Is f a multiple of 11?
True
Let n be ((-3)/2)/(6/(-76)). Let y = n + -2. Is 5 a factor of y?
False
Let p(n) = n**3 - 6*n**2 - 2*n + 2. Let m be p(6). Let d(r) = -r**2 - 11*r - 7. Let b be d(m). Suppose 2*w + 18 = y, -34 = -b*y + 2*w - 0*w. Does 8 divide y?
True
Let r(v) = -v**3 - 6*v**2 + 3. Let n be r(-6). Let p = -13 - -35. Suppose n*x - 89 = p. Does 11 divide x?
False
Let n = -937 - -1938. Does 53 divide n?
False
Let x = 890 + -491. Is 51 a factor of x?
False
Suppose -16*v + 14*v + 4*n = -2052, v + 3*n = 1051. Does 74 divide v?
True
Let r = 9 + -8. Does 3 divide 96/6 + r + 0?
False
Let o be (-2 - -1)/((-1)/5). Let h = 7 - o. Suppose h*v - 3*v = -36. Is v a multiple of 12?
True
Suppose 0*f - 2*f = -v - 55, -f - 2*v + 40 = 0. Suppose -3*x - f = 2*x. Is 10 a factor of x/(-2) - 6 - -15?
False
Let n be ((-18)/(-30) - 134/(-10))*-1. Let d(z) = -7*z - 42. Is d(n) a multiple of 13?
False
Let h be 5/(-2 + (-3)/(-2)). Let u be (h/4)/((-11)/22). Suppose -q - 4*k = 2 + u, -3*k - 48 = -4*q. Is q a multiple of 2?
False
Let v = -303 - -674. Is v a multiple of 6?
False
Let t(x) = x**3 + 4*x**2 + 2*x + 9. Suppose -4*o = 4 - 0. Let h(q) = q**2 - q + 1. Let m(c) = o*t(c) + 3*h(c). Does 18 divide m(-4)?
False
Let y be -5*(4 - 0)/(-4). Let i = -1 + y. Suppose -w + i*w - 2*z - 88 = 0, 0 = 3*w + 3*z - 93. Is 30 a factor of w?
True
Suppose 0 = -4*x - 5*s + 21, -2*x + 0*s + 3*s - 17 = 0. Is 21 a factor of 171 - 1*(x + 4)?
True
Suppose -2*d = -5*u + 52, 3*d - 2*d = -3*u + 40. Let r = u - 8. Suppose 3*t + r = -5*f + 47, -f - 25 = -t. Is 7 a factor of t?
True
Let i(v) = -v**3 + 19*v**2 + 9*v - 38. Is i(19) a multiple of 3?
False
Suppose -v - x - 37 = 0, 5*x = -0*v - 2*v - 71. Let u = v - -43. Is 3 a factor of u?
False
Let q(d) = 6*d**2 - 4*d - 5. Let y be q(-5). Suppose -6*z + 1261 = 181. Suppose 0*w + w - z = -5*i, y = 5*i - 2*w. Is i a multiple of 6?
False
Let g = -16 - -17. Suppose 2*y = -2*k - 3*k + g, -2*k = 6. Suppose -52 = -6*i + y. Is i even?
True
Suppose 12*z - 15*z = -48. Suppose -z*v = -13*v - 195. Is v a multiple of 6?
False
Suppose 0 = 3*p + 4*g + 10 - 66, -3*p = 2*g - 52. Let k = p - -1. Suppose 4*w - 57 = -k. Does 5 divide w?
True
Let p(s) = -s. Let w be p(7). Let b(q) = -q - 3. Let j be b(w). Suppose -4*m + 9*m - 210 = -5*u, j*u - 5*m = 186. Is 22 a factor of u?
True
Does 41 divide 28/(-42) - (-11012)/12?
False
Suppose -5*c = -0*c + 50. Let b be 4/c - 632/(-5). Suppose 2*l + 0*h - 70 = -5*h, -4*l + b = 3*h. Is l a multiple of 15?
True
Let r be (2 - (-14)/8)/(69/(-184)). Does 37 divide 59/(-9 - r) + 1*-4?
False
Let f = 332 - 254. Does 26 divide f?
True
Let j(k) = -40*k**3 + 40*k**3 + 95*k**3 - k**2 + 1. Is j(1) a multiple of 46?
False
Suppose 8*w - 6*w - 8 = 0. Let y = 8 - w. Suppose z = -4*d + 28, -5*z = -d + y*d - 191. Is 9 a factor of z?
False
Let h(r) = r**2 - 7*r - 3. Let w be h(6). Let l = w + 13. Suppose 0 = n + l*n - 105. Is 7 a factor of n?
True
Let v be (0*(-1)/(-1))/(-2). Suppose 4*q - a + 3*a = 796, 2*q + 5*a - 390 = v. Does 13 divide q?
False
Suppose 2*s = 6 - 0. Suppose -z = 3*u + 2 - s, 3 = 4*u + 3*z. Suppose u = -x + 40 + 107. Does 30 divide x?
False
Suppose 8*z - 627 = -123. Let r be (2 - 0) + -50 + 3. Let n = z + r. Is n a multiple of 10?
False
Suppose 30*o - 45580 = 11750. Is o a multiple of 49?
True
Suppose -15*q - 31 = -16*q - 4*m, 31 = q + m. Does 3 divide q?
False
Let c(v) be the first derivative of -v**4/4 + 4*v**3 - 9*v**2 - 6*v - 42. Does 17 divide c(6)?
True
Is 14 a factor of 0 + 70/2 - (-1 - 1)?
False
Let f be (-9)/(3/6*-3). Suppose f*s = 221 + 835. Is 22 a factor of s?
True
Suppose g + 4*c + 0*c = 420, -2*g + 3*c + 873 = 0. Is g a multiple of 48?
True
Suppose -6*v = 41*v - 51183. Is 33 a factor of v?
True
Suppose 64 + 66 = 10*f. Is f a multiple of 3?
False
Let g(j) = 2*j**2 + 21*j - 55. Does 6 divide g(8)?
False
Let w = -12 - -32. Let f = 24 - w. Let v(x) = 23*x + 7. Is v(f) a multiple of 33?
True
Suppose 95*q = 100*q - 680. Is 4 a factor of q?
True
Let k(t) = -5*t**3 - 8*t**2 - 12. Let u(y) = -y**3 + y + 1. Let a(i) = -k(i) + 6*u(i). Let v be a(8). Is (-80)/(-24)*v/5 a multiple of 22?
True
Suppose 0 = -4*u - 2*c + 136, -3*c = 5*u - 0*c - 168. Is 2/(((-26)/u)/(-13)) a multiple of 9?
True
Let x be (-4)/(-12)*(-12)/(-2). Is x/3 + 16/12 - -288 a multiple of 29?
True
Let v = 663 + 270. Is v a multiple of 24?
False
Let l be 458 + 3*2/(-3). Suppose 4*s - 8*s = l. Let j = -16 - s. Is 25 a factor of j?
False
Let p(k) = -k**3 + 27*k**2 - 85*k + 7. Does 49 divide p(7)?
True
Let u(g) = -37*g + 21. Is u(0) a multiple of 7?
True
Let m = 1389 - 1101. Does 39 divide m?
False
Let s = -161 + 228. Suppose -9*w + 311 + s = 0. Is w a multiple of 14?
True
Let c(r) = 164*r - 84. Is 24 a factor of c(15)?
True
Suppose 0 = -38*x + 36*x + 16. Does 3 divide x?
False
Let d(t) = 2 - 3 + 7*t**3 - 3*t**2 - 3*t - 23*t**3. Is d(-1) a multiple of 9?
False
Let k(v) = -v**3 - 7*v**2 - 24*v + 9. Does 23 divide k(-11)?
False
Let j(h) = -2*h + 16. Let o be j(10). Does 13 divide o/6 - 3776/(-48)?
True
Suppose -v = 1 - 3. Suppose -1 = -q + v. Suppose 0 = q*t - 48 - 33. Is 9 a factor of t