lse
Suppose 1 = 3*v - 14. Let l be (49 + -49)*1*-1. Suppose -4*g - 74 = -5*w, l = w - 0*w - v*g - 19. Is 7 a factor of w?
True
Suppose 2 = -2*b + 3*b. Suppose -5 = -b*f - a, f + a + 7 = 5*f. Let h(w) = 16*w**3 + 2*w**2 - 1. Is h(f) a multiple of 46?
False
Let p(q) = 194*q**3 + 2*q**2 - q + 2. Let w be p(2). Suppose 4*y = 0, 2*l + 22*y - w = 18*y. Is l a multiple of 78?
True
Let u = -59 + 90. Suppose u - 23 = 2*k. Suppose 9*n - k*n - 425 = 0. Is 17 a factor of n?
True
Let y(b) be the first derivative of -b**4/4 + b**3 + 5*b**2 + 5*b + 9. Let u be y(5). Suppose 4*r = u*p - 281, 2*p - 4*r - 122 = -0*r. Is p a multiple of 6?
False
Suppose 0 = -6*z + 314 - 80. Suppose -40*j + z*j + 163 = 0. Let b = j - 107. Does 14 divide b?
True
Let t(o) = o**2 + o - 4. Let b be t(-3). Suppose -3*k = -4*f + 511, -7 = -f + b*k + 127. Suppose c - n - f = 0, 2*c = -c + 4*n + 374. Does 27 divide c?
False
Let a(z) = -z**3 - 16*z**2 + 15*z - 20. Let o be a(-17). Suppose 15*m = o*m + 297. Does 66 divide m?
False
Suppose 2*b = -2*u + 7*b + 17391, -4*u - 4*b + 34796 = 0. Does 16 divide u?
False
Suppose 4*w - 2368 = -y, -5*y = -2*w + 954 + 252. Let k = w - 397. Let r = -64 + k. Is 48 a factor of r?
False
Suppose -7 = 3*q - n, 4*q + n - 7 = -28. Let j(o) = -94*o - 28. Is 61 a factor of j(q)?
False
Let n = 37915 - 24799. Is n a multiple of 12?
True
Suppose -b - d = -193, 3*b + 0*b = -2*d + 582. Suppose -4*z = -0*z - 16, 4*g + 4*z - b = 0. Is g even?
False
Let c = 8275 + -4819. Does 27 divide c?
True
Let z(s) = s**2 + 7*s - 13. Let n be z(-8). Let t be (5 - (-422)/(-10))*n/2. Suppose -39 - t = -3*k. Is 13 a factor of k?
False
Let w be 1830/25 - (-2)/(-10). Let q = w + -18. Let s = q + -21. Is s a multiple of 17?
True
Let d be (-129)/10 + 9/(-90). Let c(j) = j**3 + 19*j**2 + 19*j - 61. Is c(d) a multiple of 24?
False
Suppose 15*y = -2*x + 12*y + 55, -3*x + 74 = -4*y. Suppose 18*n - x*n = -1960. Is n a multiple of 40?
False
Suppose 0 = -3*j - 5*g + 7*g + 13629, 5*j + 2*g - 22731 = 0. Is 41 a factor of j?
False
Let a = 11640 - 9277. Is 89 a factor of a?
False
Suppose -9*a - 9519 = 10*a. Let d = 776 + a. Suppose -3*x + d = -0*x + 5*m, 2*x = 2*m + 178. Is 15 a factor of x?
True
Let f(v) = -3*v**2 + 4*v + 16. Let s be f(5). Let r = -36 - s. Suppose -2*h - g = 175 - 538, 3*h + r*g = 537. Is 23 a factor of h?
True
Does 8 divide (-6)/(-14)*792*10066/2157?
True
Let j = -640 + 642. Suppose -4*l + 4*p = -28 + 4, j*l + p = 9. Is 2 a factor of l?
False
Let x = 38940 + -31937. Is x a multiple of 45?
False
Suppose 20*m - 23*m = 12, 3*o - 786 = 3*m. Suppose 4*k = l + 1489 - o, -l = -2*k + 615. Is k a multiple of 22?
True
Suppose -3*l + 280 = d, -3*d + 5*d - 284 = -3*l. Let b be (36/(-21))/6 + (-859)/7. Let i = l - b. Is i a multiple of 29?
False
Suppose -z = 3*q - 23, 36 = 2*z - 0*q + q. Suppose z*h + 1449 = 24*h. Does 23 divide h?
True
Let y be 64/128*(1 + -1). Suppose y = 3*z - g - 2241 + 889, -4*z = -2*g - 1804. Is 18 a factor of z?
True
Let c be (1/1)/((-282)/(-57) + -5). Let n = c - -21. Suppose 2*m - 2 = 4*v, -n*m - 2*v + 4*v = -12. Is 8 a factor of m?
False
Let o = -1403 - -6561. Is 123 a factor of o?
False
Let m(v) = 3394*v**3 + 20*v**2 - 19*v - 1. Does 6 divide m(1)?
False
Let t = -30744 - -38570. Does 43 divide t?
True
Let d = 8723 - 6158. Is 18 a factor of d?
False
Let v = 6465 + 16555. Is v a multiple of 7?
False
Let r(u) = 16*u**2 - 12*u - 28. Let p(a) = 2*a + 1. Let f(s) = 4*p(s) + r(s). Is 12 a factor of f(10)?
True
Let s(h) = -h**3 - 2*h**2 + 8*h + 7. Let j be s(-3). Does 11 divide (-2)/j - 3325/(-28) - -2?
True
Let v(k) = 11*k**2 - 449*k - 34. Does 209 divide v(-28)?
False
Let c be -2*2/4*(10 - 49). Suppose c*z - 52*z + 3120 = 0. Is 6 a factor of z?
True
Suppose -54*f - 77*f + 170*f - 663624 = 0. Is f a multiple of 123?
False
Let t = 0 - 1. Let a be 84 - ((-5)/(10/4) + -4)/2. Does 4 divide (-3 - (t - a)) + 3?
True
Let f = -18 + -43. Let z = f - -55. Is 40 a factor of (-2)/(-9) - (2019/(-27) + z)?
False
Let v = 8 - 4. Suppose b = v*r + 100, -4*b = 6*r - 4*r - 382. Let l = 108 - b. Does 4 divide l?
True
Let a(g) = 18*g - 264. Let p be a(21). Suppose 0 = -3*x - 3*c + 4239, -116*c + p*c + 10 = 0. Is 38 a factor of x?
False
Suppose -3*f = 0, -2*y = -3*f + 19 + 71. Does 21 divide (-733 - (-2 - -2))*(44 + y)?
False
Let i = 161 - 7. Suppose i*n - 161*n = -924. Is 33 a factor of n?
True
Does 7 divide 342972/90*630/147?
False
Suppose 54 = 3*b - 128 - 31. Does 8 divide b?
False
Is ((-200)/(-70))/((-4)/(-784)) a multiple of 45?
False
Let s be (-1461)/1*10/(-30). Let n = 819 - s. Does 23 divide n?
False
Suppose -4*p = c - 11785, 18*p + 5*c = 14*p + 11805. Does 5 divide p?
True
Does 3 divide -8 + (-234)/(-27) - (75680/(-24) - 2)?
True
Suppose 4*y + 248 = 4*a, -4*y - 3*a = a + 232. Suppose 2*t - 4*t = -160. Let h = y + t. Is h a multiple of 2?
True
Let l(x) = 59*x**2 - 1107*x - 90. Is l(27) a multiple of 8?
True
Suppose -2*p = 3*r + 4, 2*p + 6 = -3*r + r. Let v(j) = j**2 - 2*j**r - 131 + 235. Is 26 a factor of v(0)?
True
Suppose -27*l = -28*l - 11*l + 328080. Does 69 divide l?
False
Is 11 a factor of ((-75)/90 - 1/6)*(-6955 + 24)?
False
Let i(o) = 5*o**2 - 21*o - 56. Is 13 a factor of i(18)?
False
Let z(j) = -11*j + 146. Let g be z(13). Suppose -347 = -g*b + 517. Is b a multiple of 20?
False
Suppose 1200*w = 1198*w + 457 - 113. Suppose d - 3*j = 6, d + 5*j = 3*d - 10. Suppose d = 12*t - 16*t + w. Is t a multiple of 5?
False
Suppose 53*s = 52*s + 462. Does 12 divide s?
False
Let p = -28 + 13. Let w(d) be the first derivative of -d**2/2 + 33*d - 2. Is w(p) a multiple of 16?
True
Let y be (-18 + 15)/(2 + (-22)/8). Is -4*y/8 + 71 a multiple of 17?
False
Suppose 10*l - 1788 = 3302. Is l even?
False
Suppose 4*s - 24*v - 143497 = -19*v, -s + 35871 = 2*v. Is 48 a factor of s?
False
Let m(s) = s**3 + 8*s**2 - 6*s - 2. Suppose 0 = -4*l + 120 - 0. Suppose 9*j + l = 4*j. Is 10 a factor of m(j)?
False
Suppose -3 = 3*d + 2*k + k, 0 = -5*d + 5*k - 5. Let f(w) = 40*w + 43. Let n(c) = 18*c + 25. Let t(i) = -3*f(i) + 5*n(i). Is 26 a factor of t(d)?
True
Let r = 7441 - 3523. Is 21 a factor of r?
False
Let x be (35/(-14) + 2/4)*-2. Suppose -5*i - 5*u = -i + 7, -2*i = x*u + 8. Is 16 a factor of (i/4)/(3/6) + 64?
False
Let d = 29723 + -27651. Is d a multiple of 56?
True
Suppose -105*i + 111*i = 16110. Suppose -5696 = -29*h + i. Is h a multiple of 5?
False
Suppose 32143 = 58*g - 42*g - 994849. Is 17 a factor of g?
False
Suppose 11*g + 4*g - 337792 = -14*g. Is g a multiple of 52?
True
Let i(n) = -132*n**3 - 8*n**2 - 186*n - 1020. Is 32 a factor of i(-6)?
True
Let a(h) = -16*h - 6. Let s be a(-2). Let i = s - 35. Let t(v) = v**3 + 10*v**2 + 4*v - 20. Is 7 a factor of t(i)?
False
Does 200 divide -30316*(-444)/384 + -1*(-2)/16?
False
Let h be 77*76/12 - (-2)/6. Let j = 58 + h. Does 42 divide j?
True
Suppose -17616 = -5*u + 4*w, -3*u + 5*w + 12844 - 2277 = 0. Is 9 a factor of u?
False
Let u(o) = 4*o**2 - 4*o - 2. Let g be u(-4). Let j(b) = 18 - 72*b**2 - 3*b**3 + g*b**2 - b**3 + 7*b + 5*b**3. Is 4 a factor of j(-5)?
True
Let c be -1 + -1 - (-3 + -4). Suppose -c*f + 10*f - 115 = 0. Let i = 43 - f. Is 4 a factor of i?
True
Let l = 38980 + -23184. Is l a multiple of 22?
True
Let r = -39 + 42. Let t(w) = 3*w**2 + 2*w - 10. Is t(r) a multiple of 2?
False
Suppose -37 + 92 = 5*u. Let n = u + -8. Suppose 3*y - 82 = -j, 5*j + n*y = 444 - 34. Is j a multiple of 6?
False
Suppose -5*z - 18*z - 62*z = -2216120. Is z a multiple of 132?
False
Let n(a) = -a**2 + a. Let m be n(-3). Suppose f = -5*b + 1813, 491*f + 12 = 495*f. Is 30 a factor of 0 - b/(-3) - 16/m?
False
Does 13 divide (5/3)/((-4)/12) + 2085?
True
Let s be 1 + 1 + (-1)/((-1)/(-2)). Suppose s*w + 3*w = -312. Let v = w + 244. Is v a multiple of 35?
True
Suppose -414*x = -d - 411*x + 35085, -5*d = -2*x - 175360. Is d a multiple of 93?
False
Suppose 3*r = -k + 243, 3*k - 369 = -3*r + 348. Is 32 a factor of k?
False
Suppose 4*n - 2*o - 32908 = 0, 9*o + 32884 = 4*n + 13*o. Is n a multiple of 2?
False
Let s be (-2)/3*9*4/8. Let t be 71*(s - (-4)/1). Suppose w - 233 = -t. Is 9 a factor of w?
True
Let s(p) = 8*p**3 + 6*p**2 + p - 3. Let q(d) = -24*d**3 - 17*d**2 - 2*d + 8. Let j(k) = -3*q(k) - 8*s(k). Let t be j(2). Let h = 71 + t. Is 11 a factor of h?
True
Let o(y) = 463*y**