= -14 - 7. Let d(l) = l**2 - 7*l + 4. Let m be d(k). Suppose 3*w + 2*g - 86 = w, m*g + 132 = 4*w. Does 21 divide w?
False
Suppose 3*f - 5*f + 19 = 3*h, f = -h + 7. Let l be f/(2 + 4/(-3)). Is 202/6 + (-2)/l a multiple of 12?
False
Suppose -5*l + 0*l = -10. Let f be ((-12)/3 + l)*-2. Let g = f - -3. Does 3 divide g?
False
Let a(g) = g**3 - g**2 - g + 4. Is 4 a factor of a(0)?
True
Suppose -5*p = -463 + 133. Suppose -2*q = -p - 6. Is 18 a factor of q?
True
Suppose -2*x - 2*i + 16 = 3*x, 2*x + 4*i = 0. Suppose -3*s = -x*s + 27. Does 13 divide s?
False
Let r(y) = -17*y - 2*y - y. Is r(-1) a multiple of 7?
False
Is 3 + 96 + 6/4*-2 a multiple of 16?
True
Suppose -21 = -3*i - 0*i. Let p = -3 + i. Suppose 0 = -p*b + 12. Does 3 divide b?
True
Suppose 0*t + 318 = 5*i + 2*t, i - 54 = 2*t. Is 3 a factor of i?
False
Let b = -35 - -56. Let x = 11 - b. Does 7 divide (-3 - -2)*(3 + x)?
True
Let a(o) = 3*o + 1. Let c be a(13). Suppose 7*q + c = 2*q. Is 15 a factor of q/24 + (-109)/(-3)?
False
Suppose -3*y = 6, -2*b = -2*y - 3*y - 28. Let q be -1*(1 + b/(-3)). Suppose 5*w - 3*t = 80, q*t = -5*w - t + 110. Is w a multiple of 11?
False
Let k(n) be the first derivative of -n**4/4 - 5*n**3/3 - 2*n**2 - 3*n + 2. Is 16 a factor of k(-5)?
False
Let k(i) = 3*i**3 - 4*i**2 + 2*i - 6. Let h be k(4). Suppose -h = -6*x + x. Does 13 divide x?
True
Let i(p) = p - 9. Let w be i(7). Let z be (-72)/(-33) - w/(-11). Suppose 3*t + 73 = z*m, 3*m + 5*t - 32 = 87. Does 14 divide m?
False
Let f(h) = -h**2 + 22*h - 13. Is f(18) a multiple of 4?
False
Suppose 0 = -v + 3*c + 56 + 54, -2*c = 4*v - 482. Does 18 divide v?
False
Let y = 47 + 179. Is 12 a factor of y?
False
Let r = -421 - -589. Is 14 a factor of r?
True
Suppose -3*z - 1 = -2*i - 20, 16 = -3*z - 5*i. Suppose -3*h = -z*b + 21, 5*b + 5*h - 19 = 16. Does 2 divide b?
False
Let r = -67 + 97. Is r a multiple of 10?
True
Suppose 5*d - 51 = -4*o, 0 = -4*o + 2*d + 3*d + 61. Is 5 a factor of o?
False
Let f(r) = r + 11. Let p(v) = 5. Let x(w) = -3*f(w) + 7*p(w). Suppose -13 = 5*k + 17. Does 7 divide x(k)?
False
Let f(k) = 2*k**2 - k + 4. Suppose -4*u - 4*x = -20 - 32, 4*u - 12 = 4*x. Let z = u + -5. Is f(z) a multiple of 13?
False
Let d(y) = -3*y - 4. Let w be d(-3). Suppose 0 = -w*k - 2 + 22. Is k a multiple of 4?
True
Let k = 3 + 2. Suppose k = b - 0*b. Let s(t) = t**3 - 4*t**2 - 4*t - 2. Is 3 a factor of s(b)?
True
Let k(c) = 3*c**2 + 5*c + 3. Does 12 divide k(-3)?
False
Suppose -2*k - 120 = -6*k. Is k a multiple of 10?
True
Suppose 0 = 9*m - 14*m - 10. Is 2 a factor of -2*m*12/16?
False
Suppose 5*a + 3*n = -0*n - 312, -4*a = 2*n + 250. Let y = 93 + a. Does 15 divide y?
True
Let w(n) = -n**2 - 8*n - 5. Let j be w(-6). Is 14 a factor of j*(-1)/((-1)/2)?
True
Suppose -5*i + 78 + 97 = 0. Is 5 a factor of i?
True
Let b(r) = -r**3 - 2*r**2 - 2*r - 2. Let v(a) = -a + 15. Let g be v(9). Suppose -d - g = -4. Is b(d) a multiple of 2?
True
Let h = 20 + -11. Suppose 3*v - h = 39. Suppose -v + 56 = o. Is 17 a factor of o?
False
Suppose g + 4*g - 520 = 0. Suppose 3*u + n = 100, 4*n + g = 3*u + 3*n. Suppose 2*p + 2*c - 24 = 0, -u = -3*p - 5*c + c. Is 14 a factor of p?
True
Suppose 5*c - 8*c + 15 = 0. Suppose -5*n - 45 = -3*t - n, c*t - 40 = -5*n. Is t a multiple of 10?
False
Let m = 48 + 57. Does 15 divide m?
True
Suppose 3*q + 2*q + 40 = 0. Suppose 4 = -5*a + 3*o, -3*a + 5*o = -2*a + 14. Is 8 a factor of (q/(-12))/(a/12)?
True
Let s(i) = -3*i**3 + 10*i**2 - 9*i + 6. Let y(p) = p**3 - p. Let x(t) = -s(t) - 2*y(t). Does 10 divide x(9)?
False
Let h be 9*3*3/(-9). Let d be 424/(-10) + (-4)/(-10). Let y = h - d. Does 17 divide y?
False
Suppose 1125 = -11*u + 16*u. Does 15 divide u?
True
Suppose -o = -4*r + 3*o + 260, -2*r + 115 = o. Suppose -l = l - r. Is 10 a factor of l?
True
Let n be 1*(2/1 + -1). Does 2 divide 1 + 1/(n/2)?
False
Let p be ((-80)/2)/(-1) - -2. Let x be (2*1)/((-6)/(-87)). Let y = p - x. Is 13 a factor of y?
True
Let n = -12 - -58. Is 5 a factor of n?
False
Let q = 27 + -15. Let c(v) = v**2 + 8*v + 15. Let s be c(-5). Suppose -q + s = -2*d. Does 6 divide d?
True
Let g = -18 + -5. Let j = g + 39. Let l = j + -5. Is 11 a factor of l?
True
Suppose 5 = -t + 2*t. Let z(i) = i**2 - 3*i + 2. Is 12 a factor of z(t)?
True
Suppose -69 = -4*q + 3*q. Is 23 a factor of q?
True
Let s = -7 - -10. Let q = 27 - 12. Suppose 0*b - s*b = 2*y - q, -y - 2*b = -7. Is y a multiple of 9?
True
Let p be ((-4)/(-6))/((-12)/(-18)). Let k be -1 + (0 - p) + 2. Suppose -4*d = k, -4*d - 27 - 75 = -3*y. Is 20 a factor of y?
False
Is 4 - 0 - (5 + -224) a multiple of 53?
False
Suppose 4*o - 792 = 2*d, 0 = -2*o - 3*d + 162 + 250. Is o a multiple of 50?
True
Suppose 0 = 3*g + 3*q - 14 - 13, 2*g = 4*q - 6. Suppose -3*c = -g - 34. Is 7 a factor of c?
False
Suppose 21 = 3*i + 4*t, -5*t + 26 = i + 8. Suppose -2*j - 3*j = -4*b - 38, -2*b - 24 = -i*j. Is 76/j + (-10)/(-25) a multiple of 4?
True
Let v = 86 - 71. Is v a multiple of 4?
False
Suppose -11*s + 14*s - 138 = 0. Does 10 divide s?
False
Let t(u) = -u + 1. Let f be t(-3). Suppose 3*z = z + f. Suppose -20 - z = -j. Does 7 divide j?
False
Let z(s) = 2*s - 4. Let w(q) = -q**3 - 11*q**2 - 12*q - 15. Let k be w(-10). Is 5 a factor of z(k)?
False
Suppose 0*x = -x + 3. Suppose -x*d = -6*d + 84. Suppose -152 + d = -4*y. Does 11 divide y?
False
Suppose -l + 36 = 2*g, 3*g + 16 = -g. Is l a multiple of 11?
True
Let g = -15 - -11. Let z(x) = -8*x - 6. Does 7 divide z(g)?
False
Let n(a) = -4*a + 3. Let w be n(-4). Suppose x + 3 = w. Does 9 divide x?
False
Suppose 6 = -5*c + 3*c + 2*s, -c = 4*s + 18. Let k = -4 - c. Suppose -k*y + 4 + 4 = 0. Does 2 divide y?
True
Suppose 0 = -5*q + 4*l + 36, -3*q + 3*l = q - 28. Suppose y = q*y. Suppose y*g = 2*g - 46. Is g a multiple of 20?
False
Let b(u) = u**2 - 7*u - 5. Let t = 4 + 6. Is 15 a factor of b(t)?
False
Let a(b) = 22*b - 79. Is 25 a factor of a(7)?
True
Suppose -5*q = 3*l - 323, 2*q - 123 = -0*q + 5*l. Is 21 a factor of q?
False
Let u = -2 - -6. Suppose 0 = -q - u*q + 50. Is 5 a factor of q?
True
Suppose -l - 5*b + 4 = 0, 2*l + 5*b = -3*l + 20. Is l even?
True
Suppose -4*p + 431 = -k - 2*k, -2*p = -5*k - 233. Is 13 a factor of p?
True
Let t = 3 + -6. Let o(j) = 3*j. Let v be o(t). Let x(d) = -3*d - 9. Does 15 divide x(v)?
False
Let u(o) = -o**3 + 7*o**2 + 3. Let s be u(7). Suppose 152 = 7*i - s*i. Is 19 a factor of i?
True
Let j = -50 + 129. Is 18 a factor of j?
False
Let i = 9 - -3. Let l = i - 5. Is l even?
False
Let d(x) = 4*x - 7. Let y be d(3). Suppose o - 83 + 16 = -4*n, 0 = y*n + o - 85. Is n a multiple of 18?
True
Let g = -15 + -36. Suppose -16 = b - 2*u, -53 = 4*b - 2*b + 3*u. Let f = b - g. Does 13 divide f?
False
Let z be (-2)/8 - 350/(-56). Does 6 divide z/4*(-4 + 10)?
False
Suppose 4*z - 21 = 87. Is z a multiple of 9?
True
Suppose 4*p + 5 = -j, 2*p + 3*j = 7*p - 15. Suppose -3*s = -p*s - 168. Is 19 a factor of s?
False
Suppose -r = -2*r. Suppose r*c = 2*c + 200. Let f = c - -146. Is 25 a factor of f?
False
Suppose -q - 3*u = -82, u - 124 - 65 = -2*q. Let l = q + -63. Suppose -v + l = -2*r, -5*r = v + 4*v - 95. Is v a multiple of 12?
True
Suppose 126 = 5*t - w, -16 = -2*t - 2*w + 44. Suppose o + 3 + 8 = 0. Let m = t + o. Is 15 a factor of m?
True
Let g(i) = i + 189. Let p be g(0). Let m = p + -105. Is 21 a factor of m?
True
Suppose -3 = -2*t + 4*t + 3*h, 4*t + 5*h = -1. Let o(i) = 6*i + 1. Let m be o(t). Let n = 66 - m. Does 10 divide n?
False
Suppose -4*j + 8 = -8*j. Is 23 a factor of ((-483)/6)/7*j?
True
Let p(q) = 3*q - 2*q - 6*q**2 - 6 - 2*q - 3*q - q**3. Let u be p(-4). Is 7 a factor of u/(-4)*(1 + 1)?
False
Let w(z) = -z**3 + 5*z**2 + 7*z - 1. Let j be w(6). Let y = 17 - j. Does 8 divide y?
False
Let j(m) = m**2 + 9*m + 5. Let f be j(-9). Suppose f*u - 38 = 37. Is u a multiple of 7?
False
Let r = 396 + -237. Let q = r - 227. Does 17 divide (0 - 3)/(6/q)?
True
Let r(j) = -4*j**3 - 1. Let y be r(-1). Suppose -338 = -5*x + y*m - 0*m, m = 4. Does 25 divide x?
False
Let z be 2/5 - (-196)/35. Is 7 a factor of (-1 - 0)*(z - 18)?
False
Suppose -3*c = -6 - 3. Suppose 0 = -3*w + 17 - 8, 0 = 3*n - w - 18. Let t = c + n. Does 7 divide t?
False
Let v(i) = i**3 - 2*i**2 - 4*i. Let j = -4 - -8. Let q be v(j). Let y = 22 + q. Is 15 a factor of y?
False
Let m be 1*45/(6/2). Suppos