 -30*s(g) + 5*w(g). Is 9 a factor of h(-7)?
True
Let v(m) = -19*m**3 + 185*m**2 + 1135*m - 4. Does 79 divide v(-6)?
True
Let t be (0 - -350)/(-1) + (22 - 27). Let h = t + 475. Is h a multiple of 30?
True
Let k = 21044 + 9990. Does 10 divide k?
False
Let z be 767/(-65) - 1/5. Let s(u) = -7*u**2 - 9*u + 21. Let x(m) = m**2 - m + 1. Let j(h) = s(h) + 6*x(h). Does 9 divide j(z)?
True
Let b = -39 - -150. Let x = -86 + b. Does 4 divide x?
False
Let y(t) be the second derivative of t**3 - 3*t**2 - t. Suppose -4*o + g + 24 = 0, -2*o - 205 = -g - 215. Is y(o) a multiple of 12?
True
Suppose c - 2*c = -x - 6, 2*x - 54 = -4*c. Suppose -c*q - 372 = -13*q. Is (1 - -1)*3/(36/q) a multiple of 31?
True
Let w(u) = u**3 - 14*u**2 - 57*u - 66. Is w(22) a multiple of 9?
False
Let g be 4/(-14) + 1 + 886/14. Suppose -5*q = -944 + g. Suppose 5*s = 4*a + 626 + 282, s + 2*a - q = 0. Does 36 divide s?
True
Let s(f) = 16*f**2 - 56*f - 32. Is 46 a factor of s(11)?
True
Suppose -20*d + 23*d = 231. Suppose 3*n + 3*f - 19 = 2*n, -d = -3*n - 4*f. Is n a multiple of 27?
False
Let x be ((-8)/(-2))/(-4)*2. Let p be (-209)/55 + x/10. Is 13 a factor of -2 + (-126 - p)/(-2)?
False
Let k be (2 - 2)/(2 - 3). Suppose 5*d = -k*o - 5*o + 15, 9 = 3*o - 2*d. Suppose o*y - 920 = -5*y. Is y a multiple of 23?
True
Let l(v) = 118*v - 14. Let i be 1/(10/(-8)*22/(-55)). Let t be l(i). Suppose -2*d = -8*d + t. Does 5 divide d?
False
Let q be (9/(-6))/((-12)/16). Suppose 0 = 2*b - 3*b + 3*h + 172, 2*h - 336 = -q*b. Is 13 a factor of b?
True
Let t(k) = -k + 12. Let o be t(10). Let i(a) = o + 13*a**2 + 0 + 8*a**2 - a + 1. Does 15 divide i(-2)?
False
Suppose -784 = -2*p + 2*t, 2*t = 13*p - 17*p + 1538. Suppose 0 = -5*n + d + 393, -5*n = -10*n + 4*d + p. Is 5 a factor of n?
False
Let d(k) = k**3 + 18*k**2 - 24*k + 5. Let i be d(-19). Suppose 28*j + i = 29*j. Does 50 divide j?
True
Let j(w) = 77*w**3 - 2*w**2 - 6*w + 43. Is 188 a factor of j(5)?
True
Let v = -1735 + 21114. Is 44 a factor of v?
False
Suppose -109*s = -81*s - 53480. Is 4 a factor of s?
False
Let i = 4103 - 983. Suppose 19*p = 4*p + i. Is 8 a factor of p?
True
Let v be ((-53)/(-2))/(3/6). Let u = v + 28. Let z = 127 - u. Does 10 divide z?
False
Suppose -c + 22 = -3*t + 5, 0 = -3*t - 15. Let y be (c - (-3 - -9))*(-15)/6. Suppose 2*n = y*n - 880. Is n a multiple of 11?
True
Let x = -1757 - -3589. Is x a multiple of 76?
False
Let z = 171 - 174. Is 24 a factor of ((-1764)/35)/(z/10)?
True
Suppose -2421 - 225 = 14*c. Let m be (-54)/c + (-24)/(-14). Suppose -m*l = -10*l + 208. Is l a multiple of 6?
False
Suppose -401 = -5*p - t, t = 3*p - 0*t - 239. Suppose 5*w + 5*j - p = 0, -w + 6*w - 3*j = 112. Is 8 a factor of 2*6/3*w?
True
Let g be 22 + -13 - (-2)/((-4)/6). Suppose 3*s - u = 147, -g*s + 201 = -2*s - 3*u. Is s a multiple of 8?
True
Let q(s) = -5*s - 15. Let g be q(-4). Suppose 0 = b - g*k - 1, -101 = b + 3*b + k. Let z = b + 56. Is z a multiple of 8?
True
Let c be 2664/60*(-60)/8. Let y = c - -633. Does 10 divide y?
True
Suppose 43 = 7*s + 29. Suppose 5*j = s*j + 3*g + 1566, 5 = g. Is 10 a factor of j?
False
Suppose -76*m = -73*m - 69. Suppose -3*y = m - 35. Suppose 3*k + y*k - 434 = 0. Is k a multiple of 3?
False
Is 26 a factor of (18 - 11) + 18367 - 2?
False
Let v = 46679 + -39469. Is 10 a factor of v?
True
Let q(p) = -134*p + 5140. Is 49 a factor of q(-15)?
False
Suppose -5*b + 548 = 4*y + 78, -2*b - 5*y + 205 = 0. Does 19 divide b/(8 - (-30)/(-5))?
False
Let r(j) = -54*j**2 - 3*j - 3. Let q(y) = 214*y**2 + 13*y + 13. Let l(s) = -6*q(s) - 26*r(s). Is l(-1) a multiple of 5?
True
Let q(v) = 38*v - 2. Let n be q(-3). Suppose -3*j + 12 = 0, 180*g - j = 185*g + 216. Let l = g - n. Is l a multiple of 6?
True
Let i(k) = -k**3 - 73*k**2 - 117*k + 1602. Is 243 a factor of i(-75)?
True
Does 60 divide (-12 - 0)*22/((-418)/9975)?
True
Let h = 33335 + -15921. Is 15 a factor of h?
False
Suppose -9541 + 257541 = 40*a. Is a a multiple of 164?
False
Let y = -32646 + 59046. Does 25 divide y?
True
Suppose 52*z = 63*z - 1364. Let p = z + 312. Is p a multiple of 19?
False
Is (144155/30 - 1) + (-115)/(-30) + -3 a multiple of 25?
False
Suppose -i - 3*i - 20 = 0. Let b(f) = -18*f + 63. Does 18 divide b(i)?
False
Let a be -40*1*(-124)/16. Suppose 56 = -2*s + a. Suppose 2*x - y - 385 = -x, 0 = -x - y + s. Is x a multiple of 12?
False
Suppose 0*y = 5*y - 3*k + 1025, k = -y - 197. Let a = -168 - y. Is 2 a factor of a?
True
Suppose -2*y - 2 = 0, 4*d - 5*y - 17 = 36. Let n(m) = m**2 + 35*m + 3. Does 9 divide n(d)?
True
Let p = 7 + -7. Suppose p = 3*i, -5*o + 2 + 13 = -3*i. Suppose 2*m = 25 - o. Is m a multiple of 11?
True
Let v(c) = -38*c - 1. Let w be v(-3). Suppose 96*d - 145*d = 1323. Let u = w - d. Is u a multiple of 35?
True
Suppose 11*g = 8*g + 3. Is 39 a factor of (g + (-3260)/16)*-4?
False
Let t(p) = 9*p**2 + 2*p + 20. Let o be t(-8). Suppose -c - o = -s - 120, 0 = 2*s + 3*c - 920. Is 20 a factor of s?
True
Let q(n) = 4539*n + 1597. Is q(2) a multiple of 11?
False
Let q(s) = 5*s + 38. Let c be q(-7). Suppose -c*j = -3, -i + 2*j + 0*j + 6 = 0. Is 8 a factor of i?
True
Suppose 4*z = -2*q + 2106, -16*q + 12*q + 4212 = -5*z. Suppose l + 3*n = 1554, 2*l - q = -5*n + 2053. Does 72 divide l?
False
Let r(a) be the third derivative of -a**6/60 - a**5/30 + 2*a**3/3 - 15*a**2. Let b be r(2). Let w(n) = -n**3 - 19*n**2 + 15*n - 7. Is w(b) a multiple of 16?
False
Is 11568*((-4)/(-10))/(180/150) a multiple of 4?
True
Let y = -13 - -14. Suppose 37*f + y = 38*f. Is 9 a factor of (-2 - (-90)/(-12))*-2*f?
False
Suppose 6884 = -5*h + 4*t, -1 = -5*t + 4. Let q be 3/9 - h/12. Let g = q - 36. Is g a multiple of 9?
False
Suppose -17*j = -5*a - 18*j + 12, 5*j = -2*a + 14. Suppose -5*v = 20, -a*s + 4*v + 646 = -114. Does 61 divide s?
False
Suppose 211192 = 43*g - 38681. Is 13 a factor of g?
True
Suppose 37 = -y - 0*j - 2*j, 0 = 3*y + 4*j + 105. Let z = y - -164. Let p = z - 49. Is 21 a factor of p?
True
Suppose 3*r + 2*r + 5 = 0. Let j be 163/3*1 - r/(-3). Let n = -41 + j. Does 7 divide n?
False
Let k = 85 - 216. Let c = 136 + k. Suppose i - 50 = 2*r - 3*r, -3*i = -c*r + 282. Is 18 a factor of r?
True
Let h(w) = 2*w**2 - 23*w + 5. Let j(y) = 5*y**2 - 70*y + 16. Let o be (1 - -1) + (-7)/(7/10). Let d(a) = o*h(a) + 3*j(a). Does 4 divide d(-22)?
True
Suppose 66 = -3*h + 6*h. Suppose -21*p + h*p = 14. Suppose 4*r = -4*w + 2*w + 36, -w + 2*r = -p. Is 11 a factor of w?
False
Suppose -4*m - 21984 = -5*n, -13*n = -15*n - 5*m + 8820. Is n a multiple of 55?
True
Let x(n) = 6*n**3 - 6*n + 8. Let q be ((-4)/(-14) - 0) + 456/168. Is x(q) a multiple of 19?
True
Let g(y) = -y**2 + y + 9. Let t be g(3). Suppose 8*r - 5*r + 5*f - 981 = 0, f + t = 0. Is 49 a factor of r?
False
Let d = 15370 - 8482. Does 140 divide d?
False
Let o(k) = k**3 + 5*k**2 - k - 4. Let f be o(-5). Let n be f + 6/(-7) - 238/(-49). Suppose h = 3*l + 156, n*h - 533 = -4*l + 171. Is h a multiple of 24?
True
Let x(y) = -y + 1. Let r(h) = -9*h**2 - 14*h - 6. Let a = -14 + 18. Let s(g) = a*x(g) - r(g). Does 38 divide s(-4)?
True
Let u = 1 + -41. Let i = 59 + u. Suppose 131 = 8*a + i. Is 8 a factor of a?
False
Let x = 1533 + -233. Let c = -276 + x. Does 9 divide c?
False
Let q(y) = 17*y**3 + 1001*y**2 + 49*y + 126. Is q(-58) a multiple of 15?
False
Suppose -106*n = -38*n - 48*n - 7120. Does 62 divide n?
False
Suppose 0 = -94*b + 1125272 + 80936. Does 34 divide b?
False
Let j(c) be the third derivative of -c**6/120 + c**5/5 + 5*c**4/12 - 5*c**3/2 + 24*c**2 + c. Is j(9) a multiple of 17?
False
Suppose -874 = b - 24*b. Suppose b*l - 30*l = 8480. Does 31 divide l?
False
Let o be 160 + -2 + 0/6. Suppose 2*i = o + 602. Is 19 a factor of i?
True
Let a = 122 + -178. Let d be 3/((-58)/a - (-6)/(-21)). Is 9 a factor of (2336/24)/(d/6)?
False
Suppose -2*r + 0*g - 4*g = -18, -23 = -r + 5*g. Let q(a) = -10 + 6*a**2 - r*a**2 + 17 - a**3 + a. Is q(-8) a multiple of 21?
True
Let i = -44217 + 79833. Is 168 a factor of i?
True
Let u be 52 + -1 + 156/(-52). Is (-103)/(-15) + u/360 a multiple of 2?
False
Let k(u) = 6*u - 41*u**2 + 5 + 43*u**2 - 15. Suppose 0 = -6*i + 11*i - 25. Is 12 a factor of k(i)?
False
Suppose -3*o + 4 + 2 = -2*z, -5*z = 2*o - 4. Suppose 0 = 2*p - 4*k - 22, 4*p + 4*k - 4 = o*k. Suppose 104 = p*d - 202. Does 29 divide d?
False
