. Let o be z(-16). Suppose f + 3*s + o = -535, 0 = -5*f + 4*s - 3150. Let m = -145 - f. Is m a composite number?
True
Let n = -2675849 - -3893070. Is n a prime number?
False
Let a = 287 + -257. Is a/150 - (-143487)/15 composite?
True
Is (-1281292)/(-24) - (-3)/(-18) prime?
False
Let n(h) = 68*h + 25. Let y be n(-17). Let l = 691 - y. Suppose -6*c + 3*o = -c - l, -4*o + 1464 = 4*c. Is c a prime number?
False
Suppose o = -5, -3*r - 15872 = -5*o - 95346. Is r prime?
False
Let b(d) = 2*d**3 - 7*d**2 + 26*d - 41. Suppose 0 = 2*n - y - 21, 2*n + 2*y + 18 = 4*n. Is b(n) composite?
False
Suppose 0 = 17*k - 43311 - 180358. Is k composite?
True
Suppose 0 = 10*l - 3*b - 267089 - 146487, 5*l = 3*b + 206791. Is l a composite number?
False
Let b = 5402 + 1835. Is b a composite number?
False
Let t(o) = o**3 - 9*o**2 - 12*o + 16. Let r be t(10). Let k(v) = -1197*v + 28. Let j be k(r). Suppose 7*b - j = 17451. Is b a prime number?
True
Let j = 45 + -41. Suppose t = -2*t - j*z + 6122, 8165 = 4*t + 3*z. Suppose -t = -6*f + 14872. Is f prime?
True
Let h(d) = -d**3 - 5*d**2 - 7*d - 2. Let v be h(-5). Suppose -v*w = -0*w - 162195. Is w composite?
True
Suppose -8*j - 251779 = -202*d + 201*d, -3*j = 2*d - 503710. Is d a prime number?
True
Let y be 13/(104/(-16)) + 8 + -2. Suppose 0 = i + 85 - 521. Suppose -y*a = -4*g - 592 - i, -3*g + 753 = 3*a. Is a a composite number?
True
Let r(i) be the third derivative of i**6/120 + i**5/2 + 17*i**4/24 - 49*i**3/6 - 94*i**2. Is r(-21) composite?
True
Let t(u) = 637*u - 31. Let m be t(3). Suppose -33*f = -64811 + m. Is f prime?
True
Let f = 48295 - -23176. Is f a composite number?
False
Suppose 159*y - 1571261 = -227506 + 7955042. Is y a prime number?
False
Let g(o) be the first derivative of -4077*o**2/2 + 110*o - 143. Is g(-5) a prime number?
False
Let k(l) = -l**3 - 8*l**2 + 3. Let s be k(-8). Suppose -26 = s*r - 0*w + w, -4*r - 5*w = 42. Let j(t) = -54*t + 19. Is j(r) a composite number?
True
Suppose -2*b + u - 20 = 0, 2*u + 3 + 38 = -5*b. Let n(f) = 143*f**2 + 11*f - 19. Is n(b) a composite number?
True
Let p = 6 + 9. Suppose 0*k = -p*k + 211065. Is k composite?
False
Let b(z) = 217592*z**2 - 10*z + 3. Is b(1) composite?
True
Let h(a) = -2*a**2 + 5*a - 9. Let d be h(8). Let x = -95 - d. Is x/(-1) + -1813*(-1)/1 a prime number?
True
Let l = -26 + 22. Let x(f) = 44*f**3 - 3*f**2 + 10*f + 2. Let k be x(l). Let v = -683 - k. Is v prime?
False
Suppose 5*x = 2*x - 12138. Let z = 1926 + x. Let o = z + 3099. Is o composite?
True
Let g(k) = -4*k + 18. Let p be g(4). Suppose 15733 = p*t + 3*y, 2*y - 6*y = -2*t + 15754. Is t a composite number?
True
Suppose -2*j = -2*z + 32, -65 = -5*z + 2*j - 0*j. Suppose -z*u + 1884 = -7*u. Let p = 1024 - u. Is p prime?
False
Let o be -5 + (-17)/((-17)/6). Is (-23 + o)/((-70)/1435) prime?
False
Let j be (-4)/(-12) + 4646/(-6). Let p be 1093 - (2 + 1 + -1). Let d = p + j. Is d a prime number?
True
Let l(o) = 17475*o**3 - 5*o**2 - 220*o + 467. Is l(2) a composite number?
True
Suppose -2*m - 5*r = 3*m - 75, 15 = 2*m - r. Suppose 0 = 5*a - 0*a - m. Suppose -2506 = -a*i - 312. Is i a prime number?
True
Let c(v) = v**2 + 6*v + 15. Let d be 15/(21/(-30) - -1). Suppose -8*h = -3*h + d. Is c(h) a composite number?
True
Suppose -8*r - 17*r = 300. Is 18/r*4 - -3643 a composite number?
False
Let p(g) = 113*g - 452. Is p(57) a prime number?
False
Let r = -325 + -114. Let t = r - -1419. Suppose 0 = 3*s - 2*a - 536 - 213, 2*a - t = -4*s. Is s prime?
False
Let x(w) = w - 31. Let a be x(3). Let o be a/13 - (3 + (-123)/39). Let d(b) = -1294*b - 9. Is d(o) a prime number?
True
Suppose 6*f - 3099491 = -8*f - 15*f. Is f prime?
False
Suppose 172*r - 6050657 = -5590452 + 10633623. Is r composite?
False
Let k(q) = q**2 - 14*q - 787. Is k(-58) a prime number?
True
Let x(a) = 56*a**2 + 591*a + 37. Is x(12) a prime number?
True
Is (-4)/10*55/22*-281663 a prime number?
True
Suppose -5*m = -7*d + 2103894, 3*d + 10*m = 15*m + 901666. Is d composite?
False
Let c(j) be the first derivative of -65/2*j**2 - 20 - 11*j. Is c(-6) a composite number?
False
Suppose -30 = -5*c - 5. Suppose -592 = 6*z - 5*z + 3*a, -c*z - 3*a - 2936 = 0. Let v = 1001 + z. Is v a composite number?
True
Suppose s + 2*t - 73807 = 0, -107*s + 3*t - 369077 = -112*s. Is s a prime number?
True
Is (2 + 1/(-1))/(-13 - 11107312/(-854408)) a prime number?
True
Suppose 2*o = -2*z + 276, -534 - 27 = -4*z - o. Suppose z = n + 132. Suppose 1851 = g - r, 12*r + 12 = n*r. Is g prime?
True
Let t(n) = -n**3 - 13*n**2 + 15*n + 17. Let j be t(-14). Suppose 0 = -j*y - 14 + 8. Is y/3*930/(-20) a composite number?
False
Let n be (-2 + 8/3)/((-2)/3). Is (0 - 2 - 12800)/(-3 - n) composite?
True
Suppose 0 = -4*h + 2*a + 589518, -20*a + 589483 = 4*h - 15*a. Is h a composite number?
False
Suppose -53*w + 4*w + 249834 = 29*w. Is w prime?
True
Let m be 3/3 - (-249432)/(-6 + 12). Suppose -3*c + 10*c - m = 0. Is c prime?
True
Let v be -6*(-3)/(-12)*-2. Suppose -v*q = q + b - 16, -3*q + b = -5. Suppose q*z - 41 = -8. Is z a composite number?
False
Let g(w) = 5 + 3*w**2 - 357*w + 357*w + w**3. Let o be g(-3). Suppose -2*q - 606 = -2*x, 2*x = 6*x - o*q - 1208. Is x composite?
False
Let u(i) = i**3 + 27*i**2 - 91*i - 10. Let v be u(-30). Suppose -2*o - m = -3885, -2*o = v*m - 17*m - 3883. Is o prime?
False
Let t = 128268 - 24757. Is t prime?
True
Let d(y) = -6*y**3 + 16*y**2 - 28*y - 6. Let w be d(11). Let q = w - -9444. Let p = 5763 - q. Is p prime?
True
Suppose -34*o = -30*o + 20496. Let c = o - -8736. Suppose -c - 8082 = -6*h. Is h composite?
False
Let t = 323775 - 191974. Suppose -11*d + 28*d = t. Is d a composite number?
False
Suppose -7*q = -89017 - 19105. Suppose 0 = -v - v + q. Is v composite?
False
Let x(y) be the third derivative of 209*y**4/8 - 5*y**3/3 + 20*y**2. Is x(7) a composite number?
True
Let z be (-92482)/7 - (0 - 4/(-14)). Let n = 3282 + z. Is 3/(9912/n - 1/(-1)) composite?
True
Let g = -25 - -41. Let u be (-3)/2 - (-24)/g. Suppose u = 2*l + 1603 - 4989. Is l composite?
False
Is -3 + ((-3984)/83)/(-2 - (-73570)/36788) composite?
True
Let l(i) = 9*i - 60 + 92*i - 164*i - 29. Is l(-30) a prime number?
True
Let l(f) = 25*f - 743. Is l(52) a composite number?
False
Let u = -2291 - -3940. Is u a composite number?
True
Suppose 51116 = 171*u - 145*u. Is u composite?
True
Let h be 732328/13 + 4/52. Suppose -17*o + 44834 = -h. Is o prime?
False
Suppose 1417923 = -157*n + 196*n. Is n prime?
False
Suppose k = z - 11949, k + 0*k = -2*z - 11964. Is 3 - (-1 + 3)*2 - k a composite number?
False
Let z(y) = 72*y**2 + 3*y + 8. Let p(i) = -22*i**2 - 12 - 19*i**2 - 2*i - 30*i**2 + 4. Let s(j) = -4*p(j) - 3*z(j). Is s(-3) a composite number?
True
Let y(s) = -2972*s - 28. Let l be y(2). Let n = l + 9379. Is n prime?
True
Let o = 3169 - 200. Let k be (20 + 20)/(12/(-378)). Let t = o + k. Is t prime?
True
Suppose 0 = 5*x - x - a - 46, -5*a + 1 = x. Suppose -x*c = 2*c - 15769. Is c a prime number?
True
Let h be 10699 - (15/(-9))/(25/(-30)). Let s = h + -7156. Is s composite?
False
Let d be 12/32 - 74/(-16). Suppose -2*j - 3268 = j - 5*g, -d*j - 5410 = -g. Let m = 1878 + j. Is m a prime number?
True
Suppose 10 = 9*y + 91. Let w(c) = -19*c + 43. Let f be w(y). Let p = 2979 + f. Is p a composite number?
True
Let x = -953 + 6787. Suppose 4*h = -3*c + x - 1741, -h = -1. Is (7 - 6 - c/2)*-2 a composite number?
False
Let n(o) = -2883*o + 4408. Is n(-39) a composite number?
True
Is 8158417/10 + 1 - 12*8/(-320) a composite number?
True
Let q(u) = 6*u + 5. Let c be 32/(4 + -3) - (9 - 5). Suppose -24*z = -20*z - c. Is q(z) a composite number?
False
Suppose 5*p + 25 = 0, -15*p = 3*r - 12*p - 82818. Is r a prime number?
True
Suppose 38*c - 78 = 12*c. Suppose -z = 1 - 5, 0 = -c*q + 4*z + 61415. Is q a composite number?
False
Suppose 0 = -265*d + 263*d + 4*x + 233126, -116521 = -d - 4*x. Is d a composite number?
False
Let x be (-4)/(-3) - (0 + 6/18). Let t(a) = 523*a**3 + 2*a**2 - 5*a + 1. Is t(x) a prime number?
True
Suppose -d - 4*b = 3*d + 12, 3*d = 4*b - 44. Let r be 3/6 + (108/d - -4). Let o = r + 98. Is o prime?
True
Let y = 183138 - 125123. Suppose 11455 = 10*m - y. Is m a composite number?
False
Is 9/(-33) - (-10582280)/220 a composite number?
True
Let x(i) = -i**2 + 6*i - 4. Let u(y) = y**2 - 3*y + 