s 8 a factor of k?
True
Let g = -722 + 698. Let x = -22 + 15. Is 12/((3 + x)/g) a multiple of 24?
True
Suppose 26 = d - 59. Is d a multiple of 18?
False
Let c(h) = h + 13. Let d be c(-9). Suppose 0 = 3*i - d*i. Suppose i = -2*z - 27 + 69. Does 7 divide z?
True
Is ((-1)/2)/((-3)/3096) a multiple of 5?
False
Let f = 60 + 534. Suppose 4*u + 2*u - f = 0. Is u a multiple of 23?
False
Let r = -163 + 2491. Is 12 a factor of r?
True
Suppose -3 = 3*l, 0 = -3*n - 2*n - 2*l + 318. Suppose -4*g - 4 + n = 0. Is 3 a factor of g?
True
Let u = 20 + -44. Let o be u/(-8) + 1 + 8. Suppose -o = -4*l + l, -5*l = -3*n + 313. Is n a multiple of 37?
True
Let d(v) = -5*v - 31. Let y be d(-6). Does 19 divide ((-3)/6)/(y/176) + 2?
False
Suppose -27*f = -30*f + 60. Suppose 2*c = -3*c - f. Does 3 divide 6 - ((c - -2) + 1)?
False
Let g(y) = -83*y**3 - 2*y**2 - 6*y - 8. Let v be g(-2). Suppose 4*l + 4*q - v = 0, 3*q = l + 8*q - 149. Is 18 a factor of l?
False
Suppose -4*r = -0*k + 3*k + 41, -2*r + 47 = -3*k. Is 36 a factor of 100*((-21)/k - 3)*-1?
False
Let y be ((-56)/10)/(((-4)/5)/2). Suppose 0 = -5*c + 4*g + 30, -2*c - 5*g = 7 + y. Does 2 divide c?
True
Let t(b) = 3*b - 3. Let z be t(3). Let r = z + -12. Is (-8)/(-2*(-3)/r) a multiple of 2?
True
Is 5 a factor of (365/(-2) - -2)*-2?
False
Let x = 300 - 480. Let l = -121 - x. Suppose -4*z + l = -33. Is 7 a factor of z?
False
Let h = -6 - -6. Suppose -3*n = -5*m - 601, 3*n - 3*m + 90 - 681 = h. Suppose -3*z = -j - 53 - 139, 3*z = 4*j + n. Is 15 a factor of z?
False
Let g be 1 + (3 + -4 - -1). Let s be -5 - -8 - g*-1. Suppose -2*b + 10 = 0, -2*u - b + 9 = -s. Is u a multiple of 4?
True
Let h = -272 + 336. Does 4 divide h?
True
Let d(k) = k**3 - 22*k**2 + 30*k - 22. Let i(x) = 2*x**3 - 43*x**2 + 60*x - 43. Let z(q) = 7*d(q) - 4*i(q). Does 25 divide z(16)?
True
Suppose 0 = -8*z + 9*z - 4. Does 6 divide ((-3)/2*z)/((-6)/9)?
False
Suppose 5 = 2*m - 19. Suppose 3*a + 4*y - y = 24, -3*y + m = -a. Is (-4 - -58)/1 - a a multiple of 13?
False
Let k(l) = -l**3 - 12*l**2 - 11*l + 9. Let h = -25 + 14. Is 9 a factor of k(h)?
True
Let i(t) = -t + 7. Let n be i(7). Suppose n = -s - 0*s + 13. Is s a multiple of 13?
True
Let k = -34 + -86. Let t = k + 274. Does 32 divide t?
False
Suppose -f = 3*k - 13, 4*k + 3*f - 8*f = 49. Is 5 a factor of k?
False
Suppose 2*k = x + 1, x - 5*k + 8 = 1. Suppose i + x = 2*i. Suppose -i*d = d - 248. Is 16 a factor of d?
False
Let f = 52 + 20. Suppose 4*x - 52 = f. Does 8 divide x?
False
Let i be 4*(-2)/(-16)*0. Suppose 2*x - 6 = -i*x, x + 51 = u. Does 9 divide u?
True
Suppose 4*l + 2*k - 2744 = 0, -4*l = -l - 4*k - 2080. Does 43 divide l?
True
Suppose 3*q - 66 = -396. Let a = -75 - q. Is 16 a factor of a?
False
Let g = 105 + -39. Is 33 a factor of g?
True
Suppose 3*q = -g - 1 + 8, -13 = 5*g - q. Let k(r) = 7*r**2 - 5*r - 2. Is k(g) a multiple of 6?
True
Suppose 0 = -v + 57 + 21. Does 13 divide v?
True
Let u(g) = 7*g + 2. Let c(w) = 1. Suppose 2*r = -0 - 2. Let s(p) = r*c(p) - u(p). Is s(-5) a multiple of 10?
False
Suppose 21*x - 14*x = 1519. Is x a multiple of 31?
True
Suppose 0 = 4*d + 39 - 75. Does 8 divide d?
False
Let a(q) = 131*q**3 + 6*q**2 - 16*q + 18. Does 146 divide a(2)?
False
Suppose i = 5*v - i - 390, -2*i = -10. Suppose 2*y + 5*g = 205, -2*y + v = -5*g - 175. Does 23 divide y?
True
Let d = 1481 - 683. Is 57 a factor of d?
True
Let y be (-8514)/(-27) - (-2)/3. Let r = y - 92. Does 21 divide (r/35)/(1/5)?
False
Does 76 divide (22 - 12)*409/2?
False
Let d be 117/63 - 2/(-14). Does 14 divide d*5 + (-9 - -13)?
True
Suppose -3*l + 68 = -i, -5*l + 6*l - 3*i = 28. Let a = l + -22. Suppose b - o - 21 = -a, 5*o + 15 = 0. Is 5 a factor of b?
False
Let s = 9 + -5. Let b(p) = -p - 34. Let r be b(0). Is 11 a factor of -3 + (-2)/(s/r)?
False
Let w be (4 - 565/(-15))*(-9)/(-1). Suppose 5*t - 65 = w. Is 23 a factor of t?
False
Suppose 31*n + 44968 = 53*n. Is 77 a factor of n?
False
Let t(a) = -a**2 + 2*a + 4. Let m be t(3). Suppose 0 = -2*d - 0*d + 176. Suppose -2*o = 3*u - d, o - 4 = m. Is 14 a factor of u?
False
Let m(i) = 2*i**2 - 2*i + 1. Let j be m(2). Let s(h) = -h**3 + 4*h**2 + 4*h + 2. Let p be s(j). Does 13 divide (-2)/(77/26 + p)?
True
Suppose y - q + 5*q = 920, -4*q + 4664 = 5*y. Does 22 divide y?
False
Let y = 90 - 90. Suppose -4*u - 5*c + 1039 = y, -4*u - 3*c + 0*c + 1041 = 0. Is 44 a factor of u?
False
Let d(k) be the second derivative of k**5/20 - k**4/12 + k**3/2 - 39*k. Does 22 divide d(6)?
True
Suppose 2*c - 431 = -3*d, -3*c = 5*d - 8*d + 441. Does 11 divide d?
False
Let c(u) = u**3 - 2*u**2 + 1. Let s be c(1). Suppose 7*p - 3*p + 16 = s, i - p - 137 = 0. Is 10 a factor of i?
False
Let j = 1989 - 1148. Is 9 a factor of j?
False
Suppose 11*b = 4521 + 10725. Is b a multiple of 11?
True
Let y(d) = -25*d. Suppose -2*c + 2*m = -m + 6, m = -3*c + 13. Let p be ((-33)/9 + c)*3. Is y(p) a multiple of 12?
False
Suppose 1256 + 256 = 2*m. Is 11 a factor of m?
False
Let l = 4192 - 2970. Is 13 a factor of l?
True
Let h be (182 - 0) + -1 + 1. Let t = h + -70. Does 14 divide t?
True
Let x(j) = j**2 + 7*j - 5. Let p be x(-8). Suppose 40 = p*t - 7*t. Is ((-44)/t)/((-2)/(-10)) a multiple of 11?
True
Let a(n) be the second derivative of n**7/2520 + 3*n**5/10 - 5*n**4/12 + 7*n. Let b(v) be the third derivative of a(v). Does 12 divide b(0)?
True
Let b = 2461 + -2245. Is b a multiple of 27?
True
Let j(i) = i**3 + 6*i**2 - 6*i + 5. Let v be j(-7). Is (-240)/(-2) + -1 - v a multiple of 26?
False
Let k be (-1)/((-80)/(-82) + -1). Suppose k + 13 = 3*i + 3*n, 5*n + 90 = 5*i. Let x = -9 + i. Does 8 divide x?
False
Let m(h) = -2191 + 8*h**2 + 2*h + 2*h + 2185. Suppose 2*l + 3*p + 8 = 0, -3*l + 2*p - 4*p - 12 = 0. Is 26 a factor of m(l)?
False
Let i = 224 + -142. Does 5 divide i?
False
Let f(g) = 5*g**3 + g**2 - 4*g + 2. Let n be f(1). Is 22 a factor of -2*(-6)/(-48) + 825/n?
False
Suppose 5*g + 2*n - 1328 = g, -3*n + 672 = 2*g. Is g a multiple of 10?
True
Is (3 + -23)/(-5)*26 a multiple of 26?
True
Let c(x) = -164*x**3 + 5*x**2 + 10*x + 17. Let t be c(-3). Does 16 divide 1/2 - t/(-40)?
True
Let g = 357 + 56. Is 56 a factor of g?
False
Let q = -126 - -129. Is 59 a factor of (-2)/q + (-19514)/(-66)?
True
Let z(m) = -6*m + 43. Let l be z(6). Suppose -2*f + 87 - l = 5*n, n = -5*f + 39. Is 4 a factor of n?
False
Let m be (2/4)/(1/6). Suppose -o = -2*d - 30 + 28, 8 = 4*o + d. Suppose 0*k - 4*v + 143 = m*k, o*k = -5*v + 93. Does 17 divide k?
False
Let v = 452 - 407. Does 5 divide v?
True
Let p(w) = -5*w**2 + 13*w - 11. Let b(j) = j**2 + 1. Let z(s) = 6*b(s) + p(s). Is z(-17) a multiple of 9?
True
Suppose -4*q + 2*n + 587 - 195 = 0, 5*n - 364 = -4*q. Is 6 a factor of q?
True
Suppose -5*a + 9*a = 3*f - 2061, 0 = -5*f + 3*a + 3424. Is 6 a factor of f?
False
Suppose 4*b = -z + 2581, -3*z + 3228 = 6*b - b. Suppose 9*j = 4*j + b. Is j a multiple of 29?
False
Is 246*(3/(-3))/(-2) a multiple of 4?
False
Let f(g) be the first derivative of -g**3/3 + 7*g**2 - 10*g + 2. Let b be f(13). Suppose 2*w - b*p = 161, -3*w - 2*p = -68 - 154. Does 12 divide w?
False
Suppose -3*y = -14 + 2. Suppose y*t - 119 + 11 = 0. Suppose 0 = 4*j - t - 85. Is j a multiple of 7?
True
Let s = 698 + -553. Does 11 divide s?
False
Let d = 747 - 460. Is d a multiple of 7?
True
Let p = 1 - -8. Let c(q) = -q**2 + 21*q + 7. Let f be c(p). Let u = f + -64. Is 7 a factor of u?
False
Suppose -6*i - 20 = -11*i. Suppose 31 = i*w - 21. Let g = 29 - w. Is 8 a factor of g?
True
Let g(w) = 3*w**2 + 4*w - 12. Let z be g(-9). Suppose -5*o + 2*o = -z. Is 6 a factor of o?
False
Let n = 607 - 977. Let r = n - -525. Suppose -2*q - 5*g = -83, -3*q - 5*g - r = -8*q. Does 10 divide q?
False
Does 9 divide 18165/14*72/90?
False
Suppose 8*z - 25 = -2*a + 11*z, -4*a + 45 = -5*z. Suppose m + 384 = a*v - 0*m, 5*v - 390 = -5*m. Does 4 divide v?
False
Let d(b) = -b**3 - 34*b**2 - 251*b + 11. Does 4 divide d(-6)?
False
Let f(s) = -42*s**3 - s**2 - s - 1. Let z be f(-1). Let a = z + 92. Does 19 divide a?
True
Suppose -21 = 2*q + 5*r, q + 2*r + 13 = -r. Does 33 divide 110/(-15)*(-27)/q?
True
Let m(t) = -t**3 + 6*t**2 - 5*t + 5. Let k be m(5). Suppose -2*r = r + 3*d, -3*d = k*r. Suppose r*g - 42 = -3*g. Is 7 a factor of g?
True
Let x = -796 - -1470. Does 41 divide x?
False
Let s = -2 - -2. Suppose 0