19 a factor of k(2)?
True
Suppose -x - 4*w + 3 = 0, -w = -x - 0*w - 2. Let v be (2*-41)/((-2)/x). Let s = -9 - v. Does 8 divide s?
True
Let w(b) = -2*b**3 + 17*b + 3. Let t(x) = x**3 + 17*x**2 + 30*x - 4. Let z be t(-15). Does 44 divide w(z)?
False
Suppose -2*z + 4*z = -9*z. Suppose -2*j + 60 = -3*a, -j - j - 3*a + 36 = z. Is 12 a factor of j?
True
Let i(w) be the first derivative of w**4/4 - 10*w**3/3 + 13*w**2/2 + 1. Let s = 80 - 71. Is i(s) a multiple of 12?
True
Suppose t + t - 4*u - 12 = 0, 3*u = 5*t + 5. Does 22 divide (-2 - t)/(1/25)?
False
Suppose 364*d - 389*d = -43150. Does 11 divide d?
False
Let p(q) = 39*q - 23. Is 25 a factor of p(7)?
True
Let b be 2 + 0 + -96 + -6. Let k be -3 - -2*b/(-8). Does 14 divide 66/15*(-2 + k)?
False
Let n be (3 - 5)/((-2)/4). Is 19 a factor of 6 + -2 - -27 - n?
False
Let i(j) = 9*j - 4. Let b be i(14). Suppose -6*r + 4*r = -b. Does 12 divide r?
False
Suppose -16*l = 53*l - 32016. Does 14 divide l?
False
Suppose 17099 = 44*y + 3547. Is 7 a factor of y?
True
Let d(u) = 4*u**3 - 4*u**2 - 5*u + 1. Let h be d(4). Suppose v - 2 = 2*l + 72, -2*v = l - h. Is v a multiple of 21?
True
Suppose c - 2*c = -5. Let l(g) = 16*g**2 - 4*g - 2. Let q be l(-1). Suppose -4*i - s - 9 = -c*i, 4*s + q = i. Is 5 a factor of i?
False
Is ((-242)/165)/11 - 1652/(-15) a multiple of 11?
True
Let v be 4/(-6)*(-6)/4. Is 37 a factor of (4/(-6))/((-339)/333 + v)?
True
Suppose -9 - 15 = 3*i. Let r be (-4)/(-2) + (i - -6). Suppose r*k = -2*k + 2*o + 14, 0 = -k - o - 3. Does 2 divide k?
True
Let x(p) = 60*p**2 + 2*p + 1. Let l be x(-3). Suppose -5*f + 5*o = -l, 120 + 109 = 2*f + 3*o. Suppose 0 = -3*c + 8*c - f. Is 22 a factor of c?
True
Let w(d) = 35 + 0*d**2 - d**2 - 39 + 11*d. Is 6 a factor of w(7)?
True
Suppose 0 = -4*c - 5*o + 1371, 4*o = -5*c - 982 + 2689. Does 16 divide c?
False
Suppose -8 - 4 = 4*m, 0 = 5*p - 2*m - 16. Let a = 283 - 103. Suppose -a = -k - p*k. Is k a multiple of 15?
True
Suppose 0 = -50*c + 33785 + 16315. Is c a multiple of 17?
False
Suppose -4*z - 45 = -2*p + z, 2*p = -4*z + 18. Let k = -19 - -53. Let m = k - p. Is 4 a factor of m?
False
Let a(x) = 29*x - 127. Is 10 a factor of a(19)?
False
Let z(t) = 12*t**2 - t + 12. Let b be z(-5). Suppose 54 = l - 4*u - 117, -2*l = -3*u - b. Is l a multiple of 9?
False
Let f(p) = 2*p + 16. Let z(o) = o + 1. Let y(n) = -f(n) + 3*z(n). Let k be y(15). Suppose 0 = -3*a + 4*t + 48, k*t = 4*a + a - 80. Is a a multiple of 3?
False
Suppose 2*d = 3*w, -2*w - w - 15 = 3*d. Is ((-21)/w)/(21/364)*1 a multiple of 22?
False
Suppose -2409 - 6721 = -22*f. Is f a multiple of 83?
True
Let v = 3192 + -2048. Is v a multiple of 43?
False
Suppose 10*d + 2264 = 2*d. Is d/(-3) + ((-22)/3 - -6) a multiple of 23?
False
Suppose 0 = k + l - 3 - 450, -1803 = -4*k - l. Suppose 3*d + 2*d = k. Is d a multiple of 9?
True
Let l(q) = 3*q - 7. Let b be l(3). Does 3 divide 10*((-4)/8 + b)?
True
Let r be 4 + 51 - (-1 - 2). Suppose 2*v + r = -z, -4*z + 16 = -v - 31. Let q = v + 46. Is 11 a factor of q?
False
Let i(o) = -5*o**3 - 30*o**2 + 19*o - 16. Is i(-11) a multiple of 80?
True
Let b(a) be the first derivative of -a**3/3 + 9*a**2/2 - 9*a + 1. Let p be b(8). Let o = p + 23. Does 4 divide o?
False
Let m(r) = r**3 - 12*r**2 + 12*r - 13. Let s be m(11). Is 6 a factor of (-53 + -1)/(s - -1)?
True
Let j(o) = -4*o - 5. Let l be j(-2). Suppose -3*y + 21 = l. Let a = y + -3. Is a a multiple of 3?
True
Let q(c) = -c**3 - 2*c**2 + c - 32. Let l be q(0). Suppose -4*g - 178 = -2*p - 3*g, 2*p - 190 = -5*g. Let t = p + l. Is 19 a factor of t?
False
Suppose -5*w + 5*c = -2010, 228 - 1428 = -3*w + 5*c. Is 9 a factor of w?
True
Suppose -2*c - 1 = -2*i + 25, 3*i = 2*c + 27. Let z = 37 + c. Suppose 2*b + x = 5*x + 76, 0 = -5*x - z. Is b a multiple of 12?
False
Let t = 1512 - 820. Is 66 a factor of t?
False
Is -6 + 2 + 343 - 6 a multiple of 27?
False
Let o = -225 + 313. Does 3 divide o?
False
Suppose 0 = 3*g + 3*f - 51, 0*g - 3*f + 81 = 5*g. Is 82 - (-20)/g*-3 a multiple of 27?
False
Suppose 0 = -v, -37*u + 34*u = -v - 2949. Is 35 a factor of u?
False
Let i(t) = -7*t - 38. Let p be i(-6). Let n = -5 + 10. Suppose d = -2*w + 7, -1 = p*w - 6*w + n*d. Is 2 a factor of w?
False
Let t = -67 + 17. Let v = t - -130. Let b = -26 + v. Is b a multiple of 27?
True
Suppose -2*i = -187 + 47. Is 5/(1 - -4)*i a multiple of 33?
False
Let a be ((-10)/20)/(1/(-16)). Suppose a*z - 13*z = 0. Suppose z = -4*q - v + 25, -3*q - 4*v + 14 = 5. Is 2 a factor of q?
False
Suppose 46*s - 131*s = -49470. Is 3 a factor of s?
True
Let b be (-15)/2*(-5 - (-55)/(-25)). Let f = 106 - b. Is f a multiple of 4?
True
Let m(f) = -492*f + 3. Is m(-1) a multiple of 11?
True
Let h = 86 - 45. Let w = -27 + h. Is w a multiple of 5?
False
Let p(n) = -n**3 + 8*n**2 + 5*n - 36. Let h be p(8). Suppose -4 = h*d, -4*f = -d - 186 - 71. Is f a multiple of 8?
True
Suppose -5*l - 2*v = -20, 2*v = -3*l - 2*v - 2. Suppose t + l - 1 = 2*m, 0 = 4*t + 2*m - 30. Let w(f) = 3*f**2 + 3. Is 27 a factor of w(t)?
False
Let f = -2 - -5. Suppose f*g - 7*g = -72. Is ((-26)/(-4))/(9/g) a multiple of 6?
False
Suppose -b = -2*b + x + 969, 0 = -3*b - 2*x + 2907. Is 16 a factor of b?
False
Let h = -540 + 300. Does 10 divide (-3)/(9/h*1)?
True
Suppose -676 = 9*r + 269. Is 2 a factor of 2/(1 - r/(-115))?
False
Let o be 22/((-6)/2 - -2). Let r(t) = -t**2 - 27*t - 10. Is r(o) a multiple of 20?
True
Suppose -3*x + 64 + 239 = 0. Is x even?
False
Suppose 5*q - 3*l + 10 = 0, 0 = 4*q + 5*l - 10*l + 21. Let r(m) = 70*m - 11*m - 3 + 69*m. Is r(q) a multiple of 25?
True
Let f = 137 - 6. Is f a multiple of 21?
False
Does 59 divide 4/(-1*(-15)/5)*354?
True
Let s = -300 - -840. Is s a multiple of 12?
True
Let n(f) = f**2 - 3*f + 70. Is n(0) a multiple of 15?
False
Is 16 a factor of (1 + (-14)/8)/(4/(-2704))?
False
Let f(r) = r**2 - 11*r + 9. Suppose 0 = -5*h - m + 57, -4*h = -3*m - 57. Is 21 a factor of f(h)?
True
Suppose -3*j - 670 = -5*j. Suppose c + 2*c - s - 217 = 0, -5*c = 5*s - j. Is 36 a factor of c?
False
Suppose 5*l + m = -39, m = l - 2*m + 11. Does 6 divide ((-1)/3)/(l/1032)?
False
Let o be 1/(0 + 1/35). Suppose -2*b = d + o, 0*d = 5*d - 3*b + 162. Is 7 a factor of ((-6)/9)/(2/d)?
False
Let y(d) = d**2 + 7*d - 4. Let w(t) = -t**3 - 4*t**2 + 7*t + 4. Let n be w(-5). Let o be y(n). Let u(g) = -4*g - 2. Is u(o) a multiple of 10?
False
Suppose 0 = 3*p - a - 5, 3*a - 3 = p - 2. Suppose 0 = -p*m - 3 - 67. Let l = 70 + m. Is 21 a factor of l?
False
Suppose -5*g + 4*t = -14048, -24*g + 4*t = -25*g + 2800. Is g a multiple of 39?
True
Let k(j) = -j**3 - 15*j**2 + 15*j - 14. Let q(r) = r**3 + r**2 + 1. Let p(h) = k(h) + 2*q(h). Is p(12) a multiple of 12?
True
Is 4/(-5) + (-15790)/(-50) a multiple of 35?
True
Suppose 2*d - 184 = 4*o + 7*d, o - 4*d = -67. Let f = -40 - o. Is 11 a factor of f?
True
Suppose 3*b = 5*o - 144 - 14, 3*b = -3. Suppose -2*n + o = a, -n + 4*a = 3 + 4. Does 12 divide n?
False
Suppose 0 = -2*k - 5*y + 169, -y = k - 3*y - 107. Suppose 4*c - k = 11. Suppose 2*v - c = -3. Is v a multiple of 4?
True
Suppose -218 = -r - 4*x, 3*r - 604 = -0*r - 2*x. Is r a multiple of 35?
False
Let s = -36 - -41. Suppose -466 = 2*k - 6*k + s*c, 116 = k - c. Is 19 a factor of k?
True
Suppose -4*v - 3*m + 52 = 0, 0 = -5*v + 2*m + 34 + 8. Let d = 235 + -237. Let t = v + d. Is 6 a factor of t?
False
Let z(n) = -n**3 + 13*n**2 - 11*n - 11. Let h be z(12). Is 6 a factor of h - (-4 + 0 + -1)?
True
Let b = 3 - 9. Let i(v) = 125*v + 195. Let n(y) = -9*y - 14. Let h(t) = -4*i(t) - 55*n(t). Is h(b) a multiple of 13?
False
Let z(l) be the first derivative of -l**4/4 - 2*l**3 - 5*l**2/2 + 3*l + 6. Let b be z(-5). Suppose o = 4*s + b*o - 170, 3*o = -3*s + 129. Is s a multiple of 21?
True
Let m be 7 + (-2)/(-4)*-6. Suppose -4*k + 8 = 3*x - 8, -4*x - m = -k. Suppose -4*j + o + 97 - 12 = 0, 5*j = -k*o + 122. Does 11 divide j?
True
Let y(v) = v**2 + 18*v + 15. Let p = 90 + -108. Is 15 a factor of y(p)?
True
Let x(j) be the first derivative of -j**4/4 - j**3 + j**2/2 - 4*j + 1. Suppose 14 - 44 = 6*c. Is x(c) a multiple of 11?
False
Suppose -9*n + 10830 = 10*n. Is 57 a factor of n?
True
Suppose -4*d = -5*v - 25, -3*d + v + 18 = -2*v. Suppose d*k + 84 = 234. Does 6 divide k?
True
Suppose -2*k + 3*o = -244, -13*k + 7*k + 712 = -4*o. Does 