- 63 = -3*b. Does 20 divide z?
True
Suppose 3*d = 61 + 71. Is d a multiple of 5?
False
Let b(h) = -2 + 1 - 5 - 3*h + h**2. Let q be -2*((-10)/4 - 0). Is 4 a factor of b(q)?
True
Suppose 0 = v - 0*v - 1. Does 16 divide (v/(-3))/(8/(-408))?
False
Let g = 27 + -13. Suppose v - g = 4. Does 6 divide v?
True
Let z(c) = -c**3 - 7*c**2 - 2*c + 6. Let t be z(-7). Let o = 41 - t. Let v = -3 + o. Is v a multiple of 7?
False
Let j(a) = 5*a + 2. Suppose s = 5*r - 42, -2*r + 3*s = -r - 14. Is j(r) a multiple of 21?
True
Suppose 0 = 2*a + 2*x - 624, 0 = 4*a - 4*x + 2*x - 1236. Suppose 4*d = -d + a. Does 27 divide d?
False
Suppose 0*i = -2*i + 36. Does 3 divide i?
True
Let a = 51 + -30. Let s = -42 - -60. Suppose -2*t = f - 3, 2*t + s = 5*f - a. Is 2 a factor of f?
False
Let c(h) = 37*h**2 - h - 4. Let a be c(-3). Suppose 2*q + 2*q = a. Suppose b - q = -13. Is 24 a factor of b?
False
Suppose 10*c = 5*c - 5. Let a be c/(1/6) - 2. Is 18 a factor of (a/(-6))/((-2)/(-54))?
True
Suppose 0 = 4*x - 45 - 59. Suppose 3*b = x + 49. Suppose 2*q = b - 7. Is 6 a factor of q?
False
Suppose -3*n - 12 - 159 = 0. Let g = -34 - n. Is g a multiple of 23?
True
Let u(a) = 2*a**2 + 4*a + 1. Let h be u(-6). Suppose -5*x + 1 + h = 5*t, 0 = -3*x - t + 34. Is 10 a factor of x?
False
Let y(u) = -2*u**3 - 6*u**2 + 7*u + 7. Let x be y(-5). Suppose 66 = 3*n - x. Is n a multiple of 23?
True
Let t = 8 - 22. Let s = 60 + t. Does 23 divide s?
True
Suppose 3 + 1 = g. Suppose 97 + 31 = 3*l + 2*d, 2*l - 72 = -g*d. Does 11 divide l?
False
Suppose -9*o + 715 = -4*o. Does 26 divide o?
False
Let g = -15 - -25. Does 5 divide g?
True
Let s(n) be the second derivative of -11*n**3/3 + 2*n**2 - 2*n. Let w be s(-9). Suppose 0 = -5*c + 3*u + 344, 0 = 3*c + u - w - 10. Is c a multiple of 19?
False
Is 12 a factor of 1485/60 + (-6)/8?
True
Is 20 a factor of (3 + 1)*(-666)/24*-2?
False
Suppose b - 14 + 5 = 0. Suppose 3*t + 180 = b*t. Is t a multiple of 9?
False
Let s be (-2192)/(-20) - 6/(-15). Suppose -3*v - 38 = -c, 2*v = 3*c - 3*v - s. Is c a multiple of 35?
True
Suppose -3*q = q + m - 23, -m = 1. Let t(p) = p**3 - 4*p**2 - 8*p - 4. Does 5 divide t(q)?
True
Suppose -5*p + 55 = 5*f, p - 3*p = 4*f - 40. Does 4 divide f?
False
Suppose -3*f - 6 = -3*u, 8*f - 5 = 3*f. Suppose 3*o - 25 = 4*w, u*o + 0*o = -5*w + 70. Is 6 a factor of o?
False
Let u = 22 - 12. Let x(g) = g + 10. Is 4 a factor of x(u)?
True
Does 26 divide 4012/153 + 2/(-9)?
True
Let w = -108 + 165. Is 15 a factor of w?
False
Let p = 32 - 18. Is 3 a factor of p?
False
Let i = 0 - -5. Suppose 0 = -4*l - 3*q, -2*l - 3*q - 1 = i. Suppose 5*g + 2*p = 107 - 29, 0 = -l*g + 3*p + 30. Is g a multiple of 10?
False
Suppose 2*w = -3*l + 18, w = -3*l + 8*l + 9. Does 3 divide w?
True
Let q = -27 + 9. Let c be (-4)/q + 34/9. Suppose -c*n + n + 114 = 0. Does 19 divide n?
True
Let i = 27 - 7. Does 5 divide i?
True
Suppose 230 = -34*w + 36*w. Is 23 a factor of w?
True
Let f = -166 + 280. Is 13 a factor of f?
False
Suppose -37 = -i - b, 0 = -i + 3*b + b + 62. Is i a multiple of 21?
True
Suppose -3*l + 547 - 203 = -4*z, 0 = 2*z - 8. Is l a multiple of 19?
False
Let b = 180 + -77. Suppose -2*w + 4*s = w - b, -2*s = 2*w - 64. Is w a multiple of 11?
True
Let d = 146 + -294. Let x = 224 + d. Is x a multiple of 19?
True
Let c(b) be the second derivative of b**4/6 - b**3/6 - 5*b**2/2 - 9*b. Let y be 1 - (-2 + -3 - -2). Is 8 a factor of c(y)?
False
Let d = -2 - -4. Let t(p) = -7 - 6*p**d - p**2 - 3*p - p**3 + 0. Does 10 divide t(-7)?
False
Let j(t) = -2*t**2 - 2*t + 3. Let x be (-50)/8 + (-1)/(-4). Let r be j(x). Let v = r - -83. Does 15 divide v?
False
Let r(d) be the first derivative of 2*d**3/3 - 3*d**2/2 + 2*d + 2. Is r(3) a multiple of 5?
False
Let f(m) = -m + 11. Let c be f(7). Suppose -4*a - a + 50 = -j, -40 = -c*a - 2*j. Is 9 a factor of a?
False
Does 3 divide -3 - 4/4*-10?
False
Let x = -1 + -4. Let o(d) = -d - 5. Let u be o(x). Suppose 0 = -k - u*k + 9. Is k a multiple of 3?
True
Let s = -3 + 5. Let d = -57 - -67. Suppose 0 = s*o - 74 - d. Does 11 divide o?
False
Suppose 0*z + 28 = -4*z. Let b(y) = -4*y**3 - 11*y**2 - 6*y - 4. Let k(v) = 5*v**3 + 12*v**2 + 6*v + 3. Let j(r) = -4*b(r) - 3*k(r). Does 7 divide j(z)?
True
Suppose z - 3 = 1. Suppose z = s + s. Suppose s*u + 96 = 6*u. Does 24 divide u?
True
Let m(w) = -w**3 - 3*w**2 - 4*w - 2. Let t(v) = 2*v**3 - 2*v**2 - 2*v - 1. Let n be t(-1). Is m(n) a multiple of 4?
False
Suppose -2049 = -13*u + 239. Does 44 divide u?
True
Suppose -w = 2*w - 9, -4*b = 5*w - 115. Is 11 a factor of b?
False
Let x(a) = -2*a + a**3 - a**3 - a**3 + 6*a**2 + 5*a - 4. Is x(6) a multiple of 14?
True
Let z be (-2 + 1)/(3/(-66)). Suppose 0*m = -2*d + 2*m + z, d - 2 = 4*m. Is 14 a factor of d?
True
Let g(y) = -y**3 - 10*y**2 + 1. Let c be g(-10). Let u be 60 - 1 - 0/c. Suppose -u = -t - 21. Is t a multiple of 19?
True
Suppose 0*j = 4*j. Suppose j*z - 89 = -z - 5*w, 4*z - 3*w = 287. Is 12 a factor of z?
False
Let m(q) = q**2 - 6*q + 1. Is m(-3) even?
True
Suppose -2*u + 16 = 2*u. Suppose -s = 5*m - 56, 144 = u*s - 2*m + 6*m. Is 11 a factor of s?
False
Suppose -8 = o - 0*o. Let u = 19 + o. Is 6 a factor of u?
False
Suppose 3*x - 96 = -3*b, -5*b - 6*x + 2*x + 161 = 0. Let q = b + 1. Let y = -24 + q. Is 10 a factor of y?
True
Let d be ((-77)/28)/((-2)/8). Suppose -a + d = -0. Is a a multiple of 8?
False
Let f(o) = -2*o - 12. Does 5 divide f(-12)?
False
Let n(d) = d**3 + 2*d**2 - 3*d - 2. Let p be n(-3). Is 17 a factor of 17 - (p - -3) - -1?
True
Let k(c) = 3*c**2 + 2*c - 3. Is k(-3) a multiple of 6?
True
Suppose -4*w - 4*s = -3*s - 8, -3*s + 3 = 5*w. Let c be (-2)/((1 - 4)/w). Let d = c - -6. Does 4 divide d?
True
Let g(i) = -8*i - 3. Let k(n) = 7*n + 3. Let r(w) = -2*g(w) - 3*k(w). Let c be r(-4). Suppose 2*b = b + c. Is b a multiple of 17?
True
Let p(o) = 3*o**2 - 4*o + 4. Let u be (1 + -3)*(-6 + 4). Let s be p(u). Suppose -2*k - 2 = -s. Does 12 divide k?
False
Is 35 a factor of ((-410)/6)/(8/(-24))?
False
Let v(u) be the first derivative of 2*u**2 + u - 8. Is 2 a factor of v(2)?
False
Suppose -3*n - 2*n + 5*t = -130, 3*n + 5*t = 94. Is 27/6*n/6 a multiple of 21?
True
Let d = -9 + 23. Suppose 0 = -4*a + 10 + d. Does 6 divide a?
True
Suppose -5*g - 146 = 5*c - 386, 2*c - 96 = 2*g. Is 12 a factor of c?
True
Let l(o) = -o**2 - 3*o. Let i be l(-3). Let j be (1 - i)*(2 - -4). Does 13 divide (148/6)/(4/j)?
False
Suppose 46 = 2*k + 2*u, 0 = 3*k + u - 75. Let i = k + -2. Is i a multiple of 10?
False
Suppose -13*a - 2*a + 495 = 0. Is 11 a factor of a?
True
Let v = 0 + 10. Does 4 divide v?
False
Suppose -5*y + 186 + 164 = 0. Does 24 divide y?
False
Suppose 20 + 300 = 4*h. Suppose 0 = 4*z + 3*d - 77, 5*z - h = -5*d + 15. Is z a multiple of 20?
True
Let v be (1 + -2)*-1 - 5. Does 4 divide (v/5)/((-8)/100)?
False
Let t = 49 - 39. Does 10 divide t?
True
Suppose 17*v + 1826 - 4546 = 0. Does 26 divide v?
False
Suppose -f + 4*z + 33 = -81, -5*f = 3*z - 455. Is f a multiple of 21?
False
Let b = 67 - -21. Let j = b + -40. Is j a multiple of 12?
True
Suppose 3*u + 18 = 2*l, -l + 2*u - 9 = 5*u. Suppose l*b - 4*b = -38. Is 27 a factor of b?
False
Let n = -58 - -101. Is 9 a factor of n?
False
Let g(j) = 9*j + 4 + 0*j**2 - 2*j**2 - 3*j**2 + 6*j**2. Does 7 divide g(-10)?
True
Suppose 2*z + 5*y = -2*z + 217, z - 5*y = 73. Does 12 divide z?
False
Let r(f) be the second derivative of f**4/4 - f**3 + 2*f**2 - f. Is 18 a factor of r(5)?
False
Let i = -4 + 5. Let a be 0 + i + -2 - 7. Let f = a + 35. Is 21 a factor of f?
False
Suppose -5*w = -4*w - 5. Is w a multiple of 4?
False
Let u = -4 - 1. Let p(v) = -v - 3. Let w be p(u). Suppose 4 - 16 = -w*o. Is 6 a factor of o?
True
Let a = 73 + -37. Does 9 divide a?
True
Suppose -f + 140 = 3*f. Does 7 divide f?
True
Suppose -14 = 5*i - 2*o - 4, -36 = 4*i + 4*o. Let g = 10 + i. Is g a multiple of 6?
True
Let f(p) = -2*p - 3*p - 2*p - 6 + 3*p. Is f(-7) a multiple of 9?
False
Let f = -1 - 0. Let c(r) = 20*r**2 - r - 1. Is c(f) a multiple of 10?
True
Suppose -4*c = -4*a - 60, -41 = -3*c + 2*a + 2*a. Is c a multiple of 3?
False
Suppose -4*a + a = 2*z - 12, -5*a + 22 = 4*z. Let h = z - -1. Let k = h - -8. Is 6 a factor of k?
True
Suppose -6 = -5*l + 3*l. Let b be (3/l)/(-1) - -43. Let n = -24 + b. Is n a multiple of 7?
False
Let r(j) = 