-2)*(-24)/x?
False
Let j(v) = -57*v - 48. Is 15 a factor of j(-9)?
True
Suppose 0 = 3*p - m + 42 + 1, 4*m = -8. Let x(s) = 6*s - 12. Let y(r) = 1. Let o(v) = p*y(v) - x(v). Does 5 divide o(-3)?
True
Let x = 46 + 130. Does 16 divide x?
True
Let t = 9 + -5. Suppose -t*g + 111 = -9. Suppose -5*k = 5*c, -2*k = -4*c - 0*k + g. Does 5 divide c?
True
Let b = 36 - 23. Does 2 divide b?
False
Suppose 9 = a + 2*a. Suppose 8 = 2*o - 4*h - 2, -a*o + 2*h + 23 = 0. Is 6 a factor of o/(-2)*(-24)/9?
True
Suppose -y = -4*c + 14, -2*c + 2 = -y - 6. Let k(t) = 7*t**2 - t - 1. Does 17 divide k(y)?
False
Let f(u) = -u**3 + 6*u**2 - 6*u + 3. Let b be f(5). Let q be (6 - 0) + -2 + b. Suppose -q*c = -3*c + 9. Does 9 divide c?
True
Let i be 8/6 - 1/3. Does 3 divide (-2 - i)*(-15)/9?
False
Suppose -45 = -o + 2*i - 13, 115 = 5*o - i. Is 3 a factor of o?
False
Let f = -24 - -25. Suppose r + 60 = 6*r. Let x = r - f. Is 3 a factor of x?
False
Let r(k) = -k**3 + 9*k**2 + 2*k + 3. Let l be r(9). Let b = l - 40. Let f = 33 + b. Is f a multiple of 14?
True
Let x(u) = 4*u - 17. Does 4 divide x(14)?
False
Let h(l) = 2*l**2 + 4*l + 3. Let q(d) = -d**3 - 5*d**2 - 4*d - 3. Let x be q(-4). Let a be h(x). Suppose -3*y + 6 = -a. Is 2 a factor of y?
False
Let j = -68 - -254. Is 31 a factor of j?
True
Suppose -5*m = -3*w + 31, -w + 18 = -2*w - 4*m. Does 2 divide w?
True
Suppose -2*k + 462 = 140. Does 14 divide k?
False
Suppose 22 = 4*f - 10. Is f a multiple of 2?
True
Let q(t) = t**3 + 7*t**2 - 8*t + 10. Let y be -7 - (-5 + 1 + 1). Let v be 4*-3*y/(-6). Is 5 a factor of q(v)?
True
Let t(s) = -s**2 + 8*s + 5. Let f be t(9). Let m be (2/f)/(6/(-24)). Does 11 divide m + (-2 - -1) + 21?
True
Let u(q) = 2*q. Let o(s) = s**3 + 13*s**2 + 12*s + 1. Let f be o(-12). Let w be u(f). Suppose t = -w*t + 93. Is t a multiple of 8?
False
Suppose 3*v - 40 = -2*v. Let t = v - -37. Is 5 a factor of 12/9*t/6?
True
Let f(m) = 3*m**3 - 12*m**2 + 2*m + 5. Does 6 divide f(6)?
False
Let s(k) be the second derivative of -k**3/6 + 29*k**2 - 3*k. Does 22 divide s(0)?
False
Let n(r) = -2*r - 1. Let z be n(-1). Let o = 1 - z. Suppose -2*k + 2*f + 21 - 1 = 0, o = -4*k + 3*f + 45. Is 4 a factor of k?
False
Let m(w) = 11*w**2 + 2*w - 3. Let q be m(3). Suppose 7*n = 3*n - 3*r + q, -3*r + 21 = n. Is 11 a factor of n?
False
Let x be (18/5)/((-3)/(-105)). Suppose -4*z = -z - x. Is z a multiple of 14?
True
Does 27 divide (0 + -73)/(-1) + 0?
False
Suppose 5*o + 1002 = 227. Let g = -66 - o. Let p = g - 51. Is 20 a factor of p?
False
Suppose 2*f = q + 147, -4*f = -6*q + 2*q - 568. Is q/(-9) - 2/9 a multiple of 15?
True
Let h(q) = q**3 + 11*q**2 + 15*q + 9. Let p be h(-11). Let y be (-1 + 0)/((-2)/p). Is (y/15)/((-2)/10) a multiple of 9?
False
Suppose p + p - 10 = 0, 5*p - 25 = -g. Suppose -40 = -s - o, g = 3*s - o + 3*o - 116. Is s a multiple of 18?
True
Suppose t - 2*u - 70 = 0, -t = -3*t - 2*u + 122. Suppose 3*a - t = 32. Suppose 3*f - a = 70. Is f a multiple of 15?
False
Suppose 0*u = -3*z - 2*u + 25, -4*z - 4*u + 40 = 0. Suppose 37 = z*o - 13. Is 4 a factor of o?
False
Let v(x) = x**3 + x**2 + 2*x + 17. Suppose 0 = 5*m + 20, 3*z = -2*z - m - 4. Does 17 divide v(z)?
True
Let v(p) = -p**2 + 2*p. Let b be v(2). Suppose b = -5*u - 10, 2*q - 5*u = 3*q + 30. Let m = -12 - q. Does 5 divide m?
False
Let z(y) = 2*y**2 - 2*y - 1. Let r be z(-1). Let b = r - -15. Is b a multiple of 7?
False
Let v = -3 + 8. Suppose -m + 2 + 10 = 0. Suppose 2*q - v*g = 21, q = -0*q + 2*g + m. Does 11 divide q?
False
Let q be -1 - 2/4*-6. Is 20 a factor of ((-80)/12)/(q/(-6))?
True
Let x be 4 - -1*1*-2. Suppose -4*g - q = 113, -4*q = x*g - 9*q + 29. Let f = g - -41. Is 8 a factor of f?
False
Is (2930/8 - 4) + (-7)/28 a multiple of 9?
False
Let y be 4*(2 + (-2)/2). Suppose 5*r - 39 = -y. Does 7 divide r?
True
Suppose -1 = 3*y - 2*y - 4*w, 5*y - 5*w + 5 = 0. Is -1 - y/(2/42) a multiple of 5?
True
Suppose 4*w + w - 13 = -2*n, 5*w + 3 = 2*n. Does 5 divide (-5 + 3 + 7)/w?
True
Let f be (3/9*0)/3. Let x(g) = -g + 25. Does 19 divide x(f)?
False
Suppose 4*c + 0*o + o - 64 = 0, -c + 13 = o. Does 4 divide c?
False
Let m be 1/(4/(-5) - -1). Let n = 17 - m. Suppose -3*q + q = -n. Is 6 a factor of q?
True
Let z = 13 + 2. Let j be (-7)/((-10)/3 + 3). Let r = j - z. Is r a multiple of 3?
True
Suppose 73 + 24 = 4*l - 5*q, 0 = l + 4*q + 2. Suppose -l = 2*c - 3*c. Is c a multiple of 9?
True
Suppose -4*z + 6 = -10. Let v(h) = -h**2 + 5*h + 1. Is 2 a factor of v(z)?
False
Let o(c) = -c**2 - 9*c - 4. Let u be 7*-1*4/4. Is o(u) a multiple of 5?
True
Let c(n) = n - 4. Let p be c(6). Suppose 4*u = 7*u - 126. Suppose b = -p*b + u. Is b a multiple of 13?
False
Let q(u) = -u**3 + 6*u**2 + 9*u + 2. Let c be q(7). Suppose 0 = -0*w + 2*w - c. Does 8 divide w?
True
Suppose -3*i = s + 224, i - 2*s + 282 = -3*i. Let v = 121 + i. Does 13 divide v?
False
Let z(h) = -4*h. Is 23 a factor of z(-14)?
False
Let s be ((-9)/(-15))/(2/10). Let r be (-48)/(-64) - (-17)/4. Suppose 0 = 3*z + s*k + 8 - 32, 25 = -r*k. Does 13 divide z?
True
Let s be (-161)/3 - (-2)/3. Let t = -34 - s. Is t a multiple of 10?
False
Let b(k) = -k**3 - 3*k**2 + 5*k + 3. Let x be b(-4). Let y be (2 + x)*(2 + 0). Suppose -n + 48 = y*n. Is 8 a factor of n?
True
Let c be 202/4 - (-1)/(-2). Suppose 5*h - 67 = -12. Suppose 3*t = -h + c. Is t a multiple of 6?
False
Does 22 divide (-5871)/(-38) - (-3)/2?
False
Suppose -9 = 3*c, 0*d + 3*d - 3*c = 171. Is 18 a factor of d?
True
Suppose 25 - 165 = -5*p. Let h = -16 + p. Does 6 divide h?
True
Let u be (2/(-7))/1*-7. Suppose -3*d - 5 = -20. Does 10 divide (-468)/(-30) + u/d?
False
Suppose -11*l + 7*l + 336 = 0. Does 12 divide l?
True
Suppose -4*m + 2*t + 2*t + 256 = 0, -3*m = -5*t - 188. Is m a multiple of 33?
True
Suppose 8*j = 12*j - 52. Is j a multiple of 10?
False
Suppose -4*t - 27 = 1. Let h(g) = -6*g - 6. Is h(t) a multiple of 9?
True
Is (-4)/25*-5*10 a multiple of 8?
True
Let u(i) = -i**2 - 8*i + 1. Let n be u(-7). Suppose -4 = -m + l, -5*m - l = l + n. Suppose o + o - 14 = m. Is 5 a factor of o?
False
Suppose -x - 4*r + 7*r + 118 = 0, 3*r - 402 = -3*x. Suppose -2*n = -4*h - 3*n + 94, -5*h + 5*n = -x. Suppose f - h + 4 = 0. Is 8 a factor of f?
False
Is 8 a factor of 54 - 0/(2 - 6 - -2)?
False
Suppose -5*m = 12 + 3. Let n = m + 0. Does 11 divide -3*n/9 - -18?
False
Let c = 58 + 35. Suppose -5*h + c = 13. Is h a multiple of 8?
True
Suppose 0 = -2*w - 0 + 2. Suppose t - 32 = -2*q, -4*t + 2*q + 129 = w. Is t a multiple of 9?
False
Let t(p) = p**3 + 2*p**2 + p + 2. Does 5 divide t(3)?
True
Suppose 0 = 2*i - 4*i + 58. Let o = -7 + i. Does 10 divide o?
False
Let t(b) = b**3 - 5*b**2 + b - 5. Let k be t(5). Suppose -4*g - 3*f - 2*f + 54 = k, -3*g + 2*f = -52. Is 5 a factor of g?
False
Let w(h) = 8*h + 5. Let s be w(4). Suppose 2*f - 58 = -3*x, -x + 43 = 3*f - s. Is 13 a factor of f?
True
Let m = 25 - -41. Is 11 a factor of m?
True
Let b(r) = r**3 - r**2 + r + 9. Let i be 0/(-2) - (-5 + 5). Is 4 a factor of b(i)?
False
Let l = -39 + 85. Does 13 divide l?
False
Is 9 a factor of (-426)/(-12) - 1/2?
False
Let x(g) = 22*g + 2. Is 23 a factor of x(2)?
True
Let o = 1 - -3. Suppose o*m = 4*n - 68, 0*n - 5*m = 2*n - 27. Does 8 divide n?
True
Suppose -3*i + 4 = -3*m - 5, 0 = -3*i + m + 19. Is i a multiple of 8?
True
Let d(s) = 2*s - 8. Let v be d(6). Suppose -v*a - 4 = -l, l - a = -3*a + 10. Let x(z) = 3*z - 10. Is x(l) a multiple of 7?
True
Suppose -2*v = -4*x + 242, -5*v - 112 = -3*x + 80. Is x a multiple of 12?
False
Suppose 4*t - 19 = 25. Does 11 divide t?
True
Let h(g) = -2*g**3 - 12*g**2 - 3*g - 6. Let w(a) = -a**3 - 6*a**2 - 2*a - 3. Let c(f) = 3*h(f) - 7*w(f). Let i be c(-5). Let m = i + 4. Is 7 a factor of m?
True
Let m(q) be the first derivative of -2*q**2 + 5*q - 5. Is 25 a factor of m(-5)?
True
Let p = 7 - 3. Let l be (p/(-5))/(4/(-10)). Is 8 a factor of -2 + 0 - (-20)/l?
True
Let g(r) = -3 - r**3 + 2 - 4*r**2 + r + 3*r**2. Let d be 13/(-5) - (-6)/(-15). Is g(d) a multiple of 14?
True
Let s be (-2)/(-5) + 24/(-10). Is (s - -2) + 2 + 6 a multiple of 4?
True
Let q(g) = -g**2 - 2*g - 1. Let n be q(-1). Let z = n + 24. Is z a multiple of 12?
True
Let g(z) = -71*z**3 - 2*z - 1. Does 21 divide g(-1)?
False
Let d(w) = w**3 - 2*w**2 - w + 19. Is d(0) a multiple of 10?
False
Let r be (3 