 a composite number?
True
Let n(d) = d**3 + 39*d**2 + 62*d - 5. Is n(-27) prime?
True
Suppose 8*c + 37803 - 9675 = 0. Is (-1 - c/8)*2 prime?
True
Let c(f) = -f**2 + 7*f - 5. Let z be c(10). Let w be 196/z - 2/5. Is (32 - -2)*w/(-4) prime?
False
Suppose -455 = p - 6*p. Let c be (-3)/6*7*-2. Suppose 4*j = c + 9, p = u - j. Is u composite?
True
Is ((-22)/154)/(2/(-344302)) a prime number?
True
Let g = -10447 + 18500. Is g a composite number?
False
Suppose -2*g - 2*d + 7*d = -19, g - d - 17 = 0. Suppose -3*f + 8*f = -2*a + 30, -3*f + g = 2*a. Suppose -f*i - 1778 = -11*i. Is i a composite number?
True
Suppose 16 = 2*y - 4*d, -y = -4*d - 11 - 3. Suppose 3*z = 5*i - 2233, -z + y*z = 5*i - 2241. Is i composite?
False
Let h be (-4)/8 + 18/4. Suppose 9*f - 880 = h*f. Let x = f - 17. Is x a prime number?
False
Let i be 271 + (6/3 - 2). Let p = 112 - i. Is p/(-7) + 2/7 a prime number?
True
Suppose 2*w - 5981 = 2*h - 3*h, -11926 = -2*h + 5*w. Let u be h/(-12) - 1/4. Let z = u - -713. Is z composite?
True
Let o(s) = -3471*s + 2. Let c(x) = 1736*x - 1. Let q(i) = 7*c(i) + 4*o(i). Is q(-1) a composite number?
False
Let v be (1/((-5)/20))/((-4)/6). Is v*2/3 + (5 - -2624) composite?
False
Suppose 6*i + 171 = 4*d + i, d + 5*i - 49 = 0. Let s be d/3 - (-4)/(-6). Suppose -s*a = -13*a - 143. Is a composite?
True
Suppose -32277 = 15*b - 162252. Is b prime?
False
Suppose -4*t - 8121 = -3*r - 233585, -5*t - 3*r = -281857. Is t composite?
False
Is 5*14/35 + 2331 composite?
False
Let y = 1 - -35. Suppose -1356 = -40*x + y*x. Is x composite?
True
Suppose 0 = 5*h - 1160 + 4215. Let i = 1020 + h. Is i prime?
True
Let q(t) = 524*t**2 + 49*t - 322. Is q(7) a prime number?
False
Let h be (94*2)/(22/(-77)). Let k = -249 - h. Is k a composite number?
False
Let f = -15 - -20. Suppose 0 = k + 2*y + 4, 0*y - y = -f*k + 13. Suppose -5*t + 331 = 4*l, 5*l + k*t - t = 440. Is l prime?
True
Let h(j) = -22*j - 27. Let k = 64 + -69. Is h(k) prime?
True
Suppose -48*v + 794047 = -7*v. Is v prime?
False
Let r = 50799 - 33136. Is r a prime number?
False
Let f(z) be the first derivative of 10*z**2 + 5*z + 5. Let d be f(3). Suppose 276 - d = x. Is x a composite number?
False
Let r = 6289 + -4058. Is r composite?
True
Suppose -4*d + d = -81. Let p be 6/d*6*3. Let f(v) = v**3 + 4*v**2 - v + 3. Is f(p) a composite number?
False
Let p = 2858 - 2019. Is p composite?
False
Suppose -3*j = 15, -u + 5*u + j = 1479. Suppose 39*o - 40*o + u = 0. Is o a composite number?
True
Let l = -28103 + 48042. Is l prime?
False
Suppose -s - s + 8 = 0. Suppose 441 + 139 = s*f. Is f prime?
False
Suppose -3*q - 3 = 0, 0*m = 3*m + 5*q + 497. Suppose -z = 8*z + 2241. Let t = m - z. Is t prime?
False
Let v be 8/16 + (-119)/(-2). Suppose 3*n = -5*a + n + 192, a - v = 5*n. Let r = 93 - a. Is r composite?
False
Suppose 5*k + 3*h - 5*h - 2 = 0, 4 = -3*k - 4*h. Suppose 0 = x - k*x - 1837. Is x a composite number?
True
Suppose -2*p + 878 = 226. Is p composite?
True
Suppose 2*y - 1652 = 29706. Is y a prime number?
True
Let d(n) = 1 + n**3 - 9 - 9*n - 11 - 6*n**2. Is d(8) composite?
False
Suppose -2*q = 5*v - 285963, 171589 = 18*v - 15*v + 4*q. Is v prime?
True
Suppose 0 = 5*m + s - 4348 - 3842, 4*m + 4*s - 6568 = 0. Is m prime?
True
Suppose 0 = 6*l + 100016 - 316874. Is l a composite number?
True
Let l(t) = 21*t**2 - 28*t - 11. Is l(-10) prime?
False
Suppose -8*l + 87017 = -479135. Is l composite?
False
Suppose -169917 = -15*r - 18*r. Is r a composite number?
True
Let g = 71 + -225. Let r = g + 247. Is r a prime number?
False
Suppose 9768 = -4*q - 4232. Let k = 9289 + q. Is k prime?
False
Let q(o) = -52*o + 25. Is q(-4) composite?
False
Let u be 302/(-8) + (-3)/12. Let y(n) = -35*n**2 + 2*n + 9. Let a be y(-2). Let l = u - a. Is l a prime number?
True
Suppose 20 = -4*v - 80. Is 5/v - 18168/(-15) composite?
True
Let v(s) = -s**3 - 9*s**2 + 16*s + 5*s**3 + 1 - 6. Is v(6) a prime number?
True
Let b(p) = -39*p - 6. Let w(j) = -19*j - 3. Let g(l) = 2*b(l) - 5*w(l). Is g(2) a prime number?
True
Suppose -9 - 63 = 3*v. Let t = v + 83. Is t composite?
False
Let s be -2 + (-1)/(2/(-108)). Let m = 30 - s. Let t = m + 43. Is t composite?
True
Suppose -p - 3*p = -4*c - 132, 2*p = 5*c + 69. Let d = 207 + p. Is d composite?
False
Let y(d) = 4*d**2 - 8*d - 1. Suppose -i + m + 12 = 0, 2*m - 3*m = 5*i - 36. Is y(i) a prime number?
True
Let q be (2892/(-14))/(1/(-7)). Suppose -6*y = -6624 + q. Is y a composite number?
False
Suppose 0 = -4*u + 5*f - 2*f + 28, -5*u = 5*f. Suppose 9 = u*y - y. Suppose 4*t + 653 = 3*r, 4*r - y*t = -7*t + 908. Is r prime?
True
Let o be (1156/12)/(3/18). Let r = o - 921. Let v = r - -1070. Is v a prime number?
True
Let n be (160/(-56))/((-2)/7). Let a = 13 - n. Suppose -a*u + 2*o = -635, 420 = 2*u + 5*o - 3*o. Is u a composite number?
False
Suppose -6*b + 2*b - 5*h + 45 = 0, -4*h = -20. Suppose 7*r - 4 = b*r. Suppose -4*o = -3*v - 1319, 0 = v - 1 + r. Is o composite?
True
Let x = -22142 + 56799. Is x composite?
True
Suppose 7*w = -2*w + 9414. Suppose -613 = 5*n + 3*x - 3270, 2*n - w = 3*x. Is n composite?
True
Let m be ((-6)/3 - -3 - 2)*569. Let w = 2902 + m. Is w a prime number?
True
Suppose 0 = -17*u - 70842 + 328001. Is u prime?
False
Let g(f) = 28908*f**2 - 7*f - 15. Is g(-2) composite?
False
Suppose -185*p - v = -184*p - 178990, -5*v = -p + 178960. Is p a composite number?
True
Suppose -7*y + 11*y - 5*u - 71615 = 0, -4*u - 89521 = -5*y. Is y a composite number?
True
Let l(c) = -4 + 0*c + 12 + c + 0*c. Let w be l(-8). Suppose 3*z = -9, 0 = n - w*n + 2*z - 335. Is n a prime number?
False
Suppose -44*k - 30 = -49*k. Suppose 2*u = k*u - 4724. Is u a prime number?
True
Let q = 11967 - 6094. Is q a prime number?
False
Let y(a) = -a**2 - 4*a + 5. Let h be y(-5). Let t(x) = -2*x**3 - 2*x**2 + 449. Is t(h) prime?
True
Let n(k) = -k**3 + 22*k**2 - 13*k - 23. Let y be n(21). Let z = y - -302. Is z a prime number?
False
Let s(m) = m**3 + 7*m**2 + m + 14. Let c be s(-7). Suppose c*w = 4*w + 7083. Is w composite?
True
Let w be 28/8 + 1/(-2). Suppose -4*n = -w*n - 2395. Is n prime?
False
Let o(u) = 12 + 6 - 9 + 505*u. Is o(4) a prime number?
True
Let w(q) = 5*q**2 + q + 1. Let j(i) = i**2 + 7*i - 8. Let r be j(-9). Let x(d) = -d**2 + 11*d - 19. Let k be x(r). Is w(k) a prime number?
True
Suppose -427 - 7449 = -11*s. Suppose -t + s = -795. Is t prime?
True
Let f = -161 - 506. Let o = f + 1049. Is o composite?
True
Let p = 47596 + -27461. Is p a prime number?
False
Let d be (-18)/(-5) + 12/(-20). Suppose d*y - y = 316. Let j = -81 + y. Is j composite?
True
Suppose 2*b + 34 = 364. Let q = b - -566. Is q a composite number?
True
Suppose -65*m - 11*m + 1649276 = 0. Is m a prime number?
True
Let c(k) = 10*k**3 + 25*k**2 - 21*k + 1. Is c(9) a composite number?
False
Let w = 4 + -2. Suppose -10 = -2*v, w*v = -3*k + v + 488. Is k prime?
False
Let g(s) = -16*s**3 + 9*s**2 - s + 43. Is g(-8) composite?
False
Suppose 0*p + 5*p + 15 = 0. Let v be (-112)/2 - (p - -6). Let t = v - -222. Is t a prime number?
True
Let o be 0/(-3) - -4*4. Let r be -76*2/(o/(-50)). Suppose 0*b + r = 5*b. Is b composite?
True
Suppose -2*v + 7 = 4*k + 23, -3*v - 10 = -k. Let y be 15/(-105) - k/14. Suppose y = 5*u - 79 - 91. Is u a composite number?
True
Let s(x) = 18*x**2 + 47*x**2 + 3 + 39*x + 7 - 35*x. Is s(5) a composite number?
True
Let a = -16 + 2. Is (-6)/a - 4358/(-7) a composite number?
True
Suppose 95 = 2*t + 29. Suppose 0 = k - t - 5. Let s = -15 + k. Is s prime?
True
Let l = -623 - -371. Let y = 401 + l. Is y prime?
True
Let p(g) = 38*g**2 - 3*g + 24. Is p(21) prime?
False
Let z be (1 - 5) + 1 + 714/2. Suppose -p = -z - 1027. Is p composite?
False
Let n(t) = 178*t - 1. Let r(f) = 356*f - 1. Let d(l) = 13*n(l) - 6*r(l). Is d(3) composite?
True
Let z = 96 + -84. Suppose 367 = z*r - 15797. Is r composite?
True
Let y = -24 + 34. Suppose y*v = 8*v + 2840. Let m = v + -1001. Is m prime?
True
Suppose 4*x - 3*u + 402 = 0, -u = x - 6*u + 92. Let z = x - -2197. Is z prime?
False
Is (429585/(-78))/(1/(-2)) composite?
True
Let u(z) = -z**3 - 8*z**2 + 21*z + 12. Let m be u(-10). Suppose 5*p - 4*c = 553, p - m*p = -c - 110. Is p a prime number?
True
Let r = 12 + 0. Suppose 10*x - r*x = -1174. Is x a prime number?
True
Let g = 9 - 12. Let h be g/1 - (0 + -11). Let f