s (-1 - 41)*(-9)/54 - -140866 a composite number?
True
Suppose 0 = -252*r + 154*r + 1594754. Is r composite?
False
Let b = 23449 - 22946. Is b prime?
True
Let a(l) = -288*l - 1625. Is a(-8) composite?
True
Is 2/(-10)*-103133 - (-62)/155 prime?
True
Let u = -1882 + 3157. Let p = 1162 + u. Is p a prime number?
True
Let m = 5016395 + -2642298. Is m a composite number?
True
Let s be (-10340)/6 + 64/(-96). Let n = 15353 - s. Is n composite?
False
Let r = -43564 + 82451. Suppose 4*g + 14726 = 4*z + 53618, r = 4*g - 5*z. Suppose -g = -x - 2119. Is x a composite number?
True
Let t(s) be the third derivative of s**2 - 17/24*s**4 - 1/30*s**5 + 1/6*s**3 + 0 + 0*s. Is t(-7) composite?
True
Let t be (2/8)/((15/(-5))/(-60)). Suppose 2*w + 3*y = -y + 10, t*w + 4*y - 19 = 0. Is w/36*3 + 3139/4 composite?
True
Let p = -50559 - -128716. Is p a composite number?
False
Suppose 16*b = 4*j + 13*b - 1611167, 0 = 2*j - b - 805587. Is j a composite number?
False
Let s be 0*2/(-16) - -2415. Let k = s + 3830. Is k a composite number?
True
Let x = -71 - -96. Let g(t) = -122*t - 162*t - 119*t + x. Is g(-4) prime?
True
Let i(h) = -77*h**2 + h + 26. Let f(a) = -230*a**2 + 3*a + 78. Let b(r) = -6*f(r) + 17*i(r). Let n be b(-7). Suppose -4*v + n = -0*v. Is v prime?
False
Suppose -25*i + 30*i - 22790 = 0. Let b = 6381 - i. Is b a prime number?
True
Suppose 0 = -4*y + 24*l - 28*l - 12, 4*y = 3*l - 33. Let h(x) = -3 + 6*x**2 - 2*x - 10 + 4*x. Is h(y) a prime number?
True
Let d = -189 - -9188. Is d prime?
True
Let o = -198342 + 366475. Is o prime?
False
Is -2*(0 - -2) - 73989*(-169)/39 a composite number?
True
Let z(s) = 5172*s + 4537. Is z(6) a prime number?
True
Let w be 1938/(-170) + (-2)/(-5). Let m(r) = r**3 + 11*r**2 - 15*r - 2. Is m(w) composite?
False
Let l(s) = -20 - 45 + 108 - 4*s. Let m be l(11). Is m/2*(-1606 + 12) a prime number?
True
Suppose -31543113 = -67*o - 80*o. Is o a prime number?
False
Let g be (5/(-3) + 2)/(4/(-36)). Is 674 + g - (1 - 3) a composite number?
False
Suppose 42*x + 3 = 43*x. Suppose x*v = 12020 - 3203. Is v prime?
True
Let x = 351797 - 106024. Is x composite?
True
Let t(j) = -j**2 + 11*j - 21. Let l be t(9). Let y(s) = 108*s**2 - 3*s - 2. Is y(l) composite?
True
Let p = -189 - -191. Suppose 4*m = -p*j + 10310, 5131 = j - 2*m - 2*m. Is j composite?
False
Let s(v) = 54*v**2 - 24*v - 115. Let n = -414 - -408. Is s(n) prime?
True
Let n be 1/(8/2)*4. Let b(p) be the first derivative of 185*p**3 - 2*p + 592. Is b(n) a composite number?
True
Suppose 16204 = -4*c + a, 3*c + 2129 = 3*a - 10015. Is (-3 + -7)/(((-24)/c)/(-3)) composite?
True
Is (41 + -39)*(-202121)/(-6)*3 composite?
False
Suppose 4*s - 356535 = -x, 10*x - 178290 = -2*s + 14*x. Is s composite?
True
Suppose 3*o = 4*f - 22, -2*o + 17 - 5 = 4*f. Suppose 0 = -f*p - 4, -2*n = -5*p - 47. Is (n/9)/(4/2292) a composite number?
True
Suppose -4*x = 5*u - 33326, 5*x + 16494 = 2*u + 3223. Is u composite?
True
Suppose 17016 = 4*d - 0*q + 4*q, d = q + 4248. Is d + 0 + 2/1 composite?
False
Let c(n) = -2485*n + 2929. Is c(-82) composite?
False
Let s be (14/(-4))/(4/(-672)). Suppose 2047 = 3*o - 2*z, 3*o + 2*z = 1439 + s. Is o a composite number?
True
Let t be ((-2 - -6) + 2*-1)*2. Suppose 3*x = -t*k + 2811 - 196, 5*k + 4300 = 5*x. Is x composite?
True
Suppose -p - 6985 = -n, 11*p + 20963 = 8*p + 5*n. Let l = 12092 + p. Is l a composite number?
True
Suppose u - 5 + 1 = 0. Suppose -u*s + 18 = -6. Is (-7036)/(-24) - 1/s a composite number?
False
Suppose 7*c = 1121975 + 58218. Is c a prime number?
True
Suppose 10*y - 46302 - 60108 = 0. Suppose -14*k - 5*w = -13*k - 2149, y = 5*k - w. Is k a prime number?
True
Let x = 900 - -2183. Is x a composite number?
False
Let i(n) = n**2 - 9*n + 21. Let p be i(3). Suppose 5*l - p*q = 11654 + 8282, 0 = -l - 4*q + 4001. Is l prime?
True
Suppose 0 = -5*a + 6056 - 6. Suppose -2*g = -12*v + 14*v + 8, -4*g = 5*v + 14. Suppose -a = -v*f + 5*o + 85, -3*f = -o - 1910. Is f a composite number?
True
Let l(y) = 31*y**2 + 4*y + 12. Let p(u) = u**2 + 3*u - 1. Let t(a) = l(a) + 6*p(a). Is t(5) a composite number?
True
Suppose z - 4*d - 19929 = 2470, 0 = 3*d. Is z composite?
True
Let m(a) = -a**3 + 7*a**2 + 28*a - 164. Let c be m(10). Let w = c - -575. Is w a prime number?
False
Let j be -6 - -765 - (0 - -3). Let d = j + -235. Is d composite?
False
Let v be 33*((-15)/(-5) - 72). Let b = v - -6356. Is b composite?
False
Let z(m) = m**2 - m - 1. Let s(d) = 16*d**2 + 14*d + 8. Let t(a) = s(a) - 12*z(a). Let o be t(-17). Suppose -h - o = -2*h. Is h composite?
True
Let q(b) = -16*b**2 + 26*b - 7. Let a(i) = -50*i**2 + 77*i - 20. Let o(u) = -6*a(u) + 17*q(u). Is o(-7) a composite number?
True
Suppose 3*f - 2*o - 2*o = 12, 0 = 5*f + 4*o - 20. Suppose 21*r = 22*r - f. Suppose -2*m + 6516 = r*h, 0 = 2*m - 0 + 8. Is h a composite number?
True
Suppose 3*g - 3 = 0, 5*h + 4*g - 7 = 7. Suppose -4*c + 5*q - 617 = -0*c, -h*q + 308 = -2*c. Let y = 354 + c. Is y a composite number?
True
Let n(k) = -75*k + 58*k**2 - 224 + 232 + 76*k. Suppose 2 + 4 = 2*m. Is n(m) a composite number?
True
Let t = -50663 + 157322. Suppose 0 = 49*l + 14*l - t. Is l a composite number?
False
Let k(w) = 19*w**3 - 3*w**2 + w + 2. Let f = 0 - -3. Is k(f) prime?
True
Suppose 35*q = 43*q + 102920. Let a = -7394 - q. Is a composite?
False
Suppose 34*h - 32*h = 458788. Suppose 0 = -18*a - 4*a + h. Is a prime?
True
Let q(b) = 13*b + 29. Let m be q(-1). Let a(r) = 111*r - 67. Is a(m) prime?
True
Suppose 142*s - 3834231 - 6379971 = 0. Is s a composite number?
True
Suppose 529957 - 3906521 = -164*n + 787560. Is n a prime number?
True
Suppose -2152*r + 1518050 = -2102*r. Is r a prime number?
False
Let j = -12555 - -78344. Is j prime?
True
Let g(r) = 110*r + 148007. Is g(0) prime?
False
Let p be 74/(-12) + (-2)/(-12). Let o = 0 + p. Let u(w) = -22*w + 26. Is u(o) a prime number?
False
Is 12 + (220638 - 14) + 7 a composite number?
True
Suppose -1263*g + 1034363 = -1252*g. Is g composite?
False
Is (2956630/(-30))/((-171)/27 + 6) prime?
True
Suppose 2*n = -2*z - 46, 0 = -2*z + 5*n - 4 - 28. Let p = 9 - 5. Is (6/p)/(z/(-55846)) prime?
True
Let b be -1*0*(-6)/(-12). Is -2 - 0 - 4437/(-3 - b) composite?
True
Is 0 + 11089542/26 + (-50)/(-325) + 6 a composite number?
False
Let k = 4077 + -3735. Let z be 3011 - (-2 - 0) - -1. Suppose -4*s + z = -k. Is s a prime number?
True
Let w(u) = u**3 - 50*u**2 - 120*u + 504. Is w(55) a prime number?
True
Suppose 4*r - 2*u - 62924 = 0, 4*r - 5*r - 5*u = -15731. Is r a prime number?
True
Suppose 6*u = -3*o + 371574, 3*u + 60*o - 56*o = 185797. Is u a prime number?
True
Let i = -525847 - -1152290. Is i a composite number?
False
Suppose -5*n = t - 61754, -t + 3*n = -6*t + 308704. Is t a composite number?
True
Let h(c) = c + 3. Let x(l) = -2. Let w(v) = -2*h(v) + 2*x(v). Let j be w(-10). Suppose -1005 = 7*i - j*i. Is i prime?
False
Suppose -2*h + 8 = -d, 3*h - 5*d - 28 = -9. Suppose -h*r + 16*r = 119587. Is r prime?
True
Let f = 120146 + -73665. Is f a composite number?
True
Let c = 50734 - -255015. Is c prime?
True
Suppose -73*q + 1398 = -70*q. Suppose 3*h + 2322 = -5*i, -h + q = 5*i - 6*i. Let r = 304 - i. Is r composite?
False
Suppose -4*i = -3*d + 261315, 0 = 3*d + 1095*i - 1094*i - 261345. Is d a prime number?
False
Let i(f) = -12*f**2 - 15*f - 12. Let q be i(-6). Let z = 642 + q. Let m = 509 - z. Is m a composite number?
True
Let c = -28658 + 62367. Is c prime?
False
Let c(i) be the third derivative of -11*i**5/12 + 5*i**4/24 + 13*i**3/6 + 11*i**2. Let o be c(-6). Let b = -1344 - o. Is b prime?
True
Suppose 44*i - 2088827 = 1029321. Is i prime?
True
Let t(o) = 9894*o**2 - o - 16. Let j(q) = 1979*q**2 - 3. Let f(m) = 11*j(m) - 2*t(m). Is f(1) a prime number?
False
Let b = -127676 + 183145. Is b composite?
False
Let d = 27 - 39. Let m = d - -15. Suppose -2274 = -3*c - m*c. Is c a prime number?
True
Let p(g) = 1 - 16*g + 18 - 95*g**3 + 38*g**2 - 10*g + 96*g**3. Is p(-32) a composite number?
True
Let i(z) = 33480*z**2 - 67*z - 383. Is i(-6) a composite number?
True
Let b(z) = -2*z**3 - 2*z**2 + 3*z + 3. Let s be b(-1). Suppose s = -p - 3*q + 27034, 10*p + 135151 = 15*p - 4*q. Is p prime?
True
Let w(z) = -z**3 + 15*z**2 - 52*z + 20. Let y be w(10). Let m(p) = -6*p**2 - 2*p + 15571. Is m(y) a composite number