t j(t) = t**3 - 3*t**2 + 2*t + 2. Let f(o) = -2*o**3 + 2*o**2 - 2*o - 2. Let z(u) = -2*f(u) - 3*j(u). Is 11 a factor of z(-4)?
True
Let g(l) = l**3 - 6*l**2 - 5*l - 3. Let m(v) = -v**2 - 10*v + 7. Let u be m(-10). Is g(u) a multiple of 11?
True
Let s be -2 - 4*(-5)/1. Let l = s + -9. Does 9 divide l?
True
Let v = 3 + 1. Suppose 5*b + 20 = 4*w, -4*b - 6 = v*w + 10. Suppose -t - s + 40 = w, 4*t = 2*s + 251 - 85. Is 15 a factor of t?
False
Let z = -258 - -377. Does 25 divide z?
False
Does 3 divide (-2)/((-8)/150)*50/75?
False
Let v be 3*57/(-18)*-8. Suppose t - 3*t = -v. Does 12 divide t?
False
Let r(c) = -c - 1. Let s be r(-4). Let i = s + -1. Suppose -3*z = -i*n + 2*z + 20, -4*z - 28 = -4*n. Is 5 a factor of n?
True
Suppose -48 = -3*q - 2*j, q - 5*j + 43 = 3*q. Is 7 a factor of (-65)/(-7) + (-4)/q?
False
Suppose 111*p - 114*p + 222 = 0. Is 13 a factor of p?
False
Suppose -g = 2*g - 6. Suppose -225 = -q - g*q. Suppose 3*h = -0*h + q. Does 12 divide h?
False
Let n(h) = -h - 2. Let c be n(-3). Suppose -c = -5*g + 4, 0 = 4*l + g - 13. Suppose -v = -4*v - l*k + 87, -3*k + 60 = 2*v. Does 13 divide v?
False
Let l(o) = -7*o**2 - 3*o + 3. Let a(f) = -2*f**2 - f + 1. Let u(b) = 8*a(b) - 3*l(b). Suppose 4*p + 2 - 10 = 0. Is 10 a factor of u(p)?
False
Let b = 1 - -2. Suppose 3 = 4*u + 5*n - 71, -3*n = -b*u + 42. Is 16 a factor of u?
True
Let i(v) = -v**3 - 4*v**2 + v - 5. Let o be i(-5). Let d = -10 + o. Suppose -5*u + d = -105. Does 11 divide u?
True
Let w be (-6)/5*10/(-3). Let s be 5/(15/6) - -72. Is ((-4)/w)/((-2)/s) a multiple of 15?
False
Let n be 25*(2 - 0 - 1). Suppose 5*m = a + n, -2*a + 0*a = 4*m - 34. Is 5 a factor of m?
False
Suppose 0*y + 2*y = -2*k, 4*y + 12 = -k. Suppose k*l = -8 + 80. Is l a multiple of 9?
True
Let x(b) = -2*b + 8. Suppose -o + 6 = -0*o. Let h(j) = -j**2 + 4*j + 6. Let n be h(o). Is 13 a factor of x(n)?
False
Let b = 33 - 16. Suppose -5*h + b = 2. Suppose -77 = -h*r + p, r + 0*r + 2*p = 21. Is r a multiple of 12?
False
Let g = 486 - 281. Is g a multiple of 45?
False
Suppose 3696 = 7*l + 9*l. Is l a multiple of 21?
True
Suppose -1 = -3*j + 5. Suppose k + 14 = -j*r, r + 4*k = -4*r - 41. Let o = 1 - r. Is o a multiple of 6?
True
Let z = 40 + 80. Is 20 a factor of z?
True
Let p be (36 - 0/(-3)) + -3. Suppose -3*t + p = -21. Is t a multiple of 6?
True
Let f = 87 + -63. Is 6 a factor of f?
True
Let a(p) = -2*p + 30. Is 10 a factor of a(-20)?
True
Let a(c) = c**3 - 6*c**2 - 11*c + 6. Does 6 divide a(8)?
False
Let y be (-6)/(-10) + 96/15. Suppose 0 = -a + y + 26. Does 8 divide a?
False
Suppose u = -3*u. Let y be (-15)/(-3) + (2 - u). Suppose -5*c = 20, -2*k + 37 = -2*c - y. Is k a multiple of 11?
False
Let y(l) = -l**2 - l - 1. Let a be y(-3). Let g = a + 16. Is g a multiple of 5?
False
Let i(v) = 22*v**3. Let d be i(1). Suppose -2*x + d + 36 = 0. Is 15 a factor of x?
False
Let h(p) = -2*p - 2. Let l be 0 + 0 + (-1 - 1). Let c be h(l). Suppose 2*n - 66 = -3*r, -4*r + c*r = -2*n + 56. Does 15 divide n?
True
Let q(h) = h**3 + 7*h**2 + 6*h + 4. Let l be (2 + 1)*(-16)/12. Is q(l) a multiple of 16?
False
Let p(d) = d**3 - 6*d**2 - 6. Let t be p(6). Suppose 9*r + 45 = 4*r. Is 11 a factor of (r/t)/(9/138)?
False
Suppose 4*l - 45 = 6*m - m, 0 = 5*l - 5*m - 50. Suppose 84 = 3*b - 4*q, -5*b + 140 = -b + 4*q. Suppose 0 = 2*j + l*c - 7, 4*c = -4*j + b. Is j a multiple of 11?
True
Let g(i) = 7*i**2 + i. Let o = 25 - 27. Is g(o) a multiple of 8?
False
Let p(y) = -5*y - 17. Does 14 divide p(-9)?
True
Let a(b) = -3*b - 9. Let n be a(-6). Let l(h) = -h**2 + 15*h + 12. Let t be l(n). Suppose -3*q + 4*c + t = 0, 0*q - 4*c = -2*q + 40. Is q a multiple of 14?
False
Suppose 8 = 3*h - 7*h. Does 19 divide 110/h*5/(-5)?
False
Suppose -3*t + 5*a = -19, 5*t + 27 = 4*t - 5*a. Suppose b - 104 = -3*b. Does 12 divide t + b*(3 + -2)?
True
Suppose -s - 2*t + 46 = 2*s, 0 = 2*s + 2*t - 32. Does 8 divide s?
False
Suppose 5 = -y + 2, -3*b = 2*y - 9. Suppose -5*i + 6*o - 55 = o, i = b*o - 31. Let v = 1 - i. Is v a multiple of 2?
False
Let m(j) be the second derivative of j**5/20 + j**4/12 + 2*j**3/3 - 3*j**2/2 + 2*j. Let g be m(3). Suppose -5 = -5*n + g. Is n a multiple of 7?
False
Suppose -4*v - 5 = -5*v. Suppose -5*n - u + 25 = -n, -v*n + 5*u = -25. Is 7 a factor of 4/n + (-80)/(-6)?
True
Suppose 8 = 3*x - 5*x. Let t = x - -3. Is (t/(-3))/(2/30) a multiple of 5?
True
Suppose -3*v = -9, -4*j = -3*j + v - 106. Let k = -67 + j. Suppose 4*w = -2*l + 52, -3*w = -5*w + 4*l + k. Is w a multiple of 14?
True
Does 5 divide ((-76)/(-10))/(34/85)?
False
Let j = 3 - 5. Let c be (j/(-3))/(3/(-81)). Let z = 28 + c. Is z a multiple of 5?
True
Is 20 a factor of ((-321)/(-6))/((-8)/(-16))?
False
Let i = -42 - -99. Does 19 divide i?
True
Let w = -477 - -765. Is w a multiple of 36?
True
Let v(b) = 3*b**3 + b**2 - 8*b + 4. Does 10 divide v(3)?
True
Let o(u) = 96*u**2 - 2*u + 5. Does 11 divide o(2)?
True
Is 5 a factor of 0 - (3 + -2)*-15?
True
Suppose 3*w - 2*o - 186 = 2*w, 888 = 5*w + 4*o. Let t = 2 + 0. Suppose t*h = 7*h - w. Is 18 a factor of h?
True
Let x(p) = -p**3 - 2*p**2 - 3*p - 3. Let c be x(-2). Let u(r) = 2*r**3 - 3*r**2 + 4*r - 3. Does 18 divide u(c)?
True
Suppose 2*l - 60 = l. Does 10 divide l?
True
Suppose 3*z + 5*a = 118, -2*z - 2*a + 7*a = -62. Is z a multiple of 9?
True
Let p(l) = 6*l**2 + 8*l - 4. Is p(-6) a multiple of 33?
False
Suppose -5*g - 87 - 48 = 0. Let p = -10 - g. Does 6 divide p?
False
Let f = 81 + -57. Is 8 a factor of (f/20)/(6/40)?
True
Let o = 31 + 11. Is 25 a factor of 1038/o - (-4)/14?
True
Let a = 1 - -3. Suppose 5*l = -2*p + 69, 0*p + p - 54 = -a*l. Does 7 divide l?
False
Suppose 0 = -3*s + 5*b - 65, 0 = -4*s - 4*b - b - 75. Is (-1 - s/4)*1 a multiple of 4?
True
Is 52 a factor of (148/6 - -2)*(-243)/(-18)?
False
Suppose -223 = -7*h + 652. Is h a multiple of 20?
False
Is 56 a factor of (-105 - -106)*(-1)/(1/(-271))?
False
Let y = 2 + 0. Suppose -15 = -4*c + 4*o + o, -5*c - y*o = -27. Is 5 a factor of c?
True
Suppose 198 = -3*q + 2*q. Let y = q + 131. Let i = -42 - y. Is i a multiple of 10?
False
Suppose 5*c = -2*s + 25, -5 = 2*s - 5*c - 0*c. Suppose -x - s*l = -39, x - 2*l - 2*l = 3. Is 5 a factor of x?
False
Suppose -5*n = -79 - 176. Does 17 divide n?
True
Suppose -5*m = -101 - 4. Does 10 divide m?
False
Suppose 2*q = -f + 19, 2*q - 36 = -3*f + 1. Is f a multiple of 3?
True
Let v(f) = f**2 + 4. Is v(3) a multiple of 3?
False
Let w be 5 - 1*3/1. Does 9 divide (-45)/(-10)*w*1?
True
Let s(z) = 2*z**3 + 7*z**2 - z - 4. Let i be s(-5). Is 1/(-2 + i/(-36)) a multiple of 18?
True
Suppose 3*c + 129 - 30 = 3*j, 0 = 4*j - 3*c - 137. Does 19 divide j?
True
Suppose 0 = 2*j - 0 - 4. Suppose -24 + 2 = -j*t. Is 11 a factor of t?
True
Let w(j) = 4*j**2 + 3*j + 6. Is 17 a factor of w(3)?
True
Let n be (-1)/(-3) + 53/3. Suppose -n = -5*h + 3*m, -4*h + 6 = 4*m - 2. Let w(o) = o**3 - o**2 - 4*o - 1. Does 5 divide w(h)?
True
Let n(f) = 4*f**3. Let p be n(1). Suppose -p*x = -3*x - 6. Is 5/15 + 88/x a multiple of 6?
False
Is 12 a factor of 21*(-21)/(-3) + -6 + 3?
True
Let a(q) be the third derivative of q**5/60 + 5*q**4/24 + 2*q**3/3 + 2*q**2. Suppose -5 = o + 1. Does 4 divide a(o)?
False
Let i(o) = o**2 + o. Suppose 7 + 1 = 4*w. Suppose j - 4 = 0, -w*h - 1 = 4*j - 3. Is i(h) a multiple of 12?
False
Let g(n) = n**2 + 10*n + 59. Is 12 a factor of g(-6)?
False
Let g = 2 - -3. Is g a multiple of 2?
False
Suppose 6*c - c = 285. Is 19 a factor of c?
True
Let i(j) = 2*j**2 - 2*j**2 + j**2 + 2 + 4*j. Is i(-5) a multiple of 7?
True
Let s(z) = -14*z + 2. Let b be s(-2). Is 6 a factor of 184/b - 2/15?
True
Suppose 5*x + 26 = c, -2 + 72 = 4*c - 3*x. Let b = c + -4. Suppose 6*q - b = 3*q. Is 4 a factor of q?
True
Let y be (-4)/(-14) - (-4)/(-14). Suppose y*a = 3*a + 5*r - 65, -5*a - 4*r + 104 = 0. Suppose 0 = 2*w - 7*w + a. Is w a multiple of 2?
True
Let h(u) = 88*u**3 + 2*u**2 + u - 1. Is 15 a factor of h(1)?
True
Let v = 18 + -5. Is 12 a factor of v?
False
Suppose 0 = -10*s + 5*s + 465. Let f = s + -51. Is f a multiple of 14?
True
Suppose -12 = -4*n - 0. Suppose n*p - 2*p = 24. Is p a multiple of 6?
True
Let d(f) = f**3 - 6*f**2 - f + 8. Suppose 0*y + 5*y = -5*m + 40, -2*m - 4*y + 20 = 0. Let a be d(m). Suppose -a*q + 21 + 27 = 0. Does 12 divide q?
True
Let l(c) be the first deri