
Suppose 226054 + 350811 = 9*r - 101735. Is 58 a factor of r?
True
Is -1 - ((-85)/(-25) + -4) - 9902/(-5) a multiple of 60?
True
Suppose -49*j = 4*j + 21*j - 2036628. Is j a multiple of 22?
True
Let t(a) = 32*a**2 + 204*a - 4863. Is 119 a factor of t(29)?
True
Suppose -4*t - 4*o = -1916, 4*o = -0*t - 2*t + 946. Is 17 a factor of t?
False
Let g(y) = 58*y + 27. Let l(k) = 4*k + 69. Let p be l(-16). Does 5 divide g(p)?
False
Is (-36)/30 + 199584/120 a multiple of 97?
False
Suppose -15254 - 6391 = -5*k + 3*n, -4331 = -k + n. Does 15 divide k?
False
Does 87 divide 198/(-418)*-19 - (1 - 10432)?
True
Suppose 2*x + c - 40 = 0, -4*x + 0*c + 3*c + 90 = 0. Let d = 20 - x. Let n(y) = -69*y - 2. Is n(d) a multiple of 23?
False
Suppose 61200 = 5*n - 5*z, -61209 = -5*n - 19*z + 21*z. Is 29 a factor of n?
False
Let g(r) = 350*r**2 + 180*r + 759. Is g(-4) a multiple of 5?
False
Suppose -13808 = -9*i + 1150. Does 26 divide i?
False
Suppose 0 = 2*d + 4 - 12, 4*h - d = 12. Suppose -2*r + 30 = h*r. Suppose 0 = -r*z + 188 + 287. Does 19 divide z?
True
Let x(g) = -g**3 - 2*g**2 - 4*g - 4. Let w be (-1)/(-4) - 18/8. Let v be x(w). Suppose v*a - a = 96. Does 8 divide a?
True
Let z(u) = u**3 - 2*u**2 + 71. Let t be z(0). Suppose -3*s + t = -559. Is s a multiple of 16?
False
Let a(u) = 11 - 14*u + 9*u + 13*u + 8*u**2 + u**3. Let h be a(-7). Suppose 10 = -5*o, -h*s + 77 = 2*o - 719. Does 20 divide s?
True
Suppose 5*t + 9030 = 2*y, 5*t + 84 = 64. Is y a multiple of 5?
True
Let t(m) = 19846*m - 1. Let l be t(-1). Let k = -13591 - l. Is k/48 + 1/(-3) a multiple of 26?
True
Suppose -5*b + 5 = 3*r, -r = -b + 2 - 9. Suppose -20 - r = -5*c. Suppose 0 = -4*l - c*w + 140, -4*w = 3*l - 53 - 51. Is l a multiple of 5?
True
Let q(c) = -156*c**3 + c**2 + c - 2. Let p(o) = 156*o**3 - o**2 - 2*o + 3. Let a(j) = -5*p(j) - 6*q(j). Is 78 a factor of a(1)?
True
Suppose 5*p + 3*m - 15 = 0, -3*p - m + 11 = 2. Let g be (-6)/4*2 + p. Suppose 2*o - 64 + 20 = g. Does 11 divide o?
True
Let y(p) = p**3 - 23*p**2 + 27. Let a be y(23). Let x(z) = z - 28*z**2 - 6 + a*z**2 + 9*z. Is 5 a factor of x(7)?
True
Let q = 10 - 19. Let y(k) = k + 19. Let f be y(q). Suppose 0 = f*s + s - 88. Is 8 a factor of s?
True
Suppose 67*g - 53808 = 215867. Does 18 divide g?
False
Let o be 2 + ((-10)/(-60) - 2/12). Suppose -o*h + 0*h = -270. Is 14 a factor of h?
False
Let n(l) = -2*l + 76. Let i be n(26). Suppose 2*y - 4*x - i = 0, -2*x = 4*y + 3*x + 4. Let f = y - -76. Is f a multiple of 8?
True
Let x be 112/(-32) + -1*2/(-4). Let g(a) = -a**3 - a**2 - 8*a - 10. Is 3 a factor of g(x)?
False
Does 3 divide -4 - ((-3)/21 + (-747733)/49)?
False
Let p = -1259 + 2085. Is p a multiple of 54?
False
Let u = 17079 - 8744. Is 11 a factor of u?
False
Let n = 86 + -82. Suppose 3*z = -x - 4*x + 295, -n*x + 4*z = -204. Suppose 8*p - x = p. Is p a multiple of 8?
True
Let j(c) = 14*c**2 - 60*c + 11. Suppose 5*q = q + 3*y + 24, q - 2*y - 6 = 0. Does 5 divide j(q)?
True
Let a = -5350 + 13726. Does 12 divide a?
True
Suppose -901 = -15*k + 2234. Is k a multiple of 144?
False
Suppose -s - 90 = -112. Suppose -i = -s - 8. Suppose 0 = h - i. Is h a multiple of 30?
True
Suppose 84*s - 72656 = 65*s. Is s a multiple of 16?
True
Let r = -12 - -15. Suppose -4*l - 106 = -z, 3*l = r*z + 7*l - 302. Is 34 a factor of z?
True
Suppose 1 = 3*f + 28. Let u(z) = -360*z - 1 - 1 + 9 + 0*z**2 + 362*z + z**3 + 10*z**2. Is u(f) a multiple of 10?
True
Suppose 16*q = 13*q + 5940. Suppose -q = -3*p - 2*p - t, 5*p - 1950 = 5*t. Let m = p - 250. Does 8 divide m?
False
Let y be (-16)/(-6)*(-36)/(-24). Let i be (y/4 + -2)/(1/7). Let a = i - -37. Does 6 divide a?
True
Let s = 16138 - -12108. Is s a multiple of 29?
True
Let c(r) = r**3 - 3*r**2 + 9*r + 4. Let q be c(8). Let j = q + -580. Let m = -125 - j. Is m a multiple of 6?
False
Suppose -5*z + 118 = 3*v, -2*v - z + 65 = -23. Suppose v*r - 28*r = 8568. Is r a multiple of 34?
True
Suppose 1823 + 856 = -74*j + 75*j. Is j a multiple of 47?
True
Suppose -143*y - 62*y + 2*y + 1236473 = 0. Does 10 divide y?
False
Let c(r) = -2*r**2 + 12*r + 35. Let p be c(8). Is 16 a factor of 1121/p - ((-184)/(-24) + -7)?
False
Let w be (-1)/2*-10*(-108)/270. Is 29 a factor of (3770/20)/((-1)/w + 0)?
True
Suppose 11*g = 58 + 19. Let b = 11 - g. Is 15 a factor of (b + 1 - -197) + -2?
False
Is 8827*1 + ((-8)/9)/((-158)/(-711)) a multiple of 51?
True
Let h(v) = 3*v**3 - 30*v**2 + 73*v - 10. Is h(11) a multiple of 7?
False
Let w(r) be the second derivative of r**6/120 - r**5/60 + r**4/24 + 3*r**3/2 + 11*r**2 - 9*r. Let f(x) be the first derivative of w(x). Is 3 a factor of f(3)?
True
Suppose 4*g = 8*g - 2*c + 3754, 5*g + 4700 = 5*c. Let f = 1661 + g. Is f a multiple of 20?
False
Suppose j + 666 = -754. Let v = j - -2100. Is 7 a factor of v?
False
Suppose -16 = -3*a + 7*a. Let p be ((-70)/(-15))/(a/(-150)). Let d = p - 123. Does 13 divide d?
True
Let d = -101 + 179. Suppose 5*o - 4*q - 11 = d, -q = -4*o + 80. Let k = o - 12. Does 3 divide k?
True
Let f(t) = -5*t**3 + 4*t + 7 + 14*t**3 - 53*t**3. Does 13 divide f(-2)?
True
Let u = 7931 - 182. Does 63 divide u?
True
Let j = 112 + -115. Let g be (-1 - j)/(50/5485)*5. Suppose 4*q - g = -253. Does 37 divide q?
False
Suppose -92*h + 180020 = 26932. Does 26 divide h?
True
Let m = -561 - -554. Let l(q) be the second derivative of -7*q**3/6 + 7*q**2 - 5*q. Is l(m) a multiple of 14?
False
Suppose 0 = -12*j + 15*j - 336. Let g = j + -45. Is g a multiple of 3?
False
Let y(r) = -r**3 + 15*r**2 + 10*r - 11. Suppose 7*p - 92 - 6 = 0. Let x be y(p). Let d = x + -201. Is 31 a factor of d?
True
Let h be (-1)/(-13) + 75/39. Suppose 0 = -h*l + 7*l - 825. Is l a multiple of 3?
True
Suppose 12*n - 96*n + 198317 = -304423. Is n a multiple of 57?
True
Suppose -2505 = -3*g - 384. Let h = g - 599. Is 8 a factor of h?
False
Let x(h) = 2276*h - 634. Is 2 a factor of x(1)?
True
Let c(p) = 3*p**2 + 9*p + 7. Let d be c(-3). Suppose 5544 = d*f + 17*f. Is 11 a factor of f?
True
Suppose 12 = r + 3*o, 9*r + o + 3 = 11*r. Suppose 1420 = r*d - 4*s, 87 = -d + 2*s + 557. Is d a multiple of 32?
True
Let b be (-1)/((1/(-2))/(2227/34)). Let r = b - -165. Is r a multiple of 29?
False
Let x = -1304 + 1512. Is 52 a factor of x?
True
Let g = -165 - -273. Let l = 162 + -188. Let y = g - l. Does 8 divide y?
False
Let o = -31 - -39. Let r be 20/o*12/15. Suppose 5*f + j = 209, r*f = -f + j + 119. Is f a multiple of 41?
True
Let o be 12/(-8)*14/3. Is 41 a factor of (162 + 2)*o/(-7)?
True
Let q = -42 - -46. Is q/60*6 + 5118/30 a multiple of 9?
True
Let k(z) = -z**2 + 41*z + 222. Let r be k(35). Suppose -2*w + r = 5*x, x + 1101 = 5*w + 3*x. Does 13 divide w?
True
Let g = 2676 + 3532. Is g a multiple of 32?
True
Let m = 218 - 127. Let t = 48 - m. Let v = 93 + t. Is v a multiple of 10?
True
Suppose 2*n - 41 = -29. Let y(s) = s**3 + 4*s**2 + 4. Let g be y(-4). Suppose -g*z = -n*z + 150. Is 15 a factor of z?
True
Let r(w) = 3*w**3 - 5*w**2 - 69. Is r(16) a multiple of 131?
False
Suppose 2*q = 4*c - 372074, 2*c - 9522*q - 186009 = -9517*q. Is c a multiple of 11?
False
Suppose 111*t - 238282 = 405279 + 72722. Is 87 a factor of t?
False
Let z = -19420 - -19414. Let c(p) = -30*p - 5*p + 1 - 3. Does 16 divide c(z)?
True
Suppose -222*g + 216*g + 858 = 0. Is 8 a factor of g?
False
Let j be (-4)/(3*(-1)/24). Let t = -290 + 307. Let u = t + j. Is u a multiple of 8?
False
Let r(w) = w**3 + 12*w**2 - 33*w - 69. Let o be r(-14). Let x(d) = d - 3. Let b be x(6). Is (4 - 8) + (6 - (o - b)) a multiple of 3?
False
Let p = -2406 - -2612. Does 111 divide p?
False
Let x be 3492/679 + (-6)/(-7). Suppose -3*b = -2*b - 2. Suppose g = i + b*i + x, 4*i - 41 = -g. Is 4 a factor of g?
False
Suppose 745067 = -6*n + 139*n - 1156833. Is 22 a factor of n?
True
Let g(q) = 5*q + 27. Let z(j) = 10*j + 55. Let x(r) = 7*g(r) - 3*z(r). Let w be x(-18). Let d = -44 - w. Does 7 divide d?
False
Let z(c) = c**3 - 3*c**2 - c + 4. Let a be z(3). Let j(g) = 19*g**3 + 7*g + 7. Let h be j(-1). Does 13 divide h + 113 + (a - 4)?
True
Does 5 divide (-15)/2*(-23594)/141?
True
Let q be 7/(-7)*(-15 + 1). Let r be ((-68)/(-170))/((-9)/10 - -1). Let j = r + q. Is 18 a factor of j?
True
Let u = -132 - -187. Let f = u + -51. Let h(z) = 3*z**2 - z - 13. Does 8 divide h(f)?
False
Suppose -5*h + 2 = 12. 