 Is 4 a factor of w?
False
Let g = -4376 - -4376. Let h be (-8)/(-6)*15/2. Is (9 - h)*(g - 58) a multiple of 10?
False
Suppose 2*f = -v + 1951 + 5483, 3*f = 2*v + 11172. Does 60 divide f?
True
Suppose 39 = -p + y, p - 5*y - 133 = 4*p. Let b(r) = -6*r - 2. Is b(p) a multiple of 21?
False
Suppose 0 = -f + p + 20, 4*f = -5*p + 13 + 31. Suppose -13*g - 2691 = -f*g. Is 69 a factor of g?
True
Let g(d) = 39*d**2 + 6*d + 120. Is g(13) a multiple of 219?
True
Is (19071/6)/(((-3)/(-24))/(2/6)) a multiple of 163?
True
Suppose 8 = -60*w + 56*w. Let u be (-5 + (-413)/(-28))/(w/(-8)). Is u/2*(-4 + (-48)/(-9)) a multiple of 7?
False
Let r(a) = -73*a - 33. Let c = 51 + -56. Is r(c) a multiple of 18?
False
Let j(x) = -2*x - 2. Let g be j(4). Suppose 0 = w - 14*d + 12*d - 16, -3*d - 28 = -2*w. Does 17 divide w/(-20) - 964/g?
False
Does 25 divide ((-7)/21)/(160/(-32) - (-28498)/5700)?
True
Let c = 806 - 557. Let t = 375 - c. Is t a multiple of 18?
True
Suppose 0 = 3*r - 2*c + c - 14, 2*c - 14 = -r. Is 14 a factor of (591/r)/((-8)/(-16))?
False
Let p(v) = -v - 3. Let s be ((-3)/6)/(-2*(-2)/64). Let d be p(s). Suppose -5*x = d*m - 45, -4*x + 59 = -x - 5*m. Is 4 a factor of x?
False
Suppose 0 = 16*c - 21*c + s + 22329, 2*c - 8918 = -3*s. Is 6 a factor of c?
False
Does 6 divide -2 - 35810/(-14) - (-15)/945*9?
True
Let s(b) = -b**2 - 6*b - 2. Let c be -5*(-2 + 3)/1. Let v be s(c). Suppose -2*y + 44 = 3*u - 6*y, 3*u + v*y - 30 = 0. Is 12 a factor of u?
True
Let s be ((-6)/5)/(6/20) + 23. Suppose s*b - 663 = 16*b. Does 45 divide b?
False
Let v(g) = 2*g**2 + 3*g + 12. Let z = 109 - 102. Suppose 11*k + 40 = z*k. Is 13 a factor of v(k)?
True
Is (-10673785)/(-3195) + 2/9 a multiple of 93?
False
Suppose l + 9 = 1. Let m(u) = 5 - 62*u - 51*u + 105*u. Is m(l) a multiple of 5?
False
Let v = 12313 + -10969. Does 24 divide v?
True
Is 25 a factor of ((-14)/(-28) - 0)*10550?
True
Let l(x) = -6*x**3 - 1. Let c be l(-1). Let s be (-6 + c)/(1/(-35)). Suppose -v - 20 = -s. Is 15 a factor of v?
True
Let j(h) = -2*h**2 + 38*h + 4. Suppose 67*x - 75*x + 72 = 0. Is 23 a factor of j(x)?
True
Suppose 1491927 = 58*g + 293937. Is 153 a factor of g?
True
Let z(s) = -s**3 - 11*s**2 - 63*s - 35. Does 2 divide z(-9)?
True
Does 227 divide 9 + (6645/(-75)*-12)/((-2)/(-50))?
False
Suppose 2*v = -y - 5 + 25, 0 = -5*y + 4*v + 170. Suppose 7*c + y = 22*c. Suppose 0 = s + 4*s - 3*w - 1590, -c*w + 305 = s. Does 38 divide s?
False
Let t(c) = -c**3 - 14*c**2 - 4*c + 1. Let u be t(-14). Suppose -3*y + d = -u, 5*d + 27 = 2*y - 24. Does 6 divide y?
True
Let v(c) = 19*c**2 - 41*c - 101. Let r(q) = 12*q**2 - 27*q - 67. Let w(j) = 8*r(j) - 5*v(j). Does 11 divide w(25)?
True
Suppose 0 = 29*d + 20*d - 34006. Let a = 1326 - d. Is a a multiple of 38?
False
Let x(l) = 64*l + 1. Suppose 5*f = -5*q - 20, 3*f + q = 5*q + 23. Let u be x(f). Let v = u - -50. Is 23 a factor of v?
True
Let q be (-2)/((-1)/(-4)*3/(-75)). Suppose 0 = 221*b - 220*b - q. Does 8 divide b?
True
Let z = 189 - 367. Let q be (10 + -24 + 10)*(-1)/4. Does 26 divide z/3*(-1 + -1 - q)?
False
Suppose -18*m + 31*m - 6331 = 0. Let a = 725 - m. Is a a multiple of 6?
False
Suppose -s + 7715 = -4*j, 10*s + 30874 = 14*s - 2*j. Does 9 divide s?
False
Suppose 3*m + 2*y = 4*m, -4*m - 30 = 2*y. Let h be (-6 + 4)*(1 + (-195)/m). Let t = 100 + h. Is 15 a factor of t?
False
Suppose -4 = 2*i - 6*i, 4*a - 2*i - 2222 = 0. Suppose 9*l + a = 6118. Is 77 a factor of l?
False
Let y = 22380 - 12117. Is 2 a factor of y?
False
Let b be ((-9)/(-15))/(12/120). Suppose 2*m = 3*v + 665, 3*v - 5*v = b. Is m a multiple of 40?
False
Suppose -21*r + 20*r = -2. Is 32 - (r - (-2 - -7)) a multiple of 11?
False
Let z(c) = -2182*c + 8826. Is z(-11) a multiple of 99?
False
Suppose -63*a - 98571 = -86881 - 230993. Is 32 a factor of a?
False
Suppose -18 = -3*s - 2*s - 2*j, 6 = -5*s + 4*j. Suppose -s*b - k + 1945 = 0, -b - b + 1942 = -2*k. Is 18 a factor of b?
True
Suppose -10*h + 4*h = -24. Suppose -2*z + h = -2. Suppose w = -z*r + 89, -3*r = 2*w + r - 186. Is w a multiple of 13?
False
Let n be -316 - (-3 + 1 + (-16)/(-4)). Let d = -171 - n. Is 49 a factor of d?
True
Suppose 0 = -4*l + 2*l - 96. Let o = l + 46. Does 18 divide o*2 - (-4 + -90)?
True
Let r(l) be the first derivative of -5*l**4/4 + 4*l**3/3 - 2*l**2 + 3*l - 31. Let y be r(2). Let m = y + 213. Is 30 a factor of m?
False
Suppose 5*k = -3*j + 160, 5*k - 5*j - 86 = 114. Is k even?
False
Let c = 72516 - 50310. Is 123 a factor of c?
False
Let y(d) = d + 15. Let l be ((-6)/(-5))/((-2)/10). Let o be y(l). Let z(i) = i**3 - 7*i**2 - 10*i - 8. Is z(o) a multiple of 8?
True
Let a(s) = -12*s + 264. Let h be a(28). Let k = h - -112. Is 21 a factor of k?
False
Let i be 6 + (-6 - 3)/3 + 3. Suppose 12*z = -i*z + 2430. Is 27 a factor of z?
True
Let g(q) = q**2 + q + 1531. Let n be g(0). Suppose -f + 847 = 2*u, u = -3*f + 985 + n. Does 71 divide f?
False
Let s(k) = 2*k**3 - k**2 - 5*k + 3. Let n be s(2). Is 43 a factor of (1 + 42)*(20/n + -3)?
True
Suppose -3*m - 132 = -0*m. Let q be -4 + 3 + -1 + -1 - m. Suppose 0 = -3*v + q + 7. Is v even?
True
Suppose 55708 = 4*y + 4*f, 0 = -153*y + 158*y - 4*f - 69671. Is 79 a factor of y?
False
Let d = 60 - 53. Suppose 9*n - d*n = 182. Suppose -y + x + n = 4*x, 4*y - x - 351 = 0. Is y a multiple of 29?
False
Let u be -3*2*(-8)/12. Suppose u*z - 8*z + 16 = 0. Suppose -f + 65 = z*j, -j - 56 = -f + 24. Is f a multiple of 11?
True
Suppose -64*n - 5554 - 5508 = -66*n. Is 20 a factor of n?
False
Suppose -5*j + 1591 - 229 = -4*q, -2*j - 2*q = -534. Suppose 3*g + 626 - 116 = 0. Let u = j + g. Is u a multiple of 25?
True
Suppose -130892 = -4*o - 5*u - 15612, -144071 = -5*o + u. Does 15 divide o?
True
Let v be -2*((-143)/(-2) + -1 - 1). Let t be (351/(-36) - -9)/(1/(-332)). Let z = v + t. Does 11 divide z?
True
Let k(i) = 2*i**3 + 2*i**2 + 3*i - 1015. Let w(v) = -v**3 - v**2 - 2*v + 508. Let z(u) = 4*k(u) + 7*w(u). Let g be z(0). Does 7 divide (9/4)/((-54)/g)?
True
Let u(o) = -4 - 2 + 5 + 36*o + 10. Is u(1) a multiple of 12?
False
Suppose -3*c + 7131 - 2163 = 0. Is 23 a factor of c?
True
Let l = 6734 - 5098. Is l a multiple of 10?
False
Is 15 a factor of -3525*(10/(-40))/((-3)/(-12))?
True
Suppose 6*f = -36 - 78. Let n = -49 - f. Let c = n - -63. Is 30 a factor of c?
False
Let v = -3057 + 4307. Suppose 4*c + 5*q - 1690 = 0, 3*c - q - 4*q = v. Does 28 divide c?
True
Let z(j) = j**3 + 11*j**2 - 6*j + 11. Let h = -271 - -260. Does 3 divide z(h)?
False
Let z = 3871 - 3511. Does 4 divide z?
True
Let r(a) = 15*a**3 + 3*a**2 - 16*a - 5. Let w be 22/(-143) + -4 + (-279)/(-39). Does 12 divide r(w)?
False
Let h = 33572 - 29052. Does 113 divide h?
True
Let i be (1/(-3))/(3/(-9)). Let a(h) = -7*h + 6. Let w be a(i). Is 11 a factor of ((-8)/18*-3)/(w/(-57))?
False
Let l be 1 - (3 + -5 + -1). Suppose 4 = -i + 2, l*i = 3*a - 2072. Does 86 divide a?
True
Let x(p) = 4*p**2 - 1. Let u be x(1). Is (0 - u*-1) + 28 + -2 a multiple of 4?
False
Let v = 10127 - 865. Is 22 a factor of v?
True
Let w = 229 - 187. Is 47 a factor of (-3384)/(-2)*14/w?
True
Let b = -178 - -192. Does 36 divide b*(-4)/4*-8?
False
Let h(o) = -o**2 + 8*o - 4. Let p be h(7). Suppose 0 = 3*g - 3*y - 9, -p - 3 = -2*g - 3*y. Suppose 5*i - 430 = 2*m, 3*i = -g*m + m + 258. Is 43 a factor of i?
True
Let m be ((2 - 0) + -2)/(2/(-1)). Suppose m = -7*j + 58 + 5. Is 18 a factor of 2/j + 511/9?
False
Let p = 397 - 211. Let y be (-2)/13 - p/(-26). Suppose y*h + 0*h - 1204 = 0. Is 40 a factor of h?
False
Suppose 0 = -13*b + 3045 + 1180. Is b a multiple of 13?
True
Let z(h) = 2*h**2 + 89*h + 110. Does 22 divide z(38)?
True
Suppose 16*c = 20*c + 1492. Let b = -174 - c. Let z = b + -149. Is z a multiple of 10?
True
Is (2 - 312260/(-91)) + (-4)/(-7) a multiple of 10?
False
Let w(n) = 722*n + 393. Is w(11) a multiple of 113?
False
Let s = 7172 - -5223. Is 21 a factor of s?
False
Suppose -16*t = -t. Suppose -21*r + 24*r + 102 = t. Is 2 a factor of (r/(-8))/((-7)/(-28))?
False
Suppose -7*z + 253 = -496. Let f = -105 + z. Is (f*-9)/(129/(-24) + 5) a multiple of 16?
True
Let v(m) = -10*m - 832 + 449 + 511. Is 8 a factor of v(0)?
True
Suppose 0 = 3*p - 9*p + 60. Suppose 2*r - 1 - 3 = 0. Suppose 3*t - 2 = 10, -r*t = -d + p. Does 10 divide d?
False
Let n(p) = 14*p**2 + p - 9. Let v be n(-