iple of 19?
True
Suppose -l - 80 = -2*p + 23, 0 = -4*p - 3*l + 181. Is 12 a factor of p?
False
Let q = 38 - 8. Is 15 a factor of q?
True
Let h(c) = 2*c**2. Let p be h(1). Let k be (-1)/(-2) + 1/p. Let b = 6 - k. Is b a multiple of 5?
True
Suppose -3*n = 7*n - 2880. Does 12 divide n?
True
Suppose 0 = 13*b - 8*b - 1530. Is b a multiple of 51?
True
Let c = -63 + 160. Suppose 5*q - 3*o = -c, -q + o - 18 = 1. Is (-24)/(-20)*q/(-3) a multiple of 4?
True
Let c(w) = 2*w - 4. Let u be c(3). Suppose -3*k = j - 5*j + 69, 0 = -u*j - 2*k + 38. Does 9 divide j?
True
Suppose -4*p + v = -4*v - 43, 25 = 5*v. Is 9 a factor of p?
False
Let a(r) = 34*r - 2. Is 22 a factor of a(2)?
True
Let c(b) = 2*b**2 + 5*b + 2. Let f be c(-3). Suppose 5*t - 65 = -0*t + 2*n, 65 = f*t - n. Does 10 divide t?
False
Suppose -5*f + x = -123, -2*x + 129 = 5*f - 5*x. Does 8 divide f?
True
Let f(r) = -41*r + 97. Does 24 divide f(-7)?
True
Let o(i) = i**2 + 11*i + 3. Let u be o(-11). Suppose 2*w - u = 15. Is 9 a factor of w?
True
Let q be (69 + 4/(-2))/1. Let z = -38 + q. Is 6 a factor of z?
False
Suppose -4*t = 9 + 3, x - 5*t = 64. Is 10 a factor of x?
False
Let w(y) = y + 5. Is w(8) even?
False
Suppose v = 2*q + 1 - 13, -5*q = 5*v. Let f(i) = 2 - 7 + 0 + i**2. Is f(v) a multiple of 5?
False
Let f(w) be the first derivative of -w**4/2 - w**3/3 - w**2/2 + 2. Suppose -2*z + 3*s - 15 = 2*z, -4*z + 2*s - 14 = 0. Is 24 a factor of f(z)?
True
Suppose -2*d = -3*j - d + 10, 0 = -2*d + 4. Let w(n) = 5*n**2 + n**3 - 4 - j*n + 4. Does 10 divide w(-5)?
True
Let s = -19 - -28. Does 13 divide (-8)/36 - (-416)/s?
False
Let y(f) = 11*f + 2. Is y(3) a multiple of 14?
False
Let b(h) = -16*h**3 - 3*h**2 - h - 1. Let v be b(-2). Suppose v = 4*k - s, -36 = -3*k + 2*k - 2*s. Is k a multiple of 15?
True
Suppose 0 = b + 3*m - 25, -4*m = -b - b + 30. Let p = b + -10. Does 3 divide p?
True
Is 30 - (2 + -3 + -1) a multiple of 9?
False
Let h(y) = y**2 + y + 1. Does 11 divide h(6)?
False
Let v(j) = 18*j**3 - 26*j**2 - 11*j - 11. Let z(f) = -6*f**3 + 9*f**2 + 4*f + 4. Let l(w) = 6*v(w) + 17*z(w). Does 16 divide l(2)?
False
Suppose -2*i - 5*i + 21 = 0. Is i a multiple of 3?
True
Let n(d) = 7*d**2 + d - 4. Is n(-6) a multiple of 55?
False
Suppose 2*k - 2*o = 186, 2*o + 69 = 3*k - 205. Is 11 a factor of k?
True
Suppose 0 = 5*o - 3*u + 39, -2*u - 31 = 3*o - 0*u. Let w = -17 - o. Let t = 19 + w. Is t a multiple of 11?
True
Suppose 57 = r - m - 4*m, -2*r - 4*m + 184 = 0. Is -2 - 1 - (-11 - r) a multiple of 30?
True
Suppose 0 = 2*l - 3*v + 6*v - 19, 2*v - 4 = 3*l. Let m be 4/2 - (-2 + l). Suppose -m*q + 87 = q. Does 14 divide q?
False
Let y(f) = f**2 - 4*f + 2. Let x be y(4). Suppose 0 = -3*o - 3*l + 99, -2*l - 38 = -x*o + 48. Does 19 divide o?
True
Suppose 0*o + 2*o + 62 = 0. Suppose -15 = -5*g, -5*d = -g + 138 - 390. Let n = d + o. Is n a multiple of 10?
True
Let d = 13 + -9. Suppose 3*t - 1 = 5*q - 3*q, 0 = -3*q - d*t + 24. Is q a multiple of 3?
False
Suppose -5*r + 120 = 4*y, -5*r + 2*y - 16 + 136 = 0. Is 5 a factor of r?
False
Let k(x) = x**2 - 8*x - 11. Is 5 a factor of k(11)?
False
Let u(o) = o + 2. Let j be u(3). Suppose 0 = 2*t - j*t + 27. Is t a multiple of 7?
False
Suppose -m = 49 - 196. Is 12 a factor of m?
False
Let r(b) = b**3 + 10*b**2 + 5*b + 12. Let s(h) = 5*h**2 - 2*h**3 - 16*h**2 - 16*h - 37 - 20*h**2 - h**3. Let p(f) = 7*r(f) + 2*s(f). Is 14 a factor of p(-7)?
False
Let h(z) be the third derivative of z**2 + 1/4*z**4 + 0 - 1/2*z**3 + 0*z. Is h(4) a multiple of 13?
False
Is (-166)/(-6) - (-12)/(-18) a multiple of 13?
False
Suppose -3*m = 4*o - 223, m = 3*m - 5*o - 164. Does 21 divide m?
False
Suppose -2*y + 8 + 2 = 0. Suppose p - 11 = -3*t, -y*p - 2*t - 3*t = -35. Suppose -4*z + p*f + 0*f + 34 = 0, -10 = 5*f. Is 2 a factor of z?
True
Let w(g) = 5*g**2 + 8*g + 1. Let j(a) = 14*a**2 + 24*a + 3. Let o(y) = -4*j(y) + 11*w(y). Is o(-6) a multiple of 5?
False
Is 8 a factor of 12*((-16)/(-12))/2?
True
Let k = -66 + 105. Is k a multiple of 13?
True
Let f(b) be the second derivative of -b**5/20 - b**4/12 + b**3/6 + 14*b**2 - 5*b. Suppose 0 = q - 5*q - 4*j, 4*q = -2*j. Does 11 divide f(q)?
False
Is (-56)/8*(-5)/1 a multiple of 14?
False
Suppose -s = -x - 7, 5*s - 17 = -0*x - x. Let i be 3/((-5)/s - -2). Suppose -15 = m + j - 50, 5*m + i*j = 173. Is 11 a factor of m?
True
Suppose 3*o - 188 = 7*o. Let c = o + 79. Does 6 divide c?
False
Let h(s) = 31*s - 13. Let w be h(6). Suppose 0 = 3*x - 2*g - w, 2*x + 2*x - 4*g = 236. Is x a multiple of 19?
False
Let y = -65 + 129. Is y a multiple of 32?
True
Suppose 102 = 3*f + 27. Is f a multiple of 15?
False
Let o(i) = 31*i**2 + 1. Does 6 divide o(-1)?
False
Suppose 0 = -i - 4*c - 7, -2*i + 12 = i + c. Suppose -4*u = 1 + 15. Let j = i - u. Is j a multiple of 3?
True
Let q(m) = -m**3 + 5*m**2 - m - 4. Suppose 2 = -3*p - 7. Let r = p + 6. Is 9 a factor of q(r)?
False
Let p(n) = 6*n**2 + n - 2. Let d be p(-2). Suppose -3*a + 5*z + 32 + d = 0, -24 = -a + 5*z. Does 5 divide a?
False
Is 22 a factor of (-33)/((108/(-56))/9)?
True
Let l be (-2)/(-8) - (-158)/8. Suppose -15*t + 19*t + 20 = 0. Is 8/l + (-103)/t a multiple of 7?
True
Let j be (4/4)/(1/5). Suppose -f + 4*f = 3*s - 51, -f = j*s - 91. Let c = s + -10. Does 8 divide c?
True
Suppose -59 = -4*i + j, -5*j = 2*i - 4*j - 31. Let t = i + 37. Does 23 divide t?
False
Suppose 3*k = 83 + 118. Is k a multiple of 10?
False
Let n be (1 - 1) + -29 + 3. Let y = n + 52. Is 7 a factor of y?
False
Suppose 3 = -5*g + 2*g. Let c(u) = -15*u - 1. Is c(g) a multiple of 7?
True
Let j(l) = 3*l - 1. Let a = 2 + 0. Let s be j(a). Let g(w) = -w**3 + 5*w**2 + 5*w - 3. Is 10 a factor of g(s)?
False
Let j(l) = 2*l**3 + l**2 - 6*l + 10. Is 29 a factor of j(5)?
False
Suppose -11 = -5*z + 4*o - 2*o, -3*z = o - 11. Is 2 a factor of z?
False
Let i(m) be the second derivative of 0 - 3*m - 1/3*m**3 + 1/20*m**5 + 3/2*m**2 - 1/2*m**4. Is i(7) a multiple of 14?
False
Suppose -2*y - 112 = 252. Let d = y + 257. Does 15 divide d?
True
Suppose 0 = -2*z, 2*c - 13 = 5*z + 57. Does 7 divide c?
True
Let g(a) = -15*a. Is 5 a factor of g(-1)?
True
Let g(c) = 4*c - 22. Is g(9) a multiple of 2?
True
Suppose 2*s = -2*s. Suppose -3*t + s*t + 207 = 0. Is 23 a factor of t?
True
Suppose -5*q + s + 140 = 0, 0 = q + 2*q - s - 84. Let c = 69 - q. Let n = c - 3. Does 15 divide n?
False
Let i(b) = b**2 + 4*b - 5. Let h be (2 - 1) + -1*6. Let r be i(h). Let c = 16 - r. Is c a multiple of 9?
False
Let d = 0 + -1. Is 26 a factor of -4 + 3 + (-62)/d?
False
Is 11 a factor of (-5)/(10/(-194)) + 4?
False
Let d(x) be the second derivative of -x**4/12 + x**3/6 + x**2 - 2*x. Let t be d(2). Suppose t = -p + 1 + 4. Is 2 a factor of p?
False
Let m = 6 + 21. Let d be -1*36*(-7)/14. Let q = m - d. Does 3 divide q?
True
Let z(y) = 0*y + 3*y**2 - 3*y + 0 - 3. Suppose -4*m - 28 = -r - 9*m, -4*r + 5*m = 13. Is 7 a factor of z(r)?
False
Let r(v) = -v**3 - 13*v**2 - 9*v + 18. Is 39 a factor of r(-13)?
False
Suppose 0 = -y + k - 123, 5*y + 2*k + 861 - 225 = 0. Let r = y + 210. Is 22 a factor of r?
False
Let k(d) = 3*d**2 + 2*d - 1. Let t be k(1). Suppose 0 = f + 3*l - 74, t*f - 2*l - 197 = 99. Does 19 divide f?
False
Let b(s) = s**2. Let v(j) = 8*j**2 - 5*j + 9. Let z(l) = -4*b(l) + v(l). Is 14 a factor of z(4)?
False
Let j(a) = a**2 - a. Let m(h) = h**2 + 5*h + 4. Let i be m(-5). Let d = i + -2. Does 2 divide j(d)?
True
Let q(l) = -2*l**3 - 6*l**2 + l + 5. Let n(j) = 5*j - 1. Let r be n(1). Suppose y - 3*y = -4*u - 18, -4 = -r*y. Does 14 divide q(u)?
False
Let p = -8 - -16. Suppose -a - a + p = 0. Let i(x) = x**3 - 4*x**2 + 2*x + 2. Is i(a) a multiple of 6?
False
Suppose -7*s + 4*s = 27. Let c = s + 12. Does 3 divide c?
True
Suppose -6*l + 3*l + 294 = 0. Is l a multiple of 14?
True
Let v = -17 - -20. Suppose -12 = -w + i, -w + 41 = v*w + 3*i. Is 4 a factor of w?
False
Let g = 4 + 11. Is 5 a factor of g?
True
Suppose -3*o = -2*o - 20. Is o a multiple of 6?
False
Let s(c) = 3*c**2 - 3*c - 2. Let y(l) = 10*l**2 - 9*l - 5. Let a(d) = -7*s(d) + 2*y(d). Let z be a(3). Suppose -78 = -z*k + k. Is 13 a factor of k?
True
Suppose 2*k = k + 4. Let i = k + 5. Is 9 a factor of i?
True
Let u(j) = -j**3 + j**2 - 1. Let g be u(3). Let i = 17 - g. Is 12 a factor of i?
True
Let r = -19 + 23. Suppose l - 2*z - 39 = 0, -1