w. Suppose -5*c - 4*q + 28 = -148, 5*q + 185 = d*c. Does 18 divide c?
True
Suppose 0 = -2*f - 0*f. Let b = 2 + f. Does 16 divide (24/3)/(b/12)?
True
Let g be 4/(((-2)/3)/(-1)). Suppose g*k - k = 0. Suppose i + 0*i - 7 = k. Does 7 divide i?
True
Let p = -1 - -3. Suppose -5*m + 0*a = p*a - 83, -12 = -3*a. Does 14 divide m?
False
Let z = 47 - 20. Does 7 divide z?
False
Is 6*-3*((-56)/9 - 2) a multiple of 37?
True
Let t be -3*4/(-6) + 0. Suppose 12 + 42 = 4*c - 2*d, 0 = -c + t*d + 18. Is (c/10)/((-3)/(-10)) a multiple of 3?
False
Suppose -f + 5 + 3 = 5*p, -5*p + 5 = 0. Suppose 21 = f*r - 21. Does 7 divide r?
True
Suppose -5*s + 188 = -92. Does 28 divide s?
True
Let z(b) = 9*b - 3*b**2 + 4*b**2 + 1 - b - 3*b. Is z(-8) a multiple of 13?
False
Let t(m) = 6*m - 2. Is t(2) a multiple of 5?
True
Let y(v) = v**3 + 7*v**2 + 6*v. Let j be y(-6). Suppose -10 = -2*m - j*m, 2*t + 5*m + 11 = 0. Is 8 a factor of -2 - (t + 0/(-1))?
True
Let g(u) = 182*u - 6. Does 21 divide g(2)?
False
Let f = 18 + -29. Let g(l) = -15*l + 3. Let k(m) = -7*m + 1. Let n(x) = -6*g(x) + 13*k(x). Does 6 divide n(f)?
True
Let f = 91 + -2. Is f a multiple of 25?
False
Suppose 0*f = 5*f - 60. Does 16 divide (-3)/(27/(-12))*f?
True
Let u = -134 - -253. Suppose -2*f + 45 = 5*j, j - 26 = 3*f - u. Is 15 a factor of f?
True
Let d(y) = y**3 + 9*y**2 + 8*y + 8. Let w(k) = -k**2 + 7*k + 4. Let s be w(8). Let i be 57/(-9) + s/6. Is d(i) a multiple of 17?
False
Let u(w) = -w**2 + 7*w - 3. Let k be (-42)/(-15) - 1/(-5). Is u(k) a multiple of 2?
False
Let j be 6/(-8) + 513/12. Let n = j + -22. Is 6 a factor of n?
False
Let u = -18 - -66. Does 11 divide u?
False
Let b = 20 - 18. Suppose 48 = 6*j - b*j. Does 3 divide j?
True
Suppose 0 = -5*m - 3*w + 873, 2*m + w + 4*w - 334 = 0. Is 45 a factor of m?
False
Let l(c) = c**3 - 6*c**2 + 8*c - 5. Suppose 2*n - 2 = 8. Is 10 a factor of l(n)?
True
Suppose -3*u + 315 = -0*u - 3*w, -2*w + 560 = 5*u. Is u a multiple of 11?
True
Suppose 0 = 3*o - 3 - 3. Suppose 2*u = -n + 42, o*n + u - 69 = -0*u. Does 16 divide n?
True
Is 12 - 0/4 - -4 a multiple of 16?
True
Let g(v) = -2*v**3 + v**2 + 3*v + 3. Let f be g(-2). Suppose -4*h = -27 - f. Is 3 a factor of h?
False
Is (12/(-14))/((-9)/1512) a multiple of 16?
True
Suppose 0 = 3*v - 2*o - 2*o + 145, 5*o = 5*v + 235. Does 5 divide 1/(-2) - v/2?
False
Let y(w) = -w**3 - w + 11. Let s be (0 + 2 - 2)/(-2). Let m be y(s). Let z = m - 6. Is z a multiple of 5?
True
Suppose 17 = -2*i + 55. Does 19 divide i?
True
Let j = 10 + -8. Suppose j*l - 92 = -2*p + l, -4*l - 112 = -2*p. Suppose 0*d - 14 = -h + 5*d, 0 = 5*h - 3*d - p. Does 8 divide h?
False
Let f(o) = 7*o - 19. Does 17 divide f(10)?
True
Suppose 4*w = -3*l - 53, -3*l + w = 4 + 24. Does 11 divide (-3 - (0 - 1))*l?
True
Suppose -4*n + 3*j = 34 - 168, 4*j = 8. Is 7 a factor of n?
True
Let d = 276 - 182. Is d a multiple of 11?
False
Let u(r) = -r**2 + 8*r - 4. Let f be u(7). Suppose 28 = f*z - 26. Is z a multiple of 18?
True
Let h = -12 - -72. Is 4 a factor of h?
True
Let u(d) = 4*d + 4. Suppose 6*m = m + 25. Is u(m) a multiple of 10?
False
Let z = -8 + 27. Is z a multiple of 19?
True
Let o(f) be the third derivative of f**5/30 + 11*f**4/24 + 7*f**3/6 + f**2. Is o(-7) a multiple of 14?
True
Suppose -3*c - 5 = -14. Suppose -2*x + c*x = 2. Suppose -3*d + 71 = -0*d + r, 0 = -x*r + 10. Is d a multiple of 11?
True
Suppose -15*y + 5*y = -3000. Is 38 a factor of y?
False
Let y be (-17)/(-4) + 1/(-4). Suppose -j + y = -0*t - 2*t, -5*j = -t + 25. Let q = 4 - j. Is q a multiple of 5?
True
Let f(l) = 0*l**3 + l + 2 - 2*l**3 + 2*l. Does 12 divide f(-2)?
True
Is 1/2*(0/2 + 98) a multiple of 10?
False
Let z(j) = 3*j. Let d be z(5). Is 6 a factor of 174/10 + (-6)/d?
False
Let p = -105 + 73. Let k = p + 56. Is k a multiple of 8?
True
Let j = -7 + 17. Suppose -7*t = j - 66. Is 4 a factor of t?
True
Let q(g) = 5*g**2 - g + 1. Let c be q(1). Let x(k) be the first derivative of k**2 - 5*k - 3. Is x(c) a multiple of 5?
True
Suppose -j - 5 = c, 3*j = 2*c + 4*j + 5. Suppose c = 2*g - g - 12. Is 12 a factor of g?
True
Let x = 4 - 5. Let s be -1 + (x - 0) + -1. Does 5 divide 26/6 + (-2)/s?
True
Is 28 a factor of (-375)/(-12) - (-10)/(-8)?
False
Let u(l) = -32*l - 28. Is u(-9) a multiple of 45?
False
Let o(i) = i**3 + 9*i**2 + 5*i - 7. Suppose 0 = c - 4*c - 21. Does 17 divide o(c)?
False
Let s(n) = -n**2 + 9*n + 10. Let h be -2 + 1 + 6 + 3. Is s(h) a multiple of 3?
True
Suppose 4*u = -3*m + 80, m + 6 - 26 = 2*u. Does 6 divide m?
True
Let j be 3*(-1)/(-1) + -7. Let q(x) = -x**3 - 4*x**2 - 4*x. Is 9 a factor of q(j)?
False
Suppose -2*s + 7*a = 5*a - 46, -25 = -s - a. Is 13 a factor of s?
False
Suppose 3*d = 284 + 34. Let y = 196 - d. Is y a multiple of 30?
True
Suppose -89 + 6 = -g. Is 27 a factor of g?
False
Suppose -3*j + 4*w = -64, -62 = -2*j - j + 5*w. Does 6 divide j?
True
Let h(q) = q. Let r be h(-3). Let m(d) = -d - 3. Let s be m(r). Suppose s = 2*c + 3*c - 65. Is c a multiple of 7?
False
Let y = 7 + -32. Let l = 38 + y. Is 13 a factor of l?
True
Suppose -u + 3 = -30. Is 20 a factor of u?
False
Let c(i) = i**2 - 10*i + 8. Does 3 divide c(11)?
False
Is 3 a factor of ((-42)/(-12))/(1/4)?
False
Let f = -5 - -3. Does 5 divide -6*f/6 - -6?
False
Let j(u) = 41*u + 8. Let r(s) = 14*s + 3. Let h(a) = 4*j(a) - 11*r(a). Is 6 a factor of h(2)?
False
Let o(r) = 73*r - 2. Let n be o(-2). Let c = 253 + n. Suppose -5*g - w + c = -4*w, -2*g + 2*w = -42. Is 12 a factor of g?
False
Let n be (-2)/(6/(-9)) + -9. Is (-3)/2*16/n a multiple of 2?
True
Let b(i) = -i**3 - 9*i**2 + 5*i - 2. Is b(-11) a multiple of 7?
False
Is ((-36)/10)/((-20)/50) a multiple of 6?
False
Let j(d) = d**3 + 10*d**2 - 6*d + 6. Is 13 a factor of j(-10)?
False
Suppose 2*h - 197 = 3*i, -369 = -4*h + 2*i - i. Does 23 divide h?
False
Suppose 4*l - 2*l = 182. Is l a multiple of 13?
True
Let h(n) = -1 + 3 + 2 - 5 + 41*n. Is 11 a factor of h(1)?
False
Let z(b) = -62*b**2 + b. Let t be z(1). Let o = t + 94. Is o a multiple of 19?
False
Suppose 0 = -3*j + 6, u + 2*j = -j. Let q = u - -4. Is (1 + 1)*3 - q a multiple of 8?
True
Suppose -4*p = 4*c - 24, -5*c - 26 = -2*p - 0*c. Suppose 0 = -3*m + 7*m - p. Suppose m*k + k = 27. Is k a multiple of 8?
False
Let c be (0 - 2)*12/8. Does 10 divide 1/(-3) + (-55)/c?
False
Let z(t) = t**3 - 2*t**2 + t + 2. Let n be z(2). Is 11 a factor of 1936/36 + n/18?
False
Let h(r) = r + 2. Let o(w) = -1. Let l(m) = h(m) - 3*o(m). Let i be l(-3). Suppose 4*a + i = 2*a, 59 = 3*z + a. Is z a multiple of 12?
False
Let m(o) be the third derivative of o**5/10 + o**4/24 - o**3/6 - 7*o**2. Does 3 divide m(1)?
True
Let q(k) be the first derivative of -k**4/4 + 4*k**3/3 + 3*k**2/2 - 4*k + 1. Is 7 a factor of q(3)?
True
Let b be (0 - 2)/2*0. Suppose -m - a + 12 = 0, b*m - a = -m + 12. Is m a multiple of 12?
True
Let s(p) = p**3 + 9*p**2 - 13*p - 15. Is s(-10) a multiple of 5?
True
Suppose -o + 2*o = 4, 4*o + 124 = 5*t. Suppose 4*a - t = 3*a. Is 22 a factor of a?
False
Let z = 20 + -17. Suppose -z*l = 0, y - 5*y - 2*l + 96 = 0. Is y a multiple of 6?
True
Suppose -5*q + 3*m = -m - 360, m = 4*q - 299. Suppose 61 = p - 2*i, -2*i - i = p - q. Is p a multiple of 14?
False
Suppose -152 = -4*i + 5*z - z, -5*z - 10 = 0. Is i a multiple of 12?
True
Let j = 18 - -1. Let r be (-1 - (-1 + 1)) + 1. Suppose g + 0*g - j = r. Does 17 divide g?
False
Suppose -4*u + 15 - 3 = 5*t, -5*t = -4*u + 12. Suppose -u*k + 92 = -i, -i = 4*i + 25. Does 12 divide k?
False
Let o(c) = c + 14. Suppose -s - 3*s = 0. Let h be o(s). Let z = 26 - h. Is 12 a factor of z?
True
Suppose 5*m - 72 = 5*l - 17, m = 5*l + 23. Suppose -5*j - 3*d + 72 = m, -42 = -3*j - 3*d. Is j a multiple of 8?
False
Let y = 293 - 37. Suppose -5*z = -z - y. Does 4 divide (1/2)/(4/z)?
True
Let o(h) = h - 4. Let l be o(4). Is 13 a factor of 8*(39/12 - l)?
True
Let i = -6 - -8. Suppose 0 = 2*a - 5*b - 41, 0*a - 70 = -4*a - i*b. Does 6 divide a?
True
Suppose -2*w = 5*r, 4*w + 30 = 5*r - 0*w. Suppose -5*d + 90 = -5*f, 2*d + r*f - 11 = -f. Does 13 divide d?
True
Suppose -1 = -5*p + 34. Suppose -c = p + 27. Let d = c - -67. Does 17 divide d?
False
Let g(x) = -x**3 + 3*x**2 + 2*x. Let b be g(-5). Let m(y) = -y**3 - 4*y**2 - 2*y - 1. Let u be m(-3). Is 2/(-4) - b/u a multiple of 21?
False
Is 11 a factor of 