se
Let k = -2872 - -9424. Suppose 50*x + k = 64*x. Does 18 divide x?
True
Let x be -142 + 2 - (5 - (11 - 4)). Let s = 235 - x. Is 42 a factor of s?
False
Suppose -3*f = -2*f - 7. Let c be (-5 + -1)/(1*f/(-7)). Let d(n) = -n**3 + 5*n**2 + 6*n + 8. Does 2 divide d(c)?
True
Let x(d) = 3*d**3 - 4*d**2 - 4*d - 4. Let k(o) = -9*o**3 + 12*o**2 + 12*o + 11. Let j(h) = -4*k(h) - 11*x(h). Let v = 39 - 35. Is j(v) a multiple of 28?
True
Let d = -10415 - -19312. Is 43 a factor of d?
False
Suppose 26*o + 1082 = 3838. Suppose o*a - 10395 = 91*a. Is a a multiple of 33?
True
Let j = -18 - -23. Suppose j*t - 3*g = 3, -2*t - 5*g + 3*g = -14. Is 11 a factor of (-3)/(-4)*(t + 165)?
False
Let i(h) = 59*h + 108. Let a be i(-5). Suppose -146 - 127 = 3*s. Let j = s - a. Does 16 divide j?
True
Let t(u) = -u**3 - u**2 + 2*u - 1. Let o be t(1). Let w be (-5)/(-10)*8/o. Is 18 a factor of ((-4)/10)/(w*(-4)/(-2720))?
False
Let x be 234/45 - (-8)/(-40). Suppose 0 = -2*q + 10, -x*y = -2*q - 766 - 1674. Is 7 a factor of y?
True
Is ((-40768)/1792)/((-1)/452) a multiple of 64?
False
Let x be -61 - (-7)/(7/(-2)). Let p(r) = 13*r - 38. Let a be p(-18). Let c = x - a. Is c a multiple of 19?
True
Let c = -41 - -32. Let a be (220/4)/((-15)/c - 2). Is 4/(-1) - (a - 6) a multiple of 7?
False
Suppose b + b - 5 = -y, 4*y + 12 = 0. Let s(l) = -16*l**2 - 6*l - 4. Let g be s(b). Let k = -189 - g. Is k a multiple of 19?
True
Suppose 4*c - 176125 = 4*v + 24663, -3*v = -4*c + 200781. Is c a multiple of 40?
False
Let l = 904 + -888. Suppose l*i = 144 + 336. Does 7 divide i?
False
Let b(q) = -2943*q + 18181. Is 389 a factor of b(-18)?
False
Let u = -95 + 98. Does 27 divide u - 2 - -13*29?
True
Suppose 905*w + 337680 = 460*w + 473*w. Does 134 divide w?
True
Let z = 243 - 149. Let c = z + -195. Let n = c - -192. Is 13 a factor of n?
True
Let t = -46 + 50. Suppose -123 + 1135 = t*r. Suppose 0 = -3*u + 131 + r. Is 17 a factor of u?
False
Let l = 7219 + -3982. Is l a multiple of 39?
True
Let q = 1675 + 39311. Is q a multiple of 138?
True
Let g(d) = 10*d**3 - d**2 + 4*d - 9. Let w be g(3). Suppose -5*l - 89 = -w. Suppose 0 = 38*h - l*h - 102. Is h a multiple of 9?
False
Suppose 0 = u - 3*m - 43 - 32, 3*u - 269 = -2*m. Is 82 a factor of u?
False
Suppose -t + 9 = -28. Let d be (t + -2 - (2 - 4)) + 0. Suppose 0 = 5*p + d - 272. Does 9 divide p?
False
Suppose 3*n - 14 = -5. Let c(p) = -372*p**2 + n*p**3 + 369*p**2 + 1 - 4*p**3 - 6*p. Is 27 a factor of c(-5)?
True
Let c be (1 + -3)/(9/(-153)). Let i = c + -64. Is 6 a factor of (i/(-50))/(2/290)?
False
Suppose 2 = -g, 0*d + 77 = 3*d - 4*g. Let f = 23 - d. Suppose -2*k = z - 23 - 12, 3*z + 4*k - 101 = f. Does 4 divide z?
False
Let q(y) = y**3 - 12*y**2 + 5*y - 48. Let m be q(12). Is 3 + 289 - (m - 16) a multiple of 10?
False
Let p = -18514 - -31369. Is 62 a factor of p?
False
Suppose -s - l + 8 + 5 = 0, -2*s - 4*l + 30 = 0. Let v(y) = -5*y + 81. Is 9 a factor of v(s)?
False
Suppose -4*x = 4*r - 2532, 5*r - 3183 = -6*x + 7*x. Let p = r - 531. Is p a multiple of 21?
True
Suppose c - 2220 = -5*v, -17*c - 4*v + 11163 = -12*c. Does 58 divide 64/(-160)*c/(-2)?
False
Suppose 1718 = 2*y + 2*n, 4*n - 207 = y - 1066. Suppose 4*x = -12*b + 7*b + 862, -5*b - 3*x = -y. Let c = 310 - b. Is 10 a factor of c?
True
Let r(s) = 46*s - 45. Let t be r(3). Let x = 133 - t. Is 20 a factor of x?
True
Let a be (12/(-8))/((-3)/86). Suppose -a*n + 48*n - 900 = 0. Is 30 a factor of n?
True
Let j = -80381 - -117605. Is 22 a factor of j?
True
Suppose -5*h + 161 = -4*g, -2*g + 3*h + 45 = 126. Let u = g - -37. Is 577/6 - u/(-12) a multiple of 32?
True
Let k = 787 + -778. Is 4853/k - (-66)/(-297) a multiple of 7?
True
Let w = 37756 - 22902. Does 25 divide w?
False
Let p be -3 + (5*12 - 4). Let t = -48 + p. Suppose 4*n = -2*i + 128, -t*i + 308 = 8*n - 4*n. Is 20 a factor of i?
True
Let v(z) = -z**2 + 28*z - 45. Let r be v(26). Suppose 5*f + 144 = s, 0 = s + r*f - 3*f - 153. Is 37 a factor of s?
False
Suppose 83 = 4*b - 45. Suppose 39*y - b*y = 2800. Is y a multiple of 8?
True
Let y(f) = -f**2 + 110*f + 9040. Is y(135) a multiple of 12?
False
Suppose -85083 + 164912 = 64*d - 147051. Is 48 a factor of d?
False
Does 66 divide 73053/9 + 5 + 28/7*-1?
True
Let a(f) = f**3 - 2*f**2 - 11*f + 17. Let g be a(4). Suppose -p + 339 = -3*i, g*p - 1657 = 2*i - 6*i. Is 32 a factor of p?
False
Suppose 5*f - 637 - 143 = 0. Suppose 145*p = f*p - 275. Is p a multiple of 2?
False
Does 8 divide 60*(1463/21 - 8/8)?
True
Let c = -40767 - -44168. Is c a multiple of 4?
False
Let d be (10 - 111) + -1*3. Let l = d + 106. Is 14 a factor of (l + 1)/((-1)/(-15 + 1))?
True
Let d = 2 - -3. Suppose -8*y + 123 + d = 0. Suppose 216 = y*s - 10*s. Is 12 a factor of s?
True
Let j(y) = 132*y**2 - 225*y - 1647. Is 82 a factor of j(-7)?
True
Let n(k) = -2*k + 78. Let c be n(23). Let a = -2 + 22. Suppose c + a = l. Is l a multiple of 38?
False
Suppose -1251 = -144*q + 135*q. Let b = q - 14. Does 6 divide b?
False
Let g(t) = -558*t + 403. Is 31 a factor of g(-8)?
True
Let k = -130 + 390. Is 40 a factor of k?
False
Let f = -105 + 172. Let g = f - 59. Suppose -6*z - g*z + 4844 = 0. Does 63 divide z?
False
Does 14 divide 758 - (2/(-5) - 80/300)*-3?
True
Suppose 3*c - 209 = -5*h, 8*c + 108 = 3*h + 4*c. Is 28*290/h - (-2 - 0) a multiple of 28?
False
Suppose -4*x + 4*m = -8293 - 4723, -5*x - 3*m = -16238. Does 9 divide x/15*(-3)/(-2)?
False
Let h(m) = 41*m + 235. Let w be h(-6). Let g(u) = 2*u**2 - 14*u - 69. Does 46 divide g(w)?
False
Let z(s) = 82*s**2 - 7*s - 11. Let a(l) = -3*l**3 - 6*l**2 + 2*l + 1. Let k be a(-2). Is 17 a factor of z(k)?
True
Suppose -6*l = 2*s - 4*l - 102166, -7*l = -28. Does 29 divide s?
False
Suppose -9*v - 70 = 5*k - 4*v, -5*k - 4*v = 65. Is (-1917 - k/3)*4/(-12) a multiple of 56?
False
Suppose 116 + 16 = -11*l. Is 6 a factor of ((-2868)/(-8) + l)*(-24)/(-14)?
True
Let p(s) be the third derivative of s**6/120 + 7*s**5/60 + 5*s**4/24 - 2*s**3/3 - 24*s**2. Is 4 a factor of p(-4)?
True
Suppose 0 = -0*x + 3*x + 3*r - 33, -2*r + 16 = x. Suppose 0 = x*y + 282 + 132. Let z = y + 76. Does 6 divide z?
False
Let x(a) = -4*a - 28. Let i be x(-7). Suppose 0*b + 106 = -5*z + 3*b, i = -b + 2. Is 308*(10/z)/(1 + -2) a multiple of 16?
False
Let q(a) = -21 - 9 + 4*a - 17. Let u be 0*2/(-4) + 16. Is 3 a factor of q(u)?
False
Let w = -2084 + 3083. Does 3 divide w?
True
Suppose z = -5*i + 9902, 2*i + 47826 - 8086 = 4*z. Is 19 a factor of z?
False
Let u = -555 - -810. Suppose -2*n - 3*x = -u, -4*x = -14 - 6. Does 20 divide n?
True
Let h = 386 - 382. Suppose -5*v = -5*g + 2765, -h*g = -5*v - 2568 + 355. Is 8 a factor of g?
True
Let y be 48/(-8) - (-7)/1. Suppose 5*n = -2*r + 228, 0 = 2*r + 3*n - 221 + y. Is r a multiple of 26?
True
Let y(g) = -6931*g - 343. Is y(-1) a multiple of 61?
True
Let t = -187 + 190. Suppose -2*k - t*k + 930 = 5*m, -m = 2*k - 372. Is k a multiple of 62?
True
Let s = 524 + -512. Suppose -78 = -3*x - s. Is x a multiple of 10?
False
Suppose -34 = 3*s - s. Let i(m) = 7*m**3 + 34*m**2 + 5*m - 24. Let q(k) = 3*k**3 + 17*k**2 + 2*k - 12. Let y(r) = 2*i(r) - 5*q(r). Does 8 divide y(s)?
False
Suppose 151*m - 77490 = 69*m. Is 45 a factor of m?
True
Let r(v) = v + 3. Let x(n) = n**2 - 45*n - 11. Let c(k) = -7*r(k) - x(k). Is c(28) a multiple of 12?
False
Let m(s) = 5*s + 1. Let n(a) = -3*a - 28. Let h be n(-11). Suppose 4*q + 8 = -0*q + h*r, 3*r - 27 = -5*q. Is 8 a factor of m(q)?
True
Suppose 6 - 2 = -2*c. Is 1*(18 - c)*6 a multiple of 4?
True
Suppose 0 = 2*f - 3776 - 924. Does 5 divide f?
True
Suppose -6*w - 1289866 - 2081678 = -135*w. Is 8 a factor of w?
True
Let t = 14 - 2. Let g(c) = c**3 - 13*c**2 + 15*c + 19. Let z be g(t). Suppose -z - 85 = -5*h. Does 15 divide h?
False
Suppose 5*s + 90 = 3*k + 501, 4*k + 565 = s. Let n = k - -219. Does 3 divide n?
False
Let r(s) = s**3 - 16*s**2 + 2*s + 9. Let w = -63 - -70. Suppose -154 = -w*i - 42. Is 13 a factor of r(i)?
False
Let k be (1076/6)/((-1396)/468 - -3). Suppose k = 9*r + 3723. Is r a multiple of 13?
False
Let d(o) = 5*o**2 + 7*o + 500. Is d(-91) a multiple of 228?
True
Suppose 0*j - j = 2*j. Suppose 2*i + f = 318, j*i - 4*i - f = -634. Suppose 0 = 4*z, g + g - 2*z = i. Is 11 a factor of g?
False
Suppose 0 = -2*d - 3*x + 26075, 5*x + 44548 + 7547 = 4*d. Does 10