-15) even?
False
Let u(c) = c**3 - c**2 - 22*c - 5. Let t be u(-6). Let w = 153 + t. Is w a multiple of 8?
False
Let y = 576 - 287. Is 17 a factor of y?
True
Let m(w) = 270*w**2 - w. Is 49 a factor of m(2)?
True
Let j be ((-802)/10 - 1)*-10. Let i be 2/12 - j/(-24). Is 11 a factor of i - ((-1 - 2) + 4)?
True
Suppose 5*i - 5 - 15 = 0. Suppose -2*x - 8 = -s, i*x = 3*x - s - 1. Let a(l) = -2*l**3 - 2*l**2 - 5*l - 3. Is a(x) a multiple of 16?
True
Suppose 3*b - 15 = 0, 0*r + r - 276 = -4*b. Is r a multiple of 16?
True
Let i = -18 - -375. Does 12 divide i?
False
Let k be -4 - (34 - 0)/(-1). Suppose -2*j - k = -u, 5*u - 14 = -3*j + 71. Does 20 divide u?
True
Suppose 0 = -3*d - d - 68. Let v = -7 - d. Is 15 a factor of (-4)/v - (-3982)/55?
False
Let d = -48 - -51. Is (d/(-5))/(4/(-40)) a multiple of 2?
True
Let j(h) = -h**2 + 10*h - 18. Let q be j(9). Let d = -5 - q. Let w(u) = u**3 - 2*u**2 - 2*u + 2. Is w(d) a multiple of 11?
False
Suppose -a = -4*k + 6, 0 = 5*a + 2*k - 13 - 1. Let n(g) = 9*g**2 - 4*g. Let i be n(3). Suppose 3*l - i = a*l. Is 24 a factor of l?
False
Let t be -3 - (-54)/12 - 6/4. Let s = 87 + t. Is s a multiple of 8?
False
Suppose 0 = 5*y - 18*y + 4043. Is 13 a factor of y?
False
Let i be 1/(2 + (-28)/16). Suppose -9*n + i*n = -15. Suppose 15 = -n*x, w - 13 = -2*x - 4. Is 14 a factor of w?
False
Does 11 divide (-3123)/(-9) - 9 - -3?
True
Suppose 4*v = -3 - 21. Let t(n) be the third derivative of n**5/60 + 4*n**3/3 - 30*n**2. Does 9 divide t(v)?
False
Let v(z) = 11 + 0*z - 10 + 2 + 4*z. Let h be v(-2). Let g(l) = l**3 + 8*l**2 + 8*l + 9. Does 11 divide g(h)?
True
Let b = -23 + 41. Suppose -2*j = -r - b - 39, 0 = -5*j + 5*r + 155. Is j a multiple of 26?
True
Suppose 5*j + 2*d = 2377, 0 = -j + 3*j + 3*d - 953. Is 25 a factor of j?
True
Suppose 333 = w + n, -5*w + 9 = -3*n - 1632. Is w a multiple of 12?
False
Suppose -l + 8274 = 4*f - 982, -2*f = 2*l - 4628. Is f a multiple of 13?
True
Let v(a) = a - 10. Let r be v(10). Suppose r = -2*c + 3*j + 140, -2*j + 297 = 3*c + 61. Is 15 a factor of c?
False
Suppose -5*g - 5*k + 9707 - 3182 = 0, -2*k - 5244 = -4*g. Is g a multiple of 14?
False
Let q(y) = 3*y**3 - 4*y**2 - 2*y + 5. Suppose 2 = 2*i, -5*x = -x + i - 17. Is 10 a factor of q(x)?
False
Let k(b) = 8*b**2 - 10*b - 72. Does 94 divide k(-13)?
True
Suppose 5*b = -10, -v - 2*b + 210 = -1200. Is v a multiple of 64?
False
Is 33 a factor of 2846/1 - (30 - 22)?
True
Let k = 4 + -12. Let g be (-12)/(-16) - (-14)/k. Is 10 a factor of (-26)/g - (-8 + 7)?
False
Let i(b) = -128*b. Let o be i(2). Let c = -166 - o. Is c a multiple of 18?
True
Let k(n) = n**3 - 11*n**2 + 10*n - 3. Let p be k(10). Does 12 divide (-236)/(-6) - p/(-9)?
False
Suppose -186 = -6*z + 1254. Suppose -s - 2*l - 215 = -4*s, -z = -3*s - 3*l. Is s a multiple of 40?
False
Let q(b) be the third derivative of 5*b**4/12 - 5*b**3/2 - 14*b**2. Is q(3) a multiple of 15?
True
Let n(i) be the first derivative of -i**4/4 + i**3/3 + i**2/2 + 57*i + 97. Suppose m = 2*m - 2*a - 4, 2*a = -5*m - 4. Does 26 divide n(m)?
False
Let i = -36 - -15. Let c = -13 - i. Suppose -3*q = -7*q + c. Does 2 divide q?
True
Let m = 66 + -63. Suppose t + 132 = m*t. Does 11 divide t?
True
Let y(p) = p**3 + 6*p**2 - 2*p + 6. Let f(x) = x**3 + 9*x**2 - 8*x + 14. Let j be f(-10). Is y(j) a multiple of 5?
False
Suppose -2*v - 2*b + 111 = -b, 5*v + 5*b = 270. Is v a multiple of 19?
True
Let v be 82/205 + ((-38)/(-5))/1. Suppose 2*t - 3*q - 145 = 0, 3*q - v + 82 = t. Is t a multiple of 10?
False
Suppose 2*f - 4 = -0*f. Let c be 2/((-1 + f)/2). Suppose -2*d = 5*b - 133, -5*d = -d + c. Does 9 divide b?
True
Suppose 2*z + 896 = -6*z. Let v = 196 + z. Does 21 divide v?
True
Suppose -u - 131 = -2*y, -2*u - 11 = -1. Let v be 7 + -4 + -3 + 7. Suppose -v*z + 4*z + y = 0. Does 11 divide z?
False
Let p be 1 - (3/(-3) - 0). Suppose 5*z - w + 80 = -69, -92 = 3*z + p*w. Let v = z + 54. Is v a multiple of 10?
False
Suppose 0 = 5*q - 4*m - 1488, -16*m = q - 17*m - 298. Is q a multiple of 4?
True
Let g(k) = 0*k - 13 - 9*k - 21 + 8. Is 14 a factor of g(-6)?
True
Is 33 a factor of (-205)/6*1953/(-210)*8?
False
Suppose 21*u = 26*u. Suppose u = -6*a + 5*a + 3. Is 3 a factor of a?
True
Let b(t) = 7*t**2 - 5*t + 2. Let p(k) = 8*k**2 - 6*k + 1. Let i(g) = -4*b(g) + 3*p(g). Let d(r) be the first derivative of i(r). Is d(-2) a multiple of 9?
True
Let i(r) = r**3 + 4*r**2 - 5*r + 1. Let o be i(-5). Suppose -6*b = -o - 5. Does 11 divide ((-18)/(-12))/(b/18)?
False
Let o(z) = z**3 - 19*z**2 + 20*z. Let v(f) = -f**3 + 18*f**2 - 21*f - 1. Let b(x) = 5*o(x) + 6*v(x). Does 15 divide b(6)?
True
Let c be -1*2*(27/6 + -2). Let w(h) = -14*h + 8. Is 13 a factor of w(c)?
True
Suppose 0 = 6*v - 7*v + 54. Let n be v + (2 - 10)/4. Suppose 0 = -b + 2*b - n. Is b a multiple of 14?
False
Let d = -570 - -827. Does 6 divide d?
False
Suppose f = -2*f + 6. Suppose -4*x + 158 = -2*b, 0 = f*x - 3*b - 127 + 50. Is 5 a factor of x?
True
Let l(x) = 19*x - 322. Does 23 divide l(39)?
False
Suppose 2*y - 12 = -4*y. Suppose 2*z + 6 = 0, -2*u - 3*z - y*z + 317 = 0. Is u a multiple of 10?
False
Let n(q) = -30*q + 39. Is n(-4) a multiple of 8?
False
Suppose -8*x + 3*x + 40 = 0. Let w be x/(-12) + (-6)/(-9). Let l(i) = i**3 + i**2 + i + 51. Is 10 a factor of l(w)?
False
Suppose -20 = 4*t - 9*t. Suppose 21 = t*a + 13. Suppose 3*s - 3*h - 45 = 0, -5*s = -3*h + a*h - 75. Does 5 divide s?
True
Suppose 90 = 4*f + 6*f. Suppose -12 = -2*h - q, h + 2*q = f + 3. Suppose -58 = -k - 3*a + 17, -h*k + 4*a = -220. Is 15 a factor of k?
True
Suppose -29 = 4*a - 89. Does 5 divide (26 - 0) + (a - 16)?
True
Suppose 4*p = 5*s - 513, 0 = -45*p + 48*p - 9. Is 4 a factor of s?
False
Let l(k) = -14*k**3 - 8*k**2 - 13*k - 49. Is 60 a factor of l(-5)?
False
Let f be 271*(-2)/8 - (-5)/(-20). Let g = 88 + f. Is 20 a factor of g?
True
Suppose s + 3*b + 29 = 0, 5*s + 57 = 5*b - 28. Is 10 a factor of (-375)/s + (-1)/(-4)?
False
Suppose -30 + 9 = -7*c. Suppose -c*r = -5*b + 181, 3*b = -0*b + 5*r + 115. Does 11 divide b?
False
Let i(c) be the third derivative of c**4/3 + 5*c**2. Is i(5) a multiple of 10?
True
Let o(p) = 2*p**2 + 11*p - 27. Does 21 divide o(-10)?
True
Let k = 4486 + -1021. Does 21 divide k?
True
Let n be -1*4/8*(27 - -3). Is 12 a factor of (n/10)/3*-336?
True
Suppose 0 = -4*o + o + 189. Suppose -4*z = 5*v - 177, -2*z + o + 48 = -5*v. Does 13 divide z?
False
Let u = -468 + 864. Is u a multiple of 11?
True
Let d(p) = -p**3 + 6*p**2 + 2. Let b be d(6). Suppose b*j - 3*u - 127 = -2*u, 3 = u. Is 13 a factor of j?
True
Let b = 1636 - 886. Let z = 1110 - b. Is z a multiple of 12?
True
Suppose 3*j = -2*j - 15. Let s(o) = -39*o - 13. Let w(n) = -118*n - 38. Let m(u) = -17*s(u) + 6*w(u). Is 32 a factor of m(j)?
True
Let p = 2 - -3. Suppose 3*x = 5*j - 0*j + 4, 0 = p*j - x - 2. Does 6 divide (24/60)/(j/35)?
False
Let y be (-14)/91 + 401/(-13). Let n = y + 67. Suppose 5*r - n = 3*r. Does 18 divide r?
True
Suppose 596 = 2*z - 38. Suppose -3*q = -5*k + z, 4*q = -2*k - q + 102. Does 13 divide k?
False
Suppose -s = 3*s - 628. Let x = s - 88. Is x a multiple of 19?
False
Let p(y) = 2*y**3 - 5*y**2 - 31*y. Does 78 divide p(11)?
True
Suppose 0 = 5*z - 4*k + 7*k - 3432, 3*z - 3*k - 2040 = 0. Is 57 a factor of z?
True
Let i = -5 - -17. Suppose 0 = 3*g - r - i - 10, 5*g + 4*r = 48. Is 11 a factor of (4/(g/(-22)))/(-1)?
True
Is 62 a factor of 10 + -5 - 0 - 9471/(-3)?
True
Let o = -150 - -46. Let j(t) = -3*t**2 - 8*t - 5. Let w be j(-5). Let x = w - o. Is x a multiple of 17?
False
Suppose 11 + 357 = 4*a. Is a a multiple of 4?
True
Suppose -u + 9 = -y, -4*u + 5*y - 3*y = -26. Suppose -v = -3*b + 56 + 7, 0 = u*b + v - 77. Is b a multiple of 14?
False
Suppose 2*t + 0*l = 4*l + 16, -5*l + 10 = 5*t. Suppose -p - 93 = -t*p. Suppose 0 = -4*k + 3*k + p. Does 10 divide k?
False
Let x be 1014/12 - (-1)/(-2). Let z be ((-4)/(-8))/((-2)/x). Is (z/(-35))/(2/30) a multiple of 2?
False
Let q be (-1)/(6/243) - 7/(-14). Let t = q + 84. Is t a multiple of 11?
True
Suppose -o - 4 + 9 = 0. Let a(b) = -2*b**2 + 12*b + 4. Let s(u) = u + 1. Let h(w) = -a(w) + 8*s(w). Does 16 divide h(o)?
False
Let g(t) = -73*t + 230. Is 64 a factor of g(-10)?
True
Suppose 3*l - l - 858 = -3*o, 4*l = -12. Suppose 2*r - o = -r. Suppose 0 = -i - 3*i + r. Does 