et d(w) = -4739*w + 87. Let r be d(-4). Let k = 27680 - r. Is k a composite number?
True
Let o(s) = -1286*s**3 - 3*s**2 - 13*s + 1. Let n(x) = -8*x + 5. Let k be n(1). Is o(k) composite?
True
Let v(w) = -w - 22. Let z be v(-11). Let n = z + 11. Suppose s + 2*q = 2*s - 583, 2*q = n. Is s prime?
False
Suppose 2*p = -2*h + 252552, -p + 2*h = -46413 - 79848. Is p a prime number?
True
Let i(k) = 5*k**2 - 7*k - 9515. Let t(z) = -4*z**2 + 8*z + 9514. Let c(v) = 3*i(v) + 4*t(v). Is c(0) a prime number?
True
Let x(h) = 248*h - 6. Let w be x(2). Let i = 234 - w. Let b = 1659 + i. Is b a prime number?
False
Suppose 0 = 2*h + 7*h - 81. Suppose h*s + 42 = 1455. Is s a prime number?
True
Is (204112/24)/((-18)/(-297)) a composite number?
True
Is 1/(30/(-4)) - (-7 + 3120026/(-195)) a composite number?
False
Let t(u) = u**2 + 12*u + 3. Let n be t(-12). Suppose 4*k - 11 + n = 0. Suppose -2*w - 56 + 647 = z, 5*z = k*w + 2907. Is z composite?
True
Suppose -6*h + 13 + 5 = 0. Suppose -u - u = -304. Let s = u + h. Is s a composite number?
True
Let q(y) = 15*y**2 - 15*y**2 + 27 - 8*y**2 - 6*y + 3*y**3 - 15*y**2. Is q(11) prime?
True
Suppose -122374 = 36*s - 29*s - 21*s. Is s prime?
True
Suppose l = 5*i - 3*l + 18744, -l = -i - 3749. Let h be (i/12)/((-4)/(-12)). Let a = h + 1424. Is a composite?
False
Let i(h) = 144*h**2 - 32*h - 158. Is i(-36) composite?
True
Suppose -2*i + 3*z + 76170 = -88247, -1 = z. Is i composite?
False
Let p be (1/((-6 - -4)/(-2)))/(-1). Let l(r) = 3872*r**2 + 10*r + 1. Is l(p) prime?
True
Let n(x) = -4651*x - 9. Let l be n(-2). Is -2 + (4 - 3) + l - -1 a prime number?
True
Let o be -2 + 6850 + (-12)/6. Let q = o + -4039. Is q composite?
True
Let u = -352 + 357. Suppose 5*s = u*x - 44630, 16*s - 14*s = -x + 8917. Is x prime?
True
Suppose 7*x = -27 + 34. Let w(d) = -137*d + 40. Let h(y) = 1. Let k(z) = x*w(z) - 6*h(z). Is k(-7) prime?
False
Suppose 0 = -7*d + 12 + 128. Suppose -15*f = -d*f + 25770. Is (-3)/(-6)*(f + 4) prime?
True
Let x be ((-27)/(-12) + -2)*0. Let o be -3*(7/3 + x + -3). Suppose -2*u + t + 1106 = -t, -o*u + 5*t + 1106 = 0. Is u a prime number?
False
Suppose -436927 = 2*w - 5*w + u, 3*u - 291292 = -2*w. Is w composite?
False
Suppose -3*s + 2130 + 2943 = 0. Suppose -s - 2590 = 3*c + 5*t, -7101 = 5*c - 3*t. Let x = 2045 + c. Is x prime?
False
Let j(o) = 748*o**2 + 7*o - 2. Is j(-3) prime?
True
Let i(t) = 498*t**2 - 18*t + 65. Let h be i(4). Suppose h = -24*q + 43*q. Is q composite?
False
Let u(b) = -45*b - 42. Let t be u(-3). Let s = 93 - t. Suppose -2*l + 1021 + 1225 = s. Is l prime?
True
Is 1950251/6 + -1 - (-111)/666 a composite number?
True
Let p(k) = 916*k - 9. Let t be p(2). Is 70/2*(-1)/(-5)*t prime?
False
Suppose -32*a = 11*a - 20495219. Is a composite?
False
Let u(n) be the first derivative of n**4/2 + n**2/2 + 3163*n - 392. Suppose 8*m - 3*m = 0. Is u(m) a composite number?
False
Suppose -10*k - 15*k + 3098392 = 63*k. Is k a prime number?
False
Let g(l) = 2382*l - 2849. Is g(49) composite?
True
Let c = 225361 + 38710. Is c composite?
False
Let y(h) = h**2 + 6*h. Let c be y(-6). Let p(x) = c*x - 15 + 1 + 31*x + 22*x. Is p(5) prime?
True
Let h be (106/6)/(13/(-39)). Let x = h + 58. Suppose 3*a - w - 3031 = 0, 5*a + x*w + 1520 - 6585 = 0. Is a a composite number?
True
Let q = 67 + -66. Let g be (3/9 - q)/((-18)/81). Suppose -2*c + 2209 = 5*h, -5*h = g*c - 1354 - 1972. Is c prime?
True
Let b = 41 - 39. Suppose -438 = b*w - 9620. Is w a prime number?
True
Let y = -117 - -165. Suppose -11*s + 7*s + y = 0. Suppose s*b - 298 = 10*b. Is b composite?
False
Let g be 50/(-25) - -1*(1 + 69438). Let a = g - 27666. Is a a prime number?
True
Suppose -4*l - 2*m = -4884, -2*l - 5*m = -5*l + 3676. Let q = l - -1069. Let i = q - -42. Is i composite?
False
Suppose 2*d - 123282 = -4*j, -2*j - 2*d - 6201 = -67837. Is j prime?
False
Let d(o) = -o**3 - 22*o**2 + 76*o - 19. Is d(-52) a prime number?
False
Let k(o) = 9*o**3 - 56*o**2 - 11*o + 79. Is k(26) a prime number?
True
Let d = 68043 + -986. Is d prime?
True
Let s be (-133)/49 - -3 - (-102490)/14. Suppose 4*k = 6*k + 5*y + 2947, 3*y - s = 5*k. Let d = k - -6043. Is d composite?
True
Suppose 4*p = -2*v + 378, -3*v + 0*p + 2*p = -543. Suppose -2*h - v - 153 = 0. Let t = 43 - h. Is t a prime number?
True
Is 29*(6 + 116880) - -7 prime?
False
Suppose -5*s = -d + 4665, d + 0*s - 4647 = -s. Let u = 7531 - d. Is u a composite number?
True
Suppose -4*w + 4*v - 5*v + 41 = 0, -24 = -2*w - 4*v. Let q be (-5)/w + 1 + (-3)/2. Is 1/(q/(-2605)*5) a prime number?
True
Let r = -526 + -237. Let n = r - -2874. Is n prime?
True
Suppose 0 = -56*q + 3*q + 603087. Is q prime?
False
Let j = 14011 - 54516. Let v = j - -62182. Is v a prime number?
False
Let j = -19547 - -28744. Is j a prime number?
False
Suppose 150249 = 18*s - 67137. Is s a composite number?
True
Let b = 149 + -107. Suppose -30410 = -52*m + b*m. Is m composite?
False
Suppose 18 = -2*x, -3*o - 228*x + 223*x + 3167526 = 0. Is o a prime number?
False
Let z(y) be the first derivative of 679*y**4/4 + y**3/3 - y + 51. Suppose -2*v + 2 = 4*l, 4*v + 2*l - 2 = 2. Is z(v) prime?
False
Let v = -492761 + 798760. Is v prime?
True
Suppose -4*z - 173588 = -3*k + 181, -3*k + 2*z + 173763 = 0. Is k composite?
True
Let l(c) = -c**2 + 16 + 6 - 12*c**2. Let x be l(-6). Let b = 649 + x. Is b a prime number?
False
Let d be -8*(-3)/6 - 5772. Let h = d - -8137. Is h prime?
False
Let p = -208 + 211. Suppose -1474 = -y - 5*x, y + p*x + 474 = 1946. Is y a composite number?
True
Let q = -35061 - -43402. Is q a prime number?
False
Suppose -1101 - 379 = -10*m. Suppose -150 = -i - m. Suppose -v + 6*v + 679 = p, -i*v - 3303 = -5*p. Is p a prime number?
True
Let c(d) = 16244*d**2 + 35*d - 235. Is c(6) a prime number?
False
Is (188083 - (1 + -17)) + 2/(-4)*0 a composite number?
True
Let v(j) = 3180*j**2 + 155*j - 1504. Is v(13) prime?
False
Is (-4)/(-46) - 3290934042/(-4554) composite?
True
Let k = -45778 - -90297. Is k composite?
False
Suppose -169*i + 25383017 = -5327112 + 2074938. Is i composite?
True
Suppose 8*p = 10*p + 4. Let o be 4743 - ((-4)/p + -3 + 3). Suppose -4 = -2*v, -5*n - 1336 = 5*v - o. Is n prime?
False
Suppose 1386 - 105 = h - 3*u, -h + 1321 = 5*u. Suppose -11308 = -4*w - h. Is w a composite number?
False
Suppose -17*s = -15*s - 4. Suppose -r + 514 = 5*i, 511 = -r + s*r + 4*i. Is r a prime number?
True
Let v(n) = -13328*n - 29. Let r(c) = 18*c + 70. Let g be r(-4). Is v(g) a composite number?
False
Suppose -4320 = -41*y + 38*y. Suppose c = -4*c + y. Suppose -j + c - 29 = 0. Is j a prime number?
False
Let u(b) = 715*b - 15. Let k(a) = -717*a + 16. Let j(q) = 4*k(q) + 3*u(q). Is j(-10) prime?
False
Is (1 - 120/104) + 8013780/52 a composite number?
False
Suppose -12058 - 12094 = -4*o. Let f = o - 3145. Is f a prime number?
False
Let r = 82 + -72. Suppose -r*d = -6*d - 3980. Suppose -2*x = k - d, -3*k - 508 = -2*x + x. Is x composite?
False
Let n(f) = -12550*f**3 - 5*f**2 - 10*f - 10. Let v be n(-3). Is ((-2)/5)/(-10 + 3388240/v) prime?
True
Let w be (3/6)/(3/(-12)). Let d be (-5806)/w*(-6)/36*-6. Let v = d + -220. Is v prime?
True
Let z(d) = -d**2 - 16*d + 7. Let n be z(-17). Let s(y) = -y**2 - 10*y + 19. Let p be s(n). Suppose -14*h + p*h = 11245. Is h a composite number?
True
Let b be 5*(-4 + 4 + -2). Let o be 14/(-35) - 7534/b. Suppose -3*k - 2*m + 600 = k, 0 = 5*k + 4*m - o. Is k a composite number?
False
Let t(n) = -152455*n**3 + n**2 + n. Is t(-1) a prime number?
False
Let i = 259288 - 44039. Is i prime?
True
Suppose -4482951 = -29881*i + 29861*i + 1433429. Is i composite?
False
Suppose 12 = d + 4. Let o(l) = 39784*l - 17. Let v be o(d). Is 4/(-22) + v/77 prime?
True
Suppose 0 = -2*g - 2, -13*l + 5*g + 5069 = -11*l. Suppose -24*i + 36*i = l. Is i composite?
False
Suppose -7*t + 11*t - 3*j - 74 = 0, -4*j - 72 = -4*t. Suppose t*h = 16*h + 25484. Is h prime?
False
Is (273/(-42) - -8) + 23926*(-51)/(-12) a composite number?
True
Suppose 0 = 31*n - 34*n + 3*r + 955680, 0 = 4*n + 5*r - 1274213. Is n a prime number?
True
Suppose 3*t - 471913 = -2*q, -5*t = 105*q - 110*q - 786455. Is t a prime number?
False
Let k(m) = 156*m**2 + 32*m**3 - 5*m - 154*m**2 + 10*m**3 + 7. Is k(2) prime?
False
Let a(l) = 90*l**2 - 2*l + 3. Let q = 37 - 35. Is a(q) prime?
True
Let b(s) 