lse
Is 1/1 - (-3 + -2155) a prime number?
False
Let c = 22 + -12. Suppose -1070 = -5*k + m + 2*m, 2*m + c = 0. Is k a prime number?
True
Let o = -372 - -1291. Is o composite?
False
Suppose -8 = 4*v, -5*u - 4 = -2*u + 2*v. Suppose 0 = -4*a - u*a + 572. Is a prime?
False
Let b(a) be the third derivative of -a**6/120 - 2*a**5/15 + 5*a**4/12 + 2*a**3 - a**2. Let d be b(-9). Is (-2)/(-6) - (-104)/d a prime number?
False
Let u = -1 + 6. Suppose -u*y + 0*y = -110. Is y a composite number?
True
Let f be (-2 - (1 - 3)) + 54. Let m = f - 29. Is m composite?
True
Let r(g) be the third derivative of 3*g**2 + 0*g**5 + 17/60*g**6 + 1/12*g**4 - 1/6*g**3 + 0 + 0*g. Is r(1) a composite number?
True
Let d be 1 + 0 - (-13 + -2). Is 1 + d/(-4) + 266 a composite number?
False
Suppose 0*s - 5*s = 35. Let l(c) = -3*c - 9. Let t be l(s). Suppose -3*d = t - 351. Is d composite?
False
Suppose -i - 2*i + 9 = 0. Let o(j) = 6 - 6*j - j**2 + 7*j**2 + 2*j - i*j - j**3. Is o(4) composite?
True
Let p(f) = 23*f**2 + 5*f + 2. Let q be p(-6). Is q/6 + 6/(-18) a prime number?
False
Let r(a) = -a**2 + 679. Is r(0) a prime number?
False
Suppose 15 = -a - 4. Let t = -63 - a. Let r = t + 95. Is r a prime number?
False
Let j be ((-4)/10)/((-2)/20). Let p(r) = -25*r. Let t be p(-1). Suppose q + v - t = -j*q, q = -v + 1. Is q a prime number?
False
Let z(k) = 143*k**3 + 4*k**2 - 6. Is z(2) composite?
True
Let m(i) = 3*i + 2. Let q be m(5). Let z(y) = y**3 - 13*y**2 + y - 9. Let j be z(13). Suppose j*b = 75 + q. Is b a prime number?
True
Suppose 0*r + 164 = -2*r. Is (r/6)/(2/(-18)) composite?
True
Let h = -92 + 181. Is h composite?
False
Let d(l) = -38*l. Let s be d(1). Let t = s - -93. Is t a composite number?
True
Suppose -3*k + 2*a + 63 = 0, -6*a - 17 = -k - 4*a. Is k composite?
False
Let h = -49 - -98. Suppose 0 = -b + 214 + h. Is b a prime number?
True
Suppose -9 = -2*z + 1. Suppose z*t = 32 + 13. Suppose 4*u - t = -3*o, 5*o = u - 0*u + 38. Is o prime?
True
Suppose -4*t - 140 = -z - 23, 2*z = -5*t + 299. Suppose -z = -2*d + 177. Is d a composite number?
False
Suppose -y + 1893 = -4*n, -5*n - y = 199 + 2165. Let h = 880 + n. Is h a prime number?
False
Let k = 623 - 372. Is k prime?
True
Suppose -3*s = -2*s - 3. Suppose -m = -s*w - 136, 4*m + 3*w - w - 558 = 0. Is m a composite number?
False
Let b(q) = q**2 - q - 1. Let s be b(2). Is 1 - s - (8 - 95) a composite number?
True
Let y(b) = 14*b**3 - 3*b**2 - 5*b + 23. Is y(5) composite?
True
Let f be ((-4)/5)/(2/5). Let j be 1*(1 + f + 1). Suppose j = 2*n + 3*n - 385. Is n prime?
False
Is 15/15 - (0 - 112) a composite number?
False
Suppose 201 = -6*y + 3*y. Let o = 22 - y. Is o a prime number?
True
Let y = -665 + 1480. Suppose 326 = 2*u - 0*k + 5*k, 5*u - y = 5*k. Is u a prime number?
True
Let p(t) = t**2 - 5*t - 11. Is p(18) prime?
True
Let u(f) = f**3 - 5*f**2 - 6*f + 34. Is u(11) composite?
True
Let l(j) = j**3 + 8*j**2 - 2*j + 5. Suppose r = 2*p - 2*r - 13, p = -5*r. Suppose p*m + 4*o = -60, 2*m - 5*o - 5 - 4 = 0. Is l(m) a prime number?
False
Let p = -3996 - -7033. Is p a prime number?
True
Let d(o) = 9*o**2 + 3*o - 8. Is d(-6) composite?
True
Let l(a) = -a**2 + a + 1. Let w(f) = 3*f**2 - 2*f - 2. Let r(p) = -l(p) - w(p). Let n be r(3). Let z = n - -33. Is z a prime number?
True
Let f(b) be the first derivative of 9*b**2/2 + 10*b + 1. Let m be f(7). Suppose -5*d + m + 32 = 0. Is d a composite number?
True
Let n(w) = 4*w**2 + 7*w + 5. Is n(6) composite?
False
Suppose -i - 79 = 67. Let m = 65 - i. Is m a prime number?
True
Let x(z) = 70*z**2 - 2*z - 1. Let t be x(-1). Is t - (0/4)/4 prime?
True
Let a(m) = 3*m**3 + 2*m**2 - m - 1. Let s be a(3). Suppose 0 = 5*y + 2*r - 403, y - s = -0*y - 4*r. Is y prime?
True
Suppose -184 = 4*h - 44. Let a(m) = -m**3 - m**2 + 98. Let x be a(0). Let j = x - h. Is j a prime number?
False
Suppose w - 2*w = 132. Let t = -67 - w. Is t composite?
True
Let a(f) = 25*f + 2. Let z = 2 + 3. Is a(z) a prime number?
True
Let a be (2/(-3) + -1)*3. Is (-55 + 0)/(4 + a) a prime number?
False
Suppose j = 5*j - 3356. Is j composite?
False
Let u(f) = 4*f**3 - 14*f**2 + 7*f - 22. Is u(9) a prime number?
True
Let i = -1642 - -2723. Is i a prime number?
False
Let u = 2 + -2. Let t be (2 + u)*(-10)/(-4). Let w = 8 + t. Is w composite?
False
Let b(s) = 24*s**3 + s**2 + 2*s - 2. Let d be b(2). Suppose m - c = 248 + 102, 6 = -2*c. Let t = m - d. Is t a composite number?
False
Let s be 411*(-7)/(42/(-4)). Suppose 3*l - l + 392 = -2*b, 974 = -5*b + l. Let j = b + s. Is j composite?
False
Let p be -4*(-1)/(-2) - 0. Let x be (1 - -2) + -16 - p. Let z(y) = y**2 - y + 9. Is z(x) a prime number?
False
Let t(f) be the first derivative of 13*f**5/30 - f**4/12 + f**3/6 + f**2/2 + 3. Let l(s) be the second derivative of t(s). Is l(1) a composite number?
True
Suppose -35*l = -37*l + 9722. Is l a prime number?
True
Suppose -10*t + 5*t = -3205. Is t a composite number?
False
Let j = -15 - -19. Suppose 5*z + j*h - 185 = 0, -z - h - 25 = -63. Is z a composite number?
True
Suppose 0 = 5*c - 4*c - 379. Is c prime?
True
Suppose 0 = -2*h + 206 + 36. Is h a prime number?
False
Suppose 5*w = 13 + 12. Let n(j) = -5 - j**3 + 0*j + w*j - 3*j + 6*j**2. Is n(6) prime?
True
Let x(s) = -s**3 + 6*s**2 - s + 6. Let f be x(6). Suppose f = -3*p - 0*p + 165. Is p a composite number?
True
Let u = 796 - 127. Is u a prime number?
False
Let o = -4 - -3. Let k(j) = -4*j. Let v be k(o). Suppose -v*d - 326 = -2*w, -3*w + 489 = -7*d + 2*d. Is w prime?
True
Let l(j) = -j**3 + 13*j**2 - 9*j + 2. Is l(11) prime?
False
Suppose 3*r + b - 3333 = -3*b, -5*r + 4*b + 5555 = 0. Is r a prime number?
False
Let m be (-3)/6 + 10/4. Suppose -12 = -3*g, -4*c + g = m*g - 28. Is c a composite number?
True
Let m(b) = b**3 - 9*b**2 + 9*b - 1. Let h(w) = w**3 - 5*w**2 + 3*w - 7. Let v be h(5). Is m(v) a prime number?
True
Let m = 52 - 20. Let k = -35 + 22. Let f = m + k. Is f a composite number?
False
Let r = -3039 + 4520. Is r prime?
True
Suppose -2*q - 3 = 15. Is (2 - 1) + (-270)/q prime?
True
Let r be ((-4)/3)/(6/(-9)). Let x = r - -1. Suppose -2*l = -3*l + x. Is l prime?
True
Let a(f) be the first derivative of 2*f**3/3 + 4*f**2 - 5*f + 3. Is a(-6) composite?
False
Let p(q) = 34*q**2 + q + 3. Let x be p(7). Suppose -4*j + x = -0*j. Is j a prime number?
True
Let q = -169 - -342. Suppose -q = -5*j + 82. Is j composite?
True
Let g(i) = 631*i - 4. Is g(3) a composite number?
False
Let g(y) = 7*y**2 - 8*y + 1. Let o(d) = 13*d**2 - 16*d + 2. Let h(r) = -5*g(r) + 3*o(r). Is h(6) prime?
True
Let c be (1 - -1)*6/(-4). Let h = 66 - 33. Is (-1)/(3/c) + h a composite number?
True
Suppose 13 - 31 = -3*l. Let q = l + -4. Suppose 3*f + 19 = 3*c - q*c, -c - 5*f + 51 = 0. Is c prime?
True
Let q(w) = -4 + 3*w**2 - 3 - 7*w - 2*w**2 - 2. Let g be q(9). Let p = g + -5. Is p a composite number?
True
Let f(b) = -12*b**3 - b - 1. Let p be f(-1). Let k be ((-33)/(-6))/(2/p). Suppose -160 = -o - k. Is o a composite number?
False
Is (-2)/(12/393)*(-2 - 0) a composite number?
False
Let n be (-32)/(-14) - 2/7. Let h be 5 + -3 + 108 + 1. Suppose m - h = -n*m. Is m a composite number?
False
Suppose 2*q = 18 - 4. Suppose -q*o = -2*o - 635. Is o a composite number?
False
Let g(c) = 17*c - 25. Is g(10) a prime number?
False
Is -4*5/40*(0 + -716) a prime number?
False
Let r(h) = -h**2 + 4*h + 7. Let i be r(5). Let x = 2 - i. Is (x + 21 - -2) + -2 prime?
False
Let j(y) be the first derivative of y**4/4 - y**2/2 + 3*y + 3. Let z be j(0). Suppose 0 = -3*h - z*t + 243, 0*t = 2*t - 4. Is h a prime number?
True
Suppose -5 = -3*j + 5*q + 7, -2*j + 4*q = -8. Suppose 0 = -0*y + 3*y. Suppose y = -v - j + 51. Is v a prime number?
True
Suppose 0 = 2*k - 3*o - 1828, -3*k + 5*o - 1603 + 4346 = 0. Is k composite?
False
Suppose 1937 = 3*x - n, x - 3*n = -x + 1282. Is x a composite number?
False
Suppose -2*r - 2*g + 953 = -5*g, -5*r + 2355 = -2*g. Is r prime?
False
Suppose -2009 = -5*k - 7*y + 3*y, -k - 2*y + 403 = 0. Is k a composite number?
False
Let y(z) = z**3 + z + 5 - 2*z + 0*z**3. Is y(6) prime?
False
Suppose -5*y + 381 + 544 = 0. Is y a prime number?
False
Suppose 0 = w - 4*w + 294. Let d = w + 159. Is d a composite number?
False
Suppose l - 18 = -2*l. Suppose 150 - 33 = 3*q. Suppose q = l*j - 3*j. Is j a prime number?
True