3*t = -27*t - 39174. Is t a prime number?
True
Let q be (17 - (-3 - -4))/(-1). Let v(z) = -z**3 - 5*z**2 - 4*z + 1. Let u be v(-3). Let o = u - q. Is o composite?
False
Suppose -3*c - 3*g + 528 = 0, -2*g = -7*c + 2*c + 887. Is c a composite number?
True
Let z = 68 + -67. Is (-1)/((-4)/38104) + z a prime number?
False
Let o(t) = -2*t**3 + 1. Let d be o(-1). Suppose 4*j - 3*w = 13 + 30, d*w = -2*j - 1. Suppose -5*u + j*u = 106. Is u composite?
False
Suppose 9*n = 62397 + 60444. Is n composite?
False
Suppose -20*b + 16*b = -20. Suppose p - 3*d = 1529, -b*p + 5382 + 2297 = 2*d. Is p composite?
True
Let l(p) = -1. Let f(n) = n**3 - 5*n**2 + 3*n - 7. Let b(r) = f(r) - 3*l(r). Let c = 13 - 6. Is b(c) prime?
False
Suppose -29*m - 3770 + 136039 = 0. Is m a prime number?
True
Let k = 25 - 23. Suppose 0 = d + k*l - 138, -l + 5*l = d - 126. Is d prime?
False
Let c(a) = -261*a - 2. Let u = -8 - -14. Suppose 4*d - 2 = -u. Is c(d) a composite number?
True
Let y = -116 - -281. Suppose 385 = 3*v - 809. Let r = v - y. Is r a composite number?
False
Let w(y) = -y**2 + 13*y + 14. Let h be w(14). Is (-16 - -17) + 1530 + h a prime number?
True
Suppose 3*v = -5*c + 5067 + 4630, 4*c - 7764 = 4*v. Suppose 3*k + k - c = 0. Is k a prime number?
False
Suppose 9*j - 27898 = -17*j. Is j prime?
False
Let z(n) = -n - 94. Let y be z(18). Let r = y + 261. Is r prime?
True
Suppose 0 = 5*n + 15, -n - 1075 = -4*u + 1620. Is u a composite number?
False
Let t = -12378 + 46789. Is t prime?
False
Let w(s) = 2*s**3 - 24*s**2 + 6*s + 14. Let h be w(16). Suppose 0 = -u - 2, 2*u - 615 = 3*q - h. Let m = -314 + q. Is m composite?
False
Suppose -3*w = p - 12, 12 = 3*w + p - 6*p. Suppose 0 = 26*x + 2*x - 1204. Suppose -4*v - x = 3*a - 356, v + w*a - 62 = 0. Is v composite?
True
Is (-10)/(-2)*(6 + (-122616)/(-40)) composite?
True
Let i(y) = y**3 - 31*y**2 + 46*y - 9. Let f be i(31). Suppose 5*k - f = 1878. Is k a prime number?
True
Suppose 8*n - 8677 = -2429. Is n composite?
True
Let p(a) = 1516*a**2 + 4*a - 7. Is p(3) a composite number?
False
Let l(r) = -210*r**3 - 14*r**2 + 22*r + 3. Is l(-5) composite?
False
Let f = -23858 - -35745. Is f prime?
True
Suppose -698 = 3*t + 2*a, 4 - 2 = a. Let l = -66 + t. Let q = -47 - l. Is q a prime number?
False
Let o(z) = z**3 - 12*z**2 - 7*z + 13. Let s be o(12). Let y = s + 49. Let r = y - -171. Is r composite?
False
Suppose 0 = 3*m + t - 31, -2*t + 4*t = -3*m + 35. Let j(d) = d**3 - 9*d**2 - d + 13. Let r be j(m). Suppose -3*f = -r*f + 97. Is f a composite number?
False
Suppose 3 = 5*x + 13. Let v(z) be the second derivative of 61*z**4/12 - 2*z**3/3 - 5*z**2/2 + 6*z. Is v(x) a prime number?
False
Suppose -2*o - o - 6 = 2*g, 6 = -o - 2*g. Let l(q) = q**3 - q**2 + 71. Is l(o) composite?
False
Suppose 93*u - 70*u - 472351 = 0. Is u a composite number?
True
Let r(h) be the first derivative of -h**4/4 - 17*h**3/3 + 5*h**2 - 17*h + 3. Is r(-18) a prime number?
True
Let w(o) = 2*o**2 - 5*o - 9. Let y be 6/(-21) - 9244/(-14). Let d be y/(-105) + (-2)/(-7). Is w(d) composite?
True
Is 52/182 + (-191441)/(-7) prime?
False
Let o(n) be the second derivative of -n**7/2520 + 11*n**6/720 + 7*n**5/120 - 5*n**4/12 - 8*n. Let a(j) be the third derivative of o(j). Is a(6) prime?
True
Let i be (1 + 0)*(-3 + -6). Is 24/108 + (-5011)/i prime?
True
Let d(b) = -18*b**3 - 7*b**2 - 5*b - 1. Suppose -2*i = -10*i - 32. Is d(i) composite?
True
Let z be (146/(-3))/((-2)/12). Let r = 623 - z. Is r a prime number?
True
Let j = -87 - -90. Is 983 - (j - (4 - 5)) composite?
True
Let g(o) = -o**3 - 14*o**2 + 12*o + 4. Let d be g(-15). Suppose -k + d = v - 3*k, 3*v - 126 = -k. Is v a prime number?
True
Let k be (47/4)/(5/80). Suppose -j - 2 = -1, k = h - j. Is h a prime number?
False
Let u = 58 + 104. Suppose 3 = 3*z - 264. Suppose -s = -z - u. Is s prime?
True
Suppose -3*a + 3*q = 3963, 5*a + q - 4*q = -6597. Is (-7 - -1)/24 - a/4 composite?
True
Let j be (40/50)/(2/(-45)). Is 30/135 - 986/j prime?
False
Let v = 3134 + -1083. Is v prime?
False
Let g(r) = -30*r**3 - 2*r**2 - 13*r - 9. Is g(-4) a composite number?
False
Let x(p) = -311*p + 148. Is x(-17) a composite number?
True
Let w = 22 + -18. Suppose 0 = -w*t + 626 + 450. Is t a prime number?
True
Let a(p) = -2324*p + 283. Is a(-5) composite?
False
Suppose 289210 = 15*a - 5*a. Is a prime?
True
Let a(d) = 2*d**2. Let q be a(3). Suppose 2*k - 1280 = q. Is k composite?
True
Let y(z) = 2 + 7*z - 7 - 10*z - z**2 - 6*z. Let p be y(-8). Is -3 - (p - 8) - -116 a prime number?
False
Let t = 14 - 19. Let j be -6 + 9 - 1*t. Suppose h = j + 14. Is h a prime number?
False
Let p(y) = 121*y**2 - y. Let f be p(-1). Let d = -49 + -24. Let h = f + d. Is h prime?
False
Let b be 6/2 - (-64)/(-16). Is (b + 15)*370/20 prime?
False
Let p be ((-70)/(-6))/((-2)/(-306)). Let n = p - 1154. Is n composite?
False
Let i be ((-1831)/(-1) - (6 + -2))*-1. Is ((i/(-12))/(-3))/((-1)/4) prime?
False
Let a(f) = 82*f**2 + 5*f + 5. Is a(-6) composite?
False
Let j(x) = -4*x + 24. Let d be j(0). Let b be (-12)/10*(-80)/d. Suppose 0 = -b*r - 109 + 681. Is r composite?
True
Is 1*1717*-12*(-12)/144 a prime number?
False
Let o(l) be the third derivative of l**6/24 - l**5/15 + l**4/12 - 5*l**3/6 + 5*l**2. Is o(4) a composite number?
True
Let c(k) = -k**2 - 8*k - 10. Let l be c(-6). Suppose -h + 424 = 2*w + l*h, 226 = w + 5*h. Is w a composite number?
True
Let l(x) = -21*x + 13. Let i(q) = 10*q - 6. Let b(a) = 13*i(a) + 6*l(a). Let y be b(4). Suppose -r + 26 = z, z + 2*r + r - y = 0. Is z a prime number?
True
Let f = 3 - -4. Let z(q) = 16*q**3 - 6*q**2 + 2 - 11*q**3 - 4*q**3 - 2*q. Is z(f) composite?
False
Suppose 2*p + 3 = -1. Let v be p - (3 - (7 - -2)). Suppose -v*c + 219 = -137. Is c prime?
True
Let k = 4 + 37. Let z = -36 + k. Suppose 2*w = -z*u + 609, -2*w - u + 306 = -w. Is w a prime number?
True
Let o = -5337 + 7496. Is o composite?
True
Let x be 2/((-8)/4) - -8. Suppose -2*c = 4, -4*f - x = 2*c - 3. Suppose -h + 37 = -f*h. Is h a prime number?
True
Let i = 4696 + -2731. Suppose -20*z + 5*z = -i. Is z a composite number?
False
Suppose -h + s = -243, -3*h + 2*h = -3*s - 253. Suppose -h = l - 2*y - 1367, 2*y - 1137 = -l. Is l a prime number?
False
Let z = 66 + -63. Is (2 + -2)/z - (-1385)/1 prime?
False
Let c be 6*1/(-4)*6. Let i(r) = r**3 + 13*r**2 + 12*r - 13. Is i(c) a composite number?
True
Let s(q) = 528*q**2 + 22*q + 3. Is s(-5) a composite number?
False
Is 11 + -94158*(2 - 3) composite?
False
Let r(x) = -x + 18. Let j be r(15). Suppose -j*n + 11 = 2. Suppose -n*a + 4 = -k, a = 3*k - 4*k + 16. Is k a prime number?
True
Let q = 1933 + -1026. Is q composite?
False
Suppose -18*n = 4*n - 113102. Is n a composite number?
True
Let g(v) = -v**3 - 6*v**2 + v + 5. Let o be g(-6). Let l(p) = 3*p**2 + 2*p + 1. Let f be l(o). Suppose 3*t + 1045 = 4*y, -f*y + 540 = 4*t - 2*t. Is y prime?
False
Let b be 200 - (-1 + (-2)/1). Suppose -m + 4*d = -b, m - 2*d - 218 = -d. Is m a prime number?
True
Let s(x) = 2*x + 18. Let w be s(-8). Suppose 3*d + w*d = 190. Is d composite?
True
Let m = 1 - -1. Suppose -m*u + 6*u = 3132. Let f = u + -232. Is f a prime number?
False
Let y = -13518 + 27029. Is y a prime number?
False
Suppose 169 = -5*i - 136. Let o be i/(-4) + 9/(-36). Let w(f) = 57*f + 10. Is w(o) a composite number?
True
Let d(h) = 50*h**3 - 7*h**2 - 28*h - 39. Is d(8) composite?
False
Suppose 7 + 2 = 3*k. Suppose 5*d = k*u + 43, 3*u - 4*d + 0*d = -41. Let t = 202 + u. Is t a composite number?
False
Suppose -2*j + 8 = -2. Let y(r) = r. Let g be y(j). Suppose g*l - 22 - 37 = -2*c, -6 = 2*l. Is c a composite number?
False
Suppose 5*v = -4*o + 18541, 4*v - o + 9138 = 23975. Is v prime?
True
Suppose 0 = -111*l + 101*l + 27190. Is l prime?
True
Let g = -2 - 2. Let z = 61 + -62. Is z - (12/g + -11) composite?
False
Let m = -37 - -40. Suppose -9 = -m*l, 8*b - 5*b - 5*l = 246. Is b a composite number?
True
Suppose -d = 2*k - 16309, 3*d + 750 = -4*k + 49687. Is d prime?
True
Let w(y) = -2219*y - 6. Is w(-5) a composite number?
True
Let i be 6/(-39) + (-193)/13. Let u = -17 - i. Is (1/u)/(1/(-1106)) prime?
False
Let j(m) = m + 7. Let w be j(-5). Suppose -2*v = 5*u - 62, 2*v + 44 = 4*u - w*v. Is (-1514)/(-22) + u/66 a composite number?
True
Suppose 0 = -2*r + j + 135, -2*r - 2*j - 339 = -7*r. S