 -p**3 + 6*p**2 - 3*p + 7. Let n be o(v). Does 15 divide k(n)?
False
Let i(y) = y**3 + 7*y**2 - 17*y - 11. Let o be i(-8). Is 0 + 9/6*(o + -1) a multiple of 10?
True
Let q = 31 + -62. Let c = -27 - q. Suppose -186 = -3*u - h - 4*h, -c*h + 323 = 5*u. Is 14 a factor of u?
False
Let a be (-1 + (-1)/3)/(60/(-90)). Let x be ((-1710)/6)/(0 + -1). Suppose 5*j = -b + 385, 0 = 5*j - a*b - 100 - x. Does 24 divide j?
False
Let n(f) = 2*f**3 - 6*f**2 - 3. Let o be n(3). Let w be (o - -9) + -4 - 0. Suppose -t = w*g - 32, -2*g = t - 4*g - 48. Does 9 divide t?
False
Let f(s) = 8*s**2 + 4*s + 12. Let i be f(-5). Suppose -i = m - 4*m. Is m a multiple of 8?
True
Suppose 18*k + 60 = 30*k. Suppose 0*q = -2*q - k*o + 186, 2*o + 4 = 0. Does 58 divide q?
False
Does 14 divide (0*(-2)/(-4) - -1)*182?
True
Let x be (-1)/(-7) + (-3)/21. Suppose 5*d - 36 - 59 = x. Suppose -2*b = -113 - d. Does 12 divide b?
False
Let v(j) be the third derivative of j**5/5 - j**4/24 + j**3/3 - 9*j**2. Does 9 divide v(-2)?
False
Let m(s) = 2*s - 1. Let l be m(5). Let c(i) = i - l + 5 + i + 5. Does 5 divide c(2)?
True
Let h = -34 - -22. Let n = -5 - h. Let x = 11 - n. Is x a multiple of 3?
False
Is 1*-37*-4*(-490)/(-392) a multiple of 30?
False
Suppose -2*i + 5*i - 42 = 0. Suppose 4*c = -0*n + 3*n - 38, n + i = -2*c. Let v(h) = 3*h**2 + 15*h - 4. Does 17 divide v(c)?
True
Let a = 57 - 31. Let o = -94 - a. Let f = -68 - o. Is 13 a factor of f?
True
Let j be 18/10 + (-3)/(-15). Suppose j*g - 8 = -0*g - 4*m, -5*g = 4*m - 2. Is 2 + (-1 - (g + -63)) a multiple of 11?
True
Let h be (-543)/(-6) + (-1)/(-2). Suppose 2*m = -q - 4*q + h, -5*q = 5*m - 250. Is 17 a factor of m?
False
Suppose -41 = -3*g - 38. Suppose 0 = y - b - 8 - g, 4*y - 3*b - 33 = 0. Is 6 a factor of y?
True
Suppose -7645 = l - 6*l + 5*j, -2*l = 3*j - 3058. Is l a multiple of 62?
False
Let u(h) = -h**3 - 6*h**2 + 2*h - 7. Let k be u(-7). Is k*(-2)/4*-3 a multiple of 21?
True
Suppose -3*k + 3*x + 3 + 0 = 0, 13 = 5*k - x. Let d(f) = -8*f + 1. Let a be d(k). Is (a + 6)/((-2)/6) a multiple of 17?
True
Let b = -2030 + 2642. Does 17 divide b?
True
Suppose 5*n - 4*i = -9*i, 0 = n - 4*i - 15. Suppose -8*r + 40 = -n*r. Is 7 a factor of r?
False
Let v(q) = 14*q - 2. Let j = 32 - 30. Is 4 a factor of v(j)?
False
Let t(f) = -10*f - 38. Is 4 a factor of t(-13)?
True
Let l = -40 + 43. Suppose l*j + 5 - 38 = 0. Is 3 a factor of j?
False
Suppose 5*j + 5*j = 0. Let h = -227 + 354. Suppose -3*u - 3*f + h = -4*f, j = -3*u - 2*f + 124. Is 11 a factor of u?
False
Suppose 44*f - 11645 = 14227. Is f a multiple of 84?
True
Suppose 2*v = -0*v. Suppose 3*p - 180 = -v*p. Does 12 divide p?
True
Suppose -42*r - 1674 = -51*r. Is 2 a factor of r?
True
Suppose -4*a + 19 = -461. Suppose -5*p = 3*h - 99, -p + 3*p = 3*h - a. Is 6 a factor of h?
False
Let w = 1 + -9. Is 316*(-3 + (-26)/w) a multiple of 32?
False
Let g = 1 + 6. Let d be (3*35/(-21))/((-2)/(-4)). Let y = g - d. Does 15 divide y?
False
Let x be (1/3)/(1/3). Let q be x/(-6) - 3910/12. Does 15 divide q/(-6) + 6/9?
False
Let d = -1159 - -1907. Is 68 a factor of d?
True
Suppose 44*x - 5330 = 3*x. Is x a multiple of 15?
False
Suppose 6*d - 2*d - 218 = -l, -4*l + 224 = 4*d. Suppose 2*v = v + d. Does 14 divide v?
False
Let x = -1384 - -3522. Is x a multiple of 34?
False
Let x = -4 + 1. Let o(k) = -2*k**3 - 3*k - 3. Does 10 divide o(x)?
True
Suppose 0 = -2*h + 5*x + 26, 37 = 4*h + 3*x + 11. Suppose 0 = -h*s + 162 + 798. Is s a multiple of 26?
False
Let m(n) be the first derivative of n + 8*n + 3*n - 4*n**2 + 5 - 3*n. Is 25 a factor of m(-5)?
False
Suppose 2*k = -0*k + 36. Let m = 379 + -390. Let n = k + m. Is n a multiple of 2?
False
Let v = 16 + -14. Suppose -2*x = j - x - 114, 464 = 4*j + v*x. Let q = j + -82. Does 12 divide q?
True
Let y be 30/(-4)*(30/(-25) - 0). Is -3 - (376/(-12) + 12/y) a multiple of 21?
False
Let l(t) = t**3 + 2*t**2 - 9*t + 2. Let s be l(-4). Does 19 divide s/10 - 4408/60*-3?
False
Suppose -c = 0, 2*g - 8 = -2*c + 7*c. Let v be 7/1 + 1 - g. Suppose -h = h - v. Does 2 divide h?
True
Suppose 1088 = 2*i - 4*k, 5*k - 3*k = -3*i + 1640. Does 26 divide i?
True
Suppose -1009 = -4*f + 71. Suppose 6*n + f = 11*n. Is 40 a factor of n?
False
Suppose -p - 3*o = -6 + 1, 3*p = o + 45. Let v = 92 - p. Does 23 divide v?
False
Suppose 0*h + 3*c - 3 = -2*h, -4 = -h + c. Let g = 36 + -33. Suppose 0 = 2*j + v - 11, h*j - 2*j + g*v + 7 = 0. Does 7 divide j?
False
Suppose 55 = 3*f + z - 3*z, -3*z + 45 = 4*f. Let d be 36/10 - f/25. Suppose -c = 3*p - 37, -2*p + 167 = d*c + 56. Does 18 divide c?
False
Suppose -2*m - 4*u + 3*u = -8, 3*m + 2*u - 12 = 0. Suppose -m*y + 91 = -209. Does 13 divide y?
False
Let h(a) = 13*a**2 + 7*a - 5. Let b be h(-5). Suppose b = 3*x - 2*j, j + 180 = 2*x + 3*j. Does 8 divide x*(55/(-15) - -4)?
False
Let k be 0 - -6 - (-36)/(-9). Suppose -12 = -k*l + 12. Suppose -36 - l = -3*z. Does 3 divide z?
False
Suppose -w - 4*h + 5*h = 0, -3*h = -4*w + 2. Suppose -w*d + 240 = -5*y + 3*y, 3*y - 501 = -4*d. Is d a multiple of 7?
False
Let n be 2 + (-420)/(-1 - 3). Suppose 3*o = 328 + n. Is o a multiple of 12?
False
Suppose -4*x + 5570 = -5*n, 4*n = 7 - 15. Is x a multiple of 85?
False
Suppose -3*w + 4*s = -6*w + 2, 3*w + s - 5 = 0. Suppose -w*q = -5*t + 62, 0 = -t - q + 18. Does 3 divide t?
False
Suppose 0 = i + 3, -2*v + 0*v = 3*i - 237. Let f = v + 115. Suppose 5*g - 236 = 4*q, 0 = 3*g + 2*g - 2*q - f. Is 16 a factor of g?
True
Suppose -3*r + 83 = -148. Let i = r - 41. Is 9 a factor of i?
True
Let b(n) = n**3 - 11*n**2 - 26*n + 48. Does 31 divide b(15)?
True
Let c(l) = -l**3 - 12*l**2 - 8*l - 21. Let b(s) = s**3 + 11*s**2 + 6*s + 22. Let u(h) = 6*b(h) + 7*c(h). Suppose 0 = -0*a + 5*a + 85. Does 18 divide u(a)?
True
Let f = 403 + 160. Is f a multiple of 25?
False
Let w(s) = 12*s**2 + 44*s - 6. Is w(-6) a multiple of 17?
False
Let h(l) be the second derivative of l**4/12 + l**3 + 5*l**2/2 - 13*l. Let z be h(-8). Let b = z - -15. Is 9 a factor of b?
True
Let k be (3 + -2)*(-4 + 0). Let z be (-6)/24 - 1/k. Let b = 19 - z. Does 7 divide b?
False
Does 6 divide (0 - 7/21)*(-263 - -2)?
False
Suppose -29 = -2*w - x, -4*x = 3*w + x - 61. Suppose 2*l - 16 = -w. Does 2 divide l?
True
Let k(w) = -w**3 + 6*w**2 + 5. Let f be k(6). Suppose -412 = -f*g + 273. Let q = g + -94. Is q a multiple of 19?
False
Suppose 0 = 13*u - 5*u + 24. Let m be (-122)/(-14) + 2/7. Let x = m - u. Does 4 divide x?
True
Suppose p + 133 = 3*b, -5*b + 4*p = -2*b - 127. Is b a multiple of 7?
False
Let d be (2/9 - 28/45)*30. Is ((-96)/(-10))/(d*(-1)/280) a multiple of 28?
True
Suppose 6*c - 1156 = -4*l, -11*c + 9*c + 389 = 5*l. Is 32 a factor of c?
True
Suppose -l = -0*l + 5*n - 1, 3*l = 4*n - 54. Let k = l - -21. Suppose -x = -k - 5. Is x even?
True
Let a(j) be the second derivative of -j**4/12 - 5*j**3/6 + 3*j**2 + 2*j. Let k be a(-6). Suppose -w + 3*w - 56 = k. Is w a multiple of 14?
True
Suppose -3*z - 2*z + 325 = 0. Let y = -12 + z. Suppose 2*w - y - 1 = 0. Does 7 divide w?
False
Suppose 1131 = 4*w - 3*w. Suppose w = 5*z + 91. Is 16 a factor of z?
True
Let j = -94 + 176. Let n = -358 - -304. Let f = n + j. Does 14 divide f?
True
Let r(p) = 8*p**2 + 22. Does 10 divide r(-4)?
True
Let p be -26 + 123 + (-2 - 0). Does 3 divide (28/(-10))/((-19)/p)?
False
Let b = -389 - -1254. Is b a multiple of 13?
False
Let k be ((-26)/(-5) + -4)/(1/(-20)). Is 16 a factor of (-1 + 226/4)/(k/(-48))?
False
Let a(k) = -k**3 - 55*k**2 + 99*k - 16. Is 53 a factor of a(-57)?
False
Let s(h) = -h**2 + 12*h. Does 20 divide s(10)?
True
Let t(a) = -9*a**3 + 17*a**2 - 19*a - 13. Let p(c) = 5*c**3 - 8*c**2 + 9*c + 7. Let z(v) = -7*p(v) - 4*t(v). Does 25 divide z(11)?
True
Let n = 382 + -265. Suppose -f + n = 4*m, -2*f + 1 + 1 = 0. Does 5 divide m?
False
Let d(h) = h**2 - 7. Let o be d(0). Is 9 a factor of (-1662)/o + (-102)/238?
False
Suppose 2*f - 17 = 5*z - 0*f, 3*z = -3*f - 6. Is 8 a factor of ((-18)/z - 3) + 45?
True
Let t(o) = 63*o + 1120. Is t(9) a multiple of 67?
False
Suppose 5*k = k - 20. Does 20 divide (15/2)/(k/(-40))?
True
Suppose -1191 + 39 = 3*r. Let d be r/(-21) - 2/7. Let t = d + -16. Does 2 divide t?
True
Let d = 779 - 449. Does 10 divide d?
True
Is (-1)/3*-3 + 291 + 4 a multiple of 53?
False
Let o = -58 + 363. Is 3 a factor of o?
False
Suppo