 j*l - 17. Let d = 0 + l. Is 7 a factor of d?
False
Let m(j) = -j**3 - 4*j**2 + 4*j - 5. Let o be m(-5). Let h be -1*(1 + o - -2). Does 10 divide 2 + h - (2 + -23)?
True
Let n = -6 - -4. Let b = 25 + n. Is b a multiple of 8?
False
Let z(d) = 11*d. Let n be z(-7). Let g = -51 + n. Is 16 a factor of (4/8)/((-2)/g)?
True
Let s = -5 + 8. Let m = s + 0. Let i(u) = 6*u - 3. Is 15 a factor of i(m)?
True
Let q(y) = y - 1. Let o(h) = h**3 - 4*h**2 - 3*h - 5. Let v be o(5). Let s be q(v). Suppose -2*p = -9*u + 4*u + 53, s*p + 25 = u. Does 4 divide u?
False
Let v(j) be the third derivative of 7*j**5/60 + j**4/24 - j**3/2 - 4*j**2. Is 9 a factor of v(2)?
True
Suppose 4*c - 16 - 368 = 0. Does 12 divide c?
True
Let k(g) = 8*g - 3. Let v be k(2). Let o = v + -6. Does 2 divide o?
False
Let v(z) = -z**2 + 7*z + 7. Let k = 1 + 0. Suppose 2*c - 15 + k = 0. Is 3 a factor of v(c)?
False
Suppose -2*o + 6*o - 66 = -2*q, -3*o = -q - 47. Is 16 a factor of o?
True
Suppose -123 + 378 = -3*u. Let g = u + 124. Is g a multiple of 6?
False
Suppose 2*f + 7 = -2*m + 21, 25 = 5*f. Let w(s) = 2*s**3 - s - 2. Is 12 a factor of w(m)?
True
Let z(f) = -f**3 - 2*f**2 + 2. Let x be z(-2). Does 8 divide (66/(-9))/(x/(-3))?
False
Let y be (-6)/9*(0 + -27). Does 21 divide y*((-5)/(-3) + 1)?
False
Let t be ((-6)/(-4))/((-5)/(-10)). Suppose 44 = x + t*k, 2 + 4 = 2*k. Does 16 divide x?
False
Let z = -28 + 58. Suppose w + w = z. Is 5 a factor of w?
True
Suppose 19*m - 3264 = 2*m. Is m a multiple of 48?
True
Let t = -20 + 13. Let v = t + 12. Suppose v*z = 4*z + 2. Is z even?
True
Let s = -6 - -10. Let b(i) = 2*i - i + 1 - s - 4*i + 2*i**2. Is 15 a factor of b(-4)?
False
Let k be 1/(2/252*-2). Let s = -40 - k. Is 23 a factor of s?
True
Let d be 15*(-2 + (-21)/(-9)). Let p = d + 0. Let k = p + 7. Does 9 divide k?
False
Let c = 223 - 129. Is 13 a factor of c?
False
Let g be (5 - -1)/((-21)/(-14)). Suppose 2*l - 5 = 4*x - 13, l = -3*x - g. Let t = x + 7. Does 7 divide t?
True
Suppose 4*l - 2*k = 92, -4*k + 0*k = -5*l + 121. Is l a multiple of 21?
True
Let u(t) = t**2 + 14*t - 50. Does 42 divide u(-22)?
True
Let r = -45 - -65. Does 10 divide 0 + r/2*4?
True
Let v be ((-5)/5)/(2/(-26)). Suppose -47 = -2*p + v. Is 10 a factor of p?
True
Let r = -18 + 11. Is 1/((7/(-36))/r) a multiple of 13?
False
Suppose -58 = -0*i - 2*i. Suppose v + 3*a = 9, -2*v = v + 5*a - 11. Let n = i + v. Is n a multiple of 10?
False
Let k(g) = -g**3 + 4*g**2 - 3*g + 3. Let l be k(3). Suppose -47 = -l*j + 4. Suppose s = -1 + j. Does 16 divide s?
True
Let z(m) = 4*m**2 + m + 4. Let t be z(-4). Suppose -2*c = 4*d - 7*c - t, -16 = -d - 5*c. Does 4 divide d?
True
Suppose k = 2*h, 3*k - 7 = -4*h + 3*h. Suppose 20 = k*i - 6. Let t = i + -2. Does 5 divide t?
False
Suppose -380 = -3*c - 2*c. Is c a multiple of 20?
False
Does 22 divide (10 - 6)*(-14)/(-2)?
False
Let g(x) = x**3 - 10*x**2 + 7*x - 6. Let p be 100/15*12/10. Let c be g(p). Let h = c + 110. Does 12 divide h?
False
Let f be 39/(-2)*(-240)/18. Suppose 3*n - a = -2*n + f, 270 = 5*n - 3*a. Does 16 divide n?
False
Does 23 divide (46/(-3))/((13/(-6))/13)?
True
Is 8 a factor of (-1 - 3) + 26 - (-6)/3?
True
Suppose -5*d - 2*u + 0*u = -207, 2*d + 5*u - 87 = 0. Does 15 divide d?
False
Let f be (-1)/(-3) + (-556)/12. Let z = -32 - f. Is z a multiple of 6?
False
Is 134/6 + (-60)/45 a multiple of 5?
False
Let m = 36 + -22. Is 7 a factor of m?
True
Let h(z) = -z**2 + 7*z - 3. Let s be h(6). Let b(l) = 5*l - 1. Does 7 divide b(s)?
True
Is 16 a factor of (5/(-15))/(1/(-48))?
True
Let d = 46 - 24. Suppose -4*y - d = 10. Is (63/(-6))/(3/y) a multiple of 14?
True
Let l(t) be the third derivative of -t**6/120 + t**5/20 + 2*t**3/3 + t**2. Is l(-3) a multiple of 21?
False
Let l(u) = 5*u - 3. Let k(y) = -y**3 - 9*y**2 - 7*y + 10. Let t be k(-8). Let f be l(t). Suppose -3*a + 3*s = f*s - 19, 4*a + s = 34. Does 5 divide a?
False
Let u(k) = k**2 + k - 6. Does 9 divide u(-7)?
True
Let d = -15 + 11. Is 6 a factor of -6*(-2 + 8/d)?
True
Let p be -12*(-3)/18*4. Suppose -2*n + p = -k - 0*k, 0 = -5*n + 15. Does 10 divide (3 + k*2)*-15?
False
Let u(p) = 7*p - 7. Is u(3) a multiple of 12?
False
Suppose 3*o - 3*m - 214 - 59 = 0, -3*o + 5*m = -271. Is o a multiple of 19?
False
Let r = -4 - -2. Let b = r + 4. Suppose -3 - 5 = -b*m. Is 4 a factor of m?
True
Suppose d - 1008 = -15*d. Is d a multiple of 9?
True
Let d = -1 - -3. Suppose 0 = -d*r + 4*x + 18, -9 - 1 = -5*r + 3*x. Is 13 + 2 - (r + 0) a multiple of 14?
False
Let d(k) = k**3 + 7*k**2 + 5*k. Let b = 0 + -11. Let n = b + 5. Is 6 a factor of d(n)?
True
Is 2/((8/(-70))/(-2)) a multiple of 11?
False
Let k be 10 - 2 - (-2)/(-1). Let m be 146/k + 4/6. Suppose -3*n - 5*z + 70 = m, 0 = -2*n + z + 43. Is 10 a factor of n?
True
Let d = 186 + -133. Suppose 4*q - d = 147. Is 24 a factor of q?
False
Suppose 5*s - 287 + 92 = 0. Suppose 4*j + 35 = -1. Let m = s + j. Is 10 a factor of m?
True
Let h = -14 - 457. Does 9 divide h/(-18) - 1/6?
False
Let b(o) = 3*o**2 - o + 4. Is 9 a factor of b(7)?
True
Let g be (-17)/(-5) + (-2)/5. Let d = -3 + g. Suppose d*n + n = 21. Is 13 a factor of n?
False
Let z = -15 - -87. Is z a multiple of 24?
True
Let l(g) = -2*g**3 - 4*g**2 - 2*g + 1. Let s be l(-2). Suppose t + 0*t + s*k = 40, 4*t = -2*k + 70. Is 15 a factor of t?
True
Is (-3 + 27/15)*480/(-9) a multiple of 9?
False
Suppose 324 = 10*o - 456. Is o a multiple of 13?
True
Let s(t) = -t**2 - 21*t + 16. Is 21 a factor of s(-17)?
True
Suppose v - 4*v + 30 = 0. Suppose v*c - 45 = 5*c. Does 3 divide c?
True
Suppose 4*r + l - 38 = 4*l, 0 = -2*l - 4. Let d(j) = -7*j**3 + j**2 + 9*j - 5. Let q(n) = 6*n**3 - 2*n**2 - 9*n + 6. Let b(f) = 5*d(f) + 6*q(f). Is b(r) even?
False
Let l be (0 - 1)*(-14)/2. Let m(t) = t**3 + 3*t**2 - 4*t + 1. Let r be m(-4). Is (3 + -2)/(r/l) a multiple of 3?
False
Let t(h) = -7*h - 6*h - 4*h - 3 - h**2 + 10*h. Let w(p) = -p + 1. Let a be w(5). Is 4 a factor of t(a)?
False
Let k be -89 + 0 + 2/2. Let p = k - -131. Is 12 a factor of p?
False
Suppose -9 = -5*s + 2*s. Suppose -z + 48 = s*g, -84 = -2*z + g - 3*g. Is z a multiple of 13?
True
Let q(g) = 3*g - 1. Suppose 2*m + 13 = -3*y, m + y + 17 = -4*y. Let p = 7 + m. Is q(p) a multiple of 12?
False
Suppose 23 + 9 = 2*z. Does 16 divide z?
True
Let b(j) = -j**3 + j + 6. Let f = 3 + -3. Is b(f) even?
True
Suppose 3*k - 160 = -4*p, 3*k - 4*k + 4*p = -80. Does 15 divide k?
True
Let n = -8 + 23. Let u(z) = 6*z - 6. Let y be u(5). Suppose -x - m = -n, -x - 3*m + 1 = -y. Is 5 a factor of x?
True
Let t(r) = r**3 - 8*r**2 - r + 5. Let w be t(8). Is (-3)/(w*(-2)/(-52)) a multiple of 13?
True
Suppose -2*z + 7*k = 2*k + 98, 2*z = -4*k - 116. Is 8 a factor of (-873)/z + (-1)/6?
True
Let m be (0 - 0) + -5 + 7. Suppose -m*q + 176 = 2*q. Does 12 divide q?
False
Let a(j) = -4*j - 3. Let l be a(-2). Let t(i) = 5*i + 8*i**2 + i**3 + 6 + l*i - i. Does 12 divide t(-6)?
True
Let i(k) = k + 10. Let z = 54 + -75. Let l = 13 + z. Does 2 divide i(l)?
True
Let c(t) = -t**3 - 2*t**2 + t + 2. Let u be c(-2). Let q be 594/15 - 6/10. Suppose u = -3*f - 2*k + 44, -2*f + 5*f + 3*k - q = 0. Is 8 a factor of f?
False
Suppose -16 = g + 5*p + 7, 0 = 2*p + 10. Suppose b + g*b - 6 = 0. Suppose -3*r - 87 = -5*u - 4*r, b*r = -6. Does 18 divide u?
True
Let t = 5 + -1. Suppose 0 = t*j - 7*j + 6. Is 5 a factor of (j/(-4))/((-3)/30)?
True
Suppose -13 = -4*m + 4*s + 11, 4*s = -16. Let l be -6*1*m/2. Let t(n) = -n. Is t(l) a multiple of 4?
False
Let w = -42 + 84. Is 14 a factor of w?
True
Let z = -7 - -12. Suppose -23 = v + 5*f, z*v - 3*f - 14 - 11 = 0. Suppose -4*g = -v*t - g + 22, t - 12 = g. Does 14 divide t?
True
Suppose 0 = -4*n - 0*n + 320. Is n a multiple of 15?
False
Suppose -2*o - 6 = 0, -4*o + 35 = 5*v + o. Does 17 divide 425/v*(-4)/(-5)?
True
Suppose 2*w - 4*w + 288 = 4*f, -w - 3*f = -147. Is w a multiple of 23?
True
Let s = 150 - 121. Is 6 a factor of s?
False
Let i be (-4)/(-10) - 4/10. Suppose i = 6*z - 8*z + 14. Does 7 divide z?
True
Let r(y) = 7*y**3 - 4*y**2 - 3*y + 10. Let b(l) = -15*l**3 + 8*l**2 + 7*l - 21. Let p(h) = -6*b(h) - 13*r(h). Let a be p(3). Is 8 + 2 + 2 + a a multiple of 5?
False
Let x(o) be the third derivative of -o**6/120 + o**5/10 + o**4/24 + 2*o**3 - 8*o**2. Is x(5) a multiple of 13?
False
Let v = -6 + 12. Suppose 2*f + 2