le of 23?
False
Let i = 500 + -514. Let x(p) = -21*p - 231. Is 7 a factor of x(i)?
True
Let o(t) be the third derivative of 0 - 1/2*t**4 + 0*t + 1/60*t**5 + 6*t**2 - 10/3*t**3. Is o(16) a multiple of 22?
True
Suppose -3*n - 3*p = -8193, 3*p = n + 7*p - 2734. Does 10 divide n?
True
Let w(x) = -171*x + 25. Let d(z) = -343*z + 50. Let r(g) = -4*d(g) + 9*w(g). Is r(-3) a multiple of 20?
False
Suppose 4*v - 10 - 2 = 0. Suppose -4*x + 10 = -v*x. Let m = 76 - x. Is 12 a factor of m?
False
Let y = 2042 + -884. Does 20 divide y - (2/9 + (-120)/54)?
True
Let z(o) = o**3 - 8*o**2 + 3*o + 15. Let v be z(8). Let l be ((-65)/v)/(5/(-18)). Is (-12)/(-10)*15/l even?
False
Does 191 divide (-3 + 2334/14)/(94/987)?
True
Let k be (2 - -2)*(-2 + 118/(-8)). Let b = -55 - k. Let y(f) = f**2 - 9*f - 6. Does 7 divide y(b)?
False
Let b be 524/10 - 4/10. Let m(l) = -316*l + 1031. Let x be m(3). Suppose x = 5*j - b. Is j a multiple of 4?
False
Let m(f) = -f**3 - 40*f**2 - 5*f + 20874. Is 71 a factor of m(0)?
True
Suppose -7*q + 4187 = 2073. Is q a multiple of 17?
False
Let t(i) = -157*i + 39. Let o be t(-4). Let x = -523 + o. Is 8 a factor of x?
True
Let r be (-10)/((4/20)/((-1)/(-5))). Does 71 divide 46/r*(-120 - 35)?
False
Suppose -v + 18478 - 5706 = v. Does 9 divide v?
False
Let h(n) = 909*n**2 + 12. Is h(-2) a multiple of 57?
True
Let o(r) = r**3 - 56*r**2 - 159*r - 205. Is 5 a factor of o(59)?
False
Let x(q) = 3*q**2 - 6*q - 3. Let l(m) = -m**2. Let d(i) = 4*l(i) + x(i). Let u be d(-2). Suppose u*a - 25 = 0, -3*a = 3*c - 406 + 103. Is 8 a factor of c?
True
Suppose -17*a + 4*a + 78 = 0. Does 14 divide (-28*(-1)/a)/((-3)/(-36))?
True
Suppose z - 3*w = -z + 87, 3*z + 5*w - 140 = 0. Let c be (z/(-12))/((-12)/16). Suppose 2*l - 4*l - 4*y = -222, -c*y = -10. Is 8 a factor of l?
False
Suppose 0*u - 32*u + 59061 = -32235. Is u a multiple of 65?
False
Let d be (1*(-27 - 3))/(10 + -11). Let l(o) = 2*o**3 - 8*o**2 - 8*o - 6. Let b be l(7). Suppose -34*c + d*c = -b. Does 10 divide c?
False
Let b be 1/(-5) + (-6 - (-7287)/35). Let o be (-5)/((-15)/(-6)) - (-9 + b). Let t = -150 - o. Is t a multiple of 5?
True
Let t(q) = -q - 1. Let z be 5/((-10)/(-4)) + (5 - 5). Let y be t(z). Let o(k) = -22*k + 3. Is o(y) a multiple of 23?
True
Suppose -2*l + 3*z = -2*z - 13, -2*z = 10. Let x(k) = -k**3 - 8*k**2 - 13*k - 9. Let i be x(l). Does 6 divide ((39/2)/i)/((-3)/12)?
False
Suppose 655 = -8*j - 633. Let t = j + 168. Is 7 a factor of t?
True
Let r = -81 - -80. Let i be (-1)/r - (-151 + 5). Let b = -69 + i. Is 26 a factor of b?
True
Let w be 7 + (-111)/15 - 527/(-5). Suppose -w*s + 110*s = 3780. Is 9 a factor of s?
True
Let m(g) = -52*g - 6. Let q be m(-2). Suppose 2*r - 342 = 5*f, 3*r + 0*f - 523 = 5*f. Let c = r - q. Is c a multiple of 16?
False
Let k = -3 - 13. Let v = k + 21. Suppose 0 = -3*m - d - 0*d + 304, -5*m = v*d - 500. Is 17 a factor of m?
True
Let x(g) = -295*g - 5387. Is 49 a factor of x(-46)?
True
Let k(j) = -j**2 - 47*j - 41. Let t(o) = -3*o + 2. Let f be t(11). Does 7 divide k(f)?
True
Let n be (-105630)/(-40) + (-3)/4. Suppose 13*d = -703 + n. Is 10 a factor of d?
False
Let m(b) = 18817*b - 285. Does 113 divide m(1)?
True
Let l = -3410 + 12695. Suppose -809 = 26*o - l. Is 40 a factor of o?
False
Suppose -3*v = 2*d - 4993, 0 = -2*d + 2*v + 3738 + 1260. Does 51 divide d?
False
Suppose -1322692 + 175612 = -125*k + 15*k. Is 18 a factor of k?
False
Let h(v) = -76*v + 1030. Is h(-15) a multiple of 14?
True
Let m = 243 - 51. Suppose 0 = -10*z + 6*z + m. Does 3 divide z?
True
Let g be 901 - (-3 + 4 + 1). Suppose -3*y - 4*p + g = 0, -4*y - 9*p + 1196 = -5*p. Does 24 divide y?
False
Let g(o) = -13*o**3 + 7*o**2 - 8*o + 5. Let t be g(-6). Suppose 0 = 2*c - 13*c + t. Is c a multiple of 27?
False
Suppose 0 = -4*h + 5*b + 127233, 5 = 1050*b - 1051*b. Does 28 divide h?
False
Suppose 28 + 2 = -m - 5*c, -4*m - 28 = -3*c. Let y(a) = 5*a**2 + 38*a + 34. Is 11 a factor of y(m)?
True
Let p be 5/10 - (-2)/(-4). Suppose p = -6*f + 4*f + 126. Is f a multiple of 44?
False
Let f be (2 - (-3 + (-183)/(-9)))*3. Let x = 48 + f. Is 96/64 + 17/x a multiple of 4?
False
Suppose -2*b + 138 = 2*x, 3*b + 2*b - 315 = x. Is 67 a factor of 2*8/(b/1876)?
True
Is 4 a factor of 222/(-2849)*-29194*(-14)/(-3)?
True
Let y(o) be the third derivative of -o**5/60 - 3*o**4/8 - 19*o**3/6 + 27*o**2. Let s be y(-6). Let l(w) = -57*w**3 + w + 1. Is l(s) a multiple of 6?
False
Is 16 a factor of (1 - 9/(-3 + -6)) + 18004?
False
Let d = 10827 - -1143. Is d a multiple of 133?
True
Let o(p) = 2*p**2 - 54*p + 5288. Does 29 divide o(120)?
True
Let g be (27/4)/(2/176). Suppose -g = -4*k - 3*f + 2*f, -5*f = 2*k - 288. Is k a multiple of 16?
False
Let q(f) = -2*f**2 - 21*f - 6. Let b be q(-10). Suppose b*v = -0*v - 5*i + 44, 10 = 3*v - 2*i. Let k(m) = -m**3 + 6*m**2 + 14*m + 1. Does 21 divide k(v)?
False
Suppose -2*q + 282 = 2*k, -4*k + 105 = -2*q + 411. Is 8 a factor of q?
False
Let g(n) = -37*n**3 - 3*n**2 - 3*n - 4. Let l be g(-2). Suppose -13*f + 572 = -l. Is 11 a factor of f?
True
Let s be (-34)/(-6) - 4/6. Let j be (-1)/(-12) - 31388/(-48). Suppose 171 = s*q - j. Is 33 a factor of q?
True
Suppose 4*q - 7*q = 4*u + 1095, 0 = 4*q - 12. Let w = 386 + u. Does 22 divide w?
True
Let o(s) = 5*s - 76. Let h be o(20). Let p = 280 + h. Is p a multiple of 8?
True
Let q(j) = j**2 - 2*j - j**2 - 26*j**2 - 13*j**2 + 6. Let t be q(4). Is t/(-10) + (-6)/(-15) a multiple of 21?
True
Is 576875/273 + -14 - -1*4/(-42) a multiple of 144?
False
Let t(k) = 187 - 338 + k + 184. Is t(3) a multiple of 9?
True
Let j = -162 - -5347. Is 24 a factor of j?
False
Suppose -5*x = 752*i - 755*i - 7203, -4*x = -i - 5761. Does 18 divide x?
True
Let h(y) = 17*y**2 + 2*y - 2. Let q be (-2)/4 + (-138)/12*1. Let l be (5/20)/((-1)/q). Is 12 a factor of h(l)?
False
Let g = 908 - 335. Suppose 5*u = 4653 - g. Is u a multiple of 17?
True
Is 13 a factor of 13968/9 - 6 - (-2)/2?
True
Let p(m) be the second derivative of -m**7/840 + m**6/45 + m**5/12 - m**4/2 - m**3/2 + 15*m. Let i(c) be the second derivative of p(c). Does 10 divide i(8)?
False
Suppose 16 = -25*m + 27*m. Suppose 2*j + m*j - 30 = 0. Suppose -v + j = 0, 4*p - 178 = v + 71. Is 15 a factor of p?
False
Let t be (6/8)/((16/(-4))/(-64)). Suppose -t*v = -6*v + 1104. Let r = -118 - v. Is r a multiple of 11?
True
Let i(v) = 597*v + 4411. Is i(43) a multiple of 89?
True
Let f be 151/((-3)/(-42)*7). Let h = -36 + f. Does 14 divide h?
True
Let l(b) = 21*b - 63. Let z(d) be the third derivative of 5*d**4/24 - 8*d**3/3 - 38*d**2. Let a(u) = -2*l(u) + 9*z(u). Does 12 divide a(18)?
True
Let r(u) = -u**3 + 4. Let f be r(0). Suppose -7*b + 1236 = -150. Suppose -f*c = -c - b. Is 6 a factor of c?
True
Let w = 68650 + -46503. Is w a multiple of 18?
False
Suppose 0 = -2*g - 27*g + 3161. Suppose 119 + g = 4*x. Does 57 divide x?
True
Suppose -241*i + 61542 = -16783. Is i a multiple of 5?
True
Suppose -1820 = -z - p, 3*z - 9108 = -2*z - 3*p. Is (18/4)/(16434/z - 9) a multiple of 57?
True
Does 42 divide 9451 + -3 - ((42 - 21) + -21)?
False
Suppose -179 = 6*h - 191. Suppose -1568 = -3*f - 5*y, -h*y + 6*y - 1570 = -3*f. Is f a multiple of 48?
False
Let x = -251 - -384. Is (-10)/(-5 + 0)*x + -2 a multiple of 9?
False
Let n(j) = -j**2 - 56*j + 81. Does 9 divide n(-38)?
True
Let l = -3259 + 3772. Is l a multiple of 11?
False
Let u(w) = 2*w**2 - 31*w - 122. Let k(s) = s**2 - 16*s - 61. Let i(d) = -5*k(d) + 3*u(d). Does 17 divide i(18)?
False
Let u be 1 + (-1240)/(-35) + 12/21. Let h = 105 - u. Let v = h - -43. Is 37 a factor of v?
True
Suppose -7*k - 15 = -2*k, 4*m - 5*k = 287. Let r = m - -13. Let b = r + 16. Does 50 divide b?
False
Let n be 7*(-4 + -2852)/(-3). Suppose 12*t = -2*t + n. Is t a multiple of 20?
False
Suppose b = -2*y + 260, -288 = 2*b - 3*b + 5*y. Suppose 9*v - b = -4*c + 13*v, 2*c = -v + 146. Does 2 divide c?
False
Let i(m) be the first derivative of 18*m**2 + 88*m + 4. Is 52 a factor of i(12)?
True
Suppose r = -d + 2555 + 7166, d - 5*r - 9733 = 0. Is 42 a factor of d?
False
Is 13*750*(60/6 + -11)*-3 a multiple of 65?
True
Let s be (-6 + (10 - 2))*(-10)/(-4). Suppose c + 401 = 4*c + 2*o, -10 = s*o. Let p = 221 - c. Is p a multiple of 20?
False
Let n = 1606 + 1160. Suppose -10*r = -2*c - 5*r + 1833, 0 = -3*c + 2*r + n. Is