) = f**2 - f. Let o(a) = 3*b(a) + j(a). Does 10 divide o(k)?
False
Suppose -3*d + 2*h + 88 = -2*d, -3*d + 267 = -3*h. Is 6 a factor of d?
True
Let d = -310 + 546. Suppose 0 = -5*w - 26 + d. Is w a multiple of 13?
False
Let r(b) = 41*b**2 - 13*b + 4. Does 16 divide r(4)?
True
Suppose -15 = 5*t, -4*d - 3*t + 4*t + 475 = 0. Does 18 divide d?
False
Let q = -3 + 6. Suppose -2*h - q*h = 0. Suppose -y + 5*z + 21 = h, -2*y = 3*y + z - 131. Does 13 divide y?
True
Suppose x + 12 = -x. Let p be ((-2334)/(-12))/((-3)/x). Suppose m - d = 6*m - p, d + 157 = 2*m. Does 26 divide m?
True
Suppose 16*a = -7*a - 253. Suppose -6*y + 82 = -4*y. Let u = y - a. Does 26 divide u?
True
Let v(n) = 8*n**3 - n**2 + 2*n + 2. Suppose -3*d + 2 = 8. Let q be v(d). Let m = 122 + q. Is m a multiple of 30?
False
Let u(y) = y**2 - 23*y + 325. Does 5 divide u(25)?
True
Let p(x) = -x**2 - x + 3. Let z(f) = -f**2 - f + 4. Let h(a) = -5*p(a) + 4*z(a). Suppose 2*i = -2*d + 16, i + 0 - 2 = d. Is h(d) a multiple of 3?
False
Suppose 2*k - 7*k = 2*v - 85, 0 = -5*v + 25. Let t(p) = -p**3 + 16*p**2 - 16*p + 17. Is t(k) a multiple of 2?
True
Suppose f - 6 + 8 = 0. Does 14 divide ((-16)/(-20)*-7)/(f/25)?
True
Let y be (-2)/(-6)*(-1 + 1570 - 0). Suppose 341 = 5*q - o - 959, -2*q + o = -y. Is q a multiple of 53?
False
Let b(k) = -26*k + 1. Let z(r) = r. Let p(w) = 16*w. Let q(j) = p(j) - 3*z(j). Let n(d) = 2*b(d) + 5*q(d). Does 15 divide n(4)?
False
Let i = 26 + -28. Is 4488/16*(4/(-3) - i) a multiple of 18?
False
Let u(x) = 10*x**2 - 2*x - 1. Let r be u(-2). Let m(s) = -s**2 - 29*s - 103. Let y be m(-13). Let q = y - r. Does 31 divide q?
True
Let x = -9 + 124. Does 24 divide x?
False
Suppose 5*f - 14*p - 4503 = -13*p, -5*p - 3615 = -4*f. Does 10 divide f?
True
Let i = 2890 + -2146. Does 12 divide i?
True
Let p(m) = -3*m**3 - m + 164. Is 12 a factor of p(0)?
False
Let p = 353 + -198. Suppose 2*m + 2*b - 38 = m, -5*m + p = 3*b. Is 7 a factor of m?
True
Let x(v) = -v**3 + 12*v**2 - 12*v + 6. Let g(l) = -2*l**3 - 2*l**2 - 2*l - 1. Let t be g(-2). Let c be x(t). Does 9 divide (33/c)/((-2)/10)?
False
Let r(i) = 5*i**2 + 7*i - 9. Does 11 divide r(4)?
True
Let u be 80 + -1*(-2 - -2). Let j be (((-20)/6)/5)/(2/(-6)). Suppose 3*t - 4 = j*m - 44, -4*m + u = t. Does 5 divide m?
True
Let o(r) = 0*r - 28 + 9*r + 13. Is 12 a factor of o(11)?
True
Let n(f) = -6*f - 10. Let c be (8/(-20))/((-2)/10). Let s = c - 8. Does 9 divide n(s)?
False
Suppose -7 = -2*l + 4*l - b, 3*b - 13 = 4*l. Let x = 32 + l. Is 28 a factor of x?
True
Let x(p) = p - 1. Suppose -2*q - 6 = 2*y + 2*q, 0 = -2*y - q - 15. Let s be x(y). Does 6 divide 2 - 5/(s/8)?
True
Does 53 divide (1/(-3))/(12/(-7776))?
False
Suppose n + n - 2 = 0. Is (n/(-1))/(2/(-130)) a multiple of 35?
False
Suppose -y - 11 = 6. Let u = 66 + y. Is 8 a factor of u?
False
Suppose 2*u = -5*l + 1106, 3*l - 3119 + 335 = -5*u. Is u a multiple of 16?
False
Let i = 59 + -83. Let k = i - -26. Suppose 35 + 75 = k*l. Is 26 a factor of l?
False
Suppose 0 = 3*j + y - 9, -2*y = 2*j + y - 6. Suppose 4*x - 2*x = -j*z + 58, -120 = -4*x - 5*z. Let c = x + 4. Does 13 divide c?
True
Suppose -5*o = 2*h - 998, -10*h + 15*h + 405 = 2*o. Is o a multiple of 4?
True
Suppose -f - 1300 = -27*f. Is f a multiple of 33?
False
Let f(i) = i**3 + i**2 + i + 82. Let r be f(0). Suppose -4*m + 15 = -3*m - h, 5*m + 2*h = r. Does 2 divide m?
True
Let w = -6 + 11. Let b = -19 + 54. Let v = b - w. Is v a multiple of 10?
True
Suppose 29 = 5*x - 3*v + 4, 0 = -3*x + 4*v + 26. Suppose -x*m - 135 = 3*m. Let j = 48 - m. Is 25 a factor of j?
True
Let q(w) = -w**2 - 10*w - 14. Let l be q(-7). Suppose -5*i = -l*i + 320. Is 32 a factor of i?
True
Suppose 4*h + 100 = -v + 3*v, 5*h - 4*v = -125. Suppose 5*g + 2966 + 184 = 0. Is 20 a factor of (g/h)/((-4)/(-10))?
False
Suppose 3 = 5*l + d, 5*l + 2*d + 2*d - 12 = 0. Suppose l = 2*h - 90 - 70. Does 20 divide h?
True
Let p(i) = 6*i - 105. Let y(w) = w - 1. Let r(d) = -p(d) + 2*y(d). Is r(0) a multiple of 32?
False
Suppose 0 = i - 4, x - 38 = 2*i - 0*i. Suppose 0 = -5*g + 46 - 16. Suppose -g*t + 4*t = -x. Does 23 divide t?
True
Let o(k) = k**2 + k - 214. Is o(-37) a multiple of 7?
False
Let b be 3 - ((-2)/(-8) + 65/(-20)). Is b/(-2) + 144 + -8 a multiple of 11?
False
Let t(u) = 9*u**2 - 89*u + 74. Is t(16) a multiple of 3?
True
Let h = -22 - 78. Let x = -60 - h. Is 8 a factor of x?
True
Let j be 15/((-4)/(528/(-18))). Let q = j + -93. Is q a multiple of 9?
False
Let t = -82 - -89. Is 2 - (-201)/t - (-24)/84 a multiple of 31?
True
Suppose -18*d - 471 = -2955. Is d a multiple of 3?
True
Let u = 139 + -175. Is 12 a factor of (145/15 + -7)/((-2)/u)?
True
Suppose 3*z - 2*z + 3*h + 13 = 0, -2*z = -5*h - 29. Suppose -2*c - z*q = -3*q - 16, 0 = -c + 4*q + 8. Is 8 a factor of c?
True
Let l(u) = u**3 - 5*u**2 + 2*u - 7. Let r be l(5). Suppose 208 + 68 = r*z. Does 23 divide z?
True
Let d = -94 + 104. Suppose -d*k + 449 = -171. Does 31 divide k?
True
Let c(i) = 99*i. Let s be c(-2). Let o = s + 304. Is o a multiple of 19?
False
Is 67 a factor of (1266/(-12))/((2 - 7)/10)?
False
Let u = -11 - -17. Let j = u + -8. Let p = 5 + j. Does 3 divide p?
True
Suppose 0 = s + 2*f + 17, -f - 96 = 4*s - 0*f. Suppose 5*b + 4*z - 154 = 0, 2*b - 13*z - 56 = -16*z. Let g = b + s. Does 9 divide g?
True
Suppose -a - 3*l + 3 = -8*l, 2*l = 2*a - 14. Let i = a - -8. Does 8 divide 24*4/i*2?
False
Suppose -2*o - 181 = -283. Is 8 a factor of o?
False
Suppose 2*t + 2 = 2*l + 10, 3*t - 2 = -2*l. Suppose -t*s = s - 15. Suppose -19 = -s*y + 16. Does 7 divide y?
True
Let q be ((-20)/(-6) - 2)*363. Let b = q + -335. Is b a multiple of 19?
False
Suppose -24*z + 26*z = a + 655, -5*a = -z + 305. Does 16 divide z?
False
Let t = -21 - -18. Is (-29)/(-3 + 2) + t a multiple of 9?
False
Let h = -186 + 453. Is 16 a factor of h?
False
Let w(q) = 2*q**3 - 7*q**2 + 17*q - 93. Is w(6) a multiple of 27?
True
Let i(l) = 3*l**2 + 2*l - 10. Suppose 0*v + v + 18 = 4*y, v - 3*y + 13 = 0. Let o(f) = -f**3 + 3*f - 3. Let n be o(v). Is i(n) a multiple of 10?
False
Let c(m) = -8*m + 122. Is 22 a factor of c(-15)?
True
Let s be 1/(-5) + 104/20. Suppose n + 272 = s*n. Let b = -40 + n. Is 17 a factor of b?
False
Let r(b) be the first derivative of -3*b**4/4 - 7*b**3/3 + b**2 + 2*b + 103. Suppose 4*t - 2 = -14. Does 7 divide r(t)?
True
Let n = -59 - 10. Is 8 a factor of n*(-6)/9 - (-4 - -2)?
True
Suppose 0*u = u - 4. Let b(w) = 5*w**2 - 9*w. Let l(s) = -s**2 + s. Let z(a) = -b(a) - 4*l(a). Does 3 divide z(u)?
False
Let s be 32/(-14) - 4/(-14). Let b be 45/6*s/(-3). Suppose -4*k + 13 = l, -4*l - b*k + 31 = 1. Is l a multiple of 5?
True
Let l be (24/(-15))/(6/(-15)). Suppose 0 = u + l*u - 4*p, 2*p = -u. Suppose -3*k = 2*b - 43 - 20, u = -b + 3*k + 45. Is 16 a factor of b?
False
Suppose 2*w + 3*w = 2*d + 2254, -4*d = -12. Does 37 divide w?
False
Let x(m) = 108*m**3 - 3*m**2 + 3*m - 4. Let k be x(2). Suppose 0 = -6*s - 8*s + k. Is 3 a factor of s?
False
Let d = -66 + 271. Suppose d = -8*x + 13*x. Does 6 divide x?
False
Let y be (-10)/(-15) + (-2)/3. Suppose y = -4*o + 204 + 28. Let m = o - 40. Is m a multiple of 5?
False
Suppose 5*v + 3*f - 21 = 0, -v + 17 = 4*v + f. Let g(p) = -5*p - 1. Let l be g(v). Is 15 a factor of (-282)/(-7) - l/(-56)?
False
Suppose 0 = w - 28 + 21. Let g(m) = -w - 1 - 11 + 7 - 5*m. Is g(-5) a multiple of 3?
False
Let k(s) = -s - 2. Let g be k(-5). Suppose -5*m = -g*m + 30. Let t = m + 24. Is t a multiple of 9?
True
Suppose s + 75 + 4 = 0. Let y = 26 - s. Is 14 a factor of y?
False
Let s(c) = 2*c - 8. Does 8 divide s(32)?
True
Suppose 0 = -3*r - 12, 6*s - 2*r = s + 13. Let c = s - -23. Is c a multiple of 3?
True
Let c = -42 - -28. Let y = c + 14. Suppose 0*x - 4*x + 108 = y. Is x a multiple of 9?
True
Let g(a) = -2*a**3 + 20*a**2 - 3*a + 15. Let w be g(10). Let n = 64 + w. Is 8 a factor of n?
False
Let d(g) = -3*g + 75. Does 44 divide d(-19)?
True
Suppose -4*t - 14900 = -4*m, 10617 = 2*m - 5*t + 3176. Does 16 divide m?
True
Suppose 4*o + f - 316 = 3*o, -5*o + 1571 = -4*f. Is 21 a factor of o?
True
Suppose -40*s + 3367 = -36153. Is s a multiple of 26?
True
Let g = -1 - -10. Let s be (1 - g)*(-4)/(-4). Let f(n) = -n**3 - 9*n**2 - 13*n + 6. Does 13 divide f(s)?
False
Suppose -2*u = -11*u + 4959. Is 19 a factor of u?
True
Let