16?
False
Suppose 123*q - 1312850 = 46*q. Does 233 divide q?
False
Let n = -116909 - -194194. Does 41 divide n?
True
Suppose -4*t + 3*z + 8143 = -2*z, t + z = 2029. Suppose 3*f - 5*r - 879 - 674 = 0, -4*f + t = 3*r. Is 73 a factor of f?
True
Let m(r) = 8*r - 12. Let u be 13 + (8 - 5 - 5). Does 3 divide m(u)?
False
Let l = 3 + -4. Let q = -342 + 367. Is (-3 + l + q)/1 a multiple of 16?
False
Let s = 3 - 3. Suppose s = -p, v - p = -0*v. Suppose 0 = -5*t - 4*g + 200, 3*g = -v*g - 15. Is 11 a factor of t?
True
Is 9 a factor of 336/(-48) - 5/(-1)*2358?
False
Does 39 divide ((-2)/4)/(12 - 10) - 1220109/(-132)?
True
Suppose -4*j + z + 175545 - 31147 = 0, 3*z = -2*j + 72220. Is 56 a factor of j?
False
Let o = 102 - 98. Suppose o*h - 10 = -46. Does 2 divide (-6)/4*60/h?
True
Let r(u) = 2*u**2 - 7*u + 23. Let t be r(-17). Suppose -t = -47*p - 250. Is 2 a factor of p?
True
Let b(y) be the third derivative of y**6/120 + y**5/30 + 13*y**4/24 - 8*y**3/3 - 158*y**2. Does 13 divide b(8)?
True
Suppose 0 = -5*d - 4*q - 478, -2*d - 4*q - 148 - 48 = 0. Let y = 144 + d. Is y a multiple of 10?
True
Suppose 5 = 7*k + 12. Let n(b) = b**2 - 1. Let p(g) = -4*g**2 + 10*g + 15. Let j(v) = k*p(v) - 2*n(v). Is j(-7) a multiple of 13?
False
Suppose -o - m + 1975 = m, 7885 = 4*o + 5*m. Is 7 a factor of o?
False
Suppose 2*n + m + 5 - 15 = 0, 2*n + 5*m - 26 = 0. Suppose -4*u - 842 = 5*r, -u = -n*u - 2*r - 422. Let v = u - -375. Is v a multiple of 27?
True
Let r(l) = 2*l**2 - 9*l - 6. Let m be r(8). Let z = m + -51. Let d(p) = -207*p**3 + 3*p**2 + 3*p + 2. Is 13 a factor of d(z)?
False
Suppose 31*f - 28*f - 141 = 3*g, -f = 2*g + 103. Let p be (8/5)/((-2)/(-185)). Let i = p + g. Is 14 a factor of i?
True
Let f be (-40)/(-16)*2/5. Let z be ((-6)/21)/(f/(-287)). Is 3 a factor of z/10 + 3/(-15)?
False
Let q(u) = u**2 + 17*u + 91. Let a be q(-16). Suppose -28*d - 32759 = -a*d. Does 50 divide d?
False
Suppose 6*b = -5*b + 2*b + 175617. Does 47 divide b?
False
Let t(c) = c**2 + 10*c - 43. Let v = -103 + 90. Let z be t(v). Does 3 divide z/(16/12) + 8?
False
Let n(x) = 15*x**3 - 12*x**2 + 38*x + 4. Is n(7) a multiple of 15?
False
Does 13 divide -5 + 89404 - (-10 - -24)?
False
Let u(a) = a**3 + 8*a**2 + a + 1. Let r be u(-7). Let q = -48 + r. Is (26/q)/((-3)/30) a multiple of 13?
True
Let l(c) = -c**2 + 3*c - 2. Let j be l(10). Let r = 38 + j. Let q = r - -74. Does 40 divide q?
True
Suppose -3*m + 18255 = -3*s - 159, 5*s - 6132 = -m. Suppose -m = 7*t - 24*t. Is t a multiple of 19?
True
Suppose -3*c + 288 = 3*c. Let t = c + -46. Is 3 a factor of (-18 - (-4 + 1))/((-2)/t)?
True
Let p = 9334 - 8299. Is p a multiple of 18?
False
Let w be -2715 + 0 - (-4 - (-6)/6). Let a = -1676 - w. Does 28 divide a?
True
Let v = 4288 - 2768. Suppose 5*k = 2*d + 1520, 3*d - 6*d = -5*k + v. Suppose k = 7*o - 578. Is o a multiple of 26?
False
Suppose 0*j + 5*j + 3*p = 138, -p = -4*j + 124. Suppose 4*d - j = -2*k, -2*d + 0 = -4. Is k a multiple of 5?
False
Suppose -3*o - 4*j = -8956, j - 1605 = -3*o + 7366. Is 55 a factor of o?
False
Let b be (1164/(-8)*1)/(2/(-32)). Let q be b/(-14) - 12/(-42). Let g = -62 - q. Does 35 divide g?
False
Suppose 11*h - 28 = 18*h. Let r(g) = -g - 6*g - 2*g + 1 - 7 + 8*g**2. Is r(h) a multiple of 29?
False
Does 41 divide -9*(0 + 22148/(-42))?
False
Suppose -3*y = -4*t - 652, -5*y = 3*t - 3*y + 506. Does 3 divide (-18)/27 + t/(-6)?
True
Let c = 19355 - 13139. Is 28 a factor of c?
True
Suppose -41*k = -13*k - 84. Suppose -47*m + 45*m + k*i = -959, -5*i = 5*m - 2435. Is m a multiple of 11?
True
Suppose -5*k + 10 = 25. Let u(o) = -o**3 + o**2 + o - 14. Let c(d) = -2*d**3 - 5*d**2 - 3*d + 13. Let a(z) = c(z) + u(z). Is 10 a factor of a(k)?
True
Let h be (-13 - -9)*(-3)/6. Suppose m - 8 = -h*b, 2*m + 1 + 4 = 3*b. Does 13 divide ((-4563)/36)/(b/(-8))?
True
Suppose 0 = -17*p + 21*p + 5*q - 27882, -3*q + 27878 = 4*p. Does 19 divide p?
False
Let u(g) = -g**3 - g - 9. Let r be u(3). Let i = 576 - 411. Let d = i + r. Is 18 a factor of d?
True
Suppose 0 = 5*n + 47 - 32, -9791 = -2*v + 5*n. Is v a multiple of 47?
True
Let b = -1097 + 1634. Suppose 821 + b = 7*v. Does 64 divide v?
False
Let p be (-1188)/4*(0 + 66/18). Let m = 1899 + p. Does 62 divide m?
False
Let v(f) = -21*f**3 + 12*f**2 + 7*f + 10. Is v(-2) a multiple of 4?
True
Let m(p) = 61*p + 5. Suppose 5*l = 4*t + 14, -4*l = -2*t - t - 11. Suppose 2*z = y + l, -z + 0 = -4*y - 1. Does 22 divide m(z)?
True
Let v(y) = 7*y**2 + 3*y - 28. Let l(p) = -6*p**2 - 2*p + 28. Let t(x) = -6*l(x) - 5*v(x). Suppose 0 = -5*o + 11 - 56. Does 20 divide t(o)?
True
Suppose 2*a = -2*w + 486, -4*w + 558 = 3*a - 174. Let l = a - 53. Does 13 divide l?
False
Suppose -70*f + 69*f + 15 = 0. Let a(o) = -2*o**2 + 46*o + 16. Is 13 a factor of a(f)?
False
Let i(f) = -12*f + 25. Suppose -18*k + 19*k = -11. Does 31 divide i(k)?
False
Suppose -2*x = -x. Let u(k) = k**2 - 7*k + 19. Is 5 a factor of u(x)?
False
Let h be (-78)/(-16) - (-4)/96*3. Suppose -h*o - 686 = -1866. Is 10 a factor of o?
False
Let y(r) = 2*r**3 - 28*r**2 + 20*r - 42. Does 3 divide y(23)?
False
Let v = -2579 + 5728. Is 6 a factor of v?
False
Suppose -81*g + 74*g + 56 = 0. Suppose g*k - 665 = 3*k. Is 5 a factor of k?
False
Let z = 81430 - 58056. Suppose 9*v = -4*v + z. Is 102 a factor of v?
False
Suppose 0 = -2*y - w - 85 + 92, 2*y + 7 = w. Let b(m) = -66*m + 162. Let s(o) = -7*o + 17. Let u(j) = -5*b(j) + 48*s(j). Is 6 a factor of u(y)?
True
Let n be (1 - 2) + 12/8*226. Suppose 0 = 3*f + 5*y - 636, 3*f - 2*y - n - 298 = 0. Let x = -92 + f. Does 12 divide x?
True
Suppose -2*d + 106 = 2*t, -8*d - 167 = -4*t - 3*d. Let v = t + -7. Suppose 0 = 4*r - 63 - v. Is 14 a factor of r?
False
Let g(w) be the first derivative of w**4/4 - 2*w**3 + 7*w**2/2 + 481. Let c be (-5)/(-2)*4/2. Is g(c) a multiple of 10?
True
Suppose -20*c = -5*c - 2145. Suppose 25*j - c = 26*j. Is j/(2/(-2) - (3 - 3)) a multiple of 21?
False
Is 52 a factor of ((-12)/(-24))/(1 - 539934/539940)?
False
Suppose 100*m - 2062830 = 2335265 - 408095. Is m a multiple of 30?
True
Let j(b) = b**3 + 5*b**2 - 2*b. Let f be j(3). Let w = -64 + 248. Let o = w - f. Does 24 divide o?
False
Suppose -2*u = 4*k - 16516, 3*k = 73*u - 72*u + 12377. Is 23 a factor of k?
False
Let d(a) = 9*a**2 + 114*a - 196. Is d(8) even?
True
Let o(u) = 6*u + 126. Let d be o(21). Is 18 a factor of (d/(-10))/(19/(-190))?
True
Let g(z) = 22*z**3 - 5*z**2 + 7*z - 15. Is 7 a factor of g(7)?
False
Let c = 1 + 54. Let j = c - -2. Let x = j + 133. Does 22 divide x?
False
Suppose -4*z + 32 = -4*d + 2*d, -5*z = -4*d - 46. Let s be -2 + (14 - 4 - 6). Suppose s*v - 4 = -z, -v - 35 = -l. Is l a multiple of 11?
False
Let f = 35 - 34. Let g(c) = 178*c**3 + c**2 - c + 1. Let b be g(f). Suppose 2*y = 3*p + b, 5*p = -y - 0*y + 109. Is 38 a factor of y?
False
Let q be 30/(-25)*35/(-21). Suppose 875 = 4*n + 5*a, 17*a - 15*a = -q. Is n a multiple of 11?
True
Suppose 4*v = 5*x - 140, -18 = -2*x + 2*v + 36. Let j = 3599 + -3598. Let h = j + x. Is 11 a factor of h?
True
Let x = -1150 - -623. Let v = -511 - x. Is 6 a factor of v?
False
Suppose -14*d = -16*d + 50. Is 242/10*8/(40/d) a multiple of 11?
True
Let u(v) = v**3 + 44*v**2 - 86*v + 315. Does 23 divide u(-45)?
False
Suppose -14*l = -19*l. Suppose -4*h + 200 = 2*s, l = -h - s - 0 + 50. Does 12 divide h?
False
Let d(n) = n**3 + 8*n**2 - 6*n + 9. Let h be d(-8). Let q = -55 + h. Suppose 7*b = q*b + 55. Is 6 a factor of b?
False
Suppose -g + 140 - 23 = 0. Let f(v) = -2*v**2 - 19*v - 128. Let d be f(-5). Let t = g + d. Is t a multiple of 3?
False
Let u(j) = 241*j**2 - 1. Let r(o) = -o**2 + 10*o - 15. Let v be r(8). Is 16 a factor of u(v)?
True
Let r(p) = -8*p + 94. Let o be r(-27). Suppose -7*j = -12*j - o. Let t = j - -74. Is t a multiple of 5?
False
Suppose 3*p - 6*g + 2*g - 27 = 0, -5*p + g = -28. Suppose 0 = 5*s - p*d - 940, 0 = 2*s + 2*d - 424 + 52. Is s a multiple of 30?
False
Suppose 18605 = 5*q - 2*s, q + 79*s - 3721 = 81*s. Does 14 divide q?
False
Suppose k = 5*k - 5*f - 3, -f = 2*k - 5. Let i(t) = 54*t - 45. Does 6 divide i(k)?
False
Let h(q) = 2*q + 20. Let i be h(-6). Let d(g) = -2*g**2 + 40*g + 28. Let p be d(21). Is (-508)/(-7) + i/p a multiple of 37?
False
Suppose 0*g = 3*g + 6. Let f(m) be the first derivative of -31*m**2/2 + 8*m - 1