 423*f**5/20 + f**4/24 + 11*f**2. Let z be u(-1). Suppose 0 = 5*r + 4*n - n - z, 4*r - 1015 = -3*n. Is r composite?
True
Let o(q) = 12227*q**2 + 1070*q + 5368. Is o(-5) a composite number?
True
Let h(d) be the second derivative of -d**4/4 - d**3/2 - 13*d**2/2 - 4*d. Let v be h(-5). Is (v + 0)*(16 + -21) composite?
True
Let m(b) = -2930*b + 61. Suppose 0 = -16*v - 71 - 41. Is m(v) a prime number?
False
Is (-318567003)/(-407) - 13 - (20/22 + -1) a composite number?
False
Let w(b) = 109197*b + 304. Is w(3) composite?
True
Let b(x) = 3*x**2 - 3*x - 1. Let y be b(2). Suppose 0 = -f - y*k + 126, -4*k + 424 = -f + 5*f. Let c = 183 - f. Is c prime?
False
Let j(b) = 31165*b**2 + 374*b + 1499. Is j(-4) composite?
False
Let h(z) = -13*z - 6. Let u be h(-3). Suppose 2*b + 2*d = 5*b - 39, -4*d - u = -3*b. Is (1 + 376/6)/(5/b) a prime number?
True
Suppose -5*f - 7171 = -p, 28*f + 28744 = 4*p + 23*f. Let v = 10784 - p. Is v a prime number?
True
Let s be (-5 + (-128370)/18)*-9. Suppose 96299 = 3*r - 2*a - 2*a, 2*r + 5*a = s. Is r prime?
False
Let p be 7 + -5 + (-4 - (0 + -2)). Suppose 61*n - 65*n + 36 = p. Let m(r) = 3*r**2 - 4*r - 8. Is m(n) a prime number?
True
Suppose -3377036 - 770777 = -6*h - 685567. Is h a composite number?
True
Let o(v) = -v**2 - 10*v - 7. Let z be o(-9). Is 3419/2 + (-11)/z + 5 a composite number?
False
Let g(z) = -2*z**3 + 14*z**2 + 13*z + 21. Let f be g(-10). Let k = f - 2152. Is k composite?
True
Let a = 67 + -63. Suppose -i + a*n + 5005 = 2*n, 14971 = 3*i + 5*n. Is i a prime number?
False
Let a = 3909752 + -44233. Is a composite?
True
Suppose n - 6*n + 3*m + 22 = 0, 23 = 5*n - 2*m. Suppose -n*l - 1020 + 396 = -d, -5*d + 3080 = -5*l. Is d composite?
True
Let v be 2/(-1) - (67 + -41). Let p(h) = -219*h + 269. Is p(v) a prime number?
False
Let l = 316030 - -91569. Is l composite?
False
Let z = 220327 - 103226. Is z composite?
False
Suppose -5 = 5*h, -36033 = -2470*i + 2468*i + 5*h. Is i a prime number?
False
Let a = -144 - 316. Let x be (13756/19 - (4 + 1))/1. Let o = x + a. Is o composite?
True
Let o = -95 - -94. Let y be (0/1)/(1 - o)*-1. Is -8609*(-5)/(5 + y) prime?
True
Suppose 1644286 = 5*i - 3*v + 6*v, 5*i - 2*v - 1644301 = 0. Is i prime?
False
Suppose 2*b - 5*b = -45. Let h(l) = 4*l**3 - 11*l**2 + 16*l. Let d be h(b). Is d/25 + (-4)/(-10) prime?
False
Let a(x) = -3*x + 17. Let m be a(7). Let t be 12/m + 8*964 + -2. Suppose -2*l - 3*l = 3*f - 7721, 4*f = 5*l - t. Is l a prime number?
True
Let m(w) = 40 - 16 - 22 + 1005*w**2. Is m(-1) a composite number?
True
Suppose -41 = -3*k - w, 11*k - 31 = 8*k + w. Suppose -k*r + 8381 = -25087. Is r prime?
True
Suppose 0 = -2*i + 202 + 3094. Let j(z) = -1144*z**3 - 3*z - 4. Let l be j(-1). Let o = i - l. Is o a prime number?
False
Let l = -42 + 38. Let z(a) = -374*a - 6. Let d be z(l). Is (d/25)/((-2)/(-5)) a prime number?
True
Let y = 275423 + 45556. Is y a composite number?
True
Suppose 53*d - 70*d = -2350176 - 1218413. Is d composite?
False
Is 5/((-60)/192) + 97157 prime?
False
Let g be (-38)/(-2) - 0/6. Let k(f) be the first derivative of f**4/4 - 16*f**3/3 - 29*f**2/2 + 25*f - 652. Is k(g) composite?
False
Let u(q) = -4890*q**3 - 17*q**2 + q - 13. Is u(-3) prime?
True
Is (-190974693)/(-520) - 1/40 a composite number?
False
Let z be (-20)/45 + 440/99. Is (9075 + -26)/(2/z) a prime number?
False
Suppose -23*o + 46*o - 203389 = 0. Is o prime?
False
Is (-93813800)/(-60)*18/60 prime?
True
Let q(v) = 3*v**2 + 16*v + 40. Let b be q(-16). Let i = b + 278. Let f = i + 461. Is f a composite number?
False
Let w be (-1092 - 2)*(-17)/17. Suppose 2*f - 2828 = 2*r, -3128 = -3*f - r + w. Is f composite?
False
Let w = 88 - 92. Let p be (4 + 0)/w*-4. Suppose 2*n - 4 = 6, 0 = -3*b + p*n + 2701. Is b a prime number?
True
Let o = 18 - 22. Let g(q) = 2*q**3 + 10*q**2 + 8*q - 4. Let w be g(o). Is (-4)/w - 3/2*-156 a prime number?
False
Suppose 62*t - 55*t = 0. Suppose -2*x - 3*r - 4084 = -14034, -5*x - 3*r + 24857 = t. Is x composite?
False
Let c be 20/(-5) + -17 - 4/(-2). Let s be 1/(-1) + 3 + (-6 - c). Is (4270/(-25))/((-6)/s) a prime number?
False
Let d = 16090 + -8527. Suppose 2*j = d - 2749. Is j prime?
False
Suppose -5*b + 2680220 = l, -6*b + 29*l + 3216238 = 25*l. Is b a prime number?
False
Let f = -154 + 162. Suppose -f*j + 0*j = -95720. Is j a prime number?
False
Let y be (-16485)/(-10) - ((-1)/(-2) + -2). Let j = y - 563. Is j prime?
True
Let y = 262335 + -46694. Is y a composite number?
True
Let i be 7*-4*(-3)/21. Suppose -d - 3634 = -i*j - 3*d, 2*j - 3*d = 1805. Is j composite?
False
Suppose -3*q + 12 = 30. Let d be (-4)/q*5*6/10. Suppose -d*w + 830 = -i, -i - 1656 = w - 5*w. Is w a composite number?
True
Suppose -8 = 4*r, -5*i = -4*r + 3*r - 27. Let z(j) = 21*j + 22. Let t be z(i). Suppose -t + 629 = 2*p. Is p composite?
False
Let z = -245 + 245. Suppose z = 2*f - 5*o - 1011, -5*o = 3*f - 7*o - 1511. Is f a prime number?
True
Suppose -2*f = 4*c - 26, -4*f = -5*c - 11 + 63. Is 2 + (-18)/c + 15150/24 a composite number?
False
Suppose 3*v + 6 = 0, 14*v - 9*v = 5*n - 29825. Is n composite?
True
Suppose -3841813 = -3097*s + 3080*s. Is s a prime number?
True
Let q(s) = 548*s + 3292. Let o be q(-6). Let y = 3 + 2. Suppose -5*i = -4*g - 7183, -o*g - 4305 = -y*i + 2*i. Is i prime?
True
Is 7984 + -2 + 7*3/(-21) a prime number?
False
Let k(h) = 12 - 2*h + 2 - 7 + 10. Let w be k(5). Suppose w*z - z = 354. Is z a prime number?
True
Suppose -8*r = -4*k - 265432, -7*r = -2*r - k - 165895. Is r composite?
False
Suppose -3*w + 15118 = -2*r + 57384, -r + 3*w = -21127. Is r composite?
False
Suppose u + 4*j = 9, 10*j - 11*j = -5*u + 108. Suppose -17*y - 129916 = -u*y. Is y composite?
False
Let f(z) = -z**3 + 10*z**2 - 15*z - 2. Let t be f(8). Let b be (-130)/1*(-9)/t. Let w = b - -136. Is w a prime number?
True
Let w be 23/4 + 5/20. Suppose -28 = 3*o - 3*p + 8*p, -10 = 2*p. Is (-675*1 - o)/(w/(-21)) a composite number?
True
Let w = -277033 - -518030. Is w a composite number?
False
Let l = 96755 + -60996. Is l a prime number?
True
Suppose -61*w + 62*w = 4*v - 670370, 5*w = 5*v - 837985. Is v a composite number?
True
Is (18045369/6)/(-9)*(7 - (-1 + 10)) prime?
True
Let k(v) = -v**2 - 14*v - 28. Let r be k(-10). Suppose -6*y = -r*y + 534. Suppose -y = 12*h - 13*h. Is h a composite number?
False
Suppose -3*g - 405 = -5*k, -4*k + 2*g - 5*g + 351 = 0. Is k/(-378) - 41530/(-18) a prime number?
False
Let d = -379 - -382. Suppose -d*g - 5*y + 9803 = -8604, 10 = -5*y. Is g a composite number?
True
Let d = -174 - -174. Suppose d = -18*m + 34*m - 380080. Is m a composite number?
True
Let x be 3 + 86 + -5 + 2. Let m = x - 49. Is m composite?
False
Let d(o) = -3 + 18*o**2 + 5 + 5 + o + 0. Let n be d(-5). Suppose v = n + 635. Is v composite?
False
Let s(p) = -422*p - 91. Is s(-5) composite?
True
Suppose 0 = 2*i - 2*l, -5*l = -4*l - 4. Suppose 5*v = 2*s - i*s - 26, -2*s - 14 = 2*v. Is (2420/8 + s)*12/3 composite?
True
Let p(t) = t - 2. Let i(r) = -4662*r + 393. Let s(j) = -i(j) + 2*p(j). Is s(7) prime?
True
Suppose 0 = -2*q + 26201 - 7723. Is q a prime number?
True
Let l = -32 - -35. Suppose -5*y + 2*x - 2857 = -10*y, 0 = 2*y + l*x - 1145. Suppose 434 + y = 5*d. Is d prime?
False
Suppose -2546 = -5*q - 4*o + 1615, -o = 4*q - 3331. Suppose -q - 796 = -3*x. Is x prime?
False
Let q(k) = -3*k**2 + 16*k - 23. Let y be q(5). Is (8 - (-135)/y)*9122 a prime number?
True
Let m(w) = 35 + 137*w**3 - 39*w - 138*w**3 - 69*w**2 + 51*w**2. Is m(-17) a composite number?
False
Suppose 0 = -v - 3*a + 44457, -5*v - 3*a + 109912 = -112301. Is v a prime number?
False
Let k(j) = -13*j - 25. Let m be ((-2)/(-1) - 0) + -42. Let y = m - -32. Is k(y) composite?
False
Suppose 173624*j - 173612*j - 4890264 = 0. Is j composite?
True
Suppose j + 10 = -3*h, 8*h = j + 4*h - 4. Let b be 220/(-77)*14/j. Suppose b*d - 4265 = 5*d. Is d composite?
False
Let k(r) be the first derivative of 13 - 7*r + r**2 + 68/3*r**3. Is k(3) a prime number?
False
Let z(g) = 204*g - 12. Let n be z(3). Suppose n = 2*u + 5*v - 156, 4*u - 4*v - 1484 = 0. Is u a prime number?
True
Let p = -18132 - -32431. Is p prime?
False
Suppose -595181 = -5*n - 2*z + 185114, 17*z = 2*n - 312207. Is n a composite number?
False
Let r = 408 + -347. Suppose r*s = 63*s - 26314. Is s prime?
False
Suppos