Is 36 a factor of d?
False
Let z = 85 - 68. Let c be (z + 249)*(-1 + 3). Suppose 3*l - c = -0*l - 2*d, 12 = -3*d. Is 24 a factor of l?
False
Suppose -4*r + 3188 = 4*p, 2821*p = 2819*p + 4*r + 1576. Is p a multiple of 56?
False
Let i be (-2)/(-3)*30/(-20). Let s be ((1 + 1)/i + 2)/1. Let a(b) = 3*b + 170. Is 34 a factor of a(s)?
True
Suppose 30*q - 4713 = -4*q + 7187. Does 50 divide q?
True
Let y(p) = p**2 + 17*p + 46. Let l be y(-14). Let d be 7/l - -1 - (-18)/(-24). Suppose -a = d*m - 140, 4*a - 163 - 417 = 2*m. Is 48 a factor of a?
True
Let f = 42843 + -22779. Is f a multiple of 38?
True
Let q = 1533 - 175. Is q a multiple of 62?
False
Does 35 divide (-423)/47*28310/(-45)?
False
Let j(h) = -h + 2. Let o(v) = -v**2 + 3*v. Let m be o(4). Let u be j(m). Let d(q) = -q**2 + 7*q + 1. Is d(u) a multiple of 2?
False
Let m(q) = 16*q**2 + 11*q + 5. Does 36 divide m(-6)?
False
Let o = 1539 - 998. Let w = o - 269. Is w a multiple of 56?
False
Suppose -4*p + 95 + 1665 = 0. Let o = p - 106. Does 21 divide o?
False
Suppose -5 = z - 4*g, -5*z + 25 = -2*g - 4. Suppose 1014 = z*h + 6*h. Is h a multiple of 13?
True
Suppose -3*g - 5*z - 451 = 0, 3*z - 6 - 6 = 0. Let s = g - -256. Is 11 a factor of s?
True
Suppose -26*x = -3*x - 3404. Let f = 252 + x. Does 18 divide f?
False
Let j(i) = -13*i - 3938. Let n be j(0). Is 20/(-16) + (4 - n/8) a multiple of 9?
True
Suppose -9*v + 50767 + 11729 = 0. Suppose -46*q = -15*q - v. Does 11 divide q?
False
Suppose -501*y + 75005 + 57695 = -476*y. Is y a multiple of 2?
True
Let r(u) = -56*u - 29. Let t be r(-6). Suppose 2*l - t = -3*o, 4*l + 0*o - o = 649. Does 7 divide l?
True
Let k = -4324 + 8801. Suppose k = 26*y + 1097. Is 45 a factor of y?
False
Let a(h) be the third derivative of -h**6/120 + 17*h**5/60 - 3*h**4/2 + 8*h**3 - 62*h**2. Does 8 divide a(14)?
False
Let g = 39 - 30. Suppose 0 = 3*v + 5*c + 13, 0 = -2*v - 0*v - 3*c - g. Let b(t) = t**3 + 7*t**2 + 3*t + 10. Is b(v) a multiple of 7?
True
Let i(s) = -5*s**2 + s + 19. Let h(t) be the first derivative of 2*t**3 - t**2/2 - 18*t - 35. Let f(a) = 4*h(a) + 5*i(a). Does 2 divide f(0)?
False
Let j(p) = 6*p**2 + 24*p + 7. Let w be j(-12). Let c = -127 + w. Is 24 a factor of c?
True
Let h = 24 + -256. Let a = h - -456. Is a a multiple of 17?
False
Let k = -3254 + 5473. Is k a multiple of 12?
False
Is 20 a factor of (8732022/520 - 24/(-32)) + 1/(-10)?
False
Let o be 2/(-11) + 7734/66. Suppose -124*w + o*w = -476. Is w a multiple of 17?
True
Let l(g) = 2*g**3 - 8*g**2 + 2*g**2 + 11*g - 21 - 6*g. Is l(6) a multiple of 25?
True
Let h be (-2)/9 + -10*(-91)/126. Suppose -h*w + 3*w = 4*d - 400, 5*d + w - 516 = 0. Does 13 divide d?
True
Let w(v) = v**3 + 6*v**2 + 2*v + 9. Does 161 divide w(8)?
False
Suppose 0 = l + 1, 0 = -15*i + 10*i - 4*l + 77096. Is 10 a factor of i?
True
Let t be 9/4*(-440)/33. Does 20 divide 21*(-12)/54*t?
True
Let q be (-7 + 9)/((-1636)/1644 + 1). Let k = q - 91. Does 25 divide k?
False
Let a be 90/8 + (-21)/84. Suppose 475 = a*t - 10*t - 5*o, 0 = 2*t - 2*o - 918. Is 13 a factor of t?
True
Let q be 21/3 + -2 + (-1 - 2). Suppose 3*k = q*o - 812, -2*o - k = -6*k - 820. Suppose 4*v - o = -v. Does 10 divide v?
True
Suppose -5*j + 3*q = 33 - 293, 0 = 4*q. Let o = -457 + 556. Let v = o - j. Is 37 a factor of v?
False
Let d(c) = 2*c**3 - 39*c**2 + 25*c + 30. Let x be d(19). Suppose 8*u - 2*v = 3*u + 692, -x = -u - v. Does 55 divide u?
False
Let g be (2476/12 - -4)/((-14)/(-42)). Let a = g + -471. Does 3 divide a?
False
Suppose 0 = -71*m + 46*m + 43*m - 52704. Is m a multiple of 183?
True
Suppose -43*f - 4966 = -17*f. Let h = f - -495. Does 8 divide h?
True
Let j be (-2485)/(-781) + (-2)/11. Suppose 7*y = j*y + 748. Is y a multiple of 17?
True
Let l(x) = -x**2 - 7*x - 7. Let b = 27 - 32. Let v be l(b). Suppose 3*a + 3*f - 16 = -2*f, -v*a - f + 32 = 0. Is 4 a factor of a?
True
Let a be -27*-1*(-28)/3. Suppose 5*i - 26 = 24. Is 14 a factor of (a/i)/((-15)/75)?
True
Let c(o) = -o**3 - 6*o**2 + 13*o + 39. Let j be c(-9). Is 33 a factor of (-14)/(-8 - (-1315)/j)?
True
Let d = -70877 - -122789. Is d a multiple of 206?
True
Let v(g) = g + 2. Let m(u) = -14*u**3 + 2*u**2 + 7*u + 7. Let c(t) = m(t) - 3*v(t). Is 6 a factor of c(-1)?
False
Let r(q) = 13*q + 38. Let n be r(10). Suppose 120 + n = z. Is z a multiple of 24?
True
Suppose 0 = -4*g + 8, -5*g + 0*g = -2*q + 1634. Suppose 145*p - 148*p + q = 0. Suppose p + 2 = 4*f - x, -3*f = 2*x - 196. Is f a multiple of 4?
True
Let i(b) = -27*b - 7. Let v(g) = 28*g + 8. Let y(d) = d**3 - 7*d**2 - 9*d + 6. Let o be y(8). Let t(j) = o*v(j) - 3*i(j). Is t(5) a multiple of 34?
False
Suppose 14471 = 3*c - t, -2*c - 613*t + 612*t = -9649. Is c a multiple of 83?
False
Suppose -12*l = 31 - 4531. Suppose l - 2055 = -7*j. Is 15 a factor of j?
True
Let q(u) = 7*u - 27. Let j = 28 - 22. Suppose -36 = -10*m + j*m. Does 8 divide q(m)?
False
Is -14 + (70/(-5) - -5107) a multiple of 11?
False
Suppose -2*a + 7641 = 2984 - 3665. Does 19 divide a?
True
Suppose -d = -4*d - a + 7, -20 = 4*a. Let j be (6/(-9) + d)*(-72)/(-15). Is j + 3 - (6 + -4) a multiple of 17?
True
Suppose -690872 = 37*f - 1394431 - 1135822. Does 227 divide f?
True
Suppose -4*f - f = -10, -2 = -5*x - f. Suppose -4*r - 23 - 1 = x. Is (-172)/10*(r + 1) - -1 a multiple of 12?
False
Suppose -5*k - j = -3*k - 78, 76 = 2*k + 2*j. Let v = k + -34. Suppose -426 = -v*u + 150. Is u a multiple of 12?
True
Let l be (-3 - (-1 - 1))*(-3 - -4). Let t be 402 - 0/(2/l). Suppose -5*h - 4*u - u + 405 = 0, -5*h = 4*u - t. Is h a multiple of 6?
True
Let w be 32/(-6 - 2) + 4. Suppose w = -5*g + 250 + 230. Is g a multiple of 4?
True
Suppose -113*b = -127*b + 62104. Does 73 divide b?
False
Let d(g) = 52*g + 24. Let k(a) = -3*a. Let n(c) = -d(c) - 16*k(c). Let q(m) = 2*m**3 + 5*m**2 + 3*m - 1. Let r be q(-3). Is 26 a factor of n(r)?
True
Suppose -x - 42 = -4*c, -2*c + 7*c + 2*x - 46 = 0. Suppose -18 = -c*t + 9*t. Is 16 a factor of (12 - 6)/(3/t)?
False
Let z be 16*(320/176 - 4/(-22)). Suppose -z = -4*r + 4*k, -4*r - 3*k = 2 - 27. Is r a multiple of 3?
False
Suppose 69*g + 2277 = 61*g + 15765. Does 6 divide g?
True
Suppose 221*u = 201*u + 83380. Is u a multiple of 11?
True
Let f(z) be the third derivative of 1/60*z**5 + 1/120*z**6 + 0*z + 5/24*z**4 + 0 + 14*z**2 + 3/2*z**3. Is 29 a factor of f(5)?
False
Let v(b) = -3*b + 41. Let a be v(-31). Let r = a + -17. Is r a multiple of 21?
False
Let b = 162 - 148. Suppose 0 = -6*i - b*i + 960. Is 48 a factor of i?
True
Let g = 4 - 4. Suppose 37*s - 8*s - 116 = 0. Suppose -3*i = 2*v - 12, -v + g*v - s*i = 4. Does 6 divide v?
True
Let d = 866 + 2502. Is 8 a factor of d?
True
Let c be 10 + (-1 - 0) + -3. Suppose -c = 4*z - 14. Let s = z + 13. Is 15 a factor of s?
True
Let j(t) = -3*t**2 - 4*t + 8. Suppose -x - x + 3 = 5*g, -2*x - 4*g = 0. Let b be j(x). Let h = 119 + b. Is h a multiple of 13?
False
Let h be (0/1)/((-6)/(-6)). Is 36 a factor of 31668/66 + (2/11 - h)?
False
Suppose 4*v + c + 69 = -v, 0 = 5*c - 5. Let d = -4 - v. Suppose d*x = 5*x + 930. Is x a multiple of 31?
True
Let c(q) = 16*q - 21. Suppose 54 - 537 = 7*h. Let v = 76 + h. Does 7 divide c(v)?
True
Suppose 0 = 5*y + 19 - 29. Let l be y*(-3)/(-3)*-3. Is 14 a factor of 67 + -6*3/l?
True
Let l be 210/7*(-276)/(-6). Suppose -87*d + l = -81*d. Does 10 divide d?
True
Let t(k) = -k**3 - 10*k**2 + 9*k - 20. Let c be t(-11). Let j(z) = 347*z + 9. Is 24 a factor of j(c)?
False
Suppose -2*c - w = -c - 8223, 3*c = 2*w + 24669. Does 88 divide c?
False
Suppose -2*q + 62 = 4*l, -3*l + 8 = -5*q - 19. Suppose -3*r - l*x + 12*x = -318, -x - 517 = -5*r. Does 26 divide r?
True
Suppose 6*p + 5 = 7*p, -2*p + 1114 = 2*w. Does 6 divide w?
True
Suppose 3*k = 2*h + 3590, 20*k - 15*k - 8985 = 5*h. Let q = 3577 + h. Does 12 divide q?
True
Let l(a) = 425*a**3 - 2*a**2 - 6*a - 3. Let k be l(-1). Let i = k + 739. Is i a multiple of 27?
False
Let n(y) = -6*y + 115. Suppose -2*p - 5*p + 196 = 0. Let i = -28 + p. Is 23 a factor of n(i)?
True
Let w = 1416 + -845. Suppose -4*c + 493 = -2*r - w, 0 = -4*c - 2*r + 1048. Does 11 divide c?
True
Suppose 2*a - 2*h - 15 - 21 = 0, -4*a + 63 = -h. Suppose -12*q = -11*q - a. Suppose 0 = -q*l + 13*l + 52. Is 11 a factor of l?
False
Suppose 406464 = 17*c + 22*c - 10*c. Is c a multiple of 32?
True
Supp