Is o prime?
True
Let y be ((-4)/(-3))/(1/3). Let a be 0/((-2)/(2 - y)). Is (2 - a)/(0 - 4/(-3046)) composite?
False
Let m(k) = -9*k**3 + 7*k**2 + 15*k + 47. Suppose 7*w + 12 = -j + 9*w, 4*j - 3*w + 48 = 0. Is m(j) a prime number?
True
Let s be -8 + 2 + (-33)/((-231)/1358). Suppose -5*x = -x - 476. Let l = s - x. Is l a prime number?
False
Let x = 1220 - -27. Suppose -26 = 524*s - 537*s. Suppose -s*u - 3*h = -x, -h + 0*h - 1267 = -2*u. Is u composite?
False
Suppose 105*x - 1274743 = -1449620 + 6268972. Is x composite?
True
Let t(i) = 32 - i**3 + 2*i**2 + 0*i**3 - 3*i**2 - 18*i**2 + 34*i - 3*i**2. Is t(-41) prime?
True
Let x(u) = -13674*u - 349. Is x(-32) composite?
False
Is 7*(7 + 136200/84) a prime number?
True
Let m(n) = n**3 - 3*n**2 + 4*n + 6. Let h = -26 - -32. Let a be m(h). Let y = a + 73. Is y prime?
True
Let v = 525 - 548. Let m(t) = -590*t - 127. Is m(v) composite?
True
Suppose 3*a - 48 = -8*w + 2*w, 1 = -w - 5*a. Let o(u) = 17*u**2 + 0*u**2 + 6 - 2 + 2*u. Is o(w) prime?
True
Let y = 43 + -41. Let m(i) = -5*i + 8. Let x be m(y). Let q(u) = -30*u**3 - 3*u**2 + 2*u - 1. Is q(x) a composite number?
False
Let z = 62937 - -40777. Suppose z + 23223 = 23*m. Is m prime?
True
Suppose 5*t = 2*v - 7022659, v + 14045311 = 5*v - 3*t. Is v prime?
True
Let g be 3611940/20 + (-3)/(-1). Is (-1)/(g/(-90296) - -2) a prime number?
True
Suppose -52420 = 10*x + 60330. Let m = -7412 - x. Is m a prime number?
True
Suppose 3*y - 354483 = 2*l, -113307 = -5*y - l + 477524. Is y composite?
True
Let a(z) = 16826*z + 48. Let b be a(-2). Let c = -15125 - b. Is c prime?
False
Suppose 3*l - 1054961 = -7*f - 141900, 0 = -3*l + 4*f + 913039. Is l a composite number?
False
Suppose 0 = -7*l - 67 + 207. Suppose -l*a + 379522 = 138422. Is a composite?
True
Let x(o) be the first derivative of 499*o**2/2 - 20*o + 3. Let u be (-1)/(-12)*6*14. Is x(u) a prime number?
False
Is (-2080186)/(-14) + ((-5427)/189 - -29) a composite number?
True
Let j be (49 + -140)*(-102)/(-4)*-6. Let r = j - 7538. Is r a composite number?
True
Let z(r) = -7900*r + 719. Is z(-12) a composite number?
True
Suppose 2*o + 9 = 1, -4*z + 160272 = -5*o. Is z a prime number?
True
Suppose 39642 = -19*r + 4492. Let c = 1427 - r. Is c a prime number?
False
Suppose 2*u = j - 2*j + 5191, 0 = -4*j + 5*u + 20829. Suppose 3*c = -596 + j. Is c composite?
True
Let q(b) = -823*b**3 - 7*b**2 - 5*b. Let p be q(-1). Let a = 3070 - p. Is a composite?
True
Let z = 300 - -230. Is 87/2*z/15 a composite number?
True
Suppose 3*a = -4*d - a + 41516, -d = -9*a - 10379. Is d composite?
True
Let g = -380 + 382. Suppose 0 = g*u + 2*m - 214, -u - 2*m + 89 + 22 = 0. Is u a composite number?
False
Suppose -221 = 3*o + 2*k, -3*o - k + 4*k = 201. Let q = o + 76. Suppose 3*v + 3*i - 9606 = 0, 4*i - 8*i + 16007 = q*v. Is v a prime number?
False
Let n = -9 + 13. Suppose n*s = 219 + 265. Suppose s = -4*b + 3317. Is b prime?
False
Let n(j) = -j + 3. Let z(h) = 229*h**2 + 2*h - 9. Let v(x) = 4*n(x) + z(x). Let q be ((-24)/9)/((-4)/6). Is v(q) a composite number?
False
Let m(o) = -3*o + 13. Let w(v) = 5*v - 12. Let h(r) = -5*m(r) - 6*w(r). Is h(-2) a composite number?
False
Let r be 12/(-72) - 11797/(-6). Let g = r - 423. Is g prime?
True
Let v be 130/13 + 2 + 0. Suppose -3*i - 7*o + v*o = -1098, -5*i + 6*o = -1823. Is i a prime number?
False
Suppose -2*i - j = -20765 + 2370, 5*i = 9*j + 46022. Is i prime?
True
Let b be (4 + -10 - -8)/(3 - 1). Is 1 + (9651 - (-1 + (-2)/b)) a prime number?
False
Let f(z) = -58*z - 18. Let n(l) = -2*l + 1. Let o(a) = f(a) + 4*n(a). Is o(-6) composite?
True
Suppose -19*p + 2766745 = 479316. Is p a prime number?
True
Let c be (-44)/(-8)*(-20)/(-55). Suppose 2*n + 4*w - 3086 = 0, 2125 = n - c*w + 582. Is n prime?
True
Is (-1754176)/(-64) + (24/(-30))/((-2)/(-15)) prime?
False
Let h = 2 - 64. Let o be h/(-22) + 14/77. Suppose o*x = 2*u - 661, u - x = -0*u + 329. Is u prime?
False
Let n be ((-14)/4 - -3)/(2/48). Let r(q) = -152*q + 23. Is r(n) prime?
True
Let s be (-3 + (-11)/(44/(-24)))*1. Let v(r) = 5*r**3 + r**2 - 1. Let p be v(1). Suppose s*t = p*t - 1034. Is t composite?
True
Let a(m) = 3*m - 12*m**3 + 11*m**3 - m + 326*m**2 - 18 - 5*m - 313*m**2. Let d(k) = -3*k - 1. Let t be d(-4). Is a(t) prime?
True
Let z(g) = -10*g**3 + g - 2. Let x be z(2). Suppose -4*j = 4*y - 1544, 4*j + 2*y - 420 = 1126. Let b = j + x. Is b composite?
False
Suppose -2*s - 3*k + 5*k = 20, -2*k + 42 = -4*s. Let l be (s/(-2))/((-9)/18). Is (6/4)/(l/(-9658)) composite?
True
Let f = -45 + 49. Let j be 1032*(-1 + 6/f). Suppose 2*o + j = 4*n, 0*o - 4 = -o. Is n a composite number?
False
Let o = 23848 - 7329. Is o composite?
False
Suppose 34*d - 13126353 + 3883181 = 0. Is d composite?
True
Let b = 949455 + -623832. Is b prime?
False
Let a(c) = c**3 - 8*c**2 - 10*c - 13. Let l be 56/(-21)*6/(-20)*-15. Let w be 1 + (6/8)/(l/(-144)). Is a(w) prime?
False
Suppose -3*r = -2*t + 343981, r = -253 + 260. Is t a prime number?
True
Let q = -1465641 - -2081744. Is q a composite number?
False
Suppose h + 3*w = 5*w + 191815, 0 = 2*h + 5*w - 383684. Is h a prime number?
True
Suppose -2*d = 2*u + 30, u + 2*d - 8 = -27. Let n = 14 - u. Is n/(-10)*(-804)/15 a composite number?
True
Let w(j) = 12*j**2 + 23*j - 217. Let r be w(12). Suppose 320 = 7*d - r. Is d a prime number?
False
Let t(s) = 2047*s**2 + 21*s - 3. Is t(17) a prime number?
True
Let n(w) = -110*w - 7. Let x = 68 + -130. Let s = x - -49. Is n(s) composite?
False
Suppose -2726 + 7610 = -3*a. Let s = -2281 - a. Let l = 1050 + s. Is l a composite number?
False
Suppose 6*m = 4*m. Suppose m = 8*x - 1570 - 1782. Is x prime?
True
Suppose -28*i + 2419584 = -1143837 + 519961. Is i prime?
False
Suppose 46*v + 14 = 32*v. Is v/(-2)*85890/21 composite?
True
Let v = 548761 + -150702. Is v composite?
False
Let p(k) = -15*k - 71. Let t be p(-5). Suppose -3*x = -3*s - 4422, 761 = -t*x - 5*s + 6612. Is x prime?
False
Suppose 0 = 4*m + 3 - 19. Suppose 20 = -5*y, y - 5*y - 15404 = -m*n. Is n composite?
False
Suppose -3*v + 0*v + 582 = 0. Suppose -v = -i + 251. Is i a composite number?
True
Let o(v) = 19*v**2 + 212*v + 173. Is o(-38) prime?
True
Let j be 2/(-5) - 5742/(-330). Suppose j*b = 15*b + 10394. Is b a composite number?
False
Let i(t) = 21 - 113*t - 54*t - 21*t. Is i(-10) a composite number?
False
Let x(y) = 98*y**2 - 4*y + 1. Suppose 6 + 6 = 4*z. Suppose -7*s + 3*s = -4*o + 32, 0 = -z*s + 2*o - 20. Is x(s) a composite number?
True
Let r(d) = 209*d**2 + d - 3. Let w(y) = -y**3 - 9*y**2 + 2*y - 75. Let k be w(-10). Is r(k) prime?
True
Suppose 32*p - 147452 = 116498 - 30894. Is p composite?
False
Let i(h) = -6*h**3 + 12*h**2 - 21*h + 18. Let y(p) = 5*p**3 - 12*p**2 + 19*p - 17. Let t(d) = -6*i(d) - 7*y(d). Is t(-12) a prime number?
False
Let k(z) = 721*z**2 - 9*z - 5. Let c be k(-3). Let a = -1888 + 3128. Suppose a - c = -3*u. Is u a composite number?
True
Let j(u) = 16*u + 22*u - 12 + 5. Let m(k) = -113*k + 22. Let v(g) = 11*j(g) + 4*m(g). Is v(-3) prime?
True
Let g(q) = 4087*q - 86. Let s be g(24). Suppose -8032 = 6*a - s. Is a prime?
False
Let f(n) = -2*n + 3. Let c be f(-2). Suppose 0 = 10*v - c*v - 10221. Is v composite?
False
Suppose -r - 2*h - 150542 = -3*r, 4*h + 376350 = 5*r. Suppose -44*l + 245010 = -r. Is l composite?
True
Let v be (136/51 - 4/6) + 10917. Suppose 4*t + 303 = v. Is t composite?
True
Let z(g) = 3*g**2 - 19*g + 4. Let q be z(7). Suppose -q*c = -24*c + 2934. Is c prime?
False
Suppose -60897 = -g - 2*r, 10*g + 2*r = 5*g + 304469. Is g prime?
False
Let o(s) = 78*s**2 + 78*s + 149. Is o(-40) a composite number?
True
Let g = -219503 - -469801. Is g prime?
False
Let s = -83 + 88. Let v be (s - -1)/(-12) + 9/(-2). Is (-7059)/(-15) + (2 - (-8)/v) composite?
True
Let t(k) = 13*k - 20. Let d be t(4). Suppose -j + d = 7*j. Let s(m) = 188*m**2 + 3. Is s(j) a prime number?
True
Let d(c) = 36 + 56*c**2 + 54*c**2 - 21*c + 21*c**2. Let h be d(13). Suppose -2*y + 4*z = -8750, 3*z - 2*z + h = 5*y. Is y a prime number?
False
Let l(v) = -6*v + 27. Let m be l(4). Suppose m*j + 23924 = 4*d, 11962 = 2*d + 5*j - 0*j. Is d prime?
True
Suppose -4*t + 2*g + 26 = 0, -3*t = -g - 23 + 6. Suppose 4*a = 20, -3*s + t*a + 16 = s. Suppose 0*f = -s*f + 4527. Is f prime?
True
Let z(s) = -15286*s - 569. Is z(-19) a prime n