ivide x?
False
Suppose -4*h - 5 = -5*t, 3*t + t - 4 = 0. Suppose 5*c - 546 - 69 = h. Suppose 5*y - c - 357 = 0. Is 16 a factor of y?
True
Let c = -11071 - -21619. Does 18 divide c?
True
Let r = -14936 - -21686. Suppose 5*n + r = 35*n. Does 5 divide n?
True
Let s be (315/10)/3*(-60)/(-7). Suppose -51*g = -46*g - s. Suppose 0 = -20*y + g*y + 84. Is y a multiple of 7?
True
Let y = -219 - -215. Let j(x) = -70*x + 25. Does 32 divide j(y)?
False
Suppose -4*z + 71803 = 3*l - 22532, -4*z = -5*l - 94295. Is z a multiple of 41?
False
Let p(o) = 0 + 2*o**2 + 0 + 5*o - 15*o. Let m be p(8). Suppose 0 = -33*l + 32*l + m. Is l a multiple of 16?
True
Let d(q) = -44*q**2 - 5*q + 2. Let x be d(1). Let u = x - -110. Is 5 a factor of u?
False
Suppose 7*m - 23 = 2*m - 4*l, -4*l - 7 = -5*m. Suppose 2*r - 70 = r. Suppose m*u - s - 124 = r, 0 = -5*u + 3*s + 326. Does 8 divide u?
True
Let r = -2966 - -3492. Is 3 a factor of r?
False
Let j(l) = 128*l + 1. Let y be j(6). Suppose -7*v + y = -64. Does 17 divide v?
True
Does 86 divide (6 - 3)*(-16609)/(-51)?
False
Let v = -11 - -8. Let k be 44/(-66) - 23/(-3). Does 26 divide k/3*v*(-6 - 17)?
False
Suppose -n + 59 = 5. Let p = n - 56. Is (1/3)/(p/(-282)) a multiple of 26?
False
Suppose 325584 = -39*f + 69*f - 21*f. Is 68 a factor of f?
True
Let i = -11227 - -25638. Does 50 divide i?
False
Let o(m) = -2*m - 18. Let y be 2/16 - (-146)/(-16). Let b be o(y). Is (-4)/(8/(-246)) + b + -3 a multiple of 10?
True
Suppose -4*k - 2*i - 30 = 0, 3*k + i + 25 = -0*i. Does 21 divide k/(-2) + 414/3 + 4?
True
Suppose b = -4*s + 15712, -6*b + 3*s = -101252 + 7007. Is b a multiple of 21?
True
Let c(j) = 115*j + 10. Let b be c(16). Suppose -5*w = -3*y + b, -9*y + 5*y - w = -2436. Is y a multiple of 55?
False
Suppose 2*l = -2*l - 8. Let s = 142 - l. Is s a multiple of 16?
True
Suppose 2*q = 6*q - 12. Suppose 2*i - 736 = 4*p, -5*p - 1502 = -4*i - q*p. Is i a multiple of 18?
True
Suppose 67 = 2*c + 6*x - 3*x, -3*c + 2*x = -133. Suppose -5*a = c - 16. Is (-39)/(1/a*1) a multiple of 15?
True
Suppose 4*s + 3*f = 33183 - 11683, -2*f = 5*s - 26868. Does 17 divide s?
True
Let z = -11145 + 13577. Is 19 a factor of z?
True
Suppose 4*t = -20, -3*v - 2*t + 11817 = -9887. Is v a multiple of 60?
False
Let g(o) = -67*o**3 - o**2 - 15*o - 53. Is g(-3) a multiple of 32?
True
Suppose -7078 - 16682 = -22*s. Does 30 divide s?
True
Let t(u) = 2*u + 9. Let s be t(-2). Suppose -2*z - 5*w - 11 = 0, 0 = -2*z + w + 2 + s. Let a = z - -28. Does 15 divide a?
True
Suppose 14 - 4 = 5*w, -4*z - 4*w + 20 = 0. Suppose z*b = 2*t - t + 91, -3*b - t = -89. Is b a multiple of 4?
False
Let f(m) = m**2 + 27*m + 36. Let q be f(-17). Let h = -113 - q. Suppose 0 = a - h - 15. Does 9 divide a?
True
Suppose 0 = -f - 5*w + 6247, 2*f - 20*w - 12483 = -19*w. Is 14 a factor of f?
False
Let r(w) = 7*w - 44. Let f be r(12). Let s = f - 28. Suppose -2*h + 6 = -s. Is h a multiple of 5?
False
Let u(o) = -2327*o + 667. Is u(-11) a multiple of 56?
True
Suppose 2*h + 2*h - 64 = -5*j, -3*h = j - 4. Let x(z) = 4*z**2 + 4*z. Let f be x(-4). Does 2 divide j/80 + f/10?
False
Suppose -11*c + 3123 = 4*o - 12*c, 5*o - 3*c - 3895 = 0. Does 3 divide o?
False
Let k be (1/(-2))/(11/(-2310)). Is 17 a factor of ((-3 - k/20) + 4)*-16?
True
Let b(n) = 417*n + 932. Is 41 a factor of b(25)?
True
Suppose 3*y = 6, -4*k + 2*y = k + 84. Let c = 26 + k. Suppose c = d - 81. Is d a multiple of 13?
True
Suppose 2*z - 8 = 0, -465 - 175 = -2*y + 2*z. Suppose -w - 3*m = -4*m - 76, 4*w = -m + y. Is w a multiple of 8?
True
Suppose 2484888 = 65*n - 6*n + 25*n. Is 14 a factor of n?
True
Suppose -110*o - 5 = -109*o. Is 50 a factor of (-1883)/o + -1 + 7/5?
False
Let o(q) = 3219*q - 1631. Is o(4) a multiple of 18?
False
Let s be (5 - 112/24)*-18. Does 19 divide 120870/204 - s/4?
False
Suppose 330 = 2*c + 4*d, -4*c = c + 4*d - 795. Let y be 3/(c/(-79) - -2). Suppose 2*x + 5*p = y, 0*x - x - 5*p + 32 = 0. Is x a multiple of 13?
False
Let i(m) = -6*m + 108. Suppose -5*g + 33 = -w + 148, 5*g + 115 = -2*w. Is 6 a factor of i(g)?
True
Let w = -11 + 11. Let s(p) = -2*p**3 + p + 615. Is 14 a factor of s(w)?
False
Let l(c) = -3*c**3 - 6*c**2 + 7*c + 10. Let i(k) = -2*k + 47. Let v be i(19). Let a be (1 + (-3)/v)/((-1)/6). Is l(a) a multiple of 13?
True
Let u(k) = 95*k**3 + 5*k**2 - 7*k + 3. Let c be u(3). Suppose 0 = -31*w + 39*w - c. Does 4 divide w?
True
Suppose -28578 - 253047 = -15*n. Does 170 divide n?
False
Let n(z) = 88*z + 23. Let s be n(2). Let b = s + -73. Is 5 a factor of b?
False
Suppose 0 = -2*l - 2*l + 24. Suppose -l = s - 6. Suppose 4*o + 125 = -0*y + y, s = -y + 5*o + 127. Is 9 a factor of y?
True
Let h = -112912 + 168976. Does 128 divide h?
True
Let t = 101 + -98. Suppose -t*x = -4*o - 1136, 0 = -2*x + 2*o + 938 - 184. Suppose 7*n - 20 - x = 0. Does 8 divide n?
True
Let a(m) = 5*m**2 - 28*m + 59. Let u(w) be the first derivative of -w**3 + 19*w**2/2 - 39*w - 18. Let g(d) = 5*a(d) + 8*u(d). Is 17 a factor of g(-18)?
False
Suppose d + 5*s + 806 = 297, 0 = 3*d - s + 1543. Let z = 864 + d. Is z a multiple of 21?
False
Let w = -1002 - -297. Does 32 divide -1*(4/(-12))/((-1)/w)?
False
Let c(y) = -15*y**3 - 16*y**2 - 79*y - 33. Is 10 a factor of c(-6)?
False
Let b = 2185 - -3590. Suppose -b = 12*s - 27*s. Does 55 divide s?
True
Let k(s) = 249*s - 5227. Is 30 a factor of k(46)?
False
Is 79 a factor of (-2 + -4141)*(-12 - 40/(-4))?
False
Suppose -4*o = 5*z - 37, -o = 5*z - 5*o - 13. Suppose -4*b + b + 1052 = z*l, -l + 212 = -b. Is 6 a factor of l?
False
Let k be ((-63)/14)/9*76/2. Let u(i) = -i**3 - 19*i**2 - 20*i - 44. Is u(k) a multiple of 21?
True
Let x(u) = 27*u. Let k be x(4). Let v be (-21)/6*k/(-21). Is 31 a factor of (-5)/(50/(-304)) + v/30?
True
Is 63/(-84) + 24920/32 a multiple of 10?
False
Let o = -24 - -55. Let l = 60 - o. Suppose -l = -t - 3*x, 4*t + x = -2*x + 107. Is t a multiple of 16?
False
Is 13 a factor of (-55)/(4400/(-288))*(-1 - -36)?
False
Suppose 0 = -3*w - 0*w + s, 0 = -4*w - 4*s. Is 13 a factor of (73392/(-198))/((-2)/6 - w)?
False
Let w = 232 + -366. Let f = w + 24. Let o = -25 - f. Does 5 divide o?
True
Let i(n) = -477*n - 3238. Does 29 divide i(-26)?
True
Suppose -753 = 72*u - 15009. Is u a multiple of 25?
False
Let t be 4/(-1) + (13 - (-16)/(-2)). Is 10 a factor of (-763)/14*(-1 - t)?
False
Suppose 4*p - 6760 = -f + 2644, 5*f - 7070 = -3*p. Is p a multiple of 4?
False
Let v be (-27)/6*2/6*-2. Suppose 0*h - 5*w - 20 = 2*h, 4 = -v*h - w. Is (-6)/(-3) + (28 - h) a multiple of 12?
False
Suppose 0 = -u - 3*w + 4495 + 4900, 0 = 5*u - w - 47087. Is u a multiple of 28?
False
Let i(q) = -q**3 + 6*q**2 + 34*q - 4. Let n(m) = m**3 - 5*m**2 - 33*m + 3. Let w(a) = -4*i(a) - 5*n(a). Let o be w(7). Let y = 112 + o. Is 19 a factor of y?
False
Let j(m) = 17*m**3 - 5*m**2 - m - 1. Let o(i) = 14*i + 17. Let q be o(-1). Is 40 a factor of j(q)?
False
Suppose 4*n + 57*n - 2135 = 0. Let t(o) = -o**2 + 34*o + 71. Is 12 a factor of t(n)?
True
Let p = 8 + 33. Let t = -5 + p. Is 19 a factor of (t + 2)/(-2)*-1*9?
True
Let f be 0 - (-1653 + (3 - 8)). Let b be -3 - ((-4)/(-24) + f/(-12)). Suppose x = -0*x + 4*d + b, -314 = -2*x - 3*d. Is 11 a factor of x?
False
Suppose 4284 = i + 2*i. Suppose i - 420 = 4*y. Let u = 367 - y. Does 22 divide u?
False
Let g = -630 + 618. Is 20*g/(-150)*10*62 a multiple of 64?
False
Suppose 12 = -4*s + 5*x, 5*s + x - 10 = 2*s. Let t(p) = -12*p**2 + 1. Let m(r) = 24*r**2 - r - 3. Let h(z) = -3*m(z) - 7*t(z). Is 7 a factor of h(s)?
True
Let a = 6728 - 2600. Is a a multiple of 54?
False
Let a = 21 + 9. Let p be ((-12)/a)/(2/10). Is 25 a factor of (93/p)/((-15)/40)?
False
Does 15 divide (-9032)/10*(-240)/192?
False
Suppose -20 = -5*s, -s - 569 = -4*p + 23. Let m = p - -85. Does 6 divide m?
True
Suppose 3*k + 6810 = 3*y, 20*y - 16*y + k - 9080 = 0. Is 10 a factor of y?
True
Let g(y) = 15*y + 14. Let c(p) = -18*p - 16. Let i(n) = -6*c(n) - 7*g(n). Is 7 a factor of i(35)?
False
Let j(h) = -h**2 + 8*h + 3. Let y be j(8). Suppose 3*c = c + 4. Suppose 109 = c*f - y. Does 19 divide f?
False
Let i(t) = -14*t**3 - 3*t**2 - 11*t - 42. Does 9 divide i(-8)?
False
Let o(i) be the first derivative of -1/4*i**4 - 2*i**2 + 3*i + 14/3*i**3 + 1. Does 15 divide o(13)?
True
Let r(q) = -q**3 - 12*q**2 - 15*q - 14. Is 13 a fact