lse
Does 26 divide 1 - (0/(-2 + -3) + -51)?
True
Let i(r) = r**2 - 15*r - 14. Let b be i(8). Let k = b - -121. Is 17 a factor of k?
True
Let j(c) = c**3 + 16*c**2 - 2*c - 19. Suppose h + 64 = -3*h. Does 13 divide j(h)?
True
Let y(r) = -2*r + 2. Let q be (-33)/5 + 10/(-25). Let s be y(q). Let f = 27 - s. Does 6 divide f?
False
Suppose -5*t + 4*t - 2*g = 130, -650 = 5*t - 2*g. Let b be t/(-35) + 2/7. Suppose b*w = 61 + 243. Does 23 divide w?
False
Let b = -597 - -836. Is b a multiple of 18?
False
Suppose -2*d - 4*f + 6 = 0, 2*f + 3 = -7*d + 4*d. Suppose -4*i + 3*y - 120 = 0, 6*i = 9*i + 4*y + 65. Is d*(-3)/i*-15 a multiple of 5?
True
Let s = -1204 + 1289. Is 4 a factor of s?
False
Let n = -157 - -229. Is n a multiple of 5?
False
Let y(f) = -5*f + 9. Is y(-15) a multiple of 3?
True
Suppose -x = -2*x + 2*u + 1027, x = -2*u + 1031. Suppose q - i + 201 = 2*q, -5*q + x = -3*i. Is q a multiple of 17?
True
Suppose -10 = 5*z + 3*g, g = 3*g. Does 5 divide 4/(-14) - ((-396)/14 - z)?
False
Let p = -996 - -1503. Is 13 a factor of p?
True
Let v = -36 - 28. Let u = 168 + v. Suppose -3*y = 4*c - 85, -2*y - 2*y + u = -4*c. Is y a multiple of 8?
False
Let q = 14 - 7. Suppose m = q - 3. Suppose -3*s + 19 + 43 = w, m*w + 2*s = 238. Is 13 a factor of w?
False
Let r(w) = 6*w**2 - w - 2. Let y(z) = -4*z + 12. Let x be y(7). Let l = 14 + x. Is r(l) a multiple of 12?
True
Suppose 0 = c - 32 - 7. Let j = c - 10. Is j a multiple of 15?
False
Suppose -4*t + 239 - 47 = 0. Suppose -2*n + 185 = 3*z, n - 45 = -2*z + t. Suppose 5*g - n = 69. Is g a multiple of 16?
True
Let v(p) be the second derivative of 13*p**3/3 - 9*p**2/2 + p - 83. Let m(c) = -c**3 - 4*c**2 - 5*c - 2. Let w be m(-3). Is 19 a factor of v(w)?
True
Suppose 27*p - 24*p - 13974 = 0. Is 137 a factor of p?
True
Let j be (-14 - 3524)*1/(-2). Suppose -5*b - 2*y - 3*y = -2945, 3*b + 4*y - j = 0. Suppose 4*g - 4*n = 472, -4*g + b = g - 2*n. Does 39 divide g?
True
Let g(v) be the first derivative of v**5/60 + v**4/8 - v**3 + 2*v**2 - 1. Let j(h) be the second derivative of g(h). Is j(-9) a multiple of 24?
True
Is ((-3)/((-27)/483))/(2/12) a multiple of 18?
False
Suppose 0 = y - 2, 0 = -9*t + 14*t - 3*y - 3434. Is t a multiple of 5?
False
Let s(x) = -2*x + 5. Let z be s(4). Let f be (-8)/(-1) - 1 - z. Let d = -1 + f. Is d even?
False
Suppose t - 37 - 50 = 0. Suppose 519 = 6*g + t. Does 9 divide g?
True
Suppose 0 = -3*j - 5*t + 220, -5*t - 4 = -t. Let x = j - 9. Is 11 a factor of x?
True
Let n(j) be the second derivative of 0 + 5/6*j**3 - j**2 - 9*j. Does 3 divide n(5)?
False
Let a = -185 - -109. Let r = a - -168. Let c = r + -65. Is 9 a factor of c?
True
Is 11 a factor of 154/(-5)*(-70)/4?
True
Let k = -507 - -769. Suppose -2*f = 20 - k. Suppose 5*y + 38 = -3*n + f, 4*n + 2*y = 92. Is 3 a factor of n?
True
Let i(d) = 25*d + 144. Let q be i(-6). Let x(r) = -3*r + 1 - 7*r - 2*r. Does 18 divide x(q)?
False
Suppose -3*l + y + y = 196, 3*y + 250 = -4*l. Let z = 97 + l. Let t = z - -40. Is 35 a factor of t?
False
Is 30 a factor of -200*(0 + 24/(-16))?
True
Is 21 a factor of (3 - 10/4)*171*4?
False
Let m(i) = -23*i + 111. Does 6 divide m(-9)?
True
Suppose -4*b - 2*j - 222 = 200, 535 = -5*b - 4*j. Let p = -32 - b. Is 14 a factor of p?
False
Suppose -4*k = -2*n - 524, k + k = -2*n + 262. Let q = k + -98. Does 11 divide q?
True
Is 15 a factor of 3 - (-4)/(32/3096)?
True
Let v = 25 + -9. Is 2 a factor of v?
True
Let k(d) = 26*d**2 + 1. Let b be k(1). Let v = -20 + b. Does 4 divide v?
False
Suppose -34*h = -3*h - 69037. Is 20 a factor of h?
False
Let l(i) = -i**3 - i**2 + i + 2. Let h be l(0). Let z be 9 - -2*1/h. Let w = z - 5. Is w a multiple of 5?
True
Let f = -27 + 27. Let b(c) = 6*c + 17. Is 17 a factor of b(f)?
True
Let q(c) = c**2 - 31*c + 166. Is q(31) a multiple of 11?
False
Is 91 a factor of 0/(-1) - (-9005)/5?
False
Let p(w) = -w**2 - 12*w - 2. Let r be p(-12). Does 10 divide (-35)/r*(-12 + 14)?
False
Is (-285)/(-7) + 4/14 a multiple of 21?
False
Suppose 4*k + 14 = 2*t, -11*t = -14*t + k + 16. Is (-2)/t - (-6510)/25 a multiple of 26?
True
Let r = -110 - -188. Let q = -21 + r. Does 16 divide q?
False
Let s(f) = f**2 - f + 1. Let t(h) = -3*h**2 + 21*h - 34. Let z(v) = 2*s(v) + t(v). Does 12 divide z(13)?
False
Suppose 43 = n - 5*l, 4*n + 100 = 6*n - 3*l. Let g = -32 + n. Suppose -5*j = -2*s - g, -j - 4*j - 5*s + 35 = 0. Is j even?
False
Suppose 0 = y - 1, 0 = -4*k + y - 2*y + 5. Let w be 15/5 - (1 - k). Suppose 0 = 2*p + w*p - 45. Does 9 divide p?
True
Let o(f) = 6*f - 1. Let j = 23 + -11. Let l = -8 + j. Is 11 a factor of o(l)?
False
Let o(r) = 5*r + 4. Let s(m) = m**2 + 7*m + 8. Let v be s(-6). Let x be o(v). Let k = 3 + x. Does 17 divide k?
True
Let c(q) = -q**2 - 13*q - 9. Let t be 1 - (-1)/(1/(-4)). Let s = -13 - t. Does 12 divide c(s)?
False
Let n = 45 + -41. Suppose 0*u = -2*u - 4*c + 32, n*u + c = 50. Is 3 a factor of u?
True
Suppose 0 = 2*l - 290 - 226. Is l a multiple of 56?
False
Suppose 2*p + 2 = 3*p. Suppose -2*j = -2*y - 28, -3*j - 2*j + 79 = -p*y. Is j a multiple of 3?
False
Let b(l) = 35*l**3 + 4*l**2 - 9*l - 5. Is b(3) a multiple of 53?
False
Let d = 29 - 21. Suppose -d*g = -5*g. Suppose 0 = -g*f - 4*f + 144. Does 12 divide f?
True
Let n be 0/((-2)/(-10)*5). Let i(z) be the first derivative of -z**2/2 + 13*z + 1. Does 6 divide i(n)?
False
Suppose -3*b + 2*g = -2*b + 98, -3*b - 294 = -4*g. Let r = b + 137. Is r a multiple of 13?
True
Let y = 219 + 263. Is y a multiple of 30?
False
Let l be (48/20)/(10/75). Suppose -14*a + l*a = 352. Is a a multiple of 21?
False
Suppose 651 = -25*o + 1776. Does 12 divide o?
False
Let t = -27 + 23. Let s = t - -6. Let y = s - -12. Is 14 a factor of y?
True
Suppose 11 = 4*b - 4*l - 5, 0 = 3*l + 6. Let k be 12/15*(b + -12). Let q = k + 18. Does 3 divide q?
False
Let n(d) = -d**2 + 32*d + 99. Is n(25) a multiple of 5?
False
Suppose -4*n = 16, 2*n + 3*n = 2*x - 2200. Does 12 divide x?
False
Suppose -7064 - 2512 = -21*n. Is n a multiple of 38?
True
Is 34/(-3)*(-107 - -101) a multiple of 2?
True
Let w = 14 - 11. Let m(l) = w*l + 2*l + 2*l - l. Does 14 divide m(7)?
True
Let d(a) = -59*a + 14. Does 26 divide d(-1)?
False
Let j be -78 + (1/1 - 0). Suppose 8*k = 15*k - 791. Let t = j + k. Is t a multiple of 36?
True
Suppose -3*x - 11 = 301. Let r(y) = -2*y**2 + 12*y - 10. Let f be r(-6). Let n = x - f. Does 25 divide n?
True
Let x be -4 + 24 + 2*1/2. Suppose -x*g = -8*g - 2015. Is g a multiple of 27?
False
Let l = -86 - -89. Suppose l*o - 774 = -6*o. Is o a multiple of 31?
False
Suppose k - 1447 = -4*q + 3536, -3*q + 3766 = -5*k. Is q a multiple of 43?
True
Suppose 2*o = -h - 41, 5*o - h + 33 = -52. Is (-2148)/(-21) + o/63 a multiple of 24?
False
Suppose 0 = -2*d + 10, -2*y - 4*d = -0*y - 32. Does 11 divide (6 + -1 + y)/((-1)/(-2))?
True
Let w(z) = z. Let f(s) = -10*s - 1. Let p(o) = f(o) + 6*w(o). Let l be p(3). Let t = l + 46. Is t a multiple of 20?
False
Let v = -33 - -172. Is 30 a factor of v?
False
Suppose -m - m + 3*j = -10, 5*m - 25 = 2*j. Let q = -3 - -6. Suppose -3*v - 5*h = -q*h - 415, 4*h - 691 = -m*v. Does 30 divide v?
False
Suppose -5 - 4 = o - q, 3*o - 4*q + 28 = 0. Let v(i) = -i + 8. Does 8 divide v(o)?
True
Let i = 19 - 34. Let p = i - -34. Is 19 a factor of p?
True
Let z be (-32)/(-10) - (-11)/(-55). Suppose 2*j = 2, 0 = -h + j - z + 11. Let k(o) = 7*o - 3. Does 10 divide k(h)?
True
Suppose 3 = -f - 2*w + 1, 4*f - 2 = 2*w. Suppose -5 + f = -g. Is g even?
False
Let n(v) = 2*v**2 + 6*v. Suppose 24 = 15*c - 19*c. Does 6 divide n(c)?
True
Let t(o) be the first derivative of o**4/4 + o**3/3 - 6*o - 22. Is 12 a factor of t(5)?
True
Is (14/(-21))/((-2)/1164) a multiple of 31?
False
Suppose 3*s = -t + 13, -3*s + 17 = 2*t + 3*t. Suppose 2*c + 176 = 2*y, -177 = -2*y + s*c + 5. Does 13 divide y?
False
Let m be -6 - -3 - (-21)/7. Suppose 10 = -m*y + 2*y. Suppose -y*h - c + 3*c = -504, -2*h + 206 = -3*c. Is 30 a factor of h?
False
Suppose -5*o - 5*k + 2942 - 1157 = 0, -15 = -3*k. Does 24 divide o?
False
Suppose 36*r = 29*r + 11620. Is 10 a factor of r?
True
Let l(f) be the first derivative of -23*f**5/10 - f**4/6 - f**3/6 + f + 1. Let z(o) be the first derivative of l(o). Does 15 divide z(-1)?
True
Let x(s) = -s**3 + 33*s**2 - 60*s - 26. Is 9 a factor of x(31)?
True
Let s(f) 