l**2 + l - 1. Let p be w(2). Let h be (p/(-2))/((-2)/(-16)). Suppose 3*q - 7*q + h = 0. Is q prime?
True
Suppose -1178 = 5*g - 473. Let p = -88 - g. Is p a composite number?
False
Let x = 1 + -6. Let h(t) = 5*t**2 - 8*t - 7. Let g be h(x). Is g + 1 - (6 - 8) a prime number?
False
Suppose 5*m - 8 = m. Suppose m*f = 8 - 2. Suppose -f*o + 6 = -6. Is o a composite number?
True
Suppose 3*b + 46 = 2*f - b, b = 2*f - 40. Is f prime?
True
Let p(t) = 2*t**3 - 7*t**2 + 8*t + 1. Let w be p(8). Suppose -2*y - f = 2*f - 333, -4*y - f = -w. Is y composite?
True
Let p = 6 - 3. Suppose -p*z = -508 + 19. Is z composite?
False
Let i(n) = -70*n - 17. Is i(-10) composite?
False
Let v(c) = -c**3 + 2*c + 2. Let f be v(-2). Let b be ((-204)/9)/(2/f). Let y = b - -119. Is y prime?
False
Let s = -1 - -6. Let f = 101 - 34. Suppose 4*x = s*a + f, -4*x - 48 = -5*x - 5*a. Is x prime?
True
Suppose 0 = -5*b + 4*b + 4*s + 17, -b - s = -2. Let z = 3 - b. Is 1*(-20 + z)*-1 composite?
True
Let u(i) = i**2 + 5*i - 6. Let y be u(10). Let k = y - 41. Is k a composite number?
False
Let u = 7 + -11. Let s = 5 + u. Is 102/4 - s/2 prime?
False
Suppose -3*d - 3 = 54. Let s = d - -90. Is s composite?
False
Suppose 0 = 23*g - 20*g - 1239. Is g prime?
False
Suppose -s + 5*s = 5*v + 345, 5*s + 3*v - 422 = 0. Is s a composite number?
True
Let s be 18/(-4)*(-2)/3. Let n be (s - 18)*(0 - 1). Is (-134)/(-10) + (-6)/n composite?
False
Let v(x) be the second derivative of -x**3/6 + 3*x**2/2 - 3*x. Let g be v(-3). Is (1 - 207/g)*-2 a composite number?
False
Let b(i) = -66*i**3 - 8*i**2 - 9. Is b(-4) a prime number?
False
Suppose -5127 = -4*g + g. Is g a prime number?
True
Is 18/36*(1 - -105) composite?
False
Suppose v - 2*n = 2*v - 3, 3*v = 5*n - 2. Let i(y) be the second derivative of 37*y**5/20 - y. Is i(v) prime?
True
Suppose k + 21 = -0*k. Is 92*(1 + k/(-12)) a prime number?
False
Let k(l) = -l**2 + l + 14. Let v(h) = h**2 - 6*h. Let z be v(6). Let j be k(z). Let b = 5 + j. Is b a composite number?
False
Suppose -5*w + 0 = -15. Suppose 2*k - w*k = 5*j - 890, 5*k - 870 = -5*j. Is j prime?
True
Suppose -3*w = -6*w + 6999. Is w a prime number?
True
Suppose -4*j = 5*r - 2931, 3*j - 3*r - 1674 - 558 = 0. Is j prime?
True
Let x = 10 - 6. Is 402/9*6/x a composite number?
False
Suppose -2*s = -6*q + q + 1079, -2*s = -6. Suppose -4*z + j = -q, 0 = -4*z - j + 164 + 43. Is 2*z*9/18 a prime number?
True
Suppose 0 = -5*a + 3*z + 371, -164 = -4*a + z + 130. Suppose 4*c + a = 221. Is c a composite number?
False
Let w = -7163 - -11136. Is w composite?
True
Suppose -3*t = u - 8*t - 87, -4*t = -u + 89. Is u prime?
True
Let h = -7 - -7. Let o be h + -2 - (-2 + 3). Let f(u) = -8*u**3 - 3*u**2 + 3*u - 3. Is f(o) prime?
False
Suppose 3*x = 2*x + 113. Is x a prime number?
True
Let f be 1 - (-45 - -2 - -2). Let w = f + -23. Is w a composite number?
False
Let r(q) = 19*q - 1. Let b be r(1). Suppose 0 = 5*t - b + 3. Is t prime?
True
Suppose 0 = -0*v + 4*v - 476. Is v prime?
False
Suppose -4*t + 3*t = -469. Is t prime?
False
Let s(d) = -d**3 - 4*d**2 - 3*d + 3. Let j be s(-3). Let f = -46 + 50. Suppose -3*p = -j*x + 24, 4*x = 5*x + f*p - 13. Is x a composite number?
True
Suppose -5*h = -0*h - 20. Suppose -2*r = -h*r + 634. Is r prime?
True
Let v(h) = 2*h**2 + 4*h + 2. Let z be v(-3). Suppose 4*d = -0*d + z. Suppose d*p + 65 = 3*p. Is p a composite number?
True
Let q(m) = m**3 + 2*m**2 - 3*m + 2513. Is q(0) a composite number?
True
Let v(c) = -26*c**3 + 6*c**2 - 3*c - 8. Is v(-5) a composite number?
False
Let h(d) = -13*d + 6. Let s be h(5). Let p = s + -1. Let g = 113 + p. Is g a composite number?
False
Let u(i) = -i**2 + 6*i. Let l be u(6). Suppose -5 = 2*g + 1, -2*x + 3*g + 221 = l. Is x a prime number?
False
Let q = 1 - -14. Let b be -4*(1 - (-7)/4). Let j = b + q. Is j prime?
False
Let t(h) = -h**2 - 4*h + 1. Let y be t(-3). Suppose y*p = 13 + 7. Suppose -5*v + 69 = l, -p*v - 2*l + 42 = -31. Is v a composite number?
False
Suppose 3*p - 7*p = -124. Is p - (3 + 0 + -5) a prime number?
False
Let q(v) = v + 5. Let w be q(-3). Suppose -2*l - w*x = 8, -2 = -2*x + 2. Let a(o) = -o**3 - 6*o**2 - 6*o - 5. Is a(l) prime?
True
Suppose -c = -0*c + 18. Is (-1058)/c + (-2)/(-9) composite?
False
Suppose -v = -14 - 61. Suppose -5*p + 642 = q - 3*q, 0 = 2*q + 2. Let n = v + p. Is n composite?
True
Let p be (6 - -39)*(-11)/(-3). Let w = p - 74. Is w a prime number?
False
Suppose -3*p = 5*t + 18 + 19, -4*p - 16 = 0. Let f(w) = -4*w**2 - 4 - 5*w**3 + 4*w**3 - w - w. Is f(t) prime?
True
Suppose 0 = -5*r + r + 12. Let b be ((-28)/35)/(4/(-10)). Suppose -5*k + r*d + 238 = 0, b*k - 3*k + 48 = -d. Is k a prime number?
True
Let a be 2/(-9) + 120/54. Suppose r = -r + a. Is (r/2)/((-6)/(-1596)) a composite number?
True
Suppose 5*m + 35 = 5*a, -5*a + 2*m + 19 = 5*m. Let x = a + -2. Suppose x*v - 106 = v. Is v composite?
False
Suppose -2*o = 2*o - 24. Suppose c - o*c = -485. Is c a prime number?
True
Let h(p) = -p - 3. Let k be h(-3). Suppose k = -2*i + 107 + 191. Is i composite?
False
Let u(m) = -16*m + 3. Let x(n) = -n**3 + 4*n**2 - 5*n + 4. Let c be x(3). Is u(c) a prime number?
False
Let q be 3 - (-1 - (-1)/(-1)). Suppose n + 7 = 2*n + 3*f, -21 = -q*n - f. Suppose -n*c - c + 245 = 0. Is c a composite number?
True
Let w be 3/(-5) + (-5658)/(-30). Let r = -39 + w. Is r a prime number?
True
Let s(y) = -563*y - 1. Let a be s(2). Is 2/(-3) + a/(-21) composite?
False
Suppose 5*l = 2*z + 189, -3*z - 3 - 3 = 0. Is l prime?
True
Let g be (-3)/6*(-94)/(-1). Let h = 105 + g. Is h prime?
False
Let l(i) = 142*i**3 - i**2 + i - 1. Is l(1) prime?
False
Suppose -580 = -4*f + 4*y, -3*y = y - 16. Is f a composite number?
False
Let s(t) = -16*t - 29. Is s(-12) composite?
False
Suppose -h + 2721 = 5*i, i + 5*h - 525 = -0*i. Is i a composite number?
True
Suppose -14*x = -8*x - 234. Is x a composite number?
True
Let c(a) = -60*a**3 + 4*a - 1. Let y be c(-3). Suppose -871 = -6*i + y. Is i a prime number?
False
Is (2/(-8))/((-1)/716) a prime number?
True
Let r be 3 + (0 - 2/2). Suppose 4*k - 192 = -52. Suppose -a - 1 = f - 21, -r*a + 3*f = -k. Is a a prime number?
True
Let b = -5 + 4. Is 66 + -1 + -1 - b a prime number?
False
Let d(l) = 3*l - 5 + 0 - 2. Is d(7) a composite number?
True
Let o(y) = 43*y + 1. Let c be o(1). Let p = 24 - c. Let b = p - -41. Is b prime?
False
Suppose 0*o - 5*o = -400. Suppose -1 = -p - o. Let g = 134 + p. Is g a composite number?
True
Let z = -234 - -441. Suppose -z = b - 4*b. Is b a prime number?
False
Let r = -292 + 423. Is r a prime number?
True
Let m(z) = -27*z + 7. Let b(f) = 27*f - 7. Let v(d) = 3*b(d) + 2*m(d). Is v(10) a prime number?
True
Suppose 3*d = -2 + 17. Suppose d*j + 43 = 4*m + 157, 4*j = -2*m + 86. Is j prime?
False
Suppose -5*f = -2*n + 409, -2*f - 611 = -3*n + 3*f. Suppose -n = -4*i - 5*z, 4 = -z - z. Is i prime?
True
Let x(a) = -a**3 - 7*a**2 + a - 4. Let l be x(-7). Is 3 + 0 + (-1 - l) a composite number?
False
Suppose 5*q - 3*s = 566, s = q - 4*q + 348. Is q a prime number?
False
Let f = -2550 + 4909. Is f a composite number?
True
Suppose 2*n - 9*n = -17059. Is n composite?
False
Is 14115/11 + 30/(-165) prime?
True
Let p be ((-1)/2)/((-1)/4). Suppose -42 - 32 = -p*h. Suppose -h = -j - 0*j. Is j a composite number?
False
Let m(p) = -9*p - 30. Is m(-13) a composite number?
True
Let z be (9/(-3))/(9/(-6)). Suppose -3*y = 3*x, 0 = -z*y + 3*y + 4. Suppose x*h - 4*l - 54 = -l, 0 = 2*h + 4*l - 38. Is h composite?
True
Let s be (-1)/(4/10)*4/2. Let b(p) = -3*p**2 + 5*p**2 - 2 + 5. Is b(s) composite?
False
Let t(a) = 7600*a + 3. Is t(1) a prime number?
True
Let t(p) = 58*p**2 - 6*p + 3. Is t(2) prime?
True
Suppose 5*w + 4*p = 6011, 2*w + 2*w - 2*p - 4814 = 0. Is w a composite number?
True
Suppose 3 = -0*g + 3*g + 4*a, 3*g - 3*a = 3. Is (26/g)/((-8)/(-20)) composite?
True
Let d be ((-786)/(-4))/((-9)/(-12)). Let g = d - 173. Is g composite?
False
Let j(n) be the first derivative of -27*n**2 - n - 2. Let f be j(-1). Suppose s - z - f = 0, 5*s + z - 281 = -2*z. Is s a composite number?
True
Suppose 0 = -4*m - 2*b + 1868, 3*b - 1030 - 838 = -4*m. Suppose -m = -11*k + 10*k. Is k prime?
True
Let r = 2 - -1. Suppose -28 = -5*o + w - r*w, -w + 16 = 3*o. Suppose 5*a - 33 = -b + 3*a, -179 = -5*b + o*a. Is b composite?
True
Let