**2 + 2*w + 1. Let j be x(2). Suppose -j = 4*y - 249. Does 6 divide y?
True
Let q(j) be the second derivative of j**3/6 + 13*j**2/2 + j. Let k be q(-8). Suppose 0 = -2*a + k*a - 45. Is 9 a factor of a?
False
Is 3 a factor of 465/5*((-8)/(-6))/2?
False
Let i be (-2)/(-4) + 305/(-10). Does 7 divide (i + 16)*(-10)/4?
True
Let b = 9 + -5. Suppose 2*o - 3*z = 63, -b*o + 136 = -5*z + z. Does 13 divide o?
True
Let i = -2 + -3. Let x(l) = 0 + 27*l + 10 - 31*l. Is 9 a factor of x(i)?
False
Let c(f) = f**2 - f - 18. Is c(16) a multiple of 13?
False
Let g(z) = -7*z**2 + 13*z**2 + 1 - 4*z**2. Let h be (-8)/(-14)*(-105)/(-30). Does 3 divide g(h)?
True
Let y(x) = 447*x - 36. Is y(4) a multiple of 24?
True
Let j(d) = -d**3 - 19*d**2 - 32*d + 36. Let x be j(-17). Suppose -1 = 4*a + w + 13, a = -3*w - 9. Does 3 divide 9 - (1 + x + a)?
True
Suppose 0 = -7*l + 6*l - 2*k + 566, -4*l + 3*k + 2308 = 0. Is l a multiple of 20?
False
Suppose -2061 = -56*i + 5051. Does 2 divide i?
False
Let r(h) = -h**3 - 34*h**2 + 35*h + 26. Is 3 a factor of r(-35)?
False
Suppose -6 = -3*w - 9. Does 6 divide (-9 - (1 - -1))/w?
False
Let z(c) = -2*c + 3. Let t be z(-5). Suppose -5*x - t = 7. Is 3 + x/((-12)/297) a multiple of 25?
False
Let h(p) = -p**2 - 2*p + 8. Let j be h(0). Let l be -4 + j - (-1 + 3). Suppose -l*v + 102 = 24. Is 13 a factor of v?
True
Let u(o) = o + 11. Let s be u(-6). Let l be (3/(-9))/(s/(-465)). Let t = 6 + l. Is t a multiple of 9?
False
Let v(y) be the second derivative of y**5/10 - y**4/4 + y**3/6 - 17*y. Is 6 a factor of v(2)?
True
Let i(o) = 2*o**2 - 13*o - 4. Suppose 3 + 11 = 2*z. Does 3 divide i(z)?
True
Let o be (-24)/9*(-6)/2. Suppose -2*v + 4*v - 2 = 0. Does 12 divide ((-18)/(-4))/(v/o)?
True
Let o(u) = u**2 - 5*u + 4. Let t be o(3). Let l(z) = 3*z**2 - 4. Is l(t) even?
True
Suppose 3*q + 496 + 1335 = 2*u, u = 5*q + 933. Does 13 divide u?
False
Suppose 45*z - 30655 = 37025. Is 11 a factor of z?
False
Let b be ((-14)/(-8))/(5/40). Let p = 18 - b. Suppose -g = -2*h - 97, -3*g - h + 280 = p*h. Is g a multiple of 25?
False
Suppose i - 16 = -2*b + 13, 0 = 5*b - 3*i - 56. Let l(a) = -a**3 + 14*a**2 - 13*a + 15. Does 15 divide l(b)?
True
Let r(u) = 2*u + 1. Let t(m) = -m**2 - 6*m - 1. Let y be t(-4). Is r(y) a multiple of 5?
True
Let z(x) = -9*x - 11. Suppose 4*y = -7*t + 4*t + 7, 5*y + 3*t - 5 = 0. Does 2 divide z(y)?
False
Suppose 2*i + y = 95, -8*y + 5*y = -i + 44. Does 5 divide i?
False
Let a = -26 - -34. Let p be (-2)/a + (-174)/(-24). Suppose 137 + 31 = p*f. Is 13 a factor of f?
False
Suppose -w - 13 = -11. Let c be -8*4/(w - 2). Let y = 24 - c. Does 4 divide y?
True
Let g be (-1)/(-4)*-10*-2. Suppose 3*u = 4*u + n - 37, 4*u - 143 = -g*n. Does 6 divide u?
True
Let s(l) = -l**2 + 15*l - 18. Suppose 3*u - 48 = -9*u. Does 10 divide s(u)?
False
Let w(p) = -38*p + 1. Let l be w(4). Let m = -11 - l. Suppose 0 = 3*s - v - m, 4*s + 57 = -2*v + 257. Is s a multiple of 24?
True
Let v(p) = -p**2 + 3*p + 22. Let c be v(11). Let q = c + 190. Is q a multiple of 31?
True
Suppose -3*o + 2*k + 70 = 0, 0*k - k + 15 = o. Let l = 56 - o. Suppose -2*m - u + 77 = 0, 0*m - m = -2*u - l. Is 19 a factor of m?
True
Let l = 334 - 233. Suppose -k = 4*k - 2*x + l, -88 = 4*k - 4*x. Let h = 29 + k. Is h a multiple of 3?
False
Suppose 7*m = 2*m - 20. Let y be ((-4)/4)/(2/m). Does 18 divide -12*(-1)/y*3?
True
Let q(p) = 9*p**2 + 3 + 10*p + p**3 + 3*p**2 - 4 + 2. Let v be q(-9). Suppose 4*j - v - 162 = 0. Is j a multiple of 26?
False
Let g be (-1 - -4)/(-3) - (-18)/6. Suppose -g*m + 3*k + 326 = -25, -m + 5*k + 165 = 0. Is m a multiple of 16?
False
Let q(u) = 17*u + 17. Let n be q(11). Let z = n - 28. Is z a multiple of 48?
False
Let t = -96 - -16. Let a = t + 101. Is 7 a factor of a?
True
Let p = -1180 + 1677. Is 15 a factor of p?
False
Is 2641/6 + (-22)/132 a multiple of 10?
True
Suppose 15*k = 9*k + 1926. Is k a multiple of 5?
False
Let s be (-2 + 8)*(-2)/(-4). Suppose p - 3*q - 37 = -4, 4*q + 94 = s*p. Does 15 divide p?
True
Let i(q) = 2*q**2 + q + 127. Suppose -4*s + h = -3*h - 8, -4 = 2*h. Does 14 divide i(s)?
False
Suppose z - 3*a = -8*a + 87, 0 = 5*z - a - 565. Let b(c) = -c**3 + 4*c**2 + c - 4. Let r be b(4). Suppose r = -3*m - 13 + z. Does 11 divide m?
True
Suppose 424 = -8*a - 152. Let h = a - -120. Is 12 a factor of h?
True
Let j(z) = 39*z + 41*z - 11*z + 2 - 2*z. Is j(1) a multiple of 6?
False
Suppose -5*k = w - 31, 4 = -5*w + 4*w. Let v(j) = -3*j + 0*j**3 + j**3 + 8 + 7*j**2 - k*j + j**2. Does 11 divide v(-9)?
False
Suppose -5*a + 2*a = 0. Let x = -2 + a. Is -4*x/8 - -47 a multiple of 24?
True
Suppose -40 = -4*c - 4. Suppose -69 = 2*o + a, c*o + 3*a + 171 = 4*o. Let d = 89 + o. Is d a multiple of 11?
False
Suppose -2*g - 72 = -5*g. Suppose 0 = 5*a - 5*d - 60, 2 - 14 = -3*a - 3*d. Let y = g + a. Is 16 a factor of y?
True
Suppose -5*b - 2*v + 55 = 0, 0 = b - 4*v + 2*v - 11. Is 3 a factor of ((-12)/10)/(b/(-55))?
True
Suppose -3*i = -2*x + 1423, 546 = x - 5*i - 148. Is x a multiple of 33?
False
Let u(n) = -n**2 + 19*n + 12. Let f(r) be the second derivative of -r**3/6 - r**2/2 + 12*r. Let g(y) = -4*f(y) + u(y). Is 19 a factor of g(20)?
True
Let l(s) = s**2 - 4*s + 319. Is 7 a factor of l(0)?
False
Let b = -516 - -1068. Is b a multiple of 12?
True
Let w = -157 + 193. Does 18 divide w?
True
Suppose 7*h - 3*h - 23 = -5*k, 3*h = 2*k. Let q(p) = -p**2 - 4*p + 1. Let b be q(-4). Does 5 divide h + 4 - 1/b?
True
Let v(m) = -3*m**2 - 13*m - 4. Let g be v(-4). Suppose g = -35*n + 39*n - 80. Is n a multiple of 5?
True
Let a be ((-6)/(-5))/(4 + (-37)/10). Suppose a*r - 307 = -3*x, 4*r = x + x - 218. Is x a multiple of 15?
True
Suppose -5*o + 651 = -1009. Is 22 a factor of o?
False
Let d be (-9)/54 + (-2690)/(-12). Let w = 451 - d. Does 14 divide w?
False
Suppose -17*v + 5913 = -24126. Is 31 a factor of v?
True
Suppose 3260 = -23*i + 32723. Is i a multiple of 83?
False
Is 49 a factor of (-3)/((-4)/(-34) + 1840/(-13328))?
True
Let z = -139 + 211. Is 9 a factor of z?
True
Let h(j) = -j**3 + 20*j**2 + j + 22. Is 21 a factor of h(20)?
True
Let i(o) = 5*o**3 - 5*o**2 - 7*o. Let f(a) = 2*a**3 - 2*a**2 - 3*a. Let k(m) = 7*f(m) - 3*i(m). Let s be k(1). Suppose -2*v + 3*v - 10 = s. Does 10 divide v?
True
Let i(w) = 924*w. Does 13 divide i(1)?
False
Let n(j) = 6*j**2 + 31*j + 15. Let b(c) = c**2 + 6*c + 3. Let f(x) = -11*b(x) + 2*n(x). Let h(w) = w**2 + w + 10. Let s be h(0). Does 19 divide f(s)?
True
Let g = -2930 + 7250. Does 40 divide g?
True
Suppose 3*i = -5*r + 2345, -2*r = i + r - 775. Is ((-9)/((-135)/i))/(4/6) a multiple of 15?
False
Suppose -3*n + 5*c + 113 = c, 0 = n - c - 39. Suppose v - 10 - 9 = 0. Let h = n - v. Does 24 divide h?
True
Suppose -358 + 1013 = -5*i. Let t = i - -190. Is t a multiple of 12?
False
Let n(w) = -1 + 0 - 6 - 5*w - 1. Let o be n(-4). Let l = 29 - o. Is l a multiple of 8?
False
Let n(z) be the second derivative of z**4/4 - 2*z**3/3 + 7*z**2/2 + 7*z. Does 22 divide n(5)?
False
Let t be 228/(-14) + (-10)/(-35). Let o = t + 45. Is o a multiple of 11?
False
Let s be ((-15)/(-6))/(-5)*0. Suppose -15 = -s*b - 5*b, -4*a = b - 19. Let i(x) = x**2 + x - 5. Is 12 a factor of i(a)?
False
Let c = -6 + 6. Suppose q - 4*x + 426 = 6*q, 2*q + x - 168 = c. Does 18 divide q?
False
Suppose -104 = -8*c + 4*c + 4*x, 2*x = -2*c + 68. Suppose a + 4*a - 20 = 0. Suppose -a*f - c = -5*f. Is 10 a factor of f?
True
Suppose -5*q = -5, -3*b + 2*q - 20 - 15 = 0. Let y(i) = -3*i + 20. Is 36 a factor of y(b)?
False
Suppose 3*v = -9, -v = 3*g - 13 - 8. Let k be (-170)/g - 13/(-52). Let n = 45 + k. Is n a multiple of 4?
True
Suppose 982*b - 4758 = 969*b. Is 6 a factor of b?
True
Let t(i) = -i**3 - i**2 - i - 11. Let z be t(-6). Suppose 35 = 5*d - z. Is d a multiple of 9?
False
Let x = -45 - -56. Suppose 0 = -x*y + 7*y + 208. Is y a multiple of 14?
False
Let z(o) be the third derivative of -o**4/8 - o**3/6 + 5*o**2. Let a be z(-2). Let f(i) = 2*i**2 - 2. Is f(a) a multiple of 8?
True
Is 0 + -6 - (-488 - 13) a multiple of 37?
False
Suppose 5*d + 131 - 36 = 0. Let n = d - -26. Is n/(4 + 28/(-8)) a multiple of 7?
True
Let g(f) = -14*f**3 + 3*f**2 - 5*f - 3. Let i(b) = -b**3 - b**2 + b - 1. Let m(s) = -g(s) + 3*i(s). Is 43 a factor of m(2)?
False
Let g be ((-48)/(-20))/((-2)/(-5)). Let w be g/(-9) - 