48. Let f be o(u). Suppose -3*i + f = -54. Is i a multiple of 17?
True
Let g(j) be the first derivative of -j**4 - j**2/2 - j + 1. Let t = 10 - 11. Is 4 a factor of g(t)?
True
Suppose 3 = -y + 2. Does 23 divide 2*y/((-4)/46)?
True
Let r be (-2)/(-5) - (-156)/(-15). Let c(w) be the second derivative of -w**3/6 + w. Does 10 divide c(r)?
True
Suppose 5*c - 204 = 2*c. Is 17 a factor of c?
True
Let x(l) be the second derivative of 5*l**4/12 - l**3/3 - 4*l. Does 6 divide x(2)?
False
Let d = -140 - -256. Suppose -5*u + 4*t + d = 0, 0*u - 36 = -2*u - t. Does 20 divide u?
True
Suppose 2*v - 51 = -w, -5*w + 133 = -3*v - 135. Suppose 3*z + 3*k + 30 = 0, 4*z - 2*k + w + 17 = 0. Let d = -1 - z. Is 7 a factor of d?
True
Let y = 18 + -16. Is y even?
True
Suppose -2*y = -5*y + 57. Is 15 a factor of y?
False
Let i = 100 - 78. Does 7 divide i?
False
Let z be (-4)/(-18) - (-652)/(-18). Let b be (z/5)/(2/(-10)). Does 13 divide (-4 - -2) + 1 + b?
False
Let l be 16 + (-4 - -1) - -2. Suppose l = -3*t + 87. Let o = t - 6. Is o a multiple of 16?
False
Suppose -3*b - 3 = -3*o, -3*b - o + 9 = -0. Suppose b*v = 6*v. Suppose l - 15 - 8 = v. Does 16 divide l?
False
Suppose 876 = 4*j - 3*t, -4*j + j + t + 652 = 0. Suppose -d + 5*f + 47 = 14, -4*d - f + j = 0. Does 15 divide d?
False
Suppose 4*y = -4*b + 5*b - 5, 4*y - 2*b = -6. Let p(t) = 20*t**2 + 6*t + 5. Let j(d) = d**2 + d + 1. Let o(k) = -4*j(k) + p(k). Is 6 a factor of o(y)?
False
Let p = -7 + 9. Let l(o) = 5*o**2 + o + o**p - 10*o - 5*o**2 + 6. Is l(9) even?
True
Let y(q) = q**3 + 1. Let u be y(1). Suppose 0*t + t - 56 = -r, -u = -r. Is 27 a factor of t?
True
Let f = -63 + 167. Is f a multiple of 8?
True
Let k be 6/(-9) - (-28)/6. Suppose -2*u = v - k*u - 315, 285 = v + 4*u. Suppose -3*s = 2*s - v. Is 21 a factor of s?
False
Let h(a) = a**3 - 6*a**2 + 6*a + 6. Does 5 divide h(5)?
False
Suppose -142 = -3*l + 4*g, 5*l + 2*g - 237 = -9. Does 14 divide l?
False
Let g be (6/(-9))/(1/90). Let w = 86 + g. Is w a multiple of 15?
False
Suppose 5*g = 4*d + 83, 14 = -5*d + 4. Does 3 divide g?
True
Let q(y) = 3*y**3 - 2*y. Suppose 3*o - 5 = 1. Does 20 divide q(o)?
True
Let z be (1 - (-2)/(-4))*4. Let y(j) = 2*j**2 - j - 2. Let x be y(z). Is (-2)/x + (-30)/(-4) a multiple of 7?
True
Let n = -12 - -45. Is n a multiple of 11?
True
Let k(y) = -46*y + 9. Does 49 divide k(-3)?
True
Does 7 divide (0 - 3)/((-6)/56)?
True
Suppose 0*x = -3*x + 3. Suppose -11 = -4*q + x. Does 6 divide 8*1 + (1 - q)?
True
Let x(w) = -w**3 - 4*w**2 + 8*w - 3. Let u be x(-7). Let c = u + -50. Let g = c + -20. Is 6 a factor of g?
True
Let y(k) = -k**3 - 3*k**2 + 3*k + 13. Is 7 a factor of y(-4)?
False
Suppose -u = -3*m - 40, 6*u - u - 2*m = 161. Suppose -8*s = -3*s - 75. Let r = u - s. Is r a multiple of 6?
False
Let l = 50 - 15. Is 17 a factor of l?
False
Let u(j) = -3 - 2 - j - 4. Let n be u(-7). Is 2 a factor of n/((-3)/((-9)/(-2)))?
False
Let a = -4 + 2. Does 8 divide (-187)/(-7) + a/(-7)?
False
Suppose y - 75 = -g, -5*g + 2*y + 130 = -3*g. Does 14 divide g?
True
Suppose -16*f + 240 = -14*f. Is 9 a factor of f?
False
Let r(p) = 5*p**2 + 4*p - 3. Is r(-4) a multiple of 21?
False
Let w(y) = 2*y**2 - 2*y + 2. Let n(p) = -p**2 + 1. Let z(o) = -5*n(o) + w(o). Let v be z(-2). Let d = -13 + v. Does 16 divide d?
True
Let z(q) = q**2 - 8*q - 2. Suppose 2*d + 0*d + f = 22, 5*d = 2*f + 37. Does 3 divide z(d)?
False
Suppose -5*q = 8*z - 3*z - 95, 3*q + 27 = 3*z. Let b(c) = 6*c - 18. Is b(z) a multiple of 20?
False
Let a(y) = -y**3 - 34*y**2 - y + 36. Is 12 a factor of a(-34)?
False
Suppose -4*r - 3*i + 8 = 62, -50 = 5*r - 5*i. Let v = -50 - r. Let t = 1 - v. Is t a multiple of 14?
False
Let g = -2 - -2. Suppose 5*i + 10 + 0 = g. Let c = 34 + i. Is 16 a factor of c?
True
Suppose -b - 170 = -3*b. Does 17 divide b?
True
Let a = 4 - 3. Let y = 3 - a. Is 14 a factor of ((-57)/(-9))/(y/12)?
False
Let v(l) = -7*l**3 - 14*l**2 - 5*l + 3. Let t(i) = -3*i**3 - 7*i**2 - 3*i + 2. Let o(b) = 5*t(b) - 2*v(b). Let c be o(-6). Does 20 divide (c - -3) + 27 + -2?
False
Let j = -3 + -1. Let y(p) = p**3 - 7*p**2 - 6*p - 2. Let f(h) = -2*h**3 + 8*h**2 + 7*h + 1. Let n(w) = -2*f(w) - 3*y(w). Does 3 divide n(j)?
False
Suppose -i + 190 = 4*i. Is i a multiple of 6?
False
Let u be 1/2 + 255/2. Suppose -2*i - u = -2. Let f = -36 - i. Does 10 divide f?
False
Let w(r) = -r**2 - 5*r + 5. Let y be w(-5). Let b = y - 0. Let d = 7 - b. Is 2 a factor of d?
True
Suppose s - 2*s = -59. Let n = -33 + s. Does 13 divide n?
True
Let k = 5 + -2. Suppose 5*u = k*g - 33, -5*u - 26 = 4*g - 0. Does 17 divide 5*4/u*-12?
False
Let l be 112/5 - (-4)/(-10). Suppose 2*r + 2*i = -2*r + l, -5*i - 1 = 2*r. Let a = r - -4. Is a a multiple of 11?
True
Does 3 divide (3 - (-1)/(-1)) + 30/10?
False
Suppose k - 16 = -3*k, 3*k - 22 = -2*s. Suppose -2*l + 5 = -5*o + 24, -s*l = 5*o - 5. Does 4 divide -14*-2*o/12?
False
Let a = -4 + 3. Let w be -1*5 - (2 + -1). Let u = a - w. Does 5 divide u?
True
Let g(w) = w**2 + w - 1. Is g(-3) a multiple of 2?
False
Suppose -2*f + 7*f - 10 = 0. Let t be (-62)/(-22) + f/11. Let b = 5 - t. Is b a multiple of 2?
True
Suppose -51 + 5 = 2*x. Let o = -9 - x. Does 4 divide o?
False
Let t = -65 - -37. Is 8/t - (-74)/14 a multiple of 3?
False
Let k(z) = -4*z - 3. Let d be (-7)/3 - 1/(-3). Let h be k(d). Suppose h*v = 20, -11 - 30 = -c + 3*v. Is c a multiple of 22?
False
Is 22 a factor of -4 - 240/5*-1?
True
Let y = -8 + 35. Is y a multiple of 3?
True
Let a(m) be the second derivative of m**5/20 + m**4/3 - m**3/3 - m**2/2 - m. Suppose -p = -4*h + 6, 6 = -h + 5*p - p. Is a(h) a multiple of 16?
False
Suppose 0 = 3*t - 3, -3*t + 5 - 2 = v. Let x(z) = z**2 - z + 40. Let b be x(v). Suppose 3*g + g = b. Is 5 a factor of g?
True
Let x = -55 - -100. Is x a multiple of 14?
False
Suppose -12 = -4*m, -4*m + 96 + 84 = 3*w. Suppose s + 0*s = w. Does 14 divide (4 + -1)/(6/s)?
True
Suppose -2 = 3*b + 2*w - 13, 3*b + 4 = -5*w. Let c = b + 57. Let a = -39 + c. Is a a multiple of 21?
False
Suppose -3*q = 4*y - 15, q + 4*y + 2 = -1. Let k(l) = l**2 - 9*l - 2. Let a be k(q). Is 9 a factor of 15/a*(-6)/5?
True
Let y = 86 - 42. Is 22 a factor of y?
True
Suppose -3*u - 8 = 2*f + 3*f, 0 = f + 5*u + 6. Let x(t) = -57*t**3 - 2*t**2 - t. Is x(f) a multiple of 12?
False
Let f(t) = 3*t + 12. Let i be f(-11). Let y = 9 - i. Does 10 divide y?
True
Let a(k) = k**2 + 6*k + 4. Let t be a(-6). Suppose 3*q + x = 3*x - 220, x = t*q + 295. Let n = q - -107. Is n a multiple of 11?
True
Is ((-1)/(-2))/((-7)/(-966)) a multiple of 23?
True
Suppose 35 = 5*k + 2*g, -2*k = -2*g - g + 5. Suppose -5*c + k + 10 = 0. Suppose -q - j + 22 = -9, c*q = 5*j + 109. Is 19 a factor of q?
False
Let s(b) = b**2 + 7*b. Suppose 0 = 4*j + 42 - 14. Let z be s(j). Suppose -d + 3 = -z. Is 2 a factor of d?
False
Let c(v) be the second derivative of -v**4/12 - 4*v**3/3 + 7*v**2/2 - 2*v. Is c(-7) a multiple of 5?
False
Let s = -48 + 122. Is s a multiple of 12?
False
Let x = 27 + -8. Let z = -61 + x. Let v = z - -63. Does 10 divide v?
False
Let b(f) = -f + 2. Let g be b(-3). Suppose -g*d + 30 = -0*d. Is 14/((-3)/d*-4) a multiple of 3?
False
Suppose 4*z + 4 = 4*g, 0 = 3*g + z - 3*z - 2. Suppose -u + g = -7. Is 3 a factor of u?
False
Let t(r) = -3*r**3 - 7*r**2 - 3*r - 7. Let l(g) = -g**3 + g - 1. Let k(o) = 2*l(o) - t(o). Is 7 a factor of k(-5)?
False
Let z(s) be the second derivative of s**4/12 - s**2/2 - s. Let i be z(-1). Suppose 0 = u + 4*o - 33, -3*u - o - 3*o + 59 = i. Is u a multiple of 9?
False
Let k be (3*(-4)/(-3))/1. Let p = 11 - k. Is 4 a factor of p?
False
Let p(z) = -z**2 - 11*z + 9. Let u be p(-9). Does 11 divide u/(-6)*48/(-9)?
False
Suppose 5*k - 3*g - 2*g = 5, -3*k - 5*g = -27. Suppose -k*a - 76 = -3*q, 3*q = -q - a + 95. Is q a multiple of 12?
True
Let z = -19 + 31. Let w = 35 - z. Does 2 divide (-4)/14 - w/(-7)?
False
Suppose -5 = 4*n + n. Let p(o) = 43*o**2 + 2*o + 1. Is 21 a factor of p(n)?
True
Suppose 0 = -2*l - 2*l + 20. Suppose l*g - 3 = 4*d, -3*d + 10 = -6*d - 4*g. Is 3 a factor of (-15)/d - 1/(-2)?
False
Let k(h) = -22*h - 18. Is 25 a factor of k(-12)?
False
Let z(c) = 2*c**3 - 6*c**2 + 5*c - 4. Is 12 a factor of z(4)?
True
Let u(i) = -i**3 + 7*i**2 - 4*i - 6. Is 10 a factor of u(4)?
False
Let w = 2 + 28. Let p = 57 - w. Is p a multiple o