Let a(i) = 9*i**2 + i**3 + 1211 + 17*i**2 - 1149 - 7*i. Is 63 a factor of a(-24)?
False
Suppose 0 = -4*z + j - 164, -3*z + 3*j - 30 = -2*z. Let k be 441/(-4)*112/z. Let q = k + -174. Is q a multiple of 15?
True
Let g = -71 + 152. Suppose -3*u + 0 = -g. Is 13 a factor of u?
False
Let s = -23 + 35. Let n be (s/10)/(69/230). Suppose n*i - 212 + 16 = 0. Is 6 a factor of i?
False
Let o(y) = 76*y**2 + 19*y - 84 + 26*y - 39*y**2 - 38*y**2. Does 38 divide o(29)?
True
Let f(r) = 654*r**2 - 20*r - 3. Does 11 divide f(-2)?
False
Does 16 divide 1/5 - 5348574/(-630)?
False
Let m(s) be the second derivative of s**4/12 - 13*s**3/6 - 7*s**2 + 87*s. Is m(15) a multiple of 8?
True
Let m(g) = 144*g - 3316. Is 25 a factor of m(114)?
True
Suppose 115200 = -22024*l + 22064*l. Does 90 divide l?
True
Let w = -12870 - -22638. Does 24 divide w?
True
Let c(o) = 16*o**2 + 13 - 12*o + 9*o**2 - o**3 - 2*o - 35*o**2. Let p(m) = -2*m - 9. Let r be p(0). Is c(r) a multiple of 17?
False
Let h = 50437 + 7255. Does 224 divide h?
False
Let l(w) = w**2 + 2*w + 0*w - 4*w**2 - 3*w**2 + 2 + 17*w**3. Let p(x) = -9*x**3 + 3*x**2 - x - 1. Let b(d) = 3*l(d) + 5*p(d). Is b(2) a multiple of 39?
True
Let t = 19 + -19. Suppose -3*b - 2*l = 3*l - 7, -3*b + l + 13 = t. Suppose w - 101 = b*y, 0*w = 2*w - 4*y - 206. Is 31 a factor of w?
False
Let y(n) = 2*n**3 + 16*n**2 + 23*n + 3. Let x be y(-5). Suppose z = -0*z. Suppose o + 2*i - 42 = z, -x = -3*o - i + 108. Does 20 divide o?
False
Is (165/(-11) - -12) + 222 a multiple of 2?
False
Suppose -t = j - 38, -2*t = -5*t + 5*j + 90. Let q = t - 46. Let n(w) = -w**2 - 13*w - 4. Is 3 a factor of n(q)?
True
Let o = 555 + -551. Suppose -o*h - 521 = -2105. Is 11 a factor of h?
True
Suppose 22*o - 32 = 14*o. Suppose 0 = 5*l + 2*s + o, -5*s - 8 = -4*l + 2. Is (2 - l)/(1/63) a multiple of 9?
True
Let z = 87 + 51. Let x = z - 134. Suppose 0 = j + j - 2*s - 72, -x*s = -5*j + 175. Is j even?
False
Let h(w) = -18*w + 166. Let y be h(9). Suppose -3*q + 2032 = 4*l, -y*q + l + 2741 = -0*l. Is 12 a factor of q?
True
Let u = 22 - 17. Suppose -u*r = p + p - 66, 3*r - 44 = p. Suppose -8*t + r = -34. Does 4 divide t?
False
Let u(h) = -32*h**3 - 2*h**2 - h + 2. Suppose -12*z + 4 = -14*z. Let a be u(z). Suppose a = 3*c - 45. Is 13 a factor of c?
False
Suppose 0 = v + 4*s + 2, -3*v + 5*s + 7 = 4*s. Suppose -v*k - 57 = -39. Is 4*9/(-12)*597/k a multiple of 40?
False
Suppose 149 = 10*h - 491. Let y be -6*(h/(-12) + 5). Suppose o - 115 = y*b, -o = 2*b + b - 105. Does 37 divide o?
True
Let l(s) = s**2 + 17*s - 60. Let d = 353 + -389. Is l(d) a multiple of 7?
False
Suppose 12*f - 16*f = -8. Suppose 0 = o, -6*r + 2*o - 64 = -f*r. Let b(x) = -x**3 - 16*x**2 - 6*x + 48. Does 18 divide b(r)?
True
Let x(o) = -31*o + 5 + 23*o - o**2 + 8. Let u be x(-9). Is 7 a factor of (-520)/(-12) - 4 - u/(-6)?
False
Let b(n) = 24*n**2 + 46*n + 47. Let a be b(-20). Suppose 30*v - a - 19533 = 0. Is 37 a factor of v?
False
Suppose -4*s + 31 = 23*y - 20*y, 0 = -4*y - 4*s + 36. Suppose y*j - 3519 = -2*l, j = 2*l + 405 + 306. Is j a multiple of 42?
False
Suppose -2448 = -17*c + 35*c. Let g(m) = -m**2 - 2*m - 5. Let d be g(-8). Let v = d - c. Is v a multiple of 17?
False
Let r be 3/(175/40 - 4). Suppose r*v + 92 = 12*v. Suppose -249*y + 248*y = -v. Does 5 divide y?
False
Suppose 4*u = -q, 3*u = -2*q - 2*u + 12. Suppose -2 = 4*m + 2. Does 21 divide (-3)/m + (-36)/q*-36?
True
Let m = 391 - -1159. Is m a multiple of 3?
False
Let g(s) be the second derivative of -s**5/10 - 5*s**4/4 + 11*s**3/3 - 2*s**2 - 13*s. Let q be 78/(-8) + 3/4. Does 8 divide g(q)?
False
Suppose -208402 - 45290 = -58*h. Does 27 divide h?
True
Let j(s) = s**2 + 10*s + 15. Let r be j(-3). Let y be -1 + (-2 - 168/(-9))*r. Let a = y + 249. Is a a multiple of 20?
False
Let i(n) be the third derivative of n**6/120 - n**5/4 + 3*n**4/4 - 7*n**3/6 - n**2. Suppose 38*j + 3*u - 48 = 35*j, 5*j - 78 = -4*u. Is i(j) a multiple of 20?
False
Let w = -19225 + 52222. Does 279 divide w?
False
Suppose 0 = -46*n - 170*n + 898932 + 688884. Does 12 divide n?
False
Suppose 0 = 13*d - 5802 - 7107. Let o = d - 200. Is 13 a factor of o?
True
Let l be (-26 + 29)/(2 - (-34)/(-20)). Does 21 divide (-3 + 18/l)*(-1490)/4?
False
Let w = 2525 + -1497. Suppose -7*t + w = -2185. Is 27 a factor of t?
True
Suppose 3*l = -3*g + 27, 5*g + 6 = -l - 5. Let k(n) = -3*n**2 + 42*n + 45. Is 3 a factor of k(l)?
True
Suppose x = 1713 + 1367. Is x a multiple of 35?
True
Let f(r) = -4*r + 32. Let i(u) = -7*u - 11. Let k be i(-3). Let l be f(k). Let b(h) = -41*h + 15. Does 49 divide b(l)?
True
Suppose k - 5*a = 1485 + 331, -7150 = -4*k + a. Does 77 divide k?
False
Let v = -936 + 943. Suppose 21*n + v*n = 37128. Is 17 a factor of n?
True
Suppose -9*s + 3*s + 10224 = -5*s. Is 6 a factor of s?
True
Let o = -504 - -168. Let t = o - -516. Is 34 a factor of t?
False
Let m(l) = -l**2 - 12*l - 28. Let c = -51 - -35. Let t be m(c). Is 17 a factor of -5 - 3*t/12?
False
Let p(c) = -5*c**2 + 13*c + 7. Let z(j) = -6*j**2 + 14*j + 6. Let i(u) = 5*p(u) - 4*z(u). Let g be i(10). Is 5/((-5)/(-56)) + g/(-1) a multiple of 11?
True
Suppose 39*m - 17*m - 43680 = 8*m. Is m a multiple of 24?
True
Suppose 2*d - 2395 - 461 = 0. Suppose 39*r - d = 35*r. Is r a multiple of 17?
True
Let j(m) = -m**2 + 5*m + 9. Let w be j(6). Suppose -w*x - 3*v - 2*v + 11 = 0, -5*x + v = -65. Let n(s) = -s**3 + 13*s**2 - 4*s - 29. Is 8 a factor of n(x)?
False
Suppose -v + 2*m = -41 + 25, m - 1 = 0. Let f = 4 - 0. Suppose -v = f*n - 182. Is 6 a factor of n?
False
Let z = 12745 - 9028. Does 8 divide z?
False
Suppose 0 = 15*c - 19*c + 48. Suppose -2*u + u = -c. Is 40 a factor of 488/u + (-6)/9?
True
Let d(j) = -j + 23. Let z be d(26). Let p be z - (5 - 55/5). Suppose -6*s + 144 = -p*s. Is s a multiple of 7?
False
Let v be ((-34)/(-3))/(3 + (-175)/63). Let n = 1 + v. Is 5 a factor of n?
False
Suppose -4*u = 3*n - 15, n - 5 = -u - n. Does 60 divide 4 + u/((-15)/(-1480))?
True
Let o(u) = 667*u**2 - 371*u - 4. Is o(4) a multiple of 56?
True
Let i(m) = -m**2 + 9*m + 5. Let a be i(9). Let u be 3/(-15) - (-1231)/a. Let b = u + -139. Is 27 a factor of b?
False
Let i(c) = -1035*c + 589. Is 3 a factor of i(-3)?
False
Let c = 98 + -94. Suppose 8*m = 3*b + c*m - 128, 5*b = -3*m + 194. Does 2 divide b?
True
Let j = -66 + 68. Suppose 3*l - c = 3*c + 29, -4*c = -j*l + 26. Suppose -2*i - 4*r + 0 + 14 = 0, l*i - 37 = -2*r. Is i a multiple of 8?
False
Suppose -57*v + 51*v + 18 = 0. Suppose v*m + 1470 = 3*c, -49*c - 3*m + 990 = -47*c. Does 12 divide c?
True
Suppose -53*v + 229465 = -520167. Is 104 a factor of v?
True
Let g(q) = 4*q**3 + q**2. Let t be g(1). Suppose -s + t*s = 2*s. Suppose s = -10*p + 8*p + 94. Does 4 divide p?
False
Let l(v) = 35*v + 2741. Is l(77) a multiple of 77?
False
Let b = -4959 - -11088. Does 6 divide b?
False
Suppose 188 = 2*b - 122. Suppose -2*w + 3*w = 5*k - b, -2*k - 2*w = -62. Let f = k - -36. Is 11 a factor of f?
False
Let k(q) = 76*q**2 + 11*q - 505. Does 106 divide k(-15)?
True
Let i(a) = 105*a**2 + 1. Suppose 4*f = -2*c + 12 - 0, -3*f - 13 = -4*c. Does 3 divide i(f)?
False
Let m(v) = -2*v**3 + 12*v**2 - 3*v - 119. Does 12 divide m(-7)?
True
Let v(q) = 14*q**3 - q**2 + 11*q + 9. Let p(f) = -5*f**3 - 4*f - 3. Let t(r) = -17*p(r) - 6*v(r). Let l be t(-4). Let h = 121 - l. Is 25 a factor of h?
True
Let f be 1432 - (-2 + -2)/(4/4). Is 40 a factor of f/36 + -6*5/(-270)?
True
Let i = 1329 + -650. Suppose 3*c - i = 1049. Is c a multiple of 8?
True
Let l = 5589 + -5255. Is 18 a factor of l?
False
Let o(i) = 3*i**2 + i + 4. Suppose -3*r - 9 = -3*c + 5*c, 5*r = -5. Does 3 divide o(c)?
False
Suppose 4*a - 10324 = -2*r, 4*a - 159*r = -160*r + 10330. Is 23 a factor of a?
False
Let r(o) = -o**3 + 10*o**2 + o - 5. Let h be r(10). Suppose m + 5 = 2*s - s, 0 = -h*m + 3*s - 15. Suppose 3*k - 72 = -m*k. Does 8 divide k?
True
Suppose 2*b + 2*t - 328 = 0, 2*t + 220 = 3*b - 267. Let q be 2 + ((-72)/14)/((-87)/406). Suppose b + q = 3*k. Is 21 a factor of k?
True
Suppose -19 = -5*z + 11. Suppose z*t - 62 = 8*t. Let i = t + 96. Is 13 a factor of i?
True
Suppose -2*n = -c - 55, n = 2*c + 1 + 28. Let b = -83 + 58. Let g = n + b. Does 2 divide g?
True
Suppose -7*u = -5*u - 4. Suppose 6 = 3*r + 5*x - 11, 2*x = r - u. Suppose 148 = g + r. Is 16 