)?
True
Suppose -34700 + 85370 = 21*d - 200385. Does 240 divide d?
False
Let a(m) = 33*m - 26. Let v be a(6). Suppose 2*w - v = -4*o, -w = 5*o - 109 + 11. Does 13 divide w?
True
Is 10 a factor of (4/4*3 - -43253) + (-35 - -34)?
False
Let s be -1 - 43/(-15) - 436/(-3270). Suppose c + 0*c - 23 = 0. Let t = s + c. Is t a multiple of 3?
False
Let x = 5119 + -2242. Is x a multiple of 52?
False
Suppose 0 = 11*h - 139 - 103. Suppose h*y - 1802 = 5*y. Does 13 divide y?
False
Suppose 4*u + 4*g - 18576 = 0, -3*u + 2*g = -13145 - 787. Is u a multiple of 54?
True
Let x be (0/(-2))/(-1 + 2). Suppose 5 = -5*v, -p - p - 3*v + 467 = x. Is p a multiple of 21?
False
Let s(v) = -2*v**3 - 9*v**2 - 12*v + 8. Suppose 8*o = 2*o. Let j be (o - 1)/(3/18). Is 40 a factor of s(j)?
False
Let c = -65 + 68. Let i be ((-1)/2 - -2)*2. Suppose 5*k = -i*m + 110 - 5, -105 = -3*m - c*k. Is m a multiple of 29?
False
Let w(f) = 0*f - 4 + 4*f - 12*f + 6*f. Let z be w(-6). Suppose 0 = 3*a - z*a + 960. Does 19 divide a?
False
Let v(j) be the third derivative of j**5/20 - 5*j**4/12 + 4*j**3/3 - 2*j**2 + 15*j. Is 11 a factor of v(-17)?
True
Let y be (-64)/(-10)*30/4. Suppose 6*r - y = -10*r. Suppose 2*m - 3*l - 99 = 0, r*m + 5*l - 69 - 70 = 0. Is 6 a factor of m?
True
Suppose 228346 = 93*k - 64*k. Does 31 divide k?
True
Let i(k) = 7*k + 127. Let q be i(-19). Does 3 divide 4/q - (-18354)/126?
False
Suppose -156*p - 52486 = -5*j - 159*p, j - 10504 = -4*p. Does 106 divide j?
False
Let n(d) = d**3 - 5*d**2 - 6*d - 3. Let s be n(5). Let z(p) = p**3 + 21*p**2 + p + 6. Let y be z(-21). Let b = y - s. Is b a multiple of 6?
True
Let x be (2/8 - 0)/(4/176). Suppose x*g - 1039 - 1205 = 0. Is 34 a factor of g?
True
Does 38 divide (-43890)/(-6)*23/(230/28)?
True
Let f(l) = -137*l**3 - 4*l**2 - 24*l - 100. Does 100 divide f(-4)?
True
Let i = 9636 - 4328. Does 18 divide i?
False
Is 3 a factor of -10 - 26432/((-48)/3)?
False
Suppose -16*j = -20 - 28. Suppose -j*o + 126 = 2*p + 2*p, 5*p - 142 = 4*o. Does 16 divide p?
False
Let q = 12012 + 13823. Is 4 a factor of q?
False
Let k = -437 - -727. Is k a multiple of 2?
True
Suppose 3*w - 130491 = -5*p, -144 = 4*w - 172. Is p a multiple of 18?
False
Let g be (5 - -7)*1/2. Suppose 0 = 3*d + g, -3*v + 2*d + 277 = 18. Is v a multiple of 17?
True
Suppose -g + 3*v + 17 = 0, -2*v = -1 + 3. Suppose 5*d + g*d = 741. Suppose -d*t - 51 = -42*t. Does 2 divide t?
False
Suppose 0 = 675*s - 7615753 + 76069 - 17362416. Is s a multiple of 46?
True
Let m(z) be the second derivative of 5*z**4/8 - 26*z**3/3 - z**2 - 34*z. Let c(q) be the first derivative of m(q). Does 7 divide c(5)?
False
Let l be ((-1212)/(-18))/((56/12)/(-7)). Is 3 a factor of (l/202)/((-1)/94)?
False
Let i = 5 + -230. Let t = 244 + i. Is 4 a factor of t?
False
Suppose 22*f = 22 + 44. Suppose f*z - 2531 = 145. Is 50 a factor of z?
False
Let b be -2 - 212/8 - 8/16. Let s(d) = -18*d - 19. Is 7 a factor of s(b)?
False
Let z = -367 - -697. Suppose -d - 5*n + z = 0, -4*d + 766 = -4*n - 434. Suppose 0 = b + 2, 3*a = -3*b - 38 + d. Is a a multiple of 7?
True
Suppose 2*c - 5*h - 830 = -6*h, -2*h + 3730 = 9*c. Is 138 a factor of c?
True
Suppose -2*g - o - 11 = 42, 0 = 2*o + 6. Let s(v) = -22*v + 22. Is 52 a factor of s(g)?
True
Let y(d) be the third derivative of -d**5/60 + d**4/2 - 4*d**3/3 - 51*d**2. Is y(8) a multiple of 4?
True
Let h = -22 + 11. Let r be 1*66/(-10)*(-30)/6. Let g = r - h. Does 44 divide g?
True
Let k(r) = -r**3 + 18*r**2 + 3*r - 16. Suppose 188*a + 290 = 217*a. Is 10 a factor of k(a)?
False
Suppose 67*n - 39*n = 0. Suppose n = -24*k - 0*k + 7224. Does 43 divide k?
True
Let r be -54 + -3 + (-4)/2. Let p = r + 151. Does 51 divide p?
False
Does 16 divide (-38555072)/(-864) - (-6)/81?
True
Let s be (0 + 4)*3/(-3). Does 22 divide (s + -1)*(88/(-5) - -1)?
False
Let h(l) = -3*l**2 - 4*l + 2. Let a be h(-6). Is 22 a factor of 5*(2 - -4 - a)?
True
Let i be (-7)/(-3)*(-3)/9*-9. Suppose -i*n - 3*n + 290 = 0. Is 5 a factor of n?
False
Is (-212280)/(150/(-10)) - -9 a multiple of 11?
False
Let r = -51 - -56. Suppose 4*q - 400 = r*j, -4*j = 5*q + 91 + 188. Let t = j - -163. Is 29 a factor of t?
True
Let w = -21436 - -30166. Does 10 divide w?
True
Suppose 9*i = -48*i + 155952. Is i a multiple of 57?
True
Let p(n) = 5*n**2 + 7*n - 13. Let m(g) = 10*g**2 + 14*g - 27. Let u(x) = -2*m(x) + 5*p(x). Let z(l) = 2*l - 88. Let d be z(47). Does 38 divide u(d)?
False
Let r(d) = 3*d + 27. Suppose 9*k + 24 = 10*k. Let m = k - 19. Is 14 a factor of r(m)?
True
Suppose 462 = -3*v + 4*r + 1414, -4*v + 5*r + 1267 = 0. Is 9 a factor of v?
False
Let c be ((-26)/4 + 2)*1376/(-24). Let n = -231 + c. Does 3 divide n?
True
Let o(u) = 92*u - 64. Suppose 22 = -13*d + 113. Is 58 a factor of o(d)?
True
Let t(y) = y**3 + 3*y**2 + 3*y + 5. Let w be t(-2). Suppose w*x + 12 = -51. Let b = 129 + x. Is b a multiple of 9?
True
Let o = -7240 + 7875. Does 25 divide o?
False
Suppose 3*k - 79573 = -57*h + 53*h, h + k - 19891 = 0. Does 20 divide h?
True
Suppose 71*h = 68*h + 15. Let b(r) = -r**3 - 7*r**2 - 6*r - 2. Let j be b(-6). Does 13 divide 77 + 1 + h + j?
False
Is (4116/(-588))/((-7)/717) a multiple of 4?
False
Let l = 2982 - 782. Is 13 a factor of l?
False
Suppose -2*t - 4*x + 53564 = 0, 3*t - 80436 = -11*x + 15*x. Is 200 a factor of t?
True
Let w be (-96)/(-42) - 2 - 29205/(-21). Suppose -1304 - w = -7*a. Is 8 a factor of a?
False
Let q(z) = 7*z**3 + 255*z**2 + 62*z + 118. Is q(-36) a multiple of 9?
False
Suppose 5*c - 4*u = 104, -3 = -c + 3*u + 20. Suppose -4*z - c = 0, 3*m + 16 = z - 6*z. Suppose -m*k = -8*k + 205. Does 8 divide k?
False
Suppose -3*n + 726 = 2*a - 5*n, -4*a + 2*n = -1450. Let k = 648 - a. Does 26 divide k?
True
Let j(k) = -k**2 - 7*k + 8. Let p be j(-6). Suppose p - 38 = -4*n. Suppose 3*m - 558 = -n*m. Is m a multiple of 31?
True
Suppose -2*o + 1529 + 897 = 4*c, -3*c - 4*o + 1817 = 0. Is c a multiple of 6?
False
Suppose 0 = -i - 3*k - 327, 4*i - 52*k + 47*k + 1325 = 0. Let f = i + 506. Is 6 a factor of f?
False
Is ((-9)/6)/(765/(-68)) + 48958/15 a multiple of 102?
True
Let h(o) = 3*o**3 - 4*o**2 + 5*o - 1. Let g be h(-5). Let t = 963 + g. Does 33 divide t?
True
Let m(r) = -2*r**3 + 21*r**2 + 16*r - 2. Let a be m(11). Let z = 58 - a. Suppose z*b + 0*b - 330 = 0. Is 33 a factor of b?
True
Suppose y + 203 = -6*y. Let v = 50 - y. Suppose -3*i = -n - v - 61, 0 = -3*i - n + 136. Does 6 divide i?
False
Suppose 2*q = 4*b - 1034, 4*q - 192 = -b + 80. Suppose p - y = b, -169 - 1123 = -5*p + 3*y. Does 16 divide p?
True
Let w(a) = 155*a**3 - 2*a**2 - 3*a - 1. Does 25 divide w(2)?
True
Let m = -752 - -781. Let f = 0 - 19. Let j = f + m. Does 10 divide j?
True
Suppose 5*c - 9 - 6 = 0. Let d be (28/7 - 5) + 4. Suppose 192 = c*b + d*b. Is b a multiple of 10?
False
Let y be -5*((-3)/30 - 1/2). Let s be (1*y)/(36/24). Suppose -5 = -q - 2, 5*t - s*q - 124 = 0. Is t a multiple of 26?
True
Suppose 353158 - 51206 = 16*o. Does 7 divide o?
True
Suppose 16*c - 20406 - 4891 = -2673. Is c a multiple of 2?
True
Suppose 9*w = 5*w + 2*j + 8, 0 = -2*j - 8. Let b(m) = -m + 39. Let o be b(w). Suppose -o - 11 = -2*x. Is x a multiple of 9?
False
Is 27 a factor of (1/(-3))/(7/((-11340)/75))*420?
True
Suppose 435 + 173 = 4*p. Suppose -48 = -154*q + p*q. Does 12 divide q?
True
Let p = -595 + 1019. Is p a multiple of 8?
True
Let i(f) = f**3 - 20*f**2 + 15*f - 25. Let w be 165/27*3 + 6/9. Let n be i(w). Let j = -9 - n. Does 23 divide j?
True
Let f = 5336 + -5294. Let w be 1 - (3*-26)/2. Suppose -w*c - 76 = -f*c. Does 7 divide c?
False
Suppose -7452328 = 5*s - 219*s + 4430664. Is s a multiple of 56?
False
Let f be -488*((-20)/(-5) - 5). Does 13 divide 15/20*(-4 + f)?
False
Let x(v) = -16*v**3 - 5*v**2 - 26*v - 437. Let a(m) = -7*m**3 - 2*m**2 - 12*m - 218. Let g(k) = -7*a(k) + 3*x(k). Does 6 divide g(0)?
False
Suppose 10*p - 6*p + 304 = 0. Let m = p - -101. Suppose 6*d = 5*d + m. Is 5 a factor of d?
True
Does 3 divide ((-128)/16 + 0)/((-6)/2637*1)?
True
Let k be 2831/7 + 24/42. Let n = k - 189. Is 36 a factor of n?
True
Let q(b) = -11*b - 17. Let v be -22 - ((-18)/7 + 6/(-14)). Let w be q(v). Suppose 18*c - w = 16*c. Is 35 a factor of c?
False
Let c(g) = 4*g**3 + 9*g**2 - 4*g - 7. Let v(u) = 3*u**3 + 9*u**2 - 5*u - 7. Let t(n) = -2*c(n) + 3*v(n). Let b be t(-10