
False
Let m be (-195)/(-27) - 2/9. Is 10 a factor of 4/(-14) + 100/m?
False
Let l be ((-9)/6)/(5/(-10)). Suppose 112 = l*t + t. Is 22 a factor of t?
False
Suppose -h + 2*q - 2 = 3*h, 3*q = -2*h + 3. Let m(s) = 3 + h - 5 + 11*s. Is 15 a factor of m(4)?
False
Let z(s) = 5*s + 4. Let p be z(4). Let m = p - -16. Is 8 a factor of m*((-39)/15 - -3)?
True
Let b(w) = w**3 - w**2 + w + 2. Let g(j) = j + 8. Let n be g(-6). Is b(n) a multiple of 8?
True
Let k = 5 - -4. Let v = k - 7. Is 6 a factor of (-113)/(-6) + v/12?
False
Let o = 13 + -10. Suppose -2*q + u + 3*u + 16 = 0, -5*q + 33 = -o*u. Is 2 a factor of q?
True
Suppose 6 = 3*v - 0*v. Suppose 3*s = -0*s + 4*m - 40, 0 = -v*s + m - 20. Let n = -2 - s. Is 5 a factor of n?
False
Let o(g) = 5*g**2 + 6*g. Let c(b) = -11*b**2 - 13*b. Let a(p) = 3*c(p) + 7*o(p). Does 3 divide a(-3)?
True
Let g = 28 - 10. Is g a multiple of 9?
True
Is 5 a factor of 20/(-15)*5/(20/(-66))?
False
Suppose 0 = -5*c + 12 - 137. Does 3 divide 14/5 + (-5)/c?
True
Suppose 3*x = 5 + 271. Does 23 divide x?
True
Let p(h) = 4*h**2 - 3*h + 16. Does 22 divide p(3)?
False
Let d(z) = z**2 - 3*z. Let x be d(2). Let b(s) = -11*s**3 - 3*s**2 - 3*s - 3. Does 21 divide b(x)?
False
Is (1/2)/((-15)/(-150)) a multiple of 3?
False
Let v(l) = 3*l - 11. Suppose -10 = -5*i - 4*n, 4*i - n + 4*n - 9 = 0. Is 2 a factor of v(i)?
False
Suppose 5*l - 5*n + 3*n - 48 = 0, 0 = l - 2*n - 16. Is l even?
True
Let p(h) = h**2 - h - 1. Let l be p(1). Does 13 divide (l - 47/3)*-3?
False
Let p(u) = 103*u - 7. Let w be p(2). Let j = w - 106. Is 31 a factor of j?
True
Let k = 3 + 17. Let h = k + 8. Does 15 divide h?
False
Let j(y) = -y**2 + 12*y + 18. Let k be j(13). Let h = k - 2. Is 3 a factor of h?
True
Let y = 89 - 74. Is y even?
False
Is 0 + 0/(-1) + 20 a multiple of 4?
True
Let q be -119 + (-8)/2 + 1. Let x = -84 - q. Does 19 divide x?
True
Let u(z) = z - 17. Let j be u(12). Let r = 13 + j. Let p = 13 + r. Is p a multiple of 13?
False
Let z = 328 - 147. Is z a multiple of 20?
False
Let h be -2*(9/6)/3. Is 5 - (h + 3 - 4) even?
False
Let q = 16 - -34. Let s = -1 - -3. Suppose -s*p + q = 3*p. Is p a multiple of 4?
False
Suppose 9 - 78 = -3*a - w, 4*a - 76 = 4*w. Let l = a - 13. Is l a multiple of 9?
True
Let u(x) = 2*x**2 - 7*x - 5. Let f be u(6). Suppose 3*r + k - 4*k - 15 = 0, 5*r + 5*k = -f. Suppose 2*p = -4*q + 18, -p - 4*q + 3*q + 12 = r. Does 15 divide p?
True
Let f(r) = -r**3 + 7*r**2 + 12*r - 12. Is f(8) a multiple of 5?
True
Let j(r) = r**2 - 3*r - 1. Is 20 a factor of j(9)?
False
Let v = 9 - 5. Is 2 a factor of v?
True
Suppose 3*c = 2*c - 2*m + 17, -5*c - 3*m = -99. Is 10 a factor of c?
False
Suppose 10 = -3*g + 4*h, 0*h = 3*g + 2*h - 14. Suppose -g*r + 8 = 0, -3 = 4*p - 2*r + 13. Let q = p - -22. Is q a multiple of 7?
False
Does 8 divide (76/(-18) - 8/(-36))*-10?
True
Suppose -2*t + 2*z - 426 = -4*t, -5*t - 2*z + 1053 = 0. Is 43 a factor of t?
False
Suppose 3 = 4*s - 9, 24 = 2*v - 2*s. Does 5 divide v?
True
Suppose -14*u + 280 = -13*u. Is u a multiple of 14?
True
Let o = 5 - -25. Is o a multiple of 15?
True
Suppose 2*i - 34 = o + 5*i, -2*i + 60 = -2*o. Suppose 171 = -22*y + 19*y. Let w = o - y. Is w a multiple of 13?
True
Let s(f) = -2*f - 6. Let t be s(-6). Let x be (-20)/6 + (-4)/t. Let q(n) = n**3 + 5*n**2 + 2*n + 1. Is 9 a factor of q(x)?
True
Let y be ((-9)/2 - -2)*-2. Suppose -y*v + 7 = 2. Suppose -u - 4*t - v = 0, 4*u = -u + 4*t + 115. Is u a multiple of 7?
False
Let h be 7*((-180)/(-21))/(-5). Let p = 60 + h. Is p a multiple of 9?
False
Suppose -2*z - 273 = -5*z. Let t = -43 + z. Does 24 divide t?
True
Is ((-15)/6)/((-3)/18) a multiple of 3?
True
Let w(r) = 2*r**3 - 3*r**2 + 1. Let s be 1*(-1 + 2 - -1). Let m be w(s). Suppose m*z = 2*t + 160, 0 = -0*z + z + 2*t - 20. Is 15 a factor of z?
True
Let t(d) be the third derivative of d**5/60 + d**4/12 - 4*d**3/3 + 2*d**2. Is t(-6) a multiple of 12?
False
Let t = -362 + 516. Suppose -14 = -4*s + t. Does 14 divide s?
True
Let w be (-2)/(-6) + 1410/9. Let j = w - 88. Is j a multiple of 20?
False
Let z(n) = -8*n**3 - n**2 - 3*n - 3. Does 29 divide z(-2)?
False
Let w be ((4 - 5)*0)/1. Suppose -253 = -4*y + 5*q - 44, w = 5*y + 2*q - 286. Is y a multiple of 13?
False
Let n(i) = 2*i**2 - 6*i + 4. Let v be n(4). Let k = 30 - v. Is 5 a factor of k?
False
Suppose -3*x = -5*w - 138, x + w = -w + 57. Is 11 a factor of x?
False
Suppose 3*u = -z + 2*z + 16, -u = 2*z - 17. Let p(q) = -q + 3. Let b be p(-14). Suppose 0 = -o + b + u. Does 24 divide o?
True
Let r be ((-2)/(-5))/((-2)/(-10)). Suppose -r*j + 4 = 6. Does 4 divide (-1)/j - (-4 + -1)?
False
Let s = -14 + 75. Is s a multiple of 29?
False
Suppose -4*o - 60 = -0*o. Let v = 39 + o. Does 12 divide v?
True
Let f(r) = 28*r**2 - 2*r - 1. Suppose -o + 6*o = -3*g + 17, 4*o - 21 = 5*g. Is 10 a factor of f(g)?
False
Let k be 2/(-7) - (-88)/14. Let n be (8/k)/(1/9). Suppose -l - a - 2*a - 8 = 0, -l + n = -a. Is l a multiple of 4?
False
Let c = -9 + 10. Let d(n) = 30*n**3 + n**2 - 2*n + 1. Is 21 a factor of d(c)?
False
Let u(m) = m**3 - 3*m**2 - m + 2. Let s be u(2). Is (74/s)/(17/(-34)) a multiple of 26?
False
Does 25 divide 108/(-8)*-2*3?
False
Suppose n + 2*n = 6. Suppose -32 = -2*x + 5*m, 5*x = n*m - m + 126. Suppose -x = -2*v + j, 3*j = 2*v + 2*v - 50. Does 7 divide v?
True
Suppose -15 = -10*y + 5*y. Is 14 a factor of 229/4 - y/12?
False
Let l be 48/20*(-25)/(-2). Suppose f = -0*f + l. Does 10 divide f?
True
Suppose 18 + 29 = n. Is n a multiple of 12?
False
Let i be 3*1*(-40)/(-24). Suppose -2*k = 4*p - 4*k - 316, 4*k - 369 = -i*p. Is p a multiple of 15?
False
Let u(z) be the third derivative of z**6/120 + z**5/10 + z**4/8 + z**3 - z**2. Suppose 2*w - 18 = -26. Is u(w) a multiple of 13?
True
Let w be (-171 - -1)/((-6)/3). Suppose 2*k = -3*k + w. Does 17 divide k?
True
Suppose -2*u = -3*j + 81, 0 = 3*j - j - 2*u - 54. Suppose -j + 7 = -4*y. Suppose 2*t = y*t - 120. Is t a multiple of 22?
False
Suppose 0*w = -4*w + 16. Does 4 divide w?
True
Suppose 31 = j + 8. Is 8 a factor of j?
False
Let u(j) = 4*j + 0 + 5 - 4*j + 4*j. Let s be u(4). Let i = s + -7. Does 14 divide i?
True
Let h be 0 - ((3 - 7) + 0). Suppose 0 = 4*l + h*f - 132, -64 = -2*l - 4*f - 8. Does 13 divide l?
False
Suppose -3*y - n - 5 = -18, 4*y + 4*n - 20 = 0. Suppose -y*l = -0*l - 12, 4*a = -4*l - 84. Is 12 a factor of 5*(a/(-10) - 0)?
True
Let f(t) = -t**3 + 8*t**2 + 3*t - 2. Let m be f(8). Let j = m + -7. Is j a multiple of 12?
False
Let r = -25 + 11. Let j = r + 18. Does 4 divide j?
True
Is 3/4 + (433/4 - 1) a multiple of 26?
False
Suppose 3*r + 14 = 68. Is r a multiple of 3?
True
Let o(h) = h**2 + 4*h - 5. Let r be o(-4). Let s = r + 9. Let b = 14 + s. Does 13 divide b?
False
Suppose -9 = 3*s - 4*s. Let w = s + -5. Suppose x - w*x = -48. Does 8 divide x?
True
Let t(v) = v**2 - 6*v + 7. Does 9 divide t(12)?
False
Let a(g) = -2*g**3 - 7*g**2 - 13*g - 12. Is 32 a factor of a(-5)?
True
Suppose r = 5*u - 63, -u = 4*r + 3*u + 252. Let h = -30 - r. Suppose 4*f = 47 + h. Is f a multiple of 10?
True
Let t(z) = -19*z + 1. Is 29 a factor of t(-3)?
True
Suppose -r = -2*r - 5*k - 13, r + 4*k + 8 = 0. Is 2 + (-3)/(r/(-40)) a multiple of 4?
True
Let m(x) = x**3 - x**2 - 3*x - 4. Let f(b) be the second derivative of -b**3/3 + b**2/2 + b. Let c be f(-1). Is 2 a factor of m(c)?
False
Let k(r) = -12*r - 2. Let p be k(-7). Suppose 12 - p = -2*c. Does 14 divide c?
False
Let p be 12 + (2/2)/1. Suppose 6 + 0 = 2*l - 5*s, -l + 2 = -3*s. Let v = p - l. Does 3 divide v?
False
Let h(i) = i**2 - 8*i + 1. Is 7 a factor of h(10)?
True
Suppose -5*p - 4*m = -26, 3*p - p = -m + 11. Let w(c) be the first derivative of c**2/2 + 6*c + 2. Does 12 divide w(p)?
True
Let f(z) = 3*z - 13. Let y be f(12). Suppose 5*t + 3*r - 158 + y = 0, -r - 35 = -t. Does 13 divide t?
False
Is (-9)/(-12)*(39 + 1) a multiple of 4?
False
Suppose -4*o - 8 - 4 = 0. Suppose 3*d = -g + 6, 21 = -d + 3*d - 5*g. Is -10*d*o/6 a multiple of 8?
False
Let t(k) = 14*k - 106. Is 6 a factor of t(23)?
True
Let t(p) = p**2 - 13*p + 6. Let h(b) = -b + 7. Let y be h(-9). Is t(y) a multiple of 24?
False
Let s = -45 - -75. Let l = -19 - -4. Let o = l + s. Is 15 a factor of o?
True
Let n = -18 - -25. Is 2 a factor of n?
False
Suppose -v + m - 815 = -4*v, 0 = -m - 1. Does 34 div