= 106 - w. Does 8 divide x?
True
Suppose -3*n = 632 - 212. Let y = -58 - n. Suppose -4*q - y = -6*q. Is 15 a factor of q?
False
Let k = -1 + 2. Let a be k/(4/(-76) + 0). Let y = 1 - a. Is 6 a factor of y?
False
Suppose -7*d + 864 = 2*d. Suppose -94*y + d*y - 262 = 0. Does 22 divide y?
False
Suppose -16*u + 97 = -175. Is u a multiple of 9?
False
Let w(s) = -3*s**3 - 27*s**2 - 128*s + 31. Is w(-13) a multiple of 51?
True
Suppose 23*w - 18*w - 1175 = 0. Let g(u) = 2*u**2 - 4*u + 2. Let l be g(2). Suppose -5*o = 4*k - 0*o - w, -5*k = -l*o - 335. Is k a multiple of 13?
True
Let l = -817 + 1657. Is 20 a factor of l?
True
Let c be ((-4)/(-2) + -2)/1. Let x(i) = 12 - i + 6*i - 3*i. Does 12 divide x(c)?
True
Let u be (-295)/100*-4 + (-2)/(-10). Is (u/7)/(4/70) a multiple of 15?
True
Let v(b) = -150*b - 9. Let k be v(-2). Suppose -3*y - 2*o - o + k = 0, 5*y + 3*o = 487. Is 13 a factor of y?
False
Suppose 5*d - 108 = 4*u + 3644, -2989 = -4*d - u. Is 13 a factor of d?
False
Let c = -370 + 220. Is 11 a factor of (-5)/(c/(-215))*-6?
False
Suppose n = 6*n. Suppose -3*i + 0*y - 3*y = -216, -2*i - 3*y + 148 = n. Let f = -28 + i. Is f a multiple of 16?
False
Let u be 1*(-6 - -2)*-1. Suppose -6 = z + z - 3*s, 0 = u*s + 8. Let q = 53 + z. Is q a multiple of 20?
False
Suppose -2*t + 49 = 3*c, 0 = -4*c - t + 4*t + 71. Is c*(4 + 1) + 3 a multiple of 38?
False
Suppose -4*h = 3*u - 5*u - 12, 0 = h - 5*u - 12. Suppose -3*n = -3*b + 6, 2*b + 0*n + h*n = 20. Is b a multiple of 3?
True
Suppose 0 = -4*y - m + 3481, -67*y + 63*y + 3485 = 5*m. Is 6 a factor of y?
True
Let f be ((-7)/(-1))/(1/(-1)). Let r be (-18)/(-10) + f/(-35). Is ((-2)/r)/(4/(-84)) a multiple of 11?
False
Let y(t) = t + 8. Let j be y(-8). Suppose -2*p - 5*g + 26 = j, 3*g + 57 = 5*p - 39. Is 15 a factor of -2 + -2 + 1 + p?
True
Let o = 362 - 285. Does 11 divide o?
True
Let i(h) = 5*h**3 + 2*h - 15. Is 51 a factor of i(3)?
False
Suppose -1072 = -5*g + 4*y, 4*g - y - 858 = 2*y. Is g a multiple of 24?
True
Suppose -2*p = -14 + 6. Let i(u) = -u**3 - u**2. Let n(a) = -6*a**3 - 6*a**2 + 4*a + 5. Let h(x) = 5*i(x) - n(x). Is h(p) a multiple of 23?
False
Let x = 188 + -314. Let l = -68 - x. Does 29 divide l?
True
Let w(i) = 7*i + 1. Let y be w(1). Let g(r) be the third derivative of -r**6/120 + 2*r**5/15 + r**4/8 - 2*r**3 - 26*r**2. Is 6 a factor of g(y)?
True
Suppose -3*p - 4*u + 28 = 0, 3*p - 9 = -3*u + 15. Let r be ((-6)/p)/((-6)/16). Suppose -g + r*y = 4*g - 38, 5*g = -4*y + 62. Is g a multiple of 10?
True
Let q = -2175 + 3423. Is q a multiple of 26?
True
Let b = -6 + 10. Let u be b - (-4)/4*11. Let g(v) = v**2 - 10*v + 9. Does 14 divide g(u)?
True
Let w = -2432 + 4655. Does 13 divide w?
True
Let a = 606 - 415. Let w = a + 345. Suppose -8 = 8*j - w. Does 22 divide j?
True
Suppose 3*h + 10*q - 6*q = 744, 0 = 5*q. Is h a multiple of 10?
False
Let l(t) be the third derivative of t**6/120 + 4*t**5/15 + 5*t**4/12 + 17*t**3/6 - 13*t**2. Does 23 divide l(-15)?
True
Let k be 141/9 + 4/12. Does 8 divide 2*8/(k/45)?
False
Let p be (0 + -2)*(0 + -45). Let x = p - 45. Is x a multiple of 8?
False
Let j = -4 - -3. Let m(x) = 5*x. Let b be m(j). Let u(t) = -t**2 - 6*t + 6. Is u(b) a multiple of 3?
False
Let m(q) = 6*q - 5*q + q. Does 3 divide m(7)?
False
Let n(u) = 2*u**2 - 29*u - 207. Is 4 a factor of n(-7)?
False
Let j = 145 - 143. Let k(u) = 43*u - 7. Is 27 a factor of k(j)?
False
Is 5/50 + (-90468)/(-120) a multiple of 29?
True
Let a = 29 + -29. Suppose a = -u + 60 + 12. Is 18 a factor of u?
True
Does 6 divide (-1139)/(5 - (1 + 5))?
False
Let m be (-3)/2 - 108/(-24). Suppose 0 = -2*t - m*o + 113, -5*o - 248 - 11 = -4*t. Does 4 divide t?
False
Suppose -600 = 17*n - 2368. Does 72 divide n?
False
Suppose -4*n - 3*h = -16, 0 = -3*n + 2*h - 4*h + 12. Let o = n + -16. Is 3 a factor of (1/(-2))/(o/144)?
True
Let j(v) = 2 + 0*v**2 - 4 + 4*v**2. Let o = -63 + 60. Does 16 divide j(o)?
False
Suppose 30*x + 716 = 35*x + 4*c, -4*x + 5*c = -540. Is x a multiple of 4?
True
Suppose -5*i + 494 = 2*r, -66 + 360 = 3*i + 2*r. Suppose -m + i = 3*m. Suppose m = 2*n - 7. Does 3 divide n?
False
Let c = -5 - -2. Let l be (-16)/12*c*1. Suppose 10 = -l*d + 6*d. Is d even?
False
Let c = -2 + 10. Suppose c = o + 7. Let a = o + 9. Is 10 a factor of a?
True
Suppose -t = 4*t - 20. Is 9 a factor of 7 + t/(-1) - -14?
False
Let g(h) = 3*h**2 + 13*h. Suppose 6 = -4*p - 3*j + 47, p = 5*j + 16. Let r(k) = -2*k + 16. Let v be r(p). Is 15 a factor of g(v)?
True
Let d(p) be the second derivative of -2*p**3 + 3*p**2 - p. Suppose 0 = -5*v + 2*s - 31 + 4, 3*v - 4*s = -5. Does 27 divide d(v)?
False
Let d(z) be the first derivative of -2*z**3/3 - 20*z**2 + 7*z - 57. Is d(-17) a multiple of 41?
False
Let q(l) = -4*l**3 - 3*l**2 + 2*l - 2. Let o be q(-3). Suppose -o*i = -70*i - 75. Is i a multiple of 5?
True
Let a = -2791 - -61. Does 20 divide 4/(-6) + a/(-45)?
True
Let u = 3598 - 2309. Is 13 a factor of u?
False
Suppose -5*j + m = -50, 0*j + m - 22 = -3*j. Let x be (j/6)/((-4)/688). Is 6 a factor of (-2)/7 - x/21?
True
Is 2 - -37 - 0/(-5) a multiple of 13?
True
Suppose b = -4*u + 10116, 0 - 8 = -2*u. Is (2/10)/(20/b) a multiple of 12?
False
Let y = -581 + 900. Does 11 divide y?
True
Let u(j) = 79*j + 61. Does 4 divide u(5)?
True
Is 2096/144 + -15 + (-49508)/(-18) a multiple of 125?
True
Let x = -69 - -119. Suppose -21 = k + x. Let p = -23 - k. Does 12 divide p?
True
Suppose 3*s + 4*b = -88 + 909, b = 3*s - 796. Is s a multiple of 22?
False
Let l(m) = 3*m - 3 + 12*m**3 + 14 - 5 - 12. Does 32 divide l(2)?
True
Suppose -4 = 3*p - 10. Suppose v + p*v - 9 = 0. Suppose q + v*q - 92 = 0. Is q a multiple of 23?
True
Is -6*-284*(-10)/(-80) a multiple of 2?
False
Let v(p) = p**2 + 9*p + 49. Does 33 divide v(11)?
False
Let f(h) = -h**3 + 3*h**2 - 2*h + 1. Let k be f(2). Let x be (k + 0)/(9/18). Suppose 4*s - 240 = 4*l, 308 = -x*s + 7*s - l. Is 32 a factor of s?
False
Let l be (-10)/30 - 56/(-6). Suppose -10*v + l = -13*v. Is 2 a factor of (-171)/(-21) - v/(-21)?
True
Suppose 160 = -5*u + 6*x - 3*x, 5*x = 4*u + 115. Is ((-48)/(-10))/((-36)/u + -1) a multiple of 14?
True
Suppose 11 = -4*v + 3. Let k be (-2 + 3/6)*v. Let d(q) = 2*q**3 - 3*q**2 - 2*q. Does 7 divide d(k)?
True
Does 8 divide (-16)/(-28)*406/4?
False
Let m(t) = 2*t**2 + 8*t - 12. Let b be m(-10). Let v = 118 - b. Is v a multiple of 5?
True
Suppose 0 = 2*v + q - 7054, 3*v - 2*q - 342 - 10225 = 0. Does 83 divide v?
False
Let l = -13 - -6. Let m = -5 - l. Is 12 a factor of (-96)/20*(-15)/m?
True
Suppose 5*g - 22 = -z + 30, -5*g + 56 = 3*z. Suppose 0 = 4*u - g - 182. Is 24 a factor of u?
True
Let r(d) = d**3 - 19*d**2 + 11*d + 148. Is r(19) a multiple of 51?
True
Suppose -f = 61 - 13. Let w be (15/10)/(9/f). Is 11 a factor of (-108)/w*(-16)/(-12)?
False
Let h = -100 - -103. Suppose 5*r - 1080 = -0*g - 5*g, -h*g = -r - 648. Is g a multiple of 18?
True
Suppose 5*v - 5*x = 20, 0*v - 4*v = x - 21. Suppose 4*f - v*f = -44. Suppose 2*o = -2*k + f, -2*k + o = -4*o - 65. Is k a multiple of 9?
False
Let d be 19*1/(-2)*-2. Suppose -d + 69 = 5*m. Let r(b) = -b**2 + 10*b + 12. Is r(m) a multiple of 5?
False
Let n = 8 + -4. Suppose -4*m + 86 - 342 = -n*k, -4*k - m + 241 = 0. Is k a multiple of 4?
False
Let t be 109/(-6) + ((-16)/4)/(-24). Let b(x) = 2*x + 51. Is b(t) a multiple of 15?
True
Suppose 3*h + 4*a + 221 = 3155, h = 2*a + 988. Is 14 a factor of h?
False
Let l(d) = -2*d - 9. Let b be l(-6). Suppose b*y + 12 = 2*x, -2*y - 8 - 11 = -5*x. Suppose -4*m = -x*m - 4. Does 3 divide m?
False
Let t be 4/12*-3 + 9. Let c be 10/6*(-5 + t). Is 25 a factor of 51 + -1*(c - 4)?
True
Suppose -2 = r - 11. Let q = -1 + r. Is q even?
True
Let v(j) = j - 1. Let h(r) = -24*r - 12. Let n(y) = h(y) - 18*v(y). Let q be n(-5). Suppose -l + q = 2*l. Is 18 a factor of l?
True
Let z = 36 - 35. Is (-4 - 27)*z*-1 a multiple of 10?
False
Is 25 a factor of (-117762)/(-51) + 65/(-1105)?
False
Let s(n) = 6*n**2 + n + 7. Let u be s(3). Let w = u + 32. Is w a multiple of 24?
True
Let l(z) = 121*z + 20. Is l(4) a multiple of 24?
True
Suppose -5*z = p + 7, 0*z - 3*z - 6 = 0. Suppose -15 = -0*q - p*q. Suppose 150 + 175 = q*a. Is a a multiple of 16?
False
Suppose a + 9 + 0 = 0. Let r = 9 + -2. Let s = r - a. Is 6 a factor of s?
False
Let q = -13 + -53. Let n = -