omposite number?
True
Let z be -604*(-2 + 1 + -4). Suppose s - z = -2*l, -2*s + 3200 - 182 = 2*l. Is l prime?
True
Let v(b) = 2*b + 1. Let h be v(1). Is (0 - (-9315)/h) + (1 - 3) prime?
False
Let z(j) = j - 1. Let d(q) = 1. Let x(c) = 10*c - 16. Let f(m) = 5*d(m) - x(m). Let t(r) = -f(r) - 6*z(r). Is t(23) a prime number?
False
Let z(i) = 4*i - 21. Let x be z(5). Let k be (-766)/x - (8 + -5). Suppose k = 3*a - g, -4*a - 2*g + 1011 = 3*g. Is a composite?
True
Let z be (-8)/36 + 2/((-72)/(-332)). Let r(u) = u**3 - 9*u**2 + u + 3. Let x be r(z). Is (-2 + -1 - -1)*(-7542)/x composite?
True
Let w(h) = 610*h**2 + 62*h - 1. Is w(-8) a composite number?
False
Let l be 1/(-3) + (-5780)/(-15) + -6. Suppose -376*d + l*d = 0. Suppose 3*j - 4*t - 7898 = d, 3*t - 6 = 6. Is j prime?
False
Suppose 340506 + 1134331 = 7*z. Suppose -3*p + z = 16*p. Is p composite?
True
Let c(b) = -16 + 297*b - 10 + 6. Let h be c(9). Suppose 2*o + h = 3*i, -5*i - 3*o = -920 - 3527. Is i composite?
False
Let t be 722/22 + 5/((-165)/(-6)). Suppose 3*s - t = -24. Suppose -4*y + 440 + 187 = c, 2*c = -s*y + 464. Is y a prime number?
False
Let w = 18 + -28. Let d(a) = -7*a**2 - 6*a + 17. Let f(h) = h**2 + 2*h + 2. Let v(b) = -d(b) - 3*f(b). Is v(w) prime?
False
Suppose -14*j + 14*j + 31*j = 1181317. Is j prime?
False
Let y(f) be the third derivative of 47*f**6/5 + f**4/24 - 47*f**2. Let m be y(1). Let r = 1686 - m. Is r a composite number?
False
Let i = -92500 + 151208. Suppose -14*b + 93934 = -i. Is b composite?
False
Suppose -4*h + 4 = 3*s, -3*h + 4 = -0*h + 2*s. Suppose 5*q - 23 = -r, r + 4*r + 1 = h*q. Is (-1 - -4)*1954/r prime?
False
Is 2362986/(-72)*252/(-27) prime?
False
Suppose -5*w + 1623335 = 5*d, 0 = 2*d + 4*w - 274195 - 375131. Is (0 - (2 - 1))/((-149)/d) composite?
False
Let d(u) = 40*u**2 + 263*u - 39. Is d(-28) composite?
False
Is ((-56)/24 - -1) + 640914/18 a prime number?
False
Let t be (-534)/33 - -4 - (-4)/22. Let v(x) = -3*x**2 - 6*x - 33. Let h(j) = 10*j**2 + 19*j + 98. Let o(y) = -2*h(y) - 7*v(y). Is o(t) prime?
True
Let r = 2207 - -18567. Suppose r = 9*s - 20815. Is s a prime number?
True
Let h = -40 - -22. Let d = -14 - h. Suppose 705 = v + d*v. Is v a prime number?
False
Suppose -13*d + 57845 = -36*d. Is (1/2)/(-3 - d/838) composite?
False
Suppose -4483 = -j + 5*s, -96*s + 4 = -94*s. Is j composite?
False
Suppose -5*g + 13619 = -6*q + 7*q, 4*g = -16. Is q a composite number?
True
Let m = 395 - 397. Let z(a) = 148*a**2 - 8. Let i(n) = 445*n**2 - 23. Let x(d) = 6*i(d) - 17*z(d). Is x(m) prime?
False
Let f be 6/75 + 1599/325. Is (-147252)/(-15) + 1/f composite?
False
Let l(m) = 15*m**2 + 80*m + 308. Is l(43) prime?
False
Let d(r) = r**2 + 36*r - 77. Let l be d(-38). Let c(t) = -6542*t - 21. Is c(l) prime?
True
Suppose -3*w = 15, -5*w + 87330 + 63342 = v. Is v composite?
False
Suppose -23*u + 3144498 = 1059847. Is u prime?
False
Suppose 5*l + 2151 = 133916. Suppose -11*b + l = -9584. Is b/7 + 6/21 prime?
True
Suppose -3*m - 3*m - 44178 = 0. Let b = 10618 + m. Suppose 2*t + b + 3680 = 3*p, -2*p + 4606 = 3*t. Is p prime?
True
Suppose 3*l - 338 = 4*m, 0 = 2*l - m - 330 + 113. Let i = -109 + l. Is 4/(-12)*i + 1170 composite?
False
Let p(a) = -a**3 - a**2 + 10*a - 31. Let l be p(19). Let k = 13140 + l. Is k composite?
False
Let o(q) = -48*q**2 - 5*q - 5. Let w(n) = 49*n**2 + 6*n + 5. Let i(p) = -6*o(p) - 5*w(p). Let a be i(2). Let f = a - -94. Is f prime?
True
Suppose -7*o - 7 = -56. Let d(h) = 60*h**2 + 4*h - 41. Is d(o) a composite number?
False
Let h = 307 - 298. Is (1/(-3))/(h/(-20277)) a composite number?
False
Let m be (3/(-9))/((-186)/63 + 3). Let z(v) = -11*v**3 - 11*v**2 - 6*v + 23. Is z(m) prime?
True
Let c(o) = o**2 + 28*o - 56. Let x be c(-30). Suppose -2*s - x*g + 15241 = s, -5*s = 2*g - 25397. Is s prime?
False
Let p = -106248 - -157137. Is p prime?
False
Let j(x) = -4 + x**3 - 4 + 8 + 8*x - 5 - 9*x**2. Suppose 0 = -5*m + 4*q + 15 + 71, 0 = 2*m + 5*q - 8. Is j(m) composite?
False
Let u = 47 - 45. Suppose 5*v = -u*v + 10668. Let s = 2197 - v. Is s prime?
True
Suppose 0 = -y + 2*n - 2, 0*n + 2*n + 4 = 2*y. Let o(m) = 142*m**2 - 12*m - 7. Is o(y) prime?
False
Let v = -2168 - -3359. Suppose 2121 + v = -9*f. Let k = 519 - f. Is k a prime number?
True
Let w(p) = 6*p**2 + 14*p - 2. Let y be w(-2). Is 10*y/36*-2631 a composite number?
True
Suppose 0 = -43*q + 975927 + 218312. Is q prime?
True
Suppose 2*o = -w + 33053, -2*o + 61540 = 3*w - 37631. Is w prime?
False
Suppose 7*t = -r + 2*t + 3779, -3*t + 6 = 0. Suppose -54 = 5*d - r. Is d a prime number?
True
Let n(o) = 216*o**2 + 222*o - 4019. Is n(17) composite?
True
Suppose -4*x - 9830 = -w, -13*w - 2*x - 49096 = -18*w. Let o = w + 7068. Is o a prime number?
False
Suppose f - 92076 + 408782 = 5*o, 0 = 3*o - 2*f - 190018. Suppose 16*y = 113762 + o. Is y a composite number?
False
Let g(z) = -6*z**2 + 73*z - 43. Let j(c) = -7*c**2 + 73*c - 43. Let w(l) = 6*g(l) - 5*j(l). Is w(40) prime?
True
Suppose 0 = -4*o - 12, 5*i - 89 = 10*o - 7*o. Suppose i*j - 19*j + 5079 = 0. Is j a prime number?
True
Let s be (-145)/(-58) + (-14)/(-4) + -2. Is (-2)/(-23) + (-4249775)/(-575) - s prime?
False
Let m(n) = 34326*n + 4963. Is m(8) a prime number?
True
Suppose -5*c + 4*k - 180140 = 280383, -3 = k. Is c/(-8) - 12/96*3 prime?
False
Suppose 13*o + 51*o - 3540053 = 3681899. Is o a prime number?
True
Suppose 1023 + 18108 = 21*r. Let p = r + 3132. Is p a prime number?
False
Is -2*(8878728/(-12))/(15 - 11) a composite number?
False
Suppose 4*v - 6 + 2 = 0, 5*v - 89 = -2*i. Let y be (-3 - (-162)/i)/(9/42). Is 877 - (y + -4 + -1) prime?
False
Let q be (-7 + 24)/((-1)/(-98)). Let l = 18 + -15. Let d = q + l. Is d composite?
False
Let g(i) = 22952*i**3 + 15*i**2 - 17*i + 1. Is g(1) a prime number?
False
Suppose -6515 = -2*a - 1361. Let t = a + -884. Is t a prime number?
True
Let f(c) = -c**3 - 19*c**2 + 22*c + 43. Let v be f(-20). Suppose -3*x = -466 - 1109. Suppose 7*d + x = g + v*d, 0 = 4*d + 20. Is g a composite number?
True
Suppose 0 = 2*z + 1155 - 11913. Suppose 1915 = 4*d + z. Let k = 233 - d. Is k a prime number?
False
Let u = -27 + 31. Suppose y - 8943 = 4*c, u*y - 3*c = -0*y + 35707. Is y prime?
True
Let i = -20113 + 117162. Is i a prime number?
False
Suppose -2*x - 23 = -z, -4*z + 64 = -9*x + 8*x. Let c(v) = 414*v - 93. Is c(z) prime?
False
Suppose 58806 = 2*y - 10*n + 6*n, -n + 117657 = 4*y. Is y prime?
False
Let y = -23997 + 186164. Is y a prime number?
False
Suppose 3011705 = -25*r + 17564430. Is r a prime number?
False
Suppose 0 = -6*r, 4*u + 2*r - 146640 = -23716. Is u composite?
True
Let b(f) = -5303*f + 567. Is b(-14) a composite number?
True
Let g = -303 - -300. Is 6466 + (3 - 2)*g*1 composite?
True
Suppose 0 = -5*p + h + 44, 0 = -4*p + h + 2*h + 44. Suppose 5*t + 5*k - p*k = 39250, -t = k - 7858. Is t a prime number?
True
Let g = -91951 + 148998. Is g composite?
False
Let f(j) = 30*j - 35*j + 44*j - 19. Is f(10) a composite number?
True
Let d = 55940 - 37543. Is d prime?
True
Let y(j) = -19*j**2 + 7*j + 7. Let n(x) = 28*x**2 - 10*x - 10. Let b(r) = 5*n(r) + 7*y(r). Let m be b(-1). Suppose 14*u - 1505 = m*u. Is u composite?
True
Let o = 100122 + -17737. Is o a prime number?
False
Let q be 6614 + (-3)/(-3) - 0. Suppose -4916 = -13*p + q. Is p prime?
True
Suppose 0 = -3*y + 2*l + 549781, -2*y - 2*y + 5*l + 733046 = 0. Is y a prime number?
True
Let r(c) = -c**2 - c. Let x(p) = -300*p**2 + 8*p + 21. Let a(h) = -4*r(h) - x(h). Is a(5) a prime number?
True
Is -3 - -623364 - (19 - 15) a prime number?
False
Let x(u) = -5*u**3 + 2*u**2 - 5*u - 3. Let z be x(3). Let s = 1496 + z. Is s a composite number?
False
Let h = -460695 + 918128. Is h a prime number?
True
Suppose 6*j - 2*j + 12 = 0, 3*i - 41760 = -j. Let r = i - 6026. Is r a prime number?
False
Suppose 3*q + 41816 = w - 0*q, -w = -q - 41810. Is w composite?
True
Let q(c) = 6*c**3 - c**2 - c. Let n = -88 + 87. Let z be q(n). Is z/(2/(-491) + 7 + -7) a composite number?
True
Suppose -4 - 2 = 3*m. Let l be ((-150)/9)/((-795)/396 - m). Let t = l + -1461. Is t a composite number?
False
Let w = 2380 - 1324. Suppose 2*d - 3901 = -t - w, -4*d + 5693 = -t. Is d a composite number?
False
Let r(g) = 545958*g**2 + 26*g + 5. Is r(1) a prime number?
False
Suppose -3822406 = -820*i + 806*i