- 2*n + 339492. Is t a prime number?
True
Let j be 11/33 - 1/3. Suppose 25 = -5*q - j*q, -4*k = -3*q + 33. Let m(n) = -13*n - 7. Is m(k) prime?
True
Suppose -n - 5*i = 4*n - 6740, 2*n + 3*i = 2693. Suppose -7*r - 659 - 251 = 0. Let k = n - r. Is k prime?
True
Let q be (10/4)/(2/(-4)). Let o = -982 + 1000. Let t = o - q. Is t a composite number?
False
Is (-74)/(-444)*2*197283 a composite number?
False
Let z(l) = -2*l - 8. Let o be z(-5). Suppose 159 + 1359 = o*t. Let b = 1550 - t. Is b a composite number?
True
Suppose -12*p + 2*p - 240 = 0. Is (-16)/p*3/(-4)*-1598 prime?
False
Let b = 24 - 15. Suppose b*h - 246634 = 18011. Is h a composite number?
True
Suppose -2*d + 5*v = -115322, -67*d = -66*d + 5*v - 57646. Suppose 9*x + d = 17*x. Is x prime?
True
Is (14 - 8) + (-121465)/(-17) composite?
False
Suppose 297 + 207 = 14*r. Suppose 42*i = r*i + 474. Is i composite?
False
Let t(a) = -2*a - 16. Let b = -62 + 57. Let k be t(b). Is (k/(-18))/(2/8634) a prime number?
True
Suppose -232*a - 3013256 = -17894896. Is a a prime number?
False
Suppose 5*u + 2*n - 413167 = -0*u, -u = -2*n - 82643. Suppose -27*w - 8*w = -u. Is w prime?
False
Let j be 20/(-35)*(-14)/(-4)*-2. Suppose -7*x + 4*x = 3*k - 23148, 0 = -4*k + j. Is x composite?
True
Let z(m) = m**3 - 27*m**2 - m + 4. Let y(p) = -26*p**2 - 2*p + 5. Let w(b) = 4*y(b) - 3*z(b). Is w(-11) a composite number?
True
Suppose 1785 = 5*a - 5*q, -5*a + 3*q = -1059 - 718. Suppose -n = -5*p + 3353, a = p + n - 320. Is p a prime number?
False
Let z = 597 - -15674. Is z composite?
True
Let n(l) = 2*l + 10. Let v be n(-3). Suppose -2*r + 52842 = v*r. Is r prime?
True
Let g be (-1)/(-2) + -2*(-104)/(-32). Let n be 1228/g*(-33)/22. Suppose o - n - 1012 = 0. Is o a composite number?
False
Suppose -2*m + 102186 = 2*m - 166882. Is m composite?
True
Let s = 2722607 + -1609200. Is s composite?
True
Let u = 1531 + -266. Let y = -1160 + 2978. Let k = y - u. Is k prime?
False
Let p be 4/10*(32 + -2). Suppose -3*m - p = -18. Suppose -418 = -m*q + 4*v, q - 2*q = -4*v - 207. Is q a composite number?
False
Suppose 3*f = -4*b + 2*b + 2284, -4*f + 2*b + 3022 = 0. Let v = f - -975. Suppose -5*j = -5*u + 22345, -2*u - 3*j + 7230 + v = 0. Is u prime?
False
Is (7 - 10 - 2)*(69615/(-25) - 8) a prime number?
True
Let z be ((-2)/(-2) + 3)/(30/645). Let h = z - 249. Let q = h - -246. Is q prime?
True
Let o be 4 - (-4*3 - (-18 - -14)). Let i(m) = -m + 21. Let r be i(o). Let h(l) = -l**3 + 21*l**2 - 2*l + 1. Is h(r) a prime number?
False
Let m(r) = -1823*r + 412. Is m(-5) composite?
True
Suppose -4*w - 2*v = -0*v - 456878, 5*v = 2*w - 228457. Is w a prime number?
True
Suppose -64*y + 2904 = -2792. Is y prime?
True
Let x(v) = -66*v**3 + 4*v**2 + 27*v + 90. Is x(-7) composite?
True
Is 16926138/66 - -24 - (-4)/11 a composite number?
True
Suppose -5*c + 2*d - 14 = -37, -c + 15 = -3*d. Suppose -5*z = -t - c*t - 12, 2*z - 2 = 3*t. Suppose -5*f = b - 567, -t*f = f - 12. Is b a composite number?
False
Suppose 2*q = -18*l + 14*l + 97314, 0 = -4*l + 4*q + 97344. Is l prime?
False
Let s = 34 + -30. Suppose -2*g = -s*y + 6, -3*y + 9 = -0. Let u(v) = 18*v + 5. Is u(g) a prime number?
True
Let p = 906 - 322. Let l = 2397 - 1508. Let a = l - p. Is a a prime number?
False
Let k(x) = 22*x - 81. Let p be k(4). Let y(v) = v**2 + 1. Let w be y(-1). Suppose m + 4*i - 11 = 0, -1 - p = -w*m - i. Is m composite?
False
Let k be ((-91)/21 - -4)*3. Is -19 - -3157 - (-1)/k a prime number?
True
Let f = -142 - -27. Suppose z + 2*n = -n + 166, -4*z + 664 = 4*n. Let q = z + f. Is q prime?
False
Let l = 303 + -440. Let p = 498 + l. Is p a composite number?
True
Let g(v) = 2795*v**2 - 37. Is g(4) a prime number?
True
Let p(i) = -87*i**3 + 2*i**2 - 8*i - 13. Let z(b) = -b**3 - 3*b**2 + 18*b - 6. Let k be z(-6). Is p(k) a prime number?
True
Suppose 0 = 118*a - 126*a + 36800. Suppose -5*z - 5*n - 840 = -6585, -4*z = 2*n - a. Is z a composite number?
False
Let b(y) = 58*y + 1429. Is b(93) a prime number?
True
Let t be -4 + 6 - (-2)/(6/3). Suppose 2*x - 1497 = -t*z + 814, 2*z - 3*x = 1519. Is z composite?
True
Let d(g) = -1356*g**2 + 17*g - 3. Let u be d(-9). Is -1*(-4)/3*u/(-32) a prime number?
True
Suppose -3*y + 35 = 11. Suppose -y*t = 18120 - 43216. Is t a composite number?
False
Let t(c) = -c**3 - c**2 + 1. Let k = -60 - -59. Let y(s) = 4*s**3 - 11*s**2 + 15*s - 10. Let g(z) = k*y(z) - 5*t(z). Is g(-13) composite?
True
Let b(x) = 2784*x**3 - 6*x + 7. Is b(1) prime?
False
Let m be (-4)/(32/10) + 4/16. Is m/(-3)*6 + 189 a prime number?
True
Suppose 5*u = j + 29, -5*j - 2*u - 37 = -0*u. Let f be (3/j)/(6/(-90)). Suppose -2*b - f*c + 3789 = 0, -2*b + 4*c + 3824 = 2*c. Is b a prime number?
True
Let n(q) = q**3 + q**2 + 17*q + 20. Let l be n(0). Is (-50)/l*122852/(-10) a composite number?
False
Suppose 9*n = 4*n + 10. Suppose -2*r + m = -24, 0*r + n*m + 60 = 5*r. Is r/(-28) + (-7300)/(-14) a prime number?
True
Let w(i) = -293*i**3 - 2*i**2 - 4*i - 2. Suppose 12 = -2*j - j. Let n be -2 - (j + 7 - 4). Is w(n) a composite number?
False
Let j be 162/(-36)*24664/12. Let r = 1864 - j. Is r prime?
True
Let u = 223153 - 156986. Is u a composite number?
True
Suppose 0 = -4*x - 4*c + 48476 + 350168, 5*x + 4*c - 498305 = 0. Is x prime?
True
Suppose 2910 = -7*x + 12*x. Let k = -1491 - -6353. Suppose -8*r - x = -k. Is r a composite number?
True
Suppose 450920 = 221*u - 213*u. Is u composite?
True
Let z(k) = -k**3 - 3*k**2 + 4*k + 3. Let q be z(-4). Suppose q*l + 2*l - 60 = 2*f, -2*l + f = -24. Is 407*(4/(-6))/(l/(-18)) prime?
False
Suppose -4*o = 2*i + 16, 3*i - 5*i - 6 = -o. Let y = 2 + -3. Is (410 - y) + 8/o composite?
True
Let x(k) = -6*k**3 + 47*k**2 + 4*k + 91. Is x(-20) composite?
True
Let o = -7291 + 22151. Suppose -12*k = -22*k + o. Is k prime?
False
Suppose -5*r + 2*y + 166 = 0, 0 = -6*r + 4*r + y + 66. Suppose -2*n = o - 25036, r*o = n + 31*o - 12511. Is n a prime number?
True
Let t(a) = 2*a**2 + 72*a - 39. Suppose 49 = j - 2*m + 5*m, -4*m - 82 = -3*j. Is t(j) composite?
False
Let k = -499579 + 765690. Is k prime?
True
Suppose 0 = 7*j + 6*j + 52. Is j/7 - 981968/(-112) composite?
True
Suppose 15 = 3*d, -4*i - 41*d + 543 = -46*d. Is i composite?
True
Let r(i) be the first derivative of -i**4/12 + 541*i**2 + i - 17. Let n(l) be the first derivative of r(l). Is n(0) prime?
False
Let c(g) = -g**3 - 11*g**2 - 2*g - 24. Let x be c(-11). Is (-6599)/((-1)/((-2)/x)) a composite number?
False
Let p(d) = -11*d**3 - 17*d**2 + 23*d - 14. Is p(-9) a prime number?
True
Suppose -61*q - 30 = -66*q. Suppose -106305 = -q*b + 103137. Is b a prime number?
False
Suppose 4 = 8*u - 6*u. Let f be 2 + -50 - (u - 2). Let h = 1255 + f. Is h a prime number?
False
Let z(a) = 41*a**3 - 7*a**2 + 7*a - 22. Suppose -3*p + v = -4 - 6, 3*p + 10 = 5*v. Is z(p) composite?
True
Let k be (-3 + 587)*(-315)/10. Let o = k + 35733. Is o a prime number?
False
Let f(i) = 4473*i**2 + 100*i - 1431. Is f(30) composite?
True
Let p(g) = -27 + 578*g**3 + 25 + 3*g + 2*g - 14 + 0*g. Is p(2) prime?
False
Let r(p) = -p - 10. Let i be r(-29). Let y(l) = l**3 + 18*l**2 + 14*l - 70. Is y(i) prime?
True
Let m = 110 - 110. Suppose -3*d - s - 4*s + 5822 = m, 5*d - 3*s = 9760. Is d composite?
False
Let q(b) be the first derivative of -10*b**2 - 31*b - 65. Is q(-24) prime?
True
Let c(h) = -180*h**2 + 5*h + 26. Let w be c(6). Let m = -3717 - w. Is m prime?
True
Let d(x) be the first derivative of -x**3/3 + 7*x**2 - 31*x + 13. Let t be d(3). Suppose -t*v - 3694 = -4*v. Is v composite?
False
Suppose 2*o - 20*h - 920499 = -25*h, 3*o = 5*h + 1380836. Is o composite?
False
Suppose b - 30 - 27 = 4*a, -5*b - 65 = 5*a. Let k(o) = -11*o**3 + 4*o**2 + 56*o + 1. Is k(a) a prime number?
False
Let x = 332 + -327. Let p(q) = 63*q**3 - 3*q**2 - 3*q + 4. Is p(x) composite?
False
Suppose 4*x + 2*w + 71765 = -39865, 4*w + 111628 = -4*x. Let o = x - -44337. Is o a prime number?
False
Let p = -534397 + 1449510. Is p a prime number?
True
Suppose -511*h + 517*h - 12 = 0. Suppose -h*d = -3*d + 1226. Is d prime?
False
Suppose 5*r = -3*s - 7, 4*r = 5*s - r - 15. Let i be (s/2)/((-4)/(-56)). Is (-7606)/(-14) + (-2)/i - 2 a composite number?
False
Let m(d) = -101*d - 11. Let y = 19 - 27. Is m(y) a prime number?
True
Suppose 84471 = 37*m - 161098. Is m prime?
True
Let f b