s be u(7). Suppose -4*i + z + 54 = s, 3*z = -0*i - 2*i + 34. Is 12 a factor of i?
False
Suppose -5*p + 11 = -4, -5*p + 19 = 2*b. Let n(g) be the third derivative of g**5/20 - g**4/6 + g**3/3 + 2*g**2. Is 3 a factor of n(b)?
True
Let l = 182 - 99. Suppose f = -3*u + 49, l = 3*u + 2*u + 2*f. Is (-1 - u)*2/(-4) a multiple of 3?
False
Let z(g) = 7*g**3. Let x be z(1). Let w = x - 5. Suppose m - 36 = -w*m. Is 12 a factor of m?
True
Let m = 3 + 5. Is m a multiple of 4?
True
Let r be -1 - -2 - (-4 + -269). Is 6/14 - r/(-14) a multiple of 7?
False
Let c = -11 - -11. Suppose -4*z - z + 230 = c. Does 23 divide z?
True
Let o(z) = -z**3 + 5*z**2 - 2*z + 2. Let r be o(4). Let q(t) = -t**3 + 11*t**2 - 10*t + 14. Is 7 a factor of q(r)?
True
Does 7 divide (0 + -2 - 169)*1/(-3)?
False
Suppose -m = -2*m - 10. Let i = m - -10. Suppose 2*h + 5*q - 22 = i, 2*h + 0*h - 54 = 3*q. Is h a multiple of 7?
True
Suppose 5*y - 10 - 10 = 0. Let k(v) = v**3 - v**2 - 1. Is 14 a factor of k(y)?
False
Let p(t) = t + 14. Let a be p(-11). Is 13 a factor of a/3*(-2 + 15)?
True
Let z(a) = a**3 + 7*a**2 + 9*a + 10. Let k be z(-5). Suppose -25 = -k*b + 10*b. Is 3 a factor of b?
False
Let q(l) = -17*l - 5. Is q(-4) a multiple of 21?
True
Suppose 0 = -2*c + h + 263, 16 = 2*h + 6. Is c a multiple of 11?
False
Let t = 7 - 3. Suppose 0 = q + t*q. Suppose 3*w - h = -q*w + 40, -5*w - 4*h + 95 = 0. Is w a multiple of 15?
True
Does 7 divide 18 + -4*4/(-16)?
False
Let p(n) = -3*n - 1. Let j be ((-4)/(-6))/((-2)/3). Let a be p(j). Let s = 10 - a. Is s a multiple of 8?
True
Suppose 3*f + 32 = 8. Is 19 a factor of (28/f - -4)*114?
True
Let c(w) = -w + 7. Let r be c(7). Let k = 13 - r. Is 13 a factor of k?
True
Let s(k) = 7*k + 6. Let t(d) = d + 1. Let c be (4/(-2))/(1*2). Let g(f) = c*s(f) + 5*t(f). Is 10 a factor of g(-12)?
False
Suppose 50 = 10*u - 30. Is u a multiple of 4?
True
Suppose -3*u = 4*c + u, -5*u = 10. Suppose 14 - 74 = -c*g. Does 15 divide g?
True
Let a be ((-10)/4)/((-3)/6). Suppose 4*p - 328 = 4*q, 0 = a*p - 3*q + 5*q - 417. Suppose 26 = -3*k + p. Does 11 divide k?
False
Let b(t) = t**2 + 14*t + 1. Let h be b(-14). Suppose 2*y = h - 11, x - 37 = 2*y. Is 9 a factor of x?
True
Let t(l) = -2*l + 2*l + l**2 - 4 - 9*l. Suppose z = 7 + 5. Is 14 a factor of t(z)?
False
Let t(n) = -n + 3. Let r be t(0). Let h = r - 0. Suppose -2*f = q + 3*q - 102, -3*q - h*f = -75. Is q a multiple of 13?
True
Let q(x) = x**3 - 3*x**2 - 2*x - 7. Does 23 divide q(6)?
False
Suppose -2*f + 35 = 3*f + 3*k, -5*k + 7 = f. Let u(t) = -t**3 + 9*t**2 - 7*t - 1. Let h be u(f). Suppose -66 = -3*j + h. Is 19 a factor of j?
True
Suppose 0 = -2*y + 6 + 12. Suppose -3*w = 3*k - 0*k - 6, w + 4 = k. Suppose -k*i - y = 0, 4*m + 8*i = 3*i + 89. Is 13 a factor of m?
True
Suppose -63 = -3*d - 5*f, -3*d - 3*f + 6*f + 39 = 0. Does 11 divide (-4)/d - (-354)/8?
True
Let l = -4 - 18. Let g = 26 + l. Is g a multiple of 4?
True
Let m = 2 + -1. Let k be (m - 2/(-4))*16. Does 4 divide k/2*(-2)/(-3)?
True
Let h = -8 - -13. Suppose -h*w + 160 = -w. Does 10 divide w?
True
Suppose -8*b + 702 = b. Does 14 divide b?
False
Let c(a) = 4*a**2 - a - 1. Suppose 4*b + 0*b - 12 = 0. Let j be c(b). Suppose -4*m - j = -6*m. Is 8 a factor of m?
True
Let t(q) = -q**3 - 3*q**2 + 3*q + 2. Let p be t(-4). Suppose d + 3 = p. Suppose 2*v - 4 = 0, 0 = 2*f - d*v - 73 + 19. Is f a multiple of 15?
True
Suppose -4*q + 4*m + 164 = 0, -6*q + 237 = -q + 3*m. Is 15 a factor of q?
True
Let q = -8 - -8. Suppose 0 = 5*h + 3*c - 12 - 18, 5*c - 31 = -2*h. Suppose m + 4*x - 37 + 15 = 0, h*m + x - 33 = q. Does 7 divide m?
False
Let r be (2/7)/((-2)/(-14)). Let u(j) = 2*j**2 + 1 - j**2 + 3*j - 3. Is 8 a factor of u(r)?
True
Suppose p - 10 - 130 = 0. Does 28 divide p?
True
Let l(g) = 15 - 1 + g + 5 + 2. Is l(-11) even?
True
Let u = -5 + 2. Let c(w) = 13*w**2 - 3*w - 4. Let s be c(u). Suppose 14 + 65 = 2*y + z, -5*z = 3*y - s. Does 15 divide y?
False
Let m = -7 - -11. Let q(g) = -g + 9. Does 5 divide q(m)?
True
Let w(l) = -9*l - 26. Let z be w(-15). Let m = -1 + 6. Suppose 136 + z = m*f. Does 19 divide f?
False
Let o be 7 + (-6)/(-3) + -3. Does 13 divide o - 8 - 44/(-1)?
False
Suppose 0 = -3*j - 4*y + 38, -3*j + 0*y = y - 32. Suppose 0 = -3*c + c + j. Is 5 a factor of c?
True
Let n(o) be the second derivative of -o**5/20 + 2*o**4/3 - 4*o**3/3 + o**2 + o. Is n(6) a multiple of 11?
False
Suppose -20*c = -21*c + 41. Is c a multiple of 14?
False
Suppose 2*j - 2*k = 12, -j - 4*k = 4*j - 48. Let x = -6 + j. Suppose -x*c - 4*d + 70 = 0, 4*c - 2*d = 75 + 65. Is c a multiple of 17?
False
Let q(w) = w**2 + w - 2. Suppose 0*n = 5*f - 4*n + 22, -4*f + 5*n = 23. Let a be q(f). Suppose a = -2*x - 3*x + 195. Does 13 divide x?
True
Let l = 134 + -47. Suppose -r = 5*n - l, 23 + 54 = r - 5*n. Is r a multiple of 27?
False
Suppose -3*v + 12 = -3. Suppose 0*u - v*u = 0. Let o(s) = s**3 + 52. Does 14 divide o(u)?
False
Suppose 5*m - 5*v = -2*v + 73, m - 2*v = 9. Does 7 divide m?
False
Let b(i) = -4*i - 12. Let j be b(-6). Suppose -220 = 7*l - j*l. Does 22 divide l?
True
Suppose -4*q = -q + 114. Does 15 divide (-4)/2 - (6 + q)?
True
Let u be (-24)/(-14) + 6/21. Suppose 0 = -5*k + 43 + u. Does 4 divide k?
False
Let c be 0 + (-2)/1 + -1. Does 11 divide c/(6/52*-1)?
False
Let g = 1 + 1. Suppose 0*o + 48 = g*o. Is o a multiple of 12?
True
Let r be 0/(-3*(-3)/9). Suppose p = -r + 28. Does 14 divide p?
True
Suppose -90 = -2*k - 26. Does 32 divide k?
True
Suppose 3*w - 2 = -l + 8, -l = -3*w - 40. Does 5 divide l?
True
Suppose t - 43 - 9 = j, -242 = -5*t - 4*j. Is t a multiple of 25?
True
Is 2 a factor of (-62)/(-22) + 2/11?
False
Suppose -3*d = -15, 4*p + 0*d = d + 63. Is 4 a factor of p?
False
Suppose -23 = 3*o - 95. Let l = 35 - o. Does 11 divide l?
True
Let g(x) be the third derivative of 0*x**5 + 0 + x**2 + 0*x + 0*x**4 - 7/40*x**6 - 1/6*x**3. Is 8 a factor of g(-1)?
False
Let z(g) = -g - 1. Let m be z(-7). Let v be 1/6 + (-455)/(-42). Suppose -c + v = -l, -l - m = -c - 5*l. Is 6 a factor of c?
False
Let i = 11 + -27. Let m = 9 + i. Is 21 a factor of m/((-3)/(-18)*-1)?
True
Let u = 292 - 157. Is u a multiple of 15?
True
Let a = -42 + -2. Let n be (-27)/(-6)*a/(-3). Suppose n = u + u. Is u a multiple of 15?
False
Let g(d) = 7*d**3 + 12*d**2 + 2*d - 2. Let h(k) = -k**3 - k**2. Let f(m) = -g(m) - 6*h(m). Is 14 a factor of f(-6)?
True
Suppose -21*p = -23*p + 52. Does 13 divide p?
True
Suppose 0 = -7*l + 10*l - 54. Is 6 a factor of l?
True
Is 3 a factor of (-2 - (2 - 9))*(-5 - -8)?
True
Let z(r) = -7*r - 6. Let s be z(-4). Suppose -4*a = -4*l - 168, 5*a + 3*l + s = 192. Is a a multiple of 12?
False
Does 13 divide (0 + 8)/(4/26)?
True
Let a = -18 - -15. Is (6/9)/(a/(-72)) a multiple of 7?
False
Let t = 17 + -12. Suppose x - 4*n - 1 = -0, t = n. Is 10 a factor of x?
False
Is 13 a factor of ((-13)/3)/((-8)/24)?
True
Suppose -2*m + 8 = -8. Is m a multiple of 5?
False
Let u = -16 + 18. Suppose 0 = 3*b - 3*h - 38 - 124, 2*h = -u. Does 17 divide b?
False
Suppose 387 = 3*x + 54. Is 9 a factor of x?
False
Suppose -2*u - 16 = 2*m, u - 10 = -m + 6*m. Let z = -4 - u. Is 13 a factor of (-96)/9*(-2 - z)?
False
Let g be 16/(-40) + 44/10. Suppose 0 = g*s - 3*s - 16. Is 10 a factor of s?
False
Let c = 1 - -1. Suppose 0 = 4*j + 20, 0*o - c*j = 5*o - 10. Suppose o*n - 2*i - 58 = 0, -n + 2*n = -4*i + 19. Does 15 divide n?
True
Does 41 divide -50*(1 - -15)/(-4)?
False
Let r(j) = 2*j + 16. Does 11 divide r(21)?
False
Let v(f) = 4*f + 2. Let t(d) = d - 1. Let k be 0/(6/(-2)) - -1. Let g(o) = k*v(o) + 3*t(o). Is g(5) a multiple of 17?
True
Suppose -2*b + 4*t - 9 = 3*b, -3 = -2*b - 5*t. Let i be b/(-6) + (-23)/(-6). Suppose i*z = 6*z - 20. Is 7 a factor of z?
False
Suppose 30 = -3*v + 5*v. Suppose 3*n = 54 + v. Let q = -16 + n. Does 7 divide q?
True
Let a(c) = c**3 + 5*c**2 + 4. Let x be a(-5). Let b(h) = h**2 + h - 3. Does 8 divide b(x)?
False
Suppose -1 = -s + 1. Let q be (-2 - -3)/(s/4). Is ((-5)/(-2))/(q/16) a multiple of 15?
False
Suppose -2*p = 5*d + 17, -3*p - 19 = -0*d + d. Let w(g) = -g**2 - 6*g - 5. Let r be w(p). Let l = 38 + r. Is l a multiple of 17?
False
Suppose -3*l + 0*v + 144 = -2*v, -3*l - 4*v = -144. Let f be l/27 - (-4)/18. Does 16 divide (1/f)/(3/96)?
True
Let n = -92 - -166. Is n a multiple of 37?
True
L