+ 538. Suppose -9*d = -1469 - i. Is d a multiple of 67?
True
Let d = 10 - 6. Let r be 12/(-3) + 85 - d. Suppose -7*l - r = -8*l. Does 11 divide l?
True
Let k(o) = 9*o**2 - 14*o - 6. Let u be k(6). Suppose h - 43 = 3*t + 21, -4*h - t = -321. Suppose h*j - 76*j = u. Is j a multiple of 17?
False
Suppose -5*n - 4 = -3*c, c = 5*n - 9 - 3. Let r(h) = 58*h - 157. Does 15 divide r(c)?
False
Suppose -14*f + 20 = -50. Suppose -f*d = -10, 14*m - 2578 = 12*m + d. Is m a multiple of 30?
True
Let l = -148 - -151. Is 447/l + 1 - (8 + -10) a multiple of 2?
True
Let x(u) = 31*u - 562. Does 3 divide x(33)?
False
Let s = 42 - 5. Let a = s + -31. Suppose 31 = 2*x - k, -4*x + a = -5*k - 71. Does 2 divide x?
False
Let i(c) = 9*c - 6. Let s be i(1). Suppose s*p + 60 = -2*p. Does 11 divide 4*-6*32/p - -2?
True
Let g(s) = s**3 + 39*s**2 - 40*s + 37. Let k be g(-40). Suppose 6667 = k*t - 15940. Is 68 a factor of t?
False
Let r(s) = 81*s**3 + 11*s**2 - 21*s + 56. Does 259 divide r(7)?
True
Is 98 a factor of (-3)/(-12) + 1 + (-1 - (-126095)/4)?
False
Suppose -f - 160 = -9*f. Let j = f - 15. Suppose -j*o = -10*o + 750. Does 27 divide o?
False
Let u(b) = -1251*b**2 + 1252*b**2 + 7*b + 13 + 19. Is 6 a factor of u(-8)?
False
Suppose 171*w - 262808 = 160*w - 83024. Does 6 divide w?
True
Does 74 divide (-305721)/(-54) - 30/(-4)?
False
Let x = -13431 + 24405. Is 26 a factor of x?
False
Suppose 26*x = -27*x + 60261. Does 23 divide x?
False
Suppose -2*w - 1003 = c + 124, -5*w = 4*c + 2819. Let q = w - -1148. Is 39 a factor of q?
True
Suppose 0 = -6*z + z + 50. Let r(n) = -8*n + 113. Is r(z) a multiple of 9?
False
Let u = 279 - 2463. Let s be (-4)/22 + u/88. Let p = s - -109. Is 6 a factor of p?
True
Suppose 62*v = -118115 + 521797. Is v a multiple of 17?
True
Does 8 divide 15014/4 - 10/((-120)/42)?
False
Suppose 8638*p = 8643*p - 107880. Is p a multiple of 186?
True
Suppose -36*i = 35 - 1187. Suppose i*r - 73750 = -18*r. Does 77 divide r?
False
Let d = -52 + 47. Let o be 2 + d + (-12)/(-4). Suppose -13*u + 3*u + 1200 = o. Is u a multiple of 23?
False
Suppose -3*h = 5*g - 21297, -14*g + 7089 = h - 9*g. Is 76 a factor of h?
False
Suppose 111*u = -34*u + 143550. Does 9 divide u?
True
Suppose -2*f = -2*x, -3*x = f + 2*x. Let u be -5 - (-1 - f - 2). Let a = u + 95. Is 10 a factor of a?
False
Suppose g + 210 = 5*x - 147, -5*g - 2*x = 1758. Let t = 784 + g. Is t a multiple of 18?
True
Suppose -3*u + x = -87, -4*x = -x. Suppose 0 = -u*d + 24*d + 1085. Let c = -94 + d. Is 38 a factor of c?
False
Suppose 0 = 4*z - 0*z + 1628. Let v = 619 + z. Is v a multiple of 53?
True
Let j be 2*(5 + -7)/(-2). Suppose 2*u - 272 = -j*w + 156, 0 = -3*u - 4*w + 637. Is u a multiple of 11?
False
Let w = -41 - -44. Let v be (-12)/w - (-35)/10*2. Suppose 4*d + u = 56, v*d + 2*d + u = 70. Is d even?
True
Let w be (-148)/(-185)*440/1. Suppose m = -4*z + 812, -264 = -3*z + m + w. Does 4 divide z?
True
Let q = -484 - -690. Let d = 370 + -488. Let o = d + q. Does 22 divide o?
True
Let q be (2 - -10)*((-1)/(-3) + 1). Is 3 a factor of (q + 0)*(13 - 11)?
False
Let o(l) = -391*l + 1477. Is o(3) a multiple of 2?
True
Let t = -105 + 101. Does 16 divide (t + 180/5)*2?
True
Suppose -3*r + 9296 = -2*m, r + 103 - 3211 = 3*m. Is 19 a factor of r?
False
Let s = -1253 - -3038. Does 15 divide s?
True
Suppose -49*o + 51*o - 4 = 0. Let u = o + 301. Is 57 a factor of u?
False
Suppose -g = -5, -g - 623 = -3*f + 4*g. Suppose 213 = 2*q - t, -2*t - f = -2*q - 0*t. Is q a multiple of 35?
True
Suppose 2*g + 2*m - 7*m + 1 = 0, -g - 4*m + 6 = 0. Let r be g/(6/9*(-9)/(-12)). Suppose -132 = -k + 2*h + 2*h, 4*k = -r*h + 468. Is k a multiple of 20?
True
Let d(b) = 18*b + 6. Let a be d(0). Suppose 4*l - 1079 = -5*j, j - a*l = -4*l + 227. Is 10 a factor of j?
False
Let d(m) = 3*m**3 + 10*m**2 - 122*m + 990. Is 5 a factor of d(10)?
True
Let c = -4634 + 11534. Suppose -c = 21*m - 51*m. Does 23 divide m?
True
Suppose 21*c + 5165 = -2311. Let h = -186 - c. Does 35 divide h?
False
Let p(y) = -6*y**2 - 16*y - 14. Let v(m) = m**2 + m. Let j(b) = p(b) + 5*v(b). Let i be j(-10). Is 15 a factor of (-740)/(-25) + i/(-10)?
True
Is (12/(-9) - 0)*7644/(-4) a multiple of 28?
True
Let m(z) = z**3 + 13*z**2 - 11*z - 3. Let p be m(-16). Let d = p + 947. Is d a multiple of 22?
True
Suppose 0 = -5*q + 9*q - 20. Suppose 0*j = q*j - 2*j. Suppose j = -k + 2*x + 11 + 31, -3*x + 249 = 5*k. Is 8 a factor of k?
True
Suppose -39*g = -32*g - 28. Let z(n) = 4*n**2 - 2*n - 16. Is 10 a factor of z(g)?
True
Let v(a) = 12*a - 81. Suppose -61 = -2*x - 15. Does 9 divide v(x)?
False
Suppose -14*v + 0*v + 70 = 0. Suppose 0 = -h - v*h + 162. Suppose -5*d + 4*w + h = 6*w, 2*w - 6 = -2*d. Does 7 divide d?
True
Suppose 2*q - x - 11508 = 0, 3*x + 23413 = 4*q + 397. Does 6 divide q?
True
Let y be 35/2 + (-4 - 40/(-16)). Let l(a) = -a + 16. Let u be l(y). Suppose 0 = -d - u + 2, -d = 2*g - 28. Does 3 divide g?
False
Suppose -31*n = -4*n - 15363. Let k = n - -31. Is 15 a factor of k?
True
Does 6 divide (102/459)/(2/2988)?
False
Let z be ((-18)/(-42))/((-66)/(-21) + -3). Suppose -4*d + 964 = -z*u, 3*d - 1205 = -2*d - u. Is 16 a factor of d?
False
Suppose -12*r + 12 - 108 = 0. Let l(a) = -6*a**2 + 5*a - 12. Let m(o) = -7*o**2 + 6*o - 13. Let g(v) = -5*l(v) + 4*m(v). Is g(r) a multiple of 31?
False
Suppose 78262 = 2*t + n, 5081*t - 4*n = 5080*t + 39104. Is t a multiple of 67?
True
Let x be (-1)/(15/18)*5. Let u(y) = -2*y**3 + 9*y**2 + 5*y + 35. Let g(c) = 5*c**3 - 26*c**2 - 15*c - 100. Let d(h) = 3*g(h) + 8*u(h). Is d(x) even?
True
Let y(t) = 4*t**3 - t**2 + 5. Let h be y(3). Suppose 14*j = j + h. Does 13 divide 5789/28 - (-2)/j?
False
Suppose 575400 = 159*y - 22*y. Is 70 a factor of y?
True
Suppose -26 = -17*j + 59. Suppose 4*f - j*f + 4*h = -86, 0 = -3*h - 12. Is f a multiple of 2?
True
Suppose 0*s - 12*s + 2268 = 0. Suppose -3*g + 505 = 5*k, k = 6*k - 5*g - 505. Suppose s = k*o - 100*o. Does 9 divide o?
True
Suppose 4*l = 5*a - 7*a + 28, 2*a = -3*l + 24. Suppose -763 = -a*p + 3185. Is p a multiple of 30?
False
Let b(a) = -29*a + 3 + 13*a - a**2 + 18*a. Let m be b(2). Suppose -2*q = -q - m*i - 29, 4*i = q - 31. Is q a multiple of 23?
True
Let j = 4567 - -6618. Does 29 divide j?
False
Let a be 4/(-10) - (-3322)/55. Suppose 5*n - 10 - a = 0. Suppose -n*p + 75 + 653 = 0. Does 10 divide p?
False
Let z = -1667 - -2572. Suppose -14*r - z + 4517 = 0. Is r a multiple of 28?
False
Suppose 230*u - 2330249 - 55771 = 0. Does 10 divide u?
False
Is (-52)/6*(-1539)/6 a multiple of 36?
False
Let j = -36 - -40. Suppose -s + 3042 = j*a - 2*a, 0 = -5*a + s + 7591. Does 31 divide a?
True
Let n(k) = -2*k**3 + 16*k**2 + 18*k + 4. Let h be n(9). Suppose -h*r + 2*r + 12 = 0. Suppose -13*i + r*i + 420 = 0. Is i a multiple of 15?
True
Suppose -2*y + 10 = -y. Suppose -2*b - 5*l = y, -3*b + 2*l + 27 = 4. Suppose -b*x = -x - 76. Is x even?
False
Let f(u) be the third derivative of -u**5/60 + u**4/12 + 629*u**3/6 + 85*u**2 - 1. Does 17 divide f(0)?
True
Let r be 2/(-3) + (-2910)/(-45). Let z = r - -84. Suppose 3*f + z = 7*f. Is f a multiple of 35?
False
Let f(q) = -q**3 + 75*q**2 - 69*q - 860. Does 332 divide f(62)?
False
Suppose -64*u + 5*n = -60*u - 8746, 0 = 2*u - n - 4370. Is 13 a factor of u?
True
Let j = 6388 - 1593. Is 48 a factor of j?
False
Let d(w) = 4*w**2 + 194*w - 334. Is 71 a factor of d(-87)?
True
Let f(v) = -562*v - 4646. Is 129 a factor of f(-113)?
False
Let m = -237 - -219. Let f = 134 - m. Is f a multiple of 19?
True
Suppose 0 = -5*f + 5*a + 55, 5*f - 4*a + 25 = 85. Suppose -f*g + 2646 = -10*g. Is g a multiple of 49?
True
Let d = -136 + 88. Let p = -43 - d. Suppose -3*i + 98 = 3*g - g, p*i + 82 = 2*g. Is g a multiple of 26?
False
Is 7 a factor of 4*13/(-234) - (-84143)/9?
False
Suppose 4*o = 3*o + g - 4, 4*g - 14 = 3*o. Let z = -52 + 74. Let v = o + z. Is v a multiple of 4?
True
Suppose -5*s + 550 = -210. Let l = 583 - 327. Let q = l - s. Is q a multiple of 8?
True
Let f(y) = 3*y**2 - 3*y - 3. Let w(d) = d**3 + 10*d**2 + d. Let n be w(-7). Let k be (-2)/(88/n) + (-6)/(-33). Is f(k) a multiple of 11?
True
Suppose -10*l + 30403 + 10397 = 0. Is l a multiple of 8?
True
Let p = 2452 - 1668. Suppose -4*k - 5*m = -3*m - p, 0 = -2*k + 3*m + 384. Is k a multiple of 7?
False
Let t = -1465 + 35717. Is t a mu