*k - 5*v, 2*k = -3*v + 477. Does 41 divide ((-130)/39*k/(-5))/2?
True
Let h be 10*(48/20 + -4). Is (-408)/h + 1/2 a multiple of 13?
True
Let c = -11 - -6. Let v = -8 - c. Does 14 divide 17/3*3 + v?
True
Let v(b) = -b**2 - 8*b - 7. Let i(d) = -d**2 - 4*d - 3. Let w(p) = -9*i(p) + 4*v(p). Is w(5) a multiple of 36?
True
Let b(v) = 4*v**2 + 42*v + 34. Is 2 a factor of b(-17)?
True
Let h be -4 - (-8)/4*12. Is (-262)/(-8) - (95/h - 4) a multiple of 17?
False
Let d = 2061 - 1007. Is 46 a factor of d?
False
Suppose -2*z + 6*a - 2*a - 2 = 0, 0 = 3*z + 4*a - 7. Let k be z/((-2)/(2 + -16)). Let d = 11 - k. Does 4 divide d?
True
Suppose 0 = -4*d + 5*a + 1023, -4*d - a + 108 = -897. Is d a multiple of 7?
True
Is 25 a factor of 4*5/(10/6)*25?
True
Let o = -95 + 429. Does 25 divide o?
False
Let z be (2 + (-1581)/(-6))*2 + -1. Suppose 3*s - 326 = 3*u + 460, -4*u = -2*s + z. Is s a multiple of 52?
False
Let y be -1*(4/2 - -1). Let j be (y - (-32)/12)*-12. Suppose -2*b - 128 = -j*b. Does 32 divide b?
True
Let q = 293 - 257. Is 4 a factor of q?
True
Suppose -a + 514 = -z, 0 = -4*a - 3*z + 474 + 1554. Is a a multiple of 8?
False
Let s = -383 + 581. Does 38 divide s - 6*(-10)/15?
False
Let c(k) be the second derivative of -6*k + 0 + 0*k**3 - 2*k**2 + 1/12*k**4. Is 6 a factor of c(4)?
True
Let b(s) = 10*s + 16 + 17*s - 31*s. Is b(-7) a multiple of 11?
True
Suppose -2*a + 3*j - 260 = -0*a, -4*a - 4*j - 560 = 0. Let x = 254 + a. Is x a multiple of 33?
False
Suppose 2*n - v = -5*v - 12, 10 = -2*v. Suppose 3*q + 34 = y, 0 = 2*y + 2*y + n*q - 104. Let u = y + -15. Is 9 a factor of u?
False
Let m = 14 + 316. Suppose 4*j = 7*j - m. Let i = j - 69. Does 41 divide i?
True
Let s = 543 - 218. Suppose -3*i - 4*j + 213 = 0, 5*i - s - 44 = -2*j. Is i a multiple of 15?
True
Let d(n) = n**2 - 19. Does 10 divide d(-22)?
False
Suppose 39*x = 44*x - 890. Does 2 divide x?
True
Let v = -11 - -51. Suppose -v = -3*r + 8*r. Is 18 a factor of 9/(-24) - 579/r?
True
Let j = -6 + 246. Is j a multiple of 12?
True
Suppose 3*l - 2976 = -3*y, 9*y - 12*y = -4*l + 4003. Does 8 divide l?
False
Let q = 46 + 78. Suppose 3*g - 11 - q = 0. Suppose -3*f - 2*h + g = 0, -4*f + 4*h + 53 = -7. Does 7 divide f?
False
Suppose -j + 0*q = 4*q + 27, -13 = -j + 4*q. Let v = j - -6. Let c = v - -6. Is c a multiple of 2?
False
Let o = -2 + -12. Let i = 14 - o. Is i a multiple of 24?
False
Let i be (80/(-64))/((-1)/12). Let z be (290/i)/((-4)/(-18)). Suppose 3*y - z = -6. Is 9 a factor of y?
True
Is 62 a factor of 366 + 3 + (-15 - -3)/(-4)?
True
Let h be 120/(-28) + 4/14. Let s(c) = 6*c**2 + 4*c - 3. Is s(h) a multiple of 7?
True
Let d(o) = 20*o + 39*o - 15*o + 5 - 3. Let m be (-2)/1*(-2)/4. Is 23 a factor of d(m)?
True
Let m(q) = q**2 + 8*q + 88. Does 14 divide m(-31)?
False
Let m(i) = -28*i - 7 + 13*i**2 + 8*i - i**3 + 7*i. Does 46 divide m(11)?
True
Let f = 284 - 272. Is 3 a factor of f?
True
Let r = 1255 - 1087. Is 8 a factor of r?
True
Suppose 300 = 6*n + 90. Is 0 + (-6)/(-2) + n a multiple of 37?
False
Let w = -13 - 225. Is (-136)/w + (-1382)/(-7) a multiple of 18?
True
Let f be (-270)/(-14) + (-16)/56. Let v = f + -19. Let w = 28 + v. Does 8 divide w?
False
Let h(j) = -3*j - 21. Let a be h(9). Let d be (-1)/(2/(-78)*-3). Is a/(-26) + (-2)/d a multiple of 2?
True
Let c be (-75)/(-7) - 4/(-14). Suppose 2 = -j - 5*d + 16, 2*j + d - 46 = 0. Suppose -c - j = -5*z. Is 7 a factor of z?
True
Suppose -4*m - 14 - 2 = 0. Let p = 42 - m. Let d = -10 + p. Does 16 divide d?
False
Let n be -3 + (-684)/(-3 + 0). Suppose 0 = -0*q - 3*q + n. Is 25 a factor of q?
True
Suppose 7*a - 505 = 545. Suppose -7*z = -z - a. Is 4 a factor of z?
False
Let v = 1272 - 311. Is v a multiple of 8?
False
Let d = -83 + 110. Suppose 5*b + d = 3*f, 4*f - 71 = -3*b - 2*b. Does 3 divide f?
False
Suppose -2*y + 4 = 2*c - c, 5*c = -y - 16. Is -1 + (-3)/c + (-22230)/(-120) a multiple of 37?
True
Let w be (-8)/(-3) - (-4)/(-6). Is 8 a factor of w/2 - (-46 + -1)?
True
Suppose -18*i - 604 + 46504 = 0. Is i a multiple of 85?
True
Let h be (-13 - (3 + 2))*2/(-3). Let m(p) = -p**2 + 13*p + 7. Is 15 a factor of m(h)?
False
Suppose -4*u = 2*g - 918, -25*g = 2*u - 21*g - 444. Is 8 a factor of u?
True
Suppose 0 = 5*s + 2*o + o + 16, s = 5*o + 8. Is 12 a factor of (-16)/(-6)*-9*1/s?
True
Suppose -2678 = d - 3687. Is 35 a factor of d?
False
Suppose 4*t = 3*l - 44, -70 = -10*l + 5*l + 5*t. Does 3 divide l?
True
Is (-2)/4*-9146 + -3 a multiple of 13?
False
Suppose 24 - 21 = s. Suppose -s*u + 8*u - 460 = 0. Is 23 a factor of u?
True
Let f = 4331 + -2451. Does 44 divide f?
False
Let b(d) = 20*d - 12. Let r be (-1*3)/(30/40). Let a be 81/12 - (-3)/r. Is 31 a factor of b(a)?
False
Let z(o) = 55*o + 23. Is 12 a factor of z(3)?
False
Let i(b) = 15*b + 5. Let d be i(6). Let f = 136 - d. Let c = f + -9. Does 8 divide c?
True
Suppose -7 - 33 = -5*o. Let c(g) = g - 15. Let x be c(o). Is (-4)/8*x*2 a multiple of 5?
False
Let z = 83 + -104. Let l = 120 + z. Is 42 a factor of l?
False
Let x = 1386 + -1163. Is 8 a factor of x?
False
Suppose -2009 = -3*q + 211. Does 37 divide q?
True
Let q = 45 - 36. Suppose 5*v = q*v - 48. Does 4 divide v?
True
Is -1 + 42/(-7) - -77 a multiple of 5?
True
Let g(a) = -2*a + 16. Let m be g(15). Let b = 27 + m. Suppose 0 = w - b - 9. Is w a multiple of 22?
True
Does 19 divide -2*(-8)/((-80)/(-1995))?
True
Let w be (-38)/12 - 2*(-2)/24. Is w/(-1) - (-7 + 1 - -1) a multiple of 4?
True
Is 17 a factor of -6 - 244/(-40) - (-40458)/20?
True
Suppose 2*q - 6506 = c, -4*q + 7*q - 32523 = 5*c. Let f be (-4)/(-14) - c/21. Suppose -3*w = -3*g - 143 - 37, -5*w + 3*g = -f. Does 19 divide w?
False
Suppose 12*o = 119 - 23. Is 7 a factor of ((-190)/(-4))/((-2 - -6)/o)?
False
Let q(t) = -t**3 - 4*t**2 - 3*t - 6. Let w be q(-4). Suppose 3*g - s = -w*s + 10, -5*g - 3*s - 10 = 0. Is 8 a factor of 4 + g - -9*1?
True
Suppose 0*m + 3*m = 6. Suppose -o - m*u + 3 = 0, u - 24 = 3*o - 6*o. Does 4 divide o?
False
Let t(s) = s. Let f be t(-4). Let k be (-3)/(-1 - f/(-8)). Suppose -5*j + k*l + 34 + 267 = 0, 2*j + 2*l - 126 = 0. Is j a multiple of 10?
False
Does 29 divide 84 - (-6)/(-6)*-3?
True
Let a(k) = 14*k**2 - 6*k - 32. Is a(5) a multiple of 16?
True
Suppose 162 + 90 = 14*p. Is 3 a factor of p?
True
Let m(y) = -y**3 - 6*y**2 + 4. Let l be m(-6). Let n be 6/(-2 + 12/l). Suppose n*c - 3*c = 60. Does 6 divide c?
False
Let y = -59 - -146. Let h = y - 57. Is h a multiple of 6?
True
Let f be 1 + 22 + -2*2/4. Suppose 0 = 2*t - 1 - 3. Suppose t*x + f = 174. Does 26 divide x?
False
Let w = -447 + 817. Does 31 divide w?
False
Let l = -14 - 64. Let r = 137 + l. Does 21 divide r?
False
Suppose 0 = 4*k + 392 + 16. Let y = k - -238. Is y a multiple of 17?
True
Let w(z) = -4*z**2 - 6*z - 13. Let g(f) = f**2 + f. Let b(x) = -3*g(x) - w(x). Let k be b(-5). Let m = 32 - k. Is 9 a factor of m?
True
Let d(y) = -y**3 - 6*y**2 + 4*y - 13. Let j be d(-8). Suppose r - 5 = 3*l - 69, -r + j = 4*l. Is l a multiple of 8?
False
Suppose -5*h = -13 - 7. Suppose -3*b - 459 = -h*u, 459 = -3*b - 6*u + u. Is 13 a factor of b/(-6) + (-2)/4?
False
Let s be (-2)/5 - 171/(-15). Let u = s + -15. Let r = u + 32. Does 28 divide r?
True
Does 48 divide (-14712)/4*(-3)/18?
False
Suppose -23*j + 22*j + 2071 = 5*i, 3*j + 1653 = 4*i. Is 6 a factor of i?
True
Let b(p) = -12*p + 4. Let h be b(7). Let y = 24 - h. Is 26 a factor of y?
True
Let m(b) = -108*b + 2. Let j be m(-1). Let n = j - -129. Is 14 a factor of n?
False
Suppose 5*k = 2*k - 21. Let y(w) = w**2 - 14. Let l be y(5). Let o = l + k. Does 3 divide o?
False
Let b(o) = 10*o - 20. Is b(6) a multiple of 4?
True
Suppose 0 = 3*c + 11 - 17, y + c - 1551 = 0. Does 65 divide y?
False
Suppose 9*s - 4*s - 1250 = 0. Does 26 divide s?
False
Let v be (-3)/4 - 582/(-8). Let b be v*((-9)/(-6))/(-1). Is b/(-5) - (-4)/10 a multiple of 11?
True
Suppose 62 = 4*p - 18. Suppose 0*n - 56 = -4*q + 5*n, 5*n = p. Is 19 a factor of q?
True
Let c(m) be the first derivative of m**4/4 + 8*m**3/3 + m**2 + m - 40. Is 7 a factor of c(-3)?
False
Does 38 divide 3492/60*(7 + -2)?
False
Suppose 0 = w + 7*w - 16. Let d(a) = a**2 - 2. Let y be d(w). Is 31 a factor of (5/y - 2)*62?
True
Does 24 divide (-6)/(-20) - (-5)/((-300)/(-223782))?
False
Suppose -6 = -3*d + d. Suppose -6*s = -d*s. Suppose s =