de c?
True
Let b(g) = -17*g - 46. Let z(n) = n + 3. Let c(d) = -b(d) - 4*z(d). Is 20 a factor of c(22)?
True
Suppose 2 = 2*i, -29*s + 31*s = i + 12011. Is 6 a factor of s?
True
Suppose 10*y = 2*y + 3208. Let s = y - 322. Is 6 a factor of s?
False
Suppose -4*g + 3*h + 5970 = 0, 4*h - 864 = -3*g + 3626. Is 9 a factor of g?
True
Let d = 80576 - 50377. Is 23 a factor of d?
True
Let c be ((-6016)/(-24))/((-8)/(-12)). Let f = 593 - c. Is f a multiple of 28?
False
Let p = 1626 - 1618. Let q(s) = -s + 1. Let b(m) = -7*m + 9. Let z(f) = -2*b(f) + 10*q(f). Does 6 divide z(p)?
True
Let u be (-2)/(-8) - (-60)/16. Let r be (u/(-7))/((-10)/70). Does 23 divide (40/25)/r - (-113)/5?
True
Let l = -24 + 75. Let x = l + 52. Suppose x = o - 13. Is o a multiple of 16?
False
Suppose -4*q + 3*q + 32 = 0. Suppose -q*d - 12204 = -37612. Does 41 divide d?
False
Let m be (-320)/6 - (152/(-24) + 7). Suppose -v - 33 = -0*v. Let t = v - m. Is t a multiple of 3?
True
Let p(d) = d**3 - 7*d**2 + 8*d - 6. Let l be p(6). Let y(n) = 31*n**2 - 8*n - 5. Let h be y(3). Suppose -l*a + a = -h. Does 21 divide a?
False
Let y = -4645 + 9750. Is 5 a factor of y?
True
Let s = 172 - -20. Let q be ((-124)/(-10))/(s/30 + -6). Let v = q + 4. Is v a multiple of 31?
False
Suppose -39*c = 3*a - 43*c - 6296, 0 = 5*a - 4*c - 10472. Does 36 divide a?
True
Suppose -46643 = 9*u - 977. Is u/(-30) + (522/135 - 4) a multiple of 54?
False
Suppose -16135 = -3*g + 5*x, 26*g - 24*g - 2*x - 10754 = 0. Does 25 divide g?
True
Suppose 2*i = -2*x + 14, 3*i - 3*x = -5*x + 19. Suppose -5*o + 723 = i*y - 22, 5*o = 3*y - 479. Does 9 divide y?
True
Let h = 7521 - 5625. Is h even?
True
Let q = -445 - -447. Suppose -159 + 557 = q*c. Is 12 a factor of c?
False
Suppose 3*z + 13 = d + 2, -15 = 3*z - 3*d. Let j be (2 + -3)*293*(2 + z). Suppose h + s - 95 = -4, s = 3*h - j. Does 24 divide h?
True
Suppose 65*j - 87*j + 39204 = 0. Does 33 divide j?
True
Suppose 2*r - 66 = g - 223, 0 = -g + 3. Let c = r + 85. Suppose 6*x - c*x = -72. Does 12 divide x?
True
Let v = -582 - -581. Does 26 divide (-7 + 112/(-7))*(v + -28)?
False
Let f(c) = -127*c - 1005. Is 13 a factor of f(-55)?
True
Suppose 0*t + 6540 = 3*n + 3*t, 3*n + t = 6532. Does 16 divide n?
True
Let u be (-6)/(-8)*(3 - -1). Suppose 3*r = -3*p, 3*p + u = -0*r - 4*r. Is (-20)/r*(0 - (-7 - -1)) a multiple of 6?
False
Let i(t) = 15*t**2 + 128*t - 3600. Does 8 divide i(36)?
True
Let o = 78 - 75. Suppose 0 = -5*q + o*h + 219, -h = -2*q + 2*h + 93. Is 6 a factor of q?
True
Suppose y - 1405 = a, 0 = 36*a - 39*a - 12. Is y a multiple of 74?
False
Is (6382 - 32) + -19 + -1 a multiple of 6?
True
Let i(u) = -u**2 + 15*u + 3. Let h be i(15). Let b(q) = 12*q**3 - 3*q**2 - 2*q - 3. Is 9 a factor of b(h)?
True
Let q = -3708 - -4800. Is 42 a factor of q?
True
Suppose -2*q + 4 = -6. Let w(p) = p**3 - 5*p**2 - 4. Let b(i) = i**2 + i - 1. Let x(h) = 3*b(h) - w(h). Is x(q) a multiple of 35?
False
Suppose 0 = -13*t + 5 + 73. Let d = t + 23. Is 17 a factor of d?
False
Suppose 6549 + 1976 = 32*k - 4947. Is k a multiple of 92?
False
Let s(o) = 3*o - 6*o**2 - 31*o**3 - 10*o + 19*o**2 + 20 + 30*o**3 + o**2. Let k(r) = r**2 + 4*r - 4. Let n be k(-6). Is 58 a factor of s(n)?
True
Let p = -11260 + 15235. Is 5 a factor of p?
True
Suppose 0 = 409*a - 820*a + 420*a - 86760. Is a a multiple of 20?
True
Suppose 0 = 5*s, -17*s + 2568 = -4*x - 12*s. Let w = x - -757. Is 3 a factor of w?
False
Suppose 4*a - 59 = -5*x + 114, -a + 34 = x. Suppose 0 = 39*z - x*z - 174. Is z a multiple of 3?
True
Let w(f) be the third derivative of 0*f - 21*f**2 + 0 - 13/24*f**4 - 16/3*f**3. Does 27 divide w(-17)?
True
Let h(q) = -q**3 - 8*q**2 + 7*q - 15. Let i be h(-9). Let b(f) = -2*f**2 + 2 + 2 - f + 6*f**i - 2*f. Is b(2) a multiple of 10?
False
Let h(u) = -4*u**3 + 5*u**2 + 6*u - 1. Let k be h(-2). Suppose k*i - 15840 = -6*i. Is 11 a factor of i?
True
Is 271240/120 + 1/(-3) + 0 a multiple of 10?
True
Let b be (-54)/18*1/3. Is 10 a factor of (b + 1225/21)/(4/6)?
False
Let g(i) = -2*i**3 + 28*i - i**2 - 6*i**3 - 4*i**2 + 11 + 20*i - 49*i. Is 27 a factor of g(-5)?
True
Suppose 0 = 120*h + 178*h - 1163988. Is h a multiple of 18?
True
Is ((19 - 9)/(-20))/(12/(-158112)) a multiple of 39?
False
Suppose 3*j - 6942 = -2*s + 8155, 2*j + 37695 = 5*s. Is 80 a factor of s?
False
Suppose -c + 4*b + 9 = 0, 3*b + 0 = 5*c + 6. Let s(f) = -f**3 + 3*f**2 + 3*f - 12. Is 9 a factor of s(c)?
False
Let q = -26 + 26. Suppose -5*j - 607 + 1452 = q. Suppose -a = -2*w + 319 + 9, -2*a = w - j. Is 36 a factor of w?
False
Let c(k) = 6491*k**3 - 6*k**2 - 30*k + 80. Does 23 divide c(2)?
False
Suppose -8*n + 5*r + 16825 = -3*n, -n = -5*r - 3373. Is (128/6 - 2)*n/118 a multiple of 19?
True
Suppose 7*m + 61576 = 4*n + 3*m, 10 = -5*m. Is n a multiple of 16?
True
Let b be (-2 + 1)*5/(-15)*6. Suppose 0 = 3*s - q - 265, -4*q - 250 = 3*s - 6*s. Suppose n + l + 42 = 2*n, s = b*n + l. Is 11 a factor of n?
True
Let n(k) be the first derivative of k**3 + 209. Suppose -4*g + 2*g = 6. Does 27 divide n(g)?
True
Let d = 35 - 32. Suppose 6*b - 3*b + d*w - 114 = 0, -5*b = -4*w - 226. Let l = b - -26. Is 17 a factor of l?
True
Suppose -330 = -5*w + d, 7*w - 3*w - 258 = 2*d. Suppose -3*v - 4 = -2*o, -3*v + 2*o - 4 = -2*v. Suppose f - w = -v*f. Is 7 a factor of f?
False
Suppose 26*v - 31*v + 59607 = 4*o, -5*o + 11892 = v. Is v a multiple of 18?
False
Let h = -6701 + 6880. Is h a multiple of 22?
False
Suppose -3162 + 780 = -4*l - 3*c, -4*l = -2*c - 2372. Suppose 0 = 3*g, -g + l = 3*x + g. Does 7 divide x?
False
Let a(h) = 4*h**3 + 158*h**2 - h - 47. Is a(-37) a multiple of 36?
True
Suppose -126*v + 1902654 = 47*v. Does 47 divide v?
True
Is (17 - (-707 + -18)) + -16 a multiple of 33?
True
Let h(s) = 1115*s + 66. Does 28 divide h(2)?
True
Let d = -10 - -20. Let r(h) = -h**3 + 11*h**2 - 11*h + 10. Let t be r(d). Suppose -2*q + 10 = 2*a, -q = -5*a - t*a + 13. Is q even?
True
Does 32 divide 3*((-69355)/(-39) - -3)?
True
Let w(k) = 6*k - 60. Let u be w(10). Does 37 divide (-185)/5*(u + 8/(-4))?
True
Let f(a) = a**3 - 2*a**2 - 4*a + 6. Let u = -1 - -35. Suppose -5*i = -2*k + u, 0 = 2*k + 3*k + i - 31. Is f(k) a multiple of 18?
False
Suppose -18269*b = -18281*b + 143748. Is 33 a factor of b?
True
Suppose 4*h - 5*f - 6022 = 52091, 0 = 2*h - 5*f - 29059. Is h a multiple of 129?
False
Let g(x) = 0 + 4*x - 6 - 2 + 0*x**2 + x**2. Let f be g(-6). Suppose 601 = 5*q + 3*r - 0*r, -f*q - 2*r + 482 = 0. Does 15 divide q?
False
Suppose -11*y = -16*y + 3*z + 89219, -y = 3*z - 17851. Is 32 a factor of y?
False
Let q be 0/(4*4/16). Does 15 divide (75/(-10) - q)*-22?
True
Let w = 3051 + -1741. Suppose 0 = 5*u - m - w, 0*u + 769 = 3*u - 4*m. Is u a multiple of 5?
False
Suppose -2*h + 2*r + 32970 = 0, 4*r - 82425 = -3394*h + 3389*h. Is h a multiple of 21?
True
Suppose 6*o + 477 = 585. Suppose o*s - 1426 - 10436 = 0. Is s a multiple of 20?
False
Let j = -2431 - -15793. Does 102 divide j?
True
Is (-5 - -5042) + ((-3)/5)/(14/(-70)) a multiple of 180?
True
Suppose -3*l + 15 = 2*y, l = 5 - 2. Let h be 7/35 - 54/(-30). Suppose -110 = -h*u + 4*p, y*u = 4*p - 10 + 165. Is u a multiple of 5?
True
Suppose -4*h = 4*o - 4, 2*o + 6*h - 3*h = -1. Suppose -o*k + 35 = 39. Let u(l) = 89*l**2 + l. Is 22 a factor of u(k)?
True
Let k(v) = -3*v**2 - 7*v + 9. Let c be k(-6). Is 49 a factor of -1 + 162 + (-114)/c?
False
Let n(y) = 3*y**3 + 12*y**2 - 37*y + 78. Is 104 a factor of n(6)?
True
Suppose -5*q - 2275 = 4*w, -26*q + 31*q = -w - 565. Let r = 850 + w. Does 20 divide r?
True
Let l = 11 + 3. Suppose s + 4*s - 15 = 0. Suppose -2*h = -s*u - 54, l = 3*h - 5*u - 67. Does 8 divide h?
False
Suppose 38 = -4*a - 3*n, -n - 2*n = -3*a - 18. Is 25 a factor of a/(-3 + -1) + 92?
False
Let z be (0*1/3)/1. Suppose z = 8*a - a - 336. Is 4 a factor of 11/(220/a)*50/3?
True
Is 68 a factor of -5253*((-4)/(-30))/((-16)/160)?
True
Let j(f) = -f**2 - 44*f - 28. Let a be j(-9). Let t = a - 36. Is t a multiple of 37?
False
Let r be 171/(-21) - (0 + -2)/14. Let f be (-48)/(-40)*(-2)/r*50. Suppose t + v = -0*t + 135, -5*v = -f. Is 20 a factor of t?
False
Suppose 33 = 2*v + 831. Let o = v + 1404. Is 67 a factor of o?
True
Let q be (34/14 - 3)/((-4)/1918). Let n = q - 140. Is 67 a factor of n?
True
Let d = 47 + -42. Suppose -10 + 25 = d*z. Suppo