k be (-1 - -2)*(6 - (4 + 0)). Is 319 + 9/6*k a multiple of 22?
False
Let p(z) = -80*z - 16. Let c(n) = -3*n + 3. Let i be c(-3). Suppose 14 = -5*s + 4*x, 5 = 2*s - 3*x + i. Is p(s) a multiple of 25?
False
Let c(o) = 22861 - 6*o - 134*o**3 - 22861 - 7*o**2. Is 11 a factor of c(-2)?
True
Let f be 14/(((-20)/70)/(-2 + 1)). Suppose 256 - 8 = 2*r. Let o = r - f. Does 7 divide o?
False
Let p(c) = -c**3 + 14*c**2 + 15*c + 29. Let w be p(12). Suppose -8*a + w = -1007. Is 28 a factor of a?
False
Let w(l) = -36*l - 39. Let z be w(5). Let y = 677 + z. Does 16 divide y?
False
Suppose 0 = -5*p + 7 + 3. Suppose 5 = o - 0*o, p*o = -4*j + 402. Is 14 a factor of j?
True
Suppose 11*o = 463 + 2397. Suppose o*u = 277*u - 2533. Does 31 divide u?
False
Let x be 2 + (-2)/18 + 130/(-45). Is 11 a factor of 5 + x + 4 - -135?
True
Suppose 29*d - 13*d - 2816 = 0. Suppose -d = -30*n + 304. Does 5 divide n?
False
Suppose -y = -4*m + 31, 5*y - 7*m + 155 = -5*m. Let o = y + 31. Suppose 0 = -o*w + 11*w - 176. Is 8 a factor of w?
True
Is ((-76)/(-8) - 96/12)*(-4)/(-3) a multiple of 2?
True
Let r = 1655 - 918. Is r a multiple of 4?
False
Let t = 19373 - 17762. Is 6 a factor of t?
False
Let v = 1074 + -749. Let q = v - 257. Is q a multiple of 16?
False
Let z(o) = -o**2 - 13*o - 17. Let m = 78 - 89. Let s be z(m). Suppose -5*a + 773 = 4*n, 2*a + s*n = -0*n + 316. Is 13 a factor of a?
False
Let u(h) = 112*h**3 + 43*h**2 - 129*h - 5. Is 59 a factor of u(3)?
False
Suppose 95503 = -44*w + 468623. Is w a multiple of 16?
True
Suppose 4*z - 4*c = 676, -2*c - 686 = -20*z + 16*z. Is 58 a factor of z?
True
Suppose -7*c + 3*j = -2*c - 2475, 2*j = 10. Let i = c - 355. Suppose -5*l = -2*f - 3*l + 298, f - 4*l = i. Is f a multiple of 20?
False
Let z be 14*(3 + (-22)/8)*134. Suppose 4*k - z = -4*x + 123, -x + 2*k + 145 = 0. Is 3 a factor of x?
True
Suppose 5*i + 2*c - 68 = 0, -6 = 2*i - 4*c - 14. Let h be 543/6 + (0 - i/(-8)). Suppose s - h = -s + 5*m, 2*s + 2*m = 64. Is 4 a factor of s?
True
Suppose 0*g = n + 3*g - 2159, g = 2*n - 4283. Is n a multiple of 7?
False
Suppose 3*f = 2*i + 50, -298*f + 34 = -4*i - 303*f. Let z(n) = -6*n**2 - 20*n - 36. Let m(d) = d**2 - d + 1. Let b(q) = -4*m(q) - z(q). Does 20 divide b(i)?
True
Suppose g = -j + 193, j + 754 = 3*g + 159. Let p = g + -140. Let w = p + 36. Is 31 a factor of w?
True
Suppose 23*n - 22*n - 8 = 0. Suppose 96 = 9*v - n*v. Suppose -3*x - v = -3*l, -54 - 74 = -4*l - 3*x. Does 15 divide l?
False
Suppose 0 = -5*o + 4*l + 50420, 0 = 3*o + 32*l - 36*l - 30244. Is 8 a factor of o?
True
Suppose 0 = -b + 36 + 142. Let c be 3 + (-8)/36 + 158/(-18). Is (-7)/(c/(-4) - b/116) a multiple of 29?
True
Let x = -160 + 161. Does 7 divide (-1)/(5*x) + 23280/150?
False
Let p(t) = -t**3 - 2*t**2 - 8*t + 11. Suppose 0 = -8*m + 24 - 8. Suppose -l - 26 = 5*i + 4, -4*i = m*l + 30. Does 14 divide p(i)?
True
Suppose 0 = -6*l + 525 + 345. Suppose -4*b + 4463 = v + l, -b + 3*v + 1086 = 0. Does 54 divide b?
True
Let c = 52084 - 37468. Does 21 divide c?
True
Let n(t) be the third derivative of -t**5/30 + 15*t**4/8 - 37*t**3/6 + 49*t**2. Is 3 a factor of n(20)?
True
Let f(m) = -81*m - 27. Let w(x) = -3*x**2 - 29*x - 22. Let r be w(-9). Does 27 divide f(r)?
True
Does 169 divide (-23998)/(-1) + (0 - 0*(-5)/45)?
True
Let v = 9929 - 5777. Is v a multiple of 4?
True
Let q(o) = 3*o + 15. Let a be q(-5). Suppose a = 5*y + y - 1092. Suppose g + 2*g + 4*x = y, x - 275 = -5*g. Is g a multiple of 18?
True
Suppose 49*l - 1762170 = 189598. Is l a multiple of 383?
True
Let u be (4/3)/((-2)/(-3)) - 0. Let h be 11*-6*u/3. Let r = -3 - h. Is 15 a factor of r?
False
Let p = 9460 - -2570. Is 10 a factor of p?
True
Let s = -5290 - -5271. Let b be (-2)/(-1)*2/(-4). Let l = b - s. Does 7 divide l?
False
Let p(r) = -104*r + 120. Let v(a) = -7*a + 8. Let t(j) = -6*p(j) + 88*v(j). Let c be t(-12). Let u = 117 + c. Is u a multiple of 2?
False
Let q(j) = 93*j**2 - 150*j - 5. Let a(w) = -w**2 - 27*w - 68. Let r be a(-3). Does 18 divide q(r)?
False
Let m be (0/(-18))/(1/(-1)). Suppose m = -3*x + 5*z + 43, z + 40 = 5*x - z. Is (159/x - -2)*8/6 a multiple of 9?
False
Let t(v) = 0*v - 172 - 5*v + 6*v + 175. Let o be t(1). Suppose k + f = -0*f + 104, 0 = k - o*f - 124. Does 27 divide k?
True
Let p be 20*-8*2835/(-108). Suppose -p + 342 = -6*z. Is 48 a factor of z?
False
Suppose b = 5*k + 8, -1 - 13 = -k - 5*b. Is 13 a factor of k/((2/16)/((-1011)/6))?
False
Suppose 6 = 16*f - 10*f. Is 17 a factor of (14 - 15)/(-1*f) - -203?
True
Let h be (14/(-56))/((-1)/(-4)). Let r(q) = 352*q**2 + 10*q + 9. Is r(h) a multiple of 13?
True
Suppose 3824 = -4*t + 12*t. Suppose -622 = -11*s + t. Is s a multiple of 5?
True
Let u = 6910 - 6538. Suppose 4*q + 0*q - 2576 = 4*f, -4*f = q - 644. Let g = q - u. Is g a multiple of 34?
True
Let y(m) = 279*m + 80. Is y(0) a multiple of 6?
False
Suppose 0 = -143402*w + 143392*w + 1280. Is w a multiple of 2?
True
Suppose -20445 = -21*s - 8*s. Let q = s + -481. Does 28 divide q?
True
Let v(c) = -c**3 + 5*c**2 - 4*c. Let a be v(4). Let u be 2 + -4 - (17 - 23). Suppose -d + 2*m - 7*m + 120 = 0, u*m = a. Is 10 a factor of d?
True
Let j be 2/(-6)*2*12. Let t(c) = -13*c**3 + 2*c**2 - 8*c - 5. Let q(l) = 11*l**3 - 3*l**2 + 6*l + 4. Let g(o) = -7*q(o) - 6*t(o). Is 9 a factor of g(j)?
True
Let n(r) = -r**3 - 10*r**2 + 5. Let o be n(-10). Suppose -2*f - 9*i = -4*i - 63, -2*f + 73 = -o*i. Suppose -f = u - 92. Is 17 a factor of u?
False
Is (169 - 180) + 87516/2 a multiple of 292?
False
Let r(b) = -7*b**3 - 6*b**2 + 65*b + 378. Does 35 divide r(-7)?
True
Suppose 0 = -k - 4, -4*i - 12*k + 9*k = 36. Does 18 divide 10 - (-24)/i - -12?
True
Suppose -570*j + 572*j - 1298 = 0. Let t = j - 368. Is 19 a factor of t?
False
Let s(u) be the first derivative of u**4/4 + 16*u**3/3 - 9*u**2/2 - 18*u + 78. Is s(-9) a multiple of 45?
True
Let p(h) = -9*h**3 - 9*h**2 + 2*h + 26. Let y(f) = -3*f - 1. Let z(r) = -p(r) - 4*y(r). Is z(3) even?
True
Let x(s) = s**2 - 5*s + 6. Let d be x(6). Let c = d + -12. Suppose -8*r - 15 + 143 = c. Does 14 divide r?
False
Let v(m) = 2*m + 30. Let y(l) = -l + 2. Let i(t) = 4*v(t) - 28*y(t). Does 38 divide i(6)?
False
Suppose 0 = 5*p + 3*j - 47541, 47513 = 5*p + 18*j - 19*j. Is p a multiple of 144?
True
Suppose q + 2*i - 2733 = 6*i, 2*i + 5418 = 2*q. Is 4 a factor of q?
False
Suppose 7*v - 2730 = -539. Let q = v - 63. Does 3 divide (-3)/((-24)/q) - (-9)/(-36)?
False
Let j(c) = -46*c**3 - 5 + 47*c**3 + 2*c - 5*c - 4*c**2. Is j(5) a multiple of 4?
False
Let v(i) = -i**3 - i**2 - 13. Let z(a) = a**3 + 3*a**2 - a + 26. Let x(d) = -5*v(d) - 3*z(d). Let g be x(4). Let b = g - 51. Is 6 a factor of b?
True
Let z(m) = 293*m**2 + 15*m + 28. Is 84 a factor of z(8)?
True
Suppose -68*f + 9021 = -34771. Does 23 divide f?
True
Suppose -p + 10582 = 4*n, -2648 = 12*n - 13*n + p. Is 54 a factor of n?
True
Let y = -1137 - 1699. Let n = -1612 - y. Does 17 divide n?
True
Is (-58444)/(-12) - (-1*51/9 - -5) a multiple of 51?
False
Let f(u) = -106*u**2 + 105*u**2 + 12*u - 11 + 4*u. Let a be f(15). Suppose -368 - 696 = -a*p. Is p a multiple of 38?
True
Suppose 3*q = g - 2064, -4*g + 2*q + 8266 = -0*q. Is g even?
False
Suppose 1819*a = 1838*a - 5016. Is 22 a factor of a?
True
Is 2 a factor of ((-4)/(-84)*259)/(10/540)?
True
Let u(m) = -3*m**2 + 6*m - 34. Let n be u(-9). Let i = n - -621. Does 5 divide i?
True
Let o = 4070 - 3713. Is o even?
False
Let h(d) = 95*d**2 - 495*d - 9630. Is h(-20) a multiple of 178?
True
Let z = 64 - 60. Suppose -y = z*r - 6 - 0, 5*y + r = -46. Is 8 a factor of 12/(-5)*(y/6 + -5)?
True
Suppose 2617 - 664 = 3*c. Let h = -336 + c. Does 15 divide h?
True
Let l(b) = 2*b**3 - 8*b**2 - 4*b + 3. Suppose -3*v + 3*t - 27 = 0, 8*v + 2*t = 5*v - 52. Let h be 1*((-6)/14 - 90/v). Does 46 divide l(h)?
False
Is 14 a factor of -1 - 3/(-8 + 8980/1124)?
True
Is (-432)/576 + 4/2 + 14755/4 a multiple of 59?
False
Let v = -55651 - -85527. Does 28 divide v?
True
Let z = -6567 + 28795. Is 93 a factor of z?
False
Suppose 5*i + 3*q = -2537 + 191429, 7*i + q - 264468 = 0. Is 192 a factor of i?
False
Let f(c) = c**3 - 15*c**2 - 21*c + 628. Is f(14) a multiple of 53?
False
Let u = 31077 + -16954. Is 6 a factor of u?
False
Is 6595 - (3/(-6)*-14 + (3 - 15)) a multiple of 120?
True
Let r = 160 - 120. Let l be