or of g?
True
Let d(l) be the first derivative of -l**2/2 + 5*l + 1. Let i be d(8). Let g(z) = 5*z**2 + 3*z - 3. Is g(i) a multiple of 10?
False
Let z(m) = 4*m**2 + 4*m + 4. Suppose -2*o = 2*o - 20. Let j be z(o). Suppose -3*s + 5*c = -j, s = c - 6*c + 8. Is 9 a factor of s?
False
Let j be (-135)/18*(-20)/3. Suppose 4*y - 26 - j = 0. Is y a multiple of 5?
False
Suppose 5 - 4 = x - k, 2*x = 3*k - 3. Suppose -2*a = -0 + x. Does 7 divide ((-9)/6)/(a/40)?
False
Suppose -2*h + 325 = -7*h. Let b = 110 + h. Does 13 divide b?
False
Let d be (4/16)/((-1)/(-4)). Let n = d - -5. Is n a multiple of 3?
True
Let g(p) = -2*p + 1. Let q be g(2). Let r = q - -8. Let s(k) = k + 1. Is 2 a factor of s(r)?
True
Suppose 7*a + 15 = 4*y + 2*a, 5*y - 22 = 3*a. Let f(k) be the second derivative of -k**5/20 + k**4/2 - k**3/2 + k**2/2 - 2*k. Is 9 a factor of f(y)?
False
Let p(a) = a**3 + 10*a**2 + 8*a - 9. Let f = -15 - -6. Let z be p(f). Suppose 2*o + 2*o = -2*s + 58, z = -5*s + 5*o + 160. Does 8 divide s?
False
Let s(x) = x**2 + 5*x + 3. Let m be -6*(8/6 + -2). Does 13 divide s(m)?
True
Let l(m) = m + 19. Let w be l(-13). Let s be w/9 + (-16)/(-3). Let a = s - -22. Is 14 a factor of a?
True
Let b(w) = -4*w + 5*w - 7*w**2 + 2*w**2 + 7 - w**3. Is b(-6) a multiple of 15?
False
Let o be -4*((-34)/8 + -1). Let g be (-28)/2*(o + 1). Is g/(-9) - 4/18 a multiple of 18?
False
Let r = -31 - -66. Is r a multiple of 33?
False
Let t(o) = 2*o**2 + 3*o + 3. Let y be t(-2). Suppose -4*n - y*p = 32, 2*n + 2*n = 2*p - 4. Is n/((-19)/9 - -2) a multiple of 14?
False
Suppose 3*u - 90 = -4*i, -4*u - 32 = i - 2*i. Let q = -12 + i. Is 11 a factor of q?
False
Let a(j) = -2*j**3 - 2*j**2 - 2. Let p be a(-2). Suppose -2*y - 87 = -3*k, -2*y + 6*y + 93 = 3*k. Suppose o + p = k. Is 9 a factor of o?
False
Let j = -24 - -68. Let q = j - 7. Is q a multiple of 11?
False
Suppose 0 = 2*x + 6*s - 3*s - 10, x - 5*s = 18. Suppose 3*t + t - x = 0. Is 15 a factor of ((-10)/(-1))/(t/4)?
False
Let j = -11 + -4. Let w(q) = q**3 + q**2 + 2*q + 3. Let l be w(-2). Let d = l - j. Does 5 divide d?
True
Let c = 2 + 4. Is (-1098)/(-14) - c/14 a multiple of 22?
False
Suppose -2*d = 5*k - 1 + 22, -4*k - 9 = -d. Let c = 0 - d. Suppose -c*w + 36 = g, w = -g - w + 34. Does 12 divide g?
False
Let j = 12 + 18. Is 8 a factor of j?
False
Let j = -16 - 12. Suppose -24 = 2*v + 3*d, -2*v + 0*d + 4*d = 52. Let t = v - j. Is t a multiple of 4?
False
Let k(x) be the third derivative of -3*x**4/8 + x**3/2 + 2*x**2. Let v = 11 + -15. Is k(v) a multiple of 13?
True
Let b = 29 + -14. Is 3 a factor of b?
True
Suppose -2*i - z = -21, -2*z = -2*i + 9 - 3. Suppose -i = -v - v. Suppose 0 = v*l - 3*b - 1, 2*l - 2*b - 23 = -5*b. Is 2 a factor of l?
True
Let b(i) = 3*i**2 + 16*i + 28. Is 12 a factor of b(-8)?
False
Let q = -8 + -6. Let w(p) = -2*p - 6. Is w(q) a multiple of 12?
False
Suppose 4272 = -0*w + 4*w. Does 20 divide w/54 - 4/(-18)?
True
Suppose 2*g - 2*q + 35 - 121 = 0, 0 = g - 3*q - 45. Let o = 3 + g. Does 16 divide o?
False
Let d(w) = 9*w - 12. Is 5 a factor of d(6)?
False
Let h(p) = 8*p + 48. Is h(24) a multiple of 17?
False
Let r be (-6)/9 + 17/3. Suppose -r*m = -0 - 10. Suppose m*l - 14 = l. Is 7 a factor of l?
True
Suppose 3*o - 60 = -3*l, -o - o + 4*l + 46 = 0. Does 4 divide o?
False
Let q = 351 + -183. Is 14 a factor of q?
True
Does 5 divide (-1 - -16) + (-1 - 2)?
False
Let t(f) = f**3 + 17*f**2 - 15*f - 23. Does 13 divide t(-17)?
False
Let z(g) = -g**2 - 5*g + 10. Let l be z(-6). Suppose 501 = l*t - x - 2*x, -x = -4*t + 503. Does 27 divide t?
False
Let n = 10 + -14. Is 5 a factor of n*(-2)/(-8)*-5?
True
Let s = 1 - -2. Suppose -15 = -4*n + n. Let l = s + n. Is 8 a factor of l?
True
Suppose 0 = j - 7 + 2. Suppose 73 + j = 3*k. Is 13 a factor of k?
True
Is ((-76)/10)/(4/(-10)) + -2 even?
False
Suppose -w = -3 - 33. Let v = w + -15. Does 9 divide v?
False
Suppose -5*s + 35 = 3*o, -5*o - 2 = -3*s - 3*o. Does 2 divide s?
True
Let s be 6/(-15) + (-12)/(-5). Let v(y) = 2*y**3 - y**2 - 2. Let a be v(s). Is 5 a factor of (-4)/a - (-52)/5?
True
Suppose 2*l + 124 = 4*j, 4*l - 128 = -4*j + 5*l. Suppose -3*r - j = -3*c, c - 13 - 1 = -2*r. Is c a multiple of 8?
False
Let d = 0 - -2. Let f(k) = -4 + 6*k + 3*k**2 - k**d + 0. Is f(-5) a multiple of 16?
True
Let t be -114*(0 - (3 + -2)). Suppose t = 5*i + 34. Suppose 0 = 2*z - i - 28. Is z a multiple of 16?
False
Does 7 divide (168/20)/(15/50)?
True
Let k(y) = 20*y**2 + 2*y - 6. Does 13 divide k(2)?
True
Let f = -1 + 36. Is f a multiple of 7?
True
Let x(k) = k**2 - 2*k + 6. Let t be x(6). Let n = t + -6. Is n a multiple of 5?
False
Is 4 a factor of (-678)/(-21) + (-90)/21 + 4?
True
Let q = -9 + 12. Is q even?
False
Suppose -2*r + 23 = 2*r - 3*l, -5*r - l = -43. Let o be (-10)/(-8)*(-4 + r). Suppose o*p - 149 = 81. Does 12 divide p?
False
Let m = 27 + -7. Is 3 a factor of m?
False
Let t = -2 - -8. Suppose t*p = p + 225. Let a = -6 + p. Is a a multiple of 16?
False
Let x = 7 - -47. Is x a multiple of 18?
True
Suppose 0*z + 3*z - 9 = 0. Suppose -4*m = -4*c + 76, c - 33 = -c + z*m. Is c a multiple of 12?
True
Let y(g) be the third derivative of g**4/12 + 9*g**3 + 6*g**2. Is y(0) a multiple of 12?
False
Suppose 4*v + 0*v - 256 = 0. Does 24 divide v?
False
Let k(v) = -33*v**3 - v**2 - 2*v - 1. Let l(n) = -3*n**3 - 8*n**2 + 4*n + 4*n**3 + 2*n**2 + 4. Let p be l(5). Is k(p) a multiple of 14?
False
Suppose 5*m - 11 = -1. Let f = m + 0. Suppose 5*y = -t + 62, -3*y - f*t = -8*y + 56. Is y a multiple of 7?
False
Suppose 5*p + 2*q - 548 = 0, -2*p + q - 3*q = -224. Is 5 a factor of p?
False
Let q = 205 - 117. Is q a multiple of 8?
True
Suppose 85 = 4*z - f - 695, 5*z - 5*f = 960. Is 28 a factor of z?
True
Suppose -21 = -l + 15. Suppose -2*w = -l + 6. Suppose -5*q + 5 = -w. Is q even?
True
Let p be 3/(-9) + 19/3. Let i be 21 + 3/p*-4. Let d = -8 + i. Is d a multiple of 3?
False
Let i = -5 - -7. Suppose -24 = -i*t - t. Is ((-10)/(-8))/(2/t) even?
False
Let v(w) = 2*w**3 + 2*w**2 - 2*w + 2. Let s be v(2). Suppose -5*h + 38 = -s. Is h a multiple of 12?
True
Let r = 293 + -71. Is 24 a factor of r?
False
Suppose -10 = -2*w - 6*k + k, -4 = -2*k. Suppose 4*x - 16 = l - 0*l, -l - x + 4 = w. Suppose 0*b - j + 24 = b, l = b + 3*j - 14. Is 11 a factor of b?
False
Suppose -3*f + 0*f + 18 = 0. Suppose 3*l = l - f. Is 0 - -26 - (l - -6) a multiple of 7?
False
Suppose -2*v + 0*v - 148 = 0. Let d be ((-81)/12)/((-1)/16). Let y = v + d. Is y a multiple of 18?
False
Let i = 241 - -81. Suppose 4*g - 20 = 0, 4*u + 5 = -5*g + i. Is 20 a factor of u?
False
Is 4 a factor of (-3)/(30/8)*-15?
True
Let n(x) be the second derivative of -x**5/40 - x**4/8 - x**3/2 + x. Let k(y) be the second derivative of n(y). Is k(-9) a multiple of 17?
False
Let q = 27 + 81. Does 27 divide q?
True
Is 66 - (2/(-6)*0 - 0) a multiple of 11?
True
Let z(d) be the first derivative of 3 - 1 - 9*d - 12*d**2 + 13*d**2. Is z(7) a multiple of 4?
False
Let h(i) = i - 2. Let z be h(9). Suppose z*s = 6*s + 46. Does 16 divide s?
False
Let c be (1 + -2 - -2)*2. Suppose 2*t = 2*y + 60, c*t - 3*y - 55 = -6*y. Does 13 divide t?
False
Suppose 0 = -q - 0 + 5. Let x(d) = d**2 - 3*d - 5. Let t be x(5). Let j = q + t. Does 7 divide j?
False
Is 32 a factor of (-8592)/(-78) + 4/(-26)?
False
Let a be 0 - (-1 + 4)/(-1). Let v be (-5)/(-4) + a/4. Suppose 2*w - w = v*k + 8, 2*w - k - 19 = 0. Is 10 a factor of w?
True
Let w(n) = n**2 + 4*n - 5. Is w(-7) a multiple of 16?
True
Let a(z) = -3 - 2 - 2 + 11*z. Is a(3) a multiple of 13?
True
Let d(g) = 19*g - 5. Let x be d(2). Suppose 0 = p - 5*u - x, 0 = -3*p - 2*u + 3 + 11. Is p even?
True
Let c = -64 - -36. Let v = 50 + c. Is v a multiple of 6?
False
Let g be ((-3)/3)/((-2)/(-14)). Let x be (1 - -6)*(-24)/g. Suppose -2*k + 144 = 5*b, b - 3*k - x = -k. Is b a multiple of 10?
False
Let l be ((-6)/(-4))/((-6)/(-36)). Is 34 - (l/3 - -1) a multiple of 19?
False
Let n = -57 + 107. Is n a multiple of 25?
True
Suppose 4*w + 55 + 481 = 5*v, -1 = -w. Is 27 a factor of v?
True
Suppose 0 = 2*k + 37 - 257. Suppose -26 + k = 2*b. Is b a multiple of 7?
True
Suppose -4*p - 5*m + 8 = 0, p = 2*p - 4*m - 2. Suppose -p*u + 69 = u. Is 21 a factor of u?
False
Does 16 divide (-1 - 2) + 62 + 0?
False
Let w = -14 - -19. Suppose 0 = w*x + 3*d + d - 115, 0 =