 of 23?
True
Let y be 4/(5/(-15)*-3). Suppose t + 5*j = 117, 590 = y*t + 5*j + 137. Is 32 a factor of t?
False
Suppose -o - 1727 = -3*x, -2780 = -5*x + o + 99. Is x a multiple of 24?
True
Let b = -29 + 24. Is 17 a factor of 4 - (3 + 742)/b?
True
Let r(p) = -p**3 - 2*p**2 - 6*p + 11. Let b be r(-6). Suppose -2*a + 0*n = -n - b, -5*a + 482 = -n. Is a a multiple of 14?
False
Is (-21*40/4)/(2/(-12)) a multiple of 14?
True
Suppose 2*j + 4*r + 1016 = -2*j, -5*r = -3*j - 738. Let t = j - -167. Does 13 divide (-12)/t - (-670)/14?
False
Does 26 divide (-7)/((-35)/(-1320))*-3?
False
Let u = 6 + -5. Is 7 a factor of (-8)/(2 - 3) + u?
False
Suppose 5*l - 4*u = 19, 4*u - 29 - 8 = -3*l. Let j(m) = 2*m - 8. Let d be j(l). Is 8 a factor of 35 + (-2 + d)/(-4)?
False
Let v(z) = -56*z. Does 24 divide v(-6)?
True
Suppose 3*g - 4*j + 0*j = 564, 0 = 2*j. Does 6 divide g?
False
Let x(w) = -4*w + 12*w + 13 + 10*w - w**2 + 34. Does 7 divide x(19)?
True
Let k(q) = -2*q**3 + 2*q**2 + 4*q + 512. Does 8 divide k(0)?
True
Let l be 224 + ((-18)/(-3) - 2). Let c = -132 + l. Is c a multiple of 16?
True
Let y(p) = 578*p**2 + 2*p + 9. Is y(-2) a multiple of 8?
False
Suppose 3*o - 357 + 40 = -2*z, 0 = o + 5*z - 84. Is 4 a factor of o?
False
Suppose i - 4*m - 346 = 0, 0 = 5*i + m - 275 - 1560. Is i a multiple of 35?
False
Let u = 544 - 512. Does 16 divide u?
True
Let y be (-40)/(4 - 8) + -5. Suppose -w + 3*k = -251, 2*w - 4*w - y*k + 535 = 0. Does 65 divide w?
True
Suppose 5*l + 184 = -166. Let m = 136 + l. Is 9 a factor of m?
False
Suppose -2699 = 5*a + m, 0*m + 1075 = -2*a - 5*m. Let t be (6/15)/(9/a). Does 6 divide 18/t - (-198)/8?
True
Suppose -390*a = -397*a + 3920. Does 35 divide a?
True
Let m(d) = -d + 2. Let x be m(0). Suppose r = -x*r + 21. Let b = r + 66. Is 11 a factor of b?
False
Suppose -1562 = -2*g - 2*g + 2*a, 5*g - 4*a - 1957 = 0. Suppose 5*c - g = 111. Does 10 divide c?
True
Let b be -1 + (1 - 3) + 7. Suppose 2*y = -p + 102, 0 = 5*y - y - b. Is 25 a factor of p?
True
Let m = 58 - 52. Suppose -g + m*g = -2*f + 10, -g - 5*f - 21 = 0. Is g a multiple of 4?
True
Let m = -737 - -1208. Does 48 divide m?
False
Let u be 1 - 1 - 216/8. Let y = 43 + u. Is y even?
True
Let n be (8/3)/(2/3). Let f(s) = 5 + s**2 - 4*s - 2*s + 3*s. Is 4 a factor of f(n)?
False
Let k(z) = -8*z - 14. Let i be k(-7). Suppose i*x - 18 = 40*x. Does 3 divide x?
True
Let y be (1 + -7)*(-4)/3. Suppose 2 = 2*n - y. Suppose -2*o = -i + n*i - 28, 3*i + 19 = o. Is 11 a factor of o?
False
Let b(x) be the first derivative of 5 + 1/4*x**4 + 36*x + 0*x**2 - 1/3*x**3. Is b(0) a multiple of 18?
True
Suppose -6*t + 2392 = 17*t. Is t a multiple of 13?
True
Suppose 3*i = -4*i. Suppose -5*b = -i*b - 325. Is b a multiple of 13?
True
Let u(p) = p + 14. Let z be u(-6). Suppose z*t - 179 = 221. Does 10 divide t?
True
Let r = 1 - 4. Suppose 3*p + 22 = 5*w, w - 10 = 4*w + 4*p. Is (r + 2 - w) + 35 a multiple of 12?
False
Suppose -3*g - 147 + 18 = 0. Let n = 65 - g. Does 27 divide n?
True
Suppose 11*m = 15*m. Let r = 5 + m. Suppose v = -r*a + 245, 2*a + 0*a = 3*v + 98. Does 16 divide a?
False
Suppose 0*t - t = -242. Suppose -3*s + 3*j = -174, -3*s + t = s + j. Does 12 divide s?
True
Let j(w) = -w**2 - 11*w + 5. Let f be j(-9). Let s = 84 + f. Does 22 divide s?
False
Suppose 0 = 5*x + 3*h + 2, -5*h - 13 = 3*x + 1. Let q(c) = c**3 + 8*c**2 + 4*c - 13. Let b be q(-6). Suppose x*l - b = 61. Is 11 a factor of l?
False
Suppose 4*w + 4 - 12 = 0. Suppose 2*m + 458 = 7*m - w*g, 0 = -m - 3*g + 78. Does 15 divide m?
True
Let y(z) = 3*z**2 + 6*z + 6. Let p(d) = -d**2 - 17*d - 20. Let l be p(-16). Let c be y(l). Does 7 divide ((-8)/3)/((-10)/c)?
False
Let w = 448 + -263. Let z = w + -74. Suppose -5*x + 3*k + 171 = 0, z = 3*x - 0*x + k. Is 6 a factor of x?
True
Let i = -105 + 223. Suppose -h = 3*r - 5*r - i, -4*h + 524 = 5*r. Does 30 divide h?
False
Let w(n) = n**2 + 14*n - 53. Let t be w(-18). Suppose 2*r - t - 55 = 0. Is 4 a factor of r?
False
Suppose 1382*k - 1373*k = 7434. Is 59 a factor of k?
True
Let t(o) = -o**3 + 9*o**2 + 10*o - 11. Let d = 56 - 49. Is t(d) a multiple of 33?
False
Let g = -1021 - -1623. Does 6 divide g?
False
Let a be ((-66)/15)/((-1)/(-15)). Let p = a - -175. Is p a multiple of 8?
False
Let n(m) = 92*m - 39. Does 13 divide n(6)?
False
Suppose -2*f - 780 = -7*f. Suppose -h = 4*c - 543, 0 = -c - h + f - 21. Let p = -83 + c. Is 14 a factor of p?
False
Is 11 a factor of ((334/4)/1)/(1/2)?
False
Let s be 1 + 1 + -2 + 25. Let m = -6 + 20. Let u = s + m. Does 9 divide u?
False
Suppose -3*t - 2*k + 756 = t, -3*k + 561 = 3*t. Suppose -3*p = -z - t, 53 = p - 0*p - 3*z. Is p a multiple of 5?
True
Let m(l) = -l**2 + 6*l - 9. Suppose 11*q = 13*q - 12. Let c be m(q). Let b(i) = -i**2 - 9*i + 10. Is 10 a factor of b(c)?
True
Let r = -1120 - -1587. Is 4 a factor of r?
False
Let v(w) = -203*w - 119. Is 11 a factor of v(-4)?
True
Let u = -20 + 23. Suppose 0 = 2*g + 2*f - 70, 7*g - 164 = u*g + 4*f. Suppose 0 = 2*o + 4*c - 10, -g = -4*o - 4*c + 2*c. Is 3 a factor of o?
False
Let z be 10562/(-16) + 12 + (-665)/56. Let a(k) = -k**2 - 3*k + 4. Let p be a(4). Is 11 a factor of z/p*(-16)/(-10)?
True
Suppose 0 = 3*y - 227 + 11. Suppose 5*l + 5*q = -y - 388, -5*l = q + 476. Let x = l - -147. Does 25 divide x?
False
Is 10 + 10/(40/(-12)) - -612 a multiple of 104?
False
Let r(n) be the first derivative of -n**4/4 - 10*n**3/3 - 9*n**2/2 + 11*n + 1. Let u be r(-9). Suppose -2*w + 73 = u. Does 9 divide w?
False
Let z = -51 + 44. Let x(r) = r**2 + r + 2. Does 22 divide x(z)?
True
Let c = 1935 - -193. Is 133 a factor of c?
True
Let b = -105 + 109. Let q = 145 - 79. Suppose -b*f + 5*f - q = 0. Does 22 divide f?
True
Let o be 8*18 + -1 - (0 + 3). Let p = -68 + o. Is 12 a factor of p?
True
Let p(r) = r. Let h(y) = -3*y**2 - 11*y - 1. Let l(x) = -h(x) - 2*p(x). Suppose -2*u - 2 = 0, -26*j + 23*j - 19 = u. Is l(j) a multiple of 11?
True
Let r(j) = j**3 - 5*j**2 + 4*j - 3. Let b be r(3). Let x be 2/(-1) - 36/b. Is 11 a factor of (3 - 2/x) + 47?
False
Is -1076*-3*(0 - 2/(-12)) a multiple of 29?
False
Let v = -106 - -110. Suppose 7*u + v*s - 288 = 3*u, -358 = -5*u - 3*s. Is u a multiple of 24?
False
Let k(z) = z**2 + 76. Let o be k(0). Suppose -b + 5*b - o = 0. Is b a multiple of 17?
False
Suppose -3*x - 3 = q - x, -4*x - 10 = -2*q. Suppose o - 43 = q. Is 11 a factor of o?
True
Let s = 5794 + -2010. Is 30 a factor of 22/(-77) + s/14?
True
Suppose -5*l + 0*d - 394 = 3*d, 5*l = -2*d - 396. Let j = l - -154. Suppose 2*m - j = 10. Does 15 divide m?
False
Let m be (5/((-10)/12))/((-24)/1328). Suppose a + 3*a - m = -5*l, a + 342 = 5*l. Does 17 divide l?
True
Let b(r) = 2*r**2 - 4*r. Let a = 26 + -16. Suppose a - 4 = 2*p. Is b(p) a multiple of 2?
True
Suppose x - 4*x = c, 2*x - 4*c - 14 = 0. Is 13 a factor of (x + -4)/9*(-213)/1?
False
Let z(g) = -g - 10. Let c be z(-10). Suppose 4*i + u = 19, -1 = 2*i - 3*u - c. Suppose 7*d - 3*d = -4*a + 24, -a = i*d - 27. Is d even?
False
Let d be (4*-5)/((-5)/10). Let r = 76 - d. Is 18 a factor of r?
True
Suppose -5*d + 24 = 3*f, 3*f + d - 5*d + 3 = 0. Suppose -276 = 3*p - 6*p + f*b, -p + 94 = -3*b. Does 7 divide p?
True
Suppose -4*x - 142 + 922 = 2*a, 0 = -5*a - 5*x + 1965. Is 5 a factor of a?
False
Let l(f) be the first derivative of 2*f**3 + 7*f**2/2 + 16*f + 6. Is l(-4) a multiple of 12?
True
Does 36 divide (-792)/(-32)*2*(0 + 56)?
True
Let b = 17 + -11. Let p be (-704)/14 - b/(-21). Let y = p + 77. Is y a multiple of 9?
True
Let t(o) = 3*o**2 - o - 9. Is t(-9) a multiple of 6?
False
Let k(i) = -3*i**3 + 3*i**2 + 3*i + 2. Let b be k(-3). Let w(o) = o**3 + 5*o**2 - 8*o - 8. Let f be w(-6). Suppose f*z + 37 - b = 0. Is 4 a factor of z?
True
Let r(o) = 11*o**2 + 3*o - 6. Is r(2) a multiple of 11?
True
Suppose 2*u + 856 = 3*g, u - 574 = -2*g - u. Does 14 divide g?
False
Let m(g) = -g**2 - 6*g - 3. Let d be m(-5). Suppose -3*r + 25 = d*r. Suppose 5*a + 80 = 2*p - 3, -3*p - r*a + 112 = 0. Is 9 a factor of p?
False
Suppose -x + 3*x - 295 = m, -m - 150 = -x. Is (1 + 4/(-12))*(x - 1) a multiple of 12?
True
Let l be (-2)/4*16/(-4). Let j be ((-167)/l)/(3/(-12)). Suppose 4*v = v - r + j, v - 2*r - 123 = 0. Is 26 a factor of v?
False
Let v = 13 + -10. Suppose -v + 6 = c. Suppose -255 = -3*u - 2*u - 4*n, c*n = 2*u - 102. Is 1