2*k - 7*k. Suppose 2*m + j = 4*d + 5*m, 3*m = -3*d + 231. Is 31 a factor of d?
False
Suppose g + 7 = -3*t - 3*g, 0 = 5*t - 5*g - 35. Let r(w) = 11*w**3 + 4*w**2 - w + 4. Let z be r(t). Suppose 8*u = z + 186. Is u a multiple of 5?
True
Let o = 877 + -558. Let m = -149 + o. Is m a multiple of 10?
True
Does 12 divide (-2)/(-3)*(-307008)/(-41)?
True
Suppose 5*n = -o + 22, n + o = -0*o + 6. Suppose 2*t - 4*w = 114, 8*t - w - 221 = n*t. Is 12 a factor of 3/1 + t + 2?
True
Let i(z) = 62*z**2 - 69*z + 525. Does 5 divide i(6)?
False
Suppose -h = -0*h - 2*k - 9, h + 5*k = -12. Suppose -4*f = h*g - 375, -3*g - 5*f + 609 = 234. Is 22 a factor of g?
False
Let s(h) = -h**2 - 8*h + 18. Let j be s(5). Suppose -4*x + m = -0*m + 108, -27 = x - 4*m. Let o = x - j. Is o even?
True
Suppose -2*l - k - 3*k + 11844 = 0, -4*l = 3*k - 23703. Is l a multiple of 156?
True
Suppose 47*z + 29*z - 6555 = 7*z. Is z even?
False
Suppose 15*w - 26 = -71. Does 7 divide 840/(-180)*w/(-4)*-74?
True
Suppose -2*x - 2066*i + 8232 = -2065*i, -2*x + 8232 = 4*i. Is 98 a factor of x?
True
Is (14 - 19) + 3 - -2742 a multiple of 10?
True
Let k(y) = 4*y**2 - 10 - 48 + 75 - 63 - 63*y. Does 7 divide k(19)?
False
Let v(t) = -3*t + 1. Let l = -35 - -34. Let a be v(l). Suppose -s + a*s = 180. Is 20 a factor of s?
True
Let p = -46 + 48. Let b be 1*p/(-2 - -4). Does 16 divide (119 - 6) + 2 + b/(-1)?
False
Let p be (12/5)/(-3 + 58/20). Let n be (-8)/(-36)*21*(0 - p). Suppose -3*w - 13 + 2 = -u, 5*u = -4*w + n. Is 13 a factor of u?
False
Let a be 16/56 - (0 - 396/(-14)). Let i = 47 + a. Let g = i - -26. Is g a multiple of 9?
True
Suppose -2*o - 352 = -408. Suppose -3*y = -x + 33, o*y - 29*y - 71 = -2*x. Is 6 a factor of x?
True
Let y(u) = -u**3 + 16*u**2 + u + 23. Let d be y(16). Let m = -37 + d. Does 9 divide ((-267)/m)/(-3)*2?
False
Let d = -10677 - -16995. Is 54 a factor of d?
True
Suppose -273*b + 97045 = -207623. Is 124 a factor of b?
True
Let z(j) = j**3 - 21*j**2 + 23*j - 17. Let m be z(20). Let c = m - 34. Suppose c*r - 12 = 7*r. Is 5 a factor of r?
False
Let h = 59 - 59. Suppose 71*p - 67*p - 1508 = h. Is p a multiple of 7?
False
Suppose -21*q + 106497 + 198108 = 0. Is q a multiple of 5?
True
Suppose 0 = 15*j - 41 - 34. Is (177/(-4))/(j/(-40)*3) a multiple of 12?
False
Suppose 3*h = x - 3349, -4*x + 5*h - 4*h = -13462. Does 4 divide x?
False
Suppose v = 4, -2 = -5*x + 3*v + 6. Let u(z) = -z**2 + 12*z - 1. Does 26 divide u(x)?
False
Suppose 56*s - 226 + 1234 = 0. Is (-15)/(-6) - 20619/s a multiple of 44?
False
Let d(v) = 20*v + 60. Let m be d(-3). Let c(q) = -17*q. Let x be c(-2). Suppose -t = -m*t - x. Is 34 a factor of t?
True
Suppose 5*u = 2*j - 260, -2*j + 54 + 170 = 4*u. Is 12/j - 2049/(-10) a multiple of 3?
False
Suppose -13*a = -30*a + 663. Suppose 1515 = a*t - 36*t. Suppose 4*g - t = 307. Is g a multiple of 28?
False
Let c be 1*2/6 - (-897)/117. Suppose 14*w + c = 18*w. Suppose -2*p - 24 = -w*n, 0*n - 4*n = p - 38. Is 9 a factor of n?
False
Let s be (-2648)/(-20) + (-3)/(-5). Let p = s - -88. Is 17 a factor of p?
True
Suppose -3*z = -2*k + 6*k + 83, 5*z = -5*k - 130. Let d = z + -25. Is (d/1)/(30/(-15)) a multiple of 11?
False
Let v(o) = 577*o + 71. Is v(10) a multiple of 59?
True
Let k be (20/(-45))/((-3)/27). Suppose 1741 = 4*u - i - 770, k*u - 2*i - 2514 = 0. Does 13 divide u?
False
Let m(t) = 14*t**2 + 3*t - 99. Does 4 divide m(7)?
True
Suppose -48*f - 40*f + 1904056 = 0. Does 23 divide f?
False
Suppose 12*p - 130 = 10*p. Let d = p + -64. Does 41 divide ((-10)/2)/(d/(-11))?
False
Let v(r) = r**3 - 8*r + 1. Let m(c) = -c**2 + 1. Let l(d) = 2*m(d) - v(d). Let y be l(-6). Suppose -3*f + 220 + y = b, 436 = 4*f + 4*b. Is f a multiple of 9?
False
Let c be 0*4/(-1 - -9). Suppose c = 2*s - 0*s + 5*p - 13, 4*s - 21 = -5*p. Is 26 a factor of 1976/57*6/s?
True
Let w = -75 - -79. Suppose -5*n - 4*q = -308, 4*n + w*q - 329 = -85. Does 21 divide n?
False
Let q be (61/(-3) - (-84)/(-126))*-1. Let r(g) = g**3 - 19*g**2 - 20*g - 131. Is r(q) a multiple of 20?
False
Does 14 divide ((-3)/5*-18)/(170224/(-8960) - -19)?
True
Let b be (-7)/(-2) - 1 - (-9)/6. Let y(z) = -3*z**2 - 3*z - 6. Let v be y(b). Let t = 6 - v. Is 6 a factor of t?
True
Let g(z) = 8*z**2 + 4*z + 362. Let u be g(0). Let p = u - 200. Is p a multiple of 6?
True
Let t(d) = d**3 + 6*d**2 - 16*d + 16. Suppose 0*z + 84 = 4*z. Suppose 40 = z*u - 26*u. Is 4 a factor of t(u)?
True
Let k = 625 - 623. Let o(t) = 51*t**2 + 19*t - 4. Does 12 divide o(k)?
False
Let d(k) = 683*k - 3006. Is 22 a factor of d(14)?
True
Suppose -4*m - 5*u + 12175 = 0, -2*m - 22*u + 18*u + 6080 = 0. Let f = -2172 + m. Is 25 a factor of f?
False
Is 24 a factor of (4 - 3) + 1561 + 2?
False
Suppose 731*r - 714*r = 23256. Is 19 a factor of r?
True
Let k = 101 + -98. Suppose 0 = 4*j + 20, -2*i + 317 + 438 = -k*j. Does 37 divide i?
True
Suppose 30*m - 31*m - 2*c = 8, 0 = -2*m + 3*c + 19. Suppose m*x + 760 = 4*x + 4*d, -377 = -x - d. Does 26 divide x?
False
Let g = -23 - -7. Let y(q) = -126*q + 55 + 59*q + 92*q + 2*q**2. Is y(g) a multiple of 21?
False
Let r(w) = -w**3 + 13*w**2 + 252*w + 51. Does 36 divide r(-21)?
False
Let c = 1 + -27. Let g = c - -526. Is 14 a factor of g?
False
Let j(a) = a**3 - 23*a**2 + 81*a + 13. Is 3 a factor of j(20)?
False
Suppose 6*y - 26 = 46. Suppose y*u - 1132 = 812. Does 54 divide u?
True
Suppose 0 = -3*z + k + 2704, 3*z - 3*k = -2*z + 4500. Suppose -z - 814 = -17*o. Does 9 divide o?
False
Let b(m) = -6*m**2 + 10*m - 14. Let t(g) = -g**2 - 1. Let s(k) = b(k) - 5*t(k). Let a be s(5). Let f = 73 - a. Is f a multiple of 13?
False
Suppose 66 = 5*j + 161. Does 18 divide 7*(j + -8)*-2?
True
Let c(r) = r**3 - 29*r**2 + 41*r - 123. Let x = -121 - -149. Is c(x) a multiple of 16?
False
Let s(l) = -30*l + 61. Let r(t) = 120*t - 245. Let k(v) = -6*r(v) - 25*s(v). Does 5 divide k(4)?
True
Let a = 73453 - 46591. Does 37 divide a?
True
Suppose -5*d - 13795 = i, -4*d = d + 5. Is 76 a factor of (-9)/(495/(-10)) - i/22?
False
Let x be 1/(-3 + 148/48). Suppose -2*f - x + 0 = 0. Is 7 a factor of 759/9 - f/(-18)?
True
Let k(r) = 8*r + 1. Let g be ((-2)/6*0)/(-5 - -4). Let m be k(g). Is -1 + 5 + m + 53 a multiple of 3?
False
Let h(l) = 32*l - 63. Let k be h(2). Is 22 a factor of (7 + 74/(-10))/(k/(-385))?
True
Suppose 42*j - 30*j + 108*j - 492480 = 0. Is 41 a factor of j?
False
Suppose -4*q = -x + 20, -q - 8 = -x - 3*q. Let g(u) = -u**3 + 14*u**2 + 7*u - 22. Let p be g(x). Suppose -p = -7*r + 231. Is r a multiple of 14?
False
Suppose -2*a - 154 = -4*t, 9*a + 4*t + 371 = 4*a. Does 20 divide 15/a - (-3 - (-5544)/(-20))?
True
Let p(x) = x**3 - 25*x**2 - 64*x + 467. Is 11 a factor of p(39)?
False
Let f = -16 - -16. Suppose 2*p + f*p = -6. Is 7 a factor of p - (-38)/(-4)*-4?
True
Let d = 23550 + -22835. Is 65 a factor of d?
True
Let t be (-2)/12*3 + (-163)/2. Let c = t - -82. Suppose 3*v + 5*q - 235 = c, 0*v - q + 319 = 4*v. Is v a multiple of 5?
True
Suppose 2*a = -5*m - 98, m + 153 = -4*a - 7. Let q = a - -529. Does 16 divide q?
False
Suppose -5*o + 24 = -x, 6 + 0 = 2*o - 4*x. Let s(d) = 11*d**3 - 8*d**2 + 13*d + 29. Is s(o) a multiple of 78?
False
Let w = -68 - -68. Suppose w*l + 2*l = -730. Let m = l - -574. Is 12 a factor of m?
False
Let p(x) = -9*x**2 - 3*x + 6. Let g(b) = -8*b**2 - 4*b + 6. Let d(v) = 4*g(v) - 5*p(v). Suppose 0 = a + 3*h + 17, -6 - 15 = -2*a + 5*h. Is d(a) a multiple of 7?
False
Let u(a) = -4*a**3 + 178*a**2 - 55*a - 133. Does 14 divide u(41)?
False
Let n(y) = -10*y**2 + 962*y - 84. Does 12 divide n(68)?
True
Let w(n) = -2254*n - 130. Let i be w(-5). Is 50 a factor of (3/(-2))/((-15)/i)?
False
Suppose -5*n + 20 = -n. Suppose -n*l + 0*l = 3*j - 1403, j = -2*l + 466. Suppose 7*g - j = 280. Does 24 divide g?
False
Let w = -41 + 55. Is 16 a factor of -14 + w - (-1 - 303)?
True
Let s(o) = -5*o + 10 + 27*o + 23 - 10*o + o**2. Does 5 divide s(-12)?
False
Suppose 10162 = d + 3*d - 2*y, 0 = -4*d + 3*y + 10159. Suppose -18*o + 4*w - d = -20*o, 5*o - 5*w - 6295 = 0. Does 16 divide o?
False
Let l = 53 - 47. Suppose k = -2*k + l. Is k*-3*(4 - 23/3) a multiple of 7?
False
Let f = 11 - 61. Let r be f/2 + 28/14. Let m = 5 - r. Is 7 a factor of m?
True
Let u(k) = -2*k**2 + 26*k - 73. Let l be u(19). Let f = 611 + l. Is f a multiple of 44?
False
Let z = 228 -