oes 4 divide f?
True
Suppose -a = 5*v - 25, 5*v - 170 - 55 = -5*a. Let m = 157 - a. Does 56 divide m?
False
Let z(x) = x + 1. Let n(i) = -18*i - 2. Let l(v) = n(v) + 12*z(v). Is 7 a factor of l(-4)?
False
Let t be (-3)/((5 - 2)/3). Let z = t - -3. Suppose -3*u + 12 = -z*u. Does 4 divide u?
True
Let v(z) = 0*z**3 + 0*z**3 + 8*z + z**3 - 8 - 2*z**3 + 18*z**2. Is 11 a factor of v(18)?
False
Is 22 a factor of (-266)/(-3) - (42/9 + -4)?
True
Let g be (-2)/7 - -2*(-1100)/(-56). Let l = 26 - 46. Let a = l + g. Is a a multiple of 19?
True
Let a(u) = 7*u**2 - 8*u - 5. Let j be a(-5). Suppose 10*r = 5*r - j. Is (r/(-8))/(15/40) a multiple of 14?
True
Suppose 0 = 7*p - 12*p + 365. Let s = p - -24. Is 7 a factor of s?
False
Suppose 0 = 3*b + 8*u - 9*u - 1692, -4*b - 5*u = -2275. Is b a multiple of 33?
False
Suppose -2*g = y - 5*g - 157, -3*y + g + 455 = 0. Is y a multiple of 14?
False
Let n be (6 - -1) + 5 + (-4)/2. Is 26 a factor of (-3 - 4)/(((-4)/n)/2)?
False
Suppose -3*p - 29 + 98 = 0. Suppose q + u + u = 28, q - p = -3*u. Does 19 divide q?
True
Suppose w + 5*g - 7 = 79, g - 163 = -2*w. Does 9 divide w?
True
Suppose n = 5*u + 69, 5*n + 7*u - 435 = 2*u. Does 18 divide 7539/n - 2/(-8)?
True
Suppose 3*v - 2*m - 46 = 0, -v = -2*v + 2*m + 14. Is (v/(-5))/((-3)/30) a multiple of 8?
True
Let r be (6/10)/(8/120). Suppose -6*d + r*d - 90 = 0. Does 15 divide d?
True
Let a(p) = p**3 - 9*p**2 + 9*p - 8. Let c be a(8). Suppose 0*n + 3*n - 54 = c. Is 9 a factor of n?
True
Let f(r) = 86*r**2 - 4*r + 1. Let s(l) = 29*l**2 - l. Let p(y) = -2*f(y) + 7*s(y). Let w be p(-2). Suppose -4*z - z = -w. Does 12 divide z?
True
Let d(q) = -q**3 - 10*q**2 + 11*q + 5. Let m be d(-11). Let s(c) = 8*c - 3. Is 29 a factor of s(m)?
False
Suppose -k = -5*t + 26, -5*k + 5*t = 181 - 71. Let q = -15 - k. Suppose z + q*z - 490 = 0. Is 35 a factor of z?
True
Let o(c) = c**3 + 47*c**2 + 6*c - 70. Is o(-46) a multiple of 59?
True
Suppose -3*d - 1133 = -4478. Is d a multiple of 13?
False
Suppose -p + 4 - 6 = 0. Let q be (31/4)/(p/(-16)). Suppose 6*c + q = 7*c. Does 24 divide c?
False
Suppose -3*l = -5*i + 3 - 5, 4*l - 16 = 4*i. Suppose 2*t = 2*y - 4, 0 = -5*t - 4*y - 1. Let d = l + t. Is 5 a factor of d?
False
Suppose -236 - 109 = 5*p. Suppose 1356 = -2*c - 10*c. Let s = p - c. Is s a multiple of 11?
True
Is 26 a factor of 3 + (-7590)/(-21) + (-24)/56?
True
Suppose -9*s = 16*s - 10350. Is 23 a factor of s?
True
Suppose -d - 4*u - 120 = -2*d, -3*u + 12 = 0. Suppose -5*y + 720 = -2*n, 3*y + 2*n + d = 4*y. Does 17 divide y?
False
Suppose -321 = -3*q + 678. Suppose 3*n - 2*l = -0*l + q, -2*n + 235 = 3*l. Suppose -3*m + n = 5*x, -m - 31 = -2*m + 5*x. Is m a multiple of 8?
False
Is (-270)/8*3584/(-168) a multiple of 48?
True
Let b(c) = -2*c**2 + 3*c - 3. Let l(t) = -4*t**2 + 7*t - 6. Let i(n) = 7*b(n) - 3*l(n). Let m be i(4). Is (-2863)/m + 2/10 a multiple of 20?
False
Let n = -235 - -415. Is n a multiple of 36?
True
Let c = 2981 - 1236. Let l be (5 + 0)*4/(-5). Is c/45 - l/18 a multiple of 17?
False
Suppose 2*g + 2*h - 11 = -1, -h + 3 = 0. Suppose 0*v + 280 = -g*v. Is 8 a factor of -3 - (-3 + v/4)?
False
Let s(r) be the third derivative of r**5/60 + r**4/6 + r**3/6 - 8*r**2. Is s(-5) a multiple of 6?
True
Let c(o) = -4*o**3 + 4*o**2 - 9*o - 2. Let k(a) = 3*a**3 - 4*a**2 + 8*a + 1. Let s(l) = -2*c(l) - 3*k(l). Let w be s(4). Let r = 7 - w. Is 17 a factor of r?
False
Suppose -10*u - 1640 = -15*u. Is u a multiple of 21?
False
Let t = -146 + 155. Is t even?
False
Let c be 36/54 - 11/3. Let s = c - -161. Is 29 a factor of s?
False
Suppose -q + 3*q - 14 = 2*o, -3*o - 6 = 2*q. Suppose k = -5*g + 850, 0 = -2*g - 3*g - q*k + 850. Does 10 divide g?
True
Let n(d) = 6*d + 3. Let a be (9/(-6))/((-6)/(-8)). Let x be n(a). Does 13 divide ((-6)/x)/(8/156)?
True
Suppose -2*d + 256 = 4*c, 144 = 2*c - 3*d - 0*d. Suppose 10*u - 9*u = c. Does 18 divide u?
False
Let r(o) = 26 - 3*o**2 + 2*o**3 - 2 + 5*o - 4*o. Is r(5) a multiple of 31?
False
Suppose 0 = 21*c - 6570 - 14682. Does 22 divide c?
True
Let a(v) = 2*v**2 + 64*v + 189. Is 43 a factor of a(-37)?
True
Let d = 1842 - 1080. Is d a multiple of 3?
True
Suppose -3*q = -4*m + 6 - 2, 0 = m + q - 8. Suppose m = -2*z + 2. Let y = z - -38. Is y a multiple of 13?
False
Suppose -4*v + v - 4*l - 3 = 0, -3 = l. Suppose -a + 1 = -v*h + 4*a, -4*h + a + 10 = 0. Suppose h*g = 2*n + 2*n + 62, 4*g + 2*n = 90. Is 22 a factor of g?
True
Suppose -2*d + y + 42 = 5*y, -3*d + 103 = -4*y. Does 29 divide d?
True
Suppose t = -3*t - c + 3403, 3388 = 4*t + 4*c. Does 54 divide t?
False
Let d = 617 + -377. Is d a multiple of 10?
True
Let g(o) = -o + 3. Let b be g(4). Let j be (2 - (-2 - b)) + -29. Is (-1894)/j + (-2)/(-13) a multiple of 23?
False
Let p = -9 - -15. Let h(d) = p + d - d**3 + 5*d + d**2 + 4*d**2. Does 11 divide h(5)?
False
Suppose 0 = 18*a - 256 + 40. Is 5 a factor of a?
False
Suppose 3*p = -v + 40 + 15, -5*p + 110 = -2*v. Does 5 divide p?
True
Let l(w) be the first derivative of 6 + w + 0 + 2*w**2 + 6*w**2 + 8*w**2. Is l(1) a multiple of 11?
True
Suppose 5*g + 71 = -u + 515, -932 = -2*u + g. Let b = u - 239. Does 20 divide b?
False
Let j(l) = l**2 - 9*l + 5. Let x be j(8). Let q(h) be the third derivative of -h**4/4 + h**2. Does 18 divide q(x)?
True
Let s be (-54)/4 + 4/(-8). Does 4 divide 10*((-5)/(-2) + 7/s)?
True
Let s(o) = -o**3 + 14*o**2 - 27*o - 312. Is 46 a factor of s(-9)?
True
Suppose 152*g - 168*g = -14336. Is g a multiple of 8?
True
Suppose -30 = 3*y + 30. Is 2/y*-12*60 a multiple of 18?
True
Let z(y) = -71*y - 267. Is 24 a factor of z(-14)?
False
Does 37 divide (-5215)/(-14) - 20/8?
True
Let y(x) = -36*x**2 + 7*x - 10. Let n(o) = 12*o**2 - 2*o + 3. Let z(q) = 7*n(q) + 2*y(q). Let u be 1*-2 - (-4 - -3). Is 13 a factor of z(u)?
True
Let j be -1 - (8/6)/(4/6). Let z = 3 - j. Is 5 a factor of z?
False
Let u be 3/18 + 2357*(-2)/(-12). Suppose -n = -x - 125, 3*n - u = -5*x + 2*x. Is n a multiple of 32?
True
Suppose 4*g = -4*y + 1352, -9*y - 318 = -g - 6*y. Is g a multiple of 46?
False
Let n be -5*-2*(-4)/(-40). Suppose -j = -n - 21. Does 12 divide j?
False
Let u(t) = -10*t**3 + t**2 + 10*t + 9. Is 43 a factor of u(-3)?
True
Suppose 0 = -4*m + 3*m + w - 16, 0 = 2*m - 3*w + 30. Suppose 18 = 5*a - 12. Let g = a - m. Is 9 a factor of g?
False
Let o be (3/(-6))/(7/(-28)). Suppose o*r = 14 + 84. Suppose 0 = 2*b - 2*z - 10, -3*z + r = -b + 6*b. Does 8 divide b?
True
Suppose 0 = j + 8*q - 4*q - 10, -2 = -3*j + 2*q. Let f be 1/j - (-19)/2. Suppose -6*k + f = -5*k. Is 5 a factor of k?
True
Let b(o) = -48*o - 5. Let d(u) = -3*u + 19. Let i be d(8). Let s be b(i). Suppose -4*j + s - 83 = 0. Does 26 divide j?
False
Suppose 4*g = 5*g + 128. Suppose -9052 - 1617 = 47*t. Let o = g - t. Is 29 a factor of o?
False
Let j = -59 + 59. Suppose -3*q - 3*t = -7*t - 664, j = 5*q - 5*t - 1100. Is q a multiple of 12?
True
Suppose 4*t + 20 = 4*p, p - t - 7 = 2*t. Suppose -y = -4*b - 3*y + 174, -183 = -p*b + y. Is 9 a factor of b?
True
Let u(p) be the first derivative of -p**3/3 + 17*p**2/2 - p + 157. Suppose -5*w + 102 - 22 = 0. Does 5 divide u(w)?
True
Let b be (-18)/8*(-1680)/18. Suppose -7*v = -0*v - b. Is 15 a factor of v?
True
Let q(h) = h**3 - 3*h**2 + 9*h + 1. Let n(a) = a - 2. Let o be n(6). Is 21 a factor of q(o)?
False
Suppose 0*r - 3*m = -3*r + 4146, 0 = r - 3*m - 1390. Is 14 a factor of r?
False
Suppose 168 = 2*x + 2*k - 636, 4*x + 3*k = 1606. Suppose -l + 4*q = -x, -2*q - 2307 = -4*l - 735. Is l a multiple of 15?
False
Suppose -o + 1 = -j, 3*j + j = o + 5. Suppose o*v + 81 = 4*v. Does 27 divide v?
True
Let i(v) = -v + 11. Let x = -1 - 4. Does 14 divide i(x)?
False
Let i be 196/(10/75*3). Is 18 a factor of i/7 + (-1 - -3)?
True
Let g be 31*-1*(-4)/(-4). Let o = g - -1. Let j = o + 84. Does 12 divide j?
False
Suppose -900 = -25*f + 5*f. Does 15 divide f?
True
Suppose 12*j + 764 = 16*j. Is j even?
False
Let k = -226 - -354. Is k a multiple of 7?
False
Suppose d - 2668 = 24*d. Suppose 2*r - s + 1000 = 7*r, 3*s + 781 = 4*r. Let q = r + d. Is 21 a factor of q?
False
Let b(d) be the first derivative of 10*d**3/3 + d**2/2 - 8*d - 6. Is 39 a factor of b(4)?
True
Let h be 2/7 + 549/63. Let p be (-6)/h + 4/6. Does 5 divide (p - (-4)/(-8))*-26?
False
Let h(z) = -2*z - 4 - z + z. Suppose 71*j - 15