ppose -d - 1404 = -4*o. Suppose 5*l + 8*l = o. Is l a multiple of 19?
True
Let h = 23910 - -18642. Is 24 a factor of h?
True
Suppose 27691*k = 27693*k - 51798. Does 291 divide k?
True
Suppose 47*d - 323 = 28*d. Let b(p) = 2*p**2 - 25*p - 7. Is b(d) a multiple of 8?
False
Does 45 divide (0 + 30/(-25))*(-114650)/4?
False
Suppose -2*z - 2*f - 14 = 0, 2*z + 18 = -38*f + 34*f. Is (z/(-6)*-32)/((-6)/27) a multiple of 15?
True
Let j = 20414 - 15143. Is j a multiple of 251?
True
Let c(b) be the third derivative of 79*b**4/12 - b**3/3 - 85*b**2. Is c(1) a multiple of 5?
False
Let b be (-200)/(-35) - 4/(-56)*4. Suppose -b*d - 562 = -1006. Does 2 divide d?
True
Let g = 104 + 101. Suppose 5*i + 8 = 28. Suppose p - g = -i*p. Does 9 divide p?
False
Let a be 96/56 + 10/(-175)*-5. Does 35 divide (37 - a)*(-1 + 11)?
True
Suppose -4 = -3*j + 5*o + 17, -j - 13 = 5*o. Suppose 876 = 5*q - 2*p, -j*p - 1 = -5. Is q a multiple of 16?
True
Suppose 5*f + 4*z - 172 = 0, z = -5*f - z + 166. Let c = 34 - f. Does 25 divide (c/10)/1 - (-620)/25?
True
Let v = -71 + 77. Suppose 1124 - 26 = v*m. Suppose 3*u = m - 63. Is u a multiple of 4?
True
Suppose 2*r - q = -37, -5*r + 7*q - 5*q = 95. Is 8/((2/104)/(r/(-56))) a multiple of 13?
True
Suppose 11*n = 31*n - 1167 - 993. Is 33 a factor of n?
False
Let y(m) = -2*m**3 - 58*m**2 + 101*m + 231. Is 107 a factor of y(-41)?
False
Let z(b) = 5*b - 6. Let y be z(22). Let d = -58 + y. Suppose -v = -9 - d. Is 8 a factor of v?
False
Suppose 133 = -69*d - 4*d + 116641. Is d a multiple of 18?
False
Let o = 3120 - 1540. Suppose 3*f - 3*g - 1585 = -2*f, 5*f = 2*g + o. Does 13 divide f?
False
Suppose 5*v + 25 = 0, 0 = 2*m - 8*v + 3*v - 3073. Suppose -5*l = -m - 166. Is 13 a factor of l?
True
Does 111 divide 10 - (-1628)/(-165) - (-2315989)/195?
True
Let w = -59 + 192. Suppose -q + 3*v + 242 = 0, -q + 4*v + 107 = -w. Is 62 a factor of q?
True
Suppose x = -0*x + 16. Suppose 0 = -w - 3*w - x, 5*w = s - 150. Suppose 0 = -3*j - 4*b + s, -4*j - 3*b + 72 = -99. Is j a multiple of 5?
False
Let j be 2/(-4) + 4/(8/5). Suppose -2*s - 228 = -3*r, -j*r = -3*s - s - 472. Is 42 a factor of (s/(-5))/((-8)/(-28))?
True
Let j(d) = 2*d**3 - 15*d**2 + 2*d - 4. Let t be j(7). Let p = -37 - t. Does 20 divide (-9)/6 - (-443)/p?
True
Let x = -4732 - -7676. Is x a multiple of 7?
False
Let t be -1 - 65/(-55) - (-986)/22. Suppose t*w = 41*w + 860. Is w a multiple of 9?
False
Let g = -2711 + 2972. Does 9 divide g?
True
Does 41 divide 1062 + (-10)/5*(-8)/4?
True
Suppose q - 62 = 5*l, 0*l - 4*l = -3*q + 43. Let s(m) = -23*m**2 - 21*m**2 + 13*m - 23*m**2 + 68*m**2 + 9. Is 4 a factor of s(l)?
False
Let r = -9212 + 31622. Does 27 divide r?
True
Suppose 190 - 5977 = -9*j. Suppose -5*x + j = -32*z + 29*z, -4*z = 4. Is 2 a factor of x?
True
Suppose 73*l - 1340401 = 14*l + 672915. Is l a multiple of 19?
True
Let m be (15*1)/(-10 + (-23)/(-2)). Suppose 6240 = 22*p - m*p. Does 13 divide p?
True
Let b = -2843 + 3857. Does 169 divide b?
True
Let t = -21 + 37. Let v = t + 52. Suppose 0 = s - v - 80. Is s a multiple of 32?
False
Let s = 1110 + -765. Suppose 161 + s = b - 2*i, -5*b + i = -2503. Is b a multiple of 16?
False
Let b(v) = v**2 + 6*v + 28. Suppose x + 44 = -10*x. Let f be b(x). Let h = f + 22. Is 7 a factor of h?
True
Let j(s) = s**3 + 2*s**2 - s + 7. Let w be j(-3). Let p(x) = 742*x**2 - 11*x + 12. Is p(w) a multiple of 45?
False
Does 20 divide 22*2/3*(2 - (-3530)/8)?
False
Let d = 5435 + -2201. Does 22 divide d?
True
Suppose -55*w + 66 = -66*w. Is w*74/(-30)*20 a multiple of 37?
True
Let v(b) = 4*b**2 - 18*b - 16. Let n(h) = h**2. Let m(k) = -5*n(k) + v(k). Does 6 divide m(-9)?
False
Suppose -5*x + 12 = -3*x - 4*b, x + 4*b = 24. Suppose -x*m = -0*m - 48. Suppose z - m = 4. Is z even?
True
Let m = 115 - 110. Let v(l) = 13*l**2 + 17*l - 51. Is v(m) a multiple of 17?
False
Let i(v) = 10*v**2 - 60*v + 1066. Is 88 a factor of i(32)?
False
Suppose -3*z + 4*j + 5 = -10, 27 = 4*z - 3*j. Let p be 2/(-3) + 87/z. Suppose 0 = -p*s + s + 200. Does 5 divide s?
True
Suppose 0 = 6*z - 12*z + 96. Let y be 498/(-2)*z/48. Let j = y + 193. Does 20 divide j?
False
Let f(x) = -x**3 - 10*x**2 - 7*x - 70. Let a be f(-10). Suppose a = t - 2*n - 146, -4*n = t - n - 161. Does 38 divide t?
True
Let q(v) = -5*v + 80. Let o be q(10). Suppose -41*g + o*g + 1386 = 0. Is 27 a factor of g?
False
Let c(d) = 8*d + 0 + 256*d**2 - 2*d + 1 - 2 - 5. Let y be 1*4/(-8)*-2. Does 16 divide c(y)?
True
Suppose 8*x - o = 10*x - 3270, -x + 2*o + 1650 = 0. Is 9 a factor of x?
True
Let w be (-6 - (-6 - -2))*-2. Suppose -7*p - 1956 = -5*g - w*p, g - 384 = 3*p. Suppose 4*a = 3*b + g, 3*a = -5*b + 179 + 123. Does 16 divide a?
False
Suppose 3*l - 4*l + 2*y = 1094, 2*l + 2172 = -4*y. Let a = -635 - l. Is 9 a factor of a?
False
Suppose 0 = 6*d + 1392 - 10242. Suppose 0 = -3*x, -d + 155 = -2*z + x. Does 10 divide z?
True
Let r(h) = h**3 + 12*h**2 + 28*h + 41. Let s be r(-10). Let t(g) = g**2 + 2*g - 14. Let o be t(8). Let b = s + o. Is b a multiple of 5?
False
Suppose 22*v - 109899 = -36639. Does 111 divide v?
True
Suppose 3*d - 4*d = 2*i + 1125, 3*d - 4*i = -3405. Let c = d + 1778. Let o = -367 + c. Is 10 a factor of o?
True
Let m = -137 - 66. Let k = 293 + m. Is 30 a factor of k?
True
Suppose 0 = -5*h + i + 21, -4*h = 7*i - 4*i - 13. Suppose l - 1453 = -h*m, -15*l + 16*l + 1095 = 3*m. Does 14 divide m?
True
Suppose 3*t - 13 = 2*t + 3*b, -5*t + 29 = -3*b. Is 31 a factor of 76 - (t + -2 - 4)?
False
Suppose 2*o = 2*y + 4*o, 5*y = 2*o - 28. Let l be 10/(-8)*y + 1. Suppose 0*a = -l*a + 1272. Is a a multiple of 12?
False
Let i be (-1538)/(-4) + (-2)/4. Let t be ((-132)/(-24))/((-1)/(6/(-3))). Suppose -t*w + i = -3*w. Is w a multiple of 6?
True
Let j(r) = 2*r**2 - 28*r + 18. Suppose 5*i = -5*o + 3*i + 55, 0 = -o - i + 8. Let q be j(o). Does 2 divide 12/q*8/3 + 11?
False
Let p = -3 + 5. Suppose -5*d - 3*m = -5*m - 326, -3*d - p*m = -202. Does 9 divide d?
False
Suppose 0 = -2*g - 141 + 59. Let l = -146 - -230. Let i = l + g. Does 8 divide i?
False
Let f(r) = r - 4. Let z be f(20). Let x be (-40)/6*1/2*3. Is 18 a factor of z/40 - 356/x?
True
Let z = -481 - -200. Let d = z - -583. Does 33 divide d?
False
Let u = 25 - 22. Suppose 21 = d + u*y, 3*y - 5 = 5*d - 20. Does 39 divide 1/(3/d) + 76?
True
Let p = -8 + -409. Let r = p - -849. Is 24 a factor of r?
True
Let j = -5 - -8. Suppose j*u + 48 - 165 = 0. Suppose -2*h + 139 = u. Does 7 divide h?
False
Let t(k) = -28*k**2 - 1233*k - 48. Is 10 a factor of t(-36)?
False
Is 31914/4 - ((-348)/24 - -13) a multiple of 25?
False
Let c = 62 - 57. Suppose 4*o - 5*i - 1013 = 0, -c*i = -0*o + 2*o - 499. Is o a multiple of 63?
True
Does 35 divide ((-215)/(-50) - (-15)/(-50)) + 4468?
False
Does 7 divide 1650 + (-13 - (-11 - -17))?
True
Let t = 559 - 82. Suppose 112*k - 103*k = t. Does 7 divide k?
False
Let x(j) = -2*j**3 - j**2 + 7*j + 4. Let q be x(4). Let i = -175 - q. Let p = i - -112. Is 7 a factor of p?
True
Let u = 30 + -26. Suppose 0 = 44*a - 46*a + u. Suppose -5*x + 534 = 2*o, 3*x + a*x = 4*o + 552. Does 16 divide x?
False
Let z be (2 + 4)*(-1)/1. Let p(k) = -9*k + 20 - 6 - 7 - k**2 + 2*k. Is p(z) a multiple of 9?
False
Let m = -149 + 94. Let j = 145 - m. Is 19 a factor of j?
False
Let n(p) = 5*p**2 - 2*p**2 + 13*p + 23 - 2*p**2 + 22. Is n(-18) a multiple of 9?
True
Suppose 4*f = -j + 6, 11 = -5*f - 2*j + 20. Does 17 divide f/(-6) - (613/(-6) - -6)?
False
Let o = -2907 + 6327. Is o a multiple of 20?
True
Let w(i) = -i**2 - 10*i - 9. Let b be w(-9). Suppose -4*s + 50 + 2 = b. Suppose f - 4 = s. Is 17 a factor of f?
True
Is 17/102 - 8645/(-42) a multiple of 2?
True
Let h(r) be the first derivative of r**4/4 - r**3/3 + 11*r**2 - 34*r - 313. Is 7 a factor of h(7)?
False
Let j = 206185 + -122200. Is j a multiple of 15?
True
Let p(l) = -3*l + 61. Let x(f) = 7*f + 13. Let y be x(-2). Let v(b) = -13*b**2. Let s be v(y). Does 50 divide p(s)?
True
Suppose 51 = 4*y + 3*p, -2*y = 3*p - p - 26. Is 62 a factor of (-373)/((-6)/y*2)?
False
Suppose -26*n = -91*n + 45760. Does 10 divide n?
False
Let d(y) = 16*y**2 + 2. Suppose 5*p = -3*p + 16. Does 11 divide d(p)?
True
Let c = 13658 + -6513. Is 25 a factor of c?
False
Suppose 4 = 3*g + 16, k - g - 28 = 0. Suppose 18*p - 16*p - k = 0. Is (-8)/p*6 + 20 a multiple o