ue
Let y(w) = -w**3 + 16*w**2 + 3*w + 46. Is 8 a factor of y(14)?
True
Let z(x) = -164*x - 26. Let q be z(-10). Suppose 14*p - 1690 = q. Is p a multiple of 17?
False
Does 17 divide 12/8*-17*-4?
True
Suppose 0 = -x + 3943 + 179. Is x a multiple of 32?
False
Is 6 a factor of 4/32 + (-2492)/(-32)?
True
Let o(z) = -6*z - 2. Let v be o(-1). Suppose 3*n = 0, -w + 2*n = v*n - 108. Is 11 a factor of w?
False
Let w(q) be the second derivative of 5*q**3/6 + q**2 + q. Let i(m) = -4*m**2 + 10*m + 1. Let o be i(2). Is w(o) a multiple of 9?
True
Let k = 15 - 17. Let j be (-3)/k - 234/12. Is 2 a factor of (-14)/(-6) + j/(-27)?
False
Suppose -2*h - h + 4*s - 2448 = 0, 2*h + 4*s = -1652. Is h/(-8)*4/5 a multiple of 41?
True
Suppose -w - 3*l = -6*l - 25, l + 83 = 5*w. Suppose -2*c - 4*h = -18, -2*c + 0*h = 3*h - w. Let y(a) = -a**3 + 6*a**2 - a + 1. Does 7 divide y(c)?
True
Is 10 a factor of (-10*1098/24)/(6/(-8))?
True
Let u = 19 + -23. Let s be ((-22)/8 + 2)*u. Suppose s*l + 106 = 5*m, -4*m + 28 = l - 50. Is 12 a factor of m?
False
Suppose -2 = i, m - 2*m - 10 = 3*i. Let b be 51/12 - (-1)/m. Suppose 4*g + b*q + q = 115, -10 = 2*q. Is g a multiple of 16?
False
Suppose -4*t + 21*q = 22*q - 1951, -5*t + 2440 = q. Does 10 divide t?
False
Suppose 4 = -5*p + 19. Suppose -t = 2, t - p*t = 2*c - 56. Is c a multiple of 15?
True
Let x(t) = -2*t**3 - 21*t**2 - 8*t - 28. Is x(-14) a multiple of 16?
True
Let q(x) = -x**2 + 14*x - 15. Let m be q(10). Let l = m - 19. Is 45/30*164/l a multiple of 20?
False
Let m(q) = -4*q + 4. Let y be m(-6). Suppose -4*r + 4*g - 12 = 0, 4*g = 4*r - g + 13. Is ((-3)/r)/(6/y) a multiple of 7?
True
Let f(b) = 2*b - 29. Let n be f(15). Is 2/(-8)*n - (-5373)/36 a multiple of 27?
False
Let k be (-35)/(-20) + (-2)/(-8). Suppose -k*s + 4*i = -106, 0*s - 217 = -5*s - 2*i. Does 20 divide s?
False
Let r be (-13 - -16)*(-1)/(-3). Let h be (-3 + r)*3/(-2). Suppose -3*a - 2*a = -y + 41, -h*a = 2*y - 95. Is 23 a factor of y?
True
Suppose o = -24*o + 23100. Is o a multiple of 44?
True
Let r(j) = -1. Let f(b) = -9*b - 10. Let l(w) = f(w) - 5*r(w). Let t be l(-5). Suppose -t = 5*o - 160. Is o a multiple of 12?
True
Suppose 35*x - 114660 = -17*x. Does 21 divide x?
True
Let g(i) = 2*i**2 + 16*i - 12. Let r be g(10). Suppose 36 = 4*p - r. Suppose -p = -5*b + 2*b. Is 9 a factor of b?
False
Suppose p = -16 + 4. Let u = 8 + p. Let f = u + 23. Does 15 divide f?
False
Suppose m - 4 = 0, -2*m - 2*m + 30 = 2*j. Suppose 0 = -q - 5*o + 61, 8*q - 2*o = j*q + 26. Is 2 a factor of q?
True
Suppose -z + 3374 = -2*d, 6743 = 4*z - 2*z - 5*d. Is 94 a factor of z?
True
Let a(y) = y**2 + 9*y + 24. Suppose -3*z = 2*z - 15. Suppose -z*g + 9*g = -60. Does 5 divide a(g)?
False
Let y = 92 - -19. Suppose 5*z - 11 = 4*f - y, 72 = 4*f + 2*z. Is f a multiple of 20?
True
Suppose 3*k = -15, -31 = -3*b + 6*b + 5*k. Does 19 divide (b - (-3 + 0))*76?
True
Suppose -10*a + 15675 = 15*a. Does 19 divide a?
True
Let z = -16 + 30. Is 2 a factor of z?
True
Suppose z = -5*z. Let b be (-5)/(-5) - 112/(-1). Suppose -5*h + b + 322 = z. Does 23 divide h?
False
Let r(m) = -m**2 - m + 5. Let y be r(3). Let c = 4 - -16. Let t = y + c. Is 7 a factor of t?
False
Suppose 3*d - 5*g = -0*d - 9, d - 8 = -2*g. Suppose 2*c + 8 = -d*c. Let s = 15 + c. Is s a multiple of 11?
False
Let x be (55/1)/(8 + -9). Let j = x - -66. Does 5 divide j?
False
Suppose -3*i + 5*c + 0 + 11 = 0, 13 = 5*i - 3*c. Suppose -166 = -3*q + i*z + 276, q = -4*z + 152. Is 14 a factor of q?
False
Suppose 5*x + 5*k = 7640, 6027 = 4*x + 2*k - 89. Is x a multiple of 18?
True
Suppose -19*g = -45*g + 6240. Does 7 divide g?
False
Suppose -7*p + 160 = -3*p. Let d be (p/12)/((-1)/12). Let r = 79 + d. Is 16 a factor of r?
False
Let r be ((-17)/2)/((-2)/4). Let x = -1148 + 1204. Let g = x - r. Is g a multiple of 8?
False
Suppose -3*j + 957 = 3*k, 353 + 917 = 4*j - 2*k. Let o = -189 + j. Suppose -3*x = -4*t + 117, 9 = -5*t - 5*x + o. Is t a multiple of 14?
False
Let o(v) = -4*v**2 + 6*v**2 + 3*v - 3*v - 2*v - 2. Is o(-2) a multiple of 4?
False
Is 28 a factor of ((-4938)/(-4))/(-15*16/(-160))?
False
Suppose 2*c + 18 = 5*u, 4*u - 10*c = -6*c + 24. Suppose f - 320 = -0*f + 3*s, 5*s = -u*f + 673. Is f a multiple of 31?
False
Let b(v) = -v**3 - 6*v**2 - 6*v. Let x be b(-5). Let d(s) = s**3 - 3*s**2 - s + 11. Does 7 divide d(x)?
True
Let c = -18 + -84. Let m = -55 - c. Suppose -3*d + 49 = -m. Is 16 a factor of d?
True
Suppose -5*v + 7 = -3*m, -2*v - 2*m = v + 11. Let b be (-12 - 0)*(v + -8). Suppose 4*l + 3*p = b, l + 0*p + p = 28. Is l a multiple of 8?
True
Suppose 0 = 39*w - 7591 - 110111. Does 18 divide w?
False
Suppose -1326 - 1572 = -6*x. Is x a multiple of 15?
False
Suppose -4*v + 15 = 3*i - 2*v, 4*i + 3*v = 21. Suppose 0 = -5*w + 3*r + 155, -i*w - 2*r = w - 124. Does 5 divide w?
False
Let d(y) = -y**3 + 6*y**2 + 2*y - 34. Let t be d(7). Let g = t + 146. Is 11 a factor of g?
True
Suppose -134 = -n + 103. Suppose -3*b = 6 - n. Is b a multiple of 53?
False
Suppose 660 = 5*d + m, -4*m + 140 = 2*d - 142. Does 10 divide d?
False
Let w be (-2*(1 - -1))/(-2). Suppose -5*t - 3 = -h, t + 13 = -5*h - w*t. Is 13 a factor of h/(6/(-9))*13?
True
Let f(k) = k + 7. Let u be f(-2). Let l(s) = -s**3 + s + 2. Let i be l(-3). Suppose v - 4*y = u, y - i = -5*v + 41. Is v a multiple of 3?
False
Suppose 29*n - 37074 + 14744 = 0. Is 10 a factor of n?
True
Is 37325/125 - (-6)/(-10) a multiple of 32?
False
Suppose -j - p - 85 = -3*j, 4*j = 5*p + 161. Suppose 0 = -5*c + r + j - 8, -2*r = -4*c + 30. Suppose 0 = -c*n + 21 + 112. Is n a multiple of 13?
False
Suppose 2*j + 201 = -51. Let x = -42 - j. Is 28 a factor of x?
True
Let s = -311 - -463. Suppose 14*n = 18*n - s. Does 25 divide n?
False
Suppose 2*x + w - 214 = 5*w, 0 = -x - 5*w + 93. Let i = x - 61. Is i a multiple of 21?
True
Let j(o) be the second derivative of -5/4*o**4 + 17/6*o**3 - 9*o + 1/20*o**5 + 0 - 10*o**2. Is 22 a factor of j(14)?
True
Let k(g) = 16*g - 88. Let v be k(16). Let y = 242 - v. Does 9 divide y?
False
Let t(c) = c**2 - 15*c - 12. Let k be t(16). Does 25 divide 74 - ((-4)/6)/(k/6)?
True
Let k(a) = -42*a - 4. Let j be 1/(3*3/(-18)). Is 24 a factor of k(j)?
False
Suppose 5*o = -3*h + 5032, 3*o - 6*h + 2*h = 3025. Is o a multiple of 18?
False
Let w = 424 - 324. Is w a multiple of 13?
False
Let s be 124/(-10) - 3/5. Let w = -23 - s. Is -2*(-2)/(-8)*w a multiple of 5?
True
Is (205 + -5 - 4) + -7 a multiple of 63?
True
Let z(g) = g**2 + g - 4. Let m be z(-4). Suppose -9*q + 5 = -m*q. Is 5 a factor of q?
True
Let q(d) = -4*d - 9. Let h be q(-3). Suppose 4*i - h*i - 185 = 0. Is i a multiple of 37?
True
Does 4 divide 5/(40/1376)*1?
True
Let c(y) = -1 - 2*y**2 + 10*y**3 - 2*y + 4*y**2 - 3*y**2. Does 13 divide c(2)?
False
Let v(m) = m**3 - 6*m**2 + 4*m + 5. Does 8 divide v(7)?
False
Let n(t) = -t**2 - 8*t + 6. Let l be n(-7). Let r be (-2)/l - (-119)/13. Is 3*(-1)/(r/(-96)) a multiple of 16?
True
Let p(n) = -n**3 - 13*n**2 - 38*n - 10. Is p(-10) a multiple of 7?
True
Let b be (-2)/(-7) - (-370)/(-70). Let i = 8 - b. Suppose 0 = -15*f + i*f + 32. Is f a multiple of 8?
True
Suppose 9164 = 9*u + 2729. Is 72 a factor of u?
False
Let t(v) = -21*v - 5. Let j(l) = -3. Let f(i) = -j(i) - t(i). Let c be (9/6)/(1/2). Does 10 divide f(c)?
False
Let n(r) = -9*r - r + 24 - 11*r + 11*r. Is 43 a factor of n(-8)?
False
Suppose 2664 = 3*k + 3*x, 3*x + 0*x = 12. Is k a multiple of 68?
True
Let k = -13 - -16. Let l be k + 1 + 66 + 4. Suppose l = 5*z - y, z + y = -0*z + 16. Is z a multiple of 5?
True
Suppose 2*d - 5039 = 3*r, 2*r - 9820 = -4*d + 282. Does 29 divide d?
False
Let m(s) = -18*s + 1 + 4*s**2 + 9 - 2 + 0*s**2. Is m(8) a multiple of 33?
False
Let b be -1 + 3/((-1)/(-1)). Suppose -q - 168 = b*q. Let s = q + 102. Does 8 divide s?
False
Let v = 24 + -24. Suppose j - 57 = -v*j. Let t = -25 + j. Does 10 divide t?
False
Suppose -4*u = 16, 4*u + 691 = 4*q - 9*q. Let x = q + 191. Is 7 a factor of x?
True
Suppose -3232 = -14*l + 6764. Is l a multiple of 42?
True
Let b = 46 + -23. Suppose 74 = -0*w + 2*w + 5*v, w - b = v. Is w a multiple of 9?
True
Let g be 2 + 4 + 2*-2. Suppose 5*q + g*t = 88, 30 = 3*q - 5*t - 29. Is q a multiple of 18?
True
Let d be 2*15/10 + 1. Suppose 3*t - 507 = -d*f, 2*t - 4 = 6. Is f a multiple of 41?
True
Let