 -2*g + 0*g = -5*x + k. Is 5 a factor of x?
False
Suppose 113*s = 114*s + 4, -28103 = -3*a - 4*s. Is 13 a factor of a?
True
Suppose 156*s = 155*s + 1348. Suppose -s = 86*f - 90*f. Is 25 a factor of f?
False
Let a(l) = 3*l**2 + 4*l - 8. Let c be a(12). Suppose g + 477 = -3*g - 5*d, 0 = 4*g + 4*d + c. Let w = -68 - g. Is 11 a factor of w?
False
Let i(v) be the second derivative of 8*v**4/3 + 7*v**3/6 + 41*v**2/2 - 239*v. Does 24 divide i(-7)?
True
Let t(v) = 5*v**3 - 2*v**2 + 2*v - 1. Let l be t(1). Suppose 0 = -l*f + 10*f + 18. Is 11 a factor of (143/f)/((-4)/12)?
True
Suppose 2*z - 3*t - 4 = 0, 0 = 4*z - 4*t - 10 + 2. Let u = 2 - 7. Does 14 divide (-1573)/(-55) - z/u?
False
Let j(g) = g**2 - g - 1. Let t be j(-6). Let l = -38 + t. Is (2/l)/((-4)/(-54)) even?
False
Let t be (22/11)/((-1)/(-8)). Suppose -n = -t - 12. Is 3/(-21) + 6080/n a multiple of 31?
True
Let u = 45178 - 21939. Is u a multiple of 17?
True
Suppose -1213 = 16*r - r - 1753. Let w(i) = 2749*i - 2. Let y be w(2). Does 40 divide 2/6 + y/r?
False
Suppose -2*z + 11 = -r, -r = 4*r - 25. Suppose -t = -z - 124. Is t a multiple of 25?
False
Let y(c) = c**3 - 9*c**2 - 7*c. Let s be y(9). Let p be (-8 - 49/(-14))*-16. Let x = p + s. Is x a multiple of 3?
True
Suppose 0 = -15*b + 41909 + 17746. Is b a multiple of 50?
False
Suppose -140 = -8*k + 6*k. Let l = -160 - k. Let h = l + 359. Does 43 divide h?
True
Let n = 39 + -39. Suppose n = -0*x + x + 130. Let j = -55 - x. Is 15 a factor of j?
True
Let x = -5471 + 24513. Does 32 divide x?
False
Let l be (1 - 1) + (-5 + 1)*-1. Suppose -4016 + 1013 = -5*q + d, l*d = -12. Suppose -5*c = -3*o + 5*o - 372, 3*o - 3*c - q = 0. Does 9 divide o?
False
Suppose 10*i - 471315 = -12*i + 7*i. Is 207 a factor of i?
False
Let m(s) = 64*s**2 + 1. Let w be m(1). Suppose -3*v = -3*d + 57, -2*d - 5*v + 8 + w = 0. Suppose -d*c + 29*c - 275 = 0. Is 18 a factor of c?
False
Let u = 114 + -90. Let d be u*-7*(-2)/4. Let m = 77 + d. Is m a multiple of 23?
True
Let f(z) = -z**3 + 23*z**2 - 39*z - 25. Let h be (-2)/12 + 1016/48. Is f(h) a multiple of 8?
False
Let b be 816/153*(1 - 46). Let n = b - -369. Is n a multiple of 10?
False
Suppose -4*s = -9*s + 2*r + 110, 23 = 2*s - 5*r. Suppose -s*k + 310 = -19*k. Let t = k - 58. Is 4 a factor of t?
True
Let v = 342 - 339. Suppose h + 3*h - 6612 = x, 0 = v*h - x - 4958. Is 43 a factor of h?
False
Suppose -45*v + 39*v = -30. Let s(y) = 9*y - 5. Let r be s(5). Suppose -15 = -v*g + r. Does 3 divide g?
False
Is 9 a factor of (2155 + (-10)/(-2))*(-1)/(-2)?
True
Let k = -700 + 649. Let a = 411 + k. Is 20 a factor of a?
True
Let x(i) = 9*i + 528. Is 2 a factor of x(-3)?
False
Suppose -r + 11 = 3*l - 48, 5*l - 3*r = 103. Let s = l + 24. Is 4 a factor of s?
True
Let n = 931 - 1701. Does 27 divide (0 + (-2187)/(-2))*n/(-1155)?
True
Let b = -66 - -64. Does 7 divide ((-15)/(-2))/(2*b/(-8))?
False
Let f = 371 + -335. Is (144 - 0)*(f/(-27) - -2) a multiple of 12?
True
Let f(n) = 3*n**3 - 237*n**2 + 137*n - 543. Is 10 a factor of f(79)?
True
Suppose 3*y + 0*y + 441 = 0. Let z be 6 + 22940/(-16) - 2/8. Is z/y - (-4)/14 a multiple of 10?
True
Let j be 8/6 - (-2 - (-15302)/(-21)). Suppose 8*d - j = 3948. Is 15 a factor of d?
True
Suppose 3859 = -19*m - 511. Let y = -22 - m. Is 8 a factor of y?
True
Suppose 2*o = -2*l - 60, -4*o - 6*l = -8*l + 114. Let g = 257 - 376. Let f = o - g. Does 14 divide f?
False
Let s(n) = n**3 - 8*n**2 + 3*n - 9. Let q be s(5). Let g = -66 - q. Suppose 4*p + b - 597 = 0, g*p = -b + 221 + 226. Does 25 divide p?
True
Suppose -159*b + 117078 = -102*b. Is b a multiple of 13?
True
Let y be (-4)/(-3) - (-2)/3. Let k be (0/1 + 1)*y. Suppose -4*f = 4*d - 220, 6*d = k*d + 8. Is f a multiple of 18?
False
Does 77 divide (-994781)/(-994) + (-6)/(-28)?
True
Let k(u) be the first derivative of 46*u**3/3 - u**2 - 43. Is 8 a factor of k(-1)?
True
Suppose 5*o + 3*v + 2*v = 0, 0 = -3*o - 5*v + 4. Is (21 - -243) + (1 - (-4)/o) a multiple of 9?
False
Let o be 4/8*-6 + (88 - 0). Suppose -3190 = 75*a - o*a. Is a a multiple of 9?
False
Does 209 divide 41803 - 5*(-8 + 129/15)?
True
Let a = -67 + 71. Suppose a*t = 2*o + 5*t + 100, 0 = 4*o + 4*t + 204. Let m = 4 - o. Is 16 a factor of m?
False
Let y(q) = 7*q + 47. Let u be y(-11). Let l be (-5 + 2)/(-4 - 102/u). Suppose -4*g + 763 = l*v, 42 = v - 2*g - 105. Does 32 divide v?
False
Let k = 143 - 126. Suppose -k*r - 1307 + 4452 = 0. Is 37 a factor of r?
True
Let l(y) = y**3 + 16*y**2 + 6*y - 17. Let z be l(-15). Suppose 0 = 11*x - 10*x - z. Is x a multiple of 16?
False
Let n(r) = -6*r + 19. Let v be n(4). Is 4/v - (-3145)/25 a multiple of 18?
False
Let d = -73 + 56. Let v(j) = 5*j - 16. Let n be v(d). Let q = 5 - n. Does 42 divide q?
False
Let r(p) = p**3 - 6*p**2 + 6*p + 2. Let d be r(5). Suppose d*t = -9*t - 672. Is (-286)/(-6) - 14/t a multiple of 6?
True
Let n(i) = -i**2 - i + 2. Let o be n(4). Let g = -2128 + 1800. Is 2 a factor of g/o - (-26)/(-117)?
True
Let t(n) = -68*n - 54. Let v be t(-4). Let s = -140 + v. Is s a multiple of 39?
True
Let x(o) = 4*o - 8. Let d be x(6). Suppose -120 + d = 4*r. Does 20 divide (-4)/r + (-12612)/(-156)?
False
Let p(s) = 7*s**2 - 44*s - 316. Is 4 a factor of p(-17)?
False
Let c(f) be the first derivative of 0*f - 13 + 1/2*f**2. Is c(6) a multiple of 3?
True
Suppose -531*r = -529*r + 3*h - 16123, -r + 8066 = -3*h. Does 135 divide r?
False
Is (-1350698)/(-621) + 6/(-162) a multiple of 15?
True
Suppose 4*h + 2*w - 15 = 7, -4*h - 4*w + 24 = 0. Suppose y + 0*c + c = 0, 0 = -5*y - c. Suppose 5*g - 4*u - 90 = y, -h*g + 62 = -u - 13. Does 10 divide g?
False
Let x(s) = -s**3 - 3*s - 8*s**2 - 7 + 18 + 21*s - s + 8*s. Does 14 divide x(-11)?
False
Suppose -3*u = -2*u. Suppose -26 = -5*b + 4. Suppose u = b*v - 2*v - 40. Does 6 divide v?
False
Let r be -7*((-92)/28 - -3). Suppose 0 = 2*j - 4*z - 6, 4*j + j - 27 = -r*z. Suppose n - 131 = -j*y, 3*y + 4*n - 79 = 3*n. Does 7 divide y?
False
Suppose -2*d + 5*j = -108, -8*d + 11*d = 2*j + 140. Does 33 divide (-4)/22 + 12372/d?
False
Is 6 a factor of -435 + 420 + (10806 - -1)?
False
Let l = 9 + -6. Suppose -3*d - 243 + 3 = -l*i, 5*i + 5*d - 350 = 0. Is (12/15*-2)/((-3)/i) a multiple of 6?
False
Let y = 885 - -850. Is 42 a factor of y?
False
Let m(c) = c**2 + 4*c - 20. Let n be m(-6). Let r(v) = -v**3 - 5*v**2 + 13*v - 13. Does 3 divide r(n)?
True
Let j(v) = -v**3 + 22*v**2 - 20*v + 95. Does 66 divide j(18)?
False
Suppose 3*j - 2*u - 28 - 3 = 0, -5*j + 2*u = -57. Suppose -j*d + 1733 = -1491. Is d a multiple of 62?
True
Let h(v) = v**3 + 6*v**2 + 3*v + 20. Suppose -10 = -k - 15. Let i be h(k). Suppose -25*q = -i*q + 1110. Does 37 divide q?
True
Suppose 440 = -3*y - y. Suppose 0 = -3*z - 2*s - 239, 2*z - s - 26 = -183. Let w = z - y. Is w a multiple of 5?
False
Suppose -76032 = -78*o - 21*o. Does 16 divide o?
True
Suppose g + 411 = -157*t + 156*t, 847 = -2*t + 3*g. Let k be (-40)/7 + (-2)/7. Is k/4*t/24 a multiple of 13?
True
Let v be (-174)/7 + 12/(-84). Does 4 divide (5/(v/(-10)) - 1)*14?
False
Let s = 222 + -250. Let h = s + 66. Is h a multiple of 19?
True
Let a(g) = 2*g**2 - 5*g - 1. Let v be a(3). Let i be (5/(-2))/(1/v + -1). Suppose -i*c + 2*r = -82, 4*c + 18 = 3*r + 78. Does 6 divide c?
True
Let l = -31 - -35. Suppose 0 = -5*f + s - 1, 5*s - l = 2*f + s. Suppose f = -4*x + 50 + 2. Is x a multiple of 13?
True
Is 11/(-2)*49/((-686)/8288) a multiple of 22?
True
Let f(n) = -n**2 - 9*n + 6. Let p be f(-10). Let b(y) = -197*y - 2*y**3 - 3*y**2 + 194*y + 1 + 0. Does 31 divide b(p)?
True
Let y = 166 + -121. Let z = y - -21. Does 22 divide z?
True
Suppose 2*d + 960 + 11292 = 5*d. Is 12 a factor of d?
False
Let x(m) = 9*m - 19. Suppose 3*z = -9, 13 = -a - 4*a - z. Let u be 25/((a + 4)/2). Is x(u) a multiple of 30?
False
Suppose -34561 - 61857 = -27*o + 52676. Is o even?
True
Let j(v) = -v**3 - 16*v**2 + 16*v - 14. Let h(k) = k - 2. Let x be h(-15). Let p be j(x). Suppose -2*b + 56 = 4*u, -3*b + 32 = p*u - 7. Is 3 a factor of u?
True
Is (15488/(-55))/(23/(-115)) a multiple of 8?
True
Suppose -425*j + 160*j + 371000 = 0. Is 28 a factor of j?
True
Let o(v) = v**3 + 10*v**2 - 17*v - 52. Let d be o(-8). Suppose 364 + d = -6*y. Let w = 18 - y. Is w a multiple of 19?
True
Suppose 35 = -116*u + 123*u. Suppose u*t - 2215 = -k, -1729 + 408 