) = -l**3 - 2*l**2 - 2*l. Let r be j(-2). Suppose -r*o = -75 - 93. Is o a multiple of 11?
False
Let h(n) = n**3 - 4*n**2 + 2. Let g be 2/4*6 - -1. Is h(g) even?
True
Let p(u) = 14*u**2 + 11*u - 21. Does 12 divide p(5)?
True
Let z = 120 - 68. Does 12 divide z?
False
Let u = 173 + -89. Is 28 a factor of u?
True
Let y(j) = -j**3 + 4*j**2 + 6*j + 4. Let n be y(5). Suppose -2 = -3*l - 2*u + 10, 3*u - n = -3*l. Is l even?
True
Suppose 0*f = -3*k + f + 86, -5*k = 5*f - 150. Does 9 divide k?
False
Let f be (8/(-20))/((-2)/(-20)). Let r = 4 - f. Does 4 divide r?
True
Let u = -392 - -700. Is 11 a factor of u?
True
Let h(k) = 2 + 2*k + 2*k - 1 - 9. Is 8 a factor of h(6)?
True
Suppose 4*r - 2*w = 30, 4*r - 35 - 10 = -w. Does 3 divide 86/r - (-6)/(-10)?
False
Let a be -6 - -11 - 2*1. Suppose 2*m = 11 + a. Does 2 divide m?
False
Let a = 9 + -6. Suppose w + a*w = 212. Is w a multiple of 15?
False
Let p = -270 + 132. Let s be p/(-9)*3/1. Suppose i = -3*t + 49, -i - s = -2*i - 2*t. Is 14 a factor of i?
False
Suppose 8*s - 137 = 703. Does 21 divide s?
True
Suppose 5*t - 3*h = -h, 0 = -2*t + h. Suppose u + 5*k - 54 = t, -u + 0*u - 2*k + 51 = 0. Does 16 divide u?
False
Let t(l) = -65*l - 2. Let v be t(2). Let s = 198 + v. Is s a multiple of 15?
False
Let o(x) = 6*x - 28. Let a(d) = 2*d - 9. Let r(v) = 7*a(v) - 2*o(v). Let i be r(6). Does 20 divide (-203)/(-5) - 3/i?
True
Let q(u) be the first derivative of -u**2 - 1 + 0*u + 2/3*u**3. Is 6 a factor of q(-2)?
True
Let k be 0 - (3 + 6*-1). Let h(j) = -4*j**3 + j**2 + 11*j + 7. Let b(v) = 5*v**3 - 2*v**2 - 12*v - 8. Let n(s) = k*b(s) + 4*h(s). Is n(-5) a multiple of 13?
True
Let x(o) = -o**2 + 13*o + 16. Let a be x(14). Suppose 4*n + 15 = 5*d, -a*d + 7*d - 45 = -2*n. Is d even?
False
Let y = 42 + 27. Is 23 a factor of y?
True
Let m(f) = f**3 + 7*f**2 - f - 2. Let v be 1 + 24/(-9)*3. Is m(v) a multiple of 2?
False
Let k(l) = 3*l**2 + 5*l - 5. Is 45 a factor of k(-5)?
True
Let y = 24 + -14. Suppose -s = 2*x - y, -5*s + 0*x + 78 = 3*x. Is 18 a factor of s?
True
Let b = 6 - -19. Does 14 divide b?
False
Let o(h) = -h**3 + 8*h**2 - 8*h + 7. Let k be o(7). Suppose k = -3*r + 30 + 51. Is 11 a factor of r?
False
Let f(o) = -2*o**3 - o**2 + 5*o + 2. Let s(j) = -j**3 + 2*j + 1. Let r(l) = -4*f(l) + 9*s(l). Let g be r(2). Suppose -g*y + y + 144 = 0. Does 18 divide y?
True
Suppose -4*v - 2*a + 220 = 2*a, 3*v - 2*a - 145 = 0. Suppose -v - 29 = -5*z. Is 7 a factor of z?
False
Let h be -1 - 4*(-2)/(-4). Is (-87)/9*1*h a multiple of 25?
False
Let b = 3 + -1. Suppose 0 = -b*m - 1 + 5. Suppose -165 = -m*w - 69. Does 16 divide w?
True
Let z be (-4)/6 + (-98)/(-21). Suppose 0*f + 123 = 4*g - 3*f, -3*g = -z*f - 87. Does 14 divide g?
False
Suppose -5*q + 327 = 77. Is q a multiple of 16?
False
Suppose 5*h - 162 = 48. Suppose -b = 2*b - h. Suppose -4*p - b = m, 2*p = -2*m + 7*p + 37. Is m a multiple of 3?
True
Let f(a) = a - 2. Let p be f(-4). Let t = -1 - p. Suppose -t*x = -7 - 13. Is x a multiple of 2?
True
Suppose 2*p - b = -6*b, -2*b + 12 = 2*p. Is p a multiple of 10?
True
Suppose -5*w - h = -270, 0*w - 2*w + 3*h = -91. Suppose 3*b = w + 13. Does 11 divide b?
True
Let z = 49 - -87. Is 10 a factor of 8/28 - z/(-14)?
True
Suppose 3*b - 43 = -2*p + 51, 0 = -3*p - 3. Is 16 a factor of b?
True
Suppose -5*l - 3 = -j, -3*j + l + 3*l = -64. Is 4 a factor of j?
True
Let d(o) = -3*o + 5. Does 10 divide d(-8)?
False
Let j(v) = -2*v - 1. Let c be j(-2). Suppose 0 = -c*l + 3*k + 21, k + 29 = l + 2*l. Is 10 a factor of l?
False
Suppose 0 = -m + 4, 2*m + 3*m - 10 = 5*w. Suppose 3*z + 26 = y, 22 = w*y - y - 5*z. Does 16 divide y?
True
Let a(r) = -r**2 - 2*r + 2. Let i be a(-6). Let v = 52 + i. Is 15 a factor of v?
True
Suppose 0*w - 7 = -w. Let x(n) = n - 3*n**3 + w + 8 + 9 + 2*n**3. Is 12 a factor of x(0)?
True
Suppose 0 = 5*q - d - 11, -2*q = -4*q + 3*d - 6. Suppose -3*r - q*a - 42 = -0, -5*r - 78 = 3*a. Let h = 38 + r. Does 11 divide h?
False
Let u(r) = -r**3 - 6*r**2 + 6*r - 9. Let d(n) = n - 1. Let h be d(-6). Let w be u(h). Is 16 a factor of ((-3)/w)/((-6)/(-104))?
False
Let b(s) = 28*s - 2. Let z be b(2). Suppose -4*u + 5*u = z. Is 14 a factor of u?
False
Let q be (7/(-5))/((-6)/30). Let h(z) = z**3 - 5*z**2 - 10*z - 3. Does 10 divide h(q)?
False
Let j = 12 + -7. Let o be 22/j*(10 - 5). Suppose -3*c + 17 = -o. Does 13 divide c?
True
Let x(b) = 2*b - 2. Let l be x(1). Suppose -d + 7 + 5 = l. Is 6 a factor of d?
True
Let a(v) = 4*v**3 - 2*v**2 + 2*v - 2. Let j be 16/(-20)*10/(-4). Is 13 a factor of a(j)?
True
Suppose -d + 3*z + 11 = 0, -6*d = -4*d + 3*z + 23. Let u = 35 - d. Is u a multiple of 13?
True
Let w(z) = z + 1. Let v be w(3). Let h = -9 + v. Let c = h - -8. Is c a multiple of 3?
True
Let j(m) = m**2 + m + 5. Let z be j(5). Suppose -4*x + 75 = -t - 85, -z = -x - t. Is x a multiple of 15?
False
Let d = 23 + -21. Suppose -74 = -d*i - 12. Does 7 divide i?
False
Suppose 0 = -2*i + 153 - 81. Is 8 a factor of i?
False
Let u(f) = f**2 + f - 4. Let t be u(-3). Is 14 a factor of (-29 - t/(-2))*-1?
True
Suppose -k = -0*c + 2*c - 20, 5*k = -5*c + 100. Is 10 a factor of k?
True
Suppose 4 = -3*p + 5*p. Suppose -8 = p*k - 6*k. Suppose 2*r = -2, 0*u + k*r = 5*u - 47. Is u a multiple of 9?
True
Let i = 2 - 1. Suppose 0 = q + 3 - i. Does 13 divide (-106)/(-8) - q/(-8)?
True
Is 2/(-3)*(6 - (241 - -5)) a multiple of 32?
True
Let u(d) be the first derivative of 14*d**2 - d - 3. Is 27 a factor of u(1)?
True
Let o = 0 + 1. Let x(k) = 0*k**3 + o + 9*k**2 - 3*k**2 + k**3 - 8 - 10*k. Is 14 a factor of x(-7)?
True
Let m = -108 + 123. Does 3 divide m?
True
Suppose -1 = -2*i + 3. Let h(t) = i*t + 14 + 2*t**2 - t**3 - t**2 - 3*t. Is 6 a factor of h(0)?
False
Let u be (-8)/(-28) - 68/(-7). Let b = u + 30. Is 10 a factor of b?
True
Suppose 0 = 3*v, 5*x - 4*x + 3*v = 41. Does 5 divide x?
False
Let s = -8 + 14. Suppose w + a + 5 = 0, 0 = 5*w - 2*a - s - 4. Suppose w = -3*r + r + 20. Is 10 a factor of r?
True
Is 7 a factor of (-3)/((-415)/(-105) - 4)?
True
Let p be 4/16 + (-22)/(-8). Suppose 0 = -0*z - p*z + 9. Suppose w = 5*u - z*w - 245, 0 = w + 5. Does 12 divide u?
False
Let w = 8 + -8. Suppose u + 2*u = 3*b + 48, w = -2*u + b + 32. Suppose 2*c + 0*c - 3*t = u, 0 = 4*t. Does 4 divide c?
True
Is 3 a factor of (6/(-9))/((-2)/45)?
True
Suppose -2*z + 0*z = 84. Let o = 70 + z. Suppose -14 = -3*i + o. Does 12 divide i?
False
Suppose -2*n + 5*d + 1 = 3, -4*n = -4*d - 8. Let h(v) be the third derivative of v**5/60 - 3*v**2. Is 6 a factor of h(n)?
False
Suppose 2*r = -5*b + 31, -3*b = r - 3 - 11. Does 10 divide r?
False
Let z(i) = i**2 - 2*i - 2. Is z(6) a multiple of 11?
True
Let c(m) = -m**3 - 2*m**2 - 4*m. Suppose -4*d - 6*l + 2*l - 28 = 0, -4*l = 3*d + 25. Is c(d) a multiple of 6?
False
Let o(n) = n**3 + n**2 + n + 1. Let x be o(-1). Let g = 3 + x. Suppose -3*z = 8*a - 3*a - 205, -99 = -g*a + 3*z. Is 19 a factor of a?
True
Let p(h) = -h + 10. Let s be p(8). Let m be s/2 + 0/(-2). Does 2 divide (12/9)/(m/3)?
True
Suppose 0 = 5*a - 334 - 86. Is a a multiple of 14?
True
Let s be (-4)/(8/14)*-1. Does 11 divide -2 + (-7)/(s/(-20))?
False
Suppose 3*x - b - 110 = 0, -4*x - 2*b + 122 = -x. Suppose 4*q = v - x, -3*v + q = -0*v - 103. Is v a multiple of 11?
False
Suppose 4*d = -d - 2*p + 184, -5*d - 3*p = -186. Is d a multiple of 12?
True
Suppose 0*x + 5*x = -2*p + 11, 0 = -5*x + 5*p + 25. Suppose -x*s = -96 + 3. Is s a multiple of 10?
False
Suppose 0 = 3*y - 4*y + 2*l + 3, 4*y = l + 12. Is 16 a factor of y - (-29)/((-2)/(-2))?
True
Is 5 a factor of 1/(-4) + 21/4?
True
Suppose -4*v - v + 30 = 5*h, -3*h = -v + 22. Is v even?
True
Let z(v) = -v**3 - 13*v**2 - 3*v - 17. Is z(-13) a multiple of 5?
False
Let a(k) = k**2 - k - 4. Let m = 9 - 5. Suppose 0 = -0*u - u + m. Is a(u) a multiple of 4?
True
Let h = -79 + 43. Does 9 divide h/(-8)*(3 - -3)?
True
Let u = -79 + 111. Suppose 3*c - 95 + u = 0. Is c a multiple of 11?
False
Let k(l) = 6 + 6*l - 2 + 1 - 1. Does 14 divide k(4)?
True
Let a(f) = 2*f**2 + 17*f + 16. Is 6 a factor of a(-8)?
False
Suppose -4*r + r + 43 = -g, -3*r = 5*g - 55. Let f = r - 8. Does 4 divide f?
False
Is 3 a factor of (-4)/(5 - 1) + 18?
False
Is 26 a factor of (-12)/5*(-130)/4?
True
Let b = -24 + 59. Does 8 divide b?
False
Does 32 divide 502/3*27/18?
False
Suppose