- 3772. Is x composite?
False
Let v(p) be the second derivative of p**5/120 + p**4/12 - p**3/3 - 2*p. Let n(y) be the second derivative of v(y). Is n(1) a composite number?
False
Suppose 3*m + m + m = 0. Suppose m = 7*k + 3*k - 6690. Is k prime?
False
Let j(o) be the third derivative of o**5/5 + 3*o**4/8 - 2*o**3/3 + 18*o**2. Is j(7) prime?
True
Let c(b) = 105*b - 1. Let w be (11/(-77) - (-8)/7)*6. Is c(w) prime?
False
Suppose -2 = g, -2*p + p - g + 963 = 0. Let t be (-3)/(-1)*p/15. Is -3 + t + (-2)/(-2) prime?
True
Let t = -3351 + 7622. Is t prime?
True
Is (-200158)/(-8) + (-450)/600 a prime number?
False
Suppose 0 = x - 2*q, -5*x + 4 = -q - 5. Suppose t - 4*i = 0, -t - x*i - 23 = 1. Let w = -9 - t. Is w a prime number?
True
Is (-306410)/390*(-6)/2 a prime number?
True
Suppose 4*j - 77 = 3*p, 2*p = -1 + 3. Suppose -2*a - 2*f - 2*f + 274 = 0, -j = -4*f. Is a prime?
True
Is (-11100)/(-11) + (-166)/1826 a prime number?
True
Let f be (3/2)/((-3)/(-4)). Let v(g) = -g**2 + 4*g + 7. Let x be v(5). Suppose 0 = -x*o - f*s - 0*s + 288, o - s - 148 = 0. Is o composite?
True
Let u be (-2295)/(-4) + (-6)/8. Let r be -1*79*-1 + 0. Suppose -4*h = -u - r. Is h prime?
True
Suppose 3*i = 2*g + 78451, 3*g = -2*i - 22674 + 74966. Is i a composite number?
True
Suppose 5*p + 7690 = 5*g, 0*p + 3076 = 2*g + 2*p. Is g prime?
False
Suppose -4*a = -8*a + 132. Suppose -a = f - 482. Is f a composite number?
False
Let w = 7429 - 1953. Suppose -2*y - 2*y = -4*a + 5476, 0 = 4*a + 5*y - w. Is a composite?
True
Let w(v) = 28*v**2 + 2*v + 13. Let m(c) = -14*c**2 - c - 7. Let f(h) = -7*m(h) - 3*w(h). Is f(-5) prime?
False
Let h(c) = -c + 9. Let f be h(6). Let v(t) = -462*t - 2. Let p(j) = -j - 1. Let s(u) = f*p(u) - v(u). Is s(2) a prime number?
False
Let o(h) = -h**3 + 30*h**2 + 7. Is o(30) a composite number?
False
Suppose -109974 = 18*z - 24*z. Is z composite?
False
Suppose 7*b = 6*b + 102. Let t = b + -81. Is t prime?
False
Let k be 0/(3 + -5) + -11. Let d = 12 + k. Is -2 - (244/(-2) - d) a prime number?
False
Suppose 0 = -8*f + 29598 + 310234. Is f a composite number?
True
Let q(d) = 278*d + 47. Is q(7) prime?
True
Let z(b) = 49*b - 251. Is z(48) a prime number?
False
Let n be (24/5)/((-10)/50). Is (163/2)/((-12)/n) a composite number?
False
Let j(d) = 7*d**3 + 4*d**2 - 13*d + 9. Suppose 8*y = -8*y + 80. Is j(y) a prime number?
True
Suppose 13*w - 48410 = 3291. Is w a prime number?
False
Let h(g) = 208*g + 11. Suppose 9*i - 30 = 4*i. Is h(i) a composite number?
False
Let i be 2/(-13) - 420/(-26). Suppose -i = -2*v - 2*v. Is v/(-16)*1268/(-1) prime?
True
Let p(d) be the third derivative of 3*d**5/20 + d**4/8 + d**3/2 + 4*d**2. Let f(o) = o + 1. Let n be f(-3). Is p(n) a prime number?
False
Suppose 0 = 24*q - 13347 - 3981. Let u = -77 - 263. Let d = u + q. Is d a composite number?
True
Let h be (-5)/(-1 - 18960/(-18965)). Suppose -18*g + h = -13*g. Is g a prime number?
True
Suppose 0 = 18*r - 18211 + 5809. Is r a composite number?
True
Let j = 68 - 64. Is -771*((-2)/j + 3/18) a prime number?
True
Let u be ((5 - 3) + 2)*1. Suppose 1 = -o + u. Suppose o*w + 0*w - 138 = 0. Is w composite?
True
Let g = -1752 + 3853. Is g a prime number?
False
Let t be (-6)/(36/33)*-38. Let r = 372 - t. Is r composite?
False
Suppose 6*g - 7*g = 3. Is g + 2 - (-2 - 1542) composite?
False
Let r = -41 + 131. Suppose 269 = -57*n + 58*n. Suppose 0 = -b + n - r. Is b prime?
True
Suppose -12*u + 14567 = -10069. Is u a prime number?
True
Suppose -5*c - 44 = -5*p - c, -4*c + 40 = 2*p. Suppose -10*w + p*w = 890. Is w composite?
True
Let v be 7 + -8 + 9/1. Suppose v*i - 213 = 5*i. Is i composite?
False
Suppose 11193 = 5*g - 18*g. Let x = -410 - g. Is x a composite number?
True
Let x(i) be the second derivative of i**4/12 + i**3/6 + 2*i**2 - 3*i. Let a be x(-4). Suppose 3*n = 2*j - n - 146, 0 = -4*n - a. Is j prime?
False
Let j(p) = -1624*p - 3. Is j(-1) a composite number?
False
Suppose 2*c + 0 = -5*b + 9, -2*c - 2*b = -6. Let j = c - -1. Suppose 5*p + 3*m + j = 647, -5*p - m + 638 = 0. Is p prime?
True
Let a = 1791 + -712. Is a prime?
False
Let c be (-6 - -8)*(-3)/(-2). Let k(i) = -4 + 2*i - 3*i**2 + 3*i**c + 0 + 3. Is k(2) prime?
False
Suppose 6 = -2*y - 5*c, y - 3*c = -0*y + 8. Suppose 4*g = y*p - 122, -g = 5*p + g - 353. Is p composite?
True
Let f(x) = 2*x**2 - 16*x - 2. Let m be f(7). Let d = m + 19. Is d + (-149)/(-1) + 3 a composite number?
True
Suppose 842959 = 14*c + 29293. Is c a composite number?
True
Suppose 39*v = 63251 + 84676. Is v a prime number?
True
Let j = 55 + -42. Let s(w) = 3*w**2 + 13*w + 3. Is s(j) a composite number?
True
Suppose 129*l - 135*l = -39108. Is l a prime number?
False
Let a(t) = t**2 + t - 73. Let f be a(0). Let b = 1154 + f. Is b a composite number?
True
Let f = 4607 + -2074. Is f a composite number?
True
Let v be 7 + 9 - (0 + 2). Is 442/1 - (v - 17) a prime number?
False
Let r be ((-178)/(-4))/(1/2). Suppose k - 5*k + j = -8, -4*j + 8 = 4*k. Suppose -r = -k*d + 21. Is d prime?
False
Let q(y) be the third derivative of -y**6/24 + y**5/20 + 7*y**3/6 - 11*y**2. Is q(-3) composite?
True
Let h = 56 + -54. Suppose 2*s - 16714 = -5*v - s, h*s = v - 3335. Is v prime?
False
Let b be 2/(-12) + (-6)/(-36). Suppose b = -i + 8 - 5. Suppose 2*w - 785 = -i*w. Is w composite?
False
Let n be 0/((0 + -1)*-1). Let p(b) = -b + 5*b - 5 + n*b + 17*b. Is p(7) composite?
True
Let h be 159/(((-28)/8)/7). Suppose -3*k + 2*k + 471 = 0. Let o = k - h. Is o a prime number?
False
Suppose 5*g - 90476 = m + 16859, 2*g + 4*m = 42934. Is g prime?
True
Suppose -5*y = j - 10169, -6*y + 5*y = -4*j + 40613. Is j a prime number?
False
Let z(s) = -s**3 - 2*s**2 - 2*s + 3. Let f(t) be the third derivative of t**5/60 - 5*t**4/24 - t**2. Let b be f(4). Is z(b) prime?
True
Let x(m) = 31*m + 14. Let h(t) = 2*t**2 + 2*t - 3. Let a be h(2). Is x(a) prime?
True
Let l = -10 - -16. Let y = l - 0. Suppose -y*s = -2*s - 92. Is s prime?
True
Let c(p) be the first derivative of p**4/4 + 13*p**3/3 - 8*p + 9. Let s be c(-13). Is 4/s*6*-269 composite?
True
Suppose 2*b = 26 - 2. Let q(s) = -s**2 + 13*s - 12. Let a be q(b). Suppose a = 5*l - 1273 + 18. Is l a prime number?
True
Suppose -2*b + 3*n = -0*n - 7, 4*b = 5*n + 13. Is (-12)/(1 + b) - -330 prime?
False
Let k = 42 - 41. Let c(l) = 2472*l**3 - 2*l**2 + 5*l - 4. Let f(g) = g - 1. Let p(u) = k*c(u) - 3*f(u). Is p(1) composite?
True
Let r be -4 + 8 - (49 - 1). Let p be (-2)/(r/10 - -4). Suppose 2*l - 573 = y, -2*l - 857 = -p*l + 2*y. Is l prime?
False
Suppose 3*f - 120140 = -26699. Is f prime?
True
Suppose 0 = -3*a - 25 - 14. Let g(f) = -f**2 - 14*f - 11. Let i be g(a). Suppose -i*k + k = 2*p - 429, -5*k + 15 = 0. Is p a prime number?
False
Let s(w) = 1905*w**2 - 27*w + 91. Is s(5) composite?
False
Let t = 2331 - 850. Is t a composite number?
False
Let s(u) = 313*u - 8. Is s(19) a prime number?
True
Let p(g) = g**3 + g**2 - 4*g - 1. Let a be p(2). Suppose b = -a*b + 476. Is b prime?
False
Suppose 3 - 30 = -3*y. Let i be (y/6)/(4/(-24)). Is 5982/54 - 2/i a composite number?
True
Suppose -2*s + 18515 + 1423 = 0. Is s a composite number?
True
Let r = -5678 - -18799. Is r composite?
False
Let y = -2417 + 3826. Is y composite?
False
Let u(b) = 528*b - 31. Let d be u(-8). Let m = d - -7800. Is m prime?
False
Let k = -13 - -13. Suppose -5*m + 20 = 5*j, 4*m = -j - k*j + 16. Suppose -3*t - 3*d + 241 = 25, -318 = -m*t + 2*d. Is t prime?
False
Let l = -235 - -620. Let w be (0 - 5)*861/35*-1. Suppose 2*i + w = l. Is i a composite number?
False
Suppose 2*u - 5*k = -2*k + 242, -4*u + 440 = 5*k. Suppose u*r - 114*r - 623 = 0. Is r a prime number?
False
Let q(n) = -81*n - 5. Let g be q(-3). Let k be (g - 0)/(1 + 1). Let s = 254 + k. Is s composite?
False
Suppose 0 = 5*z - 217201 - 101844. Is z a prime number?
True
Let j be 3*(-4)/42 - (-116)/14. Let o(w) = 1010*w - 21. Is o(j) a composite number?
False
Suppose 5*y + 191 = -559. Let w be y/(-4) - (-2)/(-4). Let m = w - -78. Is m prime?
False
Suppose 0 = -11*i + 3271 + 12228. Is i a prime number?
True
Let f = -38838 - -57377. Is f a composite number?
False
Let g = 790 + -1711. Suppose -4*x - 5192 = -8*x. Let z = g + x. Is z prime?
False
Suppose -w + 41 = 5*i, 2*i + 2*i = 3*w + 48. Suppose 63 = i*n - 8*n. Suppose -z + 3*f = -6*z + 293, -