alse
Let x(s) = 264*s**3 - 8*s**2 - 5*s + 21. Is x(4) a composite number?
True
Let u(o) = -o**2 - 111*o - 181. Let f = -27 + -25. Is u(f) composite?
False
Let m be -7*(-13)/(-364) + (-74)/(-8). Suppose -346 = -t - m*i + 4*i, -2*t + 672 = 5*i. Is t prime?
False
Suppose -210*i = -239*i + 343353 + 3372910. Is i a prime number?
True
Is ((-190845)/4 - (-2)/8)*(-26)/26 a composite number?
False
Let w = -254617 + 1010264. Is w composite?
True
Let x be -1*((-19)/(-3) - (-4)/6). Is -1 + (-99)/(-63) - 62737/x prime?
True
Suppose 42 - 33 = 3*r. Suppose -v + 5*d - 23 = 0, -r*d + 17 = v - 0*d. Suppose 3*t - 2438 = -4*i + 42344, i = v*t + 11201. Is i a prime number?
True
Suppose -4*g + 2*g = -2690. Let f(v) = 6*v - 2. Let u be f(0). Is (-2)/((10/u)/g) a prime number?
False
Let w be (-38)/9 - (-12)/54. Let p be 21424/91 + w/(-7). Suppose 3*a - p - 805 = 0. Is a a prime number?
True
Suppose -4*g - 2352 = -508. Let l = 760 + g. Is l a prime number?
False
Let c(p) = 3343*p + 39. Let o be c(3). Let k = 21925 - o. Is k prime?
False
Suppose -8 = 2*m, -5*m - 11053 + 3695 = -3*k. Is (-15)/5 + 5*k prime?
True
Let q = 40254 - -38793. Suppose -q = -3*d - 21516. Is d a prime number?
False
Suppose 0 = 24*d + 5*d - 2610. Suppose -4*f + 5*u = -10027, -d*f + 4994 = -88*f + 4*u. Is f composite?
False
Is 175/(-35) - (6 - 1337290) prime?
False
Suppose 13*k = 38 + 66. Suppose 0 = 2*i + k, -3*s + 2*i - 5*i + 6681 = 0. Is s a composite number?
True
Let x(v) = v**3 + 29*v**2 - 31*v - 43. Let q be (6 + -20 + 4)/((-1)/(-2)). Is x(q) prime?
True
Let d = -457196 - -923083. Is d composite?
False
Let v = 108559 - 47786. Is v composite?
False
Let k be 5 + -2 - (-1 + 1). Let v be 0 - k*(-20)/15. Is 413/((v - 1) + -2) a prime number?
False
Let m(i) be the second derivative of 33*i**5/20 + i**4/12 - i**3/2 - 2*i**2 + 10*i. Suppose 3*y - 3 - 6 = 0. Is m(y) a prime number?
True
Is (5*(-28)/70)/((-4)/14114) prime?
True
Let b(y) = 75*y**2 - y + 21. Suppose -5*o + 10 = -40. Suppose o = 5*t - 7*t. Is b(t) prime?
True
Suppose -5*n - 5 = 0, 4*u - 2*n = -18454 - 26396. Is (u/(-3))/(5 - 56/12) a composite number?
False
Suppose 31*u = 27*u + 16. Suppose -u*h + 4445 - 837 = 0. Suppose -5*n + 4*m - 3*m = -4468, -3*m = -n + h. Is n prime?
False
Suppose 4*k - k - 73358 = q, q + 97812 = 4*k. Is k a prime number?
False
Let a(y) = 23*y**2 + 10*y + 38. Let v be a(-3). Suppose v*p = 205*p + 23950. Is p a prime number?
False
Let j(p) be the third derivative of 3*p**5/20 - p**4/8 - p**3/2 + 39*p**2. Let i be j(-1). Let l(s) = 20*s + 43. Is l(i) a prime number?
True
Suppose 4 = 3*z - g, 5*g = -4*z + 3*g + 12. Let y be -1*(-1 - -5803)*z/(-4). Suppose 0 = -6*k + 3*k + y. Is k a prime number?
True
Suppose 5*s - s - z - 521 = 0, -392 = -3*s + 2*z. Is ((-320)/s)/(-16) + 47721/13 composite?
False
Suppose -4786 = -4*a - 3*t + 8221, 2*t - 9756 = -3*a. Suppose 7*i + a = v + 2*i, 3*v = 4*i + 9707. Is v a composite number?
False
Suppose x - i = 2, 0 = -10*x + 5*x - 3*i + 2. Is -7822*(0 - x) - (-145)/(-29) a prime number?
True
Let z(y) = -y**3 + 17*y**2 - 29*y - 8. Let r be z(15). Let i = 11 - r. Suppose 607 = 4*d + 2*v - 1565, -5*d + i*v + 2689 = 0. Is d a composite number?
False
Is (-47878)/(-3) - -1 - 596/447 prime?
True
Suppose -2*y + 6 = -0. Suppose -o = y*i - 10, i = 6*i - 4*o - 11. Suppose i*u + 1172 = 3149. Is u a composite number?
False
Suppose -7*f = 56 + 385. Let q = f - -400. Is q a composite number?
False
Let p be 4/42 - 18/189. Is (53102 + 19)/(3 + p) a composite number?
False
Suppose -5*z - 3*t = -9060 - 1425, -3*z + 6291 = -4*t. Suppose 3*q - 3*h - z = 0, -9*q - 5*h = -4*q - 3535. Is q composite?
True
Let d = 11752 + 4861. Is d prime?
False
Suppose -13*l + 756287 - 298804 = 0. Is l composite?
True
Suppose -y - 3*q + 658 = 0, -6*q = -2*y - q + 1294. Let m = y - -1750. Is m a composite number?
True
Suppose -2*s = 5*m - 319531, s - 6*m - 159760 = -3*m. Is s composite?
False
Suppose -g + 13669 = 2*z, -4*z + 41007 = 37*g - 34*g. Is g a prime number?
True
Let g(p) = -17*p + 82. Let s(r) = 17*r - 82. Let l(t) = -2*g(t) - 3*s(t). Let c be l(9). Let q = 108 + c. Is q composite?
False
Let r(u) = 45*u**2 + 3*u - 2645. Is r(37) a composite number?
True
Let w(d) = 7*d**2 - 11. Let h be w(-4). Let p be (-7 + 6)/((-1)/h) + 2. Suppose -p*y - 7355 = -108*y. Is y a composite number?
False
Suppose a - 137642 = -3*y, 28*a + 2*y = 29*a - 137627. Is a prime?
True
Suppose -30*z + 25*z = 2*l - 15579, 5*z = -l + 7772. Is l prime?
False
Let u be 13/(-26) + (-1575)/2. Let p = 2223 - u. Is p prime?
True
Let j = 53660 - -3543. Is j composite?
False
Suppose -400 = 16*h - 21*h. Let q = h + -75. Suppose q*r + 0*u = 4*u + 3167, -2*r - 3*u = -1253. Is r a prime number?
True
Let h(p) = 1044*p**2 - 2*p - 15. Let w be h(3). Suppose 3 = -t + 7, -3*t + w = y. Suppose -8199 = -6*b + y. Is b a composite number?
False
Let q(d) = d**2 - 27*d + 45. Let b be q(25). Let h = -2 - 25. Let g = b - h. Is g a prime number?
False
Suppose 0 = -19*y + y - 126. Is (-937461)/(-147) + 2/y prime?
False
Let g be ((-462)/56)/(6/3632). Is (-8 - g/(-6))*(-3)/1 composite?
False
Let s(b) be the third derivative of b**6/120 - b**5/5 - b**4/2 - 17*b**3/6 + 18*b**2. Let m be s(13). Is -86*(m - (-14)/4) prime?
True
Suppose -x = -2*y - 16432 + 175277, 0 = 2*y - 3*x - 158851. Is y a prime number?
False
Let u(d) = -19408*d + 651. Is u(-7) composite?
True
Let h be (-28)/12*21/7. Is 10/15*((-1591905)/10)/h a composite number?
False
Let a be (-2)/(-4) + (-11630)/(-20). Suppose 4*t = 4*z + 3672, -5*t = z - a - 4002. Is t a prime number?
False
Let l be (-3 - 8)/(-11)*(-4 - -1). Is ((-1)/l)/(15/93465) a composite number?
True
Let a = -584 + 704. Is 1909*(a/90)/((-8)/(-6)) a composite number?
True
Let g(f) be the second derivative of f**4 - 7*f**3/2 - 109*f**2/2 - 68*f - 2. Is g(-16) composite?
False
Let n(o) = 6*o + 28. Let i = 77 + -83. Let k be n(i). Is 4*(-5)/(-80) + (-6902)/k a composite number?
False
Let f(h) = 11379*h + 4313. Is f(30) composite?
True
Suppose 5*i + 288 = 168. Let j(o) = -3*o**3 - 31*o**2 + 19*o - 61. Is j(i) a prime number?
True
Let n(f) = -f + 6. Let v be n(0). Suppose -v*t = -78 + 90. Is (t/15 - 0) + (-73028)/(-60) composite?
False
Suppose -2*d + 4*q + 1264 = -706, q - 5962 = -6*d. Is d composite?
True
Suppose 4*n - 1537960 = -4*t, -172*t + 171*t = 7. Is n a prime number?
True
Suppose -15*p - 880414 = 9*p - 5511190. Is p prime?
True
Suppose 3*z + 7041275 = 27*z + z. Is z a prime number?
True
Suppose -416*z = -419*z + 55728. Let a = z - -5863. Is a composite?
False
Suppose 64*j - 542426 - 2766703 = 722423. Is j prime?
False
Suppose 15258 = -0*t - 6*t. Let j = t - -8702. Is j a composite number?
True
Suppose -820 + 325 = -33*y. Suppose -10328 = 7*r - y*r. Is r a composite number?
False
Suppose 3*v - 3 - 6 = 0. Suppose 743 + 49 = -v*f. Let w = 481 - f. Is w composite?
True
Let d(h) = 11*h**2 + 2*h + 4. Let w = -111 + 110. Let n be -3 - (3/9*0)/w. Is d(n) prime?
True
Let c = 62 - 63. Let t be (-3 + c + 5)*(3 - -2). Suppose -t*o + 6071 = 1726. Is o prime?
False
Let m(h) be the second derivative of -26473*h**5/20 + h**4/12 + 8*h**3/3 + 15*h**2/2 + 2*h + 23. Is m(-1) prime?
False
Let l = -10832 + 17230. Let d = 5591 + l. Is d a prime number?
False
Suppose 4*l = u + 6, -2*u - 2*l = -0*u + 2. Let w be u*2 + -11 + 23. Is (20/w)/(-5)*(-3 + -1835) a composite number?
False
Let v(s) = 4214*s - 10565. Is v(21) composite?
False
Let s(b) = -2 - 4 - 59*b + 54*b + 1. Let f be s(-17). Suppose 62 + f = 2*z. Is z a prime number?
True
Suppose -3*v + 13 = 4*z, 3*v = -5*z - 2*v + 20. Is z/(1/(-3))*19444/(-12) composite?
False
Is (-12)/((-504)/19082)*3 a composite number?
True
Let d be (26/(-10) - -3) + (-465792)/(-20). Let r = d - 13190. Let g = r + -5365. Is g prime?
False
Let d be 0 + (0/(-4) - -2). Let p(z) = 399*z**3 + 4*z**2 - 7*z + 9. Is p(d) composite?
False
Suppose -j = 6*p - p - 20, 4*p = 4*j + 40. Is (j/(-15))/((-8)/(-75912)) a composite number?
False
Suppose 37*i = -41*i + 10865640 + 10997526. Is i prime?
True
Let g(i) = -i**3 + 3*i**2 - 60*i + 837793. Is g(0) prime?
False
Let y(s) = 16198*s**2 + 52*s + 191. Is y(-4) composite?
False
Suppose 114*x = 15*x + 44898383 + 41486344. Is x a prime number?
False
Let s(u) = u**3 + 138*u**2 + 2059*u - 67. Is s(-104) prime?
False
