ppose x - 2*q - 14 = 0, 3*x - 34 = -9*q + 13*q. Suppose -23*d = -x*d - 9299. Does 5 divide d?
False
Suppose 36350 = s + 3*g, 5*s + 5*g - 202321 = -20541. Does 291 divide s?
False
Let l be (-9 - -1) + 32159 + 10. Suppose 9339 = 50*g - l. Does 25 divide g?
False
Suppose -3*g + 49 + 245 = 0. Let s be -5*(5 + -6) - 6. Let j = g + s. Is 10 a factor of j?
False
Suppose -332 = -4*y + 652. Let s be (-9 - -13)/((-1)/(-3) + -1). Does 3 divide (y/9)/1 + s/18?
True
Suppose 0 = -2*t - 7*t + 24*t - 274230. Does 14 divide t?
False
Suppose 0 = 2*l + t - 71, 0 = 4*l - 3*t - 98 - 19. Let q(y) = -26*y**3 - 2*y**2 - y. Let a be q(-1). Let j = l - a. Does 2 divide j?
True
Is 46 a factor of (12170*1)/(((-4)/(-13))/((-112)/(-728)))?
False
Let n(c) = 4003*c - 430. Does 112 divide n(11)?
False
Let v be 8/(-44) + (3 - 36/44). Suppose -2*d = 0, 0*q + v*q = -5*d + 152. Is q a multiple of 36?
False
Is -2344*1/((-11)/(-33)*3/(-26)) a multiple of 13?
True
Suppose 0 = -7*t + 8*t - h - 3, t + 4*h - 28 = 0. Let o(l) = 6*l + 149. Is 7 a factor of o(t)?
False
Suppose d + 2 - 10 = 0. Let r be (234/(-12))/((-2)/d). Suppose -3*a = -9, 2*o = 5*o - 2*a - r. Does 14 divide o?
True
Let a(s) = 3*s**2 - 35*s + 10. Let q be a(11). Let u = q - 24. Let n = u + 71. Does 7 divide n?
True
Let h = 26869 - 25873. Does 6 divide h?
True
Let m(q) = 1866*q**2 + 36*q - 14. Is 21 a factor of m(2)?
False
Suppose 2*z - 30 = -s + 5*s, 3*z + 3*s = 0. Suppose -4*i + g + 1288 = 0, z*g - 563 + 1546 = 3*i. Is 10 a factor of i?
False
Suppose 0 = -0*t + 2*t - 150. Let m be ((-6)/(-5))/((-15)/t). Let p(v) = v**3 + 6*v**2 - 3*v - 9. Does 4 divide p(m)?
False
Suppose -74*y = -305*y + 3385998. Does 158 divide y?
False
Let x(w) = -4*w + 37. Let m(d) = 17*d**3 - d**2. Let u be m(1). Let a be x(u). Let q = -16 - a. Is q a multiple of 11?
True
Suppose 10 = -2*c + 4. Let f be (1304/(-16))/(c/6). Let a = -91 + f. Is 8 a factor of a?
True
Let q(n) = -9*n**3 + 5*n**2 - 3*n - 9. Let h be q(5). Let a = h + 1529. Is a a multiple of 8?
False
Let b(y) = 626*y - 60. Let u be b(6). Suppose 0 = -7*s - 4*s + u. Does 48 divide s?
True
Suppose -193*m = -203*m + 9240. Suppose -3*d = 3*j - m, 5*d + 0*d = -j + 300. Is j a multiple of 10?
True
Let i(a) = -a**3 - a**2 + 17*a + 34. Let d be i(-3). Is (-7 - 13)*(d + -2 - 35) a multiple of 24?
True
Let t be ((-5)/(-30)*3)/((-1)/(-138)). Suppose 87 = 2*u - t. Does 6 divide u?
True
Let o = 75 + -72. Suppose o*n + 5*w = 1070, -5*n + 4*w + 1359 + 449 = 0. Does 15 divide n?
True
Suppose 5*n = 7*n - 4. Suppose 3*o - n*o = 187. Suppose 37 = -3*g + o. Does 15 divide g?
False
Let j = 232 - 241. Is -3197*3/(-27) - (-2)/j a multiple of 64?
False
Let a = -24195 + 50999. Is 12 a factor of a?
False
Let n(m) be the third derivative of m**5/10 - 3*m**4/8 + 11*m**2. Let i be n(3). Let g = i + 63. Is 14 a factor of g?
False
Let r = 7097 + -3731. Is r a multiple of 17?
True
Let b(o) = -o**3 + 4*o**2 + 4*o - 5. Let c be b(4). Suppose 0 = 6*u - c*u + 90. Suppose 0 = -u*p + 17*p + 24. Does 17 divide p?
False
Suppose 0 = 2*x - 30*u + 34*u - 29308, -58574 = -4*x - u. Is x a multiple of 22?
False
Suppose -34650 = -2*w - 10*n + 8*n, 52007 = 3*w - 5*n. Is 43 a factor of w?
True
Suppose -439 = -2*t + 49. Let c = t - 177. Does 3 divide c?
False
Let j = 13 - 13. Suppose -27*i + 3060 - 873 = j. Is i a multiple of 9?
True
Suppose -4*l = 3*l - 84. Suppose -y + 6*y - 9 = 2*h, -4*h + 4*y = l. Let j(b) = -11*b**3 + 2*b**2 + 5*b + 4. Is j(h) a multiple of 10?
True
Suppose -2*q = 4*w - 5368, 0 = -2*q + 46*w - 45*w + 5353. Is q a multiple of 26?
True
Let c = 17032 + -16664. Does 184 divide c?
True
Suppose 10*m - 7103 - 2337 = 0. Does 7 divide m?
False
Let t = 1684 - 1681. Let v(y) = -210*y**3 + y**2 - 1. Let h be v(-1). Suppose -t*u + h = -u. Is 21 a factor of u?
True
Let q be (68/(-8) + 1)*24/10. Let v(u) = u - 19. Let o be v(q). Let i = o - -88. Does 3 divide i?
True
Let l be (98/8)/(21/(-84)). Does 2 divide (-354)/(-14) - (-14)/l?
False
Is 15 a factor of 192/256 + (885/(-4))/(-5)?
True
Let g = 520 + 611. Is 13 a factor of g?
True
Let j = -75 - -67. Let t be (-307)/(-4) + (-2)/j. Let i = -35 + t. Is i a multiple of 21?
True
Let o = 2278 + 1496. Does 74 divide o?
True
Suppose 2*w = 4*w - 4*c + 10, w = -5*c + 23. Suppose 0 = -2238*u + 2210*u. Is 27 a factor of 64 - (w + u + -4)?
False
Suppose 6*v = 13*v. Suppose -20*o + 6*o + 9492 = v. Is o a multiple of 63?
False
Is 12 a factor of (480 - 0)*50/(-625)*-40?
True
Let y = 3 - -181. Suppose 4*r - y = 608. Suppose -5*p + 4*q = -r, -p - p = -2*q - 78. Does 14 divide p?
True
Suppose -25*y + 3971 - 6439 + 24868 = 0. Is 4 a factor of y?
True
Let x(a) = a**3 - 9*a**2 + a - 15. Let q(w) = -5*w**3 - w**3 + 14 - 6*w**2 + 5*w**3 - 2*w + 15*w**2. Let t(o) = 7*q(o) + 6*x(o). Is t(6) a multiple of 16?
False
Let m be (-15)/(-12) + (-17)/68. Is 9 a factor of -3*((-224)/6 + m)?
False
Suppose -2*t + 6807 = j - 877, -15360 = -4*t - 4*j. Does 4 divide t?
True
Is 10 a factor of (19/((-228)/24) + -9)/(1/(-563))?
False
Suppose -k = 3*r - 15732, -1182*k + 78750 = -1177*k - 3*r. Is 12 a factor of k?
False
Suppose -3*g + 2566 = 4*k, 75 = -5*k + 110. Does 94 divide g?
True
Let o(a) = -4*a**3 - 12*a**2 - 21*a - 33. Does 30 divide o(-9)?
True
Suppose -1171 = -7*d + 12*d - t, d - 5*t = -239. Does 7 divide d/(-15)*175/15?
True
Let n be (-905 - 2 - -1)/(9/(-6)). Suppose 180 = 16*a - n. Does 4 divide a?
False
Suppose 8*a + 82*a - 848250 = 0. Is 42 a factor of a?
False
Let c = -61 + 107. Let j be -7 - c/(-6) - (-11)/(-3). Is (j - -1)*(4 + -35) a multiple of 12?
False
Suppose 14 = -5*g - 16, 2*i + 5*g - 17490 = 0. Does 20 divide i?
True
Let b(g) = 6*g**2 - 26*g + 15785. Does 59 divide b(0)?
False
Suppose s + 4*r = 147, 21*r + 284 = 2*s + 19*r. Is s/2*(-40)/(-10) a multiple of 11?
True
Let b = -44 - -66. Let k = 18 - b. Is (k - -3)*-7*17 a multiple of 16?
False
Let j = 8918 - 5887. Is j a multiple of 6?
False
Suppose -6*y = -5*h + 1696 + 5491, y = h - 1438. Is 23 a factor of h?
False
Suppose 2*j - 8 = -k + 4, -3*k = -3*j. Suppose 5*d = -k*z + z + 999, -3*d = 5*z - 593. Does 5 divide d?
False
Suppose 0 = 4*a + 5*j - 220 - 2968, -2*j = -3*a + 2368. Suppose 157*z = 155*z + a. Does 9 divide z?
True
Suppose 0 = -13*v - 8*v + 13524. Let c = -551 + v. Is c a multiple of 4?
False
Suppose j - 12 - 2 = t, -37 = -3*j + 2*t. Suppose -s + j*i = 5*i - 27, 6 = 2*i. Does 7 divide s?
False
Suppose -76*m + 10714 = -65*m. Let g = m + -536. Is g a multiple of 33?
False
Let g(l) = -l**3 + 7*l**2 - 8*l + 15. Let v be g(6). Suppose 53 + v = -4*y. Is 11 a factor of ((-1476)/126)/(2/y)?
False
Let d(u) = -u**3 - 5*u**2 + 48*u + 13. Let x be d(-10). Is 11/x + (-742)/(-6) a multiple of 25?
False
Let t = -94 + 482. Is t a multiple of 4?
True
Let y(i) = 362*i**2 - 31*i + 50. Is y(4) a multiple of 55?
False
Is 43 a factor of (12/9 + -1)/(22/(-352044)*-14)?
False
Let t be (-8 - -13) + -6 - (1 + -9). Suppose -1214 = -t*b + 606. Is 66 a factor of b?
False
Let c(i) = 19*i**2 + 3*i + 8. Let t be c(4). Suppose 2*x - t + 0 = 0. Suppose -5*s + x - 52 = 0. Is s a multiple of 11?
True
Let i = 37603 + -16603. Is 140 a factor of i?
True
Suppose -t + 2 = 19. Let h(c) = -2*c - 44. Let o be h(t). Let i = 48 + o. Does 19 divide i?
True
Let p = 6 + 266. Let h = p + -53. Is 19 a factor of h?
False
Let d(q) = 15*q**2 + q - 2. Suppose 0*y - 7*y = 35. Does 23 divide d(y)?
True
Let p = -28162 + 39992. Is 14 a factor of p?
True
Let u = -64 + 4733. Is u a multiple of 14?
False
Let y(c) = c**3 - 3*c**2 - 8*c + 5. Let b = 41 + -35. Let v be y(b). Let x = 321 - v. Is x a multiple of 21?
False
Let c(s) = -6*s + 55. Let j(f) = -f + 11. Let p(k) = -2*c(k) + 11*j(k). Let m be p(8). Suppose -4*q + 1 = -m. Is q a multiple of 3?
False
Let f = -583 + 613. Does 14 divide ((-939)/6)/((-15)/f)?
False
Suppose -4*f + 0*c = 2*c - 16, -14 = -2*f - 4*c. Let h be 4/6 + (-8)/f. Does 2 divide -1 + (29/2 - (-1)/h)?
False
Suppose 20*v = 1467 + 35313. Let z = v - 893. Is 35 a factor of z?
False
Suppose 13*o - 74 = 121. Let y(u) = u**3 - 16*u**2 + 17*u + 45. Does 9 divide y(o)?
False
Let j = -346 - -210. Let b = 195 + j. Does 9 divide b?
False
Let m(g) = -6*g**2 + 3*g + 47. Let q(t) = -8*t**2 + 3*t + 45. Let i(n) = 2*m(n) - 3*q(n). Is i(-6) a multiple of 4?
False
Does 20 divide 6685 + 5*(-10 