 n**2 + 3*n - 3. Let k be y(2). Let i = k + u. Does 10 divide i?
False
Suppose -3*l = 2*i + 16, 3*i + 24 = 4*l - 0*l. Let b = 14 + i. Is 6 a factor of b?
True
Let p(r) be the first derivative of r**4/4 + 7*r**3/3 + r**2 - 2*r - 6. Does 6 divide p(-6)?
False
Let c be -1 + 3 + (2 - -1). Suppose 4*t + 0*l - 2*l - 34 = 0, -c*t + l + 44 = 0. Does 8 divide t?
False
Suppose 10 + 31 = r. Is r a multiple of 13?
False
Let p be 4/(-14) + (-426)/(-21). Suppose -m - 1 + 6 = -s, -2*s + p = m. Is m a multiple of 5?
True
Suppose 494 - 3686 = -21*b. Is b a multiple of 38?
True
Suppose 0*g - 3*g = 5*p - 39, -5*p + 24 = -2*g. Let y = p - 1. Is y a multiple of 5?
True
Suppose 5*o - 13 = 12. Suppose -2*r + 6 = -4*n, -24 = -o*r + 4*n + 21. Is 13 a factor of r?
True
Suppose -14*y + 10*y + 352 = 0. Is 19 a factor of y?
False
Let c = 202 + 1. Let g = 398 - c. Does 7 divide (g/(-10))/((-3)/4)?
False
Let j(r) = r**3 - 3*r**2 + 5*r - 2. Let w be j(4). Let z = w - 24. Is 8 a factor of z?
False
Let d(o) = o**3 + 4*o**2 - 6*o - 3. Is d(3) a multiple of 21?
True
Let d(z) = -8*z**3 - 2*z**2 - 12*z - 6. Does 55 divide d(-3)?
False
Does 12 divide ((-24)/(-7))/(1/14)?
True
Let h(i) be the first derivative of -i**7/840 + i**6/60 - i**5/40 - i**4/8 + 2*i**3/3 + 1. Let f(u) be the third derivative of h(u). Does 7 divide f(5)?
True
Suppose 0 = v - 2*r - 0*r - 12, -5*v + 2*r + 92 = 0. Suppose -5*m + 20 = -v. Is 6 a factor of m?
False
Let q(z) = -z + 6. Let b be q(-6). Suppose 2*c - 3 = -u, -b - 2 = -5*c + 4*u. Suppose -39 = -s + c. Is s a multiple of 17?
False
Let w be (-8)/36 + (-40)/(-18). Suppose 0 = -w*l + 10 + 10. Is 5 a factor of l?
True
Let c(n) = n**3 - 19*n**2 + 2*n - 18. Does 2 divide c(19)?
True
Suppose 3*j + 51 = 3*m, -47 + 6 = -2*m - 5*j. Let k = m + -11. Does 7 divide k?
True
Let y(t) = t + 23. Let q be y(-10). Let u = q + 19. Does 19 divide u?
False
Let r = -20 + 40. Suppose 16 = -4*w - r. Is 12 a factor of (w/(-4))/(2/40)?
False
Suppose 0 = -3*l + 4*q + 170, q - 4*q + 260 = 4*l. Is 20 a factor of l?
False
Let a = 0 + 65. Is a a multiple of 6?
False
Suppose 10*k = 8*k + 242. Does 11 divide k?
True
Let z = -4 - -8. Suppose 2*u = -4*r + z*u + 42, -3*r + 9 = 3*u. Is r a multiple of 4?
True
Suppose -4*s + 9*s - b = 91, -22 = -s + 4*b. Suppose -z = -3*z - s. Does 7 divide (-30)/z*(-24)/(-10)?
False
Suppose -4*c - 5*g + 20 = 0, -4*g + 2*g = 0. Suppose c*n - 10 = -0*n. Suppose -i + 4*s - 21 = -n*i, 0 = 4*s - 4. Is 10 a factor of i?
False
Suppose c = 8*m - 4*m + 9, 4*m = -c - 15. Let z(x) = 0*x - 5*x + 153 - 2*x**3 - 156 - 4*x**2. Is 10 a factor of z(m)?
True
Suppose 31 - 11 = 5*a. Suppose -a - 47 = -3*u. Is u a multiple of 5?
False
Let v(k) = k**3 + 6*k**2 - 5*k - 3. Let f(s) = -2*s**3 - 12*s**2 + 10*s + 7. Let a(m) = 3*f(m) + 7*v(m). Does 14 divide a(-6)?
False
Let b(v) = 3*v**2 - 1. Let x be b(-1). Suppose -x*d = d - 15. Suppose u - d = 20. Does 10 divide u?
False
Let y be 22/((-4)/8*-4). Suppose y + 124 = 5*o. Is o a multiple of 15?
False
Let w be ((-6)/(-5))/(24/60). Suppose -w*p + 5*p = 40. Is 14 a factor of p?
False
Let q = 3 + -11. Let o = 26 + q. Let a = 28 + o. Does 16 divide a?
False
Let v(g) = g**3 - 3*g**2 - 2*g + 2. Let o be v(4). Suppose -4*b = -o - 6. Is 2 a factor of b?
True
Let b(w) = 17*w - 6. Does 8 divide b(3)?
False
Let o be 28*21/6 + -4. Suppose -o = -5*a + 76. Is a a multiple of 14?
False
Suppose 0 = -g - 3*g + 48. Is g a multiple of 3?
True
Suppose 0*i = -5*i - 10. Let z = 2 + i. Let k = z - -11. Is k a multiple of 9?
False
Let a = 6 - -6. Does 6 divide 498/21 - a/(-42)?
True
Let j(p) = -p**3 + 9*p**2 + 11*p - 4. Let s(v) = -v**3 - 8*v**2 + 9*v + 10. Let r be s(-9). Does 5 divide j(r)?
False
Let w be (-3)/(-3) + -1 + 2. Suppose -k = -w*k. Let s(z) = -z**2 + z + 45. Is s(k) a multiple of 13?
False
Let a = 102 + 192. Is 14 a factor of a?
True
Let r = 3 + -4. Let b be (-2 - (5 + 1)) + r. Let v(h) = -h**3 - 10*h**2 - 10*h + 3. Does 12 divide v(b)?
True
Suppose 0 = 4*s - 3*b - 20, -s - 19 = 5*b - 1. Let k(u) = 4 + 3*u**2 - u**2 + 2*u + 0*u**s + 0*u**2. Is 16 a factor of k(-3)?
True
Suppose 5*j = -13 + 3. Let w be 2/(-2)*(j + 1). Suppose 4*l - 35 = w. Is 5 a factor of l?
False
Is (1 - 3 - -32)*(-18)/(-12) a multiple of 17?
False
Let y = 167 - 134. Is 18 a factor of y?
False
Let s be (-21)/7 + 1 + 5. Suppose 2*z + 155 - 1028 = s*t, 429 = z + t. Is 11 a factor of z/20 - 4/(-10)?
True
Let b(l) = -l**3 - 6*l**2 + 12*l + 25. Is b(-10) a multiple of 14?
False
Let i(p) be the first derivative of p**4/4 - 4*p**3/3 - 9*p**2/2 + 9*p + 1. Does 9 divide i(6)?
True
Is (5 - -32)*5 + 2 a multiple of 17?
True
Let x = -1 + 3. Suppose 16 = -2*c - x*u, -3*c - 2*u = -3*u + 16. Does 11 divide ((-22)/(-3))/(c/(-9))?
True
Let a(v) = -3*v - 8. Let p be -5 + -5 - 1*-1. Is 6 a factor of a(p)?
False
Let v(s) = s**2 + 6*s + 2. Is v(-11) a multiple of 19?
True
Let y = 4 + -18. Let o be (-2)/(((-16)/y)/(-4)). Suppose -c + 4*x = -7, 3*c - 4*c = -x - o. Is c a multiple of 7?
True
Suppose 2*p + 0*p + 4 = 0. Let s be (1 - p)/((-3)/10). Let u = 17 + s. Is 7 a factor of u?
True
Suppose 3*m + 2*z + 0 = 1, 0 = -4*m - z + 3. Let r be (60/14)/(m/7). Is r + -2*3/3 a multiple of 14?
True
Suppose 69 + 71 = 4*u. Is u a multiple of 6?
False
Let u(k) = 3*k**2 - 4*k + 11. Does 9 divide u(9)?
False
Let x = -19 - -33. Is 9 a factor of x?
False
Let t(w) = w**2 - w + 2. Let u be t(2). Is (u/(-10))/(2/(-110)) a multiple of 11?
True
Let c be -3 + 1 - (-2 - 86). Let i = -26 + c. Is i a multiple of 13?
False
Suppose 0 = -2*k + 4*h + 108, 0 = 2*k - 8*h + 3*h - 104. Let o = k - 30. Does 32 divide o?
True
Let u(d) = d**2 - 8*d - 6. Let q be u(-6). Suppose -2 = -5*h + q. Does 8 divide h?
True
Suppose 8*d + 12 = 132. Does 3 divide d?
True
Suppose 5*v = 559 + 491. Is v a multiple of 21?
True
Suppose 140 = -15*o + 2840. Is 20 a factor of o?
True
Suppose 2*j + 43 = 4*y + 3*j, y + 4*j + 8 = 0. Does 5 divide (-435)/(-12) + (-3)/y?
False
Let r be (0 - 1)*(1 - 5). Is 2 a factor of r + (-12)/(-4) + 0?
False
Let q = 756 + -516. Suppose -q = -3*g - 0*g. Is g a multiple of 28?
False
Let h = -5 - -9. Suppose -12 = 5*x + 8, 47 = y + h*x. Is 30 a factor of y?
False
Is (5/(-4))/(8/(-32)) even?
False
Let y(q) = -q**2 - 9*q - 1. Let m be y(-8). Let s(f) = -f + 15. Does 4 divide s(m)?
True
Let q = 17 + -6. Let l = q + 10. Is 12 a factor of l?
False
Let n(m) be the second derivative of 7*m**6/360 - m**5/40 - m**4/12 + m. Let k(q) be the third derivative of n(q). Does 16 divide k(3)?
False
Let x = -29 - -39. Does 10 divide x?
True
Let y = 11 - 3. Is y a multiple of 8?
True
Suppose 0 = -3*c + 2*v + 4, 2*c + 6 = -c - 3*v. Is 34 a factor of (c/(-3) - 4) + 137?
False
Let y(r) = 7*r**2 + 2*r - 2. Let q be y(3). Let i = -35 + q. Is 10 a factor of i?
False
Let m be -12*(2 - 2 - -1). Let w = m - -25. Is 13 a factor of w?
True
Let o = 0 - -29. Is 8 a factor of o?
False
Let t(u) = -u**3 + 11*u**2 - 10*u + 11. Let c be t(11). Let g = 214 + c. Suppose -3*o - 54 = -3*h, 4*o + 35 = -4*h + g. Is 15 a factor of h?
False
Let g(f) be the first derivative of -f**3/3 - 5*f**2 + 6*f + 4. Is g(-10) a multiple of 3?
True
Let w(i) = 6*i**2 - 13. Let n(g) = 3*g**2 - 6. Let b(k) = -5*n(k) + 2*w(k). Let h be b(-3). Let u = h - -53. Is u a multiple of 15?
True
Let a(n) = 4*n**2 - 1. Let s be a(1). Suppose -2*q + 2 = -2*j, 0*q = q - s. Does 13 divide (52/8)/(1/j)?
True
Let d = 157 + 37. Is d a multiple of 31?
False
Let g(l) = -l**3 + 4*l**2 + 7*l - 7. Let k be g(5). Let w be (-3)/(-9)*k - -44. Suppose 5*a - w = 2*a. Is 8 a factor of a?
False
Let h(x) = -x**3 + 3*x**2 + 6*x - 6. Let g be h(4). Suppose -p + 5*b - 4 = g*b, 3*b + 40 = 5*p. Let r = p - -6. Is 17 a factor of r?
True
Let w = 310 - 123. Is w a multiple of 12?
False
Let v(c) be the third derivative of -2/3*c**3 + 0*c - 7/24*c**4 - c**2 + 0. Is 17 a factor of v(-4)?
False
Let u = 2 - 6. Let g = -2 - -3. Does 10 divide (-3 + -1)*u + g?
False
Suppose 5*h + 4*u - 964 - 364 = 0, -2*h = -5*u - 518. Is h a multiple of 33?
True
Let q = -22 + 96. Let w be (-3)/(-15) - q/(-5). Let s = 21 - w. Is s a multiple of 3?
True
Suppose -3*n - l + 448 = 0, 0 = -3*n + n - 3*l + 308. Is n a multiple of 37?
True
Let o(s) = 108*s**3. Let d be o(1). Let y = d + -54. Does 8 divide 1686/y + (-4)/18?
False
Suppose 406 = -4*g + 11