ose 22 = 5*z - 4*v, 0 = 4*z - 2*v - 3*v - q. Is 2 a factor of z?
True
Does 41 divide (-238 + 113)*-1*12?
False
Suppose -4863 = -2*u + 4226*y - 4227*y, 4*y + 9684 = 4*u. Does 33 divide u?
False
Suppose 3*l - 2*g = -g + 34, 5*l - 4*g - 66 = 0. Suppose -7*k = -12*k + l. Suppose 0 = -k*v + 16 + 92. Is 9 a factor of v?
True
Let i(n) = 106*n - 1843. Is i(46) a multiple of 6?
False
Suppose 70*r - 216 = 61*r. Suppose -4*y - r = -n, 5*y - 11 + 74 = 2*n. Is 22 a factor of n?
True
Let c(x) = -58*x - 22. Let k be c(-9). Suppose -4*u - f = -4*f - 1980, u - k = 2*f. Suppose j - 5*b = 90, -5*j + 4*b = -0*j - u. Does 22 divide j?
False
Let q = -10349 - -19026. Is 39 a factor of q?
False
Let v be -1*15/(-10)*4. Is 2*9*26/v a multiple of 11?
False
Let b = 30619 - 27803. Is b a multiple of 16?
True
Let w = -460 + 809. Suppose 5*g + 476 - 1621 = 0. Let j = w - g. Is j a multiple of 15?
True
Let y be ((-3)/(3/(-23)))/(-93 - -94). Suppose x + y*u - 26*u = 189, x + 3*u - 159 = 0. Is 18 a factor of x?
False
Suppose -3*i = 2*a - 82367, -3*i = 5*a - 95082 - 110849. Does 109 divide a?
False
Let w = 904 + 369. Is 19 a factor of w?
True
Is 124 a factor of 248/(-7*(-5)/7560)?
True
Let o be 54/(-7)*140/(-15). Let h = o + -78. Is 32 a factor of 16/h*(-36 - -24)?
True
Let d(v) = 43*v**2 + 3*v - 1. Suppose 0 = -3*m + 10*m - 7. Does 15 divide d(m)?
True
Let f(j) = -j**2 - 2*j + 7. Let v be f(0). Suppose -5*p + a + 2738 = 0, 5*a = -v - 8. Suppose 9*c - p - 308 = 0. Is 17 a factor of c?
False
Is (-242296)/(-20) - (110/(-50) + 1 + 1) a multiple of 79?
False
Let c(z) = -43*z**2 - 11*z - 3. Let y(g) = 2 + 0*g + 178*g**2 + 5*g - 157*g**2. Let o(u) = 2*c(u) + 5*y(u). Is 12 a factor of o(-2)?
False
Let b(a) = 28*a**3 + 3*a - 27*a**3 + 15*a**2 - 7*a**2 + 8. Suppose 5*g + 12 + 18 = 0. Is b(g) a multiple of 9?
False
Let u be (-2)/(-6) - (-4030)/186. Suppose u*c = -8*c + 3300. Is c a multiple of 22?
True
Let s(m) = m - 3. Suppose -4*f - f = 45. Let d be s(f). Does 2 divide -4*((-3)/d + -1)?
False
Is 59 a factor of 7/((8/(-24))/((-6)/45))*1715?
False
Is (5 - -5)/((-54)/(-5373)) a multiple of 26?
False
Let d be 7 - (-3 - (-7 + -4 + 6)). Suppose 0 = 5*p + h - 13, 3*p + 0*p + 2*h = d. Suppose p*u - 15 - 6 = 0. Does 6 divide u?
False
Is 143 a factor of 222/37*1/69 - 1111678/(-46)?
True
Let i(b) = 4*b - 5. Let q(d) = -2. Let z(f) = 3*i(f) - 6*q(f). Let h = 3 + 1. Does 9 divide z(h)?
True
Let d(q) = -393*q**3 - 6*q**2 - 9*q - 7. Is d(-2) a multiple of 31?
True
Does 74 divide 218966/55 + (18/(-15) - -2) + -5?
False
Let n = 1254 + 956. Is n a multiple of 17?
True
Let g be 15/(135/63) + -3. Let c be (-141)/2*(-2)/3. Suppose -8*o + c = u - g*o, -144 = -4*u - 5*o. Does 19 divide u?
False
Suppose 6*t - 4*t - 18 = 0. Suppose 2*y - 80 = i, -4*y + 154 = -t*i + 4*i. Is 3 a factor of y?
False
Is 6 + (6 - 82210/(-25)) + (-4)/10 a multiple of 12?
True
Suppose -30103 = -4*a - 7*a + 145853. Does 43 divide a?
True
Suppose -3*g - 712 + 2164 = 0. Suppose 1076 = 5*v - g. Suppose a + 318 = 5*m, -v = -5*m - 4*a + 3*a. Is m a multiple of 9?
True
Suppose -o + 11*o - 1910 = 0. Suppose b - f + 6*f = o, 5*b - 1059 = f. Is 18 a factor of b?
False
Let z(q) = -q**3 + 17*q**2 - 12*q + 19. Let l be z(16). Is -1*l*(-25 + 24) a multiple of 12?
False
Let v(a) = a**2 + 3*a - 27. Let z be v(-6). Does 17 divide 252/z*(-58)/4?
False
Suppose 2*b + 23 + 5 = 0. Let d be 114 - ((-2 - 5) + 12 + -1). Let r = d - b. Does 23 divide r?
False
Let u(m) = -8*m**2 + m**3 - 1 - 3*m - 2*m**3 + 1 - 13. Let a be u(-8). Suppose -a*d + d + 320 = 0. Does 4 divide d?
True
Let j = 15677 + -8922. Is j a multiple of 155?
False
Let u be (5 - (18 - 12))*(1 + -3). Suppose u*k - 1522 = -2*b, 3*k - 1518 = 11*b - 13*b. Is b a multiple of 51?
True
Suppose 0 = -2*k - 5*q + 4 - 27, 6 = k - q. Suppose 2*s - 162 = -t, 0 = -3*s + 11 + k. Does 14 divide t?
True
Does 4 divide 252/378 - (-685)/3?
False
Let v = 25707 + -6573. Does 99 divide v?
False
Let a(i) = -i**2 + 10*i + 15. Let l be a(11). Suppose l*y + 5*n - 73 = -26, 3*n = -5*y + 49. Let q(k) = 5*k + 2. Is 7 a factor of q(y)?
True
Let f be 0/((6 + 18)/(-8)). Suppose -3*m - 250 = -v, f = 5*v + 4*m - 6*m - 1185. Does 3 divide v?
False
Let q = -138 - -143. Suppose 9*h - 3304 = -q*h. Does 59 divide h?
True
Let c(a) = -a**2 + 90*a + 2026. Is c(80) a multiple of 16?
False
Suppose 66*x = 53*x + 9113. Suppose -u = 3*i - 138, 5*u + 12*i - x = 8*i. Does 3 divide u?
True
Is (10 - -184)*27 + -6 - 5 a multiple of 201?
False
Let z(r) = 1252*r + 7920. Does 101 divide z(0)?
False
Is (5/((-55)/(-1012)))/(-2*(-3)/390) a multiple of 172?
False
Let q = -301 + 299. Does 26 divide 1/q + (-14161)/(-34)?
True
Suppose -4*v - 8 = -0. Let n be ((-4)/(-13))/2 - v/(-13). Suppose n = 3*c - 15, 3*d + 0*d + 4*c = 158. Does 17 divide d?
False
Suppose 0*s - 18 = -3*n + 3*s, 3 = -n - 2*s. Suppose -n*l = -25 - 20. Suppose 4*p = 7*p + 2*u - 95, 0 = -3*u - l. Does 7 divide p?
True
Suppose 4*k - 2154 = k - 4*z, -z = -3. Suppose -704*c - 1680 = -k*c. Does 7 divide c?
True
Suppose -15*z + 20*z = 20, -4*z - 2749 = -5*j. Is j a multiple of 103?
False
Let a(r) = -r**2 + 27*r - 34. Let o be a(25). Suppose -22 = -15*u + o*u. Does 4 divide ((-1)/1 - u - 1)/1?
True
Let g(y) = -y**3 + 28*y**2 - 27*y - 20. Is 40 a factor of g(12)?
True
Let x = -14 + 10. Let a(z) be the second derivative of 5*z**4/12 - z**3 + 2*z**2 - 14*z + 3. Is a(x) a multiple of 12?
True
Let t = -538 + 539. Let l be (-533)/(-3) - (-4)/(-6). Suppose t = -8*a + l. Is 5 a factor of a?
False
Let f(g) = -38*g - 1635. Let v be f(-42). Let r = -487 - 3848. Is 37 a factor of r/v - 2/13?
True
Does 61 divide (3691/8*12)/(((-15)/6)/(-5))?
False
Let y = -424 - -426. Does 24 divide 5 + 0 + -1497*y/(-6)?
True
Let m = 516 - 486. Is m/45 + 2/(-3) - -680 a multiple of 17?
True
Suppose 303 = -3*o + 63. Let h be (-380)/o + 1/4. Suppose 0 = -5*n - 0*r - 4*r + 848, -4*n + h*r = -662. Does 24 divide n?
True
Suppose 2*d - 1970 = -4*f, 0*d + f = -d + 987. Suppose -4*b = 3*s + s + 3964, s + d = b. Is (-6)/21 + s/(-35) a multiple of 7?
True
Let b(f) = 2*f**2 + 2*f**2 - 12 - 4*f**3 - 6*f**2 - f + 3. Let o = -18 + 15. Is b(o) a multiple of 12?
True
Let y be (-8)/28 - 194670/(-147). Let n = y - 729. Does 20 divide n?
False
Suppose -2*a + 3*z + 2382 = 11*a, -3*a - 4*z + 545 = 0. Is 7 a factor of a?
False
Let j(f) = -f**3 + 10*f**2 + 20*f - 6. Let i be j(11). Suppose -459 = -6*k - i. Is 5 a factor of k?
False
Suppose 28 = -a - 3*a. Let x(f) = 2*f + 6. Let u be x(a). Does 4 divide 8*2*4/u*-2?
True
Let c = -121 - -368. Suppose 4*d - c = -3*v + 190, -2*v + 113 = d. Is 6 a factor of d?
False
Let t(l) = -l**3 + 7*l**2 + 70. Let u be t(8). Does 18 divide (40/u)/((-12)/(-486))?
True
Suppose 0 = -95*g + 202789 + 455561. Does 14 divide g?
True
Let b(x) = 19*x**2 + 129*x - 1523. Is b(18) a multiple of 13?
True
Suppose 44*f - 39*f = -230. Let l be (1/3)/((-10)/(-2850)). Let x = f + l. Is 32 a factor of x?
False
Suppose -3*s - 47 + 8 = 0. Let j(w) = -w**2 - 2*w + 7. Let v be j(s). Let l = v + 291. Is l a multiple of 34?
False
Let z(l) = 20605*l - 218. Is 56 a factor of z(2)?
True
Let j = -2559 - -3592. Is j a multiple of 2?
False
Suppose -z + 348 = 491. Let a = 195 + z. Is a a multiple of 4?
True
Let i = 9184 + 3953. Does 40 divide i?
False
Let h be -2 + (-14)/(-2) - -43. Suppose -1955 = 43*m - h*m. Is m a multiple of 23?
True
Suppose -35 = -17*u + 10*u. Suppose -717 = -u*o + 473. Does 6 divide o?
False
Let f = -4989 - -5017. Suppose 2*v + 6 = -8. Is 13 a factor of 1464/f + 2/v?
True
Let c(m) = -2*m**2 + 13*m + 12. Let k(a) = a**2 - 9*a - 8. Let n(x) = -5*c(x) - 7*k(x). Let j(r) = -r**2 + 14*r + 203. Let w be j(-9). Is n(w) a multiple of 7?
False
Let i(b) = b**3 - 4*b**2 + b - 6. Let u = -26 + 28. Let j be 10/1*1/u. Does 12 divide i(j)?
True
Suppose r - 2*r = -8. Let u be (21/42)/((-5)/180). Is 14 a factor of 100 + 5/20 + u/r?
True
Let s = 22 - 19. Suppose -4*h - 5*t + s*t = -12, 0 = -4*t. Is 0 - (-117 + h + 1) a multiple of 19?
False
Suppose 2*q + 2 = -5*p, -5*q + 4*q = 2*p. Suppose 4*n + 4*w - 1628 = -0*w, -q*w - 387 = -n. Does 13 divide n?
True
Let g(a) = -3607*a - 277. Is 6 a factor of g(-2)?
False
Let v(i) = i**3 + 6*i**2 - 16*i - 5. Let a be v(-8). Let h be a*(24/(-70) + (-18)/(-126)). Is 1/h*219/3 a multiple of 5?
False
Let l