ue
Suppose -2*v = 2*v - 760. Is (v/3)/(-5)*-3 a multiple of 19?
True
Suppose 4*h = -2*r + 14, 3*r - 4*h + 7*h = 15. Let d be 29/r - (-6)/18. Let x = d - 3. Is 3 a factor of x?
False
Suppose 11*j - 116 = 7*j. Suppose 0 = 3*s - j + 2. Is s + -4*(-3)/(-6) a multiple of 3?
False
Let s(x) = x**2 - 3*x - 4. Is 12 a factor of s(8)?
True
Let r = -208 - -329. Suppose 5*i - r = -36. Is i a multiple of 5?
False
Let s(d) = -d**2 - 11*d - 7. Let v be s(-10). Suppose -v*q = 4*h - 28, q = -0*q + 4. Is 4 a factor of h?
True
Suppose 10*y + 530 = 15*y. Is 36 a factor of y?
False
Let d = -12 - -36. Suppose 2*h - d = -0*h. Is h a multiple of 5?
False
Let u = 2 + -2. Suppose u = -f - 5*z + 41, 0 = -4*z - 1 + 21. Is 14 a factor of f?
False
Does 41 divide (-1148)/(-98)*(-7)/(-1)?
True
Let n(f) = 6*f**3 - f**2 - 3*f + 1. Let p(b) = -7*b**3 + b**2 + 3*b - 1. Let k(o) = 6*n(o) + 5*p(o). Does 9 divide k(3)?
False
Let i = -127 + 57. Is i/21*(-6)/5 a multiple of 4?
True
Let j(y) = -y**3 + 7*y**2 - 5*y. Is j(4) a multiple of 6?
False
Let q be 357/(-28) + (-1)/4. Let n(v) = -v**3 - 13*v**2 - 9*v + 9. Does 30 divide n(q)?
False
Let m be (-7)/2 - 3/(-2). Let s(k) = -k**3 - k**2 - 5. Let n be s(0). Does 10 divide (12/2)/m*n?
False
Let m be ((-258)/(-12))/((-1)/(-2)). Let l = m - 31. Is 7 a factor of l?
False
Let v(w) = 10*w - 3. Let r = 3 - -1. Suppose 0 = -r*b - 5*z - 17, 4*b + z - 5 = -b. Is v(b) a multiple of 17?
True
Suppose -4*x = p + 3*p - 272, 5*x - 60 = -p. Is p a multiple of 14?
True
Suppose 8*d - 891 = -d. Is 33 a factor of d?
True
Let a be (-1 - -4) + -2 + -1. Suppose a = -i + 6*i - 110. Does 22 divide i?
True
Suppose -4*z - 3*g = -0*g - 324, 0 = 4*z - 2*g - 304. Is 25 a factor of z?
False
Suppose -2*p + 0*p + c + 12 = 0, -4*c + 15 = p. Let r be p/3 + (-14)/(-21). Is 21 a factor of (-6)/r*(-63)/6?
True
Let w(r) = r**3 + 6*r**2 + 6*r + 4. Let n(t) = -2*t. Let b be n(-5). Suppose 5*l + 5*q + b = 0, -q = -l - 2*l - 14. Does 10 divide w(l)?
False
Suppose 36 = -3*m + 132. Suppose 3*p = 73 + m. Does 24 divide p?
False
Let z be (-10)/((-1)/(-1 + 2)). Let f = 21 - z. Is 11 a factor of f?
True
Let h(a) = 6*a**3 + 4*a - 6. Let c(x) = 7*x**3 - x**2 + 4*x - 6. Let q(o) = 5*c(o) - 6*h(o). Is q(-5) a multiple of 13?
True
Is ((-2)/(-4))/(2/68) a multiple of 7?
False
Is 16 a factor of (-29)/((-3 + 2)*1)?
False
Let g be (2 - 6)/(1 - 2). Suppose -g*z + 256 = 2*n - 6*n, 0 = 5*z + 2*n - 306. Is 14 a factor of z?
False
Let b(m) = 6*m**2 - 29*m + 12. Let w(z) = -4*z**2 - z**2 + 19*z + z**2 - 8. Let p(a) = -5*b(a) - 8*w(a). Is p(4) a multiple of 3?
False
Let z be 4*(-4)/(64/(-12)). Is -4*z/(-12) - -41 a multiple of 15?
False
Let v(z) be the third derivative of -z**6/120 - z**5/6 + 7*z**4/24 + 5*z**3/6 + 4*z**2. Is v(-11) a multiple of 9?
False
Let f be 3/(-5) + 4/(-10). Let x = 1 - f. Does 14 divide 0 + x + 32 + -2?
False
Let h(t) = t - 8. Let w(q) = q**3 - 3*q**2 + 5*q - 3. Let r be w(3). Let s be h(r). Let d(p) = p**3 - 2*p**2 + 4*p. Is 19 a factor of d(s)?
False
Let x(b) = 17*b - 27. Let z(c) = 11*c - 18. Let s(l) = -5*x(l) + 8*z(l). Is s(6) a multiple of 4?
False
Let j = 66 - 51. Is 15 a factor of j?
True
Let u = -71 + 118. Does 16 divide u?
False
Let c be (2 + -2)*3/(-6). Suppose 4*z = a + 1, -4*a + c*a + 5*z = -7. Suppose a*l - 57 = -0*l. Is l a multiple of 19?
True
Let k(i) = -7*i - 4. Let s be k(-3). Let j = s - 10. Suppose 0 = b - 3*h + 12, 2*b - 3*h + j*h = 26. Does 3 divide b?
True
Let f be 2 + (-1 - -3) + 30. Let w(g) = -g**2 - 14*g - 21. Let q be w(-9). Let k = f - q. Is 10 a factor of k?
True
Let x = 134 - 79. Does 12 divide x?
False
Let s be (19/(-4))/(2/8). Let n(o) = 36*o**3 - 1. Let i be n(1). Let d = s + i. Is 16 a factor of d?
True
Let u be 2/((2/2)/1). Suppose -8 = -5*w + u. Is 33/2 + (-1)/w a multiple of 16?
True
Suppose -2*y = -y - 64. Does 16 divide y?
True
Is 18/5*(-150)/(-9) a multiple of 12?
True
Let o be (4/5)/(6/15). Suppose -y + 0*y = -4*d, 0 = -4*d - 4*y. Suppose 0*p + 4*p + 5*f - 34 = d, o*p = 5*f + 2. Does 3 divide p?
True
Let p(f) = f + 8. Let d be p(-7). Let t = d - 0. Let r = t - -7. Is 8 a factor of r?
True
Suppose -2*p + 5*p = -48. Let s = -4 - p. Let y = s + 6. Does 9 divide y?
True
Suppose 6*v - h = 4*v + 58, h + 116 = 4*v. Is v a multiple of 16?
False
Let h be (-21)/(-35) - (-44)/10. Suppose 80 = h*n - n. Suppose -16 - n = -3*v. Is v a multiple of 12?
True
Let m be (3/6)/(1/6). Suppose 4*w + 5*z - 8 = 0, 46 - 13 = 3*w - m*z. Does 7 divide w?
True
Let m(y) = -y**3 - 11*y**2 + 13*y + 18. Let g = -14 - -2. Let f be m(g). Is (-9)/f*44/(-3) a multiple of 19?
False
Let j be 3/((6/(-4))/(-1)). Suppose j*g - 3*g - 2 = 0. Does 4 divide -12*((-10)/4 - g)?
False
Let d(t) = -3*t**3 - t**2 + 2. Let k(w) = -w**2. Let q(s) = d(s) - 2*k(s). Let g be q(2). Let p = -4 - g. Is p a multiple of 4?
False
Suppose 9*r = 123 + 3. Suppose -u + 2*z - 6 = u, 2*z - 18 = 5*u. Let p = r + u. Is p a multiple of 10?
True
Does 11 divide 75 - (5 + (-8 - -1))?
True
Suppose 5*t - 367 = 68. Is 34 a factor of t?
False
Let j(b) = -b**3 - 6*b**2 - 4*b + 8. Let q be j(-6). Suppose -3*m + 8 = -m. Suppose -2*s + q = m. Is s a multiple of 9?
False
Let f(r) = -6*r + 6. Let g be f(-5). Suppose n = -n + g. Is 18 a factor of n?
True
Let c = -3 + 6. Suppose c*s - 3*x = -8*x + 58, -s = 5*x - 26. Does 8 divide 1*(s - (2 - 5))?
False
Let z = 289 + -169. Suppose -3*t - 2*t + d + z = 0, 3*t = 5*d + 94. Does 6 divide t?
False
Let n be (-4 + 5)/((-1)/(-4)). Suppose -u = -5*g + 178, -g + n*g = u + 106. Does 12 divide g?
True
Let r(n) = 2*n**2 + 3*n + 1. Let w be r(-2). Is (9/w - -3) + -2 a multiple of 2?
True
Suppose v + 180 = 7*v. Is 8 a factor of v?
False
Let b = -55 - -86. Let z = 57 - b. Is 8 a factor of z?
False
Suppose -3*s = -4*s + 4. Suppose -s*i - 94 = 178. Let p = -36 - i. Does 16 divide p?
True
Suppose 0*f = -4*f + 16. Suppose -b + 2*t = -t - 45, -f*t = 20. Is 30 a factor of b?
True
Suppose 0 = -i + 7 - 5. Suppose 0 = -5*a - 2*s + 192, 2*a + i*s - 64 = -2*s. Is a a multiple of 7?
False
Let f be -2*(2/(-4) - 0). Let q = 1 - f. Suppose -4*a + 13 = 3*h - q*a, 9 = -h - 4*a. Is 11 a factor of h?
True
Suppose 3*k - 73 = t, -2*k + 0*t - 3*t + 45 = 0. Is k a multiple of 6?
True
Let u = 10 - 1. Is u a multiple of 2?
False
Let m(v) = 3*v**2 + 8*v + 3. Is 9 a factor of m(-6)?
True
Suppose 0 = -4*t + x - 8, 5*x = -t - 5 + 3. Does 9 divide 7 - ((-8)/(-2))/t?
True
Let t = 0 - -128. Does 9 divide t?
False
Let s(h) = -3*h - 3. Let c be s(-2). Suppose p - 17 = -j + c*j, -5*j - 4*p - 10 = 0. Is 7 a factor of (-83)/j + (-2)/(-12)?
True
Suppose 0 = o + 3*o - 60. Let i be (-10)/4*(-84)/(-35)*-1. Suppose 2*v = 2, -o = -2*z + v + i. Is 11 a factor of z?
True
Suppose -5*i - 14 = -7*i. Suppose g - i = 9. Is g a multiple of 8?
True
Suppose -4*d + 3*g + 2*g = -22, 0 = -d + g + 5. Let y be (-2)/(-5) - (-96)/(-15). Is 2 + y/d + 12 a multiple of 6?
True
Let y(l) = -5 - 3*l**2 + 3*l + 3 - l**2 - l**3. Let x(u) = -6*u + 1. Let h be x(1). Does 3 divide y(h)?
False
Suppose -2*k - 115 = -2*g - 19, -k = 4*g - 177. Is 17 a factor of g?
False
Let l(a) = a**3 + 2*a**2 - 3*a - 1. Let n be l(-2). Let v = 5 + n. Does 5 divide v?
True
Let i(r) = -r**2 - 10*r - 7. Let c be i(-5). Let d be (-1 + 2)/(1/c). Let n = 27 - d. Does 9 divide n?
True
Let j be -2 + 0 + 1*4. Suppose j*d + 2*d = 40. Is d a multiple of 7?
False
Let q = 33 + 435. Is q a multiple of 60?
False
Let d(u) be the third derivative of 2*u**2 + 1/30*u**5 + 0*u + 0*u**3 + 0*u**4 + 0. Is 4 a factor of d(2)?
True
Suppose -4*s + 166 = -s + 5*h, 2*s - h - 89 = 0. Is 6 a factor of s?
False
Let f(q) = -q. Let h be f(-6). Is 19 - (-1 + (h - 2)) a multiple of 10?
False
Suppose 2*n = 93 - 23. Suppose 105 = 5*p + c, -5*c = -3*p - 0*c + n. Does 12 divide p?
False
Let t be -2 - -8 - (-3)/(-3). Suppose -3 = -x + t. Is x a multiple of 5?
False
Suppose -16 + 1 = -3*r. Does 7 divide (-5)/r + 11*1?
False
Let r = 18 - -12. Suppose r = 2*p - 46. Is 14 a factor of p?
False
Let i(z) = z**2. Let q be i(2). Suppose 0 = q*t - 2 + 18. Is t/10 + 17/5 a multiple of 3?
True
Let f(l) = l**3 + 7*l**2 + 7*l + 6. Let i be f(-6). Let a = i + -8. Let w(m) = -3*m - 5. Is w(a) a multiple of 19?
True
Suppose 0 = -4*b + 20 - 0. Let k(u) = 5*u + 2. Does 13 divide k(b)?
False
Suppose -479 = -3*i + 10. Is 20 a fa