= 13 + -8. Suppose 4*w = i*f + 3*w + 13, 4*f + 14 = 2*w. Is 5 a factor of (-18)/5*5/f?
False
Suppose -3*j = -j. Let i(m) = -m**3 - m**2 + m + 6. Does 3 divide i(j)?
True
Let p = 6 - 10. Let d(s) = -s. Let t be d(1). Is 12 a factor of (-8)/p - (-11 - t)?
True
Suppose -3*n + 4*n = 74. Let d be 2/(-5) - n/(-10). Let i(m) = 7*m - 9. Is i(d) a multiple of 20?
True
Let s be ((-33)/(-9))/(2/12). Let j = s + -16. Is j/10 - 110/(-25) a multiple of 5?
True
Let q(b) = b**3 - 10*b**2 + 9*b - 1. Let r be q(9). Is 12 + r + (-8 - -8) a multiple of 11?
True
Let u = 72 - -19. Is 29 a factor of u?
False
Suppose 4*y = -0*y + 140. Is 35 a factor of y?
True
Let z = 21 - 16. Suppose 31 = z*n + 6. Does 2 divide n?
False
Let x be -7 + 7 + -1 + 136. Let m = -71 + x. Suppose -67 = -4*u + 3*h, 0*u + 5*h = 3*u - m. Is u a multiple of 13?
True
Is ((-15)/(-9) - 3)*-12 a multiple of 10?
False
Suppose -m = -3*o - 0*o - 22, -27 = -m + 4*o. Is 4 a factor of m?
False
Suppose -4*x + 268 = r - 3*r, 3*x + 4*r = 190. Is x a multiple of 22?
True
Suppose -4*p - 123 = -531. Is 12 a factor of p?
False
Suppose -2*m + 7*m = 0. Let f(v) = v**2 - v + 13. Is f(m) a multiple of 13?
True
Is -3 + 0 - (-11 + -15) a multiple of 23?
True
Suppose -12 = -5*k + f + 32, 0 = k - 2*f - 16. Suppose -3*z - 21 = 39. Let q = k - z. Is 14 a factor of q?
True
Let q(p) be the third derivative of 5*p**4/24 + 4*p**3/3 - 2*p**2. Is q(6) a multiple of 14?
False
Suppose 3*v = -k - 2, 0 = -3*v + 3*k + 6 - 0. Let z = v + 16. Is z a multiple of 16?
True
Let s = -15 - -12. Does 9 divide -2*(156/8)/s?
False
Let m(l) = -4*l**3 - 4*l**2 - 2*l + 1. Suppose 3*p + p + 8 = 0. Does 7 divide m(p)?
True
Suppose -8 = -4*q + 4. Is 13 a factor of (-1)/q + (-462)/(-9)?
False
Let x(b) = 2*b + 1. Let k be x(1). Let n be (-76)/(-28) + 2/7. Suppose -n*m + 2*m = -3*j - 19, k*m + 5*j = 57. Is 11 a factor of m?
False
Let y(r) = -r**3 + r**2 + 120. Let z be y(0). Suppose 0 = 2*c + h + 3*h - z, 4 = h. Suppose -4*g + a + c = 0, -4*g + 55 = 5*a + 3. Does 13 divide g?
True
Let n(v) = v**2 + 10*v - 5. Is 15 a factor of n(-12)?
False
Suppose 0 = -5*u - b - 2*b + 8, 4*u - 24 = 2*b. Suppose 3*z - 48 = -u*s, -13 + 29 = z + 2*s. Is z a multiple of 5?
False
Let h(u) be the third derivative of u**6/120 + u**5/15 - u**4/12 - u**3/2 - 6*u**2. Does 3 divide h(-4)?
False
Let z(v) = v**3 - 7*v**2 - 10*v - 1. Let a be z(7). Let c = -29 - a. Is 21 a factor of c?
True
Let p = 148 + -27. Suppose 5*j = 2*h - p, h - 3*h - 3*j = -81. Is 16 a factor of h?
True
Let k(a) = a**2 + 2*a + 1. Let x be k(-8). Suppose -f = -2*f + x. Is 21 a factor of f?
False
Let a(o) = o**2 + 6*o + 6. Let b be a(-8). Let q be -3 - (-1)/(2/b). Let f(m) = -m**3 + 7*m**2 + 13*m - 10. Is 15 a factor of f(q)?
True
Suppose -4*w + 464 = -40. Let t = w + -76. Is t a multiple of 25?
True
Suppose -4*l = a - 8, 0 = -0*l - 3*l - a + 6. Suppose o - l*x = 2*x + 11, -2*o - 13 = -x. Is (o/2)/((-4)/8) a multiple of 7?
False
Let x be (1 - 2 - -2)*-6. Let r = x - -18. Is 0 - -1 - (-3 - r) a multiple of 8?
True
Let w be ((-33)/12)/(1/12*-3). Let t(z) = -z**2 + 2*z + 7. Let h be t(5). Let f = w + h. Is 2 a factor of f?
False
Let l be (-3)/(-12) - 33/4. Is 3 a factor of l/(-3) - (-3)/9?
True
Let d = 213 + -117. Is 32 a factor of d?
True
Let u(a) = a - 9. Let l be u(-4). Does 8 divide (-1)/(-1) - (l + -1)?
False
Let f(w) = 5*w**2 + 13*w + 5. Let m(x) = x**2 + x + 1. Let p(t) = -f(t) + 4*m(t). Let z = 19 + -27. Is 2 a factor of p(z)?
False
Is 8 a factor of 4 - (-102)/(4 + -1)?
False
Let t = -15 - -40. Let q = 18 - t. Let z(l) = -l. Is 3 a factor of z(q)?
False
Suppose -s - 1 + 2 = 0. Let y = 24 - s. Is y a multiple of 4?
False
Suppose 7*p - 3*p = 56. Does 4 divide p?
False
Suppose -2*c - s + 0*s + 37 = 0, -3*c = 5*s - 66. Is c a multiple of 17?
True
Suppose 3*i - 75 = -3*b, -5*b = -b - 2*i - 106. Is 19 a factor of b?
False
Let j = -212 - -431. Suppose 20*c = 17*c + j. Is c a multiple of 13?
False
Does 32 divide ((-10)/(-6) + 1)*36?
True
Let k = 8 + -8. Suppose 50 = 2*c - k*c. Is c a multiple of 18?
False
Suppose 0 = -5*c + 5, 0*t + 3*t - 3*c - 21 = 0. Let s = 5 - t. Let z = 6 - s. Is z a multiple of 9?
True
Let f(a) = -4*a - a**3 + 7*a - 4*a - 4. Is f(-4) a multiple of 16?
True
Suppose -z + 2*l = 1 - 3, 5*l + 6 = 2*z. Let d be 45/10 + (-1)/z. Suppose -d*c + 84 = -2*m, -m - 62 = -4*c - 2*m. Is c a multiple of 10?
False
Suppose -5*v + x = -10 - 94, -2*x - 40 = -2*v. Suppose -2*p - 10 = 0, -m + 68 = -5*p + v. Is 11 a factor of m?
True
Let j be (-2)/6 + 46/(-6). Let k = j + 5. Is (-17)/(-4) + k/12 a multiple of 4?
True
Let p be 0 + 0 - (4 + -2). Suppose 4*x - 109 = 123. Is 5 a factor of p/8 + x/8?
False
Let o(u) = u**3 - u + 24. Let l be o(0). Suppose l = 2*c + 5*t, 4*t = 9 + 7. Is c a multiple of 2?
True
Suppose 2*n - 117 = -n. Is n a multiple of 13?
True
Let a = -56 - -28. Let v = a - -60. Is v a multiple of 16?
True
Let a be 8/12*(37 - -2). Let c = -7 - -15. Let w = a - c. Is 18 a factor of w?
True
Suppose 0 = -5*n + 226 - 1726. Is (1/2)/((-5)/n) a multiple of 15?
True
Let d = -14 - -24. Does 5 divide d?
True
Suppose k + 2*k - 16 = 5*n, 0 = -3*k - 3*n + 24. Is 7 a factor of k?
True
Let j be 2*3*(-12)/18. Let y = 4 - j. Is y a multiple of 2?
True
Let w(n) = 5*n**3 + n**2 - 1. Suppose -2*r = -4*f + r - 1, -2*f + 1 = -r. Suppose 3*a = 3*s - 6*s, -f*s - 2 = 0. Does 4 divide w(a)?
False
Let t(j) = 4*j + 2*j**2 - 3*j + 0 - 4 + 5*j**2. Let g be t(3). Suppose 5*i + 3*l - g = 4*l, 56 = 4*i - 4*l. Is i a multiple of 12?
True
Let p(t) = -4*t + 6. Let r be p(-4). Let d = r - 9. Is 13 a factor of d?
True
Suppose 18 = -5*c + 2*c. Let m be (-89)/3 - 4/c. Let h = 49 + m. Does 10 divide h?
True
Let i be 25 - (9/(-3))/(-3). Suppose 3*y = i + 24. Is y a multiple of 8?
True
Let w(r) = 16*r**2. Let f be w(3). Suppose 4*d - f - 64 = 0. Is d a multiple of 26?
True
Suppose 0 = -4*h + h - 9, -33 = -r + 5*h. Is 13 a factor of r?
False
Suppose 0 = 4*i - 0*i - 8. Is 2 a factor of i?
True
Let n(r) = r**2 - 2*r + 5. Is 2 a factor of n(4)?
False
Does 8 divide (-4)/6 - 296/(-12)?
True
Let o(n) = -n**3 + 3*n**2 + 7*n - 6. Let j be o(5). Let y = 55 + j. Is y a multiple of 17?
True
Let g be 10/(-6)*(30 - 3). Let y = g + 72. Does 14 divide y?
False
Let x = -66 + 97. Is 8 a factor of x?
False
Let w = -1 + 0. Let n = 0 - w. Is 6 a factor of 2/(n*(-3)/(-18))?
True
Suppose -7 = -2*a - 1. Suppose -237 = -a*u - 3*s, 5*u = -s + 240 + 139. Suppose 6*p - p - u = 0. Is p a multiple of 15?
True
Suppose -5*g + 158 = -p, 5*p + 152 = 5*g + p. Does 16 divide g?
True
Let f be 28/(-1)*3/(-6). Suppose 2*y + y - f = -m, 3*m - 5*y = -14. Suppose -x - 14 = -m*x. Is 14 a factor of x?
True
Let p be 120/(-16)*(-4)/6. Suppose p*y = 79 - 19. Is 12 a factor of y?
True
Suppose 15 = -3*v + 6*v. Suppose 133 = 3*p - v*y, 82 = 4*p + 2*y - 52. Is p a multiple of 15?
False
Let n = -38 - -17. Let b = n + 37. Does 8 divide b?
True
Suppose 0 = -4*f - 7*k + 2*k - 13, 0 = f - k + 1. Let i be -1 - (f/(-1) - 5). Suppose 4 = -i*l + 16. Does 6 divide l?
True
Suppose -3*b + 160 = -4*z, 0*b - 5*b = 5*z - 255. Suppose 0 = -x + 5*r + b, -2*x - r + 3*r = -88. Is 15 a factor of x?
False
Suppose 3*s + 2*z = -z + 393, 5*s - 2*z = 662. Is 11 a factor of s?
True
Suppose -3*k = 2*u - 73, -4*k - 9 = -u + 11. Is 15 a factor of u?
False
Let h(v) be the third derivative of v**5/12 + v**4/24 + 4*v**3/3 + 3*v**2. Let c be h(6). Suppose 5*x - 4*t - c = 106, -2*x + 102 = 2*t. Is 21 a factor of x?
False
Let p = -5 - -8. Suppose p*l + 221 = 4*s + 38, 0 = -2*s - 2*l + 88. Is s a multiple of 16?
False
Suppose -h + 2 = 0, 2*s = 4*s + 4*h - 42. Is s a multiple of 11?
False
Suppose 0*p - 5*p + 40 = 0. Let j = 41 - 20. Suppose a - j = -p. Is 5 a factor of a?
False
Let g = -8 - 6. Is (-2 + -2)*g/4 a multiple of 9?
False
Let i(l) = l**3 - 5*l**2 + 5*l - 4. Let g be i(4). Let q(d) = 0*d - 2*d**2 + d**2 + d**3 + d + 32. Is 12 a factor of q(g)?
False
Suppose -4*b = 2*v - 84, -2*v - 3*b = 2*v - 143. Does 8 divide v?
True
Let r(s) = -2*s**3 + 3*s**2 - s - 2. Let p(a) be the second derivative of -a**4/12 + 3*a. Let q(t) = 6*p(t) + r(t). Does 3 divide q(-2)?
False
Let o = 35 - 20. Is o a multiple of 3?
True
Let l be 2/((-3)/((-21)/(-2))). Suppose 0 = -3*j - 27 - 12. Let w = l - j. Does 3 divide w?
True
Suppose -2*y - 2*