. Let b = 5 + h. Suppose b*o = -2*g + 78, -5*g + 122 = -4*o - 73. Is g a composite number?
True
Suppose -2*c = 3*c. Suppose 0 = m - 1 - 2, -4*g - 3*m - 3 = c. Is (g - (-111)/(-12))*-4 a composite number?
True
Let r = -1 - -4. Suppose r*c - u = 140, -4*u - 79 = -3*c + 58. Let n = c - -8. Is n a prime number?
False
Let c(n) = -n**3 + 4*n**2 + 5*n + 2. Let b be c(5). Suppose -3*k = 2*k. Suppose k = -4*g + a + 190 + 122, b*a = 4*g - 316. Is g a composite number?
True
Let f(x) = -68*x**3 + 2*x**2 - 2. Let g(s) = 69*s**3 - s**2 + 1. Let q(t) = -2*f(t) - 3*g(t). Is q(-1) composite?
False
Suppose -25 = 4*z + 5*i + 11, 5*i - 9 = z. Let v = 106 + z. Is v a prime number?
True
Suppose -3*y + 4 = y. Is (-21)/6*(y - 11) prime?
False
Suppose 6 = -a + 1. Let j(l) = l**2 + 15*l + 1. Let z(g) = -g**2 - 23*g - 1. Let s(m) = 8*j(m) + 5*z(m). Is s(a) a composite number?
False
Suppose 0*j - 3*d + 4 = 5*j, -5*j = -4*d - 18. Suppose -j*f - 5*u - 157 = -5*f, 3*u = 12. Is f a prime number?
True
Suppose o - 2*o + 8 = 0. Is o - (-5)/((-15)/6) a composite number?
True
Let h(s) = 6*s**2 - 11*s - 3. Let d be (8/(-5))/(2/(-10)). Is h(d) composite?
False
Let m = -4 - -4. Suppose m = -4*q - 160 + 680. Let i = q + 55. Is i a composite number?
True
Let u(h) be the third derivative of h**6/30 - h**3/3 - 2*h**2. Is u(3) composite?
True
Is (-8957)/(-15) + 6/(-45) a prime number?
False
Suppose 2*p + 19 = 5*j - 0*j, -2*p = 2*j - 16. Is 116/j*(-10)/(-4) a prime number?
False
Suppose 577 = 3*o - 2*i, 0 = -2*o + o + 4*i + 199. Is o prime?
True
Let j = -6 - -3. Let r = j - 5. Is (r/(-4))/((-2)/(-55)) a prime number?
False
Let i = -14 + 9. Is (i + 4)*47/(-1) a prime number?
True
Let f(t) = -3*t**2 - 4*t - 3. Let q(c) = 2*c**2 + 3*c + 2. Let k(s) = -3*f(s) - 4*q(s). Is k(6) a prime number?
True
Let o(c) be the third derivative of c**5/60 - 7*c**4/24 + c**3 + 2*c**2. Let l be o(4). Let i(m) = m**3 + 6*m**2 - 5*m + 5. Is i(l) composite?
True
Suppose -2*f - j = -21, -4*j + 1 = -f - 2. Suppose -81 = 3*x - 6*x. Is 223/f + 6/x prime?
False
Let g = 197 - 80. Let j = 266 - g. Is j a composite number?
False
Suppose -2*o - 4*f + 3062 = -2*f, 5*f + 3048 = 2*o. Is o prime?
False
Let a(d) = -d**2 + 1 - 3 + 5. Let x be a(0). Suppose 0 = x*y - 104 - 97. Is y prime?
True
Is (-384)/(-5) + (-1)/(-5) a composite number?
True
Let b = 1207 - 666. Is b prime?
True
Suppose -s - 3*s + 1180 = -2*m, 3*m - 302 = -s. Let q = s + -169. Is q a composite number?
False
Let q be 3/(((-5)/2)/(-5)). Suppose -q = 4*m - 22. Is m/14 - 136/(-14) prime?
False
Let c(a) = a**3 - 3*a**2 + 3*a - 8. Is c(6) prime?
False
Suppose -a + 1281 = -b, 4*b + 3774 + 65 = 3*a. Is a a prime number?
False
Suppose 0 = -2*o - 3*o - 4*t + 3106, -627 = -o + 5*t. Suppose -4*n + o = 2*w, 2*w = 5*w + 3*n - 945. Is w composite?
True
Let h(r) = r**3 - 7*r - 2. Let z(y) = y**3 - 14*y - 5. Let f(o) = 5*h(o) - 3*z(o). Is f(6) prime?
True
Suppose 0 = 4*u + 5*t + 59, -4*u = 4*t + 55 + 1. Let q be (-6)/9 + u/(-3). Suppose -q = -f, 0 = -5*o + 2*f + f + 466. Is o composite?
True
Let n = -13 + 17. Suppose 5*x - 87 = 4*p, 4*x = 8*x + n*p - 84. Is x a prime number?
True
Suppose 144 = -4*w + 2*w. Is w/((-3)/1) - -1 a composite number?
True
Suppose 4*k - 266 - 2 = 0. Is k composite?
False
Let n(y) = 237*y + 6. Let i be n(4). Is ((-10)/3)/((-12)/i) prime?
False
Suppose l + l - 4 = 0. Let x(g) = -4 - 16*g - 5 + l. Is x(-6) a prime number?
True
Let j(m) = -m**3 + 5*m**2 + 7*m + 1. Let b be j(5). Suppose -h + 193 = b. Is h prime?
True
Suppose -688 = j + 4*p, 0 = 3*j + p - 5*p + 2016. Let o = 1311 + j. Is o a prime number?
False
Let k(f) be the third derivative of 13*f**4/24 + 2*f**3/3 + f**2. Let l be k(3). Suppose -2*s = -s - l. Is s prime?
True
Let a(p) = -2*p - 16. Let h be a(-8). Suppose 0 = 3*b + y - 3*y - 115, 0 = 2*b - 5*y - 84. Suppose 0 = -5*v - h*m - 2*m + b, -v = 3*m - 10. Is v a prime number?
True
Let f(u) = 39*u - 2. Suppose 2*p + 3*p = 35. Let s be f(p). Let q = s + -192. Is q prime?
True
Let p(o) = o**3 - 6*o**2 + 7*o - 6. Let z be p(5). Suppose -2*j = d - 159, -4*d + 0*j = -z*j - 672. Is 4/(-3)*d/(-10) a composite number?
True
Let b be 40/3*(5 - 2). Let o = 39 + b. Let p = 128 - o. Is p a prime number?
False
Let r be ((-1)/(-2))/(8/12000). Suppose -5*m - 5*i + 245 + r = 0, -3*i = 2*m - 394. Is m composite?
True
Let z(f) = -f**2 + 3. Let b be z(0). Suppose -5*u = b*v - 4*u - 12, -2*u = 5*v - 20. Is 391/4 - 3/v composite?
False
Let b be 246/(-4)*(-484)/(-33). Is -2*(-4)/(-16)*b prime?
False
Let v(b) = -b**2 + 4*b + 4. Let t be v(5). Let a be 1 + 1 - 0/t. Suppose 2*r - r + a*q - 53 = 0, 0 = -r - 5*q + 53. Is r a prime number?
True
Let j(l) = -l**2 - l - 1. Let d be j(0). Is d*26*1/(-2) composite?
False
Let h = 205 - 86. Is h a prime number?
False
Let f(j) = j**2 - 2*j - 14. Let m be f(13). Let i(y) = -y**2 + 3*y + 4. Let q be i(3). Suppose 112 = 4*g + 3*r, -q*g - r + m = g. Is g composite?
True
Let f(v) = 5*v**3 - v**2 - 4*v - 4. Let l be f(5). Let b = l - 391. Is b a composite number?
True
Suppose 0 = 2*k - 7*k + 60. Let d(i) = i**2 - 13*i + 13. Let o be d(k). Is 0 - -3 - -3*o composite?
True
Let x be 6/(-4)*8/12. Let k = 2 - x. Is k a prime number?
True
Suppose i = -4*t + 5 + 6, 4*t - 4*i = 16. Suppose -4*m = t*d + 39, 0 = -2*m + 5*m - 3*d + 24. Is 2/(-3) + (-69)/m composite?
False
Suppose -412 + 1604 = 8*m. Is m composite?
False
Let l be 0 + 30 - (-11 - -11). Is ((-708)/l)/((-1)/5) composite?
True
Let d(x) = 3 + 4 + 9*x - 4*x + 7*x + 6*x**2. Is d(-10) a prime number?
True
Suppose -4*i + 146 = 3*y - 521, -5*y + 5*i = -1100. Is y composite?
True
Suppose -3*s + 2*s + 2 = 0. Let t be ((-2)/s)/((-1)/2). Is ((-1)/4)/(t/(-2456)) a prime number?
True
Let o = 8 - -79. Suppose 4*l + o = 275. Is l a prime number?
True
Suppose 5*p - 4*l + 5*l = 8, 3*p = l + 8. Suppose 4 = g - 4*u, 0 = 4*g + 3*u + p*u - 16. Suppose 0 = 4*k + g, -2*n + 0*n + 319 = -5*k. Is n composite?
False
Is 956 + 0 - (-4 - (-5 - 0)) prime?
False
Let q = 11 + -2. Suppose r - q = 14. Is r a composite number?
False
Suppose j - 4*c - 28 = 138, 3*j + 3*c - 453 = 0. Suppose j = 9*d - 7*d. Is d composite?
True
Let s(h) be the second derivative of -h**3/6 - 7*h**2/2 + h. Let f be s(-6). Is -21*((-2)/(-2))/f a composite number?
True
Let a = 189 + -266. Suppose -d + 271 = 2*r, -2*d - 224 = -5*r + 458. Let k = a + r. Is k prime?
True
Suppose 14 - 2 = -4*i. Let y be (-49 - i) + (-2 - 0). Let b = 103 + y. Is b composite?
True
Let c = 1071 + -420. Suppose 0 = 4*d - 7*d + c. Is d composite?
True
Suppose -l - 7 = -2*w + 3*w, l - 4*w - 13 = 0. Let s = l + 5. Suppose 118 = s*u - 56. Is u a composite number?
True
Let g(c) = c**2 - 3*c. Let q be g(3). Suppose 2*b + 3*b - 1855 = q. Is b prime?
False
Let r(k) = -k + 4. Let y be r(0). Suppose 0 = y*q - 0*q + 16. Is ((-10)/q)/((-1)/(-10)) prime?
False
Let f(p) = -387*p + 4. Is f(-1) a composite number?
True
Let s(o) = o + 12. Let l be s(-14). Let g = 28 + l. Is g composite?
True
Let k(n) = -n - 4. Let x be k(5). Let i = x - -22. Suppose -7 = -m + 4*t, 0*m + t + i = m. Is m a prime number?
False
Let z = -287 - -654. Is z a composite number?
False
Let q(m) = 77*m + 4. Is q(2) composite?
True
Let r(a) = a**2 - 2*a - a**3 + a**2 - 4*a**2. Let d be r(-2). Suppose 0 = -d*b - 3*z + 39, b = -b - z + 17. Is b prime?
False
Suppose 3*o + 3*x - 2202 = 0, 2*o - 199 - 1260 = x. Is o a composite number?
True
Let i(j) = -2*j. Let x be i(-1). Suppose x*f - 223 = 255. Is f a composite number?
False
Let m = -3 - -8. Suppose -7 = -m*w + 3. Suppose -w*b - b + 111 = 0. Is b a composite number?
False
Suppose -8195 = -3*r - 2*r. Is r prime?
False
Suppose -11*p + 5464 = -3*p. Is p a prime number?
True
Is (-15 - -172)/(2 + -1) a composite number?
False
Suppose 0 = -2*l + 2*a + 2, -2*a - 11 = 5*l - 10*l. Suppose 0*k + k - l = 0, -k = 2*w - 1971. Is (-1)/5 + w/20 composite?
True
Suppose -5*t + 4 = -11. Suppose -5*m + 254 = -t*m. Is m a prime number?
True
Let x(j) be the second derivative of -j**6/360 - j**5/12 - 5*j**4/12 + j**3/3 - 3*j. Let t(d) be the second derivative of x(d). Is t(-7) a composite number?
False
Suppose 5*o + 269 = -2*v + 1663, 3*o = 5*v - 3423. Let g = -489 - v. Is (4/6)/((-16)/g) composite?
True
Suppose -4*a = 4*i - 1024, 0 = 2*i - a - 123 - 380. Is i a composite number?
Tru