49. Let t = 67 - 98. Let u = t - v. Is u a multiple of 9?
True
Let c(o) = o**3 + o**2 + o + 18. Let j be c(0). Suppose x - j = 1. Is x a multiple of 9?
False
Suppose -2*s + 42 = 4*n + n, 2*s + 2*n - 30 = 0. Let b(p) = p**3 - 9*p**2 + 11*p - 8. Let y be b(8). Suppose 4*m = y, -2*t + 1 = -4*m + s. Is 2 a factor of t?
False
Does 2 divide -6*(4 - 22/4)?
False
Let k(g) = 2*g**2 - 4*g + 2. Let c be k(3). Does 24 divide (188/(-8))/((-2)/c)?
False
Suppose -4*a = -20, -6*a = -v - 4*a + 326. Is 13 a factor of v?
False
Is 0 + (-2)/(-9) + (-1068)/(-54) a multiple of 3?
False
Let y(g) be the third derivative of -g**4/24 - 11*g**3/6 - g**2. Let r be y(-9). Let z = r + 21. Does 19 divide z?
True
Let r be (-7)/(-1) - (-3)/(-3). Let f = r - -10. Does 8 divide f?
True
Let t be (-6)/14 + 380/70. Does 3 divide (-62)/(-5) + (-2)/t?
True
Let d(m) = -m**3 + 5*m**2 + m - 3. Let k(q) = -q**2 - 11*q - 13. Let v be k(-9). Let r be d(v). Is 14 a factor of (12/r)/(1/7)?
True
Let l be (318/(-9))/(4/(-6)). Suppose 0 = -3*r - r - d + l, -4*d - 68 = -4*r. Does 12 divide r?
False
Suppose -123*v = -119*v - 16. Is v a multiple of 2?
True
Is (-144)/80*(-40)/3 a multiple of 6?
True
Let l = -83 + 33. Let q be (-4)/16 - l/8. Let b = 24 - q. Does 9 divide b?
True
Suppose 5*p + m = 1002, 2*p = -p + 4*m + 592. Does 8 divide p?
True
Suppose -471 = -4*u + 273. Is 21 a factor of ((-20)/(-30))/(4/u)?
False
Let q = -4 - -6. Let w be 138/1 + q*-1. Suppose 0 = 3*v + v - w. Is v a multiple of 13?
False
Suppose z = -9 + 3. Does 5 divide (z/5)/((-4)/50)?
True
Suppose 5*q = -z - 5, -3*z - 23 = -8. Suppose 2*n - 7*n + 675 = q. Suppose -5*i - 5 = -n. Is 14 a factor of i?
False
Suppose -v + 52 = -45. Is v a multiple of 13?
False
Is 7/3 + -2 - 5392/(-24) a multiple of 54?
False
Let k(a) = -a**2 - a. Let z be k(0). Let q(j) = -5*j**2 + j. Let w(c) = -c**2 + 1. Let y(h) = -q(h) + 6*w(h). Does 3 divide y(z)?
True
Let n(l) = l**3 + 6*l**2 - 8*l + 5. Is 3 a factor of n(-7)?
True
Let h = 24 + -24. Suppose -2*y - 22 = -4*l, 2*l + y + h*y = 13. Is l a multiple of 3?
True
Let t be 10/(1/((-9)/2)). Let d = -24 - t. Does 11 divide d?
False
Suppose 0 = 4*m + 3 - 11. Suppose 0 = -3*y + m*y + 5. Suppose -y*x = -57 + 2. Does 8 divide x?
False
Let y(x) = x**3 - x**2 - 5*x + 10. Is 10 a factor of y(4)?
False
Suppose 4*y - 3*s = 711, -8*y + 12*y - 723 = -s. Does 10 divide y?
True
Let h = -7 + 11. Let j be ((-4)/h)/(1/(-3)). Suppose -8*p + j*p + 124 = 2*f, 3*p - 62 = 5*f. Is p a multiple of 12?
True
Let i be 24*(-1 + (-7)/(-3)). Suppose i = l - a, 2*a + 2*a = -5*l + 142. Suppose 2*n - l = -n. Is n a multiple of 6?
False
Let q(d) = -3*d**3 - 15*d**2 + 16*d + 2. Does 39 divide q(-7)?
False
Let k(f) = -4*f**2 + 1. Let u be k(-1). Let i be (u - -2 - -1)/2. Suppose i = -8*b + 3*b + 110. Is 11 a factor of b?
True
Suppose 5*g = -4*v + 132, 0 = 5*v - 23 + 8. Is 6 a factor of g?
True
Suppose -4 = 3*n + 8, -53 = -3*p + 5*n. Does 6 divide p?
False
Let o(x) = x**2 + x - 3. Let b be o(0). Let v = -1 - b. Suppose -4*c - v*r + 96 = 0, 36 = 2*c + 3*r - 12. Is 18 a factor of c?
False
Suppose l = 6*l - 45. Does 9 divide l?
True
Suppose -2*p + 78 = p. Let n = p - -42. Does 34 divide n?
True
Let u be 3/2*80/30. Suppose u = -4*f, 3*g - f = 5*g - 33. Is g a multiple of 17?
True
Let o(u) = u**3 + u**2 - u + 1. Suppose -4*l = -7*l + 6. Does 2 divide o(l)?
False
Let j = -8 + 52. Is j a multiple of 14?
False
Suppose 50 = 5*l + 10. Is l a multiple of 4?
True
Suppose -7*l + 42 + 91 = 0. Does 4 divide l?
False
Let g = -72 + 242. Is g a multiple of 9?
False
Let r(i) be the third derivative of i**7/630 - i**4/12 + i**2. Let t(n) be the second derivative of r(n). Is t(1) a multiple of 4?
True
Let t be 20/9 - (-8)/(-36). Suppose -t*g + 0*o + o = -205, 3*g + o - 315 = 0. Let d = g + -70. Does 15 divide d?
False
Let y(i) = -i**2 + 6*i + 2. Let w be y(6). Let r(b) = 4 - 6*b**w - 2*b - b**3 - 13 + 7*b. Does 4 divide r(-7)?
False
Let r(p) = -p + 1. Let w be r(-6). Let a(c) = w*c + 5*c**2 - 2*c**3 + 5 + 2*c**3 - c**3. Is a(6) a multiple of 11?
True
Suppose 3*q = 5 + 4. Suppose 4*n + 2*h = 47 + 65, 0 = -n + q*h + 21. Does 9 divide n?
True
Suppose f = -0*f + 60. Suppose 7*g - 2*g = f. Is g a multiple of 8?
False
Suppose 3*r + 2*r + 25 = 0. Let x = 7 + r. Suppose -7*y + 3*c + 92 = -2*y, 0 = -y - x*c + 8. Is y a multiple of 16?
True
Let d(o) = -4*o**2 - 4. Let f be d(-3). Let l = f + 70. Suppose -l = -5*u + 20. Is u a multiple of 4?
False
Let b = 24 + 24. Does 14 divide b?
False
Suppose -5*x - 5 = -0*x. Is (-3)/6*(-47 - x) a multiple of 14?
False
Let u = 52 + 1. Is 4 a factor of u?
False
Let z(b) = 7*b**2 + 3*b - 3. Let s = 1 + 1. Is z(s) a multiple of 17?
False
Suppose -4*r - 141 = 67. Let h(g) = -6*g**2 + 6*g - 3. Let t be h(4). Let a = r - t. Does 8 divide a?
False
Let t = -5 + 7. Suppose -t*c - 3*r = -13 - 50, 3*c = -2*r + 92. Does 15 divide c?
True
Let j(p) = 7*p**2 + 22*p + 11. Does 52 divide j(-7)?
False
Suppose -4*t = -6*t + 156. Is t a multiple of 8?
False
Suppose 11 = 5*l - 14. Suppose -l*s - 49 = -h + 10, 4*h - 3*s = 151. Does 17 divide h?
True
Let n(m) = 2*m - 5. Let k(w) = -4*w + 10. Let d(c) = -6*k(c) - 11*n(c). Is d(4) even?
False
Let v = 5 - 1. Suppose t = 2 + v. Is t a multiple of 2?
True
Suppose 3*h + 4*d - 14 = 18, 4*h + 4*d = 36. Let q = -14 + h. Let p = q - -37. Is 11 a factor of p?
False
Suppose -3*b = -3*f + 153, -4*f + 59 = -3*f - 3*b. Is 10 a factor of f?
False
Let s be 15/(-10) + 7/2. Let k be ((-16)/12)/(s/12). Let t = k + 16. Is 8 a factor of t?
True
Let l = 23 + -15. Let v = 20 - l. Suppose -3*j + v + 12 = 0. Is 8 a factor of j?
True
Let x(l) = -8*l**3 + l**2 + l. Suppose 5*r = 2*a - 3, 2*a - 2*r = -0*a. Does 4 divide x(a)?
True
Let i(b) = -b**2 + 13*b - 15. Suppose -4*g + f + 39 = 0, -5*g + g - 4*f + 64 = 0. Is i(g) a multiple of 2?
False
Let f(s) = s**2 - 6*s + 4. Let a be f(5). Let t(g) = 23*g**2 + 2*g + 1. Is t(a) a multiple of 10?
False
Is 4 a factor of (-6)/4*(-2 - (-14)/(-3))?
False
Suppose -3*x - 77 + 404 = 0. Does 9 divide x?
False
Let z(v) = 4*v + 3. Let n be z(3). Suppose 2*c = -c + n. Is c a multiple of 2?
False
Suppose 135 = -21*t + 26*t. Is 11 a factor of t?
False
Let o(l) be the first derivative of -l**4/4 - 2*l**3 + 7*l**2/2 + 9*l - 2. Let p be o(-7). Let m = p - 3. Is 6 a factor of m?
True
Suppose -4*b + 462 = 3*b. Is b a multiple of 33?
True
Let g(r) = -13*r**2 + 0*r - 5*r**2 - r. Let n be g(-1). Let y = 39 + n. Is y a multiple of 13?
False
Let c = -33 - -50. Is c a multiple of 2?
False
Let g(a) = -a**2 - 6*a - 4. Let n be g(-3). Let q(p) be the first derivative of p**3/3 - p**2/2 - 1. Is q(n) a multiple of 10?
True
Let d(i) = 3*i**2 - 4*i. Is d(3) a multiple of 3?
True
Let o(q) be the third derivative of 5/24*q**4 + 0*q + 1/2*q**3 + 1/60*q**5 - q**2 + 0. Is 9 a factor of o(-6)?
True
Let i = -4 - -8. Suppose -2*k + i*k - 4 = 0. Suppose k*x - 16 = 8. Is 6 a factor of x?
True
Let z = 26 - 17. Does 3 divide z?
True
Suppose 0 = -0*h + 2*h - 44. Is 7 a factor of h?
False
Suppose -11 = -2*y + 3*t, 0 = -3*y - 0*t + 2*t + 14. Let c = y + 3. Suppose -c*w + 39 = -4*w. Is 13 a factor of w?
True
Let j = -15 - -32. Suppose p + 2*o = -3*o + j, 5*o = 5*p - 175. Does 24 divide p?
False
Is (6/(-4))/(10/(-260)) a multiple of 13?
True
Let p = -47 + 74. Is 4 a factor of p?
False
Let t(y) = -2*y - 1. Let p(s) = 7*s + 3. Let m(k) = -6*p(k) - 22*t(k). Does 14 divide m(5)?
True
Let q = -37 - -67. Is 6 a factor of q?
True
Let a(c) = 4*c**3 + 2*c**2 + 2. Let x be a(2). Does 3 divide (36/x)/((-1)/(-7))?
True
Let q(h) be the third derivative of -h**7/840 + h**6/60 + h**5/12 - 5*h**4/24 - 5*h**3/6 - 5*h**2. Let x(v) be the first derivative of q(v). Does 8 divide x(7)?
True
Let q(p) = -p**2 + 4*p + 5. Let l be q(4). Suppose -4*z - l = -3*d - 6*z, -4*d = 4*z - 12. Is 9 a factor of d - -19 - (0 - 0)?
True
Let r(z) = z**2 - 7*z - 4. Let i be r(8). Let s(m) = m**3 - 5*m**2 + 5*m + 4. Let y be s(i). Suppose 5*n + y = 33. Is n a multiple of 5?
True
Suppose -3*s = -5*n + 2*s - 25, n + 1 = -3*s. Let q = 0 - n. Suppose -q*l + 2*l = -84. Is l a multiple of 17?
False
Suppose 3*k = -417 + 87. Let t = 160 + k. Does 12 divide t?
False
Let t be 1 - ((0 - 2) + -3). Suppose 0 = 3*i - 0*i + t. Is ((-3)/i)/((-9)/(-84)) a multiple of 14?
True
Suppose -5*j + 1