- 21002. Is k a prime number?
True
Let a(h) = -4328*h**3 + h**2 + h - 1. Suppose -3*p - 3*y = y + 11, 3*y + 11 = -5*p. Is a(p) a prime number?
True
Suppose 57727 = 4*t - 207157. Is t composite?
False
Let y(p) = 16*p + 150. Let h be y(-9). Suppose -h*n - 1407 = -11313. Is n a prime number?
False
Let j = -35617 + 18350. Let o = -8262 - j. Is o composite?
True
Let b be 1732*12/8*3/(-9). Let n = 2277 + b. Is n prime?
False
Let d(m) = 57*m**2 + 69*m + 11. Is d(24) prime?
True
Let x(f) = -560*f + 254*f + 487 + 260*f. Is x(0) prime?
True
Let q = 253 + -48. Suppose -2*y + 3*v = -293, -4*v + q = 3*y - 277. Suppose -3*l + 4*m = -277, 2*l + 5*m = -0*m + y. Is l composite?
True
Is 300997 - (27/(-12))/(21/(-28)) a prime number?
False
Suppose -205239 = 9*d - 602670. Is d a composite number?
False
Suppose 0 = -u + 2*t - 4, 3*u + 9 = -0*u + 5*t. Let v be 4/u + 12 + -14. Suppose c - 44 - 513 = v. Is c composite?
False
Suppose -24*y + 29*y = -30, 0 = -k + y + 168857. Is k a composite number?
False
Suppose 647600 = 10*a - 1154490. Is a a prime number?
False
Suppose -5*k - 2*s = -255, 2*k - 134 = -k - 5*s. Suppose -6*t + 6 = -4*t. Suppose 4 = t*h - k. Is h prime?
True
Suppose -29*d - 96123 = -32*d + 4*m, 4*m - 32009 = -d. Is d prime?
False
Suppose -22*s = -18*s - 5516. Let t = -430 + s. Let p = 160 + t. Is p composite?
False
Is (-3109)/2*-4*948/24 a composite number?
True
Let y(p) = 733*p - 76. Suppose -8*n + 57 + 15 = 0. Is y(n) composite?
False
Let r be ((-915)/9)/5*-36 - 2. Let d = -359 + r. Is d prime?
False
Let g be 63 + -1 + 6/2. Let a = g + -62. Suppose -5*j = a*u - 2466 - 4816, -12075 = -5*u + 4*j. Is u a prime number?
False
Let g(s) = 184 - 193 + 12*s - 7*s**2 + s**3 - 4*s. Let r be g(6). Suppose -2 = -3*p + k + r, 5*k - 32 = -4*p. Is p a prime number?
True
Let c = 566015 + -120946. Is c composite?
False
Let x(n) = -89770*n - 2. Let y be x(-1). Suppose 3*b - y = -21632. Suppose -1430 = 6*o - b. Is o a composite number?
False
Suppose -4*h - 9*h = -104. Suppose 0*v + h = -8*v. Is (-4 - -678)/(v - -3) prime?
True
Is (-8 + 3595185/(-9))/(1 + -2) a composite number?
False
Suppose 5*i + 2*h - 28 = -2*h, -2*i - 5*h = -18. Suppose 3*a - 7 + 3 = -4*d, 5*d - a + 14 = 0. Is 56 + d + -1 + i a prime number?
False
Let x(s) = s**2 - 4*s + 9. Let w be x(2). Let m(r) = -493*r - 53. Let p be m(w). Is p/2*(-2)/(-1 - -3) a composite number?
False
Suppose 0 = -k - 4*c + 592, -3*c + 2423 = 4*k + 2*c. Let h = 2125 - k. Is h a prime number?
False
Let s = 329195 - 180498. Is s prime?
False
Suppose 48 = -4*w - 4*w. Is -2*5487/w - (-3 + 3) composite?
True
Let v = 228 - -95423. Is v a composite number?
False
Suppose -10*k - 158969 = -15*k - 4*m, -m = -2*k + 63585. Is k a prime number?
True
Is 4391/(8/(-560)*-10) composite?
True
Let p be 48/(42/(-7)) + 4689. Suppose p = 6*h - 5105. Is h composite?
True
Suppose -1923432 = -65*l + 160663. Is l prime?
True
Suppose -15*p = -4*p. Is ((-4)/5)/(p + (-8)/11140) prime?
False
Let y be (-86)/387 - ((-719528)/9)/(-2). Let f = -26577 - y. Is f composite?
False
Suppose 2*j = -10, -2*o + j - 35 + 38 = 0. Is 1 + 4 + o - (-5 - 730) a composite number?
False
Let j be 204/(((-15)/(-35))/((-2)/7)). Is -8 + j/(-16) - (-1417)/2 a composite number?
False
Let l(i) = 49*i**3 - 10*i - 5 + 26*i + 4 - 11*i. Let p be l(4). Suppose 2*j - j - 794 = t, -3*t = 4*j - p. Is j composite?
True
Let q(v) = -13*v**2 + 67*v + 52. Let m be q(28). Let z = m - -16705. Is z composite?
True
Suppose -31443 = 9*a - 103380. Is a a prime number?
True
Let u = -28 - -31. Suppose -1328 = -10*n + 8*n. Is (n - 4)/3 + (u - 0) composite?
False
Let z(l) = -8*l + 2. Let p be z(1). Let g be (-2)/4*(p - -2). Suppose 5*m = -y + g*y - 348, -4*y = 5*m - 1267. Is y prime?
False
Let r(d) = -46642*d + 1355. Is r(-9) a composite number?
False
Let c(b) = -173*b + 45. Let r be c(4). Let u = -268 - r. Is u a composite number?
False
Suppose -2*y - 3*y + 16729 = -2*q, -2*y + q + 6692 = 0. Let i be -14*y/25*-5. Suppose 24019 = 11*o - i. Is o a composite number?
True
Suppose -2*m - 154 = 2*z, 4*m = -2*z - 0*m - 160. Let r = -189 + 278. Let p = z + r. Is p composite?
True
Let f = 1079 - -1424. Is f a composite number?
False
Suppose -224 = -4*v + 2*v. Let j = v - 33. Suppose -4*h + j + 505 = 0. Is h composite?
True
Suppose -99914 = 22*d - 325744. Is d prime?
False
Suppose 173 + 32 = -5*v. Let u = 44 + v. Suppose 0 = -0*g - 3*g - 15, -u*g - 2525 = -2*w. Is w a prime number?
False
Let y(n) be the first derivative of -1/3*n**3 - 26 - 21*n - 1/4*n**4 - 1/2*n**2. Is y(-10) composite?
True
Suppose 623*r - 5696 = 622*r. Let s = r - 2757. Is s a composite number?
False
Let j(d) = 2*d**3 - 3*d**2 - 6*d + 5. Let m be j(5). Is 4926/5*m/60 a prime number?
False
Let o = 435029 + -214962. Is o a prime number?
False
Let m be (-2 - -3)*(-32739)/(-3). Let x = 20880 - m. Is x composite?
False
Let z = 212 - 322. Let m = 3506 + 1081. Is z/25 - -4 - m/(-5) prime?
False
Let t(g) = -g**3 - g**2 - 4*g. Let c be t(-3). Let j be (-15)/(-4)*18320/c. Suppose 6*i - j = 386. Is i a composite number?
True
Let f = -54966 + 89177. Is f composite?
False
Let l be (-1452)/(-77)*2786/(-4). Let p = 18395 + l. Is p prime?
True
Let l(w) = -43867*w + 430. Is l(-1) a prime number?
False
Let r = 212523 + -102506. Is r a prime number?
True
Let c = -1062580 + 1775867. Is c a prime number?
True
Let n be 47955/((-15)/(-2) + -6). Is 2/9*-1 - n/(-90) a composite number?
True
Let l(q) = -q + 16. Let s be l(13). Suppose -s*b + 1510 = -o + 2*o, 4*o - 5995 = -3*b. Let x = -862 + o. Is x composite?
True
Let i = -2061 + 3875. Suppose -5*a = -5*d - 0*a + 9220, -d - 5*a + i = 0. Suppose z - d = -2*z. Is z prime?
True
Let n = 142 + -141. Is 29/(-116)*(-2733 + n) a composite number?
False
Let c(v) = 2563*v**2 + 2*v + 66. Is c(-7) a composite number?
False
Suppose 0*y - 2*y = -3*n + 21, n - 2*y - 7 = 0. Let p(j) = j**3 + 2*j**2 - 3*j + 25. Is p(n) composite?
True
Let t = -470927 + 1222096. Is t composite?
True
Let r(w) = -w**3 + 6*w**2 + 3*w - 15. Let l be r(6). Suppose 0 = 6*z - 7*z + l, 3*q + 3*z = 4920. Is q a composite number?
False
Let h(w) = 4273*w - 259. Let g be h(6). Suppose -6*f = -g - 34279. Is f prime?
False
Is (-63300128)/(-52) + -13 + (0 - 6/39) a composite number?
False
Let g(j) = -2*j + j + 4*j - j**2 + 2*j + 27. Let h be g(8). Suppose -h*a + 1603 + 3674 = 0. Is a a composite number?
False
Let w = -121 - -226. Suppose -63 = -108*m + w*m. Is (-2)/3 - (-12320)/m a prime number?
False
Let v = -244 - -249. Suppose v*g + 7*g = 33828. Is g a composite number?
False
Let d(z) = -z**3 + 13*z**2 + 16*z - 28. Let u be d(14). Is 7064 - -1 - 4*(-1 + u) a prime number?
True
Let w = -3618 + 2089. Is w/(5 + (0 - 6)) prime?
False
Let r = 440237 + 59250. Is r a composite number?
True
Let h(i) = -i**3 - 20*i**2 + 60*i + 113. Is h(-26) a prime number?
True
Let q(t) = -t - 13. Let x be q(-15). Suppose -691 + 49 = x*c. Let a = c - -508. Is a a composite number?
True
Suppose 327*i - 594980 - 1600684 = 279*i. Is i composite?
True
Let h(t) = -t**2 + 12*t - 15. Let v be h(-21). Let u = v + 2807. Is u a composite number?
False
Suppose -2*w = -5*o + 1779, 0*w - 1424 = -4*o + 2*w. Let n = o + 2592. Let r = 4700 - n. Is r a composite number?
False
Let x = 8 - 6. Suppose 1221 + 1285 = x*t + 4*c, -5*t + 6310 = -5*c. Is t a prime number?
True
Suppose 1638952 = 95*v + 293277. Is v a prime number?
False
Suppose -4*k = -y - 0*y - 23, 4*k - 4*y = 32. Let a be -2 - (k + 2 + -3). Is 259/3 - 4/a a composite number?
True
Let j = 465 - 457. Suppose 0 = 3*z - 4*p - 21353, j*z = 3*z - 3*p + 35627. Is z prime?
False
Suppose 0 = 2*y - 5*y - 33. Let x = -7 - y. Suppose 4*j + m + 2*m - 3185 = 0, 4 = -x*m. Is j prime?
True
Suppose 40 = -h - 5*x, 2*x + 161 = -3*h + 28. Is (-18046)/(4/(-4)) - h/(-9) composite?
False
Let d(a) = -7*a**3 - 25*a**2 + 7*a - 52. Is d(-19) composite?
False
Let l(h) = 7*h**2 + 29*h + 45. Let f be l(-19). Let j = -1158 + f. Is j composite?
False
Suppose -3*r - 30 = -3*k, -r - 12 = -3*k + 26. Let s(v) be the first derivative of -v**3/3 + 33*v**2/2 - 13*v - 610. Is s(k) prime?
False
Let w be (4/(-3) + 1)*9. Let l(j) = -19*j**3 + 3*j**2 + 12*j + 34. Is l(w) a prime number?
False
Let v = -48 + 46. Let p be 6/((-2 - v) + 1). Is (-1)/p - 3086/(-12) a composite number?
False
Let