 = 7 - 3. Suppose v*y = c - 96 + 267, -3*c = 4*y - 159. Is y a multiple of 21?
True
Let b(s) = -2*s - 5. Let f be b(-7). Suppose 135 = f*i - 6*i. Is i a multiple of 9?
True
Let z be -1 - (-14)/((-6)/3). Let q(a) = a**2 + 8*a + 11. Is 11 a factor of q(z)?
True
Let i be 2/(-9) + 202/18. Suppose 4*k = i + 5, -2*j - 3*k + 14 = 0. Is (j - 3) + (-1 - -6) even?
False
Let u(p) = p**3 - 7*p**2 - 8*p + 4. Let g be u(8). Suppose t + 5*h = 2*t - 36, 0 = 2*t - g*h - 60. Is 9 a factor of t?
False
Let a be ((-96)/(-10))/(22/(-1705)). Does 17 divide a/(-22) + 4/22?
True
Suppose 5*a - 56 - 114 = 0. Suppose r = 3*k - 1, -2*r = -0*r + 4*k - 38. Let j = a - r. Is 6 a factor of j?
False
Suppose -3*l = -252 - 228. Suppose 16*h - 11*h - l = 0. Is 12 a factor of h?
False
Suppose -g - 13 = -2*z, 0 = -3*g + z + 4*z - 36. Let w(n) = n**2 + n + 10. Is 8 a factor of w(g)?
False
Let x = 30 - -25. Does 33 divide x?
False
Suppose -5*q = -6*q + 57. Is 6 a factor of q?
False
Suppose 73 + 629 = 13*f. Is 17 a factor of f?
False
Suppose -2*j = -5*j - 3*p + 6, -20 = -5*p. Is j*(885/(-6))/5 a multiple of 21?
False
Let k(b) = 19*b + 2. Is k(1) a multiple of 7?
True
Let f(v) = v**2 - 2*v + 60. Let m be f(0). Suppose 20 = -c + m. Is 6 a factor of c?
False
Suppose 0*z = 2*z - 132. Is 25 a factor of z?
False
Let d(o) = o**3 + 14*o**2 + 13*o + 7. Let u be 2*13*8/(-16). Does 2 divide d(u)?
False
Let z(d) = -11*d - 16. Does 35 divide z(-7)?
False
Let l = -12 - -13. Is l/(-3) - 275/(-15) a multiple of 5?
False
Suppose -x - 3*x + 8 = 0. Suppose -17 + 3 = -x*k. Let v(u) = -u**2 + 9*u + 1. Is 15 a factor of v(k)?
True
Let b = 2 - 4. Let g = 7 + b. Is 3 a factor of (2 - g/3)*15?
False
Let y be ((-48)/10)/((-6)/20). Let b be 15/5 - -1*1. Let z = y - b. Is 12 a factor of z?
True
Let g = -12 - -36. Is -2 + 1 - (0 - g) a multiple of 7?
False
Let x = 9 - 5. Suppose 0 = v + 2*a + x + 4, 12 = -3*a. Suppose 0 = 3*s - 0*s - 5*m - 77, v = -5*s + 4*m + 124. Is 9 a factor of s?
False
Let p be 466/8 + (-1)/4. Suppose -4*n - 150 + p = 4*h, 2*h - 14 = n. Let o = n - -44. Does 12 divide o?
True
Let v(c) = c**3 - 3*c**2 + 2*c - 1. Let t be 2*1/(6/9). Let i be v(t). Suppose -84 = -3*j + i*g, 0*j - 54 = -2*j + 4*g. Is 11 a factor of j?
True
Let w(f) = f**3 + 7*f**2 + f + 8. Let j be (2 - (-1 + 2)) + -8. Let a be w(j). Let z = a - -15. Is 9 a factor of z?
False
Suppose 4*h = 9*h - 85. Is 15 a factor of h?
False
Suppose -3 - 22 = -5*v. Suppose -5*i - 2*l - 12 = 5, -5*l + 45 = -v*i. Is 13 a factor of (-53)/(-2) + i/10?
True
Suppose 2*w + 8 = -2*w. Let m be -2 + (w - -3) + 5. Suppose -g - 4 + 22 = -d, -d - 72 = -m*g. Is 9 a factor of g?
True
Does 4 divide 3/15 - 117/(-15)?
True
Suppose -4*l = -2*q + 68, 4*l = -3*q + 7*l + 93. Is q a multiple of 5?
False
Let n = -4 + 38. Is 17 a factor of n?
True
Suppose k - 14 = -0*k. Let f = k + 2. Does 8 divide f?
True
Let t = -5 - -11. Let s be t/4*2*1. Let p(i) = 12*i + 1. Does 20 divide p(s)?
False
Suppose 12 = -0*n - 3*n. Is 9 a factor of 260/14 + n/7?
True
Suppose 4*k + 35 = 9*k. Does 7 divide k?
True
Let u be 2 + (0 - 0)/1. Suppose 0*z + z = u. Suppose -5 = -z*g + 3. Does 4 divide g?
True
Suppose i = 3*i - 12. Is i a multiple of 5?
False
Suppose -7*x = 26 - 516. Does 5 divide x?
True
Does 7 divide (4/(-6))/((-2)/54)?
False
Suppose n - 5 = -2. Suppose n*f - 174 = -15. Is f a multiple of 15?
False
Suppose -5*b + 5*z = -2*b - 14, 16 = -4*z. Let f be (b - (2 + -1)) + 4. Let t = f - -2. Does 3 divide t?
True
Suppose 3*m = 5*p + 209 - 1377, -5*p + 4*m + 1169 = 0. Is 27 a factor of p?
False
Is 10/((-2)/4*-1) a multiple of 5?
True
Let k(j) = 7*j + 3. Is 25 a factor of k(11)?
False
Suppose 3*u - 50 = 49. Does 20 divide u?
False
Let y(b) = -2*b**2 + 3*b - 2. Let i be y(2). Does 2 divide (-10)/i + (-1)/2?
True
Let f be 1*(-24)/(0 + 3). Let b(h) = h**2 + 7*h + 9. Is 9 a factor of b(f)?
False
Let c be (-118)/3*9/(-6). Suppose -5*w + 115 = -320. Let v = w - c. Is 10 a factor of v?
False
Let n = 80 - 57. Is 8 a factor of n?
False
Let f(z) = 44*z**2 + z - 1. Let t be f(1). Suppose 5*h - 2*c - 48 = -c, -5*h + 3*c = -t. Is h a multiple of 10?
True
Let c be (-2)/3 + (-8)/6. Let d = 8 - 9. Is 6 a factor of (24 - 0)*d/c?
True
Let r(s) = s**3 + 14*s**2 - s - 11. Let v be r(-14). Suppose -3*y = h - 2*y - 21, 51 = 3*h - v*y. Does 19 divide h?
True
Suppose 3*s - 655 = -2*s. Is 23 a factor of s?
False
Let z(i) = -89*i - 2. Is z(-2) a multiple of 43?
False
Let j(z) = -12*z**2 + 0 + 11*z + 5 - 1 + 3 + z**3. Is 3 a factor of j(11)?
False
Suppose 3*q - 4*x - 7 = 9, 4*x = 2*q - 12. Suppose 2*a = -q*z + 86, 0 = a - 3*a - 2*z + 86. Is a a multiple of 11?
False
Let d(f) = 3*f**2 + f + 8. Let g(b) = -4*b**2 - 2*b - 8. Let v(h) = 3*d(h) + 2*g(h). Does 9 divide v(6)?
False
Suppose 124 = 3*y - d, -2*y = 5*d + 12 - 72. Is y a multiple of 20?
True
Let q = 31 - 19. Is 3 a factor of q?
True
Suppose 2*g + 26 = a, -4*g = a + 8 - 52. Is a a multiple of 28?
False
Let b = 14 + 12. Does 6 divide b?
False
Suppose 0*l + 4*l - 104 = 0. Let t = l + -11. Does 12 divide t?
False
Suppose 0 = -2*r - 2*m - 0 + 4, -17 = 4*r - m. Let s be r/(-6) - 9/2. Does 2 divide 8 + s + (-2)/(-2)?
False
Let q = -10 - -26. Does 8 divide q?
True
Let b(u) = -u**3 + 6*u**2 + 6*u + 8. Is 32 a factor of b(6)?
False
Is 22 a factor of 356 - ((-4)/32 + 23/(-8))?
False
Let f = 7 - -1. Let l = 8 + f. Does 8 divide l?
True
Let z(x) = x**3 + x**2 + 2. Let u be z(0). Suppose b + 58 = o, u*b + 221 = 3*o + 51. Suppose 0 = 2*t - 5*t + o. Is 9 a factor of t?
True
Let a(b) = -46*b + 1. Let d be a(-6). Suppose d = 5*i - 4*k + 2*k, -i + 5*k = -60. Is i a multiple of 23?
False
Let d(w) = -2*w - 3. Let t(b) be the second derivative of b**4/12 - 3*b**3/2 + b**2/2 - b. Let y be t(8). Is 11 a factor of d(y)?
True
Suppose 3*g + 0*d + 5*d - 109 = 0, 3*d - 127 = -4*g. Suppose -4*u = -y - g, 4 = 4*u + 4*y - 24. Is 7 a factor of u?
True
Is -2 - (-1)/(-3)*1143/(-3) a multiple of 26?
False
Suppose 5*f - 8 = -3. Suppose -x - 3*w = 6, 2*x - f = w + 1. Does 4 divide 5*(8/5 + x)?
True
Let d(i) = i + 8. Let k be d(-11). Let s = 6 + k. Is s + 2 + 2 - 3 even?
True
Suppose 0 = i + 2, 4*q - 338 = 5*i. Does 14 divide q?
False
Let u(l) be the first derivative of -l**6/360 + l**5/20 + l**4/3 - l**3/3 + 1. Let a(b) be the third derivative of u(b). Is 4 a factor of a(6)?
True
Let p(v) = -2*v**3 - 6*v**2 - v + 7. Does 10 divide p(-4)?
False
Let r = 250 + -89. Is r a multiple of 23?
True
Suppose 3*g - 5*p - 62 = 132, 5*g - p = 294. Suppose 4*f - 256 = -4*k, -2*f + 4*k - g = -186. Is 32 a factor of f?
True
Let m = -19 + 24. Suppose 2*j - 6*j = 5*w - 70, -3*j + 75 = m*w. Does 9 divide w?
True
Let q = 21 - -1. Is 6 a factor of q?
False
Let f(t) = t**3 - 3*t**2 - 8*t + 4. Suppose 4*d = b - 6*b + 9, -5*b = d - 21. Let c be f(b). Suppose c = 5*x - 1. Does 3 divide x?
True
Let t(q) = 3*q - 1. Let g(h) = h**2 - 6*h - 11. Let k be g(8). Let y be t(k). Let w = y + 0. Is w a multiple of 12?
False
Suppose 0 = -c + 2*l + 8 + 8, 3*c - 45 = 3*l. Is c a multiple of 14?
True
Suppose 5*a = 7*k - 2*k - 30, 4*a + 3 = k. Let u(t) = 2*t - 8. Let q be u(k). Suppose -r + 10 + q = 0. Is r a multiple of 8?
True
Let g be 2 - (0/3 - 3). Suppose 3*q + 5*t = 181, g*t - 243 = -7*q + 3*q. Suppose 26 = 4*p - q. Does 9 divide p?
False
Let i be ((-1)/1 + 2)*-17. Suppose 5*d - d = -5*h + 29, 0 = 4*d + 4*h - 24. Does 13 divide d/(2 - 3)*i?
False
Let b(v) = v - 1. Let r be b(1). Let i = 32 + -30. Suppose -2*q + y + 32 = 0, -i*y - 2*y - 16 = r. Does 14 divide q?
True
Let z be ((-2)/(-4))/((-1)/(-162)). Suppose 0 = 3*d - w - z, -4*w + 249 = 5*d + 97. Suppose a + d = 2*a. Is 14 a factor of a?
True
Let a be ((-26)/8)/((-2)/56). Let c(o) = -o**3 - o - 5. Let z be c(-4). Let s = a - z. Is 14 a factor of s?
True
Suppose h + 2*h = 204. Suppose -5*u = 5*i - 85, u - 2*u = -4*i + h. Does 3 divide i?
False
Suppose 5*a = 580 - 150. Is a a multiple of 12?
False
Let d(u) = 11*u**2 + 5*u - 3. Is d(-3) a multiple of 9?
True
Suppose -10*t - 989 = -2889. Does 12 divide t?
False
Let x be (-4)/(-2) + (10 - 7). Suppose x*o = 3*j - 2*j - 53, -167 = -4*j + 5*o. Is 13 a factor of j?
False
Suppose 4*m = 3 + 1. Suppose t = 3*c, -2*c + t = -2 + m. Let l = 7 - c. Does 6 divide l?
False
Let u(d) = 1. Let k(m) = m + 8. Let y(o) = k(o) + 2*u(o). Let w be y(7