 = -25. Let k(c) = -c**3 - 4*c**2 + 3*c + 3. Is k(g) prime?
True
Suppose 3*l - 3 = 4*a - a, 0 = a - 3*l + 3. Suppose 5*r - 4*f - 308 = 0, 3*r + a*f + 3*f = 174. Let w = r - -49. Is w composite?
False
Suppose 2*c + 0 = -8. Is (-371)/(-2) - c/(-8) composite?
True
Let w(c) = c**2 - 6*c + 7. Let q be w(5). Suppose -2*y - q*r + 112 = 0, 0 = y + 2*y - r - 156. Is y a composite number?
False
Is (-29015)/(-91) + (-6)/(-39) prime?
False
Suppose -t = -2*t + 211. Is t composite?
False
Let z(d) = -5*d**3 - 3*d**2 + 9*d + 30. Is z(-5) prime?
False
Let s(a) = a - 2. Let w = -8 + 10. Let d be s(w). Suppose h + 47 = 3*j, d = -j + 2*h + 31 - 7. Is j composite?
True
Let w be (-2)/(5/((-1410)/(-4))). Is (-3)/2 - w/2 prime?
False
Let a = 32 + -20. Suppose 0*c - 2 = -5*g - c, a = -4*c. Is g + 1 - 29/(-1) a composite number?
False
Let b = 272 + -190. Is b a composite number?
True
Let l(s) = -4*s + 0*s - 2*s + 4*s - 1. Let m be l(-2). Suppose -j + 276 = m*j. Is j composite?
True
Suppose -4*f + 859 = -3*p, 2*p + 211 = -3*f + 4*f. Is f prime?
False
Let z be 19992/15 + 5/25. Let m = z - 884. Is m prime?
True
Suppose -2*g = -6*g + 3*i + 1063, 2*g = -5*i + 525. Is g prime?
False
Let t = 1 - 1. Let l = t + 3. Suppose l*d = 130 + 107. Is d composite?
False
Suppose 0 = -4*t - 5*s + 85, 80 = t + 3*t + 4*s. Suppose -317 = -4*n + t. Is n a prime number?
True
Let c(b) = b**3 + 6*b**2 + b + 6. Let q(d) = -d**3 + 8*d**2 - 2*d + 11. Suppose 1 - 17 = -2*h. Let s be q(h). Is c(s) prime?
False
Suppose 0 = -7*m + 345 + 173. Is m composite?
True
Let x = -45 + 83. Let f = 66 - 7. Let y = x + f. Is y a prime number?
True
Suppose 3*p - 550 = -2*p + 4*y, p + 3*y - 91 = 0. Is p prime?
False
Suppose 5*z + 0*z = -y + 227, 5*y - 190 = -4*z. Is ((-2)/(-3))/(2/z) composite?
True
Suppose 0*w - 12 = 2*w. Let s be (5 + w)*(-29 + -1). Suppose p = -p + s. Is p a prime number?
False
Let h = -4 + 9. Suppose -5 = h*x + 5. Let z = x + 13. Is z composite?
False
Let b = -33 - -26. Is 606/2 - (b + 3) composite?
False
Suppose 2 + 2 = 2*j. Suppose w + 144 = 4*c, j*c = -0*w - w + 66. Is c a composite number?
True
Let i = -24 - -44. Is ((-25)/i)/(1/(-8)) a prime number?
False
Suppose -2*f - 25 = 3*f. Let t(z) = 6*z**2 + 4*z - 3. Is t(f) a prime number?
True
Suppose -5*a = -3*g + 3320, 4*g - 4440 = -0*g + 4*a. Is g prime?
False
Let n = -107 + 60. Suppose 2*c - 5*l = -c + 246, -l = -5*c + 410. Let t = n + c. Is t prime?
False
Suppose 2*g - 8 = s - 3*s, 0 = -5*g + 5*s + 60. Suppose 4*t = g*t - 12. Is (t + 7)/((-4)/(-22)) a composite number?
True
Let x be 24*(8/(-3))/(-4). Let o = 39 - x. Is o prime?
True
Suppose 0*j = -5*j - 4*y + 921, 5*j + 2*y - 923 = 0. Is j prime?
False
Let v = -62 + 115. Let c = 75 - v. Is c composite?
True
Let l = -6 - -4. Let t be 6*l/(-1*6). Suppose r - 68 = -t*o - o, -o - r + 26 = 0. Is o a composite number?
True
Suppose -2*s = -j - 121, -4*s - 4*j = -0*s - 212. Suppose s + 39 = m. Is m composite?
False
Let z = 10 - 10. Suppose z = -5*o + 1116 + 539. Is o a prime number?
True
Suppose -n = -o + 6, 3*o + 2*n - 6 = 2*o. Is (-1162)/(-2) + -6 + o composite?
True
Suppose -j = -2*w - 21 - 198, 0 = -j - 5*w + 212. Suppose j = f - 12. Suppose 2*h = f + 37. Is h prime?
False
Suppose 3*s - 518 = s. Is s prime?
False
Suppose 0 = -n + 6*n - 300. Suppose n = l + 1. Is l prime?
True
Suppose -g + 69 = 4*s - 70, 0 = 3*s + 3*g - 93. Suppose -4*f = -7*f - n + s, -3 = -n. Is f a prime number?
True
Is ((-5)/15)/((-1)/5955) a prime number?
False
Let u = 689 + -310. Is u composite?
False
Suppose -3*o - 3 = 3*f, 3*o = 5*f + 15 - 2. Is 1 + 1 - (f + -2) a prime number?
False
Let b(s) = -s + 3. Let o be b(9). Let f(h) = -h**3 - 4*h - 5. Is f(o) prime?
False
Suppose -k + 2*k - 17 = 0. Let a = k - 12. Suppose -5*q + 35 = w, 0 = -w - 0*w + a*q - 5. Is w prime?
False
Is (587/4)/((-1)/(-4)) a composite number?
False
Let w(p) = -3*p - 1. Let r(m) = -4*m - 1. Let u(d) = 5*r(d) - 6*w(d). Is u(-1) a composite number?
False
Let w(k) = -64*k - 13. Is w(-5) a prime number?
True
Let y = -61 - -92. Is y a composite number?
False
Suppose -5*h = 3*l - 110, -2*h + 0*h = l - 44. Is h prime?
False
Let u = 4 + -1. Suppose u*h = -h + 68. Let j = 52 - h. Is j prime?
False
Let m = -57 + 94. Is m composite?
False
Suppose 2*k - 1683 - 415 = 0. Is k composite?
False
Suppose -3*l + 2 = -2*l. Suppose -q - 6 = -l*q. Is q a prime number?
False
Is (-222)/(-3)*(-21)/(-6) a prime number?
False
Suppose 0*w + 5*w = -585. Is (-5)/10 + w/(-6) a prime number?
True
Suppose -4*v + 163 = 31. Is v a composite number?
True
Let z(a) = 10*a**2 + 5*a - 6. Is z(-7) a prime number?
True
Suppose -6*m = -11*m. Suppose m*i = i - 13. Is i/4 + 2/(-8) prime?
True
Suppose -b + 176 = -t, 3*t + 622 = 4*b - 85. Let k = b - 86. Suppose -3*h = 4*u - k - 0, 5*u - 31 = -h. Is h a prime number?
True
Suppose 8 = -b - b. Suppose -4 = 10*p - 9*p. Is 14/p*b/1 a prime number?
False
Let g(i) be the third derivative of -i**4/12 - 3*i**2. Is g(-5) a prime number?
False
Let n(o) = 94*o**2 - 6*o - 11. Is n(4) a composite number?
True
Let z(g) = 417*g**2 - 2*g - 1. Let t(p) = p - 5. Let m be t(4). Let j be z(m). Is j/8*(2 + 2) composite?
True
Let k be (3/(-6))/((-2)/20). Suppose -340 - 615 = -k*o. Is o composite?
False
Let u(s) = s**3 + s**2 + s - 8. Let i be u(0). Let t be i/6 + (-2)/(-6). Is t/3*-3 - -54 composite?
True
Let t(w) = 96*w**2 + 8*w - 3. Is t(5) a composite number?
False
Let b = 185 - 106. Is b a prime number?
True
Suppose 25 = 3*o - o - 5*f, -4*o + 2*f = -26. Suppose -j = -o*j + 104. Is j prime?
False
Let w = -34 + 68. Is w composite?
True
Let g(h) = -h - 2. Let m be ((-5)/2)/((-2)/(-4)). Let n be g(m). Is (19/2)/(n/6) a composite number?
False
Let k(n) = -2*n - 11. Let g be k(-9). Let i = g + -3. Suppose 0 = 3*s - i*s + 77. Is s composite?
True
Suppose 2*l - 293 = -3*d, l + d - 141 = 5*d. Is l a composite number?
True
Let g(m) = 611*m**2 + 6*m + 6. Is g(-1) prime?
False
Let o be ((-4)/(-6)*114)/1. Let z = o - 106. Let q = z - -55. Is q composite?
True
Suppose 0 = 9*v - 2*v - 1043. Is v composite?
False
Suppose 1127 = 2*w + w - 4*l, 3*l + 379 = w. Is w composite?
False
Suppose 3*k - 19 + 7 = 0. Suppose -b - 3*b = 5*z - 2, 18 = k*b - 3*z. Suppose -b*f + 5*f = 70. Is f a composite number?
True
Suppose 0*n = -3*h - 3*n + 15, -5*h + 5*n + 15 = 0. Suppose d + 0*d + h*c = 81, -3*c = -4*d + 400. Is d a prime number?
True
Suppose 0 = v - 3*t - 1007 - 762, 0 = -v + 2*t + 1765. Is v a composite number?
True
Let r(l) = l**2 - 2. Let o be r(3). Suppose u = -2*h + 107, -3*u = -o*h + 2*h + 240. Is h composite?
True
Let n(h) = 45*h**2 + 10*h - 11. Is n(6) a prime number?
True
Let h be -418 - (-12)/((-6)/2). Let q = 777 + h. Is q a prime number?
False
Suppose 2062 + 13359 = 7*c. Is c a prime number?
True
Suppose -2 = -3*w + 91. Let i = 6 + w. Is i a composite number?
False
Let x be 14/(-1*2) + 2. Let p = x - -8. Suppose 2*o - 73 = -r, 4*o - 41 = p*o + 4*r. Is o composite?
False
Let i(x) = x**2 - 5*x + 15. Is i(16) a composite number?
False
Let h(k) = 54*k**3 + 3*k**2 + k - 3. Is h(2) prime?
True
Let u(l) = -22*l - 5. Is u(-11) prime?
False
Let w(x) = -x**2 + x + 3. Let y = 0 - 0. Let i be w(y). Is (-188)/(-3)*i/2 a prime number?
False
Suppose -4*g + 145 = -95. Let z(x) = -2*x + 1 - g*x + 6*x. Is z(-2) prime?
True
Let f(g) = 56*g - 82*g - 197*g + 8. Is f(-3) a prime number?
True
Suppose 3*l - 5 = 7. Suppose 5*c - 793 = 2*n, 0 = l*n - 2 - 2. Is c a prime number?
False
Let b be (1 + (-2)/4)/(2/(-1284)). Suppose 3*s - 1571 - 163 = 0. Let c = s + b. Is c prime?
True
Suppose 0 = w - 2*b - 5, b + 0 - 2 = 2*w. Let o(y) = 17*y**2 - 5*y - 2. Let d be o(w). Let u = d - 99. Is u composite?
False
Suppose -4*c = -5*c + 5. Suppose a = -2*y + c - 14, -2*y - 4*a - 12 = 0. Is (-29)/y*(3 + 17) prime?
False
Suppose 4*g + 1 = 13. Suppose -146 = -2*z + 5*r, 6*z - r - 245 = g*z. Is z prime?
True
Let i = 14 - -6. Suppose 25 = 3*s - i. Is s a prime number?
False
Suppose 6*o = 4*o - 60. Is (-3794)/(-18) - o/135 a prime number?
True
Let z(h) = -978*h + 1. Is z(-1) a prime number?
False
Suppose -i + 5*m + 74 = 0, 3*i + 0*m = 2*m + 209. Is i composite?
True
Let t = 4 + 6. Let g = t + -6. Suppose 3*v = g*k - k - 543, 4*k - 756 = -4*v. Is k prime?
False
Suppose 0 = -h - 2. Let w = h + 53. Is w a prime number?
Fals