e
Let c be 2*(-2)/(4/(-15)). Let w = -23 - -27. Let v = w + c. Is 10 a factor of v?
False
Let s = -80 + 167. Is s a multiple of 13?
False
Let j(p) = 9*p**2 + 9*p - 34. Is j(3) a multiple of 74?
True
Let c be (-64)/3*(3 + 9). Does 9 divide c/(-14) - (-28)/(-98)?
True
Let z(x) = -6 + 3 - 14 - 12*x + 4*x. Let w be z(-16). Suppose -5*v - w + 681 = 0. Is v a multiple of 33?
False
Let a be 3475/55 + (-2)/11. Suppose -19 = -4*i - a. Let q = i - -20. Does 3 divide q?
True
Suppose 5*f - 2*h = -62, 2*f = 2*h - 7*h - 19. Let c be 23/(-6) + 2/f. Let y(i) = -5*i + 1. Is 20 a factor of y(c)?
False
Let h(y) = -2*y**2 + 19*y + 10. Let s(j) = -3*j**2 + 20*j + 9. Let f(a) = -4*h(a) + 3*s(a). Does 7 divide f(-12)?
True
Let k be (-6 - (-5 - 1))*(2 - 1). Suppose -n = -k*h - h - 36, n = 2*h + 38. Is n a multiple of 10?
False
Let d = -127 - -132. Is (d - 3)*1 - 283/(-1) a multiple of 15?
True
Suppose a + y - 4*y = 123, -393 = -3*a + y. Does 33 divide a?
True
Let k(j) = 32*j + 315. Does 13 divide k(-7)?
True
Let y = 13 - 22. Suppose -4*n - 19 = 73. Let b = y - n. Does 7 divide b?
True
Let z(s) = -12*s**2 - 13*s + 14. Let l be z(1). Let q(k) = -k**2 - 23*k - 11. Let g(r) = 2*r**2 + 45*r + 21. Let o(m) = -6*g(m) - 11*q(m). Does 21 divide o(l)?
False
Let d be 12/10*5*2. Suppose d - 284 = -2*z. Suppose 0*n + 4*l - z = -3*n, 0 = 3*l + 6. Does 20 divide n?
False
Let j(v) = -54*v - 363. Does 77 divide j(-21)?
False
Suppose -2*n + 2*i + 2 = -2*i, 0 = -2*n + 3*i + 5. Suppose 3*o + n = 259. Does 28 divide o?
True
Suppose 4*p - 9 = 11. Suppose -119 - 316 = -p*n. Is n a multiple of 29?
True
Suppose -5*j = -k - 13, 0*k - 2*k = 4*j - 16. Let z be ((-2)/j)/((-8)/24). Let y(v) = 17*v + 1. Does 14 divide y(z)?
False
Is (-2)/(-30)*93*35 a multiple of 32?
False
Suppose 24*r - 27*r = -1980. Does 60 divide r?
True
Let u(s) = 5*s - 2. Let i(p) = -p. Let x(k) = -2*i(k) + u(k). Suppose -5*c = 2*a - 20, 5*c - 6 = -a + 9. Does 12 divide x(c)?
True
Suppose 5*r - 3719 = -4*m, -3 = 4*r - 5*r. Is m a multiple of 61?
False
Let n(o) = 4*o**2 + 2*o**2 - 16 + 12 + 4*o. Is n(-3) a multiple of 4?
False
Suppose -43 + 122 = 4*a - j, -39 = -2*a + j. Suppose -3*o = o - a. Suppose -x + 6*x - 70 = -o*y, 0 = 5*y - 4*x - 34. Does 10 divide y?
True
Let g(i) = -i - 21. Let l be g(-14). Let p = l - -9. Suppose 0 = -p*n + 39 + 7. Does 21 divide n?
False
Let f(s) be the first derivative of 3 + 0*s**2 - 1/4*s**4 - 2*s + 7/3*s**3. Is 17 a factor of f(3)?
True
Suppose 6*n + 5*n - 33 = 0. Suppose -m + 2*m - 6 = -n*d, 32 = 3*m + 2*d. Does 6 divide m?
True
Let x(c) = -7 - 4*c - 22*c + 10*c - 30*c. Does 9 divide x(-3)?
False
Let v = -19 - 14. Is (-2959)/v + (-8)/(-6) a multiple of 15?
False
Let h(z) = 3*z**3 + 2*z**2 - 62*z - 11. Is 20 a factor of h(9)?
True
Let j(d) = -4*d**3 - 22*d**2 + d - 9. Is 5 a factor of j(-7)?
False
Suppose 2 = -4*x + 18. Let v be 466/x + (-9)/(-18). Suppose t = l + 6*t - v, 3*l + 2*t - 299 = 0. Does 19 divide l?
False
Suppose -27*k + 333 = -30*k. Let h = 202 + k. Does 13 divide h?
True
Suppose 7*f - 722 - 1735 = 0. Is f a multiple of 35?
False
Suppose -4*d + 3241 = -3*a, -11*d + 10*d - 4*a = -796. Is d a multiple of 53?
False
Let p be 412/(-12) + (-6)/9. Let c = 43 + p. Let r = c + 69. Does 33 divide r?
False
Suppose -3*h = 3*m - 15, 11 - 1 = 4*h - m. Suppose h*o = -3*l + 159, -2*l - 2*l = -o - 187. Does 16 divide l?
True
Let s(o) = -6*o - 14. Let u be 3 + 0 - (-46 + -2). Suppose -5*y - u = -2*b, -3*y + 3*b - 22 = 14. Is s(y) a multiple of 20?
True
Suppose -n = -5*n + 8. Let f(a) = -2*a**n + 4*a**2 + 7*a - a**2. Is 16 a factor of f(5)?
False
Suppose 5*j - 3377 = -n, -5*n = -5*j - 679 + 4074. Is 27 a factor of j?
False
Let u be (-4)/(-24) - (-139)/(-6). Let v = u - -49. Is v a multiple of 6?
False
Let b(m) = 4 - 1 - m - 1 - 1 + 2*m**3. Let f be b(1). Suppose -2*n = f*q - 38, 2*n - 32 = -0*n - 5*q. Is n a multiple of 7?
True
Suppose 13*z = 8254 + 4486. Is z a multiple of 14?
True
Let y be (-6)/(-4) - 75/2 - -2. Let b(u) = -u**3 - 34*u**2 - 2*u + 12. Does 40 divide b(y)?
True
Let d be (-20)/(-6)*78/65. Let z(j) = -d*j**2 + 2*j**2 + j - 4*j**3 + 3*j**2. Does 17 divide z(-2)?
True
Is (6 + (-4)/1)/((-3)/(-66)) a multiple of 22?
True
Let f(p) be the first derivative of 5*p**4 + 2*p**3/3 + 3*p**2/2 - 5*p - 12. Is 28 a factor of f(2)?
False
Let x(u) = 11*u + 3. Let y = 11 + -14. Let b be -6*y/24*4. Is x(b) a multiple of 9?
True
Let c = -1724 + 3224. Does 9 divide c?
False
Let f = -66 - -68. Is 3 a factor of (f/(6/13))/((-3)/(-9))?
False
Suppose -p + 2*b + 23 = 2*p, -4*p = 3*b - 8. Suppose 0 = 7*w - p*w - 240. Is 23 a factor of w?
False
Let m(c) = c**2 - 9*c + 4. Is m(11) a multiple of 13?
True
Suppose -178 = -2*s + 2*v - 4*v, 0 = -2*s - 5*v + 187. Let h = s + 62. Is h a multiple of 25?
False
Suppose -z + 4 = -0. Is 11 a factor of (z/(-2))/((-6)/225)?
False
Suppose 0 = -3*m + 4*n - 8, -2*m - 3*m - n = -2. Suppose m = j - 7 + 1. Is j even?
True
Suppose 0 = 3*s - 230 - 544. Let q be s/8 - 11/44. Is (3/(-1))/((-6)/q) a multiple of 16?
True
Suppose 9*j - 2489 = 949. Does 6 divide j?
False
Suppose -5*p = l + 6 + 1, -l + 4*p + 2 = 0. Let h = l + 23. Is h a multiple of 21?
True
Suppose 4*a - o = 1582, 1172 = 3*a - o - 14. Does 44 divide a?
True
Let b(u) = 32*u + 220. Is 28 a factor of b(-6)?
True
Suppose 3*f = -0*f. Let a(p) = -p**2 + 2*p - 16. Let s be a(f). Let m = s - -33. Does 4 divide m?
False
Let a = 13 + -17. Let n be (-4 + 20)/a - -1. Does 18 divide 71 + 0 + -1 - n?
False
Let z(s) = -s**3 + 7*s**2 - 4*s - 1. Let o(a) = -5*a - 5. Let u be (-4)/(-3)*3/(-2). Let d be o(u). Does 15 divide z(d)?
False
Suppose -c - 5*c = -402. Let a = 82 - c. Is a a multiple of 5?
True
Suppose -5*d + 826 = -469. Let b = 376 - d. Does 39 divide b?
True
Let r(w) = 2*w + 15. Let j be r(-11). Let t be 2 + 0 - (j - -4). Suppose -t*n + 13 + 193 = 4*d, n - 4*d = 22. Does 19 divide n?
True
Let m(y) = -y**3 - 2*y**2 - y + 2. Let t be m(1). Let h be t + 5 + 0/(-4). Suppose 0 = f + h*d - 11, 3*f - 3*d - 29 = -f. Is 4 a factor of f?
True
Suppose -8*j - 5*g + 4639 = -4*j, 5*j + 3*g = 5815. Is 12 a factor of j?
False
Let l(z) = -z**3 + 18*z**2 + 5*z - 27. Does 7 divide l(16)?
False
Let o(h) = -23*h + 1. Let r(j) = -23*j. Let s(y) = 2*o(y) - 3*r(y). Let g be s(3). Suppose -5*q + 214 = -g. Is q a multiple of 13?
False
Let p(k) = 52*k**2 - 4*k + 3. Let z(g) = g**2 - g + 1. Let a(c) = p(c) - 3*z(c). Is a(1) a multiple of 16?
True
Suppose 0 = 2*i - 5*i + 9. Let c be 1 - -2 - (-4 + i). Let b(r) = 9*r - 6. Is 10 a factor of b(c)?
True
Let g(y) = y**3 - y**2 + 2. Let x be g(0). Suppose -15 = x*h - z, -3*z - 19 = 2*h - 0*z. Let a(n) = -n**3 - 7*n**2 + 8*n + 11. Does 11 divide a(h)?
True
Let i(s) be the first derivative of -3*s**2 - 7*s**2 + 8 + 1 - 2 - 4*s. Is i(-2) a multiple of 18?
True
Let y(f) = 29*f**2 - 57*f - 380. Is y(-8) a multiple of 46?
True
Suppose -34*x + 45999 + 12651 = 0. Is x a multiple of 65?
False
Let l(h) = -h + 3. Let v be l(0). Suppose v*b - 9 = 6. Suppose b*y = 144 + 156. Does 15 divide y?
True
Suppose -h = s - 1033, 2*s + 3*s = -h + 5177. Is 14 a factor of s?
True
Does 125 divide 8 + (-20525)/(-15) - 4/3?
True
Let s(y) = 0*y**2 + 32 + 0 - 2*y**2 - 17*y**3 + 18*y**3. Is 4 a factor of s(0)?
True
Let w be (6882/12 - -3) + 2/(-4). Suppose w = -4*f + 8*f. Is f a multiple of 24?
True
Let a be (-10)/45 - 256/(-18). Suppose 0 = -o - 4 + a. Does 3 divide o?
False
Let z(c) = -c**3 - 9*c**2 - 7*c + 7. Let r be z(-13). Suppose -10*j + 4*j - r = 0. Let a = -29 - j. Does 25 divide a?
True
Let u(o) = -19*o**2 - 9*o - 1. Let p(n) = -37*n**2 - 17*n - 3. Let f(s) = -3*p(s) + 5*u(s). Is f(-2) a multiple of 8?
True
Let k(a) = -a**2 + 14*a + 9. Let y be k(13). Suppose l - y = -5*p + 31, 14 = 2*p + 4*l. Does 7 divide p?
False
Let o(z) = 11*z + 151. Is o(-10) a multiple of 15?
False
Suppose -4 = -3*v + 11. Suppose -v*s = -0*s - 25. Suppose u + 2*g = -0*u + 18, -s*u - g = -99. Does 5 divide u?
True
Suppose 17*v = 3174 + 2691. Is 3 a factor of v?
True
Suppose -2*f + 5*c = 2, -18*f + 17*f - c + 13 = 0. Is f even?
False
Suppose -u - 2*u + 13 = -d, 3*d - 4*u = -14. Suppose 4*z = -d*h + 6, h - 2*h - 3 = 0. Suppose -z*s = -0*s - 21. Is s even?
False
Suppose 15 + 15 = -5*l. Let s = 23 + l. Is s a multiple of 17?
True
Let g = 77 + -77. Suppose a - 54 = 