ltiple of 45?
False
Suppose -4*q + 30 - 26 = 0. Let z(k) = 673*k**2 + 2*k - 3. Does 21 divide z(q)?
True
Let z(u) = 12*u + 18. Let f be z(2). Let t(m) = 3*m - 35 - 5*m + 9*m - f. Does 56 divide t(19)?
True
Let x(f) = 42*f - 70. Let p = 105 - 102. Does 28 divide x(p)?
True
Let t(u) = -990*u + 340. Does 41 divide t(-9)?
False
Suppose -5*i + 4*i + 6*i = 8840. Does 14 divide i?
False
Suppose 0 = m - 3, -3*s - 278 = 3*m + 91. Let q = s + 183. Does 12 divide q?
False
Let y be (7 + (-1655)/20)/((-2)/(-16)). Let i = y + 1901. Is i a multiple of 35?
True
Suppose 0 = -2*l + 3*g - 4*g + 2262, -5*l + 2*g + 5646 = 0. Is 85 a factor of l?
False
Does 12 divide (-40)/(524/(-261) + 22 + -20)?
True
Suppose 3*f = -3*o - 0 - 3, f - o = 5. Let y = f - -80. Suppose 5*t - y = -12. Is 9 a factor of t?
False
Suppose 7*f - 21*f + 70 = 0. Suppose 0 = -6*k - f*k + 22. Suppose a - 4*r - 100 = 0, k*r - 200 = -0*a - 2*a. Is a a multiple of 20?
True
Let o(g) = -g**3 - 7*g**2 - 7*g - 7. Let v be o(-6). Let t be (-8)/v - 32/(-56)*-7. Does 36 divide 1 - t - -3*(11 + 2)?
True
Let h be 2 - 2 - (-6 - (-20 - -6)). Let u(a) = 16*a**2 + 38*a + 20. Does 43 divide u(h)?
False
Suppose 4*a = 5*c + 59290, -a + 4*c + 18417 = 3589. Suppose -6*m + 25*m = a. Does 65 divide m?
True
Let x(u) = -7 - 6 - 2 - 9 + 119*u - 7*u. Does 52 divide x(3)?
True
Is 6 a factor of ((-35)/(-10))/((-24)/(-115932)) + (-2)/(-8)?
False
Suppose 0 = -6*g + 1939 + 21090 - 745. Does 42 divide g?
False
Let b be (5/(-3) + 2)*54/6. Suppose -10*h + 6*h = -3*z - 979, -3 = b*z. Is 61 a factor of h?
True
Let o(j) = -j**2 - 6*j - 1. Let g be o(-2). Suppose 45 = -g*r + 12*r. Suppose -r*x + 486 = -108. Is 22 a factor of x?
True
Is 7 a factor of ((-304)/(-64))/((-4)/(-272))?
False
Let u = -187 + -31. Let x = u + 226. Is x a multiple of 6?
False
Let s(t) = 212*t**2 + 5*t + 5. Let o be s(-1). Suppose o = r + 9*b - 6*b, -5*r = -2*b - 1060. Is 4 a factor of r?
True
Let s(c) = -c**2 - 3*c + 1. Let f be s(0). Let a be f + (-48)/42 - 36/(-7). Is 2 a factor of a/(-15) + ((-134)/(-6) - -2)?
True
Let k be (-6)/(-8) - 15/(-12). Suppose b + 276 = -4*i, 5*b + 39 = -k*i - 81. Let r = i + 136. Is 11 a factor of r?
True
Suppose 3*h - 4881 = z, -88*h + 83*h + 2*z + 8136 = 0. Does 2 divide h?
True
Let s(m) = -4*m - 9 - 10 + 16. Let a be s(-4). Suppose -a*d + 215 = -71. Does 22 divide d?
True
Suppose -114*h + 447724 = 59*h. Is h even?
True
Suppose 204*u - 240 = 189*u. Suppose -88*m + 92*m + u = 0, 0 = -c + 5*m + 128. Is 2 a factor of c?
True
Let j be (-1179)/(-6) - 12/(-24). Suppose s - j = -2*d, s - 4*d - 752 = -3*s. Does 19 divide s?
False
Suppose 5*l - 16*l + 109758 = 0. Suppose -5*h + 2*x - 1972 = -l, 3194 = 2*h + 2*x. Does 15 divide h?
False
Suppose 0 = -7*u + 166 + 128. Let f = u + -40. Suppose -f*s = -0*s - 18. Is 9 a factor of s?
True
Suppose 3*g = h - 26369 + 5806, -4*h - 5*g = -82303. Is h a multiple of 148?
True
Suppose 45521 = 10*c - 57419. Is 9 a factor of c?
False
Let r(t) = -70*t + 12. Let n(o) = -23*o + 4. Let u(v) = v**2 - 4*v - 9. Let d be u(6). Let c(z) = d*r(z) - 8*n(z). Does 18 divide c(-4)?
True
Suppose 2*g - 11392 = -5*j, 5*g - 1342 = 2*j - 5922. Is 114 a factor of j?
True
Suppose -80 - 56 = -5*f - 4*g, 3*f - g - 68 = 0. Is 11 a factor of (2782/(-6) + (-8)/f)*-1?
False
Let n = 3 - -13. Let j = -25 + n. Let f(o) = -o**2 - 15*o - 15. Does 13 divide f(j)?
True
Suppose 6874 = 14*o - 29479 - 19591. Is 36 a factor of o?
True
Let r be 656*(-3)/(-18)*45/6. Suppose 118 - r = -3*v. Is v a multiple of 26?
True
Let n(t) = 3*t + 152. Suppose -2*r + 5*i + 0 = 83, -4*r - 141 = -5*i. Is n(r) a multiple of 5?
True
Let h(s) = 5*s**2 - 5*s + 9. Let v be h(-5). Let c = v - 49. Suppose -c - 112 = -2*u. Is 17 a factor of u?
False
Suppose 59*s + 603 + 585 = 41*s. Let y = -50 + 83. Is 6 a factor of (-12)/s + 2370/y?
True
Let z(c) be the third derivative of -c**6/60 - c**5/6 + c**4/24 + 4*c**3/3 - 2*c**2 - 97. Is z(-8) a multiple of 21?
False
Let h = 182 + -259. Let j = -9 - h. Suppose -4*m + j = 4*q, 7*q = 2*q - m + 65. Is 4 a factor of q?
True
Let h = 197 - -115. Suppose -2*g - 15*f + 12*f = -602, 0 = -g + 4*f + h. Is 11 a factor of g?
False
Let l(o) = -10*o - 92. Let p be l(21). Let y = -139 - p. Is y a multiple of 16?
False
Let q be ((-82)/(-4))/(5/30). Suppose s + 72 = 2*v, s + 3*v - 39 = -106. Let k = s + q. Does 9 divide k?
False
Let d = -11515 - -46443. Is 19 a factor of d?
False
Suppose 3*m + 0*m = 90. Let n = m - 59. Let j = n + 115. Does 7 divide j?
False
Is 2 a factor of (-3182)/(-10) + 23/(-115)?
True
Let g(u) be the first derivative of u**4/4 - 7*u**2/2 - u + 23. Let d be g(3). Let t(p) = 2*p**2 + 2*p + 25. Is t(d) a multiple of 17?
True
Let j(x) = 7*x**2 - 7*x - 8. Let n be j(-1). Suppose -n = -8*z + 26. Suppose -5*q = -2*v - 149, -q + 19 = z*v + v. Is 29 a factor of q?
True
Suppose 3*y - y - 8 = 0. Suppose 4*u = 0, -4*o + 6*u = y*u - 200. Is 9 a factor of o?
False
Suppose -l - 39006 = -2*f + 2986, 3*l = -2*f + 41984. Is 65 a factor of f?
True
Suppose 0 = 2*o - 8, -5*o = -6*a + 3*a - 62. Let g be (-7)/a - 2/4*-73. Suppose -g*v - 310 = -42*v. Is v a multiple of 8?
False
Suppose 0 = 11*b - 72952 + 20174. Let i = -2898 + b. Is 19 a factor of i?
True
Let a = -3992 - -4337. Is a a multiple of 5?
True
Suppose 8*q - 70 = 3*q. Suppose -q*c + 16*c - 6 = 0. Suppose 2*k + 4*d + 0*d = 50, 4*k + c*d = 85. Is 19 a factor of k?
True
Is 14 a factor of (-173)/(-519) - ((-19522)/6 + 2)?
False
Let j = 1 - -17. Suppose -j*a = -21*a + 4239. Suppose -8*s + 315 = -a. Is s a multiple of 27?
True
Suppose 5*k = k + 8, 3*f - 3*k = -69. Suppose 75 = 3*a + 2*x - 538, -a = x - 203. Let o = a + f. Is 30 a factor of o?
False
Suppose 16*a = 13*a - 3*l + 32772, a + 2*l - 10922 = 0. Does 42 divide a?
False
Suppose -147 = -22*t + 7. Let u(x) = 47*x - 40. Does 16 divide u(t)?
False
Let l = 36 - -427. Is (l - 0) + (18 - 23) a multiple of 10?
False
Suppose -m - 5*j - 199 - 119 = 0, 5*m - j = -1564. Let o = m - -386. Does 5 divide o?
False
Let b(z) = -3432*z**3 + 4*z**2 + 4*z + 1. Is b(-1) a multiple of 10?
False
Let i = 45050 + -8017. Is i a multiple of 73?
False
Suppose -i - d - 3 = -1, -4*d = 3*i + 10. Let p be ((-4)/5)/((-8)/40). Suppose -2*o - 30 = -i*x, -68 + 14 = -p*x + 2*o. Does 12 divide x?
True
Suppose l + 8 = -5*n, 4*l + 2*n + 47 = -3*n. Let k(p) = 2*p**2 - 58*p - 7. Let y(a) = a**2 - 14*a. Let x(b) = k(b) - 3*y(b). Is 4 a factor of x(l)?
True
Suppose -5*n - 26 = -2*t + 48, -3*t + 130 = 2*n. Suppose -45*w + t*w = -3. Let s = w - -10. Is s a multiple of 11?
True
Let c = -5715 - -20753. Is 206 a factor of c?
True
Let t(i) be the third derivative of i**5/60 + 5*i**4/24 + 9*i**3/2 - i**2. Let g be t(-9). Suppose -7*f + g = -0*f. Does 2 divide f?
False
Suppose 2460 = 5*t - 3*d, -2*d = -4*t - 18 + 1988. Is t - 17/((-85)/10) a multiple of 5?
False
Suppose -2*s - 2 - 36 = 2*b, 0 = 4*b + s + 85. Let n be (-262)/(-3) + b/(-33). Let l = n + -58. Does 15 divide l?
True
Let l(a) = a**2 + 1. Let o be l(1). Suppose -4*j - 46 = j - o*r, -r - 29 = 4*j. Does 35 divide ((j/2)/4)/((-1)/191)?
False
Suppose 0 = -2*f + 6, -5*c + 3*f = 169 - 185. Let g(o) = 5*o + 1. Let t be g(4). Does 2 divide (t/(-28))/((-1)/4) + c?
True
Suppose 0 = 2*n + 2*b - 6*b - 30, 4*n + 2*b = 110. Suppose 4*z = 20*o - n*o + 1003, 1 = -o. Is 7 a factor of z?
True
Let u(o) = o**3 + 18*o**2 + 29*o - 22. Let r be u(-16). Let i(y) = y**3 - 25*y**2 - 15*y + 2. Is 24 a factor of i(r)?
True
Is 5 a factor of (-4 + 120/28)/(14/11809)?
False
Let k = -36953 + 60416. Does 99 divide k?
True
Let f = 542 - 539. Suppose y - 2 = -f, 3*x - 3*y - 1830 = 0. Is 29 a factor of x?
True
Is ((-188)/10)/((-57590)/(-4800) - 12) a multiple of 192?
True
Let k = -5 + -5. Let w be 7/((-63)/30)*12/k. Let f = w - -4. Is 4 a factor of f?
True
Let o(v) = -v**2 - 127*v - 120. Is 30 a factor of o(-37)?
True
Let v = -16 + 18. Suppose -v*l + l + 7 = 5*b, -3*l + b = -21. Let d(y) = y**2 - 11. Is 10 a factor of d(l)?
False
Let d be 0/((-9)/27*6). Suppose -38*o + 48*o - 6080 = d. Does 16 divide o?
True
Let w be ((-2)/(-8))/(25/(-8300)). Let u = 126 + w. Is 8 a factor of u?
False
Let w = 56 + 1173. Suppose 23*b - w = 151. Is b a multiple of 30?
True
Let h be (-79)/(-2) + (-10)/(-20). Is 18 a factor of (448/h + -4)/(1/35)?
True
Is (-2)/3 - (15/27)/((-