o(a) = 10*a + 4. Let j(g) = -g**3 + 2*g**2 + 2*g + 18. Let i be j(0). Suppose -4 = -20*c + i*c. Is 3 a factor of o(c)?
True
Let d(o) = -o**3 - 7*o**2 + 18*o + 17. Let z = 378 - 388. Does 15 divide d(z)?
False
Let n(i) = 7*i**3 + 8*i**2 - 26*i + 44. Does 44 divide n(11)?
False
Suppose 3*c + 3 = -2*n, -2*c + 5 = -5*n + 7. Is 28 a factor of (c - -169)*(-21)/(-6)?
True
Let k be (7 + -3)/(((-56)/136)/(-7)). Let d(a) = -7*a + 3. Let s be d(-6). Let h = k - s. Is 4 a factor of h?
False
Suppose 4*v + 20 = 5*v + w, 0 = 3*w. Suppose -4*t + v = 8. Suppose 5*f - 20 = 0, 9 = 5*q - t*f - 339. Is q a multiple of 24?
True
Let s(h) be the third derivative of 17*h**6/5 - h**5/30 + h**4/24 + h**3/6 - 3*h**2 - 15*h. Does 24 divide s(1)?
True
Suppose 3*h = -3*n + 2451, h = -143*n + 147*n - 3263. Is 16 a factor of n?
True
Suppose -450*c = -392*c - 1512060. Does 15 divide c?
True
Suppose 3*d - 115 = -103. Suppose -4*w - 2*t + 6*t + 4 = 0, 0 = -5*w + d*t + 6. Suppose q + 1 = w*q, 3*f - q = 461. Is 16 a factor of f?
False
Suppose 0 = 3*d + 5*b - 12381 - 25964, 2*d - 4*b = 25556. Does 52 divide d?
False
Let p(t) = t**3 - 6*t**2 + 4*t - 11. Let q be p(6). Let m be -10 + (-28)/q + (-10)/(-65). Is 22/((-4)/m*2) a multiple of 33?
True
Let t(q) = 6*q**3 + 29*q**2 - 52*q - 16. Does 12 divide t(8)?
False
Let s be 18/99 - 2/11. Suppose s*n = -2*n + 5*n. Suppose -4*r = -n*r - 884. Is r a multiple of 31?
False
Let r = 107 + -99. Suppose 2*y - 33 = -o + 315, -r = 4*o. Is 17 a factor of y?
False
Suppose -5*f = -4*m + 6, -4*f + 0*m + 24 = 4*m. Suppose 15*i = -f*i + 1734. Does 3 divide i?
True
Suppose 3*p = -4*v - 170, 0*v = 2*v - 2. Suppose 104*l - 9374 = -5*l. Let w = l - p. Is 22 a factor of w?
False
Suppose 163185 = 119*s - 114*s + 5*r, -2*s + 65286 = 5*r. Does 13 divide s?
False
Suppose -48*s - 37142 + 60202 = -108796. Does 11 divide s?
False
Let z = 181 + -182. Is 15 a factor of ((-110)/8)/(z/20)?
False
Let d(l) = l**3 - 2*l**2 - 13*l - 26. Let z be d(-6). Let w = z - -491. Does 5 divide w?
True
Let p(f) = f**2 - 12*f + 13. Suppose t - 4*s = 31, t - 2*s = -1 + 22. Let d be p(t). Does 33 divide (-132)/1*d*(-54)/48?
True
Suppose 2*p = h - 10 + 2, -4*h + 67 = -p. Let w(g) = -18*g + 1 - 2 + 11 - 5 + g**2. Is w(h) even?
False
Suppose x = -d + 24600 + 2789, -82188 = -3*x + 4*d. Does 125 divide x?
False
Suppose 0 = 2*h - 4*i + 24 - 262, -4*h + 454 = 3*i. Let c = h + -94. Is c a multiple of 3?
True
Suppose -125*x + 45 = -130*x. Is (-9 + -36)*x*16/10 a multiple of 13?
False
Let h = -6 + -31. Let b = 43 + h. Is 11/(b/(-3 + 21)) a multiple of 5?
False
Let w = 27237 - 13443. Does 6 divide w?
True
Let o(s) = -2*s**3 - 16*s**2 - 45*s - 178. Does 5 divide o(-9)?
False
Suppose 8 = -2*y, 18*s - 13*s = 2*y + 20288. Does 2 divide s?
True
Let q(b) = -6*b**2 - 24*b - 7. Let l be q(-4). Is 6 a factor of (-1)/(l/1512*3)?
True
Let z(h) = -61*h + 4. Let r be z(-3). Does 23 divide r + 36 + (-10)/(-2)?
False
Suppose -10 = 9*a - 100. Suppose -a = -n + 8. Is 2 a factor of 10/(-15)*3 + n?
True
Let s(r) = 2*r + 5. Let v be s(4). Let c = -9 + v. Suppose c*h - 4*w - 60 = 0, -3*h = -2*h + 5*w - 27. Is h a multiple of 17?
True
Suppose -5*s + 3 = -62. Let y = s - 16. Is 6 a factor of y - (0 + -4) - -32?
False
Let p = 291 + -169. Is 1 - 4/16*-10*p a multiple of 12?
False
Suppose -w - 8*v = -4*v - 606, 3*v - 1187 = -2*w. Let l = w - 327. Is 37 a factor of l?
True
Is 155 a factor of 457275/150 - 9/(-6)?
False
Suppose 4*x + 4*x - 154512 = -29*x. Does 24 divide x?
True
Let u be (-2)/6 + 110/6. Suppose 2*y + 3*z - 7 = 8, y - 25 = -5*z. Suppose -4*o + q + 61 = y, -2*o + 2*q + u = 4*q. Does 7 divide o?
True
Let f be (-115)/((-98)/(-21) - 5). Suppose -s + 501 = f. Is 3 a factor of s?
True
Let f(d) = 5*d**2 + 15*d + 40. Let o be f(-6). Suppose 3*k - 251 = o. Is k a multiple of 19?
False
Suppose -2*f = 2*f + 20, -5*v = 4*f + 160. Let x be 1386/v*(0 + -2). Let p = x - 51. Is 7 a factor of p?
False
Suppose -32763 = -16*r - 32*r - 19*r. Does 3 divide r?
True
Suppose 0 = -11*o - 6 + 39. Suppose 0 = -3*d + m - 486, o*d - 89 = -m - 569. Does 16 divide d*(-2 - 0) + -2?
True
Is 12/(432/2790)*122 a multiple of 61?
True
Let d = -26 + 28. Suppose -14 = -2*x + 2*y, -4*x + 7 = -3*y - 24. Suppose x*t - d*t - 80 = 0. Is t a multiple of 5?
True
Let d be 4*1/(-6)*-6. Let q be ((-954)/(-4))/(6/8). Suppose -d*k - 3*h = -q, k = -2*k - 2*h + 239. Is k a multiple of 8?
False
Suppose -s = 13*q - 10*q - 8, -s - q = -4. Suppose -5*v = -1 - 4. Is -1 + 17 - (s + -5)*v a multiple of 12?
False
Let g(t) = 15*t + 18. Let b be g(15). Suppose 2*m = 3*q + b, -5*m = q + 4*q - 545. Suppose -j + 5*l = -m, -4*j + 3*l + 418 = 2*l. Is j a multiple of 8?
True
Let n(a) be the second derivative of -a**3 + 21*a**2 - 2*a + 47. Is n(0) a multiple of 6?
True
Let c be (18 + (1 - 4))*4 + 1. Let j = c - 56. Suppose -3 = 4*s - 15, j*s - 450 = -5*h. Does 29 divide h?
True
Let t be 36/7 - -5*9/(-315). Suppose -3*j = t*g - 873, 5*j + 867 = 5*g + 2*j. Is g a multiple of 6?
True
Let o(p) = -2*p**2 + 34*p - 163. Let q be o(30). Let k = q - -1676. Does 18 divide k?
False
Let r = 81 - 981. Let j = -550 - r. Does 25 divide j?
True
Let f(a) = -101*a + 39. Suppose -5*j - 3 = 12. Does 50 divide f(j)?
False
Is 0 + 12238 + -5 + -6 + 9 a multiple of 19?
True
Let w(f) = -2*f**2 + 4*f + 11*f + f**2 - 5*f - 15. Let u be w(6). Let p = u + 2. Is p a multiple of 10?
False
Let y = -16121 + 16497. Is y even?
True
Suppose 3*h + 192 = 19*h. Suppose -24*n = -18*n - h. Suppose 122 = 2*q - n*w, q + 2 - 61 = -w. Does 10 divide q?
True
Suppose 4*j + 234 - 1250 = 5*v, 5*j - 2*v = 1270. Suppose -5*h = n - 941 - j, 5*n = -25. Is h a multiple of 6?
True
Let g(v) = 2*v - 1. Let o(a) = 31*a + 12. Let r(s) = -5*g(s) + o(s). Is r(31) a multiple of 13?
False
Let v(t) = 10*t + 242. Let h be v(-24). Suppose -5*o = -g - 4413, o - h*o + 888 = -2*g. Does 19 divide o?
False
Let d(c) = -149*c + 1263. Is 6 a factor of d(-17)?
False
Let d(g) = -2*g - 12. Let h be d(-5). Let j be (2/4)/(h/(-348)). Let m = j - -17. Is 26 a factor of m?
True
Let j = 42 + 23. Suppose 517 = 5*p + v, -5*p + 668 - 149 = 2*v. Let b = p - j. Is 6 a factor of b?
False
Let y be 441 + (3/12 - 0)*8. Suppose 3*r + 0*r = 5*w + y, 458 = 3*r - 2*w. Suppose r = k + 72. Is k a multiple of 12?
True
Suppose -11*j - 2021 = -8115. Suppose -12*m = -j - 334. Is 7 a factor of m?
False
Let r(c) = -201*c + 17. Let j(v) = 134*v - 11. Let o(w) = 7*j(w) + 5*r(w). Let u = -49 + 47. Does 26 divide o(u)?
False
Suppose 2*a = 2*v + 3*v - 8, 4*a + 2 = 3*v. Suppose v*z - 376 = -6*z. Is z a multiple of 2?
False
Let o(g) = 3*g**3 + 153*g**2 + 148*g + 176. Let j(q) = -q**3 - 51*q**2 - 49*q - 58. Let f(u) = -8*j(u) - 3*o(u). Is f(-50) a multiple of 6?
True
Let p = -2237 + 2230. Let t(y) be the third derivative of y**5/60 + y**4/24 - 3*y**3/2 - y**2. Is t(p) a multiple of 6?
False
Suppose 4*w - a = 3*w - 10, -10 = 3*w + 2*a. Let v be 112/w*3/(-2). Let j = v - -5. Does 24 divide j?
False
Does 16 divide -1*12*(128/576 - 49434/27)?
True
Let i(j) = 144*j - 3023. Does 52 divide i(51)?
False
Let r(l) = l**3 - 8*l**2 + 9*l + 2. Let b be r(7). Let n be (-1328)/b + (1 + 1 - 1). Is n*-1*(-3)/(-6) a multiple of 30?
False
Suppose 35*h - 38*h + 1272 = 0. Suppose 2*u + 2*u - h = -2*n, -3*u = -5*n + 1060. Is n a multiple of 19?
False
Suppose -p = -4*t + 5*t - 2, 0 = -2*p. Suppose t*o = 5*g - 125 - 300, -4*g = 3*o - 363. Let s = -31 + g. Is s a multiple of 7?
True
Let d(o) be the third derivative of o**5/120 + 3*o**4/8 - 23*o**3/6 - 34*o**2 + 1. Let v(f) be the first derivative of d(f). Is v(7) a multiple of 5?
False
Suppose 173*j + 56743 = 5*f + 175*j, -4*f = -3*j - 45399. Is 39 a factor of f?
True
Suppose 315*n + 2284 = 622*n - 306*n. Is n a multiple of 17?
False
Let v(z) = -6*z**2 - 281*z + 21. Is v(-35) a multiple of 7?
True
Suppose 0 = 19*r - 16*r + 30. Is 29 a factor of (0 - 1)/(r/1460)?
False
Suppose z + 20 = -3*v - 599, 4*v + 2*z = -822. Let f = v + 309. Let o = f + 199. Is o a multiple of 32?
False
Suppose -85*d + 512945 = -827489 + 236114. Is d a multiple of 232?
True
Let k be 71/(1084/180 - 6). Suppose -5*i + 5*q = -k, 11*i - 12*i + 635 = -5*q. Is i a multiple of 11?
False
Suppose -6*y + 70452 = 3*o, -284*o + 117462 = -279*o - 4*y. Is o a multiple of 9?
True
Is 67 a factor of 17