 n + 2*q - 303 = 0, -1248 = 55*n - 59*n + 4*q. Suppose 220 = 319*t - n*t. Is 2 a factor of t?
True
Let t(k) = -469*k - 20. Let i be t(7). Let u be (i/27)/(-1 - (-4)/6). Suppose -5*d + u - 67 = 0. Does 22 divide d?
False
Let d = 2715 + -2431. Is 4 a factor of d?
True
Let z(j) = -3*j - 28. Let r be z(-6). Let o be (-15)/r + 5/2. Suppose -3*m + 12 = 0, m + 12 = o*s - 40. Does 7 divide s?
True
Suppose -28*p = -32*p + 12. Suppose v + r - 314 = -2*v, -2*v + 200 = p*r. Is v a multiple of 8?
False
Let n = 128 + 8. Let b = 183 - n. Is 12 a factor of b?
False
Let o(g) = 5*g**3 - 3*g**2 - g + 2. Let y be o(1). Suppose -j + 6*j + d = -30735, 18459 = -y*j + 3*d. Is j/(-36) - 6/(-27) a multiple of 35?
False
Let d be 1638 + -3 + (28 - -4)/4. Suppose -16*x + 21*x = -5*f + 2730, 2*f = -3*x + d. Does 31 divide x?
False
Let y be 0/(-1)*(-12 - 735/(-60)). Suppose y = 5*o + 2*c - 2797, 2*o - 5*c = 994 + 119. Is o a multiple of 43?
True
Let t = -34 + 99. Suppose -t*q = -63*q + 18. Let s = 75 + q. Does 37 divide s?
False
Let w(j) = 9*j**3 + 16*j**2 + 241*j - 3499. Is w(13) a multiple of 93?
False
Suppose -20*f - 4289 + 4349 = 0. Let m = 31 + 57. Suppose -f*g - m = -970. Is 14 a factor of g?
True
Let x(d) = 8*d**2 - 9*d + 23. Is 20 a factor of x(-21)?
True
Suppose -60468 = -21*a + 34200. Is 19 a factor of a?
False
Let r(c) = 196*c**2 - 13*c + 14. Let a be r(1). Suppose a = 2*m + 5*l, -4*m + 2*l + 231 + 175 = 0. Is m a multiple of 6?
False
Suppose t - i - 8546 = 0, -5*t + 50848 = -4*i + 8126. Is t a multiple of 6?
True
Suppose 5*k - 1474 = 3*f + 384, k + 3*f - 368 = 0. Let m = 2 - -9. Suppose k = -m*u + 18*u. Is 8 a factor of u?
False
Suppose -a + 1568 = 5*k - 903, a + 4*k = 2464. Does 17 divide a?
False
Let w = -102 - -104. Is 5 a factor of (111*8)/6*w/8?
False
Suppose 4*a = 3*x - 9287 + 407, -3*x - 2*a = -8844. Is x a multiple of 9?
True
Suppose -174*m + 178649 = -367015. Is 2 a factor of m?
True
Suppose -3*z = 3*u + 198, -u + z - 50 = -2*z. Let l be (-3)/18*-2*-3 + u. Let d = l + 139. Does 19 divide d?
True
Suppose t - 5664 = -58*c + 57*c, -4*t - 5*c = -22663. Does 22 divide t?
False
Let g = 198 + -212. Is 2/g - 12369/(-147) a multiple of 12?
True
Let u be ((-2)/6)/(-1 + 41/42). Does 5 divide -48*(1 - 175/u)?
False
Suppose 167 + 152 = 5*x - 4*w, -3*x + 191 = -2*w. Let h(i) = i**3 + i**2 + i - 1. Let s be h(1). Suppose v - 5*p = x + 77, -p = s*v - 324. Is 20 a factor of v?
True
Suppose 0 = -5*p - 2*d + 1351, -4*p + 13*d + 1091 = 18*d. Let g = p - -81. Is g a multiple of 6?
False
Let v be 85 + (-2 - 27/9). Suppose -v*m - 4*b + 545 = -77*m, -b + 718 = 4*m. Does 43 divide m?
False
Let m(o) = -177*o + 3002. Is 20 a factor of m(16)?
False
Let l = 10 + 12. Let a = 22 - l. Is 10 a factor of 47 + 6 + (a - 3)?
True
Suppose 2402127 = -382*v + 431*v. Is 9 a factor of v?
True
Let g = 66 - -689. Suppose -5*w - 150 + g = s, -269 = -2*w + 5*s. Suppose 0 = -2*i + 5*m + 136, -2*i = -2*m + 4*m - w. Does 9 divide i?
True
Let s = 1216 - 2506. Let g = -454 - s. Does 44 divide g?
True
Suppose 2*n = -78 + 340. Let v = 260 - n. Suppose -4*g + q = -4*q - v, g = 4*q + 35. Is 3 a factor of g?
False
Let i = 1274 + -535. Is 7 a factor of i?
False
Let g = -15143 + 22263. Does 12 divide g?
False
Does 107 divide 2/7 - (3068559/(-63))/13?
False
Let i = 2067 + 266. Let v = -1652 + i. Does 43 divide v?
False
Suppose -2*t - 2*t = -m - 19, 2*m - t = -17. Let r(b) = -30*b - 38. Let g(a) = 56*a + 75. Let l(f) = -3*g(f) - 5*r(f). Is 13 a factor of l(m)?
True
Let p(a) = -a**3 + 10*a**2 + 20*a - 73. Let m be p(7). Suppose 2*b = 7 + 1. Suppose -6*j + m = -b*j. Does 36 divide j?
False
Let w = 47 + -46. Let v be w/(213/105 + -2). Suppose -1036 = -13*x - v. Is 11 a factor of x?
True
Let q(c) = -c + 229. Let d be q(-25). Suppose -h + 18*o - 14*o = -73, 0 = 3*h - 5*o - d. Is h a multiple of 3?
True
Let l(j) = -j**2 - j + 6. Let o be l(2). Suppose o = 3*d - 7*d + 8. Suppose d*s - 4*c = -3*s + 508, 4*s - 3*c = 407. Is 52 a factor of s?
True
Suppose -4*q = -2*a - 34, 7*q - 4*a = 2*q + 50. Suppose -3*d + 8*d = 55. Let s = d + q. Is 3 a factor of s?
False
Suppose -129*c - 10 = -134*c, -3*f = -c - 2914. Does 18 divide f?
True
Suppose 2*x + 3*o + 249 = -187, -2*o - 4 = 0. Suppose 2015*y + 13284 = 2051*y. Let q = x + y. Is q a multiple of 16?
False
Suppose -2*c = -0*c - 5*b + 9, -5*b = -25. Suppose -3*f + 3080 = c*f. Does 20 divide f?
True
Suppose 7*p = -8*p - 28*p + 80496. Is p a multiple of 16?
True
Suppose -4*k - 11942 = -2*j, 7 = 5*k + 22. Is j a multiple of 47?
False
Suppose 33408 = 11002*c - 10990*c. Does 32 divide c?
True
Suppose 36*a = -146*a + 1773772. Is 8 a factor of a?
False
Let a be 82 - 3/6*-10. Suppose 9*r - 5*r - 3*b = 179, 2*r = -b + a. Does 11 divide r?
True
Let q = -183 + 185. Let m be -6*(-9 + (1 - -2)). Does 4 divide (q - 6) + m/3?
True
Is ((-723)/(-3) + 1)/1 a multiple of 25?
False
Suppose 3*g + 348 = -111. Let z = -289 - g. Is (z/12)/((-2)/3) a multiple of 17?
True
Let a(q) = q**2 + 11*q + 18. Let p be a(-7). Let d(v) = 2*v**2 - 9*v + 18. Let s be d(p). Suppose x - s = -3*x. Is x a multiple of 23?
False
Suppose 55866 = 1100*q - 1097*q. Is q a multiple of 33?
False
Let g = 4975 + 4587. Is 5 a factor of g?
False
Let j = -23243 - -40978. Is 62 a factor of j?
False
Let d be 15*3*(-34)/(-3). Let i = d - 177. Does 40 divide i?
False
Does 330 divide (-12)/4 - -10302 - -20?
False
Let x(a) = 11*a**2 - 24*a + 229. Does 24 divide x(17)?
True
Suppose -7*g - 2671 - 934 = 0. Let j = g - -1112. Is 7 a factor of j?
False
Suppose -49 = -2*p + 3*z, 0 = -5*p + z + 4*z + 135. Suppose -4*m + 23 = u, 4*m + 1 - 12 = 3*u. Let f = u + p. Is 7 a factor of f?
True
Suppose 4 = f, -3*v - 2*f + 320 = -6*f. Let c = v + -105. Suppose 3*i = c*i - 328. Is i a multiple of 14?
False
Is 9 a factor of (2979/(-15))/(-21 - 2834/(-135))?
True
Is 16 a factor of (18/(-6) - -1221)/2?
False
Does 7 divide (-2)/(-8) + (-37575)/(-500)*5?
False
Suppose -15 = -5*w - 0*w. Suppose 0 = w*i - 9 - 21. Suppose -5*t = -i*t + 90. Is 4 a factor of t?
False
Let l = 59 + -45. Let w be l*-3 - (-3 - -2). Let x = 4 - w. Is x a multiple of 10?
False
Suppose 2*j - 4*j + w = -145, 275 = 4*j + 3*w. Let y = 1017 - j. Is y a multiple of 11?
True
Let h(y) = -y**2 - 33*y + 11. Let p be h(-26). Suppose 4*o + 564 = -q + 4*q, q - 3*o = p. Is 8 a factor of q?
True
Let m(h) = -2831*h + 725. Is m(-5) a multiple of 15?
True
Suppose 0 = -4*k + 19 - 23, 5*y = 2*k + 23102. Is y a multiple of 33?
True
Let a(z) = -22*z - 30 + 12*z + 0*z**2 + 2*z**2. Let w be a(18). Let m = -312 + w. Is 14 a factor of m?
True
Let p(d) = 207*d**2 + 80*d + 4. Is p(4) a multiple of 101?
True
Does 81 divide (12 - (6 - 117))*(-620)/(-6)?
False
Does 96 divide (1 - (-39722)/6) + (-2)/6 + 3?
True
Suppose 313*f - 316*f = -5*o + 28225, 5*f = 2*o - 11309. Is 91 a factor of o?
True
Is 3654/((-651)/(-124) - (3 - (-4 + 2))) a multiple of 87?
True
Does 13 divide (112 - 108) + (0/3 - -8697)?
False
Let f(b) = 6*b**2 - 9*b + 3. Let u(n) = -6*n**2 + 9*n - 4. Let p(k) = -3*f(k) - 4*u(k). Is 67 a factor of p(4)?
True
Suppose -4*k = -1655 - 1005. Suppose -18*j + 29*j = -110. Is 21 a factor of 12/j*k/(-38)?
True
Let c = -18272 + 31704. Does 73 divide c?
True
Suppose -7*f - f = -24. Suppose -2*q - 2*l + 1046 = 0, 2087 = -f*q + 7*q + 5*l. Does 33 divide q?
True
Let s be 345/3 + (18 - 25). Suppose 0 = -49*c + 46*c + m + 89, -4*c + 4*m = -s. Does 23 divide c?
False
Let x = 69 + -39. Suppose -3*l = -4*u + 55, -5*u - 4*l = -122 + x. Suppose 0 = -c + 3*j + 17, 2*j - u = -4*c + 10. Is c a multiple of 2?
True
Suppose -31696 = -119*l + 10787. Does 119 divide l?
True
Let o(q) = -143*q - 724. Is 15 a factor of o(-8)?
True
Let h(f) = f**3 - 29*f**2 - 55*f + 264. Is 31 a factor of h(39)?
False
Suppose -5*v = -5*q + 6190, -3*q - q - v = -4972. Suppose 84*h = 81*h + q. Is 23 a factor of h?
True
Let q(n) be the third derivative of n**5/60 + 107*n**3/6 + 37*n**2. Let z be q(0). Is z - (115/30 + (-3)/(-18)) a multiple of 16?
False
Let b be 4/6 + -1 + (-67900)/60. Is 46 a factor of b*1/5*(-5)/2?
False
Suppose -2*s + 5*q + 7 = -66, 2*s + 5*q - 83 = 0. Suppose 44 = a + s. Suppose a*i + n - 114 = 0, -2*i + 0 + 42 = 4*n. Is i a multiple of 3?
False
Suppose -21*v + 9*v + 79656 = 0. Suppose -5*n + 4*q = -v, 3*q - 11 + 17 = 0. Is 51 a factor 