**3/3 - 6*t**2. Let n(a) = 3*q(a) - x(a). Is n(8) a prime number?
True
Suppose -1318*h - 218510 = -1320*h. Is h composite?
True
Suppose 75078 = 5*t + 4*l - 122103, 39437 = t + l. Is t a prime number?
False
Suppose 3*s - 83877 - 464846 = -4*s. Is s prime?
False
Let w be (1 + 1)*138/12. Suppose 0 = 2*f + 63 - w. Is (32/f)/(-8) + (-894)/(-5) composite?
False
Suppose 1497160 = -28*g - 3023661 + 17689809. Is g composite?
True
Suppose -2*f + 12789 = k, 292*k + 3*f = 293*k - 12799. Is k prime?
False
Suppose 16657562 = 363*g + 190*g - 22190135. Is g a prime number?
True
Let j be (-42)/7 + (-26)/(-1). Suppose -1069 = j*t - 21*t. Is t a prime number?
True
Let f be (-12)/(-9) + (-394079)/(-57). Suppose m - f = -2*p, 3 = 10*m - 7*m. Is p prime?
True
Suppose 62937 + 374808 = 33*r. Suppose 16*z - 9759 - r = 0. Is z a composite number?
False
Is (-37093)/(-8) + 7*60/1120 prime?
True
Let d be (-4)/(-9) - 28/63. Suppose d = -18*h + 84595 + 41387. Is h a prime number?
False
Let j = 88 + -70. Suppose 6769 = -j*u + 25*u. Is u composite?
False
Let s = -25279 + 63318. Is s composite?
False
Let v(n) = 90*n**3 - 8*n**2 + 8*n - 13. Let y(f) = f**2 + f + 1. Let p(x) = -v(x) - 4*y(x). Is p(-7) composite?
False
Let v(d) = 19*d**2 + 12*d + 21. Let y be 3 + 2 + 5 + -2. Is v(y) a prime number?
False
Suppose -530581 - 1240423 = -36*m - 156008. Is m a composite number?
True
Let k = 7885 - 925. Let p = k - 156. Suppose -4*m + 1562 = -5*b - 3887, -5*m - b = -p. Is m a composite number?
False
Suppose 1619 = -4*k + 5*y, 0 = k - 5*k - 3*y - 1595. Let w = 14 - k. Is w composite?
True
Suppose -14*c + 15*c - 4*x + 1 = 0, -2*c + 5*x = -1. Suppose 25*m - 27*m + 20431 = -c*i, 0 = 5*m + i - 51120. Is m a composite number?
False
Suppose -5*s + 5*b = -55, 4*s - b = -0*s + 56. Suppose -g - s = -6*g. Is 213 + (g - (4 + -3)) prime?
False
Let i = 56007 - 20197. Suppose 19*v - i = 9*v. Is v prime?
True
Is -19*32/(-1064) - 2987186/(-14) composite?
True
Let n(d) = -2258*d + 131. Is n(-19) prime?
False
Suppose 3*p = -3236 + 34997. Is p a prime number?
False
Let h(q) = 27*q**2 + 2*q - 3. Let f be h(1). Suppose -27*x + 127 = -f*x. Is x composite?
False
Suppose 501*j = 491*j + 61990. Let g = 8918 - j. Is g a composite number?
False
Let w(k) = -420*k**3 + 16*k**2 - 2*k + 27. Let x be w(-8). Is (x/42 - 16/(-168))*2 prime?
False
Let w(a) = -a**2 - 10*a + 26. Let l be w(-12). Is (-647179)/(-65) - l/(-5) prime?
False
Let l be (0 + 0 - 1)*-3. Let b = -705 - -1678. Suppose 0 = 2*m - 4*w - w - b, -w = l. Is m a composite number?
False
Let h = 44 + -44. Suppose 4*v + 3*o = 14, -4 = -4*v + 2*o - h*o. Suppose -7*k + v*k = -5585. Is k a prime number?
True
Suppose -384 = 7*m - 9631. Suppose 0 = 8*y - 3*y + 2*n - m, -y + 275 = -5*n. Is y composite?
True
Suppose 2*q - 1969022 = -45*l + 48*l, -4*l + 1969022 = 2*q. Is q a prime number?
False
Let d(l) = 114523*l**2 + 23*l + 83. Is d(-3) a prime number?
False
Suppose 423 = 6*g + 273. Suppose g*b + 31*b = 841512. Is b a composite number?
True
Let y = -168 - -173. Suppose -5*a + 1530 = y*z, a + 3*z + 51 - 355 = 0. Is a a composite number?
False
Suppose -p = -17*p + 83152. Let b = 3186 + p. Is b prime?
False
Let u = 69 + -66. Suppose -4*v = -0 - 20, 31 = u*x + 5*v. Suppose -5*b + x*p + p + 30044 = 0, 4*p = -4*b + 24016. Is b prime?
True
Let a be (-3)/6 - 63/42. Is a/24*-44*(-3522)/(-2) composite?
True
Let s be -5 + 2 + (-603)/(-3). Let f = s - -641. Is f a prime number?
True
Let l(f) = f**2 + 9*f + 19. Let u be l(-6). Let s(z) = 6444*z**3 - z**2 + 2. Is s(u) prime?
False
Let l(q) be the first derivative of 311*q**2/2 + 15*q + 2. Let c(d) = -d**3 + 4*d + 4. Let r be c(-2). Is l(r) prime?
True
Suppose -132 = -8*t + 2*t. Let p be (-7)/14 - t/(-4). Suppose p*f + 0*h = h + 1088, 656 = 3*f + h. Is f prime?
False
Suppose 1332*n - 1338*n = -288942. Is n a prime number?
True
Let w(n) = -69*n + 98. Is w(-29) composite?
False
Is 6/(-20) - ((-1184233)/10 - 24) a composite number?
True
Suppose -20552560 + 104662229 = 616*j + 91*j. Is j a prime number?
True
Let b(u) = u**3 + 28*u**2 + 2*u - 28. Let x be (-148)/12 + (-2)/(-6). Let g be b(x). Suppose -15*w + g = -11*w. Is w prime?
True
Is ((-8 - -7)*(-802)/(-3))/(2/(-6)) composite?
True
Let o(l) be the second derivative of -11*l**3/3 - 9*l**2/2 - 148*l. Let w(r) = -r**2 - 3*r + 8. Let c be w(-6). Is o(c) composite?
False
Is 230/(-50)*(-3 + -1532) prime?
False
Let s = -84993 - -124819. Is s a prime number?
False
Let k be ((-786)/(-15) - -2) + 6/(-15). Let n = k + -585. Let a = n - -1248. Is a a composite number?
True
Let v(z) = -136*z**2 + 70*z**2 - 41 + 65*z**2 + 53*z. Is v(21) a composite number?
False
Let n = 43 + -40. Suppose n*w - 4060 = -307. Let p = 4040 - w. Is p prime?
True
Let h be (-153269)/(-6) + -2*11/(-132). Suppose -4*f = -5*c - h, 0 = -8*f + 5*f + 4*c + 19159. Is f composite?
True
Suppose 5*g - 4*q - 723897 = 0, 0 = 112*g - 114*g - 3*q + 289545. Is g a prime number?
False
Let b = 558 + -553. Suppose -t = 4*z - 111392, 3*t - 27859 = 4*z - b*z. Is z prime?
True
Let v(b) = -2988*b + 14491. Is v(-52) prime?
False
Suppose -10 = 7*g + 4. Let v(s) = -2841*s**3 + 2*s**2 + 10*s + 1. Is v(g) prime?
True
Let v(a) = 77804*a**2 + 73*a + 381. Is v(-4) a composite number?
False
Suppose r - 307153 = 3*z + 283411, -4*z = 3*r - 1771575. Is r prime?
True
Let j(s) = 12019*s - 209. Let o be j(4). Suppose -23*g + 20*g = 5*h - o, 4*g = -2*h + 19158. Is h a composite number?
True
Let s = 8909 + -6076. Is s a prime number?
True
Let c = 65 + -64. Is c/(4 + 93656/(-23416)) prime?
True
Suppose 2890 = b - 3*i, -28*b - 2896 = -29*b + i. Suppose m - b = -2*v, 5*m + 2*v = 7551 + 6936. Is m prime?
True
Suppose 38*l = -57*l + 56*l + 5360589. Is l a composite number?
True
Let z(m) = 5192*m - 6. Let v(f) = 1731*f - 2. Let r(o) = -11*v(o) + 4*z(o). Let h be r(2). Suppose 30*g = 34*g - h. Is g prime?
True
Suppose 919*a = 916*a + 21558. Suppose a = -0*c + 2*c. Is c a composite number?
False
Suppose -6276567 = -113*p - 1594412. Is p prime?
False
Suppose 133*w + 5*j = 131*w + 30403, 2*w - 30424 = 2*j. Is w composite?
True
Suppose 0*v = -6*v + 144. Suppose 8*s - 40 = v. Suppose 2 = 2*h, -s*h = -2*x - 10*h + 2080. Is x prime?
True
Let t(a) = -5220*a**3 - 23*a**2 - 9*a + 21. Is t(-4) prime?
True
Suppose 2*z + 15 = -z. Is 5 + (20/z - -1692) a prime number?
True
Let h(m) = 2162*m + 1529. Is h(25) composite?
False
Suppose -3*c + 13 = 5*u, -c = -0*u - u - 7. Suppose c*i = -10 + 40. Suppose -2*k + 32 = 3*s - 31, 3*s - i*k - 42 = 0. Is s a composite number?
False
Let z be 3964/6 - 4/(-3). Suppose 28*a = 29*a - z. Is a a prime number?
False
Suppose -4369901 = -21*l - 24*l + 28*l. Is l a composite number?
False
Suppose 0*f = 4*f - 4780. Let l be (-3)/15*6*f. Is l/(-4)*(-80)/(-24) composite?
True
Let b(y) = 596*y**2 + 13*y + 46. Is b(-11) composite?
False
Is 522306432/5760 + (-12)/10*1/1 composite?
False
Suppose -4*y + 43 - 7 = 0. Suppose y*l = -11068 - 5312. Let m = -1089 - l. Is m composite?
True
Is (-3543105)/2*332/(-2490) a prime number?
True
Let i(n) = -n**3 + 3*n**2 - 2*n + 5. Let p be i(7). Let h be (-1)/(-9) + 338/117. Is -2 - (h + -3) - p a composite number?
True
Let y = -6637 + 11075. Suppose s = 2*c - y + 1121, 5*s = -3*c + 4995. Suppose 0 = -3*m - 5*j + 5022, m + 10*j - c = 13*j. Is m a prime number?
True
Suppose 0 = u + p + 8, 4 + 0 = -3*u + p. Let v be 6/((-8)/((-16)/u)). Is (-4402)/v*(4 - 2) a composite number?
True
Is 93/248 - -1*(-840149)/(-8) a composite number?
False
Suppose 16*m = 15*m - 1104. Let c = -611 - m. Is c prime?
False
Let a(v) = -515*v**3 - 17*v**2 - 5*v + 2. Is a(-5) prime?
True
Let n(y) = -6*y**3 - 2*y**2 + 10*y + 4. Let o = 21 + -28. Is n(o) composite?
True
Is 21035932/22 - 2 - 1560/(-5720) prime?
True
Let v(r) = 15331*r**2 + 145*r + 535. Is v(-4) a prime number?
True
Suppose 3*t = -5*l + 543018, 9*l + 724016 = 4*t + 13*l. Is t prime?
True
Suppose 28 = 4*x + 2*l, -23 = -3*x + 5*l + 11. Let s(v) = -v**3 + 14*v**2 - 16*v - 10. Let z be s(x). Let h = -143 + z. Is h a prime number?
True
Suppose 1215*l + 2*j + 1792357 = 1216*l, 0 = 2*l + 2*j - 3584672. Is l prime?
False
Let v = 363 + -360. Suppose -4*h - 18 = -26, 5*r - 5441 = -v*h. Is r composite?
False
Let m = -6513 + 11671. Let i = m - 3365. Is i a prime number?
False
Let y(j) = j**3 - 15*