e
Let p(w) = -3*w**2 - 20*w + 9. Let x be p(-7). Suppose 5*v + 3*k - 208 = 0, -v - x*k + 38 = -5*k. Is 5 a factor of v?
False
Let w = 11 + -6. Suppose -76 = -w*n + 64. Let r = -8 + n. Is r a multiple of 20?
True
Suppose -5*u = -5*k + 25, 16 = -4*k + 2*u + 44. Suppose 4*c - 8*c = -224. Let h = c + k. Is h a multiple of 13?
True
Let g(c) = -c**2 - 13*c - 11. Let b be g(-12). Does 27 divide b*(163 - 1) - 0?
True
Suppose -5*g = -3*n - 114, g = 4*n - 0*n + 16. Suppose -27*x = -g*x - 396. Is 44 a factor of x?
True
Let k(o) = -2*o**2 - 15*o - 3. Let n(y) = -y**2 + y - 6. Let h be n(0). Let f be k(h). Suppose 45 = 5*g - f. Is g a multiple of 12?
True
Suppose 5*u + 5 = -3*m, -5*u + 30 = -2*m - 2*m. Suppose -v + 126 = -3*b, -4*v - 2*b = u*b - 472. Is 40 a factor of v?
True
Suppose -14*a + 1 = -139. Is a even?
True
Let u = -2343 + 3364. Let n = u - 613. Does 51 divide n?
True
Let w(a) = -2*a - 7. Let t(h) = -h. Let i(k) = 3*t(k) - w(k). Does 4 divide i(-10)?
False
Let o(k) = k + 18. Let x be o(-10). Let i = x + -21. Let v(r) = r**2 + 13*r + 17. Is v(i) a multiple of 17?
True
Let q(o) = o**2 + 6*o. Does 10 divide q(-16)?
True
Suppose -5*j + 3*u + 1238 = 88, -u = -j + 230. Is j a multiple of 23?
True
Let z(d) = 159*d**2 - d. Let k be z(-1). Suppose -9*l + 5*l + k = 0. Does 4 divide l?
True
Suppose -5*h - l = -3*l - 26, 0 = -4*h + 5*l + 31. Suppose -9 + 1 = -h*s. Let c(w) = 4*w**3 - 3*w**2 + 5*w - 2. Is 13 a factor of c(s)?
False
Suppose 0*l = 4*l - 276. Let v be (-2)/(-2)*l + -2. Suppose 2*y = 45 + v. Is 28 a factor of y?
True
Suppose 3*t - 3 = 9. Suppose -m - 15 = 2*y, 6*y + t*m = 2*y - 28. Let s = y - -20. Does 6 divide s?
True
Suppose -b - 4*l = -2752, -b + 3*l = -3*b + 5489. Is 84 a factor of b?
False
Does 83 divide (780/(-40))/((-2)/236)?
False
Suppose 30354 + 1146 = 14*k. Does 75 divide k?
True
Let m be -51*(52/6)/(2/(-3)). Suppose -5*s = -h - m, -572 - 103 = -5*s + 5*h. Does 11 divide s?
True
Suppose -5*r - 16 = -r. Let u(k) = k**3 + 43*k**2 + 40*k - 92. Let n be u(-42). Does 13 divide (-51 + n/r)*-1?
False
Suppose -11*m - 30 = 3. Let q(i) = -i**3 + 7*i**2 - 5*i + 2. Let o be q(6). Let p = m + o. Is p a multiple of 3?
False
Suppose -714 = -8*j + 70. Suppose r = s - 2*r - 65, -277 = -5*s + 3*r. Let f = j - s. Does 15 divide f?
True
Let a = -5 - -8. Does 4 divide 408/18 - (-1)/a?
False
Let k(r) = r**3 + 7*r**2 + 8*r + 14. Let n be k(-6). Suppose -4*h + n*h = -6. Suppose h*t + 2*u - 136 = 0, t + 174 = 5*t - u. Is 11 a factor of t?
True
Let s be 4/(-14) + 994/49. Suppose -3*j - s = -7*j. Suppose 0 = q - j*q + 48. Is q a multiple of 4?
True
Let v(k) = -4*k + 1. Let n be v(-1). Let i be 491/6 - n/(-30). Suppose -2*l + 5*l + 23 = o, -2*l - i = -4*o. Is 12 a factor of o?
False
Let v = 14 + 11. Let r = 37 - v. Is 2 a factor of r?
True
Let n(h) = 16 - 8 - 7*h + 11*h - 1. Suppose 2*j - 4*j - 4*x = 2, -2*x = -3*j + 21. Does 7 divide n(j)?
False
Let x(o) = 2*o + 74. Let j(u) = -2*u - 16. Let y be j(-8). Let i be x(y). Is 1/(223/i - 3) a multiple of 26?
False
Let o = 163 + 589. Is o a multiple of 8?
True
Let m = 734 - -241. Is m a multiple of 16?
False
Let d = -19 + 11. Let j(b) be the first derivative of b**4/4 + 8*b**3/3 + 2*b + 4. Is j(d) even?
True
Suppose 527 = p - 3*j, 3*p - 6*p + 4*j = -1561. Is p a multiple of 7?
False
Let u = 104 - 100. Suppose -u*c + 544 = -4*m, -4*c - m = 2*m - 516. Does 11 divide c?
True
Let q = -61 + 217. Is 0/(-2) - (4 - q) a multiple of 19?
True
Let p(j) = j**2 - 31*j + 105. Does 19 divide p(33)?
True
Suppose 5*o - 4*p - 30 = 0, -5*p - 5 = 4*o + 12. Does 15 divide (-8 + -2)*(-3)/o?
True
Let k be (-3)/((-9)/(-12)) - -7. Suppose 2*q - 5 = -3*w, k*q - 5 = 5*w - 26. Does 33 divide 99/q*2/(-3)?
True
Suppose 2*w + l - 575 = 0, -7*w = -2*w - l - 1434. Is 41 a factor of w?
True
Let z(b) = 61*b**3 + 2*b**2 + 22*b - 50. Is 20 a factor of z(3)?
False
Let y(d) = -d**3 + 12*d**2 - 11*d + 1. Let r be y(11). Is (103 - r)*4/8 a multiple of 11?
False
Suppose -4*m = -4*p - 76, -4*m - 21 + 127 = 2*p. Does 3 divide m?
True
Let x = -36 + 60. Suppose 9 = -5*l + x. Suppose 0 = h - 2*o - 48, -2*o = -l*h + 3*o + 143. Is h a multiple of 23?
True
Let t(h) = 4*h + 36. Let k be t(13). Let m = k - -93. Is 27 a factor of m?
False
Let q be 548/20 + 3/5. Let z = q + -23. Suppose 2*i - 2*b = 7*i - 395, z = -b. Is 27 a factor of i?
True
Is 18/(-7) - -3 - (-1671)/21 a multiple of 3?
False
Let i = -210 + 416. Is i a multiple of 15?
False
Suppose 0 = -4*m - 4*y + 760, 4*y + 34 - 986 = -5*m. Suppose 0*z + 4*z = m. Does 10 divide ((-5)/(-2))/(4/z)?
True
Let y = -3178 - -5338. Is 20 a factor of y?
True
Let i = -161 - -41. Is (15/20)/((-1)/i) a multiple of 15?
True
Let k be (392/(-70))/((-2)/(-15)). Let b = 53 + k. Is b a multiple of 5?
False
Suppose 2*d = 3*d - 3, -2*b + 2*d + 22 = 0. Let z be (-1 - 1)/((-7)/b). Suppose -z*u = -7*u + 180. Is 20 a factor of u?
True
Let y(s) = 6*s - 41*s + 1 - 4*s. Let v be y(4). Is (v - 1)/(-3) - -3 a multiple of 18?
False
Let o(s) = -4*s. Let l be o(-8). Suppose -l*p = -34*p + 120. Does 16 divide p?
False
Let m be (38/12)/(9/(-54)). Let p(r) = -32*r - 1. Let x be p(-1). Let n = m + x. Does 12 divide n?
True
Is 16 a factor of ((-960)/18)/((-5)/90)?
True
Suppose 0 = -14*j + 1652 - 308. Is j a multiple of 4?
True
Suppose 131 + 908 = r + b, -2*r + 2*b = -2082. Does 16 divide r?
True
Let i(o) = o**3 + 19*o**2 + 25*o + 27. Is i(-17) a multiple of 8?
False
Does 8 divide 582/(-4)*(5 - (-8 + 15))?
False
Let i be 3 + 11/(33/(-18)). Let d be 0 - i/((-12)/(-8)). Does 9 divide 3 + (2 - d) + 47?
False
Let b(j) = -j**2 - 17*j - 24. Let m be b(-11). Suppose -2*q + q = -3*a - 8, m = 4*q - 2*a. Is q a multiple of 11?
True
Let j = -16 + 21. Suppose -j*k - k + 12 = 0. Suppose -k*z = -3*z + 49. Is z a multiple of 7?
True
Let j(o) = 10*o**2 - 17 - 2*o**2 + 10 - 6*o - o**3. Let x be j(7). Suppose -3*m + 4*b + 152 = x, -3*m - 2*m + 230 = 5*b. Is m a multiple of 12?
True
Let r = 2 + 20. Suppose 4*b = -70 + r. Is 11 a factor of -7*(b - (-6 + 2))?
False
Suppose -2 = 2*l + 18. Let p be (-35)/l - 1/2. Suppose -p*n + 20 = n. Does 5 divide n?
True
Let r(n) = -n**3 - 13*n**2 - 21*n + 14. Let q be r(-11). Suppose 10*x = q*x + 420. Is 4 a factor of x?
True
Suppose v - 9 + 0 = 0. Let w(a) = a**2 - 9*a + 12. Let x be w(v). Suppose -96 + x = -4*m. Is m a multiple of 21?
True
Let k(p) = 3*p**3 + 11*p**2 - 5*p + 17. Let x(l) = -l**3 - 4*l**2 + 2*l - 6. Let r(z) = 3*k(z) + 8*x(z). Let j be r(0). Does 7 divide 7*6 + -3 + j?
True
Suppose 0 = -2*z - 3*t + 1, -4*z + 17 = 3*t + 6. Suppose z*r + 4*j = 40, -4*j = -r + j - 21. Is r a multiple of 2?
True
Is 57 a factor of (1118/104)/((-2)/(-16))?
False
Let s = 96 + -79. Suppose -2*u + 5*u = 60. Let k = u + s. Does 7 divide k?
False
Suppose 6*k - p = 2*k + 165, 5*k = 3*p + 201. Suppose k = 2*z - 2*t, 2*z - 4*t = -8*t + 30. Does 19 divide z?
True
Let x = 36 + -31. Suppose x*v - 2*g = 192 - 44, 2*v - 63 = -3*g. Is 5 a factor of v?
True
Suppose 2*u = -2*u + 52. Let h = u - 11. Suppose 0 = h*y + m + 2*m + 1, -18 = -3*y + 2*m. Is 3 a factor of y?
False
Let h be 2*2 + -3 + 3. Suppose -h*s = -3*s - 3. Suppose -32 = -s*n - o, n + 34 = 2*n + 5*o. Does 9 divide n?
True
Let t(r) = 38*r**2 + r - 1. Let z = 20 - 19. Let w be t(z). Suppose w = 3*k + 2*s + 16, 4*k = -3*s + 28. Is k a multiple of 10?
True
Let a be -8 + 4 + 3/(-3). Does 4 divide 36/(9/(-3) - a)?
False
Let b = -1454 - -1561. Does 2 divide b?
False
Let o(s) = 30*s**2 - 20*s + 47. Is o(-11) a multiple of 17?
False
Suppose 5*z + u = 13, 7*u + 10 = 2*u. Suppose -b - 2*w + 64 = -w, z*w + 242 = 4*b. Is b a multiple of 13?
False
Is -996*1/(16/(-8)) a multiple of 24?
False
Let r(y) = -2*y + 9. Let j be 0/(-6) - (-4)/2. Suppose j*z + 21 = -z. Is r(z) a multiple of 23?
True
Suppose 0 = v, 0*v + 2127 = 3*c + 4*v. Is 16 a factor of c?
False
Suppose -927 = -4*c + 193. Is c a multiple of 28?
True
Let y(q) = -3*q**3 + 16*q**2 + 25*q + 16. Let r(j) = 2*j**3 - 15*j**2 - 26*j - 16. Let g(p) = 4*r(p) + 3*y(p). Does 23 divide g(-12)?
False
Suppose -3*u - 16 = -11*u. Suppose z = 5*o - 0*z - 1497, u*o = -4*z + 590. Does 28 divide o?
False
Let v(s) be the second derivative of -s**3/2 - 3*s**2/2 + 4*s. Let g be v(-2). Suppose 45 = -g*d + 4*d. Is 15 a factor of d?
True
Let r = 1551 + -813. Does 53 divide r?
