 f be 1*1199 - (-7 + 1 + 5). Suppose 0 = -m - m + f. Suppose -4*n + m = -2*j, -3*j + 254 = 2*n - 30. Does 37 divide n?
True
Let l(h) = 119*h**2 - 64*h - 86. Does 11 divide l(-7)?
True
Let s = 3436 - -3012. Is s a multiple of 31?
True
Suppose 3*n - 2*q - 1 = 19, -q + 16 = 5*n. Suppose 0 = h + 4, -2*z + 6*h = n*h + 718. Is (4/(-6))/(2/z) a multiple of 22?
False
Suppose 0 = -4*h - 3*t + 32, h + 4 = 3*t - 3. Suppose 5*q = -a + 351 - 66, h*a = 5*q - 315. Does 9 divide q?
False
Let w(s) = 12*s + 53. Let j be w(-9). Let d be ((-44)/j)/((-2)/(-75)). Let x = -6 + d. Is x a multiple of 2?
True
Suppose p - 2*k - 1385 = 0, -5*k = -2*p + 1472 + 1297. Is 19 a factor of p?
True
Suppose 5*b = 3*a - 6286, -16*a - 2100 = -17*a + b. Is a a multiple of 7?
True
Suppose 0 = -12*q + 6140 + 3760. Suppose -q = -4*t + t. Is 35 a factor of t?
False
Suppose p = 4*z + 45, 2*p + 9*z = 13*z + 78. Suppose p*w - 29*w = 2028. Does 13 divide w?
True
Let c be (-6)/(-4)*(-1 - 1) - -68. Let y = c - 97. Let q = 3 - y. Is 5 a factor of q?
True
Does 94 divide (-77268)/21*(-315)/90?
True
Let i(n) = -n**3 + 44*n**2 - 22*n - 252. Let b be i(43). Suppose p - 3*t + 1 = -3*p, 2*p - 5*t + 11 = 0. Suppose p*d = -5*d + b. Is 31 a factor of d?
True
Let c(z) = -13*z**2 - 19*z - 52. Let s(l) = -3*l**2 - 4*l - 10. Let t(k) = 2*c(k) - 11*s(k). Does 27 divide t(-5)?
False
Suppose -52*i + 23*i = -182236. Is i/18 - 7/(-252)*-4 a multiple of 12?
False
Suppose -43*l + 171148 = 57456. Does 141 divide l?
False
Let w(u) = 13*u - 25. Let y be w(4). Let q be 8 + y - (-2 - 2). Suppose -p = -13 - q. Is 20 a factor of p?
False
Let t = 1927 - -12663. Is 7 a factor of t?
False
Suppose 0 = -12559*g + 12537*g + 99528. Is g a multiple of 58?
True
Let q(u) = -4*u**3 + 5*u**2 - 3*u - 41. Is 64 a factor of q(-8)?
False
Let a(o) = o**2 - 17*o - 53. Let q be a(-27). Let b = 318 + q. Suppose 193 = -4*h + b. Is h a multiple of 35?
True
Let b(o) = -2*o - 9. Let y be 40/(-90)*6/(-4)*-9. Let i be b(y). Suppose 793 - 257 = 5*m - 4*q, 0 = i*m - 2*q - 320. Is 11 a factor of m?
False
Suppose -2 = -4*c + 30. Suppose -4*p = c + 4. Is ((-7)/p - 3)/(6/(-27)) even?
False
Is 13 a factor of 119 + -110 - (-26)/(-2) - -8706?
False
Let m(d) = -d**3 - d**2 - 3*d - 3. Let v be m(-1). Does 10 divide (-3899)/(-7) + -7 + v?
True
Let b(c) = c**3 + 9*c**2 + 13*c - 5. Let s be b(-7). Let n(v) = 53*v + 1. Is n(s) a multiple of 20?
False
Let m(l) = 7*l + 521. Does 12 divide m(-25)?
False
Suppose 11*q = 8*q - 3*p + 45159, -2*q - 4*p + 30120 = 0. Does 42 divide q?
False
Suppose 3*g - 8*g = -860. Let v = 102 - 152. Let q = v + g. Does 15 divide q?
False
Does 36 divide ((-33)/99)/(4/(-83808)*2)?
True
Suppose -4*c + 686*d - 687*d = -3893, -c + 983 = -3*d. Is 9 a factor of c?
False
Let u(r) = -r - 45. Let f be u(17). Let b = f - -67. Suppose -n + 3*v + 56 = 1, b*v = 2*n - 111. Does 3 divide n?
False
Let f = 160 - 153. Let r(a) = 3*a**3 - 19*a**2 + 17*a - 9. Does 26 divide r(f)?
True
Let b be -26 + (24/(-32))/(3/(-20)). Does 44 divide (-35)/b*(4 + 524)?
True
Suppose 2*x + 7*x = 1008. Suppose x*g + 1647 = 121*g. Is g a multiple of 11?
False
Let c(l) = -2*l**3 - 23*l**2 + 16*l + 19. Let w be c(-13). Is w/8 - -4*2/32 a multiple of 13?
False
Let j(z) = 76*z - 2380. Does 68 divide j(85)?
True
Suppose -4832*i + 4810*i + 445434 = 0. Is 20 a factor of i?
False
Let l(t) = 3*t**3 + 4*t**2 - 9*t + 18 - 12 + 2. Is 26 a factor of l(4)?
False
Suppose 2*r - 31*f = -26*f + 1644, 3*r - 3*f = 2475. Is r even?
False
Let a = -22217 + 23316. Does 7 divide a?
True
Suppose -268*r + 8055691 + 6681629 = 0. Does 47 divide r?
True
Let y = -246 + 271. Suppose -y*k + 18*k = -1393. Does 9 divide k?
False
Suppose -22*w + 34*w = 3672. Suppose -23*i = -w - 1051. Is i a multiple of 15?
False
Let w(x) = 273*x + 2. Let y be w(6). Suppose -y = -7*n + 2980. Is n a multiple of 20?
True
Let b = -346 + 383. Let o(t) = t**2 - 5*t + 5. Let x be o(5). Suppose x*q - 4*n = 487, -3*q + 3*n + b + 254 = 0. Is q a multiple of 9?
True
Suppose -u + a = -8, 2*u + 8*a + 8 = 4*a. Let v(i) = 9*i**3 - 8*i**2 + 20*i - 10. Is v(u) a multiple of 23?
False
Let a = 3649 + -1633. Let h = a + -1430. Does 29 divide h?
False
Let m = -15 - -6. Let n(r) = 24*r - 112. Let s be n(5). Is s/(-12) - -1 - 87/m a multiple of 10?
True
Let k = 257 - 245. Suppose 12*u = -k*u + 10320. Is 43 a factor of u?
True
Let y be (-96)/18*(-3)/2. Let i be 2 + (y + -4 - 4). Is i + (-12)/(-8)*26 a multiple of 30?
False
Suppose 11562 = 7*a - 32216. Is a a multiple of 32?
False
Suppose -40*a + 30264 + 174536 = 0. Is a even?
True
Suppose 4*j + 4*u + 8 = 0, 3*j - 22*u + 21*u - 14 = 0. Suppose -t - 5*l + 45 + 99 = 0, 2*l - 380 = -j*t. Is 27 a factor of t?
False
Let n = -3738 + 15308. Is n a multiple of 5?
True
Let x be 164/6*(-78)/(-13). Suppose -3*k + 244 + 32 = 5*h, -3*h = k - x. Does 6 divide h?
True
Let q(k) = 40*k + 30. Suppose 376*r = 369*r + 35. Is q(r) a multiple of 10?
True
Suppose -g + 24 = 3*f - 0*g, 6 = -2*g. Suppose -4*p = -p + f, -1104 = -b - 4*p. Does 16 divide b?
False
Suppose 160 - 60 = 5*l. Let i = l + -9. Is 0 + 19 - (i - 11) a multiple of 14?
False
Let z = 379 + -86. Suppose -16 = 4*l, -3*l - z = -5*v + 169. Does 14 divide v?
False
Let m(l) = -l**3 - 805*l - 1 + 2 + l**2 + 822*l. Does 6 divide m(4)?
False
Suppose -2*n = -7*n + 11978 + 11762. Does 27 divide n?
False
Suppose -2*v - 5*x = -232054 + 68921, -3*x - 326253 = -4*v. Does 25 divide v?
False
Let p = 24 + 33. Does 33 divide (p + 3)*(-4 - (-343)/28)?
True
Let c(y) = -99*y**3 + 4*y**2 + 9*y + 40. Is c(-5) a multiple of 33?
False
Let t(v) = -12*v + 157. Let m be t(13). Suppose 3*g - 4*g = m, 2*r = -2*g + 946. Is r a multiple of 6?
True
Let v(j) = j**3 + 4*j**2 + 16*j + 11. Let m be v(-5). Let g = -70 - m. Does 4 divide g?
True
Suppose q - 2*l = 2*l - 72, 0 = -2*l. Let b = q + 78. Is b + (4 - 5) - -237 a multiple of 35?
False
Let h = -1215 + 640. Let c = h - -815. Is 15 a factor of c?
True
Suppose -8 = -3*z + 1. Suppose z*b + 4*b = 3710. Does 68 divide b?
False
Is 44 a factor of (24/140*(-400)/(-24))/(12/74886)?
False
Let z(b) = -3*b - 72 - 53 - 12*b + 120. Let j(x) = x**2 - 6*x - 2. Let p be j(3). Is 20 a factor of z(p)?
True
Suppose 283 = 3*g - 47. Let u = 30 + g. Is 20 a factor of u?
True
Let h(b) = -6*b**2 - b - 55. Let y be h(7). Let g = y + 736. Is g a multiple of 95?
True
Let g(z) = -z**2 + 34*z - 22. Suppose 55 = -14*k + 25*k. Is 41 a factor of g(k)?
True
Let m(o) = -o**2 + 8*o + 36. Let j(u) = 8*u**2 + 2*u + 2. Let p be j(-1). Does 36 divide m(p)?
True
Suppose -4*x = -3*g - 136, 4*x - g = -0*g + 128. Let n = -33 + x. Is (n/6)/(3/(-108)) a multiple of 6?
True
Suppose -4*g - 654 = 746. Let o = g + 522. Suppose o = 5*f - t - 0*t, 0 = 4*f + t - 143. Is f a multiple of 7?
True
Suppose 0 = -40*i + 739793 - 76793. Is 195 a factor of i?
True
Let u(a) = -21*a + 10. Let i(k) = 41*k - 20. Let b(w) = 4*i(w) + 9*u(w). Let l be b(-1). Suppose 28*g = l*g - 1190. Does 16 divide g?
False
Suppose -c + 712 = 3*p, -3*c + 461 = -4*p + 1393. Let l = -2946 - -3277. Let m = l - p. Is 19 a factor of m?
True
Let l = 3083 - 2291. Does 52 divide l?
False
Suppose -2*t + 4*p = 416 - 1520, -t + 566 = 5*p. Let n = -316 + t. Is n a multiple of 20?
True
Suppose j - 2250 = 5*v, 48 = -v - 3*j - 386. Let a = -193 - v. Is 35 a factor of a?
False
Let r be (684/81)/19 + 95/9. Does 11 divide (-3)/r + 29923/253?
False
Let k(n) = -4*n**3 - 2*n**2 + 20*n + 51. Let g be k(-8). Suppose 4*r + g = 3*f, -555 = -2*f + 4*r + 659. Is 60 a factor of f?
False
Suppose 2*b = 5*o - 9 - 11, 4*b = 3*o - 12. Suppose 6*u - u - 310 = b. Suppose 28 = 6*x - u. Does 15 divide x?
True
Suppose -4*j = -3*y + 124, 5*j - 265 = 3*y - 8*y. Let a be (y/18)/(2/3). Suppose 0 = -a*w + 2 + 14. Is 4 a factor of w?
True
Let h = -501 + 991. Is h a multiple of 22?
False
Let m = 22011 - 18029. Is m a multiple of 22?
True
Let p(s) = -3*s**2 - 4*s + 29. Let o be p(3). Let c be (-1 + -2 + 2)*0. Is 41 a factor of 2/(-8)*(c - -82)*o?
True
Suppose 22*s = 6533 - 2067. Is 29 a factor of s?
True
Suppose 3*w = 4*x + w - 106, -3*x + 96 = 4*w. Let s be 101/2 - (-14)/x. Suppose -117 - s = -u. Is u a multiple of 21?
True
Let n be (-89)/623 - (92/(-7) - 1). Suppose -n*f = -2324 - 2856. Does 8 divide f?
False
Let m(a) = -a**2 - 52*a - 143. Let n be m(-49). Suppo