s 12/f - (-3881)/2 prime?
False
Let d(o) = 617*o - 1905. Is d(74) prime?
True
Suppose -5*j = u - 238, -3*u = -2*j - 4*u + 94. Let b(k) = 46*k**2 + 90*k - 19 - 38*k - 18 - j*k. Is b(8) composite?
False
Let x = -15108 + 23404. Suppose -13*d + 5*d + x = 0. Is d composite?
True
Suppose 3*w - 1769404 = -10*s, 55*s = 54*s - 3*w + 176935. Is s a prime number?
False
Let t = 858664 - 449121. Is t a composite number?
False
Let z be (-30 - -26)*(1 + 0). Is -3 - (-1 - 18615)*1 - z a composite number?
False
Is -4*(-24)/176 + (-1)/(22/(-25995430)) a composite number?
False
Suppose 8 + 32 = -5*p. Let t(h) = 26*h**2 + 7*h - 14. Let j(c) = 77*c**2 + 21*c - 43. Let n(i) = p*t(i) + 3*j(i). Is n(-7) a prime number?
True
Suppose -14*l + 234447 - 58383 = 0. Suppose 6*v - l - 4260 = 0. Let g = v + -1885. Is g composite?
True
Let d(v) = 2 - 41*v - 75 - 10*v. Is d(-22) composite?
False
Let s(j) = -2*j - 190 + 875 + 3*j + 6 - 2*j**2. Is s(0) a composite number?
False
Suppose 302 = 19*s - 33480. Let l = -1045 + s. Is l composite?
False
Let i(z) = 312*z**2 + 136*z + 1. Is i(15) a composite number?
True
Suppose 3*a = 4*w + 308, -4*a + 2*w = 5*w - 444. Suppose a = -4*s + 116. Suppose 3*z + 4*o - 29 = 0, 0 = -0*z - s*z + 5*o + 4. Is z a prime number?
True
Let l = -308272 + 433821. Is l a prime number?
False
Let v be (-5)/20 - 18/(-8). Let j(t) = 391*t**2 - 10*t - 1. Is j(v) composite?
False
Suppose -3*g + 16943 = 2*m, 246*g - 25348 = -3*m + 251*g. Is m a prime number?
True
Let u be ((-1)/(-3))/(11/1643334). Suppose 8*k = -6*k + u. Is k a composite number?
False
Let x(k) = 5*k + 14. Let n be x(-8). Let o = n + 34. Suppose -o*j = -3*j - 9235. Is j composite?
False
Let p = 238 - 229. Suppose p*n + 18*n - 129303 = 0. Is n prime?
True
Let n(b) = -b**2 - 10*b - 11. Let q be n(-8). Suppose -3*p + x = -592, -6*p + q*x = -p - 980. Is (p/(-30))/((-1)/5) a composite number?
True
Suppose 5*i + 2*x - 7 - 10 = 0, 5 = 3*i - 4*x. Suppose 0 = -d + i*o + 2602, -2*d + o = -2*o - 5213. Is d prime?
False
Suppose -3*w - 4*p + 25 = 0, -w + 5 = 4*p - 14. Suppose 2*g - 176 = 4*l - 48, 3*l + 180 = w*g. Is g/3 + 20/60 prime?
True
Let d = 153 + -242. Let p = d - -47. Is p/(-98) - (0 + 2146/(-7)) a prime number?
True
Suppose -15*x - 284965 = -1319620. Is x a composite number?
True
Let s be (12/(16/4))/(42/14). Is (0/s + -13)*(-132 - -1) a prime number?
False
Let v be (-40)/(-12)*(-9)/(-6). Let k be v/(10/(-12))*(10 - 12). Is (-6)/k*-1*1082 a prime number?
True
Suppose p - s - 2 = 0, 2*p + 2*p = -3*s + 29. Suppose -7*q + 7022 = -p*q. Is q a prime number?
True
Let b(w) = 3*w + 10 + 65*w**3 + 33*w - 7*w**2 + 0*w**2 + 22*w**2. Let x be b(-10). Is 2/(5*(-4)/x) prime?
False
Let b be 72/30 + (-6)/(-10). Suppose -b*x + 5 = -4. Suppose 0 = -x*i + 4*v + 75 - 0, -5*i = -3*v - 125. Is i a prime number?
False
Suppose -4*v = -19 + 15. Is 4653015/180 + -9 + v/(-12) a composite number?
False
Suppose -3*j = -5*j - 4*r, 0 = 2*j + 5*r. Suppose -w - 2*z - 2 - 1 = 0, j = -4*w - 2*z. Suppose -3*a = 2*y - 1437, -3*y - w - 8 = 0. Is a a prime number?
False
Let f(n) = -n**3 + 14*n**2 + 2*n - 16. Let h be f(14). Let r be 4/6 - (-1096)/h. Suppose -r - 670 = -6*t. Is t composite?
False
Let i(r) = 5429*r - 270. Let h be i(12). Is (-3)/(-5) - h*(-30)/225 composite?
True
Let u(s) be the first derivative of 104*s**2 + 4*s + 22. Let v be u(3). Suppose d + v = 5*d. Is d a prime number?
True
Let t(l) = 23 + 245*l + 723*l - 191*l. Let s be ((-12)/30)/((-59)/885). Is t(s) a prime number?
False
Let u = 628 + 110. Suppose -u*n + 745*n = 17486. Is n composite?
True
Let l(j) = 175*j - 76. Let x(v) = 117*v - 51. Let m(a) = 10*a - 3. Let f be m(1). Let z(q) = f*x(q) - 5*l(q). Is z(-16) prime?
True
Suppose -1202 = 3*n + 1318. Let t = 758 + 617. Let y = t + n. Is y a prime number?
False
Let k be 865/15 + 2/6. Let n = k + -57. Is (2 - -2 - n) + 92 a prime number?
False
Let d(h) = -1. Let a(c) = 25*c**2 + 5*c - 24. Let y(z) = a(z) - 3*d(z). Is y(5) composite?
True
Suppose -3*y = p - 1310, 0 = 21*p - 24*p + 15. Let c be 0/((-6)/(-2)) + 2830. Let i = y + c. Is i a composite number?
True
Suppose -11*g + 47058 + 960344 = 0. Suppose 23*t + g = 52*t. Is t prime?
False
Suppose 0 = -5*w - 10, -3*a + 2*w + 11003 = -29564. Suppose -11*x = a - 75308. Is x a composite number?
True
Suppose 0*x - 42 = -3*x. Let b = 5623 + -5623. Suppose x*h - 5*h - 1683 = b. Is h prime?
False
Suppose -5*y = -36335 - 30445. Suppose -30*t + y = -37*t. Is (-2)/(-10) + t/(-10) prime?
True
Let s be (189/15)/((1 - 2)/45). Let p = 1266 + s. Suppose p - 6033 = -6*k. Is k composite?
True
Suppose -z + 9041 = 4*v, -v + 562 + 1682 = -3*z. Let g = 3178 + v. Is g prime?
True
Suppose -7*l + 729066 + 1384157 = 0. Is 0 + 6 - l/(-7) composite?
False
Let w = 42555 - 24757. Let r = 34293 - w. Is r a prime number?
False
Let p(a) = a**3 + 7*a**2 - 9*a - 5. Let o be p(-8). Suppose o*c - 75164 + 10505 = 0. Is c a composite number?
True
Is (-2964936)/(-18) + (-5)/(-15) a composite number?
True
Suppose d = 3*f - 194, 0*f - d + 66 = f. Is 83018/f + (-9)/(-5) + -2 a prime number?
True
Suppose -14 = -i + 4. Suppose -9*d = -i*d + 4923. Is d a prime number?
True
Suppose 119*f = 11746309 + 1921674. Is f a composite number?
True
Let x be (-2)/6 - 1905127/(-21). Suppose 37976 = 8*s - x. Is s prime?
True
Let a = -554880 + 1200113. Is a a composite number?
False
Let u(r) = -56*r**2 - 17*r + 25. Let a(x) = -114*x**2 - 35*x + 48. Let s(f) = -3*a(f) + 5*u(f). Is s(6) a composite number?
False
Let q(z) = -7032*z**3 - z**2 - z - 1. Let f be q(-1). Suppose 19*j = 4*t + 14*j - f, 3*t + j = 5278. Is t a composite number?
False
Let i(b) be the first derivative of b**2 - 26*b + 4. Let f be i(9). Is -1 - -404*f/(-4) composite?
True
Suppose 3*b - 2*g = 22706, -6301 - 1266 = -b + g. Suppose -15948 = -2*i + 2*y, -3*i + 16358 + b = -y. Is i composite?
True
Suppose c + 33375 = 26*c. Suppose 6*b - 8 = 1192. Let k = c + b. Is k prime?
False
Let c be 25/4 - 1/4 - 3. Let x be 647/((4/(-16))/(c/(-4))). Suppose -x + 233 = -4*d. Is d composite?
True
Suppose 0*t + 3*q = -t - 10, 5*q + 25 = 0. Suppose t*d - 843 - 5747 = 0. Is d a composite number?
True
Let i = 102235 - -86014. Is i a composite number?
False
Suppose 5*k + 54917 = d, 4*k = 1766*d - 1762*d - 219636. Is d a prime number?
True
Let v(h) = h**3 + 5*h**2 + 7*h + 4. Let p be v(-2). Suppose -1 + 5 = p*t. Is 2/(-2)*(-852 + 1 - t) composite?
False
Suppose 2*z - 3*h + 128 = 0, -5*z - 362 = 8*h - 5*h. Let i = 4 - z. Is i a composite number?
True
Let x(v) = v**2 - 3*v + 3640. Let n(u) = 2*u + 1. Let f(d) = n(d) + x(d). Is f(0) composite?
True
Let t(x) = 4*x - 15. Let d be t(5). Suppose 0 = -2*h - 5*r + 10044, d*h - 26091 = r - 1008. Is h a prime number?
False
Suppose -831*s - 100582100 = -931*s. Is s a prime number?
True
Suppose 4*v = -i + 43, -i - 2*v - 36 = -3*i. Suppose -401 = -o - i. Suppose o = c + 109. Is c a composite number?
False
Let f(b) = 18*b + 7. Suppose -x = 5*q - 22, x + 3*x = q + 88. Suppose -x = -2*w - 18. Is f(w) composite?
False
Suppose -2*b - 66 = -30. Let k be (-733308)/54 - 2*(-2)/b. Let g = -7957 - k. Is g composite?
False
Let a(c) = c**3 + 2*c**2 + 5*c + 712399. Is a(0) a prime number?
False
Is 11*(-36)/198*917409/(-6) a prime number?
True
Suppose -188*a + 5136570 = -170*a. Is a a prime number?
False
Let c = 18788 + -11647. Is c a prime number?
False
Suppose 2*z + 0*z + 5*i = 11, 4*z = i + 11. Suppose -a + 5*a = -z*a. Let n(r) = r + 1151. Is n(a) composite?
False
Let c(v) = 5 + 2*v + 4*v - 8*v. Let w be (-328)/40 + 1/5. Is c(w) a composite number?
True
Let o(z) = z**2 - 4*z. Let n be o(5). Suppose n*v - 4*w = 0, v - w = 1 - 2. Suppose -x - 474 = -v*x. Is x prime?
False
Suppose 0 = 2*v - 3*a - 1738178, -4*a - 2455196 - 1021168 = -4*v. Is v a composite number?
True
Suppose -528052 = d + 4*d - 3521937. Is d composite?
False
Is (1263/(-3))/((-8)/136) a composite number?
True
Let b(m) = -122*m - 6. Let q be b(-7). Suppose 0 = 3*s - 4*a - 797 - q, 4*s + 3*a = 2210. Is s composite?
True
Let a = 19871 - -4158. Is a a composite number?
False
Let z = -602586 + 886309. Is z a prime number?
False
Is (-18)/(-42)*1 + 1/(14/11684) composite?
True
Let d(l) = l**2 - 10*l + 28. Let n be d(6). Suppose 0*w + 940 = n*w. Is w a prime number?
False
Let s(m) = 2*m**3 - m**2 - 7*m -