tor of c(-7)?
True
Let a = 343 + -176. Is a a multiple of 28?
False
Let o(h) be the first derivative of h**5/60 + h**4/8 + h**3/2 - 2*h**2 - 4. Let j(t) be the second derivative of o(t). Is j(-5) a multiple of 13?
True
Let k = -103 + 207. Does 11 divide k?
False
Let m = 81 + -39. Is m a multiple of 21?
True
Suppose v = -3*v + 8. Suppose 3*z = v*z + 7. Suppose -z*x = -2*x - 80. Is 8 a factor of x?
True
Let t(d) = d**3 + 6*d**2 + 6*d + 7. Let h be t(-5). Let z = -60 + 136. Suppose n - 18 = -2*o, z = h*n + n - 5*o. Does 8 divide n?
False
Let c = -37 + 53. Does 8 divide c?
True
Let g be (4 - -1)/((-1)/(-1)). Suppose -4*u + 26 = g*l, l + 28 = 5*l + 5*u. Suppose -3*a + 56 = 6*w - l*w, 0 = -4*a. Does 14 divide w?
True
Let v(z) = z**2 + z + 6. Is 18 a factor of v(3)?
True
Let k be 100/30 - 1/3. Suppose x - h - 3*h = 51, h + 186 = k*x. Is 31 a factor of x?
False
Let r be 15/(-3) + 2 - 1. Let p(v) = -54*v**2 + 2*v. Let t(c) = -27*c**2 + c. Let h(l) = r*p(l) + 7*t(l). Is 13 a factor of h(-1)?
False
Is (4 + 58)/(2/2) a multiple of 16?
False
Let j(m) = -m**2 + 7*m + 7. Does 13 divide j(6)?
True
Let k = 7 - 5. Suppose -2*a + k*f + 72 = 0, -2*a - f = -48 - 24. Suppose -w - a = -5*w. Does 9 divide w?
True
Let p(d) = -d**3 + 9*d**2 + 7*d + 9. Let n be p(10). Let r = n - -35. Does 13 divide r?
False
Let p be 0 - -10*51/6. Suppose -5*u + 16 + 52 = 3*g, -4*g - u = -p. Is 9 a factor of g?
False
Let q(o) = -3*o**3 - o**2 + o + 1. Let n be q(-1). Suppose 0*f = -2*k + 5*f, n*k - 3*f = 0. Suppose 3*x + k*a = -2*a + 120, x + 2*a = 36. Is x a multiple of 13?
False
Suppose -11*u + 855 = -8*u. Suppose -m + u = 5*x, -7*m - 92 = -2*x - 3*m. Is 12 a factor of x?
False
Suppose -1 = -2*r + 5. Suppose -84 = -7*h + r*h. Suppose z - k - 4*k = 14, 2*z - 3*k = h. Is z a multiple of 9?
True
Let j = 1 - -4. Suppose 3*s + j = -1, -3*r + 4*s = -32. Does 4 divide r?
True
Let g(i) = i**3 + 6*i**2 + 5*i - 4. Let m be g(-6). Let j(d) = 5*d**2 + 2*d. Let k be j(3). Let o = k + m. Is 17 a factor of o?
True
Let r(w) = 4*w**3 - w**2 + w + 1. Suppose 0 = 2*u + 1 - 5. Is r(u) a multiple of 7?
False
Let o(y) = 2*y**2 + 7*y - 4. Is 9 a factor of o(-7)?
True
Let i = -226 + 341. Does 8 divide i?
False
Let f = 235 - 151. Is f a multiple of 14?
True
Let y(k) = k**3 + 9*k**2 + 8*k - 8. Is 17 a factor of y(-7)?
True
Let u(f) = -4*f + 3. Does 8 divide u(-16)?
False
Suppose -y = -3*y + 42. Let f = y + -39. Let b = f + 48. Is 15 a factor of b?
True
Let v = 255 + -175. Does 17 divide v?
False
Let v(w) = -w**3 - 4*w**2 + 3*w + 1. Let a be v(3). Let i(y) = -y**2 + 6*y + 9. Let o be i(-8). Let h = a - o. Is 14 a factor of h?
False
Let y(q) = 14*q**2 + 3*q + 1. Let z be y(-2). Suppose -3*h + 0 = 2*c - 75, c - z = 3*h. Does 21 divide c?
True
Let z(r) = -r**3 + 5*r**2 - 5*r + 2. Let k be z(3). Suppose -k*o + 113 = -22. Is 9 a factor of o?
True
Suppose 3 - 5 = -j. Is 5 a factor of (-89)/(-6) + j/12?
True
Let h(g) = -g**2 + 6*g + 3. Let b be 2/(-8) + (-148)/(-16). Let j be h(b). Does 16 divide j/((-3)/2 - 0)?
True
Suppose 0 = -3*w + 79 + 317. Is w a multiple of 33?
True
Suppose -4*r + 188 = -0*r + 2*b, 3*r + 5*b - 148 = 0. Is 15 a factor of r?
False
Let v(u) = -u**3 - u**2 + 5*u - 3. Suppose -2*n + 8 = 2. Let d be v(n). Is 6 a factor of 2/(d/13 + 2)?
False
Suppose 0 = 3*c + 23 - 134. Does 8 divide c?
False
Let v = -86 - -144. Does 16 divide v?
False
Is (-2 + -1)/(3 + (-268)/88) a multiple of 11?
True
Suppose i - 2*i = 3*q - 5, 5*i + 14 = -2*q. Suppose q*y - 39 = -15. Does 8 divide y?
True
Suppose 2 = -2*n + 3*c, -c + 2 = 4*n - 4*c. Let j = 4 + n. Suppose -d + 4*d - j = 0. Is d even?
True
Suppose -4*g = 3*h - 7 - 7, -3*h = -g - 19. Is (8/h)/((-3)/(-36)) a multiple of 8?
True
Let s(i) = i**3 + 4*i**2 + 2*i - 2. Let f be s(-2). Is 11/((-2)/(-4)*f) a multiple of 11?
True
Let f(j) = -j**3 - 13*j**2 + 4*j - 25. Is 11 a factor of f(-14)?
False
Let v = 0 - 4. Let o(f) = -9*f + 5. Is o(v) a multiple of 9?
False
Let g = -143 + 155. Is 12 a factor of g?
True
Suppose -3*m = -3*h + 27, -3 = 5*m + 17. Suppose h*g - c - 138 = 94, -c - 185 = -4*g. Does 13 divide g?
False
Let b(f) = 12*f - 6. Does 14 divide b(4)?
True
Is (53*(0 - -1))/((-6)/(-6)) a multiple of 26?
False
Suppose 3*p - 68 = -p. Suppose -4*y = -121 + p. Is y a multiple of 13?
True
Suppose -h - 2*h = -6. Does 2 divide (h + 2)/(4/6)?
True
Let m = 0 - -6. Is m a multiple of 6?
True
Does 29 divide 27 - (-1 - (2 - 1))?
True
Let q(u) be the first derivative of -5*u**6/24 - u**3/6 - u**2/2 + 3. Let l(h) be the second derivative of q(h). Is 12 a factor of l(-1)?
True
Suppose 3*h = h. Suppose 0 = -3*s - 4*o + 11 + 63, h = -4*s - 5*o + 97. Is s a multiple of 8?
False
Let h(n) = 4*n**2. Let w be h(-1). Let l(g) = g**3 - 3*g**2 - g - 3. Let s be l(w). Suppose 0 = o - s - 6. Is 7 a factor of o?
False
Suppose 2*b + 0 = 2*a + 4, 4*b + 5*a - 26 = 0. Let m(s) = -3 + s**2 - 1 + b*s - s. Does 11 divide m(-7)?
False
Let m(c) = 9*c - 3. Let v be m(5). Suppose 2*k + k = -v. Let w = 27 + k. Is w a multiple of 5?
False
Suppose n - 4*k - 37 = 0, 0 = -0*n + n + 3*k - 9. Suppose -16 + 41 = 5*v. Let m = n - v. Is m a multiple of 16?
True
Suppose -4*s + 498 = -490. Is 19 a factor of s?
True
Suppose -w = -1, 4*w + 0*w - 1464 = -4*s. Does 4 divide s/25 - (-4)/10?
False
Suppose 3*x = -0*x + 99. Does 11 divide x?
True
Suppose -3*c + g = -11, -3*g + 4 = -5*c + 17. Suppose -c*t - 10 = 10. Let i = t + 36. Is 16 a factor of i?
True
Let r(t) = -t**3 - 12*t**2 - 11*t + 9. Is r(-11) a multiple of 2?
False
Let a be (-12)/(-16) + 327/(-4). Let f = 115 + a. Does 10 divide f?
False
Let b = -24 - -42. Is 13 a factor of (-105)/2*b/(-15)?
False
Suppose -6*h - 104 = -10*h. Is 4 a factor of h?
False
Suppose 0*i + i = 0. Suppose -4*g + 4*t + 184 = i, 4*g + 0*t + t - 164 = 0. Is g a multiple of 21?
True
Let s(j) = 38*j**2 + j - 3. Is s(-2) a multiple of 52?
False
Let m(d) = d**3 - 10*d**2 + 9*d + 5. Let c be m(9). Suppose -4*j = -7 - c. Suppose -j*x = -3*i - 21, -5*i + 2*i = 4*x - 56. Is 8 a factor of x?
False
Let w = 286 - 169. Is 13 a factor of w?
True
Suppose 4*m - 324 = -x - 3*x, 4*m = 2*x + 336. Is 12 a factor of m?
False
Let m be (-8)/40 + (-9)/5. Let w = 10 + m. Suppose 0 = -y + 2*y - w. Does 5 divide y?
False
Suppose -71 = -2*h + 3*m, -3*h - 3*m + 2*m = -101. Is 4 a factor of h?
False
Suppose 5*i + o - 1628 = 0, -3*i - 52 + 1042 = 5*o. Is i a multiple of 62?
False
Suppose -4 + 2 = y. Let u(a) = -a. Is u(y) a multiple of 2?
True
Let p be 2 - (-3)/(9/(-42)). Let x be ((-995)/(-15))/((-2)/p). Suppose -5*h - 143 = -x. Does 21 divide h?
False
Let s(r) = r**2 + 3*r + 19. Is s(-9) a multiple of 26?
False
Suppose -f - 1071 = -3*v + 3*f, v - 350 = -f. Is v a multiple of 57?
False
Suppose -35*f = -33*f - 450. Is f a multiple of 45?
True
Let x(a) be the third derivative of 0 + 5/12*a**4 + 1/60*a**5 + 1/3*a**3 + 0*a + a**2. Does 2 divide x(-10)?
True
Suppose 12 + 0 = 3*p. Suppose 9*b - p*b - 80 = 0. Let r = b - -6. Is 11 a factor of r?
True
Suppose -2*f = -4*o - 2, -4*f + 5*o - 1 + 5 = 0. Let r be f + 2*(0 - -1). Suppose r*y = 6*y - 18. Is y a multiple of 6?
True
Let z(f) = -f**3 - 4*f**2 + 2*f + 16. Does 6 divide z(-5)?
False
Suppose -4*l + z = -243, 2*z - 114 = -2*l - 0*z. Let g = 87 - l. Is g a multiple of 27?
True
Suppose -2*g = g - 6. Suppose 0*u - g*u + 3*o = 2, -u + 2*o = 3. Is (-16)/10*-1*u a multiple of 5?
False
Suppose -69 = -3*f + 5*l, 5*f - 92 = f - 3*l. Does 11 divide f?
False
Let z(k) = k**3 - 6*k**2 + 6*k. Let y be z(5). Let f(q) = -q**2 + 1. Let v(o) = 6*o + 3. Let h(u) = f(u) + v(u). Is 5 a factor of h(y)?
False
Suppose -f - 2*f + 67 = 4*r, -4*f = -4. Is 15 a factor of r?
False
Let f(l) be the first derivative of -l**4/4 + 3*l**2 + 4*l + 2. Let c be f(5). Let q = -50 - c. Is q a multiple of 20?
False
Let v = 242 + 25. Suppose -w + v = 2*w. Does 25 divide w?
False
Let b = -34 - -84. Suppose 0*g = o - g - 34, -o + 5*g + b = 0. Is 18 a factor of o?
False
Let b = 47 - -26. Does 18 divide (b - -3)/2 - 2?
True
Is 2 a factor of (-90)/(-21) + (-2)/7?
True
Let t(l) = 2*l**3 - l**2 - 4*l**3 + l - 3 - 2*l. Let c be t(-3). Let i = c - 26. Does 6 divide i?
False
Let n = -361 - -553. Does 16 divide n?
True
Suppose -57 = -r - 2*y, -4*y + 22 = 6. Is 8 a factor of r?
False
Let x(t) be the second derivative of t**5/20