 a prime number?
True
Suppose 14*p = -10212 - 25712. Let k = 5163 - p. Is k a composite number?
True
Suppose -7*t = -22624 - 9730. Let u = t - 3223. Is u a prime number?
True
Suppose 3*g - g - 1085147 = -3*f, -f + 1627696 = 3*g. Is g prime?
False
Let i = 139 + -126. Suppose -i*b + 11666 + 2205 = 0. Is b a composite number?
True
Let d be 426/8 + -4*(-2)/(-32). Let t = 55 - d. Suppose 4*o - 4*g = -t*g + 7354, -4*o + 3*g + 7349 = 0. Is o prime?
False
Let f = -836 - -1397. Let p = f + -182. Is p composite?
False
Suppose 3*c + 2*c = 10. Suppose -2*s = 8, 4*y = -5*s + s + 3140. Suppose m + c*m = y. Is m prime?
True
Let d = -4773 - -9524. Suppose 321*u = 320*u + d. Is u composite?
False
Is (2 - -1)*7104291/15*(-60)/(-36) composite?
False
Let x(k) = -26*k**3 - 22*k**2 - 15*k - 1. Let d be x(-6). Let c = d + -1626. Is c composite?
True
Suppose 77*k - 72*k = 175. Is (266/k)/(8/100) a composite number?
True
Let k = 5460 + -3551. Is k a prime number?
False
Let l be (-8342)/(-4)*(8 + -6). Suppose 5*w - l = 29424. Is w a composite number?
False
Suppose 69574*i - 69548*i = 9739678. Is i a composite number?
False
Let c = 72813 + -32884. Is c a prime number?
True
Suppose 2*n + 2*j - 303358 = 398930, 6*n - 2106884 = 4*j. Is n composite?
True
Suppose d = -5*j - 8, 4*d = 9*j - 4*j + 18. Let t be (-89)/(j + (-30)/(-14)). Let x = 3344 + t. Is x a composite number?
True
Let w(s) = s**2 + 3*s - 54. Let f be w(6). Let u be (1 + -1)/(-3 - -1). Suppose u = -f*z + 3*z - 1317. Is z composite?
False
Suppose -5*k - 2 = -u, -3*k + 7*k = u - 2. Suppose 551 = -u*v + 1997. Let h = -92 + v. Is h prime?
True
Suppose -233*a + 1774262 = -3645197 - 238014. Is a prime?
True
Let q be (-4 - (-2 - (-1 + 827))) + 4. Let l = 2265 - q. Is l prime?
False
Let j = -181902 - -265901. Is j a prime number?
False
Suppose -7*k + 7 = -0*k. Let w be 51/24 - (-2)/(-15 - k). Suppose -3*b + 6595 = w*b. Is b a prime number?
True
Let l = 1019361 - 304870. Is l a composite number?
True
Suppose -4*f = 3*q - 4325155, q - 613094 - 828594 = 3*f. Is q prime?
False
Is ((-117)/(-13) - 19) + 106437 a composite number?
False
Suppose 49501 = 6*s + x - 19630, 4*x = -3*s + 34583. Is s composite?
True
Let m(a) = -659*a - 14. Let s be m(-4). Suppose -s = -23*o + 713. Is o a prime number?
False
Let j(o) = 5*o - 5. Let c be j(6). Let g be 5/(-3)*(1152/60)/(-16). Is 10/g*4670/c composite?
True
Suppose 3*s - 15046 = -4*v, 5*s - 26252 = -3*v - 1157. Is s + (-10 - -6)/4 prime?
True
Let k(c) = 12447*c - 571. Is k(12) composite?
False
Let j(c) = -c**2 + c + 2. Let s be 1/(-4) + 8/32. Let d be j(s). Is (d/(12/(-2)))/(17/(-45237)) composite?
False
Suppose 10*m - 32088 = 166402. Is m prime?
False
Let y = -2477 + 19206. Is y prime?
True
Let i(h) = 2550*h + 1919. Is i(22) a prime number?
False
Suppose -2*b + 11514 + 9974 = 0. Suppose -b = -3*h - 5*h. Is h a composite number?
True
Suppose -4*p + 176101 = 5*n, 182*n - 186*n + 140885 = -p. Is n prime?
True
Suppose 0 = -4*s - 146*c + 149*c + 643646, 3*c - 321832 = -2*s. Is s a composite number?
True
Let x(p) = p**2 - 6*p + 11. Let s be x(5). Suppose o + 16581 = 4*r + s*o, 3*r - 2*o = 12407. Suppose 0 = -7*a + 13176 - r. Is a a prime number?
True
Let w(i) = -181*i**3 - i**2 - 6*i + 6. Let q(a) = -180*a**3 - a**2 - 7*a + 7. Let s(n) = -5*q(n) + 6*w(n). Let r be 6/(-3) + (0 - -1). Is s(r) a prime number?
False
Let w be ((-209)/(-2))/(2/4). Suppose o + 5*q - 35 + 0 = 0, 3*o + 16*q = 112. Suppose o = 2*b - 3*l - 284, l = -5*b + 518 + w. Is b prime?
False
Let z = -2857 + 5700. Is z composite?
False
Let b = 215251 - 93708. Is b prime?
False
Suppose a = 2*m + 53, 3*m = -a - 3*a - 107. Let s = -24 - m. Is 1/(s - 4)*487 a composite number?
False
Suppose -101*i - 144276 = -4*n - 96*i, 9*n + 3*i = 324507. Is n prime?
False
Let g be 4*((-2)/2 - 0). Let v(x) = -4*x - 11. Let d be v(g). Suppose -d*j - 4*h + 5714 = 0, -5*j + 3*h = h - 5708. Is j a prime number?
False
Let j(f) = -28*f + 17. Let q be j(-7). Let o = 2504 - q. Is o prime?
False
Let a = 41 + -31. Let z be 11256/a - (-40)/100. Let w = 1628 - z. Is w prime?
False
Let k = 1057 - 590. Suppose -3*r + 344 + 1093 = 0. Suppose 0 = 3*x + l - k, r = 3*x - l - l. Is x prime?
True
Suppose h + 418619 = -90*j + 92*j, 4*h + 627921 = 3*j. Is j prime?
True
Is (1 - -1 - (-4 - 107))*(1458 + -11) a prime number?
False
Suppose -4*a = y - 243, 4*y + 237 = 4*a + 3*y. Let p be (23646/35)/(9/a). Suppose 775 = h - 4*c, -5*h + p = 4*c + 557. Is h a prime number?
True
Let z be (-2)/2 + -2 + (44008 - -3). Suppose -74*b = -66*b - z. Is b a composite number?
False
Suppose -w - 11 + 5 = 0, w = -4*l + 242710. Is l a prime number?
True
Let k = 117683 - 57208. Suppose -5*r + 7*r = -x + k, 120959 = 4*r - x. Is r prime?
False
Let x be (102/(-9) + -1)/(4/(-24)). Let v = x + -72. Suppose -811 = s - v*s. Is s a prime number?
True
Let x(c) = -6510*c + 517. Is x(-3) a prime number?
True
Let c(k) be the third derivative of k**4/24 - k**3/2 + 12*k**2. Let m be c(7). Suppose m*j + 1175 = 9*j. Is j composite?
True
Let y = -74944 + 124373. Is y composite?
False
Suppose 2*k - 5*h - 4 = 0, -7*k = -2*k - 2*h - 31. Let m be (8 - k)/(2/8). Is (-111*-1*m/12)/1 a prime number?
True
Is ((6/4)/(-3))/(151/(-37357702)) a composite number?
False
Let m(f) = 3*f**3 - 26*f**2 + 309*f + 653. Is m(39) prime?
False
Suppose -10*g + 1913125 = -4635291 + 195806. Is g a prime number?
False
Let q = 1 + 2. Suppose -c + 2234 = -1379. Suppose -3*d = 4*p - c, p = -q*d + 534 + 358. Is p a prime number?
True
Let d(w) = -5*w + 171. Let g be d(31). Suppose -11*f - 49505 = -g*f. Is f prime?
True
Let d(h) = 6 - 300*h - 347*h + 1543*h + 1563*h. Is d(5) composite?
False
Let c be 22/6 + -5*(-4)/(-30). Suppose -5*d + 2*x + 75 + 5162 = 0, -3144 = -c*d + 3*x. Is d a prime number?
False
Let x = 343943 + -20116. Is x a prime number?
False
Let k(f) = f**2 + 5*f + 4. Let l be 1*-2 - (-2 + (-30)/(-5)). Let c be k(l). Suppose p = c*p - 1269. Is p prime?
False
Let p = 1719877 + -1185834. Is p a composite number?
False
Is 801916/22 - (-114)/418 a composite number?
False
Suppose 0*l + 7*l = -196672. Let h = -5483 - l. Is h composite?
False
Suppose -349*w + 26087856 = -301*w. Is w a composite number?
False
Let g(p) = -p**3 - 5*p**2 - 7*p - 8. Let v be g(-4). Suppose -4*c - 4*q + 0*q + 20 = 0, v*q - 14 = -c. Is (2 - -371) + (0 - c) a composite number?
True
Let w(z) = z**3 - 2*z**2 - 21*z + 23. Let d be (2 - 204)/(-1 + -1). Let j = -87 + d. Is w(j) a prime number?
True
Suppose i - 4*t - 2 = 8, -3 = 3*t. Suppose -33573 - 41289 = -i*s. Is s a composite number?
True
Let v = -88 + 92. Let n(a) = a + 1. Let w be n(v). Suppose 0 = 13*y - w*y - 23416. Is y a prime number?
True
Suppose 0 = 14*q + 12*q - 31*q + 748945. Is q a prime number?
False
Let u = 30 - 21. Suppose -6673 = u*b + 3407. Is 8/(-6) - -1 - b/12 composite?
True
Let p be -1*14/(-7) - 5*243. Let u = p - -5496. Is u prime?
True
Let t = -1195 + 7658. Let k = -4570 + t. Is k composite?
True
Let m = -287844 + 406597. Is m a prime number?
False
Let k = -10055 + 14302. Let l = -6901 + k. Let n = -1669 - l. Is n prime?
False
Suppose -1517930 = -720*f + 686*f. Is f a prime number?
False
Suppose 0 = 1117*u - 1108*u + 117261. Let o = 20008 + u. Is o prime?
False
Let d(x) = -45*x - 25. Suppose -3*f - 163 = -169. Suppose f*q + 4*b + 4 = -0, -3*b + 3 = q. Is d(q) a prime number?
False
Suppose -3*s + 238 - 28 = -3*a, 3*s - 207 = 2*a. Let l = -81 + s. Is -1 - ((-11332)/14 - (-8)/l) composite?
False
Let p be ((-14128)/(-32))/(2/(-120)). Is 14/21*(p/(-12) - 1) a prime number?
True
Let p = -758 - -918. Let w = -311 - -140. Let a = p - w. Is a composite?
False
Suppose 5*y = -5*p + 525, 2*y + 421 = 4*p + 7*y. Is -1*29324*(-26)/p a prime number?
True
Suppose -2*d - 4*f + 23 + 1 = 0, 5*f - 39 = -4*d. Let p(t) = -11*t + 45. Let y be p(d). Is 3/(y/(-28)) - 2145*-1 composite?
True
Let u(k) = 3*k - 19. Let r be u(11). Let s = r + -16. Is (3 + 722 - (s + 0))/1 a composite number?
False
Let n = 307026 + 804017. Is n a prime number?
True
Let o(g) = 9*g**3 - 3*g**2 - 231*g + 23. Is o(14) a prime number?
True
Let y be (-5)/15 + 16411/3. Suppose 5*n - 3 = 4*n. Suppose w = n*w - y. Is w composite?
True
Let t = 74 - 42. Let v be (t/20)/(-2)*5. Is 293 - (0 + v + 4) a prime number?
True
Let f = 127288 - 81795. 