actor of o?
True
Let j = -39 - -24. Let z(m) be the third derivative of -m**5/60 - 17*m**4/24 + m**3/6 - 7*m**2 - 2. Is z(j) a multiple of 3?
False
Suppose -172568 = 3*g - 24*g + 199. Is g a multiple of 19?
True
Let c = -103914 - -161827. Does 20 divide c?
False
Suppose 9*l = -4*b + 379408, 24*b = -l + 22*b + 42158. Is 12 a factor of l?
True
Suppose -166903 = 59*h - 654892. Does 135 divide h?
False
Suppose 22 = u + 5*s, 3*s = -5*u + s + 41. Suppose -7*p + 154 = u. Is 21 a factor of p?
True
Let r(q) be the third derivative of -79*q**4/8 - 17*q**3/2 - 119*q**2. Does 24 divide r(-2)?
False
Let p(g) = -g**3 - 3*g**2 - 6. Let t be p(-5). Let r = -37 + t. Suppose w = r*w - 228. Does 7 divide w?
False
Let j = -179 + 3819. Does 69 divide j?
False
Let v = 473 - 387. Let w = v + -5. Does 9 divide w?
True
Let p be 5702/22 - 18/99*1. Let q = p - 178. Suppose 0 = -d - 2*l + q, 0 = -4*d - 0*l - 4*l + 324. Is 4 a factor of d?
False
Suppose 0 = -5*z - 3*r + 32853, -3*z - 398*r + 397*r + 19707 = 0. Is z a multiple of 7?
False
Suppose 6*k + 14 = 5*p + 2*k, -p + 22 = 4*k. Let d(j) = 77*j - 38. Is d(p) a multiple of 16?
False
Let o(t) be the second derivative of 9*t**3/2 - 11*t**2/2 + 1354*t + 4. Let x be 46/8 - (-1)/4. Is o(x) a multiple of 38?
False
Let i be (124/3)/(16/48). Suppose i + 292 = 2*f. Does 16 divide f?
True
Let t = 107 - 103. Suppose t*k = -5*g + 710, k + 3*g - 186 = 6*g. Is k a multiple of 21?
False
Let a(o) = -o - 88. Let u be a(0). Let q = u - -91. Suppose 13 = -q*k + 4*k. Does 8 divide k?
False
Suppose 133 = -13*t - 2246. Suppose -6*y = -3*y + 927. Let z = t - y. Is z a multiple of 12?
False
Let s(f) be the second derivative of 14*f**3/3 - 20*f**2 - 24*f - 2. Does 32 divide s(6)?
True
Let i(h) = -13*h + 17. Let q be i(3). Let v = q + 220. Does 66 divide v?
True
Let b = -709 + 709. Suppose 2*n = -x + 100, -2*x = -b*n + n - 206. Does 2 divide x?
True
Let c(l) = 2*l**2 - 4*l + 84. Let p be c(-11). Let n = -216 + p. Is n a multiple of 28?
False
Is 41 a factor of (3*(-8)/(-36))/(-6*(-6)/478494)?
False
Is ((-5 + 0)/(-5))/((-4)/(-2896)) a multiple of 182?
False
Suppose -567*k + 3*n = -566*k - 9144, k = -n + 9136. Is k a multiple of 6?
True
Suppose -5*u - 4*u = 126. Let n = 95 + u. Suppose -n - 38 = -7*f. Is f a multiple of 12?
False
Let q(t) = 4*t - 19. Let b(i) = -2*i + 9. Let u(k) = -11*b(k) - 6*q(k). Let d be u(-15). Let h = d - 28. Is 4 a factor of h?
False
Let j = -131 + 128. Is 22 a factor of -318*2/j*4?
False
Let f(l) = 7*l**2 + 301*l - 177. Is 2 a factor of f(-45)?
False
Let y = -30 + 33. Suppose 2*q = -5*l - 1265, 0 = -y*l + l - q - 505. Let a = -150 - l. Does 21 divide a?
True
Suppose -6964*m + 6994*m - 1368540 = 0. Is 48 a factor of m?
False
Let v(x) = x**2 - 3*x - 129. Let f(l) = -l. Let h(y) = f(y) - v(y). Suppose -89*r + 103*r = 0. Is h(r) a multiple of 23?
False
Let a(l) = l**3 + 41*l**2 - 22*l - 191. Is a(-37) a multiple of 36?
False
Suppose 0*w = 4*q - 5*w - 268, 5*w = -20. Let o = q - 60. Is (244/6)/(o/3) a multiple of 25?
False
Let x(i) = 2*i + 7. Let z be 0 - (-2 + 0)/((-2)/(-3)). Let o be x(z). Suppose o = g - 0*k - 2*k, -5*g + 65 = 5*k. Is 10 a factor of g?
False
Let p(q) = -q + 16 + 16 - 37. Let z be p(-7). Suppose 0 = 3*s + m - 387, 156 - 419 = -z*s + m. Does 26 divide s?
True
Suppose 5*d = 4*n - n - 3, 0 = -5*d. Let m(j) = 1 - 2*j**2 + 7*j**2 - 4*j**2 - 34*j**3 + 93*j**3 - 2*j - j. Is 5 a factor of m(n)?
False
Suppose -29 + 9 = -5*u. Suppose -u*c + t = -13, 0*c - 2*c + t = -5. Suppose -339 = -5*l + 2*g, -3*l - c*g + 136 = -57. Is 25 a factor of l?
False
Suppose -593*o + 623*o - 75854 = 37756. Is 15 a factor of o?
False
Let m(c) = -2211*c - 55. Is 110 a factor of m(-5)?
True
Suppose 0 = 7*a - 0 - 14. Suppose -2*j + 5*m + 407 = 0, -5*j - 3*m - a*m + 1105 = 0. Let h = j - 152. Is h a multiple of 32?
True
Let j(c) = c**3 - 10*c**2 - 7*c + 1. Let w be j(10). Suppose s = -53 + 2. Let p = s - w. Does 2 divide p?
True
Suppose 28*p - 48 = 24*p. Is 16 a factor of 1553/5 - p/20?
False
Let o be (-4)/(-14) - (-7)/147*141. Is 43*(-6 + (o - -12)) a multiple of 13?
True
Suppose 0 = -648*g + 609*g + 38922. Does 2 divide g?
True
Let v(t) = 6*t - 27. Let f be v(19). Let m be -3 + 0 + 1 + f. Suppose b - m = -z, 6*b = 5*z + b - 405. Is z a multiple of 9?
False
Let n(b) = -2*b**3 + 39*b**2 - 18*b + 2. Let k be n(19). Suppose -4278 = -k*v + 8637. Is v a multiple of 41?
True
Suppose 4*j = -t + 9984, 2496 = 8*j - 7*j + 5*t. Suppose -60*l + 72*l - j = 0. Is l a multiple of 16?
True
Suppose -2*b = -2*f + 208, 2*f - b = 7*f - 526. Let j = f - 102. Suppose 0 = j*i + 5*l - 401, 0 = l - 0 - 4. Is i a multiple of 8?
False
Suppose 21 = 2*k + 5. Let h(o) be the third derivative of o**6/120 - 2*o**5/15 + o**4/24 + 2*o**3/3 - 2*o**2 + 10. Does 3 divide h(k)?
True
Let r(x) = -6*x**2 + 40*x - 6. Let c(o) = -2*o**2 + 13*o - 2. Let v(f) = -16*c(f) + 5*r(f). Let y be (-7)/21 - 19/(-3). Does 13 divide v(y)?
True
Suppose 18*f + 7059 + 12678 = 69*f. Does 9 divide f?
True
Let z be (-2570)/5*(-2)/12*-3. Let w = -153 - z. Is w a multiple of 5?
False
Let q(d) = -72*d + 129. Let k be q(-16). Let j = k - 753. Is j a multiple of 22?
True
Suppose -4*g - 95 = 45. Let q = g + 42. Suppose 0 = -5*y + 2*j + 944, -3*y - 5*j = -q*y + 762. Is y a multiple of 44?
False
Let j(f) = f**3 + 10*f**2 - f - 6. Let m(c) = -c**3 - 2*c**2 + 9*c + 19. Let z be m(-6). Let u = z - 117. Is j(u) a multiple of 26?
True
Let g(f) = -13*f - 30. Let p be g(-8). Suppose -m + 356 = p. Is 37 a factor of (14 + m)/(3 - 1)?
True
Let k(z) = -53*z**2 - 18*z - 54. Let w be k(-4). Let r = -393 - w. Is 24 a factor of r?
False
Let w be ((-15)/10)/((-6)/16). Suppose 4*q - 5*y - 289 = 0, w*y + 25 = -y. Does 8 divide (4/6)/(q/63 + -1)?
False
Let y(o) = o**3 - o**2 + 2*o - 2. Let i be y(2). Let q be (-3)/(-6) + (-69)/i. Let v(m) = -14*m + 14. Is v(q) a multiple of 42?
True
Let i = -29364 + 64530. Is 5 a factor of i?
False
Suppose -1906 - 461 = 9*w. Let g = w - -370. Is 15 a factor of g?
False
Let o(d) = 27*d**2 + 4*d - 2. Let p(u) = u**3 + 7*u**2 - 13*u - 44. Let m be p(-8). Let l be o(m). Let w = -268 + l. Is w a multiple of 42?
False
Let b = -262 - -266. Suppose -b*f - 284 = -m, 240 = 2*m + f - 364. Is 8 a factor of m?
False
Suppose -3*s + 156 = 10*s. Let n be (-27)/(-6) - (-6)/s. Suppose n*i = -2*i + 973. Is 12 a factor of i?
False
Let d(o) be the first derivative of 17*o**3/3 + 3*o**2/2 + 2*o + 2166. Suppose -2*h - 3 = 1. Is 32 a factor of d(h)?
True
Let u = 248 + -168. Let g = 77 - u. Is 25 a factor of (0 - g)*42 - 3?
False
Suppose 4*b + 19107 + 22873 = 2*j, 0 = -5*j - 3*b + 104885. Is j a multiple of 17?
False
Suppose 2*n + 2*w - 6*w = 162, -4*n + 354 = -2*w. Let j be 66/176 + (-1514)/(-16). Let a = j - n. Is a a multiple of 2?
True
Let k(u) = 453*u - 222. Let d be k(16). Suppose 22*n = 454 + d. Does 4 divide n?
True
Suppose -12437 - 4321 = -5*x + 4*p, -2*x = -5*p - 6693. Suppose -8*s + x = -1630. Is 89 a factor of s?
True
Suppose -5*f - 3*q = -3663, 965 = 4*f - 5*q - 1958. Is 4 a factor of f?
True
Let r(i) = i**2 - i - 16. Let n be r(5). Let b be (-1)/n + (-903)/(-28). Suppose 0 = -5*z - b + 207. Does 22 divide z?
False
Let z(k) = -k**3 + 87*k - 6 - 71*k + 17*k**2 + 13. Let m be z(18). Is (-12)/(-60) + m/(-5) a multiple of 6?
True
Suppose 2934 = 19*a - a. Let y(j) = 14*j - 9. Let h be y(7). Let i = h + a. Does 36 divide i?
True
Let h be 1/(-4) - ((-45)/20 + -3). Suppose h = n - 2. Let p(z) = 3*z**2 + 3*z. Is 21 a factor of p(n)?
True
Let n(u) = 3*u - 23. Let a be n(13). Let h be (-3)/((-6)/a) + 36/(-18). Suppose -9*j + h*j = -294. Does 14 divide j?
True
Suppose v + 4*b = 2*b + 27583, 4*v - 9*b - 110366 = 0. Is 154 a factor of v?
False
Let s = -10451 + 14326. Does 149 divide s?
False
Suppose 4*m - 1038 = j - 2*j, -4*j = -2*m - 4206. Is (j/9)/(30/45) a multiple of 35?
True
Suppose 14*w - 51 = -3*w. Suppose 23 = -w*v + 29. Suppose 4*p = -v*p + 594. Is 9 a factor of p?
True
Let f(s) = -s - 3. Let j be f(-9). Suppose j*q - 5 = 13. Is q*4/36*33 a multiple of 10?
False
Let c = -46 + 4. Let h = 63 + c. Let i(s) = -s**3 + 21*s**2 + 3*s + 5. Is 8 a factor of i(h)?
False
Is 170 a factor of 4/(-112) + 197918037/4956?
False
Let a(j) = -j**3 + 22*j**2 - j - 12. Let v be 17 + (6 - 8/4). Is 24 a factor of a(v)?
True
Suppose 6