-10) composite?
True
Let o(t) = 8*t + 15. Let j be o(-2). Is (153593/(-44))/(j/4) composite?
False
Let t(u) = -u**3 + 14*u**2 + 13*u + 20. Let w be t(15). Is (-1076)/w - (-21)/15 composite?
False
Let t = 24 - 21. Let j be 0 + -4 + 27/t. Let a(y) = 49*y + 6. Is a(j) prime?
True
Let r(y) = -87*y**3 + 52*y**2 - 17*y + 9. Is r(-8) a composite number?
False
Suppose -15*k + 7*k + 64513 = -7*k. Is k a prime number?
True
Let w(u) = u**2 + 3*u - 12. Let h = -26 + 20. Let m be w(h). Is (1 + (-9)/m)*-1906 a prime number?
True
Let h = 2 - 0. Let j(w) = 4*w - 56. Let s be j(14). Suppose -h*m + 3874 = -s*m. Is m a prime number?
False
Suppose -164509 = -10*w + 518421. Is w a prime number?
False
Let m(c) = -7351*c - 54. Let o = 517 + -518. Is m(o) a composite number?
False
Let h(y) = -72052*y + 112. Let c(d) = 24017*d - 40. Let v(p) = -7*c(p) - 2*h(p). Is v(-1) prime?
True
Suppose -358*r + 353*r = 5*n - 323220, 0 = r - 1. Is n prime?
False
Let o(l) = 10 - 23*l + 92*l - 29 + 0. Is o(24) a prime number?
True
Let r = 145 + -89. Suppose -r*m + 41*m + 25095 = 0. Is m a composite number?
True
Suppose m - 4*z - 5111 = 0, 5*z - 10403 + 35913 = 5*m. Is m a composite number?
False
Let w = -40 - -44. Suppose 5*d + c = -31 + 855, -w*d + c = -652. Suppose -s = 3, -2*g + d + 507 = -3*s. Is g a prime number?
True
Let v be (-10)/(-4)*16/(-20) + 11934. Let u = -6425 + v. Is u prime?
True
Let j = 369540 + -193763. Is j composite?
True
Let v = -2710 - -28051. Let q = -9086 + v. Is q composite?
True
Let m(z) be the first derivative of 502*z**3/3 + 11*z**2/2 - 18*z + 13. Is m(7) prime?
False
Let a(g) = 3*g - 4. Let t be a(-1). Let x(s) = -s**2 - 6*s + 9. Let p be x(t). Is (13/39)/(p/1542) a prime number?
True
Let a(c) = -15 - 11*c + 46*c**2 + 38 - 47*c**2. Let k be a(-13). Let q(s) = -517*s + 4. Is q(k) prime?
False
Let z(k) = -k**3 + 15*k**2 - 3*k + 50. Let s be z(15). Suppose f - 11553 = 9*q - s*q, -2*q + 57743 = 5*f. Is f prime?
True
Let f(v) = v**3 + 3*v**2 - 3*v + 4. Let d be f(-4). Let u be (d + -1)/(438/(-220) - -2). Let a = 77 - u. Is a a composite number?
True
Let z(g) = 21*g - 4. Let m be z(1). Suppose 0 = 19*t - m*t - 10. Is -3*(-1)/15 - (-174)/t composite?
True
Suppose -244*o + 3817142 = -230*o. Is o a composite number?
True
Let c = -505 - -518. Suppose -19*j = c*j - 222496. Is j composite?
True
Let x = -242554 + 523299. Is x composite?
True
Let h = -83506 + 2673135. Is h prime?
False
Is ((-14033243)/(-460) - (-1)/(-4))/((-4)/(-10)) a composite number?
True
Let i(a) = -2 - 14 + 34 + 54*a**2 + 12*a + 29. Is i(-6) a prime number?
False
Suppose a = z + 6, -7 + 29 = 3*a - 4*z. Suppose -3*p + 5*p = -a*n + 17534, 2*n - 4 = 0. Is p prime?
False
Let g(i) = 3*i**2 + 287*i + 4121. Is g(-114) a composite number?
False
Suppose -c - 4*s + 101572 = 3*c, -101554 = -4*c + 5*s. Is c composite?
False
Let k be (-1 + 3 + 0)*(-5 + 15)/(-5). Let c(w) = 16*w**3 + 8*w**2 + 6*w + 28. Let p(l) = -l**3 - l**2 - 1. Let y(r) = -c(r) - 10*p(r). Is y(k) prime?
False
Suppose -16*r = -530086 - 194954. Let l be (-2)/8 + (r/12 - 1). Suppose 0 = 6*v - 3*v - 2*s - l, -3*v + 3782 = 5*s. Is v composite?
False
Suppose 0 = 109*t - 53*t - 49*t - 259679. Is t composite?
False
Is 112951 - (-2 + 178)/(-11) a prime number?
True
Suppose -182656 = -4*g - 5*z, 0 = -2*z - 0*z. Suppose -g = 6*a - 112942. Is a a composite number?
False
Let x(s) = 6*s**2 + s**3 - 1338 - s + 52*s**3 + 6*s**3 + 1373. Is x(5) a prime number?
False
Let v = -992869 + 2068436. Is v a composite number?
True
Suppose -b = -5, 4*k - 2053 = -2*b + 1685. Suppose 3*y - 124 = g - 414, -2*g + 586 = -4*y. Suppose k = 3*s + g. Is s composite?
False
Let z be (15790/(-8))/(-1*(-3)/(-24)). Suppose 0 = 6*a - 20924 - z. Is a composite?
True
Let i(f) = 471*f**2 + 27*f - 1715. Is i(36) a composite number?
False
Let z = 19 + -11. Suppose -5*f + d = 6, 3*d - z = -2*f + 7*f. Is (8 + f)*(-3 + 2 + 3) a composite number?
True
Let z = 39278 - 22791. Is z prime?
True
Let y(f) = -f**3 - 7*f**2 - 12*f + 1. Let z be y(-6). Let r = -245 + z. Let u = 483 - r. Is u a composite number?
False
Suppose -4*s = -3*u + 53013 - 445721, 2*u = 0. Is s prime?
False
Suppose 0 = -145*q - 225*q - 11*q + 56331993. Is q a prime number?
True
Let p(a) = -2*a**2 - 12*a - 12. Let v be p(-4). Suppose 6620 = v*d - 4*z, -8*z + 12*z = 3*d - 4969. Is d a composite number?
True
Let l(b) = 12*b**2 + 6*b + 10786. Is l(0) a composite number?
True
Let y(k) = -1557*k + 65. Let z be y(-7). Let x = -7627 + z. Is x a composite number?
True
Let y(h) = h**3 - 6*h**2 + 7*h - 8. Let d(n) = -n**2 + 8*n + 5. Let c be d(8). Let r be y(c). Suppose 3*g - 2850 = -i, 322 - 2235 = -r*g - 5*i. Is g composite?
True
Let d be (9/(-21))/(42/(-196)). Suppose -d*q - 3*q = -33035. Is q composite?
False
Suppose 0 = 8*w - 4*w + 3584. Let a = -261 - w. Is a a composite number?
True
Let g(m) be the second derivative of 10*m**4 + m**3/6 + 23*m**2/2 - 93*m. Is g(8) prime?
False
Let f(l) = 13*l**2 - 11*l - 12. Let t be f(-6). Let v = t + -143. Is v prime?
True
Suppose 230*a - 231*a - 76514 = -3*d, -2*a + 50996 = 2*d. Is d prime?
False
Let j(w) = -2*w**2 - 5*w + 30. Let v be j(-6). Let x(g) = -2*g**3 - 17*g**2 - 12*g + 67. Is x(v) a prime number?
False
Let t = -20 + 4. Let d be (0/(-2))/(32/t). Suppose -1778 = -2*m - d*m. Is m a composite number?
True
Let w = 73849 - 30186. Is w prime?
False
Let u = 16077 - -242. Is u a composite number?
False
Let j(u) = -490*u - 13. Let o(r) = -981*r - 25. Let i(n) = -5*j(n) + 3*o(n). Suppose -5*m - 23 = 3*s + s, -7 = -m + 5*s. Is i(m) composite?
True
Suppose n - 4*n - 10 = -k, -4*k + 4*n = -40. Suppose -3*h + 2*v = -16, 6*h - h + 5*v - k = 0. Is 44*(h + 12/16) a prime number?
False
Let h(k) = k**3 - 8*k**2 - 29*k - 523. Is h(19) composite?
False
Let i be (-18)/135 - (170198560/(-75) - -4). Is (1/(-2))/(i/(-206300) - -11) a prime number?
False
Let u be ((-4)/(-2))/(18/27). Let v(y) = -2*y + 12. Let b be v(u). Suppose -5*p + 25 = 0, -3*s = -2*p + b*p - 8453. Is s composite?
True
Let s(o) = -328*o. Let h be s(-1). Let t = -390 - -459. Let p = h - t. Is p prime?
False
Let o = 10102 + -6524. Let x = -1057 + o. Is x composite?
False
Suppose 0 = 4*g + 2*q - 6842, -2326 = -5*g + 3*q + 6254. Let n = g + -848. Is n a composite number?
True
Let z be (-4)/(8/30)*331. Let y = -1683 + z. Is y/(-96) - 2/8 prime?
False
Let l(s) = -s**3 + 4*s**2 + 24*s + 1. Let g be l(12). Let m = g + 1406. Is m a composite number?
True
Suppose 2*w + 8 = 0, 2*h - 2508 = -2*h - 2*w. Let s = 2322 - h. Is s composite?
False
Suppose -2*n - 2396 = 5*h, -6*h + 3*h + 3573 = -3*n. Let d = n - -2728. Is d composite?
True
Let l(g) = -3*g**2 - 5*g**3 - 3 + 6*g**3 + 5*g**3 + 8*g**2 + 4*g. Let b(i) = i**2 - i - 1. Let a(n) = -4*b(n) + l(n). Is a(6) prime?
True
Let w(x) be the first derivative of x**4/4 + 19*x**3/6 + 15*x**2/2 + 18*x - 34. Let h(o) be the first derivative of w(o). Is h(-20) a prime number?
False
Suppose 17*s = 19*s - 40. Suppose s*v - 18*v + 3*m = 3692, 1839 = v - 2*m. Is v composite?
True
Suppose 24*t + 1904 = 28*t. Suppose -377 = -i + t. Is i composite?
False
Suppose -24*j + 15817656 = -10085520. Is j a prime number?
False
Suppose s + 2*u = 1346231 + 148038, -2*u = -s + 1494257. Is s a prime number?
True
Suppose 0 = -2*o - 2*k - 864 - 400, -4*o - 2528 = 2*k. Let d = o - 300. Let r = -485 - d. Is r prime?
False
Let w = 1193333 + -741342. Is w a prime number?
False
Let u = 143062 + -53763. Is u prime?
False
Let q(w) = 2*w**2 - 6*w - 176. Let v be q(-22). Suppose k + v = 5003. Is k prime?
True
Suppose 3*o - 2*n - 3506753 = 0, 2*o - 10*n + 12*n - 2337842 = 0. Is o prime?
True
Let o(x) be the second derivative of 2*x**5/5 - 7*x**4/12 + 7*x**3/6 - 21*x**2/2 + 12*x. Is o(7) prime?
False
Let h(x) = -x**2 - 27*x - 43. Let k be h(-12). Let f(v) = -10*v**3 + 2*v**2 - 1. Let o be f(-1). Suppose o + k = 4*r. Is r composite?
False
Is ((-2)/5)/(526/(-3191850845)) a prime number?
True
Is (-40)/36 - 4404178/(-414) a prime number?
False
Let d be (-454)/(-4)*(1 + -3). Let q = 240 - d. Is q a composite number?
False
Suppose 5250 = -163*j + 178*j. Suppose 352*t - 65662 = j*t. Is t prime?
True
Let l = -66 + 74. Let x(f) = 23*f**2 - 26*f - 2. Is x(l) composite?
True
Let a(g) = -2*g**2 - 24*g + 65. Let h be a(-14). Suppose 597 = -h*z + 42276. Is 