pose -2*n + 4346 = -4*f, 0*n - j = -4*n + 3*f. Is n composite?
True
Suppose 0 = -2*f - 4*v + 25042, f + 57 = -v + 12573. Is f prime?
True
Suppose -63524 + 4087 = -7*t. Is t prime?
False
Suppose -2*x + 5*k + 36 = 0, -x + 5*k = -0*x - 23. Let m = 61 + x. Is m composite?
True
Let q = 9832 + -4619. Is q prime?
False
Let b(w) be the first derivative of 3*w**3 + w**2/2 - w - 9. Is b(-10) prime?
False
Let r = 1442 + 779. Suppose 0 = -5*m - 3*u + 2774, 3*m - 7*m + r = 3*u. Is m composite?
True
Let p(j) = 5*j + 1. Let l be p(-1). Let z be (-28)/8*l/7. Is (12/9)/(z/177) composite?
True
Let a = 31841 - 9340. Is a a composite number?
False
Suppose 14*n = 236497 + 86259. Is n a composite number?
True
Let u(f) = -f**3 + f**2 - 176. Let l be u(0). Let x = l - -287. Let m = x - 74. Is m composite?
False
Is 409057/328 + 1/(-8) a composite number?
True
Suppose -31*a - 39*a = -4251730. Is a prime?
False
Let m(v) = 4*v**2 + 6*v + 6. Let z be m(-4). Suppose -5*g + 18 = 3. Is ((-9)/(-3))/(g/z) composite?
True
Let g = 6739 + -3845. Is g a composite number?
True
Suppose 5*o = 3*o + 19222. Is o a prime number?
False
Suppose 12526 - 41916 = -10*a. Is a a composite number?
False
Let i(c) = 1048*c**2 - c + 2. Is i(1) prime?
True
Let d = 5808 - -695. Is d a prime number?
False
Let g = -26821 + 45495. Is g prime?
False
Suppose -520 - 164 = 18*n. Is n/(2/8 - (-440)/(-1504)) prime?
False
Let n(s) = 443*s**2 + 4*s + 3. Let x be n(-1). Is x - (0 + 9/(-3)) prime?
False
Suppose -z - 3*n + 326 = 0, -3*z + 2*n + 439 + 572 = 0. Is z a prime number?
False
Let x(a) = 71*a + 85. Let c(i) = 14*i + 17. Let w(d) = 11*c(d) - 2*x(d). Is w(6) prime?
True
Let j = 4712 + 2367. Is j prime?
True
Let w = -28654 - -132575. Is w prime?
False
Suppose -6*j + 2*j + 20 = 0. Suppose -2*f + 3*r + 623 = 0, -j*f - 2*r = -2221 + 692. Is f a composite number?
False
Let b = 43 + 351. Suppose -3*o - 592 + 10 = 0. Is (-3)/(b/o + 2) a composite number?
False
Let q be ((-8)/5)/((-6)/15). Suppose 2*a = q*a - 6. Suppose -a*w = -2*w - 58. Is w a prime number?
False
Let g(m) = -383*m**3 - 6*m**2 - 7*m + 17. Is g(-5) a prime number?
True
Let w(r) = -r**2 - 8*r + 13. Let x be w(-5). Suppose 2*q - x = 14. Is q composite?
True
Suppose -5*c + 9 = 4*c. Is ((-1253)/(-14))/(c/2) composite?
False
Suppose f = -3*x + 10773 - 3879, -5*f + 34510 = 5*x. Is 1/(6/f - (2 - 2)) prime?
True
Let j(u) = -u**2 - u + 3. Let v be j(-2). Let k(a) = v + 178*a - 8 - 64*a + 2. Is k(2) a prime number?
True
Suppose -5*i + 1158 + 337 = 0. Suppose i = f - 398. Is f a prime number?
False
Let y = 8 - 3. Suppose -5*z + 35 = y*i, 2*z = -3*i + 13 + 6. Is 3 + (-3 - -41*z) prime?
False
Suppose 10*g + 2701 = 11711. Is g composite?
True
Let i = 49 + -59. Let f(v) = -v**3 - v**2 - 1. Let r(d) = 5*d**3 + 13*d**2 - 6*d - 9. Let u(k) = -4*f(k) - r(k). Is u(i) composite?
False
Is (8/24)/1*2262/2 composite?
True
Suppose -4*g + 12*g = 41176. Is g prime?
True
Suppose 3*y = 2*j + 4*y - 15, -j + 9 = 2*y. Let p be 16/j + (-6)/21. Suppose 0 = -2*n - 4*r + 334, -p*n + 336 = r + 4*r. Is n a prime number?
True
Is 1 + 13545 - (-9 - 132/(-22)) a composite number?
True
Is 2/((4 + 0)*(-19)/(-807386)) a prime number?
True
Is 4/(-38) + (2116008/76)/2 a composite number?
False
Suppose 0 = -5*p - x + 41098, -4*p + 37*x - 40*x = -32885. Is p composite?
False
Let h(v) = -2*v - 10. Let i(z) = z + 18. Let j be i(-14). Suppose 20 = -4*a - 4*s, 10 + 2 = -3*a - j*s. Is h(a) prime?
False
Let i(h) = 241*h**3 + 2*h**2 + 3*h + 10. Let t be i(3). Suppose 8*y - 4248 - t = 0. Is y prime?
False
Let w(l) = -3*l**2 + 2*l + 6. Let j be w(3). Let g = -13 - j. Suppose -g*s + s = -91. Is s composite?
True
Let k = 753 - 500. Is k a prime number?
False
Let b = 516 + -176. Let q be -3 - 1 - (-4 - b). Suppose -3*m - 4*a + 1135 = 0, -5*m + 2*a - q = -2249. Is m a prime number?
False
Let d(y) = -y**3 + 15*y**2 - 20*y + 9. Suppose -r + 10 - 2 = 0. Suppose o - r - 5 = 0. Is d(o) a prime number?
False
Suppose 3*z - 5*k - 241 = 0, -5*k = -3*z + 2*z + 67. Suppose -3*s + z + 660 = 0. Is s prime?
False
Let w(b) = 220*b**2 - 7*b + 21. Is w(6) composite?
True
Suppose -22*c = 2*c - 987024. Is c prime?
False
Let s = -26 - -26. Suppose -2154 = -4*w - 3*n + 1414, s = 5*w - 4*n - 4491. Is w a composite number?
True
Is (21 - 7619)/((-2)/1) composite?
True
Let p(t) = t + 4. Let j be p(0). Is 6/j*7332/18 a prime number?
False
Let w(m) = 72*m**2 + 4*m - 59. Is w(-9) composite?
False
Suppose 0 = 8*j - 13*j - 25, 0 = 4*i + 2*j + 98. Is (11/i)/(2 - 9069/4534) composite?
False
Let k = 768 + -535. Suppose 0 = r - 2*l - 46, -2*l + 146 = r + 2*r. Suppose r = -w + k. Is w a composite number?
True
Let t = -51 - -49. Is 2*(2/t - 4389/(-6)) composite?
True
Suppose -5*p + 0 = -40. Suppose 2*i + 4 = p. Is (i - 136)*(-2)/4 a composite number?
False
Let d be (-2)/6 + (-547)/(-3). Suppose -4*r - d = 2*f, -4*r - f - 9 - 178 = 0. Let s = 117 + r. Is s composite?
True
Let z = 32957 - 23128. Is z composite?
False
Let a(x) = -1 + 0 + 22*x + 2. Let v be a(2). Suppose 3*y = v + 24. Is y a composite number?
False
Let v(t) = t**3 + 2*t + 4537. Let l be v(0). Let z = l + -2556. Is z a composite number?
True
Let x = 208170 - 116103. Is x a composite number?
True
Let b = -1375 - -6454. Is b a composite number?
True
Let t(l) = -2*l + 5. Let v be t(5). Let z = v + -6. Let a(r) = -14*r - 15. Is a(z) prime?
True
Suppose z - 4*v + 15 = 0, -3*z + 1 = -2*v - 4. Suppose -6*w + w = z. Is -37*(-2 - -3)*w a prime number?
True
Let o be (-2)/(-2)*492*1. Suppose 0*y = 12*y - 60. Suppose 323 = y*g - o. Is g a composite number?
False
Suppose 2*x = 4*j + j - 28713, 4*j - 22948 = -4*x. Let m = -3714 + j. Is m a prime number?
True
Let q(o) = 10*o**3 + 11*o**2 + 19*o + 5. Is q(8) a prime number?
True
Let d be (-59227)/35 - 3/(-15). Let f = 2765 + d. Is f a composite number?
True
Let f(h) = 14*h + 3. Let y be (4/6)/((-22)/(-99)). Suppose t + y*t = 16. Is f(t) a composite number?
False
Let o(j) = -1060*j - 5. Let n(y) = -212*y - 1. Let k(q) = 11*n(q) - 2*o(q). Let r(c) = -c**3 - 4*c**2 + 4*c - 6. Let l be r(-5). Is k(l) prime?
True
Suppose -598*r + 610*r = 228372. Is r prime?
True
Let p(q) = -5*q + 1061. Let m(y) = y**2 + 7*y + 6. Let b be m(-6). Is p(b) a composite number?
False
Suppose -n + 2*n + 5 = 4*j, j - 2*n = -4. Suppose -4*x = -26 + j. Is x a prime number?
False
Let g be (10/6)/(2/12). Let u be -5 + ((-3)/(-2))/(12/8). Let m = g - u. Is m prime?
False
Let r(l) = -362*l + 7. Let x be r(-3). Suppose -y + 2*q + 369 = 0, 4*y - y = -q + x. Is y a prime number?
False
Let u(n) = -6 - 371*n - 1 - 4 + 13. Is u(-1) composite?
False
Let b = 1120 - 533. Is b prime?
True
Is (33/(-21))/((-10)/770) a composite number?
True
Let r be (0 + (-6280)/12)/(2/(-6)). Suppose r = 7*w + 3*w. Is w prime?
True
Suppose -5*t + 758 - 183 = 0. Suppose -24*o + 610 - 2098 = 0. Let b = o + t. Is b a prime number?
True
Let h(c) = -11*c**3 + c - 4. Suppose -4*u + 12 + 0 = 0. Let z be h(u). Let g = 437 + z. Is g a composite number?
False
Let p = 26 - 24. Let z(j) = 2*j**3 - j**2 - j. Let y be z(p). Suppose -662 = y*c - 12*c. Is c composite?
False
Let k(d) = d**3 - 3*d**2 + 3*d - 6. Let n(z) = -z**3 + 6*z**2 + 2*z - 8. Let i be n(6). Let q = i - -3. Is k(q) a prime number?
True
Suppose -5*b = -y + 2*y + 21, -2*b + 42 = -y. Let p be (-57)/(-1)*(-24)/y. Suppose 4*d = -7*j + 3*j + 76, 2*j - p = d. Is j a prime number?
True
Let g(i) = i**3 + 6*i**2 + 2*i - 7. Let k be g(-5). Suppose q = 2*q + k. Let z = 25 - q. Is z a prime number?
False
Let r = 41 - 41. Suppose r = i - 185 - 72. Is i prime?
True
Suppose -4*z - 5*v + 6603 = 0, -3*z - v = -z - 3303. Suppose -z = -3*y + a, 3*y - 2*a + 0*a - 1651 = 0. Is y a composite number?
True
Suppose 0*o + 16*o = 46144. Let b = o - 1841. Is b prime?
False
Let i(v) = 3*v**2 - 12*v - 7. Suppose 10*r = 5*r + 60. Let m be i(r). Suppose 2*k + 286 = 4*f, -5*f + m = -f + 3*k. Is f a composite number?
False
Let g = 3919 + 394. Is g a composite number?
True
Let q = 22655 + 9642. Is q a composite number?
False
Suppose -u - 464 = -2*u. Let c = u - 224. Let s = c + 247. Is s a composite number?
False
Let s(t) = -6 + 2*t + 1 + 3 - 3*t. Let l be s(-6). Is (7/(-3))/(l/(-276)) a composite number?
True
Let s(v) be the first derivative of v**4/4 + 5*v**3/3 + 2*v**2 + 5*v - 3. Let p 