
Let q be (1 + -3)*15/(-6). Suppose 126 = 2*z - 3*l - l, 348 = q*z + l. Is 23 a factor of z?
True
Let b(z) = -z**3 + 15*z**2 - 5*z + 80. Is 2 a factor of b(15)?
False
Let p(v) be the second derivative of v**6/360 + v**5/20 - v**4/24 - v**3/3 + 2*v. Let x(c) be the second derivative of p(c). Is 6 a factor of x(-7)?
True
Let u = 206 + -138. Is 16 a factor of u?
False
Let t(u) = u**2 - u + 7. Is t(0) a multiple of 7?
True
Is 18 a factor of (-12)/4*50/(-6)?
False
Let u(g) = g**3 + 6*g**2 + g + 3. Let c be u(-5). Suppose 4*p + 31 = 3*o - c, 3*o - 3*p = 51. Does 5 divide o?
False
Let y(p) = 3*p. Let l be y(4). Let d be 4/l - (-95)/3. Suppose -d = -3*h + 70. Is 17 a factor of h?
True
Suppose -5*k + 0*k + 10 = 0. Suppose y + 9 = -2*y, 2*l - k*y = 240. Suppose -3*u = -0*u - l. Is u a multiple of 13?
True
Let j(i) = 3*i + 11. Let l = 21 - 12. Is 14 a factor of j(l)?
False
Let r = -29 + 61. Is r a multiple of 32?
True
Let y = -91 - -140. Let d = y + 70. Suppose -4*s = -0*v - 5*v - 89, 4*s + 5*v = d. Does 14 divide s?
False
Let b(h) = -h**2 + 4*h + 5. Let s be b(5). Suppose w - 3 - 33 = s. Is 18 a factor of w?
True
Let m be -2 + (-12)/(-3) - 3. Let y be (7 + -6)*(-5 + m). Does 11 divide -2*(-1 - (-75)/y)?
False
Suppose -3*d - 4*m = m - 6, 11 = 2*d + m. Let g = d - -1. Suppose 0 = -0*v + 2*v - g, 5*w + v = 94. Is w a multiple of 7?
False
Let p = 221 - 165. Is p a multiple of 3?
False
Suppose 0*z - 16 = -4*z. Suppose p - z*p = -243. Is 27 a factor of p?
True
Let w = -52 - -35. Let f = -12 - w. Does 3 divide f?
False
Let g(y) = y**3 - 5*y**2 + 4*y - 1. Let t be g(4). Let m = t + 3. Is (m/6)/((-2)/(-174)) a multiple of 10?
False
Let n be (-1)/5 - 18/10. Let j = -2 - n. Suppose 2*f - 2*x = 2*x + 18, j = 5*x - 20. Does 6 divide f?
False
Suppose 5*v + 6 = 2*v. Is 17 a factor of 65 + 4 + v + -3?
False
Let v = 4 + -2. Suppose -5 = 4*y - v*f + 1, -3*y = 3*f. Is 12 a factor of 29 - ((-2)/(-2) - y)?
False
Let o(m) = m - 1. Let y be o(5). Suppose -y*q + 104 = -72. Suppose -4*h + 36 = -q. Is 13 a factor of h?
False
Let d = -6 - 30. Does 20 divide (1*15)/(d/(-96))?
True
Suppose 0 = -2*z, z - 5*z = -2*y + 6. Suppose -90 = -5*h - 5*i, -5*h = -y*i - 82 - 24. Does 5 divide h?
True
Let l(v) = -19*v. Suppose -x - 2*x + 4*t - 21 = 0, 0 = 5*x + 3*t + 6. Is l(x) a multiple of 19?
True
Let w = 10 - 18. Let y = 4 - w. Is 4 a factor of y?
True
Suppose 5*g = 6*g - 2. Suppose 0 = g*n + n. Suppose n*y - 100 = -5*y - 5*h, 2*h = 4*y - 50. Is 15 a factor of y?
True
Let m = -24 + 193. Does 8 divide m?
False
Let d be 2*1 + (-28)/(-4). Let r be d/2 - 5/(-10). Suppose -5*b + 80 = r*g, -18 - 31 = -3*g - 2*b. Is 13 a factor of g?
False
Let k = 8 - 3. Suppose 3*d - k*d = 3*i - 48, 0 = -5*i - 10. Let r = d - 14. Is r a multiple of 7?
False
Let w be 2/(-4) - 8/(-16). Suppose w = 2*q + 24 - 74. Does 10 divide q?
False
Suppose 4*v = -13 - 15. Let m(q) = -5*q - 7. Does 7 divide m(v)?
True
Let t = -23 - -32. Suppose -4*k - t = -k. Let b(v) = -v**3 - 2*v**2 + 2*v + 3. Does 6 divide b(k)?
True
Suppose -s - 18 = 26. Suppose 0 = i - 2*f + 7, 4*i + 5*f - 2*f + 17 = 0. Is 9 a factor of s/6*(i - -2)?
False
Is (-2 - -1 - -14) + 0 a multiple of 7?
False
Suppose 3*o - 338 + 50 = 0. Is 17 a factor of o?
False
Let a be (8/(-10))/(6/(-75)). Suppose i + 0*i = a. Does 7 divide i?
False
Let t(d) = -12*d**2 + 21*d**2 + 4 - 8*d**2 + 3*d. Is t(-6) a multiple of 22?
True
Suppose -n = 2*n - 30. Let w(q) = q**2 - 8*q - 14. Does 4 divide w(n)?
False
Let a(w) = w**3 - 4*w**2 - 5*w + 1. Let u be a(5). Is 30 + -2 + u + -1 a multiple of 10?
False
Let a(n) be the third derivative of -n**4/12 + 2*n**3 + 4*n**2. Is 13 a factor of a(-4)?
False
Suppose 5*x + 8*p = 3*p + 290, -4*p + 116 = 2*x. Does 29 divide x?
True
Suppose 27*x - 20*x - 1302 = 0. Is x a multiple of 22?
False
Suppose -u - 2*o - 8 = -3*o, -3*u - 24 = 5*o. Suppose 0*a + a + 11 = 0. Let n = u - a. Does 2 divide n?
False
Suppose 2*g = 4*o + 166 - 10, 0 = 4*g - 3*o - 322. Is g a multiple of 23?
False
Suppose 86 = s - 16. Does 23 divide s?
False
Let h = -77 + 115. Let a(r) = -r + 26. Let o be a(0). Let c = h - o. Does 6 divide c?
True
Let h(p) = p**2 - 8*p + 3. Let v be h(8). Suppose -v*u = -45 - 33. Suppose -u = -2*b + 12. Does 19 divide b?
True
Is 5 a factor of (-2)/14 + (632/14 - 1)?
False
Let z = 253 + -110. Does 13 divide z?
True
Suppose 0 = -z + 6*z - 65. Is 13 a factor of z?
True
Suppose 8 = -p + 3*p. Suppose 0 = -p*u + 3*u + 31. Does 12 divide u?
False
Is (-162)/(-48)*-2*(-16)/6 a multiple of 6?
True
Suppose 6 = -6*s + 78. Is s a multiple of 2?
True
Suppose -4*p + 0*p - a = -287, -4*p + 275 = -3*a. Does 17 divide p?
False
Let f(o) = o + 4. Let a be f(-6). Let h = a + 13. Is 11 a factor of h?
True
Is 2 a factor of (3 - 2)/(((-5)/125)/(-1))?
False
Let t = 160 + -113. Let j = t - 29. Is j a multiple of 11?
False
Let v = 2 - 0. Suppose -5*r + 6*r + 4 = -v*s, r - 5*s = 31. Is r a multiple of 6?
True
Let r = 6 - 3. Suppose -5*m + q + 22 = -3*q, -4*q = -8. Suppose r*t + 15 = m*t. Is 3 a factor of t?
False
Let s(q) = q**2 + 16*q + 20. Is 12 a factor of s(-17)?
False
Suppose -2*o - 5 = 2*x + 3, 0 = -4*o + 3*x - 16. Let q = o - -8. Is 1/q + 47/4 a multiple of 6?
True
Let f be -1 + (0 - -1 - 20). Let b = 35 + f. Is 4 a factor of b?
False
Let i(h) = -h - 6. Let x be i(-6). Suppose -2*r + 243 - 83 = u, x = 3*u - 5*r - 425. Suppose b - u = -4*b. Does 15 divide b?
True
Let h(a) = -a**3 + 7*a**2 + 3. Suppose 0 = 2*q - m, 2*q - m = -3*q. Suppose q = 5*b - 49 + 19. Does 10 divide h(b)?
False
Suppose 36 = -2*o + 182. Is 14 a factor of o?
False
Let q be (1 - 0)/((-1)/(-54)). Is (-76)/(-18) - 12/q a multiple of 4?
True
Let g(f) = f**2 - f - 14. Let c be g(-5). Suppose -3*t - c = -5*t. Is t a multiple of 8?
True
Suppose 3*v - 41 = 49. Does 30 divide v?
True
Let c(t) = t**3 - 8*t**2 + 6*t + 3. Let x be c(5). Is 21 a factor of 1/2*-1*x?
True
Suppose -4*p + 37 = u, -4*u + 4*p - p = -186. Is 15 a factor of u?
True
Suppose -2 = w - 2*w. Suppose 85 = 5*l - 3*s, 45 = w*l + l - 3*s. Does 5 divide l?
True
Suppose 0 = -2*j + 9 + 19. Let h = j - -71. Let a = h - 56. Is 14 a factor of a?
False
Suppose 0*v + 2*i + 28 = v, -5*v + 2*i + 108 = 0. Suppose -2*b - 2*b = -v. Is 5 a factor of b?
True
Suppose 4*z - z - 1527 = 0. Suppose z = 5*u + 2*a, -4*a + 132 = 5*u - 381. Suppose -2*t = -u + 15. Is 12 a factor of t?
False
Let v = 38 - -22. Is v a multiple of 4?
True
Suppose -u + 1 + 44 = 0. Let l = u - 0. Is l a multiple of 15?
True
Suppose -3*t + 3*p + 5 = 2*t, 3*p = -t + 19. Suppose 0 = -t*k - k + 5, 2*h = -k + 11. Suppose 78 = -2*l + h*l. Is 16 a factor of l?
False
Suppose 3*z + 4 = 5*i, -4*i - 16 = z + 3*z. Let s(u) = 3*u - 3. Let k(c) = -5*c + 6. Let a(f) = -6*k(f) - 11*s(f). Is 6 a factor of a(z)?
True
Suppose -w + 8 = -5. Does 13 divide w?
True
Suppose -5*b - 7 = -4*z, 5*z + 7 + 18 = -5*b. Is 7 a factor of 10/1 - (b + 4)?
False
Let t be 0 + -1 + (-24)/(-2). Let q(y) = -y**2 - 10*y - 8. Let r be q(-6). Let c = r - t. Does 5 divide c?
True
Let a(t) = t**3 + 6*t**2 - 2*t + 7. Let n be a(-7). Is n/(-6)*(-9)/(-3) a multiple of 6?
False
Let o(g) = -5*g. Let i be o(-1). Suppose -5 - 25 = -3*d. Let b = d - i. Does 3 divide b?
False
Let n(p) = p - 2. Let z be n(5). Suppose -5 - z = -2*f. Suppose 24 = -f*l + 104. Is l a multiple of 7?
False
Let f(r) = 65*r**2 + 2*r + 1. Is 16 a factor of f(-1)?
True
Suppose -2*b + 56 = 2*j, 5*b = -0*j - 2*j + 131. Does 23 divide b?
False
Suppose -2*t + t + 2 = 0. Let c be -2*(3 - 1)/(-2). Suppose -t*i + 2 = c*k, -4*i + 5 = 3*k - 1. Is i even?
False
Suppose 0 = -3*u + 2*u + 4. Suppose u*t - 15 = -t. Is ((-52)/t)/((-6)/9) a multiple of 7?
False
Let p = 42 - 17. Does 5 divide p?
True
Suppose 0 = 4*k - 5*b - 219, 0*k - k = 4*b - 39. Does 17 divide k?
True
Suppose 5*w - 234 = -44. Is 12 a factor of w?
False
Suppose -3*a - 3*g + 30 = 0, 4*a - 54 = 3*g - 0*g. Suppose -a - 9 = -d. Is d a multiple of 7?
True
Suppose 5*b = b + 60. Is 15 a factor of b?
True
Suppose -5*a - 3*c = -6*c - 16, -5*a + 10 = -5*c. Does 2 divide a?
False
Suppose -4*j = 12, 4*h = 2*j - 4*j + 38. Does 11 divide h?
True
Suppose -75 = -5*s + 5*y, -5*s + 67 = -4*y + y. Does 11 divide s?
True
Suppose 0*n = -4*n + 160. Is 11 a factor of n?
False
Let k = 1 + 1. Suppose p - 32 = 2*i, 5*i + k*p + 2*p + 67 = 0. Let 