i = 904 + -888. Let b be 2 + -3 + 1 - 15. Does 14 divide ((-28)/(-2))/(b/i + 1)?
True
Suppose -292*l = -298*l + 15978. Does 4 divide l?
False
Suppose 20*b + 670 = 30*b. Suppose 5*v + r - 1574 = 0, -3*v + 5*r - b + 1017 = 0. Is 32 a factor of v?
False
Let b(h) = -h**3 - 8*h**2 + 6*h + 1. Let r(p) = 2*p**3 + 15*p**2 - 11*p - 3. Let g(z) = -7*b(z) - 4*r(z). Let f be g(-5). Does 10 divide (f/(-42)*9)/((-3)/21)?
True
Suppose -3*u + 3*y = -1500, -4*u + 9*y = 4*y - 2000. Let f = u - -112. Suppose 6*x + f = 9*x. Is 51 a factor of x?
True
Suppose 18 = -37*l + 40*l. Suppose p - l*p + 375 = 0. Suppose -17*b + 18*b - p = 0. Is b a multiple of 25?
True
Let v = 17551 - 9337. Is v a multiple of 37?
True
Let y = 6 + -3. Suppose -1558*r = -1550*r - 16. Suppose -2*v - 2*v + 407 = c, 309 = y*v + r*c. Is 34 a factor of v?
False
Let l(y) = 2*y**3 - 2*y**2 + 6*y + 18. Let n be l(-3). Is 80 a factor of ((-4)/(n/4218))/((-4)/(-12))?
False
Suppose 43*q + 20 = 38*q. Let w(m) = 31*m**2 - 3*m - 7. Does 55 divide w(q)?
False
Let n(b) = 6*b + 87. Let s be n(-15). Is 8 a factor of 16/(-20)*(-114 - (s + -1))?
True
Suppose -4*a - c + 6661 = 0, -2*c - 106 - 3222 = -2*a. Is 45 a factor of a?
True
Let b = -2 + 18. Let n(c) = c - 72*c**2 + 56*c**2 + 19 + 7*c**3 - 6*c**3 + 0. Does 10 divide n(b)?
False
Let j(p) = 1. Let c(u) = 13*u. Let a(y) = -c(y) - 2*j(y). Let n be a(-10). Let k = n - 88. Is k a multiple of 10?
True
Let p(f) = f**2 - 20*f + 30. Let a be p(18). Is (-1)/a - 10362/(-36) a multiple of 36?
True
Let s = 39 + -16. Suppose -59 = o + s. Let t = o - -202. Is 12 a factor of t?
True
Suppose 0 = -19*d + 12307 + 7472. Let s = d - 282. Is s a multiple of 14?
False
Let s(k) be the third derivative of k**5/6 + 3*k**4/8 - 6*k**3 + 3*k**2 - 11*k. Does 27 divide s(6)?
True
Let q = -213 - -191. Let z(n) = -n**2 - 44*n + 2. Does 27 divide z(q)?
True
Let b be (-3 + 2)/((-1)/7). Let q(f) = f**2 + 16*f - 24. Is q(b) a multiple of 8?
False
Suppose -41*v + 38*v + 2154 = 0. Is v a multiple of 8?
False
Let t(o) = -2*o**3 + 18*o**2 + 12*o - 12. Let g be t(13). Let z = 1694 + g. Does 9 divide z?
True
Let h(p) = -p**2 - 6*p + 10. Let m(l) = 2*l**2 + 5*l - 10. Let c(z) = 3*h(z) + 2*m(z). Let k be c(5). Is 26 a factor of 3/(-5) - 263/k?
True
Suppose -5*j + 5*u = -32535, -32519 = -5*j - u + 2*u. Does 85 divide j?
False
Let c(m) = 239*m**2 - 178*m - 1348. Is c(-7) a multiple of 247?
True
Let x(t) = -2*t + 11. Let w = 42 + -38. Let k be x(w). Suppose 27 - k = 3*h. Is 8 a factor of h?
True
Is 79 a factor of ((-4187)/4)/(16/(-320))?
True
Suppose -4*b = -5*m + 5, -2*b = m - 7 - 8. Suppose 11*z - 5*k = 13*z - 754, 3*z - 1131 = b*k. Is 29 a factor of z?
True
Suppose -v + 3*v - 178 = 0. Let r = v - 93. Is 22 a factor of (-81)/(-21) + r + 2830/14?
False
Let q(o) = -o**2 + 8. Suppose -88*m + 90*m = -6. Let s be q(m). Does 28 divide 140 - ((-1 - -2) + s)?
True
Suppose 27*k - 1327968 = 6*k - 37*k. Is k a multiple of 106?
True
Does 88 divide (-137811)/(-142) - (-1 + (-21)/(-6))?
True
Let u(d) = -4*d - 32. Let f be u(-9). Suppose f*t - r - 4214 = 0, -3*r - 5 = 1. Does 27 divide t?
True
Let g(d) = 9*d**2 + d - 6. Let o = -42 - -44. Suppose -3*f + 21 = -3*l, -o*f = l - 0 - 2. Does 51 divide g(l)?
False
Suppose 3*g = -45*g - 153*g + 1037562. Is g a multiple of 58?
True
Suppose -4*l + 1925 = 589. Let m = l + -273. Does 11 divide m?
False
Suppose -t + 4*a = -1980, -7865 = -4*t - 0*t + 5*a. Let q be t + (-4)/(-4)*-5. Suppose -2*g - 15*g + q = 0. Is g a multiple of 62?
False
Let u(c) = -c**3 + 10*c**2 + 22*c + 1. Let r be u(12). Suppose -m + 0 = 8. Let j = m - r. Does 15 divide j?
True
Let a(t) = -6*t + 56. Let d = 196 - 210. Is a(d) a multiple of 5?
True
Suppose -178*j + 92*j = -93*j + 20167. Is 66 a factor of j?
False
Suppose -293*m - 52 = -289*m. Let x(b) = b**2 + 8*b - 19. Is 6 a factor of x(m)?
False
Suppose -51*u + 16*b = -47*u - 4996, -u - b + 1209 = 0. Is 2 a factor of u?
False
Let u = -748 + 722. Let k(w) = -65*w - 106. Is k(u) a multiple of 20?
False
Let z be -17*(-28)/4 + -5. Suppose 4*l - z = 3*l. Is l a multiple of 11?
False
Suppose 7*l - 4*l = 5*k - 71, -2*k = -5*l - 36. Suppose -1044 = -k*z + 9*z. Is z a multiple of 69?
False
Let u(g) = -g**2 + 13*g - 1. Let m be u(13). Is m/(75734/126540 - (-3)/(-5)) a multiple of 34?
False
Suppose -5*k + 2634 + 8466 = 0. Is k/20 + 1*-4 a multiple of 25?
False
Suppose -426 - 342 = -32*n. Suppose 0 = n*i + 406 - 3166. Does 8 divide i?
False
Suppose 4*w - 8*w = -4*t + 268, -2*w = -10. Let h = 175 - t. Is 2 a factor of h?
False
Suppose 13*f - 62492 = 86475. Is 4 a factor of f?
False
Suppose 4*h - h = -h. Suppose h = -3*s + 8 + 7. Suppose s*n + 62 = 392. Is 22 a factor of n?
True
Is 24 a factor of 9 + -14 + 1 - (-11278)/1?
False
Let d(x) = 14*x**2 - 122*x + 294. Does 21 divide d(21)?
True
Let t = 310 + -553. Let o = t + 495. Is 28 a factor of o?
True
Is 20 a factor of (-1)/(-7 - (-174792)/24972)?
False
Suppose -86580 = -4*w - 13*m + 9*m, 2*w = 2*m + 43290. Does 37 divide w?
True
Does 11 divide 1731 + 0/11 + 8?
False
Suppose -1721705 = -22*g - 52*g - 15*g. Does 73 divide g?
True
Let u = 627 - 630. Let a(z) = 140*z**2 + 4*z + 33. Is 61 a factor of a(u)?
True
Let v be (-565)/(-7) - 2*2/(-14). Let z = 306 - v. Is ((z/4)/5)/((-2)/(-8)) a multiple of 2?
False
Suppose 74979 = 26*m - 440445. Is 168 a factor of m?
True
Is (0 + (-65364)/(-9))/(142/213) a multiple of 74?
False
Suppose 0 = q - 2. Suppose x - 9 = -q. Let y(r) = 5*r**2 - 12*r + 15. Is y(x) a multiple of 44?
True
Suppose -19440 = -z - 3*z - 4*i, -5*i + 5 = 0. Is z a multiple of 2?
False
Let y(d) = -16*d - 41. Let u(o) = -o**2 + 10*o + 13. Let k be u(11). Suppose -t + 2*z = 2, -4*t + 4*z = 26 - k. Is 17 a factor of y(t)?
True
Suppose 0 = -11*i + 2*i + 2*i. Suppose 3*p + 1232 = -2*l, i*l = p - 2*l + 424. Is (p/15)/(((-9)/30)/1) a multiple of 12?
False
Let l(a) = 14*a**3 - 109*a**2 + 141*a - 231. Let f(o) = -5*o**3 + 36*o**2 - 47*o + 77. Let h(s) = -17*f(s) - 6*l(s). Is 18 a factor of h(-43)?
False
Suppose -425332 + 63476 = -32*r. Is 4 a factor of r?
True
Suppose 0 = x - 3*d + 6042, -x - 4*d + 179 = 6228. Let o = x + 12121. Is (-5)/30 + -1 + o/24 a multiple of 42?
True
Suppose -317*x + 3*l - 902 = -321*x, 0 = x - 4*l - 235. Does 10 divide x?
False
Suppose -83*b + 87*b + 2*x = 4288, 4*b - 2*x = 4280. Is b a multiple of 51?
True
Let d(k) = 18*k + 16*k + 8*k - 43*k + 287*k**2. Does 22 divide d(1)?
True
Let h = 29 - 26. Suppose h = 2*f - a - 2, 0 = 5*f - 2*a - 10. Suppose 2*w + f*w + 3*d = 112, 5*d + 330 = 5*w. Does 13 divide w?
False
Let d be (8/(16/4))/2. Let z be (-3 - 33/(-12))/(d/(-12)). Suppose 0 = z*f - 142 + 37. Is f a multiple of 27?
False
Suppose -140127 = -17*p - 2*p + 101021. Is 100 a factor of p?
False
Let l be (20/14)/(-8 + (-565)/(-70)). Suppose -11 + 1 = 5*t. Let r = l + t. Is 9 a factor of r?
True
Suppose -210 = -3*f - 5*x, 2*f - 3*x = -2*f + 309. Is (2 + (-182)/(-39))*f/2 a multiple of 8?
False
Let d = -181 + -294. Let m = d - -618. Is m a multiple of 14?
False
Suppose 31*i = -65*i - 20*i + 528264. Is i a multiple of 22?
True
Does 2 divide 10/(-8)*(-499 + (-17 - -24))?
False
Suppose 22*y - 8176 = 17*y - 4*c, -5*c + 1631 = y. Is 7 a factor of y?
False
Let g be (-95)/(-57)*-2*6/(-4). Let s(x) = 225*x + 3. Is s(g) a multiple of 24?
True
Let w(f) = -6*f + 71 + 86 - 2*f - f + 4*f. Is 2 a factor of w(12)?
False
Suppose -o = p - 827 + 2647, 3*p - o + 5440 = 0. Is 11 a factor of ((-6)/(-10))/((-11)/p)?
True
Suppose -26*f + 2403 = -23*f. Let h = f - 417. Is h a multiple of 51?
False
Suppose -2*t = -2*w - 324, -2*w - 5*t - 143 - 146 = 0. Let v be 6/(9*4/1548). Let b = v + w. Is 23 a factor of b?
False
Let n(y) = -y**3 - 6*y**2 - 6*y - 2. Suppose -x = -0*x - 5*f - 4, -2 = f. Let o be n(x). Is 5 a factor of o + (-4)/6*(-12)/8?
True
Let g(j) = -2*j + 1. Let q be g(1). Let b(a) = -140*a - 235. Let x be b(-3). Is 9 a factor of x + (-2 + -2 - q)?
False
Let b(x) = x**3 + 21*x**2 - 30*x - 74. Does 6 divide b(-22)?
True
Let a = -229 - -455. Let m = 442 - a. Does 54 divide m?
True
Let i be (7 - 10 - 3)*(-1095)/18. Does 3 divide i - (2/4)/(11/(-22))?
True
Let h = -6683 + 9083. Is h a multiple of 10?
True
Suppose 58 + 92 = -5*d. Let a = -28 - d. Suppose -2*n = -2*q + a*n + 78, q = 4*n + 33. Does 15 divide q?
True
Let h(n) = 