Is s(-75) a multiple of 43?
False
Let l = -148 - -133. Let w(u) = 22 + 23 - 16 + 0*u - u. Is w(l) a multiple of 6?
False
Suppose 3*f + 5 = 26. Suppose -3*j + 1248 = f*x - 3*x, -2*j = -3*x + 919. Is 51 a factor of x?
False
Let p = -1 + 3. Suppose 3*f + p*b - 684 = -f, 508 = 3*f - b. Let v = f + -114. Is 14 a factor of v?
True
Does 5 divide 8608/5 + 7 + (-165)/25?
False
Let q(v) = -v**3 - v**2 + 8*v + 3. Suppose -3*u + 28 = m, 5*m + 36 = 4*u - 14. Suppose -2*y = 3*d + 7 - 2, u = 2*y. Is q(d) a multiple of 6?
False
Let m be (-16)/(-14) - 25051/329. Let s(h) = 103*h - 4. Let y be s(3). Let w = y + m. Is 37 a factor of w?
False
Let p(o) = -250*o + 3. Let j be (4/16)/(-3 + (-11)/(-4)). Let s be p(j). Let z = 379 - s. Is 7 a factor of z?
True
Let m(f) = f**3 - 12*f**2 - 19*f + 3. Suppose -5*x + 9 = l, 4*l + 60 - 114 = -2*x. Does 43 divide m(l)?
True
Let f = -345 - -347. Suppose 6*p = f*i + 3*p - 142, 57 = i + 2*p. Is 18 a factor of i?
False
Let k(r) = 10*r**2 + 2*r - 8. Let d be k(3). Suppose 2*o + d = -4*p, o - 2 = 2*p - 46. Is 11 a factor of (o/3)/(4/(-6))?
True
Let p(n) be the first derivative of n**3/3 - 5*n**2/2 + 144*n + 92. Is p(-13) a multiple of 14?
True
Let s(x) = 265*x**2 - 253*x + 2050. Is 4 a factor of s(8)?
False
Suppose 15210280 - 218959 = 487*p. Is p a multiple of 93?
True
Suppose -5*r - 1767 = o, 2*r = 7*r - o + 1763. Let a = r - -414. Is a a multiple of 6?
False
Let j = 14288 - 12608. Is 5 a factor of j?
True
Let r = 1728 - -3218. Is r a multiple of 11?
False
Is 7 + ((-104634)/(-8) - 18/(-1080)*-15) a multiple of 18?
True
Let h(f) = -2*f + 2*f**2 - 15*f - 69 + 39 + 0*f. Is 21 a factor of h(16)?
True
Let j = -1559 + 5968. Is j a multiple of 13?
False
Suppose -3*m + 11*r - 3765 = 8*r, -2*m - 2519 = r. Let h = -739 - m. Is 5 a factor of h?
False
Let a(h) = -h**3 + 6*h**2 - 3*h. Let d be a(2). Suppose 0 = 15*p - d*p. Does 19 divide (-1 - 0 - p) + 39?
True
Suppose -74 + 113 = 13*f. Suppose 2*b + 3*b - f*r - 920 = 0, 0 = -4*b - r + 753. Does 7 divide b?
False
Suppose -x = c - 2622, 4*x - 100*c - 10484 = -103*c. Is x a multiple of 34?
True
Suppose 5*q - 3*d = 6040, 33*q = 29*q + 4*d + 4824. Does 7 divide q?
True
Suppose 4*j + 4*n - 5912 = 0, 5*j + 179*n = 183*n + 7426. Is 13 a factor of j?
True
Suppose -4*i = -q - 11887, -2*i - 4*q - 2030 = -7942. Is i a multiple of 11?
True
Let w = 28563 + -20379. Is 4 a factor of w?
True
Let r(t) = -186*t - 234. Is 30 a factor of r(-14)?
True
Suppose 8*m - 1917 = -8317. Let h = m - -1196. Is 22 a factor of h?
True
Let h(g) = -7*g**2 - 2*g + 11. Let v be h(9). Let s = v - -846. Is s a multiple of 17?
True
Let j be 10/(4 - 3) - 6. Suppose 2*l - 634 = -j*m, 4*l - 5*l = 5*m - 800. Is m a multiple of 23?
True
Let l(v) be the third derivative of v**4/8 + 109*v**3/6 - 56*v**2. Is 40 a factor of l(17)?
True
Let g(a) = -3*a**2 - 13*a - 3. Let z be g(-2). Suppose -x + z*x = 4770. Is 53 a factor of x?
True
Suppose 0 = -5*p, p - 10 + 4 = -2*x. Let r be x/(-6)*(-4 + 0). Does 14 divide ((-51)/(-6))/(r/44)?
False
Is (-4)/6*(10 + -7) + 678 a multiple of 13?
True
Let s(a) = 2*a**2 + 23*a + 18. Let i(n) = -n**3 - 17*n**2 + 19*n + 9. Let o be i(-18). Let d be s(o). Does 3 divide d*(-4 - (-12)/4)?
True
Let k(b) = 10*b**2 + 435*b - 39. Is 7 a factor of k(-48)?
True
Suppose -g + 6704 = -4*f, 4*g - 6*g = 14*f - 13320. Does 25 divide g?
False
Let z = -399 - -1091. Let u = -120 + z. Does 13 divide u?
True
Suppose 5*w - 16 = -1. Let k(j) = j + 12. Let m be k(w). Suppose 19*p = m*p + 56. Does 5 divide p?
False
Suppose -l + 0*j = j - 33, -l + 33 = 5*j. Let p = 38 - l. Suppose -4*o + 143 = -2*h + h, 0 = -h + p. Is 12 a factor of o?
False
Let s = -2816 - -5728. Does 28 divide s?
True
Let d = -1394 + 6144. Is d a multiple of 8?
False
Let y = 438 + -200. Does 29 divide (1 - -1)/(3/(-6)) + y?
False
Let q(l) = -2*l**3 - 15*l**2 - 45*l + 36. Is 64 a factor of q(-18)?
False
Suppose 3*t = -5*l + 12697, -5*l + 15025 + 1896 = 4*t. Is 49 a factor of t?
False
Let n = -8154 + 10065. Is n a multiple of 15?
False
Suppose 0 = 45*q - 42*q - 20718. Suppose -2*r + 2754 = -3*c, -5*r + q = -2*c + 5*c. Suppose 13*f - f - r = 0. Is f a multiple of 15?
False
Let l = 17426 + 14. Is 4 a factor of l?
True
Suppose -9*p = -13*p. Suppose 0*g + g - 195 = p. Suppose 4*f - 69 = g. Is f a multiple of 11?
True
Does 53 divide 27/15 - ((-711568)/55)/8?
False
Let f(u) = u + 2 - 5*u - 13*u. Let n = 1610 + -1612. Does 6 divide f(n)?
True
Suppose 0 = 21*f - 20*f + 5. Let c(w) = w + 10. Let r be c(f). Suppose 0 = -r*z + 110 - 25. Is 17 a factor of z?
True
Let g(i) = -i**2 + 5*i + 9. Let t be g(6). Let o be 12/t + (-3)/3. Suppose -w = j - 40, 44 + 66 = o*j + w. Is j a multiple of 5?
True
Suppose 0 = -9*u + 1365 - 1320. Let d = -5 - -8. Suppose n + u*k = 27, 4*n = 3*n + d*k - 13. Does 2 divide n?
True
Let o(f) = f**2 + 11*f + 12. Let x(i) = -4*i**2 - 34*i - 36. Let w(v) = -16*o(v) - 5*x(v). Let y be w(4). Let p = 16 + y. Is p a multiple of 22?
True
Suppose 0 = 5*c - 5*s - 113 - 72, 2*s = 5*c - 194. Let o = -30 - -91. Let p = o - c. Is 8 a factor of p?
False
Let o = -396 + 394. Let g(k) = 27*k**2 - 6*k - 4. Does 12 divide g(o)?
False
Let u = 70 + -103. Let a = u - -104. Is a a multiple of 30?
False
Let d = 7175 + -1146. Is d a multiple of 18?
False
Let b(v) = v**2 - 18*v + 66. Let f be b(12). Does 24 divide (f/9)/(2/(-288))?
True
Let g(u) = 7*u**3 + 5*u**2 - 4*u - 6. Let l(r) be the third derivative of r**6/120 + r**5/60 - r**3/6 - 26*r**2. Let c(w) = g(w) - 5*l(w). Does 15 divide c(3)?
False
Let j(x) = 5*x**2 + 8*x + 2. Let r(u) = -u**2 - u. Let g(y) = -j(y) - 4*r(y). Let i be g(-2). Suppose -i*s = 4*f - 192, 5*f - 23 = 2*s + 199. Does 23 divide f?
True
Suppose 160747 - 13307 = 38*f. Suppose 14*w = -f + 16648. Is w a multiple of 57?
True
Let q = 18 - 14. Suppose -q*l = 3*s - 790, -2*s + 522 = -0*l - 2*l. Is 10 a factor of s?
False
Does 18 divide 23793/154*(-1 + 37)?
True
Let a(i) = i**3 + 6*i**2 + 11*i - 6. Let b be a(-5). Is 11 a factor of (-20)/(-16)*203 - (-27)/b?
True
Let h be 2 - -34 - (-1 - 0). Let d = h + -39. Is 10 a factor of (-5 - -8) + (d - (-70 + 1))?
True
Does 191 divide -15 + 100/10 + 18656/1?
False
Let j(r) = -6*r**3 + r**2 + r - 2. Let b be j(-3). Let n = 248 - b. Suppose n = 10*g - 258. Is g a multiple of 17?
True
Let c = 17118 - 11926. Is c a multiple of 88?
True
Let g = 8 - -7. Suppose 12*t - 7*t - 2*w - 22 = 0, -2*t + 3*w = -11. Suppose -t*b = -g*b + 671. Does 8 divide b?
False
Is 18962/22 - (-23)/253 a multiple of 4?
False
Suppose 240 = -2*a + 6*a. Let t be (12/(-21))/((-28)/98). Suppose 0 = h + t*h - a. Is 4 a factor of h?
True
Suppose 208 = 4*c + 22*c. Let i(a) = -a**2 + 9*a + 101. Is 5 a factor of i(c)?
False
Suppose 167*m - 113810 = 1123678 + 554923. Is 121 a factor of m?
False
Is (3 + -257*(-3)/(-6))*(-306)/3 a multiple of 27?
False
Let d be (345/(-60))/(3/(36/(-3))). Suppose 0 = 25*l - d*l + 5*u - 1957, -5*u + 5 = 0. Does 61 divide l?
True
Let u = -51749 - -81045. Is u a multiple of 16?
True
Let z be 903*(0 + 7/63) + (-7)/21. Suppose -2*p + 85 = -725. Suppose 5*n + p = 4*j - 0*n, n + z = j. Is j a multiple of 14?
False
Let y be -3*((-3)/(-7) + 44970/126). Is 5 a factor of -5 - (-207)/45 - y/5?
False
Suppose 4*p - 56 = 152. Suppose 2*c = -0*c + p. Suppose 3*l - 10 - c = 0. Is 6 a factor of l?
True
Let t(g) be the third derivative of g**6/30 - 11*g**5/60 + 5*g**3/6 - 131*g**2. Is t(3) a multiple of 9?
False
Let b(t) = 103*t**2 - 270*t - 31. Does 177 divide b(-13)?
True
Suppose 25*i - 56 = 27*i. Does 10 divide i/4*(-22 - -2)?
True
Let m(c) = 213*c - 136. Is 57 a factor of m(34)?
False
Let i = -1919 + 9474. Does 32 divide i?
False
Let b(y) = -y**3 - y**2 + 50*y + 1796. Does 18 divide b(-37)?
True
Let l be 33 - (-3)/(6/(-10)). Is 13 a factor of (-1)/(-7) + 8368/l?
True
Let c = 14 + -11. Suppose 3*u = -4*m + 107 - 33, -42 = -u + c*m. Suppose -u*r = -32*r + 204. Is 13 a factor of r?
False
Let m(s) = 3*s**2 + 0*s**2 - 7*s**2 + s + 10. Let u be m(-8). Let q = -170 - u. Is q a multiple of 28?
True
Let q = 49 + -51. Let m be ((-12)/(-8) + q)*2*-12. Suppose i = 5*i - m, 0 = -r + 4*i + 46. Is 8 a factor of r?
False
Suppose 0 = -4*o + 5*z - 13, 2*z = 3*o - 2*o + 7. Let n(j) = -28*j - 164. Let s be n(-6). Suppose 3*b - 25 - 23 = k, -s*b + o*k = -64. Is b even