3 + y**2 - 7*y + 13. Is o(2) a multiple of 11?
True
Let l(t) = 6*t - 23. Suppose -2*k = -k - 26. Suppose -4*a + u + k = 2*u, 2*a - 6 = -4*u. Is l(a) a multiple of 2?
False
Let w(l) = l**3 - 5*l**2 - 36*l - 1. Let m be w(9). Let d be -1 + -1 - (-11 - m)/2. Does 37 divide (-590)/(-3) - (-1)/d?
False
Suppose 128*c - 1761 = 1823. Is c a multiple of 14?
True
Let h(z) be the second derivative of -z**4/12 - 2*z**3 + 31*z**2/2 + 14*z. Let m be h(-14). Suppose 0 = -m*o - 5*o + 96. Does 2 divide o?
True
Suppose 0 = -9*o - 24*o + 32340. Is o a multiple of 10?
True
Suppose 6*a + 2*g = 81266, -10*a - 5*g - 67755 = -15*a. Does 12 divide a?
False
Let l be (-156)/8*(-4328)/12. Suppose -l + 1937 = -14*x. Does 52 divide x?
True
Let j(l) = -2*l**3 + 4*l**2 - 2*l + 2. Let m be j(3). Let d = -3 - m. Suppose d*a + 144 = 25*a. Is 15 a factor of a?
False
Is 6 a factor of (-4)/(-1) - (-1 - 2/2)?
True
Is 37009/14 + 55/22 a multiple of 6?
True
Let k(l) = 20*l + 84*l + 47 - 26*l - 97 + 48. Let m(v) = v + 5. Let j be m(-4). Is 9 a factor of k(j)?
False
Suppose o = -464 - 304. Let s = -417 - o. Is s a multiple of 39?
True
Does 28 divide (-251175 + 23)/(-22) + -7?
False
Let j be 1/6*-2*(6 - 111). Let x = j + 48. Suppose -6*m = -605 + x. Is 14 a factor of m?
False
Suppose 2*d = -0 + 12. Let m be (-12)/(-21) - (-726)/(-21)*-41. Suppose -m = -d*j + 4. Is j a multiple of 27?
False
Let m(u) = 4*u**2 - 2*u - 6. Let b be m(3). Suppose 2*l - 68 = b. Suppose 0 = 2*w - 66 - l. Does 10 divide w?
False
Let a be (-852)/(-54) + 5 + (-2)/(-9) + -3. Suppose -4*w = -w. Suppose w = -a*t + 16*t + 122. Is t a multiple of 13?
False
Let b = 19661 + -12144. Does 82 divide b?
False
Is (-246663)/(-21) - 4/56*-2 a multiple of 14?
True
Suppose -81902 + 257546 = 9*i. Does 9 divide i?
False
Let m = -667 - -1007. Suppose -347 = -4*b - 3*g, 5*g = 4*b + g - m. Is 43 a factor of b?
True
Let a = 342 - 302. Let x = a + 233. Does 21 divide x?
True
Let s(k) = -k**2 - 10*k - 18. Suppose 11*f + 46 = -31. Let u be s(f). Suppose -u = -2*i + 105. Does 13 divide i?
False
Suppose -2*o = 5*m - 74225 - 731, 5*o - 187460 = 5*m. Is 40 a factor of o?
False
Let w(t) be the third derivative of t**5/20 - 9*t**4/8 + 2*t**3/3 - t**2. Does 32 divide w(13)?
True
Suppose -5*r - 4*a = -8, -r + 2 = -42*a + 43*a. Suppose r = -o + 110 + 9. Is o a multiple of 12?
False
Let g(r) = 1889*r**2 - 162*r + 489. Does 218 divide g(3)?
True
Let p = 349 - 248. Suppose 4*o - 2*u - 178 = -0*o, 5*u - p = -3*o. Suppose -2*c + 61 - 17 = 2*x, -c = 2*x - o. Is x a multiple of 3?
False
Suppose k + 13 = -5*f - 3, 2*k + 8 = -4*f. Suppose 4*t = 16, 4*t + 900 = k*x + t. Does 15 divide x?
False
Let o(n) = 4*n**2 + 16*n + 246. Is 122 a factor of o(-22)?
True
Let b = 54 - 39. Suppose b*m + 4 = 19. Does 31 divide (205 - -1) + m*(4 - 4)?
False
Suppose 2*j - 138 = -5*h, -4*h + 16*j - 13*j = -115. Let x(i) = -i**3 + 21*i**2 + 234*i + 2. Is 82 a factor of x(h)?
True
Suppose 5*j - 115073 = -3*t, -12*t = -3*j - 268761 - 191370. Is t a multiple of 66?
True
Suppose -13*x + 10*x = 24. Let k = x + 11. Does 3 divide (k/7)/((-4)/(-28))?
True
Let p be (-2 - -2) + (0 - -1). Let m be (p/(-3))/(4 + 44/(-12)). Is 222/18 + 1/3*m a multiple of 6?
True
Let z(v) be the first derivative of 23*v**3 + 2*v**2 - 2*v + 1. Let o be z(-2). Suppose 3*p = 4*p - o. Does 38 divide p?
True
Let h(r) = 1246*r + 318. Is 19 a factor of h(3)?
False
Let y(c) = c**3 + 6*c**2 - 32*c - 32. Let v = 147 + -154. Is 4 a factor of y(v)?
False
Let y = 9198 - 9298. Let g = 289 - 121. Let s = g + y. Is s a multiple of 5?
False
Suppose -16*i = 8271 - 719. Let j = i + 1033. Does 33 divide j?
True
Is 15/(-30) - 100010/(-20) a multiple of 5?
True
Let v(n) = -n - 104. Let q be v(0). Let w = 248 + q. Is w a multiple of 9?
True
Suppose -5*b - 16*l + 29991 = 0, l - 6599 = -b - 581. Is 17 a factor of b?
False
Let s be ((513/36)/(-19))/(1/60). Suppose -2*z + 4*j + 20 = -0, 3*z = -2*j + 6. Is 4 a factor of (-4)/(z + 190/s)?
False
Suppose 0 = -176*h + 175*h + 20. Suppose -16*z = -h*z + 216. Is 4 a factor of z?
False
Let i(x) = -x + 1. Let j(k) = 5*k - 19. Let b(t) = 2*i(t) + j(t). Let u be b(7). Is 3 a factor of 8 - (u/8 - 1)*2?
True
Let p(a) = -a**2 + 100*a + 471. Is p(95) a multiple of 22?
True
Let u = 392 - 389. Suppose 10*z = -2*l + 15*z + 246, 0 = u*l + 5*z - 369. Does 3 divide l?
True
Let i(m) = -2*m**3 - m**2 + m - 40. Let x be i(0). Let s = x + 289. Is s a multiple of 83?
True
Is 2900/(-8)*(12342/55)/(-17) a multiple of 55?
True
Suppose q - 2*w = 768, 7*q - 3*w = 6*q + 764. Let o = q - 332. Does 6 divide o?
True
Suppose 2*i - 28 + 20 = 0. Suppose 5*h = 2*h - 5*w + 163, 2*h = -i*w + 106. Is h a multiple of 30?
False
Let l be (-310)/(-8) + (-1)/(-4). Suppose -22*s + 2198 + 992 = 0. Let g = l + s. Is 46 a factor of g?
True
Suppose -84*z = 28*z - 118720. Is 20 a factor of z?
True
Let o = 944 - 301. Let m = o + -423. Is 6 a factor of m?
False
Let h = -273 + 2513. Suppose 38*t - h = 40. Is 60 a factor of t?
True
Suppose 73*r - 1083418 = -306812 + 602729. Is 8 a factor of r?
False
Let a(l) = -l**2 - 11*l - 26. Let r be a(-6). Suppose 8*k + r = 10*k. Does 10 divide (-1)/2 + 49/k + -4?
True
Suppose -3*j + 3*h = -0*h + 39, 3*j = -4*h - 46. Let p(f) = 7*f + 23 - 4*f + 6*f - 1 - 10*f. Does 5 divide p(j)?
False
Let k(i) = -2*i + 1 + 2*i**2 - 7 - 5. Suppose 14*o = -4182 + 4294. Does 18 divide k(o)?
False
Let k = 7587 + -5145. Does 66 divide k?
True
Let x = -18272 + 40338. Is 11 a factor of x?
True
Let v(y) = y**2 + 9*y - 17. Let g(w) = w**2 + 2*w - 6. Let l be g(3). Let f(h) = h**3 - 8*h**2 - 9*h + 4. Let d be f(l). Is 11 a factor of v(d)?
False
Let r = -210 - -14615. Is r a multiple of 43?
True
Let a = 22754 + -21575. Does 24 divide a?
False
Suppose 0 = 2*g - h + 784 - 2424, 5*g = 6*h + 4107. Is g a multiple of 4?
False
Suppose 2*v + 4*u - 32 = 16, u + 38 = 2*v. Suppose -5*y = v, 0 = s + 5*y - 130 - 6. Is 13 a factor of s?
True
Suppose 31856 = 5*c + 4*v, 4468 + 8308 = 2*c - 4*v. Is c a multiple of 152?
False
Suppose -4299354 = -110*g - 663854. Is g a multiple of 10?
True
Suppose c + 6330 = 5*z + 16629, -5*c + 4*z = -51327. Is c a multiple of 5?
False
Let w = -256 + 494. Suppose -2*v + 2*t + 444 = 0, 5*t = 2*v - 212 - w. Is v a multiple of 55?
True
Let y(k) = 22*k**2 + 2*k - 8. Let i be y(-5). Let u = -494 + i. Is u a multiple of 19?
True
Let t(q) = 4*q - 16. Let m be t(3). Does 12 divide 3146/65*(-10)/m?
False
Let z(n) = 148*n + 15. Let m(f) = 49*f + 5. Let a(o) = -17*m(o) + 6*z(o). Is 33 a factor of a(4)?
False
Let s be ((-6)/(-2))/9 - (-16)/24. Does 28 divide (0 - -1)*-70*(s - 7)?
True
Suppose 4*t + 4*f - 16 = 0, -3*f - 6 = -3*t - 0. Does 17 divide t + (-2595)/(-7) - 14/(-49)?
True
Let q be -2*(-4)/(-6)*(-18)/8. Suppose -q*z - 3*y = 150, -2*y = y - 9. Let n = z - -107. Is 54 a factor of n?
True
Let z(s) = -119*s - 2. Let o be z(-5). Suppose 0 = 3*p - 3581 + o. Does 12 divide p?
True
Suppose 0 = 4*l + 4*b - 17464, 92*l + 4*b + 4336 = 93*l. Does 20 divide l?
True
Does 70 divide (-10)/16 + (-8)/((-1216)/7638703)?
False
Let z(d) = -4*d**2 - 96*d + 158. Is 23 a factor of z(-18)?
False
Let p(h) = -7*h - 31. Let y be p(-4). Is 4 a factor of -3 + 2 + (-2)/y*84?
False
Suppose 285363 = 63*j - 396864. Is 119 a factor of j?
True
Let z(p) = 42*p**2 - 32*p - 212. Is 9 a factor of z(-7)?
True
Suppose -33*m + h = -32*m - 186, -h - 3 = 0. Let y = 47 + m. Is 23 a factor of y?
True
Let w(i) = -i**3 - 10*i**2 - 7*i - 20. Let j be w(-11). Suppose 91 = 2*n - 5*y - 99, 0 = -2*n + 2*y + j. Suppose 5*v - 150 = n. Is v a multiple of 8?
False
Let q = -3444 - -15160. Is 6 a factor of q?
False
Does 10 divide (1 - 740)*-2 - 8/20*-5?
True
Let p(i) = 5*i - 38. Let n be p(8). Suppose n*v = 810 + 1080. Is v a multiple of 27?
True
Suppose -3*n = -2*u - 131, 139 = 5*u - 3*n + 471. Let y = u + 479. Is y a multiple of 14?
False
Suppose -205*s = -144*s + 216*s - 9029646. Does 20 divide s?
False
Let d(x) = -6*x**3 - 3*x**2 + 2*x. Let o be d(1). Let w(k) = 7*k**2 - 9*k + 42. Is 32 a factor of w(o)?
True
Let o(c) = -709*c - 201. Does 12 divide o(-2)?
False
Let o = 20 - 9. Suppose -o*l = -18*l + 357. Is 2 a factor of l?
False
Suppose -12735 = -3*b - 5*p, 8*b = 6*b - 3*p + 8489. Is 18 a factor of b?
False
Let q(a) = 3*a**2 + 4*a + 2. Let p be q(-2). Let b be p/((-