218. Does 14 divide q?
True
Let g(b) = -b**2 + 9*b - 6. Let s be g(4). Let x = s + -18. Is (x/6)/(2/(-9)) a multiple of 2?
False
Suppose a = -3 + 6. Is 7 a factor of 3*(-1 - (-94)/a)?
True
Suppose 5*b - 98 = d + 36, -5*b + 139 = 4*d. Suppose 5*t = b - 12. Suppose 0 = 2*a - t + 7, -x + a = -37. Is 7 a factor of x?
True
Let r(x) = 2*x**2 - 6*x + 4. Let b be 1 + -2 + (-8)/2. Is 14 a factor of r(b)?
True
Suppose -4*x + 3*i = -8*x - 406, -x - 95 = 4*i. Let m(t) = t**2 + t + 159. Let f be m(0). Let y = x + f. Is y a multiple of 23?
False
Suppose 3*d = 949 + 83. Does 8 divide d?
True
Suppose 2*p - 424 - 89 = -5*y, -3*y - 273 = -p. Is 10 a factor of p?
False
Let r = 66 + -37. Suppose 365 = 4*c + r. Does 28 divide c?
True
Does 28 divide 107/(-214) + 11/4*106?
False
Let u(o) = -241*o + 119*o + 113*o. Is 26 a factor of u(-26)?
True
Suppose -8*n + 4*n = 0. Let r(m) = m**2 + 5. Let f be r(n). Suppose f - 15 = -2*o. Does 3 divide o?
False
Let x(q) = 41*q**2 - 2*q + 2. Is x(-1) a multiple of 3?
True
Let s be (0 + -2)/((-20)/4 + 4). Suppose 4*m + 5*a - 92 = -0*m, s*m - 48 = -3*a. Is 8 a factor of m?
False
Suppose -a - 5401 = -4*o, 2*o - 3*a + 448 - 3161 = 0. Is o a multiple of 19?
True
Suppose -2*z - 225 = -t + 25, 5*t - 1245 = 5*z. Is 31 a factor of t?
True
Suppose 19*w - 17110 = -10*w. Does 59 divide w?
True
Let y(w) = -2*w**3 + 9*w**2 + 12*w + 5. Is 10 a factor of y(-5)?
True
Let b be (-73)/(0 + (-1)/(-3)). Let v = -84 - b. Is 45 a factor of v?
True
Let r be (-7)/(((-6)/(-87))/(-2) + 0). Suppose -r*w - 10 = -204*w. Is w even?
True
Suppose 6*i - 523 = 887. Does 13 divide i?
False
Let o be 2*(-1)/4*-10. Suppose 8*g = 44 - 4. Suppose -o*v - w + 524 = 0, g*w - 31 - 405 = -4*v. Does 25 divide v?
False
Let f be 57/21 - (-2)/7. Suppose d = o + f*o + 20, -5*o = 5*d. Suppose 3*j - d*q + q = 135, 0 = q. Does 16 divide j?
False
Suppose 6*d = 4*d - 5*o + 70, 34 = d + 3*o. Does 5 divide d?
True
Let q = 10 - 11. Let z(c) = 7*c. Let g be z(q). Is 4 a factor of g/(21/(-6)) - -9?
False
Let p be (62/6 + -4)*3. Let j = p - 15. Is 5 a factor of j/(-3)*(-2 - 4)?
False
Let o(t) = 3*t**3 - t**2 + 2*t + 43. Let c(x) = -7*x**3 + 2*x**2 - 5*x - 87. Let n(s) = 2*c(s) + 5*o(s). Is 7 a factor of n(0)?
False
Let u(d) = 13*d**2 - 5*d - 42. Is u(-7) a multiple of 10?
True
Let b be 324/(-24)*4/3. Let y(n) = n + 20. Is y(b) even?
True
Does 19 divide (-5)/30 + 238322/84?
False
Let w = 7 + -112. Is 11 a factor of 0 - (44/10)/(21/w)?
True
Let a be 113 + (-3 + 2)*1. Suppose -14*o + 6*o + a = 0. Does 3 divide o?
False
Suppose -4*z + 1027 = -5*n - 2613, -3628 = -4*z + 2*n. Suppose 3*y - z = -2*y. Is 17 a factor of y?
False
Suppose 0 = 4*z - 2*z. Suppose z*q - 105 = -5*q. Let v = 67 - q. Is v a multiple of 24?
False
Let l(i) = -i + 15. Let g be l(13). Let k be g*((-20)/(-8) + 0). Suppose -4*a + 92 = -3*u, 0 = -9*a + 4*a - k*u + 80. Is a a multiple of 4?
True
Let m = 6688 + -4549. Is 69 a factor of m?
True
Suppose -24068 + 3236 = -48*n. Is 31 a factor of n?
True
Let g be (-56)/21*(-6)/4. Suppose a = 48 - g. Is 11 a factor of a?
True
Suppose 4*k - 625 = 5*m, 5*m = 6*k - k - 780. Suppose -45 - k = -5*r. Suppose -31 = -4*g - g + 2*y, 5*g - r = 5*y. Does 3 divide g?
False
Suppose -1 = -5*i - 16. Let s(a) = -2*a - 2. Let f be s(i). Is 2 a factor of (-2)/(-4)*3*f?
True
Suppose -158*y - 432 = -162*y. Does 18 divide y?
True
Suppose 0 = -d + 79. Let m = -43 + d. Suppose -m = -2*p - 2*s, 0 = -0*p + 3*p + 2*s - 56. Does 10 divide p?
True
Suppose 22*x = 20*x + 1030. Is x a multiple of 48?
False
Let g = -446 - -994. Does 11 divide g?
False
Let m be 240/2*(-12)/(-15). Does 7 divide m*2/18*3?
False
Suppose 2748 + 2334 = 7*n. Is 6 a factor of n?
True
Let w(s) = s**2 + 1. Let h(m) = -4 - 3*m - m**2 + 0 + 5 + 2*m**3 + 3*m**3. Let n(k) = h(k) + w(k). Is n(2) a multiple of 16?
False
Suppose -20*f + 17*f + 6 = 0. Let l(p) = 68*p - 3. Is 34 a factor of l(f)?
False
Suppose -3*t = -9, -4*u - u = 3*t - 24. Suppose 8*h = u*h + 10. Suppose -5*y - 4*s + 84 = -3*s, y = h*s + 19. Is y a multiple of 17?
True
Let t(u) = 3*u + 6. Let a be t(7). Let f be 2*(-3)/6*(-3 + -10). Let w = a - f. Is 8 a factor of w?
False
Suppose 12 + 4 = 4*n. Let v(j) = j**2 - 2*j + 5. Let w be v(n). Suppose -1 + w = 4*z. Is 2 a factor of z?
False
Let k be (-5)/2*4/(-2). Suppose k*v + 2*z = z - 63, 0 = -v - 2*z - 18. Let y = v - -20. Does 4 divide y?
True
Let k = 15 + -18. Let f be 0/(3 + k + -2). Suppose m + 2 - 1 = f, -1 = -q - 4*m. Is q even?
False
Suppose 2*c - 3*g - 31 = 0, -4*c - 2*g = -68 - 18. Suppose -c + 1 = -4*r + 3*n, 0 = -2*r + n + 9. Suppose l + 51 = r*l + 3*q, -2*q + 16 = l. Does 9 divide l?
True
Let u(z) = 2*z + 26. Let l be u(-12). Suppose 4*b + l*s = 546, -b + 221 = -2*s + 77. Does 23 divide b?
True
Suppose 3*k - 4 = -7. Let m be 6 + -12 + k*3. Let z = m + 39. Is 15 a factor of z?
True
Let i = 109 + -43. Is 7 a factor of i?
False
Let m = -37 - -40. Suppose 3*k = 2*n + 105, 0 = 6*k - m*k + 3*n - 105. Does 3 divide k?
False
Let h = -184 + 348. Does 12 divide h?
False
Is (-8)/(-5)*10*(-81)/(-6) a multiple of 24?
True
Suppose 8*w = w + 56. Let a = w + 28. Is a a multiple of 12?
True
Let u(o) = -o**2 + 6*o + 2. Let d be u(6). Suppose -5*x + 5*z - z - 27 = 0, -39 = 5*x + d*z. Let t(a) = -5*a - 5. Is 10 a factor of t(x)?
True
Suppose h - 4174 = -3*r, 71*r = -2*h + 74*r + 8384. Is h a multiple of 26?
True
Let z(q) = q**2 + 27*q - 33*q - 7 + 15*q. Is 8 a factor of z(-12)?
False
Let m(g) = -g**2 - 2*g + 12. Let y be m(-5). Let v = 6 + y. Let c = 48 + v. Is 8 a factor of c?
False
Let i = -1 + 3. Let f be 0/i + (-4 - -4). Suppose -3*x + 0*x + 27 = f. Is 3 a factor of x?
True
Let t = 32 + -60. Let u = t + 104. Is 38 a factor of (u/10)/((-10)/(-50))?
True
Let p(c) = 17*c**3 - 4*c + 5*c**2 + 0*c**2 - 16*c**3 - 5. Let t be p(-6). Let n = 4 - t. Does 7 divide n?
True
Let p = 670 - -485. Does 55 divide p?
True
Suppose -4*k + 7*k - 6 = 0. Suppose k*b = -a + 78, -5*a + 2*b = 6*b - 360. Is a a multiple of 11?
False
Let n = 8 - 4. Is 24 a factor of 146 - n/(-8)*-4?
True
Is ((-3)/2)/((-81)/61344) a multiple of 8?
True
Let g be 1729/(-3) + (-11)/(-33). Let m be (3/6)/((-6)/g). Suppose 2*s = -3*c + 5*c - 12, 0 = -5*c - s + m. Does 3 divide c?
True
Is (1716/(-18))/(8/(-12)) + 4 a multiple of 7?
True
Suppose -3*z = -3*h + 3, 5*h - 3*z + 7 = 16. Let q be 2/1 + (h - -2). Let f(k) = 3*k - 7. Is f(q) a multiple of 13?
False
Let n(j) = -6*j**3 - 2*j**2 - 3*j - 2. Let z be n(-1). Suppose -q - q + 4*y = -48, -2*y - 128 = -z*q. Is 13 a factor of q?
True
Let a(q) = 2*q**2 - 29*q - 312. Is 22 a factor of a(-18)?
True
Let r = -309 - -559. Is 36 a factor of r?
False
Suppose 5*x - 678 - 1142 = 0. Is x a multiple of 26?
True
Let i be ((-12)/(-10))/((-18)/(-45)). Is 10 a factor of (48/32)/(i/100)?
True
Let h(s) = s**3 + 3*s**2 + 2. Let g be h(-3). Let d = g + -7. Let u = 13 - d. Is u a multiple of 6?
True
Suppose -2*v + 2*j = -5*v + 279, -2*v = 5*j - 175. Suppose -5*b - r - v = 0, -5*b + 3*r - 126 = -11. Does 10 divide (b/3)/(4/(-18))?
True
Suppose -11*x = -4153 - 709. Is 13 a factor of x?
True
Suppose 4*c + q - 2102 = 7015, -2*q + 9114 = 4*c. Is 20 a factor of c?
True
Let r(o) = -o**2 + 5*o + 3. Let t be r(5). Let k = 11 - t. Suppose k*c = 6*c + 140. Does 12 divide c?
False
Let o be (32/6)/(2/12). Let w be (-5)/15 - (-49)/21 - 2. Is o + (-3)/(-6)*w a multiple of 16?
True
Let w = 113 - 75. Let h = w + -27. Suppose -67 + h = -2*y. Is y a multiple of 28?
True
Let b(l) = 47*l**2 + 49*l + 349. Does 12 divide b(-11)?
False
Let i(m) = -16*m - 238. Does 66 divide i(-30)?
False
Suppose -5*q - 156 = -n, -168 = 10*q - 5*q + 2*n. Let o(a) = a**2 + 29*a - 57. Is o(q) a multiple of 5?
False
Let l be (-184)/10*75/(-30). Let j = -6 - l. Is 12 a factor of j/(-10)*(21 + -11)?
False
Suppose 7 = 3*b + 31. Let m(d) = 5*d**3 - 28*d**2 + 48*d + 11. Let n(i) = i**3 - 7*i**2 + 12*i + 3. Let l(r) = 2*m(r) - 9*n(r). Is l(b) a multiple of 6?
False
Suppose 2*o - 365 = -3*t, -3*o - o = -4*t + 480. Is 11 a factor of t?
True
Let m = 25 + -8. Suppose -3*o - m - 34 = -3*k, -89 = -4*k - 3*o. Does 5 divide k?
True
Suppose -15 = 12*f + 9. Does 30 divide -4 + 4/(f - 132/(-64))?
True
Suppose -k + 5014 = t, 5*k + 9*t - 6*t = 25072. Is 21 a factor of k?
False
Let f be 1*-10*(-264)/(-16). Let z = f + 326. Does 2