*g = 1758 - k. Is g a multiple of 19?
True
Let t = 56 + -74. Let l = t + 31. Suppose -3*k + l = -74. Is 4 a factor of k?
False
Let s = -27 + 33. Let t be ((-5)/15*1)/((-1)/15). Does 22 divide 11*((3 - t) + s)?
True
Let d(i) be the first derivative of -41*i**2 + 10*i + 27. Is 13 a factor of d(-4)?
True
Suppose -5*h + 80 = 5*q, 8 = 5*q - 2*h - 86. Does 14 divide 6/q*3 + (235 - -2)?
True
Let v(b) = -b**2 - 4*b + 16. Let r be v(-6). Suppose -3*s + 3*n = -258, r*s - n - 85 = 256. Is s a multiple of 17?
True
Suppose 2*i - 357 - 55 = 0. Suppose 4*z = 3*b - 7, -2*b + 3 = -3*z - 1. Suppose -3*r = b*g - i, -3*g - 3*r + 2*r + 122 = 0. Is g a multiple of 8?
True
Let i(b) = -4*b + 14. Let j(s) = -s. Suppose 5*f = 3*d + 2, -2*f + 7 = -0*d + 5*d. Let m(y) = d*i(y) + 3*j(y). Is m(-10) a multiple of 8?
False
Suppose -5*r = -110*r + 12*r + 2687328. Is r a multiple of 84?
True
Is 66 a factor of ((-16)/(-16) - 10)/(2/(-176))?
True
Let f(k) = -3*k**2 - 2*k + 3. Let u be f(1). Let n be 11 - (0/(-3))/(-3 - u). Suppose 30 + 234 = n*r. Is r a multiple of 11?
False
Let k(s) = 2*s**2 - 2 + 2*s - 3*s**2 - 2*s**2 - 1. Let i be k(4). Let g = i + 53. Is 4 a factor of g?
False
Let g = 938 - 938. Let c(d) = -14*d + 196. Is c(g) a multiple of 14?
True
Suppose -963 = -4*p + 2*p - 5*q, -q = -p + 478. Does 5 divide 7/(-42)*-1 + p/6?
True
Let m(q) = q**3 - q**2 + 6. Let b(s) = -s**3 + 34*s**2 + 24*s + 10. Let o(u) = b(u) - m(u). Does 8 divide o(18)?
True
Suppose -3*w - 35 - 100 = 0. Let k = 60 - w. Is k a multiple of 2?
False
Let z = 9096 - 5152. Suppose -3538 + 911 = -2*x + r, -3*x - 2*r + z = 0. Is x a multiple of 73?
True
Suppose d - 4728 = -w, -5*w + 0*w - 14184 = -3*d. Is d a multiple of 24?
True
Suppose -4*p = 5*l - 85820, -5*p - 6234 = -l + 10901. Is l a multiple of 132?
True
Let q(h) = -469*h**2 + 10*h + 8. Let p(g) = -1406*g**2 + 29*g + 22. Let k(w) = -6*p(w) + 17*q(w). Is 19 a factor of k(1)?
False
Let f = -237 - -105. Let i = f - -172. Is 5 a factor of i?
True
Suppose -t - b = 3, 0 - 15 = 3*t + 5*b. Let j(n) = n**3 + n**2 - n + 5232. Let h be j(t). Does 25 divide h/42 + 6/14?
True
Let j(z) = z**3 - z**2 - z + 1748. Let p be j(0). Suppose 4*f - 4*l = 1384, 9*f = 4*f - l + p. Does 15 divide f?
False
Suppose -45 = -4*l - 5*f, -l = -4*l + 2*f + 5. Let h = -709 + 877. Suppose l*i - 12 = h. Is i a multiple of 18?
True
Suppose 2*w + 3 = -w. Let k be ((-8)/16)/(w/6). Does 11 divide (-450)/(-24) - k - 2/(-8)?
False
Let t = 2083 + -1795. Is 48 a factor of t?
True
Let k = 180 + 12977. Does 99 divide k?
False
Suppose 25*a - 36 = 28*a. Let b be a/30 - ((-27)/5 + 0). Is ((-6)/7)/(b/(-140)) a multiple of 12?
True
Suppose 0 = -2*y, -3*r - y + 309 + 1419 = 0. Suppose 136 = 8*p - r. Suppose 2849 = 10*w + p. Is w a multiple of 12?
True
Suppose -9747 = -10*l + 4703. Is 3 a factor of l?
False
Let z(h) = 63*h**3 + 2*h**2 + 3*h - 4. Suppose g + 0*j - 15 = -3*j, -2*g - 3*j + 24 = 0. Let x be g/54 + (-3)/(18/(-5)). Is 16 a factor of z(x)?
True
Suppose 24 = 4*z, -2*v - 5*z + 16364 = -7*z. Is 49 a factor of v?
False
Suppose 0 = -5*f - 5. Let h(r) = 3*r**2 + 2*r + 2. Let d be h(f). Suppose -g + 396 = 4*b - 2*g, -b = d*g - 99. Is 19 a factor of b?
False
Let d(f) = f**3 - 3*f**2 - 13*f + 6. Let z be (-203)/14 - 1/(-2). Let g = z + 20. Is d(g) a multiple of 12?
True
Suppose 0 = -302*g + 232*g + 961170. Is g a multiple of 116?
False
Let d(o) = -36*o + 149. Let t be d(4). Suppose 4*k = t*u - 2901, 19 - 15 = -k. Does 25 divide u?
False
Let v = 6 + -35. Let q = v + 31. Suppose 0 = -i + 5*n - 3*n + 3, q*i + 2*n - 36 = 0. Is i even?
False
Suppose 1129 = 32*f - 77*f + 23899. Is f a multiple of 34?
False
Let i = 61 + -15. Suppose -142 = -4*r + i. Suppose 4*d - 3*s - 134 = -s, 0 = -d - 4*s + r. Is d a multiple of 35?
True
Suppose 34800 = 56*h - 110*h + 60*h. Is h a multiple of 232?
True
Let u = -1592 + 7783. Does 19 divide u?
False
Suppose 458287 = 34*z + 166295. Is 38 a factor of z?
True
Let m = -8394 + 9101. Does 2 divide m?
False
Let h be (-12)/30 - (-17)/10*-18. Let k = h - -49. Suppose 5*f = 3*l + l - 86, l - 3*f - k = 0. Does 24 divide l?
True
Let z be 36/(-48) - (-19)/8*2. Let v = z - -213. Does 11 divide v?
False
Suppose -4*o - 9524 = -0*x - 4*x, 2*x + 3*o = 4777. Is x a multiple of 18?
False
Suppose 0 = 47*u - 51*u + 5*n + 11825, 2*u - 5895 = -n. Is 15 a factor of u?
False
Let z(i) = 72*i + 7. Let b be z(10). Suppose -2*x + b - 147 = 0. Is 29 a factor of x?
True
Suppose -12*u + 10*u = z - 39573, -5*u - 2*z + 98931 = 0. Is 54 a factor of u?
False
Suppose 4*g + 105 = 5*v + 2*g, 5*v + 3*g = 80. Suppose -v*s - 585 = -21*s - 5*k, 4*k = s - 325. Is 17 a factor of s?
False
Suppose 25 = 2*t + 3*t + 5*r, -5*t = 4*r - 22. Suppose -g - 698 = -s - t*s, -4*s = -2*g - 928. Does 26 divide s?
True
Suppose -4*k = 5*d - 10456, 41*d - 41748 = 21*d + 3*k. Is d a multiple of 8?
True
Let i(z) = 6*z**3 + z**2 + 7*z. Let f = 284 + -281. Is 32 a factor of i(f)?
True
Suppose 0 = 18*m + 7*m + 1125. Let d(p) = p**3 + 48*p**2 + 100*p - 63. Is 48 a factor of d(m)?
False
Let y = 529 - 533. Is 3367/(-21)*(-3 + 4 + y) a multiple of 37?
True
Let o(a) = 17*a**2 + 2*a - 1483. Is 43 a factor of o(-31)?
True
Let d(p) be the second derivative of 77/20*p**5 + 0*p**3 + 19*p - 1/12*p**4 + 0 + 1/2*p**2. Is 9 a factor of d(1)?
False
Let h be 1*3/1*1*1453. Suppose 3*o = c - 1433, -10*c + h = -7*c + 3*o. Does 35 divide c?
False
Suppose 0 = 11*v + 2 - 24. Suppose g - 3*f - 203 = 0, v*g - 2*f + 3*f = 406. Is 28 a factor of g?
False
Suppose -4*i = 2*r - 2542, 5*r - 3*i + 6348 = 10*r. Is r a multiple of 29?
False
Suppose -2*p + p - 2 = 0, 0 = -4*n - 2*p - 16. Is (-301)/n - 0 - 40/(-60) a multiple of 2?
False
Let q = -520 - -556. Is q a multiple of 3?
True
Suppose x + 12 = 5*x. Suppose x*a + 162 = 2*a. Let p = -87 - a. Is 25 a factor of p?
True
Suppose 25*u = -21*u + 184. Suppose -4*v + v + 1269 = -5*j, u*v - 1692 = 2*j. Does 15 divide v?
False
Let r = -32441 + 38132. Is 4 a factor of r?
False
Let w(j) = -j**2 + j + 6. Let g be w(6). Let c be 1128/(-1316)*(-49 + 0). Let r = g + c. Is 6 a factor of r?
True
Does 71 divide -12 + 3738/315 - (-121412)/15?
True
Let g(q) = 106*q**2 - 10*q - 48. Does 116 divide g(-6)?
True
Let y be (-5 + 6)/(1/(-86)). Let d = 54 - y. Is 21 a factor of d?
False
Let o be (-3)/(-5) + 0 - 1613852/(-830). Let j = o - 1081. Is j a multiple of 9?
True
Suppose 4*y + y + 2*z = 37, -3*z = 4*y - 24. Suppose -y*c + 12*c = 24. Is c/36 + (-320)/(-18) even?
True
Let b be (1 - 8)*24/24. Let k be b/(-7) + 21 + 2. Let u = k - -42. Does 15 divide u?
False
Let x be 70/4*824/(-515). Let s = x - -199. Is s a multiple of 7?
False
Let r(h) = 20*h**2 + 10*h - 7. Let i be r(-7). Let k = i + -483. Is 1810/14 - 15/(k/8) a multiple of 11?
False
Let g(v) = -2*v**2 + 21*v - 28. Let m be g(14). Let w = 230 - m. Let o = w - 201. Does 19 divide o?
False
Let a = 236 - 229. Suppose 0 = -2*w - p + 1130, 6*w - a*w = 4*p - 565. Is w a multiple of 34?
False
Let x = 7103 - -6573. Is 13 a factor of x?
True
Is 6 - 17/3 - (-58961)/21 a multiple of 36?
True
Suppose 6*h + 36 = -18. Does 10 divide 42/h*4080/(-238)?
True
Let p be (-10 + 0)*14/(-28). Suppose p*y - 2*b - 204 = 0, 6*b = -5*y + 7*b + 207. Suppose -3*f + y = -120. Is 20 a factor of f?
False
Suppose -24 = -3*f, -19*f + 21*f = -2*m + 9876. Is m a multiple of 25?
False
Suppose -s = -2*g - 312, 11*s = 9*s - 4*g + 656. Suppose -2*k = -x - s, 5*k = -3*x + 779 + 32. Is 23 a factor of k?
True
Suppose 1340*a - 1365*a = -982700. Does 76 divide a?
False
Suppose 4*o + 3*o = 6*o. Suppose -2*g + u = -o*g - 491, 5*g = -2*u + 1205. Does 22 divide g?
False
Suppose 87*o = 1611308 + 486088. Does 82 divide o?
True
Suppose -22*k = -23*k - 3. Let n(o) = 24*o**2 + 10*o + 19. Does 5 divide n(k)?
True
Suppose 103*j - 104*j + 17996 = 5*p, 4*j - 3584 = -p. Does 80 divide p?
True
Let i(o) = -449*o + 8904. Is 4 a factor of i(11)?
False
Suppose -5*q + 0*s = -3*s - 13630, -16356 = -6*q + 4*s. Does 39 divide q?
False
Let o = 5900 + -5380. Is 4 a factor of o?
True
Is 1908/4*(14 - -33) a multiple of 23?
False
Suppose 4*v - 5*u - 47449 = 0, 28*v + 23727 = 30*v - 3*u. Is v a multiple of 208?
True
Does 140 divide -30 - 4452/(-147) - (-30)/(-63)*-34473?
False
Let d(w) = 2159*w + 32. Is 30 a factor of d(2)?
True
Let r = 23974 + -10134. Is 20 a