ue
Suppose 12*u + 490 = 14*u. Is 33 a factor of (1/(-5)*-6)/(2/u)?
False
Suppose -4*z = -4*k - 36, 0 = -0*k + 2*k + 10. Suppose -z*u + 355 = -433. Is 33 a factor of u?
False
Let b = 5 - 3. Let j be (-1)/((b/(-3))/2). Let c = 22 - j. Does 6 divide c?
False
Suppose -8 = -2*x, 4*u - 404 = -0*u - x. Is u a multiple of 6?
False
Let u(p) = -1 - p - 2*p + p**2 + 1 + 2. Let q be u(2). Let v(d) = 2*d + 66. Does 22 divide v(q)?
True
Suppose -5*x = c - 28, -4*c - 3*x + 27 = -0. Suppose z - c + 8 = 0. Is 9 a factor of 23 - 16/(1 + z)?
True
Suppose 12 = -2*l + 14. Let z(p) = 103*p**3 + p**2. Is z(l) a multiple of 13?
True
Let s be 78/36 - (-3)/(-18). Suppose 13 = -s*o + 73. Is 28 a factor of o?
False
Suppose 4*q = 2*q - 12. Let k(o) = o**3 - 3*o**2 - o + 2. Let x be k(3). Is (q/12)/(x/112) a multiple of 14?
True
Suppose 0 = -3*x + 50 + 136. Suppose -81 = -2*a + 5*u + 73, -5*u + x = a. Is 28 a factor of a?
False
Let h = 13 + -11. Let z = h - 5. Is z + 7 + -1 + 18 a multiple of 6?
False
Let m(o) = 81*o**3 - 2*o + 2. Is 11 a factor of m(1)?
False
Let x(a) = a**3 - 11*a**2 - 8*a - 33. Is x(16) a multiple of 40?
False
Suppose 5*o = i + 15176, 73*o - 4*i + 12160 = 77*o. Does 69 divide o?
True
Let u(i) = -i**3 - 5*i**2 - 3*i - 7. Let o be u(-5). Let x = -8 + o. Does 12 divide 8 - x - -1*4?
True
Does 16 divide ((-4)/(-8))/(1755/876 + -2)?
False
Suppose -2*q + 828 = -0*q. Let z be q/13 - 14/(-91). Let g = 52 - z. Does 10 divide g?
True
Is 75/(-6)*72/(-15) a multiple of 5?
True
Let z(r) = r + 5. Let b be z(-7). Let o be (b + 1)/((-4)/(-20)). Is 7 a factor of (-5 - (-4 - -6))*o?
True
Let p(n) = n**3 - 18*n**2 + 2*n - 23. Let g be p(18). Suppose 10*s - g*s = -60. Does 10 divide s?
True
Is 77 a factor of (6944/35 + 0)/(1/10)?
False
Let s(i) = 2*i**2 + i - 6. Let b be (-400)/(-120) - 1/((-6)/4). Is 5 a factor of s(b)?
True
Suppose 4*q - 1095 - 165 = 0. Is q a multiple of 23?
False
Is 61 a factor of (-3)/(-2 + -13) - 7620/(-25)?
True
Let o be (-1)/2*(-12 + 6). Suppose 17 + 70 = o*b. Is 25 a factor of b?
False
Suppose 36 = -q + 9. Let x = 10 - q. Does 14 divide x?
False
Let x(b) = -68*b**3 + 3*b**2 - b. Is x(-2) a multiple of 31?
True
Let w(k) = k**3 + 12*k**2 - k - 10. Let j be w(-12). Suppose -j*d + 73 = z, 3*z - 171 - 73 = -d. Suppose 0 = -5*o + z + 107. Is o a multiple of 19?
True
Let o(n) = 13*n + 18. Is o(6) a multiple of 12?
True
Is 203 + (8 - (-9 - -11)) a multiple of 10?
False
Suppose -8 + 53 = -5*n. Let a = 9 + n. Suppose -5*z = -a*z + 4*w - 26, -4*w - 4 = 0. Is z a multiple of 3?
True
Let v be (-35)/(-2)*(-540)/(-50). Suppose 5*w + 3*c - v = c, -3*w = 3*c - 117. Is w a multiple of 3?
False
Does 105 divide (-1 - 10/(-5))*5 - -2047?
False
Suppose 2*g = 4*k - 4748, -k + 1307 - 126 = g. Does 42 divide k?
False
Suppose 4*d - 2*u = 8, 0*u - 4 = 3*d - 4*u. Suppose d*k + 50 = 6*k - 2*f, 2*k = 3*f + 55. Does 5 divide k?
True
Suppose 68 - 938 = -5*v. Let m = v - 84. Is 15 a factor of m?
True
Let j(t) = 39*t + 2. Suppose -5*u = -3*u - 10. Suppose -d - u = -6*d. Is j(d) a multiple of 26?
False
Suppose 19*o - 61*o = -71400. Is o a multiple of 10?
True
Let n be (4/(-6))/(-7*(-6)/(-504)). Let h(f) be the third derivative of -f**6/120 + 7*f**5/60 + 11*f**4/24 - f**3/3 + f**2. Is 22 a factor of h(n)?
True
Suppose 425 = 2*s - 315. Is s a multiple of 10?
True
Let o = 21 + -33. Let u be (13 + -1)*4/o. Is (u - 10/(-3))*-54 a multiple of 13?
False
Suppose -55*b + 75*b - 17060 = 0. Does 16 divide b?
False
Suppose 19*r = 1555 + 2245. Is 21 a factor of r?
False
Let h(x) = 6*x. Let i be h(7). Let j = 36 - i. Is (156/5)/(j/(-20)) a multiple of 26?
True
Let b(k) = 19*k - 27. Let i(f) = f**2 - 2*f - 2. Let g be i(4). Does 27 divide b(g)?
False
Suppose 3*d = 6*p - 11*p + 16, -25 = -2*p + 5*d. Suppose -2*b + 2*m + 572 = 0, 3*b - p*m + 305 = 1169. Does 17 divide b?
False
Let q(f) = -f**2 - 38*f - 42. Is 6 a factor of q(-32)?
True
Suppose 12*o - 1632 = -12*o. Does 30 divide o?
False
Let n be (-1)/(1/36) + 3. Let r = 27 + n. Let g(l) = -l**3 - 2*l**2 + 7*l - 6. Does 34 divide g(r)?
False
Suppose 0*t - 5*q + 64 = -3*t, 0 = -4*t + 5*q - 82. Let u = t + 25. Suppose u = n - 5. Does 6 divide n?
True
Let i(l) = -20*l - 109. Does 5 divide i(-9)?
False
Suppose -4*b + p + 479 = 0, 4*b = -p - 0*p + 489. Does 6 divide b?
False
Does 21 divide ((-3)/(-6))/((-59337)/59346 + 1)?
True
Let q = 19 - -16. Let x(a) = a**3 - 3*a**2 - 6*a + 15. Let l be x(2). Let m = q + l. Is 7 a factor of m?
False
Suppose -37272 - 17512 = -16*g. Is 20 a factor of g?
False
Let k(a) = -a + 4. Let h be k(6). Let b = 3 + 3. Let o = b - h. Does 8 divide o?
True
Let y(u) = -47*u + 1. Suppose 5*s = -2*b - 4, 3*b - 4*s - 1 = -7. Let p be y(b). Let n = p + -57. Does 9 divide n?
False
Suppose -y = 22*y - 1955. Does 5 divide y?
True
Is 30 a factor of (149 - -1)*(12 - 10)?
True
Let b be (-18)/5 - 2/5. Let g be b + 6 - (3 - 2). Suppose -2*h + g = -11. Is h a multiple of 6?
True
Let n = 849 + -144. Is 47 a factor of n?
True
Suppose 0 = 3*j - 130 - 125. Suppose 9 = 138*d - 135*d. Suppose -g - d*g + 74 = 2*r, 5*r - j = -5*g. Does 13 divide g?
False
Suppose 5*i + 4875 = 3*a - 1587, 4*i = -3*a + 6435. Is 5 a factor of a?
False
Is 21 a factor of (-81)/(-2) - 3/(-2)?
True
Let o(c) = 6*c + 3. Let z be o(-2). Does 5 divide (-3)/z*9 - -28?
False
Let m(k) be the second derivative of 5*k**3/2 - 8*k**2 - 7*k. Is m(6) a multiple of 4?
False
Let k = 606 - 295. Is 11 a factor of k?
False
Let x = 83 + 63. Is x a multiple of 9?
False
Suppose -9*a + 10*a = -2*p + 1370, -a + 4 = 0. Is 18 a factor of p?
False
Does 10 divide (12 - (-4035)/(-5))*(-4)/10?
False
Let m be (-2)/3 + (-2)/6. Let x(i) be the third derivative of -19*i**4/24 + i**3/3 - 6*i**2 + 4. Is 3 a factor of x(m)?
True
Suppose -2*m - 1 = 3*m - 4*t, 23 = m + 5*t. Suppose -4*k - 136 = -c - 2*c, m*k = 3*c - 141. Let a = 89 - c. Is 12 a factor of a?
False
Let y = -6 - -25. Is ((-380)/y)/(1/(-2)) a multiple of 20?
True
Suppose 4*g - 28 = -i + 7*g, 4*g + 4 = 0. Is 5 a factor of ((-9)/6)/3*(5 - i)?
True
Let l be (-1)/((-3)/(-2202)*-1). Let c = -316 + l. Does 4 divide c/99 + 2/(-9)?
True
Let h(k) = -545*k + 6. Does 12 divide h(-1)?
False
Suppose -2*r - 2*r - 3 = -m, 4*r = -5*m + 15. Suppose 5*p = 9*d - 7*d - 128, -5*p = r. Does 9 divide d?
False
Let a(w) = 2*w**2 - 3*w - 14. Let l(y) = -5*y**2 + 8*y + 42. Let i(g) = 8*a(g) + 3*l(g). Is i(0) a multiple of 3?
False
Suppose 70 = -6*h - 542. Let u = h - -171. Is 7 a factor of u?
False
Suppose 7*s = 3*s + 12. Suppose 4*i = s*i + 31. Suppose k + 12 - i = 0. Does 9 divide k?
False
Let y = 15 + -44. Let h be 8*(-9)/(2 - -4 - 2). Let w = h - y. Does 4 divide w?
False
Is 4/((-172)/(-444) - 2/6) a multiple of 13?
False
Suppose 4*i + 12*z - 6780 = 7*z, -i = 4*z - 1706. Is i a multiple of 51?
False
Suppose -608 = -3*f - 2*x, -11*f + 9*f + 5*x = -380. Is 12 a factor of f?
False
Let p(j) = -j**3 - 9*j**2 - 9*j + 5. Let u(k) = 4*k**3 + 37*k**2 + 36*k - 21. Let x(f) = 9*p(f) + 2*u(f). Let n be x(-7). Is ((-5)/(-5))/(1/n) a multiple of 22?
True
Suppose 3*p - 20 + 5 = 0. Suppose 0 = 3*y + p*v - 4 - 49, -4 = -4*v. Let x(j) = j**2 - 14*j + 18. Is 25 a factor of x(y)?
True
Let h(v) = -v**2 - 20*v - 7. Does 6 divide h(-15)?
False
Let o(k) = 4*k**2 - 4*k + 20. Let r be o(6). Suppose -w + r = 4*w. Is 4 a factor of w?
True
Let i(c) = -23*c**2 + 2. Let q be i(2). Let z = -13 - q. Is z a multiple of 11?
True
Let w(s) = 4*s**2 + 14*s - 119. Does 10 divide w(9)?
False
Suppose -4675 = -3*m + j, -2500 = -3*m - j + 2185. Is m a multiple of 22?
False
Let j be 3/(-2 - (-50)/24). Suppose 0 = -2*g - x - 4*x + j, 4*x - 61 = -3*g. Is 3 a factor of g?
False
Let u = -2316 + 4319. Does 50 divide u?
False
Let r(v) = v**2 + 9*v + 7. Let u be r(-8). Let l(q) = -29*q + 1. Let n be l(u). Suppose -n = -g - 11. Is 4 a factor of g?
False
Let j(o) = -o**2 + 30 + 0 + 2 + 6*o + 21*o. Is 16 a factor of j(27)?
True
Does 26 divide ((-3)/(-2))/(9/936)?
True
Suppose 2772 = -50*k + 57*k. Does 36 divide k?
True
Let z = 47 - 15. Suppose 37*v = z*v + 160. Is 3 a factor of v?
False
Let o = -36 - -17. Let g = 132 - 104. Let h = g + o. Is h a multiple of 6?
False
Let k(z) = 2*z**2 - 4*z - 6. Let t(o) = 3*o**2 - 5*o - 7. Let n(b) = -4*k(b) + 3*t(b). Does 17 divide n(-7)?
False
Let l(m) = -m**2 + 15*m - 12. Let n be l(14