lse
Let q = -266 - -852. Let f be q/(-8) + 9/(-12). Is f/(-4) - 1/(-2) a composite number?
False
Suppose -9*k = -14*k + 3195. Let n = k - 268. Is n composite?
True
Suppose -3721 = -c + 1312. Is c a prime number?
False
Suppose -10*b + 6 = -8*b. Suppose -b*m - 26 = -4*m. Suppose -40 = -3*w + w + 3*g, -3*w - 4*g + m = 0. Is w composite?
True
Let i(k) = 368*k**2 - 3*k + 5. Is i(2) a composite number?
False
Let p = 928 + -239. Is p a prime number?
False
Let y(w) be the first derivative of w**3 + 2 - 5/2*w**2 + 5*w. Is y(4) a composite number?
True
Suppose -3 = -3*p, 3*p - p + 23 = 5*a. Suppose 0 = w + 2 + 2, -a*t + 935 = 5*w. Is t composite?
False
Suppose -4*r + 5524 = -o + 5*o, 0 = 3*o. Is r prime?
True
Is (-2465)/(-5) - (2 - 2) a prime number?
False
Let f(p) = p**3 - 7*p**2 + 2*p - 10. Let a be f(7). Suppose 3*c - 2*l - 71 = 0, 4*l + 95 = a*c + l. Is c a composite number?
False
Suppose 6*a - 200 = a. Suppose -52 = 5*v - v. Let u = a - v. Is u prime?
True
Suppose -2*s + 0*s + 44 = 0. Suppose 48 = -5*b - s. Is (3 + -1)/((-4)/b) composite?
False
Suppose 4*q - 92 = 4512. Is q prime?
True
Let i(s) be the first derivative of -101*s**2 + s - 3. Is i(-1) a prime number?
False
Let k(c) = 741*c - 44. Is k(3) prime?
True
Let d(c) be the first derivative of c**4/4 - 2*c**3/3 - 3*c**2/2 - 4*c + 3. Let r be d(-3). Let x = r - -77. Is x a composite number?
False
Let z(v) = 27*v**2 - 16*v + 2. Is z(-5) prime?
True
Suppose 5*f - 4435 = 3*o, 3*o + 2661 = 3*f - 0*o. Is f prime?
True
Let i = 37 + 25. Is i prime?
False
Suppose -15 = -n + 4. Let p = 7 + n. Suppose p + 2 = 4*l. Is l a prime number?
True
Let b be ((-9)/(-18))/((-2)/16). Is 1576/16 - (-6)/b a prime number?
True
Let u(p) = p + 2. Let a(k) = k + 1. Let d(o) = -4*a(o) + 3*u(o). Let i be d(6). Is (-1 + 2)/(i/(-316)) prime?
True
Suppose -f = 4*v - 85, -2*f - v = 2*v - 180. Suppose -b + f = 16. Is b prime?
False
Let b(c) = -c**3 + c - 2. Let y be b(-2). Let j = y - 2. Suppose -5*m = 4*h - 179 - 618, -j*m - 5*h = -329. Is m composite?
False
Let v(k) = -k**2 - 12*k + 8. Suppose -a - 6 = a - 3*d, 0 = -2*a + d - 14. Is v(a) a prime number?
False
Let x be 2/(-6) + 350/(-21). Let t = -3 - x. Is t a composite number?
True
Let n be (-3)/1 + 139 - -3. Suppose 0*i + n = i. Is i composite?
False
Let w be 4 - (-3 + (2 - 1)). Suppose 2*i - 2*y + 8 = w*i, -5*i = 2*y - 12. Suppose 0 = -i*u + 4*x - x + 143, -2*u + 3*x + 73 = 0. Is u prime?
False
Let w(z) = z**2 + z + 3. Let x be w(-4). Let k be (-2)/3 - 320/x. Let p = 59 + k. Is p prime?
True
Let p(j) = j + 83. Suppose 2*r = 5*r. Is p(r) composite?
False
Suppose -4*n = -0*n - 308. Is n a composite number?
True
Let c = -151 - -228. Is c prime?
False
Let x be (-2)/(-3 - (-7)/3). Suppose -5*s + 450 = x*w, 0*w = w + 5. Is s a composite number?
True
Let c be 5 + 1 + -4 + 3. Suppose -3*o + 117 = c*p, 0 = 3*o - 3*p - 0*p - 93. Is o composite?
True
Is 51261/14*(-6)/(-9) a prime number?
True
Suppose 0 = 2*g + 6 - 0. Let a = 2 - g. Suppose x + 65 = a*y, y - 13 = -x + 2*x. Is y a composite number?
False
Let s(v) = 44*v**2 + 14*v + 3. Is s(-11) a prime number?
False
Suppose -3*y + 102 = -150. Suppose 5*p = y + 191. Is p prime?
False
Let i(j) = -2*j + 15. Is i(-26) a composite number?
False
Suppose 0 = -2*b - 9*b + 11627. Is b composite?
True
Let h be (-2)/(-11) - (-7380)/66. Suppose 42 = -5*t + h. Let i = 51 - t. Is i a composite number?
False
Suppose 0 = 4*o - 5*o + 335. Is o prime?
False
Let n(h) = h - 4. Let k be n(10). Is (3585/k)/(-5)*-2 prime?
True
Suppose n + d - 1 = 0, 4*d - 22 = -n + 3*n. Let a(w) = -58*w - 2. Let z be a(n). Suppose -2*l = -6*l + z. Is l a prime number?
True
Let k = -596 + 1747. Is k a prime number?
True
Suppose -2*f + 8 = 2*y, -2*y + 0*f + f = 4. Suppose y*k + k - 79 = 0. Is k a composite number?
False
Let p(y) = 2*y**2 + 3*y + 11. Is p(-5) a composite number?
True
Let a = 4 + -2. Suppose 3*o - i = 159, a*o - 3*o - 2*i = -60. Let v = -23 + o. Is v prime?
True
Let u(m) = -m**2 - m + 2. Let q be u(0). Suppose -5*s + 0*s = q*h + 43, 0 = -s + 5*h + 13. Is 522/14 + 2/s a prime number?
True
Let m = -13 + 13. Let i(c) = c**3 - c**2 + 71. Is i(m) a prime number?
True
Suppose 0*w - 2*w = 132. Let o = 23 - w. Is o a composite number?
False
Suppose 0*r = 3*r - 3525. Suppose -463 = 4*n - r. Is n a composite number?
True
Let l = 134 + -81. Is l a composite number?
False
Suppose 4*k + 20 = 2*k. Let r = 20 + k. Is r a composite number?
True
Is 223 + 2/(-6) + 2/6 composite?
False
Let g(d) = d**2 - 9*d. Let y be g(10). Let a be 4/y - 39/(-15). Suppose 0*h = 3*o - 2*h - 281, 79 = o + a*h. Is o a prime number?
False
Let p(x) be the second derivative of -x**4/12 - 2*x**3/3 - 2*x**2 + 2*x. Let m be p(-3). Let c(y) = 36*y**2 - 2*y - 1. Is c(m) a composite number?
False
Suppose -3*p = -6*p + 2*q + 7, 5*p = 4*q + 11. Let y be 0 + 2 - (p + 263). Let l = -185 - y. Is l prime?
True
Let r = -3 + 15. Is (-2)/r - 2793/(-18) composite?
True
Let y(t) = -2*t - 1. Let u be y(6). Let o = u - -64. Is o prime?
False
Let t(d) = d**3 - 2*d + 0*d - 1 - 3 + 3*d**2. Let q be t(-3). Suppose -q*u = -13 - 1. Is u a prime number?
True
Let c(k) = -k - 7. Let g be c(-9). Suppose g*i = 93 + 169. Is i a prime number?
True
Let p = 524 + -55. Is p prime?
False
Suppose -5*u - 5 = 0, 2*i - 38 - 291 = 3*u. Is i a composite number?
False
Let n(a) = -a**3 - 5*a**2 - 1. Let o be n(-5). Is o + 28/(1 - -1) composite?
False
Let r be (-54)/15*(95/(-3) - -5). Let j = 31 - 72. Let p = r + j. Is p composite?
True
Let f = 5 - 5. Suppose f*i = 3*i. Suppose 3*q - q - 226 = i. Is q prime?
True
Suppose -4*m + 584 = 220. Is m a composite number?
True
Let s = 1754 + -865. Is s composite?
True
Let y(d) be the third derivative of -9*d**4/8 - d**3/3 - 3*d**2. Is y(-5) prime?
False
Suppose 2*m + 2*n - 580 = 0, -5*m + 3*n = 118 - 1592. Is m a prime number?
True
Suppose q = b + 8, 2*b - 8 = -4*q - 0*b. Suppose q*m = -m + 30. Suppose -o = -m*o + 815. Is o composite?
False
Let y = -118 - -167. Is y a composite number?
True
Is (-1)/(3/(-6)) + 104 composite?
True
Suppose 3*x - 551 = -t - 4352, -1277 = x - 3*t. Is (x/(-8))/(1/2) a composite number?
False
Let l be 1/4 - (-50)/(-8). Let i = l + 10. Suppose i*z + 0*w = -w + 104, 0 = -3*w + 12. Is z a prime number?
False
Suppose 0 = 4*v - v - 1194. Suppose v = 2*d - 120. Is d a composite number?
True
Suppose -2*a = -v - 5225, -5207 = -2*a - 0*a - 5*v. Is a a prime number?
False
Suppose 0 = 3*p - 5*t - 49, 7*p - 20 = 2*p - 4*t. Suppose -5*n + p = -n. Suppose u = -2*l + 27, n*u - l - 52 = -6*l. Is u prime?
True
Suppose 3*t + 3*s - 5655 = 0, -s = 5*t - 2*s - 9449. Is t composite?
False
Let b = 15 + -11. Suppose 0 = -3*j + f - b*f, 4*f - 10 = j. Is ((-5)/j)/(7/42) a composite number?
True
Let f be 4/(-3)*(-3)/1. Let u = 4 - f. Suppose 5*d + 12 - 42 = -4*n, u = -5*d - 10. Is n prime?
False
Suppose -2*z - 8 = 2*i, 0*z = 2*z + 5*i + 2. Is ((-3)/z)/((-1)/(-106)) a prime number?
True
Suppose 2*p - 20 = -4*l, -3*p - 3*l + 0 = -15. Let a = 2 - p. Suppose -a*i - 46 = -4*i. Is i a prime number?
True
Suppose 0 = -5*x + 1 + 9. Suppose -x*u = u. Is (-1 + u + 4)*11 prime?
False
Let y = -160 - -334. Suppose 4*z = -7*k + 2*k + y, -44 = -z - k. Is z composite?
True
Is (-4967)/(-3) + (-96)/(-72) a prime number?
True
Let g(c) = -17*c - 4. Let y = 1 - 0. Let j = -4 + y. Is g(j) a prime number?
True
Suppose w - 165 = -4*w. Let z = 66 - w. Is z a composite number?
True
Let n(a) = a**2 - 6*a + 5. Let y be n(6). Let m(u) = u**3 + 3*u**2 - 2*u + 1. Let x be m(-3). Suppose -y*c = -x*c + 290. Is c composite?
True
Let s = 10 - 6. Is 1 + (-2 + s - -50) a prime number?
True
Suppose -3*v + 25 = 5*o, -4*v - o + 16 = -3*o. Suppose -v*i + 5 = 2*f - f, 2*i - 2 = 5*f. Suppose x - 35 = -5*j, 3*x + 3*j = -f*j + 57. Is x prime?
False
Is 1*24 - (4 + -1) prime?
False
Let d be -2 - (-33)/3 - -3. Suppose d = 2*p + 2*p. Is p a prime number?
True
Let a(q) = -17*q - 5. Let g(r) = -33*r - 10. Let l(w) = -13*a(w) + 6*g(w). Is l(6) a composite number?
True
Let r(x) be the second derivative of -4*x**5/5 - x**2/2 - x. Is r(-1) a prime number?
False
Suppose -r + 0 = -13. Suppose 2*f - 4 = -3*l + 7, 2*f = 5*l - r. Suppose -17 = -l*v + 46. Is v composite?
True
Suppose v - 1 = -2*q + 7*q, 2*v = 5*q + 7. Is v a prime number?
False
Suppose -x = -2*x.