t i(j) = -2*s(j) - 11*z(j). Is i(2) prime?
True
Let r be (-49)/((-66)/21 - -3). Let q = r + -234. Is q composite?
False
Let j(q) = q**3 - 7*q**2 - 5*q - 9. Is j(8) a prime number?
False
Let r = 8 + -5. Suppose 10 = 4*p - r*p. Is p a composite number?
True
Let q = 264 + 179. Is q composite?
False
Suppose 0*l - 800 = 5*l. Let k be (12/(-8))/(6/l). Let j = k - 5. Is j a prime number?
False
Suppose q = -3*q + 1580. Suppose h = -4*h + q. Is h composite?
False
Let m = -4 - -10. Suppose 2 - m = -2*c. Is -1 + (c - (-53 - 1)) a composite number?
True
Let m be (10/(-25))/((-2)/10). Suppose -2*r + 156 = m*r. Is r composite?
True
Let p = -26 - -16. Is (-528)/p - 2/(-10) a composite number?
False
Suppose -4*m + 4*v + 728 = 0, 3*m = -4*v + v + 576. Is m prime?
False
Let z = 142 - 66. Let p = 303 + -176. Let o = p - z. Is o a prime number?
False
Let q(h) = 4*h**2 - 8*h + 5. Let j = -20 + 25. Is q(j) composite?
True
Let y be (-2)/3 + (-368)/(-3). Suppose 27 + y = i. Is i a prime number?
True
Let l = 8 - 2. Let y(t) = 15*t + 4. Let v be y(l). Let h = v - -21. Is h a composite number?
True
Let d = 805 - -143. Is (1/(-3))/((-4)/d) prime?
True
Let f = 62 + -59. Suppose -3*u + 752 = u. Suppose f*n + n = u. Is n prime?
True
Let c be (21/3 - 3) + 1. Suppose -2*u = -c*h, u + 3*h - 2 = 9. Suppose -656 = -u*v + 809. Is v a prime number?
True
Let n(t) = 19*t + 8. Let x(q) = 56*q + 24. Let d(o) = 14*n(o) - 5*x(o). Let l be d(-6). Is l - (-2 - (-2)/2) composite?
True
Suppose o + 5*v - 26 - 38 = 0, 2*o = 2*v + 92. Suppose r - o = 2. Is r a prime number?
False
Suppose -26 = -3*z - 2. Let b = 2 + z. Suppose -5*j + 25 = -b. Is j composite?
False
Suppose 0 = -z - 4*f + 8, 0*z + 4*z = -5*f + 10. Suppose -5*p + 0*p + 65 = z. Is p prime?
True
Let f(t) be the first derivative of 3/2*t**2 - 1/4*t**4 + 2 - 1/3*t**3 + t. Is f(-3) composite?
True
Let p(v) = 10*v - 2. Let i(l) = -11*l + 2. Let n(b) = -6*i(b) - 7*p(b). Let y be n(2). Let f(s) = 2*s**2 + 2*s + 9. Is f(y) prime?
False
Suppose -8122 = -5*v + 2*v - u, -5*v = -u - 13534. Is v composite?
False
Let w = 49 + 6. Suppose -w = -g + 4. Is g a composite number?
False
Let r = 2829 - 1922. Is r a prime number?
True
Let l(q) = -1 - 3*q + 5*q + q**2 + q**2. Let c be l(-2). Is 2/c*63/3 prime?
False
Let d = 132 + 138. Suppose -664 - d = -2*t. Is t prime?
True
Let a(f) = 3*f + 2. Let q be a(-3). Let d = q + 9. Suppose 10*h - 5*h + 56 = 4*w, d*h = 0. Is w a prime number?
False
Let d be 6/15 - (-2)/(-5). Suppose -5*y + 4*y + 21 = d. Is y a composite number?
True
Suppose 5*t - 74 = 2*q - 5*q, -2*t = 2*q - 52. Let f = q - -28. Suppose -r = 3*r - f. Is r prime?
False
Suppose 0 = -4*a + a + 1569. Suppose 2*q - a = -3*s + 3*q, -700 = -4*s + 2*q. Let j = -54 + s. Is j prime?
False
Suppose 0 = 2*d - 19 - 23. Suppose 3*o = o - 3*n + 23, -o - d = -5*n. Suppose 3*x - 2*z + z = 350, 4*x - o*z = 480. Is x a prime number?
False
Let u(j) = j**2 - 3. Suppose -8 = -x - 3*x. Suppose 4 = x*w + 14, -5 = -5*l - 3*w. Is u(l) prime?
True
Let r be ((-21)/(-7))/((-1)/3). Let q(y) = -24*y - 1. Is q(r) composite?
True
Let a(y) = y**3 + 8*y**2 - y - 6. Let u be a(-8). Suppose 0 = s + 2*x - u, 0 = 5*s + x + 4 - 23. Suppose -3*f + s + 61 = 5*o, 2*f - o - 52 = 0. Is f prime?
False
Let r(h) = -6*h**3 - 2*h**2 - 2*h - 3. Let z be r(-3). Suppose -f + 154 + 91 = -5*j, 3*j + z = f. Is (-4739)/j + 2/7 composite?
False
Let c be 23/(-1*3/(-123)). Suppose 1441 + c = 4*r. Suppose -u + 3*u - 597 = -5*y, r = 5*y + u. Is y a prime number?
False
Let t(w) = -w**2 - 4*w + 17. Let s be t(-12). Let p = -14 - s. Let z = p - 27. Is z composite?
True
Let y(b) = b**3 + 2*b**2 - 4*b - 3. Suppose c + 3 = 0, -6*x + 5*c + 3 = -2*x. Let m be y(x). Is (-2 - -21 - m) + 2 a composite number?
True
Let j = -239 - -2212. Is j prime?
True
Let w(j) = j**3 + 4*j**2 + 4*j + 3. Let z be w(-2). Let n(i) = -4 - z + 5*i + 2 - 4. Is n(6) a prime number?
False
Suppose 2*j + 1 = -15. Is (-2 + -2)*74/j a composite number?
False
Let i(z) = z**2 - 7*z + 5. Let a be i(5). Let m(j) = -j + 4. Let o be m(a). Let d(f) = f**3 - 8*f**2 - 8*f + 12. Is d(o) composite?
True
Let g(f) = 17*f**2 - 30 + 33 + 7*f + 2*f**2. Is g(-5) prime?
True
Let b(m) = 255*m - 2. Let l = 15 - 12. Is b(l) a composite number?
True
Suppose 2*k - 50 = 2*z, 0 = -4*k - z + 54 + 46. Suppose -2*m + k = 3*m. Suppose -r - 133 = -3*s - 5*r, -4*s + 178 = m*r. Is s composite?
False
Let g(v) = 13*v - 3. Let a(n) = -n**3 - 6*n**2 + n - 1. Let q be a(-6). Let l = -5 - q. Is g(l) composite?
False
Let u = -1 - -4. Suppose 9 = u*t - 3. Suppose -578 = -4*g - 2*m, -t*m = -3*g - 62 + 501. Is g composite?
True
Let l = 20 - 28. Let k(o) = -o**3 - 8*o**2 - 1. Let s be k(l). Is (-2 - s)*0 + 51 a prime number?
False
Let a(j) be the first derivative of 0*j**2 + 2*j**2 + 2 + 5*j + j**3 + 0*j**2. Is a(-6) prime?
True
Suppose -3*z - 171 + 717 = 0. Let u = -21 + z. Is u prime?
False
Let s(m) = 10*m + 13. Let c be s(-13). Let g = c - -230. Is g prime?
True
Suppose 6*h = 4*i + 2*h - 96, 0 = 2*i + h - 54. Is (0 + 2)*i/4 a prime number?
True
Let i = -6 - -217. Is i prime?
True
Suppose -6 + 5 = -w. Suppose -2*b + 3 = -w. Suppose -2*o + 132 = b*o. Is o prime?
False
Suppose -7*o + 2*o = -345. Is o a composite number?
True
Let n be (33/12)/((-4)/(-16)). Let y(r) = r**3 - 12*r**2 - 3*r - 9. Let v be y(n). Is 4*(-2)/(8/v) a composite number?
False
Let s(g) = 39*g**3 - 3*g - 5. Is s(3) prime?
True
Let w be (-1 + -5)*474/(-12). Suppose 6*u = 9*u - w. Is u composite?
False
Let t(x) = 5*x**2 + 4*x + 1. Let h(u) = 14*u**2 + 11*u + 3. Let z(w) = 4*h(w) - 11*t(w). Is z(-3) prime?
False
Suppose 0 = 4*q + 5*w - 11 - 8, 3*w = -3*q + 18. Let n = 5 - q. Is 1586/6 - n/9 composite?
True
Let c = 3 + -3. Suppose 6*z - 2*z - 52 = c. Is z prime?
True
Let s = -6 + 9. Suppose 78 = 2*l + 4*d, 2*l - l - s*d - 59 = 0. Is l prime?
True
Let b = 0 + 1. Suppose -2 - 6 = -u - 3*t, 4*u = -t - b. Is 17 - 1/(u/(-2)) composite?
True
Let d = 0 - 4. Let g(s) = 2*s**2 - 4 - 1 + 2*s + 3 + 3. Is g(d) a composite number?
True
Suppose 3*d = 2*p + 18, 5*p + 2 = -3*d - 1. Suppose -2*c + d*c = 6. Suppose 0*j - c*j = -66. Is j composite?
True
Suppose -2*w + 823 = -w. Suppose 4*h + u - w = -316, -132 = -h + 5*u. Is h a composite number?
False
Suppose 80 = 2*m - 3*h, 4*m + 0*m - 172 = 3*h. Is m a composite number?
True
Suppose -z - 4*z = 0. Suppose -5*b - 5*y + 116 = -2*y, 2*b + 3*y - 50 = z. Let s = 37 + b. Is s a composite number?
False
Suppose -9*f = -20*f + 4499. Is f a composite number?
False
Let q(n) = n**2. Let r(z) = -z**2 - 6*z + 2. Let p(k) = 3*q(k) + r(k). Let a be (-20)/(-6) - (-4)/6. Is p(a) a composite number?
True
Let j = -2 + 3. Let k(s) = 4*s. Let t be k(j). Suppose 2*m + 2*m - 84 = -t*w, -32 = -2*w - 4*m. Is w a composite number?
True
Suppose -3155 = -7*p + 3*p - 3*i, -2370 = -3*p - 3*i. Is p a prime number?
False
Let r = 15 + -27. Let i be (-1718)/r - 5/30. Let w = -92 + i. Is w composite?
True
Let l(a) = a - 7. Let m be l(9). Suppose -n + 5*n + m*r = 906, 2*n - 4*r - 448 = 0. Is n a composite number?
True
Let o = 1 - -1. Suppose o*d = -0*d. Is (d - 5)*(-259)/35 composite?
False
Is (2/(4/74))/(8/328) a prime number?
False
Let n = 1 - -2. Suppose 4*o - 3*s = n + 3, 2*s = -2*o - 4. Suppose o = -x + 15 - 2. Is x a composite number?
False
Let h(i) = i + 3. Let t be h(-4). Let x be 73 - 3/t - 3. Let p = 126 - x. Is p a prime number?
True
Let z = -313 - -732. Is z composite?
False
Suppose 3*i - 8 = -2. Suppose 3*v = i*v + 92. Is 15/6*v/2 prime?
False
Suppose -9 = 5*d + 11. Is -1 + d*220/(-8) a composite number?
False
Suppose 2*d - 515 = -3*d. Let u = d + -66. Is u composite?
False
Let z be (8 - 2)*4/6. Suppose -2*s = s + 6, m = -z*s + 39. Is m prime?
True
Suppose -4*j = u + 1 + 1, 0 = -3*u - 5*j - 6. Let t be 2*((-1)/u + -1). Is 3/((t - -2)/7) a prime number?
False
Let c(y) = y**2 - 4*y - 4. Let t be c(-3). Let k be (4 - 5)/((-1)/t). Is 2*(2 - 3) + k a composite number?
True
Is 402 - ((-2 - 1) + 2) a prime number?
False
Suppose 2*z + 205 = g - 48, -g + z + 253 = 0. Is g a prime number?
False
Let m = -1651 + 8802. Is m a composite number?
False
Let p = 10 - 5. Suppose -p*b - 2*z = -231 - 240, 375 = 4*b + z. Is b composite?
True
Is 37 + (-2 - (-3 - (-4 + 0))) composite?
True
Suppose 0 = -4*v + 2*v + 166. Is (v/(-4))