 Let r(s) = s**3 - 5*s**2 + 5*s + 1. Is 13 a factor of r(o)?
True
Let q = -3 + 6. Let c = 7 - 5. Suppose -q*w = -0*w, -r + 26 = c*w. Does 13 divide r?
True
Let o = 62 - 11. Let u = -30 + o. Suppose 2*x + 4*z - u = -1, 3*x - 2*z = 62. Is x a multiple of 9?
True
Is 16 a factor of (-19)/2*-14 + -2?
False
Suppose -3*n = -4*n + 5. Suppose -v = -25 - n. Is v a multiple of 15?
True
Suppose 0 = -2*b + 1 - 3. Let d be 2 + -2 - 54/2. Does 9 divide ((-2)/((-6)/d))/b?
True
Suppose -u + 0 + 1 = 0. Let v be 2/(-4) - u/2. Does 12 divide ((-31)/3)/(v/3)?
False
Let z be 18 - (0 + 9/3). Let f be (-10)/z*228/2. Is (4/8)/((-2)/f) a multiple of 5?
False
Suppose -395 = -4*i + 3*z + 49, -3*z = 12. Does 36 divide i?
True
Suppose n - 5*r = -3*n + 46, -2*n + 8 = 5*r. Suppose n + 5 = 2*k. Let d = 17 - k. Does 5 divide d?
True
Let j = 1 + 10. Is 11 a factor of j?
True
Let w = 266 - 188. Is 13 a factor of w?
True
Let g(y) = -2*y - 4. Let z be g(-3). Let c be 5/z - (-2)/4. Suppose c*v - 7 = 38. Is 15 a factor of v?
True
Let u be (-2 - -3) + 5 + -3. Suppose v + 14 = u*v. Is 2 a factor of v?
False
Let b(r) = -r + 22. Let f be b(11). Suppose -q + 0 = -f. Does 9 divide q?
False
Suppose 7*k + 52 = -3*a + 2*k, 0 = -4*k - 8. Let t(g) = -g + 4. Does 6 divide t(a)?
True
Let d be (-219)/(-45) - 10/(-75). Suppose 63 = d*o - 92. Does 13 divide o?
False
Suppose 8*o = 7*o + 21. Does 4 divide o?
False
Let a be 9/(6/2) - 1. Is 9 a factor of -1 - (-1 - (11 - a))?
True
Is 2*(-1)/(-2) + 11 a multiple of 4?
True
Let q = -29 + 99. Does 12 divide q?
False
Let o(l) = l**3 + l**2 + 42. Let j be o(0). Is 744/j + 4/14 a multiple of 8?
False
Suppose -3 = -3*f + 2*f. Suppose -4*r + f*r = -31. Suppose -8 = 2*k + 3*b - r, 2*k - 43 = b. Is k a multiple of 9?
False
Let q(z) be the third derivative of -z**7/2520 + 2*z**5/15 + z**4/24 + z**2. Let h(f) be the second derivative of q(f). Is h(0) a multiple of 16?
True
Suppose 0*n + 240 = 12*n. Does 3 divide n?
False
Suppose 4*w + 100 = 2*c + 2*w, 247 = 5*c - 4*w. Is c a multiple of 16?
False
Suppose -5*n - 10 = -b + 3, 3*b + 18 = -4*n. Does 12 divide 36/(-3)*-3 - n?
False
Suppose 99 = 3*b - 0*b. Let n = 64 - b. Is 13 a factor of n?
False
Let c(l) = -l**3 - 3*l**2 + 4*l + 5. Let u be c(-4). Suppose 2*n + 78 = u*n. Is n a multiple of 9?
False
Let w = -4 + 14. Does 2 divide (-4)/(-8)*w - 1?
True
Let l = -26 + 42. Suppose -l = 4*j, r + 4*r - j = 264. Let s = -19 + r. Does 12 divide s?
False
Let y(j) = -7 - 2*j**2 + 0*j - 3 + 6*j + 3*j**2. Is 21 a factor of y(-11)?
False
Is 21 a factor of 9/(3 - (-123)/(-42))?
True
Suppose -2*i + 3*j = -133 - 223, 4*i + j = 740. Suppose 3*a - i = -a. Does 23 divide a?
True
Suppose 5*x - 19 = 3*x + d, 0 = 5*d + 15. Is x a multiple of 8?
True
Let h(i) = 39*i - 2. Let o be h(3). Suppose 2*t + 3*t = o. Is t a multiple of 11?
False
Let f be 5 + -2 + 6/6. Let c(y) = 1 - 3*y**2 + 4*y + 2*y**2 + 1. Is 2 a factor of c(f)?
True
Suppose -7*d + 240 = -2*d. Is 4 a factor of d?
True
Let l(p) = -p**3 - 9*p**2 - p - 12. Let j be l(-9). Is 2 a factor of (-8)/(-1) - j/(-1)?
False
Let w be (-2 + (-2 - -3))*-5. Let k(o) = 7*o**3 + o**2 + 2*o + 9. Let g(p) = -3*p**3 - p**2 - p - 4. Let f(c) = -9*g(c) - 4*k(c). Does 4 divide f(w)?
False
Suppose -10*k + 10 = -8*k. Is 3 a factor of k?
False
Suppose 6*i - 3*i = 120. Is 40 a factor of i?
True
Let b be (-18)/(7/(63/6)). Let v = 78 + b. Is 17 a factor of v?
True
Let z be (3/(-5))/(12/60). Let i(p) = -2*p**3 + 3. Is 19 a factor of i(z)?
True
Suppose -4*c - 3*d + 24 = 0, -3*c + d = -0*d - 18. Let r = -9 + c. Is 2 a factor of (-1)/r*(-1 - -10)?
False
Let f = -5 - -5. Is 9 a factor of 0 - (0 + f) - -18?
True
Let k(v) = 32*v**2 - 1. Let c be k(-1). Suppose -f - 5*q = -q + 3, -3*q - c = -5*f. Suppose f*n - 6*n + 6 = 0. Is 6 a factor of n?
True
Suppose -2*j = -0 - 14. Let y = j + 2. Does 9 divide y?
True
Let j be 8/(-3)*75/(-10). Let d(v) = -v**2 - 9*v - 6. Let l be d(-6). Let i = j - l. Does 8 divide i?
True
Let i be (-14)/(-21) + (-1)/(-3). Suppose 3*x - i - 1 = 5*z, 2*z = 10. Is x a multiple of 3?
True
Let b(c) = 26*c - 10. Is b(4) a multiple of 16?
False
Suppose -4*z + 112 = 2*v, -4*v + z + 122 + 75 = 0. Is 25 a factor of v?
True
Suppose -2 = 5*u - 7. Let y be (-2 + 2)*u - -30. Is 8 a factor of (y/4)/(3/6)?
False
Let g(x) = -x + 50. Let f be g(0). Let n = -18 + f. Does 7 divide n?
False
Let k(t) be the second derivative of -t**5/20 + 5*t**4/6 - 11*t**3/6 - 7*t**2/2 - 3*t. Is k(8) a multiple of 9?
False
Suppose 3*n - 5 = 4*n + 4*v, -55 = -2*n + 5*v. Is 15 a factor of n?
True
Let j = 65 + -38. Is j a multiple of 21?
False
Suppose 3*y + 2*y - 25 = 0. Suppose -2*w + p - 2*p + y = 0, 5*w - 12 = -2*p. Is 63/w - (-5)/10 a multiple of 13?
False
Is 26 a factor of 548/7 - 4/14?
True
Is 6 a factor of (-55)/44 - (-735)/12?
True
Suppose i - 18 = 19. Let w = i + -8. Is w a multiple of 16?
False
Let h = 162 + -57. Is h a multiple of 5?
True
Let b(t) be the third derivative of t**4/24 - t**3/2 - t**2. Let x be b(7). Suppose 94 = 2*p - 0*y + x*y, -3*p + 2*y + 125 = 0. Does 23 divide p?
False
Suppose -5*d = -g + 5, -2*g = -4*d + 1 + 1. Is 9/(-15) + (-288)/g a multiple of 24?
False
Let w(l) = 16*l + 71. Let t(u) = -3*u - 14. Let o = -5 + 3. Let a(c) = o*w(c) - 11*t(c). Is 12 a factor of a(0)?
True
Let h = 437 - 302. Is 15 a factor of h?
True
Let h = -3 + 2. Let u be (-2 - -1)*h/1. Suppose 3*p + u = -2, 2*a = -p + 13. Does 5 divide a?
False
Let b(i) = -i**3 - i**2 + 3*i + 2. Let q be b(-2). Is q + 0 + (12 - -2) a multiple of 13?
False
Suppose 0*d - t = -4*d + 1386, -d + 341 = -3*t. Does 15 divide d?
False
Suppose 21*p = 23*p - 110. Is 11 a factor of p?
True
Suppose 5*p + f = 3*f + 30, p + 3*f = -11. Suppose 0 = -h - p, -4*h - 42 = -n - n. Is 8 a factor of n?
False
Let b(l) = l**2 - 3*l + 2. Let u be b(2). Suppose t + 259 = 2*m, -m + 0*m + t + 129 = u. Suppose 4*a + 2*o = -2*o + 120, 0 = 4*a + 2*o - m. Does 15 divide a?
False
Let p be -1*(-2 - (-124)/(-4)). Let y = 50 - p. Is y a multiple of 11?
False
Is 51 a factor of (-7 - -5)*102/(-4)?
True
Let n(u) = -1 - 1 - u**2 - 2 + 9*u - 2*u. Is n(3) a multiple of 3?
False
Let m(q) = 3*q - 12*q - q**2 - 2*q + 8. Let j = 21 + -31. Is m(j) a multiple of 8?
False
Let y(c) = -c**3 - 7*c**2 - 3*c - 4. Let k = 10 + -17. Is y(k) a multiple of 17?
True
Suppose 27 + 7 = 2*c. Is c a multiple of 17?
True
Let h = 47 - 6. Is 9 a factor of h?
False
Let q be (-2)/(3*(-6)/(-9)). Let h be (0 - -14) + 2/q. Is h/(-30) - 77/(-5) a multiple of 10?
False
Let x(v) = -5*v + 4. Suppose 3*g - 4*z = -0*g - 12, 0 = -g + 4*z - 12. Suppose g = 5*m - 3*m + 6. Is x(m) a multiple of 7?
False
Suppose 4*y = -4*j + 72, 3*j - 3 = y - 1. Let l = 39 - y. Is 13 a factor of l?
True
Let v(k) = 4*k**2 + 2*k**3 + 1 + 2*k**3 + 3*k**3 - 4*k - 6*k**3. Let p be v(-4). Let x = p - -13. Is x a multiple of 12?
False
Suppose -5*f + 12 + 18 = 0. Suppose -f*t + 11*t = 145. Does 11 divide t?
False
Suppose 2*m - 22 = -3*q, 3*m + 3*q = -2*m + 37. Let l be 22/m + 4/(-10). Does 18 divide 27/l*(-48)/(-9)?
True
Let s(a) = 3*a + 8. Let j be s(6). Suppose -2*p = 4*f + 54 + j, 5*p = f - 222. Is 11 a factor of (p/10)/((-2)/10)?
True
Let p = -1 + 2. Let q = 9 - 2. Suppose p + 1 = -2*r, 5*r = -u + q. Is 12 a factor of u?
True
Let y(s) = s + 4. Let f be y(2). Let h = f - -24. Is h a multiple of 11?
False
Let w = 17 - 9. Let g = 18 - w. Is 5 a factor of g?
True
Suppose -5*k = r - 15, -k - 3*k - 17 = -5*r. Let u be (34 - (k + -2)) + 2. Suppose -6*d + 2*d = -u. Is d a multiple of 6?
False
Let c(l) = l**3 - 9*l**2 + 12*l - 11. Let q = -2 + -8. Let w be (8/q)/((-3)/30). Does 11 divide c(w)?
False
Let y(u) = -u**2 - 11*u - 12. Let b be y(-8). Suppose b = -3*w - c, -9 = 2*c + c. Let z = 15 - w. Does 9 divide z?
True
Let z(l) = -3*l + 4*l**3 - 3*l**3 + 0*l**2 - 3*l**2 + l**3. Is 9 a factor of z(3)?
True
Suppose -5*o + 641 + 659 = 0. Is o a multiple of 45?
False
Is 23 a factor of (-690)/(-4)*(-2)/6*-2?
True
Let b(d) = d**3 + 5*d**2 - 6*d + 2. Let r be b(-6). Let s(v) = -4 - 3*v - 2*v**r - 9*v + 6 + v**2. Does 10 divide s(-9)?
False
Is 33 a factor of (1/3)/((-8)/(-840))?
False
Let h(t) = 3*t + 6. Let k be h(9). Is 12 a factor of 1298/k + (-2)/(-3)?
False
Suppose 4*a - 446 - 14 = 0. Suppose -4*q + a = 39. Is q a multiple of 13?
False
Let m be (-1)/(-4) + (-8)/32