5 + 4*a + 6 + 57. Is r(0) a multiple of 11?
False
Is 12 a factor of (4 + -24)*-3*1?
True
Let h(o) = -2 + 6*o - o**2 - 4 + 0. Let k be h(5). Does 7 divide 15 - (-1 + 1 + k)?
False
Let p = 81 + -15. Let d = p - 43. Does 11 divide d?
False
Let a be 24 + ((-3)/(-1) - 4). Let x = -19 + a. Is 2 a factor of x?
True
Let s = -13 - -32. Is s a multiple of 4?
False
Suppose 2*v = -3*b + 93, 10*v - 195 = 5*v + 5*b. Is 21 a factor of v?
True
Let j = 132 + -72. Suppose -2*s = -7*s + j. Is s a multiple of 6?
True
Let p be 2/(-7) - 4/(-14). Suppose p = -2*c - 2*c + 300. Does 25 divide c?
True
Does 4 divide (160/1)/4 - 0?
True
Let d(r) = 3*r**2 + 4*r + 1. Suppose 0 = 3*u - 5*u + 8. Suppose -f = -u*f - 12. Does 13 divide d(f)?
False
Does 4 divide 160/9 + (-6)/(-27)?
False
Let d(q) = 3*q**2 - 4*q. Does 12 divide d(4)?
False
Suppose 4*f - 16 - 54 = 2*q, 5*f + 5*q - 50 = 0. Let v be (-6)/f + (-96)/(-15). Does 24 divide 39 - (3 - v - 0)?
False
Suppose -37 = -2*x - 5*t, 3*x = 7*t - 6*t + 47. Does 7 divide x?
False
Does 10 divide (6/(-12))/(1/(-152))?
False
Let p be (-1 - (2 - 2))/(-1). Is 13 a factor of 4 - 2 - p - -25?
True
Suppose 148 = 34*h - 30*h. Is h a multiple of 19?
False
Let o(y) be the second derivative of -y**5/20 + 2*y**4/3 + y**3/6 - 5*y**2/2 - y. Is o(8) a multiple of 3?
True
Let r = 125 - 74. Is r a multiple of 9?
False
Let i be 1/(37/36 + -1). Suppose -4*q = -0 + 8. Does 4 divide ((-3)/9)/(q/i)?
False
Suppose 2*a - 4*q = -14, -2*a + 27 = -7*a + 2*q. Let z = a - 13. Let c = z - -28. Is c a multiple of 5?
True
Let p = 7 + -7. Suppose -3*u - 2*u + 15 = p. Is u even?
False
Let w be 8/(-3)*135/4. Is (12/8)/((-3)/w) a multiple of 12?
False
Suppose -11 = -5*r + 24. Is r a multiple of 3?
False
Let m = -26 + 40. Is 8 a factor of m?
False
Let a(z) = z**2 + z + 7. Is a(6) a multiple of 8?
False
Let j = -213 - -337. Let c = 76 - j. Let s = c - -93. Does 12 divide s?
False
Let m = 9 - 6. Is 12 a factor of (44/12 - m)*54?
True
Let o = 10 + -2. Is 17 a factor of o/6 - 475/(-15)?
False
Suppose 2*z - 2*i = -22, 0*z = 3*z + 5*i + 33. Let n = -44 + 26. Let s = z - n. Is s a multiple of 4?
False
Let o(x) = -x + 23. Let v be o(0). Let a = -14 + v. Is 7 a factor of a?
False
Let j(s) = -s**3 + 3*s**2 - 2*s + 1. Let g be j(3). Let t be 2/(-3) - 4/3. Does 8 divide t/(-2) - (g - 10)?
True
Let m = 479 + -334. Is 29 a factor of m?
True
Suppose 0 = -2*g - 5*d + 26, 0 = 4*g + 2*d - 0 - 52. Is g a multiple of 10?
False
Suppose 5*d - 6*i - 541 = -5*i, 3*d - 2*i = 326. Does 18 divide d?
True
Let u be -4*(2 - (-15)/(-6)). Suppose -2*s - l = -s - 6, 2*l = u. Is s a multiple of 5?
True
Let f(m) = m**2 + 7*m - 5. Let p(u) = -2*u**2 - 20*u + 14. Let q(k) = -11*f(k) - 4*p(k). Let y be q(2). Let h = 11 + y. Does 4 divide h?
True
Suppose -c - 80 = 4*p - 2*c, 34 = -2*p + 2*c. Let u = p - -42. Is u a multiple of 7?
True
Let t(o) = 4*o - 14. Let u be t(4). Suppose -u*f + 68 - 6 = 0. Does 10 divide f?
False
Suppose 0 = 2*p + d - 2 - 6, -4*d = -3*p - 10. Suppose 4*z - u - 141 = 0, 0 = -p*z - 3*u + 46 + 21. Is 16 a factor of z?
False
Let a(z) = 2*z**2 - 4*z - 4. Let n = -4 - -2. Does 4 divide a(n)?
True
Let o(n) = -n + 7. Let r be o(7). Suppose r = -4*h + 8, 4*u - 139 = u - 2*h. Does 9 divide u?
True
Let l be 6/10 + 3/(-5). Suppose -5*r - 68 = -l*r - g, -5*r + 5*g = 80. Let t = 22 + r. Is 4 a factor of t?
False
Suppose 0 = -3*m + 5*m - 24. Is m a multiple of 3?
True
Let p = 4 + 17. Is ((-60)/(-21))/(6/p) a multiple of 5?
True
Let h be (-357)/(-7)*(-8)/(-6). Let x = h + -47. Does 7 divide x?
True
Let q(j) = 30*j**2 + 3 + 9*j**2 - 2. Let h = -6 - -7. Does 14 divide q(h)?
False
Let w(k) = -k**2 - 3 - 8 + 2*k**2 - 6*k. Does 15 divide w(10)?
False
Let d = 105 + -75. Is 15 a factor of d?
True
Let y(z) = -49*z + 8. Is 44 a factor of y(-3)?
False
Let n = 4 + 5. Suppose -4 = l, -3*l - n = -4*x + 19. Suppose 6*o = 4*o + 5*b + 55, -x*b = 20. Is 15 a factor of o?
True
Suppose -4*c = -16 - 16. Is 2 a factor of c?
True
Suppose 0 = 3*u + 6, 26 + 7 = d + 2*u. Let w = d - 19. Does 9 divide w?
True
Suppose 6 = -3*j + 3. Suppose 49 = -0*k - 5*k + 3*r, 0 = -k + 4*r - 3. Is 5 a factor of 0 - (k + 2 + j)?
True
Let a be 376/16*(-1 + -1). Let s = a - -68. Is 10 a factor of s?
False
Let j = -7 + 9. Suppose j*l = -3*l + 255. Is 11 a factor of l?
False
Let m be -1 - 61/(-2)*6. Suppose -3*o + o = -m. Let u = -18 + o. Is u a multiple of 20?
False
Let i(s) = -s - 3*s**3 - 11*s**2 - 2*s**3 + 4*s**3 + 12*s**2. Is 13 a factor of i(-3)?
True
Let w(y) be the first derivative of y**5/20 - 5*y**4/12 + 5*y**3/6 + 3*y**2/2 + y + 1. Let r(b) be the first derivative of w(b). Does 7 divide r(4)?
True
Let s be (-170)/8 - 3/(-12). Let g = s + 33. Let h = 53 - g. Is 14 a factor of h?
False
Does 10 divide (-212)/(-7) + 10/(-35)?
True
Suppose -128 = -5*l + 57. Does 8 divide l?
False
Suppose -l = -1 - 3. Let u = 5 + l. Is 3 a factor of u?
True
Suppose -34 + 6 = -o. Is 5 a factor of o?
False
Let a = -440 - -627. Is 34 a factor of a?
False
Let n(a) be the third derivative of -a**4/3 - 3*a**3/2 - 3*a**2. Is 16 a factor of n(-7)?
False
Let o(b) = 311*b**2 + b. Let v be o(1). Is 11 a factor of (1/(-3))/((-8)/v)?
False
Is 8/20 + (-1090)/(-25) a multiple of 17?
False
Let k be 2/7 - (-1195)/7. Suppose -k = -2*z + 7. Let c = -61 + z. Does 14 divide c?
True
Let o(f) = 2*f. Let q be o(1). Suppose 3*p - q*a = 138, -5*p + a + 340 = 117. Is 12 a factor of p?
False
Let l(t) = -17*t**3 + t**2 - t. Is l(-2) a multiple of 36?
False
Suppose o - 17 = -d - 1, 3*o - 20 = 4*d. Let s be o/18 - (-728)/6. Does 10 divide 2/3 - s/(-6)?
False
Let s(l) = -9*l + 49. Let w(o) = 6*o - 33. Let i be 47/(-7) + (-2)/7. Let n(x) = i*w(x) - 5*s(x). Is n(10) a multiple of 8?
True
Let v(f) = -16*f - 2. Is 12 a factor of v(-1)?
False
Let i(j) = -j**3 + 3*j**2 + 3*j - 4. Let n be i(3). Let y be (-4)/12*(1 - 4). Suppose n*d - y = 64. Is 9 a factor of d?
False
Let l be (30/25)/(3/(-10)). Is (-102)/(-24) - (-1)/l a multiple of 2?
True
Suppose 47 = a + 11. Suppose -a = -4*w + 76. Is 14 a factor of w?
True
Let v = 52 - 16. Is 12 a factor of v?
True
Let u be (-8)/(6/(-4) - -1). Suppose -o + 9 + u = 0. Does 12 divide o?
False
Let t = -3 - -8. Suppose -t*g + 64 = -226. Is 20 a factor of g?
False
Let l(v) = v**2 - 7*v - 5. Let d(x) = -x**3 - 7*x**2 + 9*x + 18. Let s be d(-8). Is 13 a factor of l(s)?
False
Let f(r) = -r + 6. Let z be f(0). Let k = -4 + z. Suppose 2*b + k*g - 28 = 4*g, 8 = -4*g. Does 8 divide b?
False
Suppose 4*g - 18 = -50. Let t(a) = -a - 9. Let w be t(g). Let n = 15 - w. Is n a multiple of 16?
True
Let d(w) = -5*w - 17. Does 7 divide d(-30)?
True
Let d = 1 + 1. Suppose 17 = 5*n + g + 3*g, g - d = n. Is 1*(n + (7 - 3)) a multiple of 5?
True
Let g(d) = d**3 + d**2 + 27. Let a be g(0). Suppose -a = -w - 87. Let o = w - -110. Is o a multiple of 13?
False
Let k be 2*((-67)/(-2) - 2). Let x be 1 + -5 - (-4 + -3). Suppose -x*n + 6*n - k = 0. Is n a multiple of 11?
False
Let k(o) = -o**2 - 10*o - 9. Let d be k(-6). Let x = 24 - d. Is 9 a factor of x?
True
Let t be (8/(-14))/((-9)/63). Let o = 52 + -27. Suppose -t*z + 30 + o = i, -5*i + z + 254 = 0. Is i a multiple of 13?
False
Is (4 + -1 + -1)/(24/468) a multiple of 22?
False
Suppose 103 = 4*u + 3*x, 0 = -u - 2*u - 3*x + 75. Does 8 divide u?
False
Suppose 412 = 4*r - 4*s, 4 = s + 3. Is r a multiple of 13?
True
Suppose 0*t + 320 = 2*y + 2*t, -2*t - 616 = -4*y. Suppose -5*u + 49 + y = 0. Is u a multiple of 15?
False
Does 3 divide 5 - (-21 - -2 - 5)?
False
Let c(q) = -q**3 - 2*q**2 + q - 1. Let t be c(-3). Suppose 4*w - t*w = -55. Let o = -39 + w. Is 6 a factor of o?
False
Let r = -16 + 10. Let d = r - -10. Is (-1)/(-4) - (-23)/d a multiple of 6?
True
Let r(d) be the first derivative of d**4/6 + d**3/3 - d**2 - 2*d - 2. Let l(w) be the first derivative of r(w). Does 9 divide l(-4)?
False
Let m(f) = f + 8. Let z(y) = -y + 6. Let s be z(6). Does 6 divide m(s)?
False
Suppose 0 = c - 4*c + 24. Let t be -4 + 4 + -4 + 24. Suppose -t = -c*z + 4*z. Is z a multiple of 5?
True
Let k(j) = -5*j + 1. Let l be k(-1). Is 22 - l/(-9)*-3 a multiple of 6?
False
Suppose -3*o + 2*v = 0, 0*v = -o - 2*v + 8. Suppose o*l + 23 = 59. Suppose n - l = 10. Is 14 a factor of n?
True
Let z(p) = -8*p**3 + 2*p + 1. Let m be z(-1). Let n be (-4)/(-14) - 2/m. Suppose