lse
Let w(a) = 3*a**2 - 27*a + 75. Is w(23) a composite number?
True
Let l(z) = 86*z**2 - z + 2. Is l(1) composite?
True
Suppose -2 + 0 = -2*a. Is a/(-2)*-166*1 a composite number?
False
Let w be (3/9 + -3)*3. Let z be w/6*6/(-4). Suppose z*f = -0*f - 2*q + 96, -4*q = 2*f - 86. Is f prime?
True
Suppose 0 = -4*l - 13993 - 2527. Is l/(-50) - (-4)/10 composite?
False
Suppose 0*h = 5*h - 20. Is (3 + 851/h)*4 a composite number?
False
Let c(t) = -t**3 - 7*t**2 + 12*t - 5. Let o = -4 - 5. Is c(o) prime?
False
Let g(d) = -39*d - 21. Let u(p) = -11*p - 6. Let o(t) = 5*g(t) - 18*u(t). Let s be o(6). Is 6/s + (-215)/(-7) a prime number?
True
Let u = -1561 + 2268. Is u a prime number?
False
Let q = 13 + -8. Suppose 0 = m - 4*l - 39, -q*l = m - 14 - 16. Is m composite?
True
Let s be 79 + -1 + (-1)/(-1). Let c be 5/(-2)*(-4)/5. Is 2*(s/c - 0) prime?
True
Suppose 0 = 3*p + 20 - 827. Let d = p - 154. Is d a composite number?
True
Suppose 0 = -3*h - 2*j + 281, -4*h = -3*h + 2*j - 95. Suppose -3*g - h = -291. Suppose 0*x = 2*o + x - g, -2*o = 5*x - 82. Is o a prime number?
True
Suppose -3*y - 5*f = -0*f - 190, -2*f = -4. Suppose b = y - 11. Is b a prime number?
False
Let b(c) = -41*c + 35 - c**2 - 4*c**2 + 0*c**2. Let x(k) = -2*k**2 - 14*k + 12. Let u(a) = -3*b(a) + 8*x(a). Is u(7) a composite number?
False
Suppose 23*m - 27*m = -6140. Is m composite?
True
Suppose 25*h = 21*h + 1576. Is h a prime number?
False
Suppose -5*h - 2*p = -3*p - 2084, 2 = 2*p. Is h prime?
False
Let n(j) = -32*j - 1. Is n(-15) a prime number?
True
Suppose 3*x + 85 = 4*x. Let m = 296 - x. Is m prime?
True
Is 3 - (-4 - 4*87) prime?
False
Suppose -k + 3 = -2*k. Let q(u) = 21*u**2 - 3*u + 1. Is q(k) prime?
True
Suppose -20 - 20 = 4*v. Let q(y) = y**2 + 7*y - 9. Is q(v) prime?
False
Suppose -440 = -3*t + 2281. Is t prime?
True
Let i(f) be the first derivative of 1 + 5*f + 3/2*f**2. Is i(6) a composite number?
False
Suppose -3 = h - 4. Is (3 - (-1428)/3)*h a composite number?
False
Suppose -m - 4*i + 2 = 37, -5*m - 79 = -4*i. Is (-3 + (m - 3))*-1 composite?
True
Let v(u) = 8*u**2 + 4*u + 5. Is v(-6) composite?
False
Suppose 0 = -2*x + 5*i + 24 - 8, 0 = 5*x + 3*i + 22. Is (1 - (-38 - -2)) + x prime?
False
Let q = 156 - 68. Suppose -2*n + 5*c + q = 0, -c = n + n - 76. Suppose 2*a - n = -a. Is a prime?
True
Suppose 0*k + 5*k = 7715. Is k a prime number?
True
Let k(v) = v - 5. Let x be k(8). Suppose -f + x*f = -2*n + 10, 9 = 2*f + n. Suppose 4*j = -2*c + 50, 5*c + f*j = -0*c + 143. Is c a prime number?
True
Let b = 71 + -124. Let f = b + 75. Is f a composite number?
True
Let r(k) = k**2 - k - 46. Let v be r(0). Let y be 2 + 0 - (-97 - 0). Let i = v + y. Is i prime?
True
Suppose -2 = 5*f - 12. Suppose -2*q + 316 = f*q. Is q a composite number?
False
Let r(o) = -o**3 + 6*o**2 - 5*o + 3. Let y be r(6). Let b = 84 + -4. Let c = b + y. Is c a prime number?
True
Let h(n) be the second derivative of n**4/12 + 4*n**3/3 + 9*n**2/2 + n. Let m be h(-7). Suppose -2*r + 109 = r - m*q, 3*q - 188 = -5*r. Is r prime?
True
Let b(t) = 2*t**3 - 4*t**2 + 3*t - 2. Let p(h) = -h - 4. Let u be p(-8). Is b(u) prime?
False
Let l(m) = -m. Let v be l(-3). Let s(x) = x + 4*x - 4*x**2 + 0*x**3 + 7 - x**v. Is s(-5) prime?
True
Let z be (0 - -2) + -3*47. Let j = -204 - z. Let q = j + 96. Is q prime?
True
Let w = 453 - 88. Is w prime?
False
Suppose -5*b + 0*b + 400 = 0. Suppose -5*i = -b - 85. Is i prime?
False
Let p(f) = 2*f**3 - 4*f**2 - 6*f + 6. Let b be p(6). Let s = b + -97. Is s a prime number?
False
Let h(t) = -14*t**3 - 2*t**2 + 2*t - 9. Is h(-5) a composite number?
True
Let m(l) = 2*l + 9. Let z = 12 + 0. Let h = 19 - z. Is m(h) a composite number?
False
Suppose 2 = 2*d - d. Let i = 104 + -61. Suppose -4*g + 2 = -d*z + 4*z, -4*z + 5*g = -i. Is z composite?
False
Let h(a) = -a**3 + 2*a**2 + a + 3. Let u be h(3). Let d(l) = 12*l**2 + 4*l + 1. Is d(u) a composite number?
False
Suppose 0 = 5*c - 2*a - 26 + 1, -2*c - 2*a = 4. Suppose 0 = -v - 4*j + 47, 0 = -2*j + j + c. Is v prime?
False
Suppose 0 = 8*l - 2*l - 1506. Is l a composite number?
False
Let x(v) = -5*v**3 + v**2 + 2*v + 1. Let i be x(-1). Let k be 2/i - (-26)/10. Suppose -4*l = -3*b + 75, -k*l - 88 - 26 = -5*b. Is b a composite number?
True
Let r = 9 + -5. Suppose 0*m = r*m - 8. Suppose -3*l = m*l - 335. Is l prime?
True
Let y = 14 + -8. Let k be -1 - 4/y*-111. Let f = k - 52. Is f composite?
True
Let z = -92 + 138. Is z prime?
False
Is (4/8)/(1/634) a prime number?
True
Suppose -17 + 80 = -3*v. Suppose 0 = -4*n - 5 - 3. Is (n + 3 - v) + 1 prime?
True
Suppose 0 = -3*h + h - 4*q + 1574, -2*h + 1586 = -2*q. Is h a prime number?
False
Let y be (-2)/(-9) + (-188)/36. Let j = -5 - y. Suppose 5*g - 4*x - 207 = 0, j*x = -g + x + 42. Is g a prime number?
False
Let g = 0 + 3. Suppose -5*w + 5 = g*y - 2, 2*y + 6 = 2*w. Suppose -2*s + 364 = w*s. Is s a prime number?
False
Is (409/2)/(1/2) prime?
True
Suppose -4*b + 2*b - 17 = -r, 5*b + 3*r = -15. Let z = 8 + b. Suppose -z*k - 89 = -227. Is k a prime number?
False
Is ((-104)/32)/((-2)/8) a composite number?
False
Suppose 0 = 4*w + 5*g + 17, -5*g - 27 = 5*w - 6*w. Let u = w - -1. Is u a composite number?
False
Suppose -5*y - 372 = -3*y. Let t be (y/(-7))/((-8)/(-56)). Suppose 2*j + t = 632. Is j a composite number?
False
Let c = 2 - 0. Suppose 3*u = c*m + 267, -5*u + 368 = -2*m - 81. Is u composite?
True
Let b be -12*2*(-298)/16. Suppose k = -2*k + b. Is k composite?
False
Suppose 0 = -2*f - 0*f - 172. Is f/3*24/(-16) composite?
False
Suppose -4*p + 558 = -114. Let d = 11 + -11. Suppose d = 4*r - p + 28. Is r a prime number?
False
Is 34209/147 - (-4)/14 a composite number?
False
Let f = -63 - -132. Suppose -f = -2*o + q - 2*q, -3*o = -5*q - 110. Is o a prime number?
False
Let b = 6 - -2. Suppose 4*d + b + 12 = 0. Let p(k) = -6*k + 5. Is p(d) composite?
True
Suppose 3*k - 2*u = 2, 2*k - u = u. Let v = -2 - k. Let o(c) = -c**3 + 2*c**2 - 3*c + 3. Is o(v) composite?
True
Let x be (-21)/12 - 2/8. Let i be 3/(-2)*4/x. Suppose -j - i = -40. Is j a prime number?
True
Suppose -4*o + 28 = 2*t, 4*o + 6 = -t + 6*o. Let l be (-129)/t + 4/16. Let w = l - -51. Is w a prime number?
True
Suppose -2*i + 8 = 0, 3*z = -0*i + i + 7283. Is z prime?
False
Let b be (-66)/14 - 2/7. Let z = -27 + 16. Let m = b - z. Is m a prime number?
False
Let a = 35 - 14. Is a composite?
True
Suppose -3*l + 251 = 4*p, -3*l = 2*p + l - 138. Is p prime?
True
Suppose 2*l - 6*l = -8. Suppose l*r - 370 = -0. Is r a prime number?
False
Let i = 911 - 504. Is i prime?
False
Suppose -635 = -4*y - y. Is y composite?
False
Suppose -v + 0*v = -3. Let h(k) = 3*k**3 - 2*k**2 - 2*k - 2. Is h(v) prime?
False
Let m be (-10)/(-4)*(-36)/(-15). Is 12 - 3/m*-2 a prime number?
True
Suppose 0 = 4*a - 0 - 8. Suppose 2*m - 6*m = -4*q + 8, -24 = -a*m - 5*q. Suppose 0 = -2*w + m*g + 20, -w - g + 19 = -5*g. Is w composite?
False
Suppose n - 480 - 221 = 0. Is n prime?
True
Suppose 0 = -4*c - 3*m + 11, -5 = -8*m + 3*m. Suppose -c*o = 5*q + 25 - 656, -2*q - 5*o + 244 = 0. Is q a composite number?
False
Let r be (2 - 1) + 4 + 0. Suppose -r*m = -m - 284. Is m a prime number?
True
Suppose h - 4 = 0, -3*b - 38 = h - 3*h. Is (-504)/(-10) - 6/b a prime number?
False
Let h(b) = 18*b + 1. Let n(t) = -6*t**2 - 5*t + 3. Let l(a) = -7*a**2 - 6*a + 3. Let s(o) = -5*l(o) + 6*n(o). Let m be s(0). Is h(m) composite?
True
Is (-21)/(-5 + 12)*382/(-2) prime?
False
Let v(z) = -z**2 - 5*z - 2. Let y be v(-3). Suppose y*d - 6 = 2. Suppose 0*n + 28 = d*n. Is n prime?
False
Suppose -4*n + 6*n = -52. Let b = -56 - -101. Let f = n + b. Is f a prime number?
True
Let y(f) = -f**2 + 5*f + 5. Let m be y(4). Suppose -s + m = -0. Is s composite?
True
Let c(b) be the second derivative of -b**5/20 + 5*b**4/12 + 7*b**3/6 + 7*b**2/2 + 3*b. Let x be 1 + 2/(4/10). Is c(x) prime?
True
Suppose 6 = -4*d + 18. Suppose 5*h - d*h - 514 = 0. Is h a prime number?
True
Suppose -n + 3 = -0. Suppose 3*f - 7 = -d - d, -d = 1. Suppose -n*z + 42 = f. Is z prime?
True
Let z = 2794 + -617. Is z composite?
True
Let x = 40 + -214. Let k = x - -547. Is k composite?
False
Let m = 4 - 0. Is 66/m*60/18 a composite number?
True
Let d(t) be the third derivative of -t**6/120 + t**5/6 - t**4/3 - t**3/3 + 3*t**2. Is d(7) composite?
False
Let h = 11 + 