
True
Let f(d) = -3*d - 2. Let r be f(-2). Suppose -7*m = -r*m + 129. Let x = -25 - m. Does 7 divide x?
False
Suppose -17*w + 1122 = -6*w. Is w a multiple of 9?
False
Let z = 2 - 0. Suppose z = 4*c + j, 5*c - 12 = 2*j - 3. Suppose p - 15 + c = 0. Does 14 divide p?
True
Let w be 2/(-4)*(4 - -8). Let t be (-54)/(-9) - w/(-2). Suppose 3*q + 12 = 6*q + 4*m, 0 = -t*q + 3*m + 12. Is q even?
True
Let j = 2047 + -769. Is 16 a factor of j?
False
Is ((-6)/(-7))/(-1) - 72512/(-56) a multiple of 29?
False
Let s be 2 - (-2 - -1 - -3). Let z be 16 - 11 - (1 + s). Let r(k) = k**3 - 4*k**2 + 2*k - 4. Is r(z) even?
True
Suppose -47*k = -50*k, 3*k = d - 589. Is 77 a factor of d?
False
Let a(c) = -65*c + 9. Let n be a(5). Does 29 divide (n/6)/(50/(-75))?
False
Suppose 16*u = 15*u. Suppose 2*s - 207 + 11 = u. Does 15 divide s?
False
Let d(c) = -c**2 - 13*c - 8. Let l be d(-6). Suppose 153 = -4*v + 409. Let g = v - l. Is 15 a factor of g?
True
Let f = 7385 + -3409. Is 142 a factor of f?
True
Suppose 2*t = -v + t + 1, 4*v - 5*t = 22. Suppose 2*c + 4*j - 164 = 0, 3*c - 199 = 2*j + 7. Suppose -v*m = -0*m - c. Is 10 a factor of m?
False
Is 23 a factor of (-10)/10 - (1 + -347 + 0)?
True
Suppose -3*n + 8 = 4*u, -3*n - 7*u + 5*u = -4. Suppose l + t = 2*t + 7, n = -5*l - t + 5. Suppose -24 = -d + l*j, 0 = 4*d + j + 4*j - 57. Is d a multiple of 6?
True
Let m = 565 + 2945. Is m a multiple of 45?
True
Suppose 0 = -26*a + 37*a - 594. Does 54 divide a?
True
Let r = -17 + 17. Let t = -6 + 11. Suppose r = 3*a + 2*x - 70 - 11, t*a - 4*x = 113. Does 17 divide a?
False
Is 3 a factor of ((-35)/(-28))/((-1)/(-28)) - 0?
False
Let b = 35 - 21. Let d be 12/42 - 746/b. Let c = d + 90. Is 11 a factor of c?
False
Let b = 19 - 6. Suppose -b*r + 10*r = 0. Is 2/2 - (r - 5) a multiple of 4?
False
Let j(r) = -6*r - 7 + 0*r + 43*r**2 - 46*r**2 + r**3. Does 13 divide j(5)?
True
Suppose -85 = -3*x - 3*p + 155, -4*x + 3*p = -285. Let a = x - 38. Is 6 a factor of a?
False
Let m = 549 - 101. Suppose 0 = -4*b - 4*b + m. Does 12 divide b?
False
Suppose 0 = g + 4*g - 20. Let b be 12/30 - g/10. Suppose -30 = -b*n - n. Is 11 a factor of n?
False
Is 13 a factor of 2/(-1)*-1*(-3 - -29)?
True
Suppose a = 2*u - 2*a - 20, -a - 24 = -5*u. Suppose 3*y - 5 - 10 = 0. Suppose 0 = -5*d + y*p + 5, 6 = 4*d + p - u*p. Is 2 a factor of d?
False
Let t be -20*1/(16/(-796)). Let d = 610 - t. Is 9 a factor of 24/(-14)*d/10?
False
Suppose 0 = -2*m + 4*n + 1074, 3*n = 2*m - 0*n - 1075. Is m a multiple of 49?
True
Suppose 5*d + 3 = 3*u, 2*d - 4*d + 4*u - 4 = 0. Suppose d = s + 2*y + 50, -y = -s - 35 - 0. Does 11 divide (-500)/s - 2/(-4)?
False
Suppose 0*k - 5*k - 20 = 0. Let f be (-1615)/65 - k/(-26). Let i = 32 + f. Is i a multiple of 3?
False
Let q = 10 - 5. Let d = -7 + q. Does 11 divide (-2 - d)/(-4) + 24?
False
Is (-6)/(54/15)*(1 - 181) a multiple of 6?
True
Let q be 14*(100/(-8))/(-5). Suppose 0 = -3*c + q + 37. Let s = -12 + c. Does 4 divide s?
True
Let o = 218 - 59. Does 53 divide o?
True
Let f be 2/11 + (-4 - (-3556)/44). Is 18 a factor of (-4)/(-22) - (-3836)/f?
False
Is 27 a factor of (-5*(-223)/(-2))/((-14)/28)?
False
Let w(j) = 7 - 30*j + 8*j - 22*j - 13*j. Is w(-3) a multiple of 23?
False
Let w(v) = -2*v**2 - 37*v - 26. Let h(i) = -21*i - 5 + 3*i - i**2 - 8. Let g(s) = -13*h(s) + 6*w(s). Does 2 divide g(-11)?
True
Let d(v) = -26*v - 26. Is 7 a factor of d(-8)?
True
Suppose -3*a = -0*a - 5*s - 1425, -5*a = 5*s - 2415. Does 120 divide a?
True
Let j(r) be the third derivative of 0*r + 5*r**2 - 5/3*r**3 + 0 - 5/12*r**4 - 1/60*r**5. Is 2 a factor of j(-7)?
False
Suppose -5*s + 15 = 25. Let d be s*11*2/(-4). Suppose -i + 4 = -d. Is 5 a factor of i?
True
Let c = 216 - -74. Does 30 divide c?
False
Let y = 241 - -115. Is y/(8 + -4) + -1 a multiple of 11?
True
Let j(o) = o**3 - 3*o**2 - o - 21. Is j(5) a multiple of 12?
True
Let b be -2 - 4/(1 - 2). Suppose 0 = 4*k + b - 14. Is 9/3 + (56 - k) a multiple of 16?
False
Let v be (0 + -1)/((-4264)/(-1424) + -3). Let t = 251 - v. Does 20 divide t?
False
Suppose -40 = -0*r + 5*r. Let o(t) = t**3 + 8*t**2 - t - 8. Let s be o(r). Suppose -n + 3*n - 56 = s. Is n a multiple of 7?
True
Suppose d = 5*d - 3*o + 387, 3*o - 486 = 5*d. Let b be 3/15 - d/5. Let t = b + 16. Is 18 a factor of t?
True
Let i = 14 - -1. Let o = -108 - -104. Let u = i + o. Is u a multiple of 10?
False
Suppose -2*l = x - 6*l - 116, -4*x - 4*l + 384 = 0. Does 3 divide x?
False
Suppose -5*o - 3*x = 200, 4*o + 2*x + 44 + 116 = 0. Let d be (-182)/(-8) + (-10)/o. Suppose 0 = 4*h + d - 103. Does 10 divide h?
True
Let k = -9 - -29. Let w(v) = v**2 - 17*v - 26. Is w(k) a multiple of 10?
False
Is 26 a factor of 352 + -3 - (-9 + 8)?
False
Suppose 0*d + 63 = 4*v - 3*d, -5*d = -15. Let n be (-54932)/(-24) + 3/v. Is 16 a factor of 4/30 + n/45?
False
Suppose -i = -5 + 3. Suppose -12*k + 8*k = -76. Is 4 a factor of k + 1/(i/(-6))?
True
Let g = -204 - -830. Does 4 divide g?
False
Let r be -2 + (2 + 2 - 104). Let p = -40 - r. Does 9 divide p?
False
Let g = -5 - -8. Suppose -i = -0*i - g. Suppose i*d = 4*d - 31. Is d a multiple of 11?
False
Let j be (-18)/(-27) + (-1)/((-3)/(-2)). Suppose j = -11*o + 3527 - 18. Is 29 a factor of o?
True
Suppose 21*c = 14*c + 2975. Is c a multiple of 25?
True
Let a = -52 - -203. Does 6 divide a?
False
Suppose 5*t = -4*a + 8, 2*a - 4 = -t - 0*t. Suppose a*k + 5*k = 98. Does 3 divide k?
False
Suppose -l - 3 = 0, -107 = -2*v - 0*l - 3*l. Suppose -4*w - 82 = -3*c, c - 2*w = 4*c - v. Is 4 a factor of c?
False
Let w be 4 - 9/(9/4). Suppose z - 2*t = t + 51, 3*z + 5*t - 139 = w. Does 12 divide z?
True
Suppose 85*y - 63881 = 7859. Does 4 divide y?
True
Let p(l) be the second derivative of l**4/12 - 13*l**3/6 + 3*l**2/2 + 5*l. Let g be p(13). Suppose g*y - 40 = 107. Is 10 a factor of y?
False
Let o(s) = -s**2 - 11*s. Suppose z - 2*r = -14, -4*z - r = 4*r + 30. Let m be o(z). Let d = m + 47. Is d a multiple of 29?
False
Let p = 270 + -165. Does 4 divide p?
False
Let a be (8/(-12))/((-1)/3). Suppose a*f + 5*o + 20 = 0, -3*f - 4*o - 19 = 25. Let q = f + 48. Does 14 divide q?
True
Suppose -3*d + 21 = -3. Suppose -216 + 16 = -d*r. Is r a multiple of 16?
False
Let i = 54 - 79. Let b = i - 40. Let y = 11 - b. Is 26 a factor of y?
False
Suppose 11880 = 11*d + 7*d. Is 33 a factor of d?
True
Let k(b) = -72*b**3 - 2*b**2. Is 5 a factor of k(-1)?
True
Suppose 4*b - o - 2*o = 2217, -2*b + 1096 = -4*o. Is 17 a factor of b?
False
Let w(i) = i + 18. Let p be w(-8). Suppose -144 = -p*r + 8*r. Is 21 a factor of r?
False
Let m = -19 + 21. Suppose -102 = -m*w - w. Is w a multiple of 17?
True
Suppose -16 = 3*k - 1, -2*n + 5*k = -29. Suppose n*f = 8*f - 1050. Is f a multiple of 25?
True
Suppose -30*f = -26*f - 20. Suppose -248 = 4*c + m - 788, c = f*m + 114. Does 35 divide c?
False
Let c(g) = -222*g - 358. Is c(-6) a multiple of 19?
False
Let t(f) = 16 + 25 - 5. Let r(i) = i. Let x(o) = -2*r(o) + t(o). Is x(0) a multiple of 9?
True
Let i(n) = -4*n**2 + 2*n - 1. Let y be i(1). Let q = -6 - y. Does 3 divide 2*(-3)/(-6) - q?
False
Let r(a) = 2*a. Let l be r(-3). Let i = 20 + l. Is i even?
True
Suppose -p + q - 44 = 0, -3*p = -5*p - 4*q - 82. Let h = 54 - p. Is h a multiple of 4?
False
Suppose 2*d - 3398 = 4*b + 3408, 0 = -2*d + 3*b + 6807. Does 16 divide (3/(-9))/(4 - 13625/d)?
False
Let o(c) be the third derivative of -7*c**4/24 - c**3/6 - 5*c**2. Is 26 a factor of o(-10)?
False
Suppose -v + 1713 = 4*y - 277, v + 2492 = 5*y. Let r = y - 234. Is 33 a factor of r?
True
Is (85/15)/((-5)/(-285)) a multiple of 39?
False
Let c(v) = 2*v**2 - 46*v + 4. Let m be c(23). Suppose -3*k + 168 = -4*r, 4*r - 6*r - 234 = -m*k. Does 4 divide k?
True
Let g(u) = -8*u + 138. Is 3 a factor of g(12)?
True
Suppose 5*m + 5*l = 45, m + l = 6*m - 33. Let i = m + -4. Suppose 0 = -5*n - h + 176, 0*n = i*n + 5*h - 88. Does 17 divide n?
False
Let x be (-898)/5 - 4/10. Let o = -4 + 3. Is 10 a factor of (-3 - o)*x/8?
False
Let t(d) = -d**3 - 14*d**2 + 6*d - 21. Let n be t(-15). Suppose 3*s - 3*m = -n, s - 5 = 4*m - 37. Let w = -7 - s. Is 11 a factor of w?
True
Let s be (-5)/10 + (-963)/(-6). Suppose 0*r + s = 5*r. Is 32 a factor of r?
True
Let w = -6 + 8. Let q(k) = 24*k**2 - 4*k**2 + 2 - w*k + 5*k + 0. Is q(-2) a multiple of 25?
False
Let p be 8/3 - 2/3. Sup