Let q(s) = 14*s**3 + 15*s**2 + 4*s + 9. Let k(h) = 13*i(h) - 6*q(h). Let f be k(1). Does 8 divide ((-36)/16)/(6/f + -1)?
False
Suppose 10*h - 33290 - 15362 - 52848 = 0. Does 145 divide h?
True
Let v(k) = -6*k**2 + 14*k - 30. Let q be v(8). Let w = q + 338. Is 9 a factor of w?
True
Suppose 3*k - 6 = 0, -4*p + 4*k = -6*p - 56. Let j = p - -164. Does 9 divide j?
False
Let b = -6761 - -12561. Does 21 divide b?
False
Let o = 1407 + -360. Suppose -4*z - 3*b + o = 0, -4*z = -4*b - 559 - 509. Is 22 a factor of z?
True
Suppose 13*f + 45 = -2*f. Let k(v) be the first derivative of 4*v**3/3 - 3*v**2 - 13*v - 16. Is k(f) a multiple of 15?
False
Let v(n) = 19*n**2 - n - 13. Let f(p) = 15*p - 48. Let h be f(3). Is v(h) a multiple of 7?
True
Let d(n) = 2*n**3 - 27*n**2 + 10*n - 18. Let j be d(13). Let h = j + 251. Is 5 a factor of h?
False
Let z = 4294 - 1034. Is 10 a factor of z?
True
Suppose 6*w - 31 = -1. Suppose -2 = -w*i + 18. Let n(s) = 14*s - 4. Does 13 divide n(i)?
True
Suppose 0 = 9*q - 799 + 43. Is (0 + -60)*q/(-70) a multiple of 9?
True
Let a be (6 + -4 + 3)*3. Let v be -249*(-5)/a - 3. Suppose -21*b + v = -20*b. Does 16 divide b?
True
Let h be (-2)/(-8) - 539/44. Is 4*6/h*-19 a multiple of 16?
False
Suppose y + z - 1560 = 0, -4*y - 2*z + 4355 + 1885 = 0. Does 65 divide y?
True
Let g = -92 + 86. Let r be 4/(-10) + g/((-30)/17). Suppose j = -r*j + 64. Is j a multiple of 3?
False
Let d(f) = -f**2 - 167*f + 67. Is 17 a factor of d(-39)?
False
Suppose 69*o - 27*o = 126. Suppose 2*b = -4*y + 2090, -16 = o*b - 19. Is 16 a factor of y?
False
Let r be 110 - -1 - 3 - 1. Suppose -16 = -111*q + r*q. Suppose 60 = 2*l - q*i - 8, -4*l + 86 = 2*i. Is 12 a factor of l?
True
Let z = -171 + 175. Let x(r) = 23*r**2 + r - 12. Does 20 divide x(z)?
True
Suppose 176*d = 49*d + 149352. Is 78 a factor of d?
False
Let k(g) be the first derivative of g**5/5 + g**4/4 + 2*g**3 + 4. Let c(u) be the third derivative of k(u). Is c(8) a multiple of 18?
True
Let r(u) = -26*u + 896. Is r(25) a multiple of 24?
False
Let q(z) = 61*z**2 - 25*z + 27. Is q(3) a multiple of 123?
False
Let n = -72 + 74. Suppose 5*s = -n*j - 4 + 29, -12 = -3*j + s. Is -57*(j/(-15) + -2) a multiple of 15?
False
Let f(t) = 6*t**3 - 2*t**2 + 1. Let h be f(1). Suppose 5 = h*g - 5, 2*g = 4*i - 2572. Is i a multiple of 14?
True
Suppose 0*i + 13*i - 35104 = -4489. Is i a multiple of 14?
False
Let g be 602/(-26) + (-4)/(-26). Let w = g - -29. Suppose -4*o - u + w*u + 147 = 0, -96 = -3*o - u. Does 11 divide o?
True
Suppose 74*o = 1724 + 56218. Does 9 divide o?
True
Let c(y) = -2734*y + 4608. Is 103 a factor of c(-6)?
True
Let l(n) = -n**3 - n**2 + 2*n + 60. Let r = -10 - -12. Let t be -1 - (r - 0)/(-2). Is l(t) a multiple of 5?
True
Let n(l) = l**3 + l**2 + 9. Let r be n(-2). Suppose 2*a - 110 = -r*c - 6, -3*a + 5*c + 181 = 0. Is 32 a factor of a?
False
Suppose 4*j + 2*l - 4878 = 0, 4*j - 4844 = -l + 29. Does 2 divide j?
False
Let w(n) = -n**3 - 3*n**2 + 9*n + 11. Let m(u) = -3*u - 24. Let r be m(-7). Let a(s) = -s**2 - 4*s - 8. Let p be a(r). Is w(p) a multiple of 2?
True
Does 4 divide (-2844)/90*(-2 + 32/(-4))?
True
Let f(t) = t**3 - 5*t**2 + 45 - 18 - 4*t**2 - 8*t - 9 - 8. Suppose 24 = 2*v + 2*s, s + 22 = 2*v + 2*s. Does 5 divide f(v)?
True
Suppose -3*l - 66 = -4*l + 4*s, -4*s + 42 = l. Suppose -2*v + 3*k + 328 = 0, v - 4*k - 110 = l. Does 33 divide v?
False
Suppose 272*z = 283*z - 79827. Is 103 a factor of z?
False
Let y be 112/24*-3 - 9. Let k(u) = 3*u + 19. Let d(s) = 2*s + 13. Let f(b) = 7*d(b) - 5*k(b). Is 2 a factor of f(y)?
False
Suppose 88421 = 176*g - 71*g - 86824. Is g a multiple of 72?
False
Let a be (-4)/(-6) + (-10)/3*-1. Suppose -3*t + 2*f + 6 = 0, -3*t + 2 = -a*f - 10. Is (-1 + t)*(-1 + -10) even?
False
Suppose 0 = 6*f + 7*f - 1352. Let y be 135/(-315) + -1 + f/14. Is 11 a factor of 3/(-18) + 1021/y?
False
Suppose -13*p - 7*w = -16*p + 12108, -12123 = -3*p + 2*w. Is 103 a factor of p?
False
Suppose -64*l + 340206 = -22540 - 1639174. Is 209 a factor of l?
False
Suppose 0 = u + 2*r - 15760, 0 = 31*u - 34*u + r + 47245. Suppose 24*b = 49*b - u. Is b a multiple of 14?
True
Let g(y) = y**3 + y**2 - 5*y - 4. Let w be g(3). Let l = -17 + w. Is (12*1 - l)/((-6)/(-12)) a multiple of 21?
False
Suppose 5*t = -2*l + 30910 + 38188, -t + 3*l = -13823. Is 10 a factor of t?
True
Let m = 60 + -85. Let z = -25 - m. Suppose z = 5*s + 20, -5*u + 381 - 50 = -4*s. Is u a multiple of 18?
False
Is -6*655858/(-84) - -20 a multiple of 20?
False
Let q(b) = -102*b - 123. Let z(s) = 154*s + 192. Let f(c) = -8*q(c) - 5*z(c). Let t be 26/8 + 2/(-8). Is 27 a factor of f(t)?
True
Let u = 2 - 72. Let q be (-16)/(-10)*u/(-28). Is 9 a factor of ((-70)/q - 0)*-2?
False
Let c = 39284 - 22771. Is c a multiple of 16?
False
Suppose 0*z - 8 = -4*z - 4*n, -z + 2*n - 10 = 0. Let r(x) = -4*x - 2. Let p be r(z). Is 2 a factor of 82/5 - p/15?
True
Let a(z) be the second derivative of -2*z**3/3 + 9*z**2/2 - 82*z. Does 17 divide a(-2)?
True
Let j = -6 - -5. Let p(s) = -s - 1. Let u be p(j). Suppose -3*z + 355 = 2*b, u*b - 591 = -5*z - 3*b. Is 9 a factor of z?
True
Let i(a) be the second derivative of -a**5/40 + 2*a**4 + 19*a**3/6 + 14*a. Let t(j) be the second derivative of i(j). Is t(0) a multiple of 24?
True
Let t(r) = 4*r**2 - 5*r - 34. Let x(u) = u**3 - 33*u**2 + 28*u + 138. Let s be x(32). Does 24 divide t(s)?
False
Let c = 16 - 24. Suppose -2512 = -182*g - 6880. Is 16 a factor of ((-420)/c)/((-9)/g) + 4?
True
Suppose 586 = 3*m - 68. Suppose 28*c = 27*c + m. Suppose -3*p = -94 - c. Is p a multiple of 8?
True
Suppose 0 = -5*f - 3*z + 14, 3*f = 5*f + 4*z. Let h(j) = 2*j - 5. Let v be h(f). Suppose -v*x + 6 = l, x - 5*x = -l + 34. Is l a multiple of 2?
True
Let f = -38 - -38. Suppose f = -5*k + k + 12. Suppose k + 21 = w. Does 3 divide w?
True
Suppose 2788 + 1948 = 16*i. Suppose -690*a - i = -694*a. Is a a multiple of 7?
False
Suppose -2*r - 13*u + 15*u = -1026, 3*u = -2*r + 1041. Let w = r + -255. Is w a multiple of 20?
False
Let c = 23534 - 12605. Is 9 a factor of c?
False
Suppose 3*f - 45125 = -83*x + 78*x, 4*x = 4*f + 36132. Does 122 divide x?
True
Let g be (-38)/(-12) - (-6)/(-36). Suppose 0 = -6*u + g*u + 3. Let l(r) = 108*r**2 + r - 1. Is 15 a factor of l(u)?
False
Suppose 1 = -3*n + 22*w - 18*w, 0 = -5*n - 4*w + 41. Let i = 4 + -2. Suppose -2*z = m - 16, -n*z - 39 = -3*m - i*z. Does 4 divide m?
False
Let i(z) = 2*z**3 + 19*z**2 + 8*z - 6. Let y be ((-6)/(-4))/((-23)/138). Let h be i(y). Suppose -4*v - 168 = -h*p, -2*v + 3 = -v. Does 3 divide p?
True
Let k be (3/(-9)*-20)/(26/1677). Suppose -4*j + v = 3*v - k, -5*j + 543 = -3*v. Is 12 a factor of j?
True
Suppose 2*g = -5*w + g + 7913, 3*w = g + 4751. Is w a multiple of 49?
False
Let k(q) = 6*q - 18. Let x be k(5). Let g = x + -12. Suppose g = -12*t + 14*t - 36. Does 6 divide t?
True
Let l be (-774)/(-22) + 48/(-264). Suppose 5*i - 2*a = 175, -i + l = a - 2*a. Suppose -2*v = 3*f - 127, -i = -2*f + 3*v + 41. Is 41 a factor of f?
True
Let s(k) = -k**3 - 65*k**2 - 61*k + 541. Does 9 divide s(-66)?
False
Suppose 3*b = 6*b - 294. Let k = 142 - b. Suppose n - 4*h = k, -h - 160 = -5*n + 79. Is 11 a factor of n?
False
Let j = -282 + 596. Let w = j - -235. Is 27 a factor of w?
False
Let f(j) be the third derivative of 7*j**4/24 + 5*j**3 + 347*j**2. Let c be 2/(-3) + 2/3. Is 11 a factor of f(c)?
False
Let t(p) = p**3 + p**2 - 6. Let r be t(0). Let d be (r/(-9))/((-12)/(-9) - 1). Suppose -2*j - 5*h + 416 = d*j, -5*j - h = -499. Is 17 a factor of j?
False
Suppose -x - 4*x = -20. Let s be x - (-1 + 3) - -113. Suppose 0 = 5*k - s - 45. Is 12 a factor of k?
False
Does 6 divide 7900/(-3)*(40 - 2492/56)?
True
Let o(c) = 2*c**3 - 72*c**2 + 63*c - 343. Is 275 a factor of o(36)?
True
Let w be 4/5*(-525)/42. Does 4 divide 10/25 + (-686)/w?
False
Let q be 47551/14 + (-7)/14. Suppose q = 12*m - 8*m. Is 54 a factor of m?
False
Let c = 6898 + 626. Does 22 divide c?
True
Let y = 2575 - -27. Suppose -652 = -v + x, 3*v + 2*x - y = -v. Is 35 a factor of v?
False
Let p be 1/((-1697)/283 - (17 + -23)). Suppose p = 18*v - 1445. Does 16 divide v?
True
Suppose 2 = -2*s, -5 = 2*t - 5*t + 5*s. Suppose t = 3*c - c - v - 214, 3*c - 332 = -4*v. Does 12 divide c?
True
Let z be 4 + -2 + 11/(77/21). Suppose 65 = 18*q - z*q.