 + 147 = 0. Let r = 18 + k. Suppose -3*j - g + r = 0, 5*j + 2*g - 245 = 7*g. Does 17 divide j?
True
Let i(x) = -x**2 - 12*x - 4. Let p be i(-6). Suppose p = 3*q - q. Does 8 divide q?
True
Suppose 5*k - 3*k = 0. Suppose k = -3*t - 10 + 58. Does 8 divide t?
True
Let p = 88 - 40. Does 24 divide p?
True
Suppose k + k + 4 = 0. Let n be (k/(-5))/(1/20). Suppose 2*c = 4*c - n. Does 4 divide c?
True
Let k be (-570)/4*4/(-6). Suppose -2*w - 2*i + 8 = -6*i, 5*i = -5*w + k. Is 7 a factor of w?
True
Let k(u) be the first derivative of 5*u**2 + 2*u - 2. Is k(5) a multiple of 14?
False
Suppose b = -4*w + 135, 5*b - 437 = 2*b + 4*w. Suppose 0 = r - 2 - 2, -5*h + b = 2*r. Is h a multiple of 12?
False
Let b(g) = g**3 - 8*g**2 - 9*g + 8. Suppose 0*c + 5*c = 45. Does 4 divide b(c)?
True
Does 3 divide 19 + 1 - (-23 + 28)?
True
Suppose -26 = -2*c + 40. Suppose -3*v - 4*j - 1 = -3*j, -5*v - j = 5. Is (v + -2)/((-6)/c) a multiple of 13?
False
Let m(f) = -20*f**2 - 1. Let c be m(-2). Is 9 a factor of (c/(-18))/(2/12)?
True
Let n = -126 + 266. Does 35 divide n?
True
Suppose 4*k - 5 = 23. Let b = 39 - k. Suppose -4*w - b = -96. Is w a multiple of 8?
True
Let p(s) = 4*s**3 + s - 1. Let g be p(1). Suppose 67 = g*z + 7. Let i = -7 + z. Is 8 a factor of i?
True
Suppose -2*f + 4*f + 10 = 0. Is 23 a factor of f*13*20/(-25)?
False
Suppose 91 = 3*i - 50. Suppose -3*z + 16 = s, -2*s = -3*z - 5*s + 18. Let x = i - z. Is x a multiple of 21?
True
Suppose 0 = q - 0 - 2. Let n be q + ((-4)/2 - 1). Is 15 a factor of n/(-2*2/92)?
False
Is (-1)/(-3)*(-5)/(30/(-414)) a multiple of 23?
True
Let g(h) = 22*h. Let u be g(1). Let q = 38 - u. Does 11 divide q?
False
Let b(f) = 12*f + 8. Let t be b(6). Let i = -17 + t. Is i a multiple of 17?
False
Let z(v) = -v**3 + v**2 - v - 41. Let c be z(0). Let g = c + 60. Is 19 a factor of g?
True
Let u(w) = 0 - w - 1 - 2*w. Let d be u(3). Let l(g) = g**2 + 7*g - 4. Does 7 divide l(d)?
False
Let p = -1 + 16. Let k be (-6)/10 + 279/p. Let y = -13 + k. Is y even?
False
Suppose 6*n - 1478 - 448 = 0. Does 56 divide n?
False
Suppose 4*k = k + 93. Let y = k - 5. Is 13 a factor of y?
True
Is 14 a factor of 495/75*(-30)/((-4)/2)?
False
Let r = -116 - -271. Does 31 divide r?
True
Let x be (4/(-12))/((-1)/9). Suppose -13 = -3*u + 17. Suppose x*z = 32 + u. Is 7 a factor of z?
True
Suppose -3*m = -4*v + m + 88, 0 = -v + 2*m + 20. Is 6 a factor of v?
True
Let c(l) = -l**2 + 2*l**2 + l + 0*l**2. Let q be c(1). Suppose q*j + 2 = 2*p, -3*j + 4*p + 0*p = 7. Is j even?
False
Suppose -z + 6 = 2*z. Let u(f) = z*f + 3 + f + f. Does 19 divide u(9)?
False
Suppose -48 + 3 = -3*k. Is 12 a factor of k?
False
Suppose -3*b + 3 = -2*b. Suppose -15 - 24 = -b*a. Is a a multiple of 4?
False
Suppose 200 = 5*x + 4*s, -2*x = -0*x + 3*s - 80. Does 8 divide x?
True
Let b(u) be the first derivative of u**5/120 - 2*u**3/3 + 2. Let q(l) be the third derivative of b(l). Is 2 a factor of q(3)?
False
Let n = 1 + 4. Suppose -57 = -n*g + q + 1, 2*q = -6. Is g a multiple of 11?
True
Suppose 2*r + 15 = 7*r. Let x(m) = m**2 - m + 2. Does 4 divide x(r)?
True
Suppose -5*b - 152 = m + 228, 5*m + 25 = 0. Let j = 106 + b. Is j a multiple of 6?
False
Let w(u) = 5*u**3 - u**2 + 1. Let i be w(1). Suppose 0 = -3*k + 1 + i. Let s = k + 2. Does 4 divide s?
True
Let h(l) = 7*l + 2. Let o be h(-5). Let i(a) = a**3 - 5*a**2 - 4*a + 7. Let s be i(5). Let p = s - o. Does 8 divide p?
False
Let v(g) = 10*g - 3. Let l be 0 + (-6)/(-3) + 0. Let i(q) = q. Let p be i(l). Is 17 a factor of v(p)?
True
Let a(h) = -h + 6. Is a(0) a multiple of 6?
True
Let u(b) = b**2 + 8*b - 4. Let d be u(-8). Let h = 21 + d. Is 6 a factor of h?
False
Suppose -4 = r + 3*r - 5*a, -4*a = -4*r. Does 10 divide (-1*7)/(r/(-8))?
False
Let z = 0 + 4. Is ((-2)/z)/(5/(-440)) a multiple of 22?
True
Let x = 95 + 14. Suppose 41 = -4*g + x. Is g a multiple of 11?
False
Let a(q) = q**3 - 8*q**2 + 8*q - 2. Let c be a(7). Let y(p) = -p + 5. Let x be y(c). Suppose -5*j - 53 = -2*i, -2*i - 4*j + 12 - 4 = x. Is 7 a factor of i?
True
Does 14 divide (28/5)/((-11)/(-55))?
True
Suppose -u + 54 = u. Suppose 2*l - 14 = -2*v, -v - 5*l + u = -0*v. Suppose -4*n = -26 - v. Is n a multiple of 7?
True
Let q = 54 + -39. Does 7 divide q?
False
Is (55/15)/(-3*(-2)/18) a multiple of 2?
False
Suppose -u - 30 = -2*w, 4*w + w = -u + 89. Is 7 a factor of w?
False
Let s = -33 + 65. Is s a multiple of 13?
False
Let s(l) = l**3 + 5*l**2 - l - 6. Let y be s(-5). Let u(b) = -42*b**3 + b**2 - 1. Does 14 divide u(y)?
True
Suppose 4*v + 10 = 9*v. Suppose 32 = v*u - 0*u. Is u a multiple of 5?
False
Let g(z) = -z**3 - 10*z**2 + 8*z + 7. Let w be ((-2)/(-4))/((-8)/176). Is g(w) a multiple of 10?
True
Suppose 2*u + 46 = 5*f + 15, 5*u - 5 = -4*f. Suppose f*b + 2*s = 5*s, -5*s = -b + 22. Is 20 a factor of ((-1 - 1) + -15)*b?
False
Let j = -19 + 43. Is j a multiple of 12?
True
Let m = -2 - -4. Suppose j - 3*u - 9 = -2*u, 5*j + m*u - 38 = 0. Is j a multiple of 3?
False
Does 31 divide (-6)/4 - ((-1052)/8 - -6)?
True
Let g = -2 - -2. Suppose 5*j + 4*n - 144 = g, -4*j + 132 = -0*n - n. Is j a multiple of 17?
False
Let t = -15 - -18. Suppose t*v + 23 - 122 = 0. Is v a multiple of 10?
False
Suppose -o + 4 = 1. Suppose 0 = -2*n - o*n - 275. Let p = n + 85. Is 10 a factor of p?
True
Let o(f) = 2*f**3 - 4*f**2 - 5*f + 4. Does 12 divide o(4)?
True
Let c be (-2)/(-1 - -3)*-5. Suppose -5*l - h + c*h + 35 = 0, -4*l + 3*h = -27. Suppose -l*j - 95 = -5*b, -113 = -4*b - 4*j - j. Does 11 divide b?
True
Let h be ((-6)/5)/(3/(-140)). Let t = 6 - -31. Suppose -b - b - h = -3*g, 2*g = b + t. Is g a multiple of 18?
True
Let s(u) = -3*u - 10. Let k(v) = -v - 5. Let o(z) = z**3 + 7*z**2 + z + 9. Let j be o(-7). Let p(r) = j*s(r) - 5*k(r). Does 5 divide p(-5)?
True
Suppose -p = 1, -n + 3*p = -0*p - 11. Let s(v) be the second derivative of 7*v**3/6 - v**2 - v. Is 27 a factor of s(n)?
True
Let a(t) be the first derivative of -t**4/4 + 4*t**3/3 - 2*t**2 - t - 1. Let j be a(3). Is 7 a factor of j/2 + 12 + -2?
False
Suppose 4*g - 107 = 1. Is g a multiple of 5?
False
Suppose -6*v + 2*v - 28 = 0. Let k(t) be the first derivative of t**3/3 + 5*t**2/2 + 4*t - 1. Is 9 a factor of k(v)?
True
Let f = 130 - 71. Is 16 a factor of f?
False
Suppose 8 = p + p. Suppose -2*n + p*n - 8 = 0. Suppose -n*t + 4 = -4. Is 2 a factor of t?
True
Let v = -13 + 26. Is v a multiple of 13?
True
Let y = -1 + 3. Suppose q + 12 = -0*s + s, -y*s - 3*q + 44 = 0. Is s a multiple of 7?
False
Suppose k + 2*k = 3*b + 12, -5*k = -2*b - 2. Let r be ((-8)/6)/(b/(-27)). Let x = r - -10. Does 4 divide x?
True
Let p = 52 - -20. Is 6 a factor of p?
True
Suppose 148 = 5*h - y, -h - y + 84 = 2*h. Is h a multiple of 3?
False
Let x = 2 - 3. Is (-3)/x - 19/(-1) a multiple of 21?
False
Does 32 divide 1/(-2) + 278/4?
False
Suppose 0 = -22*w + 21*w + 22. Is w a multiple of 9?
False
Let v(f) = f**2 + f + 3. Let y be v(0). Suppose y*n - 360 = -n. Suppose -6*c = -c - n. Does 9 divide c?
True
Suppose 0 = 2*s - 16 - 2. Is 2 a factor of s?
False
Let b be 10/(-6)*(15 - 12). Let v = b + 8. Is v even?
False
Let d(x) = 4*x**3 + 2*x**2 - x. Let u be d(1). Suppose -i - 6 = -2*q, -u*q + 1 = -19. Suppose -3*g - i + 65 = 0. Does 11 divide g?
False
Suppose 4*c - 301 = 363. Is 37 a factor of c?
False
Let t be (56/(-5))/((-1)/5). Let v be 160/(-6)*(-2 - 1). Let y = v - t. Is y a multiple of 11?
False
Suppose 5*t = 4*v - 69, -2*v - 3*v + 4*t + 84 = 0. Is 4 a factor of v?
True
Let o(d) = d**3 - 11*d**2 + 15*d - 11. Is o(10) a multiple of 5?
False
Is 40 a factor of (3 - (5 + 0)) + 162?
True
Let i(h) = 3*h + 3. Suppose -3*j - 2*j = -25. Is i(j) a multiple of 5?
False
Suppose 3*q - 70 = q. Is 12 a factor of 1316/q + 6/15?
False
Let r(z) = z. Let p be r(2). Let m be (9/(-3) + p)*0. Suppose -3*i = -m*i - 159. Is i a multiple of 21?
False
Let u = 18 - -8. Is 13 a factor of u?
True
Let k(b) = -b + 1. Let i be k(-3). Suppose -4*a = -i*g - 32, a + 3*g = -a + 21. Let f(z) = 2*z + 6. Is f(a) a multiple of 12?
True
Let c(r) = 21*r**2 - 6*r + 1. Let x(n) = -4*n**2 + n. Let v(u) = -2*c(u) - 11*x(u). Is v(2) a multiple of 3?
False
Suppose -3 = 2*x + 3. Let b(u) = -2*u**3 - u**2 + 2*u - 4. Is b(x) a multiple of 15?
False
Is 22 a factor of -5 + 10 + 163 - -6?
False
Suppose 2 = -a + 7. Suppose 2*m - 16 = -a*