67. Let c = k + w. Is c a multiple of 16?
False
Let p(i) = -i**3 - 3*i**2 - 2*i. Let l be p(-3). Suppose -x - x = -l. Suppose 0*c + c + q - 27 = 0, x*c = -4*q + 81. Is c a multiple of 11?
False
Suppose 2*f = 4*f - 36. Is 9 a factor of f?
True
Let v be ((-2)/(-3))/((-2)/(-66)). Let y = -16 + v. Does 5 divide y?
False
Does 18 divide (-1 - 0)*(1545/(-5) - -5)?
False
Let i(g) = 4*g**2 + 20*g - 6. Is i(5) a multiple of 37?
False
Does 25 divide (8/(-5))/((-24)/1260)?
False
Suppose 5*x = x + 28. Suppose -q + 7 + x = 0. Is q a multiple of 7?
True
Suppose 22 = -3*t + 4*t - 5*i, 4*t - 5*i - 58 = 0. Suppose -3*y - 3 + t = 0. Suppose r = y*r - 46. Is 18 a factor of r?
False
Suppose 1 + 4 = 5*j. Let q be (j - -9)*1/2. Suppose q*x - 93 + 18 = 0. Is 15 a factor of x?
True
Let u(g) = 2*g - 3. Let s be u(4). Suppose 7*i = 2*i - 2*r - 4, 0 = 4*i + s*r + 10. Is 4 a factor of (-4)/(i + -2) + 8?
False
Let k = 100 - 88. Is 2 a factor of k?
True
Is ((-54)/5)/(1/(-5)) a multiple of 9?
True
Let a(o) = 3*o + 18. Does 17 divide a(11)?
True
Let u(j) = 3*j + 3*j + 2 + 2. Is u(7) a multiple of 23?
True
Let x = 48 - 32. Let d = x + -9. Is d a multiple of 7?
True
Let h = 0 + 4. Suppose -c - 4*o = 17 - h, 2*o = 2*c - 4. Does 26 divide (-3)/c - 185/(-5)?
False
Let f be (2/4)/(3/318). Suppose 3*s - 77 = v, -2*v + 9 = 3*s - f. Does 8 divide s?
True
Let u(i) = -5*i + 8. Let m(n) = -n**2 - 7*n - 1. Let s be m(-5). Let x be u(s). Let r = x - -53. Is r a multiple of 9?
False
Let v = 143 - 95. Is 4 a factor of v?
True
Let f be 3 - ((-3)/(-3) - 2). Suppose r - 3 + 4 = l, -2*r - f*l = -16. Suppose -p = -4*n + 100 + r, -18 = -n + 4*p. Is 13 a factor of n?
True
Let d(j) = -j**2 - 7*j + 10. Let k be d(-8). Suppose -i = -4*f + 60, k*i + 3*i - 20 = 0. Let o = 26 - f. Is o a multiple of 3?
False
Let o(b) be the first derivative of b**4/2 - 4*b**3/3 - 2*b**2 - 3. Does 23 divide o(4)?
False
Suppose -26 = -2*z - 0*z. Suppose -5*x + 143 = -5*l + z, 5*l - 4*x + 126 = 0. Does 5 divide (-540)/(-55) + (-4)/l?
True
Let k be 1*(7 - (0 - 3)). Suppose 0 = -2*i - 3*b + 52, 2 - k = 4*b. Is 11 a factor of i?
False
Suppose -21 - 29 = -5*p. Is 10 a factor of p?
True
Let r(k) = 97*k**3 + k**2 - k + 1. Does 14 divide r(1)?
True
Suppose 0 = -4*j - 45 - 167. Let c = -23 - j. Does 8 divide c?
False
Let q be (-210)/(-8) - (-2)/(-8). Suppose n + 3*p + 5 = 0, n - q = 4*p - 3. Does 7 divide n?
True
Let k be (-14)/(-4)*(-7 - -9). Suppose -k*h + 146 + 64 = 0. Does 10 divide h?
True
Let b = -98 - -199. Is b a multiple of 17?
False
Let y = 42 + -7. Does 12 divide y?
False
Suppose s = -2*z + 90, 0 = -0*z - 3*z + 3*s + 135. Is z a multiple of 15?
True
Let m(i) = 5 - 1 - 3 - 2*i. Does 8 divide m(-8)?
False
Let x(k) = k**3 - 7*k**2 + 8*k - 5. Let p be 3*(9/(-3) + 5). Is 2 a factor of x(p)?
False
Let u(t) = -6*t - 2*t - 4*t - 5 + t. Does 17 divide u(-2)?
True
Let s(r) = 17*r - 8. Is s(7) a multiple of 32?
False
Let v(o) = -o**2 + 3*o + 6. Let b be v(4). Suppose -48 = -b*g + 20. Does 24 divide g?
False
Suppose 3*p = -9, o + 26 = 2*o - 2*p. Suppose -3*b + 5*i = -o - 25, -17 = -2*b - i. Is b a multiple of 6?
False
Let r be (-4)/(-14) - 16/7. Let h(i) be the second derivative of -7*i**3/3 - 3*i. Does 11 divide h(r)?
False
Let y = -131 + 286. Does 5 divide y?
True
Suppose j + 10 = 6*j. Let u(r) = 3*r - r + 4 - j*r**2 + 0*r + 0 - r**3. Does 14 divide u(-4)?
True
Suppose 12 = -2*g - 4. Is (-3)/((-18)/g)*-18 a multiple of 24?
True
Suppose 0*a - 2 = -a. Suppose 37 = a*d - w, 0 = -4*d + 3*w + 41 + 32. Is 11 a factor of d?
False
Does 9 divide (-5 + -1)/(-1 - 28/(-36))?
True
Let k(r) = 2*r + 34. Does 34 divide k(25)?
False
Let f(h) = -4*h - 9. Let a be f(-6). Let g be (-6)/a + (-14)/(-10). Let m = 6 - g. Is 2 a factor of m?
False
Let h = 23 + -26. Let k = 11 - h. Does 10 divide k?
False
Let i = -18 - -12. Let x(f) = f**2 + 4*f - 5. Let u be x(i). Let k(t) = t**2 - t - 4. Does 19 divide k(u)?
True
Suppose -2*i - 6 = 0, 4*q + 2*i + 2*i - 412 = 0. Does 15 divide q?
False
Does 9 divide (-21 + (0 - -3))*-6?
True
Let g = 225 + -49. Is 22 a factor of g?
True
Let j be (1*-4)/(-4)*-11. Let w(h) = h**2 + 8*h + 13. Does 16 divide w(j)?
False
Suppose 0 = 2*a - 6*a + 264. Does 11 divide a?
True
Suppose -77 + 11 = -2*v. Is v a multiple of 13?
False
Let b = 81 - 55. Is b a multiple of 26?
True
Suppose 22 + 74 = 4*h. Is h a multiple of 5?
False
Suppose 2*a = 3*p - 3 - 22, -3*p + 4*a + 35 = 0. Suppose -6 = 2*i + i, -2*g - p*i = 4. Is g a multiple of 2?
False
Let t be (2/(-6))/(4/(-12)). Let u(s) = 0 - 3*s + t + 0. Is u(-1) even?
True
Suppose 5*s + 15 = -6*v + v, -s + 4*v + 17 = 0. Is 8 + 3 + (s - 4) a multiple of 6?
False
Let n(k) = 2*k**2 + k + 1. Let x(b) be the first derivative of -b**3/3 - 4*b**2 - 8*b + 1. Let f be x(-6). Is n(f) a multiple of 13?
False
Let d(v) = -v + 95. Is 38 a factor of d(0)?
False
Let i(m) = 21*m**3 + m. Let d be i(1). Let p = d - 4. Does 18 divide p?
True
Suppose -84 = -3*y + 5*j, 2*y + 4*j + 0*j - 34 = 0. Let d = 36 - y. Is d a multiple of 10?
False
Suppose 2*c = c + 3*j + 11, -2*c - 3*j = 23. Is (-7)/((-14)/c) - -8 a multiple of 6?
True
Suppose -687 = -4*i - 3*v - 2*v, 2*v = -4*i + 678. Does 14 divide i?
True
Suppose 0*w = 3*w + 6. Does 6 divide w/5 - 97/(-5)?
False
Let q be ((-3 - -1) + 2)*-1. Suppose 0 = -5*p - 25, -4*r + 4*p - 16 = q. Let w = r + 35. Does 13 divide w?
True
Let s(k) = k - 5*k + 8*k + 4*k**2 - 1 + 0. Is 22 a factor of s(-3)?
False
Does 43 divide (1265/4 - (-4)/(-16))/2?
False
Let y(u) = -u**3 - 5*u**2 - 3*u + 4. Let v be y(-4). Suppose v = r - 2*r + 4. Suppose -b = -w + 32, 5*b + 128 = r*w + 2. Is w a multiple of 17?
True
Let a(p) = -p + 5. Is a(-3) a multiple of 4?
True
Let b(t) = 16*t**2 + 13*t + 13. Let i(d) = 5*d**2 + 4*d + 4. Let y be ((-14)/(-4))/((-2)/(-4)). Let q(r) = y*i(r) - 2*b(r). Is q(-3) a multiple of 9?
False
Suppose -f + 54 = -k + 3*k, 2*k - 62 = f. Does 29 divide k?
True
Let u = 3 + 0. Is 14 a factor of 4/(u/(-42)*-4)?
True
Let j be 19 + (0 + 3)/3. Suppose 4*o - j = 40. Is o a multiple of 3?
True
Suppose 4*n - 1 = 11. Suppose -n*l = l - p - 9, -5*l + 18 = p. Is l a multiple of 2?
False
Let w = 12 + -12. Let p(i) = -3 + i + 5 + 4. Does 6 divide p(w)?
True
Suppose 0 = 8*v - 11*v + 297. Is v a multiple of 9?
True
Let x(g) = -21*g - 3. Does 11 divide x(-2)?
False
Is 1740/54 - (-6)/(-27) a multiple of 8?
True
Suppose -4*c = -3*j + 38, 2*j - 3*c - 21 = j. Let m = 50 + j. Is m a multiple of 14?
True
Suppose 56 = 3*d + 2*o - 7*o, -3*d - 2*o + 49 = 0. Is 7 a factor of d?
False
Let p be (-5 - -57)/(-2 - -1). Let l = -34 - p. Suppose m - l = -m. Does 5 divide m?
False
Suppose -12*p = 38 - 170. Is p a multiple of 5?
False
Let w = 41 + -22. Is w a multiple of 3?
False
Suppose -2*j + 47 = -p, j - 5 = -3*p + 1. Does 21 divide j?
True
Let b = -13 - -8. Let o = -1 - b. Is o a multiple of 4?
True
Let p(t) = t**3 - 7*t**2 - 8*t + 11. Is 5 a factor of p(8)?
False
Suppose -p = 4*b - 770, -3*b + 0*b + p = -574. Is 12 a factor of b?
True
Is 10 a factor of 4 + (-132)/(-20) - 4/(-10)?
False
Let b(n) be the second derivative of 7*n**5/20 + n**4/12 + 3*n. Is b(1) a multiple of 6?
False
Let u(o) = -5*o - 3*o + 3 - o - 2*o. Is u(-4) a multiple of 17?
False
Suppose 0 = 5*m - 0*m - 495. Suppose 3 - m = -3*j. Does 8 divide j?
True
Let v = 239 - 139. Is v a multiple of 25?
True
Suppose -3*v + 24 = -51. Let z = -43 + v. Does 6 divide 4/z + (-137)/(-9)?
False
Suppose 99 = 2*s - 157. Does 8 divide s?
True
Suppose 3*r = 21 - 6. Suppose -2*y = -r*w - 60, 8 - 2 = 3*w. Does 12 divide y?
False
Let a(j) = j**2 + 10. Let p be a(0). Suppose -5*o - 10 = q - 64, 3*o - 5*q - p = 0. Is 10 a factor of o?
True
Suppose 0 = -3*o + 2*o + 10. Let h be 12/o*800/6. Is 16 a factor of (h/(-15))/((-2)/9)?
True
Suppose -4*m + 1064 = -4*v, 3 = -v - 1. Does 41 divide m?
False
Let f = 23 + -15. Suppose 3*y = -4*j + 3*j - 6, 4*y = -2*j - f. Suppose j*v = -3*v + 156. Is 24 a factor of v?
False
Let b be (1/(-3))/((-5)/(-30)). Is 6 + (-2 - (0 + b)) even?
True
Suppose 0 = -5*a + i + 3*i + 252, -4*a - 5*i = -177. Is a a multiple of 8?
True
Let r be 776/32 - (-1)/(-4). Suppose n + r = 5*n. Suppose 4*p = -4*b + 132, n*b - 2*b - 131 = -3*p. Is b a multiple of 16?
True
Let n(g) = -g**2 - 11*g - 5. Suppose v - 48 + 14 = 0. Suppose t + v - 9 = -5*j, -5*t - 35