 + 3 - u**q - 8*u - 2. Is p(-6) a prime number?
True
Let a = 2757 + -1466. Is a a composite number?
False
Let h(l) = 39*l + 4. Is h(5) composite?
False
Is ((-57)/9)/((-5)/345) a composite number?
True
Let l(f) = 15*f**3 + 2*f**2 - 3*f. Let p = 0 - -2. Let z be l(p). Is z/6 - 2/(-3) a prime number?
False
Let x(z) = z**2 - 2*z - 3. Let t be x(3). Suppose g + t = -1. Is 1 - -51 - g*1 composite?
False
Is ((-4)/(-6))/(4/1218) composite?
True
Suppose 0 = -18*m + 5404 + 19094. Is m prime?
True
Let x be 32/(-6)*1062/(-8). Suppose 3*g = -174 + x. Suppose -l - l + g = 0. Is l composite?
False
Suppose -1 = 5*a + 54. Is (-816)/a + 4/(-22) a composite number?
True
Let w = 9 - 6. Suppose y - w*y = 80. Let n = -3 - y. Is n composite?
False
Suppose 4 = -2*i, -s - i = -3*i - 8. Suppose -265 = -5*l + 3*x, 2*l = -s*x + x + 106. Is l a composite number?
False
Let o = 5 + -1. Is 219/o + (-1)/(-4) a composite number?
True
Let g(i) = i**3 - i**2 - 3*i - 1. Suppose 0 = -2*b + 13 - 1. Let s(t) = t**2 - 4*t - 8. Let v be s(b). Is g(v) composite?
True
Let g be -2*(-12)/(-8) + 92. Let r = g - 31. Is r composite?
True
Suppose -4*q - 3 - 9 = 0. Let v = q + 3. Let c = v + 3. Is c a prime number?
True
Suppose 76*j + 22492 = 80*j. Is j a prime number?
True
Suppose 0 = -5*o + 9*o - 1544. Is o a composite number?
True
Let v(w) be the third derivative of -1/6*w**3 + 0 + 7/12*w**4 + 2*w**2 + 0*w. Is v(4) a prime number?
False
Let r(w) = 5*w - 1. Let v be r(1). Let j = v + -2. Suppose j*s - 425 = -3*s. Is s prime?
False
Suppose 5*x + 0*x - 5*c = 2075, -2*c = 0. Is x a prime number?
False
Let d(x) = 129*x**2. Let k be d(-1). Suppose 3*j - k - 123 = -3*y, 5*y - 432 = -j. Is y a prime number?
False
Let y be (2 - -8 - 4) + -2. Suppose -y*o - 5*m = -56, 3*o - m = -o + 56. Is o composite?
True
Let f(m) = m**3 + 7*m**2 - 2*m - 3. Suppose 0 = 2*u + 11 + 3. Is f(u) a prime number?
True
Suppose -3*w = 3*c - 6, -w + 7 = -4*c + 20. Suppose 5*g = c*g + 14. Is 257/g - (-4)/14 prime?
True
Let w = -513 - -866. Is w composite?
False
Let p = 29 - 29. Suppose p = -y + 410 - 103. Is y composite?
False
Let t be 3/(-6) + 11/(-2). Let s = t + 6. Suppose s = -d - 12 + 79. Is d a prime number?
True
Let m = -661 - -1612. Is m a composite number?
True
Let z = 779 + 56. Is z a composite number?
True
Let a = -741 - -2200. Is a prime?
True
Is (-28)/(-98) - (-152)/7 prime?
False
Let q(m) = m - 8. Let y be q(8). Suppose y = 3*o - 3*p + 21, 3*o + 20 = o - 4*p. Is 2/(o/(-114))*2 a prime number?
False
Suppose 3*d - 6 = 5*u - 0*u, 4*d + 2*u - 8 = 0. Is (-21)/d*20/(-6) prime?
False
Let l(d) = d**2 + 5*d. Let m be l(-6). Suppose -2*j - 125 = 3*j. Let y = m - j. Is y prime?
True
Let g(i) = -21*i + 5. Is g(-9) a composite number?
True
Suppose 0 = 3*c - 2*v - 989, 4*v - 1014 = -5*c + 649. Is c prime?
True
Let u(y) = y**2 + 6*y + 4. Let f = 12 - 5. Is u(f) prime?
False
Let n = -142 + 199. Let x = 126 - n. Is x a composite number?
True
Let s(l) = -83*l + 2. Is s(-4) composite?
True
Suppose -x - 13169 = -3*g, -2*x + 7271 + 1519 = 2*g. Is g a composite number?
False
Let t = -16 + 41. Suppose 5*v = t, 4*y - 580 + 209 = -3*v. Is y prime?
True
Let k(v) = -120*v - 1. Is k(-4) a prime number?
True
Let n(c) = -26*c - 3. Let h be n(-3). Let m = h + -53. Is m composite?
True
Let l(n) = n**2 - 9*n + 4. Let z be l(9). Suppose 3*c + z = w, -3*c + 5 - 1 = w. Suppose 835 - 15 = w*f. Is f a prime number?
False
Let t = -3 - -5. Suppose n - t - 1 = 0. Suppose -p + n = -16. Is p composite?
False
Let p = 167 + -56. Is (0 + p*-1)*-1 a prime number?
False
Is (19 - -2 - -2) + 3 a prime number?
False
Let z(c) = 346*c**3 + 2*c**2 - c. Suppose 3*n - 13 + 10 = 0. Is z(n) a composite number?
False
Let h(o) = o**3 + 7*o**2 - o - 5. Let l be h(-7). Suppose 54 = r - l*r. Let g = -23 - r. Is g composite?
False
Let m = 523 - 156. Is m a composite number?
False
Let c(x) = 2*x**2 + 6*x + 1. Let h(t) = -6*t - 10. Let g(j) = -j - 2. Let u(d) = -11*g(d) + 2*h(d). Let b be u(8). Is c(b) a composite number?
False
Let n = -20 + 20. Suppose n = -5*b + 36 + 34. Is b prime?
False
Let g = 3199 + -740. Is g a composite number?
False
Let j = 14 - 8. Suppose -j*f + 2*f = -n + 549, 5*f - n + 685 = 0. Let z = -47 - f. Is z a prime number?
True
Let w(y) = -177*y**3 - 4*y**2 - 2*y + 1. Is w(-2) composite?
True
Let i(b) = -2*b**2 + 3*b + 10. Let a be i(-7). Let y be -2 - (a + 1/1). Let w = y - 41. Is w a prime number?
False
Suppose -2*d + 0*d - 10 = 0, -4*d + 16 = 2*b. Suppose 2*u + 20 = -b. Let r = 0 - u. Is r a composite number?
False
Let p be ((-9)/12)/(1/4). Let x be -2 + 1 + 2 - p. Suppose 3*z + 3 = -x*s, -3*z - 21 + 3 = -s. Is s a composite number?
False
Let z be 0*2/(-4) - -90. Suppose 5*y - 255 = -0*y. Let v = z - y. Is v a prime number?
False
Let p = 286 - 109. Let x(d) = d**3 + d**2 + d. Let y be x(-1). Is p*2/(-6)*y composite?
False
Suppose -3*r = r - 1172. Is r a prime number?
True
Let m be ((-6)/4)/(6/8). Let a = m - -5. Suppose -c + a*h = 2*h - 18, -5*h = 2*c - 8. Is c a prime number?
False
Suppose 5*n + 0*t = 3*t + 458, 0 = 3*n + 4*t - 269. Is n a composite number?
True
Suppose 5*q = -3*u - 1511 + 5263, -2*q + 2 = 0. Is u a prime number?
True
Let r(g) = 12*g - 2. Is r(15) prime?
False
Let f(d) = -d + 1. Let b be f(-3). Let g be (b/(-6))/((-2)/129). Let k = g - 28. Is k composite?
True
Let n(o) = 2*o. Let g be n(3). Is 148/(-6)*(-9)/g a prime number?
True
Let w be (-4692)/(-15) - (-2)/10. Suppose 0 = -4*m - z + w, 0 = -m - m - 4*z + 146. Is m composite?
False
Is (1*-1)/(-2 - (-7905)/3954) a prime number?
False
Let c be (-606)/(-18) + -3 + 2/(-3). Let o = 39 - -8. Suppose 3*x = k - o, c + 261 = 5*k - x. Is k a composite number?
False
Let h(c) = -c + 8. Let w be h(6). Let l(z) = -z + w*z**2 + 5*z - z**2. Is l(-7) a prime number?
False
Let t(o) be the third derivative of o**6/10 + o**5/60 + o**4/3 - 2*o**3/3 + o**2. Is t(3) composite?
False
Suppose 6*d - 3*d = 84. Suppose -d = -2*l + 2*s, -s = 5*l + 22 - 116. Suppose -a = a - l. Is a composite?
True
Suppose 2*p + 325 = 3*c, 25 + 305 = 3*c + 3*p. Suppose -c - 136 = -5*t. Is t a prime number?
False
Let t be 3 - 5/((-10)/6). Suppose 4*z - t = 2*z. Suppose z*b - 13 = 2*b. Is b a prime number?
True
Suppose -p + 51 = 5*j, -5*p = -j + 1 + 30. Is j a prime number?
True
Let p(n) = 211*n**2 - 1. Let m be p(1). Let l = m - 121. Let i = l + -54. Is i a composite number?
True
Suppose -i + 74 = i. Is i a prime number?
True
Suppose 5*l - 2*q - 1263 = 0, -3*q - 258 = -l - 8*q. Is l a prime number?
False
Suppose 5*b - 1348 = -78. Is b prime?
False
Is ((-5)/(-2))/(5/590) a composite number?
True
Let q(y) = 2*y**3 - y**2 - y - 2373. Let c be q(0). Let x = -1604 - c. Is x a composite number?
False
Let l(z) = -z**3 - 2*z**2 + 2*z - 3. Let r be l(-3). Suppose 5*s - 2*m - 655 = r, 660 = 4*s - 2*m + 138. Is s a prime number?
False
Let n = 1 + 304. Is n a composite number?
True
Let a be ((-24)/20)/(6/(-20)). Suppose -a = -3*p + 8. Suppose -57 - 47 = -p*r. Is r a composite number?
True
Suppose -2*x - 12 = -4*f + 4, 5*f - 2 = -2*x. Let r be (2 + 1)*(-152)/(-6). Suppose -r = -f*g + 22. Is g prime?
False
Let o = 2006 + -1327. Is o prime?
False
Let n(r) = r**2 - 5*r. Suppose 2*b + v = 10, b - 5 = 3*v + 2*v. Let x be n(b). Is 3/(-3) - x - -16 a prime number?
False
Suppose 4*u - 120 = 128. Suppose 49 = -3*o - 71. Let l = u + o. Is l composite?
True
Let q(v) = -6 + 10*v + 1 + 1 - 3. Is q(6) composite?
False
Let x be (-14)/(1*6/(-15)). Suppose 4*w - x = -r - 7, -3*w + r = -14. Suppose 0 = -0*k - k + w. Is k composite?
True
Let p be ((1 - 1)/1)/2. Suppose 5*b + 5*v - 170 = p, -b + v = -4*v - 52. Is b a prime number?
True
Let w(s) = 2*s - 3. Let m be w(3). Suppose m = 2*h + h. Let t = 12 + h. Is t composite?
False
Let x(c) = c**3 - 4*c**2 - 10*c + 7. Suppose 0 = -2*d + d - 16. Let w = -10 - d. Is x(w) composite?
False
Let x be 0 + 0*1/3. Suppose -g - 3*f + 21 = 0, -5*g = -x*f + 3*f - 81. Is g a composite number?
True
Let c(x) = -8*x**3 + 4*x**2 + 2*x + 13. Is c(-7) prime?
True
Suppose -2*m + 4 = -0*m. Let f(l) = 54*l + 3 + 9*l - m. Is f(2) a prime number?
True
Suppose 0*i = i - 251. Is i a composite number?
False
Suppose -3*u + 0*u = 15090. Is ((-3)/(-2))/((-15)/u) composite?
False
Let q be (-4)/12*-3*2. Suppose g = -2*i - i + 2028, q*i - 3*g -