 s be 2236/65*(0 + (-670)/(-4)). Let z = l + s. Is z a prime number?
True
Let d be (-4)/(-42) - (-12)/(-378)*3. Suppose d = -12*u + 74178 - 3630. Is u prime?
True
Let p(m) = 4*m**2 + 12*m + 7. Suppose -4*j - 3*j + 371 = 0. Let g = 62 - j. Is p(g) prime?
True
Let v(h) = -9*h**3 + 5*h**2 - 12*h - 14. Let t be v(-8). Suppose 4*o - t = -1370. Let c = o + -615. Is c prime?
False
Let p = -2494 + 3860. Let j = 445 - p. Let a = 1358 + j. Is a composite?
True
Suppose 92*u + 102*u + 35*u = 24293923. Is u composite?
False
Suppose -1 = 5*s - 5*q + 4, s + 13 = 5*q. Suppose -4*n - 67063 = 5*g, 53636 = -2*g - s*g + 4*n. Let b = -8850 - g. Is b a composite number?
False
Suppose -m = -71 - 185. Suppose 3*g - m = 4*d, -10 - 68 = -g + 5*d. Suppose -914 = -2*y - g. Is y prime?
False
Let g(v) = -3*v**3 + 80*v**2 + 164*v - 80. Is g(-47) composite?
True
Let a(s) = 201*s**2 - 4*s + 11. Let o be 2842/21 + 4/6*1. Let x = o + -134. Is a(x) composite?
True
Suppose -8*s = -3*s - 15. Suppose -s*o - 2*j = -2*o - 97, 0 = 3*o - 5*j - 236. Let m = 5704 + o. Is m a prime number?
True
Suppose 126*a + 422303 - 96795 = -149260. Let g be ((-7555)/1 - 0)*1. Let c = a - g. Is c prime?
False
Let m be -12 + 1 + -2 + 4. Let j(d) = -2*d**2 - 12*d. Let b be j(m). Let a = 35 - b. Is a composite?
False
Suppose -n - 336 = 3*n - 5*i, 0 = -n + i - 84. Let h be (n/24)/((-2)/172). Suppose 5*t - h - 1564 = 0. Is t a composite number?
False
Let r be (-7 + -27)*(-6)/12. Suppose -r*f = -36*f + 200621. Is f prime?
True
Suppose -5*p - 5*a = -198435 - 302980, -5*p - a + 501399 = 0. Is p composite?
False
Let t(f) = 587*f**2 - 12*f + 47. Let w be t(9). Suppose -11*c - 16323 + w = 0. Is c a composite number?
False
Let t(x) = 16341*x - 1164. Is t(1) a composite number?
True
Let v = 349 - 347. Suppose -3*r = g - 7*r - 1273, 0 = v*g + r - 2573. Is g a composite number?
True
Suppose 3*s - 3*o = 0, 5*s = 3*o + o. Suppose -32*q + 16*q + 43936 = s. Is q composite?
True
Suppose -2032 = -2*j - l - l, 2*l - 3051 = -3*j. Let m = 553 + j. Let o = m + -803. Is o a composite number?
False
Suppose -15*q + 2190609 = -307506. Is q a prime number?
True
Let o = 14771 + 5792. Is o a prime number?
True
Is 9 - (14 - 6) - 1*-3102 prime?
False
Suppose -24*o = -17*o - 22820. Suppose 905 = -5*g + o. Is g a composite number?
True
Let n(j) = 8*j + 7. Let v be n(-10). Let c be (v + -7)*(-73)/2. Let o = c - 2067. Is o a composite number?
False
Let u(t) = 18934*t**3 + t**2 - t + 1. Let g be u(1). Suppose 4*z = -3*z + g. Is z a composite number?
True
Let p = 34056 - 11982. Suppose 13*f + 2561 - p = 0. Is f a composite number?
True
Suppose -8*b - 6 = -10*b. Let k(f) = 7 + b*f - 6*f**2 - 10*f + 4*f**3 + 1. Is k(6) a prime number?
False
Let d(s) = 2*s**2 - 16*s + 7. Suppose 6*n - 35 + 5 = 0. Suppose 2*x + 42 = 3*h - x, 0 = -n*h + 4*x + 66. Is d(h) prime?
True
Let r = 4276 - 803. Suppose 2*m = r + 1533. Is m a prime number?
True
Let m be ((-2)/(-5) + -2)*(-372725)/10. Suppose m = 3*r + 14333. Is r a composite number?
False
Let j(a) = -63555*a - 167. Is j(-2) a prime number?
True
Let i = 367987 + -127836. Is i composite?
False
Let o = -2360 - 3396. Is (o/(-8))/((-2)/(-4)) a prime number?
True
Let c = 166938 + -36011. Is c a prime number?
True
Suppose 0 = -j - 146 + 1024. Suppose -8*h - 5866 - j = 0. Let b = 3064 + h. Is b a composite number?
False
Let x = -110 + 110. Suppose x = 134*s - 137*s + 5073. Is s composite?
True
Let y = 117205 + 17806. Is y composite?
True
Suppose -4*c - 12 = 0, -2*t + 133 + 29 = 4*c. Let h(o) = 22*o**3 - o**2 + 6*o - 17. Let b be h(2). Let a = t + b. Is a a composite number?
True
Suppose 3*n + 8724 = 4*i - n, 3*i - 6527 = -5*n. Let y = i + -1272. Is y a composite number?
False
Suppose 5*o - 9 = 1. Suppose 476 = -4*g + o*g. Is 57/(-1)*g/42 a prime number?
False
Let i(x) = -3*x**3 - 4*x**2 - 3. Let v be i(-2). Suppose 3 = 3*b + 3*n, 5*n + v = -3*b - 0*b. Suppose -1553 = -b*p + 2262. Is p composite?
True
Let r(x) = 1247*x + 56. Let p be r(6). Suppose 4*m = 4*g - 6540, 0 = -5*g + 3*m + p + 645. Is g composite?
True
Let k be ((-12)/24)/(1*2/(-136088)). Is k - (-4 - -3)*10/2 prime?
False
Suppose 134 = 11*k - 20. Suppose 5*y - k = 7*y. Is (-19455)/y - (-10)/(-35) a prime number?
False
Let j(n) = 6529*n**2 - 197*n - 775. Is j(-4) a prime number?
False
Is 14 + (-95480)/(-30) + (-5)/(-15) prime?
False
Let u(v) = -v**2 + 10. Let q be u(0). Let j = q + -4. Is -291*(-3 + 16/j) a prime number?
True
Let b = -4155 - -52964. Is b a composite number?
False
Let r(o) = -33*o - 5. Let v be r(-2). Let p = 235 - 227. Let j = v - p. Is j a prime number?
True
Suppose 18541774 = -62*s + 220*s. Is s prime?
True
Let j(v) = -3*v**2 + 12*v + 15. Let s be j(5). Suppose 22*u - 33831 + 3889 = s. Is u prime?
True
Suppose -7*l = 230 - 265. Suppose 10*h + 32983 = l*r + 6*h, -r = 4*h - 6587. Is r a composite number?
True
Suppose -4*g + 135 = -9*g. Let s = g - -108. Suppose s = 3*h - 828. Is h a prime number?
False
Let i(c) = -c**3 + 5*c**2 - 4*c + 2. Let r be i(4). Let q be 0 - (r + 14)*-70. Let n = q + -621. Is n composite?
False
Let u = -203 - -199. Is u - 3/(6/(-1822)) a composite number?
False
Let k = -146568 + 255449. Suppose 0 = 5*v + w - 148943, 3*v - k + 19520 = -3*w. Is v composite?
False
Let j be 29/174 + (-8006)/12. Let u(c) = 8*c**3 + 16*c**2 - 8*c + 10. Let s be u(7). Let h = s + j. Is h a composite number?
True
Let r(s) = 5*s**2 - 21*s - 50*s + 7 + 2*s + 11*s. Is r(-30) composite?
False
Suppose 5*d = -4*g + 81, -4*d = d + 2*g - 73. Let i(x) = 9*x**3 - 16*x**2 + 24*x - 12. Is i(d) prime?
False
Let o(r) = 7*r - 80. Let h be o(15). Suppose 5*w + h = 0, -8251 = -7*t + 3*t + 3*w. Is t a prime number?
False
Suppose -4*q + 30272 = 3*j, -5*q - 22*j + 37843 = -19*j. Is q composite?
True
Let p = -1187 + 1189. Suppose -5 = -3*h - 2. Is (h - p)*177/(-3) prime?
True
Suppose -363048 = 25*l - 11*l. Let n = -13417 - l. Is n prime?
False
Is (-1)/(-6) - ((-8425222)/156 - -13) a composite number?
True
Let s(c) = c**3 - 3*c**2 - 13*c + 10. Let g be s(5). Is 34986/8 - (g + (-63)/(-12)) a composite number?
False
Let o(h) = 44*h**2 + 11*h - 1. Let z be o(-5). Suppose 0 = -v + c + z, -4*c + 1831 = 5*v - 3425. Is -1 + -1 + v + -7 a prime number?
True
Suppose -7*i + 16 = -12. Let x be 14/21 - i/6. Suppose -4*u + 1307 + 5321 = x. Is u a prime number?
True
Is (-18)/(-60)*3516/(-9)*(-5620)/8 a prime number?
False
Suppose 4*n + 4*x = 83 + 25, -4*x + 33 = n. Suppose 37*b - 119172 = n*b. Is b a composite number?
False
Let y = 70255 - 13626. Is y prime?
True
Let n be (2/1)/((-10)/(-345)). Let b = n + -60. Let v(x) = -x**3 + 18*x**2 + 17*x - 5. Is v(b) a composite number?
False
Suppose -14*m = g - 12*m - 487017, 974041 = 2*g - 3*m. Is g prime?
False
Let w(t) = 5*t - 32. Let g be w(7). Suppose -2*l - 2*l = -4*o + 2340, 1751 = g*o - 2*l. Is o a prime number?
False
Let b(u) = -38*u + 45. Let r be b(2). Let s(d) = 2*d**3 + 65*d**2 + 50*d + 82. Is s(r) a prime number?
False
Suppose -5*c - 15 = -t, 0 = 3*t - 6*t - c - 19. Let n be -1*t/(3 + -2). Suppose -n*f = -10 - 1165. Is f composite?
True
Let w(l) be the second derivative of -7*l**4/6 - 2*l**3/3 + l**2/2 + 14*l. Let o be w(-4). Let k = 418 + o. Is k composite?
False
Let z = -13145307 - -20295686. Is z prime?
True
Suppose 5*d + u = 132551, -3*d + 7*d + 3*u = 106032. Is d composite?
True
Suppose 19*f - 12*f = -63. Is -7 + (-310949)/f + 2/18 prime?
True
Let n be (-101)/5 + -2 - 4/(-20). Let x be n/6 - 19/57. Is (-8229)/(-52) - ((-5)/x - 1) a prime number?
False
Let t(b) = b**3 - 3*b**2 - 7*b - 4. Let o be (3 + -9)*3/6. Let u = o - -9. Is t(u) a composite number?
True
Let m be (168/(-98))/((-8)/13076). Let n = m + -1291. Is n a prime number?
True
Let q(b) = -7*b. Let t be q(2). Is 21/t + (-1385)/(-2) a composite number?
False
Let k(u) = 915*u**2 - 23*u - 65. Is k(-8) composite?
False
Suppose 5*l = 4*a + 90, -l - 4*a + 11 = -7. Suppose -13*q + l*q = 20. Suppose q*h - 16135 = -h - 5*v, -3239 = -h + 5*v. Is h composite?
False
Suppose 18*c - c = 1556120 + 235697. Is c prime?
True
Is 3775435/85 - (-12)/102 a prime number?
True
Suppose 33*o - 1979610 = -5*v + 28*o, -2*v = -2*o - 791848. Is v composite?
True
Let o be 1 - (1*-1)/(-1). Let c = 86623 - 59411. Suppose o = -5*p + p + c. Is p composite?
False
Suppose 0 = -15*j + 73*j 