e
Let r(x) = -3*x**2 - 43 + 6*x + 41 + 6*x**3 - 3*x**3. Is 11 a factor of r(2)?
True
Let w(z) = 4*z**2 - z + 52. Is 15 a factor of w(-7)?
True
Let p = 1087 + -365. Does 10 divide p?
False
Let g = 14 + -20. Let f be (-51)/g*(-1 + 5). Let p = f + -22. Does 4 divide p?
True
Let u(z) = -7*z + 23 - z**3 + 0*z**3 - 25 + z**2 + 7*z**2. Let d be u(7). Is (d/(-5))/((-2)/(-50)) a multiple of 3?
False
Let s be 2/4*1*12. Suppose -s*v + 988 = -524. Does 43 divide v?
False
Let x(h) = 17*h**3 - h**2 + h + 3. Let b be x(-1). Let g(k) = -k**3 - 15*k**2 + 9*k - 36. Does 20 divide g(b)?
False
Let g = -14 + 17. Suppose 45 = -5*v - 3*y, 0 = -g*v - 3*y + 3 - 24. Let k = v + 22. Is k a multiple of 10?
True
Let c = 205 + -173. Suppose -53 = r + 25. Does 3 divide 8/c - r/8?
False
Suppose -149*m = -140*m - 13248. Is m a multiple of 23?
True
Let f(k) = 9*k**2 + 3*k. Let s be f(-2). Suppose g = 5*r - s, 3*r + 4*g - 18 = -0*g. Is 3 a factor of 212/24 + 1/r?
True
Let f(i) = -61*i + 193. Is f(-7) a multiple of 31?
True
Let t(d) = -d**3 + 5*d**2 - 2*d - 6. Let m be t(4). Suppose 3*a - 90 = -m*f, -2*a - 38 = 3*f - 103. Is a a multiple of 28?
True
Is (-52)/(-156) - -7*(-146)/(-3) a multiple of 21?
False
Suppose -5634 = -4*x + 2*j, -2*j - 7044 = -5*x - 0*j. Does 30 divide x?
True
Suppose 5*g + 345 = 4*p + p, 5*g = 0. Is 9 a factor of p?
False
Does 29 divide 74*33 + (-18)/1 + 12?
True
Let a(l) = -l**2 + l - 1. Let q(n) = -4*n**2 - 8*n - 25. Let y(z) = -3*a(z) + q(z). Is y(-7) a multiple of 3?
True
Let c(o) = 2*o - 9. Let q be c(12). Let m be -1 + 4 + (-12 - -15). Is 23 a factor of m/q + 1368/30?
True
Let b(i) = -7*i - 3. Let j = -33 - -27. Let a be b(j). Suppose a + 36 = 3*l. Is 25 a factor of l?
True
Let d = 113 - 92. Suppose -17*r - 204 = -d*r. Is 22 a factor of r?
False
Suppose 2*y = 3*k - 35, y + 3*k = 6*y + 110. Is -5*(-5)/y*61*-2 a multiple of 16?
False
Let t(o) = 7*o**3 + o**2 + o. Let c(a) = -a**2 + 10*a - 7. Let s be c(9). Is 9 a factor of t(s)?
False
Suppose n - 80 = 6*n. Let a = n - -175. Is 29 a factor of a?
False
Let k be (2/(-4))/((-3)/(-6)). Is 42 a factor of ((-579)/(-15))/((-2)/(-11 - k))?
False
Let c(y) = -13*y + 7. Let n = 0 + 5. Let g be c(n). Let a = g + 84. Does 13 divide a?
True
Suppose 0 = 33*o - 20473 + 8197. Is 124 a factor of o?
True
Suppose -1878 + 496 = -2*z. Is z a multiple of 42?
False
Let b = -598 - -666. Is 4 a factor of b?
True
Let a = 118 + -52. Is a even?
True
Let a(n) = -19*n**3 + 2*n**2 + 4*n - 4. Is a(-3) a multiple of 38?
False
Let x be 1 + 1 + (-6 - -6) - -1. Is 14 a factor of (-10)/(-45)*x*21?
True
Let s be 0 + (-2*61)/(-2). Let g = -22 - -21. Let k = s + g. Does 15 divide k?
True
Let j(w) = 10*w**2 + 15*w + 15. Let k be j(-9). Suppose 63 = -3*f + k. Does 24 divide f?
False
Suppose -759 = -7*q - 4*q. Let v = q + -49. Is 5 a factor of v?
True
Suppose 0 = -3*t + 100 + 50. Let s = t - 26. Is 14 a factor of (46/8)/(6/s)?
False
Let n = 5991 - 3451. Is 20 a factor of n?
True
Let q(o) = o**3 + 10*o**2 + 11*o - 9. Let x be q(-9). Let f = x + 39. Suppose 2*h + 5*c = -f + 42, -2*c = -4. Is 3 a factor of h?
False
Let y be (-7)/(-2)*12/(-2). Let f be (-14)/y - (-98)/(-3). Does 15 divide (f/(-12))/((-2)/(-30))?
False
Suppose -6*q - 1226 = -3314. Is 58 a factor of q?
True
Let r = 2079 - 963. Is r a multiple of 9?
True
Let a(u) be the second derivative of u**4/3 + 7*u**3/6 + 4*u**2 - 48*u. Is a(5) a multiple of 13?
True
Suppose 0 = 2*t - 5*n - 215 - 601, 3*n = t - 410. Is t a multiple of 17?
False
Let s be -2 + 45*6/9. Suppose 2*h + 10 = s. Suppose -6*o - h = -387. Is o a multiple of 9?
True
Let g(f) = -f**2 - 13*f + 16. Let s be g(-14). Let v be s/(-12) + (-11)/6. Is v*(30 - 2)/(-2) a multiple of 14?
True
Let b = 4 - -2. Suppose b*q = q + 170. Let w = q - 20. Does 5 divide w?
False
Let f(t) = t**3 - 24*t**2 - 29*t - 32. Let j be f(24). Does 11 divide (9/(-6))/(((-6)/j)/(-1))?
False
Suppose -6*q + 152 = -10*q. Let h = 50 + q. Does 4 divide h?
True
Suppose a + 288 = 2*a. Suppose 4*n = -7*d + 10*d + 505, 4*d + 670 = 2*n. Let v = d + a. Does 33 divide v?
False
Let s(u) = -5*u - 6. Let p be s(-12). Suppose -5*q + 5*i = -0*q - 150, p = 2*q - 4*i. Suppose -5*z + 3*l + 103 = -38, 0 = z + l - q. Does 30 divide z?
True
Let c be (-19 - -16)/(6/(-400)). Let a = -142 + c. Let m = -38 + a. Is 9 a factor of m?
False
Suppose n - d = 2*d - 28, 3*d + 83 = -2*n. Let l = n + 139. Is l a multiple of 17?
True
Suppose -9*i + 40 = -5*i. Is 6 a factor of (8/i)/(8/360)?
True
Let l(d) = -d**3 + 16*d**2 + d - 1. Let p be l(16). Suppose -3*s + 0*u + 89 = 4*u, s + 5*u = p. Does 4 divide s?
False
Is 2 a factor of -12*(8 - 156/8)?
True
Let y(p) = -p**3 - 4*p**2 - 2*p - 5. Let d be y(-4). Suppose 4*g = 5*g - 5*j - 12, -5*g + 82 = -d*j. Is 17 a factor of g?
True
Suppose -3*f + 3*h = -2667, 0*f = -3*f - 2*h + 2662. Is 46 a factor of f?
False
Let s = -50 - -80. Suppose -s = -7*r + 2*r. Is r a multiple of 6?
True
Is (-246)/(-18) + 2 - 2/(-6) a multiple of 2?
True
Suppose 86 - 304 = -2*k. Does 7 divide k?
False
Suppose 6624 = -40*p + 52*p. Is p a multiple of 24?
True
Let w(n) = 14*n + 4. Let z be (16/(-12))/((-1)/3). Is 30 a factor of w(z)?
True
Suppose 93 = 2*w + 95. Does 3 divide (-9)/w - (-18 - -18)?
True
Let t be 1/(-4) - 1095/(-12). Suppose 4*c - 5*y = t, 0*c + 4*y = 2*c - 44. Is c a multiple of 3?
True
Let t(o) = -o + 11. Let d be t(10). Suppose 3 = -k - d. Is 7 a factor of (k/8)/((-2)/28)?
True
Let o = -2 + 8. Let r(v) = -v**3 + 7*v**2 - 7*v + 9. Let c be r(o). Suppose c*s - 104 = 97. Is 13 a factor of s?
False
Suppose -3*v - 1008 = -q, 4*q - 4262 + 166 = -4*v. Is q a multiple of 6?
True
Let y be 4/26 + (102/13 - 1). Suppose y*l = 2*l + 95. Is 7 a factor of l?
False
Let r = -63 - -66. Let n = -14 - -106. Suppose -5*d = i - 36, r*d - 22 = -5*i + n. Is i a multiple of 17?
False
Let m(y) = -y**2 - 27*y + 76. Does 8 divide m(-26)?
False
Let x be (-4 + 14)*93/6. Let m = x - 101. Is m a multiple of 9?
True
Let z(c) = -2*c**3 - 34*c**2 - 4*c + 20. Is 14 a factor of z(-19)?
True
Suppose -2*v - 5*c = 2, 4*c = -2*v - 0*v - 2. Let k = -16 + 8. Is (14/k)/(v/32) a multiple of 14?
True
Let m be (5 + -1)*(-1 + 3). Suppose 65 = -m*r + 13*r. Is 2 a factor of r?
False
Let j(y) = 10*y**2 - y - 4. Let t be (9/12)/(-1)*4 - -1. Does 4 divide j(t)?
False
Is 4 a factor of (28/(-12) + -3)*(-153)/6?
True
Suppose 11*y + 1490 = 6*y. Is (y/3)/(4/(-6)) a multiple of 18?
False
Let b be 2*(361/(-2) - 0). Let r = 766 + b. Suppose 2*g = -3*g + r. Is 21 a factor of g?
False
Let w be (-315 - -2)/((-2)/2). Suppose -10*z + 407 = -w. Is 17 a factor of z?
False
Let f(y) be the third derivative of y**5/20 - 5*y**4/4 + 5*y**3/2 + 28*y**2. Does 6 divide f(11)?
True
Let c(y) = y + 71. Is c(-25) a multiple of 9?
False
Suppose 10 = -2*i + 2. Let h = i + 37. Is h a multiple of 11?
True
Let m(t) = t**2 - 5*t - 4. Let z be m(6). Suppose 0 = 3*d + 12, 2*o + 3*d - z*d - 16 = 0. Is o a multiple of 5?
True
Let p be 5 + -6 + (-9)/(-3). Suppose -3 = -m + o + 2, -p*o = -m + 4. Does 20 divide -3*1/m*-40?
True
Is 70 a factor of 3 - -1 - -245 - (0 - -2)?
False
Let m(a) = 4*a - 5 + 0*a + a**2 + 0 - 2. Let r be m(-6). Suppose 4*i + p - 27 = 28, -r*p - 70 = -3*i. Is 4 a factor of i?
False
Let f be (-96)/(-36) - (-2)/6. Suppose 5*h - f = 7, j - 4*h + 1 = 0. Suppose -2*k = 4*z - 3*k - 38, j = z + k. Does 2 divide z?
False
Suppose z + 4*v + 6 = 0, -3*z + 1 + 11 = -3*v. Let u = 183 + -121. Suppose -c - 2*i - 13 = -39, 2*i = -z*c + u. Does 6 divide c?
True
Suppose 3*y = -5*s, -3*s - 3*y - 21 = -5*s. Suppose 0 = s*r, -f - 13 = -r - 47. Does 17 divide f?
True
Let f(x) = 2*x + 59. Does 16 divide f(-14)?
False
Is 280/(-21)*(-12)/(-15)*-21 a multiple of 14?
True
Suppose 3*b - 185 = -2*r, -8*b - 12 = -12*b. Is 3 a factor of r?
False
Let p = -428 - -743. Suppose -p = -n - 4*n. Let x = 99 - n. Does 9 divide x?
True
Suppose -5*j + x = 136, -28 - 24 = 2*j - x. Is 3 a factor of ((-80)/j)/((-2)/(-28))?
False
Suppose 4*m - 2233 = -3*c, 3*c = -0*c - 3*m + 2235. Does 34 divide c?
False
Let l(m) = -m**3 - 6*m**2. Let d be l(-6). Suppose d*a - 4 = -a. Let o = 10 + a. Is o a multiple of 7?
True
Suppose -2*j + 2 = 2*x, 5*j - 2*j = -5*x + 1. Let p = j - -4. Let i(u) = 4*u + 3. Is 27 a factor of i(p)?
True
Let q(a) = 7. Let i(f) = -f + 6. Let p(y) = -3*i(y) + 4*q