3*s, 5*s - h - 45 = 0. Suppose 5*z + 6728 = s*z. Let c = z + -505. Is c a composite number?
True
Let p = 29261 - -13776. Is p a prime number?
True
Let v(o) be the second derivative of -o**5/5 + o**4/6 + o**3/3 + o**2/2 - 17*o. Let x be v(-1). Suppose x*j + 5*s + 883 = 5078, 0 = 5*s. Is j prime?
True
Let y = 1647 - -2785. Suppose 5*l - 11097 = -4*u, -2*l - 12*u + 7*u = -y. Is l prime?
True
Suppose 4933137 = 1537*y - 1504*y. Is y a composite number?
False
Let j(d) = 25*d**2 + 2*d + 107. Let v be j(19). Let k = v - 5919. Is k composite?
False
Suppose -17 = -3*u - 2*y, -5*u - 3*y + 14 = -13. Let w(m) = -m**3 - 2*m**2 - m - 2. Let p be w(-2). Suppose -t = -5*f + 394, p*f - 76 = -f + u*t. Is f prime?
True
Let z(f) = -f**3 + 6*f**2 - 2*f - 4. Let d(r) = 3*r**3 - 13*r**2 + 5*r + 9. Let x(c) = 2*d(c) + 5*z(c). Let s be x(-4). Is (-346 + 1 + s)*-1 composite?
False
Suppose 0 = 45*m + 45*m + 17382624 - 86905554. Is m a prime number?
True
Let c be (-888)/37*2/6. Is 15172*(-2)/(-20)*(-20)/c a prime number?
True
Is (-1302)/18879 - ((-989569)/(-29))/(-1) a composite number?
False
Suppose -4*b = 3*o - 199461, -291886 = -4*o + 2*b - 25916. Is o prime?
True
Suppose 5*s - 7*s + 158 = 0. Suppose -4*j - 5*f + 55 = 0, 0*f + 4*f = 5*j - s. Suppose -g - j = -138. Is g prime?
False
Let z(g) = 2*g**3 - 6*g**2 + 7*g - 5. Let f = -15 + 10. Let s be (f + 3)/(2/(-8)). Is z(s) prime?
True
Suppose -5*o = -4*b + 15, 3*o + 6 = o. Suppose -2*k - 3*c + 3682 = b, 2*c + 230 - 2071 = -k. Is k composite?
True
Suppose -11*q - 3*s = -15*q + 42682, 5*s - 31968 = -3*q. Is q composite?
True
Let v(z) = 2*z**2 + 16*z + 15. Suppose 0 = 2*l - 65 - 39. Suppose -l*h + 56 = -48*h. Is v(h) a composite number?
False
Suppose -1 = g, -b - 3*g - 6319 = -6*g. Is 2 + -7 - b/1 prime?
True
Suppose -238 - 250 = 8*y. Is (y/122)/((-1)/(-4918)*-1) composite?
False
Let y(q) = -18*q + 2*q**2 - q**3 - 8*q**2 - 1 + 42. Is y(-18) composite?
False
Let b(k) = 3263*k - 232. Is b(7) prime?
False
Suppose -3*h + 929700 = -5*w - 258729, h = -3*w + 396143. Is h prime?
False
Suppose c - 16*v - 7813 = -13*v, 2*c + 3*v = 15635. Is c - ((0/(-4) - 1) + 3) composite?
True
Let i(w) = -142*w - 9*w + 2*w - 22 - 32*w. Is i(-3) a composite number?
False
Suppose -149 = -5*u - 2*b, -u + 6*b = 10*b - 37. Suppose -u*c - 9415 = -34*c. Is c a prime number?
False
Suppose -16 = 4*f, -33464 = -4*j + 4*f + 343044. Is j composite?
True
Let t be 2/9 - ((-4)/9)/(-2). Suppose -5*i + 9308 = -0*i - 4*p, t = -i + 4*p + 1868. Suppose -2*g + 936 = f, -3*g - g + 4*f = -i. Is g a prime number?
True
Let h be 5*-20*4/8. Let a = h + 47. Let f(w) = -41*w**3 - 2*w**2 - 2. Is f(a) prime?
True
Let f(n) = 1092*n**3 - n**2 + 21*n + 5. Is f(4) a prime number?
False
Let t(i) be the first derivative of 1265*i**2 - 59*i - 87. Is t(4) a prime number?
True
Let x = -10 + 13. Suppose 0 = -x*i + b - 1, -2*i - 4*b + 4 = -3*i. Suppose 16 = -4*g - i*g, -3*k + 5*g = -827. Is k composite?
False
Let j(u) = -24*u. Let h be j(1). Let c = h - -63. Suppose -8*g - c = -191. Is g prime?
True
Let s = 3289 + -4627. Let y = -581 - s. Let z = y + -304. Is z a composite number?
True
Suppose 2998646 = 5*z - h, 0 = z - 2*h - 188183 - 411548. Is z composite?
True
Let g = 35 + 2. Let c = g - 33. Suppose -3*j + 2*v = -v - 9258, -3*j + 9261 = -c*v. Is j prime?
True
Let r(a) = 1320*a - 17198. Is r(79) composite?
True
Let b = -815 + -1198. Let r = 2314 - b. Is r prime?
True
Let h(s) = 614*s - 26. Let j be h(5). Let q = j - 1819. Suppose 4*k + w = q, -4*k + 1231 = -2*w + w. Is k a prime number?
True
Let l = 224655 + 293338. Is l a prime number?
False
Let o(m) = -10 + 2*m - 15 - 13 + 4. Let k be o(18). Suppose 2*d - 6 = 0, a - k*a - 2*d = -109. Is a composite?
False
Let b be (48/(-15) - -5)/((-2)/(-1810)). Let q = b - -2317. Is q a prime number?
False
Suppose -5*n - 3*d = 2, 0*n + 4*d + 8 = -4*n. Suppose -5*t + 197 = 2*f, -108 = -5*f + n*t + 341. Is f a prime number?
False
Suppose -3*r - 2162 = -d - 7*r, 4*d = r + 8614. Let s = 6905 - d. Is s composite?
False
Suppose -20*s = -75*s - 14*s + 5523519. Is s prime?
True
Let z = 7675913 + -4161736. Is z composite?
False
Let m be ((-41007)/3 + 1)*16/(-32). Suppose 7*r = 2*r + 20. Is (-3 - (m + r))/(-1) composite?
False
Let j(b) = 5583*b + 5. Let n be j(4). Is (n/(-4))/(19/(-76)) composite?
True
Suppose -2820 = 12*z - 8*z. Suppose 0 = -2*x + o - 4135, -3*x - 2*o - 3596 = 2596. Let i = z - x. Is i prime?
True
Let g(k) be the third derivative of k**7/840 + 7*k**6/360 - 3*k**5/20 - k**4/6 + 5*k**2. Let x(r) be the second derivative of g(r). Is x(11) composite?
False
Suppose 13 - 43 = -15*z. Is 21480/24 + (z - 8) prime?
False
Suppose 186*p = 152399533 - 41093227. Is p prime?
True
Suppose -d + 15 = -3*z, -2*z - 5 = 3*d + 5. Let m = -6020 - -10353. Suppose d = -w - 5, w = v + 3*v - m. Is v composite?
True
Suppose 0 = 5*l, 7*a + 4*l = 3*a + 8. Suppose -3*t = -8*t + 2*u + 22473, 0 = -t - a*u + 4485. Is t composite?
False
Suppose -59279 = -3*w + z + 1377576, w + 3*z = 478945. Is w prime?
False
Suppose -q = -2*y - 155689, 0 = -6*q + 5*y - 40618 + 974731. Is q a prime number?
False
Suppose 392682 = 45*z - 366513. Is z prime?
True
Is -561673*(6/(-10) - (-18)/(-45)) a composite number?
True
Suppose 57*k - 356277 - 1878569 + 331559 = 0. Is k a composite number?
False
Let t(z) = 26*z**2 + 50*z - 5. Let p(y) = -y**2 - 6*y - 11. Let q be p(-5). Is t(q) a composite number?
False
Let y = 1547993 + -1065684. Is y prime?
True
Let r = -25615 + 118086. Is r prime?
False
Let j = 41 + -34. Suppose j*f - 4 = 8*f. Is 195 - (f + 10/2) prime?
False
Let x(m) = 2*m**3 - 141*m**2 - 47*m - 1861. Is x(95) a composite number?
True
Let q(c) = 11*c**2 - 33*c - 268. Let r be q(-36). Let d = r - -17121. Is d composite?
False
Is (16 - 64)/(-16) + 40058*2 a prime number?
False
Suppose -72*r + 1099532 - 116553 + 2916181 = 0. Is r a prime number?
False
Let g(z) = -37*z**3 - 9*z**2 - 82*z - 13. Let b be -1 + -2 + (13 - 16). Is g(b) a composite number?
False
Is 4/(-12) + ((-8)/(-6) - 1 - -5669) a prime number?
True
Suppose 57 = -14*b + 33*b. Suppose 4*d - 12016 = -4*g, -3*g + 9018 = -2*d + b*d. Is g a prime number?
False
Suppose 2*s + 18 + 18 = 4*w, 5*w + 2*s = 54. Is ((-2092)/(-8) - 1)*w*1 prime?
False
Let i = 23418 + -5515. Is i prime?
True
Suppose 2*n = 3*t + 12, 6*n + 12 = 10*n - 3*t. Suppose -6*j = -n*j - 20154. Is j a prime number?
True
Suppose -2*j = -6*j + 5*s + 16, 2*j = -2*s + 26. Let f(r) = -j*r + 22 + 22*r - 4*r. Is f(5) a prime number?
True
Let x be ((-48)/(-56))/(-3) - (-45896)/14. Suppose -3*o + x = -1399. Is o a prime number?
True
Let b(z) = 9*z**2 + 5*z - 9. Let q be b(6). Suppose -2*h = -7*h - q. Let n = -16 - h. Is n a prime number?
True
Is 221700 - 3 - (-30 - -20) a composite number?
False
Let a(p) = 21*p - 81. Let b be a(4). Suppose -b*g - 18906 = -9*g. Is g a prime number?
False
Suppose -3*b - 18502 - 2775 = 4*l, 0 = -l + b - 5321. Let n = 2787 + l. Let i = n + 3752. Is i composite?
True
Suppose -2*h + 6 = -5*d + 30, -3 = -h. Suppose -4 = 4*w, -5*c + d*w + 41766 = 5*w. Is c prime?
True
Let r(l) = 608*l - 1655. Is r(5) a composite number?
True
Suppose 0 = -5*d + 15, 2*d = -5*q + 3*d - 48. Let b be (-51)/q + 2/(-3) - 1. Suppose -4*x + 1702 = 3*o - 693, -b*o = -5*x - 3183. Is o composite?
False
Suppose 42*q + 26 - 110 = 0. Is q*(0 + -3 + 2) - -4669 a composite number?
True
Suppose 3*u - 4*n - 227463 = 0, 5*u - 379073 = -6*n + 2*n. Is u prime?
False
Is 502 + 874/23 - (-10)/2 composite?
True
Suppose -60 = -10*w - 10. Suppose 26944 = -0*i - w*i - 4*u, 5*u = 4*i + 21588. Let c = 7851 + i. Is c a composite number?
False
Let h = 351525 + -216886. Is h a prime number?
True
Suppose -4*m + 707373 = 3*n, -4*m - 169 + 193 = 0. Is n prime?
True
Let i = -338 + 354. Suppose 0 = -i*z + 12233 - 3897. Is z a prime number?
True
Let i = 544 - 396. Is (-58)/(2*(-4)/i) composite?
True
Suppose -1169*n = -588*n - 591*n + 11952670. Is n a prime number?
False
Suppose 273*f = 268*f + 30. Is (3/(f/(-5842)))/(1/(-1)) a composite number?
True
Suppose 0 = w - 27 - 1393. Let g = 966 + w. Is g prime?
False
Suppose -57*d = -2*d + d - 586488. Is d prime?
False
Let i(f) = -f**3 + 5*f**2 + 8*f - 5. Let t be i(6). Let c(p) = 39*p**2 - 31*p - 21. Is c(t) a composite number?
True
Let i = -650 + 655. Is (-2103)/(-