de (n + 3)/((-4)/(-108))?
False
Suppose 12*c = c + 4477. Let v = c - 342. Is v a multiple of 5?
True
Let s(g) = g**3 - 39*g**2 - 37*g - 109. Let n be s(40). Suppose n*k - 780 = 8*k. Is 5 a factor of k?
True
Suppose 2*i = -5*q - 11, 4*q + 6 = -6. Let m(z) = 1590*z**2 - 6 - 1580*z**2 + 4*z**3 + i*z - 5*z**3. Is 31 a factor of m(9)?
True
Let h = -8 + 10. Suppose -2*l = s - 4 + 7, 0 = 5*s - h*l + 3. Is 3 a factor of (-123)/(-9) + 0 + s/(-3)?
False
Let v(r) = r**3 - r**2 + 221. Suppose 0 = 2*m + 4*y + 16, -3*m = -5*y + 4 - 24. Is v(m) a multiple of 13?
True
Let h(g) = -4909*g + 2030. Is h(-10) a multiple of 15?
True
Suppose 4*w - 81*m + 78*m = 13833, 2*m - 10362 = -3*w. Does 6 divide w?
True
Let m(d) = -9*d**2 - 10*d + 31. Let v be m(9). Is 27 a factor of (2 - 3)*0 - (v + 5)?
True
Suppose 18532 = 4*i - 5*b, 4864 = i + 2*b + 218. Is 13 a factor of i?
False
Let l(y) = -y**3 + y**2 + 15*y + 56. Let m be l(-9). Let q = -501 + m. Is 46 a factor of q?
True
Let m(h) = h**3 + 4*h**2 + 6*h + 9. Let f be m(-3). Suppose f = 2*g - 5*u - 1713, -7*u + 3*u = -3*g + 2559. Does 11 divide g?
False
Let m(y) = -2*y**2 + 6*y - 6. Let w be m(-7). Let h = w - -138. Is 218/((-7)/(28/h)) a multiple of 15?
False
Let m(a) = -a**3 + 15*a**2 - 20*a + 24. Let l be m(13). Does 11 divide (l + 0)/(-9*(-5)/30)?
False
Let m(g) = 76*g + 3. Let v be m(-1). Let x = -36 + 173. Let l = x + v. Is 16 a factor of l?
True
Let o(l) = -l**3 + 7*l**2 + 9*l - 8. Let q be (1 - 0/1)*8. Let b be o(q). Suppose b = -4*x + 3*x + 49. Does 49 divide x?
True
Let i = -39 + 39. Suppose i*x + 260 = 4*x. Does 13 divide x + 3/((-12)/(-8)) + -2?
True
Let a(k) = -k**3 - k - 11. Let t be a(0). Let u be ((-2)/(-3) + 0)*(t + 5). Does 14 divide 109 + (-3)/((-2)/(u - -6))?
True
Let g(m) = -51*m + 2600. Let i be g(51). Let c(z) be the second derivative of 5*z**4 - z**3/3 - z**2 + z. Is 23 a factor of c(i)?
False
Suppose 42*o - 1013 = 41*o + 2*q, -3*o = 5*q - 2984. Does 59 divide o?
True
Suppose 30*n + 1530 = 12*n. Let v = -58 - n. Does 5 divide v?
False
Suppose -4*b + b + 27 = 3*a, -4*a = -2*b - 60. Let f(x) = -x**3 + 14*x**2 - 7*x + 29. Is f(a) a multiple of 11?
False
Suppose -830 = -2*d - 0*i - 5*i, 2*i + 830 = 2*d. Suppose d = 3*s + 4*q - 233, -3*s + 645 = 5*q. Does 55 divide s?
True
Let i(k) = 7*k**2 - 2*k - 152. Let v(s) = -8*s**2 + 3*s + 153. Let c(h) = -7*i(h) - 6*v(h). Does 16 divide c(0)?
False
Suppose 0 = -0*r - 3*r + 816. Let g(u) = 53 + r*u**3 - 33 + 2*u**2 + 5*u - 26. Is g(1) a multiple of 24?
False
Let m be -138*((-30)/(-9) + -4). Let a = m - 92. Suppose c + a = -5, 4*b - 4*c = 400. Is b a multiple of 17?
False
Let x = -586 + 589. Suppose -9*w - x*w = -780. Is w a multiple of 13?
True
Is 19 a factor of (-2 + (-44)/5)/(14/598500*-10)?
True
Let w(x) = -28*x + 5. Suppose 0 = 6*n + 2 - 26. Let f be (n/7)/((-2)/(-7)) + -5. Is 19 a factor of w(f)?
False
Let m(a) = -a**3 - 70*a**2 - 159*a - 1114. Does 16 divide m(-71)?
True
Is 216 a factor of ((-55250)/25)/26*3024/(-10)?
True
Does 55 divide 120/(-18)*(-230175)/90?
True
Let s(p) = -39*p - 17. Suppose -3*n = 7*n - 350. Let f be (14/n*3)/(4/(-10)). Is s(f) a multiple of 20?
True
Suppose -2*a = -10*a. Let b be 3*1 + (2 + -5 - a). Suppose -3*u + 105 + 12 = b. Is 9 a factor of u?
False
Suppose 25957 + 4530 = 43*t. Does 19 divide t?
False
Suppose 5*d - 12070 = 4*j + 84091, -5*d = -5*j - 96160. Is 9 a factor of d?
True
Suppose -802*d + 138857 = -790*d + 25901. Is d a multiple of 68?
False
Suppose 27478 = -7*n + 18*n. Is n a multiple of 41?
False
Let o = 9043 + -7679. Does 8 divide o?
False
Suppose -4*n - 10567 = -2*k + 23067, 4*k - 67219 = n. Is 85 a factor of k?
False
Let l(a) = 3032*a**2 - 14*a - 20. Is l(-2) a multiple of 41?
True
Let s(u) = -4*u**2 - 4*u + 5. Let p be s(4). Let g = -44 - p. Suppose 2*w = 111 + g. Is 33 a factor of w?
False
Suppose -5*y = 2*a - 6, -5*y + 12 + 8 = -5*a. Suppose -y*h - p = 3*p - 1432, -2849 = -4*h - 3*p. Is 12 a factor of h?
False
Suppose -46*p + 38*p = -6536. Let x = p - -410. Does 57 divide x?
False
Suppose -115*u = -61*u - 59*u + 22105. Is 26 a factor of u?
False
Suppose -32*l - 144693 = -59*l. Does 57 divide l?
False
Let q = -100 + 41. Let f = 313 + -238. Let g = f - q. Does 23 divide g?
False
Let d(c) = -30*c - 36. Let q(b) be the second derivative of -b**3 - 7*b**2/2 + 14*b. Let u(i) = -3*d(i) + 14*q(i). Is 10 a factor of u(11)?
False
Let q be (-5*(-6)/25)/(12/(-80)). Is ((-56)/2*3)/(3/q) a multiple of 16?
True
Let r = 357 + -355. Suppose 4*j = -2*z + 4*z + 4672, 3*j + r*z = 3518. Does 15 divide j?
True
Let t be (-13 + 8 + 6)*(1 + 4). Suppose -4*b + 5*q = -t*b + 35, 2*b = 2*q + 82. Does 32 divide b?
False
Suppose -6464 = -q - 11*i + 7*i, 5*i - 6460 = -q. Is q a multiple of 180?
True
Suppose -551579 = -26*c - 83*c + 877411. Is 153 a factor of c?
False
Does 17 divide 2/3*((-5528)/(-16) - -16)?
False
Suppose -2*a + 4847 = -5*y, 202*y - 207*y + 7308 = 3*a. Is a a multiple of 13?
True
Let s(w) = 33*w**2 + 218*w - 59. Is 9 a factor of s(-17)?
False
Let v(h) = -h**3 + 22*h**2 - 8*h - 31. Let j be v(23). Let n be (-8)/(-6)*j/(-16). Is n - 9/(27/12) a multiple of 12?
False
Let j(q) be the first derivative of -13*q**2/2 + 89*q - 10. Is j(-11) a multiple of 11?
False
Let d(w) = -w**3 - 5*w**2 + 2*w + 56. Let m be d(-7). Suppose 0 = m*k - 133*k - 10920. Is k a multiple of 60?
True
Let k = 17 - 15. Suppose -f = -k*f + 4. Suppose -3*s = m - 136, 2*s + 2*s = f*m + 192. Is s a multiple of 22?
False
Let n(p) be the third derivative of -p**4/12 + 19*p**3 + 53*p**2. Suppose -2*h + 10 = 5*l, -3 = 3*h - 3*l + 3. Does 14 divide n(h)?
False
Let d = 113 + 82. Suppose -2*f = -0*f + 202. Let r = d + f. Is r a multiple of 10?
False
Suppose 11*k + 10*k - 5644 = 7019. Does 67 divide k?
True
Is 10629/63*(-196)/(-14) a multiple of 5?
False
Suppose 0 = -5*c + 43 + 72. Let z(w) = -c - 27*w + 12 + 2*w**2 - 3 - 6. Is 30 a factor of z(16)?
True
Let v(s) = s**3 + 5*s**2 + 3*s + 1. Let b be v(-4). Suppose c + 5*k - 20 = -4*c, -b*c - 3*k + 28 = 0. Does 14 divide -1*(-676)/c*2?
False
Let i = 26624 + -9629. Is 78 a factor of i?
False
Let f(c) = -c**2 + 39*c - 103. Let w be (-6)/(3*-8) + (-238)/(-8). Does 21 divide f(w)?
False
Let s(c) = 23*c + 10. Suppose 0*q - 52 = -5*k - q, 4*q + 32 = 4*k. Let y be s(k). Is -4 - (y/(-2) - -4) a multiple of 14?
True
Suppose -4*u - 669 + 2205 = 0. Let g = -179 + u. Does 20 divide g?
False
Is 37 a factor of (117 + -6)*((84224/24)/8 - 9)?
True
Let q(i) = -340*i + 19. Let v be q(-5). Suppose 0 = 5*h - 14*h + v. Is h a multiple of 6?
False
Let a(d) = -7*d + 41. Let i be 12*-1*187/44. Let c = 51 + i. Is a(c) a multiple of 18?
False
Let l be (-3)/4 - 178/8. Let h = l + 19. Let z(m) = -5*m + 5. Is z(h) a multiple of 25?
True
Suppose -2*f - 2*k - k + 523 = 0, -2*f + 519 = -k. Is 4 a factor of f?
True
Suppose -8 + 26 = 6*p. Let u(g) = -5*g**3 + 5*g**2 + 3*g**3 - 5*g + p*g**3 - 1 - 2*g. Is 3 a factor of u(-6)?
False
Let v(x) = 8*x + 74. Let w be v(-9). Let n = -39 + 45. Suppose 0 = -w*m + 10, -i - 4*m + 140 = -n. Does 18 divide i?
True
Suppose -352 = -7*w + 663. Suppose -2*n = 3*o - w, 2*n + o - 150 = 3*o. Is 19 a factor of (-3)/3 + -2 + n?
False
Is 272 a factor of 5925 - -2 - (2 - (-14 + -6 + 18))?
False
Suppose -3*m - 11 = -4*m - 4*u, m - 9 = -3*u. Suppose 100 = 2*k + m*x, 3*k - 2*x - 150 = x. Is 4 a factor of k?
False
Let d be -1 + -2 + -1 + 5. Let g(v) = -d + 3 + 1 - v - 6. Is g(-18) a multiple of 5?
True
Let u(g) = g**2 + 13*g + 35. Let h be u(-10). Suppose 0 = -h*r + 26 + 484. Does 9 divide r?
False
Let s(i) = -10*i + 36. Let q be s(6). Does 12 divide (16/q)/(4/(-78))?
False
Let p = -7 + 18. Suppose -p*v + 35 + 427 = 0. Does 6 divide v/(-3)*18/(-21)?
True
Suppose 0 = -7*n + 2*n + 330. Let f = 111 - n. Does 21 divide f?
False
Suppose 22*v = 16*v + 12. Let q(j) = 32*j + 32. Is q(v) a multiple of 16?
True
Let b = 16754 - 15078. Is 2 a factor of b?
True
Let h(v) = -v**3 - 6*v**2 + 28*v - 10. Suppose -s + 17 = -2*x, -x + 5*s - 2*s = 1. Let f be h(x). Suppose f + 38 = 2*u. Is u a multiple of 5?
False
Let i(r) = 263*r**3 - 12*r**2 + 8*r - 19. Does 22 divide i(5)?
False
Let s = -3856 - -4856. Does 35 divide s?
False
Let c(t) = 78*t**2 - 10*t + 2. Suppose 2*r - 5*b = 9, -2*b - 1 = 3*r - 5. Is c(r) a multiple of 7?
True
Let d be (-6 + 0)*41/(-