se o*w - 8*w + 485 = 5*t, -4*t - 428 = -4*w. Is 51 a factor of w?
True
Let q be 30/10 + (2 - 10). Let c(t) = t**3 - 7*t - 4. Let m be c(q). Is 7 a factor of m/(-4)*(5 - (2 - -1))?
False
Suppose -1 = -3*p + 2*p. Let z be p - (252/(-4))/1. Is ((-214)/8)/((-16)/z) a multiple of 23?
False
Let r(u) = -6*u + 244. Let k(b) = -7*b + 242. Let y(q) = 7*k(q) - 6*r(q). Does 18 divide y(14)?
False
Suppose 4*z - 8 = 2*w, -w = -2*z - 2*w + 8. Suppose -131 + 37 = z*n + 2*k, -86 = 3*n - 2*k. Does 2 divide (-1 - (4 - 0))*198/n?
False
Suppose -4*k = -4*p + 72, 0*k + 4*k + 28 = 2*p. Suppose 21*f + 41 = p*f. Suppose -43*s + f*s + 116 = 0. Is s a multiple of 12?
False
Is (-1283 - -2)*24/(-36) a multiple of 22?
False
Let g = 1918 - 1915. Suppose -r + 3*i + 4 = 1, -4 = -i. Suppose 0 = -r*c + g*c + 1260. Is c a multiple of 21?
True
Suppose -34 = -14*b + 50. Suppose 2*j - 44 = -b*o + 2*o, j = 5*o + 1. Is 10 a factor of j/(-1)*25/(-20)?
True
Let p be (-12)/(-32) - (-25299)/(-72). Is (-13)/(p/1086) + (-2)/9 a multiple of 2?
True
Let z(m) = -399*m - 13. Let d be z(-4). Suppose b - 3*c - d = -3*b, 2*c - 1578 = -4*b. Suppose 0 = 46*x - 41*x - b. Is x a multiple of 9?
False
Suppose 0 = -17*h + 22*h, -2*l - 5*h + 22 = 0. Suppose 4401 = l*w - 483. Is w a multiple of 74?
True
Does 2 divide 0 + 645 + 3 + -26?
True
Let p be (6/(-8))/(1/(-4)). Let y(w) be the first derivative of 15*w**2/2 - 3*w + 97. Is 21 a factor of y(p)?
True
Suppose -3*l - 14 = -h, 5*h - 10 = -l - 4. Suppose -85 = h*c + 4*o - 2035, -5*c + 5*o = -4920. Does 9 divide c?
True
Let q = -8 - -48. Let s(m) = -m + q*m**3 + 3 + 5 - 11*m - 11*m**2 - 41*m**3. Is s(-10) a multiple of 28?
True
Let s(x) = x**3 + 13*x**2 + x + 17. Let t be s(-13). Let n be (-1)/((-1)/((-20)/(-4))). Suppose -n*j + 400 = t*q, -q - 3*q - 400 = -5*j. Is 10 a factor of j?
True
Suppose -v - 3474 = -5*j, 202*j - 201*j - 714 = -3*v. Is j a multiple of 7?
False
Let l be (-2)/(-1) + (-3 - -2). Let z be l/(-2) - (-2110)/20. Suppose 5 = 5*f - z. Is f a multiple of 11?
True
Let g be ((-80)/(-6))/(2/72). Let w(x) = x**3 + 10*x**2 - 17*x + 16. Let d be w(-13). Let z = d + g. Does 45 divide z?
False
Is (-2)/((-29052)/14517 - -2) a multiple of 155?
False
Let g be (8/(-1))/(14/154). Let p = -79 - g. Suppose 4*k - p*k = -80. Is k a multiple of 5?
False
Let i(b) = -190*b + 9. Let j be i(-2). Let g = -565 + j. Let n = -92 - g. Is n a multiple of 21?
True
Let q be (35 - 12) + 2/1. Is 69 a factor of 29490/q + 51/(-85)?
False
Suppose k + w - 1145 = 0, 0 = -5*k - 16*w + 17*w + 5713. Is 28 a factor of k?
False
Let r(y) = 39*y**2 - 36*y - 381. Does 53 divide r(18)?
True
Let f = -661 - -665. Let m(i) = 44*i**2 + 8*i - 56. Does 68 divide m(f)?
True
Let m be 2658/30 - 4/(-10). Suppose m*o = 83*o + 576. Does 32 divide o?
True
Let t(y) = -6*y + 2*y + 5*y - 5 + y. Let s be t(4). Suppose 4*l + 7*k - s*k = 140, l = 2*k + 29. Does 4 divide l?
False
Let w(s) = s**2 + 19*s + 81. Let o be w(-9). Suppose -c + y - 7 = 0, 2*y + 5 = -3*y. Does 14 divide ((-522)/4)/o*c/(-2)?
False
Let r = 3 - 11. Does 19 divide 212 + -3 - r/(-1)?
False
Let m(h) = 22*h**2 + 79*h - 1045. Does 58 divide m(14)?
False
Let j be (-52)/(-3) + 0 - 9/27. Let p = j + 33. Is p a multiple of 25?
True
Let k = 15645 - 10728. Does 70 divide k?
False
Let p(d) = -27*d**3 - 10*d**2 + 39. Does 2 divide p(-4)?
False
Let r(f) = -f**3 + 21*f**2 + 49*f - 24. Let u = 24 + -1. Does 2 divide r(u)?
False
Suppose -40650 = -30*i + 39060. Suppose -4*n = 3*s - i, -5*s = -3*n - 7*s + 1994. Is n a multiple of 42?
False
Let h(r) = -115*r. Let i be h(-1). Let q(j) = 28*j - 156. Let z be q(8). Suppose -z*w = -63*w - i. Does 4 divide w?
False
Suppose -8*u + 29 = -3. Suppose u*p - 3428 = -4*g, -5*g + 853 = 7*p - 6*p. Does 22 divide p?
True
Suppose -8680 = -3*x + 2*u - 78, -u = -x + 2866. Does 82 divide x?
True
Suppose 9*u + 4*g - 51196 = 5*u, 2*g + 63953 = 5*u. Is u a multiple of 12?
False
Is 47 a factor of 8/28 + 7 + 95810/70?
False
Suppose -3*g + 2*j = 422 - 1107, 4*g - 925 = 5*j. Let b = 49 + g. Is b a multiple of 5?
False
Let c = -57 + 59. Suppose 3*q + c*v - 81 = -3*v, 3*v - 75 = -3*q. Suppose -18*r - 352 = -q*r. Does 16 divide r?
False
Let n = 45 - 45. Suppose n = -28*a + 1201 + 1319. Is a a multiple of 30?
True
Let u(i) = -45*i**2 + 14*i**2 + 1 + 15*i**2. Let o be u(1). Is 31 a factor of -3 + o*(-26)/6?
True
Let w(n) = -7537*n**3 + 8*n**2 - 2*n - 1. Is w(-1) a multiple of 27?
False
Let c = 49 - 13. Let y be 3 - (-736)/(-28) - 6/(-21). Let x = c - y. Is x a multiple of 10?
False
Suppose 19*o - 16*o = 36. Suppose 0 = -5*n + o + 8. Is 29 a factor of n*-42*3/(-6)?
False
Let a = 141 + -136. Suppose -150 + 610 = a*r. Is 4 a factor of r?
True
Let l = -57 - -115. Let k = -55 + l. Suppose -k*p = -2*a + 147, 2*a + 4*p = -0*p + 112. Does 33 divide a?
True
Let a(u) = -12*u**3 + 7*u**2 + 394*u - 121. Is a(-16) a multiple of 94?
False
Let z = -44 - -41. Does 12 divide (-132)/(-55)*(73 + 9/z)?
True
Let m = 820 - 543. Suppose 1505 = 3*g - m. Does 11 divide g?
True
Suppose -14*x + 39 = 11. Let f be (-25 - 5/5)/(x/20). Does 2 divide 1 + 5/(-6) + f/(-24)?
False
Let h(p) = p**3 - 19*p**2 + 8*p - 32. Let g = 115 + -58. Let a be (g/2)/(24/16). Does 30 divide h(a)?
True
Let f be (12/9)/(88/24 - 3). Suppose f*z + 3*z - 385 = p, 136 = 2*z - 4*p. Does 11 divide z?
False
Let p(g) = g**2 - 8*g - 7. Let x be p(10). Suppose x*t = 22*t - 468. Does 52 divide t?
True
Suppose 3*k - 1 = 4*s, -2*s = -4*s + 4. Suppose -8 = -5*x + k*x. Let h = 20 - x. Does 2 divide h?
True
Let p(x) = -7*x + 77. Let v be p(11). Suppose 126 = t - 4*h + 2*h, v = 4*h + 12. Is 5 a factor of t?
True
Suppose 0*f + 33257 = 6*f + 6869. Does 6 divide f?
True
Let z(k) = -k**2 - 6*k - 7. Let y be z(-3). Let r(w) = -6 + 6*w + w**3 - 4*w + w + 11*w**y - 5*w. Does 4 divide r(-11)?
True
Suppose 3*n + 36204 = 4*i, -10*n + 8*n - 18104 = -2*i. Is i a multiple of 87?
True
Does 10 divide ((-15092)/686)/((-1)/1142)?
False
Suppose -1031*y + 1111*y = 441600. Does 16 divide y?
True
Does 14 divide 24/(-16)*2 - (0/1 + -22103)?
False
Suppose 5*p = 29*p - 48. Suppose 0*c - 660 = -5*c. Suppose -3*g + 132 = 3*f - p*f, f + 4*g = c. Is f a multiple of 33?
True
Let o(q) = 357*q + 674. Does 15 divide o(34)?
False
Suppose -q + 1 = 0, -5*w - q = -0*q - 31. Let t be -19*-9*4/6. Does 2 divide t/10 + w/(-15)?
False
Suppose -5*z + 2*k + 140 = 0, 3*z + 51 - 139 = 2*k. Suppose 1 = 2*f + j - 2, 2*j + z = 4*f. Suppose 3*b - b = -i + 69, 5*i - f*b - 303 = 0. Is 11 a factor of i?
False
Let m be (1*108/(-7))/(24 - 19682/819). Suppose 18 = -2*n + n - 5*w, 0 = 5*n - 4*w - 55. Suppose n*t = 10*t - m. Is t a multiple of 31?
False
Suppose 2804*g = 2802*g + 1560. Does 13 divide g?
True
Suppose 0 = -5*w - 18*y + 16*y + 40457, -6*y = -4*w + 32358. Is 31 a factor of w?
True
Let m(i) = 2*i**2 - 4*i - 94. Let f be m(13). Let y = f + 100. Does 12 divide y?
False
Let d(m) be the third derivative of -95*m**4/24 - 8*m**3/3 - 74*m**2. Does 10 divide d(-1)?
False
Suppose 21*d - 9 = 24*d. Let v be d/((-5)/50*-5). Does 12 divide (2 - v) + (2 - (-1 + -1))?
True
Let v(a) = a**3 - 11*a**2 - 9*a - 26. Let o be v(12). Suppose 0 = -4*k + 546 - o. Is 32 a factor of k?
False
Suppose 4*t - 2219 = -q + 85736, t - 3*q - 22005 = 0. Is 9 a factor of t?
False
Is 2070900/6075*9/1 a multiple of 45?
False
Suppose 5*y - 54062 = -4*i - 3046, 2*y - 63770 = -5*i. Is 33 a factor of i?
False
Let d(x) = -x**3 - 22*x**2 - 74*x + 175. Does 134 divide d(-27)?
False
Let d = -3662 - -5630. Is d a multiple of 58?
False
Let m = 7 - 5. Let y = -51 + 87. Suppose 54 = -0*o + 3*o - 3*u, u + y = m*o. Is o a multiple of 18?
True
Let b be ((3 - -2) + -3)/1. Suppose -k - 15 = -b*c, 4*k - 3 = k. Let d(r) = r**2 + 2*r + 5. Is d(c) a multiple of 17?
True
Let j be ((-5)/((-25)/6))/((-15)/(-4450)). Let d = j - 213. Does 12 divide d?
False
Suppose -4*s - 5*p + 166 = 0, 4*s - 2*p + 69 = 249. Suppose 46*y = s*y + 1392. Is 58 a factor of y?
True
Suppose 0 = -5*y + 3*r + 253, 0 = 2*y - 4*r + 2*r - 98. Let o = 58 - y. Suppose -104 = -o*v + 16. Is v a multiple of 4?
True
Suppose 6084 + 11004 = 4*g. Is 89 a factor of g?
True
Let j be 560/(-3) - (-16)/24. Let q be ((-16)/(-24))/((-2)/j) - -4. Let l = q + -46. Does 15 divide l?
False
Let o = 13873 - 11495. Does 105 divide o?
False
Is 0 - 4/(-20) - (-