7*w + j = -2861. Let x be ((-72)/(-10))/((-6)/500). Let u = x - w. Is u composite?
True
Suppose -66*f - 5 = -61*f. Is f/((-471861)/(-58983) + -8) composite?
False
Suppose -5*l = 5*t + 67790, 7*l - 2*l + 27107 = -2*t. Let j = 490 - t. Is j a prime number?
True
Let n be 1/10 - 93/30. Is ((-1346)/n - -5)*3 a composite number?
False
Let g(a) = 1673*a**3 - a**2 + 3*a - 2. Let u be g(2). Suppose 0 = -25*w + 17*w + u. Is w prime?
False
Let d = 46 - 18. Suppose -5*s + 6*u - u + 95 = 0, -2*u = s - d. Is (-89 - 5)*(s/(-4) + -3) prime?
False
Let r(h) = -36*h**3 + h**2 - 5*h + 11. Suppose -2*i + 5*w = 5, 5*i - 15*w + 17*w = -27. Is r(i) a prime number?
True
Let y be (10/(-15))/(2/(-6)). Let s(f) = 7*f - 6. Let z be s(y). Suppose 3*i = z*i - 2395. Is i prime?
True
Let m be (-28494)/(-14) + (-16)/56. Suppose 0 = 5*l - 4*c - 11851, 2*l - 2712 = -5*c + m. Is l a prime number?
True
Let k = -95 + 95. Suppose -374 + 26 = -2*r. Suppose k = 4*b - r - 110. Is b prime?
True
Let z = -239784 + 507125. Is z composite?
False
Let p = 174135 - 23848. Is p a composite number?
False
Let t(s) = 1917*s + 721. Is t(56) a prime number?
False
Let a = -136537 + 370776. Is a a prime number?
True
Let d(f) = 1002*f**2 + 23*f + 15. Let n(g) = -334*g**2 - 8*g - 5. Let y(k) = 6*d(k) + 17*n(k). Let a = -123 + 121. Is y(a) a prime number?
False
Let h(j) = -2*j**2 + 7*j - 2. Suppose 5*k = 2 + 18. Let m be h(k). Is -159*(-3 + (-8)/m) a composite number?
True
Let x(i) = 0 + 0 - 4 - 3*i - 2. Let o be x(-3). Is 3382*2/12*9/o composite?
True
Suppose -h + i + 2 = 0, 5*i + 4 = 2*h + h. Suppose -3*z + 5*x - 8*x = -4959, 6640 = 4*z - h*x. Is z composite?
False
Is ((-2)/(-3) - 68/48) + (-1587134)/(-8) a prime number?
True
Suppose -2*o - 3*j + 374689 = 0, -749323 = 849*o - 853*o + 5*j. Is o prime?
True
Is (-7 - 0)*(16139450/(-175) + (-6)/2) a composite number?
False
Suppose 0 = -28*u + 13*u + 30. Suppose -u*y = 9*y - 52261. Is y a composite number?
False
Let h = 8925 - -50408. Is h prime?
True
Suppose 2*r + 2*w + 86 = 0, -3*r - 47 = -2*r - 3*w. Let k = -38 - r. Suppose -400 = -k*u + u + 3*h, 4*h = -5*u + 365. Is u a composite number?
True
Let u(h) = -4*h**2 - 29*h - 26. Let o be u(-6). Suppose o*x = -16, 2*t - 7768 = -2*t + 5*x. Is t prime?
False
Let a be (-4 - -5)/(6/12). Suppose 3*s = 6823 + 455. Suppose l + 969 = a*n, 0*n - l + s = 5*n. Is n composite?
True
Let n(k) be the second derivative of k**3/6 + k**2/2 + 21*k. Let c be n(-6). Let m(t) = -t**3 + 7*t + 7. Is m(c) prime?
True
Let d(b) = -48*b**2 + 34*b + 136. Let o(u) = -u**2 - u + 1. Let j(m) = -d(m) - 5*o(m). Is j(-13) a composite number?
True
Let u(t) = 195*t**3 - 5*t**2 + 3*t - 3. Let z = -3 + -1. Let x(o) = 194*o**3 - 6*o**2 + 4*o - 3. Let d(v) = z*x(v) + 5*u(v). Is d(2) composite?
False
Let c = -27 + 26. Let y be c/(-3) - 57/9. Let l(h) = -2*h**3 - 6*h**2 - 2*h - 5. Is l(y) composite?
False
Let a(o) = -5664*o - 1351. Is a(-17) a prime number?
False
Let q(c) = -c**2 - 12*c - 33. Let b be q(-7). Let k be 1/(41000/(-82020) - (-1)/b). Suppose 43*d = 49*d - k. Is d prime?
True
Suppose 980 = -s + 983. Suppose -131 = -x - 2*t, 0*x = -3*x + s*t + 429. Is x composite?
False
Is 4/(-5 + 539457/107889) a prime number?
True
Suppose 4*w + 16 = 0, -4*v - w + 75 - 31 = 0. Is (-6 + 0)/v*-16982 a prime number?
False
Let n be (-77 - 7)*(-18)/4. Suppose 0 = -2*x + 6, -3*u + u - 5*x + 1061 = 0. Let b = n + u. Is b a composite number?
True
Suppose -2*l + 2*c + 56812 = -c, -5*l + 141996 = c. Suppose l = 37*j - 128517. Is j prime?
True
Let q(k) = -7*k + 6965*k**2 + 12 + 17 - 6917*k**2. Let p be q(-11). Suppose 4923 = 3*t - 3*x - 981, -3*t + x + p = 0. Is t a composite number?
False
Suppose o - 813866 = -3*k + 339662, -4*k + 1538027 = -9*o. Is k prime?
True
Let o(m) = -13*m + 23. Let p be o(-5). Suppose 5*v - p = 8522. Suppose -v + 137 = -g. Is g a composite number?
True
Let v(x) = -x**3 + 6*x**2 - 6*x. Let a be (0 - 1)/(2/(-6)). Let o be v(a). Is (1 + o*-3)/(6/(-9)) composite?
True
Let s = -26 + 29. Is (-2)/8*(-2436)/s a composite number?
True
Suppose -21*j = -24*j - 18. Let b be 468/(-30)*20/j. Suppose 0 = -i + b - 1. Is i prime?
False
Let l = -6 - -13. Suppose -2*f - 25 = -l*f, -b + 5*f + 3090 = 0. Suppose 4*n + b + 1314 = 5*x, 0 = -4*x + 5*n + 3536. Is x a composite number?
True
Let o = 44 - 41. Suppose -2*v = 3*n + 3, -3*n - o*v + 1 = -4*n. Is -1*-1*(388 - n) composite?
False
Suppose 0*j + 243 = 3*j. Suppose 0 = -j*a + 80*a - 87. Let m = 466 + a. Is m a prime number?
True
Suppose 3*h - 20051 + 1525 = -t, -5*t = -3*h + 18520. Suppose -6*f + h = -f. Let j = f - 858. Is j a composite number?
True
Let l(i) = -70*i - 8 - 250*i - 367*i. Is l(-1) composite?
True
Let a(x) = 140*x**2 - 17*x + 399. Is a(26) a composite number?
False
Let r be (1/(-18))/((-52)/287352). Let a = -343 - -957. Let j = a + r. Is j composite?
True
Let x(m) = -m**3 + 2*m**2 + 3*m - 1418. Let a be x(0). Let l = a + 6039. Is l a prime number?
True
Suppose 0 = 107*s + 10318555 - 14500468 - 27380840. Is s composite?
False
Let i(c) = -40*c**3 - 9*c - 1. Let p be i(-3). Suppose o = 3999 - p. Is o prime?
False
Let b(c) = -29*c - 54*c + 91 + 176 - 197*c. Is b(-32) composite?
False
Let t = 460966 + -940431. Is t/(-75) + -4 + 6/45 a composite number?
False
Let v(u) = -u**3 - 5*u**2 - 7*u - 15. Let a be v(-5). Let t be 0 - -530*((-96)/a + -4). Let x = -279 - t. Is x composite?
True
Let k(f) = 51*f**3 - f**2 - 25*f + 214. Is k(7) a prime number?
True
Let a = 658 + -643. Is -1*(-58385)/a*3 composite?
False
Let x(n) = n**3 + 3*n**2 - n. Let a be x(-3). Let i(v) be the third derivative of 53*v**5/60 - 5*v**3/3 - 2*v**2. Is i(a) a prime number?
True
Let k(w) = -1563*w - 10808. Is k(-59) composite?
False
Suppose -4*z + 18809 = -27*y + 12*y, -4*z = -5*y - 18859. Is z prime?
True
Let p(y) = -y**2 + 23*y - 43. Let l be p(21). Let v be (l + 8 + -4 - 8)/(-1). Suppose -2*j - f + 73 = 0, v*j - 3*f = 3 + 207. Is j a prime number?
False
Let a be (-26054)/(-5 - 2) + 1 + 2. Let f(h) = -h**2 + 5*h - 3. Let q be f(3). Suppose q*i - 8*i + a = 0. Is i a composite number?
True
Suppose -3*n - 5*m = 0, 7*n = 5*n - 3*m. Suppose u + 1 = -2*z + 4*u, n = -2*u - 10. Is (z/(-6))/(6*(-1)/(-279)) a prime number?
False
Let v(o) = 35096*o - 1017. Is v(11) composite?
False
Is 2122*(0 + (-8)/(-16)) + 0 composite?
False
Is 20/210 + (-842705963)/(-357) a prime number?
True
Let c be 5*10/(-275) - 35/(-11). Suppose 8551 = 2*d + c*h, 5*h - 4912 = -4*d + 12195. Is d prime?
True
Suppose -7*x + 4*x + 78014 = 5*g, 0 = 3*g - 3*x - 46818. Let k = g + -5223. Is k composite?
True
Suppose 3*d = -5*h + 2, 1 + 6 = -2*d - 5*h. Is (5517 - 63/d) + 3 a prime number?
False
Let z = -2243 + 304. Let o = -273 - z. Let h = -909 + o. Is h a composite number?
False
Is 3853136/64 - 14 - (21/(-12) - -2) a prime number?
False
Let c = 12914 - -23379. Is c a composite number?
False
Let j = 637385 - 453034. Is j a composite number?
False
Let g(b) = -3*b**3 - 6*b**2 + 8*b + 5. Let u be g(2). Is (-1)/(9/u - (-11032)/33114) a composite number?
False
Suppose -15 + 21 = w. Suppose 2*a - 4*t = w*a - 1392, 5*a + 3*t - 1736 = 0. Is a a prime number?
False
Suppose 0 = -5*r + 3*y + 395104, -191996 = -3*r + 4*y + 45073. Is r composite?
True
Let f(k) = k**3 + 5*k**2 - 5*k - 1. Let j be f(-4). Let u = j + -13. Suppose u*a - 14301 = 13*a. Is a composite?
True
Let i(x) = -x - 13. Let d be i(-5). Let n be (-13722)/4 + 4/d. Let l = n + 5484. Is l a composite number?
False
Let g(r) = 7*r**3 - 12*r**2 + 11*r + 1. Let i(m) = -6*m - 17. Let n be i(-4). Is g(n) prime?
False
Let f = -4721 + 12109. Suppose -f = -l + 5777. Is l composite?
True
Suppose 1640 = 2*v + 336. Suppose -5*n = -5, 3*n = -6*j + 11*j - 102. Suppose -v = -r - j. Is r a prime number?
True
Suppose -12*t = 255 - 1455. Let q = -96 + t. Suppose -16 = -q*w, -2*v + w - 4*w = -1618. Is v a composite number?
True
Suppose -14*b + 11*b - 15 = 0, -3*b = y + 12. Is y - (2 + 2 + -1 - 581) prime?
False
Let q(m) = 2619*m**3 + 8*m**2 - 20*m + 4. Is q(3) composite?
False
Suppose 0 = 91*l + 239*l - 429765930. Is l a prime number?
False
Suppose -35 = -i + 8*i. Let u(f) = 2*f**2 + 6*f + 12. Let v be u(i). Suppose -p = -294 + v. Is p a prime number?
False
Suppose -29*k + 433 = -1365. Suppose -5276 = k*o - 64*o. Is o a composite number?
True