 of 28?
True
Let z be 45/(-12) + (-7)/28. Let i(y) = -y**2 - 7*y - 4. Does 7 divide i(z)?
False
Does 24 divide (1/(-3))/1 - (-6908)/33?
False
Suppose -18 = -2*v + 48. Let m = v + -14. Does 2 divide m?
False
Suppose x - 13 = 78. Is x a multiple of 12?
False
Is (-19365)/65*-2 - (-26)/169 a multiple of 4?
True
Let w be ((-48)/10)/(8/(-60)). Let l be 18*8/w*39. Suppose -l = -3*k + 21. Is k a multiple of 12?
False
Let h(o) = -o**2 - 5*o + 1. Let y be h(-3). Let q be y*(-9)/((-252)/200). Suppose -5*t + 60 + q = 0. Is 3 a factor of t?
False
Does 16 divide (3/6)/((-6)/12) - -268?
False
Let o be (-4)/(-26) - 6/39. Suppose -3*g + 2*l - 3*l + 199 = o, 5*g + 2*l - 331 = 0. Is g a multiple of 12?
False
Suppose 640 = 3*z + 154. Let x = z - 71. Does 13 divide x?
True
Let x = -10 - -14. Suppose 396 = b - x*b. Does 7 divide 4*-1*b/16?
False
Suppose 4*m - 180 = -8. Let j = -17 + m. Is 14 a factor of j?
False
Let f(o) be the first derivative of -29/4*o**4 - 3 + o**2 + 0*o**3 + o. Is 14 a factor of f(-1)?
True
Suppose -3*l + 7 + 2 = 0. Suppose -l*a - 3*x = 18, -x + 13 = -2*a - 2*x. Does 24 divide a/14 - 681/(-6)?
False
Let q(x) = -x**2 + 13*x + 34. Let b be q(15). Let i(k) = -30*k**2 - k + 1. Let d be i(1). Let w = b - d. Is 15 a factor of w?
False
Suppose l + 19 = -61. Let s = -32 - l. Is (-2)/12 - (-344)/s a multiple of 2?
False
Let b be -52 + -2 + 0/(-2). Let j be (-108)/8*28/3. Let i = b - j. Does 22 divide i?
False
Let q(o) = 8*o + 12. Let n be 35/5*1 - 4. Is 19 a factor of q(n)?
False
Let v(d) = -77*d - 61. Is 8 a factor of v(-1)?
True
Let i(s) be the third derivative of -s**5/30 + 13*s**4/24 + 5*s**3/3 + 3*s**2. Let f be i(7). Let a(n) = 18*n + 1. Does 14 divide a(f)?
False
Let b(c) = -2*c**3 + 39*c**2 - 35*c - 39. Is 20 a factor of b(18)?
False
Suppose 2*h = 2*t - 1586, 2*t - 1592 = -61*h + 57*h. Is 13 a factor of t?
False
Let w = -31 - -31. Suppose -3*a + 75 = -w*a. Does 8 divide a?
False
Let i(k) = 18*k + 12. Let s(l) = -2*l - 8. Let x be s(-6). Let c be i(x). Suppose -16 + c = 4*g. Is 17 a factor of g?
True
Let j(l) = -l**2 + 46*l - 187. Is j(26) a multiple of 14?
False
Let q be 4 + (-6)/2 + 5. Let h = 198 + -112. Suppose -a = -4*s + h, -20 = -s + 4*a - q. Does 11 divide s?
True
Let m be (-1 + 5/20)*-12. Suppose m*w - 3*w - 270 = 0. Is w a multiple of 12?
False
Let l be (13 - 3)*((-36)/(-15) - 2). Suppose -3*t + 3*d + 91 = -d, l*t - 4*d - 124 = 0. Is 6 a factor of t?
False
Does 10 divide ((-7)/(343/(-168)))/(1/35)?
True
Let g(p) = 6*p + 82. Does 10 divide g(28)?
True
Let k be 7 - 8 - (-1 - (-2 - -3)). Is 127 - ((0 - 2) + k + -2) a multiple of 23?
False
Suppose 20 = 5*k, 0 = l + 5*k - 19 - 5. Suppose -3*d + d - l = 0. Let j = d - -11. Is 3 a factor of j?
True
Is 3*(-298)/(-6) + (-6 - -7) a multiple of 4?
False
Suppose -i = 3*l - 703, -1 = -3*l + 2*l. Does 18 divide i?
False
Suppose -3*x - 5*s = -952, 0 = 5*x - 2*x - 2*s - 959. Does 29 divide x?
True
Suppose 3*a + 5*o - 4 - 5 = 0, 5*a + 3*o = -1. Is 42 a factor of ((-123)/(-12))/(a/(-16))?
False
Suppose -15 = -6*u + u. Suppose 0 = -u*n + 15 - 3. Suppose 48 = n*q - 0*q. Is q a multiple of 6?
True
Let m = 30 - 29. Is 12 a factor of 218/(-8)*(-1 - m)*2?
False
Let m(n) = -32*n**3 + 2*n**2 - 2*n + 1. Let o be m(1). Let y = -25 - o. Is 3 a factor of y?
True
Suppose 5*l + 71 = 5*k + 26, -3*k + 30 = -4*l. Suppose -5*j = -k*j + 12. Does 7 divide j?
False
Let u = 36 - 84. Let p = 8 - u. Does 28 divide p?
True
Let q = 987 - -91. Does 49 divide q?
True
Let r = 2886 - -421. Is 111 a factor of r?
False
Let f(g) = g**3 - 8*g**2 - 7*g + 4. Let h(q) = -q**3 + 5 + 0 + 0*q**3 - 2*q**2 + 7*q. Let t be h(-4). Is f(t) a multiple of 11?
True
Suppose 4*r = a + 105, -2*a - 2*a + 100 = 4*r. Let o = -26 + r. Suppose -6*x + 4 + 44 = o. Is 3 a factor of x?
False
Is 70 a factor of 2771/4 + 6 - (-10)/8?
True
Suppose 0 = 4*a - 3*j - 1243, -19*j + 14*j - 946 = -3*a. Does 18 divide a?
False
Does 33 divide 18280/120 - (0 + (-2)/(-6))?
False
Let y(j) = -3 - 2*j**2 + 3*j**3 + 4 + 1 - j. Let c = -12 - -14. Is y(c) a multiple of 4?
True
Let u = -82 + 139. Suppose -5*l + u + 163 = 0. Is l + 3/(12/(-8)) a multiple of 27?
False
Let h(j) = 2*j**3 - 7*j**2 + 6. Let o = -55 - -60. Does 27 divide h(o)?
True
Suppose 4*q - 924 = -2*v, 5*v - 5*q - 974 = 1276. Let b = 710 - v. Is 12 a factor of b?
False
Let w = 16 + -16. Let r be -8 + w/(15/(-5)). Let o(g) = -5*g - 16. Is o(r) a multiple of 6?
True
Suppose 3*k + 847 = 2*s, -3*s + 2*k = -777 - 481. Is s a multiple of 16?
True
Is ((-8)/(-7))/((120/(-2884))/(-15)) a multiple of 28?
False
Let s(k) = 275*k - 55. Let n be s(5). Suppose 0 = -29*x + 33*x - n. Is 66 a factor of x?
True
Let a be (-2)/(6/(-2) + 4). Let s = 1 - a. Is s a multiple of 3?
True
Let n be 3/6 - (-2 + 149/2). Does 9 divide n/8*(0 + -2)?
True
Let j be (0 - -3)/((-6)/28). Let b be 4 + j - 8/2. Does 25 divide (350/(-49))/(2/b)?
True
Let b(a) = 2*a**2 - 8*a + 14. Let l = -18 + 22. Is b(l) a multiple of 7?
True
Let q(k) = 2*k**2 + 2*k - 1. Let x be q(1). Suppose -3*z = -4*z - 3, -2*c = x*z - 129. Does 23 divide c?
True
Let j = -125 + 232. Let s = 37 + -17. Let x = j - s. Is x a multiple of 29?
True
Let j(w) = 2*w + 5. Let g = -16 - -6. Let v be j(g). Let a = v + 45. Is 10 a factor of a?
True
Suppose -9*i + 552 = 4*x - 7*i, 3*i = -12. Is 28 a factor of x?
True
Suppose -l + 2*l = -3*d + 59, 5*d - 222 = -4*l. Let n = l + -20. Is n a multiple of 18?
False
Let z(w) = -5*w - 1. Let q(v) = -16 + 4 + 2*v - v. Let u be q(8). Is 4 a factor of z(u)?
False
Suppose 2*y = 30 + 4. Let g(u) = u**3 - 17*u**2 + 2*u - 10. Is 8 a factor of g(y)?
True
Let q = 15 - 25. Let f be (6 - -4)/((-4)/q). Suppose s = 3 + f. Is 7 a factor of s?
True
Suppose 0 = 22*q - 1264 - 6964. Is 6 a factor of q?
False
Let x be (2/(-8))/((-2)/(-8)). Let q = 9 - 5. Is (x - -5)/(q/38) a multiple of 19?
True
Let c(m) = -22 + 2*m**2 + 4 - 21*m + 11*m + 0. Is c(-7) a multiple of 30?
True
Suppose -8*n = -12*n + 1560. Is n a multiple of 30?
True
Let u(k) = -2*k**2 + 34*k - 42. Let o(z) = -z**2 + 17*z - 21. Let g(y) = -5*o(y) + 3*u(y). Is g(15) a multiple of 8?
False
Suppose -174 = -3*l + 18. Is 8 a factor of l?
True
Let s = -40 + 41. Is s*111 + (-11 - -8) a multiple of 36?
True
Suppose 0 = 4*l + 2*u - 18, 8*l = 4*l + 3*u + 3. Suppose -2*r + 0*r - 4*h = -32, l*r - 48 = 5*h. Let o = r - -37. Is o a multiple of 8?
False
Suppose -4*y = 5*d - 690, -106 = 3*d + 4*y - 528. Suppose -4*v + d - 22 = 0. Is 13 a factor of v?
False
Let y(d) = -d**3 - 2*d**2 - 12*d. Let g be y(-5). Suppose -g = 2*x - 11*x. Is 5 a factor of x?
True
Let c be 224/22 - (-4)/(-22). Suppose -c = -5*g, -2*a - g = 3 - 9. Suppose -3*w = -6*w - 5*x + 119, a*w + x = 77. Does 13 divide w?
False
Suppose -2*v - 14 = -5*a + 1, 5 = 5*a. Let m(k) = -k**2 - 5*k + 4. Let l be m(v). Let y = l - -1. Is y even?
False
Let a(y) = -y**3 + 17*y**2 + 2*y - 15. Let i(o) = -o + 22. Let d be i(5). Is a(d) a multiple of 4?
False
Let p(r) be the second derivative of 4*r - 17/2*r**2 - 1/12*r**4 + 0 + 8/3*r**3. Is 5 a factor of p(13)?
False
Suppose 4*a - 1607 = -2*b + 1331, 2928 = 2*b - a. Is 3 a factor of b?
False
Let r(q) = 7*q**2 + 3*q + 1. Let b be r(-2). Let m = b + 4. Is 12 a factor of m?
False
Suppose u + 360 = k, -4*u + 0*u = 3*k - 1073. Does 30 divide k?
False
Let y be 740/90 + (-1)/(9/2). Suppose -9*r + 104 = -y*r. Is 16 a factor of r?
False
Is 10 a factor of (1463/22)/7*38?
False
Suppose -2*a + 7*a = 590. Suppose 4*p + 80 + 56 = 0. Let y = a + p. Does 25 divide y?
False
Let j = 183 - 133. Is j a multiple of 10?
True
Suppose -4*n - 189 = -11*n. Suppose -5*q + 103 = -n. Is 3 a factor of q?
False
Let n = 2975 - 938. Suppose -10*r + n - 237 = 0. Does 20 divide r?
True
Let t = -33 + 36. Suppose 0 = t*s + 4*s - 525. Is s a multiple of 11?
False
Suppose -5*q + 5 = -0*q. Let m(d) = 4*d**3 - d. Let x be m(q). Suppose -x*r = -7*r + 36. Is r a multiple of 3?
True
Suppose -8*s = -3*d - 7*s + 8334, 3*s = 2*d - 5563. Does 75 divide d?
False
Let t be (-184)/(-10) - 2/5. Suppose 3*a = -s + 14, -10*a - 27 = -14*a - 3*s. Suppose 3*i = -4*j + t, a*j + 39 = 4*i - i. Is 9 a factor of i?
False
Let n(b) = 4*b - 4. Let d be n(-4). Let l be 1/((d/172)/(-5)). Let s = l - 22. Is 21 a factor of s?
True
Suppose -2*k + 5*v + 815 = 0, 0*k - 4*v - 2080 = -5*k. Is 20 a facto