ide 279/(-6)*(1 + -3)?
False
Suppose -4*p - 28 = -5*k, 5*k - p - 32 = -10. Is 2 a factor of 4/(-8) + 14/k?
False
Let o = 25 - 12. Let m = 337 - 317. Let b = o + m. Does 11 divide b?
True
Let y(p) = 2*p**2 + 1. Let s be y(-1). Suppose v = -2*v - s*g + 1137, 0 = 2*v + g - 754. Suppose -o - 4*o = -v. Is o a multiple of 20?
False
Suppose 2*j = 4*d - 1530, -14*j + 11*j = -5*d + 1911. Is d a multiple of 8?
True
Let q(j) = -j**2 + 36*j + 61. Does 6 divide q(13)?
True
Suppose 2*q + s + 15 = 0, -2*q - 2*s + 2 = 14. Does 10 divide 3*(-2015)/(-75) - q/(-15)?
True
Let m = -8 - -10. Suppose -x + m*g + 78 = 0, 4*x = 2*x - 4*g + 124. Is x a multiple of 14?
True
Suppose 0 = -t - 3*u + 708, 5*t - 4*u - 363 = 3177. Is t a multiple of 4?
True
Let o(m) be the second derivative of -m**4/12 + 5*m**3/2 + m**2 + 5*m. Does 19 divide o(12)?
True
Let s = 8 + -3. Suppose -4*k + 3*z + 453 = 0, s*k - 43 = 5*z + 517. Suppose 5*v - 5*i - 330 = 0, v + v + i = k. Is 17 a factor of v?
False
Let j(u) = u**3 - u**2 + 8. Let t be j(4). Suppose t*p - 55*p - 133 = 0. Does 19 divide p?
True
Suppose 0 = -5*w + 4*m + 10, 0*w - 2*m = 5*w - 10. Suppose 2*c + 20 = 3*t, w*t = 6*t + 4*c - 60. Is 9 a factor of t?
False
Let p = 1795 + -1280. Does 7 divide p?
False
Let u(s) = -3*s**3 - 54*s**2 - 1 - s + 54*s**2. Let j(f) = -f**3 - 1. Let p(h) = 5*j(h) - 2*u(h). Is 3 a factor of p(2)?
True
Let u(w) = -w**3 - 6*w**2 + 3. Let h be u(-6). Suppose 5*d - 5*s = 0, -d - 5*s = h*d - 27. Is 20 a factor of 478/8 + d/12?
True
Let b(f) = f**2 - 12*f - 2. Let t be b(12). Let i be (-93)/(-33) + t/(-11). Suppose -i*u + 53 = -10. Is 21 a factor of u?
True
Let a(z) = -z**3 + 2*z**2 - 3*z - 3. Suppose 14 = -6*g - 4. Does 9 divide a(g)?
False
Let d(j) = j. Let x(c) be the second derivative of -c**3 + 3*c**2/2 + 3*c. Let h(f) = 3*d(f) - x(f). Does 11 divide h(4)?
True
Let g(i) be the second derivative of i**4/3 + i**3/2 - i**2 + 3*i. Let w be g(1). Suppose w*u - 2*q = 213 + 269, -5*u + 485 = -5*q. Is 32 a factor of u?
True
Suppose h - 161 = 5*j, -85 = 3*h - 5*j - 598. Is h a multiple of 22?
True
Let h(x) = 1909*x**2 + 3. Does 19 divide h(1)?
False
Is 49 a factor of ((-630)/54)/(2/3)*-28?
True
Suppose -4*r = -3*g - 22, -5*g + 2*r - 41 = 5. Suppose -32 = -4*t + 36. Let y = t + g. Does 7 divide y?
True
Suppose -4*g + 30 = -14. Suppose n - g - 36 = 0. Suppose -5*o + n + 8 = 0. Does 11 divide o?
True
Let u(a) = a**3 + 14*a**2 - 17*a - 12. Let z be u(-15). Let l = z + -6. Does 3 divide l?
True
Let l(x) = -x**2 - 3*x - 2. Let n be l(-1). Suppose -2*p = -2*q - q + 265, 4*p + 20 = n. Is 17 a factor of q?
True
Suppose 0 = 2*r - 8*g + 5*g - 1221, 2*g = -r + 607. Suppose -r = 92*v - 95*v. Does 40 divide v?
False
Let s(o) = o**3 - 5*o**2 + o. Let d be s(5). Let x(a) = a**2 - 7*a + 2. Let y be x(d). Is ((-32)/(-10))/(y/(-60)) a multiple of 8?
True
Let p = 2 - -1. Let w = 64 + -92. Is 105/w*(-40)/p a multiple of 25?
True
Let g be -2 + 4/8*6. Let d(p) = p**2 - 2*p - 6. Let m be d(4). Let q = g + m. Does 2 divide q?
False
Let d = 218 - 48. Let l be 27/(-2)*d/15. Is (16/48)/((-1)/l) a multiple of 17?
True
Let x be 4*(-10)/(30/(-6)). Let d = 18 + -4. Let c = d - x. Does 6 divide c?
True
Suppose -9*k - 30492 = -16*k. Does 44 divide k?
True
Let o be (-6)/15 - 1692/(-5). Let j = o - 178. Suppose -5*m + j = 5*p, -m + 4*p + 20 = -p. Is 10 a factor of m?
True
Let x(f) = f**2 - 5*f + 2. Let g be x(7). Let q = 28 - g. Suppose 0 = -2*s + q + 90. Is s a multiple of 17?
True
Let k(l) = l**3 + 8*l**2 - 2*l + 15. Let u be k(-8). Let f = u - 25. Is 4 a factor of f?
False
Suppose -m + 11 = 3*g, 2*g + 2*m + m + 2 = 0. Suppose -5*q - g*n - 15 = -0*q, 0 = 5*q + 4*n + 20. Is q/20 - 784/(-10) a multiple of 27?
False
Suppose -2*t + 2 = -3*q - 6, -3*t - q + 12 = 0. Suppose t*h = -h + 120. Does 12 divide h?
True
Suppose -2*z - 534 = 5*f, -4*z - 4*f = 1064 + 28. Let a = 403 + z. Is a a multiple of 18?
True
Suppose -4*p + 54*g = 55*g - 16073, -5*g = -5. Is 82 a factor of p?
True
Let t(c) = -c**2 + 14*c - 10. Let y be t(13). Does 9 divide 9/(9/54*(-1 + y))?
True
Let n(q) = -40*q**3 - 2*q**2 + 1. Let g(s) be the second derivative of -s**5/20 - 2*s**4/3 - 4*s**3/3 - 4*s**2 + 9*s. Let l be g(-7). Is n(l) a multiple of 13?
True
Suppose 0 = 6*f - 4*f - 2. Let o(p) = -4 + f + 5*p - 3 + 1. Does 10 divide o(7)?
True
Is 33 a factor of (246/30 - (6 - 1))*125?
False
Let h(n) = -n**3 + 3*n**2 - n - 2. Let k be h(2). Let l(o) = -o**2 + 18. Let c be l(k). Does 6 divide (-1424)/(-72) - (-4)/c?
False
Let n(w) = -w**3 - 43*w**2 + 127*w - 137. Is 11 a factor of n(-46)?
False
Let c be (10/4)/(1/(-2)). Let q be 746/10 + (-2)/c. Suppose 282 = 4*s - 5*u, 3*s + q = 3*u + 285. Is s a multiple of 21?
False
Does 88 divide 9854/14 + (-5 - (-108)/21)?
True
Let a(r) = -79*r + 9. Is a(-9) a multiple of 60?
True
Suppose o - 6*o + 2965 = -5*l, -5*l - 5 = 0. Is 8 a factor of o?
True
Suppose s = 1 - 17. Let q be 0*4/s*2. Let x(l) = -l**2 + l + 21. Is 11 a factor of x(q)?
False
Is 3901/7 - 60/210 a multiple of 75?
False
Is 24 a factor of 226 + -1 + (-51)/(-17)?
False
Let z be 9/(-1) - 20/(-10). Let r = 11 + z. Suppose -6*s + 22 = -r*s. Does 9 divide s?
False
Let n = 127 + -127. Suppose 5*a = n, -3*u + 11 = -5*a - 157. Does 49 divide u?
False
Suppose 3*s - 4*s + 5*g + 12 = 0, 5*s = -5*g. Let c(l) = -l**2 - l**3 - 6*l - 9 + 11*l**s + 0*l**3. Is 10 a factor of c(9)?
False
Let k = -30 + 8. Let s = 58 - k. Is s a multiple of 7?
False
Let f(s) = -s**2 - 16*s - 49. Let g be f(-11). Is (-5)/40 - g/(-32)*214 a multiple of 5?
True
Suppose -3704 = -27*p + 19*p. Does 9 divide p?
False
Is 4 a factor of 5/25 + 139/5?
True
Let a be 107*1*28/28. Let m = a + 218. Is 21 a factor of m?
False
Let r(l) = l**3 - l**2 + 3*l - 9. Let b(k) = -k + 1. Let f(d) = 4*b(d) + r(d). Is f(4) a multiple of 9?
False
Suppose 0*d + d + 5*b + 205 = 0, -5*d = -b + 895. Let a be (-2)/(-7) - (-30)/(-7). Is (a/10)/(3/d) a multiple of 13?
False
Suppose -4*r - 3 = -11. Suppose r*i = 4*i - 2*w - 32, 4*i = -5*w + 64. Is i a multiple of 16?
True
Is (-4 - -6 - -18)*210/24 a multiple of 8?
False
Let q = 930 - 592. Does 18 divide q?
False
Suppose 0*s + 4*o = -5*s + 1099, o = -4*s + 877. Suppose s = -4*d + 763. Suppose -4*r = 0, 3*r - d = -4*z - r. Is 10 a factor of z?
False
Suppose -3*v + 29 = c + c, -2*v + 22 = 2*c. Let j(u) = u + 2. Is 3 a factor of j(v)?
True
Let f(k) = -30*k**3 + k**2 + 4*k + 2. Let j be f(-1). Suppose -5*s + j = -31. Is 2 a factor of s?
True
Let d = 119 + 6. Suppose 8*r - 13*r + d = 0. Is 25 a factor of r?
True
Let h = -39 - -41. Suppose -4*w = i - 64, 5*i + h*w + w = 286. Does 11 divide i?
False
Suppose -2*j + 3*k = -0*j - 3092, k + 4631 = 3*j. Does 21 divide j?
False
Suppose 2*g = 2*w - 20, 5*g = 2*w - 13 - 13. Suppose -2*n + n + w = 0. Does 8 divide n*9*(-8)/(-12)?
True
Suppose 2 = y + 10. Suppose 2*t = -2*t + 96. Let o = t + y. Does 8 divide o?
True
Let w = -689 - -1564. Is 43 a factor of w?
False
Let b = -1361 - -2342. Is b a multiple of 109?
True
Let v = 98 + -83. Is 3 a factor of v?
True
Let i = 39 + -31. Let k(c) = c**2 - 5*c + 5. Let u be k(5). Suppose -f - f + i = 0, -u*m - f = -69. Is m a multiple of 4?
False
Suppose -27*z - 24 = -31*z. Suppose 0 = -z*a + 40 + 56. Is 16 a factor of a?
True
Let c(n) = -n**3 + 15*n**2 - n + 3. Is 15 a factor of c(9)?
True
Let x(i) = 4477 - 4435 + 4*i**2 - i**2 - 2*i**2 - 2*i. Let f be 0/(2*-1)*1. Does 7 divide x(f)?
True
Let s(i) = -3*i**2 + 12*i + 7. Let b(u) = -u**2 - u + 1. Let j(p) = -2*b(p) + s(p). Let v be j(9). Suppose 4*h = 9*h - v. Does 7 divide h?
False
Is (-2)/8*(-112)/(-21)*-72 a multiple of 3?
True
Suppose -2*h = 5*w - 2718, 4*h + 2*w - 5436 = -w. Suppose 0 = d + 8*d - h. Is 13 a factor of d?
False
Let n(y) = -y**3 - 4*y**2 + 6*y + 5. Let h be n(-5). Let x(f) = -2*f**2 + 24*f - 18. Let g be x(11). Suppose g*u - 288 = -h*u. Does 20 divide u?
False
Let a(c) = -5*c - 2. Let g be a(-3). Let m = g - 10. Suppose 4*i = m*j - 160, 5*j - i - 236 = -2*i. Is j a multiple of 14?
False
Let b(s) = s**3 + 2*s**2 - 3*s. Let t be b(3). Suppose -t = -27*o + 25*o. Does 18 divide o?
True
Is (-140)/12*6/(-1) a multiple of 5?
True
Is 105 a factor of (23/4)/(((-3)/(-1))/636)?
False
Let s be ((-4)/10)/(4/(-40)). Suppose r = s - 2. Is 5 a factor of (2/r)/(3/36)?
False
Suppose 3*i + 2*i