
Let v = 10 + -8. Let m be (v - (-10)/(-6))/((-4)/(-12)). Is 3 + m - (-89 + -3) a multiple of 24?
True
Let i = -26 - -24. Let f be (-2 + i - -2) + -1. Is 11 a factor of (-9 - f)*55/(-3)?
True
Let j(s) = -2*s**3 - 26*s**2 + 19*s + 231. Let a be j(-13). Suppose -n = -3*n + 132. Is (-8)/(a/n) + -3 a multiple of 30?
True
Is ((-30)/40 - 25/(-12))/(120/53730) a multiple of 149?
False
Let k(a) = 10*a**2 + 41*a + 196. Does 3 divide k(-10)?
True
Suppose -6*s + 3962 = -412. Does 13 divide (790/(-3))/(9*(-18)/s)?
False
Let o(n) = -1785*n - 1262. Is o(-4) a multiple of 29?
False
Suppose -1063*l + 144876 = -1051*l. Is 12 a factor of l?
False
Let v = 28119 - -6561. Does 40 divide v?
True
Suppose -37*j = 13*j - 100800. Is j a multiple of 8?
True
Suppose -2*h + h + 29 = -5*g, 5*h - 2*g - 99 = 0. Suppose 11 = -2*r + h. Is 3 - (-2 - 200/r) a multiple of 39?
False
Suppose -4*q = 5*w + 105, 2*w + 4*q = 6*q - 24. Let c = -14 - w. Suppose -d + 135 = -c*y + 2*y, -2*d + 285 = 3*y. Does 12 divide d?
False
Let g(l) = -l**2 + 27*l + 111. Let i be g(31). Let s(a) = 6*a**2 + 47*a + 20. Does 15 divide s(i)?
False
Is 44 a factor of ((-5)/10)/((-2)/(-10))*(-18 + -1352)?
False
Let q(d) be the first derivative of d**3/3 + 7*d**2/2 - 4*d + 12. Let h be q(-7). Is h/10 - (-520)/50 a multiple of 5?
True
Let z = -121 - -247. Let k be (2/(-7))/((-18)/(-126))*-7. Is 12 a factor of k/(-70) - z/(-5)?
False
Suppose -2*c - 8 = 0, -2*z + c + 3*c + 52 = 0. Let p be z/27 + 4/3. Suppose -p*s = -30 - 4. Is 17 a factor of s?
True
Let w be (-1 + -34)*364/(-35). Suppose 3*j = -5*l + 962, -4*l + 2*l + 4*j + w = 0. Is 43 a factor of l?
False
Suppose -4*k + 88662 = 17*k. Does 11 divide k?
False
Let h(t) = -8 - t - 4*t - t**2 + 10. Let v be h(-5). Suppose 24 = -v*n + 74. Is 5 a factor of n?
True
Let m(v) = 215*v**2 - 2*v - 12. Let p = -97 + 101. Let f be m(p). Suppose -8*r = 11*r - f. Is r a multiple of 9?
True
Suppose -2*s - 5*l = -4*s + 221, s = 4*l + 109. Suppose -142 = -k + 2*v, 3*k + 5*v - 431 + 16 = 0. Let j = s + k. Is 23 a factor of j?
True
Suppose -10*g - 23479 = -u - 5*g, 4*u - 2*g - 94042 = 0. Is u a multiple of 228?
False
Let h = 1490 + -427. Suppose 22*v - h - 5977 = 0. Is 10 a factor of v?
True
Let j(z) = 15*z - 11. Suppose 0 = -4*f - 5*h + 2*h + 29, 2*f = -5*h + 11. Suppose -5*t = f*t - 130. Is j(t) a multiple of 14?
False
Suppose -4*a + 318 = -3*n, 88 = a - 0*n - 5*n. Let m = 274 - a. Is 28 a factor of m?
True
Let k(y) = -y**3 - 12*y**2 + 39*y + 230. Is k(-25) a multiple of 30?
True
Suppose -20*f - 9 = -21*f. Is 20 a factor of 159 - (f/(-8) + 10/80)?
True
Let r be 2 + 52/(-28) - 612/(-28). Suppose -2*i + 14 = r. Is 57 a factor of 1589/4 + 1/i?
False
Let h(r) = 5*r**2 - r**3 - 6 - 4*r - 1 + 2*r + 5*r. Let z be h(4). Is (7 - z)/((-2)/10) a multiple of 14?
True
Let z = -35 + 33. Let t be (z - 2)*2 - -2. Let m = 11 - t. Is 6 a factor of m?
False
Let p(n) = 5*n**2 + 7*n - 4. Let k = 46 - 38. Let o = k - 12. Does 16 divide p(o)?
True
Let h be (-82)/(((-4)/(-16))/(11/(-8))). Let z = h + -171. Does 40 divide z?
True
Suppose 36 + 0 = 4*u. Is -10*(-27)/3 + (u - 4) a multiple of 12?
False
Let v be (4/(-12))/(4/(-972)). Let n(j) = -1 - 3 - v*j - 10*j - 14*j. Does 10 divide n(-1)?
False
Does 104 divide (2/5)/(9/2377305*7) - 3?
False
Let n(x) = -2*x + 16. Let w be n(-12). Let l be 4 + (18 - -1) - (2 - -1). Is 6/l*168/18*w a multiple of 7?
True
Suppose 20*y - 5342 = 11938. Does 8 divide y?
True
Let u(q) = 5*q**2 + 67*q - 1195. Is 101 a factor of u(26)?
False
Suppose -2329 = -5*c + 61*l - 60*l, -2*c + 940 = l. Does 11 divide c?
False
Let u = 63 - 61. Suppose -4*h = 3*i - 198, -14 = -i - u*h + 52. Is i - (-2)/2 - -4 a multiple of 31?
False
Let s(b) = -3 - 4*b**2 - 19*b + 21*b + 7 + 3*b**3. Does 28 divide s(3)?
False
Let o(k) be the second derivative of -k**5/20 + k**4/6 + k**2 - 25*k. Let z be o(2). Suppose -z*t - 5*s + 179 = -87, 2*t - 3*s - 266 = 0. Does 8 divide t?
False
Let h(x) = -378*x + 960. Is 11 a factor of h(2)?
False
Let h(c) = 72*c**2 + 95*c - 1995. Is h(21) a multiple of 28?
True
Let g be 32/6*171/76. Let w(y) = 18*y + 67. Is 14 a factor of w(g)?
False
Let i(c) = -c + 7 - 1 - 3 + 3. Let n be i(6). Does 13 divide (n - (0 - 1))/(1/108)?
False
Let c = 96 - 94. Suppose 0 = 5*n + k - 261, -15*k = -c*n - 11*k + 100. Is n a multiple of 13?
True
Let j(q) = 2*q**3 - 13*q**2 - 8*q + 9. Let u be j(6). Let p = 211 + u. Is p a multiple of 8?
True
Suppose 3*h + h + 180 = 0. Suppose 4*n = 480 + 272. Let j = h + n. Is 33 a factor of j?
False
Suppose -t = 2*s - 5585, 19116 + 3180 = 4*t - 3*s. Is t a multiple of 12?
False
Suppose 0 = -2*u - 7*b - 190 + 13950, 0 = 5*u + b - 34466. Does 47 divide u?
False
Suppose 0 = 3*k - 16*s + 12*s - 886, s = 2*k - 599. Does 5 divide k?
False
Suppose -2*a - 13741 = -5*c, -98*c + 95*c - 3*a = -8232. Does 73 divide c?
False
Does 9 divide 139116/30 - 17/85?
False
Let r = -11464 + 23344. Does 33 divide r?
True
Is (-416)/728 + (-55367)/(-7) a multiple of 11?
True
Does 24 divide 6*11/(-231) + 121780/28 + -4?
False
Suppose 4*l = -9*l. Suppose 33*k - 44*k + 6963 = l. Is k a multiple of 41?
False
Suppose -49 - 91 = -35*o. Suppose -5*b = 7*v - o*v - 3656, -3*b - v = -2196. Does 76 divide b?
False
Suppose 0 = -4*v + 12032 - 3648. Suppose v + 2539 = 3*c. Is 11 a factor of c?
False
Let a = -1448 - -2535. Suppose 21*k + 268 = a. Is k a multiple of 39?
True
Let b = 5978 - -849. Does 47 divide b?
False
Let p(d) = d + 1. Let j(k) = -3*k**2 + 6*k + 6. Let m(b) = -3*j(b) + 18*p(b). Is m(4) a multiple of 36?
True
Suppose 0 = -4*z - 2*x + 684, -3*z - 2*z = -x - 848. Let q = -89 - -55. Let w = z - q. Does 34 divide w?
True
Let x(n) = -4*n - 11. Let g be x(-5). Suppose 0 = g*s - 771 - 444. Is (224/(-40))/((-6)/s) a multiple of 17?
False
Suppose 0 = 3*z - c + 372, 3*c = -2*z + 8*c - 248. Let p = 263 - z. Suppose p = 4*b + 67. Does 10 divide b?
True
Let z(v) = 10*v + 1. Let l be z(3). Let b = 15636 + -15565. Suppose l = 6*i - b. Is 4 a factor of i?
False
Suppose 8*g - 3*g = 20, -254 = 5*o + 4*g. Let d = 68 + o. Is (d/4)/((-4)/((-456)/3)) a multiple of 12?
False
Let q(c) be the first derivative of 177*c**2/2 + 375*c - 80. Is 35 a factor of q(5)?
True
Let m be (1/(-2))/((-13)/156). Suppose -373 = m*x - 1345. Suppose -9*z + 117 + x = 0. Is z a multiple of 31?
True
Suppose 0 = -20*r - 54*r + 7104. Let d(v) = v**2 - v - 28. Let u be d(0). Let l = r - u. Does 9 divide l?
False
Suppose 4*v + 16 = -z, 3*z - 2*v = 18 + 4. Suppose -z*s = 11*s - 1230. Is s a multiple of 8?
False
Let l = 1446 + 4245. Is 7 a factor of l?
True
Let y be ((-4)/((-24)/(-9)) - 1)*2. Let x(j) = -71*j - 64. Is x(y) a multiple of 34?
False
Suppose 4*c + 91*a - 109151 = 88*a, 27300 = c - a. Is c a multiple of 22?
False
Let h = -45 - -45. Suppose -3*c - 4*v - 5 + 41 = h, -3*c + 4*v + 36 = 0. Suppose -c*d = -962 - 850. Is d a multiple of 29?
False
Suppose -35*m = -30*m + s - 46151, 5*m - 46147 = -2*s. Is m a multiple of 43?
False
Let h be (-5 + 190/25)*5. Suppose -4*m + 190 = 5*u, -3*u + 14*m + 131 = h*m. Is 4 a factor of u?
False
Let v be (-112)/10*95/(-38). Let t(l) = -l**2 + 38*l - 9. Is 30 a factor of t(v)?
False
Let x = -269 - -1193. Does 5 divide x?
False
Let m be (2/(-3))/(14/21) + 16. Suppose 3*z = -3*g - m, 0 = -2*g + 2*z + 2*z - 16. Is 11 a factor of (g + 10)*18*33/24?
True
Let r = 30075 - 14229. Is 57 a factor of r?
True
Suppose -2*z - 6*g = -146, -89*z + 92*z + 2*g = 177. Does 4 divide z?
False
Suppose 13 - 7 = 3*n. Suppose -n = -t - 0. Suppose 94 = t*l + 10. Is 14 a factor of l?
True
Suppose 5*v = w - 2832, -4*w = 3*v - 90 - 11238. Is 77 a factor of w?
False
Let w = 1846 - 1221. Suppose -2*o = 4*j - 428, -5*o + w = -5*j - 400. Is 8 a factor of o?
True
Suppose -140 = 10*g - 11*g. Let w = g + -123. Is 2 a factor of w?
False
Suppose 0 = -6*s + 19 - 7. Suppose 3*h = -5*b + 19, -2*h + s*b = -3*h + 7. Is (2*-1)/(-3*h/567) a multiple of 18?
True
Let q(r) = 392*r - 3. Let l be (-4)/(-18) - (29/9 + -4). Let v be q(l). Suppose 5*x + 2*k = 938, -2*x + v = -k + 21. Is 11 a factor of x?
False
Let r = 258 - 68. Does 85 divide r?
False
Suppose 648803 = 57*t + 98354. Does 111 divide t?
True
Let a = -37 + 184. Let l = 152 - a. Is 5 a factor of l?
True
Let b = 10931 - 8117. Is b a multiple of 16?
False
Suppose 49*b - 828036 = 2*b - 7*b