c**3 - c - 1. Let x(p) = j(p) - 3*v(p). Let u = -16 + 8. Is x(u) a prime number?
True
Let a = 37 - 27. Let k(z) = -z**3 + 11*z**2 - 9*z - 7. Let m be k(a). Is 67/m + 2/3 composite?
False
Let r = 28 - 26. Let z(i) = i**3 - i**2 - i + 2. Let f be z(r). Suppose -3300 = -f*p - 1072. Is p prime?
True
Suppose -b - 2*q - 12 = 0, -3*b + 4*q + 2 = -12. Let k(f) = -235*f + 8. Is k(b) prime?
False
Suppose 5*a - 486 - 664 = 0. Let u = 351 - a. Is u composite?
True
Let s = -202 - 1226. Let u = s + 3577. Is u composite?
True
Suppose 0 = -2*l - 17 - 3. Let o(f) = f**3. Let a(n) = -4*n**3 - 4*n**2 - 13. Let u(b) = a(b) + 3*o(b). Is u(l) a composite number?
False
Let d(c) = 1650*c - 113. Is d(7) a composite number?
False
Suppose -6*k - 2067 = -13833. Is k composite?
True
Let k(x) = -x**2 + 51*x - 47. Is k(42) a composite number?
False
Let q = -551 - -2730. Is q a prime number?
True
Let c(n) = -10*n + 46. Let f be c(5). Is 1174*((-14)/f - 3) prime?
True
Suppose 14*o + 23311 = 3*y + 10*o, -4*y - o = -31094. Is y prime?
False
Suppose -4*f = -2*o - 16188, -5*f + 3*o + 20229 = 2*o. Is f a prime number?
False
Suppose -y - 228 = -13*y. Is y a prime number?
True
Let p be (-196 - -1) + -3*1. Let r be -1 + (2 - 1) - -53. Let l = r - p. Is l prime?
True
Let w be -13*2 - -1 - 0. Let s = w + 227. Is s a prime number?
False
Suppose 4*l + 2 + 10 = 0, 0 = -3*g - 4*l + 24. Let n(h) = 370*h - 49. Is n(g) prime?
True
Suppose -24*i + 36*i - 441996 = 0. Is i prime?
True
Suppose p = -0*p - 2*v + 74215, -2*p + 2*v + 148412 = 0. Is p a prime number?
True
Suppose 3*c + 2*t + 3*t - 10 = 0, c - 6 = -t. Is c/45 + (-11426)/(-18) prime?
False
Suppose -64*s - 1553 = -65*s. Is s prime?
True
Let l(w) = 14*w**2 - 77*w - 43. Is l(34) prime?
True
Let l(c) = 4*c**2 + 60*c + 19. Is l(26) a composite number?
False
Is (-3 - (-4209910)/115) + (-6)/(-69) a prime number?
False
Let f be (-2 - 2/(-2))/(-1). Let k be (0 + (1 - 1))/f. Is (1 - -52)*(1 + k) prime?
True
Suppose 4*y = -y - 10. Let t be (-2)/y*(-2 + 408). Suppose 2*a = 3*c - 203 - 406, -t = -2*c + 5*a. Is c a composite number?
True
Let c(j) be the second derivative of 3*j**5/20 - j**4 + 7*j**3/6 - 7*j**2/2 + 13*j. Let o be c(9). Let g = 1906 - o. Is g a composite number?
True
Let y be (95 - 0/(-3) - -2)*-8. Let c = 21 - y. Is c a composite number?
False
Let n = -33831 - -57178. Is n a composite number?
True
Suppose -p - b + 1534 = 0, 42*p - 40*p = -b + 3071. Is p composite?
True
Suppose s = -2*p - 5, -4*p + 7 = 4*s - 5*p. Is 4/(-18) - 11362/(-18)*s composite?
False
Let o(c) = -c**2 - 12*c - 17. Let x be o(-10). Suppose x*u - 14 + 47 = 0. Let d(r) = -15*r + 12. Is d(u) prime?
False
Suppose 6*q + 31 - 7 = 0. Let z(s) = 34*s**2 + 9. Is z(q) composite?
True
Let y(d) = -d**3 - 10*d**2 + 2*d + 22. Let m be y(-10). Suppose 0 = -3*g - 4*u + 5*u + 194, -5*g + 323 = -m*u. Is g a prime number?
False
Let p(j) = 856*j**2 - 2*j - 1. Is p(-2) a composite number?
True
Let g = 1389 + 14860. Is g a prime number?
True
Let q(z) = 5866*z - 379. Is q(8) composite?
False
Suppose 0 = 3*d + 2*i - 6543, -4*d + 2*i = -2*d - 4352. Is d composite?
False
Suppose -14*c = -10*c. Suppose a + 4*a - 43335 = 4*z, 5*a - 3*z - 43330 = c. Is a prime?
True
Suppose -46*q + 42*q + 13724 = 0. Is q composite?
True
Suppose 184*j + 5156 = 183*j. Let t = j - -9423. Is t prime?
False
Suppose -13*k - 23 = -14*k. Suppose 5 = -6*m + k. Suppose -4*u - 1073 = -3*z, -357 = -z - m*u + 4*u. Is z a prime number?
False
Is 51804/(-27)*6/(-8) a prime number?
True
Let q(b) = 2*b**2 + 26*b + 1. Suppose -5*t = -2*g + 11 + 30, -4*g + t + 55 = 0. Is q(g) composite?
False
Let g = 1701 - 1189. Let h = g - -45. Is h a composite number?
False
Let h(n) = -147*n - 37*n + 41*n + 1. Let o be h(-2). Suppose 138 = 5*t - o. Is t prime?
False
Let m(l) be the third derivative of l**5/60 + l**4/4 + 2*l**3/3 - 4*l**2. Let s be m(-6). Suppose -g = -s*g + 669. Is g a composite number?
False
Let h be (-15022)/(-5) - -1 - (-27)/45. Suppose 0 = 2*p + 44 - h. Is p a prime number?
True
Let c = 3 + 37. Let r be (-106)/901 + (-70)/(-17). Suppose c = -2*t + s + 370, -3*t - r*s + 473 = 0. Is t a prime number?
True
Let h(a) = a**3 - 9*a**2 + 3*a + 6. Let m be ((-14)/(-4))/(2/4). Let x be h(m). Let g = x + 217. Is g prime?
False
Let y(s) = 40*s + 3. Let q(w) = 2*w**2 + 7*w + 6. Let c be q(-6). Let u be ((-8)/(-12))/(8/c). Is y(u) a composite number?
True
Suppose 3*i = -5*q + 376, -6 + 16 = 5*i. Suppose 2*k = 68 + q. Suppose d - k = 414. Is d prime?
False
Let t be 3 + (0 - 1) - -2. Suppose -n - 386 = -t*n - 5*o, -4*o = -2*n + 250. Is n a composite number?
False
Suppose -31*w = 4*b - 27*w - 12656, 0 = -4*w + 12. Is b a composite number?
True
Is (-299642)/(-56) - 12/(-48) prime?
True
Suppose -7*d + 1280 = -3*d. Let m = 533 - d. Is m a composite number?
True
Let w(n) = -15*n + 1. Let h be w(-2). Let z = h + 48. Is z composite?
False
Let l be (-4)/6*(-138)/1. Suppose -l = -y - 27. Is y a prime number?
False
Suppose 41*s - 12404 = 13*s. Is s a composite number?
False
Suppose -9*p + 8*p - 6 = 0. Let v(n) = 11*n**2 + 3*n + 19. Is v(p) composite?
False
Is ((-372)/310)/(1 - 3297/3295) prime?
False
Let l = 96 - -772. Is (-30)/(-4)*l/6 - -2 composite?
False
Suppose -5*m = -q + 3, -m + 5*q - 13 - 2 = 0. Suppose r - 12 + 1403 = 2*f, -3*f + 5*r + 2076 = m. Is f a composite number?
True
Suppose 0 = 5*h - 5*q - 15275, -9 - 1 = -2*q. Let v = 5367 - h. Is v composite?
True
Let p = -346 - -596. Suppose 5*k - 63 = -23. Is p + 2/(k/12) composite?
True
Is (-10)/6*(-43463 - 94) a composite number?
True
Suppose 2*a - 11283 = k, -26317 = -5*a - 2*k + 1868. Is a a composite number?
False
Let y = -3451 - -2138. Let r = y + 2596. Is r a composite number?
False
Suppose -5*c + 0*q = 2*q + 15, -5*q + 15 = 2*c. Let w = c + 8. Is w prime?
True
Suppose -8*w = -14519 - 9569. Is w a composite number?
False
Is (-9)/(-21) - (-356600)/35 a prime number?
False
Suppose 5*r + 25 = 0, -19*r = -2*n - 20*r + 32717. Is n composite?
False
Suppose -d + 16185 = n, -5*d - 64726 = -9*d + 3*n. Is d a composite number?
False
Let n(x) = -34*x. Let o(b) = -b**2 + 2*b + 7. Let y be o(4). Is n(y) a prime number?
False
Suppose -126*d + 456537 = -33*d. Is d a prime number?
True
Let s(h) = 578*h**2 - 4*h - 51. Is s(-8) a prime number?
True
Let u be -3*(3 - (-90)/(-5)). Let f = u - 24. Is f composite?
True
Let w(s) = -s**3 - 4*s**2 + 3*s. Let z be w(-5). Let r be (-6)/z - 25680/(-50). Suppose 4*u - c - r = -2*c, 5*c - 279 = -2*u. Is u a composite number?
False
Suppose -4535 = -3*s - 1604. Is s prime?
True
Let b(v) = 97*v + 1. Let q be b(1). Suppose 4*a + 155 = a - 2*c, 5*c = 3*a + 148. Let m = q + a. Is m composite?
False
Let h(f) = 542*f**2 - 1. Let s(t) = -t**2 - 4*t - 2. Let b be s(-3). Is h(b) a prime number?
True
Let x(i) = i**3 + 3*i**2 - 14*i - 11. Let u be x(-5). Suppose u*a + 1804 = 12703. Is a a composite number?
True
Let k be (-175)/(-2*1/4). Let m = -191 + k. Is m a composite number?
True
Let z be (-316)/(-12) + (-6)/(-9). Let t = -21 + z. Suppose 100 = t*s - 2*s. Is s a prime number?
False
Suppose -17077 = -3*c + 6113. Suppose p + c = 3*p. Is p prime?
False
Let q(f) = -5*f**2 + f + 2. Let r be q(-7). Let a be r/(-8) - 12/(-16). Let p = a - 17. Is p prime?
False
Let d be (30/(-9))/(8/(-12)). Suppose -5*w - 5*g + 40 = -0*g, -d*w = -4*g - 13. Suppose -o + 2*u + 3462 = 3*o, -4*o - w*u = -3427. Is o composite?
False
Suppose -2 = 5*o - 32. Let q be o/(-8) - 19/(-4). Suppose -4*h - 164 = -3*v + 513, -q*v + 902 = -5*h. Is v prime?
True
Let v be 4/10 + (-3)/(-5) + -5. Is (52/8 - 1)*(-472)/v composite?
True
Let g(l) = 7*l**2 + 0*l**2 - 11*l + 2 - 7. Let a(f) = 7*f**2 - 10*f - 5. Let d(w) = 6*a(w) - 5*g(w). Is d(-2) composite?
True
Suppose -a - 41 = -4*a + o, 55 = 5*a + 5*o. Suppose -8*g - 4595 = -a*g. Is g composite?
False
Let v be (-260)/6*3/2. Suppose 2*q = -4*p - 3 + 345, 0 = 4*p - 5*q - 321. Let d = p - v. Is d prime?
True
Let s(m) = -m**3 - 33*m**2 - 37*m + 146. Is s(-47) a prime number?
False
Let z = 725 - 399. Is z prime?
False
Suppose 2*b + 2*c = -3*c - 11, 0 = 3*b + 2*c. Suppose 83 = b*o - 43. Suppose 0 = g - o + 8. Is g a prime number?
False
Let s(y) = -10*y**2 + 8 - 9*y + 0*y - 11*y**3 - 5*y. Is s(-7) a composite number?
False
Let m(z) = z**2 + 15*z + 16. Let h be m(-15). Let a