h = -44, -c + g = 3*w. Does 13 divide w?
False
Let w be (15 - 10)*(2844/10 + -4). Let v = w + 361. Is 43 a factor of v?
True
Suppose 3*y + 3*c = 1729 + 1430, 3*y - 3191 = 5*c. Suppose -1705 + y = -6*n. Is n a multiple of 9?
True
Let m be (-1)/(2/(-12)*2). Let x be (m - 18/3) + 1 - -1. Is 6 a factor of 28/4 - ((-2)/(-1) + x)?
True
Let i(l) = 90*l**2 - 60*l + 6. Is 27 a factor of i(3)?
False
Let b be (459/18)/17*6. Suppose 6237 = b*n + 18*n. Is 7 a factor of n?
True
Let b be 4708/(-107)*2/(-4). Suppose 0 = 5*p - 223 - 107. Let d = p - b. Is d a multiple of 10?
False
Does 23 divide (4 - 9)/((-21990)/(-7335) - 3)?
False
Suppose 16*o - 10*o - 1056673 = -23*o. Is o a multiple of 27?
False
Suppose 2*s = -2*r + 4448, 0 = 2*r - 3*r - 4*s + 2215. Does 4 divide r?
False
Let g = 128 + -122. Let q be (g/(-15))/(6/(-10))*-3. Does 9 divide ((-12)/18)/(q/750 - 0)?
False
Suppose 56*u = -59*u + u + 1838592. Is u a multiple of 14?
True
Let b(s) = 18*s - 15 - s**2 - 8 - 6 + 6*s. Let p be b(23). Is 1*((-8)/p - 114/(-9)) a multiple of 14?
True
Let g = -204 - -206. Suppose -2*x - 143 = -j, g*j = -2*j - 4*x + 560. Is j a multiple of 47?
True
Suppose 5*f - 4*o + 555 = 4540, 3*o = 2*f - 1594. Suppose p = 1, 7*g - 3*g + 5*p - f = 0. Suppose -5*v - g = -8*v. Is 13 a factor of v?
False
Let l be 4 - (3 - (-2 + 3)). Let v = 32 - 37. Is (2 + (-6 - v))*166/l a multiple of 31?
False
Is ((-1225322)/(-91) - -5) + 12/(-156) a multiple of 18?
False
Does 13 divide (59/(-531))/((-12)/1898532)?
False
Let x be -1*(1 - (5 + -1)). Let l be x/(18/1564) - (-1)/3. Suppose -l = -9*r + 396. Is r a multiple of 13?
False
Let y = -6 - -11. Suppose p = 2*p - y. Suppose -74 = -3*h + p*q + 54, 0 = -3*h + 4*q + 127. Is h a multiple of 22?
False
Let y(i) = 240*i - 605. Let v be y(2). Suppose 0*a - 960 = -4*a. Let f = v + a. Is f a multiple of 31?
False
Suppose 0 = -2*f - z + 2, -4*f - 2 - 2 = 4*z. Suppose -13 + 7 = -f*b. Is (-7)/(2*b/(-96)) a multiple of 12?
True
Let a be 20/(-5) - -3 - -9. Suppose 4*s = 7*s + 6, 2*s = -r - a. Does 42 divide (16 - -68)*((-6)/r + -1)?
True
Let m = -21453 - -9637. Does 30 divide ((-12)/(-21))/(5 + 59064/m)?
False
Let g = -14500 + 21430. Does 34 divide g?
False
Suppose -17*y + 88 = -388. Suppose -4*o = -y*a + 31*a - 4973, -o + 1241 = 3*a. Does 25 divide o?
False
Suppose 0 = -5*s - 0*s + 10. Suppose 1228 = 4*d + s*g, d - 2*g - 226 - 86 = 0. Let t = 506 - d. Does 22 divide t?
True
Let g be -2 + 7 + 2 + -5. Suppose 163 + 5 = g*l. Suppose 225 = 5*c - b, -b - l - 97 = -4*c. Is 3 a factor of c?
False
Let v be (0 + -77)/((-4)/24). Suppose 0 = 9*u + 5*u - v. Does 33 divide u?
True
Suppose 361*d - 8 = 359*d. Suppose 4*y + 2*t - 1614 = 0, t + 1608 = d*y - 3*t. Is y a multiple of 9?
False
Let j(t) be the first derivative of -2*t + 11 - 45/2*t**2. Is 37 a factor of j(-1)?
False
Suppose -n = -2, 20 = -2*y + 4*y + 4*n. Let u(v) = 53*v - 48. Does 7 divide u(y)?
False
Let b be -1 + 4*(-2)/(-4) + 2. Suppose 0 = -n + 5*z + 50, -b*n = -2*z - z - 174. Let m = n - -20. Is m a multiple of 7?
False
Let h(x) = x**3 - x**2 - 24*x + 131. Let p be h(6). Suppose r + p = 865. Does 12 divide r?
False
Let f be ((-8)/12)/((-4)/30). Suppose -f*o + 3*u - 102 = 23, -117 = 4*o + u. Let d = o + 44. Does 4 divide d?
True
Suppose -3*k = -37*b + 35*b - 19832, -12*k - 5*b = -79354. Is k a multiple of 76?
True
Let a(w) = 15*w**3 + w**2 + w. Let m be a(-1). Let b be (-18)/m*75/(-6). Let n(s) = -10*s - 6. Does 8 divide n(b)?
True
Is ((-236)/(-236))/((-1)/(-34168)) a multiple of 17?
False
Let x(q) = 35*q**3 + 12*q**2 + 12*q + 39. Is x(8) a multiple of 18?
False
Let p(s) = 7*s**2 - 5*s + 2. Let z be p(2). Suppose z*h - 2692 = 368. Is 51 a factor of h?
True
Suppose -5*b + 64650 = 5*t, -2*b - 719*t = -722*t - 25890. Does 24 divide b?
True
Let q = 17878 - 12178. Does 15 divide q?
True
Suppose -5*h - 56 - 74 = 0. Let y = 37 - h. Let p = y + -60. Does 3 divide p?
True
Let d(v) = 45*v**2 - 2*v - 131. Let l be d(-7). Let h = -1439 + l. Is h a multiple of 15?
False
Let l(o) = -o**2 + 44*o - 261. Let z be l(37). Is (-2 - (-4596)/9)/(z/(-3)) a multiple of 22?
False
Let w(f) = f**3 - 44*f**2 + 79*f**2 - 8*f - 44*f**2 + 2. Let q = -1 + 11. Is w(q) a multiple of 11?
True
Suppose -85*k + 47*k + 97546 = 0. Does 59 divide k?
False
Suppose -u + 1076 = 2*a, 5*u = -4*a + 2781 + 2581. Does 13 divide u?
False
Let f = -147 - -285. Let d = 141 - f. Suppose -h + 5*t + 140 = 0, -137 - 3 = -h - d*t. Is h a multiple of 8?
False
Is (-135)/675 - 5/(25/(-15106)) a multiple of 14?
False
Suppose -y - 2 = 0, -13*y + 17*y - 1082 = -2*z. Suppose -n - z = -l, -2*n + 1090 = -10*l + 12*l. Is 36 a factor of l?
False
Suppose 236*u + 722304 = 293*u. Is u a multiple of 36?
True
Let n(r) = 3*r**3 - 3*r**2 - 7*r + 19210. Is n(0) a multiple of 25?
False
Suppose -4*m - 8024 = -4*b, 2*m - 9 = -m. Suppose 0 = 19*d - b + 660. Is d a multiple of 4?
False
Suppose -8 = -i - 4, 2*l + i = 580. Let x = l + -108. Is x a multiple of 3?
True
Let g(c) = 27*c**2 + 23*c - 58. Is g(-14) a multiple of 30?
False
Suppose 8 = 4*i, i = 4*l - 4*i + 702. Let u = l - -249. Let q = u - -8. Is q a multiple of 12?
True
Let b(g) = -2*g**3 + 11*g**2 - 7*g + 9. Let t be b(5). Let z be (t - -1) + 382 + (5 - 3). Suppose -9*y = -z - 300. Does 38 divide y?
True
Let s = -51 + 525. Let d = s + -107. Is d a multiple of 10?
False
Let f(q) = 3*q - 102. Let a be f(0). Does 3 divide (a/(-9))/((-2)/(-6))?
False
Let m(c) = 2*c - 11. Let s be m(8). Suppose -33 = s*a - 1473. Let b = a + -112. Does 44 divide b?
True
Let o(m) = -m**2 + 7*m - 12. Let s be o(5). Does 7 divide s/(-15) - 7552/(-60)?
True
Suppose -2*l - 264 = 2*l + 4*p, 0 = 4*l + p + 255. Let w = l - -24. Let n = w - -66. Does 5 divide n?
False
Let m(k) = 630*k**3 - 3*k**2 + 7*k - 4. Suppose -11 = -21*f + 10*f. Does 30 divide m(f)?
True
Suppose 433901 + 753995 = 218*s - 52*s. Does 29 divide s?
False
Let k(i) = 2*i - 10. Let s be k(5). Suppose 2*x + 667 = 5*f, s = -0*f - f + 5. Is 3/((-9)/x) - -1 a multiple of 18?
True
Let s(r) = -674*r**3 - 5*r**2 + 3*r + 1. Let m be s(1). Let p = m + 736. Is 3 a factor of p?
False
Let m(t) = t**3 + 16*t**2 - 3*t - 26. Let i(q) = -8*q + 205. Let g be i(27). Does 15 divide m(g)?
False
Let l = 32 + -82. Let a be ((-120)/l + (-4)/10)*-2. Is (-17)/(-68) + (-119)/a a multiple of 6?
True
Is 12 a factor of (-8 + 28008/(-32))/((-13)/728)?
False
Let f be (4/((-84)/(-7)))/((-2)/(-12)). Suppose -o = -f, -g - 4*o + 65 + 13 = 0. Does 35 divide g?
True
Let j = -37946 - -56326. Is j a multiple of 20?
True
Let m be 28 + (-2 + 6)/(-2). Let l = m - 26. Suppose u + 4*s - 3*s - 22 = 0, -2*s + 10 = l. Is 2 a factor of u?
False
Let w(m) = -237*m + 9. Let b be w(1). Let s = b + 436. Is 16 a factor of s?
True
Suppose 45 = -22*b + 25*b. Let z(q) = q**2 - 16*q + 28. Does 8 divide z(b)?
False
Let d(n) = 2*n**2 - 161*n + 7365. Is 28 a factor of d(126)?
False
Suppose 53 = x + 40. Suppose -14*w + x*w = -992. Does 23 divide w?
False
Suppose -159*j + 115406 + 1550596 = 0. Does 81 divide j?
False
Let f = 187 - 191. Let m(x) = -x**3 - 2*x**2 - 2*x + 2. Is 6 a factor of m(f)?
True
Let m be 30/75 + 23/5. Suppose -m*z + 24 = -1. Is 27 a factor of z/(-15) + (-650)/(-6)?
True
Let j(v) = -v**2 - 8*v - 18. Let o be j(-4). Let y be ((1 + -287)/o)/1 + 1. Suppose -3*w - w = 3*m - y, 3*w = 4*m - 167. Is m a multiple of 22?
True
Let i be (-2)/(-7) - 6/21. Let l be 11 - i/(4 - 7). Suppose -l - 27 = -r. Does 19 divide r?
True
Let o = 208 - 202. Suppose -10*w = o*w - 9984. Is 20 a factor of w?
False
Let t(w) = 95*w**3 + 27*w**2 + w - 19. Is t(5) a multiple of 8?
True
Let j be 12/(-20) - (1 + 188/(-5)). Let n be (16/(-36))/2 - (-224)/j. Let h = 12 + n. Is 3 a factor of h?
True
Let u be 3/6 + 20/8*-5. Let j = 10 - u. Let k = j - -36. Is 29 a factor of k?
True
Let z(h) = -h**2 - 239*h - 3358. Does 10 divide z(-63)?
True
Let m be 261/(-2 + 1) - (-25 + 28). Let p = 198 - m. Is 25 a factor of p?
False
Let u(z) = -15*z - 129. Let s be u(-20). Is (-2)/(-19) + (-3 - (-170127)/s) a multiple of 10?
False
Let h = -9554 + 14823. Is 11 a factor of h?
True
Let p(s) = -2309*s + 609. Is 138 a factor of p(-9)?
True
Let n(c) = c**2 - 9*c + 5. Let f be n(3). Let z(g) = 6*g**2 - 31. Is 19 a factor of z(f)?
False
Let v = 11081 - 4525. Does 149 divide v?
True
Let p(s) = -22*s