 3*c**2 + 3*c - 5. Is k(m) a composite number?
True
Let j(d) = 54*d + 2. Let s be j(-1). Let a = -47 - s. Is (-3247 + 1)/(25/a + -7) a prime number?
False
Suppose -5480 = -5*h - 2*g + 6*g, 0 = -3*h + 3*g + 3291. Let m = 2095 - h. Suppose -6*z + m = -143. Is z prime?
True
Suppose -37*w + 40*w - 9 = 0. Suppose -21 = 4*m - w*m. Is (-8 - 68604/m) + 2/14 a prime number?
True
Let y be (0 + -49)*-1 - 0. Let c(t) = -16*t + 193. Let g be c(13). Let n = y + g. Is n composite?
True
Suppose 0 = -2*c - 14622 + 68924. Is c prime?
False
Let y = 35902 - 16499. Suppose y = g + 4*q - 2*q, 2*q = -4. Is g a composite number?
True
Let q = 2724 + -637. Let a = q - 1210. Is a prime?
True
Let k be (2 + 12/(-8))/((-5)/(-1730)). Let y(h) = k*h**2 - 5*h + 3*h - 2*h**2 - 15. Is y(-4) composite?
False
Suppose -4*f = -u + 699, -5*f = -5*u + 66 + 3459. Let o = u + -420. Is o prime?
False
Suppose -3 + 11 = -2*i, 3*l = 4*i + 37. Let m(r) = 21*r - 21. Let p be m(l). Suppose 0*x = -w - 5*x + p, w - x = 132. Is w a prime number?
True
Let s be 1 + 1 - (-4 - -6) - -22. Suppose 4*i - 2 = -s. Is i*10/(-125) - 2166/(-10) a prime number?
False
Suppose -12*u + 11*u + 5 = 0. Let x(s) = 18 - 7*s + s - u. Is x(-7) composite?
True
Let q(d) = 152*d - 141. Let m(g) = -1. Let a(w) = -2*m(w) + q(w). Is a(29) a composite number?
True
Let f = 224 + -221. Is 4621*(-1)/(f - 4) composite?
False
Suppose 137*i = 18916414 - 3266493. Is i a prime number?
False
Let f(u) = 9*u - 32. Let p(h) = -h**2 - 9*h - 14. Let j be p(-3). Let a be f(j). Suppose -l + 245 = -4*x, 2*x = a*l - 0*x - 1008. Is l a composite number?
True
Suppose -52 = 5*q - 5*y + 18, 3*y = -3. Is ((-8)/((-24)/q) - -12572) + 2 a composite number?
False
Let c = 37 + -32. Suppose 3*h = -f - 408 + 2312, -2545 = -4*h + c*f. Suppose 10*i = 5*i + h. Is i a prime number?
True
Let w = 39684 + 41735. Is w a composite number?
True
Suppose 124004 = -116*y + 1814242 + 5185894. Is y composite?
True
Suppose -2471*x + 285620 = -2451*x. Is x composite?
False
Suppose 0 = -15*c + 18*c - 4*m + 59, -3*m - 79 = 5*c. Is (-761 + c)/((-1 + 0)*1) composite?
True
Suppose -2*r + 198491 = 3*q, -5*q - 161792 = -4*r - 492581. Is q a prime number?
True
Let w(c) = -c**2 + 83*c - 69. Suppose -5*q + 4*x = -147, 3*q - x = 4*q - 33. Is w(q) a prime number?
True
Let o = -1766 + 5919. Is o prime?
True
Let o = -41 + 45. Suppose -879 = -o*w + 133. Suppose w = 8*u - 915. Is u prime?
False
Let c be (-10)/15*3 + 7. Suppose 4*j - 6*j = 4, c*t = 2*j + 1169. Suppose 2*q - 357 - t = 0. Is q prime?
False
Let p = 35256 - -80567. Is p a composite number?
False
Let v(i) = -3*i + 7. Let n(t) = -7*t + 14. Let m(u) = 6*n(u) - 13*v(u). Let p be m(9). Let k = p + 443. Is k prime?
True
Suppose -6*m + 127 = -17. Suppose -5*u = -1 - m. Suppose 0*k + 2038 = 2*y + u*k, -5*y - k = -5049. Is y a prime number?
True
Let d(n) = -n**3 - 21*n**2 - 34*n + 78. Let u be d(-19). Let x = 6 - 1. Suppose 3*b - v = -u*v + 2257, 3755 = x*b + 5*v. Is b prime?
False
Let v be -11*((-1)/2)/(2/4). Suppose 5 = -o, -2*a - v = -2*o + 5. Let r = 9 - a. Is r a composite number?
True
Suppose 0 = 23*k - 4*k - 2*k - 525827. Is k a composite number?
False
Suppose -1162*c - 64 = -1160*c. Let b(u) = u**3 + 35*u**2 + 45*u - 41. Is b(c) a composite number?
True
Suppose o + 7 = 0, -2*i = -17*o + 13*o - 288198. Is i a composite number?
True
Suppose -47*g = -15*g - 3386539 - 1744245. Is g a composite number?
True
Let q(n) = 2*n + 315*n**3 + 5*n**2 - 295*n**3 - 21*n - 17. Is q(8) prime?
True
Suppose 59*y - 15*y - 1298759 = -33*y. Is y composite?
True
Suppose 0 = -6*b - 62 - 16. Let j(z) = 5*z**2 + 18*z + 68. Is j(b) a prime number?
False
Let p(w) = 3*w + 23. Let z be p(6). Let v be z - (-4)/16*0. Suppose 0 = 2*y + v - 147. Is y a composite number?
False
Let u(v) = -5*v - 22. Let z be u(-6). Let l(d) = -18*d**2 - 3*d - 21. Let x(f) = -18*f**2 - 2*f - 22. Let p(j) = -3*l(j) + 2*x(j). Is p(z) a prime number?
False
Suppose 159*f - 4139456 - 2162243 = 7096118. Is f prime?
True
Suppose 2*h + 5*x + 1 = 0, 3*h - 2*h - 1 = -x. Let n(k) = -5*k + 2*k + 2*k + 2 + 678*k**h - 2*k. Is n(1) composite?
False
Is (-86116)/10*210/(-12) a prime number?
False
Let t(v) = 3*v + 20. Let y be t(-4). Suppose 5*j - 2*l - y = -4*l, -j + 3*l + 5 = 0. Suppose -2*s - 2*n + 3*n = -3591, -5*n - 3579 = -j*s. Is s composite?
True
Suppose -323*n + 595*n - 359*n = -25310823. Is n composite?
True
Let f be 7*-2 - (2 + 4). Is (-16741)/((2 - f/(-12))*-3) a composite number?
False
Let t be 1 - (12 - 11)*(-2)/2. Suppose t*a = 5*a - 153. Suppose 199 = 4*f + a. Is f composite?
False
Let i = -82 + 103. Is (27542/4 - i/(-14))/1 composite?
True
Let h(k) = -16*k + k + 2*k**2 + 39*k**2 - 16 - 17*k**2. Let p be h(7). Suppose -5*v - 2*a = -p, v + 2*a = -v + 422. Is v a composite number?
False
Let d(z) = 21*z**2 + 31*z + 17. Let f be (15 + -7)/(-4)*13/2. Is d(f) prime?
True
Let u be 28/(-6) - -5 - (-74)/(-6). Let w be 2*(-42818)/u - (-8)/12. Suppose 4*o - 3747 = w. Is o composite?
True
Let l be 410/40 - (-3)/(-12). Suppose -l*t - 8*t + 9342 = 0. Is t a composite number?
True
Suppose -15835432 = -278*m + 16020866. Is m prime?
False
Is ((8 - 6)/2)/((-3)/(-150873)) prime?
True
Suppose 4*j + 5*u - 174617 = -4*j, 4*j - 87325 = 3*u. Is j a composite number?
True
Is 553/(-395) - (-197404)/10 composite?
False
Let q be (2 + -4)*4/(-2). Let n be (-4)/(-6)*(-216)/(-48). Suppose -q*h - i + 27942 - 5286 = 0, 0 = n*h + 5*i - 17009. Is h prime?
False
Let o be 1389*((-4)/(-3))/(-1). Let s be (-32 - -50) + (-23387)/7. Let t = o - s. Is t a prime number?
True
Suppose -4*i + 15291 = 1407. Suppose i = 6*j - 9. Let l = -161 + j. Is l a prime number?
True
Let y(v) = 2*v**2 + 101*v - 263. Let g be y(-53). Let c = -50 + 322. Suppose c + 204 = 5*k - g*j, -k = j - 91. Is k composite?
True
Suppose 20 + 5 = d. Let j be d/10 + (-2)/(-4). Suppose 4*v - 2330 = 2*o, 5*o - 1754 = -0*v - j*v. Is v composite?
True
Let p = -168504 + 275483. Is p a prime number?
True
Let p(b) = -2846*b + 3. Let w(r) = 2846*r - 3. Let u(z) = -z**3 + z**2 + 6*z + 3. Let c be u(3). Let j(n) = c*w(n) + 2*p(n). Is j(1) prime?
True
Let v = 389264 - 191377. Is v a prime number?
True
Suppose 0 = 5*z - 6*x + 3*x + 8, -2*x = 5*z + 28. Let g be (-22 - -8) + 5/((-10)/z). Is g/(-4) - 0 - -850 a prime number?
True
Let d(s) be the third derivative of 1739*s**4/24 - 97*s**3/6 - 31*s**2. Is d(12) a prime number?
True
Let v be -3 + (5 - (-32082)/2). Suppose -9*r + 26737 = -4*r - 2*s, v = 3*r - 2*s. Is r prime?
True
Suppose 0 = 9*i + 15389 + 25714. Let f = i - -6858. Is f a composite number?
True
Suppose 3*f + 21216 = 3*y, 3*y + f = 6*y - 21210. Is y composite?
False
Let u be 4 + -6 + 3 - (-28 - 1). Suppose -u*a + 18122 = -4*a. Is a a composite number?
True
Is 397109 - (-36)/27*(1 + (-14)/(-4)) prime?
False
Suppose -2268*y = -2267*y - 257783. Is y a composite number?
False
Is (68477 - -372) + (-2)/(5/(-7) + 1) prime?
False
Let j = -30 + 24. Let w be 3/(1/(j/9)). Let g(y) = -48*y**3 + y - 1. Is g(w) a composite number?
True
Suppose -1165*z = -855*z - 368486770. Is z composite?
False
Let j = 295145 + -162846. Is j a prime number?
True
Suppose 0 = -j + u + 787, j + 2*j = -5*u + 2377. Suppose -x = -j - 93. Is 1 + x/5 + 64/(-160) a prime number?
False
Let c = 13871 - 19468. Let o = c + 11534. Is o prime?
False
Is 21*3675/3 + 36/(5 - -4) composite?
True
Suppose -o = 3*x - 0*o - 288, -x + o = -96. Suppose -x*t = -94*t - 11902. Is t a composite number?
True
Let l(v) = -6*v**2 + 2. Let x be l(-4). Let o = x + 96. Suppose o*p + 2*z + 3*z = 1089, 0 = 5*p + 3*z - 2694. Is p a prime number?
False
Let g(y) = y**2 - 34*y + 111. Let p be g(33). Suppose 1023 - 300 = 3*d. Let x = d - p. Is x prime?
True
Let s be (44/6 + -7)*-6. Is 2581*(s - -3) + (-2)/1 prime?
True
Let a = 1626 - 284. Suppose -3*d + 22601 = -a. Is d a composite number?
True
Is 575971 + (-1 - 5) - -3*2 composite?
True
Let h = -21 + 20. Let z be (2 - (5 + -3))/(h + 2). Suppose -4*m + 6603 = 5*g, z = -11*m + 6*m + 4*g + 8305. Is m a prime number?
True
Let x = 66 + -63. Suppose x*g + 11805 = -5*h, 0*h - 2361 = h + 2*g. Let t = h + 3858. Is t a composite number?
True
Suppose 6*g = -16175 - 15025. Let o = g + 9471. Is o a composite number?
False
Suppose 0 = -3*y + s + 3*s + 163, 118 = 2*y - 5*s. Let p be 1703/7 - 