actor of c?
True
Let q be (-1)/1 - (2 - -6). Let b(u) be the first derivative of -6*u**2 - 6*u + 83. Is 17 a factor of b(q)?
True
Let i be (-10)/25 + (-5342)/(-5) + -3. Suppose -2*p + 441 = x, 2*p - 7*p = -5*x - i. Suppose 3*d - 5*k - p = 0, -5*d = -0*k - k - 356. Does 6 divide d?
False
Suppose -13*u = -40 - 7240. Let d = -342 + u. Is d a multiple of 22?
False
Let s(y) = 5*y**2 - 69*y + 10. Let g be s(14). Suppose g*z + 1815 = 27*z. Does 22 divide z?
False
Let z(f) = 5*f - 14*f - 60 + 3 + 34*f + 3*f**2. Does 17 divide z(12)?
False
Suppose -223 - 401 = 2*t. Is 12 a factor of 32/(2 + t/162)?
True
Let v(c) = 2*c**2 + 35*c - 18. Let d be v(-17). Does 8 divide (-6)/14 - 11460/d?
False
Let a = -182 - -184. Suppose 4*m = 4*f - 7128, a*f + m = -m + 3560. Is 21 a factor of f?
False
Let c = 1353 + -738. Let f be 1/6 - c/(-90). Suppose -5*t - f*t = -3108. Does 23 divide t?
False
Let a(j) = -45*j + 530. Does 19 divide a(-12)?
False
Let z(k) = -13*k + 120. Let l be z(9). Suppose l*w + 2*b = 92, -3*w + b - 10 + 117 = 0. Is w a multiple of 2?
True
Suppose 10*f = 8*f + 2556. Suppose -822 - f = -7*t. Is t/(-45)*(-3)/2 even?
True
Let p(m) = 2*m**3 + 6*m**2 + 2*m - 10. Let u be p(-3). Let x = -43 - u. Let s = x - -69. Is s a multiple of 3?
True
Suppose -3*w + 16480 = -2*b, 134*b = 2*w + 138*b - 10992. Is w a multiple of 31?
False
Suppose -20 = -10*q + 5*q. Let r(s) = -s**2 - 3 - q*s**2 - s**3 + 5*s - 3*s. Is 14 a factor of r(-6)?
False
Is (2/8)/(78/2779608) a multiple of 25?
False
Suppose -232076 = 101*m - 446980 - 412811. Is 55 a factor of m?
True
Is (-2272)/3*(-46 - -43) - 10 a multiple of 26?
True
Is (-144959)/(-20)*6 + (14429/(-470) - -31) a multiple of 16?
True
Suppose w - 358 = -232. Is 7 a factor of (w/(-24))/(3 + (-1611)/536)?
True
Let l(q) = q**3 - 9*q**2 - 42*q + 71. Does 10 divide l(17)?
False
Suppose 3*n + 21578 = y, y - 15928 - 5714 = -5*n. Does 106 divide y?
False
Suppose -3*b = -391 - 458. Suppose o - j - 515 = b, o = 2*j + 799. Is 23 a factor of o?
False
Let m(w) = 80*w - 185. Let u be m(-17). Let n = -908 - u. Is 49 a factor of n?
True
Let l(w) = -3*w - 36. Let s be l(-22). Let h(o) = o**2 - 16*o - 24. Is h(s) a multiple of 44?
True
Suppose 4606 = o + 5*y - 4368, 0 = -7*o + 5*y + 62578. Is 13 a factor of o?
True
Let z(n) = 2*n + 53. Let w be z(-21). Is 19 a factor of (-4)/(2/w + 10176/(-54032))?
False
Suppose 5*r - 46 = 4*r. Let s = -44 + r. Suppose 0 = s*c + 5*q - 127, -5*c + 2*c + 177 = 3*q. Is c a multiple of 7?
True
Let q = 712 + -709. Suppose 5*n - 1417 = -3*o, 5*o - 1907 - 428 = -q*n. Does 29 divide o?
True
Let v(q) = 10*q - 14. Let x be v(5). Suppose -2*r = -r - x. Does 18 divide r?
True
Suppose -7*z = -2*z + 2*k - 12, 5*k = -2*z + 9. Let j = 389 + -143. Suppose 0 = q + z*q - j. Is 15 a factor of q?
False
Suppose -12*q + 5642 = -7570. Let w = q - -459. Suppose -15*i = -3*i - w. Is i a multiple of 13?
True
Let r(x) = -3*x + 48. Let c be r(11). Suppose v + 5*d = c, -2*v + d = -4*v + 66. Suppose 0 = -y + v + 83. Is 59 a factor of y?
True
Let a(d) = 11*d**2 + 21. Let f(v) = v**2 - v. Let t(p) = a(p) - 6*f(p). Does 15 divide t(-6)?
True
Suppose -4*c - 2*c + 36 = 0. Let d(h) = -1 + c + h + 3 + 12. Is d(-10) a multiple of 10?
True
Suppose -198 = -190*o + 184*o. Suppose 38*q - 3840 = o*q. Does 32 divide q?
True
Suppose -1674 = 11*a - 541. Let h = -19 - a. Is 14 a factor of h?
True
Let n(p) be the second derivative of -17*p**3/6 + 9*p**2/2 - p. Suppose 59*o - 12 = 63*o. Is n(o) a multiple of 7?
False
Suppose -5*f = 5*w - 50017 - 17388, -53926 = -4*f - 3*w. Is 73 a factor of f?
False
Suppose 3*v - 2*t + 3*t - 7007 = 0, -4*v + 2*t = -9346. Suppose 0 = -4*r - 4*k + v, 4*k = k + 12. Is r a multiple of 58?
True
Suppose x - 4*x + 22 = -k, 2*x = k + 15. Suppose -408 = -4*a - 5*b, -2*a + 186 = -0*b - 2*b. Let j = a - x. Is j a multiple of 15?
True
Let o(h) = h**2 - 16*h + 34. Let a be o(14). Suppose -2*j = -a*j - 12. Is 1 + (-31)/(-1) + j + 3 a multiple of 16?
True
Let z = -87 + 97. Suppose -t = -z - 68. Is 39 a factor of t?
True
Let n be (1/(-6) - (-11)/(-33))*0. Suppose n = 2*m + 2*m + 5*x - 1034, 2*x = m - 252. Is 8 a factor of m?
True
Let a(y) be the third derivative of y**4/24 - 5*y**3/6 + 12*y**2. Let j be a(8). Suppose -j*m + 123 = -3. Is 8 a factor of m?
False
Let n(f) = 4*f**2 + 41*f + 313. Let d be 3 + 58/(-4) + (-1)/2. Is n(d) a multiple of 14?
False
Let c(w) = -w**3 - 10*w**2 + 39*w + 2. Let h be c(-13). Suppose 4*k - 195 = -5*x, h*x = 7*k - 9*k + 80. Is 5 a factor of x?
True
Suppose 0 = 2*u + d - 40465, 40470 = -60*u + 62*u + 2*d. Is u a multiple of 119?
True
Let w = -2426 + 8712. Is 3 a factor of w?
False
Let p = 593 + 73. Suppose -m + p = 424. Is 20 a factor of m?
False
Let l(n) = n**2 - 23*n + 71. Let x be l(3). Suppose x*o - 26*o = -4980. Does 58 divide o?
False
Let o = 597 + 250. Suppose 2*u = o - 127. Does 36 divide u?
True
Let r be (0 + -2 + 1)*(-9)/3. Suppose -y + z = -z - 344, -r*y = 3*z - 1050. Is 13 a factor of y?
False
Let p(d) = 6*d**2 - 3*d - 2. Let j(a) = -a**3 - 5*a**2 - 4*a - 1. Let s be j(-4). Let b be p(s). Let g(k) = 34*k - 16. Is 39 a factor of g(b)?
False
Let t(m) = -m**3 + 2*m**2 + 2*m - 279. Let i be t(0). Let o = 823 + i. Is o a multiple of 32?
True
Let c = -726 + 456. Let j = 459 + c. Let h = j + -117. Is 12 a factor of h?
True
Let m(b) = b**3 + 6*b**2 + 9*b + 6. Let k be m(-4). Suppose q - 720 = -k*q. Let x = -153 + q. Is 19 a factor of x?
False
Let q(k) be the first derivative of 4*k**3/3 - k**2/2 - 17*k - 16. Let w be q(-6). Let t = w - 94. Does 18 divide t?
False
Suppose 4*q = 5*q + 5*r - 16, -r - 22 = -4*q. Suppose -f + 14 = q*f. Suppose -f*c - 140 = -4*h - c, -175 = -5*h - 3*c. Is 5 a factor of h?
True
Let d(z) = 167*z**2 - 5*z - 8. Let a(v) = v**2 + 9*v - 1. Let y be a(-9). Is d(y) a multiple of 22?
False
Let s be 2 + 0 - 330/10. Let i = s - -29. Does 23 divide i/(-8) + (-2754)/(-24)?
True
Let t be (-1*(2 - -1))/(6 - 7). Suppose 4*i = -t*y + 150, i + y = 29 + 9. Suppose -2*m - 48 = -b, 5*b = 5*m + 291 - i. Is 27 a factor of b?
True
Let o(b) = b**3 + 2*b**2 - 72*b + 10149. Does 293 divide o(0)?
False
Let t(g) = g**2 - 2*g - 8. Let x(m) = m**2 - 2*m - 7. Let v(w) = -6*t(w) + 7*x(w). Let n be (2/4)/((-2)/20). Does 8 divide v(n)?
False
Let s(l) = l**3 - 11*l**2 + 2*l - 20. Let n be s(11). Suppose -2*m - 2*m = 0. Suppose -b - 363 = -2*c - 2*c, -c + n*b + 96 = m. Does 18 divide c?
True
Suppose -2*l + t = -4892, -26*l + 4*t = -22*l - 9792. Does 7 divide l?
False
Let f = 4 - -7. Let n(v) = v**3 - 12*v**2 + 17*v - 16. Let w be n(f). Let s = 3 + w. Does 13 divide s?
False
Suppose -82*p = -61*p - 61026. Suppose -739 = -5*h + p. Is 9 a factor of h?
True
Suppose -31*z + 34*z = 12. Suppose 0 = z*v - 78*a + 80*a - 410, 0 = 5*v - 4*a - 532. Does 4 divide v?
True
Let h = 39 + -14. Let x(y) = y**2 - 15*y + 8. Let p be x(15). Suppose -3*b + p = -h. Is b even?
False
Let y = 0 + 3. Suppose 0 = -h + 6*h + 4*t - 2366, h - 3*t = 477. Suppose y*i = -186 + h. Does 24 divide i?
True
Suppose 18*r - 3*r = 19485. Suppose 83*b - 80*b - r = 0. Does 47 divide b?
False
Suppose -46720 + 384022 = 84*u - 62622. Is 5 a factor of u?
False
Suppose 33 = -2*k + 9. Let r be (-12)/9 - 16/k. Suppose 4*d - 345 = -5*h, 2*h + 96 = d - r*h. Does 15 divide d?
True
Suppose -39*k + 66 = -17*k. Suppose -3*t - 11*z + 16*z + 565 = 0, 4*t - 763 = -k*z. Does 27 divide t?
False
Suppose t = -14*d + 18*d + 3728, d + 7 = 0. Is 5 a factor of t?
True
Let v = -2 - -5. Suppose 3*x = j + 10, x - 3*j + v = 3*x. Suppose -2*r - 2*r + 3*g + 265 = 0, 3*r - 183 = -x*g. Is r a multiple of 15?
False
Suppose 2*g - 3247 = -s + 2740, 0 = 2*g - 2. Is s a multiple of 9?
True
Let a = 304 + -298. Is (-12)/(109/(-238) - a/(-14)) a multiple of 34?
True
Let h(y) be the first derivative of 23*y**2/2 + 17*y - 14. Does 11 divide h(9)?
False
Suppose 8611*k + 644 = 8597*k. Let b = -522 + 361. Let p = k - b. Is 23 a factor of p?
True
Is -1590*(-14 - (-88)/10) a multiple of 26?
True
Let s = 4025 + -185. Does 20 divide s?
True
Let z be 0/(3 - 2/1). Suppose 3*g - 27 + 21 = z. Does 14 divide 0 - (g + 0) - (-7 + -23)?
True
Let c be -7 + 4 - (-13 - -1). Suppose 6 = -s + c. Let g = s + 37. Does 10 divide g?
True
Let d = -3173 + 6263. Does 30 divide d?
True
Let x(m) = 17*m**2 + m. Suppose 21*c - 37 = 