e
Let n = -27 + 29. Suppose h = -4*x - h + 50, -55 = -3*x + n*h. Is 3 a factor of x?
True
Suppose -7*y = -10*y + 12. Suppose 215 - 55 = y*i. Is i a multiple of 8?
True
Suppose -4*b - k = -2*k - 37, 2*b + 5*k + 9 = 0. Is 4 a factor of b?
True
Let l = 2805 + -1346. Is 6 a factor of l?
False
Suppose 3 + 0 = m. Suppose -144 = -3*j - 3*l, -2*j - 4*l + m*l + 99 = 0. Does 17 divide j?
True
Let h be (3/(-12))/(2/(-8)). Is 8 a factor of (7 - -5) + 1 + h?
False
Let t(c) = -c**3 - 17*c**2 - 16*c - 22. Let r be t(-16). Let s = r - -48. Is 13 a factor of s?
True
Let g = -346 + 666. Is g a multiple of 10?
True
Is ((-4)/(0 + -8))/(2/432) a multiple of 9?
True
Let y = -34 + -15. Let q = y + 89. Does 10 divide q?
True
Suppose 22 = 4*y + 2. Suppose -85 = y*x + 385. Let r = 132 + x. Is 16 a factor of r?
False
Let i(u) = u**2 + 13*u + 35. Let g be i(-10). Let v(x) = -x**2 + 7*x + 2. Let n be v(7). Suppose -4*m + n*p = -320, -p - 394 = -0*m - g*m. Does 12 divide m?
False
Suppose 29 = 3*w - 118. Is 7 a factor of w?
True
Let w(l) = l + 8. Let z be w(-8). Suppose -3*j + z = -3*f + 3, 2*j - 4 = 0. Does 20 divide f/(-18) - (-667)/6?
False
Suppose 0 = 4*m - 16, 0 = 19*a - 16*a - 4*m - 254. Is a a multiple of 30?
True
Suppose 4*m - 1163 = -3*y, -y + m = 4*m - 381. Suppose 0 = -4*v - 105 + y. Is v a multiple of 29?
False
Let f(s) = -605*s - 6. Let c be f(-2). Suppose 6*v - c = -298. Is v a multiple of 35?
False
Suppose 2*i + 332 = -2*i. Suppose 4*o = 15 - 211. Let m = o - i. Does 11 divide m?
False
Suppose 2*u + 939 = 5*j, -87*j - 192 = -88*j - u. Is j a multiple of 27?
True
Let a = 94 - 30. Does 3 divide ((-4)/(a/36))/(2/(-24))?
True
Suppose 77*s = 81*s + 756. Does 3 divide (15/9 + -2)/(7/s)?
True
Let f be (4/2)/(-2 - (-18)/12). Is (7/(-2) - f) + (-262)/(-4) a multiple of 3?
True
Let b = -245 - -627. Does 6 divide b?
False
Let b(j) = 3*j + 11. Suppose -3*f = -s - 18, -16 = -4*f + s + 9. Is b(f) a multiple of 32?
True
Let m(q) = -3*q - 1. Suppose 0 = 3*v + 3 - 0. Let t be m(v). Suppose -y + t = -14. Is y a multiple of 10?
False
Let y = 19 + -11. Suppose 0 = -y*h + 6*h + 158. Does 29 divide h?
False
Suppose 6*x + u = 7*x - 162, -2*x + 3*u = -320. Is x even?
True
Is 374 - (-4 - (-17 + 11)) even?
True
Suppose 5*q - 3*u - 1830 = 0, 364 = q + u - 2*u. Is 41 a factor of q?
True
Let h = 69 + -125. Let z be (-9)/2*h/6. Suppose -v - v = -z. Is 21 a factor of v?
True
Let o be ((-8)/(-6))/(1/3). Is ((-15)/9)/(o/(-180)) a multiple of 21?
False
Let j(a) = a**3 - 9*a**2 + 4*a - 6. Let c be j(9). Suppose c = 9*k - 7*k. Is k a multiple of 9?
False
Suppose 5*j = 2*i - 0*i - 121, j - 343 = -5*i. Is 3 a factor of i?
False
Suppose 0 = -3*f - 20 - 7. Let z(q) = -53*q**2 + 6*q - 3. Let a be z(f). Does 7 divide (-2)/9 - a/135?
False
Let m be 585/(-25) - 2*(-3)/15. Let j be 13/((6/(-15))/(-2)). Let f = m + j. Does 14 divide f?
True
Let m(t) = 42 - 26 + t + t. Let i be m(-7). Suppose -6 = -i*b + 6. Is 3 a factor of b?
True
Suppose 0 = k + k - 42. Suppose 4*l - 3*m + 18 = 0, -4*l - 9 = 3*m + k. Is 7 a factor of (-1*3)/(l/36)?
False
Let x be 1123/9 - (-2)/9. Suppose -4*p + 9*p = x. Is 12 a factor of p?
False
Let b = -3523 - -7501. Is b a multiple of 39?
True
Suppose -v + 4 = 0, 0 = 2*k + v + 18 - 54. Suppose k = 4*b - 0*b. Is 41/1 + -5 + b a multiple of 10?
True
Let o = 3 + -1. Let n(v) = -13*v + 3*v**o - 2*v**2 - 5 + 10 + 4. Is 9 a factor of n(13)?
True
Suppose 10*r + 2*r = 1044. Suppose -9*b - r = -321. Does 4 divide b?
False
Let j = -1296 - -2791. Is 65 a factor of j?
True
Let s = 1773 + -889. Is s a multiple of 34?
True
Suppose -2*q - 522 = 2*b - 4*b, 2*b - 523 = 3*q. Let w = b - 182. Does 13 divide w?
True
Is 6 a factor of 702 - (-5*36/(-15))/(-2)?
True
Let f(a) = -12*a - 76. Is 7 a factor of f(-11)?
True
Let v(c) = -78*c - 21. Does 153 divide v(-37)?
False
Suppose 2*d = 9 + 17. Let z = d - 9. Suppose 2*x - 44 = -5*g, -4*x + z*g + 88 = 3*g. Does 11 divide x?
True
Let s(g) = -71*g - 1. Let q(j) = -35*j. Let i(a) = 5*q(a) - 3*s(a). Let x be i(7). Suppose 5*h - x + 104 = 0. Is 6 a factor of h?
False
Let f be 3*10*(3 + -7 - -6). Does 13 divide (1 - 19/6)/((-10)/f)?
True
Let v(o) = -o**2 - 4*o - 3. Let y be v(-2). Is (-5 + 0)/(2/(-12))*y a multiple of 10?
True
Let r(i) = -i**2 + 8*i - 6. Let m be r(3). Suppose 3*k - 27 - m = 0. Suppose 11*l = k*l - 13. Is l even?
False
Let w be (-7)/(-4) - 3/(-12). Let r(c) = -4*c**w + 12*c - 7 + 2 - 20*c - c**3. Is r(-5) a multiple of 13?
False
Suppose 0 = 4*w - 20, 2*c - 4*w = 120 - 50. Is 13 a factor of c?
False
Suppose -5*k + 14 = -l, 2*k - 5*l = 4*k - 11. Suppose i - 15 = 5*y, -4*y + k + 9 = 0. Is i a multiple of 6?
True
Does 5 divide (-3*4/(-21))/(4/4718)?
False
Does 12 divide (-20)/(-25)*(-860)/(-8)?
False
Suppose 5*l - 3 = 2*r, 0 = 2*r - 2*l + 5 - 17. Suppose 4*f + 5*t - 44 = 4*t, -f - 4*t + r = 0. Let w = f + 20. Is w a multiple of 13?
False
Let s(f) = f**2 - f - 14. Does 4 divide s(-6)?
True
Let b(r) = -r**3 - 3*r**2 + 9*r + 6. Let u be b(-7). Suppose 4*h - u = 213. Does 8 divide h?
True
Let o = 1 + 1. Suppose -o*d = -3*d - 32. Let r = d - -77. Is 15 a factor of r?
True
Let x = -31 + 40. Suppose -6 + x = p. Suppose 2*t = p*t - 40. Is 8 a factor of t?
True
Let b(p) be the first derivative of 23*p**3/3 - p**2 + p + 8. Does 3 divide b(1)?
False
Let g(k) be the first derivative of -k**3/3 - 11*k**2/2 - 8*k - 1. Let o be (-64)/12 - 10/15. Is g(o) a multiple of 18?
False
Let u(g) = g + 23. Let m be u(-11). Let c be (16/m)/((-8)/(-18)). Let y(o) = 7*o**2 - 4*o + 1. Is 13 a factor of y(c)?
True
Let r = 57 + -51. Let v = r + 6. Is v a multiple of 3?
True
Let c(z) = 18*z + 2. Let w be c(-1). Let j = 54 + w. Does 19 divide j?
True
Suppose -95*a + 87*a + 6160 = 0. Is 14 a factor of a?
True
Let p(t) = -2*t + 16. Let y be p(16). Is 7 a factor of (108/y)/(6/(-112))?
True
Let y(l) = 4*l - 5. Suppose -2*p + 9 = -3. Let t be y(p). Suppose t = -4*d + 59. Is 10 a factor of d?
True
Does 62 divide 4/9 + 554/9?
True
Is (-30)/9 - -2 - 4044/(-36) a multiple of 3?
True
Suppose 3*w = 95 + 79. Suppose -d - 9 = 4*l + w, 0 = -5*l - 2*d - 80. Let s = -8 - l. Is 5 a factor of s?
True
Let s be 8/10*(-70)/(-4). Suppose -3*w - 1 = s. Let d(l) = -10*l + 2. Is d(w) a multiple of 19?
False
Suppose -273 = -6*w + 1557. Is 5 a factor of w?
True
Let c(j) = -j**3 + 39*j**2 + 5*j + 245. Is 40 a factor of c(39)?
True
Is (-74)/333 - (-9047)/9 a multiple of 72?
False
Suppose 2*c = -76 + 342. Suppose -2*u = 10, u = 4*y - 0*u - c. Is y a multiple of 32?
True
Suppose q - 5*d = 223, 5*q - 2*q - 708 = 2*d. Is 34 a factor of q?
True
Let w = 2280 + -1475. Does 46 divide w?
False
Suppose 1036 + 1174 = 5*j. Does 105 divide j?
False
Does 12 divide (8/3 + -6)*1008/(-5)?
True
Suppose -39*d + 12020 - 2894 = 0. Does 13 divide d?
True
Let p = 7 + -2. Suppose -p*j = -j - 592. Is 11 a factor of j?
False
Suppose 12*l - 10*l = 0. Suppose 2*a - 16 = -l*a. Is a a multiple of 4?
True
Suppose -2*t = 5*m - 5619 - 6997, 5040 = 2*m + 4*t. Is 36 a factor of m?
False
Suppose -4 + 8 = -k, -4*k = 4*a + 72. Suppose 0 = -4*d - 5*j + 49, 4*d + 3*j + 2 = 57. Let q = d + a. Does 2 divide q?
True
Let p = -64 + 75. Is 4 a factor of p?
False
Let a = 15 + 17. Suppose 26 = r - 4*v - a, v = -r + 38. Does 14 divide r?
True
Suppose 7*l + 5*y - 571 = 5*l, 0 = 4*l + 2*y - 1102. Is 3 a factor of l?
True
Let f(u) = 4*u + 2*u - 7*u - 5. Let i be f(-5). Suppose -5*d + 66 = -3*w + w, 3*d + 5*w - 21 = i. Does 12 divide d?
True
Let b(a) = a + 72. Suppose -3*c - 4 + 4 = 0. Is b(c) a multiple of 15?
False
Let q(i) = -i**3 + 12*i**2 - 3*i - 13. Let x be q(9). Let n = x - -33. Is n a multiple of 10?
False
Suppose -4*p - d + 567 = 2*d, -4*p - 5*d = -561. Does 29 divide p?
False
Is (-2654)/(-14) + (-4)/7 - 1 a multiple of 94?
True
Let y = -82 - -302. Does 57 divide y?
False
Let m(r) = -3*r - 27 + 22*r**2 - 181*r**3 + 22*r + 182*r**3. Is 5 a factor of m(-21)?
True
Let z be (2/4)/(16/(-1152)). Let b be ((-7)/(-21))/((-1)/z). Does 12 divide (6 + b)/(1/4)?
True
Suppose -6*v - 27*v = -3135. Is 3 a factor of v?
False
Let l(u) be the second derivative of 23*u**3/6 - 4*u**2 - 14*u. Does 38 divide l(4)?
False
Let b(q) = -q - 3. Let f be b(6). Let i be 2/f - (-799)/153. Suppose -v = -6*v - i*o + 80, v - 32 = -5*o. Does 12 divide v?
True
Suppose 170 = -3*h - 2*k -