lse
Suppose -16 = 3*a - 70. Is 23 a factor of 690*(6 + (a + -3)/(-3))?
True
Let a(u) = -4*u + 68. Let i be a(7). Does 6 divide (-30)/i + 0 - (-43)/4?
False
Let f(t) = -t**3 + 6*t**2 - 5*t - 27. Suppose 0 = 4*k - 3*n + 21, -109*n + 17 = -2*k - 114*n. Is 5 a factor of f(k)?
True
Let i = -5698 - -10172. Does 18 divide i?
False
Suppose -156*i + 3104 = -33*i + 644. Let k = 7 + -19. Is (k/i)/((-6)/1170) a multiple of 32?
False
Let w(k) = -k - 3. Let r be w(-3). Suppose r = -2*g + 5*g. Suppose g = -2*l + 3*t + 103, 4*t + 153 = 2*l + l. Is l a multiple of 12?
False
Let n(f) = f**2 + 7*f + 13. Let m be n(-5). Suppose 4*t - t + 2*d = 835, -m*t + d + 847 = 0. Is t a multiple of 15?
False
Is 41/(((-2)/1608)/(62/(-248))) a multiple of 67?
True
Suppose 6*h + 3*z + 42 = 7*h, 4*z = 8. Is 30 a factor of 3 + h/(-14) - (-44121)/49?
True
Let c(m) = -m**3 - 7*m**2 - 6*m + 4. Suppose -84 = 3*d + 11*d. Let i be c(d). Suppose 0 = -i*q + f + 684, q - 141 = f + 30. Is q a multiple of 34?
False
Let n(l) = -1223*l - 2765. Is n(-3) a multiple of 26?
False
Let u(i) = 44*i**2 + 1. Let l be u(-1). Suppose l = -4*a + 13*a. Suppose -70 - 155 = -a*n. Is 21 a factor of n?
False
Let f(d) = -d**3 + 15*d**2 + 223*d - 58. Does 85 divide f(24)?
False
Let p(l) = l**2 + l. Let n be p(-1). Suppose -w - 22 + 20 = n. Let y(a) = 3*a**2 + a + 1. Does 11 divide y(w)?
True
Let i = -55 - -61. Let r be -3 - -2 - (-21)/i*-2. Is 19 a factor of (2/(-4))/(r/(-16)) - -39?
True
Let b(m) = -840*m + 197. Is b(-2) a multiple of 12?
False
Suppose 10 = -r + 3*j + 1, 4 = 4*r - 4*j. Suppose -2*c + 9*f - r = 11*f, -2*c - 16 = 4*f. Is c even?
True
Let o be 11 - -46 - (0 + 1). Let n = 47 - o. Is -3*-13*(-6)/n a multiple of 3?
False
Let n be -4*(-2 + 3/2). Let x(v) = 94*v**2 - 7*v - 5. Let o be x(-1). Does 6 divide ((-1)/n - 0)/((-2)/o)?
True
Let o(c) = 4*c + 18. Let q be o(-7). Let j = -63 + q. Let s = 160 + j. Is 39 a factor of s?
False
Let a(g) = g**3 + 11*g**2 - 3*g + 107. Let z be a(-16). Let h = -793 - z. Is h a multiple of 27?
False
Suppose -9*z = 8*z. Suppose 3*l - 151 + 1 = z. Is 10 a factor of l?
True
Let v(k) = -45*k - 150. Let t be v(-4). Suppose t = -15*s + 13230. Is 40 a factor of s?
True
Let t = 6790 - 4615. Does 15 divide t?
True
Suppose -2*o - 815 = 17. Let u = 256 - o. Is u a multiple of 28?
True
Let g be (-268)/(-22) + 11 + (-1230)/110. Does 22 divide -77*8*g/(-56)?
True
Let h = 48 + -48. Suppose h = -5*a - 6*d + 2*d - 6, -16 = 4*d. Suppose -161 = -v - a*c, -5*v + 2*c + 895 = 126. Does 11 divide v?
False
Let q = 14 + 4. Let r(l) = -l**3 + 9*l**2 + 6*l + 38. Let w be r(10). Does 2 divide (1/(-2))/((1 + w)/q)?
False
Let n = -4904 - -22404. Does 7 divide n?
True
Suppose 267 + 84 = 13*x. Is 4 a factor of (-2)/x + (-12100)/(-54)?
True
Let s = -2771 + 10781. Does 45 divide s?
True
Let h be (8793/(-15) - 1)/(14/(-35)). Suppose 4*l - 420 = h. Is 59 a factor of l?
True
Suppose -11*q + 15*q - 287280 = -11*q. Is q a multiple of 42?
True
Let u = 240 - 134. Let c be ((41/(-82))/(3/206))/(1/3). Let s = u - c. Does 19 divide s?
True
Let s(g) = -g**3 + 14*g**2 - 13*g + 2. Let f be 16 + ((-3)/(-3 + 2) - 6). Let b be s(f). Is 13 a factor of (-1)/2 - (289/(-2) + b)?
False
Let s(q) = 10*q**2 - 2*q - 2. Let m be s(-2). Suppose 0 = -5*p + m + 13. Suppose p*y = 9*y + 192. Is y a multiple of 13?
False
Suppose -99*s + 4905 + 48456 = 0. Is 49 a factor of s?
True
Suppose -3*h + 19177 = 5*u, 2*h + 36*u - 35*u - 12801 = 0. Does 15 divide h?
False
Suppose -4*p + 31*z = 36*z + 19, 0 = -4*p + 2*z + 2. Does 12 divide (7 - -23)*(1 + (-1 - p))?
False
Suppose 2*p + 26 = 5*r - p, 3*r = p + 18. Suppose 0 = a - 20 + r. Suppose a*h = -h + 2296. Is 41 a factor of h?
True
Suppose 3 = 3*i, 0 = 2*z - 5*z - 2*i + 17. Let j(m) be the first derivative of 12*m**2 + 10*m + 190. Is 13 a factor of j(z)?
True
Let n = 77 - 90. Let z(w) = -w**2 - 14*w + 28. Let m be z(n). Suppose -m*r = -42*r + 135. Does 16 divide r?
False
Suppose 0 = -7*m - 1729 - 2478. Let w = m + 1006. Is 15 a factor of w?
True
Suppose 3*u - 50 = -5*x, -4*u = 3*x - 2*u - 31. Suppose 23*r - x*r = 11760. Is 35 a factor of r?
True
Let c(m) = -2*m - 15. Let x(w) be the first derivative of -5*w**3/3 + 5*w**2/2 - 6*w + 40. Let k be x(2). Is c(k) a multiple of 6?
False
Suppose 0 = -13*j + 5*j + 48. Let b(g) = -4 + 5*g + 7*g**2 - 2*g**2 + 7 - 21. Does 12 divide b(j)?
True
Let d = 28 + -20. Suppose 0 = 7*s - d*s - 5. Let m(l) = -l**3 - 4*l**2 + 2*l - 2. Is 13 a factor of m(s)?
True
Suppose 14*v - 33*v = -61427. Does 21 divide v?
False
Let a be 2/((-6)/45*-5). Suppose o - 154 = -t - 2*o, 0 = a*o. Is 3 a factor of t?
False
Suppose 40*p - 4123 = 9*p. Suppose 0 = -2*j - 5*r + p, 37*r - 41*r = 2*j - 134. Does 14 divide j?
False
Suppose -33*w + 125*w = 118864. Does 43 divide w?
False
Let i(l) be the third derivative of l**5/12 + 13*l**4/24 + 19*l**3/3 + l**2 - 7. Is 24 a factor of i(-10)?
True
Let d be 4*1 + -1 + 0. Let t be 8368/88 + (3 - (-136)/(-44)). Suppose -d*l = -t - 67. Is 9 a factor of l?
True
Suppose 0 = 4*q - 6*q - h + 14, -3*h - 3 = -3*q. Suppose 20*y - 22*y = -q*o - 1714, -3*y + 2621 = 5*o. Is 71 a factor of y?
False
Let b = 850 + -506. Let a = -1324 + 2107. Suppose -b - a = -7*o. Is o a multiple of 27?
False
Let t = 10817 - 9457. Is t a multiple of 80?
True
Suppose 80*r - 83*r - 3*y = -23607, 0 = -5*r - y + 39361. Does 6 divide r?
False
Suppose 22*j - 18*j = -5*u + 19835, -2*j = -10. Does 42 divide u?
False
Is (-4)/18 + (-395504)/(-684) a multiple of 17?
True
Suppose 65 = 7*l + 100. Let m(h) = -h**3 - h**2 - h - 1. Let w(b) = -4*b**3 - 2*b**2 - 17*b - 10. Let x(i) = -5*m(i) + w(i). Is 5 a factor of x(l)?
True
Let l(h) = -h**3 - 6*h**2 + 23. Let p be l(-10). Let b = p - 249. Does 29 divide b?
True
Let k = -31 - -35. Suppose -3*a + 4*h + 399 = 0, -12*h = k*a - 16*h - 528. Is 8 a factor of a?
False
Suppose -z = -26*z + 6850. Let p = z - 212. Does 31 divide p?
True
Let c(a) = -2*a**3 - 57*a**2 - 21*a - 106. Is c(-35) a multiple of 93?
True
Is (-1)/4 + (4 - 4) + (-11591568)/(-576) a multiple of 13?
True
Let v = 95 - 79. Suppose v = 2*u - 96. Is u a multiple of 4?
True
Let q(v) = -v**2 - 35*v + 12. Let n be q(-20). Suppose 0 = -2*o + t + 106, 4*o + 128 = -5*t + n. Is o a multiple of 51?
True
Suppose 123*p - 119*p + 216 = 0. Let x = 126 + p. Is x a multiple of 2?
True
Let k(n) = -5*n - 5. Let u(a) = 3*a + 1. Let b(o) = -6*k(o) - 13*u(o). Is 76 a factor of b(-14)?
False
Let r be (2/(-8))/(-7 - 249/(-36)). Suppose 16 = -4*u, 6670 = 5*j + r*u + 2237. Does 14 divide j?
False
Suppose 2*j + 85 = 89. Let n be 0 + (j - -450) + -4. Suppose 0 = -3*h + 12, 2*h = 4*m - 0*h - n. Is 21 a factor of m?
False
Let f be (-7 - (-1 - 116)) + 2. Suppose -108*a - 2400 = -f*a. Is a a multiple of 25?
True
Suppose 13*j - 516 = 10768. Let k = j - 855. Does 2 divide k?
False
Suppose 33*f - 421724 = 14*f. Is 31 a factor of f?
True
Suppose v - 2*t + 846 = -216, -2120 = 2*v - 5*t. Let s = -708 - v. Does 13 divide s?
False
Suppose 105300 = 20*x - 5*x - 6*x. Is x a multiple of 18?
True
Let w = 27109 - 12843. Is w a multiple of 14?
True
Does 5 divide (-72)/(-32)*(6 + 16872/36)?
False
Let q(i) = 2 + 39*i**2 + 27*i - 77*i - 41*i**2. Does 38 divide q(-15)?
False
Let g(k) = 8 + 2*k**2 - 35*k - 10 + 29 + 6. Is 85 a factor of g(-16)?
True
Let m(v) = 16*v - 6. Let o be m(-3). Is 4 a factor of (o/(-45))/((-2)/(-120))?
True
Let w(n) = -41*n + 56. Suppose o + 8 = 3*d, -2*d = 9*o - 4*o + 6. Is 35 a factor of w(o)?
False
Suppose -5*c - 1774 = -2*z + 723, 1 = -c. Does 14 divide z?
True
Let r(h) = h**2 + 53*h + 19. Let m be r(-29). Let v = 963 + m. Is 13 a factor of v?
True
Let x be (-22)/(-3) + 102/153. Suppose d - x = 46. Is 6 a factor of d?
True
Let n(i) = -i**3 - 9*i**2 - 7*i + 17. Let s be n(-8). Suppose -s*k - 638 = -11*k + 2*p, p + 5 = 0. Does 17 divide k?
False
Suppose 53*u - 236816 = 12*u. Does 76 divide u?
True
Is 90 a factor of (3*-1021 - -3)*19/(-38)?
True
Suppose 5*o = -4*c + 8, c + 1 = o + 3. Let t be ((-32)/(-20))/(2/10). Suppose o = 4*u - 4*i - 276, 3*i + 7 = -t. Does 8 divide u?
True
Suppose 5*r + 74 - 339 = 0. Let u = 170 - r. Is 22 a factor of u?
False
Is (222/7)/((-120)/1120*4/(-57)) a multiple of 7?
False
Let g(n) = 12*n - 153. Let h be g(13). Suppose -2*b + 3*v = h*b - 3090, -b + 620 = -v. Does 41 divide