 3*f - 5*n, -5 = 5*f - 2*f + 2*n. Is 3058/f*(-6)/4 composite?
True
Let x(g) = -4*g**2 + 24*g + 3. Let n be x(17). Let v = 1242 + n. Is v prime?
False
Let r(i) = -7*i**3 - 7*i**2 - i - 4. Let o be r(-7). Suppose 3*k + 0*k = o. Let p = k + -4. Is p a composite number?
False
Let q be (-786)/(-4)*2/3. Let r be (q/1)/(-5 + 4). Let w = -73 - r. Is w prime?
False
Let w be (-1 - -4)*(-98)/(-6). Let v be (-7)/w + (-360)/(-21). Suppose l = -v + 82. Is l a prime number?
False
Let p = -195 - -181. Suppose 0 = -g - 288 - 40. Is 7/p*(g - -2) prime?
True
Let i(a) = a - 21. Let w be i(-11). Is (253/4)/((-8)/w) composite?
True
Suppose 10 = -2*u, i + 2*u + 1 = -4. Suppose -i*l - 202 = -867. Is l a composite number?
True
Is (-37714)/(-6) + (-36)/(-243)*9 composite?
False
Let b = 402 + -285. Let v = b + 2216. Is v prime?
True
Suppose u = -2*w + 7000, -5*w = -11*u + 9*u - 17491. Is w a prime number?
True
Let t(m) = -m**3 + 4*m**2 - 5*m + 5. Let n be t(2). Is 10/30 - (-1166)/n prime?
True
Let m = -49 - -94. Let a = 248 + m. Is a prime?
True
Let c = 763 - 267. Suppose 5*h - 1739 = c. Is h a composite number?
True
Suppose 2*f - 5 = p - 22, 2*f = -p + 25. Suppose -2*d + 16 = -0*d + 3*j, -d + 5*j = -p. Suppose -d*h + 16*h - 725 = 0. Is h a composite number?
True
Let v = 66873 + -28168. Is v a prime number?
False
Let h(w) = -558*w - 29. Is h(-5) a composite number?
True
Let a be (63/(-18))/((-1)/126). Let h = a - -1498. Suppose r + h = 4*j - 2*r, j - 472 = 5*r. Is j a prime number?
True
Suppose 9488 = -10*j + 18*j. Is j composite?
True
Let h(f) = 18*f + 23. Suppose -2*z + 36 = 3*p - 5*z, 5 = 5*z. Is h(p) prime?
True
Let c(n) be the third derivative of 7/8*n**4 + 1/6*n**3 + 0*n + 3*n**2 + 0. Is c(6) prime?
True
Suppose -3670 - 42562 = -8*j. Is j composite?
False
Suppose -10*w + 344 + 566 = 0. Let l = w - 12. Is l composite?
False
Let x = 2296 - -4153. Is x a prime number?
True
Let n(z) = -3*z**2 + 9 + 2*z**2 + 4*z**2 - z**2 + 15*z. Is n(8) a prime number?
True
Suppose 0 = 2*n - 2*p - 414, -6*p - 836 = -4*n - 4*p. Is n prime?
True
Suppose 0 = -6*m + 4*m - 28. Let g = m - -13. Is 3 + -6 - (-89 + g) a composite number?
True
Let i = -2224 - -3767. Is i prime?
True
Let x(n) = 2*n**3 - 3*n**2 + 7*n + 7. Let a(r) = r + 4. Let u be a(5). Is x(u) composite?
True
Let u(y) be the third derivative of 51*y**4/4 - y**3/3 + 9*y**2. Let x be u(5). Suppose -c = -2*c - 3*r + x, 3*r = c - 1558. Is c a composite number?
False
Let l(q) = 5*q**2 + 2*q - 1. Let p be l(-1). Suppose -5*i - c - p*c = -5764, 1142 = i - 3*c. Is i composite?
False
Suppose -11110 = -15*j + 137375. Is j a composite number?
True
Suppose 0*o = 4*o + 112. Let a = 28 + o. Suppose a = x + 4*x - 1115. Is x prime?
True
Let y(v) = 7*v**2 + 13*v - 11. Let n be y(17). Suppose 0*q - q + n = u, -5*q + 11147 = -4*u. Is q prime?
False
Let w = 132 + -110. Is w prime?
False
Is ((-6388)/6)/(2/(-3)) prime?
True
Suppose 0 = 8*i - 5*i - 603. Suppose -k = i - 998. Is k a composite number?
False
Let o(v) = 3*v**2 + 11*v + 5. Let q be o(-8). Is -1*(1 - 2)*q a composite number?
False
Is 89306/9 - (-34)/306 a composite number?
False
Let j = -41176 - -86883. Is j prime?
True
Let g(o) = -4*o - 1159. Let n be g(0). Let q = -372 - n. Is q a prime number?
True
Suppose 0 = -3*w + 7 - 1. Suppose -w*d + 2*n + 120 = 0, 0 = 4*d - 5*n + 55 - 298. Is d prime?
False
Let b(c) = 4*c - 10. Let u be 68*4*(-1)/(-16). Is b(u) a composite number?
True
Let m = 15991 + -8900. Is m a composite number?
True
Is (-3)/27 - 1014220/(-90) composite?
True
Let o(u) = -u + 11. Let q be o(6). Suppose q*t + 254 = 7*t. Is t prime?
True
Suppose -947 = -5*m - 4*y, -3*m + 11*y + 583 = 6*y. Is m a composite number?
False
Let o(k) = -2*k**3 - 5*k**2 + 3*k + 3. Let w be -3 + -1 - (-6 - 1). Suppose 11 = -u - d, w*d - 3 = 3*u - 0. Is o(u) composite?
True
Let j = 54355 - 24944. Is j prime?
True
Let x(k) = 69652*k**2 + 41*k + 42. Is x(-1) a composite number?
False
Let w = -172 - -554. Suppose 6*p = 2284 - w. Is p a prime number?
True
Suppose -12*m - 7232 = -16*m. Let z = -970 + m. Is z a composite number?
True
Suppose -q + 6*q = 290. Let u = 21 + q. Is u prime?
True
Let d(t) = t**2 - 2*t - 6. Let u(w) = w**2 - w - 7. Let f(j) = -4*d(j) + 5*u(j). Let n be (60/4)/((-6)/4). Is f(n) composite?
False
Let h(s) = 2*s**3 - 18*s**2 + 2*s - 37. Is h(11) prime?
False
Let y = -64 + 66. Is 2 - (-179 + 0) - y composite?
False
Suppose 0 = -3*t - 3, 5*x - 1 = t - 5. Let h be x*(-1 + -7) + -2. Is ((-110)/(-25))/(h/165) a composite number?
True
Let x(l) = 12*l**3 + 2*l**2 + 11*l - 1. Suppose 25 = 5*a - o, -a + 13 - 2 = o. Is x(a) composite?
False
Suppose 4*a = 31597 + 13039. Is a a prime number?
True
Is ((-60)/18 + 3)*-4497 a prime number?
True
Is -12*(-2)/(-4)*(-293)/2 a prime number?
False
Let a(m) = 35*m + 97. Is a(44) a prime number?
True
Suppose 69*o - 308738 = -50057. Is o a prime number?
False
Suppose -3*y + 18 - 198 = 0. Let f = 155 + y. Is f prime?
False
Suppose 5*b - 35062 = 3*d, 2*b - 7*d = -6*d + 14025. Is b a prime number?
True
Let v = -29 + 29. Suppose v = 10*f - 6870 - 21580. Is f prime?
False
Suppose -5*v - 4*w + 1796 = 0, w + 1798 = 5*v + 3*w. Let x = v - 175. Is x a prime number?
False
Let b(m) = 3*m**2 - m. Let o be b(-1). Suppose -4*w + 3*f = -112, 0*w - 28 = -w - o*f. Let u = -14 + w. Is u prime?
False
Let p(f) = 2*f**3 - 13*f**2 - 23*f - 3. Is p(16) composite?
False
Let r = 2030 - 1138. Let a = r - 341. Is a a prime number?
False
Let o(v) = v - 158. Let m be o(0). Suppose -w = 2*n + 117, -293 = -5*w + n - 834. Let p = w - m. Is p composite?
True
Let d(t) = t**3 - t**2 + 35*t + 112. Is d(17) a prime number?
False
Let y(m) = 102*m + 1. Suppose 3*p - 5*l - 11 = 27, -3*p - l = -14. Is y(p) a prime number?
True
Suppose -10*d = -3*d - 28. Suppose d*a = 67 - 15. Is a prime?
True
Let c = -5904 + 25545. Is c a composite number?
True
Let q = -680 + 1247. Let s = q + -332. Is s prime?
False
Suppose -20 = 4*h + 4*m, -3*h + 0 = -m - 1. Let s(y) = -y**2 - 1. Let i be s(0). Is (-6 - -209)*h/i a composite number?
True
Is -4*3/(-24)*9242 composite?
False
Let p = 887 + -597. Suppose a = 1014 + 568. Suppose -a = -4*l - p. Is l prime?
False
Let h(q) = q**3 + 18*q**2 - 60*q + 43. Is h(-18) prime?
True
Let p be (-740)/6*21/(-2). Let z = p - 154. Is z prime?
False
Suppose -1 = 5*s - 16. Suppose -s*u - 3*a + 747 = 0, -6*u + 5*u = 5*a - 249. Is u prime?
False
Suppose -499*g - 45145 = -504*g. Is g a composite number?
False
Is (73/(-2))/(6/408*-2) a prime number?
False
Let l(b) be the third derivative of 0 + 8*b**2 + 0*b**4 + 7/12*b**5 + 0*b**3 + 0*b. Is l(-1) prime?
False
Let h(d) = d**3 - 5*d**2 - 8*d - 11. Let u be h(7). Is u + 2 + (0 - 2) composite?
False
Let y = -82 - 73. Is y/(-2)*(-40)/(-50) a composite number?
True
Let a(i) = 5*i + 29*i + 0 + 7. Let j = 14 - 9. Is a(j) composite?
True
Let n = -5114 - -11919. Is n prime?
False
Let x(h) = 44*h + 4. Let j be x(-6). Let m = j + 483. Is m prime?
True
Let p be (-8)/2 + 4 + -1. Let c be p*(2 - 3 - 2). Suppose 781 - 148 = c*q. Is q a composite number?
False
Suppose -2*r + v + 219799 = 3*r, -2*r - v = -87914. Is r a prime number?
False
Let v(j) be the second derivative of 7*j**5/60 - j**4/4 + j**3/2 + 13*j**2/2 + 8*j. Let g(u) be the first derivative of v(u). Is g(-10) a prime number?
False
Let i(k) = -k**3 + 5*k**2 + 9*k. Let v be i(6). Let f(u) = -u**3 + 20*u**2 - 10*u + 11. Is f(v) a prime number?
True
Let b(l) = -602*l - 119. Is b(-11) prime?
False
Let q(r) = r + 6. Let z be q(-10). Let i be ((-18)/z - 3)*6. Suppose i*c - 436 = -4*v + 4*c, 0 = 5*v + 2*c - 545. Is v prime?
True
Let i = -28 - -31. Suppose -4*w + 2*p + 187 = p, 0 = 3*p - i. Is w prime?
True
Suppose 5*t - 2*q - 63 = -9, -2*t + 24 = -2*q. Suppose -t*l + 0*l = -16610. Is l a prime number?
False
Suppose 0 + 2 = p. Let b(a) = -11*a - 149. Let r be b(-4). Is 1 + r/(p - 3) a prime number?
False
Suppose 22546 - 100453 = -3*n. Is n composite?
False
Suppose 2*c + 2 = 14. Suppose -5*d = -c*d + 3117. Is d prime?
False
Suppose -238517 = -15*d + 70588. Is d composite?
True
Suppose -h + p + 0*p - 4 = 0, h + 5*p + 16 = 0. Let l be (25 + 3)*h/(-8). Let v = 272 + l. Is v prime?
True
Let u = -3 - -6. Suppose -y = -u*h - 0*h + 51, -3*y = 9. Let a = h + 123. Is a prime?
True
Let v(i) = 432*i + 23. Is v(3) pr