22 = -2*s, -5*z - 25 = 0. Does 4 divide s?
True
Suppose 3*r - 2*k + 108 = 0, -2*r + 3*k - 1 - 66 = 0. Let y = 118 + r. Is 5 a factor of y?
True
Let a(p) = 12*p - 60. Does 4 divide a(14)?
True
Let k(n) = -n**3 - 11*n**2 - 9*n - 18. Let m be k(-8). Let w = 359 + m. Does 33 divide w?
False
Let s(y) = -y**3 + 13*y**2 - y + 14. Is 5 a factor of s(11)?
True
Let a(i) = i**3 - 10*i**2 + i - 13. Let k be a(10). Is 16 a factor of 2 - -39*(-2)/k?
False
Suppose 178 = -3*o - 83. Let w = 371 + -399. Let t = w - o. Is t a multiple of 15?
False
Suppose -5*c - 5*b - 11 = -c, 2*c + 2*b + 4 = 0. Is ((-276)/18)/(-2*c/3) a multiple of 6?
False
Does 75 divide (2 - 6) + (1489 - 60)?
True
Let h = 2138 - -269. Is 10 a factor of h?
False
Suppose -c - 6*y + 3*y = -571, 5*c - 3*y = 2873. Is 23 a factor of c?
False
Let i = -100 - -105. Suppose 64 + 254 = i*k + 3*w, 0 = 2*w - 2. Does 8 divide k?
False
Suppose -20*i = -4977 - 663. Does 6 divide i?
True
Suppose -6*m = -4*m - 6. Suppose -m*v + 2*y = 3*y - 146, 96 = 2*v + 2*y. Is 9 a factor of v?
False
Let j be (-2870)/(-4) + (-7)/(-14) + 3. Suppose -5*i + j = -b - 147, -b = -2. Is i a multiple of 29?
True
Let u(t) = 402*t**2 - 128*t. Does 14 divide u(3)?
True
Let w(c) = c**2 - 2*c + 3. Let h be w(2). Suppose -n - 104 = h*n. Let u = 1 - n. Is 5 a factor of u?
False
Let s = 19 - 23. Let v be 11 + s - 3 - 3. Is 4 - v*(-3 - 9) a multiple of 13?
False
Suppose -5*k + 19 = -1. Suppose -y = t + k*y - 15, 4*y = 12. Suppose t = -4*w - w + 90. Is w a multiple of 6?
True
Let z = 1493 + 60. Is 83 a factor of z?
False
Suppose -413 + 116 = -3*p. Does 55 divide 1654/9 + 22/p?
False
Let p = 61 - 71. Let y(n) = -n**3 - 9*n**2 + 8*n + 22. Is 7 a factor of y(p)?
True
Let a(z) = -87*z - 23. Is a(-4) a multiple of 9?
False
Suppose 3784 + 91 = 25*s. Is s a multiple of 24?
False
Does 9 divide 180/15 - (-3422)/2?
False
Suppose -3*o + 4*o = 0. Suppose -w - 2*z + 9 = o, 37 = 3*w + 2*z - 6*z. Is w a multiple of 11?
True
Is 7 a factor of (30/4)/((-18)/(-240))?
False
Let m = 31 + -27. Is (-623)/(-14) + 2/m a multiple of 15?
True
Suppose 2*d + 3*z = 22, -5*d = -0*d - 4*z - 9. Suppose a = -2*p + 10 + 14, 0 = d*p - a - 74. Let u = p + -3. Is u a multiple of 5?
False
Suppose -3*f = -5*k + 12, -3*f = -2*k + k. Let r(q) = 4*q - 1. Let m be r(f). Suppose -d - h + 11 = 0, m*h - 2*h + 19 = 4*d. Is 2 a factor of d?
True
Let s(d) = 3*d**2 - 33*d - 10. Let q be s(11). Let w(z) = -11*z + 79. Does 21 divide w(q)?
True
Suppose 30*c = 37*c + 21. Suppose -a + 17 = -2. Let w = a - c. Does 22 divide w?
True
Suppose 6*x - 1134 = 570. Suppose t - x = -3*t. Is t a multiple of 16?
False
Let r be (-133 - -24)*1/(-1). Let v = -20 + r. Does 16 divide v?
False
Let x = -75 + 75. Suppose x = 5*y - 47 - 73. Does 3 divide y?
True
Let u(a) = a**2 + 7*a - 12. Let x be u(-9). Does 2 divide x/18 - 22/(-6)?
True
Let a = 108 - -261. Does 16 divide a?
False
Suppose -5*r + 831 = -3*b, -3*r - 660 = -7*r + 4*b. Is r a multiple of 6?
True
Let w = 1137 + -1046. Is 13 a factor of w?
True
Let g be -1*2 + (-10)/(-10). Let d be 27 + -8 + (-2)/g. Suppose 2*f - d - 15 = 0. Is f a multiple of 6?
True
Suppose 592 = 13*q - 6. Is 46 a factor of q?
True
Let k(l) = -l**3 - 11*l**2 - 15*l - 6. Let u be ((-60)/(-75))/((-1)/(-20)). Let f = u + -26. Is 11 a factor of k(f)?
True
Suppose 3*o - 143 = -p, -p = -o + 21 + 20. Let z = o + -16. Is 16 a factor of z?
False
Suppose 4*u + 397 - 33 = 0. Let i = -55 - u. Does 6 divide i?
True
Suppose 3*n - 75 = -4*m, -3*m = 2*n - 3*n - 40. Does 34 divide 4 + -1 + m/((-90)/(-1596))?
False
Let t(k) = -26*k**2 - 13*k - 8. Let d be t(-8). Let n be d/80 + (-4)/10. Let p = -17 - n. Does 3 divide p?
True
Let z be 90/63 - 1 - (-102)/7. Suppose -14*g + z*g = 360. Is g a multiple of 20?
True
Let f = -6 + -3. Let h be ((-37)/3)/(3/f). Suppose h = 2*o - 1. Does 9 divide o?
False
Let w be 6/2 - (-51 + 0). Let c = w - 16. Let h = c + -9. Is h a multiple of 20?
False
Suppose -116 = -5*m + 4*a, 3*m - 13 = 3*a + 56. Suppose 0*k + m = 2*k. Let q = 21 + k. Does 12 divide q?
False
Let w(u) = -7*u**3 + 8*u**2 + u - 9. Let n(m) = -13*m**3 + 16*m**2 + 3*m - 17. Let g(f) = -6*n(f) + 11*w(f). Is 21 a factor of g(9)?
True
Let r(g) = -7*g + 8. Let v be r(-2). Suppose v*j - 19*j - 330 = 0. Is 22 a factor of j?
True
Let y be -40 + (-4 + 3)*-4. Is (30/3)/((-9)/y) a multiple of 22?
False
Let k(i) = -i**2 + 6*i. Let b be k(5). Suppose b*z + 0*z + 5*v = 355, -v = -3*z + 193. Is z a multiple of 33?
True
Let u = -171 + 113. Let y = 114 + u. Does 12 divide y?
False
Suppose 5*s = -119 + 614. Suppose -b + s = 2*b. Is 2*(b - (-7 - -4)) a multiple of 9?
True
Let o(p) = -p**3 + 6*p**2 + 11*p - 9. Suppose -2*c - 3*a = -5*a + 48, 4 = -a. Let n = c + 34. Is o(n) a multiple of 18?
False
Let y be (-4 - -46)*3/2. Let l(d) = d - 27. Let a be l(12). Let b = y + a. Is 12 a factor of b?
True
Suppose -822*v = -808*v - 4970. Is v even?
False
Does 67 divide 105/(-168) + 21450/16?
True
Let s be 27/5 + ((-13)/(-5) - 3). Suppose 0 = -2*p - 3*a + 183, -s*a + 40 = 2*p - 133. Does 11 divide p?
True
Let g be (27/3)/(6/(-4)). Let f = -135 - -81. Let h = g - f. Is 24 a factor of h?
True
Let f = 45 + -29. Let g be -4*1 + -2 - -2. Does 20 divide g/(f/(-2))*50?
False
Suppose 0*c + 5*c - 5 = 0. Let o = 1 + c. Suppose v + 3*x + o = 0, v + x = -3*x - 5. Is 2 a factor of v?
False
Let v(r) = r**2 - 21*r + 206. Is v(-26) a multiple of 12?
True
Suppose d + 0*d = 0. Suppose d = h + 5*k - 76, 186 = 3*h + k - 112. Is h a multiple of 17?
False
Let m(c) = 2*c**2 + 5*c + 1. Let q be m(-7). Let o = 95 - q. Is 5 a factor of o?
False
Suppose -21 + 49 = 2*s. Let k(h) = -h**3 - 5*h**2 + 4*h - 3. Let w be k(-6). Let f = s + w. Is 23 a factor of f?
True
Suppose 7*f - 9 = 5. Is 12 a factor of (1 - f/(-4))/((-6)/(-124))?
False
Suppose 0 = -w - 3 + 51. Is 16 a factor of w?
True
Let g(c) = -c + 3. Suppose -2*h - 2 + 6 = 0. Suppose h*d - s + 33 = 0, -d + 5*s = -0*s + 39. Does 13 divide g(d)?
False
Let j(x) = -x**2 + 8*x + 44. Is j(9) a multiple of 35?
True
Let n = 134 + -131. Suppose 0*b + n*b - 5*x = 836, -834 = -3*b + 3*x. Does 50 divide b?
False
Let q = 310 + -180. Is 35 a factor of q?
False
Let p(y) = 3*y - 19. Let c be 8/(-20) + 410/25. Does 3 divide p(c)?
False
Let j(g) = 21. Let c(n) = -n + 20. Let o(m) = -4*c(m) + 6*j(m). Is 18 a factor of o(0)?
False
Suppose 0 = 5*z + 1423 + 1027. Is (z/(-21))/7 - 4/(-6) a multiple of 4?
True
Let z = -31 + 130. Suppose -97*s + z*s = 36. Does 6 divide s?
True
Let v = -26 - -30. Suppose 4*p = -h + 27 + 65, 2*h - v*p - 136 = 0. Does 17 divide h?
False
Is 24 a factor of ((-301)/(-21) - -6)/((-7)/(-546))?
False
Let t = -362 - -434. Is t a multiple of 6?
True
Suppose c = 6*c - 15, -4*h - 9 = -3*c. Suppose h = 2*z - 3*r - 172, 5*z - 106 = -4*r + 278. Is z a multiple of 16?
True
Let f(t) = t + 14. Let s(l) = -2*l - 27. Let a(b) = -5*f(b) - 3*s(b). Let c be a(-4). Is 8 a factor of 45 + c/(28/8)?
False
Suppose -5*t - 268 = -h, -2*t - 2*t + 4 = 0. Is 39 a factor of h?
True
Let d = 27 - 29. Let n(y) = -11*y**3 + y**2 - 7*y - 7. Is n(d) a multiple of 11?
True
Let c be (-2 + 5/2)*-2. Let x(q) = -44*q**3 - q**2. Let m be x(c). Let b = 78 - m. Is b a multiple of 13?
False
Let n = -9 - -273. Is n a multiple of 12?
True
Is 24 a factor of 183547/273 + 2/(-6)?
True
Let x(c) = c**3 + 3*c**2 - 2. Let w be x(-3). Suppose 3*y + 38 = -2*r + 14, -4*r + 4*y - 48 = 0. Let v = w - r. Is 10 a factor of v?
True
Suppose 2*r - 6 = -0*r. Suppose -i - 1 = r*t, -2*t = -4*i + t + 26. Does 5 divide i?
True
Let f(b) = b**3 + 7*b**2 + 9*b - 5. Let m be f(-5). Suppose 309 = g - 3*z, g + 3*z - 5*z - 309 = m. Is 12 a factor of g?
False
Is (7800/364)/(1/7) a multiple of 10?
True
Let y = 440 - 262. Is 4 a factor of y?
False
Suppose -6*p + 17 = -13. Suppose s + p*s - 414 = 0. Does 31 divide s?
False
Let k = 5 + 1. Let x = -17 + k. Is 3 a factor of x/44 + 49/4?
True
Suppose -700 - 2564 = -8*g. Is g a multiple of 13?
False
Let s(j) = -105*j + 19. Let l(t) = 103*t - 20. Let q(m) = 6*l(m) + 5*s(m). Is 17 a factor of q(2)?
False
Suppose t + 4*t = 4*a - 20, -4 = 5*a + t. Does 15 divide 4 + -2 + a + 178?
True
Suppose -666*i + 780 = -661*i. Is 4 a factor of i?
True
Let g(t) = -597*t - 9. Let f be g(-2). Suppose -414 - f = -13*d. Does 14 divide d?
False
Suppose -2*b - 4*y 