2*i - 1. Does 20 divide s(11)?
False
Let b = 153 + -69. Suppose -5*r - b + 299 = 0. Does 19 divide r?
False
Suppose 3*b + 0*l + 4*l - 24 = 0, 5*b + l - 23 = 0. Let c(n) = 5*n - 1. Let p be c(1). Suppose p*g + 5*o = 2*g + 43, 2 = g - b*o. Is g a multiple of 8?
False
Let w = 2 - 6. Is 2 a factor of -1 + -7*4/w?
True
Let z = -3 + 4. Suppose -3*r + 5 = -z. Suppose -54 = -r*h - 0. Is 12 a factor of h?
False
Suppose -r + 3*i + 165 = 0, r + 7*i - 6*i = 181. Is 14 a factor of r?
False
Suppose 3*j + 3*p + p = 52, 5*p + 27 = 2*j. Let l = 31 + j. Suppose -y + 3*y - l = 3*o, 3*o = -15. Is 16 a factor of y?
True
Let n be (-12 - -4)/((-3)/15). Suppose -w + n - 3 = 0. Is w a multiple of 6?
False
Let h(z) = 12*z - 2. Let g be h(-2). Let p = -14 - g. Is 5 a factor of p?
False
Let b be (0*(1 + 0))/1. Suppose b = -4*y + 3*y. Suppose -3 = -y*x - x. Does 2 divide x?
False
Let b be 523/7 - 12/(-42). Let x = 95 - 60. Let z = b - x. Is 16 a factor of z?
False
Suppose -2*z + 174 = 52. Does 16 divide z?
False
Let t be (-1 - 3)*(-2)/4. Suppose 2*w + 2*h - 2 = 0, 0 = w - 2*h - 0*h - 10. Suppose -2*c + 5*u = -5 - 7, -w*c + 40 = -t*u. Is c a multiple of 7?
False
Suppose 4*u + 4*f = -68, -8 = 5*f - 3. Let k = u + 33. Is k a multiple of 12?
False
Let l be ((-11)/(-2))/((-3)/(-30)). Let v = 91 - l. Is v a multiple of 20?
False
Let p be (4*4)/1 + 2. Suppose 0 = -c - 3*i + p, 5*c + 2*i - 56 = 4*i. Does 6 divide c?
True
Let r(f) = -f**3 + 13*f**2 + 28*f + 24. Is r(14) a multiple of 26?
False
Let j = 7 - 8. Let t = -1 + j. Is 9 a factor of 5 + t + (-60)/(-2)?
False
Let n = 132 - 88. Does 4 divide n?
True
Let z = -658 - -1106. Let n = z + -307. Suppose i + 3*x + n = 4*i, 5*x - 185 = -5*i. Is 20 a factor of i?
False
Let l = 79 - 53. Suppose 114 = -5*g - l. Does 12 divide -1*(g + (0 - 1))?
False
Let o(f) = -f**2 - 10*f - 8. Is 8 a factor of o(-8)?
True
Let f(y) = 8*y**2 + 3*y + 3. Let w be f(-2). Let t = -21 + w. Is t a multiple of 4?
True
Suppose -420 = -40*s + 30*s. Is s a multiple of 42?
True
Let k = -48 + 72. Is k a multiple of 8?
True
Let c(j) = 6*j**3 - j**2 - j + 1. Let t be c(1). Suppose -t*b + 135 = -55. Is b a multiple of 13?
False
Suppose -7*m + 21 = -4*m. Is 2 a factor of m?
False
Let z(f) = 5*f + 7. Let o(l) = -14*l - 20. Let g(d) = -6*o(d) - 17*z(d). Let k be g(-3). Suppose -k*u = -2*u - 36. Is 5 a factor of u?
False
Suppose 0 = -f - 2 - 1. Does 2 divide (f/(-1) - 1) + 3?
False
Let x(y) = -2*y + 7*y**3 - 4*y + 8*y**2 + 0*y - 5 - 8*y**3. Does 10 divide x(5)?
True
Let s be (1 + 0)*0 + -1. Let t(p) = p**3 + 9*p**2 + 9*p + 12. Let a be t(-8). Let v = a + s. Does 2 divide v?
False
Suppose -k - k = 6. Let c be (3 + -2)/(k/(-15)). Suppose 5*a - 90 = -b, 2*b + c = a - 2. Is 5 a factor of a?
False
Let r(s) = s - 4. Let m be r(3). Let u = 4 + m. Does 12 divide 1*1*99/u?
False
Suppose -3*f = -6*f + 6. Suppose 0 = f*y + 2*k - 38, k + 2*k = y - 3. Is y a multiple of 5?
True
Suppose -4*q + 12 = -2*q. Suppose -2*s - q = -2. Does 6 divide (0 - -12) + s + 1?
False
Let m be 2/4*(3 - 3). Suppose 2*n + 10 = 2*j, -j - 4*n + 10 = -20. Suppose m = -y - w, -3*y - w = -0*y - j. Does 2 divide y?
False
Suppose 2*p = 2*a + 400, 6*a = 2*a - 3*p - 765. Let x = -109 - a. Suppose 3*s + 2*y - x = 0, 0 = -4*s - 2*y + 29 + 87. Is 15 a factor of s?
True
Suppose 0 = -3*w + 36 + 15. Let q = -7 + w. Is q a multiple of 5?
True
Suppose -6*k + 810 = -k. Does 27 divide k?
True
Let g(c) = -c + 2. Let t be g(-4). Suppose t*q - 5*q = 7. Is 9 a factor of (5 + -9)/((-2)/q)?
False
Suppose 3*x - 40 = -x. Is 15 a factor of (22/(-8))/(x/(-120))?
False
Let x = 45 + 30. Is 11 a factor of x?
False
Let g(j) = -j**2 + j + 65. Let y be g(0). Suppose 0 = -f - 5*l + 43, -y = -5*f + 2*l + 96. Is 11 a factor of f?
True
Suppose 0 = -3*f + 18 - 6. Suppose 0 = -3*y + f*m + 64, -y - 2*m = -1 - 7. Does 8 divide y?
True
Let k = 77 - 8. Is k*(4 + -1 + -2) a multiple of 24?
False
Suppose 81 - 19 = 2*j. Is 5 a factor of j?
False
Let o(d) = 2*d + 8*d - 3*d. Is o(4) a multiple of 14?
True
Let b(r) = 10*r**2 + 3*r + 4. Is 7 a factor of b(-3)?
False
Suppose i = n - 28, 2*i = -4*n + n + 64. Is n a multiple of 8?
True
Suppose 4*x = 3*o + 252, -4*x + 5*o = -59 - 201. Is x a multiple of 8?
False
Suppose r = 3*r + 2, 3*r = s - 119. Is s a multiple of 49?
False
Suppose 31 = 3*w - 65. Is w a multiple of 16?
True
Let v(j) = 5*j**2 - 5*j**2 + 4*j + 6*j**2. Does 21 divide v(-3)?
True
Suppose 0*l - 4*l = 0. Suppose l = -2*q + 4 + 8. Is 4 a factor of q?
False
Let b(r) = r**3 - 6*r**2 - 6*r - 3. Let c(g) = -5*g - 3. Let p be c(-2). Does 2 divide b(p)?
True
Let k(m) = -24*m - 4. Let x be k(-6). Suppose -s = -d + 74, 0 = -4*d + 5*s + 440 - x. Does 3 divide (d/(-15))/((-2)/3)?
False
Let o(p) = -2*p - 5. Let b(d) = -d**2 - 5. Let t be b(0). Let h be o(t). Suppose 1 = 2*l - 4*a - 73, h*a - 83 = -4*l. Does 18 divide l?
False
Let k(o) = 2*o**2 - 2*o**2 - 7*o - o**2 - 4. Does 4 divide k(-5)?
False
Let k = 137 - 94. Let v = k + -22. Is v a multiple of 6?
False
Suppose 3 = -2*a - 3*r, -r - 3 = -3*a - 2. Suppose -2 = -o + 2. Suppose -o*p + a = -32. Does 8 divide p?
True
Suppose -2*k - 407 = -6*k - q, 0 = k - 3*q - 92. Is 30 a factor of k?
False
Let n(c) = -c**3 - 5*c**2 + 8*c + 2. Let i be n(-6). Suppose 9*u - 184 = 5*u. Is u/10 + (-4)/i a multiple of 5?
True
Let t = 229 + 4. Is 16 a factor of t?
False
Suppose 3*q + 32 = -q. Let t(n) = -9*n - 9*n**2 + 9 + 3*n**2 + 5*n**2 - 2. Does 15 divide t(q)?
True
Is 3339/6*(4 - 50/15) a multiple of 28?
False
Let i(l) = 3*l + 24. Let t be i(-8). Suppose 86 = -t*k + 2*k + 4*f, 5*k - 4*f - 145 = 0. Is k a multiple of 7?
False
Suppose 48 = 7*i - 1072. Is 9 a factor of i?
False
Suppose 4*u - 25 = -u. Suppose 0 = -u*w + 24 + 11. Is 4 a factor of w/1 - (0 - 1)?
True
Let y(n) = -n**3 + 9*n**2 - 2*n + 21. Is y(7) a multiple of 13?
False
Let r(f) = -2*f**3 - 2*f**2 + f + 2. Let x(t) = -2*t**3 - 2*t**2 + t + 2. Let g(w) = -5*r(w) + 4*x(w). Is g(2) a multiple of 8?
False
Is (-16)/20*5/1 - -95 a multiple of 11?
False
Suppose 0*j - 102 = -j. Is 26 a factor of j?
False
Suppose 0 = 4*u - 4*i - 80, 0 = -3*i - 6. Is 3 a factor of u?
True
Does 12 divide (-952)/(-16) - (-2)/4?
True
Let m = -233 - -327. Is 12 a factor of m?
False
Suppose 14 + 4 = 3*j. Is 8 a factor of (-18)/(-15)*40/j?
True
Suppose 0 = 3*s + 1 - 4. Suppose -d = -7 - s. Suppose 0 = -v + 5*v - 4*k - d, 0 = 2*k - 2. Is v a multiple of 3?
True
Let o(g) = -g**3 + 10*g**2 - 5*g + 8. Is 11 a factor of o(9)?
True
Let t = -11 + 20. Let r = 9 + t. Suppose -5*a + 17 = -r. Is 6 a factor of a?
False
Suppose -3*p + 149 = 5*u, p = -4*u + u + 87. Let y = u + -13. Does 14 divide y?
False
Does 6 divide (0 + -1)/((-6)/108)?
True
Let k be -12 - (-1)/(-1)*-1. Let f = k + 39. Is 8 a factor of f?
False
Let y be 4/(-6) + 4/6. Suppose y*v - 24 = -2*v. Is 12 a factor of v?
True
Let q = 53 - -61. Does 12 divide q/9 + (-2)/3?
True
Let t(n) = 4*n**3 - 2*n**2 + 1. Let c be t(1). Let y(o) = 6 - o - 3*o + c*o. Is y(-6) a multiple of 12?
True
Suppose 2*u + 64 = v, 2*u - 4*v + 49 = -27. Let x = -17 - u. Is x a multiple of 11?
False
Suppose -g + 2*g = -3. Let k = 26 - g. Does 29 divide k?
True
Let z = -132 + 268. Is 28 a factor of z?
False
Suppose -2*w + 18 = w. Let l be (1/(-2) - -1)*w. Suppose -x = l*x - 84. Is x a multiple of 14?
False
Suppose 0*w - 5 = -w. Let p be ((-36)/w)/(9/(-60)). Let q = p + -29. Is 12 a factor of q?
False
Suppose 5*g - y = 3, 0 = -g - 0*g + 5*y - 9. Is 3 a factor of (0 - 6)/(-2 + g)?
True
Let r = 86 - 58. Is 4 a factor of r?
True
Let h(f) = f**2 - 5*f - 4. Let r be h(6). Let x = r - 1. Is (5 + x)*(1 + 1) a multiple of 6?
True
Suppose -c - 7 = -2*n, 3*n - 5*c - 23 = -2. Is n + (-28)/(-4 + 2) a multiple of 8?
True
Suppose -15 = -3*m + k - 4, -4*m + 14 = -2*k. Is 7/2 + (-2)/m a multiple of 2?
False
Is ((-1)/5 + (-4383)/135)*-6 a multiple of 28?
True
Is 13 a factor of (-65)/(-1) - (-2 + (2 - 0))?
True
Let b = -147 + 200. Is b a multiple of 7?
False
Suppose 0 = -5*g + q + 195, -2*q - 2*q + 170 = 5*g. Let d = 62 - g. Is 9 a factor of d?
False
Let a(w) = w**2 + 11*w + 13. Is a(-10) even?
False
Suppose 0 = 5*n - 42 - 68. Let s = 41 - n. Is s a multiple of 19?
True
Let s(i) be the second derivative of 2*i - 1/3*i**3 + 1/20*i**5 + 0 + 3/2*i**2 + 1/4*i**4. Does 5 divide s(-3)?
False
Suppose 8*z