factor of m?
False
Let x = 66199 + -43871. Is x a multiple of 60?
False
Suppose 45*h - 190 = 7*h. Suppose -3*l + 7*l + 2*d = 1608, 1996 = h*l - d. Is l a multiple of 16?
True
Let g be 1 - 6 - (4 - 9). Suppose -8*u - 12*u + 14400 = g. Does 36 divide u?
True
Let l be (-1 + 4/8)*(-7 - -5). Let b be (3/(3*-2))/(l/8). Does 17 divide (-34)/b*(6 + -4)?
True
Suppose 55*i + 48897 = 58*i. Does 256 divide i?
False
Let m(g) = 861*g**2 + 60*g - 156. Is 8 a factor of m(3)?
False
Let d = 5994 + -2794. Does 20 divide d?
True
Let n be 16 + (-25)/(-10)*-2. Suppose n*y - 12*y = 0. Is 9 a factor of 414/24 + (-6)/(-8) - y?
True
Let x = 10181 + -2017. Is x a multiple of 234?
False
Let x be (-2 + 6 + -5)/(1/(-69)). Suppose 0 = l - x + 59. Suppose l = -m + 124. Is m a multiple of 38?
True
Let c be 30/12*4/(-5). Let m be (7 - -191)*(c - 28/(-6)). Suppose -2*r + 5*t = -352, 3*r - 2*t + t = m. Does 11 divide r?
True
Let l(a) = -2*a**3 - 2*a**3 - 4*a + 10 - 8*a**2 + 2*a**3 + 3*a**3. Let k be l(8). Let w = 59 - k. Is w a multiple of 45?
False
Let t = -19 + 35. Suppose 13*j + 43500 = t*j. Does 22 divide 3/((-33)/(-2)) + j/110?
True
Suppose -w - 2*y = -60916, -4*y + 147461 = 5*w - 157071. Is 150 a factor of w?
True
Let y(t) = 6*t**2 - 19*t + 12. Suppose 4*k = -0*k - q + 23, 2*k - 10 = -2*q. Does 38 divide y(k)?
True
Let d = -30 - -33. Suppose -d*o + 693 = 5*p - p, 5*o - 1169 = -2*p. Suppose -3*g + 5*f = -2*g - 39, 5*g - o = 5*f. Is 7 a factor of g?
True
Let t(w) = -w**2 - 2*w + 120. Let y be t(-12). Suppose -3*c + 1155 = -2*i, y*i = 2*c + i - 763. Is c a multiple of 34?
False
Let z(d) = d**3 + 2*d**2 - 2*d + 64. Let t(p) = -p**3 - 9*p**2 + 10*p. Let g be t(-10). Does 64 divide z(g)?
True
Suppose r + 35 - 459 = 0. Suppose -r = -3*p + 275. Is 19 a factor of p?
False
Let j(v) = 3*v**3 - 157*v**2 + 121*v + 92. Does 53 divide j(52)?
False
Let i be (-2316)/42 + 2/14. Is 22 a factor of ((-5808)/i)/(54/(-20) + 3)?
True
Suppose -65 = 2*z - 57. Does 10 divide z/((-4)/(-14) + 1780/(-5740))?
False
Let s be (28 - 340)*(-1)/(-2). Let b(c) = c**3 - 9*c**2 + 2*c + 3. Let v be b(7). Let t = v - s. Does 15 divide t?
True
Suppose -10*n = -42*n + 69600. Does 71 divide n?
False
Let m(j) = -816*j + 1504. Is 24 a factor of m(-17)?
False
Suppose 0 = 10*a - 17 - 33. Suppose 5*d - 605 = -0*n + n, d = a*n + 97. Is d a multiple of 32?
False
Let c(j) = -77*j**2 + 13*j - 1. Let l be c(5). Let z = 2694 + l. Is z a multiple of 17?
True
Let w = -7242 - -10467. Suppose w = 4*l + 893. Is 31 a factor of l?
False
Suppose 5*l = -248 + 1108. Let n = 254 - l. Is n a multiple of 10?
False
Suppose 210 = 2*m + 62. Suppose 4*a = 6*a - m. Suppose -4*c = -293 + a. Does 10 divide c?
False
Suppose 15*k - 8*k = -13*k + 133000. Is 25 a factor of k?
True
Let s be ((-429)/13)/(2/(-18)). Let o be 2/7 + s/63. Suppose 3*k = w + 4*w + 98, 2*w - 122 = -o*k. Is k a multiple of 11?
False
Let x(g) = 46*g + 26. Let y be x(-5). Let a = y + 213. Does 5 divide a?
False
Suppose -4*g + 4*i + 24 = 0, -28 = -5*g + 3*i + 4. Suppose 6*d = g*d - 21. Suppose -3*k + 61 = -2*a, -k - 3*a = -d - 14. Is k a multiple of 3?
False
Let b = 131 - 137. Does 13 divide 60 - -10 - (2 - b)?
False
Suppose 10 = 10*m - 9*m. Let i be 93*(-8)/(-60)*m. Let p = 238 - i. Is p a multiple of 19?
True
Let t(r) = -83*r + 166*r - 3 - 87*r + 2*r**2. Is t(7) a multiple of 2?
False
Let k(j) be the second derivative of j**4/12 + j**3/2 - 10*j**2 + 613*j. Let p = 8 + -15. Is 4 a factor of k(p)?
True
Let b be 4/5 - -14*(-62)/10. Let v = -75 - b. Suppose 4*w - 42 = -s, v = 4*s - 3*w - 62. Is s a multiple of 19?
False
Let r(m) be the first derivative of m**5/15 - 2*m**3/3 - 23*m**2/2 - 22. Let u(p) be the second derivative of r(p). Is 9 a factor of u(-5)?
False
Let b(r) = -20*r + 411 - 516 - 198. Is 57 a factor of b(-18)?
True
Let m = -852 - -854. Let x(v) be the second derivative of v**5/2 - v**4/12 - 2*v**3/3 + 2*v**2 + 2*v. Is x(m) a multiple of 12?
True
Let w be 56*(9904/28 + 2). Is (w/27)/10 - 4/(-18) a multiple of 13?
False
Suppose c = 5*u - 1566, 68*c - 65*c = 2*u - 642. Is u a multiple of 38?
False
Does 22 divide 7914/(39/(-13))*-1?
False
Let p(s) be the third derivative of -12*s**2 + 1/24*s**4 + 0*s**3 + 0 + 0*s. Does 3 divide p(12)?
True
Let q = -12494 + 17354. Is 45 a factor of q?
True
Let n = -2066 + 2167. Is 3 a factor of n?
False
Let r(x) = x**2 - 20*x + 26*x - 10 - 15*x. Let d be r(9). Is 213*-2*d/15 a multiple of 19?
False
Let q(m) = -1472*m - 14305. Is 11 a factor of q(-26)?
False
Let q(d) = 3*d**2 - 4*d + 4. Let s be q(-4). Let z = s - 68. Suppose -5*g = 10 - z, 5*g - 266 = -4*i. Is 7 a factor of i?
False
Let n = -4 - 23. Let d(y) = 7*y + 17. Let f(g) = 48*g + 120. Let j(c) = n*d(c) + 4*f(c). Does 2 divide j(3)?
True
Suppose -4*f = 2*f - 2010. Let s = 10 + f. Let c = -246 + s. Does 11 divide c?
True
Let b = 38921 - 20849. Suppose 36*t = -0*t + b. Does 63 divide t?
False
Let r be -4 + 1 + 56/7. Suppose -2*g + 30 + 194 = l, r*g - 218 = -l. Is 22 a factor of l?
False
Suppose 26 = 5*y + 8*y. Let s(b) = 147*b**2 + 10*b - 6. Is s(y) a multiple of 10?
False
Let o(s) = s**2 - 47*s + 1. Let g = -52 + 45. Is 10 a factor of o(g)?
False
Let v = -38 + 36. Let r(l) = 71*l**2 - l + 1. Let t be r(v). Suppose 0 = -4*b + t + 165. Does 32 divide b?
False
Let x(h) = 248*h**2 + 2. Suppose 5*q - 15 = 0, 2*s - 5*q = -s - 12. Does 10 divide x(s)?
True
Let d(k) = -7*k + 22. Let f be d(3). Does 9 divide f/3 - 7/((-126)/480)?
True
Let o(y) = -y**2 + 16*y - 10. Let a be o(20). Let g be (-2 + a/(-25))/(4/(-170)). Does 11 divide g/(-6) + (-7)/21?
True
Let h(l) = 0 - 6 + 199*l**3 + 2*l**2 + 4 + 1. Is 40 a factor of h(1)?
True
Let k(j) = 7*j**2 + 524*j - 5. Does 39 divide k(-82)?
True
Let u be -14*19*6/(-12). Let n = u - -15. Does 27 divide 1*-2 + (n - (2 + -4))?
False
Let u = -43 + 267. Suppose 60*s = 58*s + u. Does 16 divide s?
True
Suppose 4737 + 15283 = 11*q. Is 28 a factor of q?
True
Is 4/1 - (-5 - (-13 - -11054)) a multiple of 170?
True
Suppose -3*q + 101 = 95. Is 22 a factor of 2 - 1*(q + -5) - -61?
True
Suppose 5*i + 19 = -3*t - 6, 3*i - 72 = 4*t. Let j = 113 + -3. Let u = j + t. Is 21 a factor of u?
False
Let h(w) = 2022*w - 780. Does 63 divide h(4)?
True
Suppose 57*s = 204*s - 243278 - 465850. Is 72 a factor of s?
True
Let l(j) = -j**2 - 116*j + 534. Does 6 divide l(-96)?
True
Suppose 748 - 12148 = 25*l. Is 10 a factor of l/(-3) + 2 + (0 - 3)?
False
Let j = 24516 + -16848. Suppose 57*q = 3*q + j. Is q a multiple of 17?
False
Let z(p) = -7*p + 7. Let n(a) = a + 3. Let d be n(2). Let o(y) = -y**3 + 6*y**2 - 8*y + 11. Let m be o(d). Does 7 divide z(m)?
True
Let o = -81460 - -129410. Is 137 a factor of o?
True
Let v(i) = 26193*i**2 - 200*i - 197. Is 17 a factor of v(-1)?
False
Suppose 3*g + 2*p - 7074 = 0, g - 5*p - 1195 = 1129. Is g a multiple of 11?
True
Suppose -1600 + 12721 = 11*g. Let k = -711 + g. Is k a multiple of 19?
False
Let x(h) = 11*h**2 - 3*h - 10. Let l(g) = -5*g**2 + g + 5. Let c(q) = -13*l(q) - 6*x(q). Let y(w) = -w**2. Let s(a) = c(a) - 5*y(a). Is 21 a factor of s(2)?
True
Let h = 449 - 444. Does 31 divide 4832/(-80)*h*-1?
False
Does 43 divide 15*(-27*(-29)/3 - -4)?
False
Let h = 9005 - 5188. Does 12 divide h?
False
Suppose -33*x - 530 + 12994 + 11857 = 0. Is 67 a factor of x?
True
Suppose -20*g + 1029550 = 14*g + 25*g. Is 72 a factor of g?
False
Let z(r) = -r**2 - 8*r - 10. Let s be z(-6). Suppose -21 = -s*v - w, -5*w = -2*w + 9. Does 16 divide ((-6)/v*3)/(3/(-32))?
True
Let i = -23303 - -94970. Suppose -i + 3085 = -53*g. Does 37 divide g?
False
Let f(j) = 10*j**2 + 18*j + 40. Let w be f(-2). Let x = 22 + w. Is 24 a factor of x?
False
Does 30 divide 32*47/4512 - -30059*2/6?
True
Is 240/192 + 331830/8 a multiple of 40?
True
Let x(o) = -o**2 - 8*o + 10. Let b be x(-9). Suppose b = -t + 7. Suppose -68 = t*u - 332. Is 30 a factor of u?
False
Let m(u) = 3*u**3 + 25*u**2 - 8*u - 26. Suppose 0 = -v - 5 + 1. Let c(i) = 8*i**3 + 74*i**2 - 23*i - 77. Let r(q) = v*c(q) + 11*m(q). Does 17 divide r(21)?
False
Let d(m) = 67*m + 29. Let i be 2 - (270/(-81) + 2/(-3)). Is d(i) a multiple of 9?
False
Suppose 11*p - v - 14 = 7*p, p + 5*v = -7. Suppose 0 = 5*r - 4*i - 2739, -p*i - 20 = -8*i. Is r a multiple of 60?
False
Let j(f) = 2248*f - 1388. Is 13 a factor of j(5)?
False
Suppose 