?
False
Let q(n) = -2*n**2 - 3*n + 4. Let k be q(0). Suppose 4*u = 3*j + 41, u - k*j + 20 = 5*u. Suppose u*y + y = 369. Does 9 divide y?
False
Let j = -55 + 58. Suppose -10 = -j*t + 305. Suppose -2*r + 347 = t. Does 27 divide r?
False
Suppose -2019 = -h - 612. Suppose h = 3*t - 741. Does 68 divide t?
False
Let d = 16988 - 1510. Does 221 divide d?
False
Suppose 11*i - 25 + 58 = 0. Let v be (-2)/6 - 196/(-3). Does 13 divide i/(9/3 + (-198)/v)?
True
Let f(g) = 151*g**2 + 10*g + 14. Suppose 4*a + 0 + 16 = 2*d, 5*d + 4*a = -30. Does 26 divide f(d)?
True
Suppose -21*f - 12*f = 71306 - 212282. Is 16 a factor of f?
True
Suppose -2*l + w = 28, 0 = 5*l - w + 32 + 38. Let s(f) = f**3 + 19*f**2 - 12*f + 104. Is s(l) a multiple of 9?
False
Let w be 7312/64 + 21/12. Let b = -32 + w. Does 14 divide b?
True
Let l(f) = -15*f + 2331. Does 13 divide l(-58)?
False
Suppose 0 = -4*y + 2*q + 962, 5*y = -11*q + 16*q + 1215. Suppose -5*k + 0*i = -i + 405, -4*i = k + 81. Let o = y + k. Is 11 a factor of o?
False
Suppose -45*c + 47*c + 2*m = 6, 5*m - 15 = -4*c. Suppose 6*y - 3894 + 90 = c. Does 24 divide y?
False
Let x(c) = c**3 - 3*c**2 - 19*c + 24. Let d be x(7). Let q = d + -55. Does 4 divide q?
True
Suppose -3*b = 2*p + 5, 11*p - 7*p - 5*b = 45. Suppose 0 = -5*h - p*w + 845, -3*h - 2*w + 170 + 332 = 0. Is 41 a factor of h?
True
Let i = 156 - -9. Suppose 13*a - 10*a - i = 0. Is a a multiple of 11?
True
Suppose d = -2*h - 7, -2*h = h - d + 13. Let p be 1*(-5 - h) - 26. Is 7 a factor of (-2 + -1 + 1)*(p + 13)?
True
Suppose 0 = 2*r + 9*r - 165. Let a(y) = 28*y + 68. Is a(r) a multiple of 49?
False
Suppose -52*c = -54*c - 428. Let h = c + 478. Is h a multiple of 24?
True
Let g be (8/12)/(6/(-81)). Let n(w) = w**3 + 10*w**2 + 9*w + 12. Is n(g) a multiple of 4?
True
Let f(v) = -v**3 + 21*v**2 - 20*v - 11. Let u be f(20). Let r(w) = 3*w**2 + 20*w - 24. Let t be r(u). Let p = 133 - t. Does 7 divide p?
True
Suppose -2*g + 0*g + 33 = f, -12 = 4*f. Suppose g*b = 14*b + 16. Suppose i - b*i = -132. Is i a multiple of 11?
True
Let o = -9117 - -13017. Is 65 a factor of o?
True
Let o = -18188 - -35098. Is 5 a factor of o?
True
Let i = -202 - -113. Let y be i/(-5 + 5 + -1). Suppose z = p - 46, 2*z + y = 2*p - z. Is 7 a factor of p?
True
Suppose -271*s + 23661 = -268*s + 3*c, 5*s + 4*c - 39433 = 0. Does 20 divide s?
False
Suppose 4*w + 5*q = -9, 4*w + 2*q + 0*q = 6. Is 3 a factor of -9*4/(-16)*w?
True
Let v = 14360 + -14052. Is v a multiple of 11?
True
Let d be 0/(-2) + 207/(-3). Let x be -7 + -1 + 10 - (-191)/1. Let a = x + d. Is a a multiple of 31?
True
Is -9 + (27858 - 15) + (-6)/9*6 a multiple of 242?
True
Let p = 147 - 4. Let i = -277 + 180. Let z = i + p. Does 6 divide z?
False
Is 29 a factor of (((-40)/15)/((-2)/(-5307)))/(6/(-3))?
True
Is 106 a factor of ((-484)/18)/(133/(-15561))?
False
Let k = -24 + 23. Let c = -108 + 106. Does 6 divide c*(-214)/12 + k/(-3)?
True
Let u(q) = -q**2 + 20*q - 50. Let g be u(17). Let b = g - 1. Suppose -l - 2*w + 91 = b, 0*w + 2*w = 2*l - 170. Does 9 divide l?
False
Suppose -8*m + 3605 = -15307. Suppose -10*c + m = -196. Is 24 a factor of c?
False
Let v(m) = -14*m - 47. Let o(a) = 7*a + 23. Let n(w) = 7*o(w) + 4*v(w). Let x be n(-5). Is x/2 - (-6 - 2) a multiple of 4?
True
Let w be 32/(-144) + 3/((-27)/79). Is -2 + 6948/44 + w/(-99) a multiple of 6?
True
Is 62 a factor of (7155 - 0) + (10 - 10)/(-7)?
False
Let a = -19 + 3. Let z be (-43)/((28/a)/7). Suppose m = z - 51. Does 45 divide m?
False
Let i = -144 + 146. Suppose 3*d - 1151 = 2*t, -i*d - t = 4*t - 799. Is d a multiple of 43?
True
Let v(s) = -16*s + 22. Let w be v(3). Does 24 divide 37416/156 - 4/w?
True
Is 39 a factor of 3622 + 69/(54/(-18))?
False
Suppose f - 23 - 32 = t, 0 = 2*f + 4*t - 80. Let w be f/18 + (-5)/((-270)/12). Is (4/w)/(4/72) a multiple of 5?
False
Let t(b) = -3*b - 52. Let n be t(-19). Suppose n*m - 6 = -5*p + 229, -4*p - 208 = -5*m. Does 6 divide m?
False
Let t = -8 + -3. Let i = t - -16. Suppose 0 = 5*m + 2*s - 504, -3*m + 0*m = -i*s - 290. Does 20 divide m?
True
Suppose 0 = 5*k + 3*w - 14557, 4*w = -10*k + 5*k + 14556. Is k a multiple of 8?
True
Let v(p) = 104*p - 3307. Does 74 divide v(101)?
False
Suppose -29135 = -11*z + 6219. Does 5 divide z?
False
Let t be ((-2)/(-4))/(-3 - 685/(-230)). Is (t - -167) + (2 - 6) a multiple of 25?
False
Is (-2 - (-3765)/9)/(80/6 - 13) a multiple of 28?
False
Suppose -4851 + 172880 = 54*w - 147979. Is w a multiple of 22?
True
Let x be (-16)/(-48) + 100/6. Suppose -3*q + 2*q + 4*c - 23 = 0, -c = -q - x. Let a = q - -31. Is a a multiple of 7?
False
Let f(t) = -8*t + 35. Let x be 88/6*45/(-30). Is f(x) a multiple of 8?
False
Suppose -194*y = -176*y - 26064. Is 4 a factor of y?
True
Let s = 26 + -19. Suppose 32 = s*x + x. Suppose 2*g = -4*b + 7*g + 115, 63 = 3*b + x*g. Is b a multiple of 9?
False
Let o(p) = 52*p - 23. Let w(r) = r - 1. Let l(h) = -o(h) - 3*w(h). Is 13 a factor of l(-1)?
False
Let u be 4 - -1 - (-11 + 11). Suppose -7*x - u*x + 120 = 0. Is 13 a factor of -1 - (-2998)/x - 15/(-75)?
True
Let l(z) = -z**2 - 223*z + 15. Does 13 divide l(-22)?
False
Suppose -453*f = -11*f - 3598322. Is 8 a factor of f?
False
Is 127 a factor of 1*12371 - (-185 + 200)?
False
Suppose -3*h - 12 = 0, 3*l - 34*h = -39*h + 11050. Is l a multiple of 3?
True
Let z = 244 - 249. Is 1/((-4587)/918 - z) a multiple of 8?
False
Let g(i) = 13002*i**2 + 6*i + 15. Is 9 a factor of g(1)?
True
Suppose -23945 = -13*a + 9*a - 3*j, 4*j + 23924 = 4*a. Is 7 a factor of a?
False
Let p be 6*(-10)/15 + 41. Suppose p*z = 35*z + 1576. Is 15 a factor of ((-2)/(-4))/(2/z)?
False
Let u be -4 + 3/(2 - -1) - -230. Let m = u - 141. Let y = -56 + m. Is y a multiple of 15?
True
Suppose 3*r + o - 11 = 0, -r - 4*o = 2*r - 17. Suppose 0 = k - 4, 3*k - 42 + r = -3*i. Is 9/(-27) - (-318)/i a multiple of 7?
True
Suppose -2*i = 2*i - 3944. Suppose 8*g - 4*j = 6*g + i, -3*g + j = -1474. Does 14 divide (-1)/7 + g/7?
True
Let z(t) = 208*t**2 - 353*t - 11. Is 16 a factor of z(-11)?
True
Let r(k) = 5*k**2 - k + 3. Let j be r(2). Suppose 0 = -4*z - 3*n + 644, -3*z = n - 504 + j. Is 47 a factor of z?
False
Let q(p) = 26*p - 230. Let b be q(9). Suppose -b*h + 835 = -11*x + 14*x, 3*x = -5*h + 1043. Does 16 divide h?
True
Let q(z) = -z**3 - 12*z**2 + 10. Let t be q(-12). Let x = t + -8. Suppose 0 = -x*b, -2*p + 59 + 83 = 2*b. Is 6 a factor of p?
False
Suppose -4*k = 5*x - 43, 5*k = 2*k + 5*x + 6. Suppose -10 + k = -m. Is 7 a factor of m + -6 + 5 + 5?
True
Let j(k) = -4*k - 5. Let u = -22 - -20. Let x be j(u). Suppose q + 3*y = -y + 84, -2*q = -x*y - 124. Is 36 a factor of q?
False
Let k(v) = 393*v**3 - 4*v**2 - 5*v + 142. Is 61 a factor of k(4)?
False
Let i(k) = 4869*k - 18278. Is i(9) a multiple of 9?
False
Let d(c) = 57*c**3 + 2*c**2 + c. Let n be d(-1). Suppose 3003 = 72*y - 3405. Let j = y + n. Is j a multiple of 11?
True
Let g(b) = -2*b**2 - 12*b + 41. Let y be g(-8). Suppose -13*r + y*r + 1112 = 0. Does 21 divide r?
False
Let b(p) = -p**3 - 4*p**2 + 3*p + 6. Let w be b(-7). Suppose 0 = -15*d + 9*d + w. Is d a multiple of 12?
False
Suppose -880530 = -288*p + 2760012 + 742818. Is p a multiple of 20?
True
Suppose -30 = -3*b - 2*b. Let j(m) = -3*m - 8. Let p(i) = -6*i - 15. Let o(a) = 10*j(a) - 6*p(a). Is 8 a factor of o(b)?
False
Let b = 5391 - -4329. Is 90 a factor of b?
True
Let c(l) = -l**3 - 5*l**2 - 3*l + 4. Let n be c(-4). Let f be ((-592)/(-240) + (-4)/5)*111. Suppose n = -3*s - 2*s + f. Is s a multiple of 16?
False
Let b(d) = -5*d - 42. Suppose 0 = -5*s + 2*s + 2*k - 34, -7 = s - 5*k. Is b(s) a multiple of 9?
True
Let s = 6940 + 7900. Does 40 divide s?
True
Is 63 a factor of 12/(-8)*((-128672)/(-40))/((-12)/20)?
False
Let z = -126 + 387. Let f = z - 126. Is 15 a factor of f?
True
Let n(c) = c**3 + 6*c**2 + 1. Let g be n(-3). Suppose x - g = 26. Is 36 a factor of x/((6 - 3) + (-6)/4)?
True
Suppose -43*l - 1077458 = -200*l + 1578982. Does 94 divide l?
True
Let k = -105 - -115. Suppose 13*j = -k*j + 7107. Is j a multiple of 65?
False
Let v(x) = -3*x**3 - 11*x**2 - 6*x + 31. Let w be v(-11). Suppose w = 6*q + 257. Does 70 divide q?
False
Suppose 23 + 32 = 11*p. Suppose 5*u + 3*j = 505, 5*u = 3*u + p*j + 202. Is u a multiple of 3?
False
Let g(z) be the first derivative of -z**6/360 - z**5/8