w + 7*w - 5*m, 5*w + 5*m + 6990 = 0. Let p = w + 2656. Is 57 a factor of p?
True
Suppose 17*i - 29504 = -6197. Does 28 divide i?
False
Let a = 10625 + -3311. Is 46 a factor of a?
True
Let y = 4832 + -3427. Suppose -9*b = -y - 1133. Let s = b - 162. Is s a multiple of 12?
True
Suppose 0 = w + 4*n + 152, -2*w = -w + 2*n + 144. Suppose 241 = -3*y + 823. Let j = w + y. Is j a multiple of 29?
True
Let k = 9 - 16. Let a(o) = 11*o**2 + 5*o - 6. Let p(f) = 20*f**2 + 10*f - 11. Let t(y) = 11*a(y) - 6*p(y). Does 14 divide t(k)?
True
Let b = 8 - 24. Let k be 22/8*2*16. Let p = b + k. Is 8 a factor of p?
True
Let o(m) = -m**3 - 9*m**2 - 15*m. Let p be o(-7). Suppose p*s = -101 + 339. Is 34 a factor of s?
True
Suppose 20*s - 50 = 10*s. Suppose 5*j - 2*y - 456 = -0*y, s*y = 2*j - 195. Is 11 a factor of j?
False
Let z(f) = 437*f**2 - 188*f + 721. Is z(4) a multiple of 62?
False
Let v = 308 + -305. Is 20 a factor of v*(8/3 - 4) - -64?
True
Suppose -13*o - 8 = -17*o. Let s be (-159 - (-6 - -8))*(-2)/o. Suppose 3*n - s = -5*k, -3*n + 5*k + 157 = 6*k. Does 4 divide n?
True
Let u(a) = -a**3 + a**2 - 2*a - 6. Let i be u(-2). Suppose 5*t + i = 7*t. Suppose 562 + 113 = t*w. Is 27 a factor of w?
True
Let j = 48594 - 11814. Is j a multiple of 15?
True
Let r(l) = 2*l. Let t be r(2). Let n be (-165 - -162)/(7/(-4) - -1). Suppose 0*z - 1 = -z, -t*f + 20 = -n*z. Does 6 divide f?
True
Is 69 a factor of 490*(-8 + 52/8 - (-4245)/70)?
True
Let y = 2754 - 781. Is y a multiple of 4?
False
Let q = -1273 + 759. Let l = -467 - q. Is 47 a factor of l?
True
Let a = 3253 - 1149. Is 45 a factor of a?
False
Let d(g) = g**3 + 80*g**2 - 248*g + 177. Is d(-81) a multiple of 25?
False
Suppose -15*p + 775 - 250 = 0. Let a(x) = 16*x - 296. Is a(p) a multiple of 11?
True
Let g = 4105 - 168. Is 127 a factor of g?
True
Suppose 4*i + 5*h = 4145, -5*i + 330*h = 329*h - 5232. Does 55 divide i?
True
Suppose -21*h + 23*h - 20 = 0. Suppose 14 = o + h. Suppose 5*r + x - 5*x - 68 = 0, o*x + 32 = 2*r. Is r a multiple of 6?
True
Suppose -142226 + 447104 = 98*b. Is b a multiple of 7?
False
Let h(x) = 2*x**3 - 2*x**2 + 1. Let a(s) = 16*s + s**3 + 100*s**2 - 212*s**2 + 21 + 101*s**2. Let p be a(9). Does 37 divide h(p)?
True
Let t be (8/12)/(10/255). Suppose -t*d + 24 = -13*d. Is 2 a factor of 2 + 2/1 + d?
True
Let h(w) = 35*w**2 - 14*w + 8. Let o be h(9). Suppose 32*j - 963 = o. Is 9 a factor of j?
False
Suppose -4*w = t - 2*w + 290, 864 = -3*t - 3*w. Let k = t - -1251. Does 31 divide k?
False
Let z(s) = 292 + 73*s**2 + 12*s - 293 - 14*s. Does 4 divide z(-1)?
False
Suppose -5142 = 9*o - 110478. Suppose 21*u = 10*u + o. Is u a multiple of 92?
False
Let p(s) = -36*s + 18. Suppose -5*k + 13 = -12, 4*x - 4*k + 48 = 0. Let t be p(x). Suppose -2 = a, t = 4*o + 3*a - 144. Does 21 divide o?
True
Let z(n) = -8*n**3 + 21*n**2 + 24*n - 41. Does 302 divide z(-16)?
False
Let d = -48612 - -79638. Does 22 divide d?
False
Let k(a) = a**3 + 6*a**2 - 8. Suppose 9*t - 35 = 73. Suppose -3*v + 4*x + t = 0, 3*v + x = -x + 12. Is 7 a factor of k(v)?
False
Suppose -3*f - 2*q + 517 + 614 = 0, -3*f + 5*q + 1110 = 0. Suppose 3*t = 5*r + f, 64 + 51 = t - 5*r. Is t a multiple of 3?
False
Let z = 114 - 34. Let i = -1761 + 1764. Suppose -i*y + z = 5*y. Is y a multiple of 5?
True
Let d be ((-44)/12*-9)/3. Suppose -39 = -12*n + d*n. Is 3 a factor of n?
True
Let d = -3438 - -7551. Is d a multiple of 56?
False
Let w(z) = z - 86. Let q be w(16). Is (2 - q) + (1 - 3) a multiple of 14?
True
Let u be 12/4*(-80)/(-24). Suppose 582 = -u*s + 2342. Is s a multiple of 3?
False
Suppose -4*t + 4*a = 5 - 21, -10 = -2*t + 3*a. Let l be ((-18)/12)/(t/(-4)). Is 22 a factor of (-52)/(-1*2/l)?
False
Suppose -12 = 3*c, -73*c - 147522 = -5*u - 70*c. Does 22 divide u?
True
Suppose 27*y = 3*y + 3840. Suppose -3*l = -508 + y. Is l a multiple of 58?
True
Suppose 0 = 11*g - 71837 - 37778. Is 36 a factor of g?
False
Let i = 53 - 30. Suppose -670 = -25*q + i*q. Is 67 a factor of q?
True
Let c = 134 + -82. Is 13 a factor of (-3 - c/6)/(5/(-165))?
False
Let y = 119 - 85. Let b(c) = 2*c**3 - 35*c**2 - 66*c + 6. Let q be b(-2). Let w = y + q. Does 15 divide w?
False
Suppose 0 = -34*h + 46298 + 177 + 19689. Is h a multiple of 100?
False
Suppose -y = 4*u - 5, -4*y + 4*u + 56 = -44. Suppose -4*n + 3*x + 204 = 0, 20*n - y*n - 4*x + 32 = 0. Is n a multiple of 2?
True
Let r = 94 + -94. Suppose 10*w - 5*o - 692 = 7*w, r = -3*o + 6. Is w a multiple of 22?
False
Let y be (-84)/(-18) - ((-14)/6 + 3). Let w be -1*(-6 + 3) + y + -8. Is 10 a factor of ((-7)/(-14))/(w/(-60))?
True
Let t(l) = -3*l**3 - 85*l**2 + 41*l + 606. Is 42 a factor of t(-36)?
True
Let c = 3656 + -2530. Suppose 4*q - c = 2*r, -4*q - q + 1415 = -5*r. Suppose -f + 5*f - q = 0. Is f a multiple of 9?
False
Let m(o) = o**3 - o**2 + 9*o - 10. Let k be m(7). Suppose 4*h + 7*h = -h - 492. Let w = k + h. Is 17 a factor of w?
True
Let d(r) = 146 - 9*r - 229 + 136. Is 7 a factor of d(-4)?
False
Let c(q) = 20 + 16*q**2 + 5*q - 15*q**2 - 32. Is 18 a factor of c(-11)?
True
Let r be 2 + 4/(-20)*0. Suppose -r*h = 4*q - 206, 2*q - 171 = -2*q + 5*h. Suppose -3*i + x + 59 = -i, 2*i - q = -x. Does 5 divide i?
False
Suppose 358*u + 354*u = 710*u + 11408. Is u a multiple of 46?
True
Suppose -3*z + 1906 = -4*p + 6*p, 5*z = 4*p + 3184. Suppose 3*o + 252 = z. Does 9 divide o?
False
Suppose -12681 = -373*m + 371*m - u, 5*m = -2*u + 31699. Is m a multiple of 13?
False
Let r = -1470 + 1925. Is 37 a factor of r?
False
Suppose -799 + 2124 = 5*s. Suppose 0 = -4*t + s - 9. Suppose 0 = -f + 241 - t. Is 11 a factor of f?
False
Suppose 5*j + d = -5 - 1, -2*j - d = 0. Let a = 54 - j. Suppose a = -0*s + 2*s. Does 5 divide s?
False
Suppose 0 = -7*b + 8*b + 165. Let d = 325 + b. Is d a multiple of 16?
True
Suppose 0 = -j - 5*h + 4634, -2*j - 4*h + 7497 + 1777 = 0. Suppose v = -3*k + 3503, -5*v + 0*v = -4*k + j. Does 11 divide k?
True
Does 16 divide (-2)/((-14)/494143) - (4028/371 + -11)?
True
Suppose 5*o - 157735 = -3*x, 127948 = -7*x - 2*o + 495977. Is 75 a factor of x?
True
Let h(t) = 5*t - 23. Let m be h(5). Suppose 0 = m*w - 559 + 99. Suppose 4*d - w = 522. Does 9 divide d?
False
Suppose 3183 = -12*y + 16275. Let f = y + -611. Does 40 divide f?
True
Suppose 14*c = 10*c + 20. Suppose 4*p = 4, -2*q - p = -c*p. Suppose -3*u - 4*g = -188, 0*u - 236 = -4*u + q*g. Is u a multiple of 44?
False
Let z(m) = 3*m**2 - 28*m + 101. Let w(o) = o**2 - 9*o + 34. Let c(b) = -8*w(b) + 3*z(b). Is c(9) even?
True
Let p(c) = -c**2 + 4*c + 2. Let u be p(4). Suppose -4*m + 3*t - 71 = 0, -u*t = 5*m - m + 86. Let d = m - -47. Is d a multiple of 6?
False
Suppose 2*p + k - 58 = 0, -4*p + 4*k = -2*p - 78. Suppose -4*t - g = 9 - 23, t - 1 = g. Suppose p - 49 = -t*u. Is 5 a factor of u?
False
Does 22 divide (-1 + -2746)*(-13 - -7)?
False
Let j be ((-91220)/(-36))/5 + 4/18. Suppose 6*o = j + 2529. Suppose 18*u = 304 + o. Is 2 a factor of u?
False
Suppose -2*x - 63 = -3. Let r be 20/(-2 - 63/x). Suppose -83 = 3*w - r. Is 9 a factor of w?
False
Let a(q) be the third derivative of q**6/120 + 3*q**5/20 - q**4/24 + q**3/2 - q**2 - 52. Does 12 divide a(-9)?
True
Suppose -14*g - 133139 = -23*g - 5*j, -4*g + 59169 = 3*j. Does 12 divide g?
True
Let x(b) = 349*b + 194. Is x(7) a multiple of 27?
False
Suppose -391*u - 2469600 = -559*u. Does 25 divide u?
True
Suppose -381 = -17*l + 180. Does 21 divide l*(6 + (-12)/(-9))?
False
Let d = -192 + 152. Let h = 58 - 15. Let u = h + d. Is u even?
False
Suppose -3*h - 20 = -11. Let x(v) = v**3 - v**2. Let d(s) = -2*s**3 - 5*s**2 - 10*s - 7. Let w(o) = h*x(o) - d(o). Is w(9) a multiple of 16?
True
Suppose -u = -5*w - 17215, -18*u - 4*w + 86104 = -13*u. Does 21 divide u?
True
Suppose 3*h + 4*d + 2849 = 0, -5*h + 886 - 5657 = d. Let c = -563 - h. Is c a multiple of 3?
False
Let g = -815 - -857. Is g a multiple of 7?
True
Suppose -3*u - 7503 = -2*g, 10467 + 8322 = 5*g + 3*u. Is 6 a factor of g?
True
Let r = 158 + 177. Suppose r*b = 343*b - 4800. Does 37 divide b?
False
Let y = 23708 - 23287. Suppose 0 = -5*k + 493 + 1952. Suppose -5*g + y = -k. Is g a multiple of 25?
False
Let z(k) = k**3 - 37*k**2 + 13*k + 376. Does 49 divide z(37)?
False
Let j(x) = -2*x**2 - 56*x - 102. Let l be j(-26). Is 47 a factor of (10 - (l + -2))/(6/102)?
False
Let c(q) be