4) - 184/7. Suppose -174*x - 305 = -5*r - 179*x, -r - 5*x + 41 = 0. Let s = d + r. Does 20 divide s?
True
Let v be (-4)/(-1)*310/5. Let p = v + -143. Does 18 divide p?
False
Suppose -9*p + 180 = -153. Suppose 3*h + 11 = 4*h. Let c = p + h. Does 12 divide c?
True
Let b(n) = -n**3 - 5*n**2 - 4*n + 4. Suppose -a + c = -c + 12, -32 = 4*a - 4*c. Let z be b(a). Suppose -k + 165 = z*k. Does 11 divide k?
True
Suppose 0 = 47*q - 10355 - 58735. Is q a multiple of 14?
True
Let q be 1 + (-1 - -2 - -1). Let t(m) = -2 + 26*m**2 - 3 + 0 + 6 + q*m. Is 33 a factor of t(-2)?
True
Let r(q) = 28*q**2 - 2*q + 6. Is r(3) a multiple of 14?
True
Does 19 divide 24*(2/8)/(11/418)?
True
Let z(k) = -k**2 + 9*k + 2. Suppose 2*i = 16 + 2. Let p be z(i). Does 21 divide (14/(-3))/(p/(-9))?
True
Let x = -9 + 8. Let o = x - -7. Suppose 4*f - o*f + 54 = 0. Is 9 a factor of f?
True
Does 14 divide 362 - (2 - (-3 + 6))?
False
Let o(w) = -46*w + 92. Is o(-11) a multiple of 39?
False
Let i be (-14 - -8)*(-2)/(-1). Is 15 a factor of i/(-3) - (-103 - (-2)/1)?
True
Let u(o) be the second derivative of o**3 + 5*o**2 + 6*o. Let a be u(-5). Is ((-6)/(-15))/((-2)/a) a multiple of 4?
True
Let q(j) = 1 + 64*j**2 + 0 - j**3 - 51*j**2 + 0 + 5*j. Let i be q(9). Suppose r + 4*r = i. Is 15 a factor of r?
False
Suppose -5*k = -8 - 7. Suppose -1 = -2*d + k. Is (29*-2)/((-4)/d) a multiple of 29?
True
Suppose 295 = r + 5*x, -345 = -3*r - 5*x + 570. Let v = -208 + r. Is 21 a factor of v?
False
Suppose -9*x - 70 = 65. Is 5 a factor of -10*(28/x)/((-28)/(-42))?
False
Let k(m) be the third derivative of m**4/8 - 7*m**3/6 - 17*m**2. Is k(13) a multiple of 8?
True
Let r(n) be the third derivative of n**5/60 - n**4/4 + 2*n**3 + 12*n**2. Let c(z) = -3*z**2 + 11*z - 25. Let s(j) = -4*c(j) - 9*r(j). Is 17 a factor of s(-5)?
True
Let t(r) = 2*r + 1. Suppose -u = -1 - 1. Let j be t(u). Suppose -j*c + 115 = -145. Is 13 a factor of c?
True
Suppose -2592 = -205*l + 199*l. Does 12 divide l?
True
Suppose 4*z + 0*z = -5*p - 5, 2*z = 2*p - 16. Let y = 0 + p. Suppose 0*h + 4*h + 144 = 4*o, y*o = -3*h + 108. Is 13 a factor of o?
False
Let r(s) = 6*s**2 - 7*s - 9. Is r(-6) a multiple of 9?
False
Let c(b) = 24*b + 104. Is c(48) a multiple of 7?
False
Suppose 7*g - 42 + 7 = 0. Suppose 219 - 19 = g*i. Is 8 a factor of i?
True
Suppose 5*z + 2*a + 2*a = 321, -5*a = -4*z + 265. Suppose -5*b = -0*h - h + z, -h - 2*b = -51. Is 20 a factor of h?
False
Let t be 0*(2 - (-20)/(-8)). Suppose -4*y - 58 - 6 = 5*b, t = -y - 1. Let l = b + 44. Is 8 a factor of l?
True
Let v(l) = 4*l + 5 + 0*l**2 - l**2 + 0*l**2 + 2. Let b be v(5). Let o(a) = 28*a + 4. Is 20 a factor of o(b)?
True
Suppose 3*n = -2*w + 1338, 2*n + 8*w - 4*w = 892. Does 5 divide n?
False
Let u be 1 + -1862*4/(-24)*-3. Is u/(-54) - 2/9 a multiple of 3?
False
Suppose -2*y - 336 = -9*y. Suppose 2*a - z - 79 = y, a - 5*z - 68 = 0. Is a a multiple of 29?
False
Let x be 6*(4 + (-12)/(-9)). Let h = x + 32. Does 16 divide h?
True
Let m(s) = s**3 - 6*s**2 + 9*s - 4. Let a be m(4). Let x be a + 11 + -4 - 3. Let z = 3 + x. Is 2 a factor of z?
False
Suppose -179 = -n - 5*j, n - 15*j - 139 = -10*j. Is n a multiple of 2?
False
Suppose -2*p = -4*p + 4. Suppose 3*i = -4*l + 233, -p*i + 3*l = -5*i + 228. Is i a multiple of 31?
False
Is -1 - (2/7 + (-72420)/140) a multiple of 3?
True
Let c(m) = 106*m - 7. Let p be c(2). Suppose 841 = 4*a + p. Does 18 divide a?
False
Let x = 5 + -6. Let c be -1 + -2 + 19 + x. Suppose -15 - c = -j. Is 12 a factor of j?
False
Suppose -371 = -8*g + 229. Does 25 divide g/((-3 + 2)/(-1))?
True
Suppose -5*r + 5 = -0*r. Let q(n) = -22*n + 1. Let o be q(r). Let c = -17 - o. Does 4 divide c?
True
Let h = -149 - -294. Let w = 79 - h. Does 17 divide (w/12)/((-2)/12)?
False
Let h(j) = 8*j**2 + 11*j + 19. Let t be h(-6). Suppose 5*i - 4*p - t = 0, -11*i + p + 184 = -7*i. Is 8 a factor of i?
False
Is 13 a factor of (2725/(-3))/(-5) + (-13)/(-39)?
True
Let j = 9 + -2. Let o = j - 4. Suppose -5 + 50 = o*a. Is a a multiple of 12?
False
Suppose 28*v = 30*v + 192. Let p = 171 + v. Is 15 a factor of p?
True
Does 5 divide 3/((-15)/(-98)) - (-44)/110?
True
Let d(h) = -h**3 - 9*h**2 + 10*h + 6. Let u be d(-10). Let y be (40/u)/((-6)/54). Is 42 a factor of (4240/y)/((-4)/6)?
False
Suppose -2*c + 20 = c - 2*v, -2*c + 5 = -3*v. Suppose -14*b + 184 = -c*b. Does 8 divide b?
False
Let o(b) = b**2 - 10*b + 35. Let u be (-2 - (-138)/9) + (-6)/(-9). Is 8 a factor of o(u)?
False
Let f be (3 - 2)/(15/90). Suppose f*k - 10*k + 156 = 0. Does 13 divide k?
True
Suppose -6*a - 14 = -5*a. Is 9 a factor of 32/(-112) + (-396)/a?
False
Let q = -104 + 435. Suppose 4*h + 51 = q. Is 9 a factor of h?
False
Let b(h) = -h**2 - 7*h - 4. Let l be b(-7). Let n be 4*-43*1/l. Suppose n + 42 = 5*t. Is t a multiple of 17?
True
Suppose -7*v + 4*v - c + 89 = 0, 2*c = -2*v + 54. Is 5 a factor of v?
False
Is ((-36)/(-5))/((-14)/(-805)) a multiple of 46?
True
Suppose -66 = -7*l + 4. Let i = l - -18. Does 7 divide i?
True
Suppose 0*t + 2*k + 130 = 2*t, 4*t + 5*k - 215 = 0. Suppose -h - 4*h - 4*i = -205, -h + t = -3*i. Is h a multiple of 15?
True
Let b(d) = d - 13*d + 2 - d. Let w be b(-4). Suppose -x + w = -0*x. Is 18 a factor of x?
True
Suppose 2*u + 4*u + 5412 = 0. Let q be (-288)/21 + (-4)/14. Does 22 divide u/(-14) + (-8)/q?
False
Let t be 1 + (11 + 1)/3. Suppose -d = 1 + t. Let c = 44 + d. Does 17 divide c?
False
Suppose -2*k = -3*k + 143. Suppose -d + k = 3*o, 5*o - 2*d = -3*d + 239. Is 16 a factor of o?
True
Suppose 7*c - 10*c = -9. Suppose a - c*x + 7 - 30 = 0, -2*x = -4*a + 72. Is 7 a factor of a?
False
Let q = 137 - 71. Let a = q - 59. Is 5 a factor of a?
False
Suppose s = 5*b - 15, -4*s - 3 = -b + s. Let a be ((-9)/12)/(b/(-8)). Suppose 2*g + a*g = 36. Is g a multiple of 9?
True
Let i be (5 + 0)/(11/(-11)). Does 3 divide 4/(-2) - -13 - (-4 - i)?
False
Let w = -102 - -134. Suppose -5*f + 5*h = -1335, 643 + 178 = 3*f + h. Is f/14 + w/56 a multiple of 20?
True
Let w = 59 - 59. Suppose -3*q + 13 = -2*m - 27, -q - 4*m - 10 = w. Does 5 divide q?
True
Is 142 a factor of (-256)/576 - 8950/(-9)?
True
Suppose -1438*d - 3672 = -1444*d. Does 34 divide d?
True
Let o be (-1038)/(-4)*(-22)/(-33). Suppose -x - o = -4*n, 5*n + 5*x = -48 + 258. Let l = -25 + n. Is l a multiple of 5?
False
Suppose 5*t + 19 = -w, 0*t - 5*t - 55 = -5*w. Let v(j) = j**2 - 5*j + 4. Let f be v(4). Does 18 divide f/(-1) + 276/w?
False
Let u(p) = -p**3 - 3*p**2 + 2*p - 3. Let z be u(-4). Suppose 3*y - z*g = 82, 18 + 46 = 3*y + 4*g. Let j = 15 + y. Does 23 divide j?
False
Let q(i) = -35*i - 97. Is q(-11) a multiple of 16?
True
Let k(p) = 91*p**2 + 3*p + 2. Let n = -22 - -21. Is 15 a factor of k(n)?
True
Let n(g) = 4*g**2 - 14*g - 7. Let i = -26 + 33. Does 13 divide n(i)?
True
Let t be 1/(-6) + (-34)/12. Let j be (12/18)/((-2)/t). Is 21 a factor of j/(-6) + 854/12?
False
Let o be 45/2 + (-1)/(-2). Suppose 34 + 42 = 4*f. Let i = o + f. Is i a multiple of 14?
True
Suppose -3*a + 0*a = -186. Let s = 16 + a. Does 12 divide s?
False
Let y(k) = -5*k**3 - 3*k**2 + 13*k - 37. Is 22 a factor of y(-8)?
False
Let j(v) = -7*v**3 + 13*v**2 + 21*v - 14. Is 9 a factor of j(-4)?
True
Let c = 99 + -74. Let z = 1 - -2. Suppose z*h = 6*h - 2*t - 11, 5*t = -3*h + c. Is 2 a factor of h?
False
Let u(i) = i + 52. Does 3 divide u(6)?
False
Let d(n) = -3*n + 44. Let r be 70/4*20/(-25). Is 5 a factor of d(r)?
False
Let n be ((-9)/(-27))/((-2)/(-12)). Suppose 0 = 2*x - f - 5, x = -5*f - 3 + 11. Suppose t + n - 120 = -x*u, -2*u + 77 = -t. Does 13 divide u?
True
Suppose d - 4*g + 2 = -5, 3*d + 14 = 5*g. Is 10 a factor of (3 - 16)/(d - -2)?
False
Suppose 0 = p - 1. Let t(d) be the third derivative of 43*d**6/120 - d**4/12 + d**3/6 - 8*d**2. Does 21 divide t(p)?
True
Is (-19)/((-5)/(-10)*4/(-38)) a multiple of 4?
False
Suppose -17472 = -7*u - 49*u. Is 13 a factor of u?
True
Let f = 414 - -620. Is f a multiple of 47?
True
Let t(s) = s**2 + 18*s + 1 + 3*s - 3*s - 6. Is t(-19) a multiple of 14?
True
Let x(w) = -18*w**3 + 3*w**2 + 7*w + 11. Let y be x(-2). Let u = 61 + y. Is u a multiple of 17?
False
Let v = 5 + 23. Suppose v = 3*i - 50. Is i even?
True
Let r(y) = -y**3 - 2*y + 7. Suppose o + 1 + 2 = 0. Is 4 a factor of r(o)?
True
Let m(k) = k**2 + 2*k - 1. Let j be m(-3). Suppose -4