2*t + 2*p + 50688. Is 29 a factor of t?
False
Suppose 0 = h + 2*h + 126. Let n = h + 48. Is 8 a factor of (-7)/(168/16) - (-58)/n?
False
Let t = 891 - 543. Is t a multiple of 12?
True
Let b(h) = 7*h**2 + 3*h - 4. Let m be b(1). Suppose -9*q + 492 = -m*q. Let a = q - 142. Does 18 divide a?
False
Suppose 3*k - 2*f = 11412, -5*f + 7403 = 3*k - 4051. Does 28 divide k?
True
Suppose -4*x + 6238 + 9982 = 0. Does 39 divide 8/12*3 - x/(-5)?
False
Suppose 0 = -9*v - 3*v + 18755 + 37. Does 174 divide v?
True
Let v be -4*(12/(-36))/((-4)/(-54)). Suppose 0 = v*z - 612 - 90. Is 5 a factor of z?
False
Let r be 21/49 + 20340/21 + -5. Suppose -a = -4*l + 961, -5*l = -9*l + 4*a + r. Does 30 divide l?
True
Let i = -3506 - -4460. Does 3 divide i?
True
Let z = 9 - -21. Let o = z - 28. Suppose o*q = -2*f + 152, -64 = 2*q - 3*q + 3*f. Does 7 divide q?
False
Is 11117*6/(-66)*-11 a multiple of 25?
False
Let a be (1 - (-9)/(-2))/((-62)/(-3596)). Let s = a - -249. Is s a multiple of 23?
True
Suppose 2330 = -5*k + 12250. Is k a multiple of 45?
False
Let p be 4/(-36) - (-42124)/36. Let x = 2 + 3. Suppose x*c = 10*c - p. Is 39 a factor of c?
True
Suppose 34 = -2*c + 94. Suppose g = -5*g + c. Suppose 0 = 4*x + 5*s - 114, g*s - s = -4*x + 116. Does 29 divide x?
False
Let x(a) = 615*a - 195. Is x(8) a multiple of 9?
True
Suppose 2*b - u - 19021 = 0, 4*b = -3*u + 24517 + 13490. Is 21 a factor of b?
False
Let p(h) = -6*h**3 + 11*h**2 - 45*h + 6. Let a(q) = 5*q**3 - 10*q**2 + 46*q - 8. Let f(r) = -3*a(r) - 4*p(r). Is f(4) a multiple of 13?
True
Suppose 26*z - 43 = -459. Is 4 a factor of 0/(z/4) + -3 - -71?
True
Let u = 468 + -557. Let c = u + 91. Is c a multiple of 2?
True
Does 80 divide (-1554)/(-4)*832/156 + 8?
True
Is 98 a factor of ((-2)/(-3))/(4/3213)*392/21?
True
Does 40 divide (-112890)/(-477)*(11 + (1 - 0))?
True
Let b(q) = -462*q - 1192. Is 110 a factor of b(-57)?
False
Let v(z) = -3*z**3 - 3*z**2 - 5*z - 26. Suppose 69 = -20*n - 11. Does 23 divide v(n)?
True
Suppose 0 = 2*b + 2*l - 10, 34 = 4*b - l - 2*l. Let c(f) = f**2 - 8*f + 4. Let h be c(b). Let g(s) = 9*s**2 - 2*s - 18. Is g(h) a multiple of 10?
False
Let j(p) = p + 3 + 2*p - 5*p**2 + 2*p - 5*p**3. Let a = -5847 + 5844. Is j(a) a multiple of 13?
True
Let g(q) = 5*q + 12. Let h be g(-3). Let l be (-4)/(-54)*h - 18/(-81). Suppose l = -5*y + 179 + 136. Is 21 a factor of y?
True
Let n(h) = -2*h**2 + 15*h + 19. Let v be n(8). Suppose 0 = v*x - x + 740. Let t = 38 - x. Is 16 a factor of t?
True
Suppose -4*h = -2*h - 2*k + 2088, -4*k + 1029 = -h. Let f = -78 - h. Suppose f = 3*u - 5*q + 335, -q = -u + 214. Is u a multiple of 31?
True
Suppose 11*w - 46195 = 116462. Is 93 a factor of w?
True
Suppose 0 = -2*h + 980 - 162. Is h a multiple of 3?
False
Suppose -5*s + 5*i = 6*i + 138, -6*i - 153 = 5*s. Suppose -4*l + 123 = -m - 52, -4*m = -3*l + 648. Let d = s - m. Is 44 a factor of d?
True
Let q(w) be the third derivative of -w**5/60 - w**4/12 + 5*w**3/6 + 5*w**2. Let d be q(-3). Suppose d*l + 59 = r - 0*l, 2 = -2*l. Is 19 a factor of r?
True
Let p be (-3)/(-21) - (-340)/70. Is (-14)/35 + 242/p + 0 a multiple of 3?
True
Let d(o) = 14*o - 6. Let p(u) = 13*u - 5. Suppose -2*g + 15 - 9 = 0. Let z(k) = g*d(k) - 4*p(k). Is 2 a factor of z(-1)?
True
Let k(y) = 43*y - 60. Let m be k(15). Let v = -367 + m. Does 4 divide v?
False
Suppose 0 = -5*h + 3*y - 913 - 124, -y - 1021 = 5*h. Let d(v) = -v**3 - v**2 - 30*v - 4. Let t be d(-6). Let r = t + h. Does 38 divide r?
False
Suppose 5611 = y + 1456*x - 1458*x, 16778 = 3*y + 5*x. Does 4 divide y?
False
Suppose 0 = 2*n - 3*c - 20200, -3*c - 2578 = 5*n - 53141. Is n a multiple of 76?
False
Suppose v - 2*k - 462 = 0, -3*v + 3*k + 1396 = 13. Does 23 divide v?
True
Let w(j) = -j**3 - 35*j**2 - 11*j + 360. Is w(-40) a multiple of 2?
True
Let h(p) = p**3 + 11*p**2 + p + 16. Let g be h(-11). Suppose -5*l + 9 + 1 = 5*j, -4*j - 28 = -g*l. Suppose -610 = -l*v - 130. Is 25 a factor of v?
False
Let i be (-18)/(-2) + -1 - 3. Suppose i*c + f - 3565 = 4*f, 0 = -4*f. Is 73 a factor of c?
False
Let d = 289 - 287. Suppose 0 = 2*v + 3*m - 2000, 523 = v + d*m - 477. Is v a multiple of 50?
True
Suppose 4*r = -5*g + 3826, 0*r - 1504 = -2*g + 5*r. Suppose -8*k + g = -214. Is 5 a factor of k?
False
Suppose 2*v = 4*c + 8, 0 = -v + c - 3 + 6. Suppose -v*i + 3*i = 5*h - 1401, -4*i = h - 297. Is h a multiple of 28?
False
Let f = -56 - -72. Suppose 5*v = f*v. Let u = v - -63. Is 9 a factor of u?
True
Let g(s) = s - 18. Let b be -2*2 - (-130)/(-10). Let a(c) = -2*c + 54. Let l(n) = b*g(n) - 6*a(n). Does 27 divide l(-9)?
True
Let a(c) = -c**2 + 3*c - 11. Let w be a(4). Let n = w + 20. Let m(f) = f**3 - 4*f**2 + f - 6. Is m(n) a multiple of 6?
True
Let d(n) = n**2 + 11*n - 8. Let f be d(-18). Suppose -6*r = -3*r - 162. Let m = f - r. Is m a multiple of 16?
True
Let i = -54 - -52. Does 11 divide (-3564)/27*i/8?
True
Suppose -2*m + q + 14244 = 0, -422*q - 14248 = -2*m - 420*q. Does 40 divide m?
True
Let z be 3/(-1 + (-16)/(-10)). Let t be -1 + 5 + (-16)/(-4). Let u = t + z. Does 2 divide u?
False
Let x(n) be the third derivative of -1/30*n**6 - 32*n**2 - 1/12*n**5 + 7/6*n**3 - 5/24*n**4 + 0 + 0*n. Does 8 divide x(-3)?
False
Suppose 0 = -4*o - 11*y + 15*y + 104, -o + 3*y = -28. Suppose -o = -3*h + 407. Does 12 divide h?
True
Let l(h) = -4*h + 74. Let w be l(16). Is 45 a factor of 1714/w + (-33)/(-55)?
False
Let s = -96 - -218. Let c = s + -50. Is c a multiple of 8?
True
Is 4/(-14) + ((-6)/(-1) - (-6278306)/217) a multiple of 39?
True
Let x(z) = 6*z**3 + 11*z**2 + 23*z - 43. Does 17 divide x(6)?
False
Suppose 43*q = 3584281 - 664753. Is 19 a factor of q?
False
Let m = -23 + 21. Let q be m/8 - (-105)/20. Suppose -q*f + 116 = -69. Does 33 divide f?
False
Let l(t) = 6*t - 84. Let i be l(14). Suppose i = -x - 32 + 87. Is 14 a factor of x?
False
Suppose -38 = -5*a + 2*i, -6*a = -2*a + i - 33. Suppose a*n + 456 = 14*n. Is n a multiple of 4?
True
Suppose -r - t = 0, -r + 6 = -t - t. Is -48*(-8)/(-36)*(-90)/r a multiple of 15?
True
Let c be (-30)/(-40) - 6/8. Suppose -5*j + 3 - 3 = c. Suppose j*w - 4*i - 54 = -w, 5*w = -5*i + 195. Is w a multiple of 4?
False
Let q(x) = 152*x**2 + 48*x - 285. Is 48 a factor of q(8)?
False
Let h(t) = 14*t**2 + 12*t + 15. Let s be h(-3). Suppose -s*d + 107*d = 0. Suppose d = -5*y - 63 + 243. Is y a multiple of 11?
False
Suppose 4*x - 3*c = 46743, -11*x = -12*x - 3*c + 11652. Is x a multiple of 17?
True
Let j be 10/8*828/23. Suppose 39*u - j*u = -4170. Does 46 divide u?
False
Suppose 3*w = -4*p - 11, w + 9 = -3*p - 3. Suppose -4*y = z - 254 - 240, w*y + 2*z = 373. Is y a multiple of 41?
True
Suppose -4*z + 23711 = 177*z. Does 8 divide z?
False
Suppose -2*s = 10, 0 = 4*k - s - 0*s - 25. Let t be ((-8)/10)/(-15 - 872806/(-58190)). Suppose 0 = 5*w + 4*b - t, 0 = k*w - 4*w + b - 212. Does 37 divide w?
False
Suppose -5*f + 1 = 3*c, 0 = -2*c - 0*f - 2*f - 2. Let p be c/(6/(-4)) - (-9 - -146). Does 4 divide -6*5/p + 356/18?
True
Let c(h) = -h**2 - 35*h + 42. Let z be c(-21). Suppose r - 2*b = 6, 0*b + 18 = 4*r - 2*b. Suppose -z = -r*v + v. Does 17 divide v?
False
Suppose 5*o = 10*o - 5630. Let s = o - 15. Suppose 3*l = -f + 666, -7*l - 2*f = -2*l - s. Is l a multiple of 11?
False
Let b be 1136/3 + 20/15. Suppose 10*l - 15*l + b = 0. Is 37 a factor of l?
False
Let w be (-1)/3 + (-1090)/(-30). Let f be (6/(w/142))/((-2)/(-12)). Suppose 4*a - f = 178. Is a a multiple of 20?
True
Let b(k) = 12*k**3 - 6*k**2 - 2*k + 39. Is 27 a factor of b(6)?
True
Let v = 1733 + -629. Is 8 a factor of v?
True
Let x = -739 - -588. Let l = x - -271. Does 20 divide l?
True
Let h = 54055 + -27127. Does 16 divide h?
True
Suppose -241*k + 122*k = -123*k + 2160. Is k a multiple of 12?
True
Let q be 2/(-15) - (-3 + 32/(-15)). Suppose 5*w = q*u + 5, -2 = -3*u - 5. Suppose 2*r - 6*l - 74 = -2*l, -r + l + 38 = w. Is 9 a factor of r?
False
Is 122/2 + -12 - (0 - 3) a multiple of 27?
False
Suppose -3*z - 5 = -4*a, 9 = -z + 5*a - 11. Suppose 6 = c + z*w + 28, -3*w = -c + 18. Suppose -c*i = -392 - 115. Is 13 a factor of i?
True
Let h be -4 - (-4 + 5 - 11). Let k = h + -3. Suppose 33 = -k*q + 231. Does 12 divide q?
False
Suppose -42*j + 2444 = -2890. Let x = 1238 - j. Is 11 a factor of x?
True
Let s = 16 - 5. Suppose -5*j = -98*j + 837. Suppos