. Does 11 divide g?
True
Let a = 37 - 33. Suppose -5*y - 17 - 13 = -5*v, -a*v + 5*y + 28 = 0. Suppose -n - 112 = -v*l - 2*n, 162 = 3*l + 3*n. Does 29 divide l?
True
Is ((-5)/(-2))/(156/307632) a multiple of 85?
True
Let j(s) = 16447*s**3 + 2*s**2 - 86*s + 87. Is j(1) a multiple of 47?
True
Let k = 34 - 25. Suppose k*y + 46 = 73. Is 29 a factor of ((-21)/(-14))/(y/174)?
True
Suppose -60*h = -67*h + 84. Suppose 0*v = -h*v + 8148. Is v a multiple of 17?
False
Suppose -2 = -14*s + 26. Suppose -5*g - m + 1462 = 0, -2*g - m = s*m - 590. Is 13 a factor of g?
False
Suppose 5*j = 366 - 1541. Let z(x) = -19*x**2 + 220*x - 12. Let n be z(13). Let y = j - n. Is y a multiple of 32?
True
Let y(d) = 50*d**2 + 3*d + 1. Is 103 a factor of y(-4)?
False
Suppose 5*d + 3*a + 0*a - 120 = 0, -2*d = -2*a - 48. Suppose 12*m - d = 8*m. Suppose 4*q - m*q = -148. Is q a multiple of 9?
False
Let c = -28612 - -48216. Does 9 divide c?
False
Let g(j) be the first derivative of j**4/4 + 7*j**3/3 - j**2/2 - 5*j + 1. Let r be g(-7). Suppose 610 = r*l + 8*l. Does 11 divide l?
False
Suppose f = -11*f + 7*f + 12350. Is f a multiple of 26?
True
Suppose 24 = 4*r, -20536 = -3*g - r - 718. Is g a multiple of 52?
True
Let c = -3513 + 6222. Is 7 a factor of c?
True
Let l(w) = w**3 - 33*w**2 - 35*w - 106. Let i be l(34). Is (-23220)/i + 6/(-7) a multiple of 15?
True
Let s(k) = -4 + 3*k**2 + 11*k + 2 - 3. Let m be s(-11). Suppose d + d + 3*z - m = 0, -3*d - 5*z + 357 = 0. Does 19 divide d?
True
Suppose 7*c + 19 = 61. Let z(x) = x - 20 + 4*x + 16*x - 4*x. Is z(c) a multiple of 41?
True
Let r = 5942 + -5214. Is r a multiple of 91?
True
Let p(k) be the third derivative of 7*k**4/24 - 17*k**3/6 + 30*k**2. Let s be p(3). Suppose i - 59 = -5*j + 4*j, s*j = -5*i + 241. Is 8 a factor of j?
False
Let v(j) = 28*j**2 + 6*j - 3. Let p(x) = -x**3 - 4*x**2 - 6*x - 7. Suppose 54*m + 12 = 50*m. Let s be p(m). Does 23 divide v(s)?
False
Let v be (-10)/3*(-18)/15 - 1. Is ((-39)/9 + v)*13170/(-40) a multiple of 54?
False
Let n(y) = -y**3 + 20*y**2 + y - 19. Let w be n(20). Let c = 3 - w. Suppose c*j = -o - j + 195, -4*o + 752 = -2*j. Is 27 a factor of o?
True
Suppose 900 = -22*f + 26*f. Suppose -8*y + 191 + f = 0. Suppose 4*d - y = -4*l, -3*l + 0*d = -3*d - 51. Does 14 divide l?
False
Suppose -144405 = -23*z + 96612. Does 48 divide z?
False
Suppose -w + 8600 = -2*n, 0 = 135*n - 136*n - 2. Is 20 a factor of w?
False
Let w(y) = -8*y + 100. Let s be w(13). Is 49 a factor of s/8 + 4 + (-570)/(-4)?
False
Suppose b + 4 = z - b, 3*z - 3*b = 15. Suppose z*d - 2934 = 2292. Suppose -6*j = -d + 193. Is 27 a factor of j?
False
Let s(t) = 5*t**3 + 17*t**2 + 9*t - 24. Is s(7) a multiple of 13?
True
Suppose -5*y + 8370 = 5*x, 10*y + 2*x = 5*y + 8367. Suppose -6*t + 2208 = -2*t + z, -3*t - 5*z + y = 0. Does 29 divide t?
True
Suppose -636779 = -248*r + 3232269. Is 120 a factor of r?
False
Let i be (11 - 3)/(114/(-58) - -2). Let q = i - -1042. Is 13 a factor of ((-2)/4)/((-7)/q)?
True
Let q(l) = -1 - 24*l + 6 + 15 - 17*l. Is 51 a factor of q(-2)?
True
Is 5 a factor of (60/8 - -4)*(-5832)/(-18)?
False
Is 27 + 6996618/216 - (-22)/(-8) a multiple of 19?
False
Let u(l) = -l**3 + 10*l**2 + 3*l + 6. Let a be u(-8). Suppose -2*q - a = 5*q. Let h = q - -324. Is 17 a factor of h?
False
Let i = -159 + 164. Suppose k - 3*k = -4. Suppose 0 = -i*w + 5*s + 180, 0 = -4*w - 3*s + k*s + 144. Does 9 divide w?
True
Let k = -28719 + 47969. Is 11 a factor of k?
True
Let s(j) be the first derivative of j**6/360 - j**5/60 + 7*j**4/3 + 17*j**3/3 + 14. Let l(n) be the third derivative of s(n). Does 13 divide l(0)?
False
Let x(w) = 33*w**2 - 2*w + 137. Is 7 a factor of x(8)?
True
Let o(t) = -2*t**2 - 13*t - 19. Let n be o(-9). Let l = 8 - n. Is l a multiple of 36?
True
Let r(q) = -3743*q**3 + 6*q**2 - 5. Let g be r(-1). Suppose 3*p - 260 - 2553 = -m, 4*p + 3*m = g. Is 69 a factor of p?
False
Let u(v) be the second derivative of v**5/20 - v**4 + v**3/2 - 8*v**2 - 15*v. Let h be u(12). Let o = h + 16. Does 9 divide o?
True
Is 126 a factor of 37794/15 + (-2806)/(-115) + -24?
True
Let i(k) = 2 + 2*k**2 - 7286*k + 7267*k + 10. Let l(a) = a**3 - 4*a**2 + 3*a. Let z be l(4). Is 18 a factor of i(z)?
True
Let f be 525/45 + 2/(-3). Does 13 divide 3474/f + (-4)/(-22)?
False
Let f(v) = -v**2 + 6*v + 3. Let l be f(6). Let s be l*(-1)/3 + 3. Suppose s*i - 8*i = -84. Is i a multiple of 7?
True
Suppose -n + 2*n + 156 = -4*p, 0 = 2*p + 4*n + 78. Let c = -33 - p. Let q(x) = 19*x - 24. Is q(c) a multiple of 15?
True
Let c = 2236 - 1388. Let q = -404 + c. Does 7 divide q?
False
Let z = 39819 + -15104. Is z a multiple of 30?
False
Suppose -28*x + 165 = 5*x. Suppose 3*s - 5*a - 403 = 0, 2*s - x*a + 104 = 371. Does 9 divide s?
False
Let z(x) = 12*x - 40. Let j = 23 - 43. Let l be (-3)/((-21)/j)*(-14)/4. Does 10 divide z(l)?
True
Let s = -1132 - -2320. Does 33 divide s?
True
Suppose -35299 = 36*c - 281611. Is 47 a factor of c?
False
Let q(w) = -27*w + 7. Let p be (-22)/6*69/23. Is q(p) a multiple of 8?
True
Let n(m) = m**3 + 3*m**2 + 5*m + 5. Let x be n(-3). Let b be -2*5*(-324)/x. Let j = -225 - b. Does 11 divide j?
True
Let a = 346 - 15. Let u = 97 + a. Is 21 a factor of u?
False
Let m be 138/(-3 - -9) + (3 - 7). Suppose 0 = m*t - 767 - 1912. Is t a multiple of 47?
True
Suppose 4*y - 3*x + 29 = 0, 5*y - 7*x = -2*x - 40. Is 10 a factor of (-2)/(4*y/(-30)) - -508?
False
Let h(g) = -g**3 - 8*g**2 + 10*g + 21. Let m be h(-9). Suppose m*a - 3*a + 9 = 0. Is 18 a factor of (72/(-21))/(a/21)?
True
Suppose -8*m - 22*m = 43*m - 310980. Is 21 a factor of m?
False
Suppose 607*m - 241424 = 449*m. Does 8 divide m?
True
Let k = 140 - 122. Let c = 87 + k. Is c a multiple of 15?
True
Let w(p) = -101*p. Let b be w(-2). Let d = b - -6. Is 18 a factor of d?
False
Let u = -627 - -1553. Does 122 divide u?
False
Let r be (-3 - -2)*(-250 - -6). Let u = 332 - r. Is u a multiple of 44?
True
Let u(q) = -97 + 57*q - 84 + 179. Suppose -5*n + 0 = -10. Is u(n) a multiple of 28?
True
Let l = 85 - 81. Let z be 4/(-2)*-10 - (-7 + l). Suppose -88 = 21*h - z*h. Is 6 a factor of h?
False
Let j(g) = -3*g - 73. Let u(z) = 2*z + 69. Let s(l) = 5*j(l) + 6*u(l). Is 13 a factor of s(-15)?
False
Let x(i) = -952*i - 4. Suppose q + 17 = 4*c, -34*q + 39*q + 3*c - 7 = 0. Is x(q) a multiple of 10?
False
Is 15 a factor of (((-6)/8)/3 - 18029/(-596))*432?
True
Let o(n) = -439*n**3 - 4*n**2 - n + 3. Let r be o(1). Let q = r - -1119. Is 20 a factor of q?
False
Suppose 3*f - 4238 = -2*f - 2*k, -4243 = -5*f + 3*k. Is 16 a factor of f?
True
Let a be (-2)/(-16) - (2 + 14/(-16)). Is 5 a factor of (19 - -9)*a*47/(-2)?
False
Let q be (1 + -2)*-57*1/3. Suppose 128 = -17*y + q*y. Is y a multiple of 14?
False
Let k = 10486 - 903. Does 17 divide k?
False
Suppose -13*d + 33212 = -9649. Is d a multiple of 7?
True
Suppose 23*u - 35*u + 36 = 0. Suppose -u*j - 1553 = -3*b - 4*j, 3*b + 3*j - 1563 = 0. Is b a multiple of 43?
True
Suppose -4*u + 3 - 11 = -2*n, -28 = -3*n - 2*u. Let h(l) = l**3 - 12*l**2 + 35*l + 2. Is h(n) even?
True
Does 11 divide (-2208)/18*38*(27/(-6) - -3)?
False
Suppose -6 + 14 = -8*r. Let p(x) = 82*x**2 + x. Does 9 divide p(r)?
True
Let m = -328 + 328. Suppose -4*k - 2*k + 816 = m. Is 21 a factor of k?
False
Let m(t) = -t**3 - t**2 - 13*t + 2. Let a = -124 - -119. Does 31 divide m(a)?
False
Let o(v) = 915*v + 1565. Is 49 a factor of o(9)?
True
Let t = -7 - -43. Let h = -13 + t. Suppose -b + 36 = -h. Does 12 divide b?
False
Suppose m = 3*m - 24. Let o(k) = -k**2 + 37*k - 70. Let w be o(35). Suppose w = -26*u + 24*u + m. Does 6 divide u?
True
Let s(y) = y - 36. Let x be s(39). Does 8 divide (3/x - 51)/((-1)/3)?
False
Let n(p) be the first derivative of -65*p**2 + 99*p - 165. Does 45 divide n(-11)?
False
Suppose -16769*g + 16772*g = 54675. Is g a multiple of 290?
False
Let j(m) = -2*m**2 + 15*m - 6. Let l be j(8). Let s(z) = 12 + 15*z + 18 + 9*z**2 - 8*z**2. Is 4 a factor of s(l)?
True
Let q(o) be the first derivative of o**3/3 - 16*o**2 + 97*o + 70. Is q(29) a multiple of 5?
True
Suppose -4*q + 5*d = 3 - 1700, 4*q + d = 1715. Suppose -7*z = -q + 176. Let g = -28 + z. Is g a multiple of 4?
True
Let i be 8/14*(-7)/2. Does 14 divide 1/i - (834/(-12) + -1)?
True
Suppose -4*d = -5*i - 4, -20 = -4*d + 7*i - 6*i. Suppose d*