+ l. Does 15 divide m?
False
Let i(x) = x**2 - 5*x + 3. Let m be 19/6 + (-3)/18. Suppose -q + m*q - v - 17 = 0, 5*v = -q - 19. Does 9 divide i(q)?
True
Let i = 295 - 153. Is 50 a factor of i?
False
Let w = 7 + 53. Suppose 0 = 3*r - 4*k + k - w, r - 30 = -4*k. Suppose -3*i - r = -61. Does 11 divide i?
False
Let k = 12 - -6. Is 9 a factor of k?
True
Suppose -j - 4 = -2. Let o(d) = -4*d - 2. Let m be o(j). Suppose 4*z = m*z - 26. Is z a multiple of 13?
True
Suppose -5*p + 3*p = -4. Let c(h) = -h**3 + 8*h**2 - 5*h - 4. Let r be c(6). Suppose -p*l = -4, -5*q - l + r - 1 = 0. Is q a multiple of 7?
True
Suppose 20 = 2*u - 0*u. Suppose b = 1 - 6, u = -3*o - 5*b. Suppose -o*m - q + 250 = -0*q, -4*m = 2*q - 206. Does 17 divide m?
False
Suppose -2*h = h - 78. Is 3 a factor of h?
False
Let m = 70 + -30. Suppose 2*x + 3*x = m. Does 11 divide (-475)/(-20) - (-2)/x?
False
Let q(h) = 24*h - 3. Let d be q(5). Is 4 a factor of 3/(-6) - d/(-6)?
False
Let m = 10 + -6. Suppose 5*o - 2*o + 4*j - 119 = 0, o = -m*j + 29. Suppose -o = -5*s + 45. Is s a multiple of 17?
False
Let b = -8 + 53. Is b a multiple of 21?
False
Suppose -4*o + 4*z - 10 = 6, 4*z = -o + 6. Let g = o + 5. Suppose g*p - 5*u - 56 = 0, 0 = 2*p - 0*p + 5*u - 54. Is 11 a factor of p?
True
Let q = 97 - 56. Does 7 divide q?
False
Suppose 0 = 5*m + 3*w - 48, 3*w = -2*m + w + 16. Let u = m + 0. Does 12 divide u?
True
Does 11 divide (-223)/(-2) + 1/2?
False
Suppose -6 = -y - 1. Suppose -o = -2*t - y, 4*o - 2 = 3*t + 8. Is (o - 2/(-4))*18 a multiple of 16?
False
Let b(m) = m**3. Let q(f) = -3*f**3 + 9*f**2 + 4*f - 4. Let y(j) = 4*b(j) + q(j). Suppose 2*s + 9 = -7. Is y(s) a multiple of 12?
False
Let c(h) be the second derivative of -h**3/6 + 3*h**2 - 4*h. Is 6 a factor of c(-7)?
False
Does 28 divide 30 + (-4 - (-3 + 1))?
True
Suppose 4*l - 7 = 21. Let z(t) = -t + 4. Let s be z(2). Suppose s*d - l*d = -40. Is 4 a factor of d?
True
Let g(f) = f**2 - 8*f + 5. Let j = -2 + 10. Is g(j) a multiple of 5?
True
Let b(a) = 15*a - 10. Does 10 divide b(4)?
True
Let l be (2/(-4))/(8/(-80)). Suppose -4*o + n + 8 = -27, -4*o + 31 = -l*n. Is 6 a factor of o?
False
Let n(m) = m**2 - 2*m - 12. Let x be n(7). Suppose -x = -q + 7. Is 10 a factor of q?
True
Let q = -43 + 70. Suppose -2*n = 3*p - 67 + 19, 12 = 4*n. Let l = q - p. Is l a multiple of 11?
False
Let m be 0/(-1) + 1 - -2. Suppose 0 = -k + h - 0 + 7, m*k - 13 = h. Suppose -3*d + p - 14 = 5*p, -2*p = -k*d + 16. Is d a multiple of 2?
True
Let c = 160 + -61. Is 44 a factor of c?
False
Suppose -33 = -5*h + 2*l, 0 = 4*h + 2*l - 0*l - 12. Suppose -8*o + 10 = -3*o. Suppose -52 = -o*b - 2*s, s = h*s - 20. Does 6 divide b?
False
Let h(t) = t**2 + 12*t + 1. Let a(u) = -5*u. Let d be a(2). Let b be h(d). Let o = -9 - b. Is 5 a factor of o?
True
Let w be (50/(-4))/((-1)/(-2)). Let x = -14 - w. Is 11 a factor of x?
True
Suppose -2*w = -5 - 7. Does 9 divide 9/6*100/w?
False
Let j = -15 + 10. Let c be 122/j - (-8)/20. Let g = c - -42. Is g a multiple of 9?
True
Let k(z) = -5*z. Let c(p) = -p**3 + 6*p**2 + p - 5. Let n be c(6). Let u = -2 + n. Does 3 divide k(u)?
False
Let l(z) = 12*z - z**2 - 2 - 4 + 3. Is l(8) a multiple of 16?
False
Is 11 a factor of ((-13)/(-39))/((-3)/(-1683))?
True
Does 4 divide (-2)/(4/2) + 5?
True
Let n(f) = 2*f - 9. Let u be n(6). Suppose -4*v + 184 = -4*c + 3*c, -u*c = -2*v + 102. Does 11 divide v?
False
Let f = 3 - 3. Suppose u - 5*u + 56 = f. Does 14 divide u?
True
Suppose i = 2*c + 6, 0 = 5*c + 2*i + 3*i + 30. Let u be (-2)/(-4)*(4 + c). Suppose -3*h + 49 + 26 = u. Is 7 a factor of h?
False
Suppose -6*j + o = -4*j - 6, j + o = 9. Suppose -5*r - 4*b + 142 = 0, -j*r - 5*b + 173 = 33. Is 21 a factor of r?
False
Let x = -12 - -8. Is 5 a factor of 2 - (-2)/x*-14?
False
Suppose -t + 0*t + 13 = 5*u, u = 3*t - 7. Suppose u*n - 84 = -0*n. Is 21 a factor of n?
True
Let n(o) = -15*o**3 + 17*o + 20. Let a(t) be the second derivative of -t**5/4 + t**3 + 7*t**2/2 - 3*t. Let s(p) = 17*a(p) - 6*n(p). Is s(1) a multiple of 4?
True
Let s be 38/6 - (-4)/6. Suppose 5*w = -i + s, -4*i - 4*w = -i - 21. Does 7 divide i?
True
Suppose 0 = 4*r - 0 - 12. Suppose 0 = r*c - 2 + 11. Is 9 a factor of c/((-6)/50) + -2?
False
Let r(d) = -5*d - 5. Suppose -3*p = -0*p + 15. Is 20 a factor of r(p)?
True
Suppose -6*a + 40 = -4*a. Is a a multiple of 10?
True
Is 35 a factor of 2/(-14) - (-3924)/28?
True
Let p(n) = n**3 - n + 3. Let m(v) = 5*v**3 - 5*v + 16. Let s(w) = 2*m(w) - 11*p(w). Let j be s(1). Let h = 4 + j. Is h even?
False
Suppose 14 + 2 = 2*z. Suppose -3*u + z = -u. Is u a multiple of 3?
False
Let b = 11 + -1. Suppose -s = 3*n - 19, b*s - 65 = 5*s - 5*n. Does 8 divide ((-48)/15)/((-2)/s)?
True
Let k(u) = 3*u**2 + 0*u**2 + 5*u - 5*u - 2*u. Let o be k(4). Suppose 3*s = s + o. Is s a multiple of 14?
False
Let i = -8 - -10. Suppose 4*b = -4*j + 108, 0 = -3*b + i*j + j + 87. Is b a multiple of 14?
True
Suppose 0 = 4*t + 12, 3*x + 1 + 2 = 3*t. Is 4 a factor of ((-6)/x)/((-6)/(-16))?
True
Let q = 4 + 1. Let f(y) = -y**2 + 8*y - 1. Is 3 a factor of f(q)?
False
Suppose 0 = -5*l + 65 + 275. Does 27 divide l?
False
Let d = 102 - 48. Is 8 a factor of d?
False
Suppose 2*d = 9 - 1. Suppose 33 = d*n + 1. Is n a multiple of 8?
True
Let l be 50/4 + (-7)/14. Suppose 0*t + l = 3*t. Does 2 divide t?
True
Suppose -3*w = -3*h + 222, 4*w = -9 + 1. Suppose 25 = q - 4*j, -2*q - j = 2*j - h. Does 16 divide (2 - 4/6)*q?
False
Let f(t) = 9*t**2 - t - 1. Let g be f(-2). Suppose g + 19 = 4*b. Is 7 a factor of b?
True
Let i = 11 - 11. Suppose 4*u - 3*n - 24 = i, 0 = -3*n + 12. Does 9 divide u?
True
Let f be -4*(-1)/2 + -2. Let r = 10 - f. Let j = r + -7. Is 3 a factor of j?
True
Suppose 5*r - 16 = -2*n, -2*r + 5*n + 14 = 2*n. Let c(d) = d**2 + 8*d + d**3 + 11 + 4*d**2 + r*d**2. Is c(-8) a multiple of 9?
False
Let a = 15 + -6. Suppose -k - a = -46. Is 21 a factor of k?
False
Suppose -d + 3*w = -10 - 13, 3*w + 58 = 2*d. Does 13 divide d?
False
Let c = 110 + 28. Is 6 a factor of c?
True
Suppose 0 = -21*t + 23*t - 26. Is t a multiple of 2?
False
Suppose 3*m + 57 = 2*g, 2*m + 13 = -2*g - 15. Let l = 2 + -1. Let o = l - m. Is o a multiple of 5?
False
Is (-75)/6*(-8)/10 a multiple of 10?
True
Let k(d) = 0 - 9*d - 5 + 2. Suppose 0 = 5*c, -3*c - 6 = 3*v + c. Is 8 a factor of k(v)?
False
Let b be (-2 - -50) + 4/4. Suppose 3*d = -p + b, 5*p + 16 = d - 11. Suppose 3*x = -15, 5*k - 4*k = 3*x + d. Does 2 divide k?
True
Suppose -11*k + 22*k = 143. Is 3 a factor of k?
False
Suppose -4*p - p = -20. Suppose 3*k = 4*v - 23, -3*v - 3*k = -k + p. Does 4 divide 13 - (v - (0 - 0))?
False
Suppose 0 = a - 5. Suppose 3*s + 258 = 5*o, a*o - s + 45 = 311. Is o a multiple of 27?
True
Let n(m) = 5*m**3 - 9*m**2 + 8. Let r(z) = -z**3 + z. Let p(i) = -n(i) - 4*r(i). Does 12 divide p(8)?
True
Let d(z) = 8*z + 8. Is d(6) a multiple of 11?
False
Let v(m) = -m**2 - 8*m + 9. Let g be v(-9). Does 15 divide (1 - g)*(-240)/(-4)?
True
Suppose 4*b - 4*p = 400, 3*b = -p + 3*p + 302. Is 17 a factor of b?
True
Let d be (-3 - -1) + 3 - -3. Suppose 0 = -d*i + v - 8 + 33, -2*v - 10 = 0. Does 3 divide i?
False
Let j be 2/5 - 4/10. Suppose j*n - 8 = -4*n. Suppose 0 = -n*s - s + 54. Does 6 divide s?
True
Let q = -12 - -28. Does 10 divide q?
False
Let w = 8 + 25. Is 7 a factor of w?
False
Suppose -d + 9 = 2*w, 12 = 3*w + d + d. Is 2 a factor of w?
True
Suppose 0*d = d. Suppose -468 = -4*v + 3*z, d = 2*z - 0 + 8. Suppose 51 = 5*h - v. Is h a multiple of 18?
False
Let n(s) = s**3 + 8*s**2 + 6*s + 1. Is 12 a factor of n(-4)?
False
Suppose 5*d = 4*x + 3 - 0, 4*x = -2*d + 18. Suppose 0 = 5*w - 30. Suppose f - w = -d. Is f a multiple of 3?
True
Let j be 3/6 + (-25)/(-2). Suppose -f - 2*a + 116 = 2*f, 3*f - 2*a - 112 = 0. Suppose -5*w + f = j. Is w a multiple of 2?
False
Let u(l) = 14*l + 16. Does 25 divide u(6)?
True
Suppose -8 = 3*f + f. Let k be ((-43)/2)/(1/f). Suppose -k = -5*n + 27. Does 14 divide n?
True
Suppose -15 = -3*d + 54. Is d a multiple of 7?
False
Let t be (14/(-7))/((-1)/8). Suppose -4*u + 16 = -t. Does 24 divide 2/u + 1057/28?
False
Let d(w) = w**2 - 4*w - 2. Suppose 5*o - 6 = -1. Suppose 0 = 3*y - p - 14 - o, y - 18 = -4*p. Is 4 a factor of d(y)?
False
Let p = 235 - 159. Does 19 divide p?
True
Suppose 2 = 4*a - 2*a. Is -1 + a/(3/57) a multiple of 9