 Is f a composite number?
True
Let y(k) = -3592*k**3 + 2*k**2 + 7*k + 4. Let c be y(-1). Let n = c - -9502. Is n prime?
True
Let k be (0/(-2))/4 - -14. Let r(n) = -n + 29*n**2 + 7 + k*n**2 + 29*n**2 + 3*n. Is r(-4) prime?
True
Let o(q) = -q**3 + 4*q**2 + 3*q + 5. Let u(i) = -i**2 + 14*i - 22. Let k be u(12). Suppose g = -b - 3 - 3, k*b + 14 = -g. Is o(b) composite?
True
Suppose 10 = 2*j - t, -t = j + 2 - 4. Is 6942 + 5 + j + -4 a composite number?
False
Suppose -21 = -3*s - 3. Is -1*-23*(277 + s) prime?
False
Let m = 66850 - 35759. Is m prime?
True
Is 133/(-21)*(-12 - 26571) a composite number?
True
Let m be (-3 + 1)/((-2)/65). Suppose -m*t = -64*t - 4783. Is t a composite number?
False
Suppose -360*i + 89*i = 275*i - 84400134. Is i a composite number?
False
Let k = -66 + 76. Suppose k*q - 19106 = -5116. Is q composite?
False
Let i(b) = 16*b**2 + b + 7. Let v(l) = -9 + 5 - 2 + 2 + 25*l - 5*l**2. Let a be v(5). Is i(a) a composite number?
True
Let n(r) = 40475*r**2 - 62*r. Is n(-3) a composite number?
True
Let r = -26 + 36. Let j(k) = 2*k**3 - 20*k**2 + 3. Let l be j(r). Is ((-59)/2)/(-2*l/444) prime?
False
Let z(r) = -76*r - 50. Let h(o) = 38*o + 25. Let q(i) = 13*h(i) + 6*z(i). Let y = 64 - 60. Is q(y) composite?
True
Let a(g) = 98*g**3 + 45 - 12*g**2 - 97*g**3 - 3*g + g. Is a(14) a prime number?
True
Suppose -34978 - 50980 = -2*c - 4*k, -4*c + 171952 = -4*k. Is c composite?
True
Let o = -35031 + 379996. Is o a prime number?
False
Let i(z) = 5*z**2 + 13*z + 7 + 2*z + 2*z - 8*z. Let l be i(-6). Let n = l - -160. Is n a composite number?
False
Let w(d) = 255*d**2 - 2*d - 3681. Is w(-52) prime?
False
Suppose -3*v + 33351 = 3*l - 6435, 0 = 5*v - 4*l - 66283. Is v a composite number?
False
Is (-31 - -30)*(0 - -1) + 489002 prime?
True
Is 304178 - (14 - (-20 + 39)) a prime number?
False
Is -1 + ((-15 - -6) + 4)*1 + 1044320 a prime number?
False
Is 5/(-20)*(-2 + -2) + (774490 - 0) prime?
True
Let y(g) = 194*g + 36353. Is y(0) a composite number?
False
Let x = -238 + 234. Let o(w) = -2864*w - 178. Is o(x) composite?
True
Let g = -17594 + 9140. Let x = -4487 - g. Is x prime?
True
Suppose 0 = -3*m + 2*k - 6 + 22, -4*m + 3*k = -22. Suppose -3*u = -12, -m*u = -5*w + 592 + 347. Suppose -5*f - w = -x, 2*x + f - 300 = 126. Is x composite?
False
Let i be 1581/62 - (0 + 2/4). Suppose 12*m = 17*m - i. Suppose -2*u - m*u = -1673. Is u prime?
True
Let b be 9/(153/(-180440)) + (-14)/(-119). Let c = -7553 - b. Is c a composite number?
False
Let u = 138 + -145. Is (3 - -13121) + 35/u a composite number?
True
Let c(d) = 13246*d**2 + 6*d + 127. Is c(8) a composite number?
False
Suppose 2*u = -6, -5*u = 2*q - 4*u + 3. Let i(a) = -2 + q*a + 56*a**2 + a - 9*a**2 + a. Is i(-3) composite?
True
Suppose -37 = 5*q - 12, 3*q - 16129 = 4*g. Let n = g + 6899. Is n a prime number?
False
Let n(v) = 31395*v**2 - 244*v - 242. Is n(-1) a prime number?
True
Let z(c) = c**2 - 8*c - 5. Let y be z(12). Let a = 828 - y. Suppose -a = -9*t + 4*t. Is t composite?
False
Suppose -5*y + 417 + 1478 = 0. Suppose 0 = i + 3, 2*m + 16*i - 5491 = 21*i. Suppose g - m = -y. Is g prime?
False
Let n(j) = j + 15. Let u be n(-11). Suppose 6 = -w - 4*z + u, 2*w + 4*z = 0. Suppose 0 = -w*x + 10 - 4, -4*x = p - 77. Is p a prime number?
False
Is (496/672 - 1/6) + 8554785/35 a composite number?
False
Let o(g) = 2787*g - 26. Let z be o(13). Suppose z = 6*b + 7*b. Is b a prime number?
False
Let p be 6/15 + 141/(-15). Let d = p - -13. Is (1/(-4))/(d/(-10096)) prime?
True
Is (-5)/((-11)/53656504*40) a prime number?
False
Is (4/(-28))/((-2)/2970338) prime?
True
Let b = -26116 + 246257. Is b composite?
False
Let q(n) = -n**2 + 34*n - 11. Let c be q(32). Suppose 0 = -c*d + 68*d - 79755. Is d composite?
True
Let b = 45 + -65. Let l = b + 29. Is (-2194)/(-6) - 6/l prime?
False
Suppose 18*a - 15*a - 309867 = -2*b, -5*a - 5*b = -516445. Is a a composite number?
False
Suppose 0 = -d - 7*d + 768. Let x be ((-78)/(-18))/(1/d). Let u = x - 283. Is u prime?
False
Suppose -8*c = -33 - 7. Let v be 3 - 1/(c/(-10)). Suppose 4*b - 2903 = -f, -2*f = -v*f - b + 8665. Is f a prime number?
True
Suppose -24 = 2*z - 60. Suppose 0 = z*y - 37665 - 10053. Is y composite?
True
Suppose -4*j + 20462 = 5*m, -2*j - 13505 = -3*m - 1241. Suppose -4*n + 12606 = 2*f + m, -2*n - 4*f + 4270 = 0. Is n prime?
False
Let d(z) be the first derivative of 45*z**2/2 + 8*z - 25. Let r be d(-7). Let j = r - -528. Is j a composite number?
True
Let d = 54806 - 18919. Is d composite?
True
Let b = -325 + 1511. Is b composite?
True
Suppose -3*j - 3*j - 10662 = 0. Is j/1*((-24)/(-6) - 7) a prime number?
False
Let z(g) = 6 + 16 - 18*g - 24*g - 5*g. Is z(-17) composite?
False
Suppose -4*z = 8073 - 34077. Suppose 0 = n + n - 45118. Suppose -n = -14*c - z. Is c a prime number?
False
Suppose -4*u + 74 = -90. Suppose -u*f = -9575 - 1167. Is f a prime number?
False
Suppose -34995 = -164*o + 149*o. Is o composite?
False
Suppose -2*a + 6 = -r, 2*r + 2*a = 4 + 8. Let y = r - -1655. Is y a composite number?
False
Is -2*(-95)/38 + 202794 a prime number?
True
Let q(o) = -16*o**3 + o**2 + 55*o + 1147. Is q(-29) a composite number?
True
Suppose -40*q + 45*q = 4*a + 782411, -2*a + 469473 = 3*q. Is q prime?
True
Let r(o) = 489*o**2 - 70*o + 453. Is r(10) a composite number?
True
Let y = -2925 - -1497. Let o = 15655 + y. Is o prime?
False
Let a(r) = r**3 - 4*r**2 - 7*r. Let v be a(6). Let d = v + -7. Is d prime?
True
Suppose 17*c + 332 = 60. Is (6598/10)/(c/(-80)) prime?
True
Suppose 8*j + j - 5848149 = h, -j = 5*h - 649825. Is j prime?
False
Let k = -150 + 152. Suppose -2*j = k*f - 2356, j = -5*f + 1743 + 4131. Let b = 1851 - f. Is b composite?
False
Let p = 125517 - 88929. Suppose 4*i - p - 14989 = 5*a, i + 2*a - 12891 = 0. Is i composite?
False
Suppose -12*r + 878 - 290 = 0. Let m = r - 51. Is (-3)/m + -1 - (-36964)/8 composite?
False
Let a = 408 - 401. Is (-5)/(-1) + (11 - (-4000 + a)) a prime number?
False
Let o = -19 - 95. Let j be (-2 + (-402)/(-8))/((-27)/108). Let p = o - j. Is p composite?
False
Suppose 0 = 5*a + h + 6017, 0 = -4*a + 29*h - 28*h - 4819. Let t = 4575 - a. Is t composite?
False
Let u(f) = 43*f**3 - 85*f**2 + 332*f + 2. Is u(4) a prime number?
False
Suppose -a + 79100 = -2*j + 278482, j - 99701 = 3*a. Is j composite?
False
Let a(k) = 15*k**2 - 27*k - 13. Let g = 86 + -97. Is a(g) prime?
True
Suppose 5*q + 4*p - 3946039 = 0, 3*p - 615932 - 2540900 = -4*q. Is q a composite number?
True
Let i(o) = 1. Let j(p) = -p - 167. Let u(y) = -2*i(y) - j(y). Is u(46) a composite number?
False
Let c be 16/(-96) + (-1237)/(-6). Suppose 181 = u + 2*s, 4*u = 5*u - 3*s - c. Is u prime?
True
Suppose 0 = 4*x + 4*u - 957400, u - 957421 = -17*x + 13*x. Is x a composite number?
False
Let l(u) = -u**3 + 29*u**2 + 3*u + 39. Suppose d = -d. Suppose -25 = -5*c, d = 4*m + 5*c - 10*c - 87. Is l(m) prime?
True
Suppose 3*p + 25*p = 2659917 + 3187519. Is p composite?
False
Let r(z) = -z**3 + 9*z**2 + 23*z + 13. Let j be r(11). Suppose -4*p = 5*a - 34029, -j*a = 5*p - 23*a - 42510. Is p a composite number?
False
Let s(m) = -41*m + 1333. Let q(l) = -10*l + 333. Let p(d) = 9*q(d) - 2*s(d). Is p(-9) a composite number?
True
Suppose -2*d + 5*m + 109164 - 19048 = 0, -4*d = 5*m - 180202. Is d a prime number?
True
Suppose -8 = -u + 5*v, -2*v - 48 = -4*u + 2. Let n(t) = t**3 + 16*t**2 + 21*t - 97. Is n(u) prime?
True
Suppose -3*g - 50 = 220. Let o = g + 374. Let q = 918 - o. Is q a prime number?
False
Let o = -43338 - -122855. Is o composite?
True
Let d(l) = -10*l - 78. Let o be d(-8). Suppose o*c - 5626 = 5196. Is c a composite number?
True
Let r = -527 + 517. Is r - (-6 - -1) - -2928 composite?
True
Suppose 114100 = -5*x + 4*g, -2*x - 18526 = 5*g + 27114. Let p = -10381 - x. Is p a composite number?
True
Let i be -2*(-5)/10*1 - -3848. Suppose 6425 = 5*k - 5*h, 4*k - 7*k + i = -h. Is k a composite number?
True
Suppose 14*h = 9*h + 2*u + 147621, -2*u - 1181066 = -40*h. Is h prime?
True
Let s = -61 + 65. Let a = -1 + s. Suppose -a*d + 4*v + 327 = -2*d, v = -d + 317. Is d a composite number?
True
Is (-2)/((-4)/136410) + (-92 - -94) prime?
True
Suppose -3*l + 6*l - 1 = -z, -4*z + 4 = -l. Suppose z = 3*n - 41. Is n + -11 + 0 + 140 a composite number?
True
Let r(m) = -m**2 + 9*m + 29. Let d be r(12). L