be (32/(-10) - -3)/((-3)/15). Let q(x) = 344*x + 5. Does 49 divide q(r)?
False
Let c be 868/(-18) - (-42)/189. Is (-16)/c - 230/(-3) even?
False
Suppose 2*r + q - 11 = 0, -q + 14 = -34*r + 37*r. Does 7 divide r/(-9) + (-2664)/(-54)?
True
Let u = -384 - -1125. Suppose 8*t - u = 1827. Does 79 divide t?
False
Let y(v) = -8*v - 32. Let q be y(-16). Suppose -5*t + 3*t + q = 0. Let a = t - 31. Does 3 divide a?
False
Let j(k) = 10*k + k**2 - 3 + 9*k**2 - 4 + k**3. Let s be j(-6). Let b = s + 3. Does 10 divide b?
True
Let z be (282/30)/(1/35). Let a = z - 297. Is a a multiple of 7?
False
Suppose 106*a = 660180 - 71441 + 78001. Is 10 a factor of a?
True
Let s(j) = -315*j - 110. Let b be s(6). Let o = -1051 - b. Is 82 a factor of o?
False
Let h be 8/24 - (-2362)/6. Let a(c) = 15*c**2 - 21*c - 100. Let t be a(-8). Suppose -18*s + h + t = 0. Is 12 a factor of s?
False
Let s = 176 + -61. Suppose -s = -2*a + 19. Suppose 189 = 70*h - a*h. Is h a multiple of 12?
False
Suppose 0 = 44*c + 42*c - 15*c - 1169938. Is c a multiple of 7?
True
Let m(q) = -30 - 95 + 36*q + 6*q - 24*q. Is m(9) a multiple of 37?
True
Let i(f) = 3*f**2 + 5*f - 8. Let g(k) be the third derivative of k**5/60 - 5*k**4/24 + k**3/6 - 14*k**2. Let o be g(3). Is 14 a factor of i(o)?
True
Let v = -149 - -157. Suppose -v*l - 11 = -27. Suppose 0 = -2*i + 5*z + 210, -4*i + z + l*z = -392. Does 3 divide i?
False
Suppose 3*p - 172 - 767 = 0. Let k = p - -149. Does 8 divide k?
False
Let r(g) = -2427*g + 4038. Is 372 a factor of r(-6)?
True
Let u be 1894 - ((-2)/6)/((-3)/18). Suppose -u*b = -1898*b + 4872. Does 14 divide b?
True
Suppose 5*o - 2128 = -2078. Suppose -3*u + 4*w = 13, -3*w - 4 = -4*w. Does 45 divide 10*(35/o + u)?
True
Let s = 14165 + -11149. Is 4 a factor of s?
True
Let z be 3/((-1324)/328 - -4). Let i = 82 + z. Suppose -2*h - 96 = -4*h - 3*j, 3*h + j - 151 = i. Is 23 a factor of h?
False
Suppose -5*p + 4*w - 322 + 851 = 0, 0 = -4*p - w + 440. Is p a multiple of 6?
False
Suppose 16*o = 25884 - 13308 + 29136. Is 33 a factor of o?
True
Is 4 a factor of ((-252)/(-27))/(4/156)?
True
Let c(k) = k**2 + 12*k + 11. Let a be c(-9). Let u(p) = p**2 + 17*p + 18. Let l be u(a). Is 945/42*l/3 a multiple of 15?
True
Let l(o) = 1340*o - 5185. Is 27 a factor of l(12)?
False
Suppose 6*g = -g + 490. Let b = g - 63. Suppose b*q = 2*q, 5*c = 2*q + 100. Is c a multiple of 13?
False
Let k be (-172)/387 - (-10106)/18. Let c = 313 + k. Does 46 divide c?
True
Let m be (-3)/36*4*-33. Let d(p) = -p**3 + 14*p**2 - 22*p + 49. Does 62 divide d(m)?
False
Let g(o) = 2*o**2 - 78*o - 2308. Is g(89) a multiple of 64?
True
Suppose -38*m = 21*m - 28084. Is m a multiple of 22?
False
Let q = -11107 - -16059. Is 18 a factor of q?
False
Let z(v) = -v**3 + 6*v**2 - 9*v. Suppose -6*i + 45 = 27. Let f be z(i). Suppose 12*k - 8*k - 1240 = f. Is 48 a factor of k?
False
Suppose -a + 2*t = 4, 9*t - 13*t = -5*a - 8. Suppose 2*s + a*s - 32 = 0. Is s a multiple of 2?
True
Let u be ((-10)/(-4))/((-1)/(-42)). Let q = 15295 - 15349. Let f = u - q. Does 19 divide f?
False
Suppose -w + 5405 = 4*h, -11*w - 6763 = -5*h - 10*w. Is 7 a factor of (-5)/(-3) - 2 - h/(-24)?
True
Let y(h) = -2*h**2 + h + 1. Let p(r) = -r**2 + 4*r + 10. Let w(d) = p(d) - 6*y(d). Does 6 divide w(4)?
False
Let b(r) = -3*r**3 + 5*r**2 + r - 3. Suppose -4*p - 23 = -5*h + 6*h, -h + 2*p + 7 = 0. Is b(h) a multiple of 8?
True
Let a(h) = -h**3 + 18*h**2 + 20*h - 17. Let y = 81 - 62. Let x be a(y). Suppose -53 = -x*l + 11. Is 16 a factor of l?
True
Let m(a) = -3*a**3 - 2*a**2 + 15*a - 8. Let q be m(4). Let l = -157 - q. Is l a multiple of 2?
False
Suppose 6*s = 3*z - 37122, 5*z = -s + 46213 + 15591. Does 45 divide z?
False
Suppose 8*z = 3422 + 3410. Let a = -422 + z. Is a a multiple of 27?
True
Let t(f) = -3*f - 249. Let p be t(9). Let r = p + 374. Does 4 divide r?
False
Does 67 divide 22242*(3 - 2) - 1/((-1)/2)?
True
Let r(a) = 16*a - 142. Suppose 4*o - 124 = -4*d, 5*d + 0*d = o + 125. Is r(d) a multiple of 11?
False
Let j = 3751 - 1363. Does 8 divide j?
False
Let j(n) be the third derivative of n**4/8 - n**3/3 - 6*n**2. Does 11 divide j(19)?
True
Suppose x = -2*k + 16373, -4*k + 8236 = -3*k - 5*x. Does 16 divide k?
False
Let b(n) = 22*n**2 + 91*n - 120. Is 6 a factor of b(17)?
False
Let w = -535 + 604. Suppose 87*x = w*x + 2520. Does 27 divide x?
False
Let v(f) = 2*f - 13. Let n be v(8). Suppose -3*m + 7*g + 4 = n*g, -g = 2*m - 10. Suppose m*r = -16, 6*r - r + 33 = i. Does 5 divide i?
False
Let l(r) = -r + 20. Let k be l(-25). Does 30 divide 20/25 + -1857*(-12)/k?
False
Suppose -12*h + 15*h = -62*h + 4290. Does 2 divide h?
True
Let i(l) = 5202*l**2 - 6*l - 4. Let v be i(-1). Suppose 0 = 10*s + v - 13974. Does 70 divide s?
False
Let i be (16/72)/(1/9). Does 5 divide i/(-6)*-3 + -4 + 176?
False
Let z be (-52)/14 - -3*4/(-42). Does 54 divide 1*4 - 2/(z/998)?
False
Let u(q) = -q**3 - 14*q**2 - 2*q - 32. Let x be u(-14). Is 3 a factor of 4*x*69/(-24)?
False
Let m = -964 + -412. Let x = 1991 + m. Suppose 4*s + 3*n = 471, -x = 3*s - 8*s + 5*n. Is s a multiple of 10?
True
Suppose -4*z + 26 = 2*y, 4*z + 8*y - 35 = 3*y. Suppose 2*p - c = -0*p + 3, 18 = z*p + c. Suppose 2*o - x - 222 = -p*o, -4*x - 168 = -4*o. Is o a multiple of 12?
False
Let s = 14065 + -8269. Does 69 divide s?
True
Let w(s) be the first derivative of -3*s**4/4 + s**3/3 + 4*s + 8. Let t be w(0). Suppose 3*f = 4*j - 2 + 31, 0 = -t*f + j + 17. Is 3 a factor of f?
True
Suppose -98*p + 70*p + 2163445 = 99*p. Is p a multiple of 19?
False
Let a = 9373 - 8957. Does 2 divide a?
True
Let q(l) = 52*l**2 + 111*l. Is q(-12) a multiple of 82?
False
Suppose -3*i = 3*i. Suppose p + 4 - 6 = i. Suppose -p*u = 5 - 55. Does 4 divide u?
False
Let w(z) = z**3 + 10*z**2 - 25*z - 12. Let r be w(-12). Suppose -21*x + 24*x - 972 = r. Is 17 a factor of x?
False
Does 13 divide (-150)/4875 + (-147814)/(-130)?
False
Suppose 0 = -5*z + 4*z + 3*x + 17, z = 5*x + 15. Suppose 5*r - 2258 = -4*c, -23*r + 5*c + 1377 = -z*r. Is r a multiple of 49?
False
Let t be (-3)/((6/(-168)*-4)/(-1)). Suppose 0 = -t*g + 18*g + 6405. Does 16 divide g?
False
Let g = -1534 - -3859. Suppose 0 = 2*j + j - g. Suppose -5*o + 4*n + j = 0, 497 = o + 2*o + 4*n. Does 13 divide o?
False
Suppose 2*n = 3*p + 16, n - 9 = p + p. Let s = 727 - p. Is s a multiple of 14?
False
Suppose 7 = -413*j + 414*j, 5*j = 3*a - 234157. Is 328 a factor of a?
True
Suppose -8*t + 5 = -19. Suppose -2*z + 39 - 31 = 0. Suppose 4*q + t*h - 365 = 4*h, 4*q = z*h + 380. Does 18 divide q?
True
Let s be -2 - ((-2)/10 + 545/(-25)). Let z be (-1)/5 + (-36)/s - -82. Is 5 a factor of (-1)/1*z/(-2)?
True
Let f be 4/(-10) + (-4)/(80/(-28)). Does 28 divide (f + 111)/((-22)/(-33))?
True
Let j(i) = i**2 - 16*i + 25. Let o be j(10). Let v = 42 + o. Suppose -2*q + v*q - 185 = 0. Does 17 divide q?
False
Let j(t) = -29*t - 1. Let s be j(-1). Is s/112 + (-174)/(-8) a multiple of 2?
True
Let x(q) = -q**2 - 11*q - 13. Let i(r) = -3*r**2 - 5*r - 6. Let z be i(-2). Let g be x(z). Suppose -5*s + 309 + g = 0. Does 9 divide s?
False
Suppose -3*d + 7 = -5*z, 10 = 2*d + d - 2*z. Suppose -10*x - 192 = -d*x. Is (x/5)/(6/(-30)) a multiple of 16?
True
Let x be ((-21)/(-7) - -125) + 1. Suppose -1600 = -19*s + x. Does 13 divide s?
True
Suppose 368*b - 434634 = 2657302. Does 55 divide b?
False
Suppose 87*r + 42*r + 129 = 0. Let m(d) = 254*d + 9. Let c(g) = 2285*g + 80. Let a(i) = -4*c(i) + 35*m(i). Is a(r) a multiple of 36?
False
Let w be 6 + -10 - 361*-1. Suppose 0 = 4*z - w - 275. Suppose -72 = -5*y + z. Does 30 divide y?
False
Let w = -54 - 10. Let d = -57 - w. Suppose i = d*i - 66. Does 10 divide i?
False
Does 51 divide 1/4*26618 + (-117)/18 + 6?
False
Let p = -105 + 108. Suppose p*d + 22*d = 2225. Does 12 divide d?
False
Let n(v) = -20*v + 25. Let j be n(10). Let f = j + 305. Suppose 0 = f*l - 137*l + 2233. Does 47 divide l?
False
Let l(b) = -b**3 + 34*b**2 + 59*b - 580. Is l(16) a multiple of 11?
True
Suppose 30*j = 31981 - 1531. Does 5 divide j?
True
Suppose -9 = -a - 4*d, -2*a + d + 10 = 1. Let y be a + -4 + 0 + 2. Suppose y*p - 504 = -4*p. Is 18 a factor of p?
True
Let f be (1 - 158/6)/(112/(-168)). Let g(w) = w**3 - 37*w**2 - 26*w - 78. Does 18 divide g(f)?
True
Suppose 625 + 47 = -t. Let a = 1447 + t. Is 14 a factor of a?
Fa