 438086 = 32492. Does 57 divide m?
False
Let m be -2746*9/24 + 7/(-28). Does 11 divide (56/(-70))/(2/m)?
False
Suppose f - 4*i = -f - 18, 5*f + 52 = 3*i. Let o = 6 + f. Let l = o - -15. Is l a multiple of 3?
False
Suppose 13*u - 875 = -12*u. Is 35 a factor of (-42)/u + 1981/5?
False
Let s(w) = 3*w**2 - 12*w - 90. Suppose 37*v - 31*v = -60. Is s(v) a multiple of 33?
True
Let t(f) = f**2 - 64*f - 39. Does 3 divide t(78)?
True
Suppose -6*n = -7*n - 1, 4*j - 5*n - 57 = 0. Suppose -c + j = -1. Does 14 divide c?
True
Suppose -16*r + 72 = -4*r. Does 15 divide 6*45*-3*(-1)/r?
True
Let v = -34 - -54. Suppose -k + 3*x - 2 = 0, -6*x = -x - v. Suppose -2*o + 327 = -y, -5*y = -k + 35. Is 23 a factor of o?
True
Suppose 0 = -6*x + 13 + 5. Suppose -x*m - 3*w + w = 1, 4*w = -m - 7. Let h(a) = 19*a**2 - a. Is h(m) a multiple of 2?
True
Let x(s) = -s**2 + 2*s + 5. Let g be x(5). Let y be (834/9)/(g/(-6) - 1). Let a = y - 66. Is a a multiple of 18?
False
Suppose 84 - 69 = -3*g. Is 5 a factor of 3/g + 148/5?
False
Let x(d) = 10*d**2 - 576*d + 188. Does 95 divide x(68)?
False
Let l(o) = -o**3 - 5*o**2 + o + 10. Let f be l(-5). Suppose 3*u - 102 = -s + 221, -f*s - 3*u = -1603. Does 20 divide s?
True
Is 54 a factor of (8/12*-3)/((-47)/449367)?
False
Let o(d) = d**3 - 4*d**2 - d + 13. Let j be o(6). Suppose 2*i - 2*z - 41 = -7*z, j = 3*i + 4*z. Does 5 divide i?
False
Let j be (1*(194 - 4))/2. Suppose 2 = -2*n, k + 13*n - 18*n - j = 0. Is k a multiple of 15?
True
Let w be (9218/(-44))/((-2)/(-4)). Let x = w + 607. Does 2 divide x?
True
Let a be (1 - -1) + 0 - (6 + 6). Let t = -8 - a. Let g(x) = 15*x**3 - 2*x**2 - 2. Is g(t) a multiple of 18?
False
Suppose -3*o + 2*t - 40 = -0*o, -4*o - 5*t - 61 = 0. Let g = 153 + o. Is g a multiple of 21?
False
Suppose -3*b + i = 2*i - 26, 2*b + i - 16 = 0. Suppose z - b = -5. Suppose -2*c = 2*c - z*j - 48, -c - 5*j = -12. Does 12 divide c?
True
Let c = 855 - 853. Suppose 0 - 2 = -r. Suppose r*j - 8 = 0, 4*o - 4*j - 128 = c*o. Is o a multiple of 12?
True
Does 31 divide (830/(-15))/(2/(-36))?
False
Suppose -139 = 5*x + 3*r, -x - 20 - 7 = r. Let i = -20 - x. Suppose 2*v + 3*v - 89 = -2*s, 0 = -v + 4*s + i. Is v a multiple of 2?
False
Let c = 287 - 371. Is ((-864)/c)/(6/105) a multiple of 10?
True
Let l(z) = -133*z + 429. Is l(-28) a multiple of 10?
False
Let p = 4132 + -1519. Is 68 a factor of p?
False
Let c(o) = -3300*o**3 + 7*o**2 - 11*o - 18. Does 110 divide c(-1)?
True
Let p be (-10)/4*(28/(-5) + 4). Let o(m) = -m**3 + 6*m**2 - 5*m - 3. Let z be o(p). Let q = z - -5. Is q a multiple of 14?
True
Suppose 23*a + 3*x = 24*a - 11068, 5*x = 2*a - 22129. Is a a multiple of 19?
False
Let v = -14850 - -78340. Is v a multiple of 11?
False
Let d(k) = 268*k + 29. Let b(y) = -133*y - 14. Let s(x) = 9*b(x) + 4*d(x). Let i be s(-3). Suppose m = 3*a - 479 - i, -552 = -2*a - 2*m. Is 20 a factor of a?
True
Suppose -z + 10369 = 457. Is 40 a factor of z?
False
Suppose -o - 103 + 747 = 0. Suppose 100 = 8*k + o. Let w = k + 145. Does 9 divide w?
False
Suppose 0 = -69*y + 180*y - 1305360. Is 60 a factor of y?
True
Let w(h) = h**3 - h**2 - 2*h. Let f be w(2). Suppose i + 4 = 0, -4*z + 5*i + 14 + 74 = 0. Suppose -z*x + 1023 + 2343 = f. Is x a multiple of 22?
True
Suppose 4*r - 2*g = 52252, 71*r - 66*r = -2*g + 65324. Is 92 a factor of r?
True
Does 109 divide ((-1)/4*27)/((-1)/288)?
False
Let j be (100/30)/(1/6*2). Suppose -t = -5*y + j + 18, y - 17 = 4*t. Suppose -2*z = y*c - 866, c + 2*c - 525 = -3*z. Is c a multiple of 43?
True
Let s = 3 + 7. Let c(m) = -5*m**2 + 8*m - 8. Let w(g) = -6*g**2 + 8*g - 8. Let o(j) = -5*c(j) + 4*w(j). Does 18 divide o(s)?
False
Suppose 103 = 2*a + a - b, -4*a + 138 = -2*b. Let l = 414 - a. Is l a multiple of 20?
True
Let x(k) = -12*k + k**2 - 2 + 4*k + 12. Suppose 0 = 10*n + 30*n - 360. Does 19 divide x(n)?
True
Let v(l) = 2*l**3 + 2*l**2 + 673. Suppose 8*q - 5*q + 15 = -5*f, -3*f - 5 = q. Does 20 divide v(f)?
False
Let k(o) = 2*o**2 - 4*o - 1. Let w be k(4). Let i be -12*25*1/w*-2. Suppose -h = -2*a + 5*a - i, 0 = -3*h + a + 150. Is h a multiple of 7?
True
Let c(j) = -j**3 + 52*j**2 + 50*j + 455. Does 148 divide c(53)?
True
Let d = -5 + 9. Let r(w) = -w**3 + 14*w**2 + 58. Let k be r(14). Suppose k = d*l - 86. Does 12 divide l?
True
Does 5 divide (-2*1 + -87)*(-4)/((-8)/(-26))?
False
Suppose 5*g - u - 51707 = 0, -g + 15386 = u + 5035. Is 192 a factor of g?
False
Suppose 3*z = 4*g - 36, 12*z = 9*z - 4*g - 12. Is (9/54*z)/((-4)/378) a multiple of 6?
True
Let t(k) = -393*k**3 + 17*k**2 + 3*k - 4. Does 5 divide t(-2)?
False
Suppose -26982 + 8470 = -4*f. Suppose -2372 - f = -14*b. Is b a multiple of 7?
False
Suppose 2*w + 2*n = 4*n + 184, 5*n - 252 = -3*w. Let x = 332 - w. Is x/(-6)*((-8)/(-6) + -2) a multiple of 11?
False
Suppose -3*i = 2*f + 34, -f + 2 = f. Is (423/i)/(-8 - 4072/(-512)) a multiple of 16?
True
Let m = 79 - 78. Let o be (12/(-24))/(m/(-242)). Let u = o - 66. Is u a multiple of 22?
False
Let n be ((-78)/13)/((-3)/2). Suppose 2*r = -8, n*g - 2*r + 1 = 417. Suppose -7*m = -4*m - g. Does 5 divide m?
False
Let y(l) = 11*l**2 - 45*l + 324. Is 86 a factor of y(19)?
True
Let l = -8203 + 8545. Is l a multiple of 14?
False
Let u(s) = -s**3 + 3*s**2 + 4*s - 2. Let b be u(3). Let d = -7 + b. Suppose 4*f = d*f + 90. Is f a multiple of 15?
True
Suppose 2*g = -2*d + 2, -5*g - 30 + 3 = -3*d. Let y be -1 + 2232/15 + d/20. Suppose a + y - 411 = -2*t, -3*t = -3*a - 372. Does 17 divide t?
False
Let b = 15875 + -13573. Does 9 divide b?
False
Suppose w = -7 + 3, 16 = -2*v - w. Is 27 a factor of (-2 - (-32)/12) + (-2588)/v?
True
Suppose -282011 + 6495 = -55*m + 264034. Does 15 divide m?
True
Let l(b) = -7*b - 12. Let d = -36 - -29. Let u(a) = a**2 + 9*a + 6. Let k be u(d). Is l(k) a multiple of 17?
False
Suppose -5*h + 5 = 0, 2 = -r + h + h. Suppose r = -9*j + 13*j - 192. Suppose j = -0*u + 2*u. Is 6 a factor of u?
True
Suppose -3*t + 15 = 0, 4*t + 481 = -b + 4*b. Suppose 94 = 9*i - b. Is 3 a factor of i?
False
Suppose 12*k + 10872 - 45501 = 40119. Does 16 divide k?
False
Suppose -36*t + 31*t = -115. Suppose 0 = 2*z + 2, 486 = -4*i + 4*z + 1254. Suppose -8*w + i = t. Is 14 a factor of w?
False
Let a(y) = y**3 + 9*y**2 - 23*y - 2. Let t be (0/2 + 4)/((-2)/(-16)). Suppose -3*b + 0*b - 3*s = 24, -3*b = -s + t. Does 24 divide a(b)?
False
Let s(d) = -2*d**2 - 14*d - 10. Let m be s(-6). Let t be 3521/21*6/m. Suppose -63 = 5*j - t. Is 27 a factor of j?
False
Suppose 4*w - 2*i = 5*w - 7, -3*w + 13 = 2*i. Suppose w*p + 2*p = -4*r + 4574, -3*r = p - 906. Does 51 divide p?
True
Suppose 5*y + 3*g = 1174, g - 115 = -y + 121. Let d = 124 - y. Let r = -75 - d. Does 4 divide r?
False
Let z(w) = -2457*w - 12999. Is 274 a factor of z(-17)?
True
Suppose 5*v - 4*n + 96 = 0, 2*n + 72 = 4*v - 9*v. Let j be (-2956)/v + (-1)/(-4). Suppose 2*i + 13 = j. Is i a multiple of 28?
False
Let t = 2135 + 5145. Is 140 a factor of t?
True
Suppose -2*b = -5*p + 38139, 2*p - 4*b = 10086 + 5192. Is p a multiple of 125?
True
Let k(l) = -58*l + 106. Let f = -63 - -55. Does 86 divide k(f)?
False
Let y be (-2)/(-16) + 567/(-56). Let j be (-18)/(-30) - 5094/y. Suppose 5*l - 5*w = j, -w + 4*w = -5*l + 510. Is l a multiple of 18?
False
Let l be 7 + 0 + 0 + 4. Suppose 0 = -l*y - 6*y + 1972. Is y a multiple of 17?
False
Let t(o) = -o**3 + 14*o**2 + 6*o - 15. Let r(d) be the first derivative of 3*d**2/2 - 4*d + 20. Let f be r(6). Is t(f) a multiple of 27?
False
Let o(s) = 3647*s**3 + s**2 - 1. Let p be o(1). Suppose p = 37*f + 835. Is f a multiple of 19?
True
Let s(y) be the second derivative of y**4/12 - y**3/3 - 13*y**2 + 2*y. Suppose 2*g = -3*g - 40. Is s(g) a multiple of 18?
True
Is 10 a factor of (-14)/(-441)*18*(-9814)/(-4)?
False
Let s be (-3 - -4)*-1 + -693. Let r = s - -962. Is r a multiple of 51?
False
Let v = -57832 - -83128. Does 93 divide v?
True
Let r be 1 - (100 - (4 - 2)). Let s(i) = 128*i - 247. Let j be s(2). Let m = j - r. Does 45 divide m?
False
Suppose -4*m + 6*m + p = 1, 0 = -5*m + 2*p + 7. Let j be (m + 146)*(-14)/42. Let y = 123 + j. Is y a multiple of 20?
False
Let p = 6 + -9. Let a be (-18)/12 + (-3)/(-2) + p. Let o(i) = 35*i**2 - 9*i - 11. Does 23 divide o(a)?
False
Let m = -335 - -329. Is m/(-9) - (1832/(-24) + 3) a multiple of 37?
True
Let w(s) = -137*