Let w(u) = 93*u**2 - 10. Suppose -27 = 3*l - 6. Is w(l) a prime number?
True
Let p(j) = -3*j + 9. Let o(k) = 2*k + 2. Let h(i) = i**2 + 12*i - 3. Let u be h(-12). Let r be o(u). Is p(r) composite?
True
Suppose l - 5995 - 1266 = 0. Is l composite?
True
Let n = -8455 - -20232. Is n prime?
True
Suppose 9*f - 4*f - 4045 = 5*o, 0 = -5*f + 20. Let v = o + 1968. Is v prime?
True
Suppose -j - h = j - 6287, -5*j - 2*h = -15719. Suppose -7*p + 4464 = -j. Is p a prime number?
True
Let q(m) = -m + 13. Let g be q(5). Let w(l) = 108*l**2 + 22*l - 19. Is w(g) a prime number?
True
Suppose 8*t - 20945 - 39303 = 0. Is t a composite number?
True
Suppose 5*k = 3*k. Suppose k = x - 5*x + 28. Suppose b = 4*n - 3543, 2*n = x*n + 2*b - 4445. Is n a composite number?
False
Let z(p) be the third derivative of -649*p**4/8 + 5*p**3/6 + 33*p**2. Is z(-2) prime?
False
Suppose 3*n = -5*g + 32, -2*g + 3*n = 2*n - 4. Suppose -g*j - 8 = -0*j, 4*v - 11694 = 5*j. Is v a prime number?
False
Suppose 0 = -3*f - h + 1, 0 = f + h + h - 2. Suppose z - 140 - 187 = f. Is z composite?
True
Let n(x) = 707*x + 162. Is n(23) composite?
True
Let o(y) = y**3 - 3*y**2 + y. Let d be o(3). Suppose 317 + 454 = d*j. Is j a prime number?
True
Suppose 11*x - 160855 = 10954. Is x composite?
False
Let k = 14 - 18. Let u be k/(8/358)*-1. Is -3*(-1)/3*u prime?
True
Suppose -2*j + 774 = 4*c, -j - 3*j = -3*c + 553. Let d(v) = 5*v - 30. Let b be d(6). Suppose b = 2*p - 3*p + c. Is p a composite number?
False
Suppose -13 + 23 = 5*d. Suppose 0 = -3*a - d*a - 20, -3*a = -4*l + 248. Is l composite?
False
Let g(d) = -26*d**3 + 5*d**2 - 8*d - 17. Is g(-4) composite?
False
Let i = 8305 + 1126. Is i prime?
True
Let s(d) = d**2 - 3*d - 23. Let x be s(11). Suppose 5*l + b + x = 6*l, -2*l + b + 134 = 0. Is l a composite number?
True
Suppose 0*h = 4*h - 8*h. Is -20 + 22 + 552 + (-1 - h) prime?
False
Let q(n) = n**3 - 17*n**2 - 12*n + 31. Is q(21) a prime number?
True
Suppose 13*j - 11980 = 3*j. Is j a prime number?
False
Let c(d) = -d**2 + 16*d - 21. Let n be c(9). Is 0 - ((-6)/14 - 50424/n) prime?
True
Suppose 5315 = 3*t - 5*j, -4*j + 3580 = 2*t - 0*j. Suppose 5*z - 2065 = t. Is z a composite number?
False
Let r(t) = -t**3 + t**2 - 2. Let l be r(1). Is (l + 5 - 2/1) + 1281 a prime number?
False
Suppose 5*z - 530 = -5*h, -3*h = -5*h + 2*z + 208. Let x = 192 - h. Is x a composite number?
True
Let s(c) = 197*c**2 + 62*c + 448. Is s(-7) a prime number?
False
Is 7 - 3 - 5/(5/(-1674)) composite?
True
Let k(w) = 41*w**2 - 13*w + 7. Let p be k(9). Let z = p + -1668. Is z prime?
True
Let z(u) = 11*u**2 + 26*u - 8. Is z(9) a prime number?
True
Let m be (1*(-7)/(-4))/(29/(-348)). Let s = m + 500. Is s a prime number?
True
Let p(c) be the first derivative of -15*c**4 + c**3 - c**2/2 + 7*c + 24. Is p(-4) prime?
False
Let y be 3 + (2/(-1))/(-6)*-1137. Let i = 593 + y. Is i a prime number?
False
Let f be -4 - (-13340)/15 - 2/(-3). Suppose -6*r - k + 1773 = -4*r, r = -k + f. Is r composite?
False
Let j = -135384 + 191633. Is j prime?
True
Let s(v) = -1562*v**3 - v**2 + v - 1. Let l(h) = 6249*h**3 + 4*h**2 - 5*h + 5. Let j(f) = 2*l(f) + 9*s(f). Is j(-1) a composite number?
True
Let z = 4216 + -1793. Is z a prime number?
True
Let y(n) = 76*n - 257. Is y(42) a composite number?
True
Let m(b) = -2*b - 3. Let p be m(-2). Suppose 0 = -31*s + 16 - 78. Is -113*(s + p)*1 composite?
False
Is (-528207)/(-81) + (-2)/27 composite?
False
Is (-92706)/(-24) + 4*1/16 prime?
True
Let p(t) = -t**3 + 5*t**2 - 2*t. Let r be p(2). Let s(v) be the third derivative of v**6/120 - 7*v**5/60 - 7*v**4/24 + 11*v**3/6 + 5*v**2. Is s(r) prime?
True
Let f(g) = 28*g + 7. Let d be f(5). Suppose 0 = -0*m + m - d. Suppose 7*j - 70 - m = 0. Is j a composite number?
False
Let w be (-54)/(-7) - (-4)/14. Suppose 5*r = 5*t + w - 33, -5*t + 25 = 0. Suppose r = -0*k + k - 1157. Is k composite?
True
Suppose -2 = d, -2428 - 3454 = 4*p + 5*d. Let g = -824 - p. Suppose -n = b - g, -7*n + 2549 = -3*n - 5*b. Is n a prime number?
True
Is (10/30)/(6/875358) a composite number?
True
Let b = 2690 + -4847. Is (-2)/((-6465)/b - 3) a prime number?
True
Suppose c + 6 = 240. Let y = 791 - c. Is y a prime number?
True
Is 1/6 - 350149/(-102) a composite number?
False
Let t(w) = 39*w + 11. Let b be t(-6). Is (-2 + 1)*(b - 0) prime?
True
Let n(g) = -52*g + 4. Let k(t) = 52*t - 3. Let c(r) = -4*k(r) - 3*n(r). Let f be c(-1). Is (-8)/f - (-4242)/26 prime?
True
Let t be -4 - (0 + 1) - (0 - 0). Is 2*20/16*(-166)/t prime?
True
Suppose -366*g - 1738 = -377*g. Is g a composite number?
True
Let n be 9/2*(-28)/42. Let q be -15*n*(-80)/(-75). Is -2 + q*(-6)/(-2) a composite number?
True
Let i(t) = t**3 - 3*t**2 + t - 1. Let f be i(3). Let h be (f/(-3))/(7/(-21)). Suppose h*r + 130 = 7*r. Is r composite?
True
Suppose 748*j - 741*j = 133343. Is j prime?
False
Let o be 5*3/(-6)*-2. Let p(s) = 66*s**2 - 5*s + 8. Is p(o) a prime number?
False
Let n = 6538 + -1377. Is n prime?
False
Let t(z) = 938*z - 29. Is t(2) prime?
True
Suppose 3*p + 4*p - 70203 = 0. Is p prime?
False
Let l = 4661 - 6593. Let i be l/(-30) + (-3)/(-5). Suppose -r = 4*r - i. Is r composite?
False
Let g be 27/3 + -6 + 5. Suppose 3*w - w + 5*x = 2, 3*w + 2*x + g = 0. Let o(s) = -2*s**3 - s**2 - 2*s - 1. Is o(w) composite?
True
Let v = 2 - -5. Let a = v - -82. Is a a composite number?
False
Let p = -2965 + 421. Is 2/14 - p/28 composite?
True
Let s be (9/(-15))/(1/(-5)). Suppose -s - 3 = x. Let w = x + 28. Is w composite?
True
Suppose 5*u = 1793 - 328. Is u a prime number?
True
Let z be 2 + -2 + (-9)/3. Let q be ((-4)/(-10))/(z/(-15)). Suppose -m - 2*o = m - 166, 4*m - q*o - 308 = 0. Is m a prime number?
True
Suppose p - 9 = -3. Let g be (2 - p - -3)/1. Is 73 + 7 + g + 0 prime?
True
Suppose 4*t - 3*g - 3 = 0, 3*t - 3*g = -7*g + 21. Suppose -u = t*u - 920. Let a = 379 - u. Is a a prime number?
True
Let x = -16 - -24. Suppose x*n = 3*n + 10765. Is n a prime number?
True
Let v be 5 + (3 + 0)/(-1). Let r be (-7 - -1)/(v/(-2)). Is (-1)/r + (-1478)/(-12) a composite number?
True
Let o = 8 + -5. Suppose -o*a + 12 = -a. Let g(i) = 9*i**2 - 13*i + 3. Is g(a) prime?
False
Let n be 1793/4 - 11/44. Let m be n/98 - 8/14. Suppose -2*v + 1730 = -m*q, 0*q + 4*q = 3*v - 2593. Is v composite?
False
Let w = -221 - -6348. Is w composite?
True
Let x = -5 - 5. Let y = x + 3. Is (-668)/12*(y - 2) a composite number?
True
Suppose -z + 36873 = -3*m - 21650, 4*z - 2*m = 234092. Is z composite?
True
Suppose 2*h + 15 = -5*b, -3*b = -3*h + 14 + 16. Suppose -395 - 817 = 2*v - 5*y, -h*v - 2*y - 3059 = 0. Is (3 - v/1) + -1 composite?
False
Let x = 7024 - 11870. Let s = -1637 - x. Is s a composite number?
False
Suppose -18*p + 9153 = -15*p - 2*j, 3*p = -5*j + 9174. Is p a composite number?
True
Suppose 0 = -3*c + 32179 + 96788. Is c prime?
True
Suppose 5 = -4*p + 25. Let f(m) = 0*m + 3*m**3 + m - 5*m**3 - 3*m**2 + p. Is f(-6) prime?
False
Let s be 0*(5/20 - (-6)/8). Suppose 2*r + m = 1596, s = 4*r + 4*m + 580 - 3768. Is r composite?
True
Let y(g) = -g**2 - g + 8. Let c = -8 - -5. Let o be y(c). Suppose -n = -w + 3*n + 243, o*w - 551 = -5*n. Is w a composite number?
False
Let m = -5588 + 18541. Is m composite?
False
Suppose -22*c - 81202 = -24*c - 4*x, 0 = -c + 2*x + 40601. Is c a prime number?
False
Let k(l) = 10*l**2 + 3*l + 4. Let u be (-30)/(-4) + (-3)/2. Let z be k(u). Suppose y - z = -y. Is y prime?
True
Suppose 5*h - 77456 = w, -5*w = 2*h + h - 46468. Is h prime?
False
Let q = 64249 - -234. Is q composite?
False
Let q(h) = 2*h**2 - 21*h + 13. Let t be q(14). Let r = -43 + t. Let b = r + -10. Is b prime?
False
Suppose 411 = 6*a - 2079. Let n be -6*((-278)/4 - 2). Suppose -o - a = -6*o - 5*x, n = 5*o - 2*x. Is o composite?
True
Suppose 0 = -45*u + 28832 - 3407. Is u a prime number?
False
Let v = -465 - -1413. Suppose -3*y + 5*m = -1211, m + 271 + v = 3*y. Is y a composite number?
True
Suppose j - 4158 = -3*a, -5*j - 4140 = -6*a + 3*a. Is a prime?
False
Let i be (4332/2 - 0)*-1. Let v = -1465 - i. Is v composite?
False
Let d = -1468 - -2581. Suppose 881 = 2*k - d. Is k a prime number?
True
Let k(v) = 403*v + 25. Suppose 2 = -f + 3*y, 2*f = 6*f - 4*y - 16. Is k(f) composite?
True
Suppose 0 = -5*z + 5615 + 12575. Suppose 6*m = 4*m + z. Is m a prime number?
False
Let i =