lse
Let x be (8/6)/((-12)/(-18)). Suppose -188 = -4*y + x*y. Suppose 2*o + y = 4*o. Is o a multiple of 13?
False
Let d(s) = -4*s + 8. Let y be d(11). Let t = y + 52. Is 11 a factor of t?
False
Let u(c) be the first derivative of -c**3/3 + 7*c**2/2 - 2*c + 6. Let g be u(6). Suppose -2*r = 7*y - 3*y - 20, 0 = -2*y + g*r. Is 2 a factor of y?
True
Suppose 0*i = 3*i - 39. Let r be (-2 - -5)*(-7)/(-3). Let t = r + i. Does 5 divide t?
True
Suppose 4*p + 0*p = -28. Let n(s) = -11*s**3 - 13*s**2 + 3*s - 11. Let i(q) = -7*q**3 - 9*q**2 + 2*q - 7. Let o(f) = -8*i(f) + 5*n(f). Is o(p) a multiple of 4?
True
Let t(u) = u**3 - 15*u**2 + 17*u + 33. Does 12 divide t(15)?
True
Suppose 4*n - 5*o - 327 = 0, -4*o + 78 = -3*n + 322. Does 11 divide n?
True
Let w = 2248 + -1562. Is 27 a factor of w?
False
Is 10 a factor of (-4 - -61 - 3)/(2 + -1)?
False
Let f(p) = 22*p + 50. Is 38 a factor of f(15)?
True
Let f be 4 - (-25)/(-5) - -10. Is 9 a factor of f + -8 + 129/3 + 3?
False
Suppose -5*c = 10, 3*c = -3*k - 5 + 14. Suppose 2*m = 3 + k. Suppose 33 + 27 = m*t. Does 7 divide t?
False
Let f(x) = x**2 + x - 3. Suppose -4*j + 4 = -2*j. Let g(k) = -k**3 + 2. Let m be g(j). Is 23 a factor of f(m)?
False
Is 18 a factor of 424 + 3 - 6*(-7)/(-14)?
False
Suppose 5*m = 3*k + 4703, 9*m + 935 = 10*m + 5*k. Is m a multiple of 38?
False
Let d be (-16 + 1)*(5 + 26/(-6)). Let v(a) = a**2 - 4*a + 13. Is 30 a factor of v(d)?
False
Let l = 120 + -87. Let i be (-18)/((-3)/(2 + 1)). Let n = l - i. Is n a multiple of 5?
True
Suppose -90 = -2*k + 32. Suppose -2*l + 26 = o - k, 2*o - 198 = 4*l. Is o a multiple of 27?
False
Suppose 0 = -5*v + v - 328. Let a = v + 84. Is a even?
True
Suppose x - 551 = -3*z, 7*z - 2*z - 924 = 4*x. Is 50 a factor of z?
False
Suppose 33*o = -9*o + 21840. Is 40 a factor of o?
True
Suppose -9*s + 5*f = -10*s + 98, 2*s - 3*f = 248. Does 14 divide s?
False
Let u(r) = 3*r + 24. Let w(l) = -3*l - 24. Suppose 0 = b - 23 + 25. Let y(q) = b*w(q) - 3*u(q). Does 6 divide y(-14)?
True
Let u(r) = -2*r - 9. Let t be u(-8). Suppose j = -2*g + 6*j - 26, -3*g = 4*j - t. Let v(z) = -2*z**3 - 2*z**2 - 4*z. Does 16 divide v(g)?
True
Let s(c) = -5*c**3 + 2*c - 1. Let k be s(1). Let i be (1 + 7)/k + 46. Let n = 77 - i. Is 11 a factor of n?
True
Suppose -25*r - 2484 = -48*r. Does 2 divide r?
True
Let b(x) = x**3 - 3*x**2 + 9*x + 2. Does 2 divide b(3)?
False
Is 12 a factor of (2 - 24/9)/(3/(-108))?
True
Let d = -52 - -91. Suppose 4*t - 97 = d. Is t a multiple of 17?
True
Let n = 27 + -23. Suppose -n*v + 244 - 36 = 0. Is v a multiple of 18?
False
Let l = -3 - 6. Let o be (6/l - -2)*-12. Is (-18)/3*o/3 a multiple of 11?
False
Suppose 0 = 20*o - 24*o + 12. Suppose 5*w = o*w + 240. Is w a multiple of 12?
True
Suppose -3*w = -11 - 7. Suppose -w*n = -5*n. Suppose n = 4*v - 15 - 25. Is 8 a factor of v?
False
Is ((-4)/(-6))/((-2272)/(-2268) - 1) a multiple of 18?
True
Let v(d) = -2*d + 9. Let b(s) be the third derivative of -s**4/12 + 5*s**3/3 - 9*s**2. Let u(x) = -3*b(x) + 4*v(x). Is 6 a factor of u(0)?
True
Let m = -27 - -30. Suppose -3*y + 1 = -4*y - 5*l, -m*y + 57 = -5*l. Does 14 divide y?
True
Suppose -2*j + b + 12 = 0, 4*b + 25 = 3*j - b. Suppose 0 = j*m - 42 - 28. Is 14 a factor of m?
True
Let m be (5 - 6) + (-6)/(-2). Is 1*372/8*m a multiple of 26?
False
Let v = 30 + -30. Suppose 2*j + 3*j - 85 = v. Does 17 divide j?
True
Let m(c) = 1 - c**3 + 0*c**3 + c**2 - 7*c**2 - 4 - 2*c. Let k be m(-3). Let h = k - -36. Is 6 a factor of h?
True
Let k = 1526 - 781. Is 33 a factor of k?
False
Is -36*(-2)/8*(28 - 26) even?
True
Let w = 264 - 187. Is w a multiple of 11?
True
Let s = -416 - -838. Does 13 divide s?
False
Let w = -279 + 282. Let c(f) = -2 + 0*f + f**2 + 3*f + f**3 + f**3. Does 14 divide c(w)?
True
Is 50 a factor of (1*16 - 1)*(-27360)/(-513)?
True
Let n(x) be the third derivative of 29*x**7/5040 - x**6/720 + x**5/10 + 10*x**2. Let d(l) be the third derivative of n(l). Is d(2) a multiple of 19?
True
Let n = -23 - -27. Suppose 0 = -n*o - 3*q + 228, 4*o - 2*o = 4*q + 136. Is 20 a factor of o?
True
Suppose -31 = 9*v + 14. Let b(l) = -3*l**3 - 2*l - 2*l + 2*l**3 - 5*l**2 + 0*l. Is 8 a factor of b(v)?
False
Suppose -33*y = -34*y + 82. Suppose 0 = -3*u + 4*r + 152, -2*u - 3*r - 9 = -y. Let s = u + -11. Is s a multiple of 11?
True
Let v = -188 - -446. Does 29 divide v?
False
Is 32011/63 + 70/(-63) a multiple of 13?
True
Let t(q) = 4*q**2 + 30*q - 11. Let z be t(-9). Suppose -z = -k + 7. Is 12 a factor of k?
False
Suppose -10*z = -z - 45. Is 8 a factor of (-99)/(-2) - (z/2)/5?
False
Let z be 0 + -2 - -5 - -2. Suppose -4*c = z*v - 66, -4*v - 11 + 3 = 0. Suppose 71 = 3*g - 5*q + c, 4*q + 20 = 0. Does 2 divide g?
False
Suppose -3*s - 12 - 153 = 0. Let j = -43 - s. Does 3 divide j?
True
Suppose -n - k = -5*n + 5, 10 = 2*n - 2*k. Suppose -2*h - b = 2*b - 235, -2*b - 2 = n. Suppose -4*m + 268 = 4*o, 3*o = o + m + h. Does 13 divide o?
False
Suppose -68*y = -75*y + 11389. Is y a multiple of 35?
False
Let s(v) = -34*v + 8. Let n be s(-2). Suppose -44 = -2*j + n. Does 28 divide j?
False
Suppose -j = -5*s + 9865, 5*s + 29*j = 25*j + 9890. Does 42 divide s?
True
Let k = -32 - -42. Does 3 divide 794/k + 30/(-75)?
False
Suppose 24*j + 1885 - 10741 = 0. Is j a multiple of 41?
True
Suppose 4*t - 1816 = 8*q - 13*q, -2*t + 906 = 3*q. Does 4 divide t?
False
Let d(g) = -2*g**2 - 25*g + 15. Let x be d(-13). Is -4 + -4 + x + 26 a multiple of 10?
True
Suppose -j - 4*j + 1 = 2*t, 2*t - 3*j - 9 = 0. Suppose t*k = 7*k, 2*k - 120 = -5*b. Suppose -3*v - b = -4*v. Is 5 a factor of v?
False
Let u(o) = 10*o**2 + 13*o - 2. Does 34 divide u(5)?
False
Let l(d) = d**2 + 3*d + 4. Let n be l(16). Suppose 4*y - n = -3*p, -2*p = -0*p. Suppose -4*s + 2*m - 9 = -y, 0 = 4*m. Is 17 a factor of s?
True
Let h(k) = -49*k - 70. Does 5 divide h(-7)?
False
Does 48 divide -9 - (-9700)/70 - (-4)/(-7)?
False
Let m(a) = -a + 144. Let q be m(0). Suppose -f - 3*f = -q. Is f a multiple of 9?
True
Let h = -3 + 3. Suppose -p + 4 = o, h*o - o = 3*p - 18. Is (-56)/(-21)*(p + -1) a multiple of 16?
True
Suppose 2*w + 0*w + x - 126 = 0, 5*w - 325 = -5*x. Suppose d + 2*u - w = -2*u, 2*u = 8. Is d a multiple of 45?
True
Suppose 5*q + 9 = -3*r, 10 = -r + 3*r - 2*q. Suppose -r*d + 3*o = -64, -4*d = d + 5*o - 210. Suppose 0 = -5*n + d + 92. Is 26 a factor of n?
True
Let r = 114 + 114. Is 12 a factor of r?
True
Suppose 3*k = -5*n + 5, -4*k - 1 = n - 2. Suppose 2*b = b + 4. Suppose k = -j + b*j - 39. Is 13 a factor of j?
True
Let q = -1127 + 1174. Is q even?
False
Let s(c) = -c**3 - 7*c**2 - 19*c - 29. Let u be s(-6). Let m be (12 + -2)*(-4)/10. Let q = m + u. Is 15 a factor of q?
True
Is 737/(-88) + 8 + (-21718)/(-16) a multiple of 59?
True
Let q = 114 - 485. Is 2 a factor of q/(-49) + 12/(-21)?
False
Is 13 a factor of (-5 - 11)/8 + 171?
True
Suppose 11*j - 8349 = -0*j. Is j a multiple of 11?
True
Let j be 21/(1 - 4)*10. Is (15/(-5))/(j/(-76) - 1) a multiple of 16?
False
Suppose -5*o + 3*d + 91 = 0, -4*d + 112 = -o + 6*o. Let m be 1*-27*(-14)/21. Let h = o - m. Is h even?
True
Let o = -435 - -1000. Does 4 divide o?
False
Let l be (-28)/(-21)*(-1)/((-2)/9). Let j(b) = b**3 - 4*b**2 - 11*b + 6. Is j(l) a multiple of 2?
True
Suppose -4 - 24 = -4*f. Suppose 13*g - 4*g + 9 = 0. Let z = g + f. Does 2 divide z?
True
Let a = 30 - 15. Let k = a - 14. Is 3 a factor of 3/(-6)*(-22)/k?
False
Suppose -78*y + 55556 = 16088. Does 22 divide y?
True
Let d = -26 + 25. Is d/((-8)/92)*(4 + -2) a multiple of 2?
False
Let h = -268 + 338. Is h a multiple of 5?
True
Suppose 102*p = 109*p - 5075. Is p a multiple of 27?
False
Is (-472)/177*(-24)/1 a multiple of 16?
True
Let c(f) = 3*f**2 - 11*f - 2. Let y be c(5). Let m = 46 - y. Does 28 divide m?
True
Let n = 2170 + -1443. Does 10 divide n?
False
Let p = -1118 + 1675. Does 7 divide p?
False
Let t = -553 + 857. Does 38 divide t?
True
Suppose -4*g + 3 = -17, f - 842 = -5*g. Is f a multiple of 40?
False
Let z(i) be the first derivative of i**3/3 + 5*i**2/2 - 78*i + 11. Is z(-18) a multiple of 26?
True
Let g be (-2)/(-4) + (-6)/(-4). Suppose -5*y - 9*o + 9 = -7*o, 4*o + 9 = -y. Is 5 a factor of g*(-3 + 6 + y)?
False
Let d(p) = -p**2 - 9*p - 11. Let k = 25 + -32. Let v be d(k). Suppose v*y = -f + 171, 0*y = 2*y - f - 119. Does 29 divide y?