 -y + 788 = 3*l. Is l a multiple of 24?
False
Suppose 144 - 149 = m, m = 5*n - 3750. Is n a multiple of 14?
False
Let l be 1 + 0 + 3 + 70*3. Suppose 3*f = 5*t + 248, 4*t - 79 = -3*f + l. Is 38 a factor of f?
False
Suppose 2*m = m - 16. Let y be m/(-24) - 13/(-3). Suppose -125 + y = -4*t. Is t a multiple of 8?
False
Suppose -10*m = -7*m. Suppose 4*i - 8*i + 444 = m. Is 33 a factor of i?
False
Let a = -12 + 8. Let f(q) = 2*q**2. Let p be f(a). Suppose -5*j - p = -7*j. Is 8 a factor of j?
True
Let h = 1263 - 2082. Does 46 divide ((-20)/(-6))/((-7)/h)?
False
Let v be (3*18)/(20/(-10)). Is 25 a factor of ((-696)/v - -2) + 4/18?
False
Let y(q) = -3*q**3 - 2*q**2 - 7*q - 5. Suppose 2*p + 13 = 3*i, 4*i = 2*p - i + 19. Is y(p) a multiple of 4?
False
Let s(d) = 10*d**2 + 8*d - 6. Let b be s(-5). Suppose -4*a - b = -2*q, -5*q + 530 = -0*q - 5*a. Suppose q = 5*h - 3*h. Does 19 divide h?
False
Let n(p) = 5*p**2 - 10*p - 35. Is 23 a factor of n(-9)?
True
Let m(t) = -59*t + 21. Is 9 a factor of m(-1)?
False
Suppose 23 = 14*k - 19. Let z = -48 + 95. Suppose 4*l - z = -3*a, 0 = -2*a + 4*l + 1 - k. Does 9 divide a?
True
Suppose -22*j = -8*j - 1400. Does 10 divide j?
True
Let s = 6 - 3. Suppose -s*k + 202 = 64. Suppose j - 2*j = -k. Is 23 a factor of j?
True
Let i(b) = -b**2 + 20*b - 16. Let a(j) = -2*j**3 + 2*j + 2. Let o be a(-2). Does 34 divide i(o)?
True
Let k = 18 + -32. Let d = 20 + k. Suppose -j = -d - 14. Is 12 a factor of j?
False
Suppose -6*s + 490 = -s. Suppose 0 = -r - 4*y - 87, 2*r - 2*y + 191 = -r. Let j = r + s. Is 7 a factor of j?
False
Let l(q) = q**3 + 3*q**2 + q + 356. Is l(0) a multiple of 4?
True
Suppose 6*h - 3*g + 42 = h, 0 = 3*g - 12. Let n = 14 - h. Is n a multiple of 6?
False
Does 21 divide (20/50)/(-2 + (-15564)/(-7780))?
False
Let q = 133 + -74. Suppose -q = -4*t + 69. Let u = -10 + t. Is 11 a factor of u?
True
Let i = 57 + -54. Suppose -2*j + 269 = -2*t - t, -j + i*t = -133. Is j a multiple of 17?
True
Suppose 2*j + 3435 = 3*h - j, 2*j + 1142 = h. Does 12 divide h?
False
Suppose 0 = -w - l + 2*l + 1166, 2*w = 3*l + 2328. Suppose -12*h = -7*h - w. Does 9 divide h?
True
Suppose 0 = -150*m + 176*m - 12714. Is m a multiple of 28?
False
Let y(k) = -k**3 + 14*k**2 - 11*k - 3. Let a(h) = -h**3 + 15*h**2 - 10*h - 2. Let p(d) = -2*a(d) + 3*y(d). Is p(7) a multiple of 10?
False
Suppose 99*h + 40740 = 159*h. Is h a multiple of 6?
False
Let m(w) = -w**3 - 36*w**2 - 156*w + 45. Is 19 a factor of m(-31)?
True
Let x(i) = 2*i**2 - i**2 + 4 + 5*i - 12. Let m be x(-7). Suppose -11*p + 60 = -m*p. Does 4 divide p?
True
Let t(d) = 118*d + 146. Is t(6) a multiple of 7?
True
Let z = -23 - -45. Let g = z + -14. Suppose 0 = 4*a + 3*o + g - 36, -48 = -4*a + 2*o. Does 4 divide a?
False
Let y(z) = -z**2 + 13*z + 17. Let x be y(14). Is 21 a factor of ((-17)/x)/((-2)/24)?
False
Suppose 0 = -165*o + 162*o + 189. Let m = -33 + o. Does 5 divide m?
True
Let c = -62 - -56. Does 16 divide ((-32)/(-6) + c)/(4/(-702))?
False
Suppose -3*n - 4194 = -2*t, -7*n = -5*t - 8*n + 10502. Does 84 divide t?
True
Let d(p) = p**3 - 4*p**2 + 9*p - 9. Let q be d(6). Suppose q = 3*v - 2*l - l, 3*l = 5*v - 197. Is 10 a factor of v?
True
Let r = -87 + 45. Let y = 2 - r. Does 5 divide y?
False
Let w be -2 + (4 - -26)/5. Suppose -2*n - n = -w*r - 82, 2*n + r = 40. Is 6 a factor of n?
False
Is (-4357)/(-13) + (-22)/143 a multiple of 11?
False
Let v(s) be the first derivative of s**4/4 + 3*s**3 - s**2/2 - 4*s - 3. Let c be v(-9). Let r = 8 + c. Does 13 divide r?
True
Is 24/6 + 795 - -8 a multiple of 44?
False
Let x(r) = -r - 1. Let l be x(-7). Suppose 0 = l*p - 53 - 55. Let v = 29 - p. Is 11 a factor of v?
True
Let p be (-9 - -10)/(-1 + 0). Does 4 divide (-2)/(p + 9/12)?
True
Let x(t) = -t**2 + 31*t + 19. Is 19 a factor of x(19)?
True
Let k(u) = -u + 10. Let s be k(3). Let i be (-2)/(2/(-12)*-2). Does 4 divide (2/i)/(s/(-357))?
False
Let q be (14 - 9) + 2*-14. Suppose -4*o = -o - 147. Let k = q + o. Is 26 a factor of k?
True
Let k be (-3)/(-18) - (-105)/18. Let o(t) = -7*t - 4 - 4*t**2 + t**3 - 3*t**3 + 3*t**3. Is 7 a factor of o(k)?
False
Let o = 268 - -89. Is 21 a factor of o?
True
Let u be (-4)/6*207/6. Suppose 4*m - 9 = 3, -2*l + 61 = -3*m. Let w = u + l. Is 4 a factor of w?
True
Suppose -x + 6*x + 1610 = 0. Let w = 494 + x. Does 26 divide w?
False
Let f = -159 - -789. Is 126 a factor of f?
True
Suppose 3*i - 19 - 5 = 0. Suppose 3*o - s = s + 6, -5*s + i = 4*o. Is 8 a factor of (-402)/(-14) - o/(-7)?
False
Suppose -53 = 3*t + 412. Let d = t - -76. Let y = d + 133. Is y a multiple of 18?
True
Let v be 2/(-8) + (-39)/(-12). Suppose 0 = -0*b - v*b + 24. Is 2 a factor of b?
True
Does 6 divide ((-268)/12)/((-32)/1152)?
True
Suppose 5*x - 2 = l, 0 = 2*l - 2*x - 4 - 0. Suppose -l*f + 0 = -24. Does 8 divide f?
True
Let v(i) = -5*i**2 - 18*i - 8. Let p(u) = -u**2 - u - 1. Let z(n) = 2*p(n) - v(n). Let f be z(-6). Let r = 25 - f. Is 2 a factor of r?
False
Let p be ((-15)/(-25))/(2/70). Let g be ((-24)/p)/(2/(-7)). Suppose -t = -5*l + 198, -3*l = -g*l - t + 42. Is l a multiple of 20?
True
Suppose -152 - 100 = 4*s. Let w be 9/s - 72/(-14). Suppose 0 = w*q - 82 + 7. Is q even?
False
Suppose -3*s = -2090 - 874. Does 76 divide s?
True
Let o = 124 + -266. Let r = o - -210. Suppose v + r = 2*f - 13, -3*f + 89 = 5*v. Is 8 a factor of f?
False
Let f(l) = -1. Let q(z) = 5*z + 5. Let b(o) = -2*f(o) + q(o). Let t be 4*(-4)/8*6/(-4). Does 12 divide b(t)?
False
Let h(p) be the first derivative of p**4/4 + 2*p**3 + 2*p**2 + 4*p + 1. Let q = 33 - 38. Does 3 divide h(q)?
True
Let n(d) = -8 + d + 2*d - d - 5. Let w be n(12). Let l = w + 21. Is l a multiple of 8?
True
Let u be ((-7)/21)/((-1)/6). Suppose -10 = -u*j - 3*j. Does 13 divide 15/1 - 2/j?
False
Let o = 6374 - 10790. Let y be ((-2)/(-6))/((-16)/o). Let w = -60 + y. Does 8 divide w?
True
Let q(k) = 15*k + 150. Does 6 divide q(0)?
True
Suppose 4*q + 16 = -2*a - 16, 0 = 2*a - 3*q + 4. Let h(b) = -b**2 - 5*b + 2. Let x be h(-5). Is 3 a factor of (-70)/a + x/8?
True
Let f(q) = q + 18. Let u be f(-6). Suppose 4*g - 12 = -0*g. Suppose 39 = g*d - u. Is 5 a factor of d?
False
Let q be (-9)/((-36)/16)*2. Suppose -9*y + q*y + 56 = 0. Is y a multiple of 14?
True
Suppose 20 = -5*s, -3*u + 4*s + 24 = s. Suppose 47 = 4*f + v, 0 = u*f - v - v - 38. Is f even?
False
Let x(y) = -3*y**2 - 2*y + 4. Let l be x(-2). Let g(u) = -u**3 - 2*u**2 + 2*u - 3. Is 12 a factor of g(l)?
False
Let z be (7 - 1)/(-1 - (4 - 7)). Suppose u + 2*y = 40, 0 = -3*u - z*y + 123 - 0. Is 8 a factor of u?
False
Suppose -4*b + 25 = 9. Let q be 16/b + 1 + -1. Suppose -q*y = -y - 171. Does 19 divide y?
True
Suppose -4*w - 8580 = -24*w. Is 39 a factor of w?
True
Suppose 4*b - 146 = -2*t, 2*b - b = -2. Is t a multiple of 11?
True
Let j be (2 - (-16)/3)*6. Let u be 1416/j + (-4)/22. Let d = u - -3. Is 22 a factor of d?
False
Let u be (-3 + (-5)/(-2))*-4. Suppose -3*o = -f - 2*f - 312, u*f + 418 = 4*o. Does 35 divide o?
True
Let g(c) = -c**3 - 15*c**2 + 17*c + 18. Let m be g(-16). Let b be -3 + 23/m*-2. Let n = b + 43. Is 6 a factor of n?
False
Let p be (-18)/4*(3 - 5). Suppose -7 = -i + 3*i + 3*l, 3*i = -5*l - 13. Suppose i*r - 4*a - 67 - p = 0, 4*a - 68 = -4*r. Is 18 a factor of r?
True
Suppose -2*x - 2 = -8. Let v be 1443/x + 0 - 4. Does 5 divide v/99 + 2/11?
True
Suppose s = 2*s - 60. Suppose -2*l - s = -5*l. Does 5 divide l/(-70) - (-354)/14?
True
Suppose -5*s - 2*a = -8*s - 392, -5*s - 2*a - 664 = 0. Let w = s + 245. Is w a multiple of 12?
False
Is 10 a factor of (-21)/(-18) + 104533/66?
False
Suppose 555 - 2871 = -3*h. Does 18 divide h?
False
Suppose -3*r - 6 = 0, -19260 = -5*u - 3*r + 12894. Is 21 a factor of u?
False
Let i(p) = -p**3 - 14*p**2 - 2*p - 3. Let c be i(-15). Let q = -148 + c. Does 13 divide q?
True
Suppose -5*n + 15 = -0*n. Suppose -27 + 12 = -n*p. Is 5 a factor of p?
True
Let c(b) = -13*b**3 - b**2 + 2. Let m be c(2). Let z = m - -305. Is z a multiple of 15?
False
Suppose 3*p = -3*g + 288, -3*g - 3*p + 273 = -5*p. Is 2 a factor of g?
False
Suppose -5*j = -4*d - 17 + 4, -5*d = 4*j - 35. Suppose 3*r - 447 = d*x, -4*r + 312 = 5*x - 239. Suppose 0 = 7*z + 2*z - r. Is 10 a factor of z?
False
Let f(y) = 10*y**2 - 3*y - 4. Let t = -2 + 7. Suppose -p + 13 = -2*r + t, -3*r = -5*p + 5. Does 24