9792/40?
True
Let z be (1 + -5)/(12 + -13). Suppose -3*f + 2*t + 2420 = 0, z*f + 3*t + 2*t - 3219 = 0. Does 13 divide f?
True
Let j be (-2)/(-8) + 49/28. Suppose -12 = j*o + 4*o. Is (-7 - -57) + 0 + o a multiple of 24?
True
Let i(z) = z**2 + z**2 + z**2 + 4 - 5 - 5*z - 2*z**3. Let b be i(3). Let w = b - -181. Does 32 divide w?
False
Suppose 4*n + 202 = 5*m + 19, 4*n + 78 = 2*m. Suppose 0 = m*o - 40*o + 15. Suppose 2*r - b - 27 = 0, 0 = 5*r + 2*b + o*b - 30. Is r a multiple of 5?
False
Let n be ((1 - 8)/(-7))/(1/1). Let h(q) = 442*q - 8. Does 18 divide h(n)?
False
Suppose 7*g - 25623 = -4*i, -g - 8308 = -2*i + 4463. Is i a multiple of 55?
False
Let a = -86 - -48. Is 25/(a/(-70) - (-8)/(-20)) a multiple of 11?
False
Let w = -274 - -276. Suppose 580 = w*u - 260. Is u a multiple of 28?
True
Let i be (-42)/(-1) - 1 - (1 + 2). Let h = i - 6. Let q = h - 1. Is 5 a factor of q?
False
Let s = -3428 + 1920. Let k = s + 2204. Is k a multiple of 27?
False
Suppose 21*d - 81 = 24*d. Let z = -25 - d. Suppose z*b - 278 + 54 = 0. Is b a multiple of 28?
True
Let l(n) = n**3 - n**2 + 12*n + 5840. Is l(0) a multiple of 46?
False
Suppose -4 = -3*o - 13. Let f be (-2)/(1 + 0 + o). Let i(p) = 65*p**2 - p + 1. Is i(f) a multiple of 13?
True
Let y = 72 + -64. Suppose 3*v - y*v = 0, 2*c - 3*v = 612. Is c a multiple of 17?
True
Suppose 4*y + 17581 = -0*y + 3*c, 3*c - 8789 = 2*y. Let h be (-3 - -1) + 0 + y. Is (-10)/(-35) - h/42 a multiple of 39?
False
Let h = 22 + -19. Let r be 3/1 - (2 + (-831)/h). Suppose 5*k - 5*x - 52 = r, -4*k + 264 = 2*x. Is 6 a factor of k?
True
Suppose s + s - 5*z + 18 = 0, 5*s + 5*z - 25 = 0. Is 44 a factor of (3*44/9 + s)*30?
False
Let c be 126/3 - (-3)/(-6)*-4. Suppose -3*w = -2*f + w + c, 0 = 4*f - 3*w - 63. Suppose -f = -u + 4. Is u a multiple of 8?
True
Let w = -31825 - -50284. Does 63 divide w?
True
Suppose -8*z + 1588 - 129 = -2733. Is 10 a factor of z?
False
Does 13 divide (8 + -9)/((-1)/3464)?
False
Let w(l) = l + 4. Let g be w(-5). Is 9 a factor of (g - -5) + (4 - 4) - -630?
False
Suppose -63*j - 3419 = -13121. Does 119 divide j?
False
Let s(z) = -61*z + 291. Is 10 a factor of s(-19)?
True
Let f(c) = c**3 - 54*c**2 - 72*c + 114. Does 164 divide f(56)?
False
Let a = -39 + 41. Suppose -501 = -a*l - 0*y + y, -4*y = -4*l + 1012. Suppose l = 4*w - f, -4*w + 3*w = 4*f - 45. Is w a multiple of 18?
False
Suppose -63 = 4*c - 11. Let s(j) = j**3 + 12*j**2 - 12*j + 37. Is 2 a factor of s(c)?
True
Let a = 2859 + -4055. Is -1 + a/(-8) + (-7)/14 a multiple of 17?
False
Let h(g) = -g + 12. Let v = 6 - 3. Let p be (v - 9 - -6)/(1/(-1)). Does 2 divide h(p)?
True
Suppose 11*l - 16*l = 35. Let x be 8/(-52) - 680/(-26). Let f = l + x. Is f a multiple of 4?
False
Let b = -239 + 346. Let w = b - 53. Is w a multiple of 15?
False
Suppose 1052 = 463*l - 467*l. Let d = l + 403. Does 35 divide d?
True
Suppose 0 = -5*q + 49 - 44. Let w(t) = 93*t**2 - 21*t + 25. Let l(g) = -31*g**2 + 7*g - 8. Let b(i) = -7*l(i) - 2*w(i). Does 11 divide b(q)?
False
Let r(d) = -1613*d - 860. Is 55 a factor of r(-5)?
True
Suppose 4*t = 4*w + 8, -w - 2 = -5. Suppose -n + 296 - 16 = t*c, 20 = 4*n. Suppose -2*u + 63 = -c. Does 8 divide u?
False
Let h be 3/(-3 - 0)*-29. Suppose h*p + 1767 - 4899 = 0. Is 27 a factor of p?
True
Let c(q) = -2*q**2 + 37*q - 20. Let d be c(18). Let a be d/((-6)/267) - (2 + -4). Suppose -155 - a = -3*h. Is 12 a factor of h?
False
Let z = 461 + -656. Let r = z + 254. Is 7 a factor of r?
False
Suppose 2*s - 5*s + 1389 = b, 2*b = s - 456. Suppose 5*a - 4*c - 295 = s, 314 = 2*a + 4*c. Does 17 divide a?
True
Suppose -7*f = -3114 + 664. Suppose 0 = -8*o + 3*o + f. Let n = o + -46. Is 12 a factor of n?
True
Let t(c) = 886*c**2 + 19*c - 49. Is 51 a factor of t(3)?
False
Let y be (1 - -4) + -21 + 217. Suppose -k = -2*k + 391. Suppose d = 2*d - 3*p - y, 2*d + 5*p = k. Does 18 divide d?
True
Does 96 divide 15/((-1020)/119) + 41095/4?
True
Let n(d) = 340*d + 2613. Does 39 divide n(0)?
True
Suppose -152 = -4*u + 152. Suppose -d - 144 = -3*t + 136, t - u = -4*d. Is 16 a factor of t - (-1 - (0 + (-6)/(-2)))?
True
Does 30 divide (-31939200)/(-2100) + (1 - 2/14)?
True
Let y(q) = 5*q**3 + 69*q**2 + 75*q - 56. Let k(s) = 2*s**3 + 34*s**2 + 37*s - 28. Let a(u) = 7*k(u) - 3*y(u). Is a(31) a multiple of 27?
True
Let d = 453 + 198. Suppose d = -5*l + 4096. Does 53 divide l?
True
Let n(f) = 1559*f**2 + 379*f - 17. Is 76 a factor of n(5)?
False
Let h be ((-26)/(-78))/((-2)/(-528)). Let w = h - -11. Does 21 divide w/(-55)*55/(-3)?
False
Suppose 0 = 4*o + o. Suppose -72*b + 3*d = -67*b - 3354, 3*b - 3*d = 2016. Suppose 5*h - 126 = t + 993, o = 3*h - 3*t - b. Does 56 divide h?
True
Let b = 6541 + -3988. Is 6 a factor of b?
False
Suppose 18*q - 47*q + 16037 = 0. Is 7 a factor of q?
True
Suppose 3*c + 2*j - 1232 = 0, 3*j - 828 = -c - c. Let s be (-4 + 3)/((-2)/1068*-2). Let h = c + s. Does 14 divide h?
False
Let l(v) = 54*v**2 + 58*v + 345. Is 5 a factor of l(-10)?
True
Let x(s) = 38*s**2 + 55*s - 848. Does 26 divide x(18)?
True
Let u = -96 + 87. Let a be (3/u)/((-4)/48). Suppose 5*b = -2*h + a*h - 321, 5*h - 855 = -5*b. Is h a multiple of 28?
True
Let w be (-1)/(3 - (957/106)/3). Suppose 99*l = w*l - 490. Suppose -l = 23*b - 25*b. Is 12 a factor of b?
False
Let l be 1/(12 + -9)*153. Let b = -31 + 43. Let u = l + b. Is 7 a factor of u?
True
Let t(n) = 22*n - 6. Let w be t(6). Let c be (-1 - 2)*(-43 - -2). Suppose -q + 2*q = -4*x + c, w = 4*x + 2*q. Is x a multiple of 5?
True
Let s(a) = -190*a + 21. Let y be s(-6). Suppose 6*v - 4*v = q + 579, -y = -4*v + 3*q. Does 27 divide v?
False
Suppose -2*k + 7*k - 481 = -a, -4*k + 392 = -a. Suppose -9*c = -119 - k. Does 14 divide c?
False
Let w(m) = 19*m - 6. Let v = 69 + -69. Suppose -3*p - t + 20 = v, -2*p + 2*t - 3 + 11 = 0. Does 18 divide w(p)?
True
Let l = 385 + -212. Suppose 3*m = y + l, -m + y = -3*y - 76. Is m a multiple of 7?
True
Let o be 0 + 6/9 + 10/3. Suppose 0 = -o*d - i + 54, 2*i - 29 = -3*d + 7*i. Is d - 12*(2 - 28/16) a multiple of 10?
True
Let q(s) = -8*s + 107. Let v be q(13). Let z(n) = 121*n + 26. Is z(v) a multiple of 28?
False
Suppose -p = 10*p + 33. Let u = 151 - 418. Does 4 divide p/(4 - u/(-66))?
False
Suppose -3*p + 9*p - 204 = 0. Suppose -1 = -w - p. Let h = 78 + w. Is 19 a factor of h?
False
Let m(s) = 11 + 306*s - 33*s + 112*s. Does 33 divide m(1)?
True
Let g be 10788/10 + 1/5. Suppose -9*o + 28 + g = 0. Suppose -2*a - 3*k + o = 0, -11 = -a - 5*k + 61. Does 15 divide a?
False
Let r(h) = -65*h**2 - h + 8. Let m be r(3). Let d = -185 - m. Is 15 a factor of d?
False
Let i(w) = 2252*w**2 + 11*w + 13. Is 4 a factor of i(-1)?
False
Suppose -2*t + 18781 = -4*y + 97097, 0 = 2*t + 8. Suppose 52*i - y + 6265 = 0. Does 10 divide i?
False
Suppose -198*d + 6046 = -193*d - 4*w, d + 5*w - 1186 = 0. Is d a multiple of 115?
False
Let z(r) = r**2 + 14*r - 17. Let m be z(-16). Is 10 a factor of 252/8 - (1 - m/6)?
False
Suppose 5*z + 4*d = 48156, 0 = -14*d + 12*d + 8. Does 5 divide z?
False
Suppose -2*s = -4, 3*v - 5*s - 4693 = -s. Is v a multiple of 19?
False
Suppose -35*n - 724 = -37*n. Is 110 a factor of n?
False
Let l(f) = f**3 - 3*f - 2. Let o be l(2). Let d be o/(-14 + 18 - (4 + 1)). Suppose 5*u = 2*r + 1 - 120, -3*r + u + 211 = d. Is 3 a factor of r?
True
Let j be 0/(0/2 - (9 + -4)). Suppose j = 3*o + 4*z + 83 - 981, -5*o + 5*z = -1450. Does 20 divide o?
False
Let t(q) = q**2 - 21*q + 45. Let f be t(19). Suppose 3*z + 800 = f*z. Does 15 divide z?
False
Let l(g) = -50*g - 69. Let v(n) = -252*n - 346. Let t(m) = 11*l(m) - 2*v(m). Does 15 divide t(-3)?
False
Let m = -58 + 49. Let b = 12 + m. Suppose -s + b = -8. Is 11 a factor of s?
True
Is 18 a factor of -123*(-328)/8 - (0/(-4) - -3)?
True
Suppose 41*q - 28 = 37*q. Let z(f) = -5*f + f**3 + 13*f - 8*f**2 + 17 + 0*f**2. Is 10 a factor of z(q)?
False
Let t = 0 - -3. Let j be -5 + 0 + t + 191. Suppose -138 = -3*u + j. Does 18 divide u?
False
Suppose z + 480 = -5*z. Let d = 167 + z. Suppose -d = -3*v - 6*g + 3*g, 0 = 4*v - 3*g - 88. Is v even?
False
Let n(r) = 22*r - 3. Let o be n(2). Let l = -70 - -77. Suppose -6*m = -l - o. Is 6 a factor of m?
False
Let x = 5678 + -2742. Does 10 divide x?
False
Suppose 7*n - 2*o = 5*n + 88, -n = 5*o - 44. Suppose 1899 = -35*d + n*d. Does 11 divide d