 Is n composite?
False
Let s(g) = 19278*g**3 - 17*g**2 + 13*g - 5. Is s(2) a composite number?
True
Suppose r = 4*r + i - 2496, -4160 = -5*r - 2*i. Suppose -548 = 3*u + 979. Let p = r + u. Is p prime?
False
Let m = -2195 + 5712. Suppose 2*f - m = s, 0 = 12*f - 11*f + 5*s - 1786. Is f a composite number?
True
Is 304011495/427 + 2/7 prime?
False
Is 26 - (-2181820)/(420/21) prime?
False
Suppose -4*s + 259 - 43 = 2*b, -4*b = 3*s - 452. Let a = b + -116. Suppose -2*j + 3*r + 2011 = -2*r, a = -2*j + r + 2007. Is j a prime number?
False
Let s = 70125 - 38846. Is s a composite number?
True
Let v(l) = -6*l**3 + 39*l**2 - 6*l + 37. Let f be v(-27). Is 3/(((-12)/f)/((-3)/6)) a prime number?
True
Let f = 7457 + 16364. Suppose -5755 = 8*n + f. Let d = n + 6504. Is d a composite number?
True
Let m(s) = -s**2 + 8*s - 6. Let l be m(9). Is -3 - ((-2362)/5 + (-6)/l) prime?
False
Suppose 31*u - 287 = -10*u. Suppose u*j - 13*j = -14718. Is j composite?
True
Suppose 3*u = 31*c - 30*c - 69863, -5*u - 209581 = -3*c. Is c composite?
False
Let n(s) = s - 2. Let o be n(7). Suppose 5 = o*r - 4*r. Suppose -r*j + 1254 = j. Is j prime?
False
Let v be 10 - (30/45)/(1/(-3)). Let u(i) = 707*i + 25. Is u(v) composite?
True
Let a = 358228 - 151629. Is a prime?
False
Let k(f) = 9*f**3 + 5*f**2 - 416*f - 53. Is k(19) a prime number?
True
Suppose 2*p + 3 = 3*p. Let q(h) = -5*h**3 + 13*h + 28. Let j(d) = d**3 - 4*d - 9. Let r(m) = -7*j(m) - 2*q(m). Is r(p) prime?
False
Suppose -1033609 - 104638 = -27*j + 1375534. Is j a composite number?
False
Let r = 2839 - 590. Is 5 + r + (7 - 4) composite?
True
Let v(d) = -7*d**3 + 2*d**2 - 13*d + 9. Let j be v(-9). Suppose -o + 2504 = -j. Is o a composite number?
True
Suppose 5232 = 2*n + h, -3*n + 5*n + 4*h = 5220. Let d = n - 1819. Is d a prime number?
False
Suppose -4*p = b - 9182, 10493 = b - 2*p + 1293. Suppose 4*y + 31183 = 3*n + b, -3*n = -5*y - 21988. Is n a prime number?
True
Let c = 273 + -2673. Let m = 3818 + c. Is m a prime number?
False
Let k = 41915 + -22282. Is k a prime number?
False
Let b be 29/(-203) + (-26532)/(-14). Suppose -3*d - 2*l = 2828, -d + 3*d = -5*l - 1900. Let y = b + d. Is y a prime number?
False
Let l be 2/((30/(-9))/(-5)). Suppose l*w + 3*w + 2070 = 0. Let i = 550 + w. Is i composite?
True
Let l = 10391 + 6976. Let t = l + -11246. Is t a composite number?
False
Let q(d) = 21*d**2 + 56*d + 418. Is q(-27) a prime number?
False
Suppose -16078763 = -169*f - 4613972. Is f a prime number?
False
Let i(c) = -c**3 - 25*c**2 - 2*c - 52. Let g be i(-25). Is g + -1 + -14 + 1360 composite?
True
Suppose k - 5 = 0, -m + 0*m - k + 7 = 0. Suppose 0*c - m*c = 4*o - 12374, 0 = -2*c + 3*o + 12409. Is c a prime number?
True
Let m = 51437 - 26298. Is m composite?
True
Let v = -5347 - -3378. Let b = 4726 + v. Suppose 12*z - 9*z - b = 0. Is z composite?
False
Let b = 24 - 15. Suppose 11 + b = 4*u. Suppose 0 = -4*x + 2*f + 1886, 0 = -f - 0*f - u. Is x a prime number?
False
Suppose 3*x - 363 + 309 = 0. Is 3/(-27) - (-101288)/x composite?
True
Let d be 3/(-4) + ((-203210)/40 - -2). Let i = 9676 + d. Is i a composite number?
False
Let w = 200 - 85. Suppose 0 = -3*p + 5*g + 23944, 7*p - 31916 = 3*p + 2*g. Suppose -117*l = -w*l - p. Is l a composite number?
False
Suppose -2*o + 7938 = 2*x, 4*o - 8 = 12. Let b = -6685 + x. Is (-2)/3*(-4 - -5)*b composite?
True
Suppose 3*q - 106354 = -2*p, 0 = -3*p + 3*q + 203000 - 43499. Is p a composite number?
False
Is ((-318426)/36 - 5)/(147/(-18) + 8) composite?
False
Let w = 93334 + -22017. Is w a prime number?
True
Suppose -4*v - n = -5597, v - 5*n - 1424 + 9 = 0. Suppose -3*k = -k - v. Suppose -p - k = -1727. Is p prime?
False
Let i(m) = -138132*m - 449. Is i(-2) prime?
False
Let w(l) = -l**3 + 3*l - 13812. Let o be w(0). Is o/(-9)*(-18)/(-12) a composite number?
True
Let a be (-3910)/(-75) - (-6)/(-45). Let o = a - 47. Suppose -o*w + 0*n = -n - 124, -2*w - 5*n = -55. Is w a composite number?
True
Suppose -71 = -9*s + 28. Let k(q) = 9*q**2 + q + 17. Is k(s) a composite number?
False
Let t(z) = -2*z - 26. Let b be t(7). Let s = 42 + b. Suppose 1926 = s*j + 5*c - 1141, 3064 = 2*j + 2*c. Is j a composite number?
False
Let c = -4 + 8. Let m(j) = 58*j**2 + 0*j**3 - 60*j**2 - 4*j**3 + 5 + c*j. Is m(-3) a composite number?
False
Let v be (1 - 2) + -2 + (1 - -4). Let u(d) = 340*d**2 - 2*d + 5. Is u(v) prime?
True
Let q(g) = -868*g - 99. Let z(s) = 435*s + 50. Let f(i) = -6*q(i) - 11*z(i). Is f(5) a prime number?
False
Let x(h) = 61*h**2 + h - 3989. Let s(f) = 142*f**2 + 2*f - 7978. Let o(r) = 3*s(r) - 7*x(r). Suppose 0*y = y. Is o(y) a composite number?
False
Suppose -63 = -p - 62. Let l(s) = 6*s - 2. Let c be l(p). Suppose -5*n = -0*n + 4*t - 2914, -1188 = -2*n + c*t. Is n a prime number?
False
Let r = 59 + -86. Is r/36 + 4/(16/1199) a composite number?
True
Suppose -5*h - 44 = 4*l, 2*l - 3*h = -0*h. Let c(z) = 10 + 3 - 150*z + 8 - 2. Is c(l) composite?
False
Let b(l) = 37*l - 2. Let c be b(3). Suppose -5*v - 5*n + 616 = -199, 0 = 2*v + 4*n - 322. Let g = v + c. Is g a prime number?
False
Let s = -933 + 1336. Suppose -3*q = -126 + 114. Suppose -q*k + 2*l = k - s, -k + 67 = 3*l. Is k a composite number?
False
Suppose 2*y = 2*n - 249 + 61, 2*y - 352 = -4*n. Let t be (-3)/(-5) + (-32544)/n. Let z = -183 - t. Is z a prime number?
False
Let q be (2 + -1)*(-25480)/26. Let m be 4*(-4)/8*1 - q. Let y = m + -605. Is y composite?
False
Let a(f) = -43*f + 515. Let v be a(37). Let s = 1603 + v. Is s a composite number?
True
Let y be (3 + (3 - (-14)/(-5)))*5. Suppose -2*n = 2*p - 5*p - 2, -y = -4*n. Is p/9 + -2*3052/(-72) prime?
False
Suppose -11124 = -35*z - 2129. Is z prime?
True
Let a(k) be the second derivative of k**7/840 + k**6/60 + 23*k**5/120 + 5*k**4/6 - 8*k. Let l(t) be the third derivative of a(t). Is l(-10) prime?
False
Let c = 227 + -223. Suppose 0 = -c*f + 3*o + 15827, 4*f + 3947 = 5*f - 4*o. Is f a composite number?
True
Let p(z) = 208*z + 1 - 5 + 90*z + 5. Is p(1) prime?
False
Let t = 187 - 223. Is (-29028)/t - (-3 - (-21)/9) prime?
False
Let c = 143 + -143. Suppose c*h = 5*h - 20715. Is h prime?
False
Let s = 117 + -121. Let k be 1 + (s - -3) - -11784. Suppose 3*w - k = -4*m - w, 0 = 4*m + w - 11787. Is m composite?
True
Is 2628048/(-32)*(-4)/6 composite?
False
Let c(d) = -3*d**2 - 35*d - 28. Let z be c(-7). Is 251170/z + (-6)/(-7) prime?
False
Suppose 0 = 22*b - 27*b + 855. Suppose 0 = -a + 97 + b. Suppose 4*r = 3*t - 1143, r - 860 = -3*t + a. Is t composite?
True
Let p = 1597 - 2322. Let v = p - -1032. Is v a composite number?
False
Let u(i) = -i - 5. Let o be u(-10). Suppose 2*l - 200 - 979 = -q, 584 = l - o*q. Suppose -l = 10*d - 11*d. Is d prime?
False
Let y(p) = 2*p + 14. Let u be y(0). Suppose a = -a - 5*l + u, 2*l - 2 = a. Suppose -2*j - 2*g - 674 = -2668, -a*j + 5*g = -1994. Is j prime?
True
Let w be 1098/3*(-68)/12. Let j = -1339 - w. Let i = j - 436. Is i prime?
False
Let y be 45/6*(-3 - (-99)/15). Suppose -y*o = -32*o + 5815. Is o prime?
True
Let i = -1802930 - -3042487. Is i prime?
False
Let g(w) = -44*w - 7. Let c(r) = -221*r - 35. Let h(n) = -2*c(n) + 11*g(n). Suppose 52 = -2*z + 36. Is h(z) a composite number?
True
Let t(q) = -8451*q + 2873. Is t(-16) a prime number?
False
Let t(d) = 8*d**2 + 34*d + 3. Let x be t(-4). Suppose -2*b = -4*l, 0*l = 4*b - 3*l - 15. Is (-10473)/b*(-7 - x) composite?
False
Let p(c) = 3*c**2 + 13*c + 20. Let t be p(-4). Is 1121/((2/16)/(2/t)) prime?
False
Suppose -2*h + 4*l + 1 = -5, -5*h + l + 33 = 0. Suppose 0 = 5*t + p - 35 + 6, t = p + h. Suppose i = t*i - 1515. Is i composite?
True
Suppose 18*s + 84*s - 73154745 = -303*s. Is s composite?
False
Let c(w) = -4*w**3 + 89*w**2 + 129*w + 259. Is c(-55) prime?
False
Let l(r) be the first derivative of -r**4/4 - 13*r**3/3 - 13*r**2/2 - 10*r + 17. Let x be l(-12). Suppose x*p - 114 = -a, 4*a - 220 = p - 5*p. Is p composite?
False
Let f(x) = 75 + 4511*x - 4499*x - 18. Is f(3) a composite number?
True
Suppose 0 = -4*r + 4, -4*r + 142 = 6*v - 3*v. Let b = 50 - v. Suppose -4*n = -0*u - 2*u - 1768, -b*n - 4*u + 1780 = 0. Is n composite?
False
Let t(l) be the first derivative of 142*l**3/3 - 13*l**2/2 - 15*l + 66. Is t(-4) a composite number?
False
Let c(p) = 2*p**2 - p - 5. Let o be c(-2). Suppose 3*k - 5*u + 5 - 18 =