f) = 33*f**2 - f - 4. Let h(o) = -2*d(o) + 3*w(o). Does 15 divide h(y)?
True
Let f = 18 - 6. Does 4 divide f?
True
Let w(s) = s**3 + 4*s**2 - 4*s + 3. Let r be w(-5). Let q be (-22)/(-4) + r/4. Suppose 0*j - 2*a - 196 = -5*j, 0 = -q*j - a + 187. Is 19 a factor of j?
True
Suppose 6*y - y = 15. Let z be (2 - 6/y) + 0. Suppose 2*p - 92 = -z*p. Is 23 a factor of p?
True
Is 388/16 + (-1)/4 a multiple of 12?
True
Let j be 1/(-1) + (-546)/6. Let d = -47 - j. Does 15 divide d?
True
Suppose -29 - 1 = 5*b - 2*q, b - q + 6 = 0. Let p be 2*(3/b + 2). Suppose p*u - 29 = 7. Is u a multiple of 6?
True
Let n = 8 + -8. Suppose n*a = -a + 6. Is 5 a factor of a?
False
Let k = 10 - 94. Let v = -35 - k. Is v a multiple of 29?
False
Let w(t) = -t**2 + 13*t - 8. Is 7 a factor of w(9)?
True
Let r(v) = -4*v + 1. Let n be r(2). Let t(h) = -h**2 - 9*h + 9. Is 13 a factor of t(n)?
False
Suppose 0*i = -i. Suppose -2*v + i = -8. Suppose -y - 5*w + 16 = -4*w, -3*w - 36 = -v*y. Does 12 divide y?
True
Let h(r) = -r**3 + 4*r**2 + 5*r - 2. Let o be ((-6)/4)/((-12)/40). Let y be h(o). Does 6 divide (2*2)/(y/(-3))?
True
Let p be 16/(-6)*(-21)/14. Suppose 2*c - 7 = -p*h - 3*c, -3*c = h. Suppose -91 = -4*k - h. Is k a multiple of 11?
True
Suppose 35 = -3*v - 2*d + 89, 5*v + 4*d = 92. Does 2 divide v?
True
Let g be (-13)/(-3) - 4/(-6). Let c = 1 + -16. Let p = g - c. Does 10 divide p?
True
Let q(n) = -n**2 - n. Let i be q(5). Suppose 0 = -4*x - 4*d + 284, d - 15 = -4*d. Let g = x + i. Does 22 divide g?
False
Suppose -7*p + 36 = -5*p. Is 13 a factor of p?
False
Let p = -706 - -994. Is 36 a factor of p?
True
Suppose -3*d + 5*y = -4*d + 39, 0 = -2*d - y + 78. Suppose 14*r = 12*r + 26. Suppose t = d - r. Does 13 divide t?
True
Let r(k) = k**3 - 2*k**2 - 3*k - 1. Let d be r(3). Let y = d - 0. Is 3 a factor of y/(1 - 15/12)?
False
Let d(a) be the second derivative of -a**3/6 - 5*a**2 + 2*a. Does 5 divide d(-15)?
True
Let b be 47/3 - 2/(-6). Suppose b = q + 3*q. Suppose -q = -4*g + 28. Does 4 divide g?
True
Let l(i) be the third derivative of i**6/120 + i**5/12 - i**4/24 + i**2. Let j = 46 - 51. Does 5 divide l(j)?
True
Let c be (134/6)/(2/6). Let q = c - 42. Is q a multiple of 10?
False
Let f = 1 - 3. Does 25 divide 0 + (f*25)/(-2)?
True
Suppose 3*j = -2*j + 4*w - 1150, j + 201 = -5*w. Let i = j - -323. Is 25 a factor of i?
False
Is (75/12 - -4)*4 a multiple of 11?
False
Suppose -2*a + 412 = -4*c, -3*c - 844 = -4*a - 0*a. Is a a multiple of 24?
False
Is 22 a factor of (162 - 4) + 3/(12/8)?
False
Suppose -2*p = -4*x - 0 - 4, -3*p + 3 = -5*x. Let t(a) = -8*a + 2. Let d(k) = -9*k + 3. Let o(j) = p*t(j) + 3*d(j). Does 6 divide o(1)?
True
Suppose -4*v + 286 = 50. Does 17 divide v?
False
Let n = 6 + 5. Is 5 a factor of n?
False
Let l(s) = -s**3 - 12*s**2 - 10*s - 10. Let a be l(-7). Is a/(-30) - 2/12 a multiple of 3?
True
Let v(f) = -f + 6. Let h be v(3). Suppose h*j + 0*k - 4*k - 304 = 0, 460 = 5*j + 5*k. Let a = j + -68. Does 15 divide a?
False
Let c(y) = -19*y - 4. Let i be c(-7). Suppose -3*x + 0*x + i = 0. Does 11 divide x?
False
Suppose 0 = 13*h - 175 - 20. Is h a multiple of 2?
False
Let t(i) = i - 6. Let h be t(-10). Let d = -33 - h. Let w = 29 + d. Is 5 a factor of w?
False
Let v = 22 - 18. Is 4 a factor of v?
True
Suppose 0 = 5*d - 3*z + 4*z - 1065, -5*d = -4*z - 1090. Is d a multiple of 33?
False
Suppose -32*j + 414 = -23*j. Is 23 a factor of j?
True
Let h = 140 + -90. Let y = h - 88. Let q = y + 89. Is 21 a factor of q?
False
Let t = 25 + 1. Suppose 5*n - t = 59. Is n a multiple of 5?
False
Let w(p) = p**2 + 4*p - 9. Let y be w(-9). Suppose 3*a - y = -a. Is a a multiple of 9?
True
Suppose -87 = k - 4*k. Does 6 divide k?
False
Suppose 5*b - 2 = 8. Suppose 0 = -5*n + b*n. Suppose -d = -n - 40. Is d a multiple of 21?
False
Suppose -3*z = -2*v - 7, -3*v - z + 6 = -11. Suppose b + n - 6 = 0, 4*n - 6 = -2*b + v. Is 7 a factor of b?
True
Suppose 5*g - 30 = 2*g. Is 10 a factor of 570/25 + 2/g?
False
Let m(u) = u**2 + 8*u. Let z be m(-7). Let y(p) = 3*p - 4 + 0 - 4 - p**3 - 6*p**2. Is 20 a factor of y(z)?
True
Suppose -25 - 17 = -2*h + 4*u, 42 = 2*h - 2*u. Let r = -5 - -8. Suppose -6 = -r*f + h. Does 9 divide f?
True
Suppose -11 = 2*t + 3*o + 7, 4*t + 5*o + 34 = 0. Let b = -4 - t. Does 12 divide 710/35 - b/7?
False
Suppose 0 = -i - 0*i - d - 8, i + 4*d + 23 = 0. Is 11 a factor of (i + -36)/(-3) + -2?
True
Let n = 184 + -111. Is n a multiple of 30?
False
Is 15 a factor of -2*(3 + -6)*12?
False
Suppose 0 = 5*b + r - 2, 5*r = -b + 2*b + 10. Suppose b*u = -3*u + 132. Does 11 divide u?
True
Let u(b) = 10*b + 0*b**2 - b**2 - 10 + 1. Let x be u(7). Suppose -v + 5*f = -3, -4*v + 0 + x = f. Is 3 a factor of v?
True
Suppose -5*p = -4*w - 30, -w + 19 + 5 = 4*p. Does 6 divide p?
True
Is 5 a factor of (546/35)/(6/20)?
False
Suppose -1 = -3*a - t - 2, a + 2*t - 3 = 0. Let i be 13*3 - (1 - 2). Is a/(-4) - (-630)/i a multiple of 8?
True
Let j = 43 - 19. Is j a multiple of 20?
False
Suppose 357 = 4*u + 5*q, 2*q - 86 = -2*u + 94. Is 31 a factor of u?
True
Suppose 3*y = -2*y + 85. Suppose 3*t = -5*m - 0*m + y, -m + 8 = -4*t. Is m even?
True
Let a = -4 + -4. Let z be (-566)/(-8) - a/32. Suppose -5*n + z = -14. Is 9 a factor of n?
False
Suppose 17 = 5*b - 133. Suppose 0 = d - b + 8. Is 11 a factor of d?
True
Suppose 294 = 3*o + 9*t - 6*t, 2*t = -5*o + 493. Is o a multiple of 42?
False
Let a(g) be the second derivative of -g**8/6720 - g**7/630 + g**6/120 + 7*g**5/120 - g**4/12 + g. Let t(u) be the third derivative of a(u). Is t(-5) even?
True
Let c = 254 + -130. Is 31 a factor of c?
True
Suppose 2*o - 1 = 3. Suppose -5*x + 55 = -5*q, -o*x + 41 = 2*x - 5*q. Is x a multiple of 11?
False
Suppose 3*v = 5*p - 12, -2*p - 2*p - v - 4 = 0. Let w(h) = 8*h - 6 - 2*h + p. Is 12 a factor of w(5)?
True
Suppose 17*o - 8*o = 864. Does 11 divide o?
False
Suppose 2*a - 5685 = -3*a. Let v be a/9 + (-2)/6. Suppose 5*g = -5*k + 211 - 6, -3*g - 2*k + v = 0. Does 16 divide g?
False
Let k be -3*(123/9 + 3). Let j = 73 + k. Is 23 a factor of j?
True
Suppose -2 = -b - 0. Let z be ((-1)/1)/(b - 3). Is 4 a factor of 6*((6 - z) + -3)?
True
Let h(q) = -5*q - 3. Let c = 19 - 24. Does 6 divide h(c)?
False
Let h(u) = -u**2 + 2*u. Let x be h(2). Let l(r) = 0*r + 3 - 1 + 4*r + x. Is l(2) a multiple of 4?
False
Suppose 25 = 6*o - o. Let w(k) be the first derivative of 3*k**2/2 + 3*k + 19. Is w(o) a multiple of 10?
False
Let y = -172 + 270. Let q = y - 68. Suppose -q = -5*v + 3*v. Is v a multiple of 12?
False
Suppose -4*g - 10 = v - 2*g, -2*v + 4 = -4*g. Does 12 divide 3/(-30)*v*30?
True
Suppose 2*z - 612 = -7*z. Is 19 a factor of z?
False
Suppose -5*x - s + 6 = 0, -s - 1 + 3 = x. Let g be -2*(x - 2) + 0. Is -8*(-4)/(0 + g) a multiple of 7?
False
Let c = 8 - 5. Suppose 4*m - 15 = -c. Suppose 0 = -4*x + n - 0*n + 107, 0 = 4*x - m*n - 105. Is 8 a factor of x?
False
Suppose 3*n + 7 = 1. Let o(b) = 2*b**2 + 2*b - 2. Does 2 divide o(n)?
True
Let w(s) = -s**3 - 4*s**2 - 4*s - 4. Let v be w(-3). Let o = 11 + 14. Let j = o + v. Is 9 a factor of j?
False
Suppose 54 = 2*d - 32. Let j = -28 + d. Does 15 divide j?
True
Suppose 0 = -11*u + 3*u + 520. Is 13 a factor of u?
True
Let d be 3/(0 - (-6)/10). Suppose -2*t + 4*m - 4 = -42, -d*m = 4*t - 11. Is t a multiple of 9?
True
Let t = -3 - -4. Let j be -1*((-6)/3 - t). Suppose -j*y + 95 = -5*d, 0 = -5*y - 2*d - 0*d + 179. Is y a multiple of 13?
False
Let n(p) = p**2 - 2*p + 3. Let b be n(2). Suppose -z = 2*k - 14, -b*z - 5*k + 24 = -20. Does 8 divide z?
False
Let l = 191 - 15. Is l a multiple of 16?
True
Let g(z) = 7*z**2 - 7. Let f(d) = -6*d**2 + d + 7. Let i(q) = -4*f(q) - 3*g(q). Is i(5) a multiple of 14?
False
Let w(t) = -t**3 - 9*t**2 - 12*t + 13. Does 28 divide w(-9)?
False
Let t(p) = 37*p - 1. Let g(u) = -u**3 + 8*u**2 - 8*u + 8. Let n be g(7). Is t(n) a multiple of 12?
True
Let a(k) = k**2 - 3*k + 5. Does 3 divide a(2)?
True
Let m(t) = -t. Let h(s) = 5*s**2 - 6*s + 3. Let x(o) = h(o) - 6*m(o). Is 12 a factor of x(-3)?
True
Let v(b) = -b**2 - 8*b + 1. Let p be v(-8). Suppose 11 - p = h. Is 5 a factor of h?
True
Let j be -22 - -2*2/(-2). Does 10 divide (j/20)/(2/(-50))?
True
Is 11 a factor of 7808/80 - 3/5?
False
Let i(z) = -3*z - 9. Let j be i(-6). Suppose -105 = -4*x + 4*f - j, -5*f = 3*x - 48. Is 21 