rue
Let a(d) be the second derivative of -d**5/20 - d**4/12 + 2*d**2 + 8*d. Let w be a(0). Suppose l + 1914 = w*b, 481 = -2*b + 3*b + l. Is b prime?
True
Let h(l) = 977*l - 5. Is h(2) prime?
True
Let l(x) = -x**3 + 13*x**2 - 3*x + 3. Is l(6) a prime number?
False
Let b(u) be the second derivative of u**3/3 - 3*u**2 - 2*u. Let c be b(4). Suppose -2*y + 27 = h + c*y, 0 = -4*h + y + 74. Is h composite?
False
Is 3 + (-9 - 0) - (-2379 + 2) composite?
False
Suppose 6*h = -2*h + 32. Let a(t) = 22*t + 1. Is a(h) composite?
False
Let x(u) = 3*u - 87. Let i be x(0). Let a = 156 + i. Is a prime?
False
Let i be (-1)/2*7*-86. Let c = 584 - i. Suppose 2*t - c = -4*b + 7*t, -5*b = -5*t - 360. Is b a composite number?
True
Let o(q) = 2*q - 2. Let u(d) = 3*d**2 + 6*d + 1. Let p be u(-4). Suppose 7 = 4*z - p. Is o(z) composite?
True
Let s(y) = -y**2 + 5*y - 15. Let g be s(9). Let z = 62 + g. Is z prime?
True
Suppose 17*v - 165159 = -64*v. Is v composite?
False
Suppose -68409 - 20821 = -10*q. Is q a prime number?
True
Is 9*(-6)/144 + (-22555)/(-8) a prime number?
True
Let u be -1091 + ((-12)/(-2))/(-2). Let j = 1906 + u. Suppose 0 = 2*d - 5*l - 561 + 179, -4*d = 2*l - j. Is d a prime number?
False
Let u = -259 + 177. Let t = 295 - u. Is t prime?
False
Let f(i) = 557*i**2 + 9*i - 3. Is f(7) a prime number?
False
Let i(s) = 0*s + 3*s**2 - 2 + 2*s**2 - 2*s. Let t = 116 + -113. Is i(t) a prime number?
True
Is 1/(-3) - 65550/(-9) prime?
True
Let v = 72 + -60. Suppose 0*n = v*n - 2820. Is n a composite number?
True
Suppose 2*a - 24303 = -27*r + 26*r, -5*r + 121524 = a. Is r prime?
False
Let a(o) = -4663*o - 359. Is a(-6) prime?
False
Let a(k) = 6*k**2 + k. Let q be a(1). Let u = -17 + q. Let p(n) = -4*n - 3. Is p(u) composite?
False
Suppose 0 = -2*h - k - 85, 23 + 7 = -h - 3*k. Let w = 60 + h. Is w a prime number?
False
Is (-2)/((-50)/263865) + (-2)/(-5) a composite number?
True
Let p(l) = 551*l**2 + 2*l - 2. Let y(i) = -i**2 + 2*i + 1. Let w be y(0). Is p(w) prime?
False
Let v = -23380 + 42711. Is v a composite number?
True
Is (-2)/(-5) + 2033/5 prime?
False
Suppose -m - 5*c + 17794 = 0, -4*c - 39219 = -3*m + 14068. Is m prime?
False
Let k(i) = i**3 + 21*i**2 + 21*i + 45. Let q be k(-21). Let d be (-2334)/10 - 2/(-5). Let h = d - q. Is h composite?
False
Suppose -3*k - 9874 = -w, -29615 = w - 4*w + 2*k. Is w a composite number?
False
Suppose m = 3*m + 370. Let j(s) = 7*s + 2. Let c be j(-6). Let g = c - m. Is g composite?
True
Suppose -2166*h - 253510 = -2176*h. Is h a composite number?
True
Suppose 0*i = 5*i + 1395. Let a = i - -113. Let t = a - -329. Is t a composite number?
False
Let i = 47906 + -28245. Is i a composite number?
False
Let s(j) = -2*j**2 - 8*j. Let v be s(-9). Is (-1 - -12)*(v - -1)/(-1) prime?
False
Let y(o) be the second derivative of -o**5/5 + 9*o**2/2 + 14*o. Is y(-5) prime?
True
Suppose 116 = 18*v - 14*v. Suppose 0 = -30*l + v*l + 4733. Is l composite?
False
Let g be 48/(-3)*(0 + 2). Let z be 2/9 + g/(-18). Suppose -z*w = 3*w + b - 478, 0 = -5*b + 15. Is w a composite number?
True
Let j = 145 - -230. Let r = -262 + j. Is r composite?
False
Let z = 2421 + 27242. Is z composite?
False
Is (-20*(-2)/4)/((-4)/(-5314)) a composite number?
True
Suppose 0 = -4*r - 4*r + 6296. Is r a prime number?
True
Suppose i - 43*i = -1015098. Is i a prime number?
True
Suppose -w = 2*b + 3, -7*b = -10*b - w - 2. Is (-2)/(-7)*7 + b*1221 a composite number?
False
Let b = 11742 + -5203. Is b prime?
False
Let t be 14/(-119) - 42583/17. Is (-6 - t/1) + 4/1 composite?
False
Suppose 0 = -10*c - 1615 - 355. Let y = -576 - -258. Let h = c - y. Is h a prime number?
False
Suppose 46*q + 40014 = 250556. Is q prime?
False
Let u be ((-2)/(-3))/((-6)/(-45)). Let n(c) = 2*c**2 + u - 5 - 261*c**3 + 1 + 2*c. Is n(-1) prime?
False
Suppose 0 = g, -12*g + 155 = 5*y - 7*g. Is y prime?
True
Let j(w) = 85*w - 6. Let z(v) = -43*v + 3. Let b(p) = -6*j(p) - 11*z(p). Is b(-14) a composite number?
False
Suppose -2*r - 8*r + 40 = 0. Suppose -4*q - r*q = -5848. Is q prime?
False
Let x = 4132 + 2487. Is x prime?
True
Let m(z) = 2*z**3 - 12*z**2 + 2*z + 5. Let s be m(8). Let d be s/(-2)*(4 + 0). Let o = -363 - d. Is o a prime number?
True
Let m(s) be the third derivative of s**5/30 - s**4/12 - 2*s**2. Let r be m(2). Suppose 2*h - 321 = -0*h - 5*u, r*h = -2*u + 650. Is h a composite number?
False
Suppose 6*j + 14 = 4*j. Let x(r) = -4*r**3 + r**2 + 4*r + 4. Is x(j) a prime number?
False
Let g be (-4)/((-4 + 2)/1). Suppose g*o - 6 = -o. Is 1*(o + 31 + -2) a composite number?
False
Suppose 10 = 4*t - 18. Let f be (-6)/(-9) - t/(-3). Suppose 4*h + 84 = -f*y + 256, -h - 5*y + 43 = 0. Is h prime?
True
Is 4204 - (-5 + 0 + 8) prime?
True
Let r(k) = 610*k + 53. Is r(5) a composite number?
True
Suppose 10*z - 344213 = -14383. Is z a composite number?
False
Suppose -2*h + 10 = 4. Suppose -h*o = -0*o - 15. Suppose -5 - 5 = -o*g. Is g composite?
False
Let a be (2 - (-3)/3) + -51. Let d = a + 128. Suppose d = t + 27. Is t prime?
True
Suppose -n + 3 = -0*n. Suppose -n*k + 431 = -448. Is k a prime number?
True
Suppose 2*v = v. Suppose v*d + 288 = -3*d. Is (-3)/6*(d - -2) a composite number?
False
Suppose -113*h - 3455 = -108*h. Let d = h - -1578. Is d composite?
False
Let i = 7 + -2. Suppose -w + 525 = -5*r, -w - 2049 = -i*w + 3*r. Suppose -44 + w = 2*z. Is z composite?
False
Suppose 29*d + 3*d = 1057120. Is d a composite number?
True
Suppose -9*z - 726 = -3*z. Is z/(3*2/(-6)) composite?
True
Is (-63265)/(-4) - 1 - 172/688 composite?
True
Suppose 2*w - 546 = -2*m, -4*w + 1064 = -0*w - 3*m. Let f = 1330 - w. Is f prime?
True
Let g(h) be the second derivative of 1/2*h**2 - 67/3*h**3 + 0 + 2*h. Is g(-2) a composite number?
False
Suppose -2*v = -80 - 10. Suppose -337 - 183 = -5*q. Let i = q + v. Is i prime?
True
Let l(k) be the third derivative of 3*k**6/40 + k**5/60 + k**4/24 + 2*k**3/3 + k**2 - 118*k. Let s be (1*-3 + 2)*-3. Is l(s) composite?
True
Let f(m) = -59*m + 181. Is f(-20) a prime number?
True
Let j(c) = 23*c**2 - 6*c - 10. Let u be j(-4). Let p = 1259 - u. Is p prime?
True
Let d = 26812 - 4514. Is d a prime number?
False
Let u(o) = o**3 + 9*o**2 - 4*o - 7. Let v(s) = -6*s**3 - 45*s**2 + 20*s + 35. Let i(c) = -11*u(c) - 2*v(c). Is i(12) prime?
True
Suppose c = -0*c + 5. Suppose i - 1697 = c*g - 2*i, -3*g = -i + 1019. Let m = -163 - g. Is m composite?
True
Let a = -25 - -26. Is 3/(-12) + (3042/8 - a) a composite number?
False
Let d(b) = -16*b - 130. Let i be d(22). Suppose 1553 = 2*t - 5*x, 2601 = 4*t - 4*x - 535. Let o = t + i. Is o prime?
True
Suppose -5*w = -4*m + 26752, 0 = 2*m + 4*w - 7160 - 6190. Is m a prime number?
False
Is (-613980)/(-252) - 8/(-14) a composite number?
False
Let o(x) = -x**3 + 19*x**2 - 8*x - 23. Is o(-10) a prime number?
True
Suppose 9*k = 21046 + 1967. Is k a prime number?
True
Suppose -19*i - 30280 = -27*i. Is i prime?
False
Suppose -9532 = -5*j + 2423. Is j a composite number?
True
Suppose -20*c - 1367 = -39427. Is c a composite number?
True
Let j = -991 + 1970. Is j prime?
False
Let l = 74425 + 17152. Is l prime?
True
Suppose 25 = 5*o - 5*h, o - 1 = -0*h - h. Suppose 0 = 4*a + o*r - 4, r = 4*a - 0*r - 20. Suppose -1027 = -a*n - 183. Is n a composite number?
False
Let y be (9/18)/((-2)/20004). Let i = 7564 + y. Is i composite?
True
Let d(r) be the first derivative of -72*r**2 - 31*r + 20. Is d(-7) composite?
False
Suppose 0 = 4*t + 5*q + 1922, -2*t - q - 3*q - 964 = 0. Let h = 577 - t. Is h composite?
True
Suppose -392 - 143 = -5*f - 5*i, 5*i - 25 = 0. Suppose f = n - 172. Is n prime?
False
Suppose -i + 8 = 3*i. Suppose i*x = 3*p + 29, 5*p + 7 + 37 = -x. Is (-22)/99 + (-2729)/p a prime number?
False
Suppose -s + 996 = 4*b, 2*b = -s + 628 - 128. Suppose 5*r + 2*j + 508 = r, -381 = 3*r - 5*j. Let k = r + b. Is k prime?
False
Is (-150)/(-60) - (-802)/4 a composite number?
True
Let m = 283 + -214. Is m prime?
False
Let f be 30/(-9)*12/(-5). Suppose 2 = -2*o + f. Suppose 3*s = 5*s + 3*i - 54, -o*s = 5*i - 79. Is s a prime number?
False
Suppose -4*b = -2*s - 13122, 5*b - 14*s = -13*s + 16398. Is b a prime number?
False
Suppose 2*r - 17766 = -2*l, 0 = 6*r - 3*r + 12. Is l a prime number?
True
Let v = 3930 + -1519. Is v a composite number?
False
Suppose 5*v + 160 = v. Let p = -40 - 