-13*o - o**2 + d*o**2 + 0 - 9 + 4*o. Is 9 a factor of m(-6)?
True
Let u = 16 + -16. Suppose 2*r - 2*t - 124 = u, 2*t - t = 4*r - 260. Is 14 a factor of r?
False
Suppose r - 4 = -1. Suppose 0 = h + 4*h - 50. Suppose r*k = k + h. Does 5 divide k?
True
Let c = -8 - -11. Is 32 a factor of (-1)/(-2*c/234)?
False
Let n(i) = i**2 - 7*i + 7. Suppose 2*o - 12 = 4. Does 11 divide n(o)?
False
Does 12 divide (2/10 - 1)*-20?
False
Let x = -20 + 12. Let o(n) = -n**2 - 10*n + 6. Does 17 divide o(x)?
False
Let r(h) be the third derivative of -5*h**4/24 - h**3/6 + h**2. Is 6 a factor of r(-5)?
True
Let p = -8 + 11. Let l be ((-8)/10)/(4/(-10)). Suppose g + 5 = s, -p*s + 10 = -s + l*g. Is 5 a factor of s?
True
Let z(g) = -61*g. Let j be z(-2). Let i = -85 + j. Is i a multiple of 10?
False
Let w = 0 - 1. Is 18 a factor of (26 - 8)*(2 + w)?
True
Suppose 0 = 2*b - 1328 + 112. Suppose 0 = 4*p - 532 - b. Is (-4)/6 - p/(-9) a multiple of 13?
False
Let a(h) = -h**2 + 7*h - 2. Let t be a(6). Suppose -4*s + 88 = -q, t*s - 88 = 5*q - 2*q. Suppose -38 - s = -2*p. Is p a multiple of 15?
True
Suppose f - 90 = 109. Suppose 2*p + r + 0*r - 107 = 0, 4*p + 5*r = f. Is 13 a factor of p?
False
Let b(m) = 118*m + 28. Is b(4) a multiple of 67?
False
Let g = -4 - -7. Suppose 3*b - 8 = -2*u, -4*u + 4*b + 0*b = -16. Suppose -g*a + 3*q + 60 = 0, 2*q = u*a + 4*q - 68. Is a a multiple of 7?
False
Suppose -3*w - 2*w = -130. Suppose -2*f = -f - w. Does 13 divide f?
True
Suppose 4*l = 3*f + 273, 0 = 2*l + l - f - 201. Does 11 divide l?
True
Let k = -9 - -15. Let h be (-2)/(-4) + k/4. Suppose 3*u - 19 = -5*y, 2*u - 5*y = 23 - h. Does 3 divide u?
False
Let i(m) = m**2 + 5*m + 4. Let q be i(-5). Suppose q*s = -s - 10. Is 13 a factor of (s + 39 - 1) + 3?
True
Let r be 18/15*5*1. Does 8 divide r/(-21) - 405/(-21)?
False
Let d(o) be the third derivative of o**3 + 0*o + 0 - 5/24*o**4 - 1/120*o**6 - 2*o**2 + 1/10*o**5. Does 9 divide d(4)?
True
Suppose -2*i - 2*n = -5*i + 3, 4*n = 3*i + 3. Suppose 2*p = -i*p + 60. Is 6 a factor of p?
True
Suppose -7 = 2*g - 83. Does 19 divide g?
True
Let b(y) = -y + 9. Let a be b(0). Suppose 0 = -m + 2*p + a + 7, -m + p + 18 = 0. Does 10 divide m?
True
Let b(f) = -f**2 + 25*f - 45. Is 3 a factor of b(22)?
True
Suppose 9*b = 5*b + 1048. Does 14 divide b?
False
Suppose 3*o + 267 = 5*y, y + 4*o - 36 = 22. Is y a multiple of 27?
True
Suppose 5*c = 331 - 6. Is c a multiple of 15?
False
Suppose k - 5*y = -y + 26, 5*k + 5*y - 30 = 0. Is k a multiple of 8?
False
Let q = 18 + -30. Let v(b) = 3 - b + 2*b - 3*b - 19. Is v(q) a multiple of 8?
True
Suppose i = -v + 62, -4*i + 5*v = 2*v - 255. Suppose -2*m + i = -9. Is m a multiple of 12?
True
Suppose 128 = 3*u + m, 4*u + 5*m = -64 + 253. Is u a multiple of 15?
False
Let b(u) = 4*u - 2. Let s be b(2). Let v(w) = 5 + s - 1 + 3*w. Is 20 a factor of v(10)?
True
Is 18 a factor of (-42 + 6)*7/(-2)?
True
Suppose 2*c + 6 = 12. Suppose 2*l - 25 = -5*r, -c*l - 4*r - 9 = -43. Does 5 divide l?
True
Suppose 9*v = 6*v + 6. Suppose 2*f + 119 = 3*i + 2*i, 0 = v*i - f - 48. Is i a multiple of 13?
False
Suppose 0 = -m + 4 + 1. Let y = 0 + m. Let q = 6 + y. Is q a multiple of 11?
True
Suppose -3*u = -y + 67, 5*y - 3*u = -0*u + 311. Is y a multiple of 24?
False
Suppose -3*o + 8*o - 150 = 0. Let h = 0 + o. Does 15 divide h?
True
Suppose 4*d - 96 = 5*d - 4*s, 351 = -4*d + 5*s. Is (9/(-2))/(9/d) a multiple of 18?
False
Let u(c) = -5*c - 23. Let v(d) = 7*d + 35. Let l(o) = 8*u(o) + 5*v(o). Does 13 divide l(-7)?
True
Let q(a) = 2*a**3 - 7*a**2 + 8*a + 6. Does 18 divide q(6)?
True
Let o(y) = y**2 + y. Let l(t) = 8*t**2 + 7*t - 2. Let i(u) = l(u) - 6*o(u). Is 13 a factor of i(-4)?
True
Suppose -3*c = 2*a + 74 + 72, -376 = 5*a + 2*c. Let i = -50 - a. Does 13 divide i?
True
Suppose 5*p - c + 58 = 218, -3*p + 96 = 5*c. Does 16 divide p?
True
Let t(p) = -p**3 - 11*p**2 + 11*p - 12. Let g be t(-12). Let i be -3 - (-137 - (0 - g)). Suppose 3*q - 87 = -3*j, j + 3*j = 2*q + i. Is j a multiple of 16?
True
Let x(t) = t**3 + 9*t**2 - 5*t + 9. Suppose d = l - 14, l - 28 = 4*d + 4*l. Let q be x(d). Let v = -24 - q. Is 5 a factor of v?
False
Let j(s) = s**3 - s**2 - s + 1. Let x be j(0). Suppose x = 3*h - 2. Does 13 divide -2 - (h - 1 - 28)?
True
Let n = -178 + 350. Does 25 divide n?
False
Let a(z) = -1. Let c(u) = u. Let i(f) = -a(f) + c(f). Let l be i(4). Suppose 3*g + 3*w + 21 = 6*g, l*w - 28 = -2*g. Does 6 divide g?
False
Let l = 465 - 113. Suppose l = 5*x + 1977. Is 2/(-3) + x/(-15) a multiple of 21?
True
Let x(t) = 2*t**2 - 2*t + 4. Is x(-4) a multiple of 15?
False
Let q be ((-1)/(-2))/((-4)/(-32)). Let j = -50 + 116. Suppose -q*y = -j + 6. Is 5 a factor of y?
True
Suppose c + 3*f = 2*f + 7, 15 = 3*c + f. Suppose -2*l - 2*s + 24 = 0, 4*l - c*s - 3 = 85. Is l a multiple of 9?
False
Suppose m - 4*b + 6 - 14 = 0, -5*m - 4*b = -160. Suppose -22 = -4*c + 2*z, -5*c - 3*z = -5*z - m. Does 3 divide c?
True
Let b(m) = 47*m + 15. Let v(i) = -16*i - 5. Let u(k) = 6*b(k) + 17*v(k). Is 19 a factor of u(4)?
False
Let f = 31 + -44. Let x = 8 - f. Is x a multiple of 7?
True
Is (448/5 - 7)*1*5 a multiple of 59?
True
Let t = -5 - -8. Suppose -o + 46 = t*q, 4*o + 37 = -4*q + 189. Does 9 divide o?
False
Suppose 35 = 5*a - 2*h, -4*a - 13 = -6*a + h. Let g = -48 + 41. Let q = g + a. Does 2 divide q?
True
Let h be (-1)/((-1)/(-132)*-3). Suppose -12*o + h = -10*o. Is o a multiple of 11?
True
Does 7 divide (-14)/35 - 794/(-10)?
False
Let i(g) = -g**3 + 2*g + 1. Let y = -6 - -4. Does 3 divide i(y)?
False
Suppose 0 = -2*q + q + 85. Is 17 a factor of q?
True
Suppose -1 = -3*n + 2*n - 5*h, 4*n + 76 = -4*h. Let r = -16 - n. Let o(m) = 3*m - 4. Does 10 divide o(r)?
True
Let k = -11 + 27. Is 8 a factor of k?
True
Let u(g) = 6*g**3 - 6*g**2 + 3*g - 9. Let k(r) = -5*r**3 + 6*r**2 - 3*r + 9. Let c(s) = -5*k(s) - 4*u(s). Let a be c(6). Let x = 6 + a. Is 14 a factor of x?
False
Is 8/6*(-1044)/(-24) a multiple of 29?
True
Let z(w) = 9*w**2 + 6*w + 18. Is 18 a factor of z(-6)?
True
Suppose 3*q = -q + 16. Suppose -q*i + 6 = -10. Suppose i*w - 16 - 56 = 0. Is w a multiple of 9?
True
Let d = 8 - -9. Is d a multiple of 15?
False
Suppose m = -3*y + 4*y - 49, 53 = y - 3*m. Let f = -25 + y. Is 11 a factor of f?
True
Does 5 divide 1 + 31 - (-21 + 17)?
False
Let j(t) = 16*t + 19*t + 6 - 11*t. Let m(s) = -23*s - 5. Let b(i) = 4*j(i) + 5*m(i). Does 17 divide b(-1)?
False
Let n = 30 + -119. Let p(u) = -12*u + 3. Let v be p(5). Let m = v - n. Is m a multiple of 16?
True
Suppose -4*m - 10 = -2*m, 4*m + 14 = -3*s. Suppose -s*w + 5*h = -43, -86 = -5*w - h + 35. Does 12 divide w?
True
Let k = -55 + 102. Suppose -s - k = -3*s - r, -125 = -5*s + 5*r. Does 24 divide s?
True
Let k(u) = -u**3 - 13*u**2 + 8*u - 19. Let a be k(-14). Is 29 a factor of -6 + a + -1*2?
False
Let n(l) = -4*l - 2. Suppose 0 = -4*p + 5*u - 16, 5*p + 0*u = 2*u - 3. Let o = p - 3. Does 6 divide n(o)?
True
Suppose -2*t + 368 = t - d, -3*t - 4*d = -388. Is 6 a factor of 10/(-25) + t/10?
True
Let l be -2 + 0 + 2 - -3. Let y(g) = 5*g**2 + g**3 + g**3 - 7 + 9*g + 0*g**3 - 3*g**l. Does 11 divide y(6)?
True
Suppose 40 = 7*h - 2*h. Does 17 divide (102/(-5))/(h/(-20))?
True
Suppose 7*p - 160 = 2*p. Let c = 45 + 11. Suppose g - c = -5*b - 2*g, 0 = 3*b + g - p. Is 10 a factor of b?
True
Let r be (-96)/(-4) + (-6)/(-2). Suppose -4*j + r = p, -2*j + 5*j - 69 = -4*p. Is p a multiple of 4?
False
Suppose -8 = -2*z + 8. Suppose z = 2*y + 2. Suppose -u + 22 = -3*t - 9, 0 = -2*u - y*t + 35. Does 11 divide u?
True
Let b(f) = 14*f**2 + 5*f - 4. Let d be b(-4). Suppose 16 = -4*v + d. Let p = 69 - v. Is 9 a factor of p?
False
Suppose -5*t = n + n - 120, -3*n - 15 = 0. Suppose -4*c + 34 + t = 0. Is c*(3 + 8/(-3)) even?
False
Let q be 30/2 + -1 + -1. Let k = -9 + q. Suppose -5*s + 35 = -k*s. Does 14 divide s?
False
Suppose -2*h + h - 4 = 0. Let l be (-11)/h - (-5)/20. Suppose 0 = -5*q + 22 + l. Is 5 a factor of q?
True
Let r be (3 + 1)/(1 - -1). Suppose -t - 5*g = 3*t + 80, 0 = r*g. Let x = 62 + t. Is 13 a factor of x?
False
Let w(a) = 2*a**2 - 2*a - 2. Let u be w(2). Suppose -2*k = -u - 0. Let l = k + 13. Is 14 a factor of l?
True
Let m(a) = -a**3 + 6*a**2 + 9*a + 10. Does 15 divide m(-5)?
True
Let b(x) be the third derivative of -x**5/60 + 3*x**4/4 - x**3/3 + 8*x**2. 