- 2. Is d(-4) a multiple of 18?
False
Let a(u) = 12*u**2 - 22*u - 184. Is a(-5) a multiple of 9?
False
Let n(d) = 167*d + 26. Is 10 a factor of n(6)?
False
Let j be 1/(-5) - (-488)/(-10). Does 9 divide (-3500)/j + 4/7?
True
Suppose 0 = -17*t - 591 + 2512. Does 7 divide t?
False
Let h = -328 - -661. Does 16 divide h?
False
Suppose -14*u - 48 = -11*u. Let k = 59 + -83. Let n = u - k. Is n a multiple of 8?
True
Let o(i) = -2*i**2 - 1. Let m be o(3). Let h = -15 - m. Suppose -h*x = -54 + 6. Is 6 a factor of x?
True
Let o(m) be the third derivative of m**5/60 + m**4/3 + 3*m**3/2 + 5*m**2. Let q be o(-7). Does 12 divide 452/8 - 1/q?
False
Is 40/(-280) + 7015/7 a multiple of 21?
False
Suppose 4*x + 3*u - 1234 = 123, 5*x = -2*u + 1698. Suppose -4*d + 209 = 3*r, 3*r - x = -2*r - 5*d. Is 10 a factor of r?
False
Suppose 0 = -2*j - s + 193, 3*j - 3*s + 195 = 5*j. Let i = j - 71. Is i a multiple of 2?
False
Does 14 divide -15 + 1425/90 - (-3607)/6?
True
Let r = -12 + 14. Let d be 8 + -8 - (r + -5). Is 16 a factor of (-3)/d + 0 + 83?
False
Is 1228080/1380 + 2/23 a multiple of 58?
False
Let u = 416 + -410. Is 6 a factor of u?
True
Suppose 2*q + 3*l - 44 = 5, 0 = 5*q - 3*l - 91. Suppose 0 = 5*p - p + 44. Let i = q - p. Is i a multiple of 5?
False
Let v(o) = o**3 - 12*o**2 + 16*o - 3. Let w be v(11). Suppose 0 = -p + 58 + w. Suppose 8*l = 3*l + p. Does 7 divide l?
False
Let t = 1133 - 525. Is 8 a factor of t?
True
Suppose 3*p + 137 = k, -3*k + p + 2*p + 393 = 0. Suppose 0 = -s + o + 108, s = 2*o - 5*o + k. Is s a multiple of 7?
False
Let z(b) = b**3 - 9*b**2 + 10*b + 3. Let l be (90/(-40))/((-1)/4). Is z(l) a multiple of 12?
False
Let p(i) = -2*i + 7. Let l be p(-4). Let g(t) = -t**2 + 16*t - 10. Let d be g(l). Suppose -x + 4*a - 2*a + 55 = 0, 0 = d*x - 5*a - 295. Is 21 a factor of x?
True
Let b be 12*660*6/5. Let i be (-6)/21 - b/(-42). Let p = i - 137. Is p a multiple of 24?
False
Suppose 3*t - 6 - 4 = m, m = -5*t + 30. Let y = 441 + -276. Suppose 0 = m*b - 25 - y. Is 25 a factor of b?
False
Suppose 723 = 5*f - 517. Is 19 a factor of -6 + f + 1 + 3 + 1?
True
Let m = -15 - -20. Is (m/(10/208))/2 a multiple of 26?
True
Let u(a) = 15*a**2 + 5*a. Is u(3) a multiple of 10?
True
Is 16 a factor of (-2)/(-8) - 637/(-28)?
False
Suppose -2*y = -4*f - 424, 4*y = 5*f + 825 + 32. Is y a multiple of 70?
False
Let o(k) = k**3 - 10*k**2 + 13*k - 4. Is o(13) a multiple of 42?
True
Let l = 226 - 127. Let c(y) = l - 3*y + y + y. Is 26 a factor of c(0)?
False
Let h(a) = a**3 + 7*a**2 - 2*a - 11. Let v be h(-7). Suppose -216 = -v*u + u. Does 12 divide u?
True
Suppose 40*z - 7737 = 5223. Is 18 a factor of z?
True
Suppose 505 = 5*n - 35*d + 40*d, -81 = -n + 3*d. Is n a multiple of 58?
False
Suppose 0 = -82*w + 65*w + 11696. Is 16 a factor of w?
True
Suppose 7*k = 9*k. Suppose -4*f + 2*p + 902 = k, f + 3*p = 4*f - 672. Is 14 a factor of f?
False
Let a(q) = -3*q + 26. Let i be a(-14). Let r = 136 - i. Is 7 a factor of r?
False
Let z(p) = p**3 + p**2 - 6*p + 3. Does 3 divide z(2)?
True
Suppose -11*f - 19562 = -67181. Does 39 divide f?
True
Let l be (2/((-8)/(-1154)))/(9/18). Suppose 0 = 2*z - 4*p - 254, -2*p + 87 = -4*z + l. Does 14 divide z?
False
Let f(n) = -n**2 - 10*n + 14. Let b be f(-11). Let u be b*-1*(-26)/39. Suppose 5*l - l = u*y - 40, l + 118 = 5*y. Does 12 divide y?
True
Let p be (21/3 - 2) + -1. Suppose 0 = i + a + a, 4*a = p*i. Suppose 4*d + i*d = 44. Is d a multiple of 11?
True
Is 47 a factor of (-11286)/(-8) + ((-25)/(-20) - 2)?
True
Let o(u) = -3*u - 13. Suppose 0 = 5*a + 3*t - 51, a + a = -2*t + 18. Suppose 0 = 3*b + 2*s + 17 + a, -15 = b + 2*s. Does 8 divide o(b)?
True
Suppose -3*t = -c - c - 7, -c = -3*t + 11. Suppose 3*r + 12 = 0, -2*m + 7*m + c*r + 46 = 0. Is (2 + -3)/(m/84) a multiple of 12?
False
Let k(p) be the first derivative of 1/4*p**4 + 15*p - 5 - 1/2*p**2 - 1/3*p**3. Is 5 a factor of k(0)?
True
Let o(j) = -34*j - 10. Suppose 0*k - 30 = 6*k. Is o(k) a multiple of 22?
False
Suppose 0 = -5*l - 47 + 347. Suppose 3*z + l = 7*z. Is z even?
False
Suppose -j - 1 = 9. Let c = j - -8. Is 8 a factor of -32*(1 + 0)/c?
True
Let o(r) = r**3 - 18*r**2 + 11*r - 18. Let l be o(18). Suppose -11*v + 15*v = l. Does 9 divide v?
True
Is 22 a factor of 529/3 + (-3)/9?
True
Let s(o) = -31*o - 31. Let r be s(-14). Suppose 0 = 5*q - 1163 + r. Does 8 divide q?
True
Let j(g) = 3*g - 2. Let v = 20 - -7. Let u be 114/v - (-10)/(-45). Is 5 a factor of j(u)?
True
Let m = -2 + 6. Suppose m - 2 = n. Suppose 11 = -n*t + 33. Is t a multiple of 3?
False
Suppose -18 = -4*v - 4*n + 3*n, 5*n = v - 15. Suppose v*i + 44 - 149 = 0. Is i a multiple of 2?
False
Suppose -3*t + 2*j - 36 = 0, -4*t + 2*t = 2*j + 14. Is 15 a factor of (-894)/(-15) - 4/t?
True
Suppose -4*n = 15 - 23. Suppose -n*r + 3*r = 74. Suppose 2*s + 2*m - r = 0, -s + 5 = -4*m - 22. Does 22 divide s?
False
Suppose -3*u + 145 = -2*u + 2*l, -595 = -4*u - 5*l. Is 5 a factor of u?
True
Suppose 23 = -2*x + 79. Suppose -2*m = 8, -2*m + x = 3*s - 24. Does 10 divide s?
True
Suppose r = 2*g - 1767, 0 = 13*r - 12*r + 3. Does 21 divide g?
True
Let k = 853 + -604. Does 9 divide k?
False
Suppose -4*b + 8 = -2*q + 3*q, -1 = -2*q - 3*b. Let y(s) = -s + 7. Let a be y(q). Let v(p) = p**3 - 10*p**2 - 5*p + 6. Is 18 a factor of v(a)?
True
Let b be (-3)/1*(-4)/6. Suppose -2*v + 15 = -5*g + 59, 4*v = -b*g + 8. Suppose 4*m + 66 = 2*u, -u + 36 = -g*m + 3*m. Is u a multiple of 11?
False
Let b(p) = 2*p + 3. Let k be b(-6). Let h be ((-4)/6)/(k/(-54)). Does 15 divide -1 + h + 40/2?
True
Suppose k - 81 = -2*k. Suppose -2*u = 2*b - 136, -5*u - 340 = -7*b + 2*b. Let c = b - k. Is 19 a factor of c?
False
Let t(c) = c**2 - 2*c - 20. Is 2 a factor of t(-7)?
False
Let y(m) be the second derivative of -m**3 - m**2/2 + 6*m. Let t(g) = 6*g. Let k(d) = -2*t(d) - 3*y(d). Does 18 divide k(5)?
False
Suppose 2*b + 6 = 3*f, -5*b + 2*f = -b - 4. Suppose 0*y = -y - b*k - 181, 5*y + 905 = 4*k. Does 9 divide y/(-7) + (-9)/(-63)?
False
Let p(h) = 3*h + 1. Let u be p(1). Suppose -2*r = -2*g + r + 15, -2*g + 4*r = -20. Suppose 200 = -g*w + u*w. Does 25 divide w?
True
Let i(k) = -6*k + 1. Let y be i(-1). Suppose 0 = -y*d + d + 84. Is d a multiple of 7?
True
Let r be ((-6)/3 + 2)/(-2). Suppose -5*k = -w + 45, 3*w - 3*k - 58 - 77 = r. Does 17 divide w?
False
Suppose 4*u - 3*u - 6 = 0. Suppose u*z - 5*z = 0. Suppose s - 5 = 4*c, -4*s + s + c + 48 = z. Is s a multiple of 4?
False
Suppose 21*j - 25*j + 20 = 0. Suppose 0 = -j*p - q + 531 + 72, -3*p + 5*q = -345. Is p a multiple of 20?
True
Suppose 7 = -l - 3*j + 436, j = -3*l + 1279. Is l a multiple of 25?
False
Let y(n) = -n**2 + 5*n + 40. Let a be y(9). Suppose -m + 38 = -0*m + a*p, 3*m - 178 = 4*p. Is m a multiple of 31?
False
Suppose -m + 5*m = u + 4, -28 = -4*m - 5*u. Suppose -m*v + 18 = 10. Suppose 84 = 4*o + v. Does 5 divide o?
True
Does 28 divide 6/(-10) + (-4584)/(-15) + 3?
True
Let r(i) = -i**2 - 15*i - 12. Let u be r(-12). Suppose 4*b = -2*f + u, -2*b + 0*b = 5*f - 28. Does 29 divide -3 + -61*(-4)/b?
True
Suppose -5*t - 2*x + 22 = -2, -2*x - 24 = -3*t. Suppose -3*v - 6 = -z - 2*v, 4*z + 2*v = t. Does 8 divide (12/z)/(3/6)?
True
Let r(q) be the first derivative of 6*q + 2/3*q**3 + 1 + 3*q**2. Is 10 a factor of r(-7)?
False
Let u = 150 - -39. Is 27 a factor of u?
True
Let b(u) = 4*u - 12. Let d be b(-9). Let j be 4/6 - 2272/d. Suppose 0 = -5*p + 2*p + j. Does 16 divide p?
True
Let r = -2317 - -3187. Is 2 a factor of r?
True
Suppose -34*h = 5*h - 8931. Does 7 divide h?
False
Suppose 28*f = 5*s + 31*f - 5512, -4384 = -4*s + 4*f. Does 50 divide s?
True
Suppose 27*b - 1590 = 2406. Is b a multiple of 4?
True
Let j(p) = -3*p - 6*p**3 - 10*p**2 - 10 + 10*p**2 + 11*p**2 + 5*p**3. Suppose 45 = 3*i + 3*t, 3*i - 6*t - 25 = -5*t. Is j(i) a multiple of 12?
True
Let g = -10 - -12. Suppose 1 = -3*k + g*r, k + 2*k + 5*r = 34. Suppose 0*n + 2*n - k*t - 101 = 0, -2*n + t + 99 = 0. Is n a multiple of 10?
False
Suppose 0 = -2*p + 4, -3*p + 6850 = 4*f + 948. Suppose 334 = -4*c + f. Is c a multiple of 32?
False
Let y(v) = -v**3 - v**2. Suppose 0*f - 1 = -f. Let h be y(f). Does 28 divide 3 + -2 + h + 38?
False
Let d be 5/2 - (-2)/4. Let c(l) = -l**3 + 8*l**2 - 5*l + 11. Let u be c(6). Suppose -4*g + u = 5*s, d*g - 21 = -3*s + 15. Is g a multiple