+ 6*n**2. Suppose 0*t = 4*t + 4. Does 7 divide d(t)?
True
Let z(r) be the third derivative of r**6/120 + r**5/20 - r**3/3 - 4*r**2. Is 9 a factor of z(2)?
True
Suppose 0 = -2*g - 3*g - y + 6, -4*g - 1 = -5*y. Suppose 2*n = g - 21. Is 5 a factor of (8/n)/((-14)/175)?
True
Suppose -k = -35 - 32. Does 23 divide k?
False
Let n be (-72)/(-2) - (1 + 0). Suppose 27*h + 8 = 26*h. Let y = n + h. Is 12 a factor of y?
False
Is -1*4*(-9 - -1) a multiple of 25?
False
Let b(t) = -t**3 - 8*t**2 + t + 11. Let m be b(-8). Suppose 5*y - 115 = -s, -20 - 3 = -y + m*s. Is y a multiple of 7?
False
Suppose 116 = 2*n - 570. Does 49 divide n?
True
Let f = 72 - -71. Does 11 divide f?
True
Let c(d) = 11*d**2 + 6*d + 10. Is c(-5) a multiple of 17?
True
Let n(j) be the third derivative of -j**4/24 + 3*j**3/2 - 5*j**2. Let o be n(4). Suppose -4*y + 2*m + 250 = 0, 0 = -5*y + o*m + 385 - 65. Is 17 a factor of y?
False
Let c be 1/((-2)/(-16)*2). Suppose c*m = 3*u - 21 - 57, u = m + 25. Suppose 121 - u = 3*l. Does 11 divide l?
True
Suppose 0 = 4*a - 3*a - 4. Suppose 28 = 4*i + 3*u, 5*u = -a*i + 16 + 12. Is i a multiple of 7?
True
Let z be 1*((-2)/(-2) - 2). Does 14 divide z/(-2) - (-183)/6?
False
Let s(n) = 9*n + 19. Is s(13) a multiple of 14?
False
Suppose 0 = -2*n + 1 + 55. Does 7 divide n?
True
Let b = -69 + 129. Is b a multiple of 15?
True
Let i(h) = -h + 3. Let r be i(0). Let s be r - (2 + -28 + -1). Let m = s + -21. Is m a multiple of 3?
True
Let z be (0 - 1)/(3/(-12)). Suppose 2*q - 2 = 4, -139 = -z*n - q. Does 10 divide n?
False
Let m(k) = k**2 + 2*k + 5. Let f = 0 - -3. Suppose -2*r - 7 = f. Does 10 divide m(r)?
True
Let l be (-1)/4 - 30/8. Let y(b) = b**2 - 4*b - 5. Is 9 a factor of y(l)?
True
Let g(n) = n**3 + 5*n**2 + 2*n + 2. Let d be g(-5). Let s = d - -11. Suppose -37 = -s*h - 10. Is 9 a factor of h?
True
Let v(p) = p - 8. Let c be v(5). Let f = 7 + c. Is (-2)/20*f*-65 a multiple of 13?
True
Suppose 62 + 64 = 3*a. Does 39 divide a?
False
Let b = -306 - -454. Does 37 divide b?
True
Suppose 5 = 2*r + 1. Suppose l = -4*m - 7, l = m + r + 1. Let j(g) = 8*g**2 - 2*g. Is 12 a factor of j(m)?
True
Let l be 1 + (-1 + -1 - -2). Let m(s) = 4*s**3 - s**2 + 2*s - 1. Let g be m(l). Suppose 2*f - w = 48, -w = -0*w + g. Is 12 a factor of f?
False
Suppose q = -3*n + 181, q + 196 = 3*n - q. Does 18 divide n?
False
Let k = 16 - 29. Let f = 40 + k. Does 17 divide f?
False
Let b(p) be the first derivative of 2*p**4 - 2*p**3/3 - 2*p + 3. Is 18 a factor of b(2)?
True
Suppose -29 = -5*a - 3*n, -3*a - 5*n = -21 - 6. Suppose 15 = j + a*j. Suppose 13 = x - 5*z - 8, -z = x - j. Is x a multiple of 3?
True
Let u = -75 + 121. Let h = u - 28. Is h a multiple of 7?
False
Suppose 44 = 2*y - 0*y. Suppose y = -3*d + 4*d. Does 4 divide 138/33 - 4/d?
True
Let c = -51 - -28. Let p = -8 - c. Is p a multiple of 4?
False
Let a be ((-12)/42)/(2/(-14)). Let m = 10 + a. Is m a multiple of 12?
True
Let i = 30 - 19. Is 11 a factor of i?
True
Suppose 0 = v + 2*q - 13 - 0, 3*q = -3*v + 24. Suppose v*d - 26 = 13. Does 13 divide d?
True
Let z = -5 + 6. Let b(l) = -13*l**2 + l. Let v be b(z). Let o = v - -22. Does 10 divide o?
True
Suppose 67 = -5*t + 7. Let i be 4/t - (-4)/(-6). Let z(w) = -16*w**3 + w**2 + w. Does 8 divide z(i)?
True
Let b = 17 - 16. Let l = 24 - b. Is 17 a factor of l?
False
Let u(d) = 4*d - 2 + 8 + 1. Let b be u(-6). Let l = -5 - b. Is l a multiple of 5?
False
Let u(d) = -d**3 + 14*d**2 - 13*d + 16. Is 15 a factor of u(13)?
False
Suppose -3*u + 8*u = -o - 3, 0 = -5*u - 5. Let j be (-92)/6*(-3)/o. Suppose 2*t - 23 = j. Is 14 a factor of t?
False
Let p(t) = 2*t**2 + 7*t - 1. Is p(-7) a multiple of 16?
True
Suppose -73 = -2*w + 29. Suppose 6 = t - w. Is t a multiple of 19?
True
Suppose 5*z - 140 = -0*z. Let x = -16 + z. Is x a multiple of 6?
True
Let m = 41 - -9. Is m a multiple of 10?
True
Suppose 0 = -9*t + 535 + 176. Is t a multiple of 15?
False
Let x(l) = -l**2 - 14*l. Let k be x(-8). Let y = k - -13. Is 11 a factor of y?
False
Let w be (-3)/6 + (-26)/(-4). Suppose w*z + 2*d = z - 74, -2*z - 5*d = 38. Is 15 a factor of (-424)/z - (-2)/(-7)?
True
Let k = 77 - 51. Suppose 0*a + k = a. Does 13 divide a?
True
Suppose d + 3 = 4*d. Let v = 2 + d. Suppose 4*f - 8 = 0, -3*t = v*f + 2*f - 19. Is t even?
False
Let t(z) = 2*z**2 - 10*z + 8. Let a = 0 - -6. Let x be t(a). Suppose 3*u = 2*u + x. Is u a multiple of 9?
False
Let y(l) be the first derivative of -l**4/2 - l**3/3 - 4*l - 4. Is 13 a factor of y(-3)?
False
Let j be 3/(-9) - 218/(-6). Let t = 21 + j. Suppose 74 = 3*o + x, -4*o - 4*x + 55 + t = 0. Does 11 divide o?
False
Let d be 12/1 + 0 + 3. Is 9 a factor of -10*((-57)/d - -1)?
False
Is 9/(-15) - (-856)/10 a multiple of 30?
False
Suppose -5*g - 8 = -4*b + 13, g + 5 = b. Suppose 5*t - 46 = b*t. Is (t/(-4))/((-1)/4) a multiple of 20?
False
Let o(u) = u**3 - 8*u**2 - 2*u + 6. Let m be o(8). Let z = m + 14. Suppose -4*q = -2*y + 2, z*y - 10 = y - q. Is y a multiple of 2?
False
Let v = -6 - -52. Does 7 divide v?
False
Suppose 3*s - 5*y = 71, -4*s + 3*y = y - 104. Is s a multiple of 8?
False
Let f = -115 + 69. Let p = -24 - f. Is p a multiple of 22?
True
Let u = -9 + 5. Let l(h) = 3*h**2 + 5*h - 4. Is l(u) a multiple of 7?
False
Suppose 0 = 3*v + 3*x - 4 - 5, 0 = 4*x. Suppose 2*r + v*r - 4*w - 30 = 0, -19 = -2*r + 3*w. Is 14 a factor of 36 + r*(-2 + 1)?
False
Let l be -1 - -3 - (185 - 28). Let m = 26 - 133. Let t = m - l. Is t a multiple of 24?
True
Let p(c) = -3*c + 2. Let u be (-2)/(-6) - 19/3. Is p(u) a multiple of 10?
True
Let y = 10 - 4. Does 10 divide (-80)/y*(-3)/2?
True
Suppose 3*v + 2*v = 860. Suppose -v + 57 = t. Is 19 a factor of (-2)/6 - t/3?
True
Let k = -19 + 20. Is 10/k + -7 + 5 a multiple of 4?
True
Suppose 0 = 4*s - 260 + 92. Let d = s - 24. Is d a multiple of 9?
True
Let o(j) = 45*j**2 + j. Let i be 2 - -1*(-3)/3. Let k be o(i). Suppose 10 = -2*q, 0 = 2*m + 2*q - 4*q - k. Does 9 divide m?
True
Let i(t) = -t**2 - 5*t + 6. Let m be i(-6). Suppose 4*w - 20 = m, y - 2*w + 0*w = 11. Is 8 a factor of y?
False
Let p be 3*((-1)/3)/1. Let g be (1 + p)/(4 + -3). Suppose g = -3*i - 0*i + 24. Does 4 divide i?
True
Let w = -6 + 4. Let y(i) be the second derivative of i**4/3 - i**3/6 - i**2 + 2*i. Is 13 a factor of y(w)?
False
Let h(k) = -k**3 - 3*k**2 + k - 5. Let t(d) = -9*d**3 - 2*d - 1. Let g be t(-1). Suppose 0*p + g = -2*p. Does 18 divide h(p)?
False
Suppose -y = -0*y - 5*g - 22, 0 = -5*y + 4*g + 26. Suppose 30 = 2*u - 2*v, -4*u + 35 = y*v + 5. Is 7 a factor of u?
False
Let d = -14 - -24. Is d a multiple of 3?
False
Let v be 0/5 + 2 + 0. Suppose l = v*z, -5*l + 2*z = -l. Suppose -17 = -l*g - g. Does 6 divide g?
False
Let h(q) = 3*q - 13. Let i be h(6). Suppose i*v - 256 = 24. Does 14 divide v?
True
Is 17 a factor of 3/(-12) - (-3)/(36/411)?
True
Suppose -4*w + 134 = -294. Is w a multiple of 46?
False
Suppose 5*o - 23 - 7 = 0. Let b = -1 + 5. Does 3 divide 6/b*o + -1?
False
Let k(n) = 2*n**2 + 6*n + 9. Let t be k(-6). Suppose 4*a - 4*b - 55 = b, t = 2*a + b. Suppose a = 2*v - 0*v. Is v a multiple of 10?
True
Let d(n) = n + 73. Let o be d(0). Let f = -104 - -62. Let q = f + o. Is 12 a factor of q?
False
Let j(o) = 6*o - 6 + 2*o**3 + 4*o**2 - o + 5*o**2. Let h be j(-6). Is 14 a factor of h/(-10) + (-2)/5?
True
Let z(h) = 7*h - 4*h - 2*h - 8. Let u be z(6). Is 8 a factor of 0 - (u - 1) - -7?
False
Is 17 a factor of (-28)/(-21)*(-51)/(-2)?
True
Suppose 44 + 32 = 2*l. Does 38 divide l?
True
Suppose 3*p + 8 = 11. Is (-66)/((-3)/1 + p) a multiple of 6?
False
Let g(b) = -2*b + 4*b - 10 + 0*b. Does 4 divide g(9)?
True
Let i = 7 + -6. Let a(q) = 21*q**3 + 2*q**2 - 1. Is 11 a factor of a(i)?
True
Let a = -27 - -5. Let n be (-4 - 4)*a/8. Let p = -12 + n. Does 5 divide p?
True
Let s(x) = -x**3 + 5*x + 3. Let u be s(-3). Let d = u - -9. Is d a multiple of 8?
True
Let g(y) = y**2 + 2*y + 2. Let o be g(-4). Suppose 2*f = -5*w + 84 - o, -15 = 5*f. Is 7 a factor of w?
False
Does 12 divide 2778/33 + ((-24)/11 - -2)?
True
Suppose 0 = -n - 5*l + 257, 2*n - 5*l - 928 = -2*n. Is n a multiple of 67?
False
Let c(m) = m**3 - 8*m**2 + 8*m + 11. Let s be c(8). Let t = s + -44. Does 20 divide t?
False
Suppose 12*r = 15*r - 207. Is 23 a factor of r?
True
Suppose 9*b - 2410 - 398 = 0. Does 12 divide b?
True
Suppose 