n composite?
True
Let o = 46 - -141. Is o a prime number?
False
Suppose -2*s = -3*j - 551, 0 = -4*s + 2*s - 5*j + 559. Let d = s + -158. Is d prime?
False
Suppose 3 = -3*z - 0. Let t be 2 + z + 1/1. Is (-9)/t*60/(-18) prime?
False
Suppose -5*l - 3*o + 172 = 0, 0 = 3*l + 2*o - 0*o - 103. Is l prime?
False
Let p = -14 + 45. Suppose -3*v - 13 = -p. Let n(u) = 3*u + 5. Is n(v) composite?
False
Suppose 6*t + 547 = 3*h + 4*t, 2*t - 348 = -2*h. Is h a prime number?
True
Let s(z) = z**3 + 11*z**2 + 7*z + 2. Is s(-7) composite?
False
Suppose -5*g = -2*y - 389, -g - 4*y + 249 = 2*g. Let x = 138 - g. Is x a composite number?
False
Let g = -1289 + 1843. Let l = g - 808. Let u = l + 517. Is u a prime number?
True
Suppose 1 = -3*z + l + 18, 5*l + 20 = 2*z. Suppose -z - 1 = -q. Is q prime?
False
Let n = 8 - 14. Let l(m) = m**3 + 5*m**2 - 8*m + 2. Is l(n) a composite number?
True
Let k be 1 + 2 + -1*1. Let m be (-1)/(k/(-18) + 0). Suppose 2*b - 3*q = 17, -2*b = -b - q - m. Is b a prime number?
False
Is (-12)/(-72) - (-581)/6 a prime number?
True
Is 3559 - (-1 + 2 + (-3 - 0)) prime?
False
Is (-227)/(-1*4/20 - 0) a prime number?
False
Let v(j) = -9*j + 7. Let t be v(-6). Suppose -4*f - 3 = -19. Suppose 3*u - t = r, f*r = u - r - 39. Is u a composite number?
False
Let b be (-98)/(-21)*9/6. Let w = 62 + -42. Let g = w - b. Is g a composite number?
False
Let u(y) = 5*y**2 + 8*y + 5. Let o(s) = s**3 + 6*s**2 - 2*s - 6. Let l be o(-6). Is u(l) composite?
False
Suppose 0 = f - 4*b - 285, -4*b + 4 = -0. Is f a prime number?
False
Let z(b) = 21*b**2 + 2*b - 3. Let h(t) = 11*t**2 + t - 1. Let l(k) = -5*h(k) + 2*z(k). Let u be l(-4). Let o = 456 + u. Is o a composite number?
False
Let z be 6 + 3/(-1 + -2). Let i(o) = 10*o + 5. Is i(z) prime?
False
Suppose 5*v - 590 = -3*l, l - 236 = -2*v - 4*l. Is v composite?
True
Suppose -4903 = -3*h + 5*a, h - 1657 = -0*h - 4*a. Is h composite?
True
Let i = 4 + -2. Suppose -10 = -i*h, 45 = q - 2*h + 8. Is q prime?
True
Suppose -2*l + 29 = l - 5*n, l + 2*n + 5 = 0. Suppose l*w = 118 + 113. Is w prime?
False
Let d = 12 + -8. Suppose -d*t = -s - 43, -3*t - 3*s + 12 = -9. Suppose 0 = -4*k + 14 + t. Is k a prime number?
False
Suppose 3*n - 6*n = -1128. Suppose -w + 816 = 3*w. Suppose -4*p + n = -w. Is p a composite number?
True
Suppose 0 = 5*a - 1 - 9. Let w(y) = 0*y**2 - 3 + 8*y**2 + y**a - 5*y. Is w(-4) composite?
True
Let c be (-235)/(((-8)/10)/4). Suppose 6*a - c = a. Is a a prime number?
False
Let i(y) = -2*y - 5. Let h be i(-4). Suppose 60 = -h*m + 15. Let r = -6 - m. Is r a composite number?
True
Suppose -2 + 7 = -h, 4*h + 170 = 5*g. Suppose v - g = 57. Is v prime?
False
Let f(j) = j + 1. Suppose -13 = s - 3*b, 2*s - 7*s = -3*b + 17. Let v be f(s). Suppose -2*o + v*o + 70 = 0. Is o composite?
True
Let x(t) = 101*t + 6. Is x(5) prime?
False
Let u(t) be the third derivative of t**4/24 + 623*t**3/6 - 8*t**2. Is u(0) a prime number?
False
Let u be -1 + 6/3 + 177. Let x = u + -89. Is 1/(-4) + x/4 composite?
True
Suppose 0 = 2*n - 211 + 1. Let j(c) = c**3 + c**2 + 7. Let a be j(0). Suppose a*r - n = 2*r. Is r composite?
True
Let j(q) = q**3 + 5*q**2 - 5*q + 6. Let x(i) = i**3 - 4*i**2 + 3*i - 5 - 2*i**2 + 2*i. Let d be x(5). Is j(d) prime?
True
Let n(s) = -s**3 + s**2. Let q(d) = -35*d**3 + 4*d**2 - 2*d - 1. Let t(v) = 4*n(v) - q(v). Is t(2) a prime number?
False
Suppose g = -3*o + 2*o + 191, 4*g = 3*o + 736. Is g prime?
False
Let x(m) = -m**3 + 4*m**2 + 5*m + 3. Let y be x(5). Suppose y*l = 886 + 341. Is l composite?
False
Let o(s) = s**3 + 11*s**2 - s - 6. Let m be o(-11). Suppose 4*v - 2*c - 678 - 374 = 0, -v = -m*c - 263. Is v prime?
True
Suppose -43*j = -52*j + 30663. Is j a prime number?
True
Suppose -5*g = 9 + 6. Is g - (-2 + 3 - 41) a prime number?
True
Suppose 2*v - 48 = -v. Let m = -9 + v. Is m prime?
True
Let n = 519 - 102. Let r = 680 - n. Is r prime?
True
Let m(i) be the third derivative of i**6/120 - i**5/60 - i**4/24 + i**3/6 - 4*i**2. Let c be m(3). Suppose -a - a + 2*s = -122, c = 4*s. Is a prime?
False
Suppose 4*r - 284 = -0. Is r prime?
True
Suppose -24166 = -8*r + 4210. Is r composite?
False
Suppose -3*v - 128 - 384 = -4*c, c = -4*v + 147. Is c composite?
False
Let t = -101 - -180. Is t a prime number?
True
Let w = -12 - -12. Suppose o + w*o = 43. Is o a composite number?
False
Let v(y) = -7*y - 21. Is v(-14) a composite number?
True
Let k be 1/(-2) + 18/4. Suppose 0 = -h + q, k*h - 2*h + 2*q = 4. Is (-2 - h)*14/(-6) a composite number?
False
Let u(h) = h + 8. Let a be u(-4). Suppose 2*z = -l - 0*l + 60, a*z = 3*l + 130. Is z composite?
False
Suppose 4*b - 3*b - 2 = 0. Let w(c) = 0*c**2 + 0*c**b + 3*c - 3 + c**2. Is w(5) a prime number?
True
Let j be (5/2)/(2/4). Let t(m) = 44*m**3 - 4*m**2 + 2*m. Let y be t(2). Suppose -j*o + y = -o. Is o prime?
False
Suppose -6*w = -2*w. Suppose 5*p - 713 = 4*u - w*u, -3*u = -3*p + 429. Let s = p + -83. Is s composite?
True
Let j be 1/(-4) + 1/4. Suppose -3*l + 2*d + 601 = j, -11 = -4*d + 5. Is l a composite number?
True
Let h(q) = 22*q**2 - 4*q - 8. Is h(3) prime?
False
Suppose -4 - 1 = -y. Let d be 4/2 - (7 + -2). Let o = y + d. Is o prime?
True
Suppose 135 = 3*y - 231. Suppose -y = -5*w + 4*w. Is w a prime number?
False
Let n be (2 - 3) + -4 + 7. Suppose -n*m + 7*m = 710. Is m a composite number?
True
Let z(w) = -w**3 - 2*w + 2935. Is z(0) prime?
False
Suppose -2*y + 2*d = -328, -3*y + 332 = -d - 154. Is y composite?
True
Suppose -37*q - 321 = -38*q. Is q a prime number?
False
Let x(z) be the second derivative of 3*z**5/20 - z**4/3 + z**3/2 - 3*z**2/2 - z. Suppose 2*d + 11 = 17. Is x(d) composite?
True
Let o(z) = -7*z**3 + 4*z**2 + 3*z + 11. Let p(n) = 4*n**3 - 2*n**2 - n - 6. Let m(y) = 3*o(y) + 5*p(y). Is m(-5) prime?
False
Suppose 0*a = -a, -10165 = -5*s - 5*a. Is s a prime number?
False
Suppose c - 1271 = 4*y, 3*y - 6283 = -5*c - y. Is c a composite number?
False
Let t(n) be the first derivative of 11*n**2 + 3*n - 2. Is t(5) prime?
True
Let u be 1/4 - 4/16. Suppose u = 2*s - 195 - 103. Is s a composite number?
False
Let l = 1121 + -797. Suppose -u = u - l. Suppose -i + u = 3*p, 152 + 51 = 4*p - 3*i. Is p prime?
True
Suppose 4*v - 3*o - 57 = -367, 0 = -2*v + o - 154. Is (v/(-6))/(14/21) composite?
False
Suppose o = 6*o - 10. Suppose 6 - 2 = o*z. Suppose -3*x = z*x - 155. Is x a prime number?
True
Let d(u) be the first derivative of -29*u**2/2 - 7*u - 6. Is d(-4) a composite number?
False
Suppose 4*o - o = 153. Is o a composite number?
True
Is (2/(-6))/(9/(-4239)) a prime number?
True
Let a(h) be the second derivative of 4/3*h**3 - h + 1/12*h**4 + 0 - 5/2*h**2. Is a(6) a prime number?
True
Suppose -3*h = -4*n - 993, 4*h - 217 = -5*n + 1138. Suppose -3*q = -4*f + h, 3*f + q - 246 = -2*q. Is f prime?
True
Let s(j) = j + 1. Let y(v) = -v**2 + 3*v + 3. Let q be y(5). Let h be s(q). Let n(p) = -5*p + 1. Is n(h) a prime number?
True
Is (4 - -6538)*1/2 prime?
True
Let x = -8 - -23. Suppose 0*a = -a + x. Is a prime?
False
Let m(d) = -116*d**2 + 2*d - 3. Let l be m(2). Let c = 714 + l. Is c prime?
True
Let k(d) = -205*d + 16. Is k(-3) composite?
False
Let f(t) = -5*t**3 + t**2 - 4*t - 2. Let x = 2 + -5. Let m be f(x). Suppose -b = b - m. Is b composite?
True
Let r = 353 + -150. Is r prime?
False
Suppose -4*i - 2*c - 3*c = -1493, -10 = -2*c. Is i a composite number?
False
Let w(n) = -35*n + 4. Let v be w(-3). Suppose 0*l + v = l. Suppose -3*s + l = -326. Is s prime?
False
Let z be (9 - 7)/(1*2). Let i = z - 2. Is (i - 0)*-1*373 a composite number?
False
Suppose 5*y = -0*y + 20. Is ((-2)/y)/(1/(-8)) composite?
True
Let l(o) = 3*o**3 + 3*o - 1. Is l(3) a composite number?
False
Let f be 1/(-1) + 1 + 3. Suppose f*m = -m + 224. Is -1 + 2*-1 + m prime?
True
Let r(k) = 131*k**2 - k. Let t be r(1). Is -1 + 4/(-2) + t a composite number?
False
Let o(i) = i**3 + 8*i**2 + 10*i + 7. Let r be o(-6). Suppose -2*n + 1 = 2*h + 3, -n + 5*h = r. Is n/6 + 47/3 composite?
True
Suppose 0 = 2*g - p - 3186 - 461, -p = -3. Suppose -4*o = -9*o + g. Is o a prime number?
False
Let h be (-282)/(-4)*590/15. Suppose -3*q - 3*t = -1662, -5*q - 2*t + h = 2*t. Is q composite?
False
Is (11105/(-10))/(-1 - 1/(-2)) a prime number?
True
Suppose 4*x - 2253 = 923. Is x a composite number?
True
Let m(w) = w**2 - 5*w. Let 