r(y) = y**3 + 4*y**2 - 3*y - 1. Let q be 6*((-21)/(-9) + -3). Is 11 a factor of r(q)?
True
Suppose 5*i + 44 = v, -2*i + 85 = -0*v + 5*v. Is v a multiple of 11?
False
Let a = 93 + -54. Is 9 a factor of a?
False
Let u(j) be the second derivative of -2*j**3/3 - 3*j**2/2 + 2*j. Let k be u(-2). Suppose z + k = 15. Is z a multiple of 5?
True
Let w be (-22)/(-10) + (-24)/(-30). Let b(c) = -c**2 - 7*c. Let j be b(-6). Is 3 a factor of (4 - j/3) + w?
False
Suppose -5*w = -4*g, -8*g + 3*g - w = -29. Suppose 0 = k - g*k. Is 27 a factor of 1*((k - 2) + 30)?
False
Let q = 77 - 32. Let h be (-2)/(-9) + 215/q. Suppose h*o + 0*o - 110 = 0. Is 18 a factor of o?
False
Is 2 - -26 - (-5 + 3) a multiple of 15?
True
Is (-12)/16 + (-396)/(-16) a multiple of 12?
True
Let b(a) = -a**3 - 3*a**2 + 4*a + 7. Let x be b(-3). Let u = x + 11. Is u even?
True
Let x be (-1571)/4 - (-4)/(-16). Let w be (-8)/12*x/2. Suppose 4*z - w - 29 = 0. Is z a multiple of 20?
True
Let s(x) = x**3 + 5*x**2 - 4*x - 2. Let z be s(-5). Let h be 67/3 - (-12)/z. Let w = h + -10. Does 8 divide w?
False
Let z = 55 + -24. Suppose 2*n = 4*n - 4*k - 38, -4*k + z = n. Suppose t = -l + n, 2*l + 66 = -4*t + 6*t. Does 8 divide t?
False
Let t(g) = -16*g**3 - 3*g**2 + 2*g - 1. Let a be t(2). Let y = a + 66. Let i = y + 111. Is 16 a factor of i?
False
Let i = -6 + 6. Suppose -2*o = 0, -r + 2*o - 5*o + 22 = i. Is r a multiple of 11?
True
Suppose 0*b - 92 = -b. Does 23 divide b?
True
Let u = -13 + 20. Is u a multiple of 2?
False
Let z be 2/(-13) - (-423)/(-39). Let q be (-96)/(-44) - (-2)/z. Suppose -q*a + 7*a - 25 = 0. Is 5 a factor of a?
True
Let r = 180 + -128. Let l = 88 - r. Is 20 a factor of l?
False
Let n be (1 - 2)/((-1)/(-30)). Let y = -25 - n. Is y a multiple of 2?
False
Let n(p) = 2*p**2 - 30*p + 21. Is 12 a factor of n(19)?
False
Let t = -31 - -53. Does 11 divide t?
True
Suppose -2*d + 16 = 3*o, -3*o + 1 + 0 = -d. Does 13 divide (-76 - o)*(-2)/6?
True
Let x(u) = -u**2. Let y(z) = z**2 + 5*z + 1. Let v(a) = -2*x(a) - y(a). Does 5 divide v(7)?
False
Let u(b) = 2*b**2 + 3*b - 4. Let p(x) = -x**2 - 5*x - 3. Let m be p(-5). Is u(m) even?
False
Suppose 0 = 4*w + g - 16, -g = -3*g. Suppose 4*z - 5*q = 156, w*q = 3*z - 19 - 97. Suppose -2*x = -x - z. Is x a multiple of 15?
False
Let n = 417 + -187. Does 23 divide n?
True
Does 13 divide 86 + 2/(-2)*1?
False
Suppose 0 = -s - 4 + 9. Suppose 3*r + 12 = 4*l, s*l - 2*r - 15 = r. Does 3 divide l?
True
Suppose w - 3 = 1. Let y(k) = 0*k + 0 - 4 + w*k. Is y(5) a multiple of 11?
False
Suppose 0 = 2*x + x - w - 117, -145 = -4*x + 5*w. Let l(b) = 3*b - 3. Let z be l(2). Suppose z*o - 4*p - x = 0, -p + 49 = 4*o - 2*p. Is o a multiple of 6?
True
Let n(h) = -h**2 - 13*h - 10. Does 4 divide n(-3)?
True
Suppose -2*i = 2*i + 4*h - 900, 2*h - 910 = -4*i. Is i a multiple of 23?
True
Let p(a) be the first derivative of -a**2/2 + 1. Let l(w) = -6*w + 5. Let i(j) = l(j) - 5*p(j). Does 10 divide i(-10)?
False
Let o = 5 - 5. Suppose 4*w + o*w - 2*x - 158 = 0, -4*x + 191 = 5*w. Is 13 a factor of w?
True
Let u = 124 + -73. Is 51 a factor of u?
True
Let a be 1 + -3 + 12*1. Is a*((-3)/(-6) - 0) even?
False
Is (-18 - 2)/((-6)/21) a multiple of 10?
True
Let c(m) = 3*m**2 - m + 5. Is 29 a factor of c(3)?
True
Suppose r - 4 = -0*r + 2*h, h - 4 = -r. Suppose r*x - 25 = 5*i + 102, 170 = 5*x - 4*i. Is x a multiple of 17?
False
Let o = 131 + -50. Is o a multiple of 7?
False
Let f(l) = -l**3 + 9*l**2 + 8. Is f(8) a multiple of 25?
False
Let d(h) = h**3 - 5*h**2 + 2. Let n be d(5). Suppose 2*f - 84 = 2*r, -4*r = -n*r + 2. Is f a multiple of 11?
False
Let i = -15 + 35. Let d be (-5)/((-15)/2)*3. Suppose 3*b - i = -d*r - 7, 0 = 2*r - 3*b - 43. Is 7 a factor of r?
True
Does 11 divide 152*((-14)/4 + 4)?
False
Suppose 359 = 16*r - 121. Does 2 divide r?
True
Suppose 2*p = -3*p + 65. Let c = p - 21. Let k = 15 + c. Is k a multiple of 7?
True
Let d be (-80)/12 + (-1)/3. Let u = 37 + d. Is u a multiple of 10?
True
Let o(r) = -14*r - 10. Does 26 divide o(-8)?
False
Suppose 32 = -0*w + 4*w. Let y be ((-80)/(-56))/(1/7). Does 6 divide (y/w + 0)*12?
False
Let f = 38 - 8. Is 6 a factor of f?
True
Let l = 13 + -8. Let f(o) = o**3 - 4*o**2 - o + 3. Is 9 a factor of f(l)?
False
Does 15 divide 1 + 45 + -4 + 3?
True
Suppose v = 2*v + 5*o - 29, -4*o = v - 28. Is v a multiple of 4?
True
Let u(c) = 2*c**3 - 31*c**2 - 8*c + 19. Is 21 a factor of u(16)?
True
Let n = 67 + 69. Is 34 a factor of n?
True
Is 13 a factor of (-2)/(-8) + 1098/24?
False
Suppose 104 = -4*a + 8*a. Is 15 a factor of a?
False
Let g(q) = -q**2 - 14*q + 4. Is g(-10) a multiple of 22?
True
Let h(a) = a**3 + 2*a**2 - a - 2. Suppose 6 = 3*z - 5*z. Let f be h(z). Is (-4)/16 + (-162)/f a multiple of 14?
False
Let i(v) = -v**2 + 15*v + 10. Is 18 a factor of i(11)?
True
Let t(a) = 5*a**2. Let s be t(1). Suppose 2*j + 120 = 3*i, 3*j = 2*i - 80 + s. Is i a multiple of 21?
True
Let q be (-1 - (-2 + 3))*-7. Let w = q + -8. Is 5 a factor of w?
False
Let m = -135 - -170. Does 7 divide m?
True
Suppose -3*l + 0*l - 9 = z, 0 = 3*z - 5*l + 13. Let h(v) = -3*v + 1 - 6 + 13. Is 26 a factor of h(z)?
True
Let u = 67 - 37. Suppose u = 3*d + 2*d. Let a(g) = 4*g + 8. Is 12 a factor of a(d)?
False
Let t(s) = -s**2 + 6*s + 9. Let v be -1 + 3 + -2 + 7. Let b be t(v). Let q(c) = 8*c + 2. Is q(b) a multiple of 8?
False
Suppose -z + 2*g = -12, -3*z - 5*g + g + 56 = 0. Is 11 a factor of z?
False
Let v(a) = -a**2 + 5*a. Let m be v(4). Suppose 0 = -5*i + 10, 0 = m*q - 0*i - 2*i + 28. Let u(c) = c**2 + c - 6. Is 10 a factor of u(q)?
False
Let l be (-4)/(-2) - (9 + -5). Let p be l/3 - (-4753)/(-3). Does 19 divide p/(-45) - 4/18?
False
Let f(j) = -7*j**2 + 3*j + 6. Let t(a) = a**2 - 1. Suppose -3*u = 3*w + 24, -3*u + 2*w - 1 = 3. Let o(k) = u*t(k) - f(k). Does 16 divide o(3)?
True
Suppose -116 = -6*c + 1090. Is c a multiple of 43?
False
Suppose -2*u = u + 3. Let t = u - -30. Suppose -4*z + 35 + t = 0. Is 8 a factor of z?
True
Suppose 2*r = -l + 61, 0*l = 4*r - 5*l - 101. Is 5 a factor of r?
False
Suppose 22 = 4*y + 5*z, 2*y - 5*y - 3*z + 18 = 0. Suppose -g = -24 - y. Is g a multiple of 30?
False
Let m(x) = -2*x + 3. Let n be m(8). Is 1050/65 - (-2)/n a multiple of 9?
False
Let m = 65 - 39. Does 13 divide m?
True
Suppose 0 = x - 1 - 1. Suppose 4*a - 20 - 42 = -x*g, -4*g = -a - 115. Is g a multiple of 8?
False
Let z = -1 + -5. Let x(l) = -l - 3. Is x(z) a multiple of 3?
True
Suppose -6*i + 735 = i. Is 17 a factor of i?
False
Let t(k) = k**2 - 5*k + 6. Let f be t(4). Let n(h) = -f - 2*h**3 + 6 - 2*h**3 + h + 5*h**3 - 2*h**2. Does 8 divide n(3)?
True
Is (-3)/2 + 153/6 - -1 a multiple of 5?
True
Let f = 2 - -4. Let c = f + 3. Is 9 a factor of c?
True
Let x(j) = 2*j + 22. Is 5 a factor of x(8)?
False
Let h(l) = 28*l**2 + 2*l**2 - 2*l**2. Let v = 8 - 9. Does 9 divide h(v)?
False
Suppose 5*h - 3*q = 95, h - 15 = 5*q + 26. Is h a multiple of 16?
True
Suppose -8*h = -406 - 178. Is 11 a factor of h?
False
Let u(q) = q**3 + 5*q**2 - q - 3. Let w be u(-5). Suppose 0 = -w*t + 3*i - 29, t + 5*i - 27 = -9. Let g(k) = -2*k - 7. Does 4 divide g(t)?
False
Let r(i) = -i**2 - 12*i + 6. Suppose -3*l + 6 - 24 = 0. Is r(l) a multiple of 21?
True
Suppose -2*y + 3 = -b + 21, -2*y - 72 = -4*b. Is b a multiple of 10?
False
Let x(u) = -u**3 - 2*u + 2. Let l be x(2). Let m = l - -43. Is m a multiple of 9?
False
Suppose 0*x + 2 = -2*x, -35 = -3*d + 5*x. Suppose -24 = -2*l - c, l - 6*c + d = -c. Is l a multiple of 5?
True
Suppose 3*u - 132 = -u. Let v = -11 + u. Suppose 2*c + 5*p - p = 44, v = c + 5*p. Does 22 divide c?
True
Let g(m) = 41*m**2 - m. Let j(v) = v - 5. Let n be j(6). Is 18 a factor of g(n)?
False
Suppose f - 7 = 2. Does 2 divide f?
False
Suppose -2*u = 2*d, -4*u + 27 = -4*d - 5. Suppose -u*n + 16 + 44 = 0. Is 14 a factor of n?
False
Does 9 divide (42/(-28))/((-1)/24)?
True
Suppose 31 + 11 = 3*b - 4*o, -3*b = -o - 33. Is 5 a factor of (-15)/b + 23/2?
True
Suppose w - 2*w - 29 = -3*f, f + w - 15 = 0. Is 2 a factor of f?
False
Suppose n + 550 = 12*n. Is n a multiple of 6?
False
Let i = -22 - -58. Let n = -13 + i. Does 16 divide n?
False
Let g(t) = t**2 - 6*t + 6. Let s be g(6). Let c = 9 - s. Suppose -2*x + c*x = 17. Is 8 a factor of x?
False
Let u(a) = a + 1. Let k(s) = 14*s + 1. Suppose 0 = p + 3*r 