or of n?
False
Let u(y) = 14*y**2 + 8*y - 4. Is u(-4) a multiple of 21?
False
Let p(h) = 7*h - 30. Is p(7) even?
False
Let q(t) = -t - 2. Let c be q(0). Let k be -17 - -1 - -2 - c. Does 5 divide 29/3 + (-4)/k?
True
Let u = -41 - -83. Let v = -18 + u. Is 12 a factor of v?
True
Let f(n) = -21*n + 3*n + 1 + 2*n - 2. Does 15 divide f(-1)?
True
Let t be 3 + -2 - 0 - -2. Suppose -3*c = t*d + d + 218, 0 = -3*c + 5*d - 254. Does 4 divide c/(-10) + 4/20?
True
Let f be ((-1)/(-2))/(6/(-24)). Is 1/((-4)/(-316)) - f a multiple of 27?
True
Does 14 divide (2055/6)/5 - 12/(-8)?
True
Let o(u) = -u**2 + 4*u + 2. Let c be o(3). Is 12 a factor of 1/2*130/c?
False
Let d(q) = -3*q + 90. Let m be d(0). Suppose 7*x - x - m = 0. Is x a multiple of 3?
True
Suppose 0 = u - 3*g - 79, -4*u + 0*g + 274 = 2*g. Is u a multiple of 44?
False
Let n = -3 + 43. Suppose 4*u + 0*u = n. Is u a multiple of 10?
True
Let i be -12*1*1/(-3). Suppose d = -2*b - b + 6, -i*b = 3*d - 23. Is 4 a factor of (-2)/d - 148/(-18)?
True
Let m = -140 - -196. Is 14 a factor of m?
True
Suppose 4 = w + w. Suppose 0*x + 4*l = w*x - 404, x - 211 = 5*l. Suppose -4*f - j + x = 2*j, 2*j = -4*f + 192. Does 17 divide f?
False
Does 15 divide ((-4)/3)/(80/(-1380))?
False
Let h be (5/6)/(2/12). Suppose -2*s - 7*j + 6 = -3*j, -j - 59 = -h*s. Does 3 divide s?
False
Let h(m) = m**3 + 10*m**2 + 9*m. Let w be h(-9). Suppose w = 2*i - 3 - 5. Is i a multiple of 2?
True
Let p be 4*-2*(-2)/8. Let h(c) = c**2 + 2*c - 2. Does 3 divide h(p)?
True
Suppose -462 + 138 = -3*l - 3*z, l + 5*z = 108. Is 18 a factor of l?
True
Let p(k) = -k - 3. Let c be p(-9). Does 23 divide -2*2 - (-162)/c?
True
Let y = 348 + -208. Let n = y + -80. Suppose -3*g + 0*g = -n. Is 7 a factor of g?
False
Suppose 0 = 5*c - 14 - 21. Is 2 a factor of c?
False
Let z = -73 + 110. Does 12 divide z?
False
Let q(n) = -2*n**2 - n + 39. Let d be q(0). Suppose -65 = -4*f + d. Does 13 divide f?
True
Suppose -45 = -k + 123. Does 7 divide k?
True
Does 11 divide 4/(-3)*594/(-12)?
True
Suppose 3*g + 74 = -1. Is 4 a factor of (-2)/5 - 260/g?
False
Suppose 5*o = -30 - 0. Suppose 2 = -2*n + 22. Let m = o + n. Is 2 a factor of m?
True
Is 7 a factor of (0 - (1 - 2))/((-1)/(-8))?
False
Is 8 a factor of (4476/(-28))/(-3) + (-4)/14?
False
Let v(s) = s**2 + 5*s - 9. Let j be v(-7). Suppose y = -5*x + 14, -y - 2*y = -j*x - 22. Suppose d + y = 2*o, -4*o + 3*d = 6 - 21. Does 6 divide o?
True
Let j(m) = m**2 + 9*m + 8. Let u be j(-8). Let d(a) = u*a - a + 5*a. Does 4 divide d(2)?
True
Let k = 5 - 0. Suppose 8*f - 165 = -k*j + 3*f, 0 = -j - 5*f + 25. Is 10 a factor of j?
False
Suppose 0 = -0*c - 5*c + 10. Suppose -r = -c*r. Is 16 + (r - 0)/1 a multiple of 11?
False
Is 16 a factor of (2 + 6)/4*8?
True
Let j(h) = h + 2. Let g be j(2). Let v be 1/g + (-290)/8. Let b = v - -63. Does 9 divide b?
True
Let k(n) = -69*n + 6. Let v be k(4). Let h = -188 - v. Let z = h - 48. Is 12 a factor of z?
False
Suppose 8*z - 13*z = -30. Does 2 divide z?
True
Let o(j) = -97*j. Let k be o(-2). Let b = k + -131. Does 16 divide b?
False
Suppose -12 = -h - 3*h. Suppose -h*n + 149 = 4*w, 2*w - 4*w = 2*n - 76. Is w a multiple of 12?
False
Suppose y = -x + 4*x - 969, x - 4*y = 323. Does 47 divide x?
False
Let k = 150 - 74. Does 19 divide k?
True
Let g(m) = 7*m**2 + 4*m - 1. Does 19 divide g(-2)?
True
Is (-111)/(-9) + 1/(-3) a multiple of 12?
True
Let i be 24/(-9)*(-2 - -5). Let b be 4/16 - (-2)/i. Is 5 a factor of 2 - (-2 + (-1 - b))?
True
Does 9 divide (27/(-2))/(15/(-30))?
True
Let f(q) = 4*q - 2. Suppose -2 - 2 = j. Let l be j*((-3)/2)/3. Is 3 a factor of f(l)?
True
Let r(o) = -o**2 + 0*o**3 - 3*o + 3 - 1 + o**3. Let l be r(2). Suppose l = 9*w - 4*w - 65. Is 13 a factor of w?
True
Suppose -m - 216 = -5*m. Is 11 a factor of m?
False
Let g = 0 + 30. Suppose 5*m - g = 30. Does 6 divide m?
True
Suppose 4*s = -1 + 9. Suppose -3*a - a + 2 = s*p, 2*a = 3*p + 13. Does 4 divide (a + 12 - 3) + -2?
False
Suppose 4*p + 41 = -115. Suppose -4*m + 0*v - 22 = 5*v, 0 = -2*m - v - 8. Is -5*(m + p/15) a multiple of 14?
True
Suppose 5*t = -25, -4*o + t - 214 = -t. Let k = -34 - o. Suppose 2*z - k = 54. Does 14 divide z?
False
Let m(d) = -139*d - 8. Let k be m(6). Let o be (-2)/8 + k/(-8). Suppose o = 6*q - q. Is q a multiple of 21?
True
Let h(t) be the second derivative of t**3/6 + 9*t**2/2 - t. Let k be h(-9). Suppose g = -k*g + 25. Is 18 a factor of g?
False
Let g = 5 + -2. Suppose h - 26 = -2*i, -i + 83 = g*h + 4*i. Is 18 a factor of h?
True
Does 13 divide 39/2*(-16)/(-8)?
True
Suppose -2*m + 48 = -5*m + 3*p, 0 = 4*m + p + 69. Suppose -240 = 5*f - 0*f. Let z = m - f. Is 12 a factor of z?
False
Is (-7 - -4) + 1 - -12 a multiple of 5?
True
Let o = -43 + 79. Let c = -24 + o. Does 4 divide c?
True
Let z(v) = -29*v - 3. Is z(-1) a multiple of 6?
False
Let x(y) = 2*y**3 - y**2 + 3. Suppose -3*q - 15 = -8*q. Is 16 a factor of x(q)?
True
Let t = 54 - 26. Let r = t - 16. Does 6 divide r?
True
Let h(r) = r**3 - 4*r**2 - 2*r - 5. Let w = 8 - 3. Let t be h(w). Is 4/t - (-54)/15 even?
True
Let r(x) = -2*x + 74. Does 38 divide r(0)?
False
Let h(j) be the third derivative of j**6/120 + j**5/12 + j**4/24 + j**3/3 - 9*j**2. Does 6 divide h(-4)?
False
Is 15 a factor of 20/(-2)*(-54)/12?
True
Let f be (3/(-2))/((-15)/(-40)). Let t = 6 + f. Is t a multiple of 2?
True
Let t(z) = 15*z + 4. Let y be t(5). Suppose 5*b - y - 31 = 0. Does 10 divide b?
False
Let o(b) = -8*b + 1 + 0*b + 2*b. Does 21 divide o(-8)?
False
Let w = 7 + -2. Suppose -k + 7 = -x, 10*k - 4*x = w*k + 35. Is 7 a factor of k?
True
Let m = 10 + -29. Let r = 6 - m. Is r a multiple of 15?
False
Suppose -2*u - 3 - 9 = 0. Let j = -1 - u. Suppose -j*f + 114 = 4*y - 44, -f + 166 = 4*y. Is 21 a factor of y?
True
Suppose 0 = 4*f + f - 740. Is f a multiple of 37?
True
Let b = -4 - -5. Let j = 39 + b. Is j a multiple of 20?
True
Suppose 3*i - 21 + 6 = 0. Does 10 divide -25*((-16)/i - -2)?
True
Suppose 0 = -2*f + 8, -3*f = 4*s + s - 467. Does 22 divide s?
False
Suppose -103 = -5*b - 3*z, 4*b - 5*z = 8 + 67. Is b a multiple of 5?
True
Suppose -3*d + 174 = 4*s, -3*s + 5*s - d = 82. Is s a multiple of 10?
False
Suppose -640 = -2*g - 3*g. Is g a multiple of 42?
False
Suppose -261 = -4*l - 9. Suppose -l - 27 = -3*o. Is 10 a factor of o?
True
Suppose -v = -0*p + p - 8, 0 = 4*p + 2*v - 30. Suppose -d - 1 + p = 0. Suppose d + 2 = l. Is l a multiple of 8?
True
Let j(g) = g**2 + 10*g + 6. Let w be j(-7). Does 16 divide (-6)/w - 138/(-5)?
False
Let f be 5/4 + (-3)/(-4). Suppose -8 = -s + f*u + 5, 4*s = -4*u + 64. Is s a multiple of 7?
False
Is 2 a factor of (-2)/3 - 14/(-3)?
True
Let m(z) = 2*z**3 - 4*z**2 - 5*z + 7. Is 33 a factor of m(5)?
True
Suppose -5 = -4*p - 1. Let y be -16 - (1 + -2 - p). Does 7 divide y*(2 - 3)/2?
True
Let z(y) = -y**3 + 34 - 6 + 2*y**2 - y**2. Is 7 a factor of z(0)?
True
Let p = -16 + 22. Suppose -j + p*j - 65 = 0. Is j a multiple of 3?
False
Let y(i) = i**2 - 5*i - 1. Let v be y(5). Does 13 divide v + 4/6*30?
False
Suppose -4*h + 2*l + 30 - 2 = 0, 4*h - 4*l = 36. Suppose -5*f + 0 = -h. Let t = f + 23. Is 11 a factor of t?
False
Let a(s) = -s**3 - 10*s**2 + s + 11. Let p be a(-10). Let d(r) = 48*r**3 - 2*r**2 - r + 2. Does 14 divide d(p)?
False
Suppose -28*v - 123 = -31*v. Is 7 a factor of v?
False
Let a(x) be the first derivative of x**2 + 12*x - 3. Is 15 a factor of a(9)?
True
Is 4/6*1*(51 - 3) a multiple of 8?
True
Let s = 23 + -17. Is s even?
True
Let q(u) = 71*u**3 - 2*u**2 + 1. Does 14 divide q(1)?
True
Let m(s) = -6 + 4*s - 7*s**2 + 4*s + s**3 + 0*s**3. Suppose -5*a + 35 = -r + 2*r, 5*r = -a + 31. Is 6 a factor of m(a)?
True
Let j(d) = d - 2. Let k be j(3). Is 1 + 0 - (k + -4) a multiple of 4?
True
Suppose -5*a - 2*p - 2 - 10 = 0, 2*a - p = -12. Let u(t) = -3*t. Let z be u(a). Let i = z - -3. Does 12 divide i?
False
Let p(f) = 2*f + 47. Is 2 a factor of p(-22)?
False
Let o = -5 + -1. Suppose -3*c = -b + 3, 4*b + 6 = -6. Is 2 a factor of (1/c)/(1/o)?
False
Suppose -5*v + v = 5*f - 12, -2*v = -3*f + 16. Does 14 divide 12 - -6 - v/(-2)?
False
Let i(n) = 17*n + 9. Is 37 a factor of i(4)?
False
Let u be (-15)/(-6)*(-6)/(-5). Suppose 180 = 6*r - r. Suppose -r = -u*z - z. Is 9 a factor of z?
True
Is 12*(-28)/36*-3 a multiple of 10?
False
Suppose 0 = -5*w + 3*z + 326, -4