) = -a**3 + 9*a**2 + 6. Let s be b(9). Suppose r + 11 = -l + s*l, 3 = l - r. Suppose 4*p - 30 = l*u - 3*u, -5*u - 5*p + 105 = 0. Does 2 divide u?
True
Let u = -60108 - -132388. Is 17 a factor of u?
False
Suppose -2*j = 5*f - 361 - 1353, -2*f - j + 685 = 0. Let m = -267 + f. Does 2 divide m?
False
Let o(g) = g**2 + g**3 + 63 - 24 - 3*g + g. Let n be (253/(-322) - 4/(-14))*0. Does 7 divide o(n)?
False
Suppose -12*c = 5*u - 11*c + 8, 2*u + 10 = 3*c. Suppose -2*b - i = 3*i - 22, 10 = 2*b - 2*i. Is ((-1688)/b)/u + (-24)/(-56) a multiple of 21?
False
Suppose -2*y = 2*y - 12. Suppose 2666 = 22*j - 2988. Suppose 3*m + j = 4*p, -3*p + y*m = -8 - 181. Is 34 a factor of p?
True
Let j(b) = -38*b + 9 + 2*b**2 + 30*b**2 + 23*b + 2*b**2 + 22*b**2. Is 29 a factor of j(2)?
True
Let c = 9811 + -9588. Is 9 a factor of c?
False
Suppose 0 = 3*x + 2*q - 1138, 5*q + 6 = 1. Is x a multiple of 2?
True
Let h(y) = -2*y**3 + 4*y**2 + 300*y - 2. Is 23 a factor of h(-14)?
True
Is 63 a factor of (-54438)/(-8) + 18*8/(-192)?
True
Let t = 28310 - 17868. Does 94 divide t?
False
Let w(l) = l**2 - 15*l - 16. Let j be w(16). Suppose j = -4*v - 0*n + 3*n - 36, -18 = v - 3*n. Does 4 divide 9/v*236/(-6)?
False
Let j(w) = 3*w**2 - 4*w + 12. Let m be j(2). Suppose 4*i - 3*k = 835, -20*i + m*i + 4*k = -832. Is 7 a factor of i?
False
Let k be (-10)/25*(-4 + (-99)/9). Let s(t) = 6*t**2 + t - 1. Let f be s(2). Suppose 295 - f = k*d. Is 15 a factor of d?
True
Is 3 a factor of (-28)/(-4)*(-130)/(-91)?
False
Let b(p) = 18*p + 298. Let r(x) = 45*x + 744. Let s(o) = 12*b(o) - 5*r(o). Is s(-30) a multiple of 8?
False
Suppose y + 20 = 24. Let g(l) = 3*l**2 - 30*l + 35. Let u(k) = 4*k**2 - 31*k + 36. Let q(p) = y*u(p) - 5*g(p). Is q(-28) a multiple of 5?
True
Suppose 9*y - 5*h = 5*y + 44322, -55464 = -5*y - 4*h. Does 13 divide y?
False
Let c = 722 - 718. Is (0 - 7)*c/(420/(-6795)) a multiple of 23?
False
Suppose 94 = 5*u - 3*i, -7*i + 100 = 5*u - 12*i. Suppose 0 = -2*t + 79 + u. Is t a multiple of 8?
True
Suppose 4*v - 8 = 4*r, -3*v - 11 = -7*v + 3*r. Is 18 a factor of 60525/120 + (45/(-24))/v?
True
Suppose f = -16*f + 51. Suppose p = -2*j + 227, p + 327 = f*j - 2*p. Does 2 divide j?
True
Let z = 20 + -18. Suppose -z*t - 539 - 41 = 0. Let a = -182 - t. Is a a multiple of 36?
True
Let k = 66 - 63. Suppose 12*n - 14*n + k*g + 561 = 0, g = 3. Is 24 a factor of n?
False
Suppose -11 = -3*y + r, -4*r + 36 = 4*y - 0*r. Let j be (5 + -5)*(0 + -1) + 0. Suppose j = -0*s - 5*s + 3*a + 285, -s + y*a + 79 = 0. Does 27 divide s?
True
Let q(y) = 70*y + 187. Let w be q(-3). Suppose 4*a = 5*d + 6 + 246, -81 = 2*d + 5*a. Let v = w - d. Is v a multiple of 9?
False
Suppose 2*g + 3*g = 5*r + 35, -3*r + 3 = g. Let b be 3*(-2)/6*-3. Suppose g*m - 324 = -b*m. Is 12 a factor of m?
True
Let x be (1 - 2) + (-42)/14 + 268. Suppose 22*c + x = 30*c. Is c a multiple of 11?
True
Let k = 143 + -139. Suppose -6*v = -k*v - 50. Suppose 0 = v*w - 27*w + 442. Does 13 divide w?
True
Suppose 2*h = -n - n, 2*n + 6 = 4*h. Is -2 - -431 - (-6)/(-2)*n a multiple of 54?
True
Let d(h) = h**3 - 28*h**2 + 53*h + 10. Let u be d(26). Suppose 3*x + 42 = u, l - 381 = -5*x. Is 16 a factor of l?
False
Suppose 0 = -3*u - 4*b + 26, -3 = -3*u + 2*b - 7. Suppose p = 5*t - 9*t + 442, 4 = u*p. Does 11 divide t?
True
Suppose -264*l + 274*l + 10 = 0. Let i(k) = 360*k**2 - 16*k - 16. Is i(l) a multiple of 12?
True
Is 44 a factor of ((-10824)/(-15))/((130/50)/13)?
True
Let z be ((-2)/4)/(2/(-28)). Suppose -4*b + a + 1843 = 0, 0 = b + 3*b - 5*a - 1823. Is 24 a factor of (2/z)/(-1) - (-49104)/b?
False
Let w = -49621 + 97282. Does 155 divide w?
False
Let b = -231 + 330. Let r = b - 26. Let z = r + 11. Is 12 a factor of z?
True
Suppose 11 + 49 = 2*f - 3*d, -2*f = -d - 52. Suppose 2576 = 4*p + f*p. Is 6 a factor of p?
False
Let b = -358 + 354. Let o(w) = 95*w**2 - 6*w - 32. Is 22 a factor of o(b)?
False
Let r(o) = 3*o**3 + 2*o**2 - 4. Let l be r(3). Let j = l - -7. Let a = -38 + j. Is 14 a factor of a?
False
Suppose 40*w = 25*w - 13770. Let k = -18 - -13. Is 34 a factor of w/(-10) + (1/k)/(-1)?
False
Let y(p) = 213*p - 25. Let w be y(6). Suppose -4*d = -3*o - w, -d + 192 + 150 = 5*o. Is d a multiple of 31?
False
Suppose 556229 - 21565 - 27928 = 72*p. Does 17 divide p?
True
Is 1974/4*((115 - 8) + (-5 - 6)) a multiple of 126?
True
Suppose v - 981 = 4*c, -5*v + 51 = -3*c - 4854. Does 3 divide v?
True
Suppose 5*j = 2*n - 127, -2*j - 74 - 140 = -4*n. Let y(w) = -3*w**3 - 8*w**2 - 3*w - 3. Let x be y(-3). Suppose -x = 6*a - n. Is 3 a factor of a?
True
Suppose -4*s - j = -62780, 9*s - j + 47084 = 12*s. Does 79 divide s?
False
Suppose -3*n = 4*y - 74565, -10*y + 93159 = -5*y - 3*n. Is y a multiple of 93?
False
Suppose 0 = -3*o + 21*o - 1476. Suppose -78*z = -o*z + 632. Does 18 divide z?
False
Let c(l) = 224*l - 1304. Is c(67) a multiple of 24?
True
Is 79 a factor of 4740*1/((-22)/(-33))?
True
Suppose -313 = -s + 5*k, 4*s + 11*k - 1274 = 9*k. Suppose i - s = -2*m, -5*m - 395 = -2*i + 214. Does 39 divide i?
True
Let c = -19491 - -28840. Does 70 divide c?
False
Suppose -75624 - 72090 = -7*h. Does 69 divide h?
False
Let i be (20/14 + -4)/(3/(-14)). Is 4 a factor of 2049/i + 65/52?
True
Let u(f) = -5*f**3 + 10*f**2 - 45*f - 12. Does 110 divide u(-16)?
False
Let m = -685 - -985. Let d be (-12)/(-42) - 24/(-14). Suppose r = -d, 5*v + r + 32 = m. Does 9 divide v?
True
Let i(j) = 51*j**2 + 9*j + 912. Does 42 divide i(-24)?
True
Suppose 6*h = 5*g + 27167, -2*g = -4*h - 5888 + 24006. Does 103 divide h?
True
Let h(w) = 34*w - 188. Let x be (-3 - -7) + (-4)/(-2). Is h(x) even?
True
Let u = 33 - 29. Suppose 2*a = 6*y - 3*y + 113, 261 = u*a + y. Suppose -a = -5*s + 11. Is s a multiple of 3?
True
Suppose 4*u + 0*v = -v + 22, 3*u - 24 = 3*v. Suppose 0 = 2*i + 7 + 3. Does 4 divide (u/i)/((-2)/55)?
False
Let r be 9/(-9)*(-1 - -4). Let n = 23 + r. Let b = 26 + n. Does 23 divide b?
True
Let n be ((-16)/3)/((-2)/21). Let c(k) = -k**3 - 14*k**2 + 29*k - 46. Let s be c(-16). Suppose -s*f + 20 + n = 0. Is 19 a factor of f?
True
Let s be 28 - 2/(14/91). Let q(c) be the third derivative of c**4/12 + 5*c**3/3 - c**2. Is q(s) a multiple of 10?
True
Let j(m) = -5*m + 12. Let y be j(-3). Is 2 a factor of ((-124)/(-3))/(18/y)?
True
Suppose -3*v - 3*j = -0*v - 33, 5*v - 2*j - 55 = 0. Suppose -556 - 1567 = -v*c. Is 3 a factor of c?
False
Does 15 divide (-1 + -9559)/(1150/(-1725))?
True
Let q(f) = -2*f - 126. Let h be q(37). Let g = -153 - h. Is 8 a factor of g?
False
Let f(w) = 112*w - 1344. Does 7 divide f(18)?
True
Suppose y - 6*n + 3*n + 758 = 0, 4*y = -5*n - 3100. Let b = -448 - y. Does 23 divide b?
True
Suppose 12 + 3 = 5*p. Let s(c) = -p*c**3 - c**2 - 12 + 9*c - 4*c - 11*c. Is 4 a factor of s(-2)?
True
Let t = 127 + -122. Suppose 9*i - 20 = t*i. Suppose -3*l + 15 = 0, -6*j - 407 = -9*j + i*l. Does 36 divide j?
True
Suppose -f = 3*f - 56. Let y(d) = 113*d**2 - 31 - 5*d - 112*d**2 + d. Is 32 a factor of y(f)?
False
Is (-112)/(-176)*11 - 108906/(-2) a multiple of 14?
True
Let m(d) = 10*d + 7. Let j be m(-4). Let r(g) = 4*g + 9. Let p be r(6). Let b = p - j. Is 11 a factor of b?
True
Let c = 429 - 549. Suppose 675 = 2*t + t. Let s = t + c. Is 21 a factor of s?
True
Suppose 8*l = 45 + 3. Let w(o) = -o**2 + 2*o - 6. Let g be w(l). Is 26 a factor of 21/(-14) - 42/8*g?
True
Let n = 585 - 585. Let c(l) = 4*l**2 - 7*l + 240. Is c(n) a multiple of 24?
True
Suppose -2*w + 4 = 0, -5*r - 126 = -4*w + 1097. Let d = r + 288. Is 15 a factor of d?
True
Let h(r) = -r - 1. Let d be h(-4). Let x(b) = 7*b - 16 - 6*b**2 + 0 + 6*b**d - 5*b**3 - 2*b**3. Does 7 divide x(-8)?
True
Let d be ((-44)/(-8))/(9/36). Does 16 divide 42 - (0 + -1 + -25 + d)?
False
Let a = 4588 + -2960. Does 17 divide a?
False
Suppose 3005 = q - 2*s, -21*s + 8975 = 3*q - 19*s. Is q a multiple of 162?
False
Suppose -2*b = -6, -8*o - 5*b + 2352 = -5*o. Let k = -576 + o. Is 29 a factor of k?
True
Let a = 333 + -802. Let x = -191 - a. Let g = x + -194. Is g a multiple of 10?
False
Let c(j) = -135*j - 486. Is c(-24) a multiple of 17?
True
Let z(w) be the first derivative of w**3/3 + 9*w**2/2 + 20*w - 8. Suppose -5*p - 7*p - 120 = 0. Is z(p) a multiple of 5?
True
Suppose 9383 + 13589 = 4*b - 4*z, 0 = -5*z - 20. Is 80 a factor of b?
False
Suppose -19*n + 