. Suppose 30 = s - x*s. Is s a multiple of 14?
False
Suppose -57 = -p + 3*l, 2*p + 0*l - 98 = 2*l. Is p a multiple of 21?
False
Suppose 0 = 4*y + z - 87, -4*z - 1 - 3 = 0. Suppose -n + 3*g = -35, -g = 3*n + 2*g - 93. Let s = y + n. Is 15 a factor of s?
False
Let x = -15 - -15. Suppose x = -4*v + t + 201, -5*v + 167 = 3*t - 80. Does 13 divide v?
False
Let q be (-2)/(-4) - (-9)/6. Is 147/6 - q/4 a multiple of 12?
True
Suppose 198 = 4*r + 30. Let h = -2 + r. Is h a multiple of 14?
False
Suppose -5*b + 34 = -51. Let n be (-38)/(-8) + 2/8. Let r = n + b. Is 22 a factor of r?
True
Suppose 0 = 3*j - 8 - 7. Suppose -m - 5*u + u = 12, -5*m + j*u = 10. Let g(i) = i**2 - 2*i - 4. Is 11 a factor of g(m)?
False
Let w(p) = 5*p - 15. Is 15 a factor of w(6)?
True
Suppose -9 = -2*n + 3*u - 0*u, 3*n = -5*u + 4. Is 2 a factor of n?
False
Let b(u) = 6*u**3 + 19*u**2 - 7*u + 19. Let w(r) = -3*r**3 - 9*r**2 + 3*r - 9. Let v(n) = 6*b(n) + 13*w(n). Is 15 a factor of v(-2)?
True
Let l be ((-14)/4)/(2/4). Let j be (-2)/7 - (-61)/l. Does 4 divide (-2 + 1 - j)*1?
True
Let y be 11*2*(-12)/(-8). Suppose 2*g = 2*h - 3*g - y, 2*h - 25 = -3*g. Is h a multiple of 4?
False
Let f(b) = b**2 - 4*b + 3. Is f(5) a multiple of 4?
True
Suppose -4*n = 2*a - 18, -n - 4*a = -0*n - 8. Is 1015/25 + n/10 a multiple of 19?
False
Let h(b) = -2*b - 12. Let p be h(-9). Let x(z) be the third derivative of -z**6/120 + 2*z**5/15 - 5*z**4/12 + 4*z**3/3 - z**2. Is 8 a factor of x(p)?
False
Let j = 38 - 11. Let u(v) = -3*v + 8. Let s be u(8). Let b = j + s. Does 11 divide b?
True
Let m(n) be the third derivative of -15*n**4/8 - n**3/6 + 3*n**2. Suppose -h - 5 = -4. Does 22 divide m(h)?
True
Let j(t) = -t. Let k be j(0). Suppose 0 = -2*z - 2*b - 6, k*b - 2*b = -3*z + 16. Suppose 0 = g - 4 - z. Is g a multiple of 3?
True
Suppose 2*z = -2*n + 6, -z = -4*n + z - 6. Suppose -i = -n*i + 1. Let q = i + 15. Is q a multiple of 7?
True
Does 6 divide ((-6)/(-7))/((-11)/(-385))?
True
Suppose 0 = 3*m - 15, 5 + 5 = 5*a - m. Suppose 0*y - 30 = -a*u - 3*y, y = 4*u - 15. Is u*(-2)/(-1 + -1) a multiple of 4?
False
Suppose -3*a = -b - 37, -a = 2*b + a + 82. Let u = -21 - b. Suppose -5*g + 71 = -u. Does 13 divide g?
False
Let c = 134 + -120. Does 7 divide c?
True
Is (-923)/(-26) - (-2)/4 a multiple of 7?
False
Let c = 189 + -41. Does 10 divide c?
False
Suppose -2*a = 5*x - 6, -2*x + 5*x = -a + 2. Is (-80)/(-2) - (-11 + a) a multiple of 18?
False
Let f(s) = -61*s - 4. Is 8 a factor of f(-1)?
False
Let r(l) = l + 11. Let s be 2 - (-1 + -19)/(-2). Let p be r(s). Is 16 a factor of (2/p)/(5/240)?
True
Let w(s) = s**2 + 6*s - 8. Let p be w(-6). Let k = 14 + p. Is k a multiple of 3?
True
Let g be ((-8)/(-3))/((-2)/(-6)). Suppose g = -6*i + 2*i. Does 12 divide 1*(2 + i) + 15?
False
Let b(l) = l**2 + l + 1. Let x(v) = v**3 - 14*v**2 - 18*v - 3. Let i(y) = -5*b(y) - x(y). Is 7 a factor of i(10)?
True
Let z(b) = -b**2 + 8*b + 2. Let d be z(8). Suppose 3*i = -d*i + 100. Is 10 a factor of i?
True
Let d be 383/11 - 4/(-22). Let t = d + -9. Is t a multiple of 13?
True
Let m be (-4)/(-10) + (-603)/45. Let y = 22 + m. Does 9 divide y?
True
Let z(w) = -w + 3*w**3 + w**3 + 7*w - 3 - 3*w**3 + 9*w**2. Let i be z(-8). Does 6 divide -2*i/(-4)*2?
False
Suppose -15 = 5*z, 5*k - k - 5*z = 35. Suppose 0 = 3*x + 2*r + 37, -4*r + 26 = -2*x - k*r. Is 5 a factor of 0/(3/3) - x?
True
Let t(o) = 3*o**2 - 2*o - 3. Let u(p) be the first derivative of p**4/4 + p**3/3 - p**2 - 2*p - 2. Let b be u(-2). Is 5 a factor of t(b)?
False
Let w(d) = -14*d**3 - 21*d**2 - 33*d - 50. Let h(b) = 5*b**3 + 7*b**2 + 11*b + 17. Let t(k) = 17*h(k) + 6*w(k). Is 8 a factor of t(9)?
False
Let g = -39 + 38. Suppose 0*q - 3*q = 3. Is 6 a factor of q + g + 15 + -1?
True
Suppose -3*c = 4*h - 13, -1 - 7 = -c - 5*h. Let k = c - 1. Is 7 a factor of k - -9 - -2 - -1?
True
Does 17 divide 14/(-91) + 886/13?
True
Is 5 a factor of (54/7)/(3 + 140/(-49))?
False
Suppose 2*r + 42 = 3*p + 208, -5*p = -3*r + 250. Is r a multiple of 16?
True
Suppose -2*p = -y + 3*p + 13, -2*y - 2*p = -2. Suppose u + y*c = 12, 3*c = -c - 8. Is 9 a factor of u?
True
Suppose -5*d - 1 + 11 = 0. Is ((-12)/3)/((-1)/d) a multiple of 6?
False
Suppose 0 = -2*j + 4, 0*k = 3*k - 5*j - 62. Does 16 divide k?
False
Let z(p) = -p**3 + 9*p**2 - 6*p + 2. Let c(g) = g**3 - 10*g**2 - 11*g + 8. Let f be c(11). Is z(f) a multiple of 9?
True
Suppose -2*q + 1 + 5 = 0. Suppose 4*s = -0*s + 2*c + 676, -s = -q*c - 174. Suppose -3*k + s = k. Is 14 a factor of k?
True
Let c be (-4 - -2) + 3/1. Does 5 divide ((-10)/(-4))/(c/2)?
True
Suppose c - 11 = 21. Let b = 16 - c. Is 92/b*(-8)/2 a multiple of 8?
False
Let u be 2*(-1 + 107/2). Let s(o) = o**3 + 3*o**2 + 2*o + 3. Let r be s(-2). Suppose 0 = -r*y - 2*y + u. Is 20 a factor of y?
False
Suppose 28*b - 2937 = 17*b. Is 31 a factor of b?
False
Suppose 0*m = -2*m. Suppose m*q - 5*q + 95 = 0. Suppose 0 = -0*l + l - q. Is 12 a factor of l?
False
Let t(j) = -6*j - j**3 + 0*j + 11*j**2 - 5 + 5*j - 8*j. Let h be t(10). Suppose 181 = 3*r - m, -h*r - 4*m + 309 = -2*m. Is 17 a factor of r?
False
Let m = -48 - -170. Does 16 divide m?
False
Suppose 4*o - 4*r = 124, -5*o - 8*r + 155 = -3*r. Suppose -o = -s + 8. Is s a multiple of 10?
False
Let c(m) = -m**2 + 8*m - 2. Let f(g) = 4*g**2. Let w(i) = -i**2 + i. Let x(h) = f(h) + 5*w(h). Let b be x(3). Does 5 divide c(b)?
True
Suppose 24*z + 3321 = 33*z. Is z a multiple of 41?
True
Let q = -16 - -49. Does 11 divide q?
True
Let s(k) = -3*k + 0*k + 0*k + k**2 + 7. Does 5 divide s(5)?
False
Suppose 3*a = -2*a - 2*w + 37, -2*a - w = -14. Does 6 divide a/12 - (-69)/4?
True
Suppose -5 = -5*n, 0 = -6*t + 2*t + 3*n + 453. Suppose -4 = 5*m - t. Is m a multiple of 13?
False
Let q = 32 - 30. Let c(l) = 3*l - 1. Let v be c(2). Suppose q = -j + v. Is j a multiple of 3?
True
Let k(l) = -14*l - 2. Is 49 a factor of k(-11)?
False
Is 8 a factor of (6/(-4))/((-6)/152)?
False
Suppose -188 = 5*m - 1103. Suppose 4*g + 19 = m. Is 24 a factor of g?
False
Suppose 0 = 3*s - 23 - 292. Is 5 a factor of s/6 - 2/4?
False
Let r(c) = -c**3 + 5*c**2 - 2*c + 4. Let a be r(4). Does 15 divide -30*(a/(-8))/3?
True
Let w = 101 - 67. Is w a multiple of 14?
False
Let a(m) be the first derivative of m**3/3 + 3*m**2/2 + m + 2. Let s be a(-2). Let g(t) = -29*t. Does 10 divide g(s)?
False
Let b(y) = 11*y**2 - 2*y - 2. Let d be b(2). Suppose -d = 5*n + 4*o, 2*o - o + 8 = -n. Let f = 3 - n. Does 9 divide f?
True
Suppose b - 3*l + 18 = 0, -8*b - 5*l - 4 = -4*b. Let x be (220/b)/(2/(-6)). Suppose -3*d - 5*j + x = 2*d, -d + 16 = 3*j. Is 16 a factor of d?
False
Let i(w) = -w**3 + 2*w**2 + 3*w + 2. Let s be i(3). Suppose s*h - h - 5 = 0. Is 5 a factor of h?
True
Suppose 4*b + 512 = 2*n + 148, -n = -3*b - 272. Does 20 divide ((-20)/(-30))/((-1)/b)?
True
Let m be (-3 - -5) + (0 - -3). Suppose m*a = 3*a + 6. Is a even?
False
Let d be (-35)/1 - 1 - -3. Suppose 5*j = 2*j. Does 14 divide j*(1 - 2) - d?
False
Let f = 22 + -14. Is f even?
True
Let c(i) = 2*i - 1. Let h be c(-2). Let b = h - -5. Suppose b*d + 2*d = 30. Does 9 divide d?
False
Suppose 6 = -5*z + 2*z. Suppose -2*k - k + 6 = 0. Is 6 a factor of 14 - z/2 - k?
False
Suppose -5*d + 7*d = 124. Does 11 divide d?
False
Let z(d) = -d**3 + 32. Let l be (-2)/4 + 2/4. Is 17 a factor of z(l)?
False
Let w = 24 + 24. Let i(u) = u**2 + 11*u + 5. Let m be i(-8). Let d = w + m. Is d a multiple of 12?
False
Let m = 11 + -2. Is 9 a factor of m?
True
Let y(z) = z**2 + 8*z + 10. Suppose -7*r = -2*r - u + 50, 0 = 3*u + 15. Is 15 a factor of y(r)?
False
Let l be 21/4*384/6. Suppose l = 5*c + 96. Is 16 a factor of c?
True
Suppose c + 3*c = 12. Let z(o) = 2*o**3 - 4*o**2 + o + 3. Is z(c) a multiple of 12?
True
Suppose -4*h - 10 = -5*n, -4*n + h + 3*h + 8 = 0. Let u be -1*(-2 - n/(-1)). Suppose -a = -u*a - 14. Is 5 a factor of a?
False
Suppose -5 = w + 3. Let d(p) = p**3 + 9*p**2 + 5*p - 10. Does 14 divide d(w)?
True
Let h be 2/7 + (-33)/(-7). Let q be (2 - 1) + 8 + -1. Let i = q - h. Is i even?
False
Suppose -10 = -4*l - l. Suppose 3*o - 4*j + 6 = -j, -j = o - 6. Suppose -3*f + 102 = 4*x, 6*f + l*x = o*f + 126. Is f a multiple of 15?
True
Let k = -8 - -16. Suppose 0 = -4*b - k, b + b + 369 = 5*v. Suppose 3*s = v - 13. Does 20 divide s?
True
Does 3 divide 6*((-28)/(-8))/7?
T