o = -y - 2345, 0 = o - 2*y - y - x. Is o a composite number?
True
Suppose -3*x = -3*z + 21, -2*z - x + 2 = 3*x. Let c(m) = 2*m**2 - 9*m + 11. Let q be c(z). Is q/(-136) - 4949/(-17) prime?
False
Let o(l) = 7300*l - 1073. Is o(15) a prime number?
False
Let o be (24/8)/(-9) + 7/3. Let w be ((-25)/10 - 1)*20/o. Is 10/w - (-4106)/14 a composite number?
False
Let h(k) = -14014*k**3 + k**2 - 3*k - 4. Let o be h(-1). Let g = 19865 - o. Is g composite?
False
Is (610/366)/(((-15)/(-733581))/1) a prime number?
True
Suppose 2*u + 4 = y, -5*u - 2*y - 5 = -7*y. Let r be -4 + 5 + u - -4. Suppose -3*x + w = -21270, x - r*w - 7076 = 3*w. Is x a prime number?
False
Let q(a) = 62*a**3 + 20*a**2 - 99*a + 20. Is q(9) prime?
False
Suppose -2*w + 322 = -i - 4*w, 4*i - 2*w = -1278. Let x = i + 712. Let g = -265 + x. Is g composite?
False
Suppose -39*o + 5776186 + 8853550 + 820777 = 0. Is o composite?
True
Suppose -3*x = 60*k - 55*k + 34, 2*x = 5*k + 44. Is -97*1/(k/232) a composite number?
True
Let c = 7515 + -6988. Is c a composite number?
True
Let r be ((-9)/(-30)*2)/((-5)/75). Let z = 11 + r. Suppose 4*p + n = -z*n + 4034, -5*p + 2*n = -5031. Is p composite?
True
Let p be 24/40 + (-344)/(-10). Suppose 44*g - p*g = 4869. Is g prime?
True
Let f be (18/4)/(42/(-20) + 2). Let d = -42 - f. Suppose b + d*h = 226, 4*b + h - 1032 = -183. Is b composite?
False
Let v be 10*((-124)/(-20) + -3). Let f be (v + -2)/(-5)*(-1)/2. Suppose -4*i = f*r - 841, 3*i - 5*r = i + 427. Is i composite?
False
Suppose -k + 111709 = -i - 165162, 0 = 5*i + 30. Is k prime?
False
Suppose -2*f - 2047473 = -5*f + t, f - 682517 = -4*t. Is f composite?
True
Let v(c) = -c**2. Let d be v(0). Suppose 4*r - 135 = t, d*t + 2*t - 5*r + 261 = 0. Is 7 + 12/(-4) - t composite?
False
Let c = 3611 - 2907. Let u be (0 - -2)*734/4. Let f = c - u. Is f a composite number?
False
Suppose 2*o + 5*i + 261 = 0, i - 609 = 5*o - i. Let u = o + 126. Suppose k - 12654 = h, -u*k + 2*k = -4*h - 12657. Is k composite?
False
Is ((-663)/26 + 30)*137162/3 a composite number?
True
Suppose 27472 + 252910 = 2*b - 34140. Is b a prime number?
False
Let f(w) = -w**3 + 54*w**2 - 20*w + 193. Let b be f(47). Let y = b + -7481. Is y composite?
True
Let l(c) = c - 8. Let f be l(-7). Let j be ((-204)/f)/((-6)/(-45)). Let z = j - 67. Is z prime?
False
Let f = -634 + 1212. Let z = 1363 - f. Is z prime?
False
Suppose 0*a + 3*t = -4*a + 11654, 3*t + 14581 = 5*a. Let i = a - 1912. Is i prime?
False
Let g = 114 + -111. Is (((-5049)/18)/g)/((-1)/2) a prime number?
False
Suppose 1114490 = 313*g - 308*g - 5*q, -q = -5*g + 1114454. Is g a prime number?
False
Suppose -4*n - 663 + 799 = 0. Let o(m) = m**2 + m. Let q be o(-1). Suppose q = -7*g + n + 64. Is g a prime number?
False
Suppose x - 207737 = -3*s, 5*s - 37*x - 346215 = -42*x. Is s composite?
False
Let i(v) = 51*v**2 - 11*v - 1. Let t = 126 - 120. Is i(t) a composite number?
True
Let z be (-3 - -3)/(4 + (-4 - 2)). Suppose 4*h - 4*f - 16525 - 15715 = 0, z = 4*h + 5*f - 32213. Is h prime?
False
Suppose -2230068 = -13*s + s. Is s a composite number?
True
Let t(d) = -2*d - 5. Let j be t(-3). Let r be j - ((-5)/10)/(2/(-4)). Suppose r = -q + 215 + 183. Is q a prime number?
False
Is (-4)/((-56)/380499)*2 - -4 a prime number?
True
Let q be -37*(-2 - (-15)/(-3)) + 4. Suppose -6 = -2*x, -2*w + 288 = 5*x - q. Let t = w - 137. Is t composite?
False
Let r = 384 + -382. Suppose r*c = -1539 + 15605. Is c prime?
False
Let a(j) = 47*j**2 + 2*j + 3. Let t(q) be the first derivative of q**2/2 + 8*q + 18. Let s be t(-10). Is a(s) a prime number?
False
Suppose 0 = -6*f + 4 + 8. Suppose 3*o + f*j = -1289 - 98, -2*j = 4. Let t = o + 2578. Is t composite?
True
Suppose 64*p - 9668 = 36*p + 29*p. Let o(z) = z - 4. Let r be o(7). Is r + p*1/(-2) composite?
True
Let q(n) = 3*n**3 - 5*n**2 + 3*n + 2. Let d(w) = -w**3 - w**2 - 1. Let g(y) = 2*d(y) + q(y). Let h be g(6). Is 2/(-12) + (-17409)/h a composite number?
False
Let c be 8466/24 - 3/(-8)*-2. Suppose -9*z + z = -c. Is (-8737)/(-5) + (4 - z/10) prime?
True
Let a = 11322 + 365. Suppose -9*v = 4*v - a. Is v a prime number?
False
Let m = 35615 + -2620. Suppose 44*s + m = 49*s. Is s a prime number?
True
Suppose -154 = -3*c - 8*c. Suppose -c*s + 5*s = -15579. Is s a prime number?
False
Suppose -438*w - 2*z + 967753 = -437*w, 5*z - 4838730 = -5*w. Is w a composite number?
False
Let b(h) = 4*h - h - 2*h + 0*h - 8. Let d be b(9). Is d + 515 + (1 - 2) prime?
False
Suppose o = 3*o - 12*o + 1610330. Is o prime?
True
Let i(u) = 7*u**2 + 33*u - 5. Let s be i(-5). Suppose p + 0*a - 8456 = s*a, -5*p + 42220 = -5*a. Is p a prime number?
False
Let n = 29456 - 1179. Is n composite?
False
Suppose 3*j = 2*c + 210083, 2*j + 4*c - 140049 = -c. Is j composite?
True
Let i(f) = -1584*f + 116. Let t be i(3). Let q = -1517 - t. Is q a prime number?
True
Suppose 429 = -32*x + 29*x. Let q be (-741)/x - (-4)/(-22). Suppose 0*i + 3677 = q*i - 4*h, 2*i + 3*h = 1480. Is i a composite number?
True
Suppose -4*s + 5*s + 377 = -4*y, -3*s = 5*y + 473. Let i = y + 984. Let b = i - 561. Is b composite?
True
Let f be 4*(-15 - -13)*(-131)/2. Let m = f + 558. Is m composite?
True
Suppose 6*h - 29 - 49 = 0. Suppose -4*s = -2*b - 1 - h, b = -s + 8. Suppose b*g - 1675 = -346. Is g a composite number?
False
Let h(m) be the first derivative of m**5/10 - m**4/6 - m**3/2 - 2*m**2 + 3. Let s(v) be the second derivative of h(v). Is s(-7) composite?
True
Let z = 318035 + -148578. Is z a prime number?
True
Is (9730578/27 - 1) + 324/1458 prime?
True
Let f(o) = o**3 - 3*o**2 - 5*o - 4. Let n be f(-1). Is 12/n - 12/8*-4078 prime?
True
Suppose 30*j = 38*j - 7298152. Is j composite?
False
Let f(p) be the second derivative of -19*p**3/3 - p**2/2 + 13*p. Let m be f(1). Let t = m + 412. Is t a composite number?
False
Let y(p) = 836*p + 12. Let t be y(-3). Let m = -451 - t. Is m prime?
False
Let h(p) = 3 - 20*p - p**2 + 15*p + 18*p. Let m be h(13). Suppose -g = -2*w + 4030, -4*w + m*g + 3199 = -4857. Is w composite?
False
Suppose -2*w = -f + 303, 4*f = w + 12 + 150. Is w/(-24) - 7 - (-8471)/4 a composite number?
True
Is 7193438/(-114)*(-18)/42 a composite number?
False
Suppose 2*n + 34382 = 4*o, 4*n = -o + 2475 + 6107. Is o composite?
True
Let h(c) = 20*c**3 - 4*c**2 + 13*c - 7. Let p be h(9). Suppose -r - 28732 = -5*r - 2*i, -4*i - p = -2*r. Is r composite?
True
Suppose -15363 = 15*n - 44448. Let s = 3276 - n. Is s a composite number?
True
Let m(u) = 32542*u - 3955. Is m(3) composite?
True
Suppose 0 = -4*n + 8*n - 16, -5*n - 38552 = -4*t. Is t a composite number?
False
Suppose 18 = -2*h - 0*h + 4*v, -5*h - 5*v = -30. Let y(b) = 105*b + 16. Let a be y(2). Is a + (-1)/h*3 prime?
True
Suppose -5*i + 3*z = -26348, -5*i - 22*z + 26347 = -24*z. Is i a prime number?
False
Suppose -x - 43*n + 40985 = -39*n, -n = 3*x - 122922. Is x composite?
False
Let y be (-3)/(-12) + (-47070)/(-8). Let b = -2945 + y. Is b a prime number?
True
Suppose 145402984 + 77845090 = 322*k. Is k a prime number?
True
Let v = -8 - -22. Is 6/v - (2 + 34920/(-56)) a prime number?
False
Suppose 2*p - 1503395 = 5*v, -2033859 - 221314 = -3*p - 4*v. Is p composite?
True
Let i = 64 - 76. Let m be (4 + 44/i)/1*39. Suppose -803 = -m*j + 458. Is j prime?
True
Suppose -14*q + 2516 = 598. Suppose -134*u - 11082 = -q*u. Is u a prime number?
False
Suppose -7*t - 29 = -246. Suppose 9 + t = 5*i. Is -1*2*4106*(-2)/i composite?
False
Suppose 0 = 36*h - 41*h - 3*t + 323729, 0 = -h + 3*t + 64753. Is h a composite number?
False
Suppose -103674 + 288419 = 11*y. Is y prime?
False
Suppose 471*x + 680843 = j + 469*x, -680849 = -j + 3*x. Is j a composite number?
False
Suppose 0 = -0*j - j - 4*m + 81, 0 = 3*j - 4*m - 291. Suppose -j + 1183 = 10*o. Is o a composite number?
False
Suppose -14*v = -8*v - 36. Let i(o) = -19*o**3 - 11*o**2 + 7*o - 1. Let f be i(v). Let j = -2900 - f. Is j a prime number?
True
Suppose 4*u - 168 = 7*u. Let k = u + 61. Suppose 2545 = k*a - 7720. Is a a composite number?
False
Let k = -121176 - -250055. Is k composite?
False
Let q(k) = 2*k**3 - 9*k**2 - 7*k + 1. Let v(u) = -12*u**3 + 5*u**3 + 4*u**2 - 9*u + 5 + 8*u**3 + 3*u. Let t be v(-5). Is q(t) prime?
True
Suppose 4*c + 3*j = -84305, -12*c + 5*j = -7*c + 105355. Let g = -11959 - c. Is g prime?
False
Let b = 