4*t**2 - 72*t + 22. Is 11 a factor of y(36)?
True
Let v(j) be the first derivative of 0*j - 1/2*j**4 - 5 + 1/2*j**2 + j**3. Is 13 a factor of v(-2)?
True
Let m = -2 + 4. Let p(t) = 5*t**m - 2*t**2 - 7*t + 1 + 3*t. Is 4 a factor of p(3)?
True
Let w(n) = -2*n**3 + 16*n**2 + 23*n - 76. Let h be w(9). Suppose 2*r = 5*r - 4*m - 226, 2*m = -2. Let k = h + r. Does 37 divide k?
False
Suppose -3*j = -8*j - 25. Is j*(-55)/(2 + 3) a multiple of 11?
True
Suppose 0 = 41*t - 17*t - 23256. Is t a multiple of 19?
True
Let a(z) = z**3 + 10*z**2 - 14*z - 1. Is 16 a factor of a(-10)?
False
Suppose 55 = -5*m - n - 23, -m = 3*n + 24. Let g = m - -30. Does 11 divide g?
False
Let z(k) be the first derivative of -17*k**2/2 - k + 6. Is 17 a factor of z(-5)?
False
Let w(j) be the second derivative of -j**4/12 + 11*j**3/6 + 2*j**2 - j. Let b = -88 - -94. Does 17 divide w(b)?
True
Suppose -4*r + 42 = -r. Let g = 19 - r. Suppose g = -0*d + d, 4*d = 2*n - 96. Does 20 divide n?
False
Let n = -521 + 2763. Is 19 a factor of n?
True
Let a(r) = -41*r + 8. Is 42 a factor of a(-8)?
True
Let v(w) = 11 - 3 + 6*w**2 + 2*w + 4*w - 5*w**2. Suppose 0 = 5*a + 4*x + 47, 3*a - 4*x + 3 = -6. Does 5 divide v(a)?
True
Is (-2)/(-3)*(-3 + 1587)/3 a multiple of 11?
True
Suppose -j + 5*a = -1, 10 = 2*a + 4. Let u = j + 15. Suppose 126 = 5*h - 2*n, -2*n - 1 = h - u. Does 14 divide h?
False
Let u(v) = v**3 - 4*v**2 - 5*v - 1. Let t be u(5). Let m be (-32)/((0 - t)*-1). Let g = -7 + m. Does 6 divide g?
False
Is 17 a factor of (12/10)/(-3) + 1266/15?
False
Let j(g) = 2*g**2 + 17*g - 21. Let t(r) = r**2 + 27*r + 58. Let p be t(-24). Does 24 divide j(p)?
False
Let d = -3955 - -5971. Does 28 divide d?
True
Suppose 0 = 10*m - 5*m - 480. Suppose -2*l - h - 23 = -m, 3*l - 120 = 2*h. Is 30 a factor of l?
False
Suppose -22*j + 93568 = 10*j. Does 68 divide j?
True
Let s = -9 - 1. Let i = s + 10. Let v(q) = -q**2 + q + 12. Is v(i) a multiple of 12?
True
Is (43/3)/((-5)/(-30)) a multiple of 10?
False
Let s(m) = -22*m - 16. Let n(k) = 11*k + 8. Let j(b) = -5*n(b) - 2*s(b). Let z be j(-6). Let h = 94 - z. Is 12 a factor of h?
True
Let f(m) be the first derivative of 2*m**3/3 + 5*m**2 + 7*m + 2. Let s = -66 - -58. Is 17 a factor of f(s)?
False
Let x(w) = 41*w + 13. Let u be x(14). Suppose -6*y - 77 = -u. Is 17 a factor of y?
True
Let j be ((-6)/(-5))/(((-3)/10)/1). Is 9 a factor of (36/30)/(j/(800/(-6)))?
False
Let t be (-2)/3*-3 - (-2 + 5). Let r = -2 - 2. Is (-36)/r - (3 + t) even?
False
Is (-3)/(-2) + 6443/34 a multiple of 63?
False
Suppose -4*x = -3*l + 227, 3*l + x - 34 = 198. Does 3 divide l?
False
Let g = -120 - -179. Suppose -f + 150 = g. Is f a multiple of 23?
False
Let p(q) = 4*q + 1. Let s be p(-1). Is 19 a factor of s - 10/2*-11?
False
Suppose -4*m + 974 = 5*u, -6*m = -2*u - 10*m + 380. Does 18 divide u?
True
Let g = -22 + 22. Suppose 5*h - 4*h + 2 = g. Let s(q) = 19*q**2 - 2*q - 1. Does 17 divide s(h)?
False
Let o(g) = 3 - 13 + 8*g**2 - 2 - 5*g. Does 17 divide o(-4)?
True
Let h be 2/3*(9 - 3). Suppose k + 3 = y + 17, -h*k - y = -56. Is 7 a factor of k?
True
Suppose -5*b = -2*f + 174, 0 = b - 4*b - 5*f - 123. Let y = -16 - b. Is 10 a factor of y?
True
Suppose -4*w = p - 6, -5*p + 12 = -3*p + w. Is 27 a factor of 212*p/12 - 3?
False
Let g(k) = 8*k - 6. Let a be g(4). Let y(n) = n**2 + 3*n - 8. Let p be y(-5). Suppose -6*q + p*q = u - a, -3*q = -3*u + 3. Is u a multiple of 3?
True
Let n(p) = p**2 + 5*p - 7. Is n(-25) a multiple of 21?
False
Let t = -6 - -17. Let s(f) = f**3 - 11*f**2 + f - 1. Let u be s(t). Suppose -14 = -c + u. Is c a multiple of 18?
False
Suppose -7*o + 2*o + 1319 = 4*v, -4*o = -2*v + 640. Is v a multiple of 39?
False
Suppose 303 = w - 4*c, -636 = -2*w + 5*c - 7*c. Is 9 a factor of w?
True
Suppose -2*o = -3*v - o - 233, -v - 5*o = 67. Let w = v - -167. Suppose 2*d - w = -3*d. Is 18 a factor of d?
True
Let h = -275 + 1289. Does 78 divide h?
True
Does 10 divide (88/3)/(((-29)/30)/(-29))?
True
Does 9 divide (-4)/1 - (55 - 131)?
True
Let t(f) = 9*f - 7. Let n be t(1). Suppose n*b = -8, -288 - 525 = -5*o + 2*b. Is o a multiple of 6?
False
Let i = 215 - 173. Does 21 divide i?
True
Suppose -2203 - 2165 = -21*t. Does 12 divide t?
False
Let w be (0/5 - 0)/3. Suppose 5*k - 2*k - 99 = w. Is k a multiple of 11?
True
Does 4 divide 73 + 2/7 + 135/(-105)?
True
Suppose t + 39 = -3*s, 2*s + 63 = -2*s - 5*t. Let h(a) = -182*a**3 - a**2 + 2*a - 1. Let i be h(1). Is 15 a factor of 3/(-18) + i/s?
True
Suppose -f - 10 = 6. Let n = f + -35. Let i = n - -83. Is 4 a factor of i?
True
Let t be 4*1*4/(-16). Let k be ((-2)/(-3))/(t/3). Is -2 + 6 - 38/k a multiple of 15?
False
Let f(o) be the first derivative of -7*o**4/4 + o - 6. Let s be f(-1). Is (14/s)/((-5)/(-20)) a multiple of 7?
True
Is ((-5088)/64)/(2/(-4)) a multiple of 15?
False
Let a(v) = -8*v**3 - 4*v + 16. Does 14 divide a(-5)?
True
Let q(f) = -f**2 + 13*f + 2. Let a be 31 + (-4)/(-2) - -3. Let c be 0 + (-9)/(a/(-40)). Is q(c) a multiple of 9?
False
Let a(o) = -o**3 - 12*o**2 - 13*o - 3. Let j be a(-11). Let u = 22 - j. Is 6/(-4*u/(-88)) a multiple of 11?
True
Suppose -2*r - 3*w + 19 = 0, 5*w + 0*w = 3*r + 19. Let y be ((-5)/((-30)/8))/((-4)/(-6)). Suppose -y = 5*h - 3*z - 101, 24 = r*h + 4*z. Does 5 divide h?
False
Suppose -5 = -5*h + 10. Let j(r) = -4*r + 2 - 1 + 0 - h*r + r**2. Is 9 a factor of j(10)?
False
Let g(i) = -90*i + 2. Let h be g(4). Does 4 divide 4/30 + h/(-15)?
True
Is 18 a factor of -596*(-2)/20*15/6?
False
Let b(h) = 11*h**2 - 8*h - 14. Is 48 a factor of b(3)?
False
Let y = -10 + 13. Suppose 0 = -y*g + 3*w + 81, 2*w = 3*w - 3. Is g a multiple of 11?
False
Suppose 0 = k + 7*k - 1744. Is 7 a factor of k?
False
Let w(p) = -p**3 - 18*p**2 + 25*p - 27. Let z be w(-20). Let m = -195 + z. Is 18 a factor of m?
False
Let s be (-1*(2 + -4 + 1))/(-1). Does 42 divide (-25 + 7)*(s + -6)?
True
Suppose 18*d + 1015 - 10951 = 0. Is 23 a factor of d?
True
Is ((-1081)/(-47))/((-1)/(-3)) a multiple of 38?
False
Let s = -854 - -898. Does 2 divide s?
True
Let a(f) = f**3 + 8*f**2 + 2*f + 5. Let w be a(-7). Let d be (-94)/(-10) + (-16)/w. Let u(g) = 2*g**2 - 11*g - 12. Does 28 divide u(d)?
False
Suppose -5*k + 18 = 3*o, -4*o = -0*o - 4. Suppose 3*g = -4*s + 203, 0 = 2*g - g - k*s - 72. Is g a multiple of 14?
False
Suppose -13 = -2*m - 5. Suppose -3*s + m*s - 17 = 0. Is s a multiple of 17?
True
Let o(z) = -42*z + 26. Let m be o(-6). Let l = m + -117. Let q = -95 + l. Does 11 divide q?
True
Is 40 a factor of (30/9)/(5/180)?
True
Let o(x) = 6*x**3 - 2*x**2 - 41*x + 17. Does 34 divide o(6)?
False
Let t = -304 - -494. Is 72 a factor of t?
False
Suppose r = 4*k - 3613, 2569 + 1049 = 4*k - 2*r. Does 42 divide k?
False
Let q = -6 + 0. Let z(w) = 3*w**2 - w**2 + 5*w - w**2. Is 2 a factor of z(q)?
True
Suppose -8*x + 1700 = 532. Is 13 a factor of x?
False
Let x = 5 - 8. Suppose 0 = -3*v - 13 - 14. Is ((-1)/(-1)*v)/x a multiple of 2?
False
Let c(f) = -2*f - f - f**3 + 4 - 15*f**2 + 11*f**2. Let s be c(-3). Is s + -5 - -110 - 4 a multiple of 13?
False
Let h(v) = -v + 5. Let k be h(4). Let y(q) = 54*q**2 - 1. Let d be y(k). Let w = 79 - d. Does 13 divide w?
True
Let n(c) be the second derivative of -c**4/12 - 4*c**3/3 + 15*c**2/2 + c. Is n(-9) a multiple of 3?
True
Is (-45)/(8/(640/(-24))) a multiple of 19?
False
Let l(x) = 5*x**3 - 4*x**2 - 5*x - 4. Let o(w) = w**2 - w. Let y(f) = l(f) - 2*o(f). Let p be (2 + -3 + 3 - 3) + 4. Is y(p) a multiple of 17?
True
Let q(n) = -n**3 - 3*n**2 - 3*n - 3. Let t be q(-2). Let d = 17 - t. Is 9 a factor of d?
True
Let n be 2/(168/87 - 2) + 1. Is 4 a factor of (n/6)/((-2)/6)?
False
Suppose -45*g + 25*g + 4360 = 0. Does 7 divide g?
False
Suppose -13 + 7 = -2*b. Suppose -b*k - 29 = 1. Does 36 divide (k - -4)/(2/(-12))?
True
Let i(k) = -k**3 + 3*k**2 - 12*k + 9. Let o be i(4). Let d = o + 88. Is 33 a factor of d?
True
Let s be (1 - -2)/((-65)/15 + 4). Let g(n) = -n**3 - 3*n**2 + 19*n + 9. Is 36 a factor of g(s)?
True
Suppose -7*o - 8 = -3*o, 5*n + 3*o = 344. Is n a multiple of 14?
True
Let w(i) be the second derivative of 35*i**3/6 + i**2 - 6*i. Is 7 a factor of w(1)?
False
Let j(c) = -c**3 + 8*c**2 - 8*c + 8. Let n be j(7). Let l be (-1 + n)/(-10 - -7). Suppose -3*u + 4*a + 245 = l, 4*a + 18 = -2. Is 25 a factor of u?
True
Let b = 