lse
Suppose -3*q + 12 - 3 = 0. Suppose -q*j = 63 - 18. Let w(b) = b**3 + 16*b**2 + 14*b + 8. Is w(j) a multiple of 22?
False
Suppose 2*h = 743 - 259 + 1350. Is 7 a factor of h?
True
Suppose -4*b - 5*g + 10541 = 0, 763 + 12410 = 5*b + 3*g. Let n = -1450 + b. Is n a multiple of 74?
True
Let r be -1*(-550 + 2 + 1). Let g = -222 + r. Is 25 a factor of g?
True
Suppose 431 = 3*l - 334. Suppose -6*m - 291 = l. Is 14 a factor of -1 - -5 - (m + -5)?
False
Is ((-27)/72)/(5/(-5560)) a multiple of 6?
False
Let q be (25 - (-6 + 3)) + 2. Let r = q + 27. Is r/(-9)*8*(-3)/2 a multiple of 15?
False
Let w(r) = -r**3 - r**2 - 3. Let l = -57 - -57. Let z be w(l). Is 5 a factor of (-1 + 3)/(z/(-15))?
True
Let w = 30673 + -8053. Does 26 divide w?
True
Suppose -3*k + 11 = -0*h - 2*h, 3*h + 18 = 5*k. Is 9 a factor of 3/(h + 240/236) - -4?
False
Let b be 2*(120/50 + 4/(-10)). Suppose 32 - 40 = -b*t. Does 35 divide t/((-1)/345*-6)?
False
Suppose -8*v = 343 + 177. Let h = 132 + v. Is h a multiple of 6?
False
Suppose 20 = -6*n + 11*n. Let l(a) = 186*a - 27. Let m be l(n). Is (-1)/((-2 - -1)*3/m) a multiple of 28?
False
Let x(j) = -2*j + 11. Let y be x(-3). Suppose -3*d = -2*z - y, -z + 3 - 24 = -4*d. Is (z - -48) + (0 - -1) a multiple of 6?
True
Suppose 0 = -8*m + 23*m. Suppose 194*y - 199*y + 650 = m. Does 13 divide y?
True
Let v = 25987 + -15468. Is v a multiple of 17?
False
Let u = 6545 - -15981. Does 12 divide u?
False
Suppose -22*m = -17*m - 5. Is 24 a factor of (-11)/(-9) - m - 30862/(-117)?
True
Suppose 6*d - 4*p = 2*d + 60, 5*p = 10. Suppose 13*k + 264 = d*k. Suppose -4*x = t - k, 3*x - 40 = 2*t + 2*t. Is 6 a factor of x?
False
Suppose 3*i - 7557 = -2*k + 484, -2*k + 8001 = -5*i. Is 32 a factor of k?
False
Let q = -3517 - -12538. Is 31 a factor of q?
True
Let f = -41 - 232. Let g = 328 + f. Does 11 divide g?
True
Suppose -2*p + 2 = -2*f, 2 = -p + 3*f - 1. Suppose -y - 1309 = -3*m, 0 = -p*m + 8*m - 4*y - 2177. Is 23 a factor of m?
True
Suppose -164220 = 16421*j - 16426*j. Does 138 divide j?
True
Is 15 a factor of -2 + -7 + -6 + 21710 + -13?
False
Let o(h) = h**3 + 3*h**2 - 6*h + 2. Let p be (-11)/3*(0 - -9). Let r be p/(-9) + (-8)/(-6). Is o(r) a multiple of 43?
True
Suppose 5*w + 6269 = v, -107*v + 103*v - 3*w + 25122 = 0. Is v a multiple of 13?
True
Let i = 104178 + -53365. Is i a multiple of 17?
True
Suppose -79*y - 26780 = -51*y - 54*y. Is y even?
True
Let u = 233 + -116. Suppose -5*h + 18 + u = 0. Let g = 59 - h. Is 22 a factor of g?
False
Let i = 11945 - 1088. Is 8 a factor of i?
False
Let y(t) = t**3 + 25*t**2 - 3*t - 5. Let o be y(-21). Suppose -8*j - 414 = -o. Suppose 4*b - j = -0*b. Is 7 a factor of b?
False
Let u(b) = -b**3 + 36*b**2 + 113*b - 28. Is u(31) a multiple of 15?
True
Let p(y) = 42*y**2 - 6*y - 4. Suppose -4*f + 5*g = 313, -g = -f + 4*f + 230. Let x = f - -76. Is 11 a factor of p(x)?
True
Let n be 4790 + -6*4/(-6). Suppose 17*l - n = 748. Suppose -5*z = -5*c + l + 429, 579 = 4*c + z. Is 7 a factor of c?
False
Let b(g) = g + 13. Let v be b(-3). Let s be (v/(-4))/(65/(-156)). Does 12 divide (102/(-42) - s/(-14)) + 110?
True
Suppose 10*o + 2610 = 16*o. Let w = o - 84. Does 34 divide w?
False
Suppose -36*b + 54*b = 318384. Is 88 a factor of b?
True
Let y be 2 + -1 - (-3 - -8). Let z(l) be the first derivative of 10*l**3/3 + 3*l**2/2 + 9*l - 297. Is z(y) a multiple of 40?
False
Suppose 13*v - 40921 = 3838. Does 48 divide v?
False
Suppose n - v - 1 = 2, 17 = 4*n + v. Suppose 0 = 3*o - 2 - n. Suppose -o*b - 6 + 246 = 0. Is b a multiple of 30?
True
Let o(d) = 36*d**3 - 3*d**2 + 2*d. Suppose 114 = -22*x + 60*x. Does 39 divide o(x)?
False
Does 16 divide ((-1066)/(-1))/((-11)/(14 + -3))*-2?
False
Suppose -112*o + 716014 = 23854. Is o a multiple of 42?
False
Let a(f) = 15*f - 197. Let m be a(18). Suppose -4*y + y = 102. Let g = y + m. Is g a multiple of 13?
True
Let t = -57 + 93. Suppose -3*v + 294 = t. Suppose 0 = -14*n + v + 96. Is 2 a factor of n?
False
Suppose 5*l = 30, 5*v = -5*l + 66244 + 65551. Is v a multiple of 61?
False
Suppose 0 = g - 6366 - 5122 - 7478. Is g a multiple of 109?
True
Suppose -152*y + 7600 = -142*y. Does 10 divide y?
True
Suppose -62*y + 269538 + 619604 = 0. Does 149 divide y?
False
Suppose -21 = -5*d - 2*k, -2*d + 7 = 2*k - 5. Suppose 2*p + 5 = -3*t, 6*p - d*p - t + 13 = 0. Let i = 84 - p. Is i a multiple of 9?
False
Suppose g + 17 + 41 = 5*s, 0 = s - 2*g - 8. Is 10 a factor of s + -9 + 34/2 + 0?
True
Let d(x) = x**3 + 2*x**2 - 2*x - 2. Let k be d(-2). Suppose k*f - 10 = 3*f. Let n(o) = -17*o + 19. Is 21 a factor of n(f)?
True
Let i be (-3)/(-2) + 6/(-12). Let y be (i + 4/(-3))/(2/(-6)). Does 16 divide (y + -2)/(-2 + (-95)/(-48))?
True
Let l(c) = 21*c**3 - 6*c + 1. Let y be l(-3). Let k = y + 1034. Is 54 a factor of k?
True
Let y be (25*2)/(((-72)/(-152))/9). Suppose 0 = -b + 3*w + 589 + y, -4*b - 5*w = -6105. Is b a multiple of 90?
True
Let k = 111 - 125. Let a = k + 124. Does 5 divide a?
True
Let y = 211 - 206. Suppose -4*b = -3*m - b + 372, 0 = y*m + b - 620. Is m a multiple of 7?
False
Let i(a) = a**3 + 5*a**2 + 3*a + 5. Let m be i(-4). Let h(j) = 3 + 39*j + 35*j - 68*j. Is 11 a factor of h(m)?
False
Suppose 1 = 30*q + 1. Suppose -l + 3*t + 90 = t, q = -5*l - t + 428. Is 7 a factor of l?
False
Let o(f) = -17*f + 3. Let g be o(0). Suppose -g*w + 380 = u, -3*w + 0*w + 1556 = 4*u. Is u a multiple of 5?
False
Suppose 54*a = 3516 + 426. Does 4 divide a?
False
Let i(x) be the second derivative of x**5/20 + 5*x**4/6 + x**3/6 + 31*x**2/2 + 16*x + 3. Is 11 a factor of i(-7)?
False
Suppose 4*k = 1311 - 387. Suppose -m + 647 = 4*j + k, -295 = -3*j - 5*m. Does 21 divide j?
True
Let i(k) = -k**3 + 27*k**2 + 5*k - 5. Let b be i(20). Let d = 4220 - b. Does 30 divide d?
False
Suppose 118*p = 19*p + 1131273. Is 16 a factor of p?
False
Let c = -1999 + 5089. Is 6 a factor of c?
True
Let n = 14038 + -9718. Is 32 a factor of n?
True
Suppose 0 = -4*y - 5*m - 61, 35 = -4*y - m - 6. Is 5 a factor of -9*35/(-42)*(-282)/y?
True
Let j(n) = -n**2 + 8*n - 13. Let d be j(5). Suppose -d*a - 28 = 5*a. Let h(g) = 9*g**2 + 5*g - 4. Is h(a) a multiple of 15?
True
Let s(a) = a**2 - 41*a + 117. Let p be s(38). Suppose -3*l - q + 4931 = l, p*q + 3687 = 3*l. Is 88 a factor of l?
True
Is 16 a factor of 19903 + (5 + 99)/13?
False
Suppose 5*s + 190 = 6*h - h, 36 = h - 3*s. Let p = 117 - h. Does 16 divide (6 + -2)/2 - p/(-1)?
True
Let n(u) = u + 3. Let y be n(1). Suppose -2*t + p = -840, -128*p + 1668 = y*t - 124*p. Does 12 divide t?
False
Let q be (-1 + 4)/((-6)/(-60)). Let f = -28 + q. Is (-3 - f) + -3 + 50 a multiple of 17?
False
Is 76077/21 + ((-40)/(-28))/5 a multiple of 53?
False
Is 3 a factor of (-9134)/(-12) - ((-11)/((-121)/55))/(-6)?
True
Suppose 2*v = -12*v - v + 241440. Does 16 divide v?
True
Let k(l) = -6*l - 7. Let g be k(41). Let r = 1092 + g. Does 10 divide r?
False
Let h = -127 + 101. Let k(j) = j**2 + 24*j + 50. Does 25 divide k(h)?
False
Let d be (-14)/21 - (-2)/3. Suppose 3*h + 39 - 48 = d. Suppose l + 3*l + 3*x = 30, l - 12 = -h*x. Is l a multiple of 3?
True
Suppose -39*b + 119397 = -141708. Is b a multiple of 14?
False
Suppose -6*r - 95 - 49 = 0. Let b = 432 - r. Is b a multiple of 12?
True
Suppose -7*d - 45 = -16*d. Let j(a) = 12*a**3 + 7*a**2 + 13*a + 3. Is j(d) a multiple of 34?
False
Suppose 3*p = 8*p - 5820. Let l = p - 207. Is ((-1)/(-2))/(-3 - l/(-318)) a multiple of 6?
False
Let d(p) = 6*p**2 + 46*p + 16. Let q = 318 + -310. Is d(q) a multiple of 24?
True
Let j = 767 - 855. Is 14 a factor of 5438/4 - (-132)/j?
True
Is (48/100)/6 - (766740/(-125) + -3) a multiple of 112?
False
Suppose -110*g = -114*g - 2932. Let x = g + 1370. Does 49 divide x?
True
Let k be (-1)/((-2)/27*(-3)/(-4)). Suppose 4*i + 2*s + k = 9*i, -22 = -3*i + 4*s. Suppose o = -9 + 6, -n = i*o - 264. Is n a multiple of 13?
False
Let i(o) be the first derivative of -o**3/3 + 23*o**2/2 + 14*o - 3. Suppose -66*a + 30*a = -504. Is i(a) a multiple of 53?
False
Let v(y) = -5*y**3 + 6*y**3 + 27 - 35*y + 13*y**2 + 8*y. Does 45 divide v(-12)?
True
Suppose -n = -0*n + 5*y + 52, 5*y + 89 = -2*n. Let w(c) = 2*c**3 - 4*c**2 - 14*c + 2. Let p be w(5). Let u = p + n. Is u a multiple of 4?
False
Let c = 19 - 16. Suppose c*v = -4*s + 305, -3*s - 5 = v - 110. Is 11 a factor of v?
True
L