et s(w) = w**2 + 6*w. Let g be s(-6). Let k be (-3 - -3)/(-3) - g. Suppose -y = -2*l - 0*y + 34, -l - y + 14 = k. Is 13 a factor of l?
False
Let a be 15/5 - (-4)/(-2). Does 8 divide 60/(2 + a) - -2?
False
Let u be 2/(-5) + 102/30. Let i(x) = -x**3 + 4*x**2 - 3*x - 1. Let l be i(u). Is 19 a factor of 19/(l - (-3)/2)?
True
Let y = -155 - -335. Is y a multiple of 12?
True
Let m(u) = u**2 - 3. Let g be m(0). Let j(x) = -2*x - 4. Let p be j(g). Suppose -p = a - 26. Is a a multiple of 12?
True
Let h(w) = -w**2 - 19*w - 13. Is 19 a factor of h(-14)?
True
Let u = 98 - 82. Does 16 divide u?
True
Suppose q + 7 = -z + 21, 4*q - z - 76 = 0. Suppose 3*t - 18 = 4*c, q = 2*t + t + 2*c. Is t even?
True
Suppose 0 = 3*a + 4*r + 6, 4*r = 4*a + 22 + 14. Does 6 divide ((-3)/a)/((-2)/(-56))?
False
Does 9 divide ((-1)/(-5) - -1)/((-62)/(-1395))?
True
Suppose c = -3*z - 0*c + 22, -c - 2 = -z. Does 2 divide (z/(-9))/(8/(-60))?
False
Let h(p) = p - 3. Let l be h(6). Does 13 divide 155/3 - l/(-9)?
True
Let t(i) be the second derivative of 2/3*i**3 + 0 - 3*i + 2*i**2. Does 9 divide t(4)?
False
Suppose -228 = -4*a - 4*u, -3*a + u + 165 = 2*u. Is a a multiple of 18?
True
Suppose 4*d = -178 + 802. Suppose 0 = -3*p - 3*k + d, -2*p + k + 176 = p. Let w = -24 + p. Does 12 divide w?
False
Suppose 8*f - 3*f - 180 = 0. Does 12 divide f?
True
Let o = 0 + -2. Let s be 35 + 1 + (o - 0). Does 16 divide s/(-3)*(-6)/4?
False
Let x = 0 - -5. Let z = -24 - -100. Suppose -x*u - 16 = -z. Is u a multiple of 12?
True
Let h = 186 - -18. Does 7 divide h?
False
Suppose 0 = o, -5*o + 4 = 2*i - o. Suppose -5*p + 20 = -135. Suppose i*z - p = 17. Does 12 divide z?
True
Let j = 519 - 237. Is j a multiple of 33?
False
Let r(f) = 4*f. Let i be (-94)/(-10) + 4/(-10). Let h be r(i). Suppose 5*g + 3*d = 64, 0 = g - 4*g - d + h. Is 11 a factor of g?
True
Let z be (-6)/15 + 12/5. Suppose z*d - 5*d = 9, -2*d = 2*q - 60. Is 8 a factor of q?
False
Let s(q) = -6*q**2 + 2*q + 3. Let f(t) = -5*t**2 + 2*t + 3. Let o(y) = -5*f(y) + 4*s(y). Does 5 divide o(4)?
True
Let f(a) = a**3 - 6*a**2 + 3. Let m be f(6). Let w = m + 15. Does 14 divide 18/3*w/4?
False
Let z(j) = -36*j + 2. Let p = -9 + 7. Does 19 divide z(p)?
False
Suppose 73 = 2*p - 25. Let j = p - 26. Is j a multiple of 10?
False
Suppose -j - 4*j - 2*v = 0, 0 = 5*j - 2*v - 20. Suppose -j*k = -25 - 39. Is k a multiple of 16?
True
Let v = -67 - -155. Does 37 divide v?
False
Suppose -5*p + j - 13 = -0*p, 9 = -5*p + 3*j. Does 20 divide (-18)/(3/30*p)?
True
Let l(p) = 9*p**2 + 5*p + 2. Suppose -15 = 3*a - 6. Is l(a) a multiple of 26?
False
Let y(v) = 16 - 4*v**2 + 19 + 5*v**2 - 5. Does 15 divide y(0)?
True
Let k be -1 - -5 - (-2)/(-2). Let m be (2 - 5)*(-12)/9. Suppose j - m = -3*j, 4*j - 43 = -k*p. Is 13 a factor of p?
True
Let h(u) be the third derivative of 3*u**4/8 - u**3/6 - 2*u**2. Let s be h(4). Does 12 divide (-21)/s - (-146)/10?
False
Let m be 1*(-1*27 - -3). Let w = m - -34. Is 5 a factor of w?
True
Suppose -2*h - 2 = -i, 0*h = 2*i + h + 21. Let z(s) = 13*s + 8 + 2*s**2 + 4 + 0*s**2. Does 12 divide z(i)?
True
Let i(g) = -11*g**3 - g + 4. Let r(h) = 12*h**3 + h - 5. Let v(d) = 5*i(d) + 4*r(d). Let o be v(1). Let j = 7 - o. Does 15 divide j?
True
Suppose 0*z = 4*z + b - 3, -3*z - 4*b - 14 = 0. Suppose -3*d - 3*r = -45, -2*d - 3*r + 33 = z*r. Is 3 a factor of d?
False
Let x(s) = -9*s**2 + 2*s + 3. Let n(q) = 17*q**2 - 3*q - 5. Let v(h) = 4*n(h) + 7*x(h). Is 25 a factor of v(-3)?
False
Let v(f) = -f**3 - 4*f**2 - 10*f - 3. Let p be (-1*(-2 - -7))/(-1). Let y(s) = s**3 + 4*s**2 + 11*s + 4. Let a(u) = p*y(u) + 6*v(u). Does 11 divide a(-4)?
True
Let c = 129 + -91. Is c a multiple of 19?
True
Let s = -4 - -8. Let n = 0 + s. Suppose n*u = -u + 170. Is 17 a factor of u?
True
Let b(t) = 4*t + 4. Is 6 a factor of b(2)?
True
Let b(y) = y**2 - 6*y - 3. Let j = 6 - -1. Let l be b(j). Suppose h - 12 = -l*p, -2*p = h - 2*h + 24. Is h a multiple of 12?
False
Let o(l) = -8*l. Let j be (-6)/15*(1 - -4). Is o(j) a multiple of 16?
True
Let o(y) = -y + 30. Let m(n) = n - 11. Let x be m(11). Is o(x) a multiple of 15?
True
Suppose 0*b = -2*b - 4*h - 14, 0 = -2*h - 6. Let d be (4/5)/(b/(-10)). Let w = d - 5. Is w a multiple of 3?
True
Suppose 10*c = 5*c - 10. Let u(i) = -16*i**3 - i**2 + 2*i. Let a be u(c). Suppose t - 4*t = -a. Is 14 a factor of t?
False
Suppose -102 = 4*x - 358. Is 16 a factor of x?
True
Suppose 0 = -m + 40. Does 8 divide m?
True
Let c(t) = -3*t + 0 - 3 - t**2 + 0*t**3 - 2*t**3. Is c(-3) a multiple of 17?
True
Let n = -14 + 43. Suppose n = 4*u - 63. Does 14 divide u?
False
Suppose u - 4*y = 10, -u + 4 = -3*y - 3. Is 6 a factor of (-12)/(u - 1/(-2))?
False
Does 8 divide 7/((-105)/40)*-12?
True
Let i be 0 + (-1 - 0) + 3. Let n be (-2 - -2)/i - -7. Suppose 0 = -n*z + 3*z + 88. Is z a multiple of 11?
True
Suppose -4*i = 4*j - 196, -4*j + i + 188 = 3*i. Does 15 divide j?
True
Let j = 95 + -41. Suppose -16 = -5*u + j. Is 9 a factor of u?
False
Let k = -6 + -1. Let w(h) = h + 6. Let s be w(k). Is 10 a factor of s/(-4) - (-142)/8?
False
Let q be (-2)/(-1)*-1 - -1. Let m be (-1 + 0)*(-1 - q). Suppose m*u + 4*u = 36. Is u a multiple of 8?
False
Let f = 21 + 10. Suppose -2*b + f + 71 = -5*i, -2*i = 0. Is 9 a factor of b?
False
Suppose 11*s - 216 = 7*s. Is s a multiple of 5?
False
Suppose q = -p + 2, -4*q + 8 = 5*p - 3*p. Suppose 0 = 2*i - 3 + 13, -4*u + 4*i + 40 = p. Suppose 0*j - j + 167 = u*a, -2*a + 80 = -4*j. Does 18 divide a?
False
Let x(j) = 2*j**2 + 4*j + 4. Let r be x(4). Suppose -4*h = 3*g - 52, 4*h - g = g + r. Is 13 a factor of h?
True
Let l = -41 + 83. Is 7 a factor of l?
True
Let c be (-1)/(-2) + 11/(-2). Let a be (-1)/((15/114)/c). Suppose -2*g = 6 - a. Is 7 a factor of g?
False
Let d(s) = s**3 + 10*s**2 - 15*s + 5. Is 10 a factor of d(-11)?
False
Let a = 8 - 6. Suppose -5*r + 4*p + 71 = 0, a*r + 3*r + 3*p - 78 = 0. Let t = -5 + r. Is 10 a factor of t?
True
Let m be 80/35 + 4/(-14). Suppose -84 = -0*x - m*x. Is 14 a factor of x?
True
Let n(v) = -v - 4. Let g be n(-6). Suppose 0 = -g*i + 8 + 54. Is i a multiple of 6?
False
Suppose 5*l + 5*x + 2 = -8, -3*x + 34 = -5*l. Let d(j) = 2*j - 3*j + 672 - 675 - 2*j. Does 12 divide d(l)?
True
Let u be 21/3 + (-3 - -1). Suppose -4*q + u*q + 9 = 4*r, 0 = 4*q - 3*r - 16. Is 7 a factor of q?
True
Let d(u) = -u**2 - 2*u + 2. Let m be d(-2). Let x be m - (0 + 4 - 2). Suppose 2*b + b - 36 = x. Is b a multiple of 12?
True
Let c be 6/(-24) - (-9)/4. Suppose f - 21 = 4*h, -f - c*h = 2*h - 29. Is f a multiple of 14?
False
Let g be (-12)/(-10)*(-7 + 2). Let x(u) = -3*u**2 - 8*u - 2. Let z be x(g). Let y = -36 - z. Is 13 a factor of y?
True
Let l(k) be the first derivative of -8/3*k**3 + 3*k + 1 - 3*k**2 + 1/4*k**4. Is 15 a factor of l(9)?
True
Let n(g) = g + 7. Let u be n(-5). Suppose -8 = -b - u. Is b a multiple of 6?
True
Suppose -32 = -3*n + 31. Suppose 3*a = 4*p - 27, -3*p + 5*a = p - n. Does 4 divide p?
False
Let s(d) = -43*d**2 + d + 1. Let c be s(-1). Let b = c + 83. Is b a multiple of 20?
True
Let s = -98 + 67. Let l = -18 - s. Let t = l - 7. Is 4 a factor of t?
False
Let l(r) = r**3 - 7*r**2 - 17*r - 17. Is l(11) a multiple of 35?
True
Suppose t + 3*l = -3*t - 12, 3*t + 4*l + 16 = 0. Suppose t*z = -z. Suppose -2*n = -z*n - 18. Is n a multiple of 8?
False
Let l(f) = f**3 - 4*f**2 - 11*f - 10. Is l(7) a multiple of 15?
True
Suppose 2*w - 66 = -g, -w = -2*g - 15 - 23. Does 7 divide w?
False
Suppose 4*b - 15 = -b. Suppose b*w = -0*w + 15. Does 5 divide w?
True
Suppose -w - 4*a = -a - 8, a = 3*w - 24. Does 4 divide w?
True
Let z(g) = 4*g - 2 + g**2 - 4*g - 11*g. Is z(14) a multiple of 32?
False
Suppose 0 = -2*v + 83 + 5. Is v a multiple of 9?
False
Let r(b) = 5*b**2 - 2. Let f be r(2). Suppose -3*w + f = -9. Is 9 a factor of w?
True
Let a(o) = -51*o - 1. Let c be a(-1). Suppose 0 = -3*b + b + c. Is 10 a factor of b?
False
Let p = 106 - 6. Suppose -y + p = 15. Is y a multiple of 17?
True
Let n(p) = p**2 - 9*p + 6. Let o be n(9). Is (-4 + o)/((-2)/(-3)) a multiple of 2?
False
Does 10 divide (4 - 9/2)/(3/(-420))?
True
Let b = -25 + 29. Suppose b*f - 24 = 12. Does 9 divide f?
True
Let q(b) be the second derivative of 0 + b**2 + 1/3*b**4 - 2*b + 1/6*b**3. Does 16 divide q(-4)?
False
Let a(w) be the second derivative of w**5/20