es 54 divide y?
False
Let g be ((-2)/4)/(2/(-4)) - -3. Suppose g*p + z = -0*p + 51, 2*p - 5*z - 31 = 0. Suppose 0 = -p*v + 5*v + 296. Does 3 divide v?
False
Let v(r) = 3*r - 7*r**2 + 2 - 7*r**2 + 36*r**2. Suppose 5*h = -0*h + 10. Is v(h) a multiple of 16?
True
Let q be 868/56 - (-1)/(-2). Suppose -q*u + 100 = -350. Is 5 a factor of u?
True
Suppose 0 = -2*u + k - 6 - 4, 0 = -5*k + 20. Let s(m) = 2*m + 6. Let n be s(u). Suppose n = -19*x + 17*x + 140. Is x a multiple of 18?
False
Let d be 4/26 - -2*6908/104. Let r = 241 - d. Is r a multiple of 46?
False
Suppose -5*l = -285*l + 1512000. Is 45 a factor of l?
True
Suppose 0 = 3*i + f + 2*f - 42, 0 = 3*i + 5*f - 48. Let t = -22 - i. Is 20 a factor of 2/(-4) + 33*t/(-18)?
True
Let z be ((-5 - -3) + 2 - 146) + -1. Let d = 408 + z. Is 31 a factor of d?
False
Let c(d) = -8*d + 461. Is 19 a factor of c(22)?
True
Is 7962630/1625 - (-2)/(-25) a multiple of 24?
False
Suppose -22*v + 31*v = 27. Is 14 a factor of (-10192)/(-48) - 1/v?
False
Let i(k) be the first derivative of 6*k + 5/2*k**2 + 3*k**3 - 26. Does 8 divide i(-3)?
True
Let n(g) = g**3 + 45*g**2 + 30*g - 266. Let y be n(-44). Suppose -y = -20*h + 18*h. Does 5 divide h?
True
Let n(y) = y**3 - 6*y**2 + 3*y + 4. Let k be (3 + 35/(-15))*-30. Let w be (-3 - 48/(-10))/((-6)/k). Is 2 a factor of n(w)?
True
Let g = -338 + 1076. Does 18 divide g?
True
Suppose -3*r = 4*w - 16, 9*r + 3*w - 23 = 4*r. Suppose 5*h = 4*f + 288, r*h - 113 = -4*f + 139. Does 10 divide h?
True
Is 10 a factor of (-11922)/(-30)*(-13 + 28)*(1 - 0)?
False
Let x = -36733 + 55118. Is 173 a factor of x?
False
Let i = 906 - 840. Is 2 a factor of i?
True
Suppose 4*h + 7 = 4*y - 5, 15 = -4*y - 5*h. Suppose -3*x - 4*m = -6*m - 1373, y = -2*x + m + 917. Is 33 a factor of x?
False
Let a(c) = c**3 + 13*c**2 - c - 9. Let z be a(-13). Suppose b = x + 77, -z*x + 5*x = 2*b - 150. Is 4 a factor of b?
False
Let d(g) be the second derivative of g**5/20 - 3*g**4/4 + 11*g**3/6 + 2*g. Let a = -190 + 198. Does 14 divide d(a)?
False
Let l(t) = 31*t**2 + 27*t + 2202. Is 150 a factor of l(-39)?
True
Let f = 17088 - 14913. Is f a multiple of 25?
True
Suppose 8*b + 66 - 82 = 0. Suppose -b*o + 330 = 2*k - 270, 0 = -4*o + k + 1180. Is 74 a factor of o?
True
Let u = 7 - 25. Let s be (2/(-6))/(13/(-2262)). Let d = s + u. Is 10 a factor of d?
True
Let v = -703 - -1022. Suppose x - v = 2*g, -2*g = 5*x - 0*g - 1631. Is x a multiple of 25?
True
Suppose -33*s + 4*w + 20368 = -31*s, -s + 10193 = w. Is 23 a factor of s?
False
Suppose -4*i - 2*r + 384 = 0, -5 = 2*r + 3. Does 7 divide (168/49*1)/(4/i)?
True
Let a = -218 - -109. Let r = 128 + a. Does 9 divide r?
False
Let z = -127 + -169. Let w = -211 - z. Does 5 divide w?
True
Let b = 1283 - -1478. Is b a multiple of 20?
False
Let o = -17484 + 20903. Does 16 divide o?
False
Let r = -419 - -587. Suppose 2*w - 5*w = -r. Does 14 divide w?
True
Let p = 1068 + -93. Is 4 a factor of ((-12)/(-15))/(10/p)?
False
Let w = 23778 - 15898. Does 43 divide w?
False
Suppose -2*r + 5*c + 15904 = 0, 5*r - 33*c = -34*c + 39760. Is 112 a factor of r?
True
Let g be (-17 + 15)*(-50 + 1). Let w = -171 + 271. Suppose 0 = 2*j - 2*r - g, 4*r + w = -0*j + 2*j. Is j a multiple of 12?
True
Let g = -5651 + 5759. Is g a multiple of 18?
True
Let r = 37887 - 28797. Is 6 a factor of r?
True
Let a(u) = -96*u + 688. Does 12 divide a(-22)?
False
Does 10 divide (2792/(-12))/(3/(-8)*(-36)/(-81))?
False
Let p(w) = w**3 + 3*w**2 - 9*w - 16. Let d be p(-4). Is 14 a factor of d*1 - 19856/(-34)?
True
Suppose -16*s + 6 = -13*s. Suppose -s*p + 10*p = 4128. Suppose -89*o + p = -85*o. Is o a multiple of 10?
False
Let w(a) = -a**2 + 3. Let p be w(0). Suppose -n - n - p*q = 42, -n + 4*q = 10. Does 17 divide ((-204)/n)/(2/3)?
True
Let t = -48 - -103. Suppose -5*k - 6*k + t = 0. Let a = 47 - k. Does 14 divide a?
True
Suppose -2*c + 3*d = -459, -3*d = -4*c - 0*c + 909. Let f = 27 - c. Let t = -69 - f. Is t a multiple of 26?
False
Suppose 11582*t = 11511*t + 1850970. Is t a multiple of 158?
True
Suppose -5*t + 49 = -21. Suppose 0*j + 1596 = t*j. Suppose -2*g - 30 + j = 0. Is g a multiple of 7?
True
Suppose -14894 = 62*x - 236482. Is x a multiple of 67?
False
Let o be (-5 - -5) + 2*2. Suppose 0 = -7*u - o*u - 1243. Does 19 divide (-2 + 4)*u/(-1)?
False
Let u(y) = -3481*y**3 - 2*y**2 + 11*y + 2. Is u(-2) a multiple of 107?
True
Let y = -182 + 134. Does 38 divide (-2656)/(-14) - y/168?
True
Let z(i) = -1 + i**2 + i**3 - 2*i**3 - 7*i + 2*i**3. Let a be z(-3). Suppose -4*q + 374 = a*v, 5*v - 108 = -2*q + 99. Is q a multiple of 34?
False
Let k(m) = -m**3 - m**2 + 2. Let z(b) = -b**3 - b**2 + 1. Let t(d) = k(d) - 2*z(d). Let j be t(-1). Does 12 divide (-6 - j)/(-2)*(-176)/(-12)?
False
Is ((-225)/(-10) + -21)*(2903 - -1) a multiple of 18?
True
Let s = 36 - 34. Let u(c) = -6 + 3*c**2 + 0*c**2 - c**2 - 3*c + 2*c**s. Is u(6) a multiple of 18?
False
Suppose -2*f = 3*f - 5*v - 50, 5*v + 39 = 4*f. Suppose 0 = w - 3*j - 12, -1 - f = 4*j. Suppose 6*d - 75 = -w*a + 3*d, -a + 2*d = -34. Is 4 a factor of a?
True
Suppose -s = -11 - 34. Suppose -2*t = t - s. Suppose -16*y + 12 = -t*y. Is y a multiple of 6?
True
Suppose 0 = t + 4*t - 3*y + 9, 0 = -4*y + 12. Suppose t*h = h - 48. Suppose 0 = 5*o - 2*o - h. Does 16 divide o?
True
Let r = 26 - 18. Let w be (-5)/(-3) + r/24. Suppose -2*v + 378 = 3*g, -4*v - w*g = 397 - 1161. Is v a multiple of 12?
True
Suppose 0 = 21*i - 68 + 5. Suppose 0 = -i*w - 4*q + 205, 4*q = 3*w - q - 250. Is w a multiple of 15?
True
Let a = 370 + -368. Suppose -9350 = -24*u + a*u. Is 25 a factor of u?
True
Let t be 472/24 + (-4)/(-12). Suppose m - 593 = -t*b + 19*b, 5*m - 5*b = 3005. Is m a multiple of 5?
False
Suppose -8 = 2*n - 5*i, -4*i + 11 = -4*n - 5. Let x be (0 - 0)/(-1) + n. Is 26 - (-1 - 0 - x) a multiple of 3?
False
Let n = 11446 + -9608. Let m = -196 - -2025. Suppose n = 19*y - m. Is y a multiple of 20?
False
Let g(s) = -54*s + 4. Let u(d) = -8*d + 70. Let m be u(9). Is g(m) a multiple of 19?
False
Let r(n) = n**3 + 2*n**2 - 6*n - 8. Let p be r(-3). Is (p - (-3 - 0))*1 - -68 a multiple of 27?
False
Let b(r) be the third derivative of -r**4/24 + r**3 - 10*r**2. Let i be b(-3). Let a = 35 - i. Is a a multiple of 15?
False
Let z(m) = 2*m**3 - 18*m**2 - 16*m + 22. Let v be ((-20)/7)/(11/(616/(-16))). Is 13 a factor of z(v)?
False
Let h be (40/(-2))/(-3 - -2). Let k(o) = 92*o + 72. Let b(m) = -71*m - 71. Let y(p) = 5*b(p) + 4*k(p). Is y(h) a multiple of 10?
False
Does 67 divide 13067/5 + ((-369)/45 - -8)*2?
True
Let t be 2/4 + 12/(-24). Let z(q) = q + 248. Does 34 divide z(t)?
False
Let r(k) = -9*k**3 + 4*k**2 - 10*k + 22. Does 5 divide r(-7)?
True
Let o be (-252)/27*-2*(-6)/(-8). Suppose -72 = o*f - 6*f. Let z(w) = w**3 + 7*w**2 - 19*w + 28. Is z(f) a multiple of 8?
False
Suppose 33*r + 303962 = 115*r + 49106. Does 19 divide r?
False
Let i = 2827 + -1419. Suppose 7*r - 3725 = -i. Is 6 a factor of r?
False
Suppose 62*g = 58*g + 8. Does 9 divide (g/(-4))/(10/(-460))?
False
Let d(k) = 7*k - 7*k**2 + 3*k**2 - 2*k**2 + 6. Let o be d(7). Let y = -118 - o. Does 27 divide y?
False
Let z(h) = 13446*h**2 - 22*h - 6. Is 22 a factor of z(-1)?
False
Suppose -2*z = -5*f - 5, 5*z + 5 = -3*f - 2*f. Suppose z = 3*k - 5*i - 978, 3*k - 7*k + i = -1304. Let y = -178 + k. Does 20 divide y?
False
Suppose -58342 - 48130 = -21*p - 19322. Is 40 a factor of p?
False
Suppose -2*c + 6459 = 5*q - 3*c, -3*c = 12. Suppose -314 = d + o, -9*d + 3*o - q = -5*d. Let s = 484 + d. Is s a multiple of 41?
False
Suppose -1136 = -2*i - 5*n, -8*i - 1160 = -10*i + n. Suppose 2*s + 138 = -2*h + i, 0 = h - 3*s - 208. Is 8 a factor of h?
False
Let w be (-4)/20 + 11*1/5. Suppose 5*i + 8 = 2*f, i = -w*f + 18 + 2. Is 5 + -8 + f*2 a multiple of 5?
True
Let y(g) = 359*g - 48. Does 21 divide y(1)?
False
Suppose -21 = 4*u + 57*v - 54*v, 5*u + 9 = 2*v. Let a be (79/(-2))/((-2)/4). Let o = a - u. Does 7 divide o?
False
Suppose 27*x - 15*x - 72 = 0. Suppose x*w + 2*k = 7*w - 848, 856 = w - 4*k. Does 56 divide w?
True
Let g = -264 - -345. Let d = 1032 + g. Is 53 a factor of d?
True
Let h be (2 + (-4)/3)*21. Suppose -i = h - 28. Suppose 10 = -13*a + i*a. Does 5 divide a?
True
Suppose -5*x + 2*x - n = -2176, 0 = -5*x - n + 3628. Is x a multiple of 39?
False
Let h = 1800 - 395