 Let w(l) = -l**2 + 4*l + 6. Let c be w(5). Let y be u(c). Is (380/30)/(y/(-3)) a multiple of 7?
False
Suppose -17 - 45 = -2*h. Does 31 divide h?
True
Let u(w) = 2*w + 9. Let d be u(-7). Let c = d + 8. Suppose 5*z - 2*y - 115 = -7*y, -c*z + 2*y = -64. Is 6 a factor of z?
False
Let i(b) = 2*b - 6. Let d(r) = -r**3 - 8*r**2 + 5. Let u be d(-8). Let v be i(u). Suppose -v*k = -12 - 8. Is 5 a factor of k?
True
Let d(l) = l**3 + 2*l**2 - 2*l - 1. Let k be d(-3). Let b = -6 - k. Does 10 divide 21 + ((-2)/(-1))/b?
True
Suppose -8*j = -0*j - 16. Suppose s - 60 = -3*s. Suppose j*x - x = s. Does 15 divide x?
True
Suppose 3*i - 11 = 1. Suppose i*h + 3*m - 20 = 2*h, -h + 4*m + 10 = 0. Does 10 divide h?
True
Suppose 4*x - 2*x = 3*s + 65, s - 40 = -x. Is x a multiple of 9?
False
Suppose -170 = -3*r + 5*h, 0*r + 5*r = -3*h + 306. Does 12 divide r?
True
Suppose -5*w = 5*z - 10, 7*z - 2*z + 2*w = 1. Does 3 divide 4*z/(-4) + 2?
True
Let f(n) = n + 1. Let l be f(5). Is 16 a factor of (-79 + l)*2/(-2)?
False
Let o(d) = 13*d**2 - 4*d + 2. Does 23 divide o(2)?
True
Suppose -301 + 1341 = 13*k. Is k a multiple of 10?
True
Suppose -5*a = -903 + 128. Is a a multiple of 31?
True
Let v = -1 + 7. Suppose 4*u = -5*m + 9, v*m - 5*m + 11 = -4*u. Is 12 a factor of ((-4)/(-3))/(u/(-72))?
True
Let n(a) = a**2 + 2*a - 24. Is 24 a factor of n(-18)?
True
Suppose 70*n + 7 = 71*n. Does 2 divide n?
False
Let z(j) = 4*j**2 - 1. Does 15 divide z(3)?
False
Suppose 0 = 12*a - 10*a - 60. Let x = a - 18. Is x a multiple of 8?
False
Let a = 20 - -9. Suppose -a = 4*h - 121. Is 10 a factor of h?
False
Suppose 0 = 3*k - 2*y - 14, -k + 4*y + 20 = 3*k. Suppose 0 = -2*q - 4*h - 16, -k*h - 15 - 1 = 4*q. Suppose q = 2*p - 5*p + 18. Is p a multiple of 3?
True
Suppose 5*f = -0*p - 2*p - 4, 2*f + 4 = 0. Suppose 2*o - 6*o = -r + 6, 5*o - p*r + 4 = 0. Does 3 divide (7 - 2/1) + o?
True
Suppose -3*h = 7*h - 300. Does 6 divide h?
True
Suppose -69 = -5*r + p - 3*p, p = -r + 12. Let m = 27 + r. Does 21 divide m?
True
Let d be 4/(6/3) - -2. Suppose -4*p = d, -4*s - 15 = -0*s + 3*p. Let h(b) = -5*b - 2. Is h(s) a multiple of 13?
True
Suppose -2*h = -h - 5. Suppose -h*r + 24 = -1. Is r a multiple of 5?
True
Is (-25)/20*-4*4 a multiple of 4?
True
Suppose 0*u - 400 = -4*u. Is u a multiple of 20?
True
Let k(s) = -s**3 - 5*s**2 - 2*s + 5. Let f be k(-5). Suppose f = 4*v - 1. Let g(r) = r + 1. Does 4 divide g(v)?
False
Let o = 10 - 7. Suppose -o*m - m + 172 = 5*b, 58 = 2*b - 2*m. Is 18 a factor of b?
False
Let m(k) = -k**3 - 5*k**2 + 6*k - 5. Let s be 4/(-6)*(10 + -1). Let l be m(s). Is 10 a factor of ((-2)/l)/((-1)/(-75))?
True
Let i(s) = s**3 + 2*s**2 - s + 1. Let f be i(-6). Let q = f + 216. Suppose 3*u - 2*p - 3*p = 86, -2*u - p = -q. Is 21 a factor of u?
False
Suppose 5*r - 349 = -4*d, -317 = -3*r - 5*d - 118. Does 9 divide r?
False
Suppose -k = -3, 4*q + 3 - 4 = 5*k. Suppose -q*o - r = 287, -2*o - 141 - 25 = -4*r. Let x = -51 - o. Does 11 divide x?
True
Let a(n) be the second derivative of -2*n**3/3 + 3*n**2/2 - 2*n. Does 12 divide a(-3)?
False
Let r(p) = -p**2 - 7*p + 4. Let i be r(-7). Suppose 0 = -4*n + 2 + 2, n + i = j. Does 2 divide j?
False
Let h be (4/8)/((-2)/(-36)). Let d(l) be the second derivative of -l**5/20 + 3*l**4/4 + l**3/2 - 9*l**2/2 + 2*l. Is d(h) a multiple of 8?
False
Suppose 185 = 12*d - 7*d. Is 37 a factor of d?
True
Let h = -15 - -27. Suppose -4*f + h = -f. Suppose k - 190 = -f*k. Is 13 a factor of k?
False
Let t(j) be the first derivative of 23*j**4/24 + j**3/6 + j**2/2 - 2. Let r(c) be the second derivative of t(c). Is 16 a factor of r(1)?
False
Suppose -8*o = 5*o - 1105. Does 17 divide o?
True
Let k = 0 + 3. Let i be ((-2)/k)/(6/(-9)). Is i/2*10 + -2 a multiple of 2?
False
Let q = 21 + -15. Let k(b) = 4*b + 7. Does 10 divide k(q)?
False
Is (-5)/15 + (-61)/(-3) a multiple of 5?
True
Let o be 1*-13*6*-2. Suppose 0 = -3*v + v + o. Does 24 divide v?
False
Let n(f) = 6*f + 1. Let q be n(2). Let v(d) = 5*d**2 - q - 4*d**2 + d - 8*d. Is v(9) a multiple of 2?
False
Let o be 3/((-9)/(-51))*1. Does 3 divide o/5 + 2/(-5)?
True
Suppose 3*c + 2*f = 8, -2*c + 6*c - 8 = -4*f. Suppose -c*m = -9 + 1. Does 15 divide 43 - 0/(m/(-1))?
False
Let d = -3 - -4. Let v(y) = 6*y**2 + 1. Does 7 divide v(d)?
True
Suppose 4*r - 2*r = 5*t - 212, -4*r - 116 = -3*t. Does 22 divide t?
True
Suppose -4 = 2*r + 4*i, r = 3*r - 3*i + 32. Let j be r/5 - (-1 - 5). Suppose -q = j*y - 42, 6*y = 5*q + 2*y - 162. Does 17 divide q?
True
Suppose 32*t = 35*t - 660. Does 10 divide t?
True
Suppose 5*l - 9 = -39. Let q be 4/l - (-160)/15. Does 5 divide (1/(-1))/((-2)/q)?
True
Let z be 8*(-2 - 6/(-4)). Let v be (1 - -1)/(z/2). Is 5 a factor of ((-10)/3*3)/v?
True
Let y be (-14)/8 - (-1)/(-4). Let o(m) = -m**3 - m**2 + m - 3. Let n be o(-3). Is (0 - n)*y/3 a multiple of 3?
False
Let b(c) be the third derivative of c**6/20 + c**5/60 - c**4/24 + c**3/6 - 7*c**2. Is 7 a factor of b(1)?
True
Let p be ((-16)/(-6))/((-10)/(-45)). Is 4 a factor of (-4)/((-16)/p - -1)?
True
Let k = -5064 + 7338. Let m = k + -834. Does 13 divide 4/14 - m/(-56)?
True
Suppose 0 = -0*h - h + 56. Is 14 a factor of h?
True
Let b(s) = -s**2 + 15*s - 12. Does 8 divide b(11)?
True
Suppose 3*q = -2*q - 4*o + 175, -4*o = 3*q - 105. Let c = q - 25. Is 5 a factor of c?
True
Let q(m) = -1 - 6 - 3*m - 2 + 0. Is q(-6) a multiple of 5?
False
Let g(h) = h**3 + 11*h**2 - 4*h + 6. Let v(n) = -n**2 - 7*n + 7. Let a be v(-9). Let f be g(a). Suppose 4*o + 0*o = -5*i + 45, 5*i = -5*o + f. Does 2 divide o?
False
Let r = -6 + 0. Let h(j) be the second derivative of -j**3 - 7*j**2/2 + 9*j. Is h(r) a multiple of 14?
False
Let y(l) = 3*l - 3. Let b be y(-3). Let z(r) = -3*r - 7. Does 29 divide z(b)?
True
Let r = 119 + -83. Let h = 51 - r. Suppose 0 = 2*i + 3*i - h. Is i a multiple of 3?
True
Is 96/10*105/6 a multiple of 47?
False
Let t(r) = -r + 60. Let z be t(0). Suppose 3*g - 4*j - z = 0, 3*j = j. Is g a multiple of 14?
False
Is 8 a factor of 2/7 + (-990)/(-63)?
True
Suppose -2*n - 1 = 3. Let v = n + 5. Is 5 a factor of (10/(-4))/(v/(-6))?
True
Is 13 a factor of 1 + 85/(-2)*-2?
False
Is 8 a factor of 2*(-3)/12*-18?
False
Let l be (-103)/((3/(-6))/(-1)). Is 17 a factor of 5/(-15) - l/6?
True
Suppose -2*s = 3 + 53. Does 12 divide (-917)/s - 2/(-8)?
False
Suppose 0*i = -i + 5*x, -i = 3*x. Is i/(-1) + 6*3 a multiple of 12?
False
Let y(f) = f**3 + 4*f**2 - 14*f + 8. Is y(-6) a multiple of 3?
False
Let q = -191 - -311. Is 8 a factor of q?
True
Let l(y) = y**2 - 7*y + 12. Let x be 6/15 - (-114)/15. Is l(x) a multiple of 10?
True
Let a = 1 + 0. Let t be a/2 - 117/(-6). Suppose -z + t = -i, -3*z + z + 38 = -3*i. Is 11 a factor of z?
True
Suppose 5*v = 15, 0*v = -2*j - 4*v + 34. Is j a multiple of 6?
False
Suppose 2*z - 3*z = -4. Does 11 divide (-77)/(-3) + z/(-6)?
False
Suppose 2*p + p = -33. Let x be -42 + (-2 - p)/(-3). Does 5 divide (-657)/x + (-2)/(-5)?
True
Suppose 0*m - 4*o - 23 = 3*m, m + o + 6 = 0. Let y = -6 + m. Does 16 divide (y - -1)*(-8)/3?
True
Let z(t) = -t**3 - 2*t**2 + 15*t - 2. Is z(-6) a multiple of 12?
False
Let y = 0 + 1. Suppose 3*q - 4 = -y. Let g = 18 + q. Is g a multiple of 17?
False
Let t(w) = 4*w**3 - 2*w**2 + 2*w - 1. Suppose -4*y + 5 = y. Let n be t(y). Suppose -g + 72 = n*g. Does 18 divide g?
True
Let z(t) = 3*t**3 + 2*t**2 - 2. Is z(2) a multiple of 23?
False
Let d = -13 + 7. Let z(h) = h**2 + 13*h + 1. Let v be z(d). Does 6 divide 5/15 + v/(-3)?
False
Let t(j) = -j**3 + 8*j**2 - 7*j + 5. Let f be 1/((-7)/(-3) - 2). Let z = f - -4. Does 5 divide t(z)?
True
Let l be 1/(-6) - (-167)/(-6). Does 23 divide ((-161)/l)/((-1)/(-8))?
True
Let r be (17 - 7)*(-4)/(-10). Suppose -f + 33 + r = 0. Is 15 a factor of f?
False
Let a(o) = -o. Let f(l) = 2. Let d(c) = 2*a(c) - f(c). Let n(p) = -p**2 - 2. Let h be n(2). Is 5 a factor of d(h)?
True
Let u(k) = -2*k - 4. Suppose -14 = 4*h + 2*p, -4*h - p - 16 = 3*p. Does 2 divide u(h)?
True
Let d(r) = -r**3 + r**2 - r - 13. Let x be d(0). Let o = -5 - x. Is o a multiple of 4?
True
Let z(k) = 2*k - 2. Let r be 4/(-3)*(5 + -2). Let l(g) = -2*g + 3. Let i(c) = r*z(c) - 5*l(c). Is i(11) a multiple of 15?
True
Suppose -17 = 5*d - 4*t + 5, 0 = -2*d - 5*t + 11. Let p = d + 41. Does 11 divide p?
False
Suppose 5*z - 69 + 24 = 0. Suppose -4*t -