/2*p**2. Is v(1) a multiple of 19?
False
Let z(o) = o**2 - 5*o - 40. Let b be z(10). Let j(u) = u**3 - 7*u**2 - 7*u + 22. Does 21 divide j(b)?
True
Let d(i) be the second derivative of -i**5/20 - i**4/4 + 11*i**3/6 + 12*i**2 + 42*i. Is 26 a factor of d(-7)?
False
Suppose 37*i + 8872 = 45*i. Is 6 a factor of i?
False
Suppose -113*p + 104*p + 29364 = -20415. Is 8 a factor of p?
False
Let u(x) = 5*x**2 - 115*x + 4051. Is u(90) a multiple of 13?
False
Let l(h) = 17*h - 3. Let i(z) = 30*z - 5. Let b(y) = -y. Let v(o) = -3*b(o) + i(o). Let c(s) = 7*l(s) - 4*v(s). Does 6 divide c(-1)?
True
Is 13 a factor of ((-54588)/16)/(((-150)/24)/(-1) - 7)?
False
Suppose 4*p - 1438 + 4856 = 2*w, -p + 5155 = 3*w. Is w a multiple of 34?
False
Let f(x) = 3*x + 1000. Is f(0) a multiple of 7?
False
Suppose 8*u + 1110 = 3*u. Let z be 3/(-5) + u/30. Does 3 divide 54/4 + 12/z?
True
Suppose 5*r + 14*u = 11*u + 69, u - 51 = -4*r. Suppose j = 3*v + 68, 2*j - 4*v = r + 116. Does 7 divide j?
True
Suppose -12 = 4*i, -2*j + 6945 = -44*i + 49*i. Is j a multiple of 3?
True
Suppose m + 25 = 3*o, -4*o + 2*o - m = -15. Suppose -3*y - y + o = 0. Suppose -3*f - y*s = -36, s - 10 - 14 = -2*f. Does 3 divide f?
True
Suppose 29*p + 8 = 25*p, c + p = 4316. Is 17 a factor of c?
True
Let d = -125 + 55. Let l = -85 - -30. Let a = l - d. Is 5 a factor of a?
True
Is (-2 + 1 - (-4 + -152))*476/170 a multiple of 3?
False
Let p be -5 + 15 - (3 + 0). Suppose 0*d - p*d + 21 = 0. Suppose s + 5*i = 8, 74 = d*s + s - i. Does 6 divide s?
True
Suppose -237508 = -26*m + 2238. Is m a multiple of 162?
False
Let s be (-9 + 1)/((-5)/130). Let w = s + 230. Suppose 4*j - 9*v = -7*v + 878, -2*v = -2*j + w. Is j a multiple of 26?
False
Suppose 6*a = 18 - 6. Suppose 0 = 20*o - a*o - 8208. Is 16 a factor of o?
False
Suppose 3*k - 639 = 4*q - 0*k, 2*k = 10. Let c = q - -271. Is c a multiple of 4?
False
Let u = 712 - 307. Is u a multiple of 9?
True
Let m(r) = -r**3 + 15*r**2 - 11*r + 33. Let u be m(14). Suppose 9*d = u + 69. Suppose 0 = -5*c + 369 + d. Does 11 divide c?
True
Let l(k) = k**3 + 13*k**2 + 24*k + 25. Let b be l(-11). Is 259/63*b*21 a multiple of 11?
False
Does 52 divide ((-4221)/12)/(25/(-100))?
False
Is (-218806)/(-54) + 411/11097 a multiple of 2?
True
Let w = 8090 + -4191. Is 9 a factor of w?
False
Suppose -s + 2*w = -1971, s + 5*w - 2320 = -377. Is s a multiple of 8?
False
Suppose b - 24 = -20, 0 = 4*g - b - 13584. Is 18 a factor of g?
False
Let y = 6 - 0. Let w(q) = -2*q**3 + 5*q + 4*q**3 - 6*q**2 + 1 - 3*q**2 - q**3 + 4*q**2. Is 18 a factor of w(y)?
False
Suppose 4*k + 3*g + 237 = -0*g, 4*k - 3*g = -219. Let d = k - -81. Is (25/2)/(4/d) a multiple of 7?
False
Let r = 7451 + -5857. Is r a multiple of 67?
False
Let w = 54 + -27. Suppose w*g - 30*g + 909 = 0. Is 43 a factor of g?
False
Suppose -2*z + 1658 = 2*g, 2*g - 4*z + 3*z - 1661 = 0. Is g a multiple of 11?
False
Let p(y) = -95*y + 4651. Is 33 a factor of p(-23)?
False
Let g be (-2)/(-9) - 139192/(-1143). Suppose 5*s + 25 = 0, -2*d = -d - 4*s + 46. Let p = d + g. Is p a multiple of 14?
True
Let k(o) be the second derivative of 19*o**3/3 + 7*o**2/2 + 4*o - 5. Is k(5) a multiple of 8?
False
Let n(z) = 191*z - 658. Does 43 divide n(7)?
False
Let v = -161 + 71. Let n = v + 234. Does 9 divide n?
True
Is 3 a factor of (225 - (-4)/1) + -13 + 160/8?
False
Let z(m) be the first derivative of -m**3/3 + 11*m**2 - 13*m - 10. Let w be z(20). Suppose -2*v = -w - 83. Is 8 a factor of v?
False
Let i(g) = -g - 13. Let l be i(-21). Let r(h) = 14 + l*h - 359*h**3 - h + 11*h**2 + 360*h**3. Is 21 a factor of r(-9)?
False
Let h(f) = -f**2 - 11*f. Let l be h(-11). Let s be ((-8)/10 + l)*-335. Suppose s - 28 = 8*b. Is 4 a factor of b?
False
Let d(n) = 114*n - 5241. Does 12 divide d(98)?
False
Suppose -5*w - 4*s = -173 - 299, 291 = 3*w + 5*s. Is (w - 95)/((-2)/146) a multiple of 18?
False
Let s = -125305 - -180880. Does 95 divide s?
True
Let o = 11165 + -8040. Is 5 a factor of o?
True
Let i be (-3)/(-12) - (-7)/4. Suppose -20 = -i*o + 232. Is o a multiple of 4?
False
Let v(m) = -420*m - 1330. Is 7 a factor of v(-15)?
True
Let t(y) = -2*y**2 - 34*y + 4. Suppose 20 = 83*w - 88*w. Is 9 a factor of t(w)?
True
Let d(f) = f**3 - f**2 + 3*f + 2. Let i be d(4). Suppose -4*x = 4*c - 56, 0 = 4*x - 5*c + 3*c - i. Suppose x*q - 151 = 1079. Is 35 a factor of q?
False
Let h(n) be the third derivative of 7/6*n**3 - 12*n**2 + 0*n + 0 + 1/4*n**4 + 1/60*n**5 - 1/120*n**6. Is h(-3) a multiple of 5?
True
Suppose 0*r = -5*r + 25. Suppose q = -2*u - 144, 3*q + 720 = -2*q - r*u. Is (q/(-80))/(2/50) a multiple of 12?
False
Let z = 15601 + -15185. Is 32 a factor of z?
True
Let f = 1134 + -1997. Let k = -615 - f. Does 8 divide k?
True
Suppose 2*w - 8 = -6*d + 4*d, 2*d - 12 = 2*w. Suppose 0 = -d*c - m + 317, -4*c = m + m - 250. Is c a multiple of 8?
True
Let o(s) = 26 + 38*s + 85*s - s**2 + 0*s**2 - 93*s. Does 13 divide o(22)?
False
Suppose 128*g - 4*p + 9032 = 130*g, -g - 4*p = -4514. Is g a multiple of 18?
True
Suppose 528 = 19*d - 17*d. Suppose 2*l - d = -l. Suppose 4*c = 12*c - l. Does 5 divide c?
False
Suppose -p + 19 + 6 = -5*i, 2*i = -8. Suppose 0 = -p*t + 55 - 10. Suppose 4*b - t = -3*v + 5, 22 = 4*b - v. Does 2 divide b?
False
Suppose -5*i = -22*k + 19*k - 299979, 5*k - 35 = 0. Is 25 a factor of i?
True
Let f = -11544 + 19427. Is f a multiple of 22?
False
Suppose 2*m - 741 = -5*z, -2*m + 3*z + 510 + 223 = 0. Let d = m - 247. Is d a multiple of 7?
False
Let l(w) = -268*w - 3072. Is l(-64) a multiple of 10?
True
Let o(h) = -2*h**2 + 16*h - 12. Let d be o(7). Suppose d*w - 1 = -2*f - f, -2*w - f = 1. Is 46 a factor of ((-2)/(-4))/(w/(-130))?
False
Let k(z) = -4*z**2 - 6*z - 2. Let f(m) = 3*m - 13. Let b be f(6). Let g be k(b). Let y = g + 234. Does 34 divide y?
True
Let y(c) = 2*c**2 - 22*c + 24. Let n be y(10). Suppose 47 = -v + n*v + r, 3*v + 2*r = 52. Is 13 a factor of 8/28 + 1956/v?
False
Let m = 85554 - 44563. Is m a multiple of 229?
True
Let g be 2/8 - ((-378525)/(-12))/(-5). Suppose 821 = -4*v + g. Is 28 a factor of v?
True
Let b be (-20)/5 + 14/(4/2). Let d be (-5 + -207)/(b/(-12)). Suppose -4*w - 4*w + d = 0. Does 11 divide w?
False
Does 9 divide 24/5*(-1814470)/(-1029)?
False
Does 127 divide (-5 - (-8181)/36)/(4/16)?
True
Let b = -11313 - -85147. Is b a multiple of 75?
False
Let d(b) = 1152*b**2 - 28*b - 20. Let s(t) = 288*t**2 - 7*t - 5. Let w(m) = -2*d(m) + 9*s(m). Does 21 divide w(-1)?
False
Suppose -2*z = 3*n - 0*n - 14, -n + 6 = 2*z. Suppose z = x - 8. Is 36/x*(-1 - 135/(-12)) a multiple of 17?
False
Suppose 139*x = 121*x + 100980. Is 11 a factor of x?
True
Suppose -1 = -v - 5*o + 17, -4*v + 72 = 3*o. Does 3 divide v?
True
Suppose -3*y + 192 = -2*l + 2*y, 0 = -l - 5*y - 81. Let v = 91 + l. Does 19 divide -19*(6 + v)*8/(-24)?
True
Let o(k) = -24*k + 12. Let d(c) = -2*c**2 - 2*c + 5. Let s be d(0). Let i be o(s). Let a = -60 - i. Is 12 a factor of a?
True
Suppose -16*s + 19*s + 3*n - 12450 = 0, -5*s = -4*n - 20741. Does 16 divide s?
False
Let a = 9711 + 3602. Is a a multiple of 12?
False
Let i(f) = f**2 - 19*f + 54. Let b be i(0). Suppose -k + 61 = 3*s, -k + 3 = 5*s - b. Is 6 a factor of k?
False
Suppose 20462 - 7862 = 5*i. Suppose 2*g - 393 = 5*t + 587, 5*t = -5*g + i. Is g a multiple of 17?
False
Suppose -9*o = -27, 4*o - 99012 = -30*i + 25*i. Does 165 divide i?
True
Suppose 5*j = -3*x + 782, 4*x - 786 = x - 3*j. Suppose 17*o = 21*o - x. Let p = 174 + o. Does 30 divide p?
True
Let m(o) be the third derivative of 11*o**4/24 - 13*o**3/6 + 8*o**2 + 1. Is 45 a factor of m(38)?
True
Let w(k) = k**3 - 8*k**2 - 19*k - 2. Let f be w(10). Suppose 0 = 51*g - 49*g + f. Is 9936/40 + g/10 a multiple of 62?
True
Let m(i) = i + 23 - 13*i**3 - 6*i**2 + 12*i**3 - 3 + 2*i. Let s be m(-6). Does 7 divide 41 + 2 + s/2?
False
Let s be 364/56*(4 + 0). Suppose -m - 16 = -s. Is 5 a factor of m?
True
Suppose 5*f - 153 = 22*f. Let r(l) = l**3 + 12*l**2 + 24*l + 10. Is 2 a factor of r(f)?
False
Let j(y) = -y**2 + 26*y - 11. Let p be j(17). Let i = -51 + p. Does 2 divide i?
False
Suppose 7*l - 106 = -85. Suppose -3*c + 198 = -l*t, -3*c - 2*c - 4*t = -339. Is c even?
False
Suppose 19*o - 2*o = -85. Let y be (872/6)/(o + 102/18). Suppose -2*r + 4*v = -y, 5*r - 6*v + v - 520 = 0. Is r a multiple of 5?
Fa