/6 - j**4/4 - 13*j**3/6 - 2*j**2. Is 21 a factor of v(-10)?
False
Let g be (20 + 0)*6/15. Suppose -2*f + f - 14 = 0. Let i = g - f. Does 11 divide i?
True
Let v(c) = -19*c + 29. Does 16 divide v(-9)?
False
Let l = -83 + 144. Does 12 divide l?
False
Is (835/(-20))/(1/(-4)) a multiple of 9?
False
Is 3 a factor of 12 + 1/((-3)/9)?
True
Let a = 26 + 25. Suppose -2*x = -3*z - 45, -x - z + 9 = -26. Let t = a - x. Is t a multiple of 9?
False
Let q = 6 - 1. Suppose 2*t + x - 13 = 0, 3*x - 3 = 3*t - 0*x. Suppose -t*y + 10 = -5*y - q*b, 4*b = -5*y + 55. Does 7 divide y?
False
Suppose -i - 5*h + 46 = 3*i, 2*i = -5*h + 18. Does 3 divide i?
False
Let i(d) = -d**3 + 14*d**2 - 24*d - 6. Is i(11) a multiple of 31?
True
Suppose o = 4*y + 4, -4*y = -3*o + 4 - 0. Suppose 2*u - u = o. Let s = u + 16. Is 9 a factor of s?
False
Let z = -107 - -156. Is 16 a factor of z?
False
Suppose w - 3*r = 2*r - 28, -w - 23 = -4*r. Is 8 a factor of -6*w/(18/16)?
True
Let l(i) = -i**3 - 7*i**2 - 1. Let w be l(-7). Let b be 2/(-2)*0/w. Suppose b = -3*y - 12, j + 4*y = 6*j - 76. Is j a multiple of 12?
True
Suppose -5*s + 4*d + 9 = -11, 25 = 3*s - 5*d. Let y be 54/15 - 4/(-10). Let n = s + y. Is n a multiple of 4?
True
Let p(u) = u**3 - 6*u**2 - 3. Let q be p(6). Let t(o) = -o**2 + o. Let x(w) = -5*w**2 + 6*w - 3. Let d(r) = 4*t(r) - x(r). Is 18 a factor of d(q)?
True
Let q be (-1 + 4)/3 + 16. Suppose -5*i - 4*d - q = 0, 4 = 4*d - 2*d. Let m(a) = -a**3 - 4*a**2 + 2*a. Does 5 divide m(i)?
True
Let m = -13 + 25. Is 12 a factor of m?
True
Let b(t) = -t**3 - 4*t**2 - 2*t - 1. Suppose -41 = 4*z + 5*g, -3*z = -g + 1 + 6. Is 4 a factor of b(z)?
False
Let p = -4 + 5. Let f = 2 - p. Is 0/f + 1 - -4 a multiple of 3?
False
Suppose 3*a + 12 = 0, 2*x - 25 = -a - 3. Does 5 divide x?
False
Is 7 a factor of (-234)/(-8) + (-1)/4?
False
Let n(x) = -10*x**3 + x**2 + x - 1. Let g be n(1). Let r = 15 + g. Is r a multiple of 2?
True
Let j = 67 - 7. Suppose -5*g = -10*g + j. Is g a multiple of 12?
True
Let r be (-3)/(-5) - (-4)/10. Is ((-84)/15)/(r/(-5)) a multiple of 14?
True
Let x(g) = 2*g - 13. Let l be x(9). Suppose -k - 4*k + 455 = 5*j, -j + l*k + 85 = 0. Suppose 6*q - j = 3*q. Does 10 divide q?
True
Let t(q) = q**2 - q + 2. Suppose 5*b + 2*v - 6 = 0, -3*v - 1 + 10 = 2*b. Let f be t(b). Suppose 65 - 23 = 3*z - r, f*z = -3*r + 17. Is z a multiple of 4?
False
Let c(n) = 2*n**3 + n**2 + 7*n - 23. Let w(m) = m**3 + 4*m - 12. Let f(i) = 6*c(i) - 11*w(i). Is 6 a factor of f(-6)?
True
Let u(q) = -14*q - 8. Does 13 divide u(-8)?
True
Let k(h) = -h**3 + 2*h**2 + 2*h - 1. Let n be k(2). Suppose 13 - n = m. Let o = m + 0. Does 10 divide o?
True
Let t(j) = j**3 + 5*j**2 - 2*j - 6. Let y be t(-5). Suppose y*s - 19 = 125. Is s a multiple of 18?
True
Let z = -4 - -34. Is 19 a factor of 92/5 - (-18)/z?
True
Suppose -4*l - 648 - 120 = 0. Let m = -71 - l. Suppose -5*c = p - m, -4*p + 83 = 3*c + 24. Does 15 divide c?
False
Suppose 3*w = 11*w - 2416. Does 19 divide w?
False
Let g(z) be the second derivative of 1/2*z**3 - 2*z + 0*z**2 - 1/6*z**4 + 1/20*z**5 + 0. Is 9 a factor of g(3)?
True
Suppose -5 - 10 = 5*i + 3*c, 0 = 2*i - 2*c + 6. Let h be 18*1*(-14)/i. Let t = h + -58. Is 13 a factor of t?
True
Suppose -5*g + 1195 = -550. Suppose 5*v - g - 226 = 0. Suppose 5*s - v = -0*s. Is 8 a factor of s?
False
Suppose -d - 4*p + 17 = 0, p + 0 = -4. Is 11 a factor of d?
True
Suppose 152 = 9*i - i. Is i a multiple of 3?
False
Let f(q) = 3*q**2 + 6*q + 1. Let p = 1 - 6. Does 23 divide f(p)?
True
Is 131/3 - 10/(-30) a multiple of 11?
True
Let l(u) = 8*u + 2. Is 20 a factor of l(8)?
False
Let o(x) = x - 4. Let n be o(11). Suppose 0 = 8*h - n*h - 16. Is 16 a factor of h?
True
Suppose -6 = -j - 3*c, 5*j - 4*c - 50 = c. Does 3 divide j?
True
Does 18 divide (-9)/(-6)*(-328)/(-6)?
False
Suppose 0*v = 4*v. Suppose v*q - 20 = -q. Let r = 54 - q. Is 17 a factor of r?
True
Let w(c) = 6*c - 1. Suppose 0 = 4*y - 0*y - 12. Let x be w(y). Let k = x + -5. Is k a multiple of 6?
True
Let a(r) = -r**3 + 10*r**2 - 16*r + 12. Is 10 a factor of a(6)?
True
Let c = -3 + 0. Is 12 a factor of 1/(c/18)*-2?
True
Let s be -30 + (1 - (-3)/(-3)). Suppose 5*w = -15 - 10. Is (w/(-2))/((-5)/s) a multiple of 6?
False
Is 3 a factor of 7 + -4 + 1 + 8?
True
Let y(u) = -19*u**2 - u + 6. Let c(w) = -1. Let t(b) = -6*c(b) - y(b). Is 16 a factor of t(-1)?
False
Suppose -4*b = -3*v + 267, -v - b - b = -89. Let q = v - 45. Is q a multiple of 16?
False
Let b be 1 + 6*(-83)/2. Does 31 divide (-1)/((-4)/b*-2)?
True
Let z(j) = -2*j**2 + 4*j. Let x be z(9). Let n = -86 - x. Does 8 divide n?
True
Let b(m) = m**3 + 5*m**2 + 4*m + 4. Let p be b(-3). Let y(k) = -6*k + 12 - 2*k - p. Is y(-2) a multiple of 9?
True
Let l = 1 - -3. Suppose -l*h + 96 = -84. Suppose p = h - 9. Is 12 a factor of p?
True
Let g(o) = -o**3 - 9*o**2 - 4*o + 8. Is g(-9) a multiple of 16?
False
Does 21 divide 3 + (104 + 3 - (-6 - -4))?
False
Does 15 divide (-1)/(3/129*-1)?
False
Let r be (-1)/(2*(-3)/180). Suppose -r = -2*w + w. Is 11 a factor of w?
False
Let w be 1*4/((-12)/(-189)). Let l be (-4)/18 - (-8771)/w. Let r = -99 + l. Is 14 a factor of r?
False
Is 40 a factor of (-289)/(-5) + (-24)/(-120)?
False
Let f be 4/(-6) + (-19)/3. Let b = -14 - 2. Let v = f - b. Does 5 divide v?
False
Let h be -3*(2 - 6/2). Suppose -3*t = 0, h*l = 5*l - t - 14. Suppose -3*r = -l*r + 144. Is 15 a factor of r?
False
Let g be (1/2)/((-3)/(-12)). Let z = g + -7. Let q = z - -21. Is q a multiple of 16?
True
Let y be (-1)/4 - 3/(-12). Suppose y = v - 6*v + 10. Suppose 94 + 8 = 4*q - c, q - v*c = 22. Does 14 divide q?
False
Let o(u) = -u**3 - u**2 + 2*u + 3. Let l be o(-5). Let i = -56 + l. Is 11 a factor of i?
False
Let o(u) = 2*u**2 + 5*u - 3. Let b be o(3). Suppose 5*j = -p + 53, -2*p - b = -2*j + 2*p. Is j a multiple of 4?
False
Suppose 5*x = 5*z - 185, -3*z - 4*x + 12 = -64. Is 16 a factor of z?
True
Let j(i) be the second derivative of i**5/20 - i**4/12 - i**3/6 - i**2 - 2*i. Does 15 divide j(4)?
False
Let h be (-1)/(-8) - (-7668)/96. Suppose 2*o + 223 = -5*m, 6*m + o + 133 = 3*m. Let n = m + h. Is n a multiple of 16?
False
Let f(j) = j**3 - 13*j**2 - 10*j + 30. Is 3 a factor of f(14)?
False
Let m(j) be the first derivative of -j**4/4 + 2*j**3/3 + 2*j**2 + j + 2. Let x be m(3). Suppose -x*h = -9 - 55. Does 16 divide h?
True
Let u(z) = -17*z - 44. Is 20 a factor of u(-12)?
True
Let x = -4 + 2. Let t = x - -9. Suppose 3*m = -4*z + 42, -z = m - 2*z - t. Is 8 a factor of m?
False
Let z be 4/14 + 452/(-14). Let l = z - -62. Suppose -f + n = 4*f - l, -f - n = 0. Is f a multiple of 5?
True
Suppose -2*j + 111 = -j. Does 15 divide j?
False
Let v = 22 + -10. Let c = 18 - v. Is 6 a factor of c?
True
Let o = -104 - -176. Does 18 divide o?
True
Is (-729)/(-6) - 6/4 a multiple of 24?
True
Let a(v) = -v**3 + 9*v**2 + 12*v - 3. Does 3 divide a(10)?
False
Let j(i) = 34*i + 3. Is 8 a factor of j(2)?
False
Suppose -2*x + 3*y - 52 - 76 = 0, 5*x + 320 = -4*y. Let m be x/(-10) + 6/(-15). Suppose -2*h + h = -m. Is h a multiple of 4?
False
Suppose f - 10 = -d - f, 4*f = 5*d + 6. Suppose -120 = -d*z - 0*z. Suppose -4*h + v = -z, 4*v - 45 = -3*h + 3*v. Is h a multiple of 6?
False
Is 8 a factor of 29 + -3*(-3 - -2)?
True
Let v = 131 + -77. Is v a multiple of 27?
True
Let f = 24 - 20. Suppose -2*z + 2*k + 25 = -39, z + f*k - 17 = 0. Is 13 a factor of z?
False
Let j(q) be the third derivative of q**5/30 - q**4/24 - q**3/6 - q**2. Let d(r) = r**3 + 5*r**2 - 7*r - 4. Let k be d(-6). Is j(k) a multiple of 4?
False
Let g(b) = -43*b**2 + b. Suppose 0*c + c - 1 = 0. Let t be g(c). Is 13 a factor of (4/(-3))/(4/t)?
False
Is (-26 - (-1 + 3))*(-29)/2 a multiple of 58?
True
Let r be (-23 + 0)/(2/(-12)). Suppose 3*t + 6 = r. Does 22 divide t?
True
Let h(i) = -i - 6. Let q be h(-8). Suppose -q = -2*r + 8. Let t(w) = w**3 - 5*w**2 + 2*w - 5. Is t(r) a multiple of 4?
False
Let n(v) = -3*v - 1. Let l be n(-1). Is 978/27 - l/9 a multiple of 15?
False
Suppose -326 = -2*z + 4*w, 215 + 264 = 3*z - 4*w. Does 20 divide z?
False
Suppose -4*d - d + 75 = 0. Suppose d = 3*f - s - 15, 0 = 2*s. Does 15 divide ((-36)/f)/((-2)/10)?
False
Suppose -20 = -4*z, 3*z + 2*z + 350 = 5*q. Suppose q = -4*x + 195. Suppose -2*f + 10 = -x. Is f a multiple of 10?
True
Let q be (-3)/((-12)/(-