= 5*o. Is o even?
False
Let r(m) = 3*m**2 - 3*m. Let b be r(-3). Let q = -9 + b. Let t = 33 + q. Is t a multiple of 12?
True
Let b be 119 + 6 + ((-4)/(-2))/2. Suppose -4*p + 4*t - 164 = -668, p + t - b = 0. Does 9 divide p?
True
Suppose k - 2128 = -13*k. Is 3 a factor of k?
False
Let q = -17 + 20. Let z be 26/q*9/1. Suppose -5*g - z = -8*g. Does 26 divide g?
True
Let u be (18/27)/(1/(-18)). Let q(b) = -35*b + 2. Let s be q(u). Suppose -n - 5 = 0, 5*f + 3*n - 43 = s. Is f a multiple of 21?
False
Let y be 72/27*18/4. Suppose 0*w + w = y. Is w a multiple of 4?
True
Let i be -4 + 7 + (3 - 6). Suppose -u = 3*v - 115, -5*v + i*u = 3*u - 185. Is 4 a factor of v?
True
Let s(j) = -j**3 + 11*j**2 + 1. Let k be s(11). Let l be (k + -1 - 8) + 2. Does 15 divide (-1872)/(-42) + l/(-14)?
True
Let r(s) = -3*s + 14. Let v(d) = -8*d + 41. Let m = 0 - 6. Let i(t) = m*v(t) + 17*r(t). Is i(-6) a multiple of 10?
True
Suppose -3*u = 3*u - 1152. Let d = u + -117. Does 15 divide d?
True
Let m = 978 + -629. Is m a multiple of 19?
False
Let f = 64 - 281. Let o = f - -316. Is o a multiple of 19?
False
Suppose -31236 = 4*p - 23*p. Does 22 divide p?
False
Suppose -5 = -7*y + 30. Suppose i + 77 = -5*c + 660, 4*i - 577 = -y*c. Does 13 divide c?
True
Let p be 3*(-909)/(-54) + (-2)/4. Suppose -c = 5*w - 14, -24 = -4*w - 4*c - 0*c. Suppose s + r - 21 = -w*r, -4*r = -3*s + p. Does 18 divide s?
True
Let p = -49 + 52. Suppose -14 - 73 = -p*x. Is 6 a factor of x?
False
Does 11 divide ((-125)/3)/((-3)/9)?
False
Suppose -4*x + 17 = f, -5*x + 3*f - 4*f + 20 = 0. Suppose -13*q = -4*q - 441. Let o = x + q. Does 13 divide o?
True
Suppose 5*y = 7*y - 4. Is (48/(-30))/(y/(-15)) a multiple of 12?
True
Suppose -194 - 254 = -2*m - 3*i, -m = -3*i - 242. Is 6 a factor of m?
False
Let b = -2 + 4. Let c(p) = 20*p**3 - p**2 - 3*p. Does 34 divide c(b)?
False
Let t = 299 + -137. Is 6 a factor of t?
True
Suppose -2*s + 343 = -537. Is s a multiple of 40?
True
Suppose 2*d - 419 = 19. Let p = d + -98. Is 29 a factor of p?
False
Let v = 1815 - 1494. Does 13 divide v?
False
Let l = -202 + 210. Let w be 78 + (1 - 1) + 2. Suppose -2*z = -0 - l, 5*h = 5*z + w. Is 4 a factor of h?
True
Let p be (6/8)/((-10)/80). Let b be ((-6)/p)/(2/8). Suppose -2 = c, -b*t + 5*c + 114 = -0*c. Does 7 divide t?
False
Suppose -4*s = -2*s - 16. Suppose 4*m = 3*t - s, -5*t + 3 + 5 = -4*m. Suppose 3*v + 3*u = 36 + 132, 5*v + u - 268 = t. Is 15 a factor of v?
False
Suppose -9*b + 240 = 15. Let v = 46 - b. Is 7 a factor of v?
True
Let o(w) = w**2. Let f be o(-4). Let u = f - 18. Is 287/5 - u/(-5) a multiple of 12?
False
Does 25 divide 50*((-66)/(-15) - -2)?
False
Let m be (-3 - (-484)/8)/((-2)/4). Let w = 194 + m. Does 16 divide w?
False
Let u(c) = -c**2 + 2*c - 18. Let i be u(13). Let g = -84 - i. Is 11 a factor of g?
True
Let v(a) = -a**2 + a - 5. Let b(y) = -y**2 + y - 3. Let f(n) = 11*b(n) - 6*v(n). Let k be f(4). Let d = -30 - k. Does 19 divide d?
False
Let j(l) = -l + 2. Let o be j(0). Let t(w) = -6 + 6 + 3*w**o - 2*w. Is t(-2) a multiple of 16?
True
Suppose 23 = -4*h - t + 6, -4*t - 17 = -h. Suppose 3*o = -6, -l = -3*l + 4*o - 12. Let d = h - l. Is d a multiple of 2?
False
Let d = 20 + -15. Suppose x - 3*w = 15, -x - d*w = 4*x - 35. Suppose 5*g = -3*f + 81, 5*g + 5*f - 84 + x = 0. Is g a multiple of 14?
False
Let g = 1042 - 502. Is 15 a factor of g?
True
Let s = -1 - -3. Suppose -l = 3*o + s*o - 105, l = -o + 17. Is o a multiple of 14?
False
Let z = -1 - -4. Suppose -142 - 50 = z*j. Let c = -30 - j. Is 17 a factor of c?
True
Let f be (-3)/(4/(4*-1)). Suppose -89 = -f*l + 5*m, 0 = -2*l - 3*m + 27 + 26. Suppose -5*b + s = -0 - l, -b = -s - 8. Is b even?
False
Suppose 5*k - 3*i = 1122, -3*i + 812 = 5*k - 286. Let w = -130 + k. Is w a multiple of 23?
True
Let s = 10 + 4. Let r be (-2)/7 - 24/s. Does 13 divide ((-259)/14)/(r/4)?
False
Let h = -14 + 17. Let t(i) = 2*i**2 - 2*i**3 - h*i - i + 9*i**2. Does 3 divide t(5)?
False
Suppose 3*m - 17 = -2*f, 0 = 5*m - 0*f - 2*f - 7. Suppose 0*q - m*q - 345 = 0. Let x = q + 210. Is x a multiple of 22?
False
Let j(b) = 38*b**2 + 24*b - 3. Is j(3) a multiple of 11?
False
Does 6 divide ((-756)/(-15))/(33/440)?
True
Let i(s) = 24*s**2 + 6*s - 12. Is i(3) a multiple of 10?
False
Let r be (-4)/(25/15 - 1). Let b(w) = -w**3 - 6*w**2 - 4*w - 15. Does 2 divide b(r)?
False
Let o(n) = -n**2 + n + 2. Let t be o(0). Suppose 5*b = -t*d - 22, -3*d + 4*d = -b - 17. Let k = d + 47. Is 11 a factor of k?
False
Suppose 0 = -2*r + 5*u + 836, 10 = 4*u + 2. Is r a multiple of 48?
False
Suppose 2*f + 4*c - 50 = 0, 2*c = -2*f + 5*c + 22. Suppose -5*l = -f*l + 996. Is 14 a factor of l?
False
Suppose 0 = -0*x - 3*x - 5*q + 169, -3*x + 181 = 2*q. Does 9 divide x?
True
Does 54 divide 2/(-3) - (-7296)/9?
True
Let g = 9 + -4. Suppose -2*y = -g*m + 210 + 292, -3*m + 304 = -4*y. Is 10 a factor of m?
True
Let n = 179 + -110. Let v = 139 - n. Does 17 divide (v/5)/(2/17)?
True
Let s(k) = k**2 + 6*k - 4. Let d be s(-7). Suppose 2*h = 4*p - 64 - 24, d*h - 48 = -3*p. Does 11 divide p?
False
Suppose 14*g - 508 = 80. Is g a multiple of 21?
True
Suppose -70*s + 72*s = 946. Does 105 divide s?
False
Suppose 8 = 2*l + 2. Is 7 a factor of (-10)/l*75/(-10)?
False
Let z be 1345 + 9 + (-20)/5. Suppose 2*k + 7*k - z = 0. Does 15 divide k?
True
Suppose -1063 = -2*q + 3*c + 1379, -q = -3*c - 1227. Is q a multiple of 12?
False
Let w = -4 + 8. Let q(o) = o**3 - 3*o**2 - o - 4. Let b be q(w). Let p(y) = y. Is 4 a factor of p(b)?
True
Suppose 8*z = -4*z + 288. Does 4 divide z?
True
Suppose 2*d + d = -225. Suppose -13*s + 11*s = 228. Let a = d - s. Is a a multiple of 25?
False
Let w = 6 - 5. Let c(s) = -10*s**3 - s**2 + 2*s - 2. Let v be c(w). Is 29 a factor of (29/2)/(v/(-22))?
True
Let r = 15 + 25. Suppose 3*z = -r + 19. Let y = 9 - z. Is y a multiple of 16?
True
Suppose -7*c + 870 = -3715. Does 17 divide c?
False
Suppose -22*q + 34*q - 5532 = 0. Is q a multiple of 13?
False
Suppose 0 = -7*j - 18 - 129. Let a = -33 - j. Is 3/(a/(-14))*4 a multiple of 14?
True
Let n(g) = 50*g - 3. Does 5 divide n(2)?
False
Let k(o) = o**3 - 30*o**2 - 131*o + 14. Does 8 divide k(34)?
True
Let u be 6/15 - (-183)/5. Let s be 2/(3/((-15)/(-10))). Suppose z - u = s. Does 7 divide z?
False
Is 15012/45 - -2 - (-2)/5 a multiple of 12?
True
Let g be (1 - (-3)/6) + (-6895)/10. Let b = -405 - g. Does 15 divide b?
False
Let l = -17 - -485. Suppose 4*t - 17*t + l = 0. Is 9 a factor of t?
True
Suppose y = 5*y - 28. Let c be (-9 - -7) + (1 + 0)*4. Suppose -60 = -y*k + c*k. Does 4 divide k?
True
Suppose 4*u + 4*o - 64 = 0, 4*o = -0*u - 5*u + 82. Suppose 2*i + 0*i - 40 = -x, i = -x + u. Is 6 a factor of i?
False
Let c(h) = -h**3 - 8*h**2 - 16*h + 20. Is 43 a factor of c(-11)?
True
Suppose -2*w + 189*m = 190*m - 6653, -3*w - m + 9981 = 0. Does 32 divide w?
True
Let d = 455 + 105. Is 10 a factor of d?
True
Is 40678/16 - (-675)/1080 a multiple of 30?
False
Let k(i) = i**3 - 15*i**2 + 14*i + 2. Let f be k(14). Let v = 30 - f. Let c = v + 3. Does 31 divide c?
True
Let j(u) be the first derivative of 24*u**2 + 2*u - 11 + 21*u - 22*u**2. Does 19 divide j(11)?
False
Suppose -5*w = 3*a + 68, 2*w + 19 = -3*a - 37. Let g = 38 + a. Does 18 divide g?
False
Let z(q) = -q**3 - 1. Let j(w) = w**3 - 8*w**2 - 2*w + 21. Let a(v) = j(v) + 2*z(v). Is 5 a factor of a(-8)?
True
Let g(p) = -p**3 - 3*p + 15*p**2 + 17 + 16 + 4*p + 34*p. Is g(17) a multiple of 6?
False
Suppose 3*k = -111 + 15. Is 2/(-4)*k - -2 a multiple of 6?
True
Let j(h) = -5*h + 7. Let f be j(7). Let x = f - -31. Suppose -x*i = -i - 50. Is 4 a factor of i?
False
Let w(t) = 3*t - 3*t - 2*t + 3*t + 1. Let z be w(-4). Let f(h) = 12*h**2 + 5*h + 6. Does 15 divide f(z)?
False
Suppose 0 = a + 431 - 94. Let m = -241 - a. Is 20 a factor of m?
False
Let r(d) = -3*d**2 - 2*d - 1. Let u be r(-1). Let l be u/6 + 48/9. Suppose 0*i + 60 = g - 4*i, -4*g + l*i + 262 = 0. Is 20 a factor of g?
False
Let c = -62 + 331. Let q = -185 + c. Does 24 divide q?
False
Suppose 15 = -t + 6*t. Suppose 0 = t*j - j - 12. Is 9 a factor of j*(2 + 3) + -3?
True
Suppose -p + 119 = 5*q, -4*q = 2*p - 3*p + 164. Does 14 divide p?
False
Suppose y - 5*z = 29 - 5, -5*z - 40 = -5*y. Suppose 4*s + 0*s - y*k - 552 = 0, -4*k - 138 = -s. Is s a multiple of 46?
True
Let d = -39