e
Suppose 4*m + 92 = 5*s, 74 = -s + 5*s - 3*m. Let v = -80 - -66. Let x = s + v. Is x a multiple of 6?
True
Let s be ((-585)/35 - -1)/((-2)/14). Let f = s + -84. Is 3 a factor of f?
False
Let l(n) be the third derivative of 31*n**4/24 + 7*n**3/6 + 8*n**2. Let w = -69 + 72. Does 25 divide l(w)?
True
Suppose i - 14 - 1 = -5*w, 0 = -2*w - 5*i + 6. Is 43 a factor of (109 + w - -2) + -4?
False
Let b(l) = 15 - 3*l + 2*l**3 - 3 - 11. Is b(2) a multiple of 2?
False
Let a be 3*(-1)/9*-27. Let w = a - 6. Suppose 0 = -w*g + 2*r + 83, 2*g - 5*r = 3*g - 56. Is 13 a factor of g?
False
Let h = 667 - 107. Is 35 a factor of h?
True
Suppose -2*l - 69 + 623 = -2*c, 4*l = c + 1114. Is l a multiple of 19?
False
Let v(w) = 21*w**2 - 2*w + 5. Let h be v(3). Let o = h - 132. Is 8 a factor of o?
True
Let m(w) = 8*w + 9. Let a be m(-3). Let f = 27 - a. Suppose 0 = -n - 2*n + f. Is 7 a factor of n?
True
Let u(p) = p**3 - 8*p**2 + 8*p + 8. Let l be u(7). Does 31 divide (-744)/l*15/(-6)?
True
Suppose -10*n + 13*n + y = 295, -4*y + 501 = 5*n. Is n even?
False
Suppose -y = -5*g - 151, 946 = 5*y - 3*g + 81. Is 17 a factor of y?
False
Let q(c) = 24*c - 6. Is q(8) a multiple of 3?
True
Is -1 - (1*-1578 - 2) - -5 a multiple of 99?
True
Let r = 784 - 149. Does 40 divide r?
False
Let m(f) = 15*f**2 - 8*f - 13. Let x(q) = -8*q**2 + 4*q + 6. Let u(p) = 3*m(p) + 5*x(p). Is 16 a factor of u(-3)?
True
Suppose 2*k - 453 = -2*t + 59, -3*t - 9 = 0. Is k a multiple of 27?
False
Suppose 83 = -3*j + 2*y, 2*j + 23 = j - 4*y. Let h be 60/j + (-4)/(-18). Let m = h + 8. Is m a multiple of 5?
False
Suppose -2*g = -4*s - 3070, -6*g = -3*g + 3*s - 4596. Is g a multiple of 8?
False
Suppose -4*f - 18 = -6, -3*r = -2*f - 846. Is r a multiple of 19?
False
Suppose 4*r - 2*r = 0. Suppose -2*z - 3*z + 2*n + 14 = r, -5*z + 20 = -5*n. Suppose 0 = z*o + 1 + 5, 0 = -k - o + 57. Is k a multiple of 28?
False
Suppose 6*g - 9*g - 1059 = 0. Let d = 715 + g. Suppose -5*r = -2*k - 0*k - d, 5*r + k - 374 = 0. Does 29 divide r?
False
Let j(q) = -2*q**3 + 31*q**2 - 10*q + 18. Is j(13) a multiple of 64?
False
Let g(q) be the first derivative of 15*q**2/2 - 2*q + 18. Is g(6) a multiple of 11?
True
Suppose -3*g + 13 = 4. Suppose -7*m + 208 = -g*m. Does 8 divide m?
False
Suppose -30 = -7*k + 54. Is 12 a factor of k?
True
Let g = 345 + -165. Is g a multiple of 11?
False
Let a = 47 - 41. Suppose -84 - a = -5*f. Does 18 divide f?
True
Let r(t) be the first derivative of -t**4/4 + 10*t**3/3 - t**2/2 - 5*t - 10. Is 13 a factor of r(9)?
False
Let a be (45/10 + -5)*-4. Suppose 1107 = 11*k - a*k. Is k a multiple of 10?
False
Let g(y) = -11 - 7 + 5*y - 20 + 4. Is g(14) a multiple of 11?
False
Suppose -3*f + 6*c = 8*c - 1369, 0 = 3*f - 3*c - 1389. Does 51 divide f?
True
Let w = 5 - 2. Suppose -d - 4*h = -4*d + 15, 0 = -2*d - w*h + 10. Suppose 73 = 5*y + 4*n, 14 - 84 = -d*y - 5*n. Does 17 divide y?
True
Suppose -4*b + 95 = b - 4*v, -3*b - 3*v = -57. Suppose -1 = k + b. Is 294/4 - 10/k a multiple of 37?
True
Suppose 7*a = 77 - 35. Let b(d) = 3*d**2 - 4*d - 8. Does 38 divide b(a)?
True
Let b(m) = 21*m + 28. Let z be 58/90*5 + 4/(-18). Is b(z) a multiple of 13?
True
Is 113 a factor of ((-82)/(-6))/((-13)/(-4407))?
True
Suppose 0 = -4*f - 4*y + 28, 0 = f + 4*y - 13 - 9. Suppose -1 + 37 = f*d. Is 18 a factor of d?
True
Suppose 0 = 4*g - 2*g. Let j = g + 62. Is 1/(2/j) + -3 a multiple of 15?
False
Let r = 172 - 71. Suppose -5*x + r = -94. Does 12 divide x?
False
Suppose -6*t - 10611 = -33*t. Is t a multiple of 17?
False
Let t(o) be the third derivative of -181*o**6/120 + o**5/30 - o**4/24 - o**3/3 - 18*o**2. Is t(-1) a multiple of 14?
True
Let o be (2/(-6))/((-2)/12). Suppose o*y = 7 + 1. Suppose -y*z + 9 + 231 = 0. Does 20 divide z?
True
Suppose -q = -0*q - 7. Suppose 0 = -q*u + 4*u + 6. Does 12 divide 22 - u - (-12)/3?
True
Let u(d) = 4*d**2 + 6*d - 31. Is 5 a factor of u(-15)?
False
Suppose 3*g = -5*g + 624. Does 14 divide g?
False
Suppose -17 = -3*s - u, -2*s - 2 = -5*s + 2*u. Suppose 4*n - 36 = -4*q, s*n + 2*q - 16 = 3*q. Suppose 2*g - 66 = -g + 2*w, -4*g = n*w - 111. Is 6 a factor of g?
True
Suppose 21*k + n - 16731 = 17*k, 2*k = n + 8367. Is k a multiple of 13?
False
Suppose -8*m = -7*m + 31. Let w = 47 + m. Does 16 divide w?
True
Suppose x = f - 0 - 5, -2*f + 10 = x. Let m(b) = -b**3 - 5*b**2 + 8*b + 14. Let w be m(-6). Suppose u + 6*s = w*s + 32, -f*u = -3*s - 206. Does 11 divide u?
False
Let c be -1 + (-6)/3 - -3. Suppose b - 2 = -c, 0 = a - 2*b - 17. Does 17 divide a?
False
Suppose -v = -4*s + 932, -4*v = s - 0*v - 250. Suppose 4*l + s = 66. Is 7 a factor of l*9/42*-4?
False
Let c be 764/36 + 8/(-36). Suppose -2*g - 3*w = 7, 0 = 5*g - 4*w - 19 - c. Is g even?
True
Suppose 31*l - 11570 = 5*l. Is 89 a factor of l?
True
Let u be (6/7)/(7/49). Is 30 a factor of 45*(14/u - -3)?
True
Let k = 27 + 1. Suppose -20 - k = -3*r. Is 5 a factor of r?
False
Let x(j) = j**3 + 10*j**2 - 27*j - 27. Let b be x(-12). Does 9 divide b/2*(12/3 + -2)?
True
Is (-2)/3 + (-98368)/(-96) a multiple of 64?
True
Let s(u) = -u**3 - 2*u**2 + 2*u - 1. Let i be s(-3). Let t be 0/((2 + -6)/(-4)). Suppose -i*x + 53 + 19 = t. Does 12 divide x?
True
Let v(q) = -q**2 - q + 2. Let c be v(-2). Suppose c = -d + 1 + 4. Suppose x = d*y - 59, -4*x = 5*y - 8 - 56. Does 12 divide y?
True
Is -123*(1 + -6 + 2) a multiple of 9?
True
Let p = -1 + -2. Does 10 divide -1 + 7*(0 - p)?
True
Let x = -2 - 2. Let j be (-134 - 4)*(-2)/4. Is 12 a factor of j + (-1 - (6 + x))?
False
Let i(l) = 14*l**2 + 4*l - 1. Let q be i(-2). Let x be 4/(-6) + 10/(-3). Is 4 a factor of x/(-24) - q/(-6)?
True
Let h(g) = g**3 + 2*g**3 + 0*g**3 - 3*g**2 + 0*g**3. Let p be 68/24 - 2/(-12). Does 18 divide h(p)?
True
Is 834/15 + 8*2/40 a multiple of 7?
True
Let h = 434 + -244. Suppose h = 5*s - 0*s. Suppose 0 = 2*r - 12 - s. Is 25 a factor of r?
True
Let r(m) = -2*m - 2*m**2 + 32 + 4*m**2 + 3*m. Let a be r(0). Let d = a - 23. Does 6 divide d?
False
Suppose -g - 3195 = -2*j, -5*j + g + 3595 + 4400 = 0. Does 20 divide j?
True
Suppose -2*t + 3*o = -1, -5*t + 11 = -2*o + 3*o. Suppose 0 = h + t - 6. Is 1108/20 + h/(-10) a multiple of 15?
False
Let z be (15 + 36 + 10)*(-1 - -3). Suppose 0*q - 5*q + 15 = 0. Suppose -2*d + r = -z, 0 = -q*d + 2*d + 3*r + 71. Does 13 divide d?
False
Let b be (1 - -1) + (3 - 203). Let o = 378 + b. Does 15 divide o?
True
Let n = 860 + -386. Is n a multiple of 16?
False
Suppose 944*d = 946*d - 4268. Is 21 a factor of d?
False
Let j = -101 + 269. Suppose 5*a = 2*a + j. Is 8 a factor of (-16)/a - 240/(-7)?
False
Suppose 2*x - 4*p = 0, 3 = -2*x - p + 8. Suppose -x = -5*s + 6*s. Is (-198)/(-63) + s/14 a multiple of 3?
True
Suppose 0 = -2*c - 3*m + 29, 32 - 11 = 3*c - 3*m. Suppose s + 59 = -l - 8, 5*s - 2*l = -314. Let v = c - s. Does 27 divide v?
False
Let f = 725 + -347. Does 54 divide f?
True
Suppose 3*z + v - 2213 = 0, -9*v - 756 = -z - 13*v. Is z a multiple of 30?
False
Let a(n) = -1 - 6 + 3*n - 4*n**3 + 3*n**3 + 5 - 2*n**2. Is 22 a factor of a(-5)?
False
Let x(l) = -2*l**2 + 55*l - 35. Does 2 divide x(18)?
False
Let n(t) = t + 10. Is n(17) a multiple of 5?
False
Is 451/3 - (-10)/6 a multiple of 19?
True
Let i(j) = -j**2 - 10*j - 12. Suppose h + 5*c = 6*h - 220, 3*h = -2*c + 132. Suppose 5*k - 4*s = -h, 5*k + 36 = s - 5*s. Is i(k) a multiple of 4?
True
Let z = 5354 - 3209. Is 39 a factor of z?
True
Let z(a) = -a**3 - 3*a**2 + 2*a - 5. Let n be z(-4). Suppose n*r + 2*l = 491, -3*r - l + 487 = -0*r. Is 23 a factor of r?
True
Suppose -3*o - b + 3104 = 0, b = 3*o - 0*o - 3106. Does 7 divide 2/(-12) + o/54?
False
Suppose -4*j - 5*d = -831, 0 = 3*j + 4*d + 98 - 722. Let l = 313 - 311. Suppose -t + 32 + j = 4*u, 3*t - 108 = -l*u. Is u a multiple of 26?
False
Suppose -9*i + 13*i = 0. Suppose i = -7*s + 3*s + 156. Suppose -3*q = v - 3*v + s, -12 = 4*q. Does 5 divide v?
True
Let m(p) = -2*p**2 - 58*p + 30. Is 23 a factor of m(-25)?
True
Let w be ((-1284)/14)/(2/(-14)). Suppose 0 = 7*y - 135 - w. Is y a multiple of 9?
False
Suppose 2*b = -2*b - 336. Let y(j) = 59*j + 1. Let c be y(-1). Let f = c - b. Is 26 a factor of f?
True
Let b(n) = 7*n - 105. Is b(17) a multiple of 14?
True
Let x = 526 + -389. Is 3 a factor of x?
False
Let r(j) = 40*j + 87. Is 15 a factor of r(9)?
False
Let i = 467 - 341. I