2)?
True
Let p(m) = 3*m**3 - 11*m**2 + 5. Is 12 a factor of p(5)?
False
Let s = 4 + 3. Suppose 0 = -5*j + 3*j + 210. Suppose s*g = 2*g + j. Is 20 a factor of g?
False
Let q(r) = -22*r - 6. Does 23 divide q(-5)?
False
Suppose -4*o + 4 = -2*o, -2*o = -b + 21. Is b a multiple of 9?
False
Let a = -5 - -8. Suppose -5*q - 3*m = -8*m - 15, 2*q + 2*m = 2. Suppose -q*h = -a - 17. Is 6 a factor of h?
False
Suppose 5*z - 855 = -6*a + a, -3*z = 2*a - 341. Does 43 divide a?
True
Let q(t) be the third derivative of -t**4/24 + 5*t**3/6 - t**2. Is q(0) even?
False
Let o(c) = 2*c + 94. Suppose 0 = 4*k - 8*k. Is 32 a factor of o(k)?
False
Suppose 8*l - 881 = 991. Is l a multiple of 29?
False
Suppose 9*z + 66 = 11*z. Does 11 divide z?
True
Suppose v + 0*v = 8. Does 2 divide v?
True
Suppose 5*u = -8*h + 3*h + 125, 4*h + 5*u - 96 = 0. Suppose -3*c = -d + h, -4*d = -4*c + 46 - 122. Is 14 a factor of d?
True
Let g(c) = -4*c + 13. Let a be 4/(-30) - 832/60. Is g(a) a multiple of 18?
False
Let b = 3 + -26. Let t = b - -40. Does 6 divide t?
False
Suppose 2*a + 1 = 15. Suppose w - 2*j = 6*w + 8, -j = w + 1. Let x = a - w. Is x a multiple of 9?
True
Let u(n) = -6*n + 3*n**2 + 5 - 6*n**2 - 5 + n**3. Is u(5) a multiple of 5?
True
Let m = -14 + 36. Does 14 divide m?
False
Does 7 divide -10*-3*(-28)/(-12)?
True
Is 170/8 + (-5)/20 a multiple of 7?
True
Let v be 8 + 2 + -5 + 0. Suppose -71 = -v*t - 11. Does 4 divide t?
True
Suppose 5*j - 2*j = 135. Let k = j + -21. Is k a multiple of 12?
True
Suppose 0 = -0*s + 3*s, -u + 168 = -4*s. Does 21 divide u?
True
Let a be 4/(1 + (-3)/5). Is 7 a factor of 145/a + 2/(-4)?
True
Let y be (28/5)/(16/120). Is 7 a factor of -3 + -1 + y/2?
False
Let g(w) = w**3 - 2*w**2 - 4*w + 3. Let p be g(3). Suppose j = -2*r - p*r + 29, j = 2*r + 33. Is j a multiple of 13?
False
Let y(a) = a**3 + 2*a**2 - 3*a. Let n be y(-3). Suppose n = -4*b + 34 + 110. Let r = b + -18. Is r a multiple of 18?
True
Suppose -4*r = p - 14, p + 5*r = 22 - 5. Suppose -f - 4*x + 16 = -p, -5*f = -5*x - 115. Is 11 a factor of f?
True
Suppose -2*i = 1 + 3. Is (2 + -4*4)*i a multiple of 28?
True
Suppose -3*i = -3*v - 2*i + 41, 0 = -i - 5. Is 5 a factor of v?
False
Suppose 2*r - 210 = -3*r. Let j = 76 - r. Let p = 86 - j. Is p a multiple of 15?
False
Let k(a) = 2*a - 5. Let r be k(4). Suppose r*g + 95 = 8*g. Let n = -12 + g. Does 7 divide n?
True
Let m(w) = -7*w + 3. Let j = 28 - 31. Is 4 a factor of m(j)?
True
Let u = 20 - -1. Does 8 divide u?
False
Suppose -3*u + 28 - 3 = 2*m, -3*m + 45 = -3*u. Is 9 a factor of 0 - m*-1 - 2?
False
Let f(s) = -16*s**2 + 5. Let k(h) = 17*h**2 + h - 4. Let a(g) = -2*f(g) - 3*k(g). Let r be a(3). Is 13 a factor of 5/(-20) + r/(-8)?
False
Suppose 0 = 9*m - m - 2888. Is 46 a factor of m?
False
Let f = 5 - 0. Suppose 2*c + 36 = n, -3*n - n + f*c = -150. Does 24 divide n?
False
Let n(p) = -p + 22. Is n(7) a multiple of 5?
True
Suppose 0 = -2*a + 3*h + 82, -3*a = -a + 5*h - 114. Is a a multiple of 10?
False
Suppose -2*q - 21 = -a, -60 = -5*a - 5*q - 0*q. Is a a multiple of 5?
True
Let r(l) = -l**3 - l**2 + l + 5. Let h be r(0). Suppose 2*k + h*p - 64 = -0*k, 2*k = -4*p + 60. Is k a multiple of 7?
False
Let m(v) = -v**3 - 3*v**2 + 14*v + 4. Is m(-6) a multiple of 14?
True
Let p = -26 + 42. Is 15 a factor of p?
False
Let d = -49 + 88. Is 9 a factor of d?
False
Let v be 111 + 2*(2 - 1). Let h be v - (-1 - -1 - -1). Suppose 10 - 2 = 4*d, -d = 5*l - h. Is 9 a factor of l?
False
Suppose -4*c = c - 10. Is c even?
True
Let f = -26 + 41. Let n be (f/9)/5*-3. Does 4 divide (n/(-1))/((-2)/(-30))?
False
Let p = -34 - -71. Is 8 a factor of p?
False
Let x(z) be the third derivative of z**5/60 + 2*z**3/3 + 4*z**2. Is 4 a factor of x(0)?
True
Suppose 6*p - 247 = 401. Is 6 a factor of p?
True
Suppose -5*v + 4 = -26. Let z = -3 + v. Let p(h) = 5*h - 1. Is 14 a factor of p(z)?
True
Let r = 51 - 28. Let j = r + -9. Does 7 divide j?
True
Let i = 3 + -3. Let n be 2/(-5) + (-85)/(-25). Suppose n*r = -i*r + 48. Is r a multiple of 8?
True
Suppose m = -2*h + 11, -m + 2*h - 12 = -3*m. Suppose -o - m = -0. Is 2*o*1*-9 a multiple of 9?
True
Suppose 0 = 3*x + x - 312. Let s = x - 54. Is 15 a factor of s?
False
Is (2/(8/7))/(3/36) a multiple of 9?
False
Let w be ((2 - 5) + 2)*-2. Let s(v) = 5 + 0*v**2 - 5*v**w + 4*v**2 + 5*v. Is s(5) even?
False
Let u = 53 - 8. Suppose 0 = -5*m + 5*c + u, 2*m + 2*c = 6*m - 28. Is 229/m + 2/10 a multiple of 16?
False
Does 10 divide 0 + (9/3 - -7)?
True
Suppose 4*o - 5*h = -28, -2*h = o + 4 + 3. Is (-136)/(-14) + (-2)/o a multiple of 5?
True
Let f be (-3)/(-2)*(3 + -1). Suppose -f*b = n - 6*n + 107, -2*n - b + 45 = 0. Does 8 divide n?
False
Suppose 3*r - 36 = 30. Is 6 a factor of r?
False
Let u = -1 + 0. Let a = 3 + u. Is 11 a factor of (-1 - a/(-4))*-22?
True
Suppose 6*v - v = 160. Let g = v + -23. Is g a multiple of 9?
True
Let q(z) be the second derivative of z**5/20 - z**4/3 - z**3/3 - 9*z**2/2 + 5*z. Does 4 divide q(5)?
False
Is -9*(-3 + (-148)/12) a multiple of 21?
False
Let a = -51 - -139. Is 22 a factor of a?
True
Suppose -5*x + 62 - 202 = u, -62 = 3*x + 5*u. Suppose 0 = -2*d - 4*k - 26, -k + 10 = -0*d - 5*d. Let q = d - x. Does 26 divide q?
True
Suppose 4*m - 72 = 4*y, 2*m - 2*y = 5*m - 74. Is 11 a factor of m?
True
Suppose 0 = -2*f - 3*n + 19, -7*n + 3*n = 2*f - 20. Let s(k) = k + 8. Does 16 divide s(f)?
True
Suppose 8*w = 2*w + 600. Is 31 a factor of w?
False
Suppose 5*c - 170 - 605 = 0. Is c a multiple of 31?
True
Let s be 3*(-1 + 1/3). Let h(a) = -7*a - a + 8*a + 6*a**2. Is 12 a factor of h(s)?
True
Let a(h) be the third derivative of -7*h**4/8 + h**3/6 - 4*h**2. Is a(-2) a multiple of 11?
False
Suppose p - 9 = -2*p. Suppose 4*m = 2*o - 132, 2*o - 4*m + 36 = p*o. Is 28 a factor of o?
True
Is 11 a factor of -6 + 2 - -3*5?
True
Let v be 4 + -6 + (-2)/(-1). Let g = v + 1. Suppose -5*m + 3*j + g = -10, 5*j = -3*m + 27. Is 2 a factor of m?
True
Suppose -141 = -4*a + z, 2*z - 4*z = 2. Is a a multiple of 5?
True
Let z(g) = g**2 + 5*g - 6. Let l be z(-6). Let n(k) = -k**3 + k**2 - k + 11. Let w be n(l). Suppose w = 2*b - 1. Is 5 a factor of b?
False
Let w be 2*(4/2 - 4). Suppose -22 = -5*t - v, 3*t + 0*v = 4*v + 27. Is 10 a factor of w/((2/t)/(-1))?
True
Suppose 2*c - 22 = -2. Suppose i - 48 = c. Is i a multiple of 15?
False
Is 1/(5/(2375/5)) a multiple of 5?
True
Suppose 0 = 5*m - 1 + 16. Let w(o) = -2*o**3 - 4*o**2 - o + 1. Is w(m) a multiple of 11?
True
Suppose 2*s = -2*s + 72. Does 16 divide s?
False
Let r = -32 - -65. Is r a multiple of 11?
True
Let d be (-18)/(-5) - 6/(-15). Suppose 13*h + d = 14*h. Is h even?
True
Let s(y) = -66*y**3 + y + 1. Does 22 divide s(-1)?
True
Is (-4)/(-34) + (-100)/(-17) a multiple of 4?
False
Let d(k) = 3*k - 8. Let b be d(-6). Suppose -5*a + 144 = -2*a. Let x = a + b. Is 16 a factor of x?
False
Suppose -5*v + 47 = -33. Let j = v - 2. Is 14 a factor of j?
True
Suppose l - 9 = -2*d, -l + 3*l - 24 = -5*d. Suppose -d*o + 45 = -3*o. Is 12 a factor of 10/5 - (0 - o)?
False
Suppose 0 = -2*g - g + 204. Suppose 0 = 2*q - c + 5*c - g, 5*q = -5*c + 180. Does 19 divide q?
True
Let j(m) = 2*m**2 + 3*m - 2. Let r be j(-4). Let u = 31 - r. Suppose 3*f - t - 59 = -3*t, -f + t = -u. Is 13 a factor of f?
False
Suppose -n = -p + n - 12, 2*p + 14 = 2*n. Let l be (-2)/(-4)*2*-4. Does 2 divide (-1 + p)/(3/l)?
True
Let n = 727 - 448. Is 31 a factor of n?
True
Let c be (1 + 0/3)*10. Suppose 4*w + 30 = c, -l + 20 = -3*w. Does 3 divide l?
False
Suppose -4*q + 32 = -2*r, 2*q + q + 4*r = 24. Let n(o) = 6*o**2 + 3*o**2 - 7*o + 2 - o**3 + 0*o - 5. Is n(q) a multiple of 5?
True
Suppose -139 = 4*g - 15. Let u be (0 - g) + 2 - 1. Suppose 2*l - l - u = 0. Is l a multiple of 16?
True
Let g be (-84)/(-10)*5/2. Suppose 2*n - g = n. Is 21 a factor of n?
True
Suppose -2*k = 2*d + 8, 2*k + d + 1 + 3 = 0. Suppose -241 = -0*z + 3*z - 5*b, k = -z + 4*b - 92. Let v = 104 + z. Is 12 a factor of v?
False
Suppose -180 = 5*p - 8*p. Is 18 a factor of p?
False
Let h = 101 + 16. Does 17 divide h?
False
Let o(y) = y**2 - 4*y - 3. Suppose -l - 4*l + 30 = -2*c, 22 = 3*l - 2*c. Let r be o(l). Is -2*(-11)/2 + r a multiple of 5?
False
Let z = 0 - -3. Suppose 184 = i - z*i. Does 16 divide (i/(-1))/((-14)/(-7))?
False
Suppose -i + 5*i + 4 = -4*t, -5*i = 4*t + 5. Supp