Let x(i) = 2*i - 12. Let f(n) = -3*n + 23. Let g(m) = -3*f(m) - 7*x(m). Let w be g(-11). Suppose -2*t - 160 = -3*d, 5*t + w = d + t. Is d a multiple of 17?
False
Suppose -2*o + 18 = 2*y - o, -4*o + 45 = 5*y. Let j = -4 + y. Suppose -23 - j = -4*d - i, i + 7 = d. Is 7 a factor of d?
True
Let r(w) = w**2 + 5*w - 1. Let d(j) = -3*j**2 - 15*j + 4. Let s(h) = -6*d(h) - 17*r(h). Is 6 a factor of s(-7)?
False
Let q be (-10)/(-4) + (-5)/(-10). Suppose -h + n = -n, -3*n - q = -3*h. Suppose h*w = -w + 54. Does 11 divide w?
False
Suppose -150 = -7*y - 3*y. Is y a multiple of 15?
True
Suppose -k - 4*k = -140. Suppose -4*q - k = -8, 4*u - q - 81 = 0. Is u a multiple of 19?
True
Let i = 7 - 3. Suppose d + i*s = 2*d + 11, 0 = 2*d + 4*s - 26. Suppose 0 = -h + y + 1 + 7, 52 = d*h - 2*y. Is h a multiple of 12?
True
Let k be (-53 + 6/2)/(-1). Suppose k = n + n. Is 25 a factor of n?
True
Let r = -10 - -16. Let j = 5 + -3. Suppose -j*m = r - 38. Does 8 divide m?
True
Let z = -90 + 144. Suppose 0 = -3*g + 36 + z. Is g a multiple of 19?
False
Let h(u) = -u**2 + 4*u - 4. Let j be h(3). Suppose 2*x + 4*q + 28 = 6*x, -2*q + 21 = 5*x. Is 17 a factor of j/x + 342/10?
True
Suppose -80 = -3*s - 2*s. Let u = 21 + -13. Let c = s + u. Is 13 a factor of c?
False
Suppose -5*x - 3*z = -x - 20, -4*x + z = -20. Let s be x*2*6/(-5). Let f(y) = -y**3 - 12*y**2 - 4*y - 18. Is f(s) a multiple of 8?
False
Let c = 68 - -37. Is 21 a factor of c?
True
Let z be (-1)/4 - (-9)/36. Suppose z = 4*q - 0 - 16. Is 3 a factor of q?
False
Let k = -143 - -161. Does 4 divide k?
False
Suppose -2*d + 5*a + 49 + 53 = 0, -2*a = 2*d - 116. Suppose z = -3*g + d, g - 24 = -g - 4*z. Does 20 divide g?
True
Let t = 754 - 466. Is 18 a factor of t?
True
Suppose s = n + 34, -2*n = -8 + 2. Let z = s - 12. Is 12 a factor of z?
False
Does 8 divide -5 + (-3 - (-15 + -1))?
True
Let a(y) = -15*y + 34. Is a(-9) a multiple of 42?
False
Suppose 5 = 5*c - 5. Suppose 3*r + c + 16 = 0. Let a(m) = m**2 + 6*m + 3. Is 2 a factor of a(r)?
False
Let v(y) = y**3 + 4*y**2 - 2*y - 7. Let k be v(-4). Let x(l) = 27*l**2 - l + 1. Is x(k) a multiple of 21?
False
Let u(j) = 3*j + 9. Is u(10) a multiple of 15?
False
Let z(f) = f**2 - 4*f + 41. Does 9 divide z(0)?
False
Does 8 divide (-1 - -7)/(6*(-2)/(-56))?
False
Suppose 2*n - 91 - 41 = 0. Does 33 divide n?
True
Let v be (-6)/4*16/12. Is 9 a factor of ((-39)/v)/((-21)/(-28))?
False
Suppose 3*z = 4*o + 36, -4*o - 32 = 3*z + 4. Let t = o - -37. Does 14 divide t?
True
Suppose -u = u - 16. Let b(a) = a**2 - 6*a - 8. Is 4 a factor of b(u)?
True
Let b(n) = n**2 + 6*n. Let a = 12 + -20. Is 8 a factor of b(a)?
True
Suppose -m + 6 = -14. Suppose -a = -7 - m. Is a a multiple of 9?
True
Suppose 4*m + 40 = 9*m. Suppose -5*n + 19 = -2*t, 5*t - 17 - m = -2*n. Is 2 a factor of n?
False
Let k(x) = 2 + 3*x**2 + 2*x - 4*x**2 - 5*x. Let b be k(-3). Suppose 34 = -0*d + b*d. Is d a multiple of 6?
False
Let h be (10/3)/(8/12). Let z(x) = -x**3 + 6*x**2 - 4*x + 7. Does 6 divide z(h)?
True
Suppose 8 = -a + 3*a. Suppose -3*o - 22 = -a*o. Is o a multiple of 11?
True
Let x(k) = -k**2 - k + 28. Suppose 0 = 4*h - 4*o + 12, 2 = h + 4*o - 10. Does 14 divide x(h)?
True
Let n(s) = -4 + 0*s - 2*s**2 - s + 0*s. Let i be n(-4). Let c = -16 - i. Does 13 divide c?
False
Suppose -y - 2 = -7. Let q(n) = n**3 - 4*n**2 + 3*n + 2. Does 14 divide q(y)?
True
Suppose -4*o + 27 = -3*o. Does 15 divide o?
False
Let m = -6 - -9. Suppose 2*c + 23 - 62 = 5*t, 0 = -5*c + m*t + 88. Does 5 divide c?
False
Suppose 0 = 3*z - 6 - 0. Suppose 4*i = -3*m - 78, -z*m + 5*i - 2*i = 52. Is m/3*(-3)/2 a multiple of 6?
False
Let z(k) = -3*k**2 - k. Let l be z(1). Is 1/l - (-114)/8 a multiple of 7?
True
Let d(q) = -16*q. Is 16 a factor of d(-6)?
True
Suppose -3*d = 2*g - g - 118, 3*d = -3. Is g a multiple of 20?
False
Let j(u) = 232*u**3 - 4*u**2 + u + 2. Is j(1) a multiple of 30?
False
Let a = -19 - -33. Let j = 26 - a. Does 12 divide j?
True
Suppose 0 = 2*v - 2 - 4. Suppose p + v*p = 200. Is 13 a factor of p?
False
Suppose 0 = -d - 5 + 1. Does 13 divide (-10 + -2)*17/d?
False
Suppose 0 = 2*i + 3*t - 0 - 1, -4*i = -4*t - 12. Let f(j) = -2*j + 3*j**i - 4 + 2 + 6*j. Is 15 a factor of f(-4)?
True
Let o = 260 + -134. Is o a multiple of 18?
True
Let c be 10/(-4)*12/(-15). Suppose y - c*y = -36. Is 18 a factor of y?
True
Suppose -3*b = -4*b + 175. Let j = 268 - b. Suppose 5*r + 3*m - 136 = 0, -j = -5*r + 2*r + 2*m. Is 21 a factor of r?
False
Let m = 1 + -1. Let j = 16 + 47. Suppose 3*i - j - 9 = m. Is 12 a factor of i?
True
Suppose -2 - 4 = -2*r. Suppose 3*y = 5*b + 22, 2*y - 6*b = -r*b + 15. Suppose -a + 51 = y. Is 14 a factor of a?
True
Let c = -71 + 62. Let s(f) be the second derivative of -f**4/12 - 3*f**3/2 + 5*f**2 + f. Is s(c) a multiple of 10?
True
Let x = -8 - -14. Suppose -537 = -5*v + s, -2*v + 216 + x = 2*s. Suppose 4*k - v = k. Is k a multiple of 18?
True
Let p(b) = -b**2 - 8*b - 4. Let r = -5 + 0. Does 11 divide p(r)?
True
Suppose -12*z + 685 + 1727 = 0. Is z a multiple of 19?
False
Let q(x) = 2*x. Let t be q(2). Suppose t*z - 117 = 83. Does 20 divide z?
False
Let h be (-4)/(-14) - (-26)/7. Suppose h*f + 4*w = 24, 2*w = -3*f - 0*w + 14. Let s = 12 - f. Does 10 divide s?
True
Let o(t) = -t**3 + 3*t**2 + 3*t + 3. Suppose -2 - 1 = -d. Is o(d) a multiple of 6?
True
Let f(b) = -2*b**3 - 3*b**2 + 2*b - 5 + 8*b**2 + 3*b**3. Let g be f(-4). Suppose g*q = -12, m = -4*q - 0*q. Is 11 a factor of m?
False
Suppose -3*a = -2*a - 104. Let s = a - 65. Is 13 a factor of s?
True
Suppose -2*w + 0 + 10 = 0. Suppose -4*y + 8 = 0, -w*y - 1 + 50 = 3*z. Is z a multiple of 4?
False
Does 14 divide 2 - -69 - 1 - 0?
True
Suppose 3*r + 5 = -1. Let k(n) = -3*n. Is k(r) a multiple of 6?
True
Let q(v) = 13*v + 1. Let u be q(2). Suppose 5*y + 3*d - 5*d - u = 0, 3*d = -4*y + 17. Is 2 a factor of y?
False
Let p = 11 - 11. Let d(u) = -u**3 - u**2 + u + 18. Is d(p) a multiple of 6?
True
Let t(r) = -8*r + 4. Is t(-8) a multiple of 8?
False
Let i(x) = x + 3. Let z be i(0). Suppose -2*d - z*a + 5 = 0, -2*d + 24 = 3*d - 4*a. Let h(w) = w**2 - 4*w + 6. Does 3 divide h(d)?
True
Suppose 0*o + 6 = 2*o. Suppose -5*s = 6 + 4, o*y = 2*s + 22. Suppose -w + y*w = 50. Is 8 a factor of w?
False
Let j = -1 - 3. Let s(n) = n**3 + 5*n**2 - n + 1. Does 10 divide s(j)?
False
Let j(z) = 9*z**2 - 2*z + 10. Does 2 divide j(3)?
False
Suppose -83 = -4*x + 3*n, -3*n = -2*n + 1. Is 5 a factor of x?
True
Let g(r) = -r**3 - 4*r**2. Let a be g(-4). Let t(z) = z + 14. Does 7 divide t(a)?
True
Let j(y) = 12*y. Suppose -c = -0*c - 5. Let a be j(c). Suppose 0 = -7*p + 4*p + a. Does 10 divide p?
True
Let t(p) = -p**2 + 14*p + 9. Is 13 a factor of t(12)?
False
Let k(w) = -w**2 - 16*w - 27. Is k(-12) a multiple of 7?
True
Let v(r) = -r**3 + 2*r**2 - 2*r + 3. Let c be v(2). Let b = -14 + 10. Does 12 divide c - b - 155/(-5)?
False
Let v = -17 - -49. Is v a multiple of 16?
True
Let i be 202 + (1 - (0 + -1)). Suppose -d - i = -3*y - 2*y, -2*d - 80 = -2*y. Does 15 divide y?
False
Let v(h) be the third derivative of -h**4/6 - 7*h**3/6 + h**2. Suppose -s - 24 = 3*u + u, 30 = -5*u + 2*s. Is v(u) a multiple of 17?
True
Suppose -3*c = -4*c + 83. Let p = c - 59. Does 12 divide p?
True
Let k(j) = 20*j**2 + j + 9. Is 24 a factor of k(3)?
True
Let h(s) = s**2 - 2*s - 2. Is h(6) a multiple of 22?
True
Suppose -3*k + k = -144. Does 15 divide k?
False
Let m(a) = 47*a + 4. Is 16 a factor of m(2)?
False
Suppose 2*s - s = 0. Let w be (s/2)/(2*-1). Suppose -a + 12 = -w*a. Is 6 a factor of a?
True
Suppose -32 = -2*k - 2*s, -5*k + 5*s = 42 - 122. Let f = k - 8. Is 3 a factor of f?
False
Let i(c) = c**2 + 1. Let d be i(-1). Suppose d*f = f + 5. Does 5 divide f?
True
Suppose 4*w + 0*w + 5*d = 67, 3*d + 21 = w. Is w a multiple of 6?
True
Suppose -3*x + 0*w = 2*w - 218, -248 = -3*x + 4*w. Is 19 a factor of x?
True
Let q(g) = -g**3 + 7*g**2 - 5. Let c be q(7). Let d = c + 21. Is 4 a factor of d?
True
Let m be (-2*1)/(8/20). Let z = -1 + m. Does 5 divide 32/6 + 2/z?
True
Let v = 14 - 7. Let b = v - 1. Is 5 a factor of b?
False
Let w(t) = -66*t**3. Is 22 a factor of w(-1)?
True
Let f = 46 - 26. Does 12 divide f?
False
Suppose 5*u = 4*m + 38, -4 = -3*m - 10. Let j(z) = -z**2 + u*z - 4*z + 4 + 2*z**2 - 2. Is j(-5) a multiple of 16?
False
Let k 