 Is 1/(-4) + (-2228)/f a multiple of 25?
False
Let m(x) = -101*x + 126. Let n be m(-27). Suppose -111*w + 102*w = -n. Is 5 a factor of w?
False
Let d = -806 - -539. Let x = 393 + d. Let o = x - -24. Does 8 divide o?
False
Suppose -3*i - 159358 = -22*i + 2*i. Is i a multiple of 43?
True
Let n(p) = 24*p**3 - 18*p**2 + 23*p + 9. Is n(7) a multiple of 47?
True
Suppose -36*n = -35649 - 69795. Is 16 a factor of n?
False
Suppose 18*v = 133758 - 9558. Suppose -4*n = 32 - v. Is 101 a factor of n?
True
Let u = 34943 + -17555. Is u a multiple of 9?
True
Let b = -706 - -1998. Suppose 134 = -6*l + b. Suppose 4*f - l = -13. Is f a multiple of 15?
True
Suppose -34*y = 8*y - 270270. Is y a multiple of 99?
True
Suppose -14*j = -9*j - 20. Let c(r) = 5*r - 3*r + 4*r**2 + j*r - 12. Is c(-6) a multiple of 17?
False
Suppose -5*g + 3*p + 76 + 32 = 0, -64 = -3*g + p. Suppose -g*q = -30*q + 2538. Does 4 divide q?
False
Let g = 30008 - 13153. Does 185 divide g?
False
Suppose 50*r = r + 234759. Is r a multiple of 12?
False
Suppose 3*o - 5*f + 876 = -30, -4*o - 4*f - 1176 = 0. Let h be o/(-11) + 0 + (2 - 1). Suppose -s + 2 = 0, -3*u + u + h = -2*s. Is 4 a factor of u?
True
Let c = -2309 + 6116. Does 47 divide c?
True
Suppose 3*k + k - 16 = 0, -2*w = k - 10. Suppose -4*u = 5*t - 1290, 0 = 2*t - w*t - u + 259. Does 9 divide t?
False
Suppose -180131 - 79051 = -63*b. Is 92 a factor of b?
False
Let u = -27 - 17. Let f = u + 80. Does 18 divide f?
True
Suppose -3*p = 3*f - 4686, -447*p + 449*p = -4*f + 3124. Is 27 a factor of p?
False
Suppose 0 = 2*i - h - 30, h + 2*h - 6 = 0. Is 3 a factor of (i + -8 - 9)/(2/(-268))?
False
Is -3 - (3 - 8) - (-14244 + (-120)/15) a multiple of 80?
False
Suppose 0 = -94*u - 74*u + 927869 + 854779. Is u a multiple of 41?
False
Let t = 2503 - -1852. Is t a multiple of 67?
True
Let a(u) = u. Let i(d) = -9*d - 304. Let x(n) = -3*a(n) - i(n). Is x(-22) a multiple of 18?
False
Let j be 10/(0 - (-6)/135). Suppose -3*z = -h + 10 + 6, 2*z = 3*h - 20. Suppose -2*n - h*i = -140, -4*n - 3*i + j = -n. Is 8 a factor of n?
True
Suppose 2*h + 20 = -0*h. Let n = 37 - 59. Let s = h - n. Does 5 divide s?
False
Let q(b) = b + 35. Let m be q(10). Let g = 49 - m. Suppose g = 2*p, -6 = -4*j - 5*p + 20. Is j a multiple of 2?
True
Let o = -18791 - -27091. Is 20 a factor of o?
True
Let v = -5584 + 6248. Is v a multiple of 158?
False
Suppose -1 = -2*a + 5. Suppose -z = -4*u + 322 + 798, a*u - 839 = z. Suppose -3*y + u = -61. Is 17 a factor of y?
False
Let h(j) = -3848*j + 78. Let w be h(6). Does 20 divide w/413*28/(-6)?
True
Let y(a) = -a**2 + 2*a + 13. Let s be y(10). Let q = s - 11. Does 2 divide 49/6 + 13/q?
True
Suppose -5*f = o - 5*o + 33, -3*o = -2*f - 16. Suppose o*q + 24 = 4. Let r(p) = p**2 + 10*p + 15. Does 15 divide r(q)?
True
Suppose -4*i + 20 = -4*q, -3*i - 21 = 3*q - 2*q. Let a(r) = r**3 + 11*r**2 + 2*r. Let d be a(q). Suppose 3*j - 6*j + d = 0. Is 11 a factor of j?
False
Suppose 2*d + 7 + 4 = -3*t, 3*d = -2*t - 9. Let w be -4*1/10*(t + -7). Suppose w*v - 72 = -0*v. Is 18 a factor of v?
True
Suppose -3722 = -30*n + 26*n + 10426. Does 131 divide n?
True
Suppose p - 4*y + y = 6225, 3*p - 18657 = 3*y. Is p a multiple of 74?
True
Let i(f) = 31*f + 772. Is i(-23) a multiple of 7?
False
Let a(p) = 3*p**3 - 5*p**2 + p + 9. Let o(b) = 8*b**3 - 15*b**2 + 3*b + 28. Let d(j) = -11*a(j) + 4*o(j). Does 26 divide d(-7)?
True
Let b be (20/(-40))/((-1)/14). Let w(l) = 4*l**2 - l + 20. Is w(b) a multiple of 11?
True
Let c = 11 - 10. Let q be 76 + -8 + (1 - (2 - c)). Suppose 14*s + q = 16*s. Is s a multiple of 17?
True
Let z(d) = -15*d**2 + 90*d + 5. Let v(h) = -h**2 - h + 2. Let b(k) = -6*v(k) + z(k). Is 12 a factor of b(7)?
False
Suppose 0 = -97*k + 602524 + 2232495. Is 11 a factor of k?
True
Let z be 2552/66 - 4/(-3). Suppose -z = 26*m - 30*m. Is (m/(-4))/((-13)/676) a multiple of 16?
False
Suppose 0 = 63*u + 38*u - 1545603. Is 11 a factor of u?
False
Let z(k) = 3*k - 7. Let t be z(5). Let w(u) = 79*u + 22. Let d(r) = 20*r + 5. Let q(j) = 9*d(j) - 2*w(j). Is q(t) a multiple of 15?
False
Is (1092/24*-53)/(3/(-36)) a multiple of 23?
False
Suppose 3*y - 1235 = -2*t - 318, 3*y - 913 = -t. Suppose -j + 4*j = y. Does 4 divide j?
False
Suppose -5*j = -3*j - 972. Suppose 12*t = -34*t + 3895 + 4339. Let h = j - t. Is h a multiple of 35?
False
Let x(c) = -c**3 + 13*c**2 - 31*c + 13. Let t be x(10). Suppose -4*d + t*z = -767, 5*d = -7*z + 2*z + 950. Let v = d - 95. Is v a multiple of 8?
True
Suppose -5*d + 1181 - 1171 = 0. Is (-45)/d*(1 - 955/25) a multiple of 85?
False
Let n(o) = -1 - 4 - 5*o - o**2 + 2. Let a be n(-2). Suppose 3*h - a*t - 249 = 0, h = 2*h + t - 85. Is 7 a factor of h?
True
Let t = 8896 - 5693. Is t a multiple of 53?
False
Let i be ((-22)/(-4))/(2/(-36)). Let x = 1663 - 1710. Let q = x - i. Is q a multiple of 4?
True
Does 20 divide (-21)/(-14)*(-2 + 4)*1218?
False
Let n = 990 - 417. Suppose 0*d - 1153 = -4*a + d, 3*d - n = -2*a. Does 48 divide a?
True
Let j(z) = 2*z**2 - 16*z + 18. Let m be j(7). Suppose r = -m*u + 555, -138 - 287 = -3*u + r. Is 20 a factor of u?
True
Does 41 divide 2050/(-2)*((-4563)/(-65))/(-39)?
True
Let l(g) = -37*g + 1. Let q be l(4). Suppose -4*p = 2*f - 4*f - 1110, 2*p + 5*f = 573. Let z = q + p. Is z a multiple of 20?
False
Let f(s) = -1374*s - 538. Does 14 divide f(-3)?
True
Let r(g) be the third derivative of -g**5/120 + 7*g**4/24 + 5*g**3/6 - 7*g**2. Let a(b) be the first derivative of r(b). Is 4 a factor of a(-14)?
False
Let h = 44 - 16. Suppose n = 17 + h. Let v = -24 + n. Does 9 divide v?
False
Let f = 294 - 294. Suppose f = 5*m - 137 - 1843. Is 44 a factor of m?
True
Let m be 1/(1 - 0) - -41. Suppose -56 = -34*w - 464. Let f = w + m. Is f a multiple of 13?
False
Let m = 32 + -10. Let g be (6/(-4))/((9/(-30))/(60/(-300))). Let j = m + g. Does 2 divide j?
False
Let u(v) = 172*v**2 + 4*v - 1. Suppose -21*p = -9*p + 24. Is 16 a factor of u(p)?
False
Let k(p) = -p**3 + 12*p**2 - 27*p + 8. Let y be k(9). Suppose s - 1701 = -y*s. Does 27 divide s?
True
Suppose -i - 20438 = -210*n + 205*n, 5*n + i = 20452. Is n a multiple of 47?
True
Let d be (271/2)/((-13)/(-52)). Is 6 a factor of -1 + d + 51 + -46?
True
Suppose -l = 2*q - 6 - 4, 3*l - 2*q + 2 = 0. Suppose -r + 5 = 2*b + l*b, 0 = -5*b - 5*r + 25. Suppose z = 5*i, b*i + i = 4*z - 76. Does 9 divide z?
False
Suppose -5*y - 25 = 0, 0 = 3*m + m - 4*y - 32. Let l(b) = -6*b**2 - b - 2*b + 0*b**2 + 6 + 8*b**m + 4*b**2. Is 7 a factor of l(2)?
True
Let z = 5081 - 5006. Is 3 a factor of z?
True
Suppose j + 5*l - 39 + 52 = 0, -3*l = -3*j + 15. Suppose -3*v + 1654 = j*k, -1100 = -2*v + 4*k - 8*k. Is 68 a factor of v?
False
Let j(a) = a**2 + 13*a + 4. Let r be j(-11). Let f = 19 + r. Let z(q) = 100*q**2 + q. Is 14 a factor of z(f)?
False
Suppose -b + 111217 = 4*v, 2*b + 14093 = 4*v - 97133. Is 22 a factor of v?
False
Suppose -3*v = 4*j - 5*j + 491, -4*j - 16 = 0. Let f = -160 - v. Does 5 divide f?
True
Does 210 divide 1416/16*1840/69?
False
Let s(y) = 6*y**3 - 5*y**2 + 15*y + 19. Let d(a) = -5*a**3 + 5*a**2 - 15*a - 18. Let x(g) = -7*d(g) - 6*s(g). Is x(-8) a multiple of 14?
True
Let r = -29713 - -51413. Does 50 divide r?
True
Let l(f) = 3*f + 4 - 8*f + 0*f + 2*f + 28*f**2. Does 15 divide l(-3)?
False
Is ((-69)/18)/(34/(-12648)) a multiple of 62?
True
Let k(b) = -4 + 4*b - 3*b + 0*b + 0*b. Let a be k(4). Suppose a = 4*u + 26 - 70. Is 2 a factor of u?
False
Let c(g) = g**3 + 5*g**2 + g - 10. Let v be c(-3). Suppose 9 = 2*k - 5*k - 3*l, -k - 23 = v*l. Suppose -k*o = 3*o - 420. Does 14 divide o?
True
Let c = -33 - -44. Suppose 10*j - c*j = -450. Is j a multiple of 50?
True
Let h(q) = 24*q**2 + 7*q - 8. Suppose 5*f + n + 26 = 10*f, 0 = -4*f + n + 21. Suppose 4*c = f + 7. Does 40 divide h(c)?
False
Let v be (3312/5)/(-2) - (-25)/125. Let f = -158 - v. Is f a multiple of 14?
False
Let f(i) = i**3 + i**2 + i + 1. Let p(y) = -35*y**3 + 2*y**2 + 21. Let z(x) = f(x) - p(x). Is 57 a factor of z(3)?
False
Let j = 0 - -1. Let n(a) = -65*a**2 + 580*a + 43. Let s be n(9). Is 33 + (s/(3 - j) - 2) a multiple of 21?
False
Suppose -2092 - 1504 = -z + 3*g, -5*z - 3*g = -18016. Suppose -12*l - z + 9422 = 0. Does 15 divide l?
False
Suppose -1676 = 9*v - 17876. Suppose -6*l = 9*l - v. Does 12 divide l?
True
Suppose 108*d + 