factor of b(-33)?
False
Let q = 12269 - 10008. Does 31 divide q?
False
Let c = 14 + -16. Let n be c/(-13) - (-20)/(-130). Suppose n = 4*b - 177 - 3. Does 9 divide b?
True
Let w(z) = z**2 + 6*z - 5. Let t be w(-7). Suppose 5*c - 2*c + 1488 = 5*g, t*c + 596 = 2*g. Is 33 a factor of g?
True
Let l(i) = -i**2 - i + 1. Let m(t) be the third derivative of -t**4/3 + 17*t**2. Let a(s) = -4*l(s) + m(s). Is a(-3) a multiple of 23?
False
Let c = 17451 - -26321. Is 62 a factor of c?
True
Suppose 34*b = 39*b - 5*a - 3280, 1277 = 2*b + 5*a. Suppose -4*m = -20, x - b = -25*m + 30*m. Is x a multiple of 52?
True
Let b be 74 + -1 + 4 + -12. Does 10 divide 3/(((-2)/104)/(b/(-78)))?
True
Does 29 divide 146156/18 - (5250/189 + -28)?
True
Let r be (8 - (-58)/(-8))/((-3)/(-20)). Suppose 4*k - 3564 = -3*z, -r*k - 3*z = -8*z - 4490. Is 29 a factor of k?
False
Suppose 7*m - 61 = -61. Suppose -4*s + 387 + 161 = m. Is s a multiple of 13?
False
Let l = -126 + 120. Let p(z) = -3*z**2 + 51. Let q be p(l). Let h = q - -128. Is h a multiple of 21?
False
Let o(f) = -2*f**2 - 8*f - 20 - 6*f - 9 + 2. Let r(k) = 3*k**2 + 13*k + 28. Let g(w) = -4*o(w) - 3*r(w). Does 24 divide g(17)?
True
Does 28 divide (16716/199)/(3/58)?
True
Suppose 46 = 3*u - 152. Let z be (-12)/u - 92/(-22). Let c(i) = i**2 + 4*i. Is c(z) a multiple of 10?
False
Suppose -4*p + 2*y + 85 = 31, -3*p + 48 = -4*y. Let c(f) = -7344*f + 7356*f + 2 + 8. Is c(p) a multiple of 11?
True
Suppose 11*u - 2449 = 807. Does 8 divide (1 + u)/((-12)/(-8))?
False
Let n(d) be the third derivative of d**5/30 + 13*d**4/24 + 53*d**3/6 + 7*d**2 - 6. Is 3 a factor of n(-7)?
True
Let l(f) be the second derivative of 17*f**4/12 + 2*f**3 - 2*f**2 + 6*f - 4. Is 37 a factor of l(6)?
False
Let q(j) = j**3 - 63*j**2 - 218*j - 191. Is q(76) a multiple of 19?
False
Suppose -5*h - 176605 = -24*h. Is 30 a factor of (-6)/(-3) + h/13?
False
Let u = -274 + 327. Suppose -60*h + 693 = -u*h. Is 6 a factor of h?
False
Let v(k) = 11*k + 9. Let g be v(3). Suppose g = -0*c - 14*c. Is 11 a factor of 6/9 - (c - 242/6)?
True
Let u be (-84)/(-22) - (8 - 630/77). Suppose o + w - 80 = -7, -3*o = -u*w - 233. Suppose 3*y + c + o = 8*y, 4*c + 48 = 2*y. Is y even?
True
Does 12 divide 29938/((3/4)/(3/2))?
False
Let c be 1/(-3) - (372/18 - 4). Let d(g) = 4*g - 3*g - 5 - 5*g + 0. Does 45 divide d(c)?
False
Let r be (2/5 - (-17)/(-5)) + 48. Suppose v - u - 14 = -3*u, r = 5*v + 5*u. Suppose -5*l + 97 = -v*l. Is 34 a factor of l?
False
Let d = 4007 + -2446. Is d a multiple of 4?
False
Suppose -3*j = 2*w - 6112, -4*w - 555 = -j + 1459. Is j a multiple of 11?
False
Let f(n) = -n**3 - 4*n**2 - n + 10. Let p be f(-3). Suppose -5*x + 390 + 565 = p*w, 0 = -w + 4*x + 244. Does 12 divide w?
True
Suppose 16 = -6*o + 28. Suppose -o*t + 23 = -3*y, 3*t + t - 3*y - 37 = 0. Suppose -525 = -t*r + 77. Does 18 divide r?
False
Let k = -43 + 40. Let r be 1/(8/(-236))*(k + 1). Let i = 40 + r. Is i a multiple of 32?
False
Let a be (-4 + 22 - -3)*(16 - 3). Let y = -133 + a. Does 14 divide y?
True
Let z(m) = -8*m**3 - 7*m**2 + 69*m + 434. Does 43 divide z(-13)?
False
Let g = -44 - -56. Let y(m) = 9*m + 10. Let l be y(g). Suppose 5*p + w = 3*w + 170, 2*w - l = -3*p. Does 18 divide p?
True
Suppose -32 + 27 = -5*t, 0 = 5*s - 2*t - 86188. Is s a multiple of 51?
True
Let k(v) = -v**3 + 45*v**2 - 114*v - 179. Is 2 a factor of k(42)?
False
Suppose 96512 = 4*t + 4*m, 16*t - 12*t = m + 96492. Is t a multiple of 45?
False
Let t(q) = 18*q**2 - 3*q - 2. Let h be t(-2). Suppose -2*w - 58 = -2*g + h, -4*g + 271 = -w. Is g a multiple of 4?
True
Suppose -2*u = -5*u + 2*y + 466, 3*u - y = 461. Suppose -294 = -u*r + 149*r. Is r a multiple of 9?
False
Suppose -3*y + 45*i = 40*i - 312, -6*y = -5*i - 609. Is y a multiple of 8?
False
Let a = -108 - -228. Let s(p) = -p**3 - 12*p**2 - 34*p - 92. Let w be s(-10). Let o = a - w. Is 11 a factor of o?
False
Does 15 divide (-11889)/(-9) + -1 - (0 + 11)?
False
Suppose -4*l - 2*h - 30 = 0, 12 = 4*l - 6*l - 4*h. Is 3 + 711/(9 + l) a multiple of 42?
True
Let a be (-2)/((-6)/3)*2 + 373. Suppose f - a = 88. Suppose 0*c + 4*p + 616 = 4*c, 4*p = 3*c - f. Does 12 divide c?
False
Suppose 0 = -2*l + o + 8063, 3*l + 99*o - 101*o = 12096. Is l a multiple of 14?
False
Let l = 6017 + 1721. Does 73 divide l?
True
Let p = -49 + 71. Let o = 55 + p. Does 7 divide o?
True
Let q(u) be the third derivative of -u**6/120 + 3*u**5/20 - u**4/6 - 10*u**3/3 - 23*u**2 - 3*u. Is q(5) a multiple of 15?
True
Suppose -h + m + 738 = 0, 6*h - 2970 = 2*h - 5*m. Let p = h + -380. Is 40 a factor of p?
True
Let p(d) = d - 11. Let m be p(11). Suppose -4*g = 5*v - 32, m*v - 5*v + 17 = -g. Is 1*(420/9 + v/(-6)) a multiple of 19?
False
Suppose -7*r + 4*f - 2 = -6*r, 0 = 4*r - f - 7. Suppose 4*s = 2*h + 78, -r*s - 5*h + 3*h + 30 = 0. Let i(k) = -2*k**2 + 39*k - 26. Is 7 a factor of i(s)?
True
Suppose 2*c + 6 = -3*s, -2*c - c - 9 = -s. Suppose 2*j + z - 115 = s, 5*j + 5*z = 4*z + 283. Does 4 divide j?
True
Let q(x) = 13*x - 63. Let m(f) = 17*f - 63. Let i(r) = -16*r + 63. Let g(a) = -3*i(a) - 2*m(a). Let p(c) = -6*g(c) + 7*q(c). Does 42 divide p(15)?
True
Let k(p) = -10*p**2 - 2*p + 1. Let y be k(3). Let i = -100 + y. Is (2/(-1))/(6/i) a multiple of 21?
False
Let i be 5/(10/28) - (4 - 4). Let k be i/3 - 6/(-36)*-4. Is 32/((-3)/(-18)*6/k) a multiple of 32?
True
Let g be (6988/(-10))/(20/(-50)). Let p = g + -907. Is 40 a factor of p?
True
Let f = -5127 - -3060. Let z = -1122 - f. Is 27 a factor of z?
True
Let r be (0 + 5)/(-10 + 11). Suppose 3*c + r = 17. Suppose 136 = 2*n + c*b, 127 = 3*n - b - 84. Is 10 a factor of n?
True
Let y be 5/(-15) + 598/(-6). Suppose 3*m = -6, -362 = 2*n + 16*m - 18*m. Let l = y - n. Is l a multiple of 28?
False
Suppose 0 = 2*w - 10*w + 72. Let b(n) = -10*n - 11. Let p be b(w). Let g = -37 - p. Does 16 divide g?
True
Suppose 32086 = -23*h + 142923. Does 15 divide h?
False
Let o = 1000 + 661. Suppose -6089 - o = -5*g. Suppose -g = -9*x - 623. Does 15 divide x?
False
Let r(m) = 2*m**2 + 23*m + 9. Let z be r(11). Let d = z - 264. Suppose -13*c + 8*c = -d. Is c a multiple of 16?
True
Does 181 divide ((-16)/(-12))/((-20)/(-59730))?
True
Let a be (50/(-20))/(25/(-60)). Is (0 - -1)*a*(-10)/(-15) a multiple of 4?
True
Suppose -864*h + 27585 = -855*h. Is h a multiple of 17?
False
Suppose -9*p = -7297 - 659. Suppose 11*k - p - 2845 = 0. Does 33 divide k?
False
Let t(d) = 8*d**2 + 12*d - 5. Let n be t(-9). Suppose -n = -4*a - 5*o, -3*o - 2*o + 665 = 5*a. Let h = a - 107. Is h a multiple of 12?
False
Let t(r) be the first derivative of -81*r**2 - 6*r - 14. Let b be t(2). Is 6 a factor of ((-16)/(-6) + 2)/((-20)/b)?
False
Suppose 308*y - 311*y = 900. Let m = y + 416. Does 29 divide m?
True
Suppose -5*h + 39 + 1 = -3*f, 0 = -2*h + 3*f + 25. Suppose 0 = 4*b - 3*t - 22, -4*b = t - 9 - h. Suppose -38 + 6 = -b*a. Is 3 a factor of a?
False
Suppose 16 = 4*b - 0*b. Let w be (24 + -28)/(-1*(-1)/4). Is 8 a factor of -1 + b + (-1184)/w?
False
Let o(k) = 72*k - 189. Let g be o(6). Suppose -w + g = 108. Does 2 divide w?
False
Let m(q) = 2*q**2 + 5*q - 1. Suppose 1 = -19*x + 18*x - 2*n, 4*n + 56 = 4*x. Does 17 divide m(x)?
False
Let j(w) = 181*w**2 + 744*w + 9730. Is j(-13) a multiple of 13?
False
Suppose 740117 = 31*s + 262190. Is s a multiple of 27?
True
Suppose -4*l = -d + 404, -2*l + 0*l - 1252 = -3*d. Does 5 divide d?
True
Let p be 226/14 - -5*(-10)/350. Suppose 678 = b + j, -4*j = -8*j + p. Is 54 a factor of b?
False
Suppose 0 = -15*y - 18863 + 60713. Does 18 divide y?
True
Does 20 divide (-1)/((-2)/9648)*((-10)/(-4) + 0)?
True
Let y = 33 - 35. Let d be y/(-4)*(0/3)/3. Suppose -3 = -d*j - j. Does 3 divide j?
True
Suppose 0 = 5*h, -m - 8 = -0*m + 4*h. Let g = 11 + m. Is 28 a factor of ((-139)/3)/(g/(-9))?
False
Does 2 divide (-37290)/55*((-1)/(-3) + -2)?
True
Suppose 276*q = 250*q + 164216. Does 12 divide q?
False
Suppose 3*x - 280 = -x. Let o be 7*((-1)/5 - (-938)/(-35)). Is (x/(-21))/(3/o) a multiple of 14?
True
Let h = 3 + -80. Let q(m) = -m**2 - 20*m - 25. Let u be q(-19). Let c = u - h. Does 11 divide c?
False
Let o(j) = 12*j + 11. Let w(k) = k**2 - 59*k - 54. Let t(f) = 11*o(f) + 2*w(f). Let s be t(-6). Is (144*s)/3 + (-3 - -2) a multiple of 13?
False
Suppose a + 2*t + 2*t - 111 = 0, -2*a = -2*t - 252. 