**3 - 11*r**2 + 11*r + 1020. Does 85 divide o(0)?
True
Let v(u) be the second derivative of 7*u**3/3 + u**2/2 + u. Suppose s + 20 = 2*t + 5*s, 3*t - 27 = -5*s. Is 14 a factor of v(t)?
False
Let l = -142 + 147. Suppose i - l*y + 20 = 285, -3*y = 2*i - 569. Does 14 divide i?
True
Suppose 3*y + t + t = 2092, -4*y + 5*t = -2820. Does 50 divide y?
True
Is 155 a factor of 46071/6 + 2*9/(-36)?
False
Let w(g) = 10*g + 298. Does 2 divide w(-20)?
True
Let v be 23*((-7 - 18/(-6)) + -1). Let x = v + 340. Is 9 a factor of x?
True
Suppose -2*t = -5*z - 9, -3*t + 4*z = -t - 12. Is (15/t)/(11/264) a multiple of 10?
True
Let w be (-8 - 2)*4/(-10). Suppose -5*b + w*x = -13 - 19, 5*b - 35 = 5*x. Suppose b*t = 8*t - 92. Does 7 divide t?
False
Let f(s) = 5*s + 5. Let q(o) = 0*o**2 + 13*o + 15 + o**2 - 6*o + 0*o. Let x be q(-6). Is f(x) a multiple of 20?
False
Let z(l) = 2*l. Let y(j) = -5*j - 1. Let m(c) = -3*y(c) - 5*z(c). Let f be m(1). Suppose -10*t = -f*t - 162. Is 27 a factor of t?
True
Let k(c) = -19*c**3 - 2*c**2 + 5. Suppose -3*a = -4*r - 80, 7*r = 4*r - 4*a - 85. Let f = r + 21. Does 29 divide k(f)?
False
Let d(q) = -2*q**3 + 5*q**2 + 14*q + 17. Let f = 27 + -31. Let y(l) = l**3 - 2*l**2 - 7*l - 8. Let x(v) = f*d(v) - 9*y(v). Is x(-5) a multiple of 29?
False
Let l(b) = -b**3 - b**2 + b - 2. Let p be l(-2). Let q(c) = -8*c + 76. Let v(y) = -y + 1. Let n(j) = q(j) - 6*v(j). Does 14 divide n(p)?
True
Let f(a) = -a + 1. Let w(r) = -38*r - 40. Let v(c) = -6*f(c) - w(c). Let d be v(-7). Let h = 424 + d. Is h a multiple of 39?
False
Suppose -15*p + 10*p + u + 5795 = 0, 0 = 4*p + 4*u - 4660. Is 8 a factor of p?
True
Is (-7)/(-56) - 9912912/(-384) a multiple of 277?
False
Let p(o) = -2*o**3 - 12*o**2 + 107*o - 36. Does 6 divide p(-16)?
True
Let q(i) = -4*i + 23*i - 11*i + 5*i - 91. Is q(21) a multiple of 5?
False
Suppose 0 = -3*y - 3*u + 1 - 4, 3*y - 5*u - 29 = 0. Suppose -2*g + 2*m - 8 = 0, 4*m = y*m + 4. Suppose 420 = -g*b + 6*b. Is 10 a factor of b?
True
Let k(q) = q**3 - 3*q**2 + q - 9. Let c be k(5). Let m = c + 98. Is m a multiple of 16?
True
Let r be (144/(-28))/(-1 + (-94)/(-98)). Suppose -15*a + r = -9*a. Suppose a + 11 = 2*m. Is m a multiple of 15?
False
Suppose -88 = -3*z - 2*w, 0 = -2*z - 3*z + 2*w + 120. Let d = z - -16. Is (22/(-14) + -1)/((-6)/d) even?
True
Let p(q) be the second derivative of -q**4/6 + 19*q**3/3 - 8*q**2 - 38*q. Does 16 divide p(16)?
True
Let c be (-33)/(-12) - (-15)/(-20). Suppose -g - c*b + 181 = -0*b, 3*g - 522 = b. Suppose 6*s - g = -3*r + s, 5*s + 5 = 0. Is 20 a factor of r?
True
Let d(z) = 3*z**3 - 5*z**2 + 15*z - 56. Let y = -392 + 399. Does 11 divide d(y)?
False
Suppose 2*a - 169 + 67 = 0. Let h = a - 43. Let o(u) = 12*u + 10. Is o(h) a multiple of 12?
False
Let w = -28 + 26. Let t(v) = 5*v - 9. Let n(h) = 4*h - 9. Let z(y) = w*n(y) + 3*t(y). Does 27 divide z(11)?
False
Let q(s) = s**3 + 6*s**2 - 3*s - 3. Let f be q(-6). Suppose 20 = 4*a, 20*j - 16*j = -5*a - 135. Is j/f*(-81)/4 a multiple of 25?
False
Let n = 265 + -265. Let b(q) = 6*q + 369. Does 41 divide b(n)?
True
Suppose -45960 - 1058569 = -72*s + 49*s. Does 9 divide s?
False
Let t(x) be the third derivative of x**6/40 - 7*x**4/24 - 5*x**3/6 + x**2. Suppose 4*p + 4*o = -56 + 52, -2*p + 4*o = -28. Is 18 a factor of t(p)?
False
Is ((-999)/(-1512)*16)/((-2)/(-1022)) a multiple of 146?
True
Suppose 2*k + 209 + 13 = 0. Let d = 48 + k. Let z = d - -73. Is z a multiple of 5?
True
Let n = -42 - -44. Suppose -504 = n*h + 286. Is h/(-10) - (-3)/6 a multiple of 10?
True
Suppose -9397 = -2*v + 5*l - 659, v = -2*l + 4387. Is 30 a factor of v?
False
Suppose 25*j + 1124712 = -40*j + 106*j. Is 6 a factor of j?
True
Suppose -3312 = -3*m + 2*v, 3*m - 4*m + 1104 = 4*v. Let o = -654 + m. Is o a multiple of 15?
True
Let r = -60 - -76. Suppose 2*h - 4*b - r = 5*h, -5*h + 12 = -3*b. Does 53 divide (-2)/(-1 + h) + 297?
False
Let b = 28573 + -11547. Is b a multiple of 11?
False
Suppose 4*d + 0*h = 3*h + 187, -5*h = 5*d - 260. Let w = d - 29. Is 13 a factor of 111/4 + 5/w?
False
Does 40 divide (-2268054)/(-1134) - (-1)/(-21)?
True
Let d(n) = -101*n**3 - 37*n**2 - 133*n - 4. Is d(-4) a multiple of 40?
True
Suppose -4*a = 5*l - 213674, -5*a + 419 - 128616 = -3*l. Is l a multiple of 46?
True
Is 34052/86 - 26/(-559) a multiple of 22?
True
Suppose 5*s - 1 = 3*s - x, -5*x - 37 = -4*s. Let o(a) = -a**2 + 4*a - 2. Let b be o(s). Is 10 a factor of (8 + b)*(-20)/(-6)?
True
Suppose -6 = -8*j + 26. Suppose -4 = -i - 0. Suppose -5*t + 245 = -n, i*n = -j*t + n + 177. Is t a multiple of 23?
False
Suppose 0 = -33*c + 23*c + 40. Suppose -c*s + 158 + 22 = 0. Is s a multiple of 10?
False
Suppose 11*d + 6*d - 219000 = -13*d. Does 5 divide d?
True
Is (-149913)/(-36) - 3/(-4) a multiple of 5?
True
Let k(n) = n**2 + 9*n + 36. Let q be k(-5). Suppose -7280 = q*v - 30*v. Does 50 divide v?
False
Suppose 3*k + 4*q = -5669, -k - 1207 = q + 683. Let w = k - -3691. Does 60 divide w?
True
Let s = -346 - 266. Let r = -116 - s. Does 16 divide r?
True
Let a(l) = l**3 + 9*l**2 - 2*l - 19. Suppose b + 2*b + 27 = 0. Let y be a(b). Is 68 + (-20)/(4 - y) a multiple of 13?
False
Suppose -4*v - 12 = -y, 3*y - 23 = 2*v + 33. Suppose -n - 4*n = -y. Suppose -8*f + n*f + 36 = 0. Is 3 a factor of f?
True
Suppose -i + 23 = 24, -5*m + 24015 = -5*i. Is m a multiple of 24?
False
Let m(r) = -r**3 + 19*r**2 + 24*r - 69. Let j be m(20). Is (-1 - -6) + 1925/j a multiple of 5?
True
Suppose 16*g - 6313 - 12183 = 0. Does 21 divide g?
False
Suppose -13*w - q + 6225 = -11*w, -w = 4*q - 3109. Is w a multiple of 10?
False
Suppose -4*w = 4*q + 2 + 66, q - 2*w = -11. Let o be 20/(-12)*(-6)/q*-3. Suppose -5*c - 2*x = -763, 0*c = -o*c + 2*x + 294. Is c a multiple of 23?
False
Suppose 0 = 4*t + 52 - 192. Let r(m) = m**2 - 6*m. Let g be r(-8). Suppose t*k = 31*k + g. Is k a multiple of 13?
False
Let o = -8566 + 12111. Is o a multiple of 96?
False
Suppose -4*u - 25 = 2*n + 1, -39 = 5*n - 3*u. Let o(w) = w**2 + 14*w + 39. Let h be o(n). Let f(m) = m**2 + 7*m + 35. Is f(h) a multiple of 2?
False
Suppose 5*v = g - 11 + 31, -16 = -2*g - 4*v. Let m be (2/(-5) - g)*5. Let n(t) = -20*t + 6. Does 9 divide n(m)?
False
Suppose 2*k - 5*y = 2493 + 40240, -2*k - 4*y + 42796 = 0. Is k a multiple of 162?
True
Let n be 1 + -7 - (-252)/6. Does 6 divide (-15)/(-5) + -9 + n?
True
Suppose -3*k - 773 = -6*k + 5*j, -k = -j - 261. Let g = k - 112. Does 14 divide g?
True
Does 23 divide (-27)/(-36)*1074192/36?
True
Let t = 65 - 60. Let p be -17 - 5/t*-1. Does 34 divide (-2)/(-3)*1020/p*-4?
True
Let a(d) = d**2 + 7*d + 8. Let h be a(-6). Suppose 7 = -3*g - h*u + 4*u, -4*u = 5*g + 41. Is (-40)/(-16)*(4/g)/(-1) even?
True
Let b = 36 - 34. Let q be 9 + (-6 + b)*1. Suppose 4*g + q*m - 148 = 24, 0 = 5*g - 2*m - 248. Is 16 a factor of g?
True
Suppose 0 = 8*x - 69 - 35. Let t(n) = -18 - 2*n - n**2 + 5*n + 7*n + x*n. Is 2 a factor of t(21)?
True
Suppose -22*p + 397440 = 10*p - 14*p. Is p a multiple of 240?
True
Let d be ((-7)/(-2) - 2) + 154/4. Let y be 8/d + 2 + 57/15. Suppose 374 = y*c - 106. Does 20 divide c?
True
Let a(o) = 876*o**2 + 4*o + 2. Suppose -38*x = -6*x + 32. Is a(x) a multiple of 23?
True
Let h be ((-10)/(-4))/(-8 - (-663)/78). Suppose 83 = 3*c - 0*f - 5*f, 0 = 5*f + 5. Suppose -h*o + 684 = -c. Is 19 a factor of o?
False
Suppose 315000 = 106*n + 62*n. Is 5 a factor of n?
True
Suppose 0 = 2*h - m - 5111, -2*m + 5215 = 2*h + 83. Is h a multiple of 3?
True
Let x(k) = 421*k**2 - 27*k - 104. Is x(-5) a multiple of 28?
True
Let b be 156 - (-5 + 0 - -5). Let x = b + 116. Is 10 a factor of x?
False
Suppose -896 = 12*g - 29120. Is g a multiple of 98?
True
Suppose -10*m + 137115 = 39035. Is 16 a factor of m?
True
Let l = 246 + -244. Suppose 3*f = -6*d + d + 222, 3*d - 148 = -l*f. Is f a multiple of 15?
False
Let p(s) = 455*s + 280. Is 20 a factor of p(4)?
True
Suppose 0 = -15*w + 5*w. Suppose w = 8*l + l - 3*l. Suppose 33*p - 28*p - 495 = l. Is 5 a factor of p?
False
Suppose 0 = 66*y + 122*y - 3388324. Is 167 a factor of y?
False
Let f = -94 - -120. Suppose 25*v = f*v. Is -32 + 27 - (v - 110) a multiple of 15?
True
Let a(q) = -32 + 5*q + 0*q + 10*q - q**2 + 0*q. Let h be a(10). Let i(t) = 12*t + 9. Is i(h) a multiple of 45?
True
Let f(v) = 479*v**2 - 235*v - 21. Is f(-7) a multiple 