Let k(x) = -x**2 - 6*x + 12. Let t be k(-8). Is (t - 55/(-10))/(3/1402) a prime number?
True
Is (9838/12)/(57/342) composite?
False
Is (-74)/(-111) + 67178/6 a composite number?
False
Suppose 1017698 = -22*d + 44*d. Is d composite?
True
Let i(r) = 3*r - 2 + 3*r - r + 392*r**2 + 4. Is i(-1) a prime number?
True
Is ((-10)/(80/1996))/((-5)/110) a prime number?
False
Let h(d) = -13*d + 93569. Is h(0) composite?
True
Suppose 0 = -0*h - 6*h + 24. Suppose 0 = -h*q - 5*k + 338, -5*k - 127 = -3*q + 144. Is q prime?
False
Let b = 12830 + 2607. Is b a composite number?
True
Suppose b + 0*b + 65 = 0. Let i be (-338)/b + 2/(-10). Suppose 2*q - 145 - 161 = 4*s, 0 = -q - i*s + 181. Is q composite?
True
Let g(d) = -2*d**3 + 17*d**2 + 6*d + 21. Let l(u) = u**3 - 16*u**2 - 7*u - 21. Let c(i) = 2*g(i) + 3*l(i). Let n be c(-14). Let x = n + -52. Is x composite?
False
Let r = 17541 + 17566. Is r a prime number?
True
Let h(v) be the first derivative of 323*v**2 + 3*v - 11. Is h(1) composite?
True
Suppose -3*l = g - 9, g - 5*l = -3*l - 6. Suppose g*n - 6*n = -1146. Is n prime?
True
Suppose -4*l + 3*l = -5173. Suppose -8*p + 15*p - l = 0. Is p prime?
True
Let z = 37425 + -22834. Is z a prime number?
True
Let t = -106 - -11. Let u(c) = 2*c**2 - c - 19. Let a be u(-5). Let i = a - t. Is i a prime number?
True
Let l = -3 - -3. Suppose 5*t - 3*z - 1820 = -l*z, 0 = 2*t + 5*z - 697. Is t a prime number?
False
Suppose -4*z + o - 20 = -0*o, -3*o = -3*z - 24. Is 733/17 + z/34 a prime number?
True
Let z(o) = -22420*o + 61. Is z(-3) composite?
True
Is ((-6)/10 - -1)/((-30)/(-1041225)) a composite number?
False
Let b(n) = n**3 - n**2 - 3*n - 1. Let s be b(3). Suppose s*w - 375 = -79. Suppose 5*m + w = 6*m. Is m composite?
False
Suppose 2*v - 2*z = 8, 7*v - 30 = 2*v - 5*z. Suppose -o + 1 = v*c, 0*o + 2 = -o - 2*c. Is (o - 2)/(-2) - -484 prime?
True
Let n(w) = 4*w + 3. Let t(x) = -x**2 + 5*x + 3. Let s be t(5). Suppose 19 = m + h + h, -s*h = -3*m + 30. Is n(m) prime?
False
Suppose -2*v + 4*x + 12 = -58, -5*x = -v + 23. Let s = 19 + v. Suppose -3*k + s + 43 = 0. Is k a prime number?
False
Suppose 2*h - 5*v - 6 = 4, 2*h = 3*v + 10. Suppose -4*a = -h + 45. Is 743/5 + a/(-25) a prime number?
True
Suppose 2*z - 2 = 2. Suppose 283 = 5*v - z*r, -4*v + v + 177 = -3*r. Is v prime?
False
Suppose 0*u = -2*b - 3*u + 303, 0 = -2*u - 10. Let f = b + -12. Suppose -5*m + a + f = -3*a, 0 = m - 5*a - 21. Is m a prime number?
True
Is ((-8)/(-14))/2 - (-23441)/7 a prime number?
False
Is (-8)/(-22) - 26128245/(-363) a composite number?
True
Suppose 0 = 2*p + 2*a - 1112, -p = 2*a - 3*a - 554. Suppose 12*y - p = 7*y. Is y composite?
True
Suppose 2*z = 1643 + 1367. Suppose z = 4*p + p. Is p a prime number?
False
Is (1997681/35 - 4) + 4/10 prime?
True
Let m(n) = 37*n**3 + 4*n**2 + 4*n + 151. Is m(12) a prime number?
False
Let c be ((-38)/6)/(13/(-4836)). Let b be 22558/(-14) + (-4)/(-14). Let p = b + c. Is p prime?
False
Let u be (-6 - -5 - -9)/(1/7). Is (185/(-10))/(2/u*-2) a composite number?
True
Suppose s + 150 = 7*s. Is (-797)/2*(23 - s) prime?
True
Suppose 2760 = 4*h + g, -3*h - 5*g = 1248 - 3301. Suppose -2*c = c - 285. Suppose 4*j - h = -c. Is j a prime number?
True
Let u = 22169 + -12564. Suppose 0 = 11*m - u - 6510. Is m a prime number?
False
Suppose -1158 + 9939 = z. Is z a prime number?
False
Let a be ((-3)/2)/(4/(40/3)). Is a + (-1)/(4/(-8)) - -882 a composite number?
True
Let r(z) = -z**3 - 5*z**2 + 16*z + 16. Let m be r(-7). Suppose 0 = m*o + 2*a - 512, -2*o - a + 2*a + 515 = 0. Is o prime?
True
Let k be 2/5 - 106/(-10). Let u be -5 - 3*1/(-3). Let p = k + u. Is p composite?
False
Let f(c) = -9*c**3 + 3*c**2 - 8*c - 1. Is f(-6) a composite number?
False
Let q(n) = -n**3 - 12*n**2 - 10*n + 13. Let r be q(-11). Suppose r*h + 3*s - 757 = -107, -h = -2*s - 311. Is h composite?
True
Suppose -367 = 18*d + 47. Let h(v) = -v**3 - 22*v**2 + 7*v - 37. Is h(d) a composite number?
False
Let x = 1735 + -14. Is x a prime number?
True
Let z = -19123 + 42682. Is z a prime number?
False
Let a(v) = -2*v - 8. Let n be a(-6). Suppose n*z - 3*z - 2*i - 125 = 0, -5*i + 513 = 4*z. Is z prime?
True
Let t(p) be the second derivative of -89*p**3 + 19*p**2/2 - 16*p. Is t(-3) prime?
True
Is (98123 - 0)*(-101 + 102) a composite number?
False
Suppose 5*i - 13429 = -3*m, -4*m + 0*m + 13427 = 5*i. Suppose -i = -4*q - 4*b - b, b = 3*q - 2020. Is q a prime number?
True
Suppose -j + r + 7711 = 3*r, -j + 7696 = 5*r. Is j a prime number?
False
Let b(m) be the second derivative of 7*m**4/12 + 2*m**3 - 3*m**2 + m. Is b(-7) a composite number?
True
Let q be (2 - -1)*(-2 - -3). Suppose 0*n - z = n - 379, -2*z = -q*n + 1147. Is n a prime number?
False
Let s(c) = 7*c**2 + 40*c - 14. Is s(15) prime?
True
Is ((-245)/(-147))/((-5)/(-46479)) composite?
False
Let h = 90649 + -62198. Is h a prime number?
False
Suppose -38*k + 2140054 - 565980 = 0. Is k composite?
True
Let g(w) = 0*w + 823 + 3*w - 6*w. Let i be g(0). Let a = i + -444. Is a composite?
False
Is 5623/(72/(-280) + 10/25) a prime number?
False
Let a = 8 + -66. Let j be 4/(-18) - a/18. Let t(r) = r**3 + 3*r + 1. Is t(j) a composite number?
False
Suppose -3*x = 4*n - 6*n + 73933, -4*n = -2*x - 147862. Is n prime?
False
Let f(l) = -102*l - 91. Is f(-15) composite?
False
Suppose 0*z - 2*z = -2*h + 1488, 0 = -h - 2*z + 741. Suppose l + 3*m + h = 2*l, -3*l + 2*m = -2208. Is l a composite number?
True
Let c(k) = 111*k + 5. Suppose 0 = 4*p + 1 - 49. Let a be c(p). Let j = -484 + a. Is j prime?
True
Let u be (-3)/(-2)*-1*(-1 + -1). Suppose p - 568 = y, -y = u*y - 12. Is p composite?
False
Let s = 135 + 105. Suppose 5*z - 9*z = -s. Suppose -3*k = -z - 105. Is k a composite number?
True
Suppose 178*l + 19174 = 180*l. Is l a composite number?
False
Let f(c) = -c**2 - 4*c + 4. Let d be f(-6). Let w(l) = -12*l - 8*l + 6*l + 9 - 5*l. Is w(d) composite?
True
Let k(v) = -v**3 + 14*v**2 - 14*v + 13. Let h be k(13). Suppose -3*l - 2*b = 0, h*b - b = 0. Suppose y + 1 = -2, -u + 5*y + 38 = l. Is u prime?
True
Suppose -3*f = -2*f + 30. Is f/(-4)*742/21 a composite number?
True
Let p(o) = -2*o - 11. Let s be p(-8). Suppose 2*k + 26 = k - s*i, -3*k = -i + 14. Is 2/12 - 401/k composite?
False
Let k = 108673 - 59946. Is k a prime number?
False
Suppose -3*y - 39 + 4 = -4*d, -3*y - 2 = -d. Let l = 104 + d. Is l a composite number?
True
Let r(y) = y**2 - 8*y + 39. Let g be r(6). Is (-9)/(-6)*3582/g a prime number?
True
Suppose 0 = -r - 5*o + 2 - 14, 5*r = 3*o + 24. Suppose 0 = -z + 4*m + 265, -r*z - 4*m - 1373 = -8*z. Is z prime?
True
Let p(l) = 3*l - 2*l**2 + 0*l**2 + l**2 - 209*l**3 + 3*l**2 - 1. Is p(-2) composite?
True
Suppose 14*i - 44628 = 2818. Is i a composite number?
False
Suppose -88*s + 7*s + 327483 = 0. Is s prime?
False
Suppose -3*j = -4*u + 70267, -5*j = 3 - 18. Is u a composite number?
False
Let y(t) = 46*t**2 - 62*t + 19. Is y(11) a composite number?
False
Is (-6)/3 + 5 + (4506 - 2) prime?
True
Let i = -11 - -3. Let o be (-1 - -8)*i/(-28). Suppose -5*f + 2*w + 514 = -o*w, 3*f = -5*w + 338. Is f a composite number?
True
Let o be (-12)/78 + 54/13. Is o - (1 - 2 - 29) a prime number?
False
Let w(r) = r**3 - r**2 + r + 2. Suppose 2*u = 5*l, 0*l = -3*l + 2*u. Let g be w(l). Suppose 224 + 223 = 5*f + g*o, o = -2*f + 178. Is f prime?
False
Suppose 3*o - 61 = 281. Let m = o - 37. Is 5 + -2 - (-5 - m) a prime number?
False
Let i(p) = 1585*p**2 + 10*p + 47. Is i(-4) composite?
False
Suppose -15*j + 17147 = 842. Is j a composite number?
False
Let u be ((-4)/5)/((-1)/(-5)). Let x(m) be the first derivative of -33*m**2 - 5*m - 29. Is x(u) a prime number?
False
Let m be (-24)/(36/(-28) + 1). Let d = m - 41. Is d composite?
False
Suppose -373270 = 301*u - 311*u. Is u prime?
False
Let c = -84 + 85. Is c/(-2) + 24958/4 prime?
False
Suppose 3*w + 2*w - 30 = 0. Suppose 0 = d - w. Is (-526)/d*(-3 - 0) prime?
True
Let t = 30553 - 16982. Is t composite?
True
Suppose -20911 = -3*l - a, -7767 - 6185 = -2*l + 5*a. Is l a prime number?
True
Let y = 5644 + -3445. Is y composite?
True
Suppose 4*b - 5*b = 5*o - 40289, 2*o = 2*b + 16106. Is o composite?
True
Suppose 3*g + 10*g - 122707 = 0. Is g composite?
False
Let b = -25 - -42. Suppose z - 30 = -4*z. Let y = b - z. Is y composite?
False
Let s = 71760 - 48526. Is