es 7 divide (273/9)/(-3 - 17/(306/(-60)))?
True
Suppose 0 = -1441*j + 1455*j - 21280. Does 59 divide j?
False
Does 24 divide (3/(-1))/((-204)/169796)?
False
Let o be (-4)/16 - 29284/(-16). Suppose -f - 5*b + o = 4*f, -5*b = 2*f - 747. Does 14 divide f?
False
Let f be (-45)/(-6)*(-16)/10. Is 15 a factor of f/(-14) + 45198/189?
True
Let t(m) = -4*m + 64. Let j be t(15). Suppose -j*x - 15 = -7, -2514 = -5*o - 3*x. Is o a multiple of 42?
True
Suppose 16*j - t + 900 = 18*j, 5*t = -5*j + 2245. Let v = j + -322. Is v a multiple of 16?
False
Let i = 2633 - 1863. Is i a multiple of 35?
True
Suppose -3*i + 53 + 4 = 0. Let g = i - 15. Suppose 0 = g*p - j - 14, p + 3*j = -3*p + 22. Is 2 a factor of p?
True
Let x(o) = -o**2 + 8*o - 5. Let r be -22*(-2)/4 + 0 + -4. Let h be x(r). Suppose -2*m + m + 2*v = -8, -h*m + 12 = -5*v. Is m a multiple of 3?
False
Let b = -153 + 157. Suppose b*i = -183 - 421. Let p = i + 526. Does 15 divide p?
True
Let n(k) = 130*k - 5822. Does 4 divide n(96)?
False
Let r be 1996/6*((-10)/4 - -4). Let j = 1489 - r. Is 15 a factor of j?
True
Let q(y) = -819*y**3 + 21*y**2 + 31*y + 8. Is 126 a factor of q(-3)?
False
Suppose 11*p - 3*p = -6648. Let a = 1213 + p. Let d = 598 - a. Is 17 a factor of d?
False
Suppose -5*t = -g - 6*t + 1457, -t = -2*g + 2905. Suppose 0 = 13*k - g - 3031. Is 32 a factor of k?
False
Suppose 56*y - 548993 = -22*y + 1128007. Is y a multiple of 111?
False
Suppose 6*z = -z + 49. Suppose z*l = 25*l. Let g(y) = -8*y + 160. Does 20 divide g(l)?
True
Let a(k) = -k**2 + 12*k + 27. Let r be a(14). Let w be ((-1)/(-2)*r)/((-2)/316). Let s = -60 + w. Does 5 divide s?
False
Suppose 4*s - 1965 - 2687 = 0. Is s a multiple of 3?
False
Let i(q) = 5*q**3 + 10*q**2 - 13*q - 33. Let s(r) = -9*r**3 - 21*r**2 + 27*r + 65. Let k(f) = 11*i(f) + 6*s(f). Does 11 divide k(17)?
False
Suppose -25*d - 246186 = -67*d - 5*d. Is 3 a factor of d?
True
Suppose -6208 = -314*a + 217*a. Is a even?
True
Suppose -5*g - 5*g + 160 = 0. Is 41 a factor of -4*(-28)/g + 649?
True
Suppose 0 = -2*s - 16, -s - 106329 = 7*c - 515933. Does 77 divide c?
False
Suppose 20*l - 96 = -16. Suppose -23 + l = -z. Does 11 divide z?
False
Suppose -10*v = v - 132. Suppose -7*c = -c - v. Suppose c*h = 9*h - 392. Is 7 a factor of h?
True
Let u = -3004 - -10456. Is u a multiple of 18?
True
Let l be ((112/(-21))/(-8))/(4/354). Suppose -l*v + 55*v = -368. Is v a multiple of 23?
True
Let j(h) = -6109*h + 18. Let y be j(-1). Suppose -1402 = 9*b - y. Is b a multiple of 25?
True
Does 94 divide ((-39480)/18)/(8/(-12))?
True
Let m = -10175 + 20304. Is 66 a factor of m?
False
Suppose -3*f + 7 = 1. Suppose -g = 4*p - 5*g - 28, -f*p + 6 = -4*g. Let v = p - 3. Is v a multiple of 8?
True
Let i(w) = 1017*w + 522. Is 36 a factor of i(6)?
True
Suppose 5*l - 8 = -4*t, 18 = 3*l - 4*t + 2*t. Suppose 2057 + 331 = l*p. Does 5 divide p?
False
Let w(k) = 51 + 0*k - 56 + k. Let m be w(8). Suppose 130 = m*f + 10. Is f a multiple of 20?
True
Suppose 3*l + t + 7 = 0, -l - 4*t = 2*l - 8. Let b be (-13)/(78/(-330)) - (4 - -1). Is (-1612)/(-6) - (b/(-15) - l) a multiple of 48?
False
Suppose -2*a + 8*y = 7*y + 8, 4*y - 14 = -a. Is 7 a factor of -14*((-1)/(-3))/(a/6)?
True
Suppose -t = -22*t + 252. Suppose t*m - 191 = 673. Does 12 divide m?
True
Let n = -727 + 1369. Is 6/(-4)*(-1 + n/(-18)) a multiple of 7?
False
Suppose 12*v - 245 = 2311. Is 27 a factor of -9 + 9 - (-3 - v)?
True
Suppose 96*o - 29*o = 19*o + 122976. Is 7 a factor of o?
True
Let a(v) = 2*v**2 - v + 13. Let l be ((-10)/(-6))/((-48)/(-18) - 3). Let x be a(l). Let s = 106 - x. Does 38 divide s?
True
Let d(p) = 2*p**3 - 167*p**2 - 222*p - 361. Is 26 a factor of d(85)?
True
Suppose -c - 19 = -0*c - 5*j, -3*c - j + 7 = 0. Let b be ((-54)/(-12) + -5)/(c/6). Is 2 a factor of (10/b)/(38/(-171))?
False
Let f = -2619 + 7869. Is f a multiple of 15?
True
Suppose -4*d = 18 - 74. Is 8236/203 + (-8)/d a multiple of 3?
False
Let s(j) = -2*j**2 - 2*j + 3*j**2 - 2*j**2 - 30 + 2*j**2. Is 13 a factor of s(-29)?
False
Let s be (-1)/(-5) - 973/(-35). Does 49 divide (735/(-4))/(3 + (-91)/s)?
True
Let z = -875 + 1488. Let j = 654 - z. Does 5 divide j?
False
Suppose -2 = -3*z + 7. Let c be 3/(-3) - (z + -1). Is 21*(c - (4 + -9)) a multiple of 5?
False
Let r(l) = 35*l + 12. Let y(c) = -11*c - 4. Let v(f) = -4*r(f) - 11*y(f). Does 2 divide v(-1)?
False
Suppose 57225 - 3717 = 14*c. Does 53 divide c?
False
Suppose 15*u - 16 = 13*u. Let y be ((-70)/u - -1) + 36/48. Does 7 divide (3 - (-1)/(-1))/(y/(-28))?
False
Suppose -2*k - 8 = 4*f, 5*f + 4*k = 2*k - 8. Suppose f*r + 3*r - 654 = -3*t, r - 210 = -5*t. Is r a multiple of 22?
True
Let n(m) = 5*m - 1. Let f be n(1). Suppose -813 = -5*b + 6*j - 5*j, 2*b - 336 = f*j. Is b a multiple of 14?
False
Suppose 5*a - 92*k + 90*k - 108524 = 0, -2*k + 65140 = 3*a. Does 67 divide a?
True
Let l(u) = -u**2 + 7*u + 9. Let g be l(6). Suppose -21 + g = -3*o, -2*y - o + 2536 = 0. Is y a multiple of 68?
False
Let u(f) = 11*f + 27. Let j(k) = 4*k - 1. Let d(m) = -4*j(m) - u(m). Let w be (-5)/(10/4) + -5. Is d(w) a multiple of 34?
False
Does 2 divide -2*(6 + -1 + (33 - 36)) + 1397?
False
Suppose 18790 = 4*l + 2*p, -4*l + 10*p = 8*p - 18794. Is l a multiple of 29?
True
Suppose 3*r + 81 = 408. Let d = 111 - r. Does 5 divide 8/(-3)*(-1 + d)*-6?
False
Suppose 6*p + 16*p - 14*p = 15160. Does 19 divide p?
False
Suppose -5*o + 67 = 87. Suppose -203 = 5*n + 357. Is 14 a factor of (-3)/(o/n*-6)?
True
Let l(q) = 500*q**2 + 428*q - 3752. Does 290 divide l(9)?
True
Let b(d) = -4*d**3 + 53*d**2 + 56*d + 223. Let v(n) = -n**3 + 17*n**2 + 19*n + 74. Let y(s) = 2*b(s) - 7*v(s). Is y(-17) a multiple of 13?
False
Suppose -4*r = -r - 240. Let w(x) = -x**3 - 15*x**2 + 76*x - 7. Let z be w(-19). Is 8 a factor of 1*z/((-14)/r)?
True
Let q be (20/(-20) + 106/10)*775. Suppose -25*y + 31365 = q. Is y a multiple of 33?
True
Let j be 2*-83 + 40/(-8). Let b = 325 + j. Is 44 a factor of b?
False
Let n = -25040 - -36762. Is n a multiple of 26?
False
Let t = -25381 - -37609. Does 12 divide t?
True
Let i = -4152 - -8112. Does 120 divide i?
True
Does 56 divide (-15)/((-210)/(-4)) - (-174736)/56?
False
Let p be 18/30 - (-21)/15. Suppose 756 = p*o - 868. Is 14 a factor of o?
True
Let i(h) = 65*h + 7110. Is 5 a factor of i(92)?
True
Suppose -2*u - x - 731 = -u, 4*u + 2933 = -x. Let v = 2103 + u. Is 35 a factor of v?
False
Let x(o) = -7*o + 70. Let m be x(5). Does 52 divide -2*7/m*-620?
False
Let n(d) = -2*d**3 + 9*d**2 - 12*d + 30. Let h(r) = -5*r**3 + 28*r**2 - 37*r + 90. Let o(i) = 3*h(i) - 8*n(i). Does 35 divide o(-13)?
False
Let t(k) = 6*k**2 - 5*k + 8. Let q be t(4). Suppose 28*i = 22*i - q. Let c = i + 94. Does 40 divide c?
True
Let d be -1 - ((-11)/(-22))/(2/(-2928)). Suppose -4*p = -8*p - w - d, p - 5*w = -209. Does 23 divide p/(-4)*(-2 + (-7)/(-2))?
True
Let y = 55 + -52. Let c be y + 6/(-1) - -87. Suppose -c*j - 10 = -86*j. Is 3 a factor of j?
False
Let g be (2 - -48)*(-2)/(-2). Let i(f) = -f**3 - 4*f**2 + 7*f + 1. Let x be i(-5). Let w = g + x. Is w a multiple of 12?
False
Let g be 4/(32/66) - (-15)/20. Is 5 a factor of g/12 + (-985)/(-20)?
True
Suppose 9*r + 132 = 12*r. Let b = 86 - r. Let d = -26 + b. Does 16 divide d?
True
Let i(k) = 2*k**2 + 8*k + 5. Let u(r) = -r. Let y(b) = i(b) - 3*u(b). Let m = 188 - 199. Does 14 divide y(m)?
True
Let q(n) = -18*n**2 - 2*n - 22. Let a(d) = d**2 - d - 1. Let y(r) = 3*a(r) - q(r). Is y(-4) a multiple of 37?
False
Suppose k - 551 = 3*k + 3*w, 278 = -k - 4*w. Let b = k + 379. Does 7 divide b?
True
Suppose 58*u + 25650 = -31*u + 114*u. Is u a multiple of 11?
False
Suppose 136*y - 122*y = 0. Let u(v) = -v**3 - 2*v**2 + 3*v + 96. Does 8 divide u(y)?
True
Suppose -76 = -3*x - 4*t, -3*x + 0*t = -3*t - 48. Suppose -x*w + 104 + 316 = 0. Is w a multiple of 3?
True
Let v(q) = -2*q**3 - 57*q**2 - 27*q - 49. Let o be v(-31). Is 0 + 1 - o/(-17) a multiple of 6?
True
Suppose 7*z = d + 223952, -2*z + 64000 = -29*d + 27*d. Is 248 a factor of z?
True
Is 646728/93 + (-148)/2294 a multiple of 38?
True
Suppose 4*m + 5*y + 116 = 0, 0 = -3*m + y + y - 64. Is 10 a factor of 1398/(18/m*-2) + -2?
True
Is 42 a factor of 337 + 1/(6/(-4)*(-14)/(-21))?
True
Suppose -49*x + 89*x - 203200 = 0. Is 127 a factor of x?
True
Let q(v) be the first derivative of 