lse
Let f(u) = u**3 - 5*u**2 + 4*u - 4. Let r be f(4). Let w be 98/r + 20/(-40). Let b = -14 - w. Is b a multiple of 4?
False
Let f(j) = 4674*j**3 - 4*j**2 + 2*j - 2. Is 62 a factor of f(1)?
False
Suppose -144 = -h - z - 25, -579 = -5*h + 3*z. Is h a multiple of 13?
True
Let s(n) = -n**2 + 53*n + 169. Is 23 a factor of s(49)?
False
Let b(w) = 1 + 9*w - 8 + 1. Is 5 a factor of b(2)?
False
Let c(r) = -9*r - 9. Let i be (-3 - -11)*27/(-6). Let k be i/5 - (-3)/15. Does 18 divide c(k)?
True
Let c be ((-40)/32)/(1/(-4)). Suppose 0 = c*f - p + 6*p - 50, -44 = -4*f - 2*p. Is 6 a factor of f?
True
Let p(l) = 113*l + 1. Let u be p(1). Is u/24 - 5 - (-393)/4 a multiple of 14?
True
Let r = -89 + 313. Does 4 divide r?
True
Let q be ((-32)/12)/(4*3/18). Is 11 a factor of (0 + 176/20)*(-30)/q?
True
Suppose 3*v - 12 = 4*v. Let x be (-3)/v - 165/20. Let q(n) = -n**2 - 11*n + 11. Is q(x) a multiple of 21?
False
Let a(g) = -g - 7. Let v be a(-7). Let m = 0 + v. Suppose m*q = -q + 24. Is q a multiple of 12?
True
Let o = -301 - -867. Does 19 divide o?
False
Is 13/(2/(-1010)*-5) a multiple of 13?
True
Let w(p) = -95*p + 11. Is w(-4) even?
False
Let g be ((-6)/(-8))/(4/16). Suppose g*w - 2 - 13 = 0. Suppose 4*i + 2*z = 134, w*i - 172 = 5*z - 3*z. Does 17 divide i?
True
Let r be (6/(-10))/((-1)/(-5)). Let u be (r/9)/(2/(-42)). Suppose -2*i - 3*h + u = -45, -84 = -3*i - 3*h. Is i a multiple of 12?
False
Let u(l) = 2*l - 3. Let w be u(7). Suppose 17*i - 1368 = w*i. Is i a multiple of 19?
True
Suppose 0 = -11*x + 5*x + 18. Suppose x*k + 254 = 4*s + 4*k, 5*k = 2*s - 116. Is s a multiple of 21?
True
Let y be (-6)/21 - (-2)/7. Let q be y - 2 - 1 - -3. Suppose -3*x = -r + 55, -4*r + q*x - 5*x + 305 = 0. Does 15 divide r?
False
Suppose -4*n - 3*z = -35, 5*z = 4*n - 3*n + 20. Suppose 4*b + n*u - u - 84 = 0, b - 41 = -5*u. Is 8 a factor of b?
True
Let x be (-5)/(-2) + 3/6. Suppose 6 = x*s, 0*s - s = -a + 148. Does 25 divide a?
True
Suppose -3*z = 3*u, 10*z + 15 = 5*z. Suppose -y = u*n - 4, y = -n + 2 + 6. Does 10 divide y?
True
Let s = -1 - 1. Let w(g) be the first derivative of 23*g**3/3 + g**2 + 4*g + 328. Does 20 divide w(s)?
False
Suppose -7160 = -4*y - 748. Suppose -5*j - 3*w + y = -7*w, -1286 = -4*j + 5*w. Is j a multiple of 45?
False
Does 6 divide ((-1386)/(-8))/(354/944)?
True
Suppose 6 = b + 4. Suppose 3*w + 2*z + 0*z - 11 = 0, -b*w = 4*z + 6. Is 2 a factor of w?
False
Does 8 divide (13 - 12) + -3 + 1554?
True
Suppose i - 177 = -k, -3*k + 0 = 3. Let y be i/5 + 18/45. Suppose 2*h + y = 4*h. Is 6 a factor of h?
True
Suppose -2*n + 4*f + 34 = 0, -2*n + 24 = -n + 5*f. Let u = n + 9. Does 12 divide u?
False
Let d be 10/(-30) - (-7)/3 - 1. Let h(c) = 74*c - 3. Is 24 a factor of h(d)?
False
Let a be -3 - (-29 - (-8 - -4)). Let z = a - 26. Does 14 divide (12/z + -25)*-2?
True
Suppose 4*n - 3*y + 15 = 0, -y = -4*y + 15. Suppose 10*d - 20 - 150 = n. Is d a multiple of 9?
False
Let b = 896 - 562. Suppose 470 = 2*i - 4*i. Let w = i + b. Is w a multiple of 33?
True
Let l(w) be the third derivative of -5*w**4/24 - 2*w**3/3 + w**2. Let c be 25/25 + 2 + -5. Does 2 divide l(c)?
True
Let q(x) = -x**3 - 4*x**2 + 6*x + 13. Let y be q(-7). Suppose -6*g + 410 = -y. Is 34 a factor of g?
False
Suppose 0 = 34*v - 36*v + 1064. Is 79 a factor of v?
False
Let t = 445 + -127. Let z = -22 + t. Is 23 a factor of z?
False
Let b = 18 - 9. Let f(i) = 13 - 48*i + 75*i - 37*i + i**2. Is f(b) even?
True
Is 33 a factor of (-8 - 492/(-36))/(1/102)?
False
Suppose -35*q + 1981 = -2009. Does 5 divide q?
False
Let g(i) = -93*i + 408. Is 24 a factor of g(-23)?
False
Let z(w) = 15*w**2 + 15*w + 139. Is z(-6) a multiple of 34?
False
Let k(m) = 52 - 2*m + 22*m - 19*m**2 + 18*m**2. Is k(18) a multiple of 22?
True
Suppose -5*k = -0*k - 50. Let y = -3 + k. Does 4 divide y?
False
Let b = 37 + 15. Suppose 0 = 4*j - b + 8. Suppose m + j - 35 = 0. Is m a multiple of 5?
False
Suppose -9*w + 1139 = -7*w - 5*g, 2*w - g - 1143 = 0. Does 11 divide w?
True
Let k = -70 - -197. Does 24 divide k?
False
Let r = 401 + -218. Let v = 292 - r. Is 8 a factor of v?
False
Let j(k) = 19 + k - 3 + 7 + 2. Is j(-13) a multiple of 7?
False
Is 11 a factor of 7/(-35)*-10 + (-40)/(-1)?
False
Let v = -1660 + 2821. Is v a multiple of 12?
False
Suppose -122*r - 1568 = -129*r. Is 16 a factor of r?
True
Let z(c) = -11*c + 16. Let n be z(-18). Let q = -160 + 296. Let y = n - q. Is 14 a factor of y?
False
Let i = 1066 - 688. Is 7 a factor of i?
True
Let p be 12/(-18) + (-110)/(-3). Let h be ((-1)/3)/(4/p). Is h/(-4)*1*28 a multiple of 10?
False
Let x = -753 + 934. Is x a multiple of 18?
False
Let b be 8/(-36) - (-1865)/9. Suppose -153 = -9*m + b. Does 5 divide m?
True
Is 5 a factor of 0 - ((-327)/8 + (-2)/16)?
False
Suppose -1502 = -2*i + m, 0*m = 2*i - 4*m - 1496. Suppose -2*r + 584 = -3*f + 7*f, -i = -5*f + 3*r. Does 53 divide f?
False
Let n(x) be the third derivative of x**6/24 - x**5/30 - x**4/24 + x**3 - 16*x**2. Is n(3) a multiple of 12?
True
Suppose -b = -4*b + 747. Suppose -5*c = 3*h - 431, 3*c + 0*c - 3*h - b = 0. Does 32 divide c?
False
Let n(s) = s**3 - 17*s**2 + 14. Let r(f) = 2*f**3 - 33*f**2 + f + 27. Let v(h) = -5*n(h) + 3*r(h). Is 9 a factor of v(14)?
False
Suppose -2*u - 3*b = 303, 0 = -4*u + 3*b - 0*b - 615. Let s = -78 - u. Is 43 a factor of s?
False
Let o(v) = v**2 + 15*v + 17. Let u be o(-13). Let x be 4/(-18) - (-34)/u. Is (-6)/x*(-4 + 14) a multiple of 3?
True
Let r = -1121 + 1988. Does 25 divide r?
False
Suppose -4 + 10 = -3*b. Let o be -131 + (b - (1 - 0)). Let h = -78 - o. Is h a multiple of 10?
False
Suppose 0 = 5*l + l. Suppose -c + g + 53 = 0, l*c - 5*g - 94 = -2*c. Is 19 a factor of c?
True
Let m(p) = 12*p**2 - 20*p**2 + 9*p**2 - 13*p. Is 6 a factor of m(14)?
False
Let a(o) = 2*o**2 + 15*o - 60. Does 7 divide a(-16)?
False
Suppose -5*q + 5948 - 1208 = 0. Suppose p - 5*p = 3*a - q, -4*p = -5*a - 916. Is p a multiple of 26?
True
Suppose -2552 - 1348 = -5*k. Does 52 divide k?
True
Suppose 0 = -14*z + 10*z - 224. Does 31 divide (-6)/8 + (-2842)/z?
False
Suppose 4*l = -l - 70. Let f = 14 - -15. Let w = l + f. Is 15 a factor of w?
True
Suppose 2*p + 11 = -2*t - 3*t, -5*t - 4 = 3*p. Suppose -p*f - 45 = -4*f. Is 17 a factor of (-170)/f*(-9)/(-2)?
True
Let v(m) = 19*m**2 + 4*m - 3. Let w be v(2). Suppose -4*x - 13 = -w. Does 12 divide x?
False
Let h(x) be the third derivative of 5*x**4/24 - 5*x**3/3 + 3*x**2. Let w be h(4). Let k = w - 6. Is 4 a factor of k?
True
Let j(f) = 184*f + 24. Is j(3) a multiple of 9?
True
Let n(d) = 3*d**2 + 2*d - 15. Let x(b) = b**2 + 6*b + 6. Let j be x(-6). Is 21 a factor of n(j)?
True
Suppose 8*v + 38*v - 6624 = 0. Is v a multiple of 9?
True
Suppose -s + 19*p + 483 = 17*p, -3*s + 1442 = p. Is s a multiple of 13?
True
Let w(b) be the second derivative of -7/2*b**2 + 0 - 2*b**3 - b. Is 14 a factor of w(-5)?
False
Let g = -350 - -548. Is g a multiple of 33?
True
Is 13 a factor of 1*(-375)/6*(-12)/15?
False
Suppose -732 = -4*r + 316. Suppose 4*p = 3*p + 4*h + 55, -2*h = -4*p + r. Suppose -p = -3*s + 2*d, 2*s + 21 = 5*d + 51. Does 13 divide s?
False
Suppose 2*f + 3*f = 0. Let y be 1 - f/4 - -149. Let q = y - 105. Is 15 a factor of q?
True
Suppose 5*z - 42 = -4*p, -1 = -z + 3*p + 15. Suppose 25*s = 15 + 35. Does 12 divide ((-5)/z)/(s/(-48))?
True
Let h be (1 - 0)*(3 + -2). Let d be (-212)/24 + h/(-6). Is ((-6)/d)/(8/84) even?
False
Let c(w) = w**2 - 14*w - 36. Let l be c(20). Is (l/70)/((-3)/(-10)) a multiple of 3?
False
Suppose -753 = -9*d + 165. Does 3 divide d?
True
Let u be ((-13)/26)/((-1)/(-2)). Is (-93 + u)/(-2 + 1) a multiple of 15?
False
Let n(g) = 3*g**2 - 27*g - 8. Let v(o) = o**2 - 14*o - 4. Let p(t) = -2*n(t) + 5*v(t). Is 4 a factor of p(-15)?
False
Suppose 0 = 46*n - 33*n - 351. Is n a multiple of 3?
True
Suppose 3*v - 5*m + 2*m - 69 = 0, -6 = -3*m. Let j = -13 + v. Is 12 a factor of j?
True
Let d = -4 + 262. Is 6 a factor of d?
True
Let d(k) = -5*k**2 - 5*k - 4. Let i be d(-8). Let z = -174 - i. Is 20 a factor of z?
False
Suppose -4*v = 5*i - 3520, -2047 = -3*i - 3*v + 65. Is i a multiple of 8?
True
Suppose 43*v - 255 = 40*v. Is v even?
False
Suppose 2*c - 20 = -5*s, -2*c = -2*s + 2*c + 8. Suppose s*m + 111 = -133. Let h = 85 + m. Does 8 divide h?
True
Is (-2146)/(-34) + (-212)/68 + 3 a 