18)/(-15). Suppose 4*h + 145 - l = 2*p, -h + 5*p = -305. Is 6 a factor of h?
True
Let m = -133 + -1686. Is ((-1730)/17)/(-2) - 214/m a multiple of 17?
True
Let b be ((-12)/(-24))/(1/(-2)). Is b + (7 - -761 - 1) a multiple of 9?
False
Let a(w) = -w**2 - 6*w + 45. Let q be a(-11). Let u(g) = g**2 - 2*g - 7. Let p be u(q). Suppose -554 = -9*o - p. Is o a multiple of 31?
False
Suppose 0 = 143*y + 149*y - 296*y + 26092. Is y a multiple of 10?
False
Let p(x) = -x**2 - 5*x + 7. Let v be p(3). Let b = v + 23. Let j = b - -9. Is j a multiple of 15?
True
Let t be 5*6/45 + 184/(-6). Is 233 - -5*(-36)/t a multiple of 7?
False
Let n be (-66)/(-8) - 48/192. Is 23 a factor of 4/n - (-2 - (-3198)/(-12))?
False
Suppose 38*p - 1145 = 102975. Does 20 divide p?
True
Let z be (3/(-4))/(1/(-12)). Let w = 536 + -537. Let l = z - w. Does 10 divide l?
True
Let g(h) = 129*h**2 - 10*h - 38. Is 5 a factor of g(-3)?
False
Suppose 4*b + 2*c + c = -2143, 5*b + 2681 = -3*c. Let g = b + 879. Is g a multiple of 11?
True
Is (-132)/(-72) + -1 + (100425/18 - 3) a multiple of 8?
False
Let t(x) = -253*x - 19. Let o be t(-3). Suppose -2*f + 2*p + 135 = -f, 5*f = -3*p + o. Does 39 divide f?
False
Suppose 1196 = -13*o - 5122. Let b = -264 - o. Is b a multiple of 15?
False
Suppose 4*n - 4*y - 24 = 0, -20*n - y + 6 = -18*n. Suppose -4*w + 1148 = n*z, -2*z - 2*w - 3*w = -571. Does 36 divide z?
True
Let n(h) = -24281*h - 389. Does 33 divide n(-1)?
True
Let y(z) = -z**3 - 4*z**2 + 10*z - 7. Let a be y(-6). Suppose -3*i + 11*v = 6*v - 818, a*i - v = 1378. Is i a multiple of 46?
True
Let q(a) = 91*a + 40. Let l(u) = -u**3 - u**2 + 5*u + 4. Let h be l(2). Does 7 divide q(h)?
False
Is (2/9*21)/((-11)/(-1980)) a multiple of 6?
True
Let j = 30296 + -14556. Is j a multiple of 10?
True
Suppose -2*i - 3097 = -3*x, 4*x - 5*i = 3*x + 1054. Is x a multiple of 7?
True
Does 15 divide (-30)/(-195) + 73708/13?
True
Suppose -12502 = -8*l + 2154. Is l a multiple of 4?
True
Does 14 divide ((-31746)/(-52) - 12)/((-6)/(-112))?
True
Suppose -2*y - 5*w + 623 = 0, y - 2*w - w = 339. Suppose 0 = 5*n - 2*l - 1587, 2*n - 322 = -2*l + y. Does 11 divide n?
True
Let b(q) be the second derivative of -q**3/2 - 37*q**2/2 + q. Suppose 0 = 67*g - 49*g + 270. Is 4 a factor of b(g)?
True
Suppose -9*p = 9*p - 90. Suppose -3*f = p*f - 2048. Is f a multiple of 24?
False
Let w be 12/3 + 17 + 3. Let q = w + -21. Suppose 0 = q*b + 3*f - 75, 2*b - f = 3*f + 26. Is 5 a factor of b?
False
Suppose 23 = -3*x + 8, -5*l + 4*x - 40 = 0. Suppose -12*t - 3*q = -7*t - 1, 5*q = 4*t - 23. Is -141*(l/(-9) - t) a multiple of 32?
False
Let g(t) = 17 + 10 - 4*t - 3*t - 9. Does 20 divide g(-6)?
True
Let v = -5062 - -7940. Does 7 divide v?
False
Suppose 0 = 5*q + 11 - 1. Let i(g) be the first derivative of 2*g**3/3 - 2*g**2 - 3*g + 1. Does 5 divide i(q)?
False
Let z(l) = -2*l**3 - 24*l**2 - 42*l + 36. Let f(b) = -b**3 - 12*b**2 - 21*b + 18. Let i(n) = -7*f(n) + 4*z(n). Does 4 divide i(-11)?
True
Suppose -3*r + 72*r = -151*r + 537900. Does 6 divide r?
False
Is (-6)/14 - 65283/(-329) a multiple of 7?
False
Let h = 367 + -602. Let k = h + 345. Is 8 a factor of k?
False
Let t = 6 + 59. Let g(c) = t + 5*c - 52 - c**3 - 43 - 14*c**2. Is g(-15) a multiple of 8?
True
Let z = 72 + -60. Suppose 3*c = z, -b - c = -2*b - 2. Let d(m) = 45*m**2 - 4*m + 2. Does 43 divide d(b)?
False
Let y(b) = 8*b**2 - 2*b - 15. Let q = 111 + -116. Is 21 a factor of y(q)?
False
Suppose -3*f - 3*u - 1845 = 0, 0 = 4*f + u + 507 + 1941. Let b = f + 1095. Does 57 divide b?
False
Let r be ((-19)/(76/624))/((-3)/(-4)). Let g = -144 - r. Is 32 a factor of g?
True
Let o(j) = -6*j**3 + j**2 - 5*j - 6. Let t(f) = 11*f**3 - 4*f**2 + 11*f + 11. Let d(g) = 5*o(g) + 2*t(g). Is 18 a factor of d(-4)?
True
Suppose -9400 - 8860 = -5*t. Is 83 a factor of t?
True
Suppose 7*f = 3*d + 2*f - 230, 0 = f - 5. Suppose -d*u + 87*u - 324 = 0. Does 18 divide u?
True
Suppose 92 = -4*i - 8. Let c = 91 + i. Is c a multiple of 38?
False
Let s be ((-3)/6 + 0)*0. Suppose -94*a + q - 1 = -96*a, -4*q = 5*a + 5. Suppose a*z + 4*h - 159 = 0, -4*z - 5*h + 0*h + 211 = s. Is 21 a factor of z?
False
Let s(u) = -4*u - 13. Let w be s(7). Let l = -25 - w. Let p(c) = -c**3 + 15*c**2 + 18*c + 3. Does 35 divide p(l)?
True
Does 4 divide (-1)/(-3) - 5390/(-30)?
True
Let u(g) = 7*g**2 - 10*g + 2. Let d = -452 - -444. Does 53 divide u(d)?
True
Suppose -65*z + 17*z + 184411 = -378149. Does 40 divide z?
True
Let t be 871127/410 + 3/10. Let c = t - 1387. Is c a multiple of 6?
True
Let n = 299 - 295. Suppose 12*j - n*j = 5568. Is 24 a factor of j?
True
Let g = 23 + -20. Suppose 0*u = -g*s + 3*u - 12, 2*u = 10. Is 31*(-3)/(s - 15/6) a multiple of 3?
False
Suppose 507284 = -55*w + 1539524. Is 184 a factor of w?
True
Suppose -1753*i + 2533400 = -1653*i. Is i a multiple of 53?
True
Let t = -15341 + -4169. Is (-4)/(-14) + (t/7)/(-10) a multiple of 6?
False
Let g = -40 - -118. Suppose 5*l - g = 2*x - 3*x, 6 = 2*x. Suppose -l*h + 9*h + 648 = 0. Does 36 divide h?
True
Let l(k) = -3*k. Let x be l(-6). Let p(z) = 0*z**2 - z**3 - 4*z + 0*z + x - 2*z**2 + 3*z. Is 21 a factor of p(-6)?
True
Let r = 12 - 9. Let v(d) = 6*d - r*d - 9 + 0*d - 1. Is v(6) a multiple of 6?
False
Is (-240)/9*(31 + -121) a multiple of 4?
True
Is 3 a factor of 2/(-8) + -568*5205/(-480)?
True
Let n(a) = 2*a**2 - 10*a + 2. Let d(j) = -j**2 + 5*j - 2. Let h(o) = -9*d(o) - 4*n(o). Is h(10) a multiple of 22?
False
Suppose j - 78204 = 5*c - 13340, -3*j = c - 194592. Is j a multiple of 113?
False
Suppose 2*r - 3008 = m + 16588, -4*r - m + 39186 = 0. Is r a multiple of 5?
False
Let q be 1*(-2 + -2 + 5). Is 13 a factor of -1 + (949 - q)*(-9)/(-12)?
False
Let a be (-20)/28 + (-2)/7. Suppose 225 = -5*w + 15. Is 7 a factor of -21*(w/(-9)*a - -3)?
True
Let o(p) = p**2 - 6*p - 10. Suppose -22 = -7*r + 20. Suppose r = -4*b - 6. Is o(b) even?
False
Suppose -9380*l = -9340*l - 1719360. Is l a multiple of 12?
True
Let x(u) = 28 - 36*u + 2*u**2 + 5*u - 12*u. Is 7 a factor of x(21)?
True
Let p = -6092 - -10984. Suppose 7*s = p + 2206. Is 26 a factor of s?
True
Let o be (-2)/9 + (-66)/(-54). Let q be 1 + (-4 - (-1 + o)). Is 33 a factor of (-9)/(-6)*(q - -25)?
True
Let c = -13446 - -18061. Does 71 divide c?
True
Suppose -209*p - 38780 = -2*v - 207*p, 0 = 4*v + 4*p - 77504. Does 13 divide v?
True
Suppose 5*g - 115 = t, 88 = 2*g + 3*t + 25. Let o = 129 + g. Is o a multiple of 9?
True
Suppose 148*l = 70013 + 225987. Does 125 divide l?
True
Let m = -6670 - -7090. Is m a multiple of 57?
False
Does 11 divide (9/(-12))/((-9)/15182) - 783/4698?
True
Let j(o) = o**3 + 8*o**2 + o. Let s(h) = -h**3 + 7*h**2 + 2*h + 40. Let v be s(8). Let f be j(v). Is 6 a factor of (f/16)/(1/4) + 16?
False
Suppose -4*o - 16 = 4*c, 3*o + c + 8 = 6*o. Let x(v) = 0*v**2 - o - 27*v**3 - 9*v**2 + 5 + 26*v**3 + 2*v. Does 21 divide x(-10)?
True
Let z(l) = 4 + l**3 + 38*l - 44*l - 6*l**2 + 0*l**3. Let w(j) = 4*j**3 - 17*j**2 - 17*j + 11. Let m(y) = 2*w(y) - 7*z(y). Is 3 a factor of m(-6)?
True
Let r = 91 + -96. Let b(j) = -j - 14. Let f be b(r). Is ((-118)/3)/((-1)/f*-2) a multiple of 25?
False
Let y(s) = 14*s**3 - s**2 + 2*s. Let a be y(1). Let v(p) = p**2 - 20*p + 113. Is v(a) a multiple of 38?
True
Let i(c) = 31*c**2 + 7*c + 9. Let t be i(-5). Suppose -8*k + t = -k. Does 23 divide k?
False
Suppose 8*s + 1518 - 22502 = 0. Is s a multiple of 43?
True
Let v = -26 + 229. Let t = v + -16. Let b = t - 102. Does 39 divide b?
False
Let x = 71 - 68. Suppose x*c + 760 = 4*c + s, 2*c = -4*s + 1528. Is 27 a factor of c?
True
Suppose -4*n - 5*x + 35 = n, 0 = 3*x - 9. Suppose 0 = -n*r + 7*r + 318. Is 27 a factor of (15 - r) + 2*1?
False
Let v(n) = 79*n**2 - 3*n + 2. Let k be v(1). Suppose k = g + 5*g. Suppose -11*w = -g*w + 18. Is w a multiple of 2?
False
Let q(k) = -757*k + 4. Let y be q(-3). Suppose 8515 - y = 15*m. Is 77 a factor of m?
False
Let o(l) = -l**3 - 2*l**2 - 4*l - 3. Let c(s) = -s**2 + 15*s. Let g be c(7). Let a be (-208)/g + 2/(-7). Does 5 divide o(a)?
True
Let r = 78 + -36. Let u = 47 - r. Suppose -u*z - 142 + 672 = 0. Does 17 divide z?
False
Let k = -63 - 0. Let a = k - -61. Is -1 - -2 - (2 + a + -157) a multiple of 13?
False
Let w = 2628 - -212. Is w a multiple of 20?
True
Suppose 3*w - 5*j - 39 = 0, 4*w + 2*j = 3*w + 13.