st derivative of m**6/30 + m**4/24 + 2*m**3/3 + 1. Let f(b) be the third derivative of r(b). Does 13 divide f(-1)?
True
Let j(l) = -2*l**3 - 2*l - 1. Let m be j(-1). Suppose -c + 0*c = m. Is ((-114)/9)/(2/c) a multiple of 8?
False
Let o(g) = -1 + g - 3 + g**2 - 3*g. Let j be -10*(-5)/(75/(-6)). Is 10 a factor of o(j)?
True
Suppose -16 = -z - z. Suppose -r + z = -8. Is 6 a factor of r?
False
Does 8 divide 4 + 121 + 4 + (0 - 0)?
False
Let a = 188 + -94. Is 10 a factor of a?
False
Let t(g) = -25*g**2 + 2*g - 1. Let l be t(1). Is 18 a factor of 4*(3 - l)/3?
True
Let o(w) = -2*w. Does 14 divide o(-10)?
False
Let t be 4/10 + (-23)/(-5). Suppose 2*k - 30 = -m, 3*m - 81 = -t*k + 10. Is 10 a factor of m?
False
Suppose 4*d = -3*x + 36, 5*x + 4 = 5*d - 41. Is d even?
False
Suppose -223 = -3*a - 79. Is a a multiple of 24?
True
Suppose 3*f - 2*f = -14. Let t = 20 - f. Does 7 divide t?
False
Let m = -127 + 275. Suppose -n + m = 4*i, -4*n - 159 + 671 = -4*i. Suppose 4*g - n = 5*v, -172 = -4*g - 6*v + v. Is g a multiple of 19?
True
Let y = -119 - -80. Is 8 a factor of (-4)/(-26) - 930/y?
True
Suppose 0 = -5*l + l + 4. Let h be l - 5 - (-6 + 4). Let u = 18 + h. Is 16 a factor of u?
True
Is 41 a factor of 3*((-1372)/(-12) + -5)?
True
Suppose -n = -106 - 21. Is 28 a factor of n?
False
Suppose 4*z + 3*r + 160 = 523, 0 = 5*r + 15. Is 18 a factor of z?
False
Let y(g) = g**3 + 2*g**3 + 6*g**2 - 1 - 2*g**3 + 2*g. Let r be y(-5). Does 6 divide 2/(-7) - (-228)/r?
False
Suppose 0*r + 4*r - 580 = 0. Is 45 a factor of r?
False
Suppose -5*s - h = -6, 0 = s - 2*h + 3*h + 2. Is 8 a factor of 147/6 - s/4?
True
Let s be (6 - 3)*(-4)/3. Let z be 2*(-2)/s*2. Suppose 3*d - 80 = -z*d. Is d a multiple of 12?
False
Suppose -3 = -2*a + 5. Suppose -3*y = -a*t + 2*y + 266, 3*t + y = 209. Is 23 a factor of t?
True
Let u(n) = -14*n + 18. Let y(v) = 5*v - 6. Let m(f) = -6*u(f) - 17*y(f). Let h be m(-8). Suppose h*c - 25 - 67 = 0. Is c a multiple of 17?
False
Does 47 divide (-5648)/(-60) - (2 + 112/(-60))?
True
Let p = 115 + -19. Is p a multiple of 32?
True
Is 4 a factor of 3*(-5)/(-30)*24?
True
Suppose -2*j = j - 84. Is ((-6)/(-7))/(1/j) a multiple of 14?
False
Let g be (5/3)/((-1)/60). Let l = g - -230. Suppose -3*h - 52 = -l. Is 17 a factor of h?
False
Suppose -18 + 3 = -5*b. Suppose 4*v = -m + 93, 0*v - b*m - 73 = -4*v. Does 9 divide v?
False
Let d(y) = 7*y**2 - 10*y + 27. Let b(f) = -3*f**2 + 5*f - 13. Let a be (-13)/3 - (-2)/(-3). Let x(q) = a*b(q) - 2*d(q). Is 14 a factor of x(8)?
False
Let q be (-6)/(-4)*4/3. Does 3 divide (-3)/q*(-40)/6?
False
Let t be 5 - 0 - (5 - 2). Let o(l) = -3 + 6 - t*l - 4. Does 6 divide o(-5)?
False
Let k be 111/12 - 3/(-4). Suppose 4*m + 4*y = 24, 0 = 4*m - 2*y + k - 4. Is m/(-2)*5*-4 a multiple of 9?
False
Let y be 0 + 5 + 1/(-1). Let p = y + -2. Suppose 5*o - 271 = -4*i - 84, p*i - 3*o = 99. Is 13 a factor of i?
False
Suppose -j + 0*j = -3*m + 271, -m + 3*j + 93 = 0. Suppose 0 = -0*p - 2*p + m. Is 10 a factor of p?
False
Suppose -j = 3*t - 19 + 5, -16 = 3*t - 5*j. Suppose 10 = -d + t*d. Suppose -g = d*q - 146, g + 3*g = q - 46. Does 15 divide q?
True
Let k = 0 - -50. Let c(o) = -3*o**3 - o**2 - 2*o. Let j be c(2). Let r = k + j. Is 9 a factor of r?
True
Let p = -2 + 4. Suppose -p*q - 1 = 3. Is 10 a factor of (81/2)/(-3)*q?
False
Let b(f) = 2*f + 4. Does 10 divide b(9)?
False
Does 9 divide ((-132)/42)/((-1)/7)?
False
Suppose -q + 34 = -4*f, q + 4*f = 2 + 16. Does 8 divide q?
False
Suppose -5*x = -5*o + 90, x + 2*o + 25 = -5. Let i = x + 80. Is i a multiple of 21?
False
Let s = 959 - 482. Suppose -2*w + 3*p + 142 + 53 = 0, -s = -5*w - 3*p. Does 5 divide w/10 + 2/5?
True
Let z = 5 + -1. Suppose -2*o - 3*o + z*s = 0, 36 = 4*o + 4*s. Suppose 3*b = o*j - 1 + 7, -b + 4*j - 6 = 0. Is b a multiple of 5?
False
Suppose -2*m + 3*p + 13 = 0, 4*m - 2*m - 16 = 4*p. Suppose -4*r + 71 = -2*s + s, 39 = m*r + 3*s. Does 6 divide r?
True
Let w(n) = -2*n**2 - 5*n + 1. Let d be w(-4). Let b be d/(-3) + 1/3. Suppose b = -4*i, m - 2*m = i - 21. Is m a multiple of 12?
False
Suppose 3*y + 2*y - 10 = 0. Suppose 0*u + y = 2*u. Is 1 + 2/u + 1 even?
True
Let m be 0 + 1 + (-2)/1. Let p be (1*m)/((-3)/42). Let v = -10 + p. Does 4 divide v?
True
Let t(z) = 3*z**2 + 5*z + 18. Does 6 divide t(-6)?
True
Let x = 7 - -7. Let g = 32 - x. Is g a multiple of 9?
True
Suppose 0*f = 2*f - 12. Suppose -2*q = -f*q + 44. Is 11 a factor of q?
True
Let m(l) = l**2 + 9*l - 4. Is 26 a factor of m(6)?
False
Suppose 35 = 4*l - 17. Is 13 a factor of l?
True
Let s = 7 + 18. Is s a multiple of 3?
False
Suppose 2*p = -0*p - 318. Let q = -111 - p. Does 14 divide q?
False
Is (-14)/21 + (2 - 332/(-3)) a multiple of 24?
False
Suppose -v = v. Suppose v = 4*g + 2*u - 32, 4*g - u + 5*u - 28 = 0. Is 2 a factor of g?
False
Suppose -28 = -4*q - 4*x, 3*x - 26 = -4*q - 3. Suppose 14 = q*v + 2*z + z, 5*z + 20 = v. Does 10 divide v?
True
Let o(y) = -y**2 + 16*y - 21. Does 9 divide o(13)?
True
Let c(k) be the second derivative of -k**3/6 + 11*k**2/2 + 3*k. Let p be c(9). Is 15 a factor of (3/(-2))/(p/(-40))?
True
Let s = 18 + -13. Suppose -5*l + 10*b - s*b = 0, 5*b = l + 12. Is ((32 + 1)/l)/1 a multiple of 11?
True
Suppose 0 = y - 3*r - 60, y - 4*r + 2*r = 64. Is y a multiple of 24?
True
Let f be 38*(-2)/(-4)*-1. Let l = 1 - f. Does 10 divide l?
True
Let h be (-2 - 72)/(-1 + -1). Suppose 0 = 4*r - 3*t - h, -7 = -2*r + 2*t + 13. Is r a multiple of 7?
True
Let j = -68 - -113. Is j a multiple of 15?
True
Let x(r) = r**2 + 8*r + 10. Let f be x(-7). Suppose 9 = f*o - 15. Suppose -o = -4*w - 0. Does 2 divide w?
True
Suppose 3*v - 740 = -2*v. Is v a multiple of 43?
False
Suppose 3*x + 56 = 134. Is x a multiple of 13?
True
Suppose 0 = -4*b + 246 + 66. Suppose 3*t + b = 5*t. Does 13 divide t?
True
Let a = -15 - -183. Suppose 2*k - a = -2*k. Is 14 a factor of k?
True
Suppose u - 2*k + 3*k - 15 = 0, k = -5*u + 71. Let z(s) = s**2 - 10*s + 5. Is 21 a factor of z(u)?
False
Let k be 3*-1 + -8 + 11. Suppose k*a + 2*a = 20. Does 10 divide a?
True
Suppose 4*y - 2*v - 3474 = 0, 3*v - 861 = -y + 2*v. Suppose 5*m - y = -251. Is m a multiple of 36?
False
Suppose 0 = -p + 42 + 10. Is 26 a factor of p?
True
Suppose -4*b = -0*b + 192. Let t = -29 - b. Does 4 divide t?
False
Let b(u) be the third derivative of u**4/24 - u**3/2 + u**2. Let q be b(3). Is 11 a factor of (-66)/(-3) - q/3?
True
Suppose -2*x + 87 = 3*s, -4*x - 3*s + 48 + 111 = 0. Is x a multiple of 12?
True
Suppose 0 = 5*y - 17 - 3. Suppose 3*f = -5*k + 43, 2*k - 2 = y*k. Is 6 a factor of f?
False
Suppose 3*a + 3 = -a - 5*q, 3*a + q - 6 = 0. Suppose 4*d + 85 = a*b, 2*d - 76 = -4*b - 2*d. Is 15 a factor of b?
False
Let g(m) = 15*m**2 - 1. Let r be 10*(21/(-6))/(-7). Suppose 0 - 5 = r*k. Is 7 a factor of g(k)?
True
Suppose -6*u - w = -u - 1536, 4*w + 16 = 0. Suppose -4*i = u - 92. Let t = -28 - i. Is 13 a factor of t?
True
Let v(c) be the first derivative of c**4/4 + 4*c**3 + 5*c**2/2 - 11*c + 8. Does 20 divide v(-11)?
False
Let l = 84 - 58. Let c = -18 + l. Suppose -3*b + c + 10 = 0. Does 6 divide b?
True
Let s(m) be the second derivative of 5*m**3/6 + 4*m. Does 15 divide s(6)?
True
Suppose 12*u - 242 = u. Is u a multiple of 3?
False
Let h(j) = j**3 + 8*j**2 + 2*j + 12. Let n be h(-6). Suppose n = 6*b - 3*b. Is b a multiple of 8?
True
Let j(o) = 2*o**2 - o - 3. Let c(x) = -2*x**2 + 3. Let l(d) = 3*c(d) + 4*j(d). Let n be l(-2). Suppose 2*s - r - 36 = 0, -s - n + 33 = -r. Is 16 a factor of s?
True
Suppose 0 = 38*x - 44*x + 1920. Is x a multiple of 32?
True
Suppose 4*o = l + 13, -3*o + 3*l + l + 26 = 0. Suppose 9 = o*u - u. Is 9 a factor of u?
True
Suppose 6*c + 4*i + 20 = c, -2*c - i - 5 = 0. Let u be -2 + c + 0 - -18. Let t = -10 + u. Is 6 a factor of t?
True
Let z(m) = -m**2 - 7*m - 2. Let p be z(-8). Is ((-16)/p)/((-3)/(-15)) a multiple of 6?
False
Let d = 173 - 119. Is d a multiple of 27?
True
Let s = -7 - -5. Let f(l) = 3*l**2 + 2*l - 1. Is 7 a factor of f(s)?
True
Suppose -5*k = 5*y - 535, 0 = -5*k - y - 0*y + 523. Let s = -10 - -1. Does 19 divide (s/6)/((-6)/k)?
False
Let g(t) be the first derivative of t**3/3 + 5*t**2/2 + 8*t - 2. Let s be g(-10). Let q = -39 + s. Does 10 divide q?
False
Suppose -3*l + 7 = -17. Is l a multiple of 5?
False
Suppose 348 = 7*n - n. Is n a multiple 