s 36 a factor of v?
True
Let i(z) = 14 + 25*z + 2*z**3 + 0*z**3 + 21 - 3*z**3 + 25*z**2. Let f be i(26). Does 15 divide 1623/f - 3/9?
True
Suppose -d + 35772 = 2*q, -8*d - 89411 = -5*q - d. Is 112 a factor of q?
False
Let b(p) = -8*p**2 + p + 1. Let t be b(1). Let l be ((-8)/64)/((-1)/t)*16. Does 10 divide 1/3 - (560/l - -1)?
False
Suppose -b - 3 = 0, -2*o + 12 = -o - 3*b. Let z be 17370/207 - (-2)/23. Suppose 0 = -o*w + z + 30. Does 19 divide w?
True
Let k(x) = 2*x - 3. Let f(b) = -45*b - 145. Let m(o) = -f(o) - 3*k(o). Is 10 a factor of m(5)?
False
Does 43 divide (-68674)/(-22) - (21 - 6300/308)?
False
Suppose 5*t = -6*w + 48611, 8*w + 32356 = 12*w - 4*t. Is 88 a factor of w?
True
Let q(x) = x. Let v(j) = j + 5. Let k(o) = -2*q(o) + v(o). Let u be (-3 - 52/(-20))/((-5)/(-100)). Does 13 divide k(u)?
True
Let n(p) = -2*p**2 + 28*p - 2. Let u be n(12). Suppose -5*w + 5*o = 2*o - 190, -w - o = -u. Is 41 a factor of w?
True
Let w(h) = 229*h**2 + 709*h - 4957. Does 10 divide w(7)?
False
Let r(j) = -12 - 14 + 26*j + 13*j + 2*j. Let m be r(11). Suppose -2*v + z + 421 = 2*v, 4*v = 5*z + m. Does 35 divide v?
True
Let l be 72/15 + 44/(-55). Suppose -3*v = -5*v - 3*w + 1111, 0 = -l*v + 5*w + 2255. Is 40 a factor of v?
True
Is (-27)/(378/196) - -20966 a multiple of 18?
True
Suppose -9718 = 463*b - 451*b - 57466. Does 23 divide b?
True
Suppose 3*g = -2*q + 40892, -70*q + 69*q - 3*g + 20446 = 0. Is q a multiple of 16?
False
Does 27 divide (-235)/35 + 6 + (-956390)/(-70)?
True
Let s(v) = -v**3 + 2*v - 9. Let n be s(-3). Let i(q) = 11*q + 36. Is 24 a factor of i(n)?
True
Suppose 182*i - 1036 = 175*i. Is 19 a factor of ((-65)/20 - -5)*1*i?
False
Suppose -1536*t = -1586*t + 460500. Is t a multiple of 6?
True
Let l(k) be the first derivative of 29*k**2/2 - 18*k - 32. Is 31 a factor of l(5)?
False
Suppose -64*p = -71*p + 14. Let k(y) = -5*y - 1. Let d(s) = 6*s + 2. Let u(x) = 4*d(x) + 3*k(x). Is 3 a factor of u(p)?
False
Let a be (204/15)/(((-6)/(-10))/3). Let r = -66 + a. Does 10 divide ((-18)/(-36))/((-2)/(-664)*r)?
False
Suppose 33480 = o + 80*d - 83*d, -5*d - 33492 = -o. Does 78 divide o?
True
Let b = 13 + -19. Let c(j) = 13*j + 26. Let m be c(b). Does 17 divide m/((2/(-7))/(11/11))?
False
Suppose -2*l + 36 = 3*r + l, 5*l - 25 = 0. Suppose r*j + 8 = -20. Is 1 - j/((-4)/(-131)) a multiple of 34?
False
Is 54 a factor of (-61)/(366/60) - -1954?
True
Suppose 0 = -4*x - 3*n - 9, x + 38*n = 43*n + 15. Suppose x = 32*p - 26*p - 1428. Is 7 a factor of p?
True
Let y = 58882 + 2333. Does 14 divide y?
False
Suppose 5*f - 16 - 49 = 0. Let n = f - 9. Suppose l - 31 = 3*h, 2*l + 33 - 125 = -n*h. Does 20 divide l?
True
Let n(y) = 23*y - 320. Let u be n(14). Suppose 0 = -u*b - 2 - 2, 6364 = 5*p + 3*b. Is 15 a factor of p?
False
Let m(f) = -297*f - 3809. Does 188 divide m(-41)?
False
Suppose 2*m - 69 + 49 = 0. Suppose -m*x + 2998 = -5*x - 4*i, 0 = 3*x - i - 1796. Is x a multiple of 67?
False
Let p(s) = 6551*s**2 + 50*s - 111. Is 58 a factor of p(2)?
False
Let y(s) = -s**2 - 22*s - 16. Let v be y(-15). Suppose -93*l + 652 = -v*l. Is l a multiple of 11?
False
Suppose -13*o = -11*o - 208. Suppose o = -46*c + 48*c. Is ((-27)/6)/(0 - 2/c) a multiple of 13?
True
Let i(h) = h**2 + 10*h - 9. Let j be i(1). Suppose 2*w - 71 = 5*f - 28, -4*w - j*f = -74. Does 2 divide w?
False
Let q be 778 + 18 + (1 - -5). Suppose -d + 4*a = 3*d - 640, -3*a - q = -5*d. Is 23 a factor of d?
True
Suppose y - 5 = -4*d, 0*d + d + y = 5. Let v = d + -1. Does 12 divide 69 + (0 - ((v - 2) + 5))?
False
Let h = 238 - 197. Suppose -19*c - 14168 = -h*c. Is 14 a factor of c?
True
Let y(l) = -l**2 - 20*l - 23. Let c be y(-19). Let r be (-3)/12 - (c - 39/(-4)). Does 9 divide (-3)/(-2) + ((-237)/r - 5)?
True
Let v(z) = 4*z**3 + 45*z**2 + 5*z + 16. Let u be v(-11). Suppose 6097 = -69*t + u*t. Does 29 divide t?
False
Let y be (17/(425/(-60)))/(8/(-100)). Is y/75 - (-292)/20 a multiple of 6?
False
Let q(j) = 82*j**3 + 4*j**2 - 4*j - 6. Let w be q(-2). Let t = -300 - w. Is 13 a factor of t?
True
Let p(f) = 3*f**3 - 43*f**2 - 27*f + 89. Let l be p(16). Suppose 2*y - 1141 = 4*z + l, -12 = -4*z. Is y a multiple of 85?
False
Suppose -3*j = 3*h - 16221 - 46665, -62850 = -3*j + 3*h. Is j a multiple of 124?
True
Does 199 divide (-62505)/(-9) + -5*108/60?
False
Suppose -132*l + 32*l = -35900. Does 2 divide l?
False
Let q(y) = 146*y**3 - y**2 - y + 2. Let c be 27/21 + -3 + (-76)/(-28). Let z be q(c). Suppose 7*x - 295 - z = 0. Is 23 a factor of x?
False
Does 52 divide (511/5 - -2)*(247/(-13) - -44)?
False
Is 80 a factor of (-702)/(-156) - (-60782)/4?
True
Let q(a) = a**2 + 112. Let g be q(0). Let v(x) = 166*x + 4. Let j be v(0). Suppose -3*k + 0*i + 79 = i, j*k + 3*i = g. Does 4 divide k?
False
Suppose -2*c - 8 = 0, -207*n = -202*n + 2*c - 23832. Is 5 a factor of n?
False
Let u(a) = 8*a**2 - 62*a + 525. Does 3 divide u(17)?
False
Let q(t) = -t**3 + 12*t**2 - 2*t + 36. Let m be q(12). Suppose -4*z = -2*x - 12, -4*z + 6*z - 4*x = m. Is z even?
True
Let s(h) = 8 + 2*h**2 - 12*h - 7*h - h**2. Let x be s(18). Is 2625/x*(36/15)/(-3) a multiple of 14?
True
Let w = 15401 - 11419. Does 4 divide w?
False
Let s(a) = a**3 - 6*a**2 - 3*a - 9. Let g be s(6). Let r(j) = j + 26. Let m be r(g). Is m*4/(-24) + 1181/6 a multiple of 13?
False
Let s(l) = -67*l**3 - 9*l**2 - 16*l + 20. Is s(-5) a multiple of 165?
True
Let l = 2057 - -977. Is 8 a factor of l?
False
Suppose 0 = 4*u - 3*l - 129852, -71*u + 32441 = -70*u + 2*l. Does 93 divide u?
True
Let h(n) = n**3 - 21*n**2 + 48*n - 51. Let i(m) = -m**2 - 1. Let s(j) = h(j) + 3*i(j). Is 5 a factor of s(22)?
False
Let u(p) be the third derivative of -1/30*p**5 + 17/24*p**4 + 0*p + 0*p**3 - 1/120*p**6 - 22*p**2 + 0. Is u(-7) a multiple of 21?
True
Let o = 390 - 371. Is 15 a factor of o + 766 - -1*4?
False
Let l = -621 + 626. Suppose 4*d = -12, 4*o - 790 = -l*d + 327. Does 3 divide o?
False
Let u = 5750 + -2642. Suppose 4*g = u - 24. Does 69 divide g?
False
Suppose 0 = -30*h + 246929 + 4441. Does 85 divide h?
False
Let q = 59 + -59. Suppose q*i + 4*i = 100. Suppose -o = -i - 7. Is o a multiple of 8?
True
Let r(s) = 3*s**2 + 17*s + 11. Let w = 29 + -34. Let k be r(w). Is (4/(-6) + 167/3)*k a multiple of 11?
True
Let f(a) = -a**3 + 20*a**2 - 18*a - 25. Let w be f(19). Let h(b) = -25*b - 50. Is 10 a factor of h(w)?
True
Let n(y) = 1785*y + 4830. Does 51 divide n(7)?
False
Suppose z - 3*u - 581 = 0, 0*u + 2*u + 1729 = 3*z. Let i = z + -359. Is i a multiple of 9?
True
Let l(t) = 9*t**2 - 77*t - 1648. Does 124 divide l(-35)?
False
Let i = -916 - -1430. Let p = i + -402. Does 16 divide p?
True
Let a(b) = -7*b - 96. Let l be a(-14). Suppose -z - 2*h - 950 = -5*z, -h = l*z - 485. Does 15 divide z?
True
Suppose 216 = -0*x + 3*x. Suppose -17*m + 28 = -23. Let p = m + x. Does 13 divide p?
False
Suppose 0 = 17*w - 0*w - 9639. Let h = 17 - 10. Suppose h*l - w = -2*l. Is 9 a factor of l?
True
Is (-448)/(-12)*72732/176 a multiple of 38?
True
Suppose 12 = -6*g - 0*g. Let w be -5 + (-2)/g + 18. Does 38 divide (2 - (-60)/(-35)) + 1060/w?
True
Let q = 133 - 131. Suppose 1208 = q*m - 4*j, -1142 = 5*m + j - 4129. Is m a multiple of 26?
True
Let d = 48057 - 26958. Does 10 divide d?
False
Suppose -3*u - 131 = -143, 3*z = 4*u + 27908. Is z a multiple of 26?
True
Suppose -2*j = 5*f - 683, -4*j + 1331 = -0*f + 3*f. Let b = -233 + j. Let k = -14 + b. Is k a multiple of 27?
False
Let s = 9964 - 6208. Is 3 a factor of s?
True
Suppose 2*o - 378 = -2*w, -5*o + 4*w + 952 = 2*w. Suppose -z + 344 = 4*h, -2*h - 9*z = -4*z - o. Does 5 divide h?
True
Let q(f) = -8*f + 90. Let u be q(8). Suppose 4*a + 5*r - 22 = 0, -4*a + 3*r + u = 6*r. Is a a multiple of 3?
False
Suppose 0*i = -2*k - 3*i - 31, k = -2*i - 13. Is 46 a factor of (-6)/(1/(k/3))*17?
True
Let t = 5018 + -8762. Does 14 divide (t/240)/(3/(-70))?
True
Does 29 divide (9 + (-213)/21 - -1) + (-101292)/(-14)?
False
Let c = 17 - 17. Suppose -5*z = -5*n - 2*z + 77, -3*z - 12 = c. Suppose -n*o + 416 = -9*o. Is 26 a factor of o?
True
Suppose 0 = 2*w + 3*w + 3*r - 6, 0 = 2*w + 4*r + 6. Let v be (-1)/((w/(-105))/(-1)). Let o = v + 91. Is o a multiple of 24?
False
Let s(w) = w + 1. Let h(b) = -218*b + 65. Let t(o) = -h(o) - 3*s(o). Does 18 divide t(4)?
True
Suppose -6*j - 5*r = -7*j + 1465,