se a*h - 1511 = 1049. Does 32 divide h?
True
Suppose -5*o + 4*h + 16600 = 0, -3*h - 693 - 9270 = -3*o. Does 9 divide o?
False
Suppose 0 = -11*h + 17*h. Suppose -5*o = 2*x - 325, h = -5*x + 2*x - 4*o + 470. Does 12 divide x?
False
Let z be (-2 + 0)*51/34 - -16. Suppose -6*k + z*k - 3731 = 0. Does 41 divide k?
True
Suppose -3*q - 454 = 146. Let o be (-2776)/42 - ((-4)/(-42))/(-1). Is (4 + -2)/(q/o + -3) a multiple of 19?
False
Suppose 4892 = 12*f - 4696. Suppose 2*r - 5*h - 480 = 0, f - 1999 = -5*r + 2*h. Is 60 a factor of r?
True
Suppose -8*p - 12*f + 9*f = -99275, p + 4*f = 12413. Does 34 divide p?
False
Suppose -2*s + 8 - 4 = 0, -5*s = -5*c + 70. Is 6/c + (-12726)/(-112) a multiple of 38?
True
Let g(k) = k**3 - 13*k**2 + 4*k - 19. Let q be g(11). Let z = q - -145. Is (-6)/(-27) + (-6896)/z a multiple of 16?
True
Suppose 611 + 8002 = 21*u - 8691. Is 80 a factor of u?
False
Suppose 8*x + 11687 = 41607. Is x a multiple of 6?
False
Suppose 2*p + 3*r + 0*r - 20 = 0, -5*p = -r - 16. Suppose 1199 = 2*n - 3*l, -4*n + 2396 = -p*l - 0*l. Is n a multiple of 17?
False
Suppose 0 = 6*n - 0*n + 48. Does 14 divide (81/(-1))/((-4)/n + -2)?
False
Let n be (-32)/56 - 2080/(-14). Suppose -3*z - q - 2*q = -126, 4*z - n = q. Is 20 a factor of (-244)/(-3)*57/z?
False
Let l(z) = -49*z**3 - 2*z - 3*z**2 + 22*z**3 + 147 + 24*z**3. Is l(0) a multiple of 81?
False
Let m = -313 - 464. Let j = -445 - m. Is 39 a factor of j?
False
Suppose -36*l + 40*l = -3*w + 5, 4*w = 5*l + 17. Does 6 divide ((-48)/(-72))/(l/(-6)) + 212?
True
Let r(z) = 8*z**3 + 7*z**2 + 17*z + 14. Let x be r(7). Let k = 5066 - x. Is 46 a factor of k?
False
Let p(h) = 26*h**2 + 114*h + 158. Is 111 a factor of p(-19)?
False
Let h(t) = t**2 - 5*t - 67. Let z be h(11). Does 17 divide (-196)/z + 4 + -2?
False
Suppose 13893 = 13*a - 3*x, -2*a + 0*x = -3*x - 2145. Is 4 a factor of a?
True
Let m(l) = 850*l + 716. Does 35 divide m(22)?
False
Let t be (1*-13)/((-8)/64). Suppose -t*w + 106*w = 336. Does 20 divide w?
False
Let a(j) = -10*j + 3. Let i be a(1). Let o = 27 + i. Let h = o + 2. Is h a multiple of 22?
True
Suppose -25*f + 33*f = 48. Is 3 a factor of ((-28)/f)/(2/(-87))?
False
Suppose -t + 44101 = -6*w + 26*w, 0 = -4*t + w + 176080. Is 38 a factor of t?
False
Let d be (6/(-15))/(1/485). Let r = d + 278. Suppose r = 2*s + 2*b, -3*b = 5*s - 5*b - 238. Is 6 a factor of s?
False
Let m(h) = 2*h**3 - 3*h**2 - 164*h - 19. Is m(15) a multiple of 2?
True
Let u = -226 - -225. Does 26 divide ((-2005)/20)/(2/8)*u?
False
Suppose 52 = -2*m - 4*t - 78, 5*m + 270 = t. Is 12 a factor of (-21 + 1)*33/m?
True
Is (145/(-10)*1)/((-6)/84) a multiple of 3?
False
Let u = -2 + 9. Suppose -296 = -4*p + 3*j, 2*p - 170 = 3*j - u*j. Does 11 divide 8*(-78)/(-91)*p/4?
True
Let p(j) = j**2 - 7*j + 3. Let r be p(7). Let t(s) = -4*s + 3*s + 3 + 16*s**2 + s**3 + 0*s**3 + r. Is 16 a factor of t(-16)?
False
Suppose 4 = 5*x + 3*u, 0*x - 2*x - 4*u + 10 = 0. Let h(q) = -2 - 182*q + 12*q - 29*q. Is h(x) a multiple of 18?
False
Let p(g) = g + 142. Let m be p(0). Suppose m = z + 129. Is z/1 + (1 - 6) a multiple of 8?
True
Suppose 0 = 3*u - 7*t + 12*t - 61957, 2*u - 2*t = 41342. Is 14 a factor of u?
True
Suppose -a + 14*a = 2083 + 634. Is a even?
False
Suppose 1340986 = -34*k + 1461183 + 2110339. Does 84 divide k?
True
Does 13 divide ((-28)/3)/14*134127/(-14)?
False
Suppose 0 = -14*z + 4*z + 90. Suppose z*v + 165 = 10*v. Does 15 divide v?
True
Suppose -g - 49 + 130 = -5*i, -3*g + 83 = -5*i. Let q(d) = d**2 + 11*d + 9. Is q(i) a multiple of 12?
False
Let r = 31853 + -24169. Is r a multiple of 14?
False
Let c(l) = 3*l - 5*l + 2 + 39*l**3 + 17*l**3. Let k(f) = -f**3 + 7*f**2 + f - 6. Let t be k(7). Is 31 a factor of c(t)?
False
Let h(m) = -m**3 - 77*m**2 + 426*m - 1433. Is 13 a factor of h(-89)?
True
Let b(h) = 3*h**2 + 32*h - 18. Let l be b(-21). Let j = l + -425. Is 26 a factor of j?
True
Suppose -2*p + 2*b + 8 = 0, -5*b = -p + 6*p + 30. Let c be p/((-4)/40) - 1. Suppose -200 = -c*a - a. Is 12 a factor of a?
False
Let t(f) = 4*f - 4. Let y be t(3). Suppose 0 = 7*h - 1 + y. Is (536 + -29)*h*2/(-6) a multiple of 13?
True
Let h = -141 + 150. Suppose -h*y + 197 = -901. Suppose -f + y = 2*j, 0*f + 123 = f + 3*j. Does 20 divide f?
True
Let m(f) = 0 - 1 - 53*f**3 - 9*f**2 + 11*f**2. Does 10 divide m(-1)?
False
Let k = 64 + -61. Suppose k*s + 6 = s. Does 11 divide ((330/9)/10)/((-1)/s)?
True
Let x = -64 + -83. Let m = 275 + x. Is m a multiple of 11?
False
Let u(w) = 63*w**2 + 5*w - 6. Let k be u(-6). Suppose 4*a - 3*h = -4*h + k, 3*a + 2*h = 1669. Is a a multiple of 43?
True
Does 10 divide 366/4*-25*(-52)/195?
True
Suppose 2*a - 4*x = -x + 4, 0 = -2*a + 5*x. Suppose 1030 = a*y - 755. Does 3 divide y?
True
Let g(f) = -79*f + 33*f + 41*f - 43. Let c be g(-5). Let a = c + 48. Is a even?
True
Suppose -921*b + 928*b - 5670 = 0. Is 31 a factor of b?
False
Does 28 divide -22*(-27)/990 + (-17284)/(-10)?
False
Let x(s) be the first derivative of -7 + 110*s**3 + 5/2*s**2 - 5*s. Is x(1) a multiple of 43?
False
Let n = 75 - 68. Suppose -n*h + 1948 = -1580. Is 72 a factor of h?
True
Let z(k) = 154*k + 13. Let y be z(3). Suppose -30*w + 49*w = y. Does 16 divide w?
False
Let k(d) = -7*d + 6 + 0*d**3 + 5*d**2 + d**3 - 30 + 8*d**2. Is 6 a factor of k(-9)?
False
Let c be ((-6)/(-9))/(1 + 4/(-6)). Let k(d) = -d**3 + 3*d**2 - d + 2. Let p be k(c). Suppose 4*l = -i + 100, -4*l + 3*l + 475 = p*i. Is 40 a factor of i?
True
Suppose 1022 = 11*c - 518. Let x = 205 - c. Does 16 divide x?
False
Let k(i) = i**3 + 4*i**2 + 2*i + 2. Let p be k(-3). Suppose -8 = p*m - 18. Let j(a) = 78*a + 7. Does 28 divide j(m)?
False
Let j = 5487 + 2671. Is 61 a factor of j?
False
Let u(s) be the third derivative of s**5/60 - 3*s**4/4 + 5*s**3/6 - 5*s**2. Let f be u(18). Suppose f*p - 242 = -77. Is p a multiple of 12?
False
Let w = -34872 + 59493. Is 29 a factor of w?
True
Let s be (-24)/15 - 2/5. Let c = 3 - s. Suppose c*t = 381 - 141. Is t a multiple of 8?
True
Suppose 7*s = 4*s + 81. Suppose -5*j = 12 - s. Suppose 2*l - 58 = -z, -2*z - 46 = -2*l + j*z. Is l a multiple of 13?
False
Let c(g) = -8 + 107 + g**2 + 9*g - g - 28*g. Does 4 divide c(23)?
True
Suppose 2*w - 7*w = -20. Suppose -604 = w*h - 3*l, h - 4*h - 464 = -5*l. Let s = -98 - h. Is 10 a factor of s?
True
Let j = 158 + -170. Does 5 divide (-85)/(-68) + (-6441)/j?
False
Let p(s) = 95*s**2 + 621*s - 8301. Is p(13) a multiple of 49?
True
Let f be ((-4)/6)/((-10)/(-30)). Let a be (f + 22)/(6 + -4). Let q(c) = c**2 - c + 2. Is 5 a factor of q(a)?
False
Let b(k) be the first derivative of -5*k**2/2 + 89*k + 14. Does 24 divide b(13)?
True
Is 8 a factor of (-184)/(-276) - (-40660)/12?
False
Let d(c) = -2. Let z(m) = -3*m - 4. Let h = 83 + -81. Let b(t) = h*z(t) - 14*d(t). Does 20 divide b(0)?
True
Suppose 22 = 5*i + 32. Is 16 a factor of i*(-5)/(-30) + (-219)/(-9)?
False
Suppose -3525 = -w - 5*a, -19*a - 7043 = -2*w - 22*a. Does 88 divide w?
True
Suppose -s + 4845 = 4*v, 2*v = -3*v - 2*s + 6054. Suppose 0 = -3*f - 5*n + 704, 4*n - v + 284 = -4*f. Does 38 divide f?
True
Let q(c) = 375*c**2 - 104*c + 187. Does 18 divide q(10)?
False
Let g = 55 + -51. Suppose -1024 = -3*f + g*v - 164, v = -5. Does 7 divide f?
True
Let d(w) = 450*w - 4627. Is 36 a factor of d(39)?
False
Suppose -3*c + 4*a + 34725 = 0, -5*a + 4*a = 3. Is 87 a factor of c?
True
Let h = 26 + -21. Suppose -5*a = -h, -r + 3*a = -2*r + 5. Suppose -4*j + 92 + 112 = l, j - 58 = -r*l. Is 25 a factor of j?
True
Let x(p) be the third derivative of p**4/24 - p**3/6 - 3*p**2. Let c be x(-3). Let q(r) = -33*r - 4. Does 32 divide q(c)?
True
Let j(h) = -2*h**3 + h**2 + 1. Let a(c) = -5*c**3 + 23*c**2 - 33*c + 2. Let k(z) = a(z) - 3*j(z). Does 73 divide k(-20)?
False
Suppose -4*n - 11 = -g, 7*g - 2*g - 72 = 3*n. Suppose -11*f - 1756 = -g*f. Does 15 divide f?
False
Let m(z) = -10 + 11*z**3 - 2*z - 31*z**3 - 2*z**2 + 18*z**3. Does 50 divide m(-5)?
True
Suppose 8*t = -0*t - 56. Let q = t - 36. Let j = q - -131. Does 22 divide j?
True
Suppose -12*l + 2017 + 22199 = 0. Does 4 divide l?
False
Let u be 6*-1*16072/984. Let v = 72 - -56. Let j = u + v. Does 5 divide j?
True
Let h be (12/9)/((-20)/(-810)). Let i = 50 + h. Is 13 a factor of i?
True
Let b(r) = -187*r - 9665. Does 29 divide b(-188)?
True
Suppose