t l(n) = -11*j(n) + 2*z(n). Let c(w) = -h(w) - 4*l(w). Is c(4) even?
True
Let x be (27/12)/(3/8). Let y be (2 - -15 - -3) + -2. Does 5 divide x/(-27) - (-94)/y?
True
Suppose -3*t + 436 = 5*j, 3*t - 2*j = -j + 460. Does 19 divide t?
True
Let i be (85 - 1)*(-18)/(-24). Let y = 58 + -84. Let m = i + y. Is m a multiple of 11?
False
Suppose 5*s - 15 = d, -3*s - 5*d = s - 41. Suppose -j - 122 = -s*r, -r + 5*r + j = 126. Is r a multiple of 15?
False
Is 8/40 + 99/5 a multiple of 10?
True
Suppose 79 + 21 = 10*f. Is 5 a factor of f?
True
Let l(a) = a**3 - 7*a**2 - 7*a. Does 2 divide l(8)?
True
Suppose -19*i + 12*i + 1554 = 0. Is i a multiple of 37?
True
Suppose -3*x - 8 = -7*x. Suppose -x*f + s + 2*s = -15, s - 17 = -3*f. Is f a multiple of 3?
True
Let l(i) = -25*i**2 + i - 1. Let v be l(1). Let m = 43 + v. Does 5 divide m?
False
Let u = 55 + 1. Is u a multiple of 14?
True
Let q = 15 + 3. Is 3 a factor of q?
True
Let a be (4 - 1) + (-2 - -14). Suppose -b = -34 - a. Does 15 divide b?
False
Is 39 a factor of (-144)/(-54)*486/4?
False
Let m = 151 + -292. Let z = -81 - m. Is z a multiple of 15?
True
Let u = -10 - -9. Does 7 divide u - 1 - -1*9?
True
Let r = 5 - 3. Let a = 17 + -38. Is 1/r - a/6 a multiple of 2?
True
Let y = -11 - -21. Is (-3)/(-12)*2*y a multiple of 5?
True
Let g be ((-168)/10)/((-1)/(-5)). Let x be (-4)/14 - g/(-49). Does 21 divide 1 - -2 - x*9?
True
Let u(m) = -4*m**2 + 7*m + 2. Let k(t) = 4*t**2 - 6*t - 2. Let f(v) = -5*k(v) - 4*u(v). Let q be f(2). Let i = 15 + q. Is 5 a factor of i?
True
Suppose -10*q = -15*q - 10. Let j be (2 + -1)/((-1)/5). Is 14 a factor of 532/35*j/q?
False
Let u(y) be the first derivative of -y**2/2 + 3*y - 1. Let g = -29 + 23. Is u(g) a multiple of 3?
True
Let l = -9 - -34. Does 11 divide l?
False
Let i(b) = -7*b + 1. Let h(x) = -1. Let y(q) = -2*h(q) - i(q). Does 10 divide y(4)?
False
Suppose -284 = -4*k - 4*s, -5*k + 357 = 2*s + 2*s. Is 3 a factor of k?
False
Let y(m) = m**2 - 5*m - 3. Let d be y(-4). Let k be d + (-1 - -1) + -1. Let z = 53 - k. Is z a multiple of 16?
False
Let u(o) = -2*o**3 - 3*o**2 - 3*o - 2. Suppose 0*z + 3*z = -6. Is 8 a factor of u(z)?
True
Let g(u) be the second derivative of 17*u**5/30 + u**4/24 + u**2 - u. Let h(d) be the first derivative of g(d). Does 13 divide h(-1)?
False
Let r(m) be the first derivative of -m**3/3 - 4*m**2 - 1. Does 6 divide r(-6)?
True
Let g = -41 + 139. Suppose 5*p - g = 222. Is 16 a factor of (-1)/(-2*2/p)?
True
Suppose -4*m - 2*y + 1 - 17 = 0, 4*m - 5*y = -16. Let i(q) = 3*q**2 - q - 2. Does 25 divide i(m)?
True
Let o(m) = m**2 + 6*m + 4. Let y be o(-3). Suppose 0 = -5*q - 31 - 24. Let g = y - q. Is g a multiple of 3?
True
Suppose j + 8*n - 3*n = 17, -5*n = 4*j - 143. Is j a multiple of 25?
False
Suppose 383 = 3*o + 119. Let s = -55 + o. Is 12 a factor of s?
False
Let c = 47 + 13. Is c a multiple of 20?
True
Let a(m) = 3*m - 3 - 2*m**3 + 0 - 8*m + 2*m - 5*m**2. Let i be a(-3). Suppose -5*f = -2*f - i. Is f a multiple of 4?
False
Let l = -3 - -7. Suppose l*m - 28 = 5*w, -2*w + 11 = 3*m - 10. Is 3 a factor of m?
False
Let q = -190 - -124. Let m = 157 + q. Does 23 divide m?
False
Let f = -16 + 10. Let o(c) be the first derivative of -c**4/4 - 4*c**3/3 + c**2 - 7*c - 1. Is 24 a factor of o(f)?
False
Suppose 3*p - 80 = 5*t, 3*p - 4*t - 56 = 20. Is p a multiple of 10?
True
Let f = -26 - -48. Let h = f - 18. Does 2 divide h?
True
Suppose 0 = -2*y - 5 - 3. Let m be -11 + (-2)/y*2. Does 9 divide (-326)/m - (-12)/30?
False
Suppose 5*d = d. Let t(k) = k**3 - k - 21. Let l be t(d). Is 5 a factor of (-1)/(-3) - 266/l?
False
Let s = 1 - -6. Let t(k) = -k + 5. Let p be t(s). Is (-5)/p*(-1 - -17) a multiple of 19?
False
Suppose -2*i = -5*i + 15. Suppose u = -p + 1, p + 13 = -i*u - 6. Is 3 a factor of p?
True
Suppose 2*a = -2*a - 4. Is 2*a*(-13)/1 a multiple of 24?
False
Let l(y) = 5*y**2 - 5*y + 5. Is l(2) a multiple of 12?
False
Let y(w) = -w**2 + 1. Let r be y(-1). Suppose r*i - 54 = -i. Is 17 a factor of i?
False
Let t(l) be the third derivative of l**5/60 - l**4/4 - 5*l**3/6 - 48*l**2. Let y be (0 - -1)/(2/14). Is t(y) a multiple of 2?
True
Let g be 4/(-22) - 24/(-11). Suppose -h + 55 = n, h + 4*n - 50 = g*n. Is h a multiple of 19?
False
Let w = 232 - 136. Is 17 a factor of w?
False
Is 45 a factor of 225 + ((-3)/(-1) - 3)/1?
True
Let h(k) = k - 2. Let i be h(2). Suppose -4*x + 64 = -i*x. Does 4 divide x?
True
Let j = 39 - -10. Let v = 85 - j. Does 10 divide v?
False
Is 5 a factor of 3*-3*6/(-6)?
False
Let s(d) = -40*d + 10. Is s(-3) a multiple of 15?
False
Let o = 80 - 64. Is o a multiple of 3?
False
Suppose t + 4*r = 24, -t + 66 = 4*t + 2*r. Does 5 divide t?
False
Let j(r) = -r**2 + r + 7. Let t be j(0). Let w = t - -4. Does 5 divide w?
False
Let b(a) = 2*a**2 + 9*a - 6. Does 25 divide b(-8)?
True
Let r(d) = 22*d**2 - 4*d + 5. Let v(o) = o - 1. Let c(a) = r(a) + 4*v(a). Does 7 divide c(1)?
False
Let d = 5 - 3. Suppose -2*y = 2*b + 44, 7*b = 2*b. Let x = d - y. Is 24 a factor of x?
True
Let z = 12 + -4. Suppose -2 + z = 2*y. Is 3 a factor of y?
True
Suppose 12 = -3*m + m. Let y be (15/m)/(3/(-6)). Suppose 3*q - 56 = z, -y*q = -z - 62 - 28. Does 6 divide q?
False
Let n = -12 - -9. Does 7 divide 2/(-3) - 59/n?
False
Let q(j) = 5*j**2 + 2*j + 1. Suppose -h - 3*k = 1, 4 = h + 3*h + 4*k. Does 7 divide q(h)?
False
Suppose -d - 6 = -0. Let h = -11 - d. Is (h/15)/(1/(-15)) a multiple of 5?
True
Is -1*(-35)/(-2)*(9 + -11) a multiple of 7?
True
Is (23/2)/((-4)/(-8)) a multiple of 23?
True
Let y = -18 - -22. Suppose l - 17 = -y. Does 11 divide l?
False
Suppose 9 = -v + 3*p, 4*v = p - 10 - 4. Let b(c) = 9*c**2 + 5*c + 2. Let i be b(v). Suppose 0 = 5*k - l + 2*l - 85, -3*k = 4*l - i. Is k a multiple of 8?
True
Suppose 2*j - 16 = 10*t - 6*t, 0 = 5*t + 5*j + 50. Let c = t - -4. Is c/(2 - 1)*-1 a multiple of 2?
True
Suppose -7*k + 3*k + 132 = 0. Is 11 a factor of k?
True
Suppose 0 = -z + 2, -4*z - z + 16 = 2*g. Suppose 3*t = i - g*i + 59, 33 = 2*t - 5*i. Is 19 a factor of t?
True
Let c(g) = -g**3 - 5*g**2 + 8*g - 42. Is c(-10) a multiple of 53?
False
Suppose -21 = 2*a - 5*a. Is 3 a factor of a?
False
Let r(l) = -l + 9. Let g be r(10). Let y be g/(1/2*-2). Does 7 divide 3 + 26*y/2?
False
Suppose r = -2*t - 2*t + 959, -5*t + 1198 = r. Does 20 divide t?
False
Let r = -21 + 41. Suppose -2*i = 4*t - r, -4*t + 6*t + 30 = 4*i. Is 8 a factor of 126/i + 2/8?
True
Suppose -b = 2*r - 10, 5*r = 2*b - 3*b + 22. Suppose 4*l = -4*v + 2*l + 426, 105 = v + b*l. Is 25 a factor of v?
False
Let r be (2 + -10)*14/(-8). Let f = r - 5. Is 9 a factor of f?
True
Let r = -243 - -162. Let w be r/(-6)*(4 - 0). Suppose 4*v = s - 0*s + w, -34 = -3*v + 4*s. Does 7 divide v?
True
Let n(z) = -z**3 - 9*z**2 + 8*z + 4. Let u be n(-10). Let y = 37 - u. Suppose -3 - y = -c - 2*v, -4*v - 150 = -5*c. Is 13 a factor of c?
True
Let a be (2/(-8))/((-5)/20). Suppose -4*d + 5*h = -0*d + a, 2*d + 2*h = 22. Is 2 a factor of d?
True
Let h(u) = 2*u**2 + 4*u - 1. Let q = 5 - 8. Let a be h(q). Suppose 10*r - 3*i - 129 = a*r, 2*r = -i + 45. Is 12 a factor of r?
True
Let p(z) = 3*z. Let k be p(2). Let x be (k - 0)*(-3 + 4). Let t = x + 6. Is t a multiple of 6?
True
Let l(m) = m**2 + 9*m + 11. Let n be l(-8). Suppose -4*i = -n - 5. Suppose 0 = 4*t - 30 - i. Is 7 a factor of t?
False
Let w(j) be the first derivative of j**4/4 + 2*j**3 + 2*j**2 - 1. Let g be (-4 - 24/(-9))*3. Is w(g) a multiple of 16?
True
Let f(u) = -13*u - 4. Let m(d) = -13*d - 5. Let a(g) = 6*f(g) - 5*m(g). Let n = 2 + -3. Does 7 divide a(n)?
True
Suppose 78 + 70 = 4*c. Is 18 a factor of c?
False
Let h(a) = a**3 - 4*a**2 - 2*a + 3. Suppose 0 = -p + 2*p - 3. Let m be h(p). Is (-405)/m + 3/12 a multiple of 17?
True
Let d(s) = s. Is 4 a factor of d(10)?
False
Let l be (-2)/(-4)*4/(-2). Let k(q) = 10*q**3 - q**2 + 1. Let o be k(l). Is (-2*4)/(4/o) a multiple of 11?
False
Suppose -3*w + 116 = w. Let b = w - 11. Does 9 divide b?
True
Suppose -n = -2 - 3. Let d(w) be the third derivative of w**5/30 - w**4/12 - w**3/6 + 6*w**2. Does 15 divide d(n)?
False
Suppose 6*f = f + 540. Is 12 a factor of f?
True
Let c = -5 - -11. Is 2 a factor of c?
True
Suppose -t + 2*v - 4 = 0, 0*v + 4 = -2*t + 2*v. Does 13 divide (t - 52)*2/(-8)?
True
Suppose -2*l + 124 = 42. Suppose 79 + l = 4*w. D