z composite?
True
Let m(k) = -153*k**2 + k + 1. Let j be m(2). Let t = 1112 + j. Is t prime?
True
Suppose 1234 = u + 117. Suppose -k - 5*l + u = 0, -3*k + 4400 = k + 3*l. Is k a composite number?
False
Let n(c) be the third derivative of 73*c**5/10 + 5*c**3/6 + 8*c**2. Is n(2) prime?
False
Suppose 8 = r + l, 5*l - 4 = 4*r - 0. Suppose 6*j - 5990 = r*j. Is j composite?
True
Let r(j) = 173*j - 23. Is r(12) prime?
True
Suppose -9*c + 1916 = -10*c. Is (-3)/(-2)*c/(-6) a composite number?
False
Suppose r - 2231 = -3*r + c, -4*r = -5*c - 2243. Is r composite?
False
Let b = 631 + 506. Suppose -o + 4*o + b = 0. Let z = -120 - o. Is z prime?
False
Suppose 4*g - f - 6303 = 0, -13*g + 16*g = 2*f + 4721. Is g prime?
False
Suppose 30219 = 5*i - 8016. Is i prime?
False
Let j be (-2100)/(-16) - 1/4. Let b = 1972 - j. Is b a prime number?
False
Suppose 6*l - 275 = 85. Let x = l + 1001. Is x prime?
True
Let c(x) = -7 - 2 - 6*x**2 + 4 + 35*x**2 - 17*x. Is c(5) composite?
True
Let r(u) be the first derivative of u**4/4 + 4*u**3/3 - u**2 - 3*u - 2. Let y be r(-3). Suppose 5*l + d - y = 0, l + 2*d = -5 + 2. Is l prime?
True
Suppose 0*j + 6 = 2*j. Suppose j*h - 5*s - 514 = 0, 0 = -5*h - 5*s + s + 795. Is h a composite number?
False
Let w(x) = 3*x - 5. Let o be w(7). Let p(r) = 2*r**2 - 24*r + 11. Is p(o) prime?
True
Let o(r) = -9 + 115*r + 233*r - r. Is o(4) composite?
True
Is 77301/28 - 3/(-12) a composite number?
True
Let p(i) = -i**3 + 11*i**2 - i - 5. Let r(c) = -4 + 4*c + c**2 + 3 - 5. Let j be r(-6). Is p(j) a composite number?
True
Suppose 90812 = 4*r - 4*l, 0 = -9*l + 5*l - 16. Is r a composite number?
False
Suppose -2*b = q - 412, 4*q + 640 = 3*b - 0*b. Let g = b - 89. Is g a composite number?
True
Suppose -297 = 3*i - 900. Suppose -n + 5*s + i = -67, -5*s = 4*n - 997. Is n composite?
True
Let s = 10367 + -6765. Is s prime?
False
Let t(k) = 169*k**2 - 15*k + 43. Is t(5) composite?
True
Let v = 184812 + -87307. Is v a composite number?
True
Let x be (12/3)/(2 - (0 + 0)). Let p(t) = 229*t + 8. Is p(x) prime?
False
Let o(m) = 4*m**3 - 10*m**2 + 5*m + 8. Let g(b) = 7*b**3 - 21*b**2 + 11*b + 17. Let f(y) = -3*g(y) + 5*o(y). Is f(12) prime?
True
Suppose -48*h = -45*h + 4527. Suppose -2*y + 5351 - 1065 = 0. Let f = y + h. Is f composite?
True
Is (772/(-8))/(5/(-230)) - -2 prime?
True
Suppose -1892 = -z - 421. Is z a composite number?
False
Let n = -8 - -13. Suppose -n*b - 474 = -5579. Suppose -5*i = -3456 + b. Is i a prime number?
True
Is 0/(-1) + (-11473)/(-21)*3 a prime number?
False
Suppose -4*g = -4, -6*x + 5508 = -3*x + 3*g. Is x a prime number?
False
Let a be ((-5)/2)/((-10)/40). Suppose 2*c + 0 = -4*m - 2, a = 2*c - 2*m. Suppose 59 = c*t - 106. Is t composite?
True
Suppose -4*n + 5*n - 114 = 0. Let p = n + -68. Is p prime?
False
Let f(b) = 699*b - 5. Let y(s) = -2097*s + 14. Let d(h) = -8*f(h) - 3*y(h). Let t be d(2). Suppose -4*q + 608 = -t. Is q a prime number?
False
Suppose 5*b = 2*u + 2041, 3*b + 3*u = 572 + 661. Is b prime?
True
Suppose -21*h + 28*h = 2723. Is h composite?
False
Let r(j) = -3*j - 6. Let q be r(-3). Suppose 5*l - 6 = q*l. Suppose 0 = -l*t + 620 - 146. Is t a composite number?
True
Is 8/(-28) + 19757916/84 prime?
False
Let d = 37 + -33. Suppose -b - 56 = -d*j - 0*b, -4*j - 2*b = -56. Suppose j*i - 12*i = 658. Is i a composite number?
True
Suppose -3 = -3*b, d - 60 = -d - 2*b. Is (-20 - -14)/((-2)/d) a prime number?
False
Let v(y) = 71*y**2 + 19*y - 249. Is v(10) prime?
False
Suppose -w - 314 = 488. Let m = 1379 - w. Is m composite?
True
Suppose -38*y + 37*y = -5*z - 42153, -42171 = -y - 4*z. Is y a prime number?
False
Let h(n) = 13*n + 14. Suppose z = -2 - 11. Let g be h(z). Let y = g + 304. Is y a composite number?
False
Let f(r) = -r**2 - 13*r - 16. Let z be f(-9). Let k be z/(-6)*(-24)/16. Suppose 4*h + k = 897. Is h prime?
True
Let h(j) = j**3 - 8*j**2 - 11*j + 11. Suppose -3*i + 5*i - 5*f = -7, 5*i - 3*f = 30. Let t be h(i). Let k(s) = -s**3 - s**2 + 9*s - 8. Is k(t) prime?
True
Let j be ((-1038)/15)/((-2)/(-10)). Let w = 763 + j. Is w prime?
False
Let w(s) = 13824*s**2 - 5*s + 5. Is w(2) a prime number?
True
Let y = -160621 - -232038. Is y composite?
True
Suppose -3*h = -2*m + 29426, -3*h = 2*h - 20. Is m a prime number?
False
Let o(z) = 11720*z + 605. Is o(7) prime?
False
Let b be (-1 + 1/1)/(46 + -45). Suppose b = -4*o - 12, -3*z + 549 = 19*o - 17*o. Is z a prime number?
False
Suppose -5*d = -5*l + 15, 0 = -0*l + l + 2*d - 18. Is 4/l - (-585)/2 composite?
False
Suppose z + 0*z - 4*r = 817, -4*z = -2*r - 3198. Is z composite?
False
Let z(j) = -j + 1. Let b(l) = -3*l + 2. Let u(f) = -6*b(f) + 13*z(f). Let m be u(-2). Let h(x) = 5*x**2 + 8*x - 6. Is h(m) composite?
True
Suppose 6*x = 8*x - 6438. Suppose x = 42*j - 39*j. Is j composite?
True
Let n = 74711 - 38776. Is n a composite number?
True
Let g(l) be the second derivative of 2569*l**3/3 - l**2/2 + 40*l. Is g(1) composite?
True
Let y = 9 - -20. Let u = -32 + y. Is 2561 - -16 - (u - -1) a composite number?
False
Let n = -6368 - -19321. Is n a prime number?
True
Suppose -413 = -3*o + 5*c, -166 = 3*o + 4*c - 543. Is o a prime number?
True
Suppose 15*d = 23*d - 18008. Is d a composite number?
False
Suppose 2*f + 2*f = -o - 14, o + 5*f = -18. Suppose o*k - 4955 = -m, -2*m - k - 2484 = -12406. Is m composite?
True
Is (1 + 0 + 0)/((-6)/(-48426)) prime?
False
Suppose 23*i = 36*i - 515567. Is i a composite number?
False
Let f(j) = 2*j**2 + 9*j - 25. Suppose 28 = 4*z - 5*x, 5*x - 44 = -0*z - 2*z. Is f(z) prime?
False
Let f = 26403 + -53355. Is f/(-9) + 9/27 a composite number?
True
Let d(y) = -2*y - 134. Let x be d(0). Let h = x + -142. Let t = h - -485. Is t a composite number?
True
Suppose 154 = 3*q + 5*o - 58, 3*q - 202 = 5*o. Let b(a) = -17*a - 120. Let c be b(-16). Suppose -q = -x + c. Is x composite?
True
Let c = 1346 + -901. Suppose 5*i - 5*x = c, -5*i + 5*x - x + 441 = 0. Is i composite?
True
Let n(r) = r**2 - 44*r + 74. Let k be n(43). Suppose -i - 322 = -4*q, 4*i = 2*i + 4. Suppose k = h + 3*s, 4*h + s = q + 65. Is h a composite number?
False
Suppose -h = -3*h + 10898. Is h a prime number?
True
Suppose -3*d + 821 = 125. Let q = d - 135. Is q prime?
True
Is (-1 + (-51667)/49)/((-2)/7) a prime number?
False
Suppose 22*i - 20*i + 82 = 0. Let k = i - -84. Is k a composite number?
False
Is ((-175777)/28)/(0 - (-5)/(-20)) a composite number?
False
Suppose 4*k - 1 = -25. Let f be 2/(-1 + (-7)/k). Is 4206/9 + (-4)/f prime?
True
Suppose 2*a = -5*s + 5556, a + 2*s = -2*a + 8323. Is a a composite number?
True
Suppose -5*x - f = -2097, 5*x + 2*f - 2011 = 88. Let d(b) = -2*b**3 + 3*b**2 - 6*b + 3. Let r be d(5). Let k = r + x. Is k composite?
True
Let p(s) = s + 2 + 4*s**2 - 1 - 2*s**2. Let a = -9 + 4. Is p(a) a composite number?
True
Let h be 11/(-33) - 2414/(-6). Let n = 719 - h. Is n composite?
False
Is 2/(-11) + (-3180590)/(-154) composite?
True
Let v(a) = a**3 + 4*a**2 + 2*a - 1. Let k be v(-2). Suppose -5*y + 3993 = -4*g + k*g, 0 = -3*y + 4*g + 2389. Is y prime?
False
Suppose 8*k + 1347 = w + 4*k, 3*w + 3*k - 4116 = 0. Is w a prime number?
True
Let u be ((-1)/2)/(10/(-40)). Is ((1 - u) + 0)*-1103 prime?
True
Suppose 15 = 5*s, 2*n = -2*s - s + 4507. Is n prime?
False
Let z be (-14)/(-63) - (-22201)/9. Is z + 0 + (-19)/(76/16) composite?
True
Let d be (3 + 28/(-8))/(3/(-18)). Suppose -3*y + 49 = q, 2*y - d = -y. Is q composite?
True
Suppose -2*v + 1272 = v. Suppose k - v = 1026. Suppose b + 285 - k = 4*r, 5894 = 5*b + 3*r. Is b a composite number?
True
Let k(u) = 174*u**3 - 2*u**2 - 4*u - 7. Let i be k(4). Suppose i = 5*l - 14. Is l a composite number?
True
Suppose -k + w + 35 = 3*k, 4*k - 5*w - 15 = 0. Suppose -k*y = -13*y + 435. Is y a prime number?
False
Suppose -8*u = -75104 - 2408. Is u composite?
False
Let t(u) = 2*u**2 + 4*u - 24. Let i be t(11). Let z = 371 - i. Is z a composite number?
False
Let o = 275 - 134. Let f = 310 + o. Is f prime?
False
Suppose -4*l - 5*r + 5816 = 0, -2*l + 0*l = -5*r - 2908. Is l a prime number?
False
Let d be (-1)/(2 - 21/12). Let c = 3 + d. Is (-1 + c)*(-13)/2 composite?
False
Let h = -63 - -66. Suppose h*q - 44 = 25. Is q composite?
False
Let w(x) = -3*x**2 + x + 2. Let z be w(-2). Let c be 4/z - (-2)/6. Suppose c*h - h + 209 = 0. Is h composite