q(k) = 14*k + 2. Does 18 divide q(s)?
True
Let a(y) = -y**3 + 19*y**2 - y + 2. Let q be a(19). Let b = -6 - q. Is b a multiple of 3?
False
Let g = 22 + -12. Suppose -k = 4*d - 2*k - 61, -d + 2*k = -g. Does 22 divide ((-165)/(-4))/(6/d)?
True
Let u = 7 - 3. Suppose g = -u*i + 7, -5*i = -5*g - 38 - 2. Suppose -2*w - i*w + 2 = v, -22 = -v + 5*w. Is v a multiple of 4?
True
Let p be ((-18)/(-63))/(2/7). Let u(a) = 134*a + 6. Does 28 divide u(p)?
True
Let s(q) = -2*q - 34. Let u be s(-18). Let v(i) = 5*i**2 - 2. Does 2 divide v(u)?
True
Let f(o) = -o**2 - 12*o - 16. Let k be f(-10). Does 15 divide (18/k)/(3/30)?
True
Suppose 211 + 1043 = 11*l. Does 9 divide l?
False
Let o = -140 + 66. Let j = -46 - o. Does 28 divide j?
True
Let o = 234 + -25. Is o a multiple of 21?
False
Suppose -11*z - 279 + 1654 = 0. Does 10 divide z?
False
Let x(u) = -u - 3. Let m be x(-8). Suppose 4*g - 4*o = -8, 0*g = -g + 2*o - m. Is 15 a factor of -3 + (3 - -70)*g?
False
Let h = -24 - -44. Let i = h + -15. Suppose -i*o + 15 = -185. Does 10 divide o?
True
Suppose 4*m + m = -6*m. Suppose 2*c - 160 = 2*g, -2*g = -5*c - m*g + 385. Does 10 divide c?
False
Let c(b) = b + 24. Let m be c(-10). Let u(s) = -s**3 + 14*s**2 + 2*s - 16. Does 6 divide u(m)?
True
Suppose 5*g = -5*k + 40, -4*g - 6 = 2. Let w = k - 6. Suppose 0 = 5*j - 4*p - 14, -j = -p + w*p + 1. Is j a multiple of 2?
True
Suppose 2 + 18 = 4*v. Suppose 0 = 138*z - 133*z. Suppose j = v*d - 0 - 35, z = 5*d + 5*j - 5. Does 5 divide d?
False
Let i(n) = 11*n**2 + 12*n - 8. Is i(6) a multiple of 13?
False
Let r(s) = -s**3 + 14*s**2 - 9*s - 14. Is 37 a factor of r(10)?
True
Let s = 281 - 140. Let g = -95 + s. Is g a multiple of 23?
True
Is (730/40 + -4)*3*4 a multiple of 21?
False
Is (120/75)/(132/(-140) + 1) a multiple of 14?
True
Does 3 divide (-55)/22*88/(-10)?
False
Let s be 24/(-20)*(-5)/2. Suppose 0 = -5*d - s*r + 171, 4*d = -10*r + 5*r + 142. Is 9 a factor of d?
False
Let z be (2/4)/((-3)/(-24)). Suppose 4*l - z = 0, 3*w + l - 225 = 103. Does 21 divide w?
False
Let u(q) = 3*q**3 + 79*q**2 - 90*q + 30. Let g(x) = 2*x**3 + 53*x**2 - 60*x + 20. Let d(h) = -7*g(h) + 5*u(h). Does 27 divide d(-25)?
True
Let f = -66 + 102. Suppose 0 = -2*z - 3*a + f, 2*z - 85 = -3*z - 5*a. Is 14 a factor of z?
False
Is 38*(-4 + (-7 - 159/(-6))) even?
False
Let m = -65 + 54. Let b(z) = -16*z - 50. Is b(m) a multiple of 18?
True
Let l(t) = -t**3 - 17*t**2 + 4*t + 26. Let n be l(-19). Suppose -h - 4*h = -4*u - n, 249 = 2*h + 5*u. Let s = h + -77. Is s a multiple of 38?
False
Does 19 divide ((-456)/15)/(-4)*(4 + 456)?
True
Suppose -4*x + 4*b = -12, -18 + 44 = -3*x - 4*b. Is (-3 - (-3 + -129)) + x + -1 a multiple of 18?
True
Is (-2)/(-7) + 223652/238 a multiple of 20?
True
Let k(i) = -i**3 - 9*i**2 - 4*i + 13. Let r be k(-10). Suppose a + 2*a = -r. Let b = -23 - a. Does 12 divide b?
False
Let d(h) = 4*h**2 + 98*h + 28. Is d(-28) a multiple of 20?
True
Let b = 180 - 55. Let q = 51 + b. Is 16 a factor of q?
True
Let n = 44 + -19. Let u = n - 26. Let m(w) = 33*w**2 - 2*w + 1. Is m(u) a multiple of 7?
False
Let k = 234 + -155. Is k a multiple of 6?
False
Suppose -5*a = 4*n - 1 + 32, 4*a + 20 = -2*n. Let q be 22/n + (-1)/(-2). Is (2 + -467)/q - -4 a multiple of 15?
False
Suppose n - 8 = -5. Let r be 1 + 2 + 1*-1. Suppose 0 = -n*q + r*p - 5*p + 27, 0 = 2*p - 2. Does 8 divide q?
True
Let i = -2 - -36. Does 15 divide i?
False
Let a be (15/(-10))/(9/(-60)). Does 7 divide (18/a)/((-2)/(-50))?
False
Let c(l) = -l**2 - 12*l - 7. Suppose -b = -3*v + 6, 3*b - 2*v = 2*b - 4. Suppose 5*o + 12 + 23 = b. Does 14 divide c(o)?
True
Suppose 200 + 184 = 32*x. Is x a multiple of 3?
True
Is 548*26*5/40 a multiple of 33?
False
Suppose -5*p - 10 = 0, 0 = 5*t + 3*p - 4*p - 47. Let y = 19 - t. Is 3 a factor of y?
False
Let b(r) = -2*r**3 + 15*r**2 + 43*r + 10. Is b(-7) a multiple of 79?
False
Let r be (41 - -2)/(-1)*3. Let a(z) = -4*z**3 - 5*z**2 + 7. Let t be a(-4). Let c = t + r. Is c a multiple of 18?
True
Let p(l) = 15*l**2 + 45*l - 293. Does 48 divide p(8)?
False
Suppose 4*z = 5*z - 168. Suppose -5*l = -l - z. Is 21 a factor of l?
True
Suppose -5*f + a = 2 - 38, -3*f = -2*a - 16. Let d = f - 5. Suppose d*q + 0*q = 42. Is 4 a factor of q?
False
Suppose i = s - 8, 10 = -5*i - 5. Suppose 6*f = s*f + 50. Is 28 a factor of f?
False
Suppose 0 = 2*g - 4*g. Suppose g*w - w - 16 = -d, w - 14 = -5*d. Let l(c) = c**3 + 12*c**2 + 10*c + 2. Is l(w) a multiple of 7?
False
Let t(l) = l**2 - 9*l - 17. Let w(m) = -2*m**2 + 22*m + 42. Let h(o) = 12*t(o) + 5*w(o). Let f be h(-7). Suppose f = z + 4*z. Does 9 divide z?
True
Suppose 2*a + 4*t - 4 = 22, 4*a = -5*t + 37. Suppose -a*i - 8 = -7*i. Suppose -3 - 19 = -i*n. Does 3 divide n?
False
Let t = 112 + -260. Let q = -86 - t. Is q a multiple of 11?
False
Let s = 120 + -59. Let k = 147 - s. Is 4 a factor of k?
False
Let g be (-15)/(-6)*(-4)/(-5). Suppose g*q = -0 - 4. Is -2 - (-3 + q) - -19 a multiple of 7?
False
Is 4 a factor of (-6)/4*(-21584)/213?
True
Let v = -9 + 10. Suppose v = 3*w - 8. Suppose w*x - 6*x = -216. Does 18 divide x?
True
Suppose r - 26 = -3*v, 0*r - r - v + 26 = 0. Is 7/(35/r)*(1 - -24) a multiple of 23?
False
Let n = -8 - -26. Let q = 40 - n. Let k = q + -17. Does 5 divide k?
True
Suppose -5*s - 2*i = -3 - 17, 0 = 2*s - 3*i + 11. Suppose 12 = s*f - 8. Suppose f = o - d - 3, 2*d + 42 = 4*o. Is o a multiple of 4?
True
Let n(p) = p**3 + 15*p**2 + p - 91. Does 6 divide n(-13)?
True
Let t = -59 - -17. Is (-4)/(-14) + (6 - 408/t) a multiple of 16?
True
Let y = -296 - -456. Does 8 divide y?
True
Let f = -100 + 104. Suppose -2*t + 306 = 5*n, -n + 2*n - f*t = 70. Does 11 divide n?
False
Let o = -36 + 44. Suppose -6*j + o*j = 132. Does 11 divide j?
True
Let z(o) = -5 + 1 + 4 + 53*o - 2. Let x = -158 - -159. Does 14 divide z(x)?
False
Does 19 divide (-7 + 1397/5)/((-2)/(-5))?
False
Let k = 7 + -2. Suppose -2*r + 2*o = -148, -k*r + 0*o + o + 362 = 0. Suppose 0*w + r = 3*w. Is w a multiple of 4?
True
Suppose -5*g + 46 - 11 = 0. Does 2 divide g?
False
Let v = -79 - -74. Does 27 divide (2 + v/20)/(2/216)?
True
Suppose -19*g + 3910 = -14*g. Is 22 a factor of g?
False
Suppose 59*c - 64*c = 10. Is 12 a factor of (1 + c - -288)/1?
False
Let o(s) = 117*s**2 + 4*s + 27. Is 113 a factor of o(-5)?
False
Is 11/(440/(-12)) + 41606/20 a multiple of 10?
True
Let i(w) = -78*w + 165. Does 3 divide i(-3)?
True
Suppose -r - 5 = -5*k + 10, -4*k = -r - 11. Suppose 3*g = d + 3 - 44, -k*d + 2*g = -164. Suppose 6*f - d = 3*f - 2*s, -f + 5 = 5*s. Is 15 a factor of f?
True
Let p = -13 - -15. Suppose -p*d + 3 = -27. Is 12 a factor of d?
False
Let i(s) = 3*s**3 - 3*s**2 + 5*s. Suppose 6 = -6*q + 8*q. Is 4 a factor of i(q)?
False
Suppose d + 19 = 4*y, -4*y + 2*y = d - 11. Suppose -y*i - 36 = -201. Let c = i + -16. Is c a multiple of 6?
False
Let y be 1606/11*(-1)/(-2). Suppose 4*p + 3*m - y = -2*m, -p + 14 = -3*m. Is p a multiple of 16?
False
Let a(j) = -j**3 + j**2 + j + 10. Let v be a(0). Suppose 1536 = v*r - 4*r. Suppose -12*c + r = -4*c. Is 13 a factor of c?
False
Suppose 20 = -z + 6*z. Is (z + 48/(-10))*-35 a multiple of 14?
True
Let d = 416 - 297. Is d a multiple of 10?
False
Let x(r) = -296*r + 525. Is 21 a factor of x(-5)?
False
Let d(o) = 30*o**3 + 5*o**2 - 37*o + 5. Does 62 divide d(5)?
False
Let w = 2 + 2. Suppose o = 2*j - 6 - w, 3*o + 3 = -3*j. Suppose j*i - 36 = -2*a, 3*i - 80 = -4*a - i. Does 7 divide a?
False
Suppose 5*b - 101 = -2*l, l - 7*b = -4*b + 56. Does 2 divide l?
False
Suppose -16*t + 11*t + 10 = 0. Suppose -3*h = 3 - 0, 5*m - t*h = 42. Is 6 a factor of m?
False
Suppose 2*y - 2*a = -y + 191, 0 = -y + 3*a + 73. Suppose 0 = 3*b - 409 + y. Does 14 divide b?
False
Let u(f) = 9*f**3 + 3*f**2 + f + 1. Let l be u(3). Let n = l - 185. Is 10 a factor of n?
False
Let w(g) = 10*g - 21. Let i be w(6). Let d = i + -17. Does 10 divide d?
False
Suppose -1194 = 3*h - 396. Suppose -7*s = -3*s + 144. Is 15 a factor of h/(-18) + (-8)/s?
True
Let t(h) = 3*h**2 - 37*h - 52. Let n(c) = -8*c**2 + 112*c + 155. Let g(o) = -4*n(o) - 11*t(o). Is g(-32) a multiple of 19?
False
Suppose 5*h - 2*u = u + 2, -5*u = -5*h + 10. Let b(f) = -68*f - 4. Is 12 a factor of b(h)?
True
Let l = -330 + 1362. Is l a multiple of 8?
True
Let z be ((-10)/20)/(1/6). Is 6 a factor of (-12