u = -o + m. Is 11 a factor of o?
False
Let a = -27 + -18. Let i = -47 - a. Is 53 + (3 - 2) + i a multiple of 9?
False
Let b be 4/(-14) + (-69)/(-21) + -1. Suppose b*v - 130 = 146. Is v a multiple of 13?
False
Let s(d) be the third derivative of 2*d**4/3 + 10*d**3/3 + 5*d**2 + 14. Let t(k) = -k**2 - 6*k + 6. Let g be t(-6). Does 20 divide s(g)?
False
Let k(x) = 133*x**2 - 66*x - 623. Does 9 divide k(-8)?
False
Suppose 4*s = -0*s + 3*x + 12, 0 = 5*s - 3*x - 12. Let f(t) = -5*t + 10 + 5*t**2 - 12*t**2 + s*t - t**3. Is 15 a factor of f(-7)?
True
Let n(i) be the third derivative of i**5/15 - i**4/8 - 3*i**3/2 - 38*i**2. Let b = 46 + -41. Is 20 a factor of n(b)?
False
Let b(x) = 41*x**2 + 12*x - 29. Let v be b(5). Suppose -3*y + 658 = 4*c - 390, -y = 4*c - v. Suppose 3*o + 2*n + 2*n = c, 0 = 3*n - 12. Is 5 a factor of o?
False
Is -261*108/(-10)*40/16 a multiple of 29?
True
Suppose -5*s - 3*w = -35947, 5*s + 4*w + 3852 - 39793 = 0. Is 75 a factor of s?
False
Suppose 2*a + 8*a = 2200. Let k = 92 + a. Is (k/32)/(9/(-8))*-6 a multiple of 29?
False
Suppose 13*h = 11*h + 54. Let v = -22 + h. Suppose -1 = -2*a - 4*w + 17, v = -5*w. Does 9 divide a?
False
Let w(y) = -6*y - 277. Is w(-48) a multiple of 11?
True
Let y(n) = n**3 - 50*n**2 - 209*n + 160. Is y(56) a multiple of 101?
True
Let i(z) = -z**3 + 14*z**2 - 18*z - 21. Let h be i(10). Let p = 1248 - h. Is 12 a factor of p?
False
Suppose 0 = 3*l - 5*l - 4*v + 382, -l + 186 = 3*v. Let o = l - 184. Is 4 a factor of o?
False
Let a = 98575 + -68051. Is a a multiple of 13?
True
Let t(s) = 39*s + 156. Let l(g) = 2*g - 2. Let c(b) = -3*l(b) - t(b). Does 4 divide c(-10)?
True
Suppose -3*u + l - 2611 + 11175 = 0, -3*u + 8576 = 2*l. Is u a multiple of 4?
True
Suppose 3*z = 3*i - 12, -3*i + 6*z - 11*z + 20 = 0. Is 10 a factor of ((-1320)/(-6))/5*i?
True
Let a(k) = -k**2 - 4*k + 6. Let y be a(-6). Let n be (5 + -6)*(3 + -2 + 0). Is 17 a factor of ((-136)/(-24))/(n/y)?
True
Suppose 80*r - 82*r + 6 = 0, 5*t - 276350 = -5*r. Suppose -t = -44*b - 795. Is b a multiple of 9?
False
Suppose -15*j + 384 = -3*j. Let l(x) = x**3 - 31*x**2 - 32*x + 48. Is 2 a factor of l(j)?
True
Let p(u) = 100*u**2 + 10*u + 51. Is p(-8) a multiple of 23?
True
Let h be (((-31)/1)/(-1) - 3)/2. Suppose -4*y - 2 = -2*a, -h = -3*a - 0*a - 5*y. Suppose -67 = -4*n + a*b, 0*n - 3*n - b = -34. Does 8 divide n?
False
Let u(l) = -l**3 - 17*l**2 + 25*l - 411. Is u(-28) even?
False
Let d = 145 + -114. Suppose -w = -461 + d. Does 19 divide w?
False
Let u(i) = i**3 - 13*i**2 - 11*i - 18. Let v be 1/(-2) - 7/(-14). Suppose -2*f = -v*f - 28. Is 12 a factor of u(f)?
True
Suppose -7*p - 4*c + 212 = -5*p, 2*p - 2*c = 188. Let o = p + -38. Does 7 divide o?
False
Let g = -13 + 71. Is 1 + 5 + 37758/g a multiple of 40?
False
Let g = -1743 + -2497. Is g/(4 + -12) + -3 a multiple of 30?
False
Let s = 31134 + 15217. Does 56 divide s?
False
Let j(r) = -1638*r - 400. Is j(-7) a multiple of 22?
True
Suppose 0 = 3*m + 3*q - 13119 + 2835, q - 4 = 0. Is 16 a factor of m?
True
Suppose -6 = 3*h, 4*h = 30*j - 27*j - 4859. Is j a multiple of 33?
True
Let y(l) = l**3 - 7*l**2 + 9*l - 18. Let c be y(6). Suppose 5*q + 2*j - 1806 = c, -5*j + j - 708 = -2*q. Let b = q - 209. Is b a multiple of 9?
False
Suppose 188389 + 120491 = 5*c + 15*c. Is 36 a factor of c?
True
Suppose 45*d = 39*d - 168. Let w(o) = -14*o + 84. Is w(d) a multiple of 17?
True
Suppose 0 = 2*l + 10, 5*v - 111 = 5*l - 41. Let t = -7922 + 7923. Does 2 divide v/t + (4 - 25/5)?
True
Let c = 434 - 468. Is (-85)/c - (-9)/2 a multiple of 7?
True
Suppose -58 = 5*y + 2*l - 168, 3*l = 3*y - 66. Let b = -12 + y. Let n(h) = 10*h - 23. Is 13 a factor of n(b)?
False
Suppose 4*m + 63 = 5*t, -m - t - 2*t = 20. Let n = m - -12. Is (n/10)/((-2)/96) a multiple of 12?
True
Let i = 10138 + -7993. Does 55 divide i?
True
Let g(f) = 93*f - 2682. Does 7 divide g(46)?
True
Let c(u) = -55*u**3 + 5*u**2 - 5*u - 5. Let l be ((-40)/70)/(4/14). Is c(l) a multiple of 12?
False
Suppose -5*q = 3*v - 6*v - 13, 3*q = -v + 5. Let n(u) = -u**2 + u + 1. Let r(p) = -5*p**2 - 10*p + 18. Let g(t) = v*r(t) + 6*n(t). Does 20 divide g(12)?
False
Let w(v) = 68*v + 136. Let q be 192/240 + 242/10. Does 12 divide w(q)?
True
Let j(s) = 5*s**2 - 4*s - 1. Let x be 4/6 + (-38)/(-6) + 2. Suppose 54*m = 57*m + x. Does 10 divide j(m)?
False
Let n = -2 - -334. Let r = n + -186. Let w = 326 - r. Is 36 a factor of w?
True
Let a = -167 - -206. Let z(p) = 10*p + 11. Is z(a) a multiple of 31?
False
Suppose -23*p - 44*p + 241224 = -10*p. Is p a multiple of 92?
True
Is 67 a factor of (-64)/192 + 13269/9?
True
Let l be ((-200)/(-12))/(2/9). Is (-1424)/(-12) + 5/(l/(-10)) a multiple of 18?
False
Let r be 1 - (4/(-2) + -46). Let k = r + -47. Suppose -3*z - 3*j + 543 = 0, -k*j = -2*z - 3*j + 360. Is 22 a factor of z?
False
Let t(l) be the third derivative of l**6/30 - l**5/60 - 13*l**4/24 - 23*l**3/6 - 2*l**2. Does 43 divide t(5)?
True
Let p = 419 - 148. Let g = 522 - p. Let y = g + -84. Does 42 divide y?
False
Let z = -94 + 98. Let g(n) = -n + z + 7 + 5. Is g(-11) a multiple of 4?
False
Suppose 33*w + 2191 = -515. Suppose 4*q + 519 = q. Let k = w - q. Is k a multiple of 19?
False
Let x(v) = 63*v**2 + 3*v + 5. Let k be x(-2). Let h = k + -478. Does 11 divide ((-3)/5 - 4/10)*h?
False
Suppose -d + y = 3*y - 100, 0 = 5*d - 4*y - 444. Let t = d - 15. Is 6 a factor of t?
False
Does 13 divide 52*(45/10 - 5200/(-32))?
True
Let d(x) be the second derivative of x**3/3 + 5*x**2/2 - 2*x. Let c be d(0). Suppose -j + 210 = c*j. Is 12 a factor of j?
False
Suppose 3*q + 2*q - 3*y - 5 = 0, 5*y = 0. Let u = q + 2. Suppose 2*s - 2*h - 26 = 0, 0 = -u*s + 4*s - 3*h - 9. Does 11 divide s?
False
Is (111825/12)/(((-6)/(-21))/((-16)/(-14))) a multiple of 213?
True
Let n = 32 - 25. Suppose -6*m + 1963 = n*m. Is m a multiple of 33?
False
Suppose 2344606 + 6275874 = 248*l. Is 55 a factor of l?
True
Suppose 0 = 2*a + 5*u - 12 - 125, -u = -1. Let w be a/(-44)*292/(-3). Let j = w + -98. Does 16 divide j?
True
Let g = -3179 + 8483. Suppose -5*v + 1001 - 6341 = -5*h, 4*v = -5*h + g. Is 23 a factor of h?
False
Let r = 682 + -680. Suppose 0 = 5*u - r*t - 3834, 8*u - 9*u - 3*t = -777. Is u a multiple of 16?
True
Let p = 79 - 74. Suppose 5*y + 319 = -3*x, -p*y - 5 = 5. Let q = x + 124. Does 7 divide q?
True
Let s(q) = 103*q - 46. Let z be s(2). Let n = z + 344. Is 72 a factor of n?
True
Is (748/51)/(-1 + (-643)/(-642)) a multiple of 107?
True
Suppose 4*r = m + 34 + 68, 0 = 4*m - 3*r + 369. Let l be (9/4)/(m/32 + 3). Is 14 a factor of 21/(l/40 + 0)?
True
Suppose 8*z = -5 - 19. Does 26 divide 118 - 24/(z + 7)?
False
Suppose -4*k - 2*y = -786, 3*k - 261 = -3*y + 330. Let n = k + 10. Suppose 5*u - n - 64 = 0. Does 6 divide u?
True
Let t(j) be the third derivative of 17*j**5/120 - j**4/8 - j**3/2 + 7*j**2. Let b(y) be the first derivative of t(y). Is b(2) a multiple of 31?
True
Suppose 12 = 4*y - y. Let s be -2*(54/(-6) - -7). Suppose -d - 65 = -s*d - 2*o, 84 = y*d + 4*o. Is 5 a factor of d?
False
Let i = -1063 + 583. Does 12 divide (-2*(-9)/24)/((-6)/i)?
True
Let f be -17 - ((-24)/(-8) + -1). Let q(c) = -10*c - 171. Is 6 a factor of q(f)?
False
Is 214 a factor of (580/140 - (-90)/105)*20758/5?
True
Let i(w) = w**3 + 3*w**2 - 308*w + 4. Is i(-15) a multiple of 13?
True
Let h = -13593 + 24468. Is h a multiple of 39?
False
Let x = 491 - 65. Let l = x + 1583. Does 41 divide l?
True
Let n = 4172 + -3160. Is 79 a factor of n?
False
Let d = 25 + -23. Let y = d + -1. Is (-34)/(-1) - (y - -3) a multiple of 9?
False
Let p = 2027 + 415. Does 74 divide p?
True
Let m = 62 - 52. Let f(c) = c**3 - 11*c**2 + 15*c - 36. Does 8 divide f(m)?
False
Let u(g) = 2*g**2 - 4*g - 59. Suppose 11*t = -61 - 27. Is 11 a factor of u(t)?
False
Let i(s) = -9*s**2 - 897*s - 134. Is i(-58) a multiple of 193?
True
Suppose 5*f = 25, 189*f - 32415 = -4*b + 190*f. Does 28 divide b?
False
Suppose 2*y - 3*m + 2589 - 8448 = 0, 2*m = y - 2930. Is 4 a factor of y?
True
Is (-45)/((507/(-260))/13) a multiple of 10?
True
Let o(y) = -y**3 - 33*y**2 + 7*y + 236. Let u be o(-33). Suppose -13*i = -u*i - 4664. Does 23 divide i?
False
Let t(y) = 27*y**2 - y. Let f be t(-2). Suppose -f = -9*i + 7*i. Is 10 a factor of i + 16/4 + -5?
False
Suppose -15992 = -2*a - 5*b, 61 = -