 divide o?
False
Suppose -7*u + 62 = -43. Let k = u + 113. Let v = k - 2. Does 21 divide v?
True
Let r(i) = -32*i**2 + 328*i - 7. Is 61 a factor of r(6)?
False
Let u = 6577 + -5599. Is u a multiple of 5?
False
Let k = 81 + 67. Suppose y = 5*w + 80, -w + k = 2*y + 32. Let c = -44 + y. Is c a multiple of 4?
True
Suppose 90*p + 71175 = 221115. Is p a multiple of 98?
True
Suppose -15*q + 9060 = 2*m - 14*q, 18116 = 4*m + q. Is 68 a factor of m?
False
Suppose 4*s = -y + 23, 4*s = -3*y + 13 + 16. Suppose w - z = 7, s*z + 5 = -5*w - 0*z. Suppose -c + 40 = w*c. Is 10 a factor of c?
True
Let l = 316 + -471. Let a = 55 - l. Does 10 divide a?
True
Is 16 - 15 - (-3 + -12644) a multiple of 102?
True
Suppose y - 69 + 16 = 0. Suppose -3*j = 4*o - 537, -j = -3*o - 126 - y. Is 34 a factor of j?
False
Let v be 4*(0 + (-6)/(-8))/1. Suppose -4*c - v*c - 1652 = 0. Is c/(-17) - (-6)/51 a multiple of 12?
False
Suppose -13*z = -28*z + 45. Suppose 5*c + 2*j = -20 + 585, -2*j = -z*c + 355. Is c a multiple of 33?
False
Let b(i) = -290*i + 63. Let z be b(-3). Suppose -16*n + 19*n = z. Is 26 a factor of n?
False
Let z(t) = t**3 + 15*t**2 - 3*t + 36. Let i = 42 + -51. Is z(i) a multiple of 17?
False
Let m(q) = -q**3 - 5*q**2 + 5*q + 63. Let y be m(-9). Suppose -y*d + 349*d = 11088. Does 44 divide d?
True
Suppose 15*y = 97986 + 151104. Does 38 divide y?
True
Is 12 a factor of (4449/2)/(1/20 - (-14)/140)?
False
Let k = -18520 - -28915. Is k a multiple of 99?
True
Suppose f = -2*f + 57. Suppose -f*g + 6 = -16*g. Suppose -5*y = 4*k - 11, 0 = g*k + y - 5 - 8. Does 3 divide k?
True
Let r(k) be the third derivative of 9*k**6/40 - k**5/20 + k**4/12 - 22*k**2. Suppose -4*h - 2*l + 2 = 0, 2*h - 5*h = l - 2. Is 13 a factor of r(h)?
True
Let k(j) = -5*j - 13 - 12 + 13*j + 5. Let s be k(6). Suppose -2*z + s = -z - v, -38 = -z - 4*v. Does 3 divide z?
True
Let n(r) = -7 + 6*r + 3*r**3 - 52*r**2 + 0 + 53*r**2. Is 75 a factor of n(4)?
True
Suppose -4136 + 13216 = 40*p. Does 2 divide p?
False
Is 3450 + 18 + (-40)/(-16)*(-12)/(-10) a multiple of 89?
True
Suppose 5 = -11*l + 10*l. Let b be l/((-5)/(-7)) - -1. Does 3 divide (-81)/(-18) + b/(-4)?
True
Let b be (0 - 0)*6/(-18). Suppose 4*c = c - 4*s - 107, b = -2*c - 2*s - 68. Let i = 23 - c. Is 17 a factor of i?
False
Let q be -80*((543/4)/(-3) + 4). Suppose 11*i - q = -11*i. Is 25 a factor of i?
True
Suppose 210958 = 18*k + 17*k - 13*k. Is k a multiple of 43?
True
Let f = 111 + -111. Suppose f = 4*y - 61 - 67. Does 18 divide y?
False
Let w(a) = 3*a**2 - 3*a. Let b be w(5). Let k be (-3)/(-2)*400/b. Does 23 divide ((-162)/k)/((-6)/30)?
False
Suppose -146*d = -1079812 - 1405108. Is 148 a factor of d?
True
Suppose 4*u + 33049 = 2*k - 10309, -4*u - 86692 = -4*k. Is k a multiple of 47?
True
Let y = 169 - 160. Let u(s) = 2*s**2 - s - 11. Is u(y) a multiple of 12?
False
Let f(u) = u**3 + 163*u**2 + 153*u + 160. Is 205 a factor of f(-161)?
False
Let i(d) = 12*d - 112. Let f(l) = -24*l + 6. Let c be f(-1). Does 17 divide i(c)?
False
Suppose -6416 = -3*x + 27184. Is 28 a factor of x?
True
Let t be (-1 - -4 - (-21)/(-12))*4. Let m be (-4)/10*10/2. Is (-62)/(-5 + t + (m - 0)) a multiple of 4?
False
Let b(c) = -827*c + 5653. Is b(-10) a multiple of 153?
True
Let w(y) = 4*y**2 - 6*y - 5. Let a be w(2). Let s(n) = -783*n**3 - 5*n - 4. Is s(a) a multiple of 56?
True
Suppose 0 = 7*u - 20*u + 351. Suppose -56*r + u*r + 1885 = 0. Is 63 a factor of r?
False
Suppose -16*p + 15*p + 4*m - 247 = 0, 0 = 2*p + 4*m + 506. Let g = -25 - p. Is 14 a factor of g?
False
Suppose -20088 + 120286 = 14*k. Is k a multiple of 85?
False
Let l(r) = 86 + 68 + 0*r - 14*r - 2*r + 7*r**2. Is l(11) a multiple of 16?
False
Suppose -4*z - 73*z - 55917 = -134*z. Does 50 divide z?
False
Suppose 4*m + 4 - 4 = 0. Let l(z) = 0*z + 5*z - z**2 + 67 - 5*z. Is l(m) a multiple of 25?
False
Does 236 divide 9742 - (170/510)/(2*1/42)?
False
Suppose 0 = 2*k - 2*s - 3454, 5*s - 2833 = -k - 1118. Is k a multiple of 23?
True
Suppose -23*r + 31*r = 0. Suppose 11*f - 3762 - 1705 = r. Is f a multiple of 58?
False
Let j = 8326 - 4845. Is j a multiple of 67?
False
Is (782/6)/(255/1530) a multiple of 48?
False
Let r(m) = -5*m + 151. Suppose 2*q - 17 = -h, 0 = -5*h - 6*q + 3*q + 85. Is r(h) a multiple of 6?
True
Suppose -4*q + 4*i + 36548 = 0, 1739 = q + 4*i - 7398. Is 36 a factor of q?
False
Let j(r) = -7*r + 125. Let s(f) = f**2 + 8*f + 6. Let k be s(-5). Does 68 divide j(k)?
False
Let x be (-1)/(-4)*-2*0/23. Suppose x = -r + 17*r - 528. Is r a multiple of 2?
False
Let c = -469 - -4701. Is c a multiple of 46?
True
Let t be 0 - (-1 + 2 - 4). Suppose 307 = 5*i + t*n, -i + 188 = 2*i - 2*n. Is i + (-2)/7 + 9/7 a multiple of 21?
True
Suppose -6*s + 48002 = 11174. Is s a multiple of 15?
False
Let x = -3886 + 10830. Does 62 divide x?
True
Let s be 9/(-27) - -2*1/6. Let n be s + -1 + 1 - 5. Does 7 divide 186/(10/5) - n?
True
Let p be (-1)/(2/701)*4/(-2). Let a = p + -471. Does 11 divide a?
False
Suppose 168*b - 2*z - 51512 = 164*b, -3*b + 38648 = -5*z. Is 74 a factor of b?
True
Let s(v) = 2*v**2 + 12*v + 3. Let p(j) = 3*j**2 + 24*j + 7. Let d(b) = 3*p(b) - 5*s(b). Let g be d(8). Let l = g + 30. Does 18 divide l?
False
Suppose -2*t = -1326 - 1426. Does 32 divide t?
True
Let x be ((-1054)/51)/(4/(-6)). Suppose -30 = -2*t + o, 2*o - 10 = t - x. Is t a multiple of 6?
False
Suppose 6*n = -n + 6265. Let f = 1275 - n. Is 20 a factor of f?
True
Let t(o) = 498*o + 84. Is 84 a factor of t(14)?
True
Suppose -448 = 20*d - 27*d. Suppose d*l + 300 = 69*l. Is l a multiple of 20?
True
Let i(g) = -g**3 + 9*g**2 + 7*g - 17. Suppose -3*r + 17 = 2*c, 5*c - c - 2*r - 10 = 0. Let n(v) = v + 3. Let p be n(c). Is i(p) a multiple of 11?
False
Is 9 a factor of ((-21)/(-6) - 5)/(10/(-4440))?
True
Let u be (-1380)/(-36) + (-1)/3. Suppose 5*m = -28 + u. Suppose 336 = 4*v - m*z - 0*z, 2*v = -4*z + 188. Does 8 divide v?
False
Is (-3)/((-6)/8644) - (3 + 3) a multiple of 52?
True
Let q(x) = x**3 + 11*x**2 + 9*x - 13. Let t be q(-10). Let d be t + 3 - 3 - 3. Does 45 divide (-814)/d + (-1)/(-3)?
False
Let b(w) be the third derivative of w**5/20 - w**4/3 - 13*w**3/6 - 22*w**2. Let s be b(-6). Suppose a + 26 = -4*c + 135, 5*c - s = a. Is 6 a factor of c?
False
Suppose -9*d + 1728 = -21*d. Let f = d + 227. Suppose 15*z = 16*z - f. Does 50 divide z?
False
Let g = 178 - 122. Suppose -15*k + 52 = 7. Suppose 16 = -k*w + 7*w, w + g = 2*t. Is t a multiple of 15?
True
Suppose 3*n - 21820 + 3862 = 5*q, n - 5979 = 4*q. Does 36 divide n?
False
Is 14 a factor of (-65385)/(-360) - (1 - (-22)/(-16))?
True
Suppose -261072 = 49*h - 121*h. Is h a multiple of 25?
False
Suppose -7*h + 5735 = 1703. Is 36 a factor of h?
True
Let k = -2785 + 3081. Does 2 divide k?
True
Suppose 0 = a - 2*a + 3*n + 22, 0 = -5*a + 2*n + 58. Let c(o) be the first derivative of 2*o**3/3 - 6*o**2 + 15*o + 2. Is c(a) a multiple of 14?
False
Let i = -13522 + 18232. Does 10 divide i?
True
Let k be 1/(-2) - ((-411)/6 + 2). Suppose 0 = -3*l + k - 12. Let n = l - -15. Does 23 divide n?
False
Is 222 a factor of (-7 + (2 - (-285)/10))*4*111?
True
Let w = 13 + -8. Suppose 0 = 4*a + 2*u - 572, 4*u + 728 = w*a - 0*u. Does 3 divide a?
True
Does 91 divide (-4469)/(-1) - (-254 + 268)?
False
Suppose 4169*t - 5 = 4164*t, -3*w + 39708 = -3*t. Does 61 divide w?
True
Let b = -3339 - -7671. Does 6 divide b?
True
Suppose 152 = -9*y + 737. Let b = y + -48. Let t = b + 73. Does 10 divide t?
True
Suppose 286192 - 4312 = 30*q. Does 27 divide q?
True
Let o(j) = j**3 + 2*j**2 + 47*j - 1074. Does 96 divide o(21)?
False
Suppose g = 213 + 37. Let t = -196 + g. Is t a multiple of 23?
False
Let o(x) be the second derivative of x**5/20 + 13*x**4/12 + 4*x**3/3 + 4*x + 6. Is 22 a factor of o(-11)?
True
Let u(g) = 292*g + 4359. Is 19 a factor of u(26)?
True
Let m = 76248 + -14417. Is m a multiple of 11?
True
Let w = 95 + -92. Suppose -3*b - 561 = -w*p, 3*b = 3*p - p - 372. Let v = p - 32. Is 28 a factor of v?
False
Let s(r) = 7*r**2 - 3*r - 1. Let t be s(-2). Let c = 23 - t. Let o(f) = f**2 + 2*f + 28. Is o(c) a multiple of 36?
True
Let b be (-1)/((-2)/(-8)) + -2. Let m be 4/b*(-168)/(-14). Is (-46)/m + 5/20 even?
True
Let m(x) = 58 + 3*x - x + x. Suppose 5*u - 20 = 4*n, 2*u = -4*n + 1 + 7. Is m(n) a multiple of 18?
False
Let k = 