e 0 = 5*n + 19 + t. Is (36/n)/((-6)/20) a multiple of 8?
True
Let w(l) be the second derivative of 7*l**3/6 + 3*l**2/2 + 2*l. Suppose 0*g - 5 = -3*g + 2*j, 3*g = -4*j + 35. Is w(g) a multiple of 20?
False
Let a(m) = 2*m + 19. Does 13 divide a(10)?
True
Suppose 0 = n - 0*n - 155. Suppose -6*y + 11*y = n. Is y a multiple of 7?
False
Does 12 divide 5940/100 + (-3)/(-5)?
True
Let y be ((-106)/(-4))/(1/2). Suppose 2*n - 3*x - y = 2*x, 3*x = 2*n - 47. Does 19 divide n?
True
Let g(p) be the second derivative of -19*p**5/20 + p**4/12 - p**3/6 - p**2/2 - 3*p. Is 20 a factor of g(-1)?
True
Is 58 a factor of (-512)/(-30)*17 - 34/255?
True
Let h(s) = -s**2 + 5*s - 6. Let v be h(3). Suppose 2*w - 216 = -4*d, v = -2*d - 5*w - 5 + 113. Is 14 a factor of d?
False
Suppose 0 = -a + s - 4 + 30, 0 = a + 4*s - 16. Let q = a + -13. Let d = q - -2. Is 10 a factor of d?
False
Let c(p) be the first derivative of 2*p**3/3 + 2*p**2 + 4*p + 7. Does 5 divide c(-3)?
True
Is 5 a factor of 616/63 - 2/(-9)?
True
Let y(x) = x - 2. Does 13 divide y(19)?
False
Let u be (-2)/(-8) + 11/4. Let t be (-2)/4*(-18)/u. Suppose -24 = -t*m + k, m = -0*m + 2*k + 3. Is m a multiple of 9?
True
Let l(z) = -z**2 - 4*z + 5. Let q be l(-5). Does 14 divide -1 - (-31 + (q - -2))?
True
Let p(h) = -h**2 - 5*h + 2. Let w = -3 - 1. Is p(w) even?
True
Suppose 3*q = 12 - 0. Is 3 a factor of q?
False
Let l = 25 + -18. Let w = 10 + l. Is w a multiple of 17?
True
Let i(d) = d**3 + 4*d**2 - 4. Let j be i(-5). Let q = 47 + j. Is 6 a factor of q?
True
Let z be (-34)/(-9) + 2/9. Suppose -12 = z*w, s - 2*w - 6 + 0 = 0. Suppose 4*v - 26 - 110 = s. Is v a multiple of 17?
True
Let i(w) = w**2 - w - 7. Let v be i(4). Let q(b) = 2*b**2 - 5*b + 16. Does 13 divide q(v)?
False
Let k = 1 + 2. Suppose 5*j + 10 = 0, -2*g = -2*j + 1 + 19. Is 5 a factor of k/g - 21/(-4)?
True
Let l(v) be the second derivative of -v**7/840 - v**5/120 - v**4/12 - v**3/3 - 2*v. Let y(x) be the second derivative of l(x). Is 4 a factor of y(-2)?
True
Suppose 2*k = -0*k - n - 290, 5*n = 0. Let g = -103 - k. Does 14 divide g?
True
Let n(r) = r + 3. Let t be n(7). Suppose -3*d - 37 - 7 = -4*p, t = 2*p. Is (-4)/d*(1 - -25) a multiple of 10?
False
Is -3*2/30 - 201/(-5) a multiple of 5?
True
Suppose 7*p - 2464 = -9*p. Is 22 a factor of p?
True
Let v(c) = c**2 - 5*c + 2. Let s be v(5). Suppose d - 6 = -s*d. Suppose 12 = x + d. Does 10 divide x?
True
Let r = -58 - -66. Is r a multiple of 4?
True
Let g(s) = 2*s - 1. Let j be g(4). Let k = j + -4. Does 8 divide (-92)/(-6) - k/9?
False
Let j(i) = i**3 - i**2 + i - 1. Let b be j(2). Suppose 5*m = 4*m + b. Suppose -5*n + m*h + 40 = 0, n + 2*h = -0*h + 2. Does 5 divide n?
False
Let l = 5 + -1. Suppose -4 = l*p - 2*p. Is p/4*-1*32 a multiple of 13?
False
Let m be -411 - (-1 + 0/(-3)). Is 23 a factor of m/(-6) - (-2)/3?
True
Let u(n) = -18*n + 2. Let h = -10 + 8. Does 10 divide u(h)?
False
Does 2 divide (4 - 2) + (1 - -1)?
True
Suppose 5*k = 0, 3*k - 144 = -3*m + m. Is m a multiple of 6?
True
Let w(q) = -q**3 + 18*q**2 - 31*q - 11. Is w(15) a multiple of 53?
False
Let w = -98 - -149. Does 17 divide w?
True
Let s(x) = 3. Let q(f) = f - 1. Let z(v) = -6*q(v) - 3*s(v). Is z(-5) a multiple of 20?
False
Let k(b) = 32*b**2. Let j be k(-2). Suppose j = 4*q + h, -40 = -4*q + h + 88. Is 10 a factor of q?
False
Let l = -760 + 1146. Is l a multiple of 37?
False
Let l = 0 - -14. Is l even?
True
Let z(q) = q**3 + 4*q**2 + 2. Let c be z(-4). Let x be c/8 - 22/(-8). Let m = 9 - x. Is m a multiple of 6?
True
Suppose h = w - 4, w - 3*h + 4*h = 4. Suppose 0 = -2*m + 4*j - 20, 0*m - 3*j = w*m - 4. Let i(s) = s**2 + 1. Is 2 a factor of i(m)?
False
Let k(a) = 1. Let g(s) = s**2 - 7*s - 9. Let j(d) = -g(d) - 3*k(d). Does 5 divide j(6)?
False
Suppose 3*w - 9 = -3*z, w + 2 = -5*z + 17. Suppose -2*s + 0*r = -4*r - 256, 4*s = -z*r + 534. Suppose -j = 3*j - s. Does 14 divide j?
False
Suppose 4*d + 0 = 20. Suppose -3*k - 3*y - 30 = 0, -4*k - y + 2 = -d*k. Let t(n) = -n + 2. Is 8 a factor of t(k)?
True
Suppose 2*b - 290 + 1049 = 3*x, 2*b = 6. Is 15 a factor of x?
True
Suppose -5*g - 1908 = -17*g. Is 16 a factor of g?
False
Suppose 2*r = -3*z + 60, r + 0*z - 3*z - 30 = 0. Does 11 divide r?
False
Let t = 3 + 0. Let f(p) = p**t + 5*p**2 + 3 + p**2 + 0*p**3 + 3*p. Is f(-5) a multiple of 6?
False
Suppose 3*c = 2*s + 193, 3*c + 320 = 8*c - 5*s. Is c a multiple of 13?
True
Suppose 4*v + 42 = v. Let j be 4/v + 102/14. Let o(p) = p + 1. Is 8 a factor of o(j)?
True
Suppose 5*t + 2*b = 28, 9*b = -2*t + 4*b + 28. Suppose -3*m + t*m - 47 = 0. Is m a multiple of 14?
False
Suppose -4*t = 3*x - 2*x - 8, 0 = -2*x + t + 25. Let o = -24 + 17. Let q = o + x. Is q a multiple of 2?
False
Let x(w) be the second derivative of w**5/120 - w**4/24 - w**3/3 + w. Let s(c) be the second derivative of x(c). Is 3 a factor of s(4)?
True
Suppose 6*t - 5*t - 103 = 0. Does 11 divide t?
False
Is 19 - 10 - ((4 - 2) + 0) even?
False
Let d be (-10)/(-4) - 1/2. Let b be (-6)/(9/3) + 19. Suppose -b = d*j - 41. Does 6 divide j?
True
Let l = 59 + -20. Is l a multiple of 15?
False
Let g(c) = 4*c**2 + 6*c - 6. Does 48 divide g(3)?
True
Does 25 divide ((-1)/((-6)/225))/(5/10)?
True
Let f = 22 - 8. Let w be 3/(30/f - 2). Suppose 72 - w = 3*o. Is 9 a factor of o?
False
Suppose -5*w - 7*d + 3*d = -4, -5 = -5*w - 5*d. Suppose -4*l = -w*l - 20. Does 3 divide l?
False
Suppose 48 = 11*u - 5*u. Is 3 a factor of u?
False
Suppose 2*z = 3*j + 58, -4*j - 4*z = -0*z + 64. Does 12 divide (-1)/(-2)*4 - j?
False
Suppose 0 = 2*x + 4*t - 108, 4*x + 3*t - 205 = 6*t. Is 13 a factor of x?
True
Suppose -2*w = -4*f + 18, -w + 0 = -4*f + 13. Suppose 4*a = -0*a + s + 29, -f*s + 26 = 4*a. Let y = a + -1. Does 3 divide y?
True
Let j(r) = r**2 + 5*r + 12. Is 3 a factor of j(-5)?
True
Let i(k) = 2*k. Let y be i(2). Suppose f - y*f = 0. Suppose 4*t - d - 87 = f, d - 97 = t - 5*t. Is 8 a factor of t?
False
Let r(c) = -c**2 + 9*c - 2. Suppose g + 3*g - 16 = 0. Suppose -z - 14 = -5*b + 3*z, z = g. Does 12 divide r(b)?
False
Let d = 50 - -7. Suppose -t + d = -0*t. Is t a multiple of 10?
False
Let l = -55 + 138. Suppose -7*d = -l - 519. Is 27 a factor of d?
False
Suppose -2*j + 129 = 5. Does 24 divide j?
False
Let j be (-1 - 24/(-4)) + 0. Let s(v) be the first derivative of -v**3/3 + 3*v**2 + 7*v + 1. Is 12 a factor of s(j)?
True
Suppose -4*u + 5*u - 4*a + 8 = 0, -4*u + 19 = a. Suppose -5 - u = -3*d. Suppose -41 = -d*w + 5*l, -2*w = -l - 36 + 11. Does 12 divide w?
True
Suppose -3*f + 0*f = 0. Let u = 12 + f. Is u a multiple of 6?
True
Let n(d) = 36 - d - 2*d**2 - 4 + 3*d**2 + d**3. Is n(0) a multiple of 16?
True
Let q(n) = n + 28. Does 5 divide q(-9)?
False
Is -3*((-29)/3 + 0 + -1) a multiple of 8?
True
Let p(t) = 9*t**3 + 7*t**2 + 35*t - 1. Let c(q) = 5*q**3 + 3*q**2 + 18*q. Let k(y) = -11*c(y) + 6*p(y). Is 34 a factor of k(9)?
True
Suppose -2*q + 64 = -242. Is q a multiple of 9?
True
Is 17 - 30/(-12)*-2 a multiple of 11?
False
Let w(a) = a**2 + 7*a - 6. Let o(s) = s**3 + 7*s**2 - 9*s - 4. Let p be o(-8). Is w(p) a multiple of 21?
False
Let b(z) = z**3 - 6*z**2 + 7*z - 3. Let k be b(5). Let c(l) = -l**2 + 8*l + 7. Is c(k) a multiple of 7?
True
Suppose -3*r = 4*k + 6 - 83, 0 = 3*r + 15. Suppose 0 = -2*z - 73 - k. Is z/18*3/(-1) a multiple of 4?
True
Let j be (-33)/(-2) + 4/(-8). Suppose 0 = 5*o - j + 1. Suppose 0*r = 2*r - o*x - 31, -3*r - x = -30. Is r a multiple of 4?
False
Suppose 4*q = -5*c - 617, 781 = -5*q - c - 2*c. Let a = -78 - q. Does 20 divide a?
True
Let q = -291 - -411. Does 8 divide q?
True
Let o(r) = -2*r + 3 - 3 + 1 - 3. Let p be o(-5). Let m = p + 43. Is 19 a factor of m?
False
Let o be (4/2)/((-4)/(-144)). Let d(n) = n**3 - n**2 - 2*n. Let j be d(2). Suppose 4*m - m - o = j. Does 12 divide m?
True
Let q = -82 + 30. Let r = -37 - q. Is ((-21)/4)/(r/(-40)) a multiple of 14?
True
Suppose -11*i + 6*i = -315. Is 5 a factor of i?
False
Suppose -15*h - 310 = -20*h. Is h a multiple of 15?
False
Let y be 0*(0 - -1)*-1. Suppose 4*k - 2 - 10 = y. Suppose -q = 1, 3*q - 24 = -k*u - 0*q. Is u a multiple of 6?
False
Let m be (9/(-1))/((-3)/(-2)). Let o(g) = -g**3 + 2*g**2 + 2*g + 1. Let c be o(-3). Does 2 divide (-4)/m - c/(-12)?
True
Suppose 4*c - 264 + 40 = 0. Is c a multiple of 18?
False
Suppose 0 = 9*m - 291