+ 459 = 2*z. Let n = 53 + z. Suppose -n*s + 6*s = 1340. Is s composite?
True
Let h(g) = g - 12. Let a be h(14). Suppose -a*t = -286 - 2410. Let p = -933 + t. Is p a prime number?
False
Let d = 3259 + -4894. Let j = 226 - d. Let w = -1272 + j. Is w a prime number?
False
Suppose 0 = -2*q - 3*q + 75. Suppose -8*a + q = -5*a. Suppose 4*u = -2*c + 78, a*u = -c + u + 29. Is c a composite number?
True
Let m(h) be the second derivative of -h**5/20 + 2*h**4/3 + h**3/3 + 11*h**2/2 + 2*h + 24. Is m(7) prime?
False
Suppose 0 = -p + 4, 4*p = -l - 12 + 35. Let w(b) = 10*b**3 - 9*b**2 + 6*b + 12. Is w(l) a prime number?
False
Let a be (-1)/(8 + (-644)/80). Suppose -a*r + 14785 + 162955 = 0. Is r prime?
True
Let i(t) be the third derivative of 55*t**6/24 - t**5/12 - 19*t**4/24 + 19*t**3/3 - 127*t**2. Is i(5) a composite number?
True
Let m(z) = 5*z + 5. Let o be m(-11). Let r be 7/(28/(-6))*o. Suppose -r - 90 = -5*h. Is h a composite number?
True
Let g(k) = -3*k - 38. Let p be g(-12). Is ((-1)/p)/(3/46506) a prime number?
False
Suppose -3*g = h - 24, 0 = -4*h + 2*h + 5*g + 81. Suppose 7*b = 10*b + h. Let s(q) = -112*q + 27. Is s(b) a composite number?
False
Let w = -209 - -211. Is (0 + w)*(-101612)/(-56) prime?
False
Let z(n) = n**3 + 2*n**2 - 2. Let c be z(0). Let f be 1*1/2 + c/4. Suppose 2*o = 2*b + 54, f = 5*o + 5*b - 241 + 66. Is o a prime number?
True
Let j = 1811 + -764. Suppose 5*o + 2*h - h - 1314 = 0, -4*o + j = 5*h. Is o composite?
False
Let p(h) = -h**3 + 2*h**2 + 5*h - 10. Let s be p(0). Is 1/((-10803)/13585 - 8/s) prime?
False
Let d be ((285/(-2))/5)/(2/(-12)). Suppose b + 585 = -d. Let l = 187 - b. Is l prime?
False
Suppose 815*i - 190101855 = 283*i + 39044909. Is i composite?
True
Let z = 14 + -15. Let h be z/(-2*1/4) - 306. Is 2/(-9) - h/72 composite?
True
Let d(s) be the second derivative of -7*s**5/2 - s**3/3 - s**2/2 + s. Suppose 17*f = 10*f - 7. Is d(f) a composite number?
False
Suppose -4*s - 60 = -3*n, -5*s = -5*n - 4*s + 83. Is (n + -17 - (0 + -1265)) + -5 a composite number?
False
Suppose o + 3*r - r = -2, -5*o + 5*r = 85. Let h(c) = -131*c - 6. Let t be h(o). Suppose 2*s + t = 4*g - 2*g, -3*g - 5*s = -2381. Is g prime?
True
Let b = 16 + -2. Suppose -15*p + b*p = 0. Suppose 2*n + 92 = 5*k + 490, p = -n + 3*k + 199. Is n a composite number?
False
Let m(c) = 553*c**2 - 5*c + 1. Suppose -68 = -3*t - j, 2*t + 3*j - 32 = 4. Let n = t - 22. Is m(n) prime?
True
Let r(z) = 1663*z**2 - 76*z + 215. Is r(3) a composite number?
True
Let c(g) = -1138*g**3 - 2*g**2 - 7*g - 1. Is c(-2) a prime number?
True
Suppose -6617*c + 280014 = -6575*c. Is c a prime number?
False
Let b(j) = 204227*j**2 + 552*j + 5. Is b(-2) composite?
False
Let o = -5376 - 1634. Let t = -4789 - o. Is t prime?
True
Let v be 4/(-18) - ((-400)/36)/5. Suppose 0*w - 10 = -v*w. Let k(x) = 6*x**2 - 3*x - 8. Is k(w) a prime number?
True
Suppose 485*t = 481*t + o + 1603, 5*o = 3*t - 1198. Is t a composite number?
False
Suppose -18889 = -5*a + 40416. Is a a prime number?
False
Suppose 106*y - 72752934 + 21127860 = 0. Is y prime?
False
Let g = -15372 + 37885. Is g prime?
False
Is (-169520 + 21*4/(-12))*(-44)/12 a composite number?
True
Let m(y) = y**3 - 38*y + 15. Let t be m(6). Suppose -4*o + 3*o + 2132 = 0. Suppose -1593 = -3*s - t*c, -4*s + 3*c - 5*c + o = 0. Is s composite?
True
Let p = -30521 - -82948. Is p a prime number?
False
Let g(p) = 632*p**2 - 502*p + 2543. Is g(5) a prime number?
False
Suppose -5*g - 2*c + 35 = 0, 3 = 28*g - 26*g + 3*c. Is (-1)/(-4)*(284220/g)/1 prime?
False
Let f = 63619 - 20972. Is f prime?
False
Suppose 0 = 5*m + 2*h - 1516723, 24*m - 29*m = -h - 1516696. Is m prime?
True
Let n(m) = 3 + 11 + 17 - 40*m - m**2 + 6*m. Is n(-28) a composite number?
False
Suppose 0 = -l - 2*a + 321949, 2*a + 308176 = l - 13769. Is l a composite number?
False
Suppose -o + 84284 = -i - 20074, 0 = 4*o - i - 417432. Suppose -2*b - 4*n = -69602, -3*b + 48*n - 45*n = -o. Is b a composite number?
True
Let n(t) = 411*t**3 + t**2 - 3*t - 33. Let q be n(5). Let s = q - 35723. Is s composite?
False
Let a = -120 + 190. Let j be ((-60)/35)/(5/a). Is 1017/(-12)*32/j a prime number?
True
Let u(x) be the third derivative of x**7/504 - x**6/120 + 11*x**5/30 - 19*x**4/12 + 28*x**2. Let r(a) be the second derivative of u(a). Is r(7) prime?
False
Suppose o - 5*o = 5*x - 24738, -5*o + 19785 = 4*x. Let h = 16739 - x. Is h prime?
True
Let c(t) = -3*t**3 + 34*t**2 - 10*t - 9. Let p be c(11). Suppose 2*w - 4405 = -3*m, w + 1460 = p*m - m. Is m a prime number?
False
Let u = 627936 - 121327. Is u composite?
False
Let f(s) be the third derivative of 37*s**6/120 + s**5/60 + s**4/6 + 2*s**3/3 + 21*s**2. Let b be f(6). Suppose 2*l - b = -6*l. Is l a composite number?
True
Suppose 76*u - 82*u + 12858 = 0. Let t = 5290 - u. Is t composite?
True
Suppose 17 + 6 = -n. Let j be (n/(-2))/(-4*(-1)/8). Let a = 36 - j. Is a prime?
True
Suppose -2*n + 94 + 1124 = 0. Let z = 366 - 96. Let q = n - z. Is q a composite number?
True
Let a(l) = 44241*l - 335. Is a(4) prime?
True
Is -95295*(455/(-75) - -6) prime?
True
Let y be ((-27694)/305)/((-4)/(-20)). Let o be (-165)/(2 + 9/(-5)). Let i = y - o. Is i a composite number?
True
Let c(k) = 4147*k**2 - 6*k - 16. Let n be c(-3). Suppose 0 = 5*l + 20, n - 5586 = 3*w + l. Is w composite?
True
Let f = 42 + -33. Suppose -f = -n - 3. Let p(b) = 25*b - 37. Is p(n) prime?
True
Let x be 1/(-3) + 352/66. Is 35/(-175) + (150792/x)/2 prime?
False
Let h(v) = v**3 - 31*v**2 - 2*v + 33. Let k be h(31). Let z(f) = f**2 - 35*f - 147. Is z(k) composite?
False
Let h = 399960 - 178061. Is h a prime number?
False
Let x be ((-76)/6)/(11/(-88968)). Suppose -3*p - 4*r = -62394 - 14461, -x = -4*p + r. Is p prime?
False
Suppose -w = -0*w - 3*p - 26, 2*w - 3*p - 37 = 0. Let t = -1 + w. Suppose j = t*j - 3573. Is j a composite number?
False
Let r = -46 + 32. Let h(t) = -t**3 + 18*t**2 + 21*t + 18. Let l be h(r). Suppose 8*o + l = 12*o. Is o a prime number?
True
Let s = -466 + 684. Suppose -2*c = 5*g - s, -2*g + 3*c = -0*g - 91. Suppose 5*u = 5*p + 60, -3*u + p - 6*p + g = 0. Is u composite?
False
Let x = 1112 - -5750. Let y = -2213 + x. Is y a composite number?
False
Is (-4201332)/(-18) - (-4)/(-12) prime?
True
Suppose 0 = -8*d + 3*d + h + 40, 5*h = 0. Suppose d*z = 3294 + 842. Suppose -2*q + 417 = -z. Is q composite?
False
Let d(x) = -15*x**2 + 4*x + 12. Let y(h) = h**3 - 16*h**2 - 16*h - 18. Let q be y(17). Let k(p) = p**2 + p - 1. Let j(v) = q*d(v) - 6*k(v). Is j(-11) prime?
True
Suppose -4*b - 2*t = -48028, 4*b - 29*t + 33*t = 48012. Is b composite?
False
Let f(w) = -3*w + w**2 - w + 0*w**2 - 2 + 5*w. Let p be f(5). Let i = p - -43. Is i a prime number?
True
Let h(j) = -152*j - 15. Let f = -22 - -69. Let y = -49 + f. Is h(y) a prime number?
False
Suppose -4754880 = -22*l + 1204898. Is l a composite number?
False
Let q = -165919 + 344359. Suppose q = 15*h + 25*h. Is h a prime number?
False
Suppose 78*r + 50*r = 31961216. Is r prime?
False
Suppose -13*x + 20*x - 7 = 0. Is (7/21*10893)/x prime?
True
Suppose -54204656 = -9*l - 37*l - 15169930. Is l a prime number?
False
Suppose -20949 + 101799 = 10*n. Let u = -5564 + n. Is u prime?
True
Suppose -5*v = -4*k + 20, 4 - 29 = 3*v - 5*k. Suppose v = 9*o - 70294 - 39749. Is o a composite number?
False
Let p = 0 + 3. Suppose 0 = -2*t + 2*q + p - 19, 2*t - 4*q = -24. Is (1329/6)/(t/(-8)) composite?
False
Suppose -32*m + 1782345 + 795380 = -66531. Is m prime?
True
Let z be (-9 - -6) + 794/2. Let b = z - 146. Is b - (-1 + -6 + 4) a composite number?
False
Let f = 53245 + -17808. Is f a composite number?
False
Let n = -890 - -911. Suppose -n*s + 17627 = -78490. Is s composite?
True
Suppose 2685261 + 7447023 = 77*t - 10233215. Is t composite?
False
Suppose -2*k - 10 = -64. Suppose 3974 = k*v - 32773. Is v prime?
True
Let o = -48 - -79. Let c(q) = -3 + o*q**2 + 2*q - 4*q - 4. Is c(-4) a prime number?
False
Let w = -136 + 137. Let p(n) = 4141*n**2 - 5*n + 3. Is p(w) a composite number?
False
Let j(v) = v**3 - 23*v**2 + 12*v - 14. Let h(t) = t**2 + t. Let i(d) = 6*h(d) + j(d). Let w be i(16). Suppose -11*p - 12173 = -w*p. Is p a composite number?
True
Let m = -211 - -222. Suppose m*d - 7345 = -2*d. Is d a composite number?
True
Let y(w) = 550*w**2 + 219*w - 15. Is y