 s(u) a multiple of 41?
True
Let o(f) = 39*f**2 - 17 + 1 + 39*f - 4*f**3 + 16*f**2 + 9*f**2 + 1. Is 21 a factor of o(16)?
True
Let i(z) = -2487*z**3 + 10*z**2 + 65*z + 84. Is i(-2) a multiple of 18?
True
Let n(m) = 120*m**2 - 425*m - 7055. Does 41 divide n(-17)?
True
Let h be -4 - -9 - (1 + 5). Is 38 a factor of h/(-3) + (-3 - 22132/(-33))?
False
Suppose -5044 = -4*f - 4*o, -4*f + 4*o + 2546 = -2*f. Suppose 0 = 15*z - 715 - f. Suppose -196 = -4*y + z. Is y a multiple of 12?
False
Let d = 37 + -19. Does 64 divide (d/7)/(7/(83006/21))?
False
Suppose -4776 = -4*w + 59*s - 55*s, -w - 3*s + 1178 = 0. Is w a multiple of 5?
True
Suppose -6*l + 632 = -964. Suppose 1759 = 9*x - l. Is 25 a factor of x?
True
Let i(w) = -277*w + 80. Is i(-2) a multiple of 51?
False
Let a = -14 - -6. Suppose 366*j - 356*j = -100. Does 17 divide 204*1*j/a?
True
Let p = -3437 + 6295. Is 27 a factor of p?
False
Let v be 277*2/(-2)*(3 + -4). Suppose -2*w + 358 = -2*x, 0 = -w - x + v - 100. Let u = 260 - w. Does 23 divide u?
False
Let z(c) = 2*c**3 - 2*c**2 + 4. Let x be z(0). Suppose 204 = r + x*i, -7*i + 2 = -5*i. Is 4 a factor of r?
True
Let a(f) = -4*f**3 + 4*f**2 + 3*f - 2. Let y(g) = -g**3 - 11*g**2 + 16*g + 21. Let b be y(-12). Let h = -29 - b. Is a(h) a multiple of 8?
True
Suppose -104*v + 8763 = -35*v. Suppose -3*i - 234 = -3. Let s = i + v. Is s a multiple of 5?
True
Let m be (3 + 6*21/(-30))*-135. Suppose -c = 4*o - 0*o - m, c - o = 147. Does 50 divide c?
True
Let c = 3215 + -8255. Is 15 a factor of (-1)/((-6)/(-28))*c/98?
True
Suppose 28137 + 17349 = 9*n. Let c be 70 - (0 - (1 + -1)). Does 24 divide 2/(-10) + n/c?
True
Suppose 2*v + 0*v - 991 = 5*f, 3*v = f + 1467. Does 53 divide 9 + -11 + v + 4?
False
Let k(q) = 39*q - 117. Let y be k(34). Suppose -12*d + 999 + y = 0. Does 6 divide d?
False
Suppose -6*k - 36 = -9*k. Suppose -r + 11 = k. Let q = 11 + r. Is q a multiple of 10?
True
Suppose 2*q + 20 = -4*g, -5*g + q - 34 = -q. Is ((-14432)/72)/(-11) - g/(-27) a multiple of 2?
True
Suppose -169*x + 172*x - 1152 = 0. Is 6 a factor of x?
True
Suppose -5*i + 48 = -4*o - 300, -4*i = -2*o - 180. Let f be (-3 - o/(-4))/((-2)/12). Let p = -58 + f. Does 10 divide p?
False
Suppose -2*q = -2*t - 2060, 3*q = 4*t + 84 + 3007. Is q a multiple of 2?
False
Let p(u) = -u**3 - 20*u**2 - 19*u - 37. Let l be p(-19). Let f = 35 - l. Does 6 divide f?
True
Let n = 14399 + -1583. Is 16 a factor of n?
True
Suppose 4*q - 2*a - 4860 = 0, 2*q + 129*a - 2426 = 132*a. Is q a multiple of 23?
False
Let z(k) = 23*k - 12. Let l be z(-3). Let v = -8 - l. Let t = 136 - v. Is t a multiple of 21?
True
Let c = 72704 + -27251. Is c a multiple of 109?
True
Let j be 192/3*(-3 - 21/(-6)). Suppose 22 = 4*q - 2*t, -4*q = 3*t - 2 - 5. Suppose -q = -6*m + j. Is m a multiple of 3?
True
Suppose -15*u = -49*u + 71 + 99. Let o be (-2)/(4/(-14)) - 2. Suppose i + u*h - 37 = 0, 89 = -i + 3*i - o*h. Does 7 divide i?
True
Let g(y) = -y + 22. Let q(c) = -2*c + 21. Let o(x) = 4*g(x) - 5*q(x). Suppose -4*p = -5*d, -53*d + 52*d + 14 = 2*p. Is 13 a factor of o(p)?
True
Suppose -28*z = -24*z - 1784. Let h = -97 + z. Does 11 divide h?
False
Suppose 0 = -5*z, 5*j + 2934*z - 2938*z - 119215 = 0. Is 23 a factor of j?
False
Suppose -3*t = 3, -3*s + 0*t + 102 = 3*t. Suppose 4*q + 3*v - 880 = 0, -3*q + s = -v - 625. Does 10 divide q?
True
Suppose -393*a + 403*a = 140. Suppose a*f = 17*f - 1536. Does 14 divide f?
False
Suppose -4*k + 23190 = -3*j, -371*j - 6 = -372*j. Is k a multiple of 16?
False
Let y(d) = 44*d - 25. Let t(s) = 45*s - 25. Let n(r) = 3*t(r) - 4*y(r). Let k be n(-6). Let u = 409 - k. Is u a multiple of 10?
False
Let c = 2011 - 4022. Let s = c - -2847. Does 91 divide s?
False
Let k(w) = -274*w - 3863. Is 17 a factor of k(-21)?
False
Let r(m) = 4*m**2 - 16*m - 114. Let s = 796 + -805. Is r(s) a multiple of 12?
False
Suppose 3*c - 47100 = -2*q + 23728, 3*c + 106212 = 3*q. Does 16 divide q?
True
Let r = 97 - 45. Let u = -1829 + 1921. Let y = u - r. Is y a multiple of 9?
False
Suppose -7 = 19*q - 12*q. Does 8 divide (3 + 0 + 11)/(q/(-4))?
True
Suppose 26 = 2*r + 160. Suppose -2*f = 2*f + 484. Let o = r - f. Is 8 a factor of o?
False
Let v(s) = 3*s - 16. Let f be v(5). Let w be (f + -2 + 5)*(25 - -1). Suppose 16 + w = u. Is u a multiple of 17?
True
Let f(v) = -v**3 - 12*v**2 - 27*v + 3. Let d be f(-9). Suppose 0 = -5*w - 4*m + 1288, 0*m = -d*w - 3*m + 774. Does 9 divide w?
False
Let g(t) = 1322*t**2 + 2*t + 3. Let l be g(-1). Does 9 divide (l/12)/21*136/3?
False
Suppose -154*z = -198*z + 49324. Is z a multiple of 59?
True
Let s = -19017 + 32470. Does 31 divide s?
False
Let o = 38 + -37. Let v be (-2 - (-3)/o)*-1. Does 18 divide (v/((-2)/(-4)))/(28/(-798))?
False
Suppose -1173*m - 308493 = -1400*m. Does 4 divide m?
False
Let g(i) = 132*i + 3. Let y(k) = 131*k + 4. Let p(q) = -6*g(q) + 5*y(q). Let t be p(-14). Suppose 0 = 9*n + n - t. Is n a multiple of 12?
True
Suppose 100*c - 105*c = 100. Does 89 divide ((-15)/c)/(2/3560)?
True
Let r = 291 + -173. Suppose -3*m = -b - 18, -m + 4*m - 3 = -4*b. Suppose 0*g - m*z = -3*g + r, -2*z - 203 = -5*g. Is 8 a factor of g?
False
Suppose 5*f = -4*s - 28, -8*s + 3*f - 24 = -7*s. Is ((-2015)/26)/(0 + 2/s) a multiple of 16?
False
Let i = 80 - 74. Suppose -8*d + 8 = -i*d. Suppose f - 125 = -d*f. Is 7 a factor of f?
False
Let b(y) = 68*y + 43 + 56 - 24*y + 73 - 28. Does 23 divide b(10)?
False
Let k be (-54 + 69)/(1/(1/3)). Let o(y) = 38*y**2 + y - 43. Is 38 a factor of o(k)?
True
Is 2/(-4)*(38 - 292) - (-3 + 0) a multiple of 6?
False
Suppose -k = -5*o + 20, -3*k = k + 2*o - 30. Suppose -4*q + 3*x + 5 + 7 = 0, -2*x = k*q - 15. Does 13 divide (-5)/(q/39*-1)?
True
Suppose -3*c + 1820 = 11*c. Suppose g + c = -47. Let u = -107 - g. Is 37 a factor of u?
False
Let b(f) = 0*f + 259 - 211 + 8*f - f**2. Let v be b(12). Suppose -3*w + 125 + 307 = v. Is w a multiple of 18?
True
Let n be -1 + -1 - (-1)/((-3)/(-21)). Suppose 5*i + n*m - 1645 = 0, -8*m + 4*m + 20 = 0. Does 27 divide i?
True
Suppose -t - y = -5*t + 10, 0 = 3*t + y - 4. Suppose -480 = t*d - 882. Is d a multiple of 14?
False
Does 16 divide 944*(4 + 9 + -5)?
True
Suppose -248*q + 4073467 = 117*q - 96*q. Is 11 a factor of q?
False
Let o be 7 - -218 - (3 - 8). Suppose 0*p + 4*n = -2*p + o, -3*p = 2*n - 345. Suppose -q + 53 = -5*t, 2*t = -5*q - 3*t + p. Does 4 divide q?
True
Let j be ((-9)/(-12) - 106/24)*-3. Suppose -2*y + j*y = -54. Is (-1058)/(-11) + y/33 a multiple of 32?
True
Suppose -623*l + 5873768 = -14895183. Does 53 divide l?
True
Suppose -16 = 4*f, -4*q - 1358*f + 33708 = -1362*f. Is q a multiple of 174?
False
Suppose c + 2*p - 35 = 0, -47 = -3*c + 3*p + 76. Let v = 118 - c. Let t = v + -53. Is 23 a factor of t?
False
Let r(w) = 3*w**2 + 67*w + 72. Let h = -195 - -168. Is r(h) a multiple of 18?
True
Let u(x) = 38*x**2 + 64*x + 302. Is u(-7) a multiple of 66?
True
Suppose 5*n + 28289 - 120504 = 0. Does 125 divide n?
False
Suppose 9300 = 3*l + 12*c - 15*c, -3*c = -l + 3102. Is l a multiple of 125?
False
Suppose -10*m - 1794 + 10434 = 0. Is m a multiple of 27?
True
Suppose -4*l = -7 - 1. Let w(o) = 306*o**2 + 8*o - 22. Is 42 a factor of w(l)?
True
Let l be -24*((-95)/30)/19. Suppose -2*f - 4918 + 902 = -l*b, 3*f = 0. Does 106 divide b?
False
Let t = 27 - -44. Let h = t - 71. Suppose h = 10*z - 7*z - 24. Does 8 divide z?
True
Let m = 11 - -65. Suppose -m = -5*n + 3*n. Suppose 44*o - n*o = 48. Does 8 divide o?
True
Is ((-17803)/(-38) - -14)*10 a multiple of 19?
False
Let z = 65 - 49. Suppose -z*c + 19*c = 18. Is 35 a factor of (-2)/(-1) - (-109 + c)?
True
Suppose -3*j + 6*j = m - 17, 4*m - 16 = -j. Suppose -218 = -q - 2*g, -4*q + 0*g = m*g - 860. Does 15 divide q?
True
Let r = 7143 - -3432. Does 199 divide r?
False
Let y(a) = 847*a - 328. Does 15 divide y(4)?
True
Let d be ((35/2)/7)/(1/8). Suppose -f + 0*f - 5*z + d = 0, 2*z + 190 = 4*f. Does 45 divide f?
True
Let b(f) = -8*f + 155. Let d be b(20). Does 6 divide d/((-40)/24) + 117?
True
Let i(m) = 6*m**2 + 4*m - 9. Let s be (14 - 1)*1/(2 - 1). Suppose 7*h + 18 = s*h. Is i(h) a multiple of 7?
False
Let h(f) be the third derivative of f**4/6 + 122*f**3/3 + 111*f**2. Does 48 divide h(-25)?
True
Does 127 divide 90/315*4445/1?
True
Suppose 11 = -6*j - 1. Is 12 a factor of (-4)/14 - 1754*j/28?
F