3*a + 628923. Is a prime?
True
Let z(s) = -598*s + 66. Let o be z(16). Let j = o - -16811. Is j prime?
True
Let s(q) = 49*q**2 - 532*q + 11. Is s(24) composite?
False
Let j(f) be the first derivative of 31*f**3/3 - 5*f**2/2 - 39*f + 134. Is j(16) composite?
False
Let w be ((-8)/28)/((-3)/21). Suppose -5*b - 37 = -w*f + 48, 71 = -4*b + f. Let r(z) = -2*z**3 - 28*z**2 + 5*z + 30. Is r(b) composite?
True
Suppose 0 = 5*o + 5*h - 30, -7*h = 4*o - 2*h - 26. Let z(x) = o + 8*x - 10*x - 1 - x**2 + 85*x**3. Is z(3) a composite number?
True
Suppose 15145 = -5*c - 5*g + 2*g, 4*c + 12114 = -2*g. Let q = c - -4569. Is q prime?
True
Suppose 21*t + 4*t = 7324874 + 12979901. Is t composite?
False
Is 7 + 0 - 2045056/(-52) a prime number?
False
Let v(y) = 3*y + 40. Let b be v(0). Is (b/(-48))/(15/(-6))*57777 composite?
False
Let w(l) = 104*l**2 - 66*l - 400. Is w(-7) prime?
False
Suppose -7 = -11*w + 4*w. Is (-11195)/(-45)*w - (-6)/27 a prime number?
False
Let k be (-12)/(-15) + 32772/(-15). Let i = -846 - k. Is (12/(-8))/((-3)/i) composite?
True
Is (2015070/(-14))/(-5) - 18/(-63) a composite number?
True
Let q(m) = 1892*m**3 - 10*m**2 + 17*m - 32. Is q(3) a composite number?
True
Let c = 12333 - 2573. Suppose 3*n + m = 19748 - 5091, 2*n - c = 5*m. Is n composite?
True
Let x = -76 + 73. Let i be ((-24)/x)/4 - -1*3. Suppose i*w - 2882 = -6*w. Is w composite?
True
Let z(r) = 2818*r + 59. Let i be z(16). Let u = i + -31402. Is u prime?
False
Suppose -15 = 5*h, 5*c + 3*h = 2 - 1. Let v be c/(-16) + 520/64. Suppose -10 = -5*u, -3*d - v*u = -3*u - 2911. Is d composite?
False
Let s = -161367 - -519370. Is s prime?
False
Let y(s) = -40*s + 25. Let p(k) be the third derivative of 10*k**4/3 - 17*k**3/2 - 16*k**2. Let f(r) = 6*p(r) + 13*y(r). Is f(-12) composite?
False
Suppose 0 = 3*s + 2*n - 36049, -4*s - 3*n = -12598 - 35467. Is s a prime number?
False
Suppose 23*r - 22338 - 8275 = 0. Suppose 3*s - 7*s = 3*d - 1808, -3*s + 4*d + r = 0. Is s prime?
True
Is (-2)/(-12) - ((-16335562)/(-6))/(-215 - -213) prime?
False
Let b(p) be the third derivative of 0*p - 11*p**2 - 53/6*p**3 - 15/8*p**4 + 0. Is b(-10) a composite number?
False
Let u = 323292 + -65172. Let w = 182378 - u. Is w/(-26) + 2/13*-1 prime?
False
Suppose 26*i = 25*i - 2. Let g be (-6 - -8)*(i + 7/2). Is -278*((-42)/36 - (-2)/g) composite?
False
Let i be (24 - 26) + (-5)/(-1). Suppose -16*t + 15*t + 22409 = -z, -i*z = 2*t - 44798. Is t a prime number?
False
Suppose 120*c - 1268223 - 13544331 = -138*c. Is c a prime number?
True
Let x(r) = r**3 - 32 + 8*r**2 - 2*r - 10*r**2 + 4*r**2. Let z be x(-6). Is (29 + -1)*(0 + z/(-16)) prime?
False
Let h(s) = -3*s**3 - 7*s**2 + 5*s - 5. Let d be h(-3). Is (-105658)/12*d - (-12)/(-18) a composite number?
False
Let m(h) = 6*h**2 + 4*h - 55. Let k be m(-7). Let y(o) = -3*o**3 - o - 1. Let s be y(-1). Suppose -5*z + s*z = f - 199, 5*z - k = -f. Is f a prime number?
True
Let y be (2/(-6))/((32/(-9564))/(-8)). Is (-1*(-13 - -24))/(1/y) a prime number?
False
Suppose d - 175740 = -2*u, 61*u - 60*u - 3*d - 87863 = 0. Is u composite?
False
Let b be (126/(-49) - -3)*7. Is (-4 - (1 - b)) + (-681)/(-1) composite?
True
Suppose 7*t = 16*t - 2250. Let q = 429 - t. Is q a composite number?
False
Let s = 20 + -7. Let m(i) = 4*i + 40. Let y be m(s). Suppose -6*v + 310 = -y. Is v prime?
True
Let w be ((-33992)/(-20))/((-195)/50 - -4). Suppose -w = -32*q + 28*q. Is q composite?
True
Let q = -66 - -61. Let k be -5 - (q - 0 - 1569). Suppose 3*t + 4*s = -2*t + k, -s - 638 = -2*t. Is t composite?
False
Let g = 712 + -715. Is (g - 78/(-30))/(2/(-38470)) prime?
False
Suppose -25*t - 733946 = -45658759 - 5188062. Is t a composite number?
True
Let u be ((-4)/8)/((-5)/41950). Suppose 5*v = -2*c - 30, c - 14 = v + 3*c. Is (-14)/(-56) - u/v prime?
True
Suppose 22*x - 16 = 20*x. Let f be ((-252)/x)/9*-6. Suppose 0 = 8*l - f*l + 18239. Is l composite?
True
Suppose 5*p = -g + 355048, 4*p - 2*g + 75624 = 359654. Is p composite?
True
Let t = 5152 - -2145. Is t a prime number?
True
Let p be -32 + 20 + 5 + -1. Suppose -2 = 2*g + 2. Is ((-31)/g)/((-36)/p - 4) a prime number?
True
Let t(f) = 2*f**3 - 5*f**2 + 14*f + 2. Let g be ((-26)/(-4))/(-12 - 125/(-10)). Is t(g) a prime number?
True
Let a = 22006 - 52339. Let s = 48814 + a. Is s composite?
False
Let m be (3/(-2))/((-24)/544) + 2. Suppose 39701 = -7*t + m*t. Is t prime?
False
Let t(b) = b**3 + b**2 - 2*b + 1. Let g(o) = 6*o**3 - 21*o**2 - 42*o - 48. Let w(j) = g(j) - 4*t(j). Is w(21) composite?
True
Let r(t) = -t**2 - 38*t + 59. Let h be r(-31). Suppose -3*u + 1779 = -h. Is u prime?
False
Suppose -22*o = -90572 - 112290. Is o a composite number?
False
Let t be ((-11)/(-1))/((-16155)/(-4038) - 4). Let s = t - 3868. Is 3*s/(-27)*(-6)/4 a prime number?
True
Let j(h) = 10*h**2 - 3*h + 10. Let f be (-8 - -6) + (1 - 0 - 6). Let y be j(f). Suppose y = -7*p + 1858. Is p a prime number?
True
Suppose -a = 64*f - 66*f + 83143, -124734 = -3*f - 5*a. Is f a prime number?
False
Let v be 3/(-15) + 2176/5. Let i(z) = 119*z - v*z - 133*z + 19. Is i(-8) a prime number?
False
Suppose 4*b + 12307 = 7*p - 10*p, 5*b = -4*p - 16408. Let v = 6430 + p. Is v a composite number?
False
Suppose 0 = 5*t - 788 + 1938. Let n = t + 916. Is (n/(-28) + 2*-1)*-6 composite?
True
Let b(p) = 49201*p**3 - p**2 + 9*p - 8. Is b(3) a composite number?
True
Let r(y) = -3211*y - 143. Let g be r(-2). Suppose a - 4*x = 1263, 2*a + 3*a = 2*x + g. Is a a composite number?
True
Let a(h) = 42*h**2 - 2. Let z be (27/15)/(3/10). Let r be a(z). Suppose -553 = 3*o - r. Is o composite?
True
Let a(h) = 3*h**3 + h**2 + 193*h - 2901. Is a(16) a prime number?
False
Suppose 4*y = 78 - 54. Let m(k) = -2*k + 23. Let z be m(y). Suppose 48 + 18 = z*w. Is w prime?
False
Let w(q) be the third derivative of q**6/60 - 7*q**5/30 - 11*q**4/8 + q**3/3 + 4*q**2 + 3. Is w(19) a composite number?
False
Let p = 714 + -709. Suppose d + 4*b = 12929, 0*b - 3*b + 64696 = p*d. Is d composite?
False
Suppose -4*w = 4*o + 8, 7*w = -2*o + 2*w - 19. Suppose 5*n - 51 = -o*r + 111, 4*r + n = 199. Is r a composite number?
True
Let s be 2/(-3) - (-64957)/51. Suppose -2*v = -21*v + s. Is v prime?
True
Let o(t) = -t**2 + 23*t - 40. Let a be o(21). Suppose -h + 2 = -3. Suppose -3*i = a*j - 737, -h*j - 1369 + 99 = -5*i. Is i a composite number?
True
Let n = -285110 + 431853. Is n a composite number?
False
Suppose 4*c + 5 + 175 = 0. Let s = c - -2352. Is s prime?
False
Let d(b) = -340*b + 55. Let u = -215 + 203. Is d(u) a composite number?
True
Suppose -o - 3*o + 3556 = 5*u, 0 = u - 2*o - 714. Suppose -s = -2443 - u. Suppose -3*f - 2*f + s = 0. Is f prime?
True
Let m(t) = 2*t**3 + 37*t**2 - 17*t - 3. Let p(r) = r**3 + 18*r**2 - 9*r - 1. Let w(n) = -6*m(n) + 13*p(n). Let g = 786 - 797. Is w(g) a composite number?
True
Let n be 1645 + (-32 + 0)/8. Suppose -14*h + 19*h + 4*r = n, 0 = -h + r + 330. Is h a prime number?
False
Let j(o) = -3*o**3 + o**2 - 18*o - 6. Let k(q) = -10*q + 4. Let n be k(-1). Suppose n*i - 2*i = -84. Is j(i) a prime number?
False
Let u(h) = h**3 + h**2 + h + 3. Let o be u(-2). Is 2 + o + (-3)/3 - -5901 prime?
False
Let y be 4 + (10/(-5))/(-2). Suppose -n - y*j = -0*j + 25, 2*n = -4*j - 20. Suppose n*k - 8267 = -7*k. Is k composite?
False
Let u be (12 - 6 - 11)*(-8)/10. Suppose u*i + 2*x = 39868, 3*x = -4*i + 800 + 39068. Is i composite?
False
Suppose -5*w + 5*o = -24055, 5*w = -87*o + 88*o + 24051. Let u = 16329 - w. Is u composite?
False
Let w(i) = 138*i**2 + 3*i + 16. Let o be w(-3). Let t = o + 1716. Is t a composite number?
True
Let z(n) = 287*n**2 + 4*n - 5. Let x(v) be the second derivative of v**4/12 - 17*v**3/6 + 9*v**2 - 8*v. Let i be x(16). Is z(i) a composite number?
False
Suppose 154*d = 191*d - 19626095. Is d a prime number?
False
Let k(w) = 1404*w + 83. Is k(11) a composite number?
False
Let v(y) = 2050*y - 37. Let o be v(1). Let b = o + -1220. Is b composite?
True
Let u = -261 + 156. Is -16*745/(-7) + (-15)/u prime?
False
Let f = 265223 - 160312. Is f prime?
True
Is 1120691/7 - 30/35*(-5)/15 prime?
False
Suppose 4*p - j = p - 6686, 2*j + 2238 = -p. Let c = 349 - p. Is c a composite number?
False
Suppose -3*b = b - 46444. Let n = b - 3824. Is n composite?
True
Let h be (-5)/(15/4 + -5). Suppose -u + 1127 = 2*j - h*j,