-45))/((-2)/15)?
False
Let c = 74 + -72. Suppose 0 = c*o - o - 38. Is o a multiple of 3?
False
Let y(r) = r**3 + 16*r**2 + 21. Let s be y(-15). Suppose -3*d + s = 3*i, -2*i - 3*i + 404 = 2*d. Is 8 a factor of i?
True
Let l be -18 + 12 + 1*-1. Let k = l - 60. Let r = k - -96. Does 7 divide r?
False
Let c be (2 + (-47)/4)*8. Suppose -13*q - 57 - 411 = 0. Is q/24 - c/4 a multiple of 18?
True
Suppose 0 = r - 3*o - 240, -1162 = -r - 4*r - 4*o. Is r a multiple of 9?
True
Suppose -i + 2*o + 10 = 0, -o - 2*o = 5*i - 102. Let k = -13 + i. Suppose k*r + 145 = 5*s, 0*s + 4*s + 2*r = 92. Is s a multiple of 15?
False
Let h(q) = -q**3 + 10*q**2 - 7*q - 13. Let n be h(9). Let j = n - -74. Is 29 a factor of j?
False
Let m(g) = -2*g**3 + 20*g**2 - 1. Does 17 divide m(8)?
True
Suppose -3*v - 5*y = 2*v - 975, 3*y = -5*v + 967. Is v a multiple of 46?
False
Let k be (6/18)/(3/108). Let c = k + 7. Is 3 a factor of c?
False
Let g = -62 - -450. Is g a multiple of 19?
False
Suppose -2*q + 5*q + 4*s = 54, 2*s - 6 = 0. Does 16 divide -15*(-7)/q*(3 - -1)?
False
Let y(a) = 8*a**2 - 2*a + 3150. Does 63 divide y(0)?
True
Let m be (-3)/(-1) + (-32)/16. Let x be (44/16)/(m/12). Suppose -2*g = -3*g + x. Is g a multiple of 10?
False
Suppose -2*j - 2*j + 32 = 0. Suppose 4*r = j*r + 4. Is 2 a factor of 6 - (r - (-4 + 3))?
True
Let j = 661 - -28. Is 41 a factor of j?
False
Suppose 2*s = -4*f - f + 885, 3*f = -4*s + 1791. Is 10 a factor of s?
True
Suppose -11 - 93 = -t. Suppose q - 28 = 3*j, -3*q + 3*j + t = -j. Is 7 a factor of q?
False
Let g be (-3 - 2)*1 - 0. Let b = g - -5. Suppose 2*r + 0*r - 132 = b. Does 19 divide r?
False
Let p(f) = -4*f - 13. Let r be p(-4). Suppose 5*u - 16 = r*h - 4*h, -u - 16 = -3*h. Is h a multiple of 2?
True
Let d = -4 + 8. Let i be (-35)/4 - (-3)/d. Let w(y) = 2*y**2 + 8*y + 15. Is 23 a factor of w(i)?
False
Suppose 8 = 5*j - 27. Suppose x + j*x = -64. Is x/2 + (-108)/(-9) a multiple of 4?
True
Suppose 3 - 7 = -2*w. Suppose 2*l - 44 = -w*q + 5*l, 4*q = 3*l + 82. Let n = 51 - q. Is 9 a factor of n?
False
Let v(c) = -3*c**3 + 53*c**2 - 14*c - 52. Does 72 divide v(17)?
True
Suppose -2*r = 3*n + 665, 6*n + 233 = 5*n + 5*r. Let h = 318 + n. Is h a multiple of 5?
True
Let p = 192 - 339. Let h = -120 - p. Does 9 divide h?
True
Suppose -5*n = -3*t - 8*n + 1188, -3*t + 1188 = -4*n. Does 18 divide t?
True
Let q be (-6)/10 - 4/10 - -114. Suppose 2*i = -4*b - 23 + q, -54 = -i - 5*b. Is i a multiple of 13?
True
Suppose 3*z - g = -3*g - 4, 10 = 4*z - 5*g. Suppose 5*x - 40 - 55 = z. Does 19 divide x?
True
Let h(p) = 7*p**2 + 6*p - 3. Let o be h(3). Suppose -3*u - o = 24. Let m = 9 - u. Is 13 a factor of m?
False
Suppose 0 = -7*r + 11*r + 68. Let p(q) = q**3 + 20*q**2 + 42*q + 10. Is 15 a factor of p(r)?
False
Let o = -45 + 78. Suppose 4*c = 4*q - 256, 2*q - 4*q - 5*c + 156 = 0. Let i = q - o. Is 15 a factor of i?
False
Let j(i) = -i**3 + 23*i**2 - 19*i + 9. Is j(22) a multiple of 12?
False
Let f be (-44)/(-16)*(-72)/(-3). Let l(w) = -w**3 - 5*w**2 + 2*w - 6. Let u be l(-7). Suppose -2*g = -u - f. Does 24 divide g?
True
Let c = 25 + -20. Suppose -3*a - 28 = -c*a. Is 14 a factor of a?
True
Let c(p) = -p**3 - 22*p**2 - 19*p + 45. Let m be c(-21). Suppose 5*k - 3*v = 164, m*v - 58 = -2*k + 8*v. Is k a multiple of 29?
False
Suppose 2*z + 3*p + 8 = p, 12 = -3*z - 4*p. Let y(r) = -r**3 - 3*r**2 + r. Does 2 divide y(z)?
True
Let v(s) = -150*s + 6. Is 84 a factor of v(-5)?
True
Let p(n) = 22*n**3 - 2*n**2 - n. Let j be p(-1). Let c be 30/(2 - 3 - -2). Let d = c + j. Is 5 a factor of d?
False
Let q be (12/(-10))/(8/(-140)). Suppose 3*v = -i - 0*i - 13, 5*v + q = -2*i. Suppose 0 = z + 4*z - i*g - 144, -4*z = -g - 117. Is 9 a factor of z?
False
Let l(w) = 3*w**2 + w - 6. Is l(3) even?
True
Let j = 398 - 177. Does 44 divide j?
False
Let b be 2 + (-3 - 0) + -18. Let m = -15 - b. Suppose 15 = -3*t, m*i = -t + 11 + 28. Is i a multiple of 4?
False
Suppose 10*z + 80 = 18*z. Suppose -g + 3*v = 26, -4*g + v - 88 = -3*v. Is 27 a factor of (-1624)/g - 2/z?
True
Suppose 4*m + m = r + 252, 4*r = 4*m - 192. Suppose -3*o + m = -105. Is o a multiple of 5?
False
Let b = -1384 + 2469. Is b a multiple of 9?
False
Suppose -l - 2*q + 8 + 3 = 0, 15 = -5*q. Let v(f) = 2 - 7*f - 8 + l*f**2 + 3. Is 35 a factor of v(3)?
False
Let x be ((-2*1)/2)/((-4)/(-132)). Is 297 + (26/(-6) - 11/x) a multiple of 16?
False
Let o(j) = 4*j**2 - 65*j + 39. Let c(z) = z**2 - 16*z + 10. Let f(u) = -9*c(u) + 2*o(u). Is f(6) a multiple of 6?
True
Suppose 17*h + 2*h = -76. Let i(z) = 7*z**3 - 21*z**2 - 19*z - 11. Let o(w) = -3*w**3 + 10*w**2 + 9*w + 5. Let t(s) = 4*i(s) + 9*o(s). Does 3 divide t(h)?
False
Let c(u) = -7*u - u + 6*u + 19. Let m be ((-2)/4)/((-3)/(-78)). Is c(m) a multiple of 15?
True
Let n = -8 + 7. Let i be (n/2)/((-1)/310). Suppose 5*w = -45 + i. Is w a multiple of 11?
True
Let m(f) = f + 7. Let p = 17 + -16. Let x(s) = 3*s. Let w be x(p). Does 10 divide m(w)?
True
Let y = 2101 - 1213. Is 74 a factor of y?
True
Let v(z) = -2*z + 38. Suppose 0 = -y - 4*y. Suppose -x - 5*x = y. Is v(x) a multiple of 13?
False
Suppose -8*b + 148 = -4*b. Let v = -58 + 34. Let k = v + b. Is 13 a factor of k?
True
Suppose 2*w - 5*w - 12 = 0, -2*b = -3*w + 146. Let n = b - -85. Is n a multiple of 4?
False
Is 28 a factor of (15552/27)/((-3)/(-2))?
False
Let c(o) = o**3 + 7*o**2 + o + 1. Suppose 4*d = 2*d - 10. Let l be c(d). Suppose 4*h + 10 - l = 0. Does 7 divide h?
False
Let p = 78 + -74. Suppose -i - r = -54, -2*i + i + p*r = -64. Is i a multiple of 7?
True
Let g(r) = 4*r**3 + 3*r**2 - 2*r - 2. Does 28 divide g(2)?
False
Let m = -3 + 6. Suppose -22*y + 120 = -17*y. Suppose -4*g = -2*a - 20 - y, 0 = -g - 3*a - m. Is 3 a factor of g?
True
Let z be 222/9 + (-10)/15. Let l = z + -21. Is -25*(-3 - (3 - l)) a multiple of 17?
False
Is 10 a factor of (-50)/15*(-115 + 1)?
True
Suppose -4*c - 3*y = -c - 18, 3*c = 2*y - 2. Suppose 0 = 4*z + 2*g - 104, -3*g + 2*g = -c*z + 44. Does 6 divide z?
True
Suppose -2*j + y + 1343 = 0, 7*j = 6*j + 5*y + 667. Is 42 a factor of j?
True
Let l = 438 - 256. Is l a multiple of 22?
False
Suppose -3*c = -5*n + 1940, -3*n + c + 49 = -1111. Is 44 a factor of n?
False
Let u(r) = -2*r**3 - 3*r**2 + 3*r + 6. Let t be 3*3*(-2)/6. Is 5 a factor of u(t)?
False
Suppose 2*o = 4*p + 24, 3*o + 3*p - 1 + 10 = 0. Suppose -o*a - 25 + 31 = 0. Let z = a - -5. Does 2 divide z?
True
Let b = 169 + 185. Is 28 a factor of b?
False
Suppose -h + 3*h - 76 = 5*l, -4*h + 96 = 4*l. Let x = h + -1. Does 7 divide x?
False
Let r(v) = v - 10. Let k be r(12). Let q(m) = 2*m**3 - 3*m**2 + 4*m - 5. Let p be q(k). Is 2 a factor of 3 + p + 3 + -6?
False
Let i be 410/35 - (-4)/14. Is ((-812)/i - 3)*-3 a multiple of 30?
False
Let q be -3 - ((1 - -2) + -38). Let z be (-7)/((-3)/2 - -2). Let d = z + q. Is 18 a factor of d?
True
Let v = 136 - 259. Let l = -59 - v. Is l a multiple of 17?
False
Is 24 a factor of 54*(13 - 2)*(-3 - -7)?
True
Suppose -h + 5*q - 27 = -4*h, 31 = 2*h - q. Does 11 divide 1542/h - 2/14?
True
Suppose 5*t - 5*j = -j, -4*t + 31 = 3*j. Suppose 0 = 5*a + 17 - 2, -t*w + a = -167. Is w a multiple of 20?
False
Suppose 0 = -23*u + 44518 - 10524. Is u a multiple of 89?
False
Suppose 16*f + 202 = 5706. Is 10 a factor of f?
False
Let r(h) = -h. Let p be r(7). Let u = 12 + p. Suppose -5*c - 3*q + 41 = 0, -3*q = u*c + q - 43. Does 7 divide c?
True
Let m = 1780 + 1059. Is 23 a factor of m?
False
Let v(r) = -2*r**3 + r**2 + 3*r + 2. Let c be v(-1). Does 16 divide c*(-3 - -51) - (-6 + 3)?
False
Let p(n) = -n**3 - 10*n**2 + 12*n - 2. Let r be p(-11). Let q = -11 - r. Suppose -4*h = q*j - 66, -j + 10 = -4*h - 47. Is 6 a factor of j?
False
Let p = 829 - 489. Does 7 divide (-40)/70 + p/7?
False
Let u(w) = w - 12. Let m be u(14). Let x be -4 - -1 - (-18)/m. Let f(d) = 2*d - 4. Does 3 divide f(x)?
False
Let x(s) = 5*s**2 - 8*s - 11. Let r be x(-5). Suppose -4*i + 206 = -r. Does 18 divide i?
True
Suppose -65572 = -73*f - 24*f. Is 8 a factor of f?
False
Suppose -2*l - o = 3*l - 7795, -5*l = 3*o - 7785. Is 15 a factor of l?
True
Let g = 8 - 5. Let p be (-3 + 0)/(g/(-17)). Suppose p = q - 7. Is 12 a factor of q?
True
Let n be 2/(-3)*(-17 - -14). Let b be n/8 - (-114)/24. Suppose b = l - 2. Is l a multiple of 6?
False
Let t = -10 + 50. Does 5 divi