 n(p) = 6*a(p) + m(p). Is n(6) a multiple of 20?
False
Let u = 2338 - 1557. Let k = u + -596. Does 2 divide k?
False
Is 89 a factor of (-33)/55 + 51626/10?
True
Let m(w) = 4*w + 5 + 2*w**3 + 0*w**3 - 4*w**2 - w. Let b(s) = -7*s - 129. Let c be b(-19). Is 39 a factor of m(c)?
False
Suppose 15*o - 12 = 11*o. Let r(t) = 18*t**3 - 11*t + 25*t**o - 45*t**3 - 8*t**2 + 7. Does 14 divide r(-5)?
True
Let l be ((-81)/(-12))/(3/40). Is 45 a factor of (-1*l)/((-8)/120*6)?
True
Suppose 0 = -3*g - 2647 + 226. Let w = g + 1146. Does 7 divide w?
False
Let w(z) = -5*z**2 - 5*z - 14. Let p(c) = 5*c**2 + 5*c + 15. Let n(f) = -4*p(f) - 5*w(f). Let r be n(-3). Is (r/4 - 5) + 31 a multiple of 12?
True
Suppose 4*n + p = 1095, -3*n + 543 = -n + 5*p. Let j(g) = g**2 - 4*g - 114. Let z be j(-9). Suppose -x - n = -5*f, 5*f = -z*x + 8*x + 290. Does 9 divide f?
True
Let x be (-75)/10 - 1 - (-1)/2. Let o(h) = -58*h - 8. Is o(x) a multiple of 38?
True
Suppose 5*h + 3*b - 722 = 4*h, -2*h - 4*b + 1440 = 0. Is h a multiple of 16?
False
Suppose 29*u + 373945 = 13*u + 29*u. Is 23 a factor of u?
False
Suppose 3*m + 4*k - 29184 = 8*k, k = 0. Is m a multiple of 128?
True
Let v be (7/(21/558))/2. Let d = -89 + v. Suppose d*j = 5*a - 94 - 82, -4*j - 68 = -2*a. Is a a multiple of 2?
True
Suppose d - 12 = 5*t, 4*d - t - 138 = t. Suppose -40*h + d*h + 2340 = 0. Suppose 0 = 6*n - 0*n - h. Does 10 divide n?
True
Let l(z) = 566*z - 2903. Does 16 divide l(15)?
False
Let s = 603 - 1263. Let p = 982 + s. Is 46 a factor of p?
True
Suppose 0*d + 58 = 3*m - 4*d, -120 = -5*m - 5*d. Suppose 26*c - 252 = m*c. Is 21 a factor of c?
True
Let l = 31799 + -23619. Does 67 divide l?
False
Let f be 0/3 + (-4)/(12/(-27)). Let w(j) = 3*j**3 + 8*j + 0*j**2 - f*j - j**2 + 4. Is w(2) a multiple of 11?
True
Suppose -13*g = -131 - 103. Suppose -4*s - 7154 = -g*s. Does 12 divide s?
False
Let u = 18 + -9. Let o = 9 - u. Is (-7)/(-1*(1 - o)) even?
False
Let p(f) = 45*f - 170. Suppose -3*m = -7*m - 4*a, 15 = -2*m - 5*a. Does 12 divide p(m)?
False
Suppose 0 = -0*z + 4*z + 28. Let x(t) = -t**3 - 6*t**2 + t + 10. Let q be x(z). Let j = -25 + q. Is 4 a factor of j?
False
Suppose 0 = 82*g - 196*g + 348726. Is 18 a factor of g?
False
Suppose -6*j - 26 = -f - 4*j, -3 = j. Suppose 27*n = f*n + 350. Does 10 divide n?
True
Suppose 7*n - 11994 = -11024 + 34765. Does 15 divide n?
False
Suppose 12*z - 9*z - 36312 = -2*x, 0 = -4*x - 2*z + 72608. Suppose -60*p = -18390 - x. Is 29 a factor of p?
True
Is 35 a factor of ((-2374)/(-14))/((-196)/(-1372))?
False
Let t(f) = -3*f**2 - 2*f - 9. Let i(s) = -7*s**2 - 4*s - 19. Let u(w) = 2*i(w) - 5*t(w). Suppose 2*z - 4*c + 14 = 0, 5*z + 21 + 4 = 5*c. Does 10 divide u(z)?
True
Let i(d) = 552*d**2 + 12*d + 27. Does 57 divide i(-3)?
True
Let h(f) = 6*f**2 + 4*f - 5. Suppose -3*a + 16 = g, -g = 2*g + 5*a - 32. Let k be h(g). Let x = 121 - k. Is x a multiple of 14?
True
Let p = -1912 + 6576. Suppose -8086 = -25*q + p. Is 15 a factor of q?
True
Suppose l - 3534 = -3219. Is l a multiple of 45?
True
Suppose 9*t - 6*t = 42. Suppose o + 2*n = -o + 24, o + 2*n = t. Suppose o*r - 768 = -2*r. Does 16 divide r?
True
Let s = -205 + 152. Is (-3 - (s + -3))*3 a multiple of 5?
False
Suppose 18*p + 14034 - 81426 = 0. Is p a multiple of 13?
True
Suppose 92 = -4*f - d + 331, 3*d + 123 = 2*f. Let z = f + -54. Suppose -23 = -z*t + 193. Is 9 a factor of t?
True
Suppose -2564 = -3*c + 5*h - h, 3404 = 4*c + 2*h. Does 24 divide c?
False
Suppose -136719 - 131185 = -64*a. Does 20 divide a?
False
Let y(f) = -60*f - 9*f - 37*f - 6*f**2 + 21 - f**2. Is 6 a factor of y(-15)?
True
Let t = 85 - 56. Suppose -t*h + 82 = -28*h. Suppose -h = -2*f + 6. Is f a multiple of 9?
False
Let o be 2 - ((2 - 3) + 22). Let s(i) be the third derivative of i**5/60 + 2*i**4/3 - i**3/6 - 49*i**2. Does 28 divide s(o)?
True
Suppose -2*q = 3*a + 16, 5*q + 5*a + 18 = 3*a. Let y be 1/((6 - 2) + q)*4. Is 26 a factor of ((-3)/((-54)/(-624)))/(y/(-3))?
True
Suppose -9*p - 574 = -11*p. Let s = p + -207. Does 20 divide s?
True
Let d be (-96)/8*(-2)/(1 + 1). Suppose 0 = -24*b + 21*b + d. Suppose 0 = -2*y - 8, 5*y - 16 = -f + b*y. Does 6 divide f?
False
Suppose -5*o + 6410 = -6225. Does 29 divide o?
False
Let a(j) = -95*j - 161. Let c(w) = 189*w + 322. Let n(y) = -5*a(y) - 3*c(y). Does 32 divide n(-10)?
False
Let n(b) = b**3 + 48*b**2 - 83*b - 238. Does 65 divide n(-23)?
False
Suppose -5*n = -y + 340, -y - 263 = 2*n + 2*n. Let h = n + 85. Is 2 a factor of h?
True
Suppose 4*y - 125 = s, -22 + 6 = -4*y. Let d be (-2372)/(-14) + (-24)/56. Let o = s + d. Is 12 a factor of o?
True
Suppose -i - 18 = -6*c + 3*c, 0 = -5*c - 4*i + 30. Let m(p) = 17*p**2 + 3*p - 7. Is m(c) a multiple of 13?
False
Let w = -12619 + 24645. Is w a multiple of 14?
True
Let b(t) = t**3 - 104*t**2 + 404*t - 204. Does 69 divide b(100)?
False
Let i(h) = -h**3 + 10*h**2 - 2*h + 19. Let p be i(10). Does 32 divide 721 + (1 - p) + 1?
False
Suppose 11*z - 114 = -26. Suppose 5*w = 4*x + 6182, -3*x = 3*w - z*w + 6179. Is w a multiple of 77?
False
Suppose 483*t = 468*t + 436500. Is 10 a factor of t?
True
Let j = -303 + 304. Does 20 divide (-159)/(-12)*60/j?
False
Let j(k) = -4*k - 11. Let o(z) = 2*z**2 - 2. Let h be o(1). Suppose -4*t + 4*p = 28, t - 2*t - p - 3 = h. Does 3 divide j(t)?
True
Let s = -12 + 20. Suppose 4*p - m - 73 = 10, 0 = -4*m + 20. Let w = p - s. Does 2 divide w?
True
Let s(h) = -1612*h - 5399. Is 35 a factor of s(-12)?
False
Let u be 3/105*7 - 702/10. Does 10 divide (-58)/(-4)*-7*100/u?
False
Suppose -33*h + 423275 = -284670 + 124769. Is 61 a factor of h?
False
Suppose -2*h - 439 = 3*p - 31, 3*p + 615 = -3*h. Let d = 305 + h. Suppose -3*t = -268 - d. Does 26 divide t?
False
Suppose -68*h = 61*h - 60243. Is 7 a factor of h?
False
Suppose -172 - 120 = -2*c + o, -2*o - 8 = 0. Suppose t + u = 44, -88 = -5*t - 2*u + c. Is 16 a factor of t?
True
Suppose -7*b - 143 = -59. Let h(w) = -w**3 - 11*w**2 - 8*w - 23. Is h(b) a multiple of 27?
False
Is ((-8827)/(-39))/(17/1020) a multiple of 28?
True
Suppose -27*j + 129594 = -26142. Is 3 a factor of j?
False
Let s(j) = 2*j**3 + 12*j**2 - 11*j + 21. Let p be s(-7). Suppose p = -28*w - 22*w + 40250. Is w a multiple of 15?
False
Suppose 5*q - 7*q = 108. Let n = q - -90. Does 6 divide n?
True
Suppose 0 = 2*r - 3*m - 21774, -440*r + 43562 = -436*r + m. Is r a multiple of 66?
True
Let o be 2895/2*140/105. Suppose 13*d = o - 214. Is d a multiple of 33?
True
Let b = -3 + 8. Suppose 0 = 10*z + b*z - 2055. Does 9 divide z?
False
Let h(s) = -3*s**3 + 2*s**2 - 11*s + 24. Is h(-12) a multiple of 8?
False
Suppose -5*w - 925 = -0*w - 11440. Is w a multiple of 9?
False
Let n(o) = -o**2 - 21*o - 29. Let g be n(-13). Suppose -p = 72 - g. Is 17 a factor of (-3138)/(-14) - p/21?
False
Suppose -55*n + 51*n = -5*l + 25, -2*l + 10 = 4*n. Let w(f) = -3*f**2 - 4*f**2 + 0*f**2 + 30 - f + 2*f**2. Is 16 a factor of w(n)?
False
Suppose m = s + 9, -10*m + 5*s + 40 = -6*m. Suppose 4*n + 3*f = 75, -4*n + 42 = -m*f - 25. Is n a multiple of 8?
False
Let r = -2847 - -8959. Is 8 a factor of r?
True
Let y(x) = x**2 + 5*x + 16. Let k(h) = 4*h + 0 + h**2 - h + 15 + 3*h. Let u(q) = -5*k(q) + 6*y(q). Does 9 divide u(0)?
False
Suppose -16 = 80*h - 88*h. Is 231/h*(-13)/((-156)/8) a multiple of 5?
False
Suppose 4*b + 3*l - 3302 = 1626, -3*l + 1232 = b. Suppose 4*p = -5*c + 5336, 0 = -2*c + 2*p + 888 + b. Is 56 a factor of c?
True
Suppose -5*k - 21 = x, 3*x + 5*k + 0*k = -23. Let w = 13 + x. Is 3 a factor of w?
True
Is (-99)/(3465/(-523222)) - 8/(-10) a multiple of 23?
True
Let p = 17232 - 16314. Does 51 divide p?
True
Let q(f) = -6*f + 17. Let u be q(21). Let x = u + 237. Is 32 a factor of x?
True
Let g be 2*(2 + 1/2). Suppose -2*r = 8, n = -4*r + 10 + g. Is n a multiple of 7?
False
Let x be -1*0/((-49)/(-7)). Suppose 4*g - 2066 = -3*w, x = -4*g + 7*w - 3*w + 2080. Is g a multiple of 9?
False
Suppose n = 5*z - 819, -7*n + 3*n + 168 = z. Suppose 23*i + z = 647. Does 3 divide i?
True
Let u = 10289 - -8611. Is 180 a factor of u?
True
Let i(h) = -6*h**3 - 2*h**2 + 4*h - 4. Let d be i(2). Let l = d - -57. Suppose 0 = l*m + 5 - 545. Does 12 divide m?
True
Let i = 139 - -91. Let m = i - 146. Is 18 a factor of m?
False
Let f(h) = h - 1. Let g be f(5). Suppose 45 = -5*s - g*x + 173, 2*s - x =