lse
Let o(a) = 13*a**3 - a**2 - 5*a - 5. Let k(m) = -12*m**3 + m**2 + 4*m + 5. Let h(v) = -3*k(v) - 2*o(v). Does 35 divide h(3)?
False
Let x = 73 - 73. Suppose -1528 - 940 = -5*n + 3*g, x = n - 4*g - 497. Does 17 divide n?
True
Suppose 4*k - 3*l = -2*l + 7439, 5*l + 9295 = 5*k. Suppose -5*m - k = -4*y, -5*y - 3*m = -7*y + 928. Is y a multiple of 54?
False
Let a(t) = 342*t**2 - 55*t - 234. Does 71 divide a(-5)?
True
Let n(w) = -31 + 15 + 7*w + 26*w**2 - 2*w + 13. Is 15 a factor of n(-2)?
False
Suppose -16 + 430 = 46*o. Does 69 divide (-230)/(o + 1233/(-135))?
True
Let n(v) be the second derivative of -v**5/12 + v**4/8 - 7*v**3 - 32*v. Let j(o) be the second derivative of n(o). Is 21 a factor of j(-3)?
False
Suppose -18*p + 16 = -20*p + 4*g, -12 = 4*p - 4*g. Suppose -8 + 0 = -p*h, 0 = -4*w + 5*h + 364. Does 8 divide w?
True
Suppose -n = 6*n - 10143. Is 9 a factor of n?
True
Let u be (49/(-196))/(1/(-10748)). Suppose -h - u = -4*j, -5*h = 5*j - 6*h - 3359. Does 28 divide j?
True
Let w be (-2)/(-5) + 44/(-110). Suppose -4*y + w*y = 5*q - 797, -y + 197 = -q. Suppose 5*h + 4*c = 241, 4*h + 0*c - 2*c - y = 0. Does 5 divide h?
False
Let s(i) = 3701*i**3 - 28*i**2 + 9*i - 12. Is s(2) a multiple of 149?
True
Let h = 291 - 255. Is 25 a factor of (-2 - 0) + 2718/(h/4)?
True
Let y(r) = -11*r**2 + 30*r + 5. Let w(o) = -5*o**2 + 12*o + 2. Let v(p) = -5*w(p) + 2*y(p). Let j be (-12)/7*(-28)/8. Is v(j) a multiple of 12?
True
Let r(m) = 22*m - 26. Let w be r(5). Let o = w - 80. Suppose -40 = -2*x + 3*y, -o*y = -0*y. Is x a multiple of 10?
True
Suppose p = -20 - 3. Let u = p - -62. Does 12 divide (-13)/u*6*-6?
True
Let l(j) = 2990*j**2 + 261*j - 261. Does 43 divide l(1)?
False
Let p(s) = 68*s - 3311. Is p(61) a multiple of 9?
True
Let q(b) = -43*b + 2235. Is 9 a factor of q(35)?
False
Let s(g) = 2*g**3 + 11*g**2 - 36*g - 33. Let q(t) = -3*t**3 - 24*t**2 + 70*t + 66. Let k(b) = -3*q(b) - 5*s(b). Does 6 divide k(10)?
False
Let t = -203 + 209. Suppose 3*z = -t*b + 11*b + 93, 0 = -5*z - 5*b + 195. Is z a multiple of 12?
True
Suppose -26285 - 86905 = -49*s. Is s a multiple of 14?
True
Suppose -5*i = -15*t + 13*t - 73283, -24 = -4*t. Is 7 a factor of i?
False
Suppose 3 - 8 = -20*o - 5. Let c(q) = -2*q - 3. Let j be c(-6). Suppose o = j*n + 5*n - 798. Is 20 a factor of n?
False
Let z(q) = 2*q**3 + 33*q**2 - 52*q - 260. Does 28 divide z(-16)?
False
Suppose 3834 = d - 5*k, -36*d + 38*d = -2*k + 7704. Does 71 divide d?
False
Suppose -5*d = -22 + 17. Let g be 0/(d/(-1*(-3)/(-6))). Suppose g = -2*k + 316 + 50. Does 14 divide k?
False
Let c = -6920 - -7072. Is c a multiple of 3?
False
Is (-2628)/(-30)*4/(-3)*7520/(-64) a multiple of 73?
True
Suppose -3*s = 31 + 26. Let m(z) be the third derivative of z**5/60 + 7*z**4/24 - 4*z**3 + 2*z**2 + 19. Is 33 a factor of m(s)?
False
Let c = 11735 + -7122. Is c a multiple of 96?
False
Let n(j) = 6*j**2 + 105*j - 1841. Is 116 a factor of n(20)?
False
Let f = -23077 + 48169. Is 18 a factor of f?
True
Let c(o) = 1782*o - 13545. Is 81 a factor of c(11)?
False
Let v(a) = -573*a + 1086*a - 551*a + 17 + 3*a**2. Is v(14) a multiple of 4?
False
Let u(f) = -106*f - 1151. Let g be u(-11). Let x(b) = -2*b + b**2 - 8 - 1 + 5 - 8. Is x(g) a multiple of 14?
False
Suppose -6*a + 55*a - 7*a - 831978 = 0. Does 15 divide a?
False
Let k = 14 - 13. Let n be (-10)/3*3/k. Let z(m) = -m**3 - 11*m**2 - 13*m - 15. Does 3 divide z(n)?
True
Suppose 0 = -7*d + 2*d - 10. Let l(o) = o**3 + 4*o**2 - 2*o - 10. Let i be l(d). Suppose 6*c = -i*c + 672. Does 14 divide c?
True
Suppose -5*p - 5*y - 2028 - 5502 = 0, -y = 0. Let i = -295 - p. Is i a multiple of 12?
False
Suppose 0 = -3*h - j + 3076, 4*h + 632 = -5*j + 4737. Is 21 a factor of h?
False
Is 169 a factor of 20/(-600)*-75*(-13544)/(-10)?
False
Let o(a) be the third derivative of -1/20*a**5 - 12*a**2 + 0*a + 0*a**3 - 1/120*a**6 + 0 - 5/12*a**4. Is 7 a factor of o(-4)?
True
Let u(i) = -18 - 56*i**2 - 579*i + 588*i + 2. Let s be u(2). Is 29 a factor of ((-23)/(-3) - -1)/((-37)/s)?
False
Suppose 0 = 6*o - 843 - 873. Suppose -o = -9*q + 281. Suppose m = -14 + q. Is m a multiple of 6?
False
Is (2/1 + 638)*(-9407)/(-818) a multiple of 40?
True
Let g(l) = -2 - 3 + 0*l - 4*l + l. Let n be g(-6). Is (n/2 - -2)*(-234)/(-13) a multiple of 17?
True
Suppose 3*k - 42 = 4*z - 17, 2*z - 4 = -4*k. Suppose 4*u - 3998 = -2*n, 2*u + u = k*n + 2994. Does 23 divide u?
False
Suppose 18*b + 869 = 113. Let v = 141 - b. Is v a multiple of 85?
False
Let d(l) = -4*l - 34. Let p be d(-13). Suppose -4*u - p*x + 19*x + 5592 = 0, -5*u = 5*x - 6965. Is u a multiple of 79?
False
Suppose 1 = -2*n + 4*n - 5, -3*l + 3*n = 0. Suppose 4*q = -65 + 233. Let r = q + l. Is 15 a factor of r?
True
Suppose 3*h - 146 = -5*c + 7*h, 5*h = 2*c - 55. Suppose 5*w + c = 40. Is 890/(-5)*w*(-3)/12 a multiple of 15?
False
Suppose 44*q = 55*q - 2640. Let b = 366 - q. Is b a multiple of 14?
True
Suppose 3*w = -2*f + 6, 2*f + 26 = 5*f - 4*w. Suppose -5*s + f*s + 4*l - 180 = 0, l - 171 = -s. Is s a multiple of 24?
True
Let i(x) = -x**2 + 20*x - 9. Let t be i(19). Does 57 divide 2/t + (11592/40 - 5)?
True
Let y be ((-18)/(-5))/(-5 - 770/(-150)). Suppose -22*k = -3*g - y*k + 167, g = 5*k + 29. Does 3 divide g?
False
Let y = 57 - 52. Let m = -71 + 73. Suppose -y*r - 5*q = -195, -r = m*q - 5*q - 47. Is r a multiple of 8?
False
Let x = -8137 + 19737. Is x a multiple of 40?
True
Suppose 5*r + 307 = 282. Is -448*(0 - (r + 7)) a multiple of 28?
True
Is (290/(-60))/29 + (-435462)/(-36) a multiple of 56?
True
Let d(s) = -225*s - 405. Let x(l) = -17*l - 31. Let v(h) = 2*d(h) - 27*x(h). Suppose 7*n - 2*n + i - 70 = 0, -27 = -4*n + 5*i. Is v(n) a multiple of 48?
True
Suppose 66*z = 3*p + 69*z + 661662, -4*p - 5*z = 882220. Does 13 divide p/(-330) + 8/(-6)?
False
Suppose h = 3*s - 546, -2680 = 4*h + h - 5*s. Let o = h - -1584. Is 13 a factor of o?
True
Suppose 4*n = -g + 52, -4*g - 4*n + 8*n + 228 = 0. Suppose 6*i - g = 166. Is i a multiple of 3?
False
Suppose 2 = 9*i + 74. Let v be (-2)/((3/1)/(36/i)). Suppose 2*h = -0*h + v*f + 27, 3*f = -2*h + 45. Is 9 a factor of h?
True
Suppose 3*w - 16 = h, -20*h + 5*w = -19*h + 26. Is 2 - ((-3)/h - 1) - -944 a multiple of 16?
True
Let p = -22236 - -24562. Does 7 divide p?
False
Let a = 6109 - 4913. Is a a multiple of 2?
True
Suppose 408 = 4*a - 2*h - 0*h, 0 = 2*a - 3*h - 200. Let w be ((-336)/196)/(4/126). Let g = w + a. Is 24 a factor of g?
False
Let b be 5*-27*(-11 + 10 + -8). Suppose 795 = 2*d - 3*c, -3*c = d + 2*d - b. Is 24 a factor of d?
False
Suppose 2*h = -3*t + 1501, t = 3*h - t - 2219. Let u = h + -237. Is 46 a factor of u?
True
Let r be (18/(-3 - -6))/(-1 - 1). Is 23 a factor of 1 + r + -2 + -1 + 343?
False
Let z = -5749 - -8622. Is z a multiple of 17?
True
Let q(t) be the third derivative of 21*t**4/4 + t**3/3 - 17*t**2. Let d be q(2). Let c = 387 - d. Does 19 divide c?
True
Suppose -y + 480 = -0*y. Suppose 4*z = z + y. Suppose -z = -9*p + 5*p. Does 10 divide p?
True
Let b(q) be the third derivative of -13/6*q**3 + 1/4*q**4 - 15*q**2 + 0 + 1/60*q**5 + 0*q. Is 7 a factor of b(-9)?
True
Let y(d) = 4*d**3 + 2 - 4 - d**2 - 3*d + 0*d. Suppose -21 = -396*w + 389*w. Is y(w) a multiple of 40?
False
Let i(w) = 12 + 3*w - 5*w + 87. Let z be i(0). Let s = z + -65. Is s a multiple of 5?
False
Suppose 0 = -178*a + 179*a - 5*d - 4130, -4*a + 16445 = 5*d. Is 201 a factor of a?
False
Let o be 12/10*(-1 + 169/39). Is 23 a factor of (-2922)/o*(-9)/(162/24)?
False
Suppose 6*m - 559 = 587. Let w = m - 79. Is 16 a factor of w?
True
Suppose -z = -2*z + 6. Suppose 9*p = z*p. Suppose -43*d + 40*d + 69 = p. Is d a multiple of 14?
False
Let f be -1 + 2 + (-1)/(4/652). Let u = f - 84. Let h = u + 366. Is 30 a factor of h?
True
Let q = 4586 - -2899. Is q a multiple of 15?
True
Does 47 divide (30724/7)/(20/70)?
False
Suppose 257*u - 255*u = -18. Let m(y) = -102*y + 90. Is m(u) a multiple of 21?
True
Let b = 1525 - 903. Let m = 917 - b. Let t = m - 211. Is t a multiple of 32?
False
Is 24 a factor of (-4)/16 + 742413/196 - 52/91?
False
Let x(k) = -2*k**2 - 6*k + 67. Let u be x(-8). Suppose -16 = 4*l, -5*m - 2*l = 357 + 66. Let d = u - m. Does 18 divide d?
False
Let w(v) = 3 + v - 3 + 1 + 3. Let t be w(-25). Let g = 206 - t. Does 18 divide g?
False
Let w(i) be t