(g) = -g**3 - 6*g**2 - 7*g - 5. Is 4 a factor of i(y)?
False
Let d = -102 - -152. Does 10 divide d?
True
Let z(b) = -40*b - 37. Does 15 divide z(-5)?
False
Let c(n) be the first derivative of -6*n**2 - 8*n - 7. Does 10 divide c(-4)?
True
Is (-6)/27 + 0 + 74/9 a multiple of 3?
False
Let h(m) = -m**2 + 2. Let g be h(0). Let v = g - 0. Suppose v*b - 2 = -n, -5*n - b + 18 = 8. Does 2 divide n?
True
Let v = 52 - -8. Suppose 4*n - v - 4 = 0. Is 15 a factor of n?
False
Let c = -40 + 68. Let v(r) = -r**2 + 11*r - 4. Let n be v(9). Is 15 a factor of 832/c + 4/n?
True
Let g = -4 - -3. Let i(p) = 5*p - 3. Let r(v) = -v - 1. Let a(y) = g*i(y) - 2*r(y). Is a(-5) a multiple of 10?
True
Suppose 3*j - 7*j + 144 = 0. Is j a multiple of 5?
False
Let x(z) = -z**3 + 14*z**2 - 12*z + 27. Is 12 a factor of x(13)?
False
Let q(l) = -l**2 + 6*l + 4. Let i be q(6). Is (-1 + i)*(-16)/(-6) a multiple of 4?
True
Let l(p) = 66*p**2 + p + 1. Let b be l(-1). Suppose 12 = -3*s + b. Is s a multiple of 10?
False
Let v be 284/18 - 6/(-27). Suppose 63 = 3*u - 3*b, 3*u + 2*b - 52 = v. Is u a multiple of 8?
False
Let l(s) = -6*s + 10 + 15*s - 8*s. Let x = 8 - 1. Does 8 divide l(x)?
False
Suppose -5*z - x = -10 - 12, 4*x = -12. Suppose -5*b + 4*y = -25 - 11, z*b - 5*y - 40 = 0. Suppose -3*n + 3*p - p = -50, 0 = b*n + 4*p - 60. Is 8 a factor of n?
True
Let l = 8 - 1. Does 2 divide l?
False
Suppose 10*w - 522 = 708. Does 7 divide w?
False
Is 5 a factor of (-1 - -3)/((-4)/(-10))?
True
Let v(g) = 3*g**3 - 11*g**2 - g + 3. Is v(5) a multiple of 9?
False
Suppose 0 = -2*k + 10 + 2. Suppose -p - 10 = -k*p. Is 24 - 1 - -1 - p a multiple of 11?
True
Let a(l) = -l**2 - 2*l + 4. Let p(z) = z. Let x(g) = -a(g) - 4*p(g). Is x(5) a multiple of 5?
False
Let u = -1 - -3. Let z(k) = -k - 9 + 7*k**2 + 0*k**2 + 7. Does 14 divide z(u)?
False
Let i = -72 + 80. Does 2 divide i?
True
Let m(v) = 8*v - 2. Let x be m(1). Suppose p = 3*q + 63, 5*p + 2*q - 126 = 172. Is 8/x*p/8 a multiple of 10?
True
Let b be -1*(-1 + (23 - -2)). Let p = 40 + b. Does 16 divide p?
True
Let f be 1 + -1 + (45 - 3). Let h = f + -28. Is h a multiple of 11?
False
Let z = -315 + 544. Let j = -123 + z. Does 34 divide j?
False
Let k = -4 + 5. Let f = k + -1. Suppose f = 5*a - 10*a, -5*j + 4*a = -25. Does 5 divide j?
True
Suppose -202 = 2*u - 4*u + 5*v, -5*v - 475 = -5*u. Suppose -5*j = -3*g + 123, -5*g = 4*j - 0*g + u. Is 0 + 3/(-2)*j a multiple of 13?
False
Let i be (3 + 13)/2 + -4. Suppose i*b = -37 + 229. Is 9 a factor of b?
False
Does 6 divide 2/(-3)*54*(-3)/2?
True
Let f be 108/16 + (-2)/(-8). Let g(r) = -6*r**2 + f*r - 5*r**2 - 2 + 4*r**2 - 2*r**3 + r**3. Is g(-8) a multiple of 4?
False
Let u = 4 + 0. Let g(b) = -b. Let i(s) = 8*s + 3. Let k(m) = u*g(m) + i(m). Is 8 a factor of k(5)?
False
Let b be 2/(-1)*(-9)/6. Suppose -4*r - 10 = 2*a, -a = -b*r - 1 - 19. Does 2 divide a?
False
Suppose 96 = 4*b + t, 4*b - 2*t - 96 = -0*b. Is b a multiple of 12?
True
Suppose 2*p + 70 = 7*p. Does 14 divide p?
True
Let z(x) = -x**3 - 9*x**2 - 12*x - 9. Let y(o) = -o**2 + 8*o + 1. Let k be -1 + (-10)/((-3)/3). Let p be y(k). Is 11 a factor of z(p)?
False
Let n(v) be the third derivative of -v**4/4 + v**3/2 - 2*v**2. Let d be n(2). Is 4/(0 - 3/d) a multiple of 6?
True
Suppose -5*t + b = -2*b - 5, -2*b = -10. Suppose 6 - 26 = -t*y. Is 3 a factor of y?
False
Let s = -76 - -151. Let k = s - 49. Does 13 divide k?
True
Let q(h) = -h**3 - 3*h**2 - h - 1. Let r be q(-3). Suppose 3*i = r*i + 18. Does 18 divide i?
True
Let a(s) = 5*s**2 + 2*s. Does 13 divide a(-3)?
True
Suppose 0 = -2*p + 4*y - 4, y + 11 = -p - 0*p. Let g(l) = -l**3 - 7*l**2 + 9*l + 11. Is 3 a factor of g(p)?
True
Suppose 14*d + 90 = 11*d. Let t = d - -50. Is 5 a factor of t?
True
Suppose 210 = 3*l + 4*l. Is 15 a factor of l?
True
Does 9 divide 256/14 - (-4)/(-14)?
True
Let z be ((-8)/12)/(2/(-18)). Suppose 0 = 7*x - z*x - 14. Does 7 divide x?
True
Let v = -15 + 21. Is 5 a factor of 4 + 0 - (0 - v)?
True
Let y = 33 - -27. Suppose 0 = 4*l - 7*g + 3*g - y, 0 = -5*l + 4*g + 78. Does 6 divide l?
True
Let j = -6 - -10. Suppose 0 = -5*t + j*t - 19. Let h = 34 + t. Is h a multiple of 6?
False
Let b(o) = -8*o**3 - o**2 + 4*o - 3. Let i be b(2). Let p = i - -109. Is 23 a factor of p?
True
Let a(r) = r**3 - 2*r**2 - 3*r - 1. Let s be a(3). Let c = 5 + s. Suppose -i - 2*i + 55 = -c*w, i + 3*w - 27 = 0. Is 7 a factor of i?
True
Let n be 15/(-9) - 1/3. Is 10 a factor of (-1495)/(-26) + 3/n?
False
Let o = -30 + 26. Suppose -3*f - 122 = 67. Does 16 divide f/(-2) + o/8?
False
Let n(j) = -j**3 + 5*j**2 - 6*j. Let m(y) = 2*y**3 - 9*y**2 + 13*y - 1. Let z(t) = 2*m(t) + 5*n(t). Is 5 a factor of z(6)?
True
Let m(q) = q**2 + 5*q + 12. Suppose -36 = -0*y + 4*y. Does 13 divide m(y)?
False
Let o = 231 - 63. Does 24 divide o?
True
Let m = -76 - -46. Does 7 divide (-2 - m) + (1 - 0)?
False
Suppose 0 = -2*l - 5*w - 0*w + 8, 0 = -5*l + 5*w + 20. Let v = -6 + l. Does 3 divide (v - 1) + 7 + 2?
True
Let z(v) be the second derivative of -7*v**5/20 + v**4/3 + 2*v**3/3 + 3*v**2/2 - 6*v. Is 12 a factor of z(-2)?
False
Let f(g) = g + 6. Let t be f(-9). Let y = -1 - t. Suppose 3*o + 0*o - 72 = -y*v, -2*v + o = -56. Is 15 a factor of v?
True
Is 0 - (-365)/5 - -5 a multiple of 26?
True
Let u(p) = p**2 + 3*p + 3. Let r(l) = 6*l**2 + 16*l + 16. Let h(n) = 2*r(n) - 11*u(n). Is 11 a factor of h(-3)?
True
Let x = 43 + 11. Does 18 divide x?
True
Let l = 3 + 0. Suppose -7*a = -10*a + 288. Suppose i = -l*i + a. Is 12 a factor of i?
True
Let s(m) be the first derivative of m**6/60 + m**5/60 - m**3/6 + 2*m**2 + 3. Let p(v) be the second derivative of s(v). Is p(2) a multiple of 8?
False
Suppose 4*q = 12, 2*q - 10 = -4*v + 12. Suppose r = v*r - 102. Is 15 a factor of r?
False
Let d = 301 - 425. Does 11 divide 1/(-2 + (-252)/d)?
False
Let n(f) = f**3 - 2*f**2 - 6*f + 4. Let w be n(4). Suppose -y = -w - 37. Let z = -23 + y. Does 13 divide z?
True
Suppose -6*v = -3*v - 3. Let x = v + 32. Let n = x - -1. Is n a multiple of 17?
True
Suppose 0 = -2*n + 3*t - 12, -5 - 1 = n + t. Let j be -1 + 1 - (-9 - n). Let c = j - 1. Is c even?
True
Suppose 0 = 4*a - 230 - 122. Is 17 a factor of a?
False
Suppose 5 = m + 2. Let y = m - 16. Let f = 2 - y. Is f a multiple of 15?
True
Suppose -54 = -2*f - 0*f. Is 3 a factor of 27*-3*(-3)/f?
True
Suppose 9 = 5*y + 4*x, 0*y - 5*x + 7 = 2*y. Let v(p) = 0 - p + 18*p**2 + 0. Does 17 divide v(y)?
True
Suppose -36 + 98 = 2*z + 4*p, -4*z - 4*p = -140. Is z a multiple of 9?
False
Let q(x) = -11*x - 5. Suppose 0 = 3*l - 4*y - 0 - 4, -4*l = 3*y + 28. Does 13 divide q(l)?
True
Suppose 3*w - 336 = -5*d, 2*d = 7*w - 5*w + 144. Is d a multiple of 23?
True
Suppose 6*f - 123 = 93. Is f a multiple of 18?
True
Suppose -1 = -3*d + 8. Suppose -2*z = d*z - 75. Does 8 divide z?
False
Let c be (-19)/(-4) - 1/(-4). Suppose -l + 2*l - c = 0. Is l a multiple of 2?
False
Suppose 2*h - 3*a + 10 = 2*a, -5*a = -4*h. Is h a multiple of 5?
True
Suppose -k + 6 + 1 = 0. Let w(h) = 6 + h**2 - 2 + 0 + 7 - k*h. Is w(8) a multiple of 7?
False
Let d be 16 - (-2)/(-1) - 3. Suppose -2*v = 5*p + d, -7*v - p = -2*v - 7. Is v/(-5) - (-334)/10 a multiple of 21?
False
Suppose 0*y + 3*y = 12. Let l = y - 0. Let f = l - -1. Is 5 a factor of f?
True
Suppose -2 + 5 = i. Suppose 2*m + 2*d - 128 = 24, -3*d - 252 = -3*m. Suppose i*h + h = m. Is h a multiple of 10?
True
Let k(d) = 20*d - 3. Is 39 a factor of k(6)?
True
Let i(n) = n**3 + 1. Let k(g) = -35*g**3 - g - 6. Let o(u) = 4*i(u) + k(u). Is 19 a factor of o(-1)?
False
Let u = 294 + 113. Is u a multiple of 43?
False
Let n be ((-12)/(-30))/(2/120). Let b = -8 + n. Is 8 a factor of b?
True
Let a(w) = -w**3 + 6*w**2 + 7*w + 8. Suppose 7*x - 2*x = -4*k + 13, k + 5*x = 7. Suppose 20 = 4*v + 4*i, -4*i = -k*v - 0*i + 22. Is a(v) a multiple of 8?
True
Let i(w) = -2*w. Let r be i(-3). Is (r/15)/((-3)/(-225)) a multiple of 15?
True
Suppose 5*j + 46 = 121. Is j a multiple of 12?
False
Suppose -5*x - 438 = 4*b, -3*x + 3*b - 9 = 270. Let k = -54 - x. Does 14 divide k?
False
Let y(j) = -j**3 - 5*j**2 - 4*j + 3. Let w be y(-4). Let d be (w/(-2 + 5))/1. Let l(n) = 9*n**3 + n**2. Is l(d) a multiple of 5?
True
Suppose 0 = 6*j - 3*j + 15. Let q(b) = b + 9. Let x(c) = c - 1. Let s(g) = -q(g) - 2*x(g). Does 4 divide s(j)?
True
Let