a prime number?
True
Let l(o) = o**2 + o + 25073. Is l(0) prime?
True
Let y(i) = 730*i**2 + 44*i - 1223. Is y(28) a prime number?
True
Let u = 66 + -62. Is u/(-8)*(-2694)/3 prime?
True
Suppose -5*x - 2889 = -c, 131 = -x - 2*c - 438. Let o(p) = 14*p**3 - 4*p**2 + 4. Let l be o(-3). Let s = l - x. Is s a composite number?
False
Let d = 478 - 464. Is ((-811950)/d)/(-5) - (-26)/(-91) a composite number?
True
Let y(r) = -217*r + 12. Suppose 2 = 2*v - 2, -3*b + 2 = v. Suppose -4*m + 9*m + 25 = b. Is y(m) a composite number?
False
Is 11*(-28)/2618 - 158323/(-17) composite?
True
Suppose 4*t - 2*g - 16 = -6*g, 2*t - 4*g + 16 = 0. Suppose 4*j + 2*z - 5*z - 36928 = t, 0 = 3*z + 12. Is j composite?
True
Let t(r) = -8*r + 10. Let i(m) = -8*m + 9. Let n(a) = 5*i(a) - 4*t(a). Let f be n(-6). Suppose -x + f = -578. Is x a prime number?
True
Let h be (7 - 24/2) + 7. Suppose 6600 = h*d - 2826. Is d a prime number?
False
Let r = -1363 + 4543. Suppose 0 = 10*q - 8*q + 5*f - r, -3*q + 4751 = -2*f. Is q a prime number?
False
Let m(s) = -120*s + 15. Let a be m(4). Let w = a - -1606. Suppose 9*r = 2*r + w. Is r composite?
False
Let z = -197 + 189. Is ((-2)/3)/(5*z/1302060) a prime number?
True
Suppose -24 = -3*k + 7*k. Let p be 4/(-14) - k/21. Suppose -2*r = -3*u - 5338, 4*r - 3*r + 5*u - 2669 = p. Is r prime?
False
Suppose -492647 - 4005886 = -20*z - 592193. Is z prime?
False
Let w(v) = -8*v**3 + 235*v**2 - 267*v - 62. Let x(f) = -2*f**3 + 78*f**2 - 89*f - 21. Let m(b) = -2*w(b) + 7*x(b). Is m(-38) composite?
False
Suppose -30 - 33 = 9*f, -5*p + 438079 = -2*f. Is p a prime number?
True
Suppose 0 = 7*v - 10*v + 114. Suppose v*g = 41*g - 7761. Suppose 2*p = 2, -686 = 3*t + 2*p - g. Is t prime?
False
Let b = 310 - 310. Suppose 5*m + 3*c - 10515 = b, 4*c - 1065 + 3168 = m. Is m prime?
False
Let j(t) = 4*t**2 - 16*t - 11. Let l be j(5). Is l/(-18)*(-7582 + -4) a composite number?
False
Is ((-10)/(-75) - 381128/(-15))*(-9)/(-6) a prime number?
True
Let r(u) = 23*u**2 - 3*u + 3. Let b be r(1). Suppose 5*w - 9 = 4*w + 3*n, w + 5*n = -b. Is 207/w*8/(-12) a composite number?
True
Let b(k) = -76*k**2 - 6*k + 7. Let d be b(1). Let o = -70 - d. Suppose -o*x + 14039 = 7*m - 3*m, 0 = -2*x + 5*m + 5642. Is x composite?
True
Let n = -1785 + 2692. Is n composite?
False
Let u = -32505 + 73244. Is u a prime number?
True
Suppose a + 13458 = -4*q - 2182, 78175 = -5*a + 5*q. Let f = 22453 + a. Is f a prime number?
False
Suppose 12 = -14*w + 20*w. Suppose -5*f - 4386 = -w*b, 0 = 4*b + f - 7839 - 977. Is b a prime number?
True
Let h = 19 + -19. Is 2/1 - (-628 - (h + -7)) a composite number?
True
Suppose -4*k + b - 5 = 0, -25 = 5*k + b - 6*b. Suppose k = 2*f - 4, 7*y - 16384 = 5*y - f. Is y prime?
True
Suppose 31*c - 530149 - 121236 = 563474. Is c prime?
False
Let c = -532724 + 963081. Is c composite?
False
Let s(y) = 128*y - 3. Let f(m) = 2*m - 2. Let b(k) = 5*f(k) - s(k). Suppose 0 = w - 5*w - 24. Is b(w) a prime number?
True
Let s(x) = -7*x + 529*x**3 - 31 + 131 + 31*x**2 - 528*x**3. Is s(-29) composite?
True
Suppose -6*b = -5 - 7. Suppose 2*y = 4*i + 4356 - 1342, b*y = -i + 3014. Is y prime?
False
Let a(y) = -4*y**3 + 25*y**2 - 78*y + 165. Is a(-46) a composite number?
True
Is (1/2)/((-15)/(-3775830)) + -2 a composite number?
True
Let r(p) = -2*p**2 - 40*p + 2. Let g be r(-20). Let s(t) = 970*t - 13. Is s(g) a prime number?
False
Suppose 3*n - 12 = 0, 872 = -k + 3*n - 2*n. Let l = 2775 + k. Is l a prime number?
True
Let i(f) = 376*f - 2 - 5 - 68*f. Let g = 1564 - 1558. Is i(g) a composite number?
True
Suppose 108*b - 109*b = u - 225300, 0 = b - 1. Is u a prime number?
True
Suppose -7*f = -0*f - 35. Suppose 0 = 9*b - f*b - 4748. Is b a prime number?
True
Let y = 59 + -61. Let c be (4 - -2)*(-1)/y. Suppose d = -3, 0 = 3*t + c*d - 0*d - 228. Is t a composite number?
False
Let g(b) = 70635*b**2 + 68*b - 117. Is g(2) composite?
False
Suppose 56*h - 3881649 - 258935 = 0. Is h prime?
True
Let x = 213 - 211. Is 7387*x*(10/5)/4 a prime number?
False
Suppose 3*l + 6 = -3*b, -5*l + 38 = -b - 2*b. Is 26*((-507)/b)/13 a composite number?
True
Let p(a) = 1028*a**3 - 7*a + 4. Let o be p(3). Suppose -11*z + 58248 + o = 0. Is z prime?
True
Let t be (-1598)/(-8) - ((-6)/(-8))/(-3). Suppose -11*s = -64 - t. Suppose 20*d + 4456 = s*d. Is d composite?
True
Let c(u) = u**2 + 15*u - 23. Let h be c(21). Let b = 2010 - h. Is b composite?
False
Let q be (-1 - 68)*-1 - 28/7. Suppose 0 = -61*g + q*g - 48388. Is g a composite number?
False
Let c = 9644 - 1131. Is c composite?
False
Let f(m) = 5*m - 166. Let d be f(34). Suppose -5*j + 2792 = o, -3*j = -5 - d. Is o a prime number?
True
Let g be 0 + -2 - (0 - 4)*1. Let n be (5 + -2 - g)/((-2)/1162). Is (-2 - -3)/((-582)/n - 1) a prime number?
False
Let u = 406 + -592. Let i = u - -3773. Is i prime?
False
Let r(l) = 4658*l + 1149. Is r(5) a prime number?
True
Let x(g) = -13*g**3 + 7*g**2 + 5*g - 3. Let i(f) = -f**2 - 16*f - 4. Let v be i(-16). Let w be x(v). Suppose w = 3*q - 0*q. Is q a composite number?
False
Let a(b) = 9*b - 6. Let l be a(3). Suppose -l*z + 5094 = -18*z. Suppose -4*c + 4635 = -m - z, 5*m + 7920 = 5*c. Is c a prime number?
True
Suppose 0 = -l - 5*n + 15, 2*l - 3*n - 75 = 2*n. Let u be ((-229615)/38)/((-2)/4). Suppose -25*c = -l*c + u. Is c a prime number?
True
Suppose 3*w - 5*m - 4189 = -6*m, 4*w + 2*m = 5582. Suppose -31*z - w = -37*z. Is z prime?
True
Let v(l) = -8*l**3 + 32*l**2 - 2*l + 13. Let i be v(4). Suppose -i*b + 43675 = -61540. Is b a composite number?
True
Suppose -5*q - 231757 = -6*q - v, 231781 = q + 5*v. Is q a composite number?
True
Let u = -1065 + 512. Let h = 5852 + u. Is h a prime number?
False
Suppose -16*c + 9079687 = 12*c + 3227099. Is c a composite number?
False
Let s be 166445/35 + 5/((-105)/(-9)). Suppose v - 18273 = -s. Is v prime?
False
Is 1 - 1 - 2216075/(-7 + 2) composite?
True
Let k(y) = -431*y**3 + 3*y**2 - 13*y - 22. Let g(f) = f**2 - 17*f + 65. Let s be g(10). Is k(s) a prime number?
True
Let s = -651 - -1489. Let w = s - 287. Let f = -264 + w. Is f prime?
False
Let n(b) = b**3 - 15*b**2 + 15*b - 19. Let g(o) = -8*o - 55. Let q be g(-9). Let i be n(q). Suppose -f = 3, 3*f + i = 5*m - 0*f. Is m a composite number?
True
Let t = 154308 + -5521. Is t a prime number?
False
Is (-222204)/(-1) - -8 - 1 a composite number?
True
Let r(b) = -16*b**3 - 15*b**2 - 22*b - 12. Let k be r(-9). Let i = k + -4598. Is i a composite number?
False
Let d(p) = 9065*p**2 + 4*p + 14. Is d(3) a composite number?
False
Suppose 3*a + 34534 = m, -a = -m + 10473 + 24063. Is m a prime number?
True
Let u(x) = 4087*x**2 + 73*x - 161. Is u(-19) a prime number?
False
Let l(j) = -18*j**3 + 16*j**2 + 8*j + 9. Let d be l(-12). Suppose 6*s - 37485 = d. Is s composite?
False
Let x = -1106 - -1697. Let w = x - 368. Is w prime?
True
Suppose 4*y - 4*o + 1990 + 1622 = 0, 3*y + 5*o = -2725. Let a = y - -3474. Is a a prime number?
False
Suppose 7375663 = -26164*v + 26211*v. Is v a composite number?
True
Let y = 294 - 291. Suppose -9881 = -5*d + 2*z, 4*d - 7*z - 7900 = -y*z. Is d prime?
False
Let a(q) = q**3 + 74*q**2 + 154*q - 122. Is a(-65) a composite number?
False
Suppose 3*i - 25*n + 29*n - 8234 = 0, -2*n + 2748 = i. Let v = 290 + -29. Let z = i - v. Is z prime?
True
Let h be ((-26)/(-4))/(6 + 886/(-148)). Let a = h + 616. Is a prime?
True
Let o = 95 + -111. Is 2*2/(-8)*(-6602 - o) a composite number?
True
Let z(n) be the third derivative of n**4/12 + 8741*n**3/6 + 3*n**2 - 7. Is z(0) a composite number?
False
Let r = 13963 + -8254. Suppose -3*v + r + 2190 = 0. Is v composite?
False
Suppose 0 = 5*d + 745 + 4025. Suppose 2*j + 2120 = -1358. Let m = d - j. Is m composite?
True
Let b(t) be the second derivative of 133*t**3/2 + 7*t**2 + 31*t. Let o be b(14). Suppose 3*q - d = o, q - 3*d - d = 1885. Is q prime?
False
Suppose 4 = -4*y - 12. Let r = 404 - 412. Is (r/2)/y - (1 - 43) a composite number?
False
Let u = -12336 + 50479. Is u a prime number?
False
Let z(t) = 18*t - 67. Let h be z(4). Suppose h*y + 2*k - 1020 = -3*k, 4*k = -5*y + 1025. Is y prime?
False
Let w be 1/(0/(-2) - 1). Let g(v) be the first derivative of 253*v**3/3 + v + 253. Is g(w) prime?
False
Is 28/(-8)*(-3219272)/196 composite?
False
Let d be (-3)/(3/2) + (-10 - -18). Is ((-14)/8 - d/24) + 