5)/(-2))/((-575)/(-86940)). Let c = g - m. Is 9 a factor of c?
True
Let y(i) = 9*i + 101. Let j be y(21). Is 24 a factor of (-4 - -6)*-1 - j/(-1)?
True
Let s(j) = -j**2 - 26*j + 7. Let l be s(-27). Is 43 a factor of ((160/(-6))/l)/((-2)/(-447))?
False
Suppose -7*h + 222 = -121. Suppose 2*k + 2*k - s - h = 0, 28 = 2*k - 4*s. Is 147/12 + (-15)/k a multiple of 7?
False
Let l be ((-8)/(-10))/(44/110). Suppose 3*u = l*j + 117, 4*j - 5*u - 53 = -292. Let s = j + 129. Does 21 divide s?
True
Let z be 684/(-3) - -2*(-2)/(-1). Let b = 616 + z. Is b a multiple of 12?
False
Let b = 366 + 1951. Suppose 202*d = 195*d + b. Does 3 divide d?
False
Let d = 355 + -150. Let v = d - -210. Is 21 a factor of v?
False
Let n be (-3 - (-11)/3) + 229/3. Is 0/((-2 + 1)*1) + n a multiple of 2?
False
Let z(v) = -v**3 - 10*v**2 - 4*v + 12. Suppose -t + 80 = 3*j, -8*j - 3*t = -3*j - 140. Let q(x) = -2*x + 40. Let c be q(j). Is z(c) a multiple of 8?
False
Suppose -y + 1180 = 5*u, -2*y = -u - 1974 - 375. Is 25 a factor of y?
True
Let p(a) = -3 + 18*a + a**3 - 11*a + 5*a**2 - 8*a. Let f be p(-5). Is 6 a factor of f + 49*1 - (13 - 15)?
False
Let z = 10902 - 4635. Does 18 divide z?
False
Suppose 0 = -2*d + 63*r - 59*r - 8, -5*d - 5*r - 20 = 0. Suppose 4*b - 156 = 100. Let k = d + b. Is k a multiple of 20?
True
Suppose 5*m + 11*h = 14*h + 23, -3*m = -3*h - 9. Is 34 a factor of 111*18/27 - m?
False
Let q(j) = 391*j**2 - 28*j + 187. Is q(7) a multiple of 50?
True
Suppose -5*m - 3304 = -l + 1690, -l = 2*m - 4952. Does 17 divide l?
True
Does 5 divide (162/(-1))/(-2)*((33 - 51) + 81)?
False
Suppose -42*m + 364599 + 10209 = 0. Does 23 divide m?
True
Let q be (-6)/15 - (-10409)/35. Is 10/(10/q) - (2 - -1) a multiple of 27?
False
Let z be (6*(-5)/(-5))/((-6)/(-4)). Suppose 0 = -z*d - 2*y + 926, 3*d - 21 - 671 = y. Is 11 a factor of d?
True
Suppose -20 = -3*a - 2*a. Let j(q) = 2*q**3 - a*q**2 - 7*q - 10 + 3 + 3. Does 9 divide j(4)?
False
Let w(j) = j**2 + 29*j + 184. Let g be w(-20). Suppose -g*t - 4*q - 116 + 400 = 0, -2*t = q - 147. Does 38 divide t?
True
Let h be (-6)/(51/(-6) - -7). Is 15 a factor of 4*h*14/((-56)/(-60))?
True
Suppose -12*m + 15*m - 12739 = -g, 3*g = -2*m + 8488. Is 27 a factor of m?
False
Suppose 16956 = 41*c - 5*c. Does 2 divide c?
False
Let l = -2323 - -3072. Does 10 divide l?
False
Suppose -5*l = 2*u - 37, -4*l - 9 = -l. Suppose 5*a - 66 = -u. Suppose 5*q = a*q - 192. Is 8 a factor of q?
True
Let a be 5 + 2 - 2 - 85*-1. Suppose a = -5*i + 365. Is 11 a factor of i?
True
Let y(t) = 4*t - 7. Let f be y(-3). Let v = f - -32. Suppose 5*m + v = 88. Does 15 divide m?
True
Let r be (-3)/(((-234)/528)/13). Suppose -1647 = r*t - 97*t. Is t a multiple of 6?
False
Let l be 40/(-50) + (-33)/15. Let i(d) = -88*d - 99. Is 11 a factor of i(l)?
True
Let g(v) = 9*v**2 + 9*v + 66. Let i be ((-550)/110)/(1/1). Is 6 a factor of g(i)?
True
Suppose -p + 62 + 730 = 0. Suppose -15*q = -9*q - p. Let v = q - 82. Does 5 divide v?
True
Suppose 2*d + 128 = 44. Let s = -41 - -113. Let q = d + s. Is q a multiple of 11?
False
Suppose 3*b + 4*g = -0*g + 27, 8 = 4*b - 4*g. Suppose 0*z = -3*n - b*z + 192, 5*z + 15 = 0. Suppose 5*p + n - 17 = 3*h, -3*p + 60 = 2*h. Is 20 a factor of h?
False
Let b = -4215 + 6462. Is 7 a factor of b?
True
Let y(a) = -2*a + 9. Let b(u) = -4*u - 17. Let m be b(-5). Let q be y(m). Suppose 3*n = -d + 66, -186 = -q*d + 3*n - 0*n. Does 9 divide d?
True
Let m(f) = 445*f**3 + 2*f**2 + 4*f - 7. Let w be m(1). Let r = -228 + w. Is r a multiple of 18?
True
Let w(u) = 359*u**2 + 19*u - 2. Let t be w(2). Let k = t + -995. Does 71 divide k?
False
Let v(y) = y**3 + y**2 - y + 2. Let c be v(2). Suppose 0 = c*o - 16*o + 380. Does 25 divide o?
False
Let g(t) = 7*t**2 - 11*t + 18. Let a(o) = -13*o**2 + 22*o - 35. Let s(m) = 2*a(m) + 5*g(m). Is 14 a factor of s(4)?
False
Let i(o) = -2*o**2 + o + 5. Let m = -89 + 87. Let g be i(m). Does 38 divide g + (-4 - -5) - -43?
False
Suppose 8*z - 34401 = -6409. Let o = -2093 + z. Is o a multiple of 74?
True
Let n(v) be the second derivative of -32*v + 0 + 13/6*v**3 - 7*v**2. Is n(5) a multiple of 14?
False
Let a(g) = g**2 + 3*g - 5. Let p be a(-5). Suppose p*t = 4*k + 3, 0 = k - 4 + 1. Suppose 5*q = 10, 0 = 5*l - t*q - q - 432. Is 31 a factor of l?
False
Is ((-6)/(144/(-6702)))/(13/260) a multiple of 29?
False
Suppose 2*c - c = 2. Suppose -c*v - 5*q + 10*q - 10 = 0, -1 = -v + q. Suppose v*t - 268 - 267 = 0. Is t a multiple of 11?
False
Suppose -2*m = -3*g - 4744 - 4141, 0 = -4*m + 3*g + 17761. Is m a multiple of 119?
False
Suppose -5*o + 9 = -m, -o - 3*o - 2*m - 4 = 0. Is 12 a factor of 9*(3 + o/6*382)?
True
Let s = 127 + -128. Let q = s - 3. Is (-769)/(-4) + 1/q a multiple of 64?
True
Suppose -s = -2*b + 973, -4*b - 4*s + 1126 + 802 = 0. Is b a multiple of 16?
False
Let m(f) = 126*f**2 - 43*f + 7. Is m(5) a multiple of 33?
False
Suppose 4*h - h = 57. Suppose -20*o = -h*o + 3. Is (-675)/(-9) - (o + 1) a multiple of 14?
False
Suppose 2*i - 5*y + 1 = 0, -2*i + 2*y + 6 = 4*y. Suppose -i*v = -v - 3, 2*j = -3*v + 9. Suppose 7*z - 168 - 56 = j. Does 16 divide z?
True
Suppose -4*b = -3*o - 146, -o = 4*o + 10. Let x = b + -32. Suppose x*a - a = 252. Is 42 a factor of a?
True
Let p(b) = 5*b**3 - 2*b**2 + 5*b - 20. Let m(s) = 28*s**3 - 13*s**2 + 29*s - 121. Let o(k) = 6*m(k) - 34*p(k). Does 33 divide o(-8)?
False
Suppose -36*y = -4*q - 32*y - 1044, 0 = -4*q + 5*y - 1048. Let h = 437 + q. Is h a multiple of 6?
True
Suppose -4221 - 13749 = -6*x. Does 72 divide x?
False
Let w = -1 - -2. Let q be 60/(-420) + 2 + 16/14. Does 27 divide 16071/99 - ((-2)/q + w)?
True
Let d(c) = 81*c**2 - 3*c - 4. Let v(m) = 4*m - 29. Let w be v(7). Is 40 a factor of d(w)?
True
Let k be ((-3)/(-2))/((-5)/(-50)*-5). Does 7 divide (k/(-2) + 1)*-2 - -271?
True
Suppose 0 = g + 8*g + 14808 - 71526. Does 25 divide g?
False
Suppose 5*r - 885 = o - 6*o, 0 = -3*o + 6. Let m be 1/(-1 - (-170)/r). Let h = m + 61. Does 5 divide h?
False
Let q(d) = -2*d**3 - 27*d**2 - 15*d + 120. Does 47 divide q(-19)?
False
Suppose 5*l = -5*g - 310, 2*l + 2*g - 77 = 3*l. Let q = l - -67. Is (-1 + -21)*(-6 - q) a multiple of 33?
True
Let n = 4241 + 3487. Is 20 a factor of n?
False
Let t = 48421 + -34378. Does 31 divide t?
True
Suppose 2*w - 3840 = -3*w. Let v = w - 678. Is 45 a factor of v?
True
Let q be 12/(-16) - 21/(-12) - -2. Suppose l - o - 4 = 0, -4*l - q*o = 2 - 4. Does 5 divide 3/l*(-20)/45*-84?
False
Let v(m) = -13*m - 70. Suppose 0 = -2*q - 6 - 14. Is 20 a factor of v(q)?
True
Does 5 divide 106/53 + 23372/(-6)*(-6)/4?
True
Does 157 divide 3972871/105 - 76/(-570)?
True
Let g be (2*-1)/((-1 - 1)/4). Suppose -2*x = -g*a + 738, -9*x + 2 = -11*x. Is a a multiple of 21?
False
Suppose -5*d + 3*y + 12073 = 3535, 0 = -d - 10*y + 1644. Does 3 divide d?
True
Let v = 63 + 345. Suppose -57*p = -59*p + v. Suppose -589 = -7*b - p. Is b a multiple of 11?
True
Suppose -223792 = -11*h + 13005. Does 11 divide h?
True
Suppose -6*g = -3*g + 3. Let h be -3 - (-3 - g) - -1. Suppose h = 19*z - 58 - 56. Is 3 a factor of z?
True
Suppose 1461*k - 1442*k = 103740. Is 7 a factor of k?
True
Let m be 313 + 4*25/20. Suppose 2*o - m = 3*t, 2*t - 5*t + 342 = 2*o. Is (-2)/((-3)/o*(-5)/(-5)) a multiple of 22?
True
Let v be 52/10 - (-40)/50. Suppose v*b - 24 = 4*b. Is 28/(-3)*b*18/(-84) a multiple of 3?
True
Suppose 10*r - 71363 = 46420 + 53817. Is 126 a factor of r?
False
Let f = 12117 - 1054. Is 51 a factor of f?
False
Let j = -23 - -258. Let d = j - 74. Suppose 2*f = -4*u + 578, -u - 4*f = -9*f - d. Is 11 a factor of u?
False
Let t(v) = -3*v**2 + 351*v - 151. Is 6 a factor of t(34)?
False
Suppose 4*g - 136 = 4*b, 142 = 3*g + 4*b + b. Let p = -37 + g. Does 5 divide 115/9 + p/9?
False
Let t(h) = h**3 + 118*h**2 - 410*h - 3. Is t(-121) a multiple of 4?
True
Is 112/14 + 27736/(-16)*-14 a multiple of 107?
False
Let t = 9 + -17. Let f(q) be the second derivative of -13*q**3/6 + 3*q**2 + 955*q. Does 22 divide f(t)?
True
Let i(z) = 4*z**2 + 28*z - 23. Let u be i(-7). Is (u/(-2) - -1)/((-208)/(-1664)) a multiple of 10?
True
Let b(u) = -455*u**3 - 8*u**2 + 98*u + 508. Does 190 divide b(-5)?
False
Let v(q) = q**3 + 8*q**2 + 15*q + 59. Let d be v(-7). Suppose d*n - 56 = 52. Is n a multiple of 22?
False
Let t be ((-52)/6)/(26/(-273)). Is 39 a fac