2*h + 4*y - 3616 = -5*h. Is h a multiple of 24?
True
Suppose -2*v - 3*d + 34583 = 0, -234*v + 2*d - 69130 = -238*v. Is v a multiple of 106?
True
Let n(f) = -2*f**3 - 10*f**2 + 7*f + 3. Let v be n(-9). Suppose 0 = -3*m + z - 0*z - v, 4*m - 4*z + 776 = 0. Let c = m + 329. Is 27 a factor of c?
False
Let o(d) = -664*d - 428. Is 146 a factor of o(-9)?
True
Suppose 0 = 2*y - 3*n + 4539, 11345 = -5*y - 5*n + 10*n. Is 38 a factor of (-29)/(870/y) + (-2)/(-5)?
True
Suppose 565*r - 203*r = 276*r + 104576. Is 2 a factor of r?
True
Suppose 0 = -56*d + 47*d + 8235. Suppose -7*p = -d - 464. Is p a multiple of 6?
False
Let h = 90 + -68. Suppose 273 - 801 = -h*p. Suppose -19*j = -p*j + 660. Does 23 divide j?
False
Let v(p) = 65*p**2 + p - 2. Let x = 220 - 219. Does 3 divide v(x)?
False
Let r be 3*(-20)/(-42) + 80/140. Suppose 4*p - 282 = -r*g, -g + 74 = -3*p - 82. Does 49 divide g?
True
Let o = 36 + -34. Suppose 3*d + 9 = 4*k - 0*d, k + 6 = -o*d. Suppose k*u - 92 = -2*u. Is u a multiple of 14?
False
Suppose -2*x = 3*c - 151, -x + 2*c + 233 = 2*x. Suppose x*v = 72*v + 390. Does 39 divide v?
True
Is 27 a factor of (4 + -3)*-9 + 5 + 984?
False
Suppose 3*w = z - 114, -4*z + 3*z = -w - 36. Let n(r) = -r**3 - 40*r**2 - 56*r - 204. Is 17 a factor of n(w)?
True
Suppose -m - 4*m + 140 = 5*c, -4*c = 5*m - 139. Suppose m*p = 30*p - 1965. Is p a multiple of 21?
False
Let s(v) = 692*v + 1007. Is s(14) a multiple of 31?
True
Let q be (-93 + 0)/(9/(-588)). Let w = -4104 + q. Suppose 0 = 14*h - w + 54. Does 17 divide h?
False
Let k(v) = -v - 5. Let o be k(-7). Suppose -f = -2*s + o*f + 313, -2*f + 811 = 5*s. Does 16 divide s?
False
Suppose 5*w = 4*k + 51, -2*k - 2*w - 13 = 17. Let l be 80*4/7*k/(-20). Is 0 + 2 + (0 - l*-3) a multiple of 28?
False
Suppose 117*a + 8*a = -41786 + 139286. Is a a multiple of 3?
True
Suppose -48*x = -99605 + 16226 - 124509. Is 72 a factor of x?
False
Suppose 38*f - 13*f = -9250. Is 1 - f/111*(-816)/(-10) a multiple of 10?
False
Let c(h) = -h**3 - 146*h**2 - 163*h + 250. Is 130 a factor of c(-145)?
True
Does 10 divide 429126/148 + (-21)/(-6)?
False
Let g be 235/(-10)*4*(-10)/(-4). Let z = 415 + g. Is (-11)/((-33)/z) - 0 a multiple of 4?
True
Suppose 5*h + 60326 = 36*h. Is h a multiple of 44?
False
Let j = 5547 - 5403. Is j a multiple of 12?
True
Suppose -92*b + 8*b + 107940 = 0. Is b a multiple of 12?
False
Let g be 2/(-9) + (-27784)/(-207). Let z = 336 - g. Is z a multiple of 23?
False
Suppose 8*m + 122 - 2234 = 0. Let u(n) = 4*n**2 - 2*n + 1. Let l be u(-2). Suppose 18*k + m = l*k. Does 38 divide k?
False
Suppose -15650*z - 529408 = -15682*z. Is 44 a factor of z?
True
Let l = 116 + -143. Let t = 30 + l. Is t even?
False
Let i(x) = 16*x**3 + 6*x**2 - 5*x + 5. Let w(f) = -15*f**3 - 4*f**2 + 4*f - 4. Let k(h) = -2*i(h) - 3*w(h). Let y = -2 - -3. Does 5 divide k(y)?
False
Let a(s) = -s**2 - s - 1. Let n(f) = -f**3 + 15*f**2 - 2*f + 7. Let c(i) = 2*a(i) - n(i). Let h be c(17). Let d = 109 - h. Does 35 divide d?
False
Suppose 25*s = 15*s - 3160. Let x = s - -952. Does 13 divide x?
False
Suppose 34*h - 35*h - 4 = 0. Let f be h - (-5)/(25/30). Suppose 0 = 4*o + 3*n - 87, -5*o + f*n = -20 - 60. Is o a multiple of 18?
True
Let c = 30 - 36. Let v(q) = -3*q**2 - 69*q - 76. Let a(s) = s**2 + 23*s + 25. Let z(l) = c*v(l) - 17*a(l). Does 16 divide z(-23)?
False
Suppose 171264 = 31*b + 63*b - 62*b. Does 12 divide b?
True
Suppose 73*b = -521240 + 2377849. Does 74 divide b?
False
Suppose x + 2*x + 15 = 0, 2*x + 8 = -q. Suppose 5 + 1 = q*p. Suppose -p*u = -6 - 9, -3*z + 41 = -5*u. Is z a multiple of 8?
False
Suppose -2*m + 108*s = 107*s - 9541, -s = 1. Does 15 divide m?
True
Let r be 762/8 + (-20)/80. Let i = r - 79. Is 2 a factor of (-1)/((-2)/i) + 4?
True
Let r be -30*(42/10 + 3 + -4). Let u = -86 - r. Suppose 0 = u*m - 484 - 606. Is m a multiple of 5?
False
Suppose 3*g + 1340 = 15158. Is g a multiple of 154?
False
Let x(c) = 36 + 395*c**2 + 2*c - 397*c**2 + 281. Is x(0) a multiple of 9?
False
Let s be (96/28)/(0 - 3/(-42)). Suppose 11*d = 13*d - s. Is d a multiple of 6?
True
Is 1 + 8/(-6) - (-250826)/249 a multiple of 4?
False
Let b = 201 - 288. Let o be ((-54)/12 - (-2)/4) + b. Let m = 145 + o. Is m a multiple of 3?
True
Suppose 38*a - 49 = 45*a. Let v(m) = -52*m + 88. Is 74 a factor of v(a)?
False
Let s(q) = 2 - 3 - 4*q + 9. Let b be s(5). Is 10 a factor of -1 - (2 + b + -1)?
True
Suppose 2*o + v = 53806, -26894 = 190*o - 191*o - 5*v. Is 8 a factor of o?
True
Let n = 135 + -115. Does 25 divide n*10/4*2?
True
Let i be 144*(105/28 - 0). Suppose 0*h - 3*h + i = 0. Is h a multiple of 5?
True
Let t be -1*19/4 - 16/64. Suppose -132 = 4*f - 52. Does 10 divide f/((-9)/45*t/(-2))?
True
Let c(q) be the second derivative of 191*q**4/12 + 2*q**3/3 - q**2 + 38*q + 2. Is c(1) a multiple of 17?
False
Suppose 98*g = 99*g - 107. Let k = g - 22. Is k a multiple of 35?
False
Let h(k) = -74*k + 20. Let q be h(5). Let j = q + 675. Is j a multiple of 13?
True
Let u = 27150 + -19258. Is u a multiple of 7?
False
Is (-1)/1 + ((-1578665)/(-275) - 16/10) a multiple of 11?
False
Let h = -954 - -90. Is 12 a factor of ((-5)/4)/((138/h)/23)?
True
Let q(h) = -77*h - 9. Let g(v) = -40*v - 4. Let y(b) = 5*g(b) - 3*q(b). Is 4 a factor of y(2)?
False
Let o(d) = d + 12. Let h = 19 - 31. Let f be o(h). Let q(k) = -k**3 + 2*k**2 + 2*k + 104. Does 13 divide q(f)?
True
Let u be 38/(-14) - -3 - 6084/(-21). Let w = u + 233. Does 25 divide w?
False
Let l(p) = -11*p + 12. Let b = 34 + -41. Let t be l(b). Let g = -41 + t. Does 5 divide g?
False
Let n = -6 - -1. Suppose -4*d = -5*q + 246, -50*q + 47*q + 5*d + 158 = 0. Let s = n + q. Is 41 a factor of s?
True
Suppose -38*h + 25 = -33*h. Suppose 4*z = -2*v + 28, 0*v - 5*v + h = -3*z. Suppose -354 = -v*w + 3*r, -w = -4*w - 4*r + 278. Is 9 a factor of w?
True
Let x(s) = -s**2 + 26*s + 69. Let a be x(-3). Let j(d) = -d**3 - 17*d**2 + 16*d + 42. Does 6 divide j(a)?
True
Let p(h) = 27*h**2 - 96*h - 230. Let x(q) = 17*q**2 - 64*q - 153. Let k(c) = 5*p(c) - 8*x(c). Is k(28) a multiple of 22?
False
Let r be 6/(-4)*60/90. Does 5 divide (-11 + (8 - r))*(-11)/2?
False
Let g(v) = -v**3 - 19*v**2 - 17*v - 18. Let y be g(-18). Let f = y + 33. Let u = 19 - f. Is u a multiple of 7?
False
Let v = 951 - -830. Suppose 641 = -5*g + v. Is 6 a factor of g?
True
Suppose -3*o = 3*t - 4212, -2859 = -4*t - o + 2763. Is t a multiple of 37?
True
Let w = -70750 + 102097. Is 129 a factor of w?
True
Is 23 a factor of (-16)/(-4) - (-55745 + 99)?
False
Is 73 a factor of 64 - (-12 - (-9)/(-5 + 8))?
True
Let h = 3120 + 2053. Is h a multiple of 6?
False
Suppose 3*l + j = 244917 - 35570, -5*l + 2*j = -348908. Does 37 divide l?
True
Let j(n) = 3*n**2 + 116*n - 97. Does 13 divide j(23)?
False
Suppose 5*k + 3*i - 63716 = 0, -38252 = -0*k - 3*k - 5*i. Is k a multiple of 118?
False
Let s = -45 - -45. Suppose -19*x + 16*x + 1599 = s. Is 48 a factor of x?
False
Suppose 322*j - 11227897 = 3775049. Is 276 a factor of j?
False
Let k(h) = -h**2 + 7*h - 9. Let i be k(3). Suppose 3*l - i*x = -6*x + 297, 4*l - 378 = 2*x. Is l a multiple of 3?
True
Suppose -20*v = -6*v + 18*v - 229376. Does 24 divide v?
False
Let f = 209 + -247. Does 6 divide (2 - 3) + (-2 - f)?
False
Is ((-8)/4 - 3) + 5163 + -6 a multiple of 46?
True
Suppose 0 = 4*g - 4*b - 756, -4*g - 5*b + 761 = -4*b. Suppose -5*l - 5*d = -g, 0*d - 86 = -2*l + 3*d. Does 20 divide l?
True
Let k(n) = -n**3 + 21*n**2 + 8*n - 10. Let g be k(21). Suppose w = -85 - g. Let x = w + 363. Is x a multiple of 24?
True
Does 35 divide (-2920)/(-6)*(-411)/(-548)?
False
Let x(w) = 2*w. Let p be x(0). Suppose 13*j + p*j = 1469. Does 22 divide j + 20/(-90) + (-50)/18?
True
Suppose 0 = 12*l - 17*l + 10. Suppose 18 = 4*d + l*x, 11 = 4*d - x + 2. Let m(b) = 7*b**2 + 6. Does 8 divide m(d)?
False
Let v(y) = 11*y**2 + 8*y - 27. Let t(f) = -5*f**2 - 4*f + 13. Let d(b) = -13*t(b) - 6*v(b). Let o be d(3). Does 6 divide (o - (-4)/3)*(-54)/4?
True
Let f = -777 - -2697. Is f a multiple of 60?
True
Suppose 0 = -d - 3*y + 48779, 52*d - 4*y = 54*d - 97566. Is d a multiple of 145?
False
Let i = -19439 - -24389. Does 33 divide i?
True
Let z(r) = 5*r**2 + 27*r - 389. Does 164 divide z(27)?
False
Let u(y) be the first derivative of -y**4/2 - 3*y**2/2 + 151. Is u(-2) a multiple of 2?
True