(i) = 0 - 5 + i**t + 11*i - 3*i. Is 22 a factor of z(5)?
False
Let p(t) = t**2 + 7*t - 1. Does 5 divide p(-9)?
False
Let j(a) = 2*a + 4. Suppose -4*k + 14 = -2*k. Is j(k) a multiple of 9?
True
Let o(t) be the second derivative of -t**5/5 - t**4/4 - t**3/3 - 3*t**2/2 + 7*t. Does 7 divide o(-2)?
True
Let o(c) = c**3 - 10*c**2 + 11*c + 6. Let b be o(9). Suppose u + b = -w + 2*w, w = -5*u. Is w a multiple of 20?
True
Let k = 37 + -12. Is 25 a factor of k?
True
Let q(n) be the third derivative of -n**5/60 - 7*n**4/12 - n**3/2 + 3*n**2. Is q(-12) a multiple of 11?
False
Let c = 1 - 0. Let f be 18/(-15)*(-70)/c. Let b = f - 54. Is b a multiple of 18?
False
Let f(r) = 2*r + 12 + 3*r - 4*r. Let v be f(-9). Suppose -a - m = a - 47, v*a - 3*m - 48 = 0. Does 7 divide a?
True
Suppose 0 = -5*v + v. Suppose v = 5*x - 5*y - 100, 0*y - 15 = 5*y. Is x a multiple of 17?
True
Let x(y) = y**2 + 10*y - 13. Does 8 divide x(6)?
False
Suppose 7*c - 9*c + 86 = 0. Is 6 a factor of c?
False
Let p(r) = -4*r - 5. Let l be p(-2). Suppose -2*t = 3*z - 168, l*z + 2 + 4 = 0. Does 23 divide t?
False
Suppose -2*i - 4*k + 20 = 0, -3*i = 4*k + k - 32. Is 6 a factor of i?
False
Suppose -5*c - 66 = -5*y - 506, y = 2*c - 173. Does 31 divide c?
False
Let o be -1 - (0 + -1) - 39. Let t be -2*(4 + (-268)/8). Let g = o + t. Is 20 a factor of g?
True
Let r = -31 + 69. Let y = 73 + 1. Is 18 a factor of (-1)/(-2 + y/r)?
False
Suppose 54 = -5*c + 2*c. Let z be (1/(-1))/((-6)/c). Is 5/1 + z/(-3) a multiple of 3?
True
Suppose 0 = 2*t - 2, -t - 27 = 2*c - 118. Suppose -3*j + c = 5*s, 30 = -0*j + 2*j + s. Suppose 1 = 2*y - h - 9, -3*y - 2*h + j = 0. Does 3 divide y?
False
Suppose 5*y = -4*r + 25, 5*r + 4 = 2*y - 6. Let c(g) be the third derivative of -g**4/24 + 7*g**3/6 + 5*g**2. Is 7 a factor of c(r)?
True
Let l(b) = -4 - b**2 - 4 + 1 - 4*b. Let i be l(-6). Let f = 39 + i. Is f a multiple of 10?
True
Let x(a) = a**2 + 6*a - 10. Is 10 a factor of x(-10)?
True
Let g(b) = 112*b - 2 + 2. Let x be g(1). Suppose 0 = -3*a - a - d + 112, -4*d - x = -4*a. Is 10 a factor of a?
False
Let w(b) = -2 + 2*b - 3*b + 3*b. Let t be w(2). Suppose 0 = t*u + 3*f - 42, -u + f = -f - 14. Is 13 a factor of u?
False
Let y be (-6)/(-4)*(-464)/(-12). Is y/4*(-6)/(-3) a multiple of 10?
False
Suppose 6 = 2*t - 12. Let i = t + -5. Is 3 a factor of i?
False
Suppose -4*l - 3*i = -6*l + 318, 3*i = -l + 150. Does 18 divide l?
False
Let x be (-185)/(-5) + -1 + 3. Suppose -2*w + n + 2*n + 128 = 0, 5*w - 341 = -3*n. Suppose -3 = 3*i, -4*z + x = 2*i - w. Is 9 a factor of z?
True
Let y be 2 - (-3 + -3 + 8). Suppose -3*q + 69 + 204 = y. Suppose s + q = 3*k - 4*s, -3*k = -3*s - 81. Is 6 a factor of k?
False
Let n = 38 + -15. Is 8 a factor of n?
False
Suppose 0 = -2*t + 240 + 40. Is 14 a factor of t?
True
Suppose 3*y - 5*m = 30, 0*y + y - 27 = -4*m. Let q = -8 + y. Does 6 divide q?
False
Suppose 20 = 5*b, -b - 4*b = -4*y + 108. Suppose -5*z - y = -5*t + 183, 4*z - 140 = -4*t. Is 13 a factor of t?
True
Is (-44)/(-6)*(-27)/(-6) a multiple of 16?
False
Let b(j) = 5*j + 3. Let o(k) = -6*k - 2. Let q(x) = 5*b(x) + 4*o(x). Let l be q(-5). Suppose -2*i + i - t + 2 = 0, -l*t + 16 = 4*i. Is i a multiple of 3?
True
Suppose -u - 43 = -60. Is u a multiple of 3?
False
Let t be (-4)/(-14) + (-152)/(-56). Suppose 4*b - 4*r = 20, 4*b + 8*r = t*r + 47. Is 5 a factor of b?
False
Suppose 0 = -2*r + r + 38. Let i = r - -4. Is 21 a factor of i?
True
Let t be -2 - ((-21)/(-3) - 2). Let i = t - -9. Suppose -5*s + i*s = -45. Is s a multiple of 8?
False
Suppose 9 = -2*c - 3*p + 4, 2*c + p = 5. Suppose c*r - 2*s = s + 259, -5*s + 35 = r. Is r a multiple of 25?
True
Suppose -2*l - 238 = 2*t + 132, -2*t = -l - 170. Let y = -104 - l. Is y a multiple of 24?
False
Let b = 83 - -1. Is b a multiple of 14?
True
Let m = -38 + 91. Does 16 divide m?
False
Let f be 46*(1 - (-3)/6). Suppose -w + f = -4*r, 3*r - 89 = -3*w + 43. Is w a multiple of 12?
False
Let z(j) = 2*j + 8*j**3 - 66*j**2 - 1 + 66*j**2. Does 7 divide z(1)?
False
Is (-6)/(-2) + 83 + 1 a multiple of 29?
True
Let l(t) = t + 5. Suppose -10 = 5*f - p + 14, 3*p + 28 = -5*f. Let c be l(f). Suppose -2*h = -c - 68. Is h a multiple of 9?
False
Let b = 21 - 12. Let l be (-6)/b + 16/6. Suppose -53 = -l*n + 43. Is n a multiple of 24?
True
Suppose 30 = 5*u + 2*r + 6, 3*u - 5*r = 2. Suppose 0 = 5*q + n - 138, 0*q + 3*q + u*n = 93. Is 11 a factor of q?
False
Suppose 3*s = 2*a - 21, 2*s + 3*a - 29 = 6*s. Let m = 0 - -2. Let w = m - s. Is 6 a factor of w?
False
Let z(x) = -6*x + 11. Is z(-7) a multiple of 17?
False
Does 25 divide 60*(1 - (2 - 28/16))?
False
Let w = 95 + -39. Is 14 a factor of w?
True
Let d(c) = c - 3. Let z be d(8). Let j be ((-2)/2)/((-1)/z). Suppose -3*p = 5*r - p - 28, 20 = j*p. Is r even?
True
Let u = 4 + 0. Let v(b) = 9*b - 9*b - u*b. Is 15 a factor of v(-8)?
False
Suppose -5*k + 3*x = -82, 2*x + 7 = -2*k + 43. Is 3 a factor of k?
False
Let q = -5 + 8. Let y(h) = q*h**2 + 6*h**2 + 1 + 0*h**2. Is y(2) a multiple of 14?
False
Suppose -x + 40 = 14. Is 13 a factor of x?
True
Let r be ((-1)/(-2))/((-2)/20). Let p(q) = -5*q - 4. Let k be p(r). Is ((-4)/6)/((-1)/k) a multiple of 5?
False
Let z(g) = -g**3 + 17*g**2 - 10*g - 26. Does 7 divide z(16)?
True
Suppose -5*l = 3*n - 5 - 1, 4*n = 3*l + 8. Let v = 34 + 16. Suppose l = -i - 4*i + v. Does 10 divide i?
True
Suppose 430 = 5*n - 5*y, -n + 0*n - 2*y = -80. Let x = -41 + n. Is x a multiple of 11?
False
Let c = -94 + 167. Is c a multiple of 25?
False
Let a be 343/(-42) + (-2)/(-12). Let g(s) be the second derivative of -s**4/12 - 5*s**3/3 - 5*s**2/2 + s. Is g(a) a multiple of 7?
False
Suppose 20*n - 2245 - 815 = 0. Is 10 a factor of n?
False
Let l(j) = j**3 + 5*j**2 - 6*j - 1. Let i be l(-6). Let h(p) = 32*p**2 - 2*p - 1. Is 11 a factor of h(i)?
True
Suppose -2*g + 126 = -3*u, 3*g - 227 = -4*u - u. Suppose -3*p + 12 = -t + g, t + 4*p - 71 = 0. Is 19 a factor of t?
False
Suppose -6*x = 3*x - 234. Is x a multiple of 12?
False
Suppose 4*h - 3*b - b - 900 = 0, 3*h = -b + 671. Suppose 0 = -i + 5*i - h. Is 28 a factor of i?
True
Suppose 3*v = 19 + 869. Does 37 divide v?
True
Does 2 divide (15/10 - 1) + 5/2?
False
Suppose -z + 2*z = -5*p + 32, 26 = 2*p - 4*z. Does 5 divide p?
False
Let n = -21 - -31. Suppose a - 34 = -n. Suppose 21 = 3*g - k + 6, 2*g = -4*k + a. Does 5 divide g?
False
Let x(k) = -k**2 + 6*k + 3. Let z be x(6). Is (-6)/(-8)*(7 - z) a multiple of 2?
False
Suppose 0 = 3*z - t - 33, 2*z - 9 = t + 14. Does 6 divide (3/5)/(1/z)?
True
Does 5 divide ((-8 - -9) + -3)*19/(-2)?
False
Suppose 76 - 26 = 5*b. Let h = 14 + b. Does 7 divide h?
False
Suppose 5*m - 129 = -4*i, 5*i - 22 = 3*m + 93. Does 4 divide i?
False
Suppose 2*r + 0*r = 24. Is 4 a factor of r?
True
Let w(h) = -h**3 + 2*h**2 - 2. Let y be w(5). Does 8 divide (-24)/(-40) + y/(-5)?
True
Let a(x) = 4*x**2 - 4*x + 3. Does 10 divide a(-5)?
False
Suppose -5*t + 4*b + 4 = -0*b, 2*b + 2 = 5*t. Suppose t = g - 6*g + 225. Does 8 divide g?
False
Let k(l) = 7*l**2 + 7*l + 6. Let m(q) = 10*q**2 + 11*q + 9. Let p(i) = 7*k(i) - 5*m(i). Let o be p(-4). Suppose 18 = o*t - 42. Does 6 divide t?
True
Let z(g) = -g**2 - 10*g - 1. Let s be z(-7). Suppose 7*q - s = 3*q. Suppose -2*p = 5*o - 72, 0*o + 12 = 2*o + q*p. Is o a multiple of 8?
True
Suppose 0 = p - 0 - 4. Suppose 0*u + 4*u = 52. Suppose p*s - u = 15. Does 6 divide s?
False
Let v = -100 + 174. Let m be v/4*(-18)/(-3). Suppose 3*f + 0*f = m. Does 16 divide f?
False
Let h be (-18)/1*(-2)/3. Is ((-104)/12)/((-2)/h) a multiple of 13?
True
Let x = -35 - -247. Is 47 a factor of x?
False
Let t(x) be the second derivative of -x**4/12 - x**3 + x**2 + 3*x. Let o be t(-6). Is 156/10 - o/(-5) a multiple of 16?
True
Let c be -1*2 - (-6 - -5). Let k be 1/(((-2)/24)/c). Suppose -2*u + 21 = v - 6*u, k = v + 5*u. Is 6 a factor of v?
False
Suppose -m = c + 3*c - 9, 0 = 2*m - c - 54. Does 22 divide m?
False
Let g be -1*(-2 - (3 - 2)). Let w = g - -9. Is 11 a factor of w?
False
Let v(x) = 6*x**2 + 5*x - 1. Let a be v(5). Suppose -2*w + 2*i = -a, 0 = -w - 3*w - 3*i + 362. Let y = w - 54. Does 19 divide y?
False
Suppose 0 = -3*o + 29 + 70. Does 11 divide o?
True
Let p(q) be the first derivative of -q**2 + 10*q - 3. Does 4 divide p(0)?
False
Suppose 0 = 4*u - 4*r - 1284, u - 300 = 3*