Let g be 114/22 + 8/(-44). Suppose -g*j + d + d - 40 = 0, -10 = -2*d. Is 5 a factor of 114/((-20)/5 - j)?
False
Suppose 0 = -27*c - 12*c + 74217. Suppose c = 10*y + 223. Is 19 a factor of y?
False
Let m be 4*-1*((-1 - -1) + -1). Suppose 6 = -k + m*x, 0 = 4*k - x - 0*x - 51. Suppose -5*p + 139 = 3*y, -4 = -5*y - k. Does 4 divide p?
False
Let f be -84*((-215)/24 - 36/96). Suppose 0 = f*r - 789*r + 4365. Does 27 divide r?
False
Let d(p) = -8 - 7*p - p**2 - 4 + 5. Let f be d(-4). Suppose f*m - 220 - 458 = -3*i, -2*i = 4*m - 544. Is m a multiple of 28?
False
Suppose -3*r + 5*w - 119 = 0, -2*r - 121 = -4*w + 9*w. Let b(u) = u**2 + u + 97. Let h be b(0). Let q = r + h. Is q a multiple of 19?
False
Let p(t) = -t**3 + 29*t**2 - 32*t + 108. Is 10 a factor of p(25)?
False
Suppose -145*w - 130 = -158*w. Suppose 0 = -3*t + 4*t - 2*v - 3, -v - 9 = -3*t. Suppose t*a + 70 = w*a. Does 2 divide a?
True
Let a = 249 - 229. Let h = 540 + a. Is 20 a factor of h?
True
Let s be 78 + (14 - 10) - (3 - 1). Suppose -s = -6*a + 268. Is 7 a factor of a?
False
Let s = -99 - -40. Let n = s - -63. Is 22 a factor of 98 + n - -4 - -1?
False
Suppose 3*m + 2 = -4*p, 0*p + 2*p + 40 = 5*m. Let u be m*(3 - 4)/(1/(-10)). Is 12 a factor of (-13 - 2)*u/(-36)?
False
Let c(n) = 0*n**2 + 3*n + 0*n**2 + 14 + n**3 - 6*n**2. Let o = -3121 - -3127. Does 5 divide c(o)?
False
Let k = -1954 - -2548. Is k a multiple of 33?
True
Let i(h) = 738*h + 157. Does 71 divide i(2)?
True
Suppose -8 = -z + i, -4*z - 17 = -3*z + 4*i. Suppose t = z*t - 82. Suppose 5*c = -a + 65, c - t = -3*a - 14. Is c a multiple of 3?
True
Suppose -53 = -2*l - 0*m + 3*m, -4*l = -5*m - 109. Let n = -17 - l. Let s = n + 76. Is 14 a factor of s?
True
Suppose a + 4898 = 4*u - 1989, u - 5*a = 1736. Is 13 a factor of u?
False
Let z = -9215 - -12086. Is 87 a factor of z?
True
Suppose -505 = 5*y - 2*f, 16 = 5*f - 9. Let p = y + 520. Is p a multiple of 8?
False
Let o = 47 - 44. Suppose 4*p + 3508 = 4*r, o*r - 713 = 4*p + 1918. Is r a multiple of 68?
False
Suppose -61*c + 3433 + 1123 = -2154. Does 2 divide c?
True
Let u(z) = z**3 - 6*z**2 + 5*z + 1. Let w be u(5). Let l be 136/4*(w + 0). Let b = l - 19. Does 3 divide b?
True
Let q(v) = -30*v**3 - v**2 - v. Let s be q(-1). Let a be 1 - (4 + -3 + 0). Suppose a = -m + s. Does 6 divide m?
True
Let l = 145 - 37. Let x = 128 - l. Suppose 4*u - 137 = n, u + 0*n = 5*n + x. Does 5 divide u?
True
Let v(i) = -i**3 - 2*i**2 - i + 460. Suppose 2*a - 10 = 5*x, -3*a - 4*x + 8 - 16 = 0. Is 46 a factor of v(a)?
True
Suppose 3*u - 15 = 0, 2*n + u - 3*u = 66. Suppose 0*v - 2*m = -v + 212, 3*v - 651 = 3*m. Suppose n*y - 37*y = v. Does 37 divide y?
True
Let p(g) = -5*g**3 + 2*g**2 + 3*g - 1. Let c = 34 + -36. Is 3 a factor of p(c)?
False
Let k = 3607 - 1036. Does 44 divide 13/39 - k/(-9)?
False
Let f = -805 - -867. Suppose v + 4*o + 0*o = -55, -3*v + 5*o = 131. Let u = f + v. Does 5 divide u?
True
Let b(p) = -p**3 + 9*p**2 - 5*p - 15. Let j(o) = -3*o**3 + 16*o**2 - 9*o - 29. Let n(s) = 5*b(s) - 2*j(s). Does 4 divide n(-13)?
False
Let a(b) = -b**2 + 72*b + 6771. Is a(0) a multiple of 8?
False
Let y = 159 + -109. Let m = y + 22. Is 8 a factor of m?
True
Suppose -3*g - 4*p = -53616, -28452 = -g + p - 10566. Is g a multiple of 40?
True
Let n be 454/(-10) + (-3)/(30/(-4)). Let s = n - -51. Let i(z) = 2*z**3 - 11*z**2 + 2*z + 3. Is i(s) a multiple of 51?
True
Is 15 a factor of (-2035133)/(-203) - ((-32)/28)/(-4)?
False
Let g be ((-29)/(-2))/(6/(-12)). Suppose -5 = k - 9, -2*j + k = -166. Let o = j + g. Is o a multiple of 56?
True
Let a(t) = 5*t**2 - 3*t - 8. Let g be a(6). Let i = g + -142. Does 3 divide i?
True
Suppose -5*q - 2*m = -24, -3*q + 14 + 0 = m. Let f be 4/q + -3 - -4. Suppose -f*p + 98 = -0*p. Is 22 a factor of p?
False
Let t(c) = 10*c**2 + c - 2. Let v be -1 - (-7)/9 - (-1950)/27. Let n = -74 + v. Does 36 divide t(n)?
True
Let y(c) = -c**3 + 13*c**2 - 4*c - 7. Let d be y(6). Does 5 divide 34/d + 5508/26?
False
Let w = -37 - -77. Let b = -39 + w. Is (-702)/(-24) - b/4 a multiple of 5?
False
Suppose 21*b = 167*b + 95*b - 1254646. Is b a multiple of 121?
False
Let n = -591 - -2424. Is n a multiple of 9?
False
Is 7 a factor of (342/(-19))/36*-4388?
False
Let v(f) = f**2 - 2*f - 12. Let z be v(11). Suppose -z - 693 = -5*t. Does 6 divide t?
True
Let z be 3/(-4)*-4 + 7*-2. Let u be 1/(z/2) - (-612)/(-22). Let k = u - -58. Does 30 divide k?
True
Let v(n) = 2*n**2 - 16*n + 40. Let u be v(16). Let h = 528 - u. Is h a multiple of 42?
False
Let d(m) = -3 + 22*m**2 + 5 - m + 0. Let i = 697 - 699. Does 23 divide d(i)?
True
Let k be 15330/50 - -3 - (-2)/5. Suppose k + 61 = 7*o. Is o a multiple of 5?
False
Suppose 3*r + 14 = 5*b - 33, 3*b - 27 = 3*r. Let y be (-12 - 18)*(-28)/b. Let f = y + -44. Is 40 a factor of f?
True
Let u(p) = 108*p**2 + 210*p + 1857. Does 35 divide u(-9)?
True
Let b(z) = 14*z**2 - 5*z - 33. Let n be ((-16)/24)/((-2)/(-72)*-3). Is b(n) a multiple of 88?
False
Let f = 466 - 469. Is 9836/8 + 4*f/(-24) a multiple of 30?
True
Let m(i) = -822*i + 41. Let w be (0 + 1)*7/14*-2. Does 16 divide m(w)?
False
Suppose 4*i + 2*m + 775 = -1295, -3*i = 2*m + 1550. Let u = -213 - i. Does 12 divide u?
False
Let f(j) = -j**2 + 9*j + 17. Let p be f(-4). Let y = p + 43. Suppose 236 = 4*g + y. Is g a multiple of 5?
False
Let z(q) = -33*q - 2368. Does 8 divide z(-93)?
False
Let b(r) = -22*r - 86. Let t(i) = -12*i - 43. Let k(q) = -4*b(q) + 10*t(q). Is 6 a factor of k(-4)?
True
Suppose -4443 = -2*t + 3*s, -20*t + 2*s = -19*t - 2218. Is 31 a factor of t?
True
Suppose 13*z = -6*z + 285. Suppose 2*l - 112 = -2*b, 2*l - z = -b + 46. Does 7 divide b?
False
Let n be (75/(-18)*8)/(18/54). Suppose -145 + 15 = l - 3*b, 4*l = b - 575. Let z = n - l. Is z a multiple of 9?
True
Let f(j) be the third derivative of -7*j**6/24 + j**5/60 - j**4/12 - j**3/3 - 27*j**2. Does 9 divide f(-1)?
True
Let y(r) = 4*r**2 + r - 1. Let p be y(3). Suppose 0 = 8*t - 2 - p. Suppose -3*b = -5*w - 295, 5*w + 151 = t*b - 344. Is 11 a factor of b?
False
Let g = -34958 - -41111. Is 4 a factor of g?
False
Let m(j) = j**3 + 23*j**2 - 4*j - 14. Let h be m(-22). Suppose -8 = 4*y, -4*y = -2*t - 3*t + h. Does 11 divide t?
True
Suppose m - 33063 = -4*s, -3*m = -3*s + 2357 + 22459. Is 42 a factor of s?
False
Let y be (-10)/(-5) + -5 - (-1 - 12). Suppose -7675 = -y*u - 15*u. Is u a multiple of 14?
False
Suppose 4*t - 223647 = 5*j, 148*t = 151*t - 4*j - 167734. Is t a multiple of 15?
False
Suppose -26*m - 16 = -28*m. Let d(t) = 6*t**2 - 15*t + 30. Is d(m) a multiple of 21?
True
Is 4 a factor of (-2)/18 - ((-1424)/18 - (11 - 17))?
False
Let l(n) = -2*n + 27*n + 46*n + 9 - 4. Is 18 a factor of l(5)?
True
Let l = -8696 + 11337. Is 114 a factor of l?
False
Let r(a) = -a**2 + 7*a - 10. Let b be r(4). Suppose -w - b = -5*d, w + d - 7 + 3 = 0. Suppose 2*v = -w*x + 26, -2*v = -2*x - 3*x - 58. Does 5 divide v?
False
Suppose -1025*b - 10163 = -1026*b. Suppose -11*o + b - 2100 = 0. Is o a multiple of 22?
False
Let r = 5220 + -3620. Is r a multiple of 5?
True
Let m = 2332 - -17513. Is 135 a factor of m?
True
Let c = -74 - -62. Let n(p) = p**3 + 12*p**2 - 3*p - 13. Let s be n(c). Let r = s - -4. Is 5 a factor of r?
False
Let i(o) = -o**3 + 21*o**2 - 17*o - 45. Let p be i(20). Suppose 0 = -p*q + 3291 - 816. Is q a multiple of 11?
True
Suppose 351*a - 369*a + 92070 = 0. Is 12 a factor of a?
False
Let q(o) = 36*o - 5. Suppose 0 = 7*a - 0*a - 14. Let j be q(a). Let c = j + 50. Does 13 divide c?
True
Let x(b) = b + 14. Let v be x(-12). Suppose 4*u + v = 2*u. Is (88 - (u - -1)) + -4 a multiple of 21?
True
Suppose 0 = 3*x - 18 + 9. Suppose -2*j = -3*j. Suppose 4*z + x*a = 279 + 270, -2*a - 10 = j. Does 47 divide z?
True
Let u be 3 + -2 + (-3)/(7 + -4). Suppose 0 = 5*w - 4*a - 625, 2*a + u*a + 506 = 4*w. Does 5 divide w?
False
Let o = 1821 - 1810. Suppose -2*g = 5*j - 4454, -5*g - 2*j + 11173 = j. Suppose o*t - 7 = g. Does 31 divide t?
False
Suppose -4*d = -2*t - 8*d + 118, d = 5*t - 295. Let j = -56 + t. Suppose p - 440 = -j*k - 3*p, 0 = 4*k + 3*p - 596. Does 36 divide k?
False
Suppose 24335*f - 68800 = 24327*f. Is 215 a factor of f?
True
Suppose 0 = 3*x + 2*c + c - 33, 9 = 3*c. Suppose 9*w - 20 = 4*w + 5*q, 2*q + x = w. Suppose -5*a - 5*r = -0*a - 265, w = -r - 4. Is 7 a facto