 - 3*r + 3 = -17. Is l a multiple of 5?
True
Let f(o) = -o**3 - 7*o**2 + 7*o - 6. Let j be f(-8). Suppose 0 = -j*w + 7*w - 35. Let t(x) = -x**3 + 8*x**2 - 6*x + 6. Is 7 a factor of t(w)?
False
Suppose -3*y - g + 4035 = 2*g, -y + g + 1335 = 0. Is 14 a factor of y?
False
Let m = 3 - 6. Let l be 4*(m/2 + 2). Suppose 4*p = -3*x + 45, -l*x + 20 - 1 = -p. Does 5 divide x?
False
Let m(n) = 23*n**2 - 8*n**2 - 8*n - 4*n**2 - 10 - 6*n**2. Does 15 divide m(5)?
True
Suppose -4*f = 4*a - f - 1, -4*a - f + 11 = 0. Suppose -3*c = 3*n - 135, -a*c - 47 - 18 = -n. Does 5 divide n?
False
Suppose 0 = 310*q - 315*q + 900. Is q a multiple of 5?
True
Suppose 116*q - 93632 = 4*q. Is 11 a factor of q?
True
Suppose -7 = -3*a - 1. Suppose 5*u - 72 = -g, -g + 7 + 65 = a*u. Is 10 a factor of g?
False
Let c(t) be the first derivative of -8*t**2 - 2*t - 2. Is 3 a factor of c(-1)?
False
Let j(c) = 4*c**3 - 3*c**2 + 15*c - 14. Is j(6) a multiple of 32?
True
Let u(p) = p**2 - 7*p + 6. Let y be u(8). Let q = y - 0. Does 9 divide q?
False
Let g(n) = -n**3 + 14*n**2 + 18*n. Let o be (-140)/84*2*18/(-4). Is 16 a factor of g(o)?
False
Let q be 24/(-16)*-10 - 5. Let z(i) = 14*i + 0*i - 11 + 0*i. Is z(q) a multiple of 26?
False
Suppose -1945 = -9*f - 82. Is (-4)/18 - (-3565)/f a multiple of 3?
False
Suppose 1 = 5*s - x - 6, 0 = s - 4*x + 10. Suppose -4*n + 64 = -4*v, 3 + s = v. Does 21 divide n?
True
Let x = -9 - -11. Is 8 a factor of 84*-1*(-6)/16*x?
False
Suppose 14*a + 13*a - 39312 = 0. Does 28 divide a?
True
Let j = 1719 + -1679. Is j even?
True
Let p(u) = 53*u + 3. Let d be p(-7). Is 17 a factor of (-6)/(-14) - d/7?
False
Suppose -y - 6*p + 2*p = -207, -2*y - 2*p + 426 = 0. Is 56 a factor of y?
False
Let v(t) = 6*t**2 - t**3 + 2*t**2 + 4*t - 4*t**2 - t**2 + 2. Let a be v(4). Suppose -a*r - 12 = -4*r. Is r a multiple of 2?
True
Suppose -2*t + 6 = 0, 12*o - 16*o + 4*t + 7008 = 0. Is o a multiple of 15?
True
Let c(k) = 15*k + 357. Is 9 a factor of c(-4)?
True
Suppose 52 = j + 4*n - 160, -5*n - 890 = -4*j. Does 4 divide j?
True
Suppose 0 = 4*d + h - 1059, -3*d + h = -616 - 187. Suppose -36*f - d = -38*f. Is 7 a factor of f?
True
Let x be 806/3 + (-2)/3. Suppose -3*q + 376 = 5*j, -2*q + 2*j = j - x. Suppose -4*p - 2*p = -q. Is 22 a factor of p?
True
Let w be (5 + -4 - 0) + (-1 - 20). Let z = 50 + w. Is z a multiple of 10?
True
Let u be (-4)/(-2) + 2515/5. Suppose u = 5*r - 345. Suppose -n = -2, -x = 2*x - 2*n - r. Is x a multiple of 17?
False
Let d = 69 - 69. Does 9 divide 567/3 - (0 - d)?
True
Is 7 a factor of 5/(3 - (-20)/(-7))?
True
Let o = 1823 - 617. Is o a multiple of 18?
True
Suppose -4*o + 2213 = -r, 3*r + 142 - 679 = -o. Is 56 a factor of o?
False
Let r = 553 + -265. Is r a multiple of 32?
True
Let s be (-6)/15 - (-202)/5. Suppose -i + 2*u = 7*u - s, 0 = 3*i + 4*u - 98. Suppose 5*g = 2*c + 82 + i, -4*c - 92 = -4*g. Does 16 divide g?
False
Suppose -2*x - 3*y - 4 = -0*y, -5*y - 2 = x. Let a(n) = -26*n - 5 + 10*n - 9*n. Is a(x) a multiple of 15?
True
Let q = -255 - 969. Does 15 divide 9/(-21) - q/14?
False
Let w be ((-231)/(-4))/((-3)/24). Does 6 divide (-6)/(-10) - w/30?
False
Let q(b) = 3*b**3 - 2*b**2 + 10*b + 14. Let o be q(6). Suppose 2*t + 2*x - 328 = -2*x, 5*x - o = -4*t. Does 20 divide t?
True
Let u(o) = 58*o + 197. Is u(2) a multiple of 19?
False
Let l be 636/4 - (-8 - -4). Is l + ((-1)/(-2) - 5/(-2)) a multiple of 14?
False
Suppose -2*k = -5*m + 3*m + 4096, 5*m = -2*k + 10261. Is m a multiple of 22?
False
Suppose 0 = 4*p + 4*q - 332, -51 = -p - 4*q + 29. Does 3 divide p?
True
Let x = 414 + -318. Does 24 divide x?
True
Suppose 78 = p + 4*s - 5*s, -3*p - 2*s = -234. Suppose 2 = 2*o - p. Suppose 4*b + 8 = o. Is b a multiple of 2?
True
Let g be 3/(6/4) - 1. Let a(i) = 2*i**2 + 9*i + 9. Let x be a(-6). Is 8 a factor of (-16)/(g - x/21)?
True
Suppose 9 - 3 = -l. Let w be (l/(-3) - 3)*-5. Suppose j = 25 - w. Does 20 divide j?
True
Let i be ((-18)/4 - -2)*2. Let y(s) be the first derivative of -3*s**2 + 22. Is 12 a factor of y(i)?
False
Suppose 3*d - 4*d = -3. Suppose -a + 11 = 5*f - 4, -f - a + d = 0. Suppose -f*n = -25 - 2. Is n a multiple of 9?
True
Let q be (-41)/(-3) + 10/(-6). Suppose -q = -83*x + 82*x. Is x a multiple of 6?
True
Let s = 648 + -263. Is 11 a factor of s?
True
Let j(z) = z**3 + 11*z**2 + 12*z + 16. Does 4 divide j(-6)?
True
Let k(p) = 2 - p**3 - 3*p**2 + 2*p**3 - 4 - 2*p**3 - 5*p. Let m be (3/(-2))/(12/32). Is 17 a factor of k(m)?
True
Suppose 2*c = -a + 20, -a = c - 13 + 2. Is c a multiple of 2?
False
Let a(h) = -6*h - 73. Let d be a(-13). Let y(r) be the third derivative of r**5/30 - r**4/3 + 2*r**3/3 - r**2. Is 13 a factor of y(d)?
False
Let p = 13826 - 9830. Is 9 a factor of p?
True
Suppose 5452 = 3*i + 5*d, -5*i = -7*i - 5*d + 3628. Is 15 a factor of i?
False
Does 15 divide ((-480)/72)/((-2)/618)?
False
Let c = 13 + -5. Suppose -9 = -n + c. Let t = -11 + n. Is 6 a factor of t?
True
Let m = 830 + -484. Does 7 divide m?
False
Let d = 38 - 44. Let o(z) = 2*z + 26. Does 14 divide o(d)?
True
Suppose 2*i - 11 = -155. Let p = i + -2. Let r = p - -114. Is 8 a factor of r?
True
Suppose 0 = -3*b - 286 - 119. Let z = b + 305. Suppose -h - 4*h = -z. Is 10 a factor of h?
False
Let v(a) = 76*a**2 - 66*a**2 - 1 - 2 - a. Is 9 a factor of v(2)?
False
Suppose 12 = -2*t + 4*t. Suppose t*a - 416 = -2*a. Is 13 a factor of a?
True
Suppose 86*x + 9474 = 88*x + o, 0 = 5*x + 3*o - 23684. Is x a multiple of 15?
False
Suppose 2*d + 0*d - 198 = -4*m, -5*m - 2*d = -248. Let i(l) = -2*l + 106. Let c be i(16). Let f = c - m. Does 6 divide f?
True
Suppose -4*b + 246 = 2*n, 382 + 189 = 5*n - b. Let r = n - 55. Is r a multiple of 10?
True
Let u(s) be the first derivative of -s**4/4 - 5*s**3/3 - 7*s**2/2 + s - 5. Let q be u(-4). Suppose -40 = -q*l + 11*l. Is 16 a factor of l?
False
Let p = 49 + -44. Suppose p*t - 100 = 190. Is t a multiple of 5?
False
Suppose 0 = 3*s + 11 + 1, 5*i + 3084 = -s. Let w = -404 - i. Is w a multiple of 32?
False
Suppose 15*t - 2351 - 3769 = 0. Is 12 a factor of t?
True
Let d(x) = x + 3. Let z be d(1). Suppose -z*c - 14 = 3*a, 4*a - 2*c = -0*c + 18. Suppose a*w - 5 - 7 = 0. Is w a multiple of 4?
False
Suppose 5*k - 31 = 3*n + 188, 5*n = -3*k + 145. Suppose k = 3*y - 141. Is 33 a factor of y?
False
Suppose 0 = -2*p + 4*p + 4*v - 80, 4*v = 4*p - 184. Let f = p + 6. Is 30 a factor of f?
False
Suppose 3*a + 3 = 5*h - 117, 0 = 4*a. Does 2 divide h?
True
Suppose 4*b - 616 = 824. Is b a multiple of 5?
True
Suppose 0 = -3*n + 4 + 8. Suppose -84 = -2*p - 3*f, n*p + f = -4*f + 164. Is 18 a factor of p?
True
Suppose -z + 16 = -3*n - 116, -2*z - 123 = 3*n. Let s = 23 + -36. Let u = s - n. Does 9 divide u?
False
Suppose 6*h - 3395 = -h. Suppose 487 = 3*x + r, -x + 4*x - r - h = 0. Does 27 divide x?
True
Suppose -5*l + 18 = -2. Suppose 0 = l*x - 2*w - 18, 4*x - 2*w + 4*w = 38. Is x even?
False
Is 5 + -2 + 6 + 199 a multiple of 26?
True
Let i(o) = o**2 + o + 93. Is 31 a factor of i(0)?
True
Let i = 229 - 49. Is 30 a factor of i?
True
Let l = 1342 + 1956. Is 14 a factor of l?
False
Let l be 3*-2 - (7 - 10). Does 24 divide ((-432)/28)/(l*4/112)?
True
Let t(z) = 16*z - 52. Is 4 a factor of t(5)?
True
Let x be (-1)/3 - 9/(-27). Let h(b) = -b**3 + b**2 - 4. Let c be h(x). Does 5 divide (-3)/(18/c)*15?
True
Let s be (-10)/30 - 926/(-6). Is 440/14 + 88/s a multiple of 19?
False
Suppose p + 2*g + 112 = 3*p, 4*p - 3*g - 228 = 0. Is 18 a factor of p?
False
Suppose -232 = -5*i + 188. Is i a multiple of 21?
True
Let f(g) be the first derivative of g**4/12 - 5*g**3/3 + 7*g**2 - 9*g + 5. Let q(b) be the first derivative of f(b). Is q(13) a multiple of 13?
False
Let a = 22 - 11. Suppose -r + b + 12 = 2*b, -a = -r - 2*b. Let c(y) = -y**2 + 15*y - 18. Does 8 divide c(r)?
True
Let q(k) = -2*k - 5. Let s be q(2). Let p = 7 - s. Let t = 13 + p. Is 5 a factor of t?
False
Let y = -24 - -15. Let q = y + 5. Is (1 - 0) + (27 - q) a multiple of 16?
True
Suppose -a - 6 = -3*a + 2*y, 3*a - 5*y - 17 = 0. Let l be 2/4*(1 + a). Suppose 4*b - 36 = -l*m - 2*m, 3*m = 4*b - 16. Is b even?
False
Let r = -151 - -150. Let g = 30 - r. Is 5 a factor of g?
False
Let q(p) = p**2 + 4*p + p**3 + 2*p - 4*p + 101 - p. Is 25 a factor of q(0)?
False
Let o(y) = -y + 2. Let d be o(-3). Let l be 182/14 - (-1 + d). Sup