100, 5*m = -4*k + 48496. Is 171 a factor of m?
False
Let l(q) = -21*q - 19. Let v be l(-23). Let z = v - 200. Let u = z + -167. Does 17 divide u?
False
Let f be (-14)/(-21) + 5/(-3) + -124. Let g = f - -161. Is 13 a factor of g?
False
Suppose 4*b - 22227 = 4*k + 10061, 4*b - 32297 = -5*k. Does 27 divide b?
True
Let c(l) = -l**3 - 2*l + 5. Let x be c(0). Suppose -158 - 22 = -x*z. Let q = z + -8. Does 5 divide q?
False
Let s(c) = 2*c**3 - 2*c**2 + 3*c - 2. Let b be s(1). Let y = 1 + b. Is 20 a factor of (1/(-2))/(y/(-240))?
True
Suppose -12581 = -13*v + 11534. Does 42 divide v?
False
Let g = 62 + -50. Suppose -3*q + g = -0*q, 3*o = 2*q + 13. Does 44 divide (3710/12)/o - (-11)/(-66)?
True
Let p(w) = -w**3 + 3*w**2 - 2. Let g be p(3). Let r(t) = -708 - 44*t - 18*t - 710 + 1400 + 13*t. Is r(g) a multiple of 20?
True
Suppose 5*c + 6*q = q - 205, 20 = -4*q. Is c*(-4 - 44/(-12)) a multiple of 4?
True
Let p = 1662 - -183. Is p a multiple of 45?
True
Let y(r) = 0*r**2 - 10*r + 2*r + 4*r + 52 + r**2. Does 34 divide y(10)?
False
Let p be ((-32)/(-2))/((-1)/(-3) - 0). Let g be ((-5)/4)/(3/p). Is 12 a factor of 15*((-4)/(-10) + (-136)/g)?
True
Let u(x) = 39656*x - 930. Is 134 a factor of u(1)?
True
Let p = -32 - -43. Let g(b) = -b**2 + 14*b + 12. Let n be g(p). Is 5 a factor of (36/(-10))/((-6)/n)?
False
Let t = 19 + -19. Suppose t*w - 2*w = -6. Suppose -3*n + r - w + 14 = 0, -4*n + 17 = r. Is 4 a factor of n?
True
Let t(q) = 3*q**3 - 114*q**2 + 135*q - 155. Let f(k) = -k**3 + 38*k**2 - 45*k + 52. Let i(c) = -7*f(c) - 2*t(c). Is 11 a factor of i(37)?
True
Let v(l) = l - 6. Let c be v(8). Suppose 3*x - c*h - 705 = 0, h + 0*h = -x + 230. Is x a multiple of 31?
False
Let r = 4892 - 2496. Is r a multiple of 13?
False
Suppose -p = 3*g - 1493, -112*g + 110*g + 998 = 2*p. Is g a multiple of 9?
False
Is ((-48)/(-32))/(9/16026) - (-3 - -6) a multiple of 23?
True
Let z(t) = 4*t**2 - t - 14. Suppose -8*u - 60 = 2*u. Is z(u) a multiple of 34?
True
Suppose 3*t - 7 = -p - 1, 5*t + 5*p = 10. Suppose -x - t*n = x - 2, 1 = -2*x - 5*n. Suppose -2*f - 3*o = -139, -99 = -2*f + 3*o + x*o. Does 8 divide f?
False
Let m = 148 + -653. Let c = 8 - m. Is c a multiple of 57?
True
Suppose -33*d = -16672 - 2336. Does 112 divide d?
False
Suppose 0 = -168*u + 169*u - 70. Suppose 10*a + 0*a = u. Let x = 2 + a. Is 2 a factor of x?
False
Suppose -q + 14 = 5*c + 2, 0 = -5*q - 5*c + 80. Let r(i) = i**3 - 14*i**2 - 31*i + 2. Does 16 divide r(q)?
False
Suppose -5*n + 1011 + 1983 = 2*l, -l + 3*n + 1464 = 0. Is l a multiple of 11?
False
Let n = 208 + -219. Let x(u) = u**3 + 16*u**2 - 2*u + 33. Is 15 a factor of x(n)?
True
Let p(s) = 75*s**2 - 121*s - 83. Is p(-14) a multiple of 14?
False
Suppose -4*a + 1 = -3*a + 4*j, 51 = 3*a - 4*j. Let n(s) = -2*s + s - 4*s + 5 + a*s. Is n(4) a multiple of 10?
False
Let z be (1/(-1))/((-2)/8). Suppose 3 = -3*n, 0 = -13*y + 8*y - 2*n + 13. Suppose -3*p + p = 2*c - 50, z*p = y*c - 103. Is c a multiple of 6?
False
Let x(o) = -o**2 - 16*o + 2. Let z be x(-16). Suppose -4*y + 78 = -0*y + z*k, 82 = 4*y - 2*k. Suppose 4*j - y = -l, 0*l - 67 = -3*l - 5*j. Is 6 a factor of l?
True
Suppose -4958 - 7618 = -4*p. Is p a multiple of 20?
False
Let f be (16/10)/(7 - (-312)/(-40)). Let o(d) be the first derivative of 2*d**3/3 - 5*d**2/2 - 8*d + 1. Is 5 a factor of o(f)?
True
Let w = 1655 - 290. Let d = w + -846. Suppose 9*j - d - 66 = 0. Is 14 a factor of j?
False
Let t(j) = -72*j + 147. Is 43 a factor of t(0)?
False
Let l(g) = 4*g**2 + 6*g + 3. Let a be l(3). Let s = 59 - a. Is 17 a factor of (s/2)/((-3)/(-51))?
True
Let o(s) = s**2 - 14*s + 81. Suppose -16*l + l + 270 = 0. Is o(l) a multiple of 16?
False
Suppose 4*w - 2*p - 2884 = 0, -3*p = -w + 161 + 550. Is w a multiple of 60?
False
Is (140 - -25)/((-8)/(-96)) a multiple of 110?
True
Let z = -12024 + 15979. Does 62 divide z?
False
Let j(x) = x**3 - 8*x**2 + 12*x + 2. Let m(f) = 4*f + 6. Let a be m(0). Let n be j(a). Does 9 divide n/12 + 1455/18?
True
Is -9 + 4369 - (20 - 13) a multiple of 29?
False
Suppose 4 = -6*f + 8*f, 0 = -5*h - 4*f + 2188. Is h a multiple of 4?
True
Suppose -45 = -21*z + 26*z. Let b(l) = -13*l + 9. Is 6 a factor of b(z)?
True
Let s be (27/6)/((-2)/(-4)). Let o be ((-6)/(-4))/1*30/s. Suppose -3*q = -o - 4, 2*q = 2*n - 22. Does 7 divide n?
True
Let w(z) = 165*z - 1008. Does 52 divide w(8)?
True
Let q(n) = -n**3 + 17*n**2 - 29*n - 13. Let i be q(15). Suppose 2*l - 435 = o + 304, 5*o + 743 = i*l. Does 27 divide l?
False
Let m = 125 + -71. Is 5 a factor of (6 - (-70)/(-15))*m?
False
Suppose 32*i = 12*i + 171800. Is i a multiple of 18?
False
Let z(l) = 35 + 22*l - 7*l - 11. Is z(10) a multiple of 29?
True
Let s = 97 + -174. Let v be (3 - (-2)/1)*-1. Does 3 divide s/v + (-16)/40?
True
Let g = 61 + -3. Let t be (3*(-1)/(-3))/(2/g). Suppose -2 = -w - 2*j + 3, 4*w - j = t. Is w even?
False
Let i(r) = 2*r**2 - 23*r - 117. Let l be i(-8). Suppose -y - 5*v + l = 0, 0 = -2*y - 3*v + 222 + 133. Is y a multiple of 8?
False
Suppose 8*v + 43 = 195. Suppose 18*p + 6 = v*p. Is 14 a factor of (-1938)/(-18) + (-4)/p?
False
Let y be 3 + -3 + 2*(-6)/(-4). Suppose y*c = -u, -4*u + u = 3*c. Suppose 198 = 2*o - 2*z, c = o + o - 4*z - 192. Is 17 a factor of o?
True
Suppose b - 2 = -2*k + 2*b, k - 23 = -5*b. Let u(q) = q**3 - 28 - 4*q**3 - 22*q**2 + k*q**3 + 46*q + q**3. Is u(20) a multiple of 46?
True
Suppose 3*z - 47 = -n, -2*z - n - 11 = -41. Let a = 20 - z. Suppose 101 = f - 4*q, 0 = -3*f + a*q - 4*q + 316. Does 15 divide f?
True
Suppose -5 = -s - 6. Let b be (200 + 11)*((s - 0) + 2). Suppose 0 = 4*o - b - 725. Is o a multiple of 10?
False
Let z(u) = -21*u**3 + 2*u**2 - u - 1. Let s be z(2). Let b be 2 + (226 - -2) - (329 + -332). Let a = s + b. Is a a multiple of 10?
True
Let z = 6147 - 5697. Does 2 divide z?
True
Let v be (-20)/5 + ((-24)/(-4) - 4). Let k(r) = -118*r**3 + 3*r + 11. Does 13 divide k(v)?
True
Let l(d) = -d**3 + 21*d**2 + 22*d - 8. Let y be l(22). Is 17 a factor of 1*598 - (8 + y)?
False
Suppose 11*z = 35*z - 22*z - 8136. Is 12 a factor of z?
True
Is 36 a factor of ((-3147)/(-2))/(84/392)?
False
Let i = -22 + 15. Let t be (28/6)/i*-234. Let k = t - 85. Is k a multiple of 12?
False
Let y(m) = 29*m**2 + 98*m - 91. Is 171 a factor of y(-23)?
True
Does 9 divide (((-35)/20)/(-7))/((-2)/(-984))?
False
Suppose -19*h + 4110 = -22*h. Does 6 divide ((-80)/100)/(4/h)?
False
Is 16/(-12) + (114 + -53773)*(-1)/3 a multiple of 35?
True
Let m(z) = 5*z**2 + 125*z + 150. Is 30 a factor of m(-34)?
True
Let u(g) = 2*g + 37. Let m = -72 + 58. Let f be u(m). Suppose -h - 81 = -5*r - f, 26 = 2*r + h. Does 3 divide r?
False
Let n(t) = -118 + 37*t - 12 - 59. Is n(9) a multiple of 9?
True
Suppose 4*m - k = -1029, 0*m + 3*k - 1023 = 4*m. Let w = 243 - m. Is 74 a factor of w?
False
Let l(z) = 17*z**2 - 25*z - 1. Let o be l(5). Suppose -2*t + 198 = 2*v, -4*t + o = 3*v - 93. Is t a multiple of 9?
False
Does 43 divide 3*(-11176)/(-12) + (9 - 8)?
True
Suppose 3*n + 5 = 5*g + 55, 15 = 3*n. Let s(j) = -j - 7. Let k be s(g). Suppose k = 2*y - 86 - 46. Does 13 divide y?
False
Let k(j) = -10*j - 6. Let s be k(-6). Suppose -2*u - t = s, 4*u - 2*t = -6*t - 116. Let y = -7 - u. Is y a multiple of 6?
True
Suppose 0 = -4*x + 3*t + 42539, -2*t - 10641 = -22*x + 21*x. Is x a multiple of 8?
False
Let v = 2192 - -2908. Is 75 a factor of v?
True
Let k(u) = -3*u**2 + 15*u - 50. Let b be k(5). Is 2/(-5) - (-45)/b*-106 a multiple of 19?
True
Let i(h) = 49*h**2 - h - 2. Suppose -2*l - 2*y + 17 + 47 = 0, -2*l = 4*y - 58. Let p = 34 - l. Is i(p) a multiple of 10?
False
Is 38 a factor of ((-899)/(-3) + -11)/((5/(-36))/(-5))?
False
Let l(s) = 480*s + 6586. Is l(20) a multiple of 15?
False
Let i(q) = 4*q**3 + 4*q**2 - 6*q + 5. Let d(b) = 2*b**2 - b - 3. Let n be d(2). Is i(n) a multiple of 17?
False
Does 158 divide -6 + -5 - -25 - -19318?
False
Let f(g) = 293*g + 7. Let u be f(-3). Let i be 2/(-5) - (-2 + u/5). Let q = -86 + i. Is 18 a factor of q?
True
Let m(c) = -9*c - 16. Let k be m(-4). Let g(z) = z + 118. Does 6 divide g(k)?
True
Let g = 170 - 165. Suppose 259 + 250 = 3*k + 2*s, g*s - 343 = -2*k. Is 13 a factor of k?
True
Let k be 9*7/(-4)*20. Let u = 515 + k. Is 10 a factor of u?
True
Suppose 0 = -n + 4*n. Suppose n = -f - 0*f. Suppose 2*g + 26 - 68 = f. D