 k + 2. Let n be r(2). Suppose n*y - 18 - 194 = 0. Is y prime?
True
Suppose -4*k + 464 = -4*o, -3*k + 4*k - 5*o - 136 = 0. Is k composite?
True
Let w = 1134 + -695. Is w a prime number?
True
Suppose 0*u = 2*q - u - 1, 5*q = 4*u - 2. Let o be -2 - (1 - 2/q). Is 48 - (2 + -4)/o prime?
True
Suppose 4*l - s - 37 = 0, -42 = -4*l - 5*s + 7*s. Suppose -5*q = -m + 4*m - 29, 4*q - 16 = 0. Suppose 0 = -a + m*a - l. Is a prime?
False
Let o = 88 + -49. Is o a prime number?
False
Let c = 6 - 13. Let q = 4 + c. Is ((-1)/q)/((-2)/(-318)) a composite number?
False
Let c = -539 - -826. Is c a composite number?
True
Suppose w = -2*w - 168. Is (46/(-4))/(4/w) composite?
True
Let t be 22/(-4) - (-1)/(-2). Let o(i) = -4*i**2 - 8*i - 4. Let f(z) = 7*z**2 + 16*z + 7. Let h(g) = -3*f(g) - 5*o(g). Is h(t) composite?
False
Suppose -2*q + 1449 = -1767. Suppose -y - q = 2*y. Is y/(-14) - 10/35 composite?
True
Suppose -1110 = -2*q + 2*t, 0*t - 4 = -2*t. Is q a prime number?
True
Let v be -2*(-105)/(-9)*-12. Let h = 491 - v. Is h a prime number?
True
Let v = -15 - -12. Is (1/(v/(-267)))/1 a prime number?
True
Let i = -13 - -6. Let q(h) = 4*h**2 + 6*h - 9. Is q(i) prime?
False
Let j(k) = -k**2 - k + 1. Let q(s) = -6*s**2 - 5*s + 9. Let l(c) = 5*j(c) - q(c). Let x be l(3). Suppose -42 = -2*i - p, -3*i + 0*p = x*p - 63. Is i prime?
False
Suppose 48 = 4*c - 308. Is c prime?
True
Let s(t) = 10*t**2 - 12*t - 4. Let d be s(-6). Let y = 323 + d. Is y composite?
False
Let m(h) = 463*h**2 - 3*h + 1. Is m(2) prime?
True
Suppose 3*m - 3*c = 6534, -6*m - 5*c = -m - 10900. Is m a prime number?
True
Let x(s) = -s**3 - 2*s**2 + s. Let g be x(2). Let y = 26 + g. Suppose -25 = -a + y. Is a a composite number?
False
Suppose 5*i = 4*i + 1591. Is i a composite number?
True
Suppose -3*r + 145 = -860. Is r prime?
False
Let a = 15 + -13. Let d = a + 17. Is d a prime number?
True
Let g = -101 - -35. Let n = 100 + g. Is n prime?
False
Suppose -940 - 2387 = -3*i. Is i composite?
False
Suppose 0 = 5*f - 4*r + 610 - 201, 0 = -3*f + 4*r - 239. Let y = -30 - f. Is y composite?
True
Let g(b) = -3*b - 13. Is g(-9) a prime number?
False
Let m(i) be the first derivative of i**4/6 + 11*i**3/6 + 2*i + 3. Let q(h) be the first derivative of m(h). Is q(-11) composite?
True
Let i(m) = -16*m + 3. Is i(-4) a prime number?
True
Let w(t) = 6*t**2 - 7*t + 11. Suppose -p = 3*p - 24. Is w(p) a prime number?
False
Let y be (3/1 + -24)*-25. Suppose -313 - 1 = -3*r - m, 0 = 5*r + 2*m - y. Is r a prime number?
True
Suppose 2*r = -r. Suppose r = 2*a - 5*a - 102. Let w = 65 + a. Is w a prime number?
True
Let s be 5/10 - (-431)/2. Suppose -5*f = -3*o + 43 + 79, 4*o + 4*f = s. Is o composite?
True
Let l(s) be the first derivative of s**3/3 + 3*s**2/2 + 3*s - 1. Let p(k) = k**3 + 13*k**2 + k + 18. Let v be p(-13). Is l(v) a composite number?
False
Let h(u) = -u. Let w be h(-2). Is w - (0 + -144 + 1) a prime number?
False
Suppose -3*w = -10 - 1214. Suppose -3*h + w = -5*o, -h + o + 137 = -o. Is h a prime number?
True
Suppose 2*z - i - 9 = 0, z - 4*z + 15 = -3*i. Let h(y) = y**3 - 5*y**2 - 3*y + 6. Let v be h(z). Is (v/5)/(2/(-10)) composite?
True
Let b be 2/(-4)*(15 + -15). Suppose b = -4*p + 3*p + 67. Is p a prime number?
True
Suppose 3*h + 0*z = 4*z + 167, 2*z + 216 = 4*h. Is h composite?
False
Let y(v) = 2*v**3 - 10*v**2 + 10*v + 9. Is y(8) composite?
True
Let p(v) = 5 + 4*v - 3*v + 3. Let u be p(-5). Suppose 4*r - 615 = -u*i, -833 = -4*i - r - 0*r. Is i a composite number?
True
Let t(g) be the third derivative of -g**6/12 + g**5/15 - g**4/12 - g**3/3 - g**2. Let z be t(2). Is 1/((6/z)/(-3)) prime?
False
Let q be (3/2)/((-2)/(-8)). Let s(i) = 4*i**2 - 5*i - 3. Let x be s(q). Suppose -3*d + 156 = -x. Is d prime?
True
Suppose 5 = -5*v + 30. Suppose -2*z - 5*h = -11, v = 5*z + 5*h - 0. Let g(r) = 16*r**2 - 2*r - 3. Is g(z) a composite number?
True
Is (-5)/(-15) + 2530/6 prime?
False
Suppose 5*y - 257 = 4*y. Is y prime?
True
Is (-1)/(3/(-9)) + 184 prime?
False
Let i(n) = -n - 1. Let z be i(-4). Suppose -2*r - 6*q + 3*q = -40, 0 = r + z*q - 14. Is r a composite number?
True
Let d(m) = -m**2 + 14*m + 6. Let g be d(7). Let c be (-230)/g + (-2)/(-11). Is (-966)/(-18) + c/6 composite?
False
Let q(p) = 0*p + p - 1 + 2*p. Let y be q(2). Suppose 0*b + 97 = 5*u + 2*b, -4*u - y*b = -64. Is u a prime number?
False
Is 3/6*4 - -35 a composite number?
False
Let b(n) = n**2 + 9*n + 1. Let o = 1 - -3. Suppose -3*z + 11 = o*t - 26, z - 49 = -5*t. Is b(t) a composite number?
False
Suppose -5*o + 9*k + 900 = 4*k, -o - 4*k + 205 = 0. Is o composite?
True
Suppose -5*o + 5*h = -15 - 15, -5*h - 14 = 3*o. Suppose 0 = y + 4*d - 49, d - 158 = -o*y - y. Is y composite?
False
Let t(g) = -g**2 + 9*g - 8. Let v be t(7). Let s = 92 + -40. Suppose s = 2*d + v. Is d prime?
True
Is ((-1)/3)/((1 + 1)/(-1506)) a prime number?
True
Let u(v) = v**3 - 3*v**2 - 3*v. Let j be u(4). Suppose 2*d - 3*q = 95, j*d + q - 4*q = 181. Is d a prime number?
True
Let d be 0/(-3 - 6/(-3)). Suppose -2*g = -d*g - 30. Is g composite?
True
Suppose 2*h - q = 245, -4*h = 4*q - 642 + 158. Is h a composite number?
True
Let l be 3*3 + (-6)/2. Let d be 2 + (l - -3)*4. Suppose -d = -2*i + 120. Is i a composite number?
False
Suppose 4*d + 0*q - 260 = -4*q, 0 = -5*q + 20. Let x = 278 - d. Is x a prime number?
False
Let i be 39/4 + (-4)/(-16). Let m(g) = 0*g + 2 - g + 4*g + i*g**2. Is m(-3) prime?
True
Let d(t) = t**3 + 12*t**2 + 15*t - 13. Let r be d(-11). Let c = 2 - r. Is c a prime number?
True
Is 4 + -1 + 1098 + -2 composite?
True
Let v = 2 + -6. Let m be ((-2)/v)/((-3)/(-18)). Suppose -3*k = 3*l - 8*k - 10, -4*l = -m*k - 28. Is l a composite number?
True
Suppose -l = -5*w - 20, 5*l + w = -w + 46. Let n = l - 7. Suppose -n*z - 79 = -253. Is z prime?
False
Suppose 4*x + 5*g - 6777 = 0, -3*x + 3*g = x - 6769. Is x a composite number?
False
Suppose -4*s + b + 4*b = -17, 3*s = b - 1. Let o = s + 12. Suppose -5*f = -o, -p + 5*p - 86 = 3*f. Is p a prime number?
True
Let j(p) = 2*p**3 + 5*p**2 - 21*p + 5. Is j(9) prime?
False
Suppose o - 298 = -2*l - o, 4*l - 600 = -5*o. Is l a prime number?
False
Let t = -4 - 9. Let y = 20 - t. Is y a composite number?
True
Let g(w) be the third derivative of 9*w**6/20 + w**5/60 + 3*w**2. Suppose 1 = -5*i + 6. Is g(i) a composite number?
True
Suppose -2*h - 6 = -4*h, x + 207 = 4*h. Let g = x + 310. Is g a prime number?
False
Let c(g) = -g**3 + 16*g**2 - 17*g + 7. Let u(j) = -j**2 + 16*j - 14. Let q be u(14). Is c(q) a prime number?
False
Let h = 316 + -189. Is h a composite number?
False
Suppose -24 = -3*p - p. Suppose -6 = -p*d + 3*d, 3*d + 249 = 3*j. Is j a composite number?
True
Let a(c) = -17 + 12 + 8*c**2 - 9*c**2 + 14*c**2 + 3*c. Is a(2) composite?
False
Let n be (-1 - -1) + 3*2. Let v be 4/n + (-320)/(-6). Suppose 0 = 2*d + 4*y - v, 3*d - 2*y - y = 126. Is d composite?
False
Let n(g) = 2*g**2 - 3*g + 10. Let y be n(9). Suppose -5*f - i = -960, -5*f + y + 805 = -i. Is f prime?
True
Let b = 98 - -45. Is b composite?
True
Let x = 9 + -6. Let a = 3 - x. Suppose 5*q - 345 = -a*q. Is q prime?
False
Suppose -31 = -5*y - 3*c, 0*c - 14 = -2*y - 2*c. Suppose -y = -5*n + 5. Is n/(-4)*(-279 + 1) prime?
True
Let h = 21 + 13. Is h prime?
False
Suppose -s - 30 = -u, 4*u + 30 = 3*s - 4*s. Is -58*5/(s/39) a composite number?
True
Suppose 0 = -4*n + 5*n + 2. Is n/13 - (-405)/13 prime?
True
Suppose 2*r - 4*z - 5206 = 0, -6*r - z = -8*r + 5218. Is r a composite number?
True
Let u be ((-606)/(-8) - -2)*4. Suppose 0 = -3*h + 5*r - 0*r + 197, -5*h + 4*r + u = 0. Is h prime?
True
Suppose -10 = z + 10. Let x = z + 3. Let d = x + 24. Is d a prime number?
True
Suppose 102 = 5*c - i, -5*c + 27 = i - 71. Let k(z) = z**2 - 9. Let h be k(0). Let g = c + h. Is g prime?
True
Let j(m) = m**3 - 3*m**2 - 3*m - 3. Is j(6) a composite number?
True
Suppose -3*k + 4*k - 392 = -w, w = k - 398. Is k prime?
False
Is (257/2)/(1/4*2) composite?
False
Suppose -2*p = -2*v - 3*v - 2102, -3*p + 5*v = -3163. Is p a prime number?
True
Suppose 5*r + 0*d - 1595 = -2*d, d + 5 = 0. Is r composite?
True
Suppose 0 = -2*l - 3*l. Suppose 1 + l = -f. Let s = 2 - f. Is s prime?
True
Suppose 2*y + 38 = 4*y. Is y a composite number?
False
Is (-2538)/(-8) + -3*3/36 prime?
True
Is 144/(0 + 4) - (-2)/(-2) prime?
False