*p - 41. Let w(v) be the second derivative of -3*v**3/2 + 10*v**2 + v. Let i(n) = -6*j(n) - 13*w(n). Is i(7) a multiple of 13?
False
Let g = -23 - -27. Suppose -4*l - 211 = 5*f, -5*l + 80 - 337 = g*f. Let k = -31 - l. Is k a multiple of 6?
True
Let x = -126 + 116. Let j = x - -17. Is j a multiple of 7?
True
Let r(n) = 254*n - 29. Is 22 a factor of r(3)?
False
Let u(q) = 30*q**2 + 2*q + 4. Suppose 2*b - 14 = -3*z + 3*b, 2*b + 10 = 0. Is u(z) a multiple of 40?
True
Let u(n) = n**3 + 6*n**2 - 2*n - 4. Let d(p) = -p**2 + 3*p + 4. Let s be d(5). Let k be u(s). Suppose -90 = -13*g + k*g. Is 9 a factor of g?
True
Suppose 2*l = -5*p + 5385, 8*p - 10*p + 2154 = 4*l. Does 22 divide p?
False
Suppose 12*f + 356 = 14*f. Let b = f + -96. Is 41 a factor of b?
True
Let l be 1 - -2 - (-670)/2. Let z = l - 234. Is 26 a factor of z?
True
Let y = -334 + 212. Let l = -80 - y. Is 9 a factor of l?
False
Let u(n) = n**3 - 2*n**2 + 7*n - 5. Let s be u(6). Let d = -33 + s. Does 38 divide d?
False
Suppose -3340 = -4*w - t, -14*w + 840 = -13*w - t. Is 7 a factor of w?
False
Let d(c) = -c**2 - 10*c - 5. Let f be d(-10). Let b = f + 66. Does 17 divide b?
False
Suppose -3*a = 3*a. Suppose a = 2*l + 2*v - 5*v - 75, 2*v - 178 = -5*l. Does 12 divide l?
True
Let j = 4 - 0. Suppose -j*s = -2*r - 316, 3*r + 79 = s + r. Suppose 4*y - 81 = 2*q - 23, -4*y - 5*q = -s. Is 8 a factor of y?
True
Let n(t) = 2*t + 45 + 36 - t - 88. Let p(f) = -2*f + 3. Let d be p(-6). Does 4 divide n(d)?
True
Suppose 23*h + 420 = 27*h. Does 7 divide h?
True
Let h(j) = j**3 + 7*j**2 + 6*j + 2. Let m be h(-6). Suppose 0 = 5*o - m*i - 188, -8*o - i = -3*o - 176. Is 3 a factor of o?
True
Is 642/12 + -3 - 2/4 a multiple of 25?
True
Let f = -24 - -15. Let a(y) = y**3 + 9*y**2 - 8*y - 3. Does 23 divide a(f)?
True
Let m(v) = v**2 + 51*v - 14. Is m(-58) a multiple of 14?
True
Let j(f) = 9*f - 4. Let t(c) = -5*c + 2. Let i(r) = -6*j(r) - 11*t(r). Let n be i(2). Suppose -3*o + 83 = -n*g, 4*o - 31 = 3*o + 2*g. Does 3 divide o?
True
Does 3 divide (-12)/(-10) + ((-3278)/(-110) - -22)?
False
Suppose -4*c - 1 + 9 = 0. Let k(d) = 2 + d + 4 - 5 + 11*d**2 + 45*d**c. Is 28 a factor of k(-1)?
True
Suppose 2*l = -r + 295, -4*r = 5*l + 382 - 1115. Suppose -l = -0*b - 3*b - u, 4*u = -3*b + 164. Let v = b + -18. Does 15 divide v?
True
Let u(k) = -4*k - 54. Let a be u(-11). Let d(j) = 3*j**2 - 3*j - 42. Is d(a) a multiple of 32?
True
Let y(h) = -3*h**2 - 6*h + 1. Let m(i) = i**2 + i. Let z(b) = 4*m(b) + y(b). Is z(5) a multiple of 8?
True
Let o = -4 + 7. Suppose 4*t = -2*p + 96, -o*p + 2*t + 109 = t. Does 19 divide p?
True
Let z(o) = o + 6 + 1 + 0 - 2. Let v(j) = -3*j - 21. Let n(c) = -2*v(c) - 9*z(c). Does 5 divide n(-3)?
False
Suppose -4 - 4 = -2*c. Is (16/(-2))/((-3)/30*c) a multiple of 7?
False
Let p be (2/3)/((-2)/(-9)). Suppose p*z - l + 66 = -18, -2*z + 3*l = 63. Let j = z - -43. Does 8 divide j?
True
Suppose -b - 2050 = -11*b. Suppose b = 2*p - 0*p + 5*g, 95 = p + 4*g. Is p a multiple of 23?
True
Suppose 4*o + 89 - 12 = r, 5*r = 2*o + 43. Let w = 180 + -137. Let z = o + w. Is 6 a factor of z?
True
Let k = -21 - -20. Does 11 divide ((1 - 3) + 3)/k - -40?
False
Suppose 5 = -3*y - 1. Let o be 1/((6/(-21))/y). Let n(s) = -s**3 + 7*s**2 + 7*s + 2. Is n(o) a multiple of 15?
False
Let y(k) be the third derivative of -5*k**4/8 + 9*k**3/2 + 7*k**2. Let c(p) = 8*p - 14. Let l(g) = 5*c(g) + 3*y(g). Does 17 divide l(-7)?
False
Is (225/90)/(5/132) even?
True
Suppose 4 = v - 5. Suppose 2*i + 168 = v*i. Is i a multiple of 6?
True
Suppose 19*u = -3*u + 9504. Is 16 a factor of u?
True
Let i be (0 - -2) + 4 + -4. Suppose -d = -2*r - 227, i*r = -4*d - r + 963. Is (-3 + 1)/((-6)/d) a multiple of 17?
False
Let w = -10 - -7. Let t be w + (-1 - (-227 - 2)). Let l = 334 - t. Is l a multiple of 33?
False
Let p = -30 + 35. Suppose -p*k + 6*k + 19 = 0. Let i = 51 + k. Is i a multiple of 8?
True
Suppose 5*p - p = -5*k + 2335, 0 = -3*p + 2*k + 1734. Does 78 divide p?
False
Suppose -d + 14*d = 20020. Is d a multiple of 35?
True
Let w(g) = -g + 1. Let b(r) = 27*r - 2. Let j(x) = b(x) + 3*w(x). Is j(2) a multiple of 22?
False
Let m be (-2)/(-1) - (3 - (-3 + 76)). Suppose 19*t - m = 17*t. Is t a multiple of 3?
True
Let l = -532 - -1412. Does 44 divide l?
True
Let u(b) = b**2 - 6*b - 15. Let d be u(9). Suppose -150 = -2*k + 2*z, 81 = -11*k + d*k - 3*z. Is 9 a factor of k?
True
Let w(o) = 6*o**2 + 2*o - 11. Let t(g) = -7*g**2 - g + 12. Let h(z) = 3*t(z) + 4*w(z). Is h(3) a multiple of 3?
False
Suppose 8*h - 4*h = 24. Let n be (-69)/(-6) + h/(-4). Is 2 a factor of n + 2*9/(-6)?
False
Let c(a) = 73*a - 197. Does 14 divide c(5)?
True
Let c = -1301 - -1833. Is 14 a factor of c?
True
Let d = 732 - 392. Does 24 divide d?
False
Let x(w) = 8*w**2 - 7*w - 2. Let i be x(4). Let t = i - 60. Does 14 divide t?
False
Let c(j) = -26*j - 18. Let a be c(-6). Suppose -4*g = -0*g - q - a, 3*g = 4*q + 97. Is 5 a factor of g?
True
Let k = 5 + -2. Does 17 divide (-54)/(-12)*26/k?
False
Suppose 0 = 3*i + i - 280. Suppose -5*x - i = -6*x. Is 13 a factor of x?
False
Let m = 13 - -15. Suppose -h - m = -3*h. Let s = h - -2. Is 11 a factor of s?
False
Let u be (858/65)/(-1 + 27/25). Suppose -g + 0*g + 5*s + u = 0, s = -5*g + 903. Is g a multiple of 6?
True
Suppose 19*l - 8*l - 33 = 0. Suppose r = l*r - 182. Is r a multiple of 13?
True
Suppose 0*k = -2*k - 4. Let r = -4 + k. Let s = r + 20. Is s a multiple of 7?
True
Let r be 2*28/8 - 3. Let u = r + -8. Is (2/u)/((-5)/50) even?
False
Let w(h) = h**3 + 2*h**2 - 6*h - 5. Let a be w(-3). Is 22 a factor of 0/(a + -3) - -66?
True
Let t be (-6)/9 + 365/3. Does 38 divide -1 - 2 - (4 - t)?
True
Suppose -4*a = 4*c - 2*c - 18, a - 4*c - 27 = 0. Suppose 3*g - 2*l = 103, 5*g - 197 = -a*l + 4*l. Does 3 divide g?
False
Let q(g) = 236*g - 10. Does 22 divide q(2)?
True
Let w(s) = s**2 + 3*s - 4. Does 22 divide w(-8)?
False
Let g = -447 - -260. Is 19 a factor of (-4)/(-8)*(-2 + (3 - g))?
False
Suppose -1 = 2*r + 3*z - 5, 0 = 3*r - z - 28. Let p be (r/2)/(3/(-6)). Let f = 19 + p. Is f a multiple of 8?
False
Is 224/(-44)*-244 - 12/66 a multiple of 14?
False
Let h(r) be the third derivative of r**6/120 - 2*r**5/15 - 5*r**4/24 + 3*r**3/2 - 5*r**2. Let t be h(9). Suppose -u = 5 - t. Does 11 divide u?
False
Suppose 9*n + 1999 = 3*j + 10*n, 3*j + 3*n - 2007 = 0. Suppose -3*z = 3*v - 450 + 30, 5*z - j = 2*v. Is z a multiple of 12?
False
Let q = -463 - -1282. Is 39 a factor of q?
True
Let l = 227 + -148. Suppose -2*f + l = -f. Suppose 5*h + 14 = f. Does 9 divide h?
False
Suppose -34*f + 9 = -31*f. Suppose 2*h - i - 297 = -4*i, -3*h - f*i = -453. Does 44 divide h?
False
Suppose 31*u + 87 = 32*u. Suppose -5*m + u - 22 = 0. Does 2 divide m?
False
Suppose 8*h - 1652 = h. Is 12 a factor of h?
False
Suppose 37 = 3*t + 10. Let o be (t/(-6))/(3/(-10)). Suppose 0 = -2*r + o*z + 103, 4*r - 212 = r - 4*z. Is r a multiple of 17?
False
Suppose 4*f + y - 13729 = 0, 3*f - 22*y + 18*y = 10292. Is 24 a factor of f?
True
Let m(y) = y**3 - 2*y**2 - 4*y + 4. Let t be m(3). Let s be 4 - (4 - 3)/t. Suppose -167 = -3*w + 4*f, 0 = -s*w - 5*f + 232 - 83. Does 20 divide w?
False
Let v(g) = g**2 - 13*g. Let n be 9/15 + (-84)/(-10). Let b be v(n). Is 18 a factor of (6/4)/((-1)/b)?
True
Suppose -5*d + 34 = 2*z, z + 25 = 5*d + 6*z. Let n be (18/8)/(1/d). Suppose -18 = -2*a + n. Is 9 a factor of a?
True
Let r(w) = 4*w - 6. Let p(t) = -t**3 - 6*t**2 + 6*t - 9. Let d be p(-7). Let j be d/(-10) + (-272)/(-40). Is r(j) a multiple of 11?
True
Suppose 0*n - t - 291 = -2*n, -5*n + 750 = 2*t. Is n even?
True
Let j(y) = -27*y - 8. Let n(t) = -7*t - 2. Let x(m) = -2*j(m) + 9*n(m). Let z be x(-3). Let p = -17 + z. Is 2 a factor of p?
True
Suppose -223 - 140 = -3*o. Suppose s + 4*s - 202 = -2*x, -o = -3*s - x. Is s a multiple of 20?
True
Let r = 127 - 46. Is 9 a factor of r?
True
Let p(q) = q**3 + 6*q**2 + 2*q - 6. Let v be p(-5). Suppose -2*j + 4*j = 78. Let a = j + v. Does 24 divide a?
True
Suppose -27*r + 34*r - 728 = 0. Does 4 divide r?
True
Suppose 6*c - c + 4*u - 14 = 0, 2*u = -4*c + 10. Suppose 0 = c*g - n - 163, n - 247 = -7*g + 4*g. Is 17 a factor of g?
False
Suppose -y = -5*h + 3*y + 3102, -2*h + y + 1242 = 0. Is 4 a factor of h?
False
Let p(u) = 8*u**2 - u - 2. Let j be p(-3). Suppose j 