5?
False
Let z be -6*((-6)/(-4))/(-3). Let x = 7 + -7. Suppose -z*q + 4*q - 13 = x. Is 10 a factor of q?
False
Let p = 205 + -63. Let q be -7 - 2/(-3 - -1). Does 7 divide (-1)/(-3) - p/q?
False
Let r = -3 - -3. Suppose r = -2*c + 5*m - 0 - 17, 2*m = 10. Suppose c*h = 3*h + 40. Is 18 a factor of h?
False
Let s(f) = -f**3 - 6*f**2 - 6*f - 2. Let p be s(-5). Let y(k) = -k + 3. Let j be y(p). Suppose j = -2*h + 49 + 9. Is 12 a factor of h?
False
Suppose -4*m + 36 = -p, 2*m + 4*p = -0*p + 36. Is m a multiple of 10?
True
Let c(t) = t**3 - 5*t**2 + 3*t + 1. Let u be c(4). Let z = u + 3. Let i(b) = -b**2 + 7. Is i(z) a multiple of 7?
True
Let y = 501 + -355. Does 14 divide y?
False
Is (-740)/(-6) - (-7)/(-21) a multiple of 33?
False
Suppose -21 = -3*w + 3*g, 4*w - 3*g - 11 = 14. Let q be (10/1)/((-1)/(-12)). Suppose -w*t + q = t. Is t a multiple of 12?
True
Let c(x) = -7*x - 1. Let t(r) = 1. Let y(i) = c(i) - t(i). Suppose 4*n - 2*g = -4 + 2, 35 = -5*n - 4*g. Does 8 divide y(n)?
False
Suppose -5*v + 3*a = -16, 5*v - 2*a = 3*v + 8. Suppose -v*u + 1 = -1. Does 14 divide (1 - 4) + 22*u?
False
Let k(b) = -b**3 - 3*b**2 - 5*b + 4. Is 10 a factor of k(-4)?
True
Let f = -17 - -19. Let k = -100 - -260. Suppose 7*v - f*v = k. Is v a multiple of 12?
False
Let f = 146 + -51. Does 11 divide f?
False
Let v(p) = p**2 + 3*p - 6. Let j be v(-5). Suppose 0 = j*f + f - 210. Is f a multiple of 21?
True
Let i(g) = -g**2 + 11*g - 1. Suppose -t + 15 = 2*t. Is i(t) a multiple of 10?
False
Let s = 8 + -3. Let z(g) = g**2 - 3*g - 6. Let h be z(s). Suppose -h*y - 5*b + 35 = -0*y, 5*b = y - 15. Is 3 a factor of y?
False
Is (((-1736)/(-21))/(-4))/((-2)/3) a multiple of 5?
False
Suppose o - 2 = 2. Suppose -o*j = -11 + 3. Is 2 a factor of j?
True
Let i(a) = 3*a**2. Let k = 2 - 1. Let v be i(k). Suppose -v*c = -10 - 32. Does 7 divide c?
True
Let d = 4 - -1. Suppose -4*o + 226 = -2*o + d*l, -5*o - 3*l + 584 = 0. Does 13 divide o/3 + 2/(-6)?
True
Suppose -3*u = 5*l - 61, 4*l - 56 = -3*u - 0*l. Is u a multiple of 12?
True
Let t(l) = l**2 + 11*l + 16. Let n be t(-7). Suppose 12 = -3*w - 3*r, -r + 2*r - 4 = w. Is 2 + w + 2 - n a multiple of 4?
True
Suppose -4*f = -5*g + 270, -25 - 83 = -2*g + f. Is g even?
True
Suppose 0*m - 2 = -m. Let o(v) = v**2 + 2*v - 3. Does 5 divide o(m)?
True
Does 3 divide 4/1*(-11)/(-4)?
False
Suppose 4*x - 166 = -2*i, 3*x + 0*i - 122 = -i. Is x a multiple of 13?
True
Let x = -15 + 63. Is x a multiple of 6?
True
Let d(v) = v**2 + 4*v + 5. Let b be d(-3). Does 7 divide b + 0 - (-7 + 2)?
True
Let l = 5 + 1. Is 3 a factor of l?
True
Suppose -3 - 11 = -2*q. Suppose -2*l - 35 = -q*l. Does 12 divide 2/l - 1110/(-35)?
False
Let j(a) = a**2 - 7*a + 22. Suppose 3*t + c + 2*c - 33 = 0, 5*c + 8 = 2*t. Is 10 a factor of j(t)?
True
Suppose 2*w + 11 = 3*o - 21, -5*o + 2*w = -56. Is o a multiple of 8?
False
Suppose 0 = c - 2*c + 101. Let h = c + -70. Does 13 divide h?
False
Let j = -2 + 10. Suppose -m - m = -j. Does 2 divide m?
True
Let n(a) = a. Let r be n(-1). Let c = r + 31. Is 10 a factor of c?
True
Is 31 a factor of 156 - 4*4/16?
True
Let j(x) = x**3 - 5*x**2 - x + 2. Let g be j(-3). Let r = 100 + g. Does 11 divide r?
True
Let a = 5 + 0. Suppose 5 = 3*k - a*r - 37, -42 = -4*k + 2*r. Is 9 a factor of k?
True
Let o = -49 - -68. Is o even?
False
Let h be (16/(-6))/(1/3). Let d = 22 + h. Does 14 divide d?
True
Suppose 5*o = 8 + 7. Suppose -o*w + 9 = 3*m - 4*w, -3*w = 5*m - 1. Suppose 2*x + 3*k = 5*x - 48, m*k = 4. Is x a multiple of 9?
True
Let a(q) = 3*q - 3. Let k be a(2). Suppose 0 = 3*f - k*r + 3, r = 5*f + 3*r - 30. Is 4 a factor of f?
True
Suppose -3*j - 1 = -2*k - 2, -4*k = 3*j - 7. Let f be (k - -4*4) + 1. Suppose 4*x = -s + f, -3*s - 37 + 6 = -5*x. Is x a multiple of 2?
False
Let g(m) be the first derivative of -m**7/840 + m**6/60 + m**5/15 - 7*m**4/24 - m**3/3 + 1. Let f(c) be the third derivative of g(c). Does 15 divide f(6)?
False
Suppose 477 = 6*n - 99. Is 5 a factor of n?
False
Let t(u) = u**2 - 3*u - 5. Does 18 divide t(9)?
False
Let n(p) = p**2 + 9*p + 3. Let h be n(-7). Let m(q) = -q**2 - 11*q + 11. Does 9 divide m(h)?
False
Let v(u) = 6*u**3 - u**2 - 4*u - 1. Does 3 divide v(2)?
False
Let a be 4/5*(-5)/(-2). Suppose -94 = -a*n + 2*k, 0*k = k + 2. Does 13 divide n?
False
Suppose -4*q = -6*q + 68. Suppose -5*g = -w - 2*w + 105, -w + 2*g + q = 0. Is 20 a factor of w?
True
Suppose -k + 62 = -6. Does 8 divide k?
False
Let t be (-4 - -2)*-1 + 4. Let x be (t/(-9))/((-1)/180). Suppose 5*n - l + 3*l - x = 0, n - 51 = 5*l. Does 13 divide n?
True
Suppose -u - 3*h = -21, -3*u + 4*h + 122 = -6. Suppose 0 = 2*f + 3*f - 60. Suppose u = 4*k + f. Is k a multiple of 6?
True
Let y(h) = -3*h**2 - 4*h + 12. Let z(s) = -7*s**2 - 8*s + 25. Let j(u) = -5*y(u) + 2*z(u). Is 9 a factor of j(-7)?
False
Let w(y) = 7*y - 6. Let l be w(4). Let j = l - -8. Is j a multiple of 13?
False
Suppose -4*p = -0*p - 4. Let z(y) = 14*y**3 + y**2 - y. Let d be z(p). Is 14 a factor of d/((-1 - -2)*1)?
True
Let x(o) = -o**2 + 10*o + 13. Let b be x(9). Suppose -b = -3*h + 8. Does 5 divide h?
True
Let b(s) = -s + 9. Let v be b(-7). Does 16 divide 110/7 + v/56?
True
Suppose 84 - 308 = -4*a. Is a a multiple of 28?
True
Let c(h) = -h**3 + 9*h**2 + 8*h - 12. Let u be c(9). Suppose -6*t + 4*t + 8 = 0, -2*t + u = 4*y. Does 13 divide y?
True
Is 183 - (-5 - (-3 - 4)) a multiple of 11?
False
Suppose -5*a + h + 48 = 0, 0 = 2*a + 2*a - 4*h - 48. Is (33/a)/((-1)/(-3)) a multiple of 9?
False
Suppose 3*p - 299 = -0*z - z, -5*p + 2*z + 491 = 0. Is p a multiple of 25?
False
Let r be 15 + (0 - 0/2). Let t = 13 + -12. Is 4*(t + r/3) a multiple of 16?
False
Let s(m) = -2*m**3 - 4*m**2 + 2. Let j be (-1)/(-2)*0 + 2. Suppose -j*v = 7 - 1. Is 10 a factor of s(v)?
True
Let i(h) = -49*h + 1. Let c be i(-1). Suppose c = 4*p - 6. Suppose -5*n + z + p = 0, -7 = 2*n - 3*n - 4*z. Does 3 divide n?
True
Let v = -21 + 47. Let u = v - 18. Let n = 1 + u. Does 9 divide n?
True
Suppose 33 = -2*r + 2*d - 3*d, 2*d = -6. Is 18 a factor of r/2*(-36)/5?
True
Suppose y + 2*w - 98 = 0, 3*y = -y - w + 385. Is 15 a factor of y?
False
Suppose m + 4 = 13. Let y be ((-1)/(-1))/(1/3). Let p = y + m. Is p a multiple of 8?
False
Is 38 a factor of ((-20)/(-40))/((-2)/(-608))?
True
Suppose -10*k + 824 = -756. Is 33 a factor of k?
False
Let o = -33 + 88. Suppose i - o = -4*l - 2*i, 3*l - 40 = -2*i. Does 10 divide l?
True
Let m be 19/7 - 6/(-21). Suppose -m*a + 50 = -a. Is a a multiple of 17?
False
Let c = -37 - -55. Is c a multiple of 8?
False
Suppose -5*r + 10 + 25 = 0. Let y(b) = b + 1. Does 4 divide y(r)?
True
Suppose 0 = f - 4*l - 260, -166 = 3*f + 2*l - 960. Does 51 divide f?
False
Suppose f + 7 = 5*v - 161, -138 = -4*v + 2*f. Suppose -31 - v = -4*l. Suppose 3*h - l = -h. Is h a multiple of 4?
True
Suppose 3*a = -4*b + 359, 2*b + 4*a - 172 = -0*a. Does 30 divide b?
False
Let c(s) be the first derivative of -2*s - 2 - 7/2*s**2 + 2/3*s**3. Is 13 a factor of c(5)?
True
Suppose -m = -2*j - 72, -4*j + 144 = -4*m + 420. Is m a multiple of 27?
False
Let s(c) = c. Let i(q) = -3*q**3 - q**2 - q + 3. Let u(p) = i(p) + 5*s(p). Is u(-2) a multiple of 5?
True
Is ((-63)/28)/(2/(-16)) a multiple of 18?
True
Is 9 a factor of 4/(-6)*(-1752)/16?
False
Let r be 1/((2 - 3)/(-9)). Let s = -3 + r. Does 9 divide 12/(0 + 4/s)?
True
Suppose 1056 = -9*s + 17*s. Is 7 a factor of s?
False
Does 13 divide (-3)/6 + (-3)/(-2) + 52?
False
Let a be 5/(15/(-12)) - 1. Let y(k) = -k**3 - 5*k**2 - k + 5. Is 10 a factor of y(a)?
True
Does 2 divide 78/8 - 3/4?
False
Is ((-24)/(-11) + (-14)/77)*4 a multiple of 8?
True
Suppose 0 = -4*z - 3*s + 522, -2*z + 6*s = s - 274. Does 33 divide z?
True
Let v(f) = f**2 - 6*f - 4. Let m be v(5). Let a = m + 9. Suppose -2*x - 28 = -4*o, -o - 5*x - 15 = -a*x. Is o a multiple of 3?
False
Suppose 2*c - j = 247, 3*c - 6*c + j = -369. Does 31 divide c?
False
Suppose -2 = -2*f + 6. Let g(l) = -l**3 + 5*l**2 - 4*l - 1. Let c be g(f). Is 5 a factor of ((-1)/2)/(c/12)?
False
Suppose 5*y = 590 - 150. Is 632/y + 4/(-22) a multiple of 7?
True
Let s be (1 + -2)/((-1)/(-11)). Let m be s/1 - 2 - -1. Let a = m + 23. Is 4 a factor of a?
False
Suppose 936 = -0*r + 12*r. Is r a multiple of 6?
True
Is 12/(-30) + (-471)/(-15) a multiple of 21?
False
Suppose -34 = -w - w. 