Let p(s) = 3*i(s) - 5*m(s). Is p(0) composite?
False
Let o = -9 + 11. Suppose -5*f = -5*h + 5, f - 17 = -o*h - 3. Is f/(-8) + (-1006)/(-4) a composite number?
False
Let n(j) be the first derivative of 736*j**3/3 + 11*j**2/2 - 17*j + 8. Is n(2) a composite number?
True
Let y be 131*(-3)/6*-1*98. Suppose 17803 = 8*t + y. Is t a prime number?
True
Suppose -2*s + 4*s = 3*v + 25, 4*s - 47 = 5*v. Suppose -s*g = -5*g + 255. Let x = 24 - g. Is x composite?
False
Let m(y) = 2*y**3 + 3*y**2 - 2. Let f = 13 - 9. Let l be m(f). Suppose -63 = k - l. Is k a composite number?
True
Suppose 6*z = 10658 + 14944. Is z a prime number?
False
Suppose 0 = 3*y - 8*y + 5*d + 2075, -y + 399 = -5*d. Is y a prime number?
True
Let v = -14 + 29. Let h be 1*-4*1/2. Is 6230/v + h/6 a prime number?
False
Let p(z) = 455*z. Let t be p(1). Let g = t - 162. Is g a prime number?
True
Suppose 0 = -5*x - 4*f + 31, 0*x - x - 9 = -3*f. Suppose 4*b + 16 = -4*a, -x*a + 2*a = 2*b + 12. Is b/36 - 836/(-36) prime?
True
Let v = -259 + 259. Let i be (1 - 4)/((-6)/4). Suppose v*z - i*z = -518. Is z a prime number?
False
Let q(v) = 4*v**3 + 11*v**2 + 23*v - 16. Let l(g) = -7*g**3 - 23*g**2 - 45*g + 31. Let k(c) = 3*l(c) + 5*q(c). Is k(-14) a prime number?
True
Suppose -94*j + 83*j = -45573. Is j composite?
True
Suppose -4*n + g - 658 = 0, -n - 4*n = g + 827. Let h = n - -310. Is h prime?
False
Let a(f) be the first derivative of 5*f**3/3 - 7*f**2/2 - 5*f - 11. Is a(-17) a prime number?
True
Let w(r) = -1317*r - 565. Is w(-16) a prime number?
True
Let p be -3*(-2)/6*4/1. Suppose p*r - 3*k - 10615 = 0, k + 0*k = -5*r + 13264. Is r a composite number?
True
Is 15209*(-16)/(-24)*(-6)/(-4) composite?
True
Let d = -6495 + 13888. Is d a composite number?
False
Suppose -7*c - 15 + 1 = 0. Let r be ((-14)/(-28))/(c/(-508)). Let g = r + 135. Is g prime?
False
Let m(j) = -2*j**2 + 7*j - 1. Let b be m(3). Suppose -7*s - b = -8*s. Suppose -2*a + 10 = 0, 0 = -2*w + a - s*a + 1915. Is w composite?
True
Let a = 44 - 41. Let p be (1*4)/(4/2). Suppose p*s + a*s = 95. Is s a prime number?
True
Let d be (2/(-3))/(2/(-12)). Suppose -d*z = -5*g - 814 + 3945, 0 = g + 5*z - 603. Is g a composite number?
True
Let k = 8 - 0. Let b = -8 + k. Is 0 + b + 0 - -317 prime?
True
Suppose 31*g - 12575 = 6*g. Is g prime?
True
Is (37096/16 - 8)/(2/4) prime?
True
Suppose 0*z - 105 = -3*z. Let i be 2/(-5) + 4249/z. Suppose 3*r = i + 38. Is r a composite number?
False
Suppose 2*u - 3*b - 3248 = 0, -4*u + 3*b = 2*b - 6486. Is u a prime number?
True
Let s(a) = -a**3 - 2*a**2 + 3*a - 4. Let k be s(-3). Suppose 2*u = -2*u - 3280. Is k/(-18) + u/(-36) a prime number?
True
Suppose 14572 = 4*y + 2*s, 0 = -4*y - 0*s + 3*s + 14552. Is y prime?
False
Let m(h) = -h**3 - 6*h**2 - h - 1. Let l be m(-6). Suppose 105 = -l*x - 5*w, -2*x = x + w + 57. Is (-1614)/x + 4/(-6) a composite number?
False
Let r be (-7 + 7/1)*2/4. Suppose -4*h + 0*h - 2*y + 128 = r, 4*h + 3*y = 126. Is h prime?
False
Let h = -1180 + 1853. Suppose 4*x = -z - x + h, x = -3*z + 2019. Is z composite?
False
Is -1 + 143048/(4 + 0) prime?
False
Let i be -7*5/(-140) + 102/8. Let o = i - -24. Is o a composite number?
False
Let s = -313 + 1428. Suppose 0 = -x + 3*p + 2*p + 26, x + 10 = -4*p. Suppose -11*i + s = -x*i. Is i a prime number?
True
Let u be (35/4)/1 + 1/4. Suppose -u*a + 764 = -5*a - 3*m, -4*m = 0. Is a prime?
True
Let i be (-6)/(-15) + 32/20. Suppose -87 - 33 = i*n. Let j = n + 98. Is j a prime number?
False
Suppose 41*j - 15060 = 36*j. Let u = 9 - -4. Suppose 0 = 17*r - u*r - j. Is r a prime number?
False
Let c(y) be the second derivative of -y**2 - 487/6*y**3 + 0 + 9*y. Is c(-1) prime?
False
Let y be 15*((-1)/3)/((-2)/(-6)). Is (-4)/5 + (-54567)/y a prime number?
True
Let p be (1 + -1482)/(-1 - -3)*-48. Suppose -3*c - 5*c = -p. Is c a composite number?
True
Is (428216/12)/((-56)/(-420)) composite?
True
Let j(f) = 13*f**2 + 3*f + 14251. Is j(0) a composite number?
False
Let y be (2 + 2 - -3) + -3. Let b be y/2 - 1 - -526. Let o = b + -222. Is o composite?
True
Let z(j) be the first derivative of 4*j**3/3 + 29*j**2/2 - 19*j + 27. Is z(-16) a composite number?
False
Let m = 3 + -1. Let d(a) = a**3 - 9*a**2 - 9*a - 6. Let u be d(10). Is (-908)/(-8) - m/u a composite number?
False
Let f(t) = t**3 - 6*t**2 + 5*t + 2. Let s(q) = -2*q**3 + 12*q**2 - 12*q - 3. Let o(j) = -13*f(j) - 6*s(j). Is o(-6) composite?
True
Suppose 3*u - 12049 + 1420 = 0. Is u a composite number?
True
Is (0 - (1 - -1243))*(-77)/44 a prime number?
False
Suppose -i - 2*o = -6*o - 603, -3*o - 1773 = -3*i. Is i prime?
True
Let j = -14 - -32. Let u be (-3866)/(-8) - j/72. Suppose -6*r + 831 = -u. Is r prime?
False
Suppose -a + 0*a + 8 = 0. Let w(k) = 4*k**3 - 12*k**2 + k - 5. Is w(a) composite?
False
Let y = -2464 + 9347. Is y a prime number?
True
Let w(c) = 2*c**3 - 54*c**2 + 27*c - 53. Is w(28) a prime number?
False
Let g(v) = 5*v**2 - 2*v - 2. Let d be g(-1). Suppose 4*s - 1 = -2*r + 9, -4*s - r = -d. Suppose s = c - 10 - 111. Is c a prime number?
False
Let f = -6 - -15. Suppose 3*o - f = 6. Suppose 5*j = -o*s + 305, -s + 2*j - 293 = -6*s. Is s prime?
False
Let u(f) = -527*f - 260. Is u(-23) composite?
True
Suppose 0*n = n - 4. Let k = 20 - 18. Suppose 5*a = 2*l - 94, -a + k*a = n*l - 152. Is l prime?
True
Suppose -3*o = 53*w - 52*w - 13405, -53564 = -4*w + 2*o. Is w a prime number?
False
Suppose -18850 = -g + f, -5*g + 2*f + 94248 = -2*f. Let u = 33 + 15. Is g/u - 2/(-6) prime?
False
Let t = 523 + -5. Suppose -5*n = 2*n - t. Is (n + 2)*3/12 prime?
True
Suppose o - 2 = 6. Suppose 0*d - 608 = -j + d, 0 = 4*j + 4*d - 2432. Suppose -2*a - 3*t = -o*t - 313, 4*a - 4*t - j = 0. Is a a prime number?
True
Let d(k) = 49*k - 33. Let c(x) = x - 1. Let r(o) = -2*c(o) - d(o). Is r(-8) composite?
False
Let u be (2/(-4))/((-1)/118). Suppose 5*p + v = -2*v + u, 5*p = 4*v + 38. Suppose 11*n - p*n = 26. Is n prime?
False
Let w(q) = -278*q**3 - 2*q**2 - 2*q + 15. Is w(-4) composite?
False
Let j be 396/30 + 1/(-5). Suppose j*c - 1884 = 9*c. Is c composite?
True
Let f(s) = 2*s**2 + 5*s + 7. Let g be f(-2). Suppose x = 2*t - 3*t + 166, 4*x + g*t - 661 = 0. Is x a composite number?
True
Let g be (-39)/(-15) - 2/(-5). Let b be (-1)/g + 1983/9. Suppose -5*u + b = l, -2*l - 4*u + 434 = -0*l. Is l prime?
False
Let y(m) = 109*m**2. Suppose -o - 4 = -5. Suppose h = o - 0. Is y(h) a composite number?
False
Let a be (2 - -2) + (-1 - -2). Suppose z - 2 + 0 = 0. Let p = z + a. Is p a prime number?
True
Suppose 216332 = 94*c - 90*c. Is c a prime number?
True
Suppose 0 = 11*f - 12*f + 238. Let w = f - -93. Is w composite?
False
Let o(m) = -m**2 + 5036. Let v be o(0). Suppose 4*b = 4*p - v, -3*p + 0*b = 3*b - 3777. Is p a prime number?
True
Let j be (6/(-4))/(8/(-16)). Suppose 0 = x - 0*x - j. Suppose -x*n = n - 524. Is n composite?
False
Suppose x - 25 = -4*i, -5*i + 5*x + 8 = -17. Suppose 4 = -3*v - 209. Let o = i - v. Is o a prime number?
False
Suppose -3*j + 326 + 471 = -g, -5*g = -j + 275. Is j a composite number?
True
Let g(k) = k**2 + 6*k. Let t be g(-6). Suppose -3*s - s + 1180 = t. Is s a composite number?
True
Let j(q) = 24*q**3 - 4*q**2 - 4*q + 15. Is j(4) a prime number?
True
Suppose 2*n - 4*n + 78 = 0. Let k = n - -47. Is k a composite number?
True
Let m(a) = -a**3 + 7*a**2 + 21*a - 3. Let v be m(9). Let j = v - -133. Is j a composite number?
False
Let l = 5059 - -6588. Is l composite?
True
Suppose 3*k + 46*m = 45*m + 8799, 5*m = 3*k - 8799. Is k composite?
True
Let p = 144 + -45. Suppose 4*b + p + 633 = 0. Let l = 112 - b. Is l a prime number?
False
Suppose 2*h - 125 - 85 = 0. Let s be (h/(-4))/(6/(-24)). Suppose -5*t - 5*l + s = 0, -4*l - l = 5. Is t prime?
False
Suppose -430*h = -425*h - 205645. Is h a prime number?
False
Let m(z) = z**3 - 4*z**2 + 3*z + 5. Let s be m(3). Suppose n + 1 = 0, -w - 1993 = -s*w - 3*n. Is w a prime number?
True
Let p(u) = -130*u - 3. Let t = 8 + -7. Suppose 9 = -4*f + t. Is p(f) prime?
True
Is (-86)/(-32)*1270 - 2/16 composite?
False
Let h(m) = -32*m**3 - 2*m**2 - 5*m - 5. Let t(k) = -k + 1. Let o be t(3). Is h(o) prime?
False
Suppose 2*o + 6 = o + 3*x, 88 = -4*o - 4*x. Let q = 312 - o. Suppose -q = -6*z - 0*z. Is z a composite number?
True
Let y(k) be the second derivative of 289*k**3/6 + 3*k**