 k a prime number?
True
Suppose 0 = 3*m - 370 + 361. Suppose -773 = -m*c - 5*s, 2*c - 2*s - 262 - 232 = 0. Is c a composite number?
False
Let x(c) = 3790*c + 27. Let s(w) = -758*w - 5. Let h(q) = 11*s(q) + 2*x(q). Let m be h(-1). Suppose -4*a - 2*f = -6*f - 612, 5*a = 3*f + m. Is a prime?
True
Suppose 3*q - 537184 = -29*q. Is q prime?
True
Let o be (6 - 1)*(-52611)/(-13). Suppose t + 6189 - 26432 = -5*p, 5*p = -5*t + o. Is p prime?
True
Suppose -6*y - 2426 = -16766. Suppose y = v - 0*v. Let o = -1705 + v. Is o a composite number?
True
Is 7 + (-160)/3*(6 - 889863/52) composite?
False
Let q = -714 - -3830. Is q/2 + 1 + -2 + 4 a prime number?
False
Let q be -27150*(2 - 10/4) + -1. Let j = q - 8419. Is j composite?
True
Let d(c) be the first derivative of c**4/4 - 37*c**3/3 + 89*c**2/2 - 19*c - 124. Is d(36) prime?
True
Suppose 20*p - 21*p = -5. Suppose 0 = -5*b + 3*z + 4538, -b - 82 = p*z - 984. Is b prime?
True
Let u = 148081 + -100844. Is u prime?
True
Let l(b) = 8*b - 194. Let u be l(24). Is (-25994)/u - (-16 + 24) a composite number?
True
Let l be (21424/(-39))/((-4)/24). Suppose 4*h - 5844 = l. Is h a composite number?
True
Let l(y) = 2998*y - 31. Let v(o) = -14*o - 11. Let k be v(-1). Is l(k) a prime number?
True
Suppose 95*p - 94545566 - 21356883 + 23298634 = 0. Is p composite?
True
Let a(x) = x**3 + 5*x**2 + 6*x + 5. Let p be a(-3). Let k be p/10*962 + 4. Is ((-3)/(15/k))/(2/(-14)) prime?
False
Suppose 12*u - 480120 = 118728. Is (7/14)/(8/u) prime?
True
Suppose -24*n + 63026 + 29974 = 0. Let v = -2560 + n. Is v prime?
False
Let x(g) be the second derivative of 35*g**4/12 + 89*g**3/6 + 23*g**2/2 + 146*g. Is x(-16) a composite number?
False
Suppose 3*s - 3*s - 15480166 = -26*s. Is s a composite number?
True
Let u(o) = 29*o**2 - 16*o - 105. Suppose -3*v - 4 = -a, 2*v + 12 = 4. Is u(a) prime?
True
Let l(p) = p**3 + 21*p**2 + 21*p + 21. Let j be l(-20). Suppose o = -14 - j. Let n(y) = -2*y**3 - 19*y**2 + 10*y + 8. Is n(o) a composite number?
False
Is (-12)/8*1182140/(-30) - -6 prime?
True
Is 1003317*(60*(-26)/(-117) - 13) a composite number?
True
Let n be (-2)/4 + (-9)/(-18). Suppose 2*f + 3*p - 11956 = n, -4*p + 32022 = 4*f + 8106. Is f a prime number?
True
Let j = -4955 + 74914. Is j a prime number?
True
Let f = 443335 + 31936. Is f prime?
True
Suppose 23*p + 256 = -9*p. Let z(i) = -22*i + 81. Is z(p) a composite number?
False
Suppose -1060*k + 1062*k = -3*x + 883885, -5*k - 294634 = -x. Is x a prime number?
True
Let n = -112 - 340. Let m = 745 + n. Is m a prime number?
True
Let u(b) = 4*b + 19. Let s be u(-6). Let z(n) = n**2 - 3*n - 20. Let i(m) = -m**2 + 3*m + 19. Let d(h) = s*z(h) - 6*i(h). Is d(-13) composite?
True
Suppose -9*z + 113968 + 356435 = 0. Is z a composite number?
False
Let v = 4576 - -9067. Let h = -274 + v. Is h prime?
False
Let z(v) be the first derivative of 580*v**3/3 + v**2 + 13*v + 31. Let p be z(-4). Let q = -6440 + p. Is q prime?
False
Suppose -4*o + 356 = -400. Let r = -296 + 305. Is (-2 + 1488)*(o/6)/r prime?
False
Suppose -2*c + 2*r - 27749 = -5*c, 0 = r + 5. Suppose 4184 = 2*p - 3*j - 435, -c = -4*p + 3*j. Is p a prime number?
False
Let v be (1 + (-3)/6)*(-20)/5. Is 3/v - 232420/(-40) prime?
False
Suppose 3*o - 10878 = 2*o. Suppose 20229 + 1543 = 4*s - 2*g, 5*g + o = 2*s. Suppose -3*f - s = -4*p, -1789 - 5016 = -5*p + 2*f. Is p composite?
False
Let j = -7 + 9. Suppose j*p - 4 = p, 2*s = -p + 10. Suppose 1943 = 4*r + s*m, -410 = -r + 2*m + 73. Is r prime?
False
Suppose 75*w - 28492186 = -621511. Is w prime?
False
Let l(v) = -2335*v + 972. Is l(-7) a composite number?
False
Suppose -9*u - 48 = -15*u. Is 2/u*49030*(-12)/(-10) a prime number?
False
Let w(f) = 86*f + 1. Let x(i) = 429*i + 5. Let j(y) = -11*w(y) + 2*x(y). Let v(z) = z**3 - 5*z**2 - 6*z + 25. Let b be v(5). Is j(b) composite?
False
Suppose 2*q + q - 3 = 0. Let x be ((-6)/(-9))/(q/666). Suppose 2*l - x = -4*l. Is l a composite number?
True
Suppose -62*u = -56*u - 120. Suppose -8*l + 4*l + u = 0, -3*k + 1318 = -4*l. Is k composite?
True
Suppose -4*o + 21*o - 1309399 - 1339558 = 0. Is o composite?
False
Is 3/1*(-2428367)/(-381) a prime number?
True
Is ((-11)/((-264)/(-32)))/(3 + 12300725/(-4100235)) a composite number?
False
Suppose 4*t = -2*w + 25400, 0 = -4*t + 8*w - 3*w + 25442. Is t composite?
False
Let h = -52358 + 28578. Let s be (-3)/(-9) + h/(-12). Suppose 5*c - 3*c = s. Is c a prime number?
True
Suppose 6*b - 3*b - 313799 = -2*l, 0 = 5*b - l - 523020. Suppose 12*q = 48529 + b. Is q a composite number?
True
Is 7 + 657548 + 6 - (1 + 1) composite?
True
Suppose -5*y + 3*y - 5*z = -31160, 0 = -y + 5*z + 15550. Suppose 0 = -9*q + 18*q - y. Suppose -8*o + q = -54. Is o prime?
True
Let n = -251568 - -472400. Suppose n = -5*k - 298798. Is k/(-26) - (6/39)/1 prime?
False
Is (194388/10)/((-246)/(-820)) - -6 composite?
True
Let t(q) = -q**2 - 3*q + 17. Let w be t(0). Let m(l) = -18*l**2 + 20*l - 10. Let c be m(w). Let n = -2719 - c. Is n prime?
True
Suppose 25 - 4 = 7*q. Suppose 0 = -5*m + 3*d - 1201 + 28116, -16149 = -q*m + 2*d. Is m a composite number?
True
Suppose 14 = 2*k, -5*h - 2*k - 9*k = -3432. Is h a composite number?
True
Let d(w) be the first derivative of 761*w**2 - w + 15. Let h be d(1). Suppose -h - 1218 = -3*o. Is o composite?
True
Let h(f) = 54*f**2 + 4*f + 23. Let s be (10 - (9 - 5))/(-1). Is h(s) prime?
False
Let o(z) = z**3 - 7*z**2 - 5*z - 4. Let x be o(7). Let c = 45 + x. Let h(v) = 2*v**3 - v**2 - 2*v + 7. Is h(c) a composite number?
True
Let z(o) = -o**2 - 12*o + 3. Let a be z(-13). Is ((-1319)/2)/(a/20) prime?
True
Let p(w) = w - 12. Let n be p(9). Let j(g) = 2572*g + 24. Let m be j(n). Let b = -3931 - m. Is b a prime number?
True
Suppose 0 = 571*y - 547*y - 1662072. Is y a composite number?
True
Let h = -213 - -234. Suppose 3*g - 17*k + h*k - 5485 = 0, 0 = -5*g + 3*k + 9103. Is g a prime number?
True
Let s(j) = -39*j + 133. Suppose 99 = -8*c - 61. Is s(c) composite?
True
Let p = 385 - 239. Let h = 805 - p. Is h composite?
False
Let k(z) = 35*z**2 - 5*z - 72. Let c be k(-27). Suppose -5*s = -3*q + c, 0 = 5*q + 2*s - 36389 - 6210. Is q a prime number?
True
Let p(k) = -11*k - 9. Let d be p(-6). Let v be d/(-21) - -3 - (-162)/21. Is (-3 + 1)/(v/(-388)) a composite number?
False
Suppose -3 = c, 19 + 5 = -5*v - 3*c. Is -15 + 1387610/56 + v/4 prime?
True
Let l(y) = 4*y**2 - 328*y - 155. Is l(-59) a composite number?
True
Suppose 6*p - 112139 - 70289 = 448586. Is p prime?
False
Let t = -36 + -998. Suppose 88*g = 185267 + 37813. Let q = g + t. Is q a composite number?
True
Let p(k) = 259*k**2 + 479*k + 439. Is p(76) a composite number?
False
Let t(m) = -4*m**3 + 360*m**2 + 92*m + 333. Is t(83) a prime number?
True
Is 29/261*(-18)/(-28)*148262*7 composite?
False
Let f = -98995 - -146296. Suppose -1276 = 25*r - f. Is r a composite number?
True
Let h(u) = -1. Let y(c) = -3. Let w(f) = -4*h(f) + y(f). Let j(r) = -89*r**2 - 2*r - 2. Let n(a) = -j(a) - 3*w(a). Is n(2) prime?
True
Suppose -i - 2 = i. Is -3 + i - (-92510)/22 composite?
False
Let d(x) = 261*x**2 + 535*x + 55. Is d(-17) prime?
False
Let m(c) = -c**3 - 14*c**2 - 24*c + 1. Let g be m(-12). Is 524 - (2 - g/(-1)) a prime number?
True
Let b be 16/2*394*(-9)/(-36). Let u = b - -1398. Is u a prime number?
False
Let a(r) = 15*r**3 + 2*r**2 - 1. Let t be a(-1). Let b be (t + 13)*(-1 - 1)*1. Suppose -5*z + 3*l = -5840, b*z + 2*l - 1155 = z. Is z a prime number?
False
Let b(d) = 4575*d - 1302. Is b(25) a composite number?
True
Let x(o) = 2593*o - 2016. Is x(29) composite?
False
Suppose -2063 = w + 4095. Let m = -3121 - w. Is m composite?
False
Let x(p) = 764*p**2 - 6*p + 224. Is x(11) a composite number?
True
Suppose 0 = 4*h + 4*m + 1336, 2*m = 2*h + 3*m + 673. Let o = 742 - h. Is o a composite number?
True
Let v be 23/((-276)/270)*-2. Let c(r) = -r**2 - 5*r + 7. Let x be c(-6). Let b = x + v. Is b prime?
False
Let z = 59 - 45. Let v be (-1 - 18/(-14)) + (-256)/z. Let o(q) = -24*q + 11. Is o(v) composite?
False
Let q(u) = 13*u**3 + 37*u**2 - 63*u - 34. Is q(13) prime?
True
Let h = 373967 - -83402. Is h a prime number?
False
Suppose 0 = 14*v - 40 - 30. Let c be v + -2 + 6/(-3) - -4. Suppose 3*u - 1180 = -c*a, -3*a + 5*a - 3*u - 493 = 0. Is a composite?
False
Suppose 7*h + 17*h + 14597570 = 34*