
Let h = 1877 - 1882. Suppose -4*t - 3*v = t - 20, -5*t = -v - 20. Does 6 divide (44/8 - h)/(2/t)?
False
Let s(p) = -684*p - 2070. Does 119 divide s(-7)?
False
Let l = 487 - 393. Suppose -l*d + 84*d = -1490. Does 18 divide d?
False
Let n = -408 + 191. Let b = n - -305. Is 22 a factor of b?
True
Suppose -4*x - 4*x + 64 = 0. Suppose x*i + i - 27 = 0. Does 8 divide (3 - i/9)*(-48)/(-2)?
True
Let a = -7817 + 11923. Is 11 a factor of a?
False
Is 24 a factor of (-362232)/(-182)*(15 + -1)?
True
Let v = -5749 - -10432. Is v a multiple of 21?
True
Let k = -2841 - -3032. Is k a multiple of 9?
False
Let j(u) = u**3 + 4*u**2 + 3*u + 3. Let v be j(-3). Suppose 3*t + 2*c + 48 = -0*t, 20 = -t - 2*c. Does 45 divide (-1*v)/(t/420)?
True
Let o(h) = 14*h**3 - 4*h**2 - 54*h + 35. Does 9 divide o(8)?
False
Let u = 352 + -352. Suppose 4*w + 6*h - 2*h - 340 = u, 5*w = 2*h + 425. Does 7 divide w?
False
Suppose 3*l - 56346 = -u, 2195*u + 281686 = 2200*u + 4*l. Is 123 a factor of u?
True
Let w be (((-334)/(-8))/1)/((-6)/24). Let r be w/(-11) + (-14)/77. Does 5 divide (-12)/(-15) - (-363)/r?
True
Let m(x) = x + 1. Let a(h) = -43*h + 275. Let p(d) = a(d) - 2*m(d). Is p(6) even?
False
Let b(a) = -3*a + 5. Let p be b(1). Let q(k) = 134*k**2 + 3*k - 2. Let w be q(p). Suppose 7*o = 17*o - w. Is 27 a factor of o?
True
Let x(s) = -438*s**3 + 8*s**2 + 5*s - 25. Does 30 divide x(-5)?
True
Let o(m) = m**3 - 87*m**2 + 1221*m + 30. Does 81 divide o(70)?
False
Let s(p) = -p**2 + 6*p - 1. Let m be s(3). Suppose m*z = -6*z + 11662. Is z a multiple of 18?
False
Let x = 10 + -5. Suppose -5*r = 4*v - 190, x*r - 2*v + 44 = 6*r. Does 4 divide r?
False
Suppose -2*n - 225 = 2*m - 1883, -3*m + n = -2491. Let t = m - 558. Is 22 a factor of t?
False
Let c = -2238 + 8217. Is 2 a factor of c?
False
Suppose 269*i = 28*i + 9462865. Is i a multiple of 47?
False
Let c(l) = 18*l + 6. Suppose -8*r + 60 = -28. Let i be c(r). Suppose 2*p - 3*p + 2*a = -204, -a = -p + i. Does 11 divide p?
False
Let z be 200 + 0 - (21 + -23). Suppose -2*i + 83 = -3*d, -5*i + 3*d - d = -z. Is i a multiple of 40?
True
Is (((-12507)/4)/(-3))/((-57 - -29)/(-784)) a multiple of 19?
False
Let q(f) = -2*f**2 - 8*f + 9. Let b be q(4). Let l be b/45 - -3 - (-4)/18. Suppose -5*c - s + 241 = 0, -l*c - 3*s + 41 + 58 = 0. Does 4 divide c?
True
Let z(l) = -2*l + 30. Let c be z(14). Suppose -c*t + 4*r = -606, -r = 3*t + 2*r - 864. Suppose -13*x + t + 1267 = 0. Does 12 divide x?
True
Let w = -5779 + 10409. Is 14 a factor of w?
False
Let v = -48 + 97. Suppose 44*s + 5 = v*s. Does 4 divide 36/3 + -1 + 0 + s?
True
Let x be (-4)/(-10) + (-17)/5. Suppose 33*g = 2691 - 711. Is 3 + x - g/(-3) a multiple of 10?
True
Suppose 3*k + 2*n - 61 = -2*k, 10 = 2*k - 4*n. Suppose k*c - 5344 = 3126. Is 11 a factor of c?
True
Let f(h) = -21*h - 313. Let j be f(-15). Suppose 0 = j*z - 172 - 100. Is 34 a factor of z?
True
Suppose 0 = 110*t - 241*t + 108*t + 51313. Does 9 divide t?
False
Suppose 27 = 3*a - i - 41, -2*a + i = -47. Suppose 27*d - 204 = a*d. Let t = 62 - d. Is 14 a factor of t?
True
Suppose -3*d + 14288 = 2*h, 6*h = 5*h + 3*d + 7144. Is 19 a factor of h?
True
Suppose 5*g + 4*i = 16, -i + 18 = 4*g - 3*i. Let f(w) = -4*w + 13 - 8*w + g*w**2 - w**2 + 0. Is 12 a factor of f(8)?
False
Let k = 36884 + -17549. Does 10 divide k?
False
Suppose 22*n - 1792 = -q + 26*n, 0 = -4*q + 5*n + 7135. Is q a multiple of 15?
False
Suppose 2*g = 4*v - 22 + 20, -3*g + 5*v = 0. Let t be (0 - -2 - 2) + 10. Is 22 a factor of t/g*1 - -121?
False
Suppose 4*z = -4*w + 556, 7*w + 417 = 3*z + 3*w. Suppose a - 100 = 3*v, -5*a + 2*v + z + 296 = 0. Is a a multiple of 17?
True
Let j = 27955 + -15715. Is j a multiple of 16?
True
Let m(b) = b**2 + 17*b - 8. Let v be m(-18). Suppose 2*q - 5*h + 0 = v, 4*h = -q - 8. Suppose q = k + 41 - 86. Is k a multiple of 5?
True
Does 73 divide (-217686)/213*(30/4)/(-5)?
True
Let u = -267 + 256. Let c(m) = m**3 + 12*m**2 + 5*m - 2. Is 11 a factor of c(u)?
False
Suppose -21*g + 17*g = -104. Suppose 0*v + 79 = 4*v + 5*x, 0 = 5*x - 15. Suppose 0 = -o + 5*a + v, 8*a - g = -o + 3*a. Does 4 divide o?
False
Suppose 7 = 3*x + q - 32, -18 = -x - 2*q. Suppose 14*m - 1352 = x*m - 4*v, 0 = -4*m + 2*v + 2724. Is 68 a factor of m?
True
Let u = 645 - 640. Suppose 48 = 7*s - 5*s + 2*c, -u*s + 2*c = -106. Does 10 divide s?
False
Suppose 197*t = 189*t. Suppose -3*j = -2*j + 3*d - 222, t = -j + 2*d + 202. Is 5 a factor of j?
True
Suppose -l - 14 - 49 = -5*n, -n + 2*l = -18. Suppose -3*c + 2*h + 2133 = 0, n*h = 4*c + 13*h - 2844. Is c a multiple of 79?
True
Let s = 450 - 342. Suppose 2*p + 2*u = s, -22*u + 96 = 2*p - 17*u. Is 29 a factor of p?
True
Suppose 220 = -60*u + 71*u. Does 18 divide -1 - 3035/(-20) - (-5)/u?
False
Suppose 3*t - 6*t - 829 = -2*h, 2*t = -6. Let b = h - 194. Suppose 3*k = -3*k + b. Is 18 a factor of k?
True
Suppose 10 - 70 = -4*t. Let m be (-1 + t/9)/((-8)/(-1908)). Suppose 3*z = -k + 221, z = -z - 3*k + m. Is 12 a factor of z?
True
Let n(s) = s**2 + 150*s - 109. Does 18 divide n(25)?
True
Let u(l) = -17*l**2 - 55*l + 13. Let h(n) = 9*n**2 + 27*n - 6. Let j(v) = 5*h(v) + 2*u(v). Does 18 divide j(-4)?
True
Is 8 a factor of (-6)/(-4)*(12 + -24 + 566)?
False
Let n be -5*(24 - 4)/(-4). Suppose -10*i - 3315 = -n*i. Is i a multiple of 17?
True
Let j = 795 + -519. Is 13 a factor of (7 + j/18)/((-1)/(-18))?
False
Let z(h) = 2*h. Let k(s) = 4*s + 1. Let u(l) = -3*k(l) + 5*z(l). Let a be u(0). Does 16 divide (-4)/(2 - 29/14) - a?
False
Suppose -5*n + 3*q - 92 = -443, 0 = -5*n + 5*q + 345. Let l be 96/n*(-1 - 2). Is 8 a factor of (-4)/8 - 386/l?
True
Suppose -7*o = -6*o + 28. Let u = 50 - o. Let l = u + -22. Is l a multiple of 12?
False
Suppose 2*r + 3*q = 7*q + 91766, -4*r - 2*q + 183492 = 0. Does 18 divide r?
False
Let l(u) = -4*u**2 + 11*u + 30. Let o(m) = 27*m + 90 - 13*m**2 + 5*m + 2*m. Let y(a) = -7*l(a) + 2*o(a). Is y(14) a multiple of 35?
False
Let v(r) be the second derivative of r**5/20 + 41*r**4/12 - 19*r**3/6 - 2*r**2 + 121*r. Is 24 a factor of v(-41)?
False
Let n(c) = -c**3 - 20*c**2 - 20*c - 19. Let b = -67 + 48. Let p be n(b). Suppose p = z - 86 - 64. Is 20 a factor of z?
False
Suppose -4*b + 4*o = -0*o - 16, 5*b + 5*o = 10. Suppose -b*i + i + 18 = 2*j, -3*i = -3*j + 27. Suppose j*g = 2*g + 77. Is g a multiple of 11?
True
Does 15 divide (-15 + -5649)/(0 - (0 + 1))?
False
Suppose 9*f - 5*f = 0. Suppose f = 8*g - 16 - 16. Suppose 5*w - 2*y - 1124 = 0, -676 = -3*w - 2*y + g*y. Is w a multiple of 32?
True
Let c = 5 + 1. Let b(q) = -2*q**2 - 14*q + 13. Let z(f) = -f**2 - 14*f + 11. Let u(j) = -4*b(j) + 5*z(j). Does 4 divide u(c)?
False
Let x = -2419 - -3115. Is 12 a factor of x?
True
Suppose 0 = 17*u - 7204 - 2554. Suppose -q + u = 5*s, 3*q + q = 2*s + 2384. Is q a multiple of 33?
True
Suppose 0 = 3*n + 5*u + 1088, -1441 = 4*n - 8*u + 5*u. Let i = n + 571. Does 21 divide i?
True
Let i = -235 - -161. Is 1*(0 - -3)*i/(-3) a multiple of 4?
False
Let j(b) = -4*b - 78. Let y be j(-19). Let s(g) = -42*g**3 - 4*g - 3. Is s(y) a multiple of 11?
True
Suppose 0 = 3*v - i - 4515, 115*i + 15 = 110*i. Is 74 a factor of v?
False
Suppose -11*a + 588 = -5990. Suppose -5*y + p + 707 = 0, -3*y - 163 = 3*p - a. Is y a multiple of 9?
False
Suppose 0 = 24*v + 79*v + 28*v - 2215472. Does 59 divide v?
False
Let o(u) = u**2 - 3*u + 4. Let g be o(0). Suppose 2*s - s = -t + 311, 4 = g*t. Suppose 4*i - s = 3*f - 5*f, 3*i - 2*f = 229. Is i a multiple of 12?
False
Suppose 1522 - 4438 = -3*l. Suppose -l = -5*g - 72. Suppose 2*j - 217 = -2*j - n, 3*j - 5*n - g = 0. Is 15 a factor of j?
False
Does 203 divide 12 + 57943 + (-374)/(-22)?
False
Suppose 4*s - 4 + 68 = 0. Let c be (-4)/s*4 - (213 + 1). Let m = 313 + c. Does 20 divide m?
True
Let d(a) = a**2 - 17. Let b be d(-4). Let y(p) = -882*p**3 + p**2 - 1. Does 62 divide y(b)?
False
Suppose x + 3*j + 2832 = 7347, 0 = 2*x - 3*j - 9102. Is 13 a factor of x?
False
Let k(s) = -19*s - 22. Let j be k(-4). Let v be (-2442)/j - (-4)/18. Does 3 divide (16/(-10))/(6/v)?
True
Let h(w) = -w**3 - 3*w**2 - w. Let p be h(-3). Let g = 240 - 148. Suppose -72 = -4*x + 4*f, 4*x - 2*f + p*f = g. Is x a multiple of 6?
False
Let c = 309 - 305. Suppose -1235 = -c*g + 1657. Does 23 divide g?
False
Suppose 30*y - 29138 = -23*y + 2026. Is 98 a factor