rue
Suppose 10*w - 594 = -94. Does 3 divide (-8)/3*(-225)/w?
True
Suppose 6*z = 153 - 81. Is 2836/10*30/z a multiple of 28?
False
Suppose 4*m = 23 + 1. Suppose w - 3*u = -m, -u - 4*u = 3*w - 24. Is 12/6*(169/2 - w) a multiple of 16?
False
Is 103 a factor of (9/(-4))/(44505/(-4944) - -9)*7?
True
Suppose -2*t + 3*t = 2. Suppose t*c - a - 7 = 0, 3*c + 5*a = -2*c + 25. Suppose -c*r + 578 = -6. Is 25 a factor of r?
False
Let n(m) = m**3 + 15*m**2 + 49*m + 14. Let o be n(-10). Suppose 0 = o*w - 2941 - 4619. Is 22 a factor of w?
False
Let v = 1418 - 1008. Suppose y + 829 = 4*s, -s + 3*s - v = 2*y. Does 8 divide s?
True
Let p(l) = 9*l + 62. Let g be p(-5). Suppose -5*i + 133 = -4*m, 4*i = 5*i + 4*m - g. Does 6 divide 624/15 - (-10)/i?
True
Suppose -5*n + 15 = -10*n. Let h(p) = p**2 - 3*p - 6. Let k be h(n). Suppose -5*y + k = -583. Is 17 a factor of y?
True
Suppose 0 = 3*i - 4*y + 1, 2*y - 7 = -4*i - i. Let c be ((-30)/50)/((-8)/(-10) - i). Suppose 2*g + g - 120 = -c*u, -5*g = -20. Is 12 a factor of u?
True
Let k(s) = 4*s - 14. Let z(r) = r. Let j(n) = -k(n) + 5*z(n). Let v be j(-12). Is 11 a factor of ((-32)/(-6))/(v/12)?
False
Let w(k) = -99*k + 641. Is w(-66) a multiple of 5?
True
Suppose -266*r + 15 = -261*r. Suppose -o = -u + o + 271, 0 = r*u - o - 833. Is u a multiple of 73?
False
Let p(r) = 14*r**2 + 202*r - 3307. Does 13 divide p(16)?
False
Suppose -31824 = 229*u - 246*u. Is 104 a factor of u?
True
Suppose 2*y - 11 + 3 = 0. Suppose 4*b = y*b + 5*b. Suppose -5*z - g + 286 = b, -2*z - 3*g + 2*g + 115 = 0. Is z a multiple of 8?
False
Let n(i) = i**3 - 42*i**2 + 47*i - 2. Let b be n(41). Suppose -2044 = -8*l + b. Does 18 divide l?
False
Suppose -3*a + 4025 = p, -p = a - 3*a + 2680. Suppose -2*b + a = q, -15 + 683 = b - 2*q. Is b a multiple of 22?
False
Suppose 11*x - 88813 = 115094. Is x a multiple of 12?
False
Let u = 52 + -41. Let v be (6 + -3)/(3/u - 0). Is 3 a factor of (1/(-3))/(v/(-297))?
True
Suppose 0 = 20*a - 33065 - 36375. Is 56 a factor of a?
True
Suppose 60806 + 149114 = 41*j. Is j a multiple of 32?
True
Is (1 - 0)*-1 + (-254865)/(-65) a multiple of 103?
False
Let f be -6 + (-3)/(-1) + 15 + -2. Is (-60)/(4*(-5)/f) a multiple of 8?
False
Suppose 3*j - 1173 = 5*k + 205, 4*k + 1104 = 4*j. Let l = 403 + k. Is l a multiple of 19?
False
Suppose -4*r + 174 = 190, 0 = 2*f - r - 4330. Does 15 divide f?
False
Let g(m) = 215*m**2 - 193*m + 3. Is 9 a factor of g(2)?
True
Suppose 702616 = 88*z - 784496. Is 74 a factor of z?
False
Suppose -101*l + 35208 = -95*l. Does 7 divide l?
False
Let y = 60 + -60. Let u(g) = g + 54. Let k be u(y). Suppose 0 = -5*d + k + 91. Does 18 divide d?
False
Let z = 1812 + -2623. Let u = z + 1153. Does 18 divide u?
True
Let p(s) be the first derivative of -s**4/4 - 7*s**3/3 + 15*s**2/2 + 31*s + 12. Let o be p(-9). Let q = 104 - o. Does 11 divide q?
False
Let g = -27 - 26. Let m = g - -32. Is (6 - 2) + -6 - m a multiple of 13?
False
Suppose 11*s = -72 + 116. Suppose -8 = s*h, d - 200 = -d + 2*h. Is 7 a factor of d?
True
Let m(w) = -102*w - 216. Suppose 0 = 31*f + 240 - 85. Is m(f) a multiple of 42?
True
Let p = 2389 + -1116. Does 6 divide p?
False
Suppose 26*d = 17*d + 2871. Suppose 5*f + 23 - d = -3*a, -a = 3*f - 176. Is 6 a factor of f?
False
Let p be (69/6 - -2)*(-10)/(-15). Suppose -16 - p = -5*h. Suppose 2*u = -3*m + 82, -m - h*u = -5*m + 71. Is 24 a factor of m?
True
Is 11 a factor of ((-1)/(-3))/(34/67320)?
True
Let k(t) = 3*t**3 + t**2 + 9*t + 11448. Is k(0) a multiple of 123?
False
Let k(j) be the third derivative of -j**5/60 - j**4/2 - j**3/3 + 22*j**2. Let o be k(11). Let x = o + 390. Does 27 divide x?
True
Let r(y) = -y**2 - 4*y + 108. Suppose 1 - 1 = -7*i. Let f be r(i). Suppose 4*n + f = 7*n. Does 9 divide n?
True
Suppose 0 = 402*b - 391*b - 96360. Is b a multiple of 14?
False
Let m(q) = -q**2 + 5*q + 8. Let s be m(6). Suppose -x = -2*b + 41, -s*x - 3 = -x. Let h(k) = 2*k + 13. Is 15 a factor of h(b)?
False
Let s(g) = 211*g**2 + 5*g + 13. Let m be s(-2). Does 15 divide m + 14*1/(-2)?
True
Suppose -4*m - 630 - 36 = -d, -2*m = 4. Is d a multiple of 5?
False
Suppose 2*u - 4566 = 6508. Is u a multiple of 113?
True
Let p(u) = u**3 - 24*u**2 + 20*u + 9. Let m be p(23). Is (-3920)/m - 1*(-2)/(-6) a multiple of 13?
True
Let b = 3456 - 3274. Is b a multiple of 13?
True
Let n(x) = -x**3 + 8*x**2 - x + 23. Let q = 9 + -1. Is n(q) a multiple of 4?
False
Let p = 2053 + 4327. Does 110 divide p?
True
Let y(s) be the third derivative of -4*s**2 + 5/2*s**3 + 0 + 0*s + 1/15*s**5 - 7/12*s**4. Is 5 a factor of y(6)?
True
Let x(o) = 2*o - 10. Let r be x(5). Let z(q) = 2*q - q**2 - 3*q + 24 - 6*q + r*q. Is z(-7) a multiple of 18?
False
Suppose 0 = 2*l - 4*f + 10, 5 + 7 = 3*f. Suppose -1815 = -5*x + 2*i + l*i, 2*x - 5*i - 723 = 0. Is x a multiple of 28?
True
Suppose 15*w - 14168 = 4*w. Suppose -12*h + 16*h = 8, -4*h + w = 4*o. Does 16 divide o?
True
Suppose -168*d + 141*d + 632001 = 142788. Is d a multiple of 29?
False
Let a = 128 - 155. Let f = a + 54. Suppose -k + 25 = -c, -2*k + c + 19 = -f. Is k a multiple of 3?
True
Let a be (1 + 1)*(3 - (-405)/(-10)). Let r = -73 - a. Suppose 56 + 69 = r*z + 3*m, 2*z - 4*m = 146. Is 9 a factor of z?
False
Suppose 2*c + 4 = 16. Let v = 2585 + 2805. Suppose -c*j - 8*j = -v. Is j a multiple of 48?
False
Is -8 - (-4743 - 19 - 12/(-2)) a multiple of 2?
True
Let p(o) = 115*o + 322. Is p(7) a multiple of 13?
False
Let h(z) = 2*z - 10. Let b be h(3). Suppose 0 = 2*n - 4*p, -n = 4*n + 3*p - 13. Is (-574)/(-12) + n - b/24 a multiple of 25?
True
Let g = 1523 - -8920. Is g a multiple of 35?
False
Suppose 49 = 3597*o - 3590*o. Is 7 a factor of o?
True
Let d(m) = 31*m + 72*m**2 - 77*m + 31*m - 11 + 22*m. Does 44 divide d(-3)?
True
Let p = 5061 + -3013. Does 16 divide p?
True
Suppose 10768*j = 10761*j + 56392. Is j a multiple of 111?
False
Let o(k) = -12*k - 440. Let l be o(-35). Is 1040/9 + l/(-45) a multiple of 7?
False
Let a(f) = -f**2 + 29*f + 35. Let o be a(30). Suppose -o*v = 2*v - 924. Is v a multiple of 4?
True
Let y(w) = -w**3 + 5*w**2 + 12*w - 11. Let r be y(6). Is 10 a factor of (-12)/(-2*5/r)?
True
Let l be 6/(-2) + (374 - 11). Suppose -69*o + 66*o + l = 0. Is 24 a factor of o?
True
Let y(l) = -18459*l - 589. Does 10 divide y(-1)?
True
Suppose -3*x - 16371 = -d, 5*d - 26*x + 23*x = 81807. Does 57 divide d?
True
Suppose -4*q = -8*q + 28. Let o be 2 - (-3 + q) - 31. Let u = -15 - o. Is 9 a factor of u?
True
Let v = -6681 - -9541. Is 13 a factor of v?
True
Let i be -6*2/(1 - 5). Suppose 254 = 3*d + 2*n, -2*d + 0*n = i*n - 171. Does 14 divide (3 + (-3)/2)*d?
True
Suppose -3*s - 15 = 0, -4*s - 8338 = -5*y + 11217. Suppose -26*u + y + 591 = 0. Is u a multiple of 27?
False
Suppose 0 = -k + 2*f + 36814, 10*k - 73495 = 8*k - 15*f. Is 46 a factor of k?
True
Let f(q) be the first derivative of 15*q**2 - 111*q - 172. Does 21 divide f(10)?
True
Let y(c) = -77*c**3 + 13*c**2 + 15*c + 3. Is y(-1) a multiple of 7?
False
Let h(y) = 34567*y**3 + 59*y - 59. Is h(1) a multiple of 21?
False
Suppose 26621 = -39*q + 32081. Suppose 3*i - r = 580, 3*i - 477 = -3*r + 87. Let v = i - q. Does 13 divide v?
True
Suppose 37*p + 16*p - 59751 = 422284. Does 45 divide p?
False
Let l(n) be the first derivative of -2*n**2 + 133*n + 62. Does 15 divide l(14)?
False
Is 139 a factor of (-40)/((942/315 - (-30)/(-10))*2)?
False
Suppose 28*w - 835 - 1306 = 1947. Suppose 2*o + 4 = -36. Let v = o + w. Does 7 divide v?
True
Let h(f) = f**2 - 8. Let l be h(4). Suppose 0 = 2*k - 6*k + l. Suppose -y + 73 = 3*n, 3*n = -k*y - 2*y + 256. Does 24 divide y?
False
Let k = 16055 + -8125. Is 13 a factor of k?
True
Let t = 21780 - 3354. Is t a multiple of 111?
True
Suppose -2*w = -1181 + 493. Suppose j - 4*b - w = 0, 2*b + 686 = -3*j + 1704. Is j a multiple of 17?
True
Suppose -74021 - 125050 = -73*h. Does 7 divide h?
False
Let o = 3 + 1. Let a(x) = x**3 + 3*x**2 + x - 10. Let k be a(o). Suppose 8*r - 5*r - 82 = -2*h, 3*r = 4*h + k. Is 6 a factor of r?
True
Suppose -3*d + 7*t = 2*t - 11, -4*d - t = -7. Let s be d/(4 + 130/(-35)). Is (3 - s/2)*-134 a multiple of 8?
False
Suppose 0 = -222*r - 41*r + 3166520. Is r a multiple of 14?
True
Let i = -1358 + 2678. Is 7 a factor of i?
False
Suppose 0 = -5*j - 5*o + 39530, 4*j + 10*o - 31606 = 15*o. Does 13 