Suppose -y - 17 = -4*f, 0*y - 2*f + 31 = -j*y. Is l(y) a composite number?
False
Suppose 0 = 4*l - 9*l. Suppose l = 6*o - 2*o - 148. Is o a prime number?
True
Suppose 2*s = -3*c + 1280, 2*c + 230 - 1090 = 2*s. Suppose 118 = 2*j + 5*a - 99, 4*a = -4*j + c. Is j prime?
False
Let a = 77 + 104. Let m = a + -116. Is m prime?
False
Suppose l = 3*b - 7288, 9719 = 4*b - 2*l - l. Is b composite?
True
Suppose 10117 - 1345 = -n. Is 2/(-10) - n/85 a prime number?
True
Let i = 244 + -59. Is i a composite number?
True
Let d = -60 + 493. Suppose 0 = 5*u - 4*t - d, -3*u + 4*t + 33 = -230. Is u a composite number?
True
Let b = 13 - 5. Let q(f) = 6*f**2 - 10*f + 1. Is q(b) prime?
False
Is 2*574/(-8)*-2 prime?
False
Suppose 32 = -0*i + 4*i. Let b be (6/i)/(3/(-252)). Let l = -37 - b. Is l composite?
True
Let d be -8 + 7 - (1 + 0). Let w(g) = -321*g - 1. Is w(d) a composite number?
False
Let x be (1 - -2)/(3/2). Suppose 0 = c - 31 + x. Suppose 0 = -3*m + c + 76. Is m a prime number?
False
Suppose -3*o = -g + 40, -3*g - o - 4*o = -106. Suppose 5*w = -4*v - 0*w + 38, 0 = -5*v - w + g. Is v a composite number?
False
Suppose 0 = -g - 5*h + 433, 5*h = -3*g + 258 + 1001. Is g composite?
True
Let j = 52 - 131. Is j*(3 + -5 + 1) a prime number?
True
Let m = -2557 + 3918. Is m composite?
False
Suppose -4*n + 1199 = 5*p - 0*p, -2*p + 296 = n. Suppose 5*y + 3*a = 380, 0 = 4*y - a + 3*a - n. Is y composite?
False
Suppose -4*q = -w + 3*w - 200, 2*w - 4*q - 224 = 0. Is w prime?
False
Let z(a) = -a - 6. Let u be z(-10). Suppose -12 = -u*r + 2*d, 4*r = 3*d + d + 16. Suppose -3*c - 4*b = -r*b - 61, c = -5*b + 16. Is c composite?
True
Let v(w) = w**2 - w. Let y be v(-2). Let b(c) = 6*c + 1 - 3*c**3 + y*c**3 - 2*c - 4*c**3 + 8*c**2. Is b(8) composite?
True
Let m(a) = a**2 + 8*a + 5. Is m(-11) composite?
True
Let l(h) = h**2 + 3*h + 19. Let i be l(-13). Is 3/(-12) + i/4 composite?
False
Let v(n) = -n**3 + 5*n**2 + 2*n - 6. Let i be v(5). Is 78/i + (-1)/2 a composite number?
False
Let d(r) = 4*r + 7*r + r - 2*r - 7. Is d(6) a composite number?
False
Suppose -4*s - 69 = -349. Suppose -2*v = -7*v + s. Is v a composite number?
True
Suppose 0 = -9*u + 5*u + 2084. Is u a composite number?
False
Let c = 3 + 2. Suppose 5*s + c*t + 7 = 4*t, -5*s - 13 = 4*t. Is (-78 + -2 + 1)/s a composite number?
False
Suppose v - 242 - 81 = -4*c, -2*v - c = -660. Is v a composite number?
False
Let k(p) = 11*p. Let r be (-1 - 3/(-6))*-2. Let f = r - 0. Is k(f) composite?
False
Let b be -7 + 826 + -1 + 2. Suppose -h - h = 10, -2*y + b = 2*h. Is y prime?
False
Let m = -17 - -144. Is m a composite number?
False
Let i(m) = 0*m**3 - 5*m**2 + m**2 + 4*m**3 + 2 - 5*m**3. Let s be i(-4). Is 212/(-12)*(-6)/s composite?
False
Is (-238)/3*(-9)/6 a composite number?
True
Is 5/2*(0 - -58) - 0 prime?
False
Suppose -w - 2*v + 11 = 0, -3*w + 5*v + 26 + 7 = 0. Is w a prime number?
True
Is 236/(-7)*(-63)/18 composite?
True
Let g be (-630)/(-4)*(-17 - -19). Let l = g + -116. Is l a prime number?
True
Let c = -211 - -471. Let y(v) = -9*v + 17. Let s be y(16). Let k = c + s. Is k a prime number?
False
Let j = 25 - 18. Is j prime?
True
Suppose 2*r = 6 - 0. Suppose 4*l + 25 = r*h, 3*h = -l - l + 37. Is h prime?
True
Let c(p) = -2*p + 3. Let r be c(6). Is (-1*3)/(r/114) composite?
True
Let l(s) = 5*s**2 - 6*s + 0*s + 5 + s**3 - 2*s**3. Let k be l(4). Let n = k + 9. Is n a composite number?
True
Let f = 0 - -9. Is f a composite number?
True
Let r(f) be the third derivative of -f**5/60 - 7*f**4/24 + 4*f**3/3 + 4*f**2. Is r(-6) prime?
False
Suppose 3*p + 9 = 6*p. Suppose 25 = p*g + 2*o - 7, -8 = -2*g + 2*o. Suppose 4*a = 164 - g. Is a composite?
True
Suppose -5*x + q + 130 = -381, -2*x - 5*q + 199 = 0. Suppose 3*d - d = x. Is d a composite number?
True
Let r(v) be the second derivative of -7*v**3/2 - 5*v**2/2 - 3*v. Is r(-4) a composite number?
False
Let t(n) be the first derivative of 8*n**3/3 - n**2/2 + 6*n + 1. Let s be 1 + 0 + (-6)/1. Is t(s) composite?
False
Let l(h) = h**3 - h**2 - h + 5. Let g be l(0). Suppose 25 - g = 5*q. Is q composite?
True
Suppose 4*o - 60 + 221 = -5*q, 4 = -o. Let f = -87 - -9. Let u = q - f. Is u prime?
False
Suppose -10 = -4*o + 6. Let b(t) = -t**2 - 6*t + 2. Let w be b(-5). Suppose -q = -2*q - 5*h - w, -o*h = q + 3. Is q a composite number?
False
Let z(c) = -112*c**3 - 5*c**2 + 1. Is z(-2) a prime number?
True
Suppose -7*o - 742 = -8687. Is o prime?
False
Let c = -513 - -224. Let v = 135 + c. Is (2/4)/((-1)/v) a composite number?
True
Let w(i) = i**2 + 6*i. Let y be w(-5). Let j(f) = -f**2 - 5*f + 2. Let q be j(y). Suppose -p = 2*s - 0*p - 21, q*p - 29 = -3*s. Is s prime?
True
Suppose 0 = -3*p + 3*g + 2757, 3*p + 2*g - 2747 = -0*p. Is p a composite number?
True
Let o = -250 + 657. Is o a prime number?
False
Suppose 4*y - 4*i - 16 = 0, y + 2*y - i = 4. Suppose y = -s - 3*s + 692. Suppose 2*o - j = -0*j + 70, -5*o + 2*j = -s. Is o composite?
True
Is 4/6 + 5 + 3164/6 composite?
True
Suppose -20 = 4*l - 6*l. Suppose -437 = 5*x - l*x + 2*h, -4*h = 4*x - 372. Is x a composite number?
False
Let k = -3 + 5. Let v = 3 + k. Suppose v*o - 38 = -3. Is o a prime number?
True
Suppose -224 = -5*p + 1481. Is p a prime number?
False
Let x(s) be the third derivative of s**6/120 - 2*s**5/15 + s**3 - 2*s**2. Is x(8) a prime number?
False
Let z(x) = -x**2 + 4*x. Let t(p) = -2*p**2 + 8*p - 1. Let g(j) = 6*t(j) - 13*z(j). Is g(11) prime?
True
Let y(r) = r**3 + 7*r**2 + 4*r + 7. Suppose 0 = -c + 3*d - 3, 0 = -5*d - 1 - 4. Is y(c) a composite number?
False
Let q(s) = 16*s**2 + 10*s + 5. Is q(-5) prime?
False
Suppose -4*b + 251 + 152 = -3*m, 363 = 4*b + 5*m. Is b composite?
False
Let j(v) = v**3 - 3*v**2 - 8*v + 4. Let r be j(6). Suppose 3*m - 257 = -2*l, -5*l = 2*m - m - r. Is m prime?
True
Let o(z) = 6*z**2 - 2*z + 4. Let k(m) = 7*m**2 - 3*m + 5. Let n(h) = -3*k(h) + 4*o(h). Let c be n(-1). Suppose 4 = -c*w + 145. Is w a composite number?
False
Let k = 30 - 69. Let i = 62 + k. Is i composite?
False
Let p be 3/(-6)*-158*1. Suppose -p - 21 = -4*s. Is s composite?
True
Let f be (-2)/8 - 1/(-4). Suppose y + y = f. Suppose a - 2*l - 10 = 0, 6 = 3*l - y*l. Is a a prime number?
False
Is (1*44/(-16))/(6/(-1272)) a prime number?
False
Let y(l) be the second derivative of 5*l**4/12 + l**3/6 + 3*l**2/2 + 2*l. Let r be y(-3). Suppose 3*s = -2*s + r. Is s prime?
False
Let m be (-134*1)/((-3)/45). Suppose 0 = -3*u - x + m, 4*u + 578 = 5*x + 3277. Let j = u - 460. Is j a prime number?
True
Let z = 126 - 88. Is z prime?
False
Suppose -2*f = -0*f - 238. Is f prime?
False
Suppose 3*s - 4*s - i + 98 = 0, s + 4*i - 107 = 0. Suppose -s = -5*l + 2*f + 160, -142 = -3*l - f. Is l a composite number?
True
Let c(k) = 0*k**2 + 2*k**3 + k**2 - 2*k**2 + 1 - 3*k. Is c(2) composite?
False
Let x(m) = 3*m**2 - 5*m + 25. Is x(-14) a composite number?
False
Let b be (1/(-2))/(-1)*-2. Let x be 42 - (3 - (-3)/b). Is x/(-3)*(1 - 2) a prime number?
False
Let s(p) = 2317*p**2. Is s(1) composite?
True
Let d = -581 - -1264. Is d prime?
True
Let q(c) = -c**3 + 2*c**2 + 7*c + 3. Let n = 2 - -11. Let p = 8 - n. Is q(p) a prime number?
False
Suppose 0 = -t - 5*d + 132, -5*d = -t + 4*t - 386. Is t a composite number?
False
Let o be (200/32)/((-1)/4). Suppose -313 = -5*b - 63. Let w = o + b. Is w composite?
True
Let m(y) = -y**3 - 2*y**2 + y**3 + 2 - 2*y**3. Suppose -h = -4*h - 6. Is m(h) prime?
False
Let n = -167 + 45. Suppose 2*y - 207 = y. Let j = y + n. Is j composite?
True
Suppose 3*v = -5*o - 29, 5*o + 19 = -v - 14. Is (-972)/(-28) - 2/o a composite number?
True
Let q(g) = g**3 - 12*g**2 + g - 17. Let v be q(12). Is (-396)/v - 1/5 a composite number?
False
Suppose -2*t = -0*r - r - 184, 0 = 4*t - 3*r - 370. Suppose 3*z - 3*n = 135, -2*z - n + 2*n = -t. Is z a prime number?
False
Let h = 87 - -6. Is h prime?
False
Suppose 0 = -3*j + 12, -2*h + 451 + 491 = -5*j. Is h composite?
True
Suppose -6*z - 215 = -7*z. Suppose -3*v = -2*s + z, 4*s + 4*v - 354 = 126. Is s a prime number?
False
Suppose -4*a + 12 = -t - t, -2*a = -3*t - 14. Suppose -a = 2*h - 7. Suppose p + h*p = 124. Is p composite?
False
Suppose 4*p - 45 = -0*p + 3*c, 0 = -3*p + 3*c + 36. Let j be (-114)/(-9)*(-9)/(-6). Let o = j - p. Is o composite?
True
Let z be (6/(-4))/(3/(-20)). Suppose x + 2*n = z, 4*n