 m?
True
Let t(m) = 4*m**2 + 10*m + 126. Let r be t(0). Let j(u) = -15*u + 8. Let s be j(6). Let v = r + s. Does 11 divide v?
True
Let v = 4296 + -1245. Is v a multiple of 27?
True
Suppose -13 - 3 = -4*j + a, -2*j + 3*a + 8 = 0. Suppose -j*l + 436 = -368. Let h = 317 - l. Does 29 divide h?
True
Let a be -1 - (-1075 + -9 + 4). Let l be (a + -4 + 2)/1 - -2. Does 54 divide l/5 - (-8)/160*4?
True
Suppose 0 = -6*p + 15*p + 18. Is 13 a factor of 590 + ((-30)/12)/(p/(-4))?
True
Let d = 5 - 1. Let k(b) = -b**2 + 4*b + 3. Let o be k(d). Suppose o*i + a + 4*a = 384, 0 = -4*i + a + 512. Is 15 a factor of i?
False
Suppose -2516 = -3*g + 4*n, 3*n = 5*g + 638 - 4835. Suppose -73*y + 81*y = g. Is 15 a factor of y?
True
Let x = 474 - 474. Suppose x = -33*b + 25*b + 1296. Does 27 divide b?
True
Suppose 3*p + 2*l + 2*l + 1069 = 0, 2*l = -8. Let z be (p/15)/(3/(-20)). Suppose -2*u + z = u. Does 9 divide u?
False
Let i(r) = r**2 - 79*r + 237. Let b be i(3). Let w(n) = 12*n + 2 - 2 + 5 - n**2. Is w(b) a multiple of 8?
True
Let n(w) = 3*w**2 + 7*w + 26. Let b be n(-10). Suppose 0 = -10*g + 2*g + b. Is (225/12)/(3/g) a multiple of 50?
True
Let g(x) = 297*x**3 - 3*x**2 - 2*x + 1. Is g(2) a multiple of 100?
False
Suppose 0 = 36*w - 146393 + 30473. Suppose w = 10*v + 25*v. Does 11 divide v?
False
Suppose -1020 = 5*x + x. Is 17 a factor of x/(-3)*6/5?
True
Let j = -2306 - -7605. Is 72 a factor of j?
False
Let q(k) = 3*k**2 + 4*k - 15. Let w be q(-6). Suppose 25 - w = f. Let s = f + 119. Is s a multiple of 7?
False
Suppose -m + 573 = -5*w, -147*w + 144*w + 1773 = 3*m. Is m a multiple of 6?
True
Let j = 2703 - 2714. Let k(l) = 53*l**2. Let o be k(-1). Let a = o - j. Is a a multiple of 11?
False
Is 94 a factor of 9/(-27) - ((-126797)/6 + (-9)/(-18))?
False
Suppose 520 = -v - 7*v. Let o = v + 101. Is o a multiple of 6?
True
Suppose 217 = 8*g - 623. Suppose 5*o + g = -2*j, -5*j - 5*o - 60 = -4*j. Is 4 a factor of (-5)/j*-3*-57?
False
Let w(n) = 103*n**2 + 29*n + 83. Is 113 a factor of w(-10)?
False
Suppose 2*z + 11148 = 2*d - 3624, -2*z = 2*d - 14796. Is 33 a factor of d?
True
Let d be (7/7)/(2 + -3). Let v(g) = 60*g**3 + 4*g**2 + 5. Let y(h) = 60*h**3 + 3*h**2 + h + 4. Let l(s) = 2*v(s) - 3*y(s). Is l(d) a multiple of 12?
True
Suppose -4*c + 4 = 0, -24*x + 22*x + 4*c = -33976. Is x a multiple of 23?
False
Let w be 4 + -2 + 0 + 16. Let x(o) = o**2 + 16*o - 118. Let d be x(-24). Suppose d = -j + 4*j + 5*n, -j = 5*n - w. Is j a multiple of 7?
True
Let s(w) be the first derivative of w**4 - 2*w**3 - 7*w**2/2 + 94. Is 37 a factor of s(5)?
False
Let u be (-1)/(-2)*1290/3. Suppose b - 2*b + u = d, 5*d + 815 = 4*b. Suppose -z - 5*v + b = 4*z, 0 = z - 5*v - 18. Is 10 a factor of z?
False
Let u(b) = 76*b**2 - 16*b + 53. Is u(3) a multiple of 4?
False
Let r be (-6)/4 - (-31)/(-2). Let d = 33 + r. Suppose n - 40 = d. Is n a multiple of 15?
False
Suppose -74 = -g - 80. Is 24 a factor of (-1005)/g - (-25)/50?
True
Let m be -1*6/(-4)*(-1090)/(-327). Suppose o = -o + m*l + 768, -2*o + 2*l + 780 = 0. Is 46 a factor of o?
False
Let u(t) = 19*t + 594. Is 56 a factor of u(10)?
True
Let k(v) = -37*v**3 - 24*v**2 - 61*v - 256. Is k(-8) a multiple of 98?
True
Suppose 217087 + 102785 = 48*j + 8*j. Does 3 divide j?
True
Suppose -10 = -39*w + 34*w. Suppose -3*b + 10 = -w. Suppose 0 = -b*q + 77 + 435. Is q a multiple of 26?
False
Suppose 3*b = -2*b + w + 520, -427 = -4*b + 3*w. Let z = b - 99. Is z even?
True
Suppose -3*s = -0*s. Suppose 2*c = -5*g - 4 - 0, s = 4*c - 2*g - 16. Suppose 0 = -2*a + 5*k + 11, 2*a + c*a = 4*k + 53. Is a a multiple of 9?
False
Let w be (1/(-2))/(-5*2/4520). Suppose -w*g + 223*g + 420 = 0. Is 70 a factor of g?
True
Suppose y - 426 - 105 = -4*m, -5*m = y - 529. Is y a multiple of 3?
False
Let h = 6842 + -1645. Does 20 divide h?
False
Let c be 26/9 + (-39)/(-351). Does 15 divide (c*-5)/(-7 + 135/20)?
True
Suppose -5*n = 7*o - 6*o - 564, -4*o + n + 2109 = 0. Does 55 divide o?
False
Let f(q) = q**2 - 2*q - 50. Let c be f(-6). Is 22 a factor of c/3*(-76 + 8/2)?
False
Let t(o) = -7851*o + 8008. Is t(-4) a multiple of 227?
False
Suppose -63*s + 111700 = 25516. Is s a multiple of 18?
True
Suppose -7 = -s, -4*m = s - 7160 - 239. Is 21 a factor of m?
True
Let z(t) = -t**2 - 4*t + 16. Let v be z(0). Suppose 14*l = v*l + 12. Is 36 a factor of 284/6*(2 + 3/l)?
False
Let r(j) = -52*j - 7. Let y be r(-4). Suppose -5*i - 87 = -3*i - 3*b, y = -5*i + 2*b. Let t = i - -93. Does 9 divide t?
True
Suppose 4*v + w = -2*w + 47654, -35740 = -3*v - 2*w. Is v a multiple of 156?
False
Let s = 74 + -69. Let g(t) = -s*t**2 + 9*t + 0*t**3 - 12 + 2*t**3 - t**3. Does 3 divide g(4)?
False
Suppose -5*x = -2*o + 5279, 10598 = 4*o + 18*x - 20*x. Is o a multiple of 13?
True
Let y = -73 - -70. Let l be (0/(-2))/((-3)/y) - -4. Suppose 18 + 8 = 2*s - 3*g, 3*s + l*g = 39. Is 4 a factor of s?
False
Suppose 21*o = 15*o + 396. Is 38 a factor of 4 - (5768/(-22) + 12/o)?
True
Suppose -6 = 2*s - s + g, 5*g - 2 = 3*s. Let x(j) = 2*j + 10. Let d be x(s). Suppose 4*v + v - d*c - 69 = 0, -5*c = 4*v - 75. Is 15 a factor of v?
True
Let x(g) = -g - 2. Let u(t) = 5*t - 56. Let a(j) = -u(j) - 6*x(j). Does 10 divide a(11)?
False
Let v = 27 + -24. Suppose 2*d - 13 = -v. Suppose 378 = d*s + i - 3*i, -4*i = 16. Does 7 divide s?
False
Does 19 divide (2/6)/((-67)/(-420090))?
True
Let b = 1 - -4. Let u be 12/(-5)*295/(-177). Suppose u*y - 192 = -3*a + 255, -5*y = b*a - 565. Does 9 divide y?
True
Let l(o) = 1315*o**2 - 123*o - 389. Is l(-3) a multiple of 12?
False
Suppose 50 = -4*n - n - 5*p, 0 = -n - 3*p - 18. Let b(v) = 16*v + 47. Let k(y) = 17*y + 46. Let l(o) = n*b(o) + 5*k(o). Is l(-13) a multiple of 7?
True
Let u be (-1376)/2 + 3/(-4)*4. Let v = 817 + u. Is 9 a factor of v?
True
Suppose 0 = 6*x - 12 + 408. Let n = 173 + x. Is n a multiple of 6?
False
Let t = -15992 - -19168. Does 4 divide t?
True
Suppose 3*p = -k - 13, -4*p + 3*k = -0*k + 26. Let g(h) = h**2. Let l(x) = -x**3 - 4*x**2 + 14*x - 7. Let u(y) = 4*g(y) + l(y). Is u(p) a multiple of 4?
True
Let a(m) = m**3 - 25*m**2 + 15. Let p be a(25). Suppose p*t = 19*t - 1464. Is 11 a factor of t?
False
Suppose 230 = -4*c + 5*c. Let v = c + 360. Is 37 a factor of v?
False
Let k(d) = d**2 + 6*d - 11. Suppose -2*x - 2*h = 2*x + 34, x = h - 7. Let i be k(x). Suppose p + p = 5*g + 462, 0 = i*g + 20. Does 13 divide p?
True
Let s(c) = -c**2 - 23*c + 40. Suppose 480 = -29*i - i. Is 25 a factor of s(i)?
False
Let y be (-4 + 0)*((-135)/20)/3. Suppose y*x + 179 = 953. Is 2 a factor of x?
True
Is 1/(3 + 1 + 10040/(-2512)) a multiple of 64?
False
Suppose -3*r = -2*l + 27481 + 2963, -5*l = -4*r - 76124. Is l a multiple of 31?
False
Let i = -218 + 456. Suppose 0 = i*t - 239*t + 729. Is t a multiple of 81?
True
Suppose -29907 = -9*q + 6840. Is q a multiple of 14?
False
Suppose -54*q = 21387 + 6849 - 146982. Is q a multiple of 7?
False
Is 1*29206 - (94/18 - (-298)/(-1341)) a multiple of 64?
False
Let p(b) = b - 1. Let f(j) = 16*j - 17. Let g(x) = -f(x) + 3*p(x). Let d be g(-4). Suppose -2*n + d = 3*a, -5*n + 140 - 52 = 4*a. Is a even?
True
Suppose 0 = -n - b + 16635, -5*n + 30423 + 52773 = -2*b. Is 27 a factor of n?
False
Does 11 divide (3 + 25)/(-4) + (-31)/((-93)/43362)?
False
Let p be (-96)/(-72)*(-9759)/(-2). Suppose p + 919 = 5*l. Is l a multiple of 27?
True
Suppose 0 = -3*b - 3*u + 141, -u + 3*u = 4*b - 158. Let p = 38 - b. Is 35 a factor of 1371/39 + p/26?
True
Let i(w) = 2*w**3 - 19*w**2 - 22*w + 660. Is i(15) a multiple of 11?
True
Does 36 divide (-7)/3*372/8*(-1236)/7?
False
Let f = 6897 + -432. Is 15 a factor of f?
True
Suppose -4*d + 4*z + 11636 = 6*z, 3*z = -4*d + 11636. Is 4/3 + d/3 a multiple of 15?
False
Suppose -2*a - 1 + 30 = 3*x, -2*a = -5*x + 43. Let c(m) = -x*m + 5*m - 2*m**2 + 6*m**2. Does 6 divide c(3)?
True
Let u be (1 + -6 - 17)*-28. Let c = 680 - u. Is 31 a factor of c?
False
Let g = 3316 + -1919. Let k = g - 844. Is k a multiple of 13?
False
Let c(j) = 298*j**2 - 993*j + 3. Is 55 a factor of c(6)?
False
Let m(u) = 16*u**2 + 3*u + 23. Is m(-3) a multiple of 3?
False
Suppose -60*a - 47*a + 1292850 = -56*a. Is a a multiple of 15?
True
Let r = 11178 + -6304. Is r a multiple of 33?
False
Suppose 3*s - g - 323 = 0, 2*g - 218 = 4*s - 6*s. Let o = 112 - s. Suppose o*b = -k - 