lse
Let g(h) = 36*h**2 + 22*h - 78. Does 92 divide g(4)?
False
Does 11 divide 4 - 4/(-8)*1784?
False
Let r(b) = b**2 + 33*b + 72. Does 12 divide r(24)?
True
Does 7 divide (-1624)/(-12)*(-6)/(-4)?
True
Suppose 2479 = 19*t - 3259. Does 9 divide t?
False
Suppose -125*y = -121*y - 1912. Does 53 divide y?
False
Suppose -2*t + 3*f + 19 = 0, 3*t = -4*f + 2 + 1. Suppose 3*s = 2*z - 6, 43 = 4*z + t*s + 9. Is 6 a factor of z?
True
Let u(r) = -r**3 - 2*r**2 + 15*r + 3. Let h be u(-5). Suppose -2*j = 4*q - q - 72, -h*j = -9. Is q a multiple of 3?
False
Let p(r) = -r**2 + 39*r + 400. Does 73 divide p(38)?
True
Suppose 2*h + 20 = -3*h. Let a be h + 14*(-1)/(-2). Suppose 0 = a*r + 11 - 173. Is 19 a factor of r?
False
Let j(s) = 21*s - 156. Does 23 divide j(24)?
False
Let f(q) = -25*q - 27. Let k(w) be the first derivative of 17*w**2/2 + 18*w + 6. Let l(s) = 5*f(s) + 8*k(s). Is 25 a factor of l(6)?
True
Let j = 2542 - 1786. Is 27 a factor of j?
True
Let a(h) = h**2 + 5*h - 1. Suppose -x - 2*x - 46 = -5*q, x + 12 = q. Is 13 a factor of a(x)?
True
Let y(j) = -j**3 - 22*j**2 - 43*j + 14. Let l(w) = -w + 1. Let o(k) = 5*l(k) - y(k). Is 3 a factor of o(-20)?
False
Is (-10220)/(-63) - 6/27 a multiple of 18?
True
Let d = -2 - -9. Suppose 3*y - 3*l = 153, 4*y + d*l = 4*l + 204. Does 16 divide y?
False
Is 21 a factor of ((-406)/232)/(2/(-504))?
True
Let c = -119 + 39. Let l be 12*(-5)/(c/(-12)). Is -3 + (-3)/(l/141) a multiple of 20?
False
Let r(q) be the third derivative of q**6/360 + q**5/24 + q**4/6 - 5*q**3/6 - q**2. Let z(j) be the first derivative of r(j). Is z(-7) a multiple of 18?
True
Let w(i) be the second derivative of i**4/12 - 5*i**3/3 + i**2 - 2*i. Let a be w(10). Suppose 11 = -k + a*k. Is 7 a factor of k?
False
Let j(t) = 35*t + 756. Is j(0) a multiple of 63?
True
Suppose -2*c + 4*u - 1 + 15 = 0, -2*c - u = -4. Suppose c*m - 156 = 54. Does 15 divide m?
False
Let a be ((-1)/3)/((-4)/(-12)). Does 12 divide 2/(((-2)/a)/44)?
False
Let u(d) = -d**2 - 8*d - 7. Let p be u(-5). Let j = 32 - p. Does 8 divide j?
True
Let l(v) = 26*v - 38. Let t(p) = 13*p - 19. Let r(w) = 4*l(w) - 7*t(w). Let s be r(9). Let d = -50 + s. Does 6 divide d?
True
Let z = 13 + 2. Let n = -11 + z. Suppose 5*k + n*u - 3 - 10 = 0, -3*k + 4*u = -27. Is k a multiple of 4?
False
Suppose -14*t + 2590 = -4*t. Let u = 367 - t. Does 27 divide u?
True
Suppose -4*h = 2*l - 488, 0 = -0*h + h + 4*l - 136. Suppose -5*c + h = -5*q, -4*c + 30 + 21 = 5*q. Is c a multiple of 3?
False
Suppose -4*x = 5*a - 42, -4*a + 32 + 8 = 4*x. Suppose x + 24 = 2*o. Is o a multiple of 8?
True
Let g = -3581 - -6365. Does 54 divide g?
False
Suppose 3*o + o - 8 = 0, 0 = -2*n + 5*o + 682. Does 22 divide n?
False
Suppose q + 4*q - 25 = 0. Suppose -2*x - 6 = -q*x. Suppose x*a - 52 = -2*u, -2*a + u + 36 = -25. Is 11 a factor of a?
False
Suppose -15*o - 92 = -12*o + 4*f, 0 = 5*o + 3*f + 135. Is 36 a factor of o/(74/(-24) - -3)?
True
Suppose 2*j = -5*l - 2*j + 475, 0 = -5*j - 25. Let q be (l/(-6))/((-3)/6). Suppose 0 = -2*x + 7 + q. Does 20 divide x?
True
Let m = 39 + -1. Suppose k - m = -8. Suppose 5*t - 285 = -k. Is t a multiple of 17?
True
Suppose 3*c + c = 20, 3*c - 7 = 4*d. Suppose -d*x - 14 = -j, -3*x = -5*j - 32 + 137. Is 4 a factor of j?
True
Let l(z) = 2*z**2 + 3*z + 99. Is l(0) a multiple of 45?
False
Suppose u - 25 = 6*u. Is 5 a factor of ((-8)/u)/(8/60)?
False
Suppose d + 7*l = 9*l + 388, 1166 = 3*d - 5*l. Is 4 a factor of d?
True
Let p(w) = 5*w**3 + w**2 - 3*w - 3. Let c be p(-1). Does 18 divide c*1438/(-32) + (-1)/(-4)?
True
Let s(z) = -z**3 - 9*z**2 - 11*z - 20. Let w be s(-8). Suppose -66 = -w*r + 326. Is 14 a factor of r?
True
Let l(q) = -2*q**2 - 16*q - 3. Let f(z) = 33*z + 2*z**2 + 3*z**2 + 10 + 12*z + 4*z. Let t(v) = -4*f(v) - 11*l(v). Is 8 a factor of t(12)?
False
Let c(z) = 3*z - 3. Let s be c(2). Suppose 2*t - 3*l - 22 = -5*l, -4*t = -s*l - 79. Is (72/t)/((-6)/(-8)) a multiple of 4?
False
Let s(w) = -w**3 - 31*w**2 + 26*w - 27. Does 12 divide s(-32)?
False
Let y(f) = 111*f - 15. Is 13 a factor of y(4)?
True
Suppose 102 + 36 = p. Suppose -p = -6*m + 3*m. Does 23 divide m?
True
Let u(v) = -14*v. Let b be u(4). Let f(c) = c - 7. Let a be f(-4). Does 10 divide b/42*(a + -1)?
False
Suppose 0 = 2*m, -6*i - 2*m = -4*i - 76. Is i a multiple of 38?
True
Let d be 7/((-14)/(-620)) + -2 + 4. Suppose -d = -4*y + 332. Is y a multiple of 23?
True
Let c(p) = 4*p**2 + 8*p + 133. Is 17 a factor of c(-25)?
False
Suppose -p = -5*q - 3219, 39*p + 6483 = 41*p - q. Is 55 a factor of p?
False
Let f = 1110 + -696. Is f a multiple of 69?
True
Suppose -5*g = 5*o + 15, -o + 0*o - 3*g = 11. Let n be (-4 + 3 - -1)/o. Suppose -5*l - 2*t + 50 = -128, -l - 4*t + 50 = n. Is l a multiple of 8?
False
Suppose 3*n = 6*n + 6, -2*j + 4*n = -40. Suppose 11*p = 7*p - j. Let x(s) = -3*s - 6. Is 6 a factor of x(p)?
True
Let t be (-18)/(-4) - 3/6. Suppose n = -4*n - 3*b + 41, 46 = t*n - 2*b. Is (-4)/n - (-248)/20 a multiple of 6?
True
Let t(x) = 6*x**2 + x. Let j = 0 + -1. Let v be t(j). Suppose -3*f - 2*f + 59 = -3*h, -v*h + 75 = 5*f. Is 8 a factor of f?
False
Let q = 31 + -56. Let m = q + 27. Suppose -5*h + 7 = -8, 0 = z + m*h - 19. Is 2 a factor of z?
False
Let d(o) = o**2 - 91*o - 15. Is 21 a factor of d(-8)?
True
Let d be -22 + 24 + ((-2)/2 - -2). Suppose -d*w + 2*p + 74 = 0, 5*p = -2*w - 2 + 26. Is 11 a factor of w?
True
Let n = 12 - 20. Let z be (-3)/(-2)*(-48)/n. Is (z/(-4))/(8/(-32)) a multiple of 3?
True
Let c(z) = 11*z - 23. Let a be c(12). Let w = 181 - a. Does 12 divide w?
True
Let k(a) = a + 1. Let d(o) = -o**2 - o - 2. Let v(r) = d(r) + 6*k(r). Let z be v(6). Let l(x) = -x**3 + x**2 - 1. Is 7 a factor of l(z)?
False
Suppose 15 = 3*q - q - 3*s, -4*s - 20 = 0. Suppose 5*t + 7*t - 1152 = q. Does 24 divide t?
True
Let i(z) = z**3 - 6*z**2 - 17*z + 12. Let q be i(8). Suppose 273 = q*d - 255. Does 33 divide d?
True
Let j(a) = -a**3 + 4*a**2 + 7*a - 7. Let t be j(5). Is 72/2 - (0 + t) a multiple of 11?
True
Let n(f) = 18*f**3 + 3*f**2 - 2. Is n(2) a multiple of 14?
True
Does 5 divide (-2 - -3)*(68 + 7)?
True
Let w(t) be the second derivative of -9*t**2 - 1/3*t**3 + 0 + 1/20*t**5 + t**4 + 4*t. Is 6 a factor of w(-12)?
True
Let m(y) = 11*y + 1. Let t be m(-1). Let r = 13 + t. Suppose -13 = -3*p - 2*l + 70, 4*p - 112 = -r*l. Is p a multiple of 15?
False
Let v be (-4)/(-4)*(-15)/(-3). Suppose -4*i = w + 8, 4*i + 8 = v*w - 3*w. Suppose w = -n - 3*n + 192. Does 16 divide n?
True
Suppose 3*i - 4*i + 814 = -b, -2*i - 5*b + 1649 = 0. Is i a multiple of 19?
True
Suppose -4*a + 3*g - 13 = 0, 3*g - 8 = 2*a + g. Let q = a + 6. Suppose -4*w = 2*c - 52, -3*c + q*w = c - 117. Is 21 a factor of c?
False
Let w = 15 - 6. Let q = w + -12. Is 3 a factor of (2 - q)*1 - -1?
True
Does 73 divide 42484/65 + 4 - (-6)/(-10)?
True
Let d(g) = g**2 + 17*g + 2. Let m be d(-19). Suppose -595 + m = -3*t. Is t a multiple of 37?
True
Let v = -23 - -105. Suppose q + 12 = v. Is q a multiple of 14?
True
Let w be 0 - (2 + 9 + -2). Let j = w + 0. Is (-3)/j*1*30 a multiple of 10?
True
Let t = 595 - 225. Is t a multiple of 11?
False
Suppose -15*f + 5722 = -12*f + 5*r, -3*f + 5738 = r. Is 6 a factor of f?
True
Suppose -11067 = -3*f + 2*x, 3*f - 3*x - 6355 = 4709. Is 15 a factor of f?
False
Let y(c) = c**2 - 8*c + 6. Let j be y(8). Let r be (j/(-4))/(1/(-2)). Suppose -5*w + 6*q = r*q - 51, 0 = w - q - 11. Does 5 divide w?
False
Let o be -2 + (3 - -5) + -2. Suppose 0 = -o*t + t. Suppose t = -4*z - 3*c + 28, z + c - 2 = -c. Is 5 a factor of z?
True
Let x(b) = b**2 + 2*b - 1. Suppose 3*t + 5*w = -34, 2*w + 40 = -5*t - 3*w. Let u be x(t). Suppose 6*d - u*d + 8 = -4*m, 0 = 3*m - 5*d - 26. Is 2 a factor of m?
True
Let o(w) = -23*w + 1. Let y be o(-3). Suppose 0 = 2*x + 26 - y. Let u = 8 + x. Is u a multiple of 15?
True
Let l = -19 - -20. Let o be -1 - l/((-4)/12). Suppose -3*c + 2*z + 223 = 0, o*z = c - 3*z - 70. Does 13 divide c?
False
Let j(t) = -t + 4. Let d(n) be the second derivative of -n**4/2 + n**3/6 - 2*n. Let r be d(1). Does 2 divide j(r)?
False
Suppose 5*o + 488 - 1748 = 0. Let g be ((-21)/(-28))/(1/o). Suppose -6*q + g = -15. Is 16 a factor of q?
False
Let f(i) = -i - 13. Let q be f(-3). Let s = 30 + q. Does 6 divide s?
False
Let w be (-2)/(-10) - 16/(-20). Let x be w*(-1 - -8