 4*y**2 - 6*y + 2. Let p(f) = 5*q(f) + 2*v(f). Is p(2) composite?
True
Suppose 0 = f + 14 - 312. Is f composite?
True
Let w(l) = l - 11. Let u be w(12). Is (-53)/2*(-1 - u) a prime number?
True
Let n = -2 + 8. Suppose -n*i + 2*i = -136. Is i a prime number?
False
Let i(h) = 2*h**3 - h**2 + 2*h + 5. Is i(6) a prime number?
False
Let o(l) = -9*l + 1. Is o(-4) composite?
False
Let n be (-4)/6*(-9)/2. Suppose 3*p - 92 = -z, -n*p - 189 = -2*z - 50. Is z prime?
False
Suppose 0*k = -2*k - 2324. Let r = 42 + -30. Is k/(-22) - r/(-66) a composite number?
False
Let i = -301 - -710. Is i prime?
True
Let y be 0/((2 - 7) + 4). Suppose 2*n - 4*n + 638 = y. Is n prime?
False
Suppose p + 3*l - 14 = -4, -130 = -5*p + 5*l. Suppose 3*q - 23 = p. Is q a composite number?
True
Let z be 4 - 0 - (2 - 3). Suppose -3*l = l + 3*h - 363, -z*l + 450 = 3*h. Is l a composite number?
True
Let h = 43 - 12. Let d be ((-354)/4)/((-3)/8). Suppose 3*s = d + h. Is s composite?
False
Let d be (4/8)/(1/(-8)). Let u be (-2)/4 + (-137)/(-2). Is (6/d)/((-3)/u) a composite number?
True
Suppose 88 - 14 = -2*l. Let g = 72 + l. Is g prime?
False
Let z = 3006 - -991. Is z prime?
False
Let w = -23 - -54. Is w composite?
False
Let c(x) = 2*x**3 - 19*x**2 - 31*x + 1. Is c(16) composite?
False
Is 2/(1 - -1)*67 prime?
True
Let u be (-4)/((-4)/(-3)) + -27. Is (-2)/12 - 4895/u a composite number?
False
Suppose 5*h + 5*f = -10, 1 + 5 = 3*h - f. Let k be 69*(-1 + (-4)/(-3)). Let p = k - h. Is p a prime number?
False
Suppose -4*p = l - 190, 3*l + 3*p - 4*p - 583 = 0. Is l a composite number?
True
Let y = -26 - -759. Is y a composite number?
False
Let l(k) = 3*k**2 - 5*k + 1. Let c(q) be the first derivative of 2*q**2 - 2*q - 2. Let r be c(2). Is l(r) composite?
False
Suppose 3*s + 6*v - v - 801 = 0, 267 = s - v. Is s prime?
False
Is 326/6 - 14/(-21) prime?
False
Suppose 2*z = -0*z + 6. Suppose -z*o + 2*o = 6. Let r(g) = g**3 + 9*g**2 + 2*g - 7. Is r(o) a composite number?
False
Let g(x) = 2 + 2 - 2 + 6 + 4*x. Let z be g(10). Suppose -3 + z = 3*s. Is s a composite number?
True
Let z(b) = -b**2 - 55*b - 3. Is z(-20) a prime number?
False
Suppose 2*i = i + 2*g - 7, -2*g = -4*i - 16. Is (i + (-222)/2)/(-2) prime?
False
Suppose u = -u + 38. Is u prime?
True
Suppose -4*y + 3 + 16 = j, -3*j - 28 = -5*y. Let i(s) = -4*s + 0*s + s - y*s - 1. Is i(-1) prime?
True
Let l be -3 - (-3 + (-1 - 36)). Let x = l + 90. Is x a prime number?
True
Let i(m) = m**3 - 3*m**2 + 3*m. Let t be i(2). Suppose -u + w - 3*w + t = 0, -9 = -3*u - 3*w. Is (-6)/u + (-355)/(-10) composite?
True
Suppose a - 16 = 469. Is a a composite number?
True
Suppose 5*t - 5212 = b, -t - 4*t + 5*b = -5200. Is t a prime number?
False
Let v(f) = f + 1. Let y be (-296)/(-56) - (-2)/(-7). Let b be v(y). Is (6/9)/(b/387) a prime number?
True
Let s(g) = 169*g**3 - 2*g**2 + 13*g + 13. Let o(f) = 84*f**3 - f**2 + 7*f + 7. Let i(b) = 11*o(b) - 6*s(b). Is i(-1) composite?
True
Is 309 + 0 - (1 + 3) a prime number?
False
Suppose -3*d - 5*r = -265, 7*r = 2*d + 3*r - 206. Is d composite?
True
Let k be 2/16*4*60. Is 50778/k - (-2)/5 a prime number?
True
Let g(x) = -x**2 - 9*x + 10. Let w be g(-10). Suppose 130 = 5*j - f, -j + w*j - 4*f = -47. Let v = j - 16. Is v prime?
True
Let t be (6/(-9))/((-6)/38439). Suppose -n + t = 5*z, 5*z + 2*n = -2*n + 4259. Suppose -2*s + 508 = 4*k - 178, 5*k + 2*s - z = 0. Is k a composite number?
True
Suppose -2*c + 4*z = -17 - 23, -3*z = 4*c - 80. Is c - (-1 + (0 - 2)) a composite number?
False
Let v be (-2)/8 - 6/(-24). Is 1 - ((-2 - 86) + v) a prime number?
True
Let z(m) be the second derivative of 149*m**4/12 + 3*m. Is z(-1) a prime number?
True
Let l(h) = 0 + 1 + 3 - 3 + 17*h. Is l(2) a prime number?
False
Let s(q) = -2*q**3 + 6*q**2 + 4*q + 13. Is s(-4) composite?
True
Let n = -595 - -1298. Is n prime?
False
Let x(a) = -a**2 + 12*a - 14. Let v = -5 + 15. Let c be x(v). Let z(k) = k**3 - 7*k**2 + 8*k - 5. Is z(c) a composite number?
False
Suppose -4*b - 735 = -b. Let w = b + 456. Is w prime?
True
Suppose 15 = r - 6*r. Let c be (-1)/(-1) + (-9)/r. Suppose -c*x = -30 - 46. Is x a composite number?
False
Suppose -2*p + 4 = 4*l, -4*l + 3 = p + 1. Suppose 3*o - p*t = -6, 2*o + 5*t - 15 = 3*o. Suppose -g + 43 + 36 = o. Is g a composite number?
False
Suppose 4*w + d - 3987 = -2*d, 0 = 5*w - d - 4960. Suppose 0 = 2*m - 2393 - w. Is m a prime number?
True
Suppose -11*r + 680 = -3*r. Is r a composite number?
True
Suppose 0 = -5*w + 2*w. Suppose -3*k + w*k = -18. Is k a prime number?
False
Let s(h) = -h**2 + 4*h. Let w be s(2). Let c(n) = n**3 - 5*n**2 + 4*n. Let m be c(w). Suppose 3*d - 125 + 20 = m. Is d composite?
True
Let d(x) = -x**3 + 10*x**2 + 12*x - 13. Let o be d(11). Is o + 1 + -2 + 212 a composite number?
True
Let d = -2 - -3. Is 1/(0 - d/(-19)) composite?
False
Suppose 0 = s - 6*s - 5, 0 = -3*a + 4*s + 295. Is a composite?
False
Suppose -2*k - 91 - 47 = 0. Let h = 17 + -16. Is (1 + h)/((-3)/k) prime?
False
Let c(b) = b**3 - 9*b**2 - 2*b - 3. Is c(10) composite?
True
Let i = 2 - -2. Suppose 0 = i*q + 20, 2*q + q - 51 = -3*p. Suppose 2*t - 9 = -z - 0*z, -t + p = 4*z. Is t prime?
True
Let u(a) = 26*a**2 + a. Is u(-1) composite?
True
Let j = -10 + 113. Is j prime?
True
Let s(j) = 5*j**2 + 3*j - 7. Is s(5) prime?
False
Let j = 136 + 7. Is j prime?
False
Let s = 5506 - 3429. Is s composite?
True
Let y(t) = -t**3 - 4*t**2 + 4. Let n be y(-3). Let c(g) = -24*g + 7. Is c(n) a composite number?
False
Let i = -40 - -142. Let y = -71 + i. Is y a composite number?
False
Let x = 3 - 3. Suppose 3*z - 2*m = 3*m + 24, 3*z + 3*m = x. Is (z - 5)/((-4)/14) a prime number?
True
Suppose 2*m + 9 = 3. Is -1*(74*-1 + m) a prime number?
False
Suppose 4*f + 8 = 0, -2*y - y + 749 = 2*f. Is y a composite number?
False
Suppose c = 3*v - 4 - 7, c = 5*v - 19. Is c*118 + -1 - -2 a prime number?
False
Suppose -2*o + 5*c + 404 = -937, 2*o - 1381 = -3*c. Is o composite?
False
Suppose -21*j = -23*j + 574. Is j a composite number?
True
Suppose 0 = 4*i - 0*i - 16. Suppose -3*v = -i*v + 2, -v + 2 = -p. Suppose -o + 3 + 4 = p. Is o composite?
False
Let p be 18/5 - (-4)/10. Suppose 99 = d + 3*t, p*t = -2*d - t + 203. Let y = d + -61. Is y composite?
False
Let f(n) = n**3 - 2*n**2 - 5*n + 19. Is f(9) a prime number?
True
Suppose -6 = 3*y, 3*h - y = -0*h + 506. Let o = -50 + h. Is o prime?
False
Let p = -15 + 30. Suppose 7*g = 5*n + 3*g - p, 0 = g - 5. Is n prime?
True
Let m = 2036 + -927. Is m prime?
True
Let f be ((-2)/(-4))/(2/44). Let c(a) = -38*a - 2. Let h(s) = -13*s - 1. Let g(d) = f*h(d) - 4*c(d). Is g(2) prime?
False
Suppose o + 6*l - 21 = 2*l, -o - l = -9. Let c be (-1 + o + -1)*19. Suppose -53 = -5*g + c. Is g a prime number?
False
Suppose s + 16 = -3*s. Let c be 771/(-4) - s/(-16). Is (1 - c)*(-7)/(-14) composite?
False
Is ((-2)/(-6))/(6/7326) a prime number?
False
Suppose 14 = 2*n + 4. Suppose -96 = -n*g + 319. Is g composite?
False
Suppose -2*s = -0*s. Suppose -5*h + 3 + 7 = s. Is ((-62)/4)/(-1)*h a composite number?
False
Suppose 0 = -2*v + 3*v - 3. Suppose 2*g + 53 = v*g. Is g a prime number?
True
Suppose 3*a - 39 - 246 = 0. Suppose 3*o - a = 328. Is o a composite number?
True
Let z(y) = 231*y**2 + 4*y - 29. Is z(4) prime?
False
Suppose -125 = -5*i + 5*u, 0 = 4*u + 15 - 3. Let l be 406/10 + 4/10. Let v = l - i. Is v composite?
False
Suppose -5*x + 56 = -4*b, 2*x = -2*x - b + 28. Let z(w) = 3*w**2 + w - 2. Let j be z(x). Suppose 5*l = j + 147. Is l prime?
False
Let n(f) = 2*f**2 - f + 1. Let b = -7 + 13. Let q be 2/(-1) + 42/b. Is n(q) a composite number?
True
Let a(q) be the second derivative of q - 7/12*q**4 - 5*q**2 + 0 - 1/20*q**5 - 1/2*q**3. Is a(-7) composite?
False
Suppose 2*x + s - 12 = 0, 2*x - 2*s = -s + 20. Suppose 0 = -5*g - 15, -5*b = -x*g + 3*g + 295. Let v = 111 + b. Is v a prime number?
False
Let d(y) = -28*y**2 - 2*y - 1. Let c be d(-1). Let x = -16 - c. Is x prime?
True
Suppose 8*i + 4*c = 3*i + 2325, -5*c = 25. Is i a composite number?
True
Is 12/3*12779/26 composite?
True
Let o(n) = n**2 - 7*n. Let d be o(7). Let i(a) = -a**2 + 6 + a + 11 + 9 + d*a**2. Is i(0) composite?
True
Let d(q) = -q**3 - 6*q**2 - q - 4. Let g be d(-6). Is (-1)/g - (-1170)/12 a composite number?
False
Suppose -3*q - s + 8 = 0, -q - 20 = -5*q + s. Suppose q*y 