g(22) a multiple of 2?
True
Suppose 2*n - 36279 = 2*y - 2993, y = 4*n - 66599. Does 4 divide n?
True
Suppose 0 = 27*j - 46926 + 6399. Suppose -j - 30119 = -30*m. Is m a multiple of 31?
True
Suppose -2531 - 1184 = -16*u + 3261. Let k = -9 - 292. Let p = u + k. Does 15 divide p?
True
Suppose -63*t = -59*t - 4*j - 112804, 4*j - 4 = 0. Is t a multiple of 59?
True
Let v = -30 + 38. Suppose -2*a = 4*o + v - 882, 4*a = -o + 1748. Is a a multiple of 23?
True
Let x = -10546 + 51106. Is 15 a factor of x?
True
Suppose 12*d - 11*d = 4. Suppose -d*b - 68 = -6*b. Let l = 69 - b. Does 3 divide l?
False
Suppose -119057 = -24*l - 9113. Is l a multiple of 3?
True
Let i(z) = -2*z**2 + 19*z + 3. Let a be i(8). Let o = a + -29. Is o*505/25*(-10)/4 a multiple of 16?
False
Suppose 2*s + 3930 = 7*s + 3*d, -2*s - 3*d + 1563 = 0. Let c = -421 + s. Is 23 a factor of c?
True
Let q(x) = 1002*x**2 - 6. Is 12 a factor of q(3)?
True
Let p(w) = -w**3 - 4*w**2 - 2*w + 6. Let q be p(-2). Suppose 6*z = -q*h + 3*z + 50, 0 = -4*z + 8. Does 14 divide h?
False
Suppose -6*j = -0*j + 834. Let w = j + 409. Is w a multiple of 18?
True
Let m = -121 - 41. Let d = m - -201. Does 13 divide d?
True
Let x(q) = 6*q. Let d be x(-7). Let g = 45 + d. Suppose 297 = g*c - 183. Is c a multiple of 40?
True
Suppose -16 = -3*l + l - 2*s, -17 = -4*l - s. Suppose l*x - 86 = 5*b + 52, 0 = 3*x - 3*b - 138. Is x a multiple of 4?
False
Let n(d) = 454*d - 1206. Is n(14) a multiple of 25?
True
Is 3 a factor of ((-8625)/45 - 5)/(6/(-27))?
True
Let d(x) = -x**3 - 5*x**2 - x + 3. Let s be d(-6). Let t = s - 45. Suppose t - 18 = -o. Does 3 divide o?
True
Suppose 787 = 5*f - 0*f - 3*s, -3*s - 629 = -4*f. Let r = 4511 + -4573. Let j = f + r. Does 16 divide j?
True
Let l = -2347 - -4116. Suppose -16*h + 2087 = -l. Is 3 a factor of h?
False
Let b be 9*1 + -2 + (12 - 8). Let q = 2099 - 1215. Suppose b*r - q = 1492. Does 17 divide r?
False
Let q be 4/(10 + -2)*2732. Suppose -5*j - z + q = 0, 1 = -z + 2. Is 13 a factor of j?
True
Let r(t) = 424*t - 13. Let y be r(-1). Let o = -44 - y. Is 30 a factor of o?
False
Let d(o) = o**3 - 4*o**2 + 4*o - 3. Let n be d(3). Let h be (n + -4 + -5)/1. Let w = h - -32. Is w a multiple of 14?
False
Suppose 0 = 4*x - t - 17 + 9, 4*x = 3*t. Suppose -26*c + 19987 = -x*c. Is 79 a factor of c?
True
Suppose 138236 = 23*q + 2076. Suppose -6*o = -q - 80. Is o a multiple of 25?
True
Does 34 divide ((-2601)/4)/(-3)*(-3240)/(-243)?
True
Suppose -37487 = -13*c + 331725 + 141714. Is 51 a factor of c?
False
Suppose 4*s - 19172 = 4*r, 10*s + 3*r - 23965 = 5*s. Does 13 divide s?
False
Suppose 141*l - 108*l - 447810 = 0. Is 46 a factor of l?
True
Suppose 11*f - 12 = 10. Does 68 divide 9 + 95/(-10) - (-455)/f?
False
Suppose -7138 = -3*l + 4*w, 0 = 4*l + 17*w - 15*w - 9554. Is 7 a factor of l?
False
Suppose -3*z + 19 + 10 = t, 0 = t - 4*z - 64. Suppose 0*h - 12 = -3*h, -2*h = 3*j - t. Does 9 divide 1*j/(-16)*-24?
True
Let d = -741 - -1061. Suppose -d*i = -322*i + 60. Is i a multiple of 4?
False
Let n(b) = 94*b**3 + 4*b**2 + 25*b - 122. Is n(4) a multiple of 67?
False
Let s(h) = -23*h**3 - 3*h**2 - 3*h - 5. Let b be s(-2). Suppose -b = -7*u + 72. Is 3 a factor of u?
False
Suppose 12 = m - 10. Is 61 a factor of 0/2 + (m - -296)?
False
Let s = 4705 + 160. Does 7 divide s?
True
Let y be (3 - 0)*(-82)/6. Let k = 22 - 93. Let r = y - k. Is r a multiple of 9?
False
Is (762/27)/((-14)/6426*-17) a multiple of 6?
True
Suppose 10*z - 2817 = 36383. Is z a multiple of 40?
True
Is (-267)/(12*(-12)/3072) a multiple of 8?
True
Let j = 37646 - 12469. Is j a multiple of 160?
False
Let k be 1749/17 + (-32)/(-272) - -2. Suppose k*y = -4*f + 103*y + 386, 3*y = 2*f - 181. Does 8 divide f?
False
Let b(o) = -o**2 + 21*o + 27. Let x be b(22). Let d = x + 9. Suppose -403 = -d*h + 353. Is h a multiple of 6?
True
Suppose -4*z - 7 = -19. Is 4 a factor of z/(-1) + 0 - (129 + -372)?
True
Let i = 201 + -196. Is 2905/(49/7) + i a multiple of 10?
True
Suppose -3*j + 3*k + 6798 = 0, -19*j + 22*j = -4*k + 6798. Is j a multiple of 12?
False
Suppose 5*a - 34710 = -5*w, -w + 4*a + 6960 = 8*a. Is 51 a factor of w?
True
Suppose 4*c - 2794 = -3*u, -7*u = 2*c - 4*u - 1400. Suppose -37*p + 38*p - c = 0. Is p a multiple of 41?
True
Suppose 4*f + 11374 = 25*f - 10*f. Is f a multiple of 22?
True
Is 183 a factor of -1*-3*(-12)/18*-2498?
False
Suppose -470*m - 44304 = -483*m. Does 31 divide m?
False
Let s(q) = q - 16. Let o be s(13). Let p be 0 - 4 - o/3. Let n(k) = -k**3 + 3*k**2 + 4*k + 4. Does 14 divide n(p)?
False
Suppose 2*r + 0*o - 4*o = -66, 0 = 2*r + 4*o + 74. Let g(y) = 13*y + 1. Let l be g(-2). Let k = l - r. Is 5 a factor of k?
True
Let c be (10/9)/((-6)/(-54)). Suppose 3*y + 76 + 9 = j, c = -5*y. Is 13 a factor of j?
False
Let m = -48 - -59. Let u(q) = 1 - 4*q - 17*q**3 - 14*q**2 + 5*q**3 + m*q**3. Does 19 divide u(-14)?
True
Let i be (-2)/4 + (-836)/(-8). Suppose 3*r + 4*n - 31 = 2*r, 3*n - i = -5*r. Suppose 14*z + 35 = r*z. Is z a multiple of 2?
False
Let t = 19673 + -11993. Is 62 a factor of t?
False
Suppose 0 = -y - 2*v + 1432, 0 = v + 4 - 7. Is y a multiple of 31?
True
Let z(p) = 41*p**2 + 173*p + 135. Does 25 divide z(-27)?
False
Suppose -14*s + 13375 + 57017 = 0. Let q = s + -3163. Is q a multiple of 83?
False
Let i = 1382 - 446. Is i a multiple of 24?
True
Suppose -9*h - 19 = 71. Is 9 a factor of ((-745)/10)/(h/20)?
False
Suppose -4*i = -3*i - 2. Suppose -3*h = -4*o - 12, -3*h = -3*o + i*h - 9. Is 9 a factor of (3 + -7 - -43) + o?
True
Suppose -s - 33*w = -34*w - 6246, 3*s - 18708 = -2*w. Is 15 a factor of s?
True
Suppose 0 = 12*v - v - 77. Let b(n) = 2*n**3 - 4*n**2 + 5*n - 13. Is b(v) a multiple of 23?
False
Suppose 0 = -o + 133 + 187. Let d = 725 - o. Is d a multiple of 5?
True
Suppose 2*u - 29 = -3*b, -5*u + 30*b = 26*b - 84. Suppose -802 = -u*w + 782. Is 33 a factor of w?
True
Let m = 36 + -34. Suppose -4*n + m*r = -756, 7*r - 944 = -5*n + 10*r. Is 2 a factor of n?
True
Does 15 divide 23/46 + (3 - 5)*79148/(-16)?
False
Let g(q) = -q**3 + 14*q**2 - 2*q + 13. Let r be g(14). Does 37 divide -962*(-4 + r/(-6) + 1)?
True
Let t(k) = k**3 - 28*k**2 - 384*k + 47. Does 34 divide t(39)?
True
Let j(q) = -106*q + 226. Let b be j(22). Let u = b + 3213. Is u a multiple of 9?
True
Suppose 2*c = 5*y - 170, -5*c - 122 - 33 = -5*y. Suppose -22*f - 4928 = -y*f. Is 16 a factor of f?
True
Suppose -4*p + 44 = -5*x + 124, -2*x + 32 = p. Suppose x*u - 98 = 2*u. Let q(f) = 9*f - 12. Is q(u) a multiple of 17?
True
Let h = -3292 - -8284. Is h a multiple of 26?
True
Let a(s) = -2 - 8*s + 5*s + 7*s + 6 + 99*s**2 + 0. Does 3 divide a(-1)?
True
Let o(b) = 88*b - 69. Let f be o(6). Let v = 596 - f. Is 6 a factor of v?
False
Let x = -306 + 622. Suppose 20*g - 18*g - 546 = 0. Suppose 4*t - x + 103 = 3*y, -3*y + g = 5*t. Does 27 divide t?
True
Suppose 23*x - 204006 - 73903 = 0. Does 56 divide x?
False
Suppose -6*f + 7637 = -13573. Is f a multiple of 9?
False
Suppose 91 + 99 = 5*i. Suppose -5*g - 5*z + i = -3*g, 0 = 4*g - 3*z - 128. Is g a multiple of 5?
False
Let x = -1997 - -5213. Suppose -x = -0*v + 8*v. Does 22 divide (v/36)/((-3)/18)?
False
Let c = -8544 + 9720. Is c a multiple of 4?
True
Let x = -4716 - -6796. Is x a multiple of 19?
False
Suppose -41*v = -31*v - 1060. Suppose 5*r + 4*o + 92 = 8*r, 4*r - 2*o - v = 0. Is r a multiple of 12?
True
Suppose -12 = 3*f, -3 = -2*w + 2*f + 9. Suppose w*s - 1140 = -0*s. Is s a multiple of 30?
True
Is 192 a factor of 1511/((1/20)/(78/195))?
False
Suppose -w + 6159 = -4*o, 6*w = 3*o + 17313 + 19557. Is w a multiple of 3?
False
Suppose 9570 = -105*a + 107*a. Is 33 a factor of a?
True
Suppose 51*p + 1368 = 55*p. Suppose p = 9*q - 7*q. Suppose -5*o + 114 + q = 0. Is o a multiple of 19?
True
Let t(b) be the second derivative of 59*b**4/12 + b**3/2 - 11*b**2/2 + b + 35. Does 8 divide t(2)?
False
Let m = -11 - -13. Let r(g) = 9*g**3 + m*g**2 + 6 - 4*g**3 - 2*g**3 - 6*g. Is r(3) a multiple of 21?
False
Let b be (3/2)/(-6 + (-255)/(-40)). Suppose -10*z + 1666 = b*a - 12*z, 4*a - 3*z - 1663 = 0. Is 44 a factor of a?
False
Suppose 3*c = 1720 + 1352. Suppose 0*u - 4*s - c = -5*u, -3*u + s + 613 = 0. Is 12 a factor of u?
True
Let d(t) = -3*t**2 - 6*t - 1. Let l be d(6). Let i be -5*8/420 - (-11176)/42. Let z = l + i. Does 34 div