rue
Suppose 4*m = 4 + 20. Suppose 33 = 3*j + m. Suppose -23 = -4*s + j. Is s a multiple of 4?
True
Let r be 18/63 - (-200)/35. Is 6 a factor of 6/(-8)*(11*-50 - r)?
False
Suppose -9*o + 72 = -18*o. Does 6 divide (-2 - -49)*o/(-8)*6?
True
Suppose -5 = -3*k - u, 2*u - 10 = -3*k - 0. Let v be 0 + 4/(k + -4). Is (8 - v)/((-12)/(-8)) a multiple of 5?
False
Suppose -3*j + 0 = 36. Let m be -8*4/(j + 4). Suppose 5*c + 0*c = -5*k + 480, -390 = -m*k - 2*c. Does 11 divide k?
True
Let y be 4 - ((-8)/(-2) - 1099). Let z = y + -764. Suppose 5*i + 3*k = -2*k + z, -4*i + 273 = 3*k. Is 18 a factor of i?
True
Suppose -7*d - 5*x - 1404 = -10*d, 5*d = 5*x + 2350. Let s = d + -327. Is 5 a factor of s?
False
Let o = -365 + 385. Suppose 385 = 5*k - 5*r - o, -k - r + 87 = 0. Is 21 a factor of k?
True
Suppose 90 = -9*s - 0*s. Let p = s - -11. Does 21 divide p/(-2)*12*-14?
True
Suppose 0 = 23*s - 57*s + 20842. Is s a multiple of 18?
False
Suppose -39*i = -30*i - 36. Suppose -i*t = 3*y - 437, 2*t - 22*y - 224 = -18*y. Is t a multiple of 10?
True
Suppose -3563*j + 3492*j = -2269231. Does 111 divide j?
False
Suppose 4*t + 59 - 39 = 0, -6*q + 2*t + 131194 = 0. Is q a multiple of 40?
False
Let t(r) = -7*r**2 + 2*r + 2. Let y be t(2). Let m = y - -26. Suppose -2*n - m*a + 10 = 0, 4*n - 17 - 8 = -3*a. Is 6 a factor of n?
False
Suppose -j = 4*a - 0*a - 32, 40 = 5*a - 3*j. Suppose -l + 1 = a. Let u(c) = -5*c + 10. Is 9 a factor of u(l)?
True
Suppose 3*q - 2*j + j + 8 = 0, -16 = -q + 5*j. Let i = q - -258. Is i a multiple of 13?
False
Let x(z) = -18*z**3 + 3*z**2 + 2*z. Suppose -21 = 28*w + 35. Is 8 a factor of x(w)?
True
Let x = -21 + 21. Suppose -18*s + 15*s + 15 = x. Suppose 0*u - s*u + 335 = 0. Is u a multiple of 13?
False
Let s(k) = k**2 - 9*k + 17. Let u be s(7). Suppose u*g = -436 - 62. Let d = g + 286. Is d a multiple of 15?
True
Suppose 17*a - 21 = 183. Is 12 a factor of -3095*a/(-420) - (-8)/14?
False
Let i = 705 + -446. Is 3 a factor of 372/(-14)*i/(-74)?
True
Let p(s) = s**2 - 12*s + 13. Let f(q) = 3*q**2 - 1. Let k be f(-2). Let a be p(k). Suppose 0 = 3*b + a*r - 20, -b - 4*r - 40 = -5*b. Does 8 divide b?
True
Let s(w) = -25*w + 900. Is s(-32) a multiple of 50?
True
Does 21 divide 6 + -9 - 22503/(-26)*(-10)/(-1)?
True
Suppose -6599 = -7*g + 2095. Let y = g + -839. Is y a multiple of 46?
False
Let g(j) = j**3 - 8*j**2 + 23*j - 69. Let i be g(6). Is (1/i)/((-10)/4710) a multiple of 16?
False
Does 31 divide (-489049)/(-66) + (-5)/6?
True
Suppose 4*z = 2*o - 2762, -2*o + 16*z + 2754 = 14*z. Is 4/8 - o/(-2) a multiple of 36?
False
Let q = 11845 + -2665. Is q a multiple of 7?
False
Let c = -43 + 46. Let p(y) = 0 - 11*y + c*y**2 + 31*y - 5. Does 23 divide p(-11)?
True
Let h(l) = l**2 + 2*l - 22. Let y be h(5). Is y/((-13)/(-226)) - -5 a multiple of 12?
False
Suppose 2*d + 2*d - 99 = -s, -3*d = 3*s - 270. Suppose -177 = -3*x + s. Suppose 2*w + x = 3*w. Is 22 a factor of w?
True
Let j = 1498 - 2811. Let f = -914 - j. Does 19 divide f?
True
Let h = -148 + 152. Suppose h*a = 267 + 237. Is a a multiple of 21?
True
Suppose -2*a + 2 = -t, -2*t - 5 = a - 21. Suppose 0*d - 4*d = 0. Suppose -t*o + 720 = -d*o. Is o a multiple of 13?
False
Let b(h) = -3*h**2 - 11*h - 11. Let g(u) = -3*u**2 - 11*u - 11. Let k(p) = 5*b(p) - 6*g(p). Let f be k(-7). Does 16 divide (-54)/f*(-1 - 23)?
True
Let f be (4/5)/(5/50). Suppose -x + 94 = -3*m, -f*x + 4*x - m + 441 = 0. Is x a multiple of 5?
False
Let o = -3167 + 3377. Let w = 73 - 52. Suppose 16*u + o = w*u. Is u a multiple of 21?
True
Suppose 2*u - 5*h + 10*h - 22 = 0, -6 = -2*u + 3*h. Suppose -u*f + 27 = 9. Suppose 0 = -w - 2*p + 31, -3*p = -f*w - 7*p + 93. Does 5 divide w?
False
Let f(o) = o + 4*o + 8*o + 168. Does 68 divide f(8)?
True
Suppose 5*i - 45 = 2*p, 0*i + 2*p = i - 9. Suppose -i*f = 5*f - 8064. Does 4 divide f?
True
Let i(k) = -3*k - 38. Let t be i(-18). Let b(l) = -l**2 + 8*l - 9. Let r be b(t). Let u = 234 + r. Is u a multiple of 10?
False
Let u = -47341 - -103008. Does 40 divide u?
False
Suppose 0 = -5*b + 10, 21*h - 16*h = 3*b + 11894. Does 10 divide h?
True
Let t(d) = -39*d**2 + d - 5. Let a(h) = -h**2 + 2*h - 1. Let o(b) = 5*a(b) - t(b). Is o(2) a multiple of 7?
True
Suppose -6*k = 4*k - 322 - 11548. Does 53 divide k?
False
Let s(g) = 3*g**2 + 28*g - 16. Let v be s(-10). Suppose -v*i - 36 = -396. Is 5 a factor of i?
True
Let h = -1674 - -993. Let y = -537 - h. Is y a multiple of 5?
False
Is 49/(3 - -4) - -27 a multiple of 17?
True
Let y be (-12)/(-1) + (0 - -1). Let r = 2624 + -2607. Suppose -y*t + r*t - 24 = 0. Is t even?
True
Suppose 19*t - 74 = 135. Suppose t*o + 2426 = 6386. Is o a multiple of 15?
True
Let s = -636 - -581. Let o = s - -666. Is 18 a factor of o?
False
Let v(g) be the second derivative of -g**5/20 - g**4/4 + 7*g**3/6 - 6*g**2 - 9*g. Suppose 0 = u + 3, 3*b = 3*u - 13 + 1. Does 37 divide v(b)?
False
Let q(v) = 3*v**2 + 11*v + 22. Suppose 63 = 7*l - 0*l. Is q(l) a multiple of 14?
True
Suppose 4*j + 2*v = 134, 68 = 4*j + 5*v - 69. Suppose 58 = 5*i + j. Suppose 1426 = i*m + 436. Is m a multiple of 11?
True
Let x(w) = -w**2 - 5*w + 2. Let a be x(-3). Suppose -a*n + 514 - 162 = 0. Is n a multiple of 13?
False
Suppose -25*a - 335738 = a. Does 4 divide a/(-74) - 3/(-2)?
True
Suppose -4 = -b, b = q - 2 + 10. Let h be (-8)/q + -3 + 3. Is 174/h*(5/(-15))/(-1) a multiple of 9?
False
Let o be (-60)/9 + (-32)/96. Let t(a) = a**3 + 13*a**2 - 4*a - 3. Does 18 divide t(o)?
False
Let k = -82 + 74. Let i(j) = j**3 + 6*j**2 - 19*j - 14. Let x be i(k). Is 5/((-275)/x) - (-1940)/22 a multiple of 22?
True
Suppose 0 = 13*i - i - 24. Suppose -5*j = -5*m - 1625, 3*j + 7*m - 935 = i*m. Does 67 divide j?
False
Let q(z) = 2*z**2 + 9*z - 5. Suppose 4*m - 20 = 8*m. Let n be q(m). Suppose n = -0*g + 6*g - 342. Is g a multiple of 14?
False
Let h = -15094 - -17486. Is h a multiple of 4?
True
Let o(t) be the third derivative of t**6/360 - t**5/60 - 3*t**4/4 + 7*t**3/6 - 27*t**2. Let f(k) be the first derivative of o(k). Is f(-8) a multiple of 15?
False
Does 9 divide (-2 - -1 - 474)*(-4860)/450?
True
Let r = -33763 + 59939. Is 32 a factor of r?
True
Suppose 0 = 3*r + 2*j + 186, 309 = -5*r - 3*j - 0*j. Suppose 8*n - 237 + 677 = 0. Is -17*(-11)/(n/r) a multiple of 17?
True
Does 17 divide 1*-98*(3/(-5) - 1422/180)?
True
Let i(p) be the third derivative of p**5/60 - 7*p**4/24 - 7*p**3/6 - p**2. Let b = 10274 - 10263. Is i(b) a multiple of 4?
False
Suppose 4*u - 4188 = 4*k, -4*u - 3*k - k = -4164. Does 12 divide u?
True
Let k(p) = p**3 - 34*p**2 + 86*p + 74. Is k(33) a multiple of 18?
False
Let f = -31 - -36. Suppose -f*l - 30 = -8*l. Is (l*(-3)/12)/(2/(-36)) a multiple of 15?
True
Let f(u) = 234*u**2 - 283*u + 1690. Does 32 divide f(6)?
True
Let g(u) = u**3 + 25*u**2 + 65*u - 104*u + 3 + 53*u - 15. Does 33 divide g(-24)?
False
Let h(q) = q**2 - 19*q + 2. Let f(u) = -u. Let s(t) = -22*f(t) + 2*h(t). Let g be s(7). Is 8 a factor of 78/5 + (-4)/g?
True
Suppose 5709*g + 72912 = 5716*g. Does 48 divide g?
True
Suppose -d + l - 6*l - 62 = 0, -2*d - 88 = -2*l. Let n(g) = -13*g**2 - 4. Let p be n(-2). Let h = d - p. Does 5 divide h?
False
Suppose 26*n = -5*i + 23*n + 5784, -2*i + 2308 = 4*n. Is i a multiple of 3?
True
Let v(b) = -60*b + 59. Let r be v(-4). Suppose -1595 = -5*x + 5*l, 4*x + 5*l = r + 986. Does 20 divide x?
True
Does 7 divide (4 - (-121)/(-22))/(15/(-101630))?
False
Let c = 209 + -181. Let l be -44*(-2 - 0)/(-4). Let u = l + c. Is u a multiple of 2?
True
Let f(a) = -50*a + 4. Let n = -467 + 457. Is f(n) a multiple of 42?
True
Suppose -2*r + 484 = 5*t, -25*t + 26*t = -4*r + 122. Is 22 a factor of t?
False
Suppose 4*m + 2*r = -1486, -m - 270 - 100 = r. Suppose 4328 = b + 7*b. Let p = m + b. Is p a multiple of 24?
True
Does 15 divide (-130)/(-1105) + (-136678)/(-17)?
True
Suppose 116578 + 62910 = -135*d + 151*d. Does 5 divide d?
False
Suppose -2*i - 2*i = 2*u + 104, 2*i = -2. Suppose -17*j - 42 = 43. Does 19 divide (-2)/j - 5980/u?
False
Suppose -3*p + 398 = c, -5*p + 0*c - c = -660. Let h = p - 73. Suppose 6*l + h = 190. Is 11 a factor of l?
True
Suppose -5*z = 83*l - 86*l + 1780, -1188 = -2*l + 3*z. Does 21 divide l?
False
Suppose c + 15 = 4*v, v - 5*v + 4 = 0. Let g(m) = 3*m**2 + 17*m - 4. Does 61 divide g(c)?
False
Let z = -1324 - -683. Le