Does 4 divide u?
True
Let a(q) = 2*q**2 - 5*q + 1. Let t be (2/3)/(2/12). Suppose 2*p = t*c + 5 + 3, 0 = -c - 4. Does 13 divide a(p)?
False
Let y(q) = 19*q**2 + 97*q - 12. Does 17 divide y(-11)?
False
Let y(h) = 202*h**2 + 8*h + 32. Is 22 a factor of y(-3)?
True
Let v = 5618 + -2720. Is v a multiple of 42?
True
Let r be (-7)/(-21)*(12 + 0). Let u(m) = r - 14 - 10*m**3 - 2*m + 2*m**2 + 8. Is u(-2) a multiple of 18?
True
Suppose -2*x - 3 = 1. Let y(i) = -2*i**3 + 4*i**2 + 2*i - 7. Let z be y(3). Let l = x - z. Is 3 a factor of l?
False
Suppose w - 6*w - 87 = 3*r, -4*w - 74 = -2*r. Let p = -12 - w. Suppose 2*x + p - 4 = 0, x - 89 = -5*g. Is g a multiple of 6?
True
Suppose -5*j = 5*v - 45, -3*j + j + 22 = 3*v. Suppose 2*f + u = 6, 9 + 3 = j*f + u. Suppose 3*w + 5*y - 245 = 0, w - f*y - 130 = -52. Is w a multiple of 20?
True
Let n(a) = 8*a**3 - 5*a**2 + 11*a + 8. Let i(v) = -3*v**3 + 2*v**2 - 4*v - 3. Let j(s) = 11*i(s) + 4*n(s). Let q be j(-2). Is 14 a factor of (-3)/q - (-348)/15?
False
Let k be ((-2)/1)/((-4)/12). Let x = k - 2. Suppose -3*a + 193 = 4*i, -x*i = -0*i + 4*a - 196. Is i a multiple of 22?
False
Suppose 0*h = 4*h - 32. Let i(n) be the first derivative of 3*n**2/2 + 7*n - 29. Is i(h) a multiple of 15?
False
Suppose 0 = 4*l - 5*r - 3823, r - 7 = -2. Is l a multiple of 13?
True
Let j(k) = -2*k**3 - k**2 + 9*k + 11. Is j(-9) a multiple of 9?
False
Suppose 6*d + 5*p = 4*d - 14, -3*d + 3*p = -21. Suppose 0 = -d*n + 4 + 2. Suppose -n*m + 27 = -7. Does 9 divide m?
False
Let c(s) = -14*s**2 + 7*s**2 + 2*s + 11*s**2 + 4*s + 14. Does 18 divide c(-4)?
True
Suppose -5*i = -5*y + 1585, -6*i = 4*y - 4*i - 1256. Is y a multiple of 21?
True
Let s be (-68)/(-6) + (-12)/(-18). Let r be (8/s)/(4/18). Suppose 5*b = r*b + 26. Is 13 a factor of b?
True
Let x(q) = -q**2 + 10*q + 11. Let m be x(11). Suppose 4*i - 2*g - 63 + 17 = m, 3*g = i - 14. Let o(b) = b**2 - 9*b + 2. Is 12 a factor of o(i)?
True
Suppose 4*o + 435 = 4*b - o, -3*b - 3*o + 360 = 0. Does 5 divide b?
True
Let k = -23 + 25. Suppose 0 = -k*b - 2*d + 12, 4*b - 2*d = -0*d. Suppose b*s - s - 33 = 0. Is 14 a factor of s?
False
Let j = 6 + -1. Suppose -j*w = 94 - 274. Is w a multiple of 6?
True
Let m = -20 + 14. Let d(g) = 7*g**3 + 2*g**2 + 12. Let s(y) = 15*y**3 + 3*y**2 - y + 25. Let c(b) = 13*d(b) - 6*s(b). Does 15 divide c(m)?
False
Let b = -310 - -2195. Is 13 a factor of b?
True
Let q(j) = j**3 - 18*j**2 - 12*j + 11. Does 32 divide q(19)?
False
Let i = -230 + 464. Suppose y + i = 4*y. Is y a multiple of 20?
False
Let u(w) be the third derivative of 5*w**4/8 - 5*w**3/2 - 3*w**2. Does 15 divide u(6)?
True
Suppose 83*l - 2800 = 75*l. Is 14 a factor of l?
True
Let j = 696 + -72. Is 12 a factor of j?
True
Is 58 - (8/10)/(7/35) a multiple of 6?
True
Suppose 4*y - z - 16 = z, 4*y + 3*z = -4. Suppose -y*p - 12 = -6*p. Suppose -p*s + 2*s + 26 = 0. Is s a multiple of 12?
False
Suppose w = -3*t + 118, 16*w = -2*t + 11*w + 96. Is 3 a factor of t?
False
Let c = 365 + -154. Is c even?
False
Suppose -1237 - 2797 = -2*b + 2*v, -b + 2014 = 2*v. Is b a multiple of 8?
True
Suppose -11*k = 5*k - 4320. Is 10 a factor of k?
True
Suppose 11*h = 6*h + 350. Is h a multiple of 15?
False
Let k = 385 + -291. Is k a multiple of 13?
False
Suppose -2*t + 9 = -5*t. Let j(x) = -50*x - 1. Does 43 divide j(t)?
False
Suppose -4*o = -i + 23, 0 = 2*o + o - 5*i + 30. Let y = 63 - o. Is y a multiple of 17?
True
Let k = -628 + 715. Is k a multiple of 3?
True
Suppose 4*w = -0*w - 4*s - 464, 0 = -5*s + 25. Suppose -2*t - 37 - 43 = 0. Let p = t - w. Does 27 divide p?
True
Let g = 9 - 6. Suppose g*y = 118 + 104. Does 16 divide y?
False
Is (-2)/(-13) - (-1624752)/936 a multiple of 31?
True
Let y(n) = n**2 - n. Let i(v) = -v**3 - 11*v**2 - 16*v + 8. Let c(g) = i(g) - 2*y(g). Let w be c(-12). Suppose 10*l + w = 11*l. Is l a multiple of 8?
True
Let h(f) = f**3 - 12*f**2 + 14*f - 17. Let u be h(11). Is u/(-3)*1125/(-50) a multiple of 20?
True
Let t be 0/(2 - 0) - -6. Let r(o) = 49 + 7*o - 21 - 22 + o**2. Is r(t) a multiple of 21?
True
Suppose -676 - 4 = -4*p. Let l = -117 + p. Is l a multiple of 11?
False
Is 3*(-6)/171 - (-221459)/133 a multiple of 37?
True
Suppose 13 - 69 = -4*y. Suppose -11*f - y = -13*f. Is 3 a factor of f?
False
Let b(m) = m**2 + m + 1. Let k(q) = 4*q**2 - 8*q + 18. Let l(d) = -3*b(d) + k(d). Is l(10) a multiple of 5?
True
Suppose 0 = 1389*v - 1370*v - 1083. Is v a multiple of 3?
True
Suppose 3*m - 4 = -28. Let i = m - -22. Suppose -5*h + i = -81. Is 19 a factor of h?
True
Let t = -214 - -282. Is t a multiple of 17?
True
Suppose p - 145 - 207 = -2*t, -5*t + 5*p = -880. Let b = -49 + t. Is 29 a factor of b?
False
Suppose 8 = -2*b + 14. Let l = 4 + b. Suppose -3*v = 4*c - 117, -33 - l = -v - c. Is v a multiple of 24?
False
Let n = 102 + -90. Is 12 a factor of n?
True
Let v(s) be the first derivative of s**4/4 - 7*s**3/3 + s**2 - 3. Let z be v(5). Let y = -16 - z. Does 24 divide y?
True
Suppose 2 = 4*f - m - 16, -10 = -5*f - 5*m. Suppose 5*t - 727 = -s, -t + f*s = s - 155. Is 35 a factor of t?
False
Let d(o) = 17*o**2 - 3*o - 2. Let r be d(2). Suppose -4*v + 5*v = r. Is 15 a factor of v?
True
Let h(a) = -11*a**2 - 1. Let y be h(2). Is 2/9 - (4715/y - 0) a multiple of 15?
True
Let z(a) = -2*a**3 + 32*a**2 + 22. Is z(16) a multiple of 14?
False
Let r(n) = n + 4. Let c be r(-5). Is 27 a factor of (12*c)/((-8)/84)?
False
Suppose 4*h = w + 2*h - 116, 2*h + 588 = 5*w. Suppose 3*u - w = -4*n + u, -5*u + 150 = 5*n. Does 29 divide n?
True
Let o(h) be the second derivative of h**4/12 - 4*h**3/3 + 5*h. Let r be o(7). Let n(v) = -v**3 - 8*v**2 - 8*v + 3. Is n(r) a multiple of 10?
True
Let h = 9 + -5. Let k(v) = v**3 + v**2 - v + 1. Let n(f) = 4*f**3 - 2*f**2 - 5*f + 6. Let t(c) = 3*k(c) - n(c). Does 7 divide t(h)?
True
Is 43/((-8)/(-24*5)) a multiple of 5?
True
Suppose -4*g + 794 = 3*c - 1778, 3*g - 1929 = -3*c. Does 57 divide g?
False
Let n(l) = 5*l - 12. Suppose 100 + 65 = 3*y. Suppose -y + 7 = -4*j. Is n(j) a multiple of 16?
True
Let o be -2 + 4 + -460 + 2. Let s be (-4)/14 - o/28. Is 13 a factor of (-18 + s)/(2/(-13))?
True
Let s(b) = b - 8. Let q be -2*(3 + -9 + 2). Let a be s(q). Suppose -p = -a*p - 5. Is p a multiple of 2?
False
Suppose 4*v - 40 = -v. Suppose v*q - 6*q = 178. Does 13 divide q?
False
Let m be 3*256/(-72)*90/(-8). Suppose 5*a - 5*s - 71 - 94 = 0, 3*a - m = -4*s. Does 36 divide a?
True
Let c(g) = g**3 + 15*g - 105. Is 23 a factor of c(10)?
False
Suppose 4785 - 15879 = -6*j. Is j a multiple of 123?
False
Suppose 3*x - 133 = 119. Is 12 a factor of x?
True
Let a = -1839 - -2509. Does 4 divide a?
False
Let d(v) = -8*v**3 + 2*v**2 - 4*v - 5. Let j be d(-1). Suppose 2991 = j*n + 291. Does 20 divide n?
True
Suppose 0 = z + 1, 3*z - 1264 = -5*o + 2933. Is 52 a factor of o?
False
Is (-85932)/(-210) - 12/10 a multiple of 17?
True
Suppose 0 = 2*b - 3*b + 2. Suppose 4*i - 88 = -2*o, 0*i + i - 85 = -b*o. Does 14 divide o?
True
Let i(h) = 3*h - 8. Let j be i(5). Suppose -122 - 116 = -j*l. Does 13 divide l?
False
Suppose 0*i = 17*i - 5202. Is i a multiple of 18?
True
Suppose 0 = 39*y - 77*y + 15200. Is y a multiple of 20?
True
Let a = 12 + -16. Let f be a/(-28) - (-81)/21. Let v = f - -5. Does 3 divide v?
True
Let j = -4 + 10. Let h = 3 + -18. Does 7 divide (j/h)/((-4)/80)?
False
Suppose 7*i - 758 = 26. Is 56 a factor of i?
True
Let q = 757 + -541. Does 27 divide q?
True
Suppose 5 = 3*m - 2*m + 2*p, 50 = 4*m + 2*p. Suppose g + 4*g - m = 0. Suppose 4*k = s - 26, 0*s + g*k = -s + 12. Is s a multiple of 18?
True
Let j = 49 + -56. Is 29 a factor of j/((-21)/(-354))*(-4 - -2)?
False
Suppose -5*h - 2*x + 94 = 0, 5*x = 6 - 21. Let f = h - 8. Does 12 divide f?
True
Suppose -2*v + 8*v = 24. Suppose -v = 5*s - 94. Is s a multiple of 9?
True
Suppose -u = 2*f + 9, 0*f - 4*f = 3*u + 23. Is 1*(-232)/(f + -2) a multiple of 16?
False
Let x(a) = -4*a - 13. Let y be x(-4). Suppose 57 = 3*f + 3*o, 12 = -y*o + 6*o. Is f a multiple of 3?
True
Let b be (-42)/(-4)*(-132)/(-154). Suppose 1845 = -b*i + 24*i. Is 41 a factor of i?
True
Does 21 divide 500/3 - (80/(-12))/5?
True
Suppose -138*d + 4*g = -133*d - 1322, 5*d = -2*g + 1334. Is 7 a factor of d?
True
Let m(r) be the third derivative of -r**8/6720 - r**6/720 + r**5/24 - 5*r**4/12 + 6*r**2. Let a(