+ 4. Let n be y(-19). Let q = 28 - n. Suppose 3*i - 190 - 137 = -2*b, -q*b + 3*i + 849 = 0. Is 42 a factor of b?
True
Let m = -6306 + 8360. Is m a multiple of 24?
False
Let n(r) = -1077*r + 7639. Is n(5) a multiple of 14?
True
Suppose k = 24 + 3. Is 20 a factor of 35118/k + 2/(-3)?
True
Let q be 21/6*8*(-3)/(-42). Suppose 0 = -5*v + 3*n + 258, -237 = -3*v - q*n - 67. Does 9 divide v?
True
Suppose 55*r - 242 = 33*r. Suppose -2*u + h = -1877, 4*u + 7*h - r*h - 3760 = 0. Is 33 a factor of u?
False
Let r be 14/(-3 + 5) - (1 + -2). Suppose -2*p = -14 + r. Is (-2)/(-3) - p*210/(-27) a multiple of 4?
True
Let b = -13319 + 20757. Is b a multiple of 81?
False
Let g(b) = -128*b + 590. Is g(-23) a multiple of 70?
False
Let w be 0/(-8)*(-2)/(-10). Suppose w = -10*q + 3063 + 877. Is 23 a factor of (-4 + 3)/((-2)/q)?
False
Let t(i) = 925*i**3 + 12*i**2 + 28*i - 89. Does 266 divide t(3)?
False
Suppose 6*d = -39395 + 139037. Is 86 a factor of d?
False
Is 51 a factor of -7 + 2 + (-8)/((-40)/535)?
True
Let m = 219 - -799. Suppose 0 = 1023*d - m*d - 610. Is 2 a factor of d?
True
Let i(s) = -3 - 10 + 2*s + 9. Let r be i(3). Suppose -3*k - 6 = b - 39, r*b + 5*k - 71 = 0. Does 8 divide b?
True
Let c(w) be the first derivative of -17/3*w**3 - 24*w + 1/4*w**4 - 18 + 3*w**2. Is 26 a factor of c(17)?
True
Let i be 101/9 + (-8)/36. Let z = -3 - -11. Suppose -192 = z*r - i*r. Does 16 divide r?
True
Suppose 224*q = -128*q + 1108086 - 77782. Does 11 divide q?
False
Let c(x) = -3*x + 51. Let n = -207 - -215. Does 2 divide c(n)?
False
Is 55 a factor of (3 - (-40)/(-12))/((-133)/8448825)?
True
Let a = 647 + 360. Suppose -5*j + 214 = z, -4*z - z = 4*j - a. Suppose 6*v - 29 = z. Is 13 a factor of v?
False
Suppose -94*b + 98*b + 765 = 5*x, -5*b = 0. Is x + (4 + 1)*(-46)/115 a multiple of 22?
False
Suppose -11 = -2*i + 5*r, 2*r - 28 = -3*i - 2. Suppose -4*k = -m - 709, 4*k - 713 = -3*m + i*m. Is k a multiple of 12?
False
Let d(x) = 44*x + 12. Let z be d(5). Suppose h - 4*k - 92 = 0, -5*h - 4*k + z = -3*h. Is 27 a factor of h?
True
Suppose -62 = -3*w + 5*g, 2*w + 3*g = 34 + 1. Suppose 5*o + w - 314 = 0. Is 27 a factor of o?
False
Let i(g) = -g**2 - 16*g - 1. Suppose 0*d + o + 33 = -3*d, 0 = -4*d + 4*o - 60. Let a be i(d). Let l = -3 + a. Does 22 divide l?
True
Let y(z) = 21*z + 4. Suppose 4*s + 50 = 5*x, 37 = 2*x + s - 6*s. Suppose 3*w = x*w - 3. Does 20 divide y(w)?
False
Let w(o) = o**3 - 3*o**2 - 2*o - 5. Let c be w(4). Let v be 6/(-3 + c/2). Does 17 divide v/(-3)*216/9?
False
Let q be 3 - 11*(-1 - 1)*1. Let r(p) = q*p**3 + 15*p**2 - 8 - 2*p + 25*p**3 - 51*p**3. Is 32 a factor of r(14)?
True
Suppose -108*m - 5 = -113*m, -143300 = -5*i + 5*m. Is i a multiple of 8?
False
Let p(f) = 27*f. Let z be p(-11). Let j(x) = 3*x**2 - 188*x + 82. Let g be j(59). Let v = z - g. Is 45 a factor of v?
True
Let h = -226 - -230. Suppose 806 = 5*p + d, 427 = h*p + 2*d - 219. Does 8 divide p?
False
Suppose 6*a = 9*a - s - 9, -2*a - 3*s = 5. Suppose 0 = a*f - 18 - 614. Is f a multiple of 13?
False
Let a(u) = -8*u**3 + 8*u**2 - 46*u - 475. Does 204 divide a(-10)?
False
Is (-60)/(-570) - (-405)/(-57) - (-2 + -18547) a multiple of 146?
True
Let g(f) = 87*f - 40. Let y be g(3). Suppose -3*i + 19 + y = 0. Does 40 divide i?
True
Let i be ((-4)/1)/(76/(-57)). Suppose 11*y - i*y = 64. Suppose 0 = 2*s + h - 37, 4*s + 4*h + 44 = y*s. Is 8 a factor of s?
True
Suppose -7*f + 8*f = 0. Suppose -2*j = 5*m - f*m - 145, 123 = 4*m + 3*j. Let y = m - -100. Is y a multiple of 16?
False
Suppose 146*n + 444722 - 1719302 = 0. Does 30 divide n?
True
Let t be (-1*(-2)/(-5))/((-3)/90). Let s be t/2 + (-4 - 0). Suppose 3*j + 4*l - 200 = 0, j - l = -s*j + 205. Does 34 divide j?
True
Let x(c) = 756*c - 1750. Does 12 divide x(9)?
False
Let t be (-1048)/(-3)*78/104. Suppose -264*l + t*l + 464 = 0. Does 8 divide l?
True
Let p(r) = 0*r**2 + 3*r**2 - 9*r + 6 - r**3 + 2*r**2. Let s be p(3). Let m = s - -62. Does 15 divide m?
False
Let p be ((-3)/(-6))/(2 + 34/(-16)). Let o(n) = -106*n - 79. Is o(p) a multiple of 23?
True
Suppose k + 2 + 8 = h, 0 = h + 4*k. Let x be (2 - 1)*(-36)/12 + h. Suppose 0 = x*l - 2*c - 1060, 3*c + 2*c - 185 = -l. Is l a multiple of 50?
False
Let d(u) = -u - 10. Let h be d(-14). Suppose h*x - 15 = 81. Suppose x = n + 1. Is n a multiple of 7?
False
Suppose -2*z + 172 = -k, k + 5*z - z = -196. Let a = k - -279. Suppose -6*u = 3*u - a. Is u a multiple of 6?
False
Is 36*((-442975)/26)/(-29) a multiple of 45?
True
Let d be (11 + -1 + -1)/1. Let p(c) = c**2 + 100*c - 495. Let q be p(5). Suppose 11*o = d*o + q. Is o even?
False
Let n = 576 + -572. Suppose 34*f = 29*f + 2*m + 352, -n*f + 4*m = -284. Is 14 a factor of f?
True
Let l(y) = -138*y**2 - 8*y + 11. Let b be l(3). Let f = -808 - b. Is f a multiple of 20?
False
Let i(o) = o**3 + 6*o**2 + 8*o - 21. Let v(m) = m - 1. Let g(h) = -i(h) + 3*v(h). Let t be ((-206)/515 - 22/(-5))/((-6)/9). Is 12 a factor of g(t)?
True
Let f(a) = -102*a - 1287. Is f(-19) a multiple of 38?
False
Does 32 divide ((1227968/126)/32)/(1/9)?
False
Let z = 88 - 95. Is ((-160)/(-2))/((-2)/z) a multiple of 40?
True
Suppose -3*j + 15 = 0, -28 = -u - 2*j + 4. Let l be 1125/(-165) - 4/u. Is (1296/(-42))/2*l a multiple of 12?
True
Suppose 0*o + 4*i - 13654 = -5*o, 0 = 8*o - 5*i - 21835. Does 30 divide o?
True
Suppose q = 2*i + 6 - 14, 3*q - 3*i + 21 = 0. Let f be (-28)/q*(-60)/(-70). Suppose z + 3*z - 280 = -4*a, 0 = -f*z - 3*a + 283. Does 10 divide z?
False
Suppose 0 = 8*v + v - 36. Suppose -4*u + 5*x = -945, 911 = v*u + 5*x - 64. Is u a multiple of 10?
True
Suppose 4*a - 306 = -270. Suppose 755 - 2996 = -a*s. Is 76 a factor of s?
False
Let h(k) = 2*k - 3. Let z be h(5). Let s(t) = -39*t**3 + 12*t + 3 + 17*t**3 + 23*t**3 - 6*t**2 - 2*t**2. Is 8 a factor of s(z)?
False
Suppose 70 - 534 = -4*l. Suppose -n + 361 = l. Is 7 a factor of n?
True
Let u be (-2)/(((-3)/(-2) + -2)*1). Let c be u/(-40)*-4 - 238/(-5). Suppose 3*g = -3*v + c, 0 = v - 0*v - 5*g - 40. Is v a multiple of 10?
True
Is 33 a factor of (-136536)/(-60) + 5/((-75)/(-6))?
False
Suppose 20 = -12*r + 8*r, 2*r - 5 = -5*c. Suppose -c*m + 3105 = 5*p, -4*p - 3110 = -9*p - 2*m. Is 78 a factor of p?
True
Let r = 23559 - 16570. Does 5 divide r?
False
Let i(n) = -37*n**3 - 2*n**2 + 2*n - 1. Let t be i(1). Let m = t + 40. Suppose 2*g = -5*a + 416, 4*a - 4*g - 340 = -m*g. Does 42 divide a?
True
Suppose h = -3*k + 7, -5*h - 2*k + 87 = -0. Let l = h - -301. Is 40 a factor of l?
True
Let z = 64 - 50. Let w = 63 - z. Suppose 3*t = 2*k - w + 10, -5*t = -3*k + 61. Does 12 divide k?
True
Let c(k) = k**2 - 7*k - 100. Let f be c(14). Is ((0 - f) + -104)*(-8)/24 a multiple of 8?
False
Suppose 96463 = 46*k - 1287263. Does 149 divide k?
False
Is 10 a factor of 6*65/91*357?
True
Let i be 16 + (-5 - -1)/(-4). Let c = i + -17. Suppose -3*g - 3 = c, 5*k + g - 61 = 2*g. Is 5 a factor of k?
False
Let l(q) = -q**3 - 16*q**2 + 217*q - 116. Is l(-38) a multiple of 42?
False
Let a(q) = 24*q**2 - 246*q + 748. Is 2 a factor of a(3)?
True
Let m(h) = -h**2 + 2*h + h + 14 + h**2 + h**3 + 10*h**2. Suppose 15 = -5*y, 5*a + 21 = 4*a - 4*y. Does 34 divide m(a)?
True
Let d(x) = -x**3 + 4*x**2 + 22*x + 3. Let a be d(7). Suppose 2*o = a + 46. Is 4 a factor of o?
True
Let v be (-12)/18*(-1 + -5). Let r = 25 + v. Is 8*(-4)/8 + r a multiple of 5?
True
Let q = -4953 - -11378. Does 40 divide q?
False
Suppose 54*n - 477096 = 99192. Is 16 a factor of n?
True
Let b = -185 + 295. Let x = b + -77. Suppose -5*m + 27 = -x. Is m a multiple of 4?
True
Let a = -45 - 130. Let c = -33 - a. Suppose -4*u + 2*u + 136 = 5*f, -5*f + u = -c. Is 14 a factor of f?
True
Let r(u) be the first derivative of -u**4/4 + 3*u**3 + 5*u**2/2 - 16*u + 3. Let c = 128 + -121. Does 13 divide r(c)?
True
Let u be -1 - (-129)/24 - (-18)/(-48). Suppose -17*q + 14*q = 5*f - 239, -u*q + 307 = -5*f. Is 39 a factor of q?
True
Let o(k) = k**2 - 5*k - 98. Does 8 divide o(19)?
True
Suppose a = -145*r + 150*r - 110443, 2*a = r - 22076. Is 131 a factor of r?
False
Let z = -529 - -531. Let l(d) = 7*d + 10. Let k be l(8). Does 22 divide -24*z*k/(-24)?
True
Suppose -f = -2*f, -44 = -2*x + 4*f. Let s be 7/((-42)/(-117))*x/3. Suppose 4*a - 432 = -4*l, -a = 3*l - s - 173. Is l a multiple of 8?
True
Let u(p) = 5*p**2 + 7*p - 9. Let g(i) 