 = 4. Does 2 divide l?
False
Let j = 118 + -123. Let r(q) = -7*q - 31. Is r(j) even?
True
Suppose -5*c = -2*y - 107 + 291, -y - 4*c = -66. Is 6 a factor of y?
False
Is 66 a factor of (-13 + 1 + 1)*(11 + -59)?
True
Let i be (10/20)/(1/10). Suppose i*x - 9 = -p, 0*x = -2*p - 3*x + 4. Is 30 + -1*(p + 0) a multiple of 12?
False
Let h(o) = 577*o**2 + 1. Is 34 a factor of h(-1)?
True
Let z be -4*1/(-1)*14. Suppose -2*q = 5*q - z. Let k(v) = v**3 - 7*v**2 - 5*v - 5. Is k(q) a multiple of 5?
False
Let y(l) = -17*l + 1296. Is 20 a factor of y(0)?
False
Let v be 4/14 - (-4)/(-14). Is -4 + 5 - ((-38 - 1) + v) a multiple of 10?
True
Let h = -657 - -1108. Is h a multiple of 41?
True
Let b(i) = 4*i - 22. Let p be b(6). Is 3 a factor of (26/7 - -1) + p/7?
False
Suppose 35*b = 2746 - 681. Is 6 a factor of b?
False
Suppose 43*x - 2790 = 40*x. Is x a multiple of 4?
False
Suppose 128 = u + 4*p, 4*p + 7 + 81 = u. Let l(q) = 5*q - 133. Let r be l(13). Let b = u + r. Is 7 a factor of b?
False
Let b(k) = -k**3 - 6*k**2 - 7*k - 5. Let p be b(-5). Let t be 7 - p - (0 + -138). Does 20 divide 8740/t + 3/(-7)?
False
Let n(d) = -66*d**2 + d - 1. Let g be n(5). Let q be g/22 + 4/(-22). Let l = -36 - q. Is l a multiple of 20?
False
Suppose -4*j = 4*o - 4876, -4*o + 2*j + 4877 = -11. Does 11 divide o?
True
Let c(q) = 23*q - 3. Let j = -23 + 25. Does 18 divide c(j)?
False
Suppose -q + 109 = -4*g, -3*q - g = g - 355. Does 9 divide q?
True
Suppose 17*k = 22*k - 10. Suppose -4*n = -4*q - 348, 0*n - k*n + 4*q + 170 = 0. Is n a multiple of 17?
False
Suppose 0 = a - 4*y - 1 + 5, 2*y = -2*a + 12. Suppose -3*l + 80 = -a*u, -3*l + 70 = 3*u - 5*u. Suppose 4*r - 4 = -o + 5, 0 = -3*o - 5*r + l. Is 5 a factor of o?
True
Let d = 800 + 916. Is d a multiple of 33?
True
Let l(v) = 43*v**3 - 8*v + 12. Does 68 divide l(2)?
True
Is (-6 + -168)*(39/(-6) + 4) a multiple of 29?
True
Let o(p) = 3*p + 3. Let q be o(-4). Let y(m) = -m**2 - 9*m. Let k be y(q). Suppose -4*d + d + 90 = k. Is 10 a factor of d?
True
Let q(z) = z**3 + 5*z**2 - 7*z - 6. Let r be q(-6). Suppose -6*d - d = r. Suppose m - 6 = -d*m + 5*y, 2*m - y = 21. Is m a multiple of 3?
False
Let l(j) = -30*j - 3*j**2 - j**2 + 22*j - j**2 + 1. Let z be l(-7). Let c = -134 - z. Is c a multiple of 6?
True
Let c be (-15)/2*8/(-10). Suppose 0 = -2*r + r - c. Is 6 a factor of -12*(r/3)/4?
True
Let t be 3*2/(-2) - 19*-8. Suppose -2*c = 3*j - c - t, -54 = -j + 4*c. Is j a multiple of 5?
True
Let i(y) = -y**3 + 6*y**2 + 2*y - 10. Let q be i(6). Is 46 + (q/6)/((-2)/12) a multiple of 7?
False
Suppose d = -16*d + 5831. Does 11 divide d?
False
Let o(b) = -b**3 + 1. Let j(a) = 16*a**3 - 6*a**2 + 3*a - 8. Let i(v) = j(v) + 6*o(v). Is 15 a factor of i(2)?
True
Let k(q) = q - 7. Let h be k(13). Suppose 5*b - 9 = h. Is b a multiple of 3?
True
Let h = -88 + 545. Is h a multiple of 3?
False
Suppose -12 = h - 4*h. Suppose -3*z + 4*f + 6 = 3*f, 3*z - 6 = h*f. Suppose -2*t = z*m - 34, -2*m + 20 = 2*m. Is t a multiple of 3?
True
Let p(f) = -27*f**2 - f + 1. Let c be p(1). Let s = c + 18. Is 18 a factor of (-2 + (-114)/s)*3?
False
Suppose -5*b + 3*q + 141 = 0, 2*b - 52 = -2*q - 2. Let z(a) = 2*a - 32. Let s be z(14). Let o = b + s. Is 6 a factor of o?
False
Suppose -3*x + 58 - 22 = 0. Suppose 14*l - 6 = x*l. Suppose -l*u = -3*o + 87, -5*o = 4*u - 177 + 23. Does 5 divide o?
True
Let b(k) = 37*k**2 + 7*k + 22. Does 77 divide b(-4)?
False
Let u(r) = -r**2 + 5*r + 42. Let h be u(0). Let s = h - 10. Is 16 a factor of s?
True
Suppose -25*s = -21*s - 392. Is s a multiple of 7?
True
Let d = -16 + 27. Suppose 0 = p - 1, d*p + 141 = 3*i + 8*p. Is i a multiple of 8?
True
Suppose -3*h + 5*c + 768 = 0, -3*c + 5*c - 6 = 0. Suppose h = -4*s + 645. Is 46 a factor of s?
False
Let u = -1556 - -1828. Does 14 divide u?
False
Let k be -7 - -10 - (-1 + -290). Let i = k - 86. Is 13 a factor of i?
True
Let q(h) = 7*h**2 - 32*h + 108. Is q(4) a multiple of 23?
True
Suppose 6*h - 6 = 2*w + 3*h, 0 = 4*h + 16. Let r = w - -8. Does 3 divide (r - -2)/((-5)/(-45))?
True
Does 25 divide ((-66)/(-15) - 5)*-3625?
True
Let y(d) = d - 5. Let k be y(7). Let p be -1 - (k + -1 + -3). Suppose -21 + p = -v. Does 8 divide v?
False
Suppose 3*h - 638 = -2*f, -8*h + 5*f + 866 = -4*h. Suppose -3*q = h - 730. Is q a multiple of 43?
True
Suppose v + 3 = -o + 2, 4*v + 2 = -5*o. Is o - (-1 - 9/3) a multiple of 6?
True
Suppose 48*h = 47*h + 5*n + 180, -n + 524 = 3*h. Does 5 divide h?
True
Let w(n) = n**3 + 8*n**2 - 8*n + 19. Let t be w(-8). Suppose -p - 28 = -2*x, 5*x + 4*p = -0*x + t. Is 3 a factor of x?
True
Let o(k) = 3*k - 15. Let z be o(6). Suppose -5*q + z*j = -267, 5*j = -3*q + 3*j + 145. Does 17 divide q?
True
Suppose 11*v + 311 = 1961. Is 8 a factor of v?
False
Let l be 15/(-6)*(-3)/((-15)/4). Does 11 divide 41/2 - (2 - (-7)/l)?
True
Let g(m) be the first derivative of -m**3/3 + m**2 - m + 6. Let a be g(3). Does 4 divide a/(-3)*(-18)/(-4)?
False
Is 876 - ((-20 - -10) + 6) a multiple of 22?
True
Suppose 0*f = f + 4. Suppose 14*x - 5*x + 594 = 0. Is (-18)/(-12) + x/f a multiple of 18?
True
Let o = -145 + 452. Let i = -102 + o. Is 41 a factor of i?
True
Suppose -45*b + 6490 = 3*g - 50*b, 2*g - 4330 = 5*b. Does 12 divide g?
True
Let m(a) = a**3 + 4. Suppose i - 6 = -4*o + 13, -14 = 2*i - 5*o. Does 19 divide m(i)?
False
Suppose 280 = 4*b + b. Suppose 2*w - b = 40. Is 24 a factor of w?
True
Let b(d) be the first derivative of d**3/3 - 13*d**2/2 - 14*d + 1. Suppose -388 = -21*x - 10. Is 20 a factor of b(x)?
False
Suppose 10*u - 980 = 480. Is u a multiple of 5?
False
Let l = -105 - -73. Let c = l - -18. Let x = c - -22. Is 5 a factor of x?
False
Suppose 0 = -m - 1 + 10. Let b be (m/3)/((-18)/(-96)). Suppose -h + 2*z = -z - 45, 4*z = -b. Is 15 a factor of h?
False
Suppose -a + 16 + 2 = 0. Let p = 21 - a. Suppose -2*r + r + 26 = -3*k, p*r + 5*k - 120 = 0. Is r a multiple of 8?
False
Let k = -47 - -82. Let z = 152 - k. Is z a multiple of 25?
False
Let s(m) = -1091*m**3 + 3*m**2 + 6*m + 4. Is s(-1) a multiple of 91?
True
Let i be 5 + 0*(-2)/8. Suppose 2*q + a = 104, -2*a = -2*q + i*q - 156. Does 36 divide q?
False
Suppose -3*s - s - r = -6404, 2*r = -5*s + 8008. Is s a multiple of 50?
True
Let r = -13 - -9. Let t be r/26 + 1042/13. Suppose 5*o = o + t. Is o a multiple of 20?
True
Suppose 4*s + 2*n - 4544 = 0, 80*s - 3386 = 77*s + 4*n. Does 14 divide s?
True
Let n(g) = 340*g - 119. Is n(5) a multiple of 17?
True
Let s(u) = 52*u - 616. Is 12 a factor of s(16)?
True
Let k be (140/42)/(2/3). Suppose -5*x + 2*x + 2*f + 311 = 0, 3*x + k*f - 346 = 0. Does 17 divide x?
False
Does 9 divide (140/49)/((-2)/(-77))?
False
Let l(j) = 10*j + 64. Let t(x) = x**3 - 4*x**2 - 5*x - 3. Let n be t(5). Let y(m) = -2*m - 13. Let i(k) = n*l(k) - 14*y(k). Is i(-12) a multiple of 7?
True
Let m = -86 + 30. Let y = m - -109. Let b = y + -18. Is 13 a factor of b?
False
Let h = -148 - -14. Let z = h + 164. Is z a multiple of 5?
True
Let f be (-2)/4 - ((-666)/12 + -5). Suppose 5*l + 727 = 4*i + f, -3*i + 5*l = -499. Is i a multiple of 12?
True
Let x = -230 - -450. Does 16 divide x?
False
Let o(b) = -b**3 + 8*b**2 - 7*b. Let f be o(7). Let c(x) = -2*x + 5. Let k be c(3). Is 13 + k - f - -2 a multiple of 3?
False
Suppose 31*k = 25*k + 24. Suppose -595 = -5*g + r, -k*r = -3*g + g + 220. Does 24 divide g?
True
Let l = -21 + 50. Let t be (2 + l)*1/(-1). Let g = t + 59. Does 14 divide g?
True
Let j = 593 + -351. Does 6 divide j?
False
Suppose 5*p + 6 + 94 = 0. Let d = p - -20. Suppose d = -2*g + 2 + 40. Does 7 divide g?
True
Suppose -3*b + 12 = -3*h + 5*h, b - 3*h = 4. Suppose -b*y = -3*f - 379, -4*y - 5*f + 258 = -81. Does 16 divide y?
False
Let j be -3 + (-48)/(-5 + 1). Let a(y) = -y + 11. Let z be a(j). Suppose -3*d = 5*k - 280, -z*k = k - 5*d - 168. Does 17 divide k?
False
Let i(x) = -3*x + 395. Is i(-26) a multiple of 23?
False
Suppose 6 = 2*k - 8. Suppose 309 = -4*s + k*s. Is s a multiple of 13?
False
Let w(v) be the first derivative of v**4/4 - 5*v**3/3 + 4*v**2 + v + 2. Is w(6) a multiple of 17?
True
Let c be 1*(-6)/(1 - 4). Suppose -c*j = 2*q + q - 532, -192 = -q + 3*j. Is q a multiple of 15?
True
Let c = 7 + -6. Let g(k) = 19*k**2 + k + 1. Does 2 divide g(c)?
False
Suppose -4*o + 121 + 263 = -4*j, -366 = -4*o - 2*j. Let m = o - 51. Is 16 a 