-3*o - 2*o + 60. Suppose -5*a - 14 = -o*a. Let y(k) = 375*k - 5. Is y(a) a composite number?
True
Let c(a) = -5343*a + 3395. Is c(-12) prime?
True
Let m = 6844 - -32439. Is m a prime number?
False
Let c = -272 + 2423. Suppose 0 = 5*o + 801 - c. Is o + (-3 + 2 - 0/7) composite?
False
Let n = 2853 + -1214. Is n prime?
False
Let o = -26 - -20. Let c = -4 - o. Suppose 2251 = 2*a - c*h + 293, 3*h = -3*a + 2937. Is a prime?
False
Let n(y) = -y**3 - 12*y**2 + 14*y + 15. Let w be n(-13). Is 14/(-77) - (w - (-407285)/(-55)) composite?
True
Let q(d) = d**2 + 37*d - 2. Let w be q(-5). Is (-72057)/(-2)*w/(-243) composite?
False
Let x be (3/(-6))/(0 + 5/60). Let b(u) = -183*u + 53. Is b(x) a composite number?
False
Suppose -4*p + 79944 = -h - 57543, -3*p + 103124 = h. Is p composite?
True
Suppose -j + 21811 = -27726. Suppose -5*z + z - 2*u = -66084, -3*z = -5*u - j. Is z prime?
True
Suppose -3*o + 2*q + 106 = 259, -5*q - 121 = 2*o. Let m be (1 - o)*(-9)/(-27). Let a(x) = -x**2 + 24*x + 26. Is a(m) prime?
False
Let t = -119 + 121. Suppose 4*v + 10168 = -t*r, -4*r - 3*v = 18763 + 1593. Let u = -2855 - r. Is u composite?
False
Suppose 4*l - 21 = 5*p - 2*p, -4*p - 15 = -l. Suppose 2*n = -3*x + 404, -3*n = 2*x + l*x - 672. Let z = x + 46. Is z a composite number?
True
Suppose -o = 15 - 11, -196951 = -c + 8*o. Is c prime?
True
Let k = -26 - -12. Is ((-3857)/k + -5)*4 composite?
True
Let g(z) = 152*z**2 - 17*z - 38. Let s be g(-2). Let k = 2317 + s. Is k prime?
False
Suppose -2*n + 467911 = -4*r + 5*r, 4*n = -14*r + 935738. Is n a prime number?
False
Let m(f) be the second derivative of -f**4/12 + 5*f**3/6 + 149*f**2 - f - 7. Is m(0) prime?
False
Let t = -244963 + 1024182. Is t a prime number?
False
Is (-339882)/(-21) - (-920)/805 composite?
True
Let t(p) = -144*p**3 - 5*p - 10. Let x(l) = -144*l**3 - 5*l - 9. Let h(k) = 5*t(k) - 6*x(k). Is h(3) composite?
False
Suppose 5*j - 2 = 5*u - 32, 0 = -2*j + u - 7. Is 62/(-186) - (j + 182/(-6)) a prime number?
True
Suppose 0 = 9*h - 11*h + 30. Suppose 5*t + h = -15. Let s(g) = -6*g**3 - 6*g**2 + 2*g - 7. Is s(t) a composite number?
False
Is (-215805)/(21/28*-4) composite?
True
Suppose -523437 = -54*v + 41*v + 1242340. Is v a composite number?
False
Let f = 46234 - -17913. Is f a composite number?
True
Suppose 2*p = -2, 8*q - 6*q = p + 21959. Suppose q = 19*s - 4202. Is s a prime number?
False
Let b = -55440 + 127991. Is b composite?
False
Let r(y) = 1053*y**2 - 23*y + 22. Let a be r(-12). Suppose -a = -84*l + 74*l. Is l composite?
False
Suppose 7*h = 5*h - 10, -424353 = -2*r - h. Is r composite?
True
Let h = -261 - -261. Suppose -w - 1902 + 5593 = h. Is w composite?
False
Suppose -5*v = 17*v - v - 793401. Is v composite?
False
Suppose 2*i = 0, -i - 33 - 121 = -2*c. Is 450975/c + 2/11 a prime number?
True
Suppose 47*o - 757698 = -37473 + 222548. Is o a composite number?
True
Let a be (-10)/3 - (-86)/(-129). Is 2/(-16)*6686*a a composite number?
False
Let u = -124742 + 186693. Is u prime?
False
Let a(o) = -o**3 + 17*o**2 - 14*o - 20. Let l be a(15). Suppose 3*h + 23 = -2*d + 88, -5*d + l = -4*h. Suppose d = 2*m - 142. Is m a prime number?
False
Is 571*53/(-106)*(0 + -1574) a prime number?
False
Let t(j) = -1148*j + 9. Let f(p) = 574*p - 5. Let a(l) = 5*f(l) + 2*t(l). Let q be a(6). Suppose q = -7*o + 8*o. Is o composite?
True
Let v be 0/(1/(-2 + 1)). Suppose v = -u + 5*a - 18, 3*a - 1 = 3*u + 5. Is u/3*(-6)/8*-1634 composite?
True
Let c(f) = 33773*f + 9. Is c(14) composite?
False
Suppose 395*x + 1887799 = 412*x. Is x a composite number?
True
Let o(c) = 170*c**2 + 41*c + 358. Is o(-11) a prime number?
True
Let s = -208342 - -434853. Is s prime?
True
Let t(y) = -7570*y + 2. Let p be t(-1). Suppose a + 5*a - p = 0. Suppose -13*z + a = -11*z. Is z prime?
True
Let z(f) = 4*f**3 + 10*f**2 - 8*f - 31. Suppose 0 = -16*t + 28*t - 72. Is z(t) composite?
True
Suppose 5*r - w = 8*w + 422560, -4*r + 338059 = -5*w. Is r prime?
True
Suppose 0 = -12*q + 13753 + 13523. Let x = q - -194. Is x a composite number?
False
Let k be 10*((-8)/(-20) + 0). Let a(d) = -1 + 4 - 8 + 54*d. Is a(k) a composite number?
False
Suppose -5873495 = 23*t - 33*t + 4270175. Is t a prime number?
False
Let u(p) = -739*p**3 + 4*p**2 + p - 7. Let d be u(-3). Suppose 2*x - 2*k - d = 3*k, 0 = 3*k - 9. Is x prime?
False
Suppose -56*j = -11*j - 2731815. Is j composite?
True
Let d(c) = 2*c**3 + 3*c**2 + 22*c + 271429. Is d(0) prime?
True
Suppose 5*l - 25002 = 65008. Let z = l - 8637. Is z prime?
False
Suppose 119*o - 114*o = -4*j + 6566103, -6566093 = -5*o + j. Is o a composite number?
False
Let p(r) = -r**2 + 13*r + 6. Let v be p(-2). Let z(w) = -148*w - 70. Is z(v) a prime number?
False
Let n be 8*3/(-6) - -188. Suppose -54*h - n = -56*h. Suppose -t + h = -777. Is t a composite number?
True
Suppose -2*v - 3002 = 2*t, 0 = -t + 3*t - 4*v + 2984. Let s = 478 + -987. Let b = s - t. Is b a prime number?
False
Let g = 787877 - 550326. Is g prime?
False
Let j(x) = -235*x**3 + 2*x + 15. Let o be j(-4). Let s = o + -5144. Is s a composite number?
True
Let s = 69816 - -3401. Is s prime?
False
Let w = 61 - 58. Suppose 19250 = 2*u + w*u - 5*y, 4*y + 19247 = 5*u. Suppose 3*o = -5*i + 788 + 3071, 3*o = i + u. Is o composite?
False
Let c = -2581 - -5504. Is c a composite number?
True
Suppose -2*g - 6*m + m + 75 = 0, 3*m = 15. Suppose 0 = -5*c + 10*c - g. Suppose 0 = 5*b - c, 2*b - 670 = -4*w - 0*b. Is w a prime number?
True
Suppose 0 = 8*c - 6*c - 9376. Suppose 6*i - c = 4606. Let t = -896 + i. Is t composite?
False
Let q(v) = 13668*v + 2131. Is q(19) a prime number?
True
Suppose 2*p = -0*p + 16. Suppose -2 = -p*j + 14. Is (2/j)/((-7)/(-3787)) composite?
False
Suppose 0 = 41*b + 135215 - 459894. Is b a prime number?
True
Suppose 25 - 49 = -6*i. Suppose 5*u + 13 = i*z, 3*z + 3*u - 5*u = 8. Let r(w) = 5*w**3 - w**2 - 2*w - 1. Is r(z) prime?
True
Let m = 52 + -47. Suppose m*h + 2*d - 7075 = 0, -h + d + 1422 = -0*h. Is h a composite number?
True
Suppose 21*j + p + 94093 = 22*j, -5*j + 3*p + 470473 = 0. Is j prime?
False
Is (-26829603)/(-81) - ((-280)/21)/10 composite?
False
Let b = 7381 - -2716. Suppose 5*d - b = -5*k + 9783, 4*d = -5*k + 15907. Is d prime?
False
Let r = 626 - 617. Is r/((-72)/(-298480)) - 3 prime?
True
Is (2*7/((-28)/(-12)))/(10/112045) composite?
True
Let q(x) = -2*x**3 + 2*x**2 - 2*x - 3. Let y be (-22)/(-26) + (-2)/(-13). Suppose 4 = -g - y. Is q(g) composite?
False
Let y(h) = -44*h + 7. Suppose -5*k - 59 = 21. Let x = k - -13. Is y(x) a composite number?
False
Suppose -a + 5*u = -13, 5*u + 80 = -3*a + 19. Let r(w) = 6*w**2 - 6*w + 19. Is r(a) prime?
False
Let p(z) = -6*z**2 + 20*z + 62. Let g be p(26). Let y = 853 - g. Is y a prime number?
True
Suppose -4*n + 3*k = -10709, 22*n - 8028 = 19*n + 3*k. Is n prime?
False
Let y be (-2 + 2)/2 + -9133 + 72. Let m = 15779 + y. Is m prime?
False
Suppose w + 6*w = 21. Suppose -w*h + 639 = -2814. Is h a prime number?
True
Let v = -736 + 807. Suppose v*t - 63*t - 6712 = 0. Is t a composite number?
False
Suppose 5*z - 5 = 4*b - 6*b, 3*b + 2*z = 24. Is 5/b + (-3)/12*-62906 a composite number?
False
Is 13*(-9 - (-5344)/14 - 2/(-7)) prime?
False
Suppose 2*z = 37 + 77. Let i = -58 + z. Is (-3)/(-6)*-2*(-176 + i) a prime number?
False
Suppose 15 = -k + 4*j + 72, 4*k - 4*j - 240 = 0. Suppose -55*o + k*o = 27714. Is o composite?
True
Let r = 809685 + -359488. Is r composite?
True
Let w(c) = 24*c**2 - c + 1. Suppose 16 = -5*i + s + 4, 5*i = -s - 18. Let h be w(i). Suppose 6*v + 4*v - h = 0. Is v prime?
False
Let u = -245 - -248. Suppose 2*k = -3*a + 21419 + 1508, -u*k = -2*a - 34371. Is k a composite number?
True
Let r(s) = s**2 - 5*s + 2. Let b be r(5). Let h be (-8 + 7)/(b/2) + 720. Suppose h = -3*a - 5*m + 2413, -m = -3*a + 1724. Is a a composite number?
True
Suppose -j = 5*f - 1826175, 2*j - 730488 = -2*f - 2*j. Is f composite?
True
Suppose 0 = 2*d - g - 1108, 0*d - d + g = -551. Is d prime?
True
Suppose 0*y + 5*v - 897 = -3*y, 4*y - 5*v - 1161 = 0. Suppose w - 7 = -2. Suppose -w*t + y = -41. Is t composite?
False
Let k = -4022 - -7317. Let o = 5796 - k. Is o prime?
False
Suppose 65*l - 37654931 = 23277434. Is l prime?
True
Let k = 18937 - -34876. Is k a composite number?
False
Let y be (-300)/(-78) + ((-60)/78)/(-5). Suppose y*u