 6 divide f?
False
Let i(v) = v - 7. Let h be i(10). Suppose 4*b = 2*q + 150, h*b + 80 = 5*b - 2*q. Does 35 divide b?
True
Let a be (-1)/(((-8)/(-6))/(-4)). Suppose -a*z = w - 15, -5*w + 12 - 1 = -z. Is (2/(-4))/(z/(-408)) a multiple of 13?
False
Let s(u) = 6*u - u**2 - 13*u + 17*u - 17. Is s(6) a multiple of 7?
True
Let u = -367 - -419. Is 5 a factor of u?
False
Suppose 0 = 5*i - 3*y - 25, 0 = 3*i - 3*y + 7*y - 15. Suppose i*d = 8*d - 132. Is 9 a factor of d?
False
Is 220/1 - (-4)/(-1) a multiple of 27?
True
Let g(l) = -l**2 + 11*l - 11. Let y be g(8). Suppose -12*v = -y*v. Suppose -p - 5 + 11 = v. Is p a multiple of 5?
False
Suppose 581 = -4*n + 2573. Is n a multiple of 12?
False
Suppose 0 = -g, 4*x + g - 1587 + 375 = 0. Suppose -d - 5*o - 149 = -3*d, 4*d = 5*o + x. Suppose 16 + d = 3*i + 3*y, -5*y = -2*i + 69. Does 16 divide i?
True
Let v = 107 + -103. Is 4 a factor of v?
True
Let p = 184 - -35. Does 28 divide p?
False
Let l be (6/(-4))/(3/(-8)). Let z be (l*-2)/(4/(-12)). Is 14 a factor of (-28)/(-10)*(z - 9)?
True
Let r = 0 + 21. Suppose -2*z - z + r = 3*w, -5*z + 19 = -3*w. Suppose 0*h - h + 48 = c, -w*c - h = -92. Does 22 divide c?
True
Let r(f) = 2*f - 2. Let k be r(1). Let i = k + 2. Suppose -2*j + 16 = i*j. Is 3 a factor of j?
False
Suppose -z = 4*o + 44 - 311, 276 = 4*o + 4*z. Is o even?
True
Let m = 129 + 17. Does 15 divide 6/(60/m) - (-2)/5?
True
Suppose 2*x + 5*z - 92 = -2*x, 3*x - 68 = -4*z. Suppose x = 4*q - 36. Is q a multiple of 13?
False
Let b(s) = -s**3 - 35*s**2 + 74*s + 79. Is b(-37) even?
False
Let b = -2 + 13. Suppose -34 - b = 3*r. Let h = 26 + r. Is h a multiple of 11?
True
Let a = -1 - -12. Let r = 0 + a. Let v = r - 1. Is v a multiple of 3?
False
Let y(v) = 52*v**2 - v - 4. Is 19 a factor of y(3)?
False
Suppose -213 = -13*x + 281. Suppose 3*c = -4*l - 22 + 91, -3*c - 3 = 0. Let o = x - l. Is 20 a factor of o?
True
Let f be (-9)/18*(-1 - 11). Suppose -y = -2*a - 39, a = f*a - 3*y + 100. Let b = a - -23. Is 6 a factor of b?
True
Suppose 0 = 8*t - 4*t - 172. Let x = -131 - -106. Let o = t + x. Is o a multiple of 18?
True
Suppose -3024 = 6*i - 15*i. Does 42 divide i?
True
Let o = -1391 + 2342. Is o a multiple of 6?
False
Suppose -8*p + 1104 = -0*p. Is 23 a factor of p?
True
Let d = 194 + -16. Is 2 a factor of d?
True
Suppose -2*n - 2*c + 1942 = 2*n, 974 = 2*n + 4*c. Is n a multiple of 15?
False
Suppose -4*p + 6 = -2. Let x be 6 + (1 - (-2 + 1)). Let k = x + p. Is 10 a factor of k?
True
Does 37 divide 208/(-16)*(-7 + 1)?
False
Let g(r) = 4*r + 59. Does 17 divide g(15)?
True
Let v = -1847 - -2267. Does 70 divide v?
True
Let c be (-2583)/(-11) - (-14)/77*1. Suppose 0*h - 5*v + 27 = h, 5*h + 5*v = c. Is 10 a factor of h?
False
Let o(y) = y**2 + 9*y - 14. Let c be o(-11). Suppose -b - 6 = -c. Suppose 2*p - b*u = u + 23, 5*p = -3*u + 110. Is p a multiple of 13?
False
Suppose 0 = 9*f - 10*f + 44. Suppose 0 = -2*n - 18 + f. Does 2 divide n?
False
Let i(z) = z**2 - 10*z - 21. Let w be i(12). Suppose 0 = w*b - 3*m - 255, -2*b + 119 + 81 = 4*m. Does 30 divide b?
True
Let i(m) = 26*m - 20. Is 40 a factor of i(9)?
False
Let g(w) = -1 + 4*w - 10*w**2 + 4*w**2 - 4*w**3 + 3*w**3. Let j(s) = -s**3 - 6*s**2 + 5*s - 2. Let b(z) = -3*g(z) + 2*j(z). Is b(-5) a multiple of 17?
True
Let q(y) = y**2 + 7*y + 5. Let v be q(-5). Let a = -3 - v. Suppose -l + 5*n + 9 = -11, -3*l + 60 = a*n. Does 10 divide l?
True
Let k = 30 + -19. Suppose -4*w = -135 + k. Does 11 divide w*2 + -8 + 10?
False
Let x(a) = -4*a + 3 + a**2 + 2*a**3 - 3*a + a. Let j be x(2). Is (-2)/j - (-453)/11 a multiple of 12?
False
Let l = 283 + -177. Let g = l - -8. Does 38 divide g?
True
Suppose 28*w - 21*w = 1043. Is w a multiple of 34?
False
Suppose -4*l - 8 + 44 = 0. Is 4 a factor of l?
False
Let s be 162/6 - 3/1. Let y = s + 46. Does 18 divide y?
False
Suppose 4*q - 662 = -4*o + 522, 0 = -2*q - o + 592. Does 8 divide q?
True
Let d = 223 + -157. Does 22 divide d?
True
Let h = 6 - -8. Let g = h + -11. Does 17 divide 34*g/2 - 0?
True
Let x = 278 + -128. Is x a multiple of 9?
False
Let r = 52 + -58. Does 14 divide (-1690)/(-15) - (8/r)/(-2)?
True
Let i = -6 + 5. Let z(c) = 29*c**2 - c - 1. Let f be z(i). Let b = 16 + f. Is 15 a factor of b?
True
Suppose -2*r - 1950 = -5*r. Let a be 52/(-338) + (-41)/(-13). Does 22 divide 2/a + r/15?
True
Let b = 62 + -43. Let q = b - 9. Is q a multiple of 6?
False
Suppose -5*d - 4*r = -287, 0*r - 49 = -d + 2*r. Suppose 3*t - 119 = -t - x, -5*x = 2*t - d. Let h = t + 38. Is 13 a factor of h?
False
Let v be 2/11 - ((-6)/(-33) - 2). Suppose -3*h = -h + 3*x - 86, -5*h + 193 = v*x. Is 15 a factor of h?
False
Let k = -28 - -67. Let w be 1 + (-5 - -2) + k. Let y = 49 - w. Does 5 divide y?
False
Suppose -6*o = 1 + 23. Does 15 divide 18 + (-4 - o) + (0 - 3)?
True
Suppose 0 = -4*f + 10 + 26. Let k(l) = l**2 - 17. Is k(f) a multiple of 4?
True
Let d(t) = 8*t**2 + 68*t**3 + 2*t - 138*t**3 + 69*t**3 - 16. Is 32 a factor of d(7)?
False
Let h(d) = -27*d + 3. Let p be h(1). Let r = p - -28. Suppose -6*z + z - 4*b = -33, -8 = -r*b. Is z a multiple of 5?
True
Suppose -2*x + 2 = f, f + x + 2 = 2*f. Let p(c) = -4*c**f - c**2 + 17*c - 18 + 4*c**2. Is 11 a factor of p(13)?
False
Let w(p) = 10*p**3 - 6*p**2 + 11*p + 4. Does 11 divide w(3)?
True
Let p = -80 - -5. Let a = 146 + p. Suppose a + 928 = 9*l. Does 25 divide l?
False
Suppose 6*x = 4*x + 4*z + 246, 3*z = -9. Is x a multiple of 13?
True
Suppose 0 = -2*m - 5*t + 940, 3*m - t - 1203 = 241. Does 40 divide m?
True
Suppose 50348 = 24*l - 4708. Is 37 a factor of l?
True
Suppose -5*o + 5*g = -2575, -14*o = -11*o + 5*g - 1569. Is o even?
True
Let n(o) = 3*o**2 + 2*o + 5. Let c be (-18)/(-22) + -1 - 310/110. Is 15 a factor of n(c)?
False
Is 21 a factor of (-38)/3*2583/(-82)?
True
Is 40/5 - 7 - -189 a multiple of 22?
False
Suppose -2*m - 5 = -33. Let i(f) = f**2 - 13*f + 10. Let h be i(m). Suppose -4*o + 6*o = h. Is o a multiple of 12?
True
Let g(x) = 16 + 6*x**2 + 4*x**2 - 7*x**2 + x - 4*x**2. Is 8 a factor of g(0)?
True
Suppose -n - 2*u + 31 = 0, 4*n - 5*u - 43 - 68 = 0. Let h = 16 + -10. Let q = h + n. Is 13 a factor of q?
False
Suppose 0 = -2*q + 106 + 182. Is 12 a factor of q?
True
Let x(l) = l + 22. Let b = 39 + -34. Does 6 divide x(b)?
False
Let g(p) be the third derivative of -p**4/4 + 25*p**3/6 + 28*p**2. Is g(-12) a multiple of 12?
False
Let w be (-16)/(-20)*(-21)/(-12)*10. Suppose w*m = m + 156. Does 6 divide m?
True
Let s be (-1)/2*-8 + 5. Suppose 0 = -s*p + 995 + 733. Does 24 divide p?
True
Let x = 11 - 7. Suppose x*r + d - 218 = 0, -5*d + d = -3*r + 154. Is r a multiple of 27?
True
Suppose 4*a = -51 + 7. Let t = 121 + a. Is 11 a factor of t?
True
Suppose -2*p + 65 = -131. Suppose -6*m = -8*m + p. Suppose -3*q + m + 5 = 0. Is 6 a factor of q?
True
Suppose 42 - 48 = 3*j. Does 4 divide (-4 + 36/3)*j/(-4)?
True
Let l(j) = 14*j**3 - 3*j**2 - 6*j + 19. Is 17 a factor of l(4)?
False
Suppose 2*g = 5*g - 15. Let y(c) = 2*c**2 - 10*c + 2. Let u be y(g). Suppose -35 = -2*j - q, j - u*j + 4*q - 5 = 0. Does 3 divide j?
True
Let n(t) = -5*t**3 - 8*t**2 + 20*t - 23. Is n(-9) a multiple of 11?
True
Suppose -2*b - 20 = 4*r, b + 4*r = 5*b + 76. Let z = -10 - 14. Let a = b - z. Is 8 a factor of a?
True
Does 50 divide (-20)/25 - (-754)/5?
True
Let x(j) be the second derivative of -2/3*j**4 + 0 + 5/6*j**3 - 1/20*j**5 - 9*j - 15/2*j**2. Is 21 a factor of x(-9)?
True
Let r = -547 + 987. Is 11 a factor of r?
True
Suppose 0 = 71*a - 74*a + 639. Does 3 divide a?
True
Suppose -135*b + 35717 = -118*b. Is 84 a factor of b?
False
Let z = 26 + -3. Suppose 20*g + 198 = z*g. Does 11 divide g?
True
Suppose -b - 6881 = -4*i, 2*i = -b - 0*b + 3439. Is i a multiple of 20?
True
Does 41 divide (-353 - 22)/((-6)/8)?
False
Suppose 0 = 7*t - 12 - 44. Does 30 divide t*21 + 1 + -1?
False
Suppose -2*v + 5*x = -52, v - 3*x - x - 29 = 0. Is 2 a factor of v?
False
Let b(i) be the second derivative of -i**4/12 + 11*i**3/6 - 5*i**2 + i. Is b(8) a multiple of 4?
False
Suppose 0 = -0*z + z - 17. Suppose -z - 63 = 4*d. Is 18 a factor of 434/8 + 5/d?
True
Let s = -33 + 55. Is 11 a factor of (-84)/14*s/(-3)?
True
Let i be (0/1)/(-3 - 0). Suppose 3*d - d - 2 = i. Suppose 24 = m + d. Does 23 divide m?
True
Is (-524)/(-28) + 280/(-49) + 6 a multiple of 2?
False
L