 k + 1. Let h be q(-1). Suppose 543 = 2*s - 0*i + i, s + 5*i - 276 = h. Suppose -s - 13 = -4*b. Is b a prime number?
True
Let j(v) = 7*v**3 - 35*v**2 - 50*v + 13. Is j(12) prime?
True
Suppose 0 = 13*s - 6*s - 545503. Is s a prime number?
True
Suppose -64*i - 91*i = 18*i - 118050529. Is i a prime number?
True
Let i(h) = 6*h**2 - 705 + 705 - h. Let j be i(1). Suppose -5*c + 1320 = j*p, 5*p - 268 = 4*p + 3*c. Is p a composite number?
True
Suppose 4*u = 5*z + 1363001, 5*u - 2*z = 1970934 - 267153. Is u a composite number?
True
Suppose -354*w + 406*w - 7223684 = 0. Is w a prime number?
True
Suppose 3*i = 12, 0 = -m - 3*i + 2*i + 7. Suppose 0*h = -m*h + 5*l + 1121, 0 = 4*h - 2*l - 1504. Is h prime?
False
Suppose 50*q - 43*q + 22099 = 0. Is 15/(-20) + 15/(-12) - q composite?
True
Is (-25)/(-20) + 9/12 + -7 + 189988 composite?
False
Suppose -5*d + 203 = l, d - 3*l - 211 = -4*d. Let b = 21 - d. Is b*(-2 - (-2)/8) a composite number?
True
Let l = 206 + -204. Suppose 5*p - 19099 = -l*t + 2*p, -t = 4*p - 9537. Is t a composite number?
True
Let j(c) = c**3 - 2*c**2 - 4*c + 6. Let i be j(4). Suppose i*o - 13*o + 17757 = 0. Let w = -1314 - o. Is w a composite number?
False
Let a = 2666565 + -1368454. Is a a prime number?
True
Let p(m) = 61*m**2 - 4*m + 4. Suppose -6*a = -10*a + 16. Let f be p(a). Let c = -297 + f. Is c a composite number?
True
Suppose 5*n - 4*d + 15 = d, -5*n + 35 = 5*d. Suppose n*u + 4*b = 6262, b = -u + 2339 + 790. Is u a prime number?
False
Let q(z) = -222*z + 103. Let c = -144 - -137. Is q(c) a composite number?
False
Let r(c) = -c**3 + 10*c**2 - 10*c + 14. Let k be r(9). Suppose -2*t + h + 14 = -2, t - k*h - 26 = 0. Suppose v = 2*v - t. Is v a composite number?
True
Let d = -6707 + 9838. Let l = d + 5242. Is l a prime number?
False
Let y(l) = 5*l + 34. Let k be y(-6). Suppose 5*c - 5*a + 165 = 0, -k*a = -0*c - 2*c - 76. Is -3638*(c/(-8) + -4) composite?
True
Let v(l) be the second derivative of -3/2*l**2 + 8*l - 1/5*l**5 + 5/6*l**3 + 0 - 1/12*l**4. Is v(-4) prime?
False
Suppose 3*p = 561346 + 55835. Is p composite?
True
Let k be ((-1)/2)/(5/170). Let q(o) = -7*o - 96. Is q(k) composite?
False
Suppose -17*t + 21740 = 7*t - 4*t. Is t a composite number?
False
Suppose 0 = -3*a + 5*i + 12, 60 = a + 4*a + 5*i. Let j = a - 4. Suppose 5*c + 11 = q - 8, -j*q + 4*c + 95 = 0. Is q prime?
True
Suppose 5*x = 5*s + 732540, 4*x - 250*s = -251*s + 586057. Is x prime?
True
Suppose -269*x + 250*x + 1711235 = 0. Is x a composite number?
True
Let g = -22 - -24. Suppose g*u - 3*u + 1699 = 0. Suppose -2*i - 3*o + 3384 = -2*o, -4*o = i - u. Is i prime?
False
Suppose 2*g - 96351 = -5*a, -5*a - 21355 - 26783 = -g. Is g composite?
False
Suppose -2*p - 1282628 = -2*l, 216*p = 221*p - 15. Is l composite?
False
Let z = -2862246 + 5723563. Is z composite?
False
Suppose m = 5*s + 15, 16 = 6*m - 2*m + 2*s. Suppose 4*j - 8480 = 3*x - 4*x, -10603 = -5*j - 2*x. Suppose -2236 - j = -m*k. Is k a composite number?
True
Let p(s) = 191*s**3 + 3*s**2 + 3. Let v(i) = -3*i + 26. Let k be v(9). Let z be -2*((-4)/(-5) + k)*5. Is p(z) a composite number?
False
Suppose -4*q + t - 28103 = 0, -11*t - 7013 = q - 7*t. Is 7/((-35)/q)*1 + 4 composite?
False
Let k = -54 + 54. Suppose 4*z - j - 11251 = 0, 0 = -3*z - k*z - j + 8440. Is z a composite number?
True
Suppose -2*u = 33*j - 37*j - 30, -3*j = -u + 20. Suppose 0 = -50*h + 46*h - 4*m + 3688, 0 = -5*h + u*m + 4620. Is h a composite number?
True
Let w = -21991 - -120954. Is w a prime number?
True
Let f = 1226 + 2702. Suppose 4*u - f = -4*s - 0*s, -s = 2*u - 985. Is s a composite number?
True
Is (-1625278)/(-14) + 30/(-105) + -4 a composite number?
True
Let s be (3019 + -2)*(-120)/(-84). Suppose -2*u + s = 3*u. Is u a composite number?
True
Let g(a) = 7*a**2 + 6*a - 24*a**2 + 9941 + 16*a**2. Is g(0) composite?
False
Suppose -z - 3*n + 5 = -3, 4*z - 2*n = 4. Suppose -z*l = 445 - 3723. Is l a prime number?
False
Suppose -48120*r - 488080 = -48160*r. Is r a composite number?
True
Let o = -929678 + 2230675. Is o a composite number?
False
Suppose 8*i + 211 - 203 = 0. Let u(a) = -15859*a**3 - 3*a**2 - 5*a - 2. Is u(i) a prime number?
True
Suppose -3*p = y - 89335, 0 = 4*y - 308*p + 310*p - 357380. Is y a prime number?
False
Suppose 0 = -5*n + 4*r - 6*r + 645, -n + 142 = 3*r. Let a = n + -12. Is a a composite number?
True
Let i = 20230 - 6357. Is i a composite number?
False
Suppose 8 = 3*r - 2*l - 2, -r = 5*l - 26. Suppose z + 4*b = 114, 3*b - r*b = 5*z - 570. Suppose 5*x + 6*k - z = 2*k, 0 = -2*x + k + 56. Is x composite?
True
Let p = -106599 - -158078. Is p a prime number?
True
Let k(q) = q**2 - q + 14. Let y be k(0). Suppose -d = -2*g + y, -4*g + 4*d - 3*d + 26 = 0. Is g*3/(-12)*-6 a prime number?
False
Let r(d) = 141*d**2 - 22*d + 269. Let a = 427 - 413. Is r(a) a composite number?
True
Is (-6 - 444/(-72))/(2/84)*31601 composite?
True
Let r(w) = w**2 - w - 1. Let m(x) = 5*x**2 + 12*x - 26. Let s(l) = -m(l) + 6*r(l). Let j be s(17). Is -1594*(35/(-10) - -1*j) a composite number?
False
Suppose 0 = -930*d + 924*d + 210234. Is d composite?
True
Suppose 5*r + 20 = -2*v, 13 = -4*r - v - 0. Is 1242/3 + 6/r a prime number?
False
Suppose -o + t = -207618, 27*o + 7*t = 23*o + 830483. Is o a composite number?
False
Suppose 12*z - 5*z - 28 = 0. Suppose 2*c = z*i + 10358, -4*c + c + 15537 = -i. Is c a composite number?
False
Is (507/(-507))/(2/(-69214)) a composite number?
False
Suppose -4*l = -5*a - 1, -5*l + 18 + 14 = 4*a. Suppose -9694 = -5*h - a*y, -4*h + 4437 = 3*y - 3320. Is h composite?
True
Let i(f) = -2*f - 1. Suppose 8*x + 6 = -18. Let a be i(x). Suppose -3*s - 4*p = -a*p - 7673, 4*p = 2*s - 5102. Is s prime?
False
Let i(q) = -60*q - 22. Let w be i(-3). Let t = w + -52. Is t composite?
True
Let x(b) = -b**2 + 8*b - 3. Let c be x(7). Suppose -2*m + 8 = -m + 3*r, c*r - 4 = 0. Suppose m*j + 5*s - 1120 = 0, -3*j + 0*s + 671 = 2*s. Is j a prime number?
True
Suppose 2*g - 13979 = -5*t, -g + 5*t + 6992 = 7*t. Suppose 0 = -7*c - 11*c + g. Is c composite?
False
Let v = -312 - -459. Let r = 23 + -13. Is (-4)/r - (-5 + v/(-5)) prime?
False
Let c = 72 - 16. Suppose -c = 7*l - 3*l. Let w = l - -277. Is w a composite number?
False
Suppose -5*j = -2*j - 15. Suppose 3*m - 5449 = -2*o, -2*m = -j*m - 9. Is o a composite number?
False
Let w be (-19611)/(-12) + (-2)/8. Let m = 2827 - 3584. Let s = m + w. Is s a prime number?
True
Let f(o) = 43420*o - 843. Is f(2) a composite number?
True
Let y(n) = n**2 + 36*n + 728. Let j be y(0). Let i be (-4 - -2) + 1162/2. Suppose -2*l + 7*l - j = -3*m, -m = -4*l + i. Is l prime?
False
Suppose 27*z - 36 = 15*z. Is 8/2 - z*(-3935)/15 a composite number?
True
Is (-549453)/2*6/(-9) composite?
False
Suppose 0 = -10*c + 20941 - 3351. Is c composite?
False
Let o(v) = 813*v - 61. Let c be o(-4). Let a = -1152 - c. Is a a composite number?
False
Suppose 460*v - 18 = 457*v, 4*t + 3*v - 1028966 = 0. Is t prime?
False
Let t(q) = 14*q**2 - 31*q - 47. Is t(-4) a prime number?
False
Suppose -6*h + 8 = -4. Suppose -h*x = -26*x + 30216. Is x prime?
True
Let h = -13612 - -7144. Is h/(-68) - 5/((-425)/(-10)) composite?
True
Is ((-20)/6)/(-5) + (-592053)/(-99) composite?
False
Suppose 18*g - 582290 = -a + 1096501, 4*g = -a + 373067. Is g a prime number?
False
Suppose y - 16150 = -4*y. Suppose 5*w + 4*p = -y + 42357, -4*p - 7835 = -w. Is w composite?
True
Let t be (1414/(-21))/(8/(-372)). Let a = -1604 + t. Is a prime?
False
Suppose 4*l - 3*m = -1097, -5*l - 4*m - 237 = 1111. Let d be (-4)/(-34) - (-32)/l. Is (-1 - (76 - d))*-1 a composite number?
True
Let b(k) be the third derivative of k**5/4 + 5*k**4/24 - 3*k**3/2 + 4*k**2 - 2*k. Is b(4) a composite number?
False
Let r(s) = -s**3 - 6*s**2 + 6*s - 3. Let o be r(-7). Suppose o*d + 6 = 34. Suppose 0 = -d*k + 12*k - 130. Is k prime?
False
Let v(w) be the second derivative of 23*w**6/36 + w**5/30 + 11*w**4/24 + 5*w**3/2 - 49*w. Let g(k) be the second derivative of v(k). Is g(4) prime?
False
Suppose 13*o = -55*o - 85*o + 77193549. Is o prime?
False
Let o = 186774 + -116965. Is o composite?
False
Let j = -771 - -771. Suppose j = 44*h + 321165 - 774101. Is h a prime number?
False
Suppose 0 = -3*h + s + 20, -2*s + 4 = 14. Suppose -y = y + 3*o - 17605, h*y - 2*o = 43965. Is y a prime number?
Fals