-12)/9)*-3. Does 2 divide k*(-2)/4*2?
True
Let w be 6/18*(-3)/(-1). Let g be 3/12 - w/4. Suppose -2*f + 105 - 3 = g. Is 22 a factor of f?
False
Suppose 6*w = 49*w - 774. Is 6 a factor of w?
True
Let a(w) = -w**2 - 12*w - 11. Suppose 5*g - 4 = g, 4 = -3*y + g. Let c(h) = -9*h**2 + 2*h + 1. Let n be c(y). Does 3 divide a(n)?
True
Let d(k) = -6*k - 10. Let z be d(-3). Suppose 0 = -3*q + 5*n + 389 + z, -4*q - 5*n = -541. Is q a multiple of 24?
False
Let r = -485 - -2109. Is r a multiple of 28?
True
Suppose -9*n + 0*n = -198. Is 4 a factor of (1 + 7)/(-21 + n)?
True
Let o(k) = k**2 + 5*k + 5. Let b be o(-5). Suppose -b*r = -6*r + 5. Suppose -r*y - 5 - 126 = -3*t, -t + 40 = 2*y. Is t a multiple of 10?
False
Suppose 4*t + 5*a = 10, 0*t - 14 = -2*t + 2*a. Suppose -5*y = -3*x - 607 - 4, -4*y - t*x + 474 = 0. Does 25 divide y?
False
Let b = -20 - -25. Suppose -v + w + 6 = -6, b*w = 4*v - 45. Does 2 divide v?
False
Suppose 824 = 2*j - 3*x, 0*j + x = -5*j + 2094. Is 18 a factor of j?
False
Let x(q) be the first derivative of q**4/4 - 4*q**3/3 + 3*q**2/2 - 4. Does 10 divide x(6)?
True
Let s(v) = 289*v**2 - 11*v - 8. Is s(-2) a multiple of 15?
True
Suppose 18*o = 4329 - 1593. Is 8 a factor of o?
True
Let k be (2 + (-28)/12)*-27. Suppose 326 = 5*q - k. Suppose -1 = l - q. Does 22 divide l?
True
Suppose 2504 + 584 = 8*g. Is 6 a factor of g?
False
Let u(c) = c**3 - 3*c**2 + c. Let h be u(3). Suppose 2*k + 3*j - 207 = -k, 0 = h*j. Is 23 a factor of k?
True
Suppose 5*i + 2*m - 5324 = 0, 10*m - 6*m + 5312 = 5*i. Does 76 divide i?
True
Suppose 2*d + 10 - 4 = 0. Does 10 divide (6/12)/(d/(-498)) - -2?
False
Let v be 0/1 + 50/2. Suppose 3*n + 6*p - 31 = p, -v = -5*p. Is 11 a factor of 6 + -4 - (-47 - n)?
False
Suppose -3*d + p = -509, -11*d - 335 = -13*d + 5*p. Does 16 divide d?
False
Let n(b) = -5*b + 25. Let j be n(-5). Suppose -94 - j = -p. Is p a multiple of 12?
True
Does 7 divide 2/(-14) - (-30)/210 - -772?
False
Suppose 7*g - 11*g + 1112 = 0. Does 19 divide g?
False
Suppose 239 = 2*w + 223. Let n(a) be the third derivative of a**5/60 - a**4/8 + 7*a**3/3 + a**2. Is 16 a factor of n(w)?
False
Let d = -5 - -7. Suppose -b + 160 - 27 = d*v, -5*b + 325 = 5*v. Is 17 a factor of v?
True
Let s(b) = -14*b - 132. Does 23 divide s(-29)?
False
Let k be -153 + (-4)/(-18) + (-125)/(-45). Let l = -38 - k. Is l a multiple of 28?
True
Is (-30)/4*1848/(-110) a multiple of 8?
False
Let f(o) = -o**2 + 9*o - 15. Let h be f(6). Let c = 22 + -10. Is 2 a factor of 39*(h - 32/c)?
False
Suppose 12 = 7*p - 3*p. Let b(j) = j**3 - 3*j**2 + j. Let y be b(3). Suppose 0 = p*g + y*u - 147, 3*g + 8*u - 137 = 3*u. Is 14 a factor of g?
False
Let o(c) = 4*c**2 + c - 1. Let p be o(1). Let q(w) = -w**3 - 4*w**2 - 2*w. Let i be q(-4). Suppose -v + 3*t = -16, 0 = -p*v - 4*t + 8 + i. Is v a multiple of 2?
False
Suppose 4 = 4*f, 4*z + 0*z - 5*f = 279. Suppose -z = -4*p + 221. Is p a multiple of 11?
False
Let i(l) be the first derivative of 29*l**2/2 + 5*l - 10. Is i(2) a multiple of 16?
False
Let s(n) = -32*n - 116. Does 18 divide s(-25)?
True
Suppose c - 5 + 2 = 0. Is (-1 + c + -3)/(3/(-231)) a multiple of 7?
True
Let u be -5 + 8 + 0 + -1 + -34. Does 9 divide (u/(-12) + 2)*3?
False
Let o = -61 - -530. Is o a multiple of 74?
False
Suppose -4*j - 9 = -21. Suppose 0 = -j*r - 15, 3*z = -0*z - 4*r + 274. Is z a multiple of 23?
False
Let q be -25 - (-1 + 0) - 2. Let l = q - -34. Let z(x) = -x**2 + 15*x + 9. Is z(l) a multiple of 13?
True
Let z(l) = 7*l**2 - 7*l + 12. Let y(q) = -q**2 - q. Let i(n) = -6*y(n) - z(n). Is 9 a factor of i(10)?
True
Suppose -3*y + m - 31 = -4*m, -5*y + 3*m - 25 = 0. Let t be -5*((-13)/(-5) + y). Let f(q) = -3*q**3 - 2*q**2 - 2*q - 5. Is 16 a factor of f(t)?
True
Let y(q) = -q + 16. Let n be y(4). Suppose -102 = -r - 5*v, 4*v + 0*v - n = 0. Suppose -4*x = -5*f - r, f + 18 = x - 3. Is x a multiple of 12?
False
Is 900/20*2/(-5)*-2 a multiple of 12?
True
Let w(r) = 2*r**2 + 7*r - 4. Let i be w(-7). Suppose -4*a + 6*b = 2*b - 88, -3*a - 4*b = -i. Let k = -9 + a. Is k a multiple of 5?
True
Let h = 1179 - 1087. Is 4 a factor of h?
True
Let c = 34 + -19. Suppose -c*t = -11*t - 336. Is 12 a factor of t?
True
Suppose -13 = -5*n + 7. Suppose -n*l = g + 4*g - 52, 3*l = -5*g + 54. Does 12 divide (-34)/(-3) - (-8)/g?
True
Let i(d) = 418*d**3 - 7*d**2 + 11*d - 6. Does 5 divide i(1)?
False
Let x = -2071 - -3072. Is 83 a factor of x?
False
Let q(y) = -112*y**3 + 3*y**2 - 5*y + 6. Let n(x) = -x**3 - x**2 + x - 1. Let s(a) = 5*n(a) + q(a). Does 31 divide s(-1)?
False
Let y(p) = 10*p**2 + 2*p. Let i be y(-1). Let w(u) = -8 - 3 + u**3 - 2*u**3 + i*u**2 + 3*u. Is 3 a factor of w(8)?
False
Let z(r) = -r - 13. Let j(o) = o. Let y(s) = -6*j(s) - z(s). Is y(0) even?
False
Suppose -2*b - 178 = -180. Let f(j) = 16*j**3 + 3*j**2 - 4*j + 2. Is 17 a factor of f(b)?
True
Suppose -238*f - 3326 = -240*f - 2*g, 2*f - g = 3326. Is 38 a factor of f?
False
Suppose 0 = 9*q - 12*q + 6. Suppose -3*i + 268 = 4*y, -2*y + 108 = -3*i - q*i. Is y a multiple of 11?
False
Suppose 22*i + 4*i = 41912. Is 31 a factor of i?
True
Let j be -1 + 22/4 + 60/(-40). Suppose j*k = -k + 600. Is 15 a factor of k?
True
Suppose 5*k = 2*w + 23, -5 = -2*w - 3. Let t(a) = 7*a - 10. Is 8 a factor of t(k)?
False
Is (-4 + -24)/(2/(-13)) a multiple of 7?
True
Let n = 63 - 83. Let j(x) = x**2 + 16*x - 12. Is j(n) a multiple of 34?
True
Let m(w) = -w**3 + 5*w**2 + 7. Suppose k - 25 = -4*k. Let a be m(k). Suppose -8 = -g + a. Is g a multiple of 15?
True
Let g = 71 - 60. Suppose -2*j + 43 = c, -6*j + g*j = 4*c - 107. Is c a multiple of 11?
True
Let v = 1181 + -468. Does 63 divide v?
False
Let h be 16/3*99/(-12). Is 13 a factor of 365/4 - (-11)/h?
True
Suppose 27*a = -0*a + 62694. Does 27 divide a?
True
Let v = 540 - 443. Does 32 divide v?
False
Let y(a) = -a**3 - a - 11*a**3 - 1 - a + a. Let l be y(-1). Let f = -5 + l. Is f a multiple of 7?
True
Let t(x) = -3*x**2 + 3*x. Let j be t(2). Let y be j + (-8)/(-2) - -6. Suppose 3*u - 3*l - 27 = 0, 0*u = -y*u + l + 36. Is 7 a factor of u?
False
Suppose -x = -3*x. Suppose -2*a - 4*l + 92 = x, -2*l - 12 - 54 = -a. Does 14 divide a?
True
Suppose -4*c = 5*w - 58, -3 = -w + 3*c + 1. Let z be (w/8)/(10/40). Suppose 5*f - 207 = 3*n - 0*n, f + z*n - 47 = 0. Does 14 divide f?
True
Suppose -48 = 11*x - 9*x. Does 9 divide (-2168)/x - (-2)/(-6)?
True
Suppose 16*i - 6864 = 3*i. Is i a multiple of 44?
True
Suppose -2*v + 8 = -0*v. Suppose -150 = -9*n + v*n + 4*s, 4*n = -2*s + 120. Is (0 + -3)*(-530)/n a multiple of 18?
False
Let i be (-1)/((-4)/24*1). Suppose 7*x = -x + 24. Suppose 5 = -g, i*s - g = x*s + 185. Is s a multiple of 12?
True
Let s = 66 - 2. Suppose -4 = -3*l + 5. Suppose -l*o = -2*o - 1, 5*o - s = -y. Is 15 a factor of y?
False
Let g be 3/(2 + (-5)/4). Suppose h = g*h. Suppose h*l + 34 = l. Is l a multiple of 17?
True
Let m(t) = 65*t**2 + 21*t - 4. Does 23 divide m(3)?
True
Let b(a) = 43*a**2 - 7*a - 24. Does 24 divide b(-4)?
False
Let d = 12 + -4. Suppose 3*w = -12, -5*w - 27 = 3*y - 1. Let s = d + y. Does 3 divide s?
True
Suppose 0 = 3*d - 2*q - 18, 31 = 6*d - 2*d - 5*q. Suppose 0 = 5*i - d - 56. Is 12 a factor of i?
True
Let x = -1111 + 3957. Is 27 a factor of x?
False
Let b(z) = -z**3 + 3*z**2 - 3*z - 1. Let j be b(2). Is 88 - (-2)/(j + 1)*-2 a multiple of 16?
False
Let p = -54 - -37. Let k = p + 12. Does 11 divide (66/10)/((-1)/k)?
True
Suppose -22*i + 17*i = -40. Suppose 2*o + 630 = i*o. Is 22 a factor of o?
False
Let n be (-42)/8 + 2/8. Let m(r) = -r**3 - 3*r**2 + 8. Is 11 a factor of m(n)?
False
Suppose -2144 = 4*h - 4*r, 0 = -r + 5*r - 16. Let f = -376 - h. Let d = f - 111. Is 23 a factor of d?
False
Suppose 2*r + 0*f = -4*f + 514, 5*r - 2*f - 1225 = 0. Is 19 a factor of r?
True
Suppose -10*s + s + 45 = 0. Is s even?
False
Let t = 14 - 20. Let d(s) = -s**3 - 6*s**2 + s + 1. Let m(r) = -r**3 - 6*r**2 + r. Let w(v) = 2*d(v) - 3*m(v). Does 8 divide w(t)?
True
Let b be 24/(-9)*(-9)/12. Suppose -7*j + b*j + 150 = 0. Is 3 a factor of j?
True
Let q be (-18)/(-10) - 1/(-5). Suppose -4*n + 5*n = -q. Does 29 divide 107/(-4)*2*n?
False
Does 23 divide 15933/63 + 12/126?
True
Suppose -3*z - 5*i + 4013 = 0, -23*z + 25*z - i = 2658. Is z a multiple of 81?
False
Suppose 4*z = -10 + 38. Suppose -3*v + z = -38. Suppo