6*k - 53. Is k a multiple of 14?
True
Suppose 5*j + 10 = 0, 15*a + j - 792 = 14*a. Is 6 a factor of a?
False
Suppose 10 = 2*t - 6. Suppose -5*o + t*o = 69. Is o a multiple of 14?
False
Let g be 69/2*48/18. Suppose 3*t = 3*i - 2*i + 65, -g = -4*t + 4*i. Is t a multiple of 7?
True
Suppose -2*p = -25*p + 8786. Is p a multiple of 20?
False
Let c be (-10)/35 + (-6)/(-21). Suppose 0 = 3*i - 3*p - 282, c*i - p + 396 = 4*i. Is i a multiple of 31?
False
Let t(r) = -2*r**2 - r + 32. Let f be t(0). Suppose f*p = 35*p - 474. Does 10 divide p?
False
Let p = 678 + -343. Suppose -p = -3*i - 122. Is i a multiple of 5?
False
Suppose 0 = -5*u + 291 + 259. Is u a multiple of 2?
True
Let m be (-7 - 1)/(2/(-6)). Suppose -5*s = -2*s + m. Does 12 divide (9/6 + -3)*s?
True
Does 3 divide ((-7)/1 + 100/(-40))*-36?
True
Let o = 185 - 102. Is 34 a factor of o/(-3)*(-20 - -17)?
False
Let h(l) = 26*l + 1. Let w(o) = o. Let y(a) = -h(a) + 5*w(a). Is y(-1) a multiple of 4?
True
Let j = 59 - -232. Suppose -126 = -2*m + 2*k, -5*m - j = -10*m - 3*k. Is m a multiple of 10?
True
Does 17 divide 2111/4 - -3*6/(-24)?
True
Let x(l) = -l**3 - 20*l**2 + 58*l - 48. Does 20 divide x(-26)?
True
Suppose 0 = -3*h - 92*w + 89*w + 3645, 5*h - 4*w = 6030. Is 51 a factor of h?
False
Let l(n) be the second derivative of n**4/6 - 7*n**3/6 + 6*n**2 - n + 20. Is l(13) a multiple of 37?
True
Let t(r) = 68*r**2 - 11*r + 51. Is 9 a factor of t(-8)?
True
Suppose 3*f + 2*a = -72 + 524, -5*a - 145 = -f. Does 5 divide f?
True
Let w = -247 + 541. Let i = w + -193. Does 8 divide i?
False
Let n = 1022 - 338. Is 9 a factor of n?
True
Let u(y) = y**2 + 5*y - 20. Let p = 66 - 77. Is 13 a factor of u(p)?
False
Let a = -50 + 36. Let k = 28 + a. Is k a multiple of 2?
True
Let f(g) = -g**3 + 2*g**2 + 15*g + 15. Is 9 a factor of f(-7)?
True
Let x(q) = 3*q + 71. Let l(i) = 2*i + 35. Let b(m) = 5*l(m) - 2*x(m). Does 5 divide b(-5)?
False
Let m = -277 + 798. Is 19 a factor of m?
False
Suppose i - 15 = -4*i. Let a be (-1)/i - (-264)/36. Suppose -a*t + 168 = -0*t. Does 4 divide t?
True
Does 8 divide ((-444)/(-15))/(1143/225 + -5)?
False
Let d be 896/(-6)*6/(-4). Suppose 3*q - 88 + 79 = 0. Does 3 divide d/20 - q/15?
False
Suppose 10*s - 2393 - 4747 = 0. Does 14 divide s?
True
Let t be 99/6 - 21/14. Let b(p) = p + 21. Is b(t) a multiple of 9?
True
Let c be 1*24 + (-8)/24*0. Is 22 + (-7)/((-42)/c) a multiple of 13?
True
Let g(a) = -a**2 + 16*a - 1. Let y(f) = -f**2 + 16*f - 2. Let h(b) = 5*g(b) - 6*y(b). Does 4 divide h(16)?
False
Let n = -775 + 863. Does 2 divide n?
True
Does 30 divide (374 - 1) + -3 - 5?
False
Suppose 2*n + 20 = 3*d - 93, 4*n + 121 = 3*d. Suppose 5*w + 15 = w + 5*s, 3*s = 4*w + 17. Let f = d + w. Does 15 divide f?
True
Is (-2 + -282)/(-2) - (3 - 5) a multiple of 36?
True
Let c(m) = m**2 + 11*m - 9. Is c(-13) even?
False
Let a = -237 + 287. Is 5 a factor of a?
True
Suppose -66 + 0 = -2*x - 2*i, 0 = 4*x - 2*i - 132. Does 2 divide x?
False
Let q(z) = -4*z**2 - 58*z + 17. Does 22 divide q(-10)?
False
Suppose 488 = 2*g + 2*g - 4*h, 0 = 4*g + 5*h - 470. Is (-484)/(-2) - g/(-24) a multiple of 22?
False
Let x(m) = 43*m**3 + m**2 + 10*m - 22. Does 7 divide x(3)?
False
Let c be (4 - 5)*(3 + -2). Let k be (1 + -1 - 3)*c. Suppose 55 + 8 = k*s. Does 7 divide s?
True
Suppose -d = -2*d + 2. Suppose -4*j = -2*p + j + 265, 0 = -p + d*j + 132. Is p a multiple of 20?
False
Suppose -3*w = -135 - 318. Let o = -45 + w. Is 24 a factor of o?
False
Let f = 100 + -100. Suppose f = 2*m + 2*l - 156, m - 2*l - 2*l = 58. Is 37 a factor of m?
True
Let h(z) = 17*z**2 + z - 2. Let v be h(5). Is 10 a factor of v/6 - 2/6?
False
Suppose c - 4 = -3. Does 16 divide c/(-4) + (-762)/(-8)?
False
Let b be (7 - 2) + (-2 - -3). Suppose -2*g - 8 = -b*g. Suppose 24 = g*c - 12. Is c a multiple of 9?
True
Suppose 2*k - 30 = c, 68 = -4*c + 3*k - 32. Let q(f) = -f**2 - 23*f - 14. Is q(c) a multiple of 2?
True
Suppose 12 = 7*f - 10*f. Does 28 divide 54 + (-8)/f + 0?
True
Let z = 624 - 420. Is 17 a factor of z?
True
Suppose 5*u + 235 = 10*u. Suppose -6*d + 509 = u. Is d a multiple of 13?
False
Suppose -33*b + 31*b + 14 = 0. Suppose 5*d = -3*c, c = 5*d - 7 - 13. Let v = b + d. Does 7 divide v?
False
Let n(d) = 638*d**2 - 10*d - 11. Is 14 a factor of n(-1)?
False
Let b(o) = -2*o**2 - 68*o - 71. Is b(-16) a multiple of 5?
True
Let h(t) = -t**3 + 10*t**2 - 3*t + 18. Let j be 4 + (0 - 2*(0 - 2)). Is h(j) a multiple of 24?
False
Is 50 a factor of 2 - (-3 + (-30)/12*278)?
True
Suppose 0 = -2*f + d + 2417, -5 + 3 = -2*d. Is f a multiple of 93?
True
Let s = -7 + 10. Let c = s - -19. Let f = c - -1. Does 7 divide f?
False
Let v(g) = -g**2 - 5*g + 8. Let i be v(-7). Does 12 divide (i/9)/(2*1/(-108))?
True
Let j be (-4)/(-2 - 75/(-38)). Suppose -j = -5*s + 328. Is s a multiple of 32?
True
Let f(o) = -85*o - 11. Let j be f(2). Let a = -131 - j. Does 25 divide a?
True
Suppose 0 = -5*n + d - 2*d + 32, -5*n = 5*d - 40. Suppose 72 = n*p - 0*p. Does 2 divide p?
True
Suppose -4*t + 5*u + 2256 = 4*u, 0 = 3*t + u - 1685. Suppose 3*b + w = -w + 353, -5*b = -3*w - t. Is b a multiple of 12?
False
Does 8 divide 2/(4/146) + 8 + -9?
True
Suppose 2*l + c - 7 = -3*l, -4*c - 6 = 3*l. Suppose l*w - 2*m + 29 = 3*w, 4*m = 5*w - 89. Does 21 divide w?
True
Let y = -53 - -41. Is ((-18)/y)/((-6)/(-136)) a multiple of 6?
False
Suppose 3*z + 1 = 7. Suppose z*l - 220 = -4*g, -5*g + 268 = 5*l - 6*l. Does 6 divide g?
True
Let b(x) = 18*x - 3 - 14*x + 10*x + 16*x. Is b(4) a multiple of 39?
True
Let x = -16 - 20. Let n = x + 50. Is n a multiple of 14?
True
Let t(w) = -w**3 - w. Let c be t(-3). Suppose -g + 5*f = 29, g - 3*f + c = -g. Is 10 - g/(-3) - 0 even?
False
Let x(p) be the first derivative of -3*p**2/2 + 12*p + 14. Is x(-6) a multiple of 10?
True
Let s = 330 + -181. Suppose 2*t + s - 643 = 0. Does 30 divide t?
False
Suppose 4*p = g - 4*g, -p + 2*g + 11 = 0. Suppose -9*d + 912 = -p*d. Is d a multiple of 19?
True
Suppose 50*d = 47*d + 18. Let y(w) = w. Let i(v) = -9*v + 5. Let x(t) = d*y(t) + i(t). Does 20 divide x(-5)?
True
Let j(p) = p**3 + 34*p**2 - 60*p + 269. Does 8 divide j(-35)?
True
Suppose 1120 = 4*n + n. Suppose 0 = -5*s - n + 829. Does 11 divide s?
True
Let o = 178 - 50. Suppose 4*m + 8 = o. Does 7 divide m?
False
Let m be (-6)/(-39) - (-7095)/(-65). Let r = m + 179. Is r a multiple of 42?
False
Let o be 12*(3 - (-33)/6). Let l = 57 - o. Let b = -9 - l. Is b a multiple of 12?
True
Suppose -1665 = 6*z - 9*z + 3*c, z - 4*c = 561. Let o = z + -387. Is 27 a factor of o?
False
Let k(c) = 25 - 2*c + 3*c - 7. Suppose 3*w = z - 26, -3*z + 1 - 4 = 0. Is 8 a factor of k(w)?
False
Suppose -4*d + 1 + 3 = 0. Let r be (d - 0) + 0 + 1. Suppose -1 + 11 = r*w. Does 5 divide w?
True
Suppose -5*c = 4*d - 481, -7 = d + 2*c - 125. Is 29 a factor of d?
False
Let k be 4 + 0 - (-65 + 7). Suppose 4*h + k = -42. Is 13 a factor of -2 - 1 - -3 - h?
True
Let t(d) = 6 + 3*d + 2*d - 2 + 37*d. Does 11 divide t(2)?
True
Suppose 0 = 22*j - 9 - 4105. Is j a multiple of 17?
True
Let w(y) = y + 6. Let z be w(-4). Let l be ((-219)/(-6))/(1/2). Suppose -l = -5*k + 4*c, 0 = 4*k + z*c - 52 + 4. Does 13 divide k?
True
Suppose -49*j - 6056 = -57*j. Does 74 divide j?
False
Let s(o) = -o**2 + 1. Let u(x) = 4*x**2 - 2*x - 9. Let a(v) = 5*s(v) + u(v). Let z be a(8). Let n = z + 136. Is n a multiple of 13?
True
Suppose -5*r + 409 - 429 = 0, 1754 = 2*j - 5*r. Does 4 divide j?
False
Let p(r) = -r**3 + 7*r**2 - 8*r + 9. Suppose 5*n + 15 = 3*v - 119, -5*n + 4*v = 132. Let z be n/(-6) + 3/9. Does 8 divide p(z)?
False
Suppose -4*c - 2 = -18. Let t(k) = 3 + 2*k + 1 - 5 + c*k. Does 2 divide t(1)?
False
Suppose -3*k = 3*k. Suppose k*f + 7 = f. Is 4 a factor of f?
False
Is 5 a factor of 768/288*(-138)/(-4)?
False
Let j(d) = -7*d - 17. Let g be j(16). Does 18 divide g/(-2) + (-8)/(-16)?
False
Let a(q) = -4*q + 57. Let n be a(13). Suppose 2*z + 220 = 3*z + 5*x, 0 = n*z - 4*x - 1187. Is 47 a factor of z?
True
Let b = -46 + 36. Let l be (-45)/b*(-4)/(-9). Suppose -192 = -l*u - 4*u. Is 16 a factor of u?
True
Suppose -y + 183 = 3*b, -10*y = -11*y - 4*b + 184. Does 6 divide y?
True
Let u(v) = -v**3 - 12*v**2 + 21*v + 32. Let l be u(-14). Suppose -l*z = -126*z - 400. Does 17 divide z?
False
Let y be 21/(-14)*(-2 + 368/(-6)). Suppose -y = -t - 