ctor of i?
False
Suppose -g - 2*y = 15, -3*g - 2*g + 4*y = 19. Let f(p) be the third derivative of -p**4/8 - 4*p**3/3 - 2*p**2. Is f(g) a multiple of 8?
False
Let o(c) be the third derivative of c**6/180 + c**5/120 - c**4/24 - c**2. Let x(i) be the second derivative of o(i). Is x(1) a multiple of 3?
False
Suppose 2*z = -2*f, -3*f - 15 = -0*f. Let b(t) = 4*t - 3. Is b(z) a multiple of 6?
False
Let b = -7 + 17. Does 10 divide b?
True
Let f(a) be the second derivative of -41*a**5/20 - a**4/6 - a**3/6 + a. Let w(k) = k**3 - 4*k**2 + 3*k - 13. Let j be w(4). Does 20 divide f(j)?
True
Let v = -128 - -196. Is v a multiple of 17?
True
Suppose -7*z - 50 = -2*z. Let c(n) = -n**3 - 11*n**2 - 12*n - 8. Is 4 a factor of c(z)?
True
Let j(n) = -n**2 - 10*n - 9. Is 6 a factor of j(-8)?
False
Let y = -90 - -160. Is y a multiple of 10?
True
Let h = 3 + -1. Let t be -1 + h + (0 - -2). Suppose t*n = 22 + 2. Is 5 a factor of n?
False
Let a(n) = 31*n - 17. Let y be a(7). Suppose -5*z + 5*k - 31 = -191, -5*k = 5*z - y. Is z a multiple of 13?
False
Let q(z) = -134*z**3 + z**2 + z - 1. Is q(-1) a multiple of 32?
False
Let u be (12/(-5))/(1/(-5)). Suppose 0 = -r + 5*y + 12, u = 5*r - 4*y - 6. Suppose -r*m + 30 = 5*z - m, 4*z - 2*m = 24. Is 6 a factor of z?
True
Suppose -n - 3*n = -24. Suppose -2*i = -n*i. Suppose 3*v - 7 - 11 = i. Does 6 divide v?
True
Suppose 0 = -5*z, 2*n - z + 0*z - 10 = 0. Suppose 15 = n*h, -2*u - 5 = -3*u - h. Suppose -2*p - 3*t = -59, -u*p - 5*t = -31 - 38. Is p a multiple of 8?
False
Suppose o = -4*x + 6*x + 42, -122 = -3*o + 2*x. Is o a multiple of 10?
True
Let j = -17 - -27. Let z = -5 + j. Is z a multiple of 5?
True
Does 15 divide 47/(3 + 0 + -2)?
False
Suppose 504 = 3*s + 153. Suppose 4*r = r + 3*q + s, 105 = 3*r + q. Is 9 a factor of r?
True
Let b(l) = 14*l**2 - 3*l - 4. Does 14 divide b(3)?
False
Suppose 3*r + v - 5*v - 328 = 0, -106 = -r - 2*v. Is r a multiple of 24?
False
Let p(s) = 8*s + 11. Does 14 divide p(6)?
False
Suppose 2*y + y - 54 = 0. Does 6 divide y?
True
Suppose -5*a = 5*t + 20, 3*a - a = 3*t - 3. Is 72/27 - 1/a a multiple of 3?
True
Suppose -3*b - 8 = b, -w + 75 = 3*b. Let a = w - 40. Does 17 divide a?
False
Suppose 3*g - 5*v - 198 = 0, -5*g + 467 = v + 137. Does 6 divide g?
True
Let q(i) = 2*i**3 + 2*i**2 - 2*i + 1. Suppose 4*c - 4 = -h + 6*h, 0 = 4*c + 5*h - 4. Is q(c) even?
False
Suppose 0 = -5*q + 23 + 12. Is q a multiple of 2?
False
Suppose -10 = -5*o, -3*d - 38 = -0*d + 2*o. Let x = d - -27. Is x a multiple of 4?
False
Suppose 5*y + 3*p = 52, 0*y - 2*y = -3*p - 4. Is y a multiple of 8?
True
Let r(s) = 2*s + 8. Does 5 divide r(6)?
True
Suppose 22 + 18 = 5*d. Is d a multiple of 8?
True
Let r = 4 + -3. Does 9 divide (16 - 1)/r*2?
False
Let w(k) = 7*k**2 + 3*k - 4. Does 32 divide w(-4)?
True
Suppose 5*m + 4*x = 330 + 128, 0 = -3*m + 2*x + 266. Is 15 a factor of m?
True
Suppose 0 = -3*m - o + 96, m - 126 = -3*m - 2*o. Suppose -v - 5*w + m = 0, -v + 5*v - 47 = -3*w. Does 6 divide v?
False
Let y(d) = d**2 + d - 5. Let f = 18 + -22. Is 5 a factor of y(f)?
False
Let w be 3 + (1 - 0) + -2. Does 4 divide (-2 - -3)/(w/16)?
True
Let n(j) = 13*j**3 + 2*j**2 + 6*j + 3. Let u(f) = 40*f**3 + 5*f**2 + 17*f + 8. Let q(r) = -11*n(r) + 4*u(r). Let y be (-21)/(-15) + 2/(-5). Does 16 divide q(y)?
True
Let m(n) = -16*n - 4. Let a be m(-3). Let f = 26 - a. Does 10 divide (f - 0)*-1 + 0?
False
Let k(o) = o**2. Let t(y) = y**2 - 7*y + 1. Let m(j) = k(j) + t(j). Let a(r) = 2*r**2 + 2*r + 1. Let x be a(-2). Does 8 divide m(x)?
True
Let n(t) = 8*t**2 + 24*t + 3. Does 13 divide n(-7)?
False
Let l(u) = -2*u**2 - 5*u**2 + u + 9*u**3 + 7*u**2. Let v = 2 + -1. Does 6 divide l(v)?
False
Let o be (-1)/(1 - 0) - -5. Let i(w) = -48*w - 6. Let g(p) = 7*p + 1. Let q(s) = -27*g(s) - 4*i(s). Does 7 divide q(o)?
False
Suppose 0 = 3*h + v + 46, 5*h - 5*v + 50 = 0. Let u(b) = -b**3 + 4*b**2 + 5*b + 7. Let n be u(5). Does 12 divide 86/n - (-4)/h?
True
Let c(l) = l**3 - 8*l**2 + l - 6. Is c(10) a multiple of 6?
True
Let p = 6 - 9. Let z(d) be the third derivative of -5*d**4/24 - d**3/3 + 3*d**2. Does 6 divide z(p)?
False
Let z(v) = 5 - v**2 + 3*v**2 - v**2 - 7*v - 4*v. Is z(12) a multiple of 5?
False
Suppose 4 = i, 4*x - i = 2*i + 408. Is x a multiple of 20?
False
Suppose -r = r - 38. Is r a multiple of 5?
False
Let l(m) = -m + 2. Let s be -1*(3 - 3/1). Is l(s) even?
True
Suppose 2*n - 5*o - 264 = -39, -5*o - 435 = -4*n. Does 21 divide n?
True
Suppose 0*g + 170 = 2*g - s, -2*s = 5*g - 407. Let x = g + -42. Is x a multiple of 12?
False
Let q(x) = -x**3 - 8*x**2 + 2*x - 10. Let k be q(-8). Let s = k + 49. Does 11 divide s?
False
Does 5 divide (-1888)/(-72) - 4/18?
False
Let q = 2 - 1. Let r(g) = 3 + q + 3*g + g - 1 + 4*g**2. Is r(-2) a multiple of 3?
False
Let y(v) = 2*v + 6. Is 12 a factor of y(7)?
False
Let q(r) be the second derivative of -r**4/12 - 3*r**3/2 - 9*r**2/2 + r. Let n be q(-7). Suppose -n*g + 0*g + 20 = 0. Is g a multiple of 4?
True
Let h = 4 - 2. Suppose -2*w - 6 = -4*j + h, 3*w + 4*j - 28 = 0. Suppose -w*v + 5 + 15 = 0. Is 2 a factor of v?
False
Let a = 165 + -25. Is a a multiple of 14?
True
Suppose -2*r + 12 - 4 = -q, 3*r - 10 = q. Suppose -2*i + 6 = 0, -2*y + 71 = -7*i + 2*i. Suppose 3*d = r*j - 4*j + y, -5*d = -4*j + 53. Does 8 divide j?
False
Let j be (3 - 5)/((-2)/44). Let z(k) = -k**2 + 6*k - 4. Let m be z(4). Suppose -m*i = 4*l - j, 3*i + 4*l - 24 - 6 = 0. Is 14 a factor of i?
True
Suppose 2*m = 4*z + 78, -5*m = -10*m - 3*z + 195. Is 8 a factor of m?
False
Suppose 3*s - 360 = -0*s. Suppose -i + 5*i = s. Suppose 2*g - 2*z = 2*z + i, -11 = -g + 3*z. Is g a multiple of 12?
False
Let w(i) = -2*i + 1. Let l be w(-1). Suppose 4*h + l*a - 73 = 0, -2*h + 2*a = 7*a - 47. Is 16 a factor of h?
True
Let y = 78 - 66. Is y a multiple of 6?
True
Does 17 divide ((-17)/(-5))/(6/30)?
True
Suppose 2*u = u + 27. Is u a multiple of 13?
False
Suppose -8*v + 2*v + 78 = 0. Is v a multiple of 10?
False
Suppose -29*j + 26*j + 42 = 0. Does 4 divide j?
False
Is (-6187)/(-69) - (4/6 + -1) a multiple of 12?
False
Suppose 0 = 4*r + 4*h - 232, 5*r - h - 270 = 4*h. Does 14 divide r?
True
Is 5 a factor of -27*((-5)/(-5) - 3)?
False
Suppose -4*k - 20 = -4*y - 8*k, 2*y + k - 8 = 0. Suppose -3*a = -5*l + 129, y*l - 7 - 80 = -3*a. Is 21 a factor of l?
False
Let w(v) = -21*v. Let j be w(2). Let r = j + 70. Is r a multiple of 7?
True
Suppose -43 = -6*k + 5*k. Suppose -151 = -3*d - k. Is 9 a factor of d?
True
Suppose -g + o = g - 11, -18 = -g + 3*o. Suppose -5*m + 16 = -x, 0 = m + g*x + 2*x + 2. Suppose 0 = a + m*a - 32. Is 8 a factor of a?
True
Let y = -33 + 47. Let j be (-1)/(-1)*(1 - y). Let u = j + 19. Does 2 divide u?
True
Let j = 17 - 14. Does 2 divide j?
False
Let n = 23 + -21. Suppose -3*u + 3*y + 277 = u, n*u + 4*y - 122 = 0. Does 17 divide u?
False
Suppose 5 + 4 = 3*f. Suppose -f*w - 15 = -4*w + 3*h, 5*h + 10 = 0. Is w a multiple of 3?
True
Let s(t) = -t**2 + 25*t + 18. Is 27 a factor of s(16)?
True
Suppose 2*l - 6*l + 246 = -3*k, 4*l = -4*k + 232. Suppose 5*n = -5*p + 165, 60 = 5*n - 4*p - l. Is n a multiple of 5?
False
Suppose 5*i + 4*r = 272, r - 233 = -4*i - 11. Does 18 divide i?
False
Let g be 10/(-1)*(-8)/16. Let a(m) = -3*m**3 + 2*m**2 + 3*m - 3. Let y be a(-3). Suppose g*p - y - 108 = 0. Does 13 divide p?
True
Let j = 135 - 83. Is 26 a factor of j?
True
Let j(f) be the second derivative of 41*f**4/12 + f**3/6 - 2*f. Does 20 divide j(-1)?
True
Let x = -295 + 424. Does 57 divide x?
False
Let f(j) = -j**2 - j + 91. Let t be f(0). Suppose -3*x - 5 = -4*x. Suppose x*l = t + 14. Does 7 divide l?
True
Is 5 a factor of ((-275)/(-44))/(1/4)?
True
Let h = 82 + -45. Does 8 divide h?
False
Is 3162/42 + (16/(-7) - -2) a multiple of 25?
True
Let h(n) = -n**2 + 10*n + 11. Is h(8) a multiple of 20?
False
Let j(s) = 2*s + 6. Let f = -6 - -13. Is j(f) a multiple of 10?
True
Let d(f) = -20*f. Does 20 divide d(-3)?
True
Let j = 22 + -13. Let g = -5 + j. Suppose 2*k - 5*k = 5*b - 181, -2*b - g*k = -78. Is b a multiple of 13?
False
Let x(c) = c**3 - 17*c**2 + 23*c + 10. Is x(16) a multiple of 61?
True
Let r be (1 + 1/(-1))/(-1). Let q = r + -33. Does 11 divide (-4)/3*q/2?
True
Let f(j) = -2*j - 5. Let s(o) = 3*o + 6. Let g(q) = -5*f(q) - 4*s(q). Let h be g(-1). Suppose h*c - 131 + 17