 Let o(g) = g**3 - g**2 - g + 28. Is o(w) a multiple of 14?
True
Let f be 0 - 0/(3/(-1)). Suppose -4*h + 1 + 51 = f. Is h a multiple of 9?
False
Let y(x) be the first derivative of -7*x**2 - 5*x + 1. Let z be y(-4). Does 13 divide z/2 - 8/(-16)?
True
Let z = 15 - -8. Let t = 29 - z. Does 6 divide t?
True
Let c(w) = 13*w**2 - 5*w + 3. Let x be c(-4). Suppose 4*y + 2*a - 237 = -51, -5*y + x = 2*a. Is 15 a factor of y?
True
Let l be 1/(-3) - (-14)/6. Suppose z + 22 = 5*u, 0*u + 21 = 3*u + l*z. Suppose -38 = -u*f + 17. Does 7 divide f?
False
Let n be (8/(-6))/((-4)/(-72)). Suppose 3*w + 23 = 143. Let f = w + n. Is f a multiple of 8?
True
Let b(m) = m**2 - 3. Let k be b(-4). Suppose 0 = 3*h + 5*a - 0*a + k, 4*h + 26 = 2*a. Does 14 divide h/27 + 218/9?
False
Suppose 7*v - 2660 = -13*v. Is v a multiple of 17?
False
Let t(q) = -q**3 + 3*q**2 - 2*q - 4. Let p be t(-3). Let s = -24 + p. Does 14 divide s?
False
Suppose -l + 19 = 5*v, v + 1 = -2*l - 3*l. Suppose v*f - 32 = -5*h, 4*f - 2*h - 5 + 1 = 0. Suppose -5*o + f*o = -96. Does 22 divide o?
False
Let v be 10 + 2/2 + 0. Suppose -3*y - l = -75, -4*y + 5*l = -5*y + v. Does 13 divide y?
True
Suppose 15 = 3*j + 63. Let k be ((-12)/8)/(6/j). Suppose 0*f - k*a = -5*f + 47, 3*f + 5*a - 6 = 0. Is 6 a factor of f?
False
Let i(s) = 10*s - 1. Let z be i(1). Is (-96)/z*27/(-6) a multiple of 12?
True
Let q = -9 + 9. Suppose -17 = -5*o - 4*l, 2*o + 3*l + l - 2 = q. Suppose -o*i = -3*i - 112. Is i a multiple of 17?
False
Let q be -18*-2*(-6)/(-9). Let j = 40 - q. Does 16 divide j?
True
Let v(q) = -q**2 - 15*q + 2. Is 8 a factor of v(-9)?
True
Suppose -30 + 111 = 3*y. Suppose 3*s = 4*o + y, s - o - 10 = -0*o. Is 13 a factor of s?
True
Let l = 58 + -96. Let t = l + 74. Is t a multiple of 18?
True
Let q(b) = b**3 - 9*b**2 + 19*b - 16. Is 12 a factor of q(8)?
True
Suppose 0*u = -5*u + 20. Suppose 2*c - 27 = 3*a - 6, u*a = -5*c + 41. Does 3 divide c?
True
Let f(c) = c**2 - 7*c - 8. Let g be f(7). Is 2 a factor of ((-10)/(-8))/((-2)/g)?
False
Let x(y) = y - 8. Suppose -p + 3*p = 8. Suppose 11 = -3*w + p*w. Is x(w) a multiple of 3?
True
Suppose l + r - 30 = 5, -l + 3*r = -47. Suppose 0 = 2*j + 5*n - 16, 4*j + n - l = 30. Is 9 a factor of j?
True
Let s(t) = t**3 + 6*t**2 + 3*t - 6. Let o be s(-5). Suppose -2*j = v - 30 - 34, 4*j + 208 = o*v. Suppose -v = -2*u - 2*u. Does 9 divide u?
False
Let u(l) = -4*l - 4. Does 12 divide u(-4)?
True
Let m(j) be the third derivative of j**5/60 + j**4/3 - j**3/2 - 2*j**2. Let a be m(-6). Let o = -8 - a. Is 7 a factor of o?
True
Let n(g) = -g + 3. Let d(t) = -4*t + 8. Let q(u) = -3*d(u) + 10*n(u). Is q(3) a multiple of 6?
True
Suppose -2*v - 59 = -169. Is v a multiple of 34?
False
Let i(b) = -b**3 + 4*b**2 - 4. Let j be i(3). Let o = 91 + 13. Suppose -j*a = -a - o. Does 13 divide a?
True
Suppose v - 6*v + 129 = 2*b, 0 = 2*b - v - 111. Is 19 a factor of b?
True
Suppose -3*s = -7*p + 2*p + 199, -2*s = 2*p - 86. Suppose -d + 3*g = -44 + 1, 0 = -d + 2*g + p. Does 12 divide d?
False
Let l(j) = 4*j - 6. Let z(y) = -3 + 3 + y. Let i(u) = l(u) + 3*z(u). Is 11 a factor of i(4)?
True
Let o(r) = -r**3 - 10*r**2 - 16*r - 15. Is 29 a factor of o(-10)?
True
Let n be 1/(-5) + 80/25. Is 2/((18/21)/n) a multiple of 4?
False
Let t(g) be the second derivative of -2*g**3/3 - 4*g. Does 12 divide t(-3)?
True
Let g = -183 + 255. Does 9 divide g?
True
Let a(j) be the first derivative of -31*j**4/4 + j**3/3 - j**2 + j + 2. Let c be a(1). Let v = c + 84. Is 14 a factor of v?
False
Is 3 a factor of (-3)/1 + 132/4?
True
Suppose -345 - 315 = -11*t. Does 4 divide t?
True
Let w be (-164)/(-14) - (-10)/35. Let t = w + 6. Does 9 divide t?
True
Suppose 3*x + 2*l - 76 = 0, 4*x + 2*l - 98 = l. Is 15 a factor of x?
False
Let c = 3 - 1. Let y(h) = c*h - 1 + 12*h**2 - 16*h**2 + h**3 - 4. Is 15 a factor of y(5)?
True
Let p(k) = -k**3 + 2*k**2 - k. Let n be p(1). Is 8 a factor of 1*(9 - n - 1)?
True
Is (-2)/(4/(-238)) + -4 a multiple of 34?
False
Does 38 divide (-2)/11 - 4184/(-22)?
True
Suppose 5*g - 265 = -5*b + 2*g, -20 = -4*g. Does 12 divide b?
False
Suppose 4*s + 13 = 57. Let u be (-9)/(-2)*(-4)/(-6). Let c = s - u. Is c a multiple of 4?
True
Let c(d) = 2*d**2 - 9*d + 2. Is 6 a factor of c(6)?
False
Suppose -2*s - 4*m + m + 7 = 0, 4*s = -5*m + 15. Let v = 9 - s. Suppose -2*g + 11 = -0*g - r, 0 = -3*g - v*r. Is g a multiple of 3?
False
Let c(h) = 3*h - 15. Let v be c(6). Is (-9)/4*(-8)/v a multiple of 3?
True
Suppose -p - 4*q + 70 = 0, -2*q + 3*q - 355 = -4*p. Is p a multiple of 18?
True
Let l = 114 + -66. Suppose o = 2*o - 5, 2*z = -4*o + l. Is 10 a factor of z?
False
Let i(a) = 2*a**3 - 2*a**2 + 2*a - 1. Let l be i(1). Let u(y) = -y + 41. Let t be u(0). Suppose -l = 4*n - t. Is 3 a factor of n?
False
Let n be 3/(3*2/(-40)). Let h(k) = -k**3 - 4*k**2 - k + 5. Let c be h(-5). Let z = c + n. Is z a multiple of 5?
True
Suppose -11*h = -6*h - 15. Is h even?
False
Let u = 8 + -5. Suppose -2*o = u*a - 21, 3*a + 7*o - 2*o = 30. Is 3 a factor of a?
False
Let m = 1 + 3. Suppose -m = -3*o + 41. Is o a multiple of 2?
False
Let q(y) = 10*y - 22. Is q(10) a multiple of 26?
True
Is 21 a factor of (-2)/(-2)*(4 + 2 + 99)?
True
Let t be -33 + (2 - -1) + -2. Let r = -16 - t. Is r a multiple of 5?
False
Let m = 5 - -88. Is m a multiple of 15?
False
Let z(n) = -n - 4 + 3*n**2 + 11*n**2 - n**3 - 10*n**2. Is z(3) a multiple of 2?
True
Let h(m) = m + 16. Is 4 a factor of h(0)?
True
Let s(p) = -p**3 + 61. Let x be s(0). Suppose -x = -3*u + 23. Is 11 a factor of u?
False
Let u be 1*(-2 - (-2 + 0)). Suppose t - 5*y = -8 - 40, u = 3*t - 5*y + 184. Let k = -48 - t. Is 7 a factor of k?
False
Is (-6)/(-3) + -4 + 102 a multiple of 16?
False
Suppose 3*u - 88 - 32 = 0. Let p(g) = -4*g + 4. Let a be p(6). Let d = u + a. Is d a multiple of 10?
True
Let y(o) = o**3 - 6*o**2 + 7*o. Does 13 divide y(6)?
False
Let l(a) = 2*a + 14. Is 13 a factor of l(6)?
True
Let f be (2 - 0)/((-1)/(-2)). Suppose -4*j + f = -2*j. Let d = j + 2. Is d a multiple of 3?
False
Suppose 5 = -4*p - 3. Let z = 1 - p. Does 2 divide z?
False
Suppose 9 = -2*m - 3*l, -3*l = 5*m - l + 6. Let q(x) be the third derivative of x**5/60 + x**4/24 + 3*x**3 - x**2. Does 15 divide q(m)?
False
Suppose -j = -6*j + 25. Suppose 2 = -4*g + j*h - 6, 3*g - h - 5 = 0. Suppose -5*u = 4*t - 78, -4*t + 0*u + 94 = -g*u. Is 11 a factor of t?
True
Let u(j) = -j**2 - 7*j - 7. Let l be u(-8). Is 8/2 - (-30)/l even?
True
Is 24 a factor of (47 - 2/(-2))*(-25)/(-10)?
True
Let r(v) = -v**2 - 4*v + 1. Let b be r(-4). Let p be (118/6)/(b/(-3)). Let x = -42 - p. Does 6 divide x?
False
Let t(r) = -16*r + 1. Let y be t(-3). Suppose 0 = -2*x + 3*z - 3, -4*x - 3*z = 2*z - y. Is x a multiple of 6?
True
Let c(n) = 13*n - 6. Does 33 divide c(3)?
True
Let t be 6/15 - (-84)/(-10). Suppose 0*l = -l + 22. Let h = l + t. Is 7 a factor of h?
True
Suppose 5*b + 4*c = -0*c + 127, 0 = -b - 5*c + 38. Does 4 divide b?
False
Let b(h) = -2*h - 15. Suppose 0*y + 2*d = 3*y + 47, y + 13 = -2*d. Is 15 a factor of b(y)?
True
Let j = 6 - 5. Is (-9)/(((-1)/2)/j) a multiple of 14?
False
Suppose 0 = 4*z + 3*c - 465, 2*z = -2*c + 237 - 7. Is 20 a factor of z?
True
Suppose 4*y = y + 6. Suppose y*h = 5*h - 21. Does 5 divide h?
False
Let b = 414 + -719. Is b/(-20) + (-2)/8 a multiple of 5?
True
Let i = -7 + 12. Suppose -2*p - 3*p - 4*o = -65, o = i*p - 90. Is 14 a factor of p?
False
Suppose 32*p - 261 = 23*p. Is p a multiple of 29?
True
Let c(v) = -v**3 + 8*v**2 - 4*v - 7. Let g = 5 - -2. Does 14 divide c(g)?
True
Let o(x) = x - 7. Let u(h) = -2*h + 8. Let q(f) = -3*o(f) - 2*u(f). Let z be (-1 - 2) + 5 + 2. Does 5 divide q(z)?
False
Suppose 3*o - y - 18 = 62, o - 44 = -4*y. Let q = -20 + o. Suppose -4*v + 4*j = -44, v - q = 3*v + 4*j. Is 6 a factor of v?
True
Let r be 4*5*3/12. Suppose -r = u - 59. Suppose 3*a - 6*a + u = 0. Is 9 a factor of a?
True
Suppose 6*v = -p + 3*v + 53, -p + 25 = -4*v. Let h(w) = -w**3 - 3*w**2 + 2*w - 1. Let j be h(-4). Suppose p = o + j. Is 17 a factor of o?
True
Let v be (-3)/(-12) + (-2)/8. Suppose 5*g - 135 = -v*g. Does 11 divide g?
False
Let g be (0/(-3))/(3 + -5). Suppose -o - 5*i + 62 = 0, g = 2*o - 5*o + i + 154. Is 13 a factor of o?
True
Let q = 9 - 1. Does 7 divide q?
False
Suppose -14 = -n - 5*f + 5, -5*n - f = -71. S