05. Does 19 divide (-16720)/t*(-3)/2?
True
Let s(y) be the first derivative of -y**2/2 + 14*y - 39. Let r be s(9). Let z(w) = -w**2 + 5*w + 16. Does 10 divide z(r)?
False
Suppose -h + 0*h + 3 = -k, 0 = 2*h + 5*k - 20. Suppose -450 = -i - 3*m, -h*i + 3*i + m + 865 = 0. Does 15 divide i?
True
Suppose -4*j = -16*m + 1872, -5*m + 2*j = -2*m - 346. Let t(l) = 17*l + 3. Let h be t(-5). Let z = h + m. Does 15 divide z?
False
Is ((76/16)/19)/((-1)/(-38932)) a multiple of 108?
False
Suppose -4*j + 4*m = -660, 13*j - 8*j - 874 = -2*m. Is j a multiple of 3?
False
Suppose 2*x = -3*u + 3596, -5*u - 2459 = -4*x + 4667. Is x a multiple of 17?
False
Suppose 43*u = -32*u + 92*u - 308074. Is u a multiple of 41?
True
Let p(u) be the first derivative of -u**4/8 + 73*u**3/6 - 11*u**2/2 + 7. Let z(g) be the second derivative of p(g). Is z(23) a multiple of 3?
False
Suppose 4*t = -24, 62*h + 5*t + 17280 = 67*h. Does 6 divide h?
True
Let r = 240 + 900. Is r a multiple of 60?
True
Let s be 1*(-14 + 14 + 3). Let y be -3*((-50)/6 + -2). Suppose 0 = v - 5*f - y, 4*f + 8 = -s*v + 44. Does 4 divide v?
True
Suppose 0 = 4*q - 4, 3*q + 13060 = 4*d - 13433. Does 6 divide d?
True
Let w = -52 - -60. Let o(z) = z**2 + 3*z + 26. Does 6 divide o(w)?
True
Let w = 166 + -86. Let u be (-1)/((-9)/(-6)) + w/3. Let i = u - 2. Is i a multiple of 18?
False
Let i(c) = -c - 30. Let s be i(-32). Is 38 a factor of s - (-3 + 8) - (-1725)/5?
True
Let c be 156/60 - 6/(-15). Suppose x + p - 121 = 0, -5*p + 17 = -c. Let a = 173 - x. Does 8 divide a?
True
Let t = 61 + -37. Suppose 18*g - 16*g = -t. Does 4 divide (-330)/g + (-1)/2?
False
Let j = 310 + -304. Suppose -12 = d - 3*i, -5*i + 3 + 17 = -2*d. Suppose -j*k - 181 + 1291 = d. Does 37 divide k?
True
Let c(v) = v**3 - v**2 - 4*v + 7. Let r be c(4). Let i = 44 - r. Suppose -j - 178 = 3*h - 8*h, 0 = -i*h - 4*j + 188. Does 18 divide h?
True
Let g be 12/18*(-3 - 0). Suppose 0 = 173*f - 100*f - 1241. Does 19 divide (-10)/(32/f + g)?
False
Let f(o) = -1394*o - 3664. Is 38 a factor of f(-5)?
True
Suppose -4*p + 256*b + 13644 = 258*b, -7*p = 3*b - 23874. Does 8 divide p?
True
Let h(k) be the second derivative of k**4/12 + 5*k**3/6 + 13*k**2 + 2*k. Let w be h(-18). Let z = -161 + w. Does 18 divide z?
False
Let t be 9/(-21) - 1539/(-63). Let x = -3 + 7. Suppose -2*d - l = 4*l - 12, -t = -x*d + 2*l. Is 3 a factor of d?
True
Let b(g) = g**3 - 15*g**2 - 22*g + 20. Let s(a) = a**3 - 10*a**2 - 10*a + 6. Let p be s(11). Is 14 a factor of b(p)?
True
Suppose -3*s + 15 = 6*f - f, s - 9 = -3*f. Suppose -j = z - 339, 6*j - 8*j = -f*z + 1002. Is 42 a factor of z?
True
Let h(f) = 566*f**3 - 6*f**2 + 26*f - 6. Is h(4) a multiple of 59?
True
Suppose 2*a = -5*d + 3*d + 1642, 3*a = 3*d - 2493. Is d a multiple of 21?
False
Let k(i) = i**3 + 8*i**2 + 6*i - 7. Let u be k(-7). Suppose u = 2*a - 69 - 27. Is a even?
True
Does 13 divide ((19/(-19))/3)/(2/(-152226))?
False
Suppose 4*q - 4965 = -1533. Does 14 divide q?
False
Is (56 - 1 - 2)/(-9 - 36938/(-4103)) a multiple of 85?
False
Let p(o) be the first derivative of -2*o**2 + 2*o - 10. Suppose 26 = 5*a + 51. Is 11 a factor of p(a)?
True
Is 60452/5 + (-285)/(-475) a multiple of 5?
False
Suppose -7*v = -18 + 291. Let u = -41 - v. Does 4 divide (u + 1)*77/(-7)?
False
Suppose 100 = 114*y - 118*y. Let n(g) = -4*g + 12. Is n(y) a multiple of 14?
True
Does 58 divide (221 - 14/(-2))*416/24?
False
Let c(h) = h - 1. Let b be c(3). Suppose -3*u = 5*o + 172, -o - 88 = b*o - 2*u. Let r = o - -44. Is 6 a factor of r?
True
Suppose 4*t + 10 = 2*a, -4*t = 9*a - 10*a + 7. Let w(p) = 5*p**2 + 12*p - 6. Is w(a) even?
False
Let c(v) = -v**2 - 15*v + 38. Let f be c(-16). Suppose 0 = 26*j - f*j - 28. Suppose -j*m = 601 - 2043. Is m a multiple of 12?
False
Let m(k) = k**3 + 15*k**2 + 13*k - 18. Let q be m(-14). Let i = q + 16. Let w(s) = -s**2 + 11*s + 20. Is w(i) even?
True
Suppose 0 = 2*r + 6 - 16. Suppose i + 17 = r. Is (i/30)/((-2)/460) a multiple of 23?
True
Suppose -11*v - 1141 = -3363. Let n = v + -100. Suppose 0*d = -6*d + n. Is d a multiple of 4?
False
Suppose 6*x - 6397 = 6671. Is x a multiple of 6?
True
Suppose 5*f + 40 - 106 = -w, 0 = -5*f + 5*w + 60. Let y be (-228)/16 + (-1)/(-4). Let b = f - y. Is 4 a factor of b?
False
Let t(d) = 11*d**2 - 15*d + 101. Let q be t(7). Let k = q + -526. Does 2 divide k?
False
Let i be (-30 + -7)*-29 - -5. Let m = 1891 - i. Is 26 a factor of m?
False
Let d be (-5)/(-10)*-10*(-9)/5. Suppose -2*j + 5*m = -11, -4*j + 58 + d = -m. Is 9 a factor of 0 - (j/(-5))/(48/1280)?
False
Let v be 2/(-15) - 354850/(-750). Let o = v + -443. Is 5 a factor of o?
True
Suppose 0 = 4*g - 1 - 19. Suppose -4*n + 13 = g. Suppose -o - r = -n*r - 112, 2*r + 6 = 0. Is 23 a factor of o?
False
Let n(z) = -299*z + 15431. Does 13 divide n(0)?
True
Suppose -44*l - 101 = -4*j - 41*l, 0 = -5*j - l + 150. Suppose -5*x + 2*t + 4 = -4, -4*t - 16 = -4*x. Suppose -a + j + 21 = x. Does 12 divide a?
False
Let b(d) = -4*d**3 + 12*d**2 - 27. Let i(z) = z**3 + z + 1. Let o(h) = b(h) + 3*i(h). Let m be o(11). Let q = -36 + m. Is 9 a factor of q?
False
Suppose 0 = -4*a - 2*p - 20, -20 = 3*a + a + p. Let h(m) = m**3 + 9*m**2 + 16*m - 4. Let i be h(a). Does 14 divide -8*(i/12)/(6/(-63))?
True
Let h(p) = 2*p**2 + 20*p - 949. Is h(-41) a multiple of 27?
True
Let g(n) = n**2 + 4*n - 93. Let t be g(8). Suppose 4*c = i - 22, -i + 9 = c - t. Is 3 a factor of i?
False
Let o(k) be the third derivative of 0 + 24*k**2 + 5/6*k**4 + 2*k**3 + 0*k. Does 22 divide o(6)?
True
Suppose -5*m + 1103 = 392 - 1179. Does 6 divide m?
True
Let d(i) = 1287*i**2 - 95*i + 19. Does 54 divide d(4)?
False
Suppose -494*b = -499*b + 1320. Suppose 3*i + b = 9*i. Is 12 a factor of i?
False
Suppose 0 = 5*y - 610 - 145. Suppose -x - 39 - y = 0. Let q = x - -289. Is q a multiple of 12?
False
Suppose 17*n = 1145 + 4261. Let w = 613 - n. Is 8 a factor of w?
False
Suppose 2*o + 2*c = -8, -4*c = -4*o + 14 + 10. Is 7 a factor of (17/34)/(237/236 - o)?
False
Let k be (-172)/36 - (-10)/(-45). Let y(h) = -6*h**3 - 6*h**2 + 12*h + 16. Let g(f) = f**3 - f + 1. Let t(x) = k*g(x) - y(x). Is 23 a factor of t(-5)?
False
Suppose -2*o - 3*k + 10201 = 0, -18*k = 2*o - 22*k - 10194. Is 108 a factor of o?
False
Suppose 3 = l + 6*x - 2*x, -2*l + 17 = -3*x. Suppose 2424 - 7002 = -l*h. Is h a multiple of 15?
False
Let q(y) = -y**3 + 12*y**2 - 16*y - 32. Let p be (15/9)/(-5)*15*-1. Suppose -2*c - 5*v = -3*c + 15, -51 = -p*c + v. Does 8 divide q(c)?
True
Suppose 49*r + 119*r = 7896. Suppose s + 26 = 98. Let a = s - r. Does 25 divide a?
True
Suppose -30*n + n = 580. Let v(f) = f**3 + 21*f**2 + 18*f + 1. Let p(g) = -2*g**3 - 42*g**2 - 36*g - 1. Let a(c) = 3*p(c) + 7*v(c). Is 11 a factor of a(n)?
True
Suppose -k - 3 = -2, 0 = 3*m + 5*k - 7. Let t(d) = 41*d**2 - 4*d - 3. Is t(m) a multiple of 13?
True
Suppose 12 = -5*s + 3*m + m, 4*m = -s + 12. Suppose s = w - 2*w + 2*h - 320, 0 = -2*w + 5*h - 642. Let a = 476 + w. Is a a multiple of 32?
True
Suppose -22*n = -3257 - 1121. Let z = 280 - n. Does 9 divide z?
True
Let a(n) = -n**2 - 4*n + 21. Let p be a(-7). Suppose 0 = -p*z - 5*z + 3680. Suppose 192 + z = 4*r. Is 39 a factor of r?
False
Suppose 381*u - 391*u = -25700. Is 30 a factor of u?
False
Does 95 divide 48733 + (336/16 - 19)?
True
Let l(a) = -153*a - 48. Let u(r) = 76*r + 23. Let j(n) = -2*l(n) - 5*u(n). Does 18 divide j(-1)?
False
Suppose -96 + 5 = -x. Suppose x*z + 2331 = 100*z. Does 42 divide z?
False
Let q = -7904 - -13305. Does 23 divide q?
False
Let a(g) = 232*g**2 + 575*g + 9. Is a(6) a multiple of 93?
True
Let q(i) be the first derivative of -i**4/2 + 5*i**3 + 3*i**2 - 21*i - 174. Does 2 divide q(7)?
True
Suppose 4*p - 15769 - 2791 = -4*p. Does 8 divide p?
True
Suppose z - 80 = -4*z + 5*u, -21 = -z + 2*u. Is 3 a factor of z/((-429)/6) - (-680)/26?
False
Let x be (-4 - 22/(-5))*40. Suppose 22*o + 900 = x*o. Does 19 divide (12/5)/(-4 + (-603)/o)?
False
Suppose 0 = -27*k + 28*k - 660. Let v = -373 + k. Is v a multiple of 9?
False
Let m be (-1 - 2)*(-665)/(-21). Let r be (-14079)/m + (-1)/5. Is 19 a factor of 6/(-2 - (-1 + (-156)/r))?
False
Suppose 13*s - 10*s = -2*f + 12075, 5*s = -25. Is f a multiple of 63?
False
Let u be (-3089)/(-3) + (100/(-30))/(-10). Let v = u - 538. Does 12 divide v?
True
Let o = 85