02)/u + (-15 - -15) prime?
True
Let z(p) = 6*p + 7. Suppose -w + 4*v + 11 = -0*w, 2*w - 5*v = 19. Let q be z(w). Let n = -18 + q. Is n a composite number?
False
Let c be ((-5592)/(-9) + 0)*6/2. Let b = c + -1067. Is b a prime number?
True
Let g(n) = -3*n**3 - 13*n**2 + 10*n + 29. Is g(-6) a composite number?
False
Let m = 3914 + -2047. Is m prime?
True
Let p(l) = 6*l**2 + 5*l - 2. Let w be (-7 + 4)/((-1)/3). Suppose -2*f + 2*o + 0*o = 0, -2*f - w = -5*o. Is p(f) a prime number?
True
Suppose 0 = 5*j - 4*t - 100643, t = j + 9818 - 29946. Is j a prime number?
False
Suppose w - 34 = 2*w. Let i = w - -59. Is i composite?
True
Suppose 18*u - 1068438 = -24*u. Is u composite?
False
Let f = -250 - -591. Is f a composite number?
True
Let k be ((-4)/(-6))/((-18)/(-81)). Suppose -k*f + 1 = -2*f. Let r(b) = 30*b**3 + 2*b**2 - b. Is r(f) composite?
False
Suppose -85*i - 133062 = -91*i. Is i prime?
False
Is (1/2)/(7 - 1959225/279890) prime?
False
Let v be 3/(9/12) + 3. Suppose -4*s = -v*s + 531. Is s composite?
True
Let o(i) = 46*i**2 - i - 11. Is o(6) prime?
False
Let u(o) = -32*o**3 + 3*o**2 - o + 2. Let h be u(1). Let r(z) = 4*z**3 - 4*z**2 + 2*z + 1. Let c be r(2). Is c/h + 1519/4 composite?
False
Let d(o) = -908*o - 57. Is d(-7) a composite number?
False
Let x(b) = b**3 - 14*b**2 - 17*b - 1. Is x(21) composite?
False
Suppose -3*u + 5*r = 3*r - 43, -2*u + 25 = -5*r. Is 3 - 0 - (-391 + u) prime?
True
Let b(k) = 3*k**2 + 3*k + 5. Let v(f) = -7*f**2 - 7*f - 11. Let y(z) = 9*b(z) + 4*v(z). Let h(a) = 10*a**2 + 7*a. Let p(q) = h(q) + 4*y(q). Is p(3) composite?
False
Let o = 2 - -6. Suppose -4*p = -3*x + 5*x - 8, 3*x = -p - o. Is (4/(-6))/(x/2022) composite?
False
Let n(c) = 2*c**2 + 5*c + 4. Let y = 35 + -38. Let p be n(y). Suppose -p*f = -2*f - 815. Is f a prime number?
True
Let i(r) = 3*r - 1. Let g be i(2). Suppose -g*l = -4*j - 8297, -5*l - 2*j + 8276 = j. Is l a composite number?
False
Is ((-112278)/9)/(22/(-99)) a composite number?
True
Suppose 2*l - 4585 = -5*b, -3*b + 386 = 5*l - 2346. Is b composite?
False
Let u(r) = 142*r - 1. Let h(v) = v. Let q(z) = 2*h(z) + u(z). Is q(2) a composite number?
True
Let m = 23 - 13. Let c(b) = -b**3 + 11*b**2 - 11*b + 14. Let i be c(m). Is (-2)/4*(-366 - i) a composite number?
True
Let w(g) = g**2 + 11*g - 25. Let x be w(-13). Is x/5 - ((-242592)/(-40))/(-6) a prime number?
False
Suppose -306 + 93 = -3*b. Let z(x) = -x**3 - 4*x**2 + 5*x. Let l be z(-5). Suppose b = -l*s + s. Is s composite?
False
Let f(t) = -t + 30. Let z be f(30). Suppose 2*i - 2594 = -4*j, 4*j - 2*i + 1317 - 3915 = z. Is j a prime number?
False
Is 148 - -47 - 2*2 a prime number?
True
Let t(o) be the third derivative of 2*o**5/15 - 17*o**4/24 + 7*o**3/6 - 5*o**2. Is t(-8) composite?
True
Suppose -5*n + i = 5*i + 22, 0 = -4*n + 5*i + 7. Let h be (1 - n)/((-2)/(-4)). Suppose 0*t + h = t. Is t prime?
False
Let s(i) = 14*i**3 + 27*i**2 + 26*i - 13. Let f(h) = 5*h**3 + 9*h**2 + 9*h - 4. Let m(v) = -17*f(v) + 6*s(v). Is m(7) a composite number?
False
Let n = 26069 + -14968. Is n prime?
False
Let t(d) be the first derivative of 42*d**2 - 11*d - 1. Suppose 4*c = -6*n + 4*n + 16, -21 = -3*c + 3*n. Is t(c) prime?
True
Suppose 8*r = -3*r + 33. Suppose -2*o = -s - 5929, 6*s - 2954 = -o + r*s. Is o a composite number?
False
Let o = -125 - -1264. Suppose 5*t - o = 1826. Suppose -63 + t = 5*n. Is n a composite number?
True
Is ((-4)/18)/1 - 28073/(-9) a composite number?
False
Let p(n) = 13*n - 5. Let w(s) = -20*s + 7. Let d(t) = 8*p(t) + 5*w(t). Let h(y) = 2*y**2 + 2*y - 14. Let r be h(-4). Is d(r) a composite number?
True
Let f be (5912/24)/(1/3). Suppose 4*q + 2508 = 5*y, -2*y - 3*q = -5*y + 1503. Let h = f - y. Is h a composite number?
True
Let z = 8 + -4. Suppose -z*q = -1663 + 443. Suppose -5*s = 3*x - 1456, -2*s = -3*s + 4*x + q. Is s a prime number?
True
Suppose -15765 = -9*x + 3234. Is x a prime number?
True
Is -3 + -2 + 6 + 796 prime?
True
Let q(l) = -4*l + l + 57*l**2 - 12*l**2 + 16*l**2. Let k be q(2). Let i = k + 13. Is i a prime number?
True
Is (1 + 52/6)*147822/142 prime?
False
Suppose 0*a - 3*a = -12. Suppose -a*d - 4*x - 20 = 0, -x - 3*x + 4 = -4*d. Let f = 0 - d. Is f a composite number?
False
Let s(f) = 2*f**2 - 17*f + 2. Let o be s(8). Is 2/o - (-12520)/12 a composite number?
True
Suppose 0 = 11*l - 15*l - 808. Let k = l - -381. Is k prime?
True
Let s(z) = 2*z**2 + 8*z. Let q be s(-4). Suppose -5*m = -3*c - q*m + 7992, -3*c = 2*m - 8013. Is c a prime number?
False
Let o = -20 - -23. Suppose -4*i - 4 = -2*i, 0 = 5*z - o*i - 56. Is (-30)/50 + 1276/z composite?
False
Let j = 36 + -30. Is (j/(-18))/((-5)/7065) a composite number?
True
Let r(s) = 2*s**2 - 28*s - 4. Let d be r(14). Is 0 + (-2 - d) + 9531 prime?
True
Suppose 0*z + z - 11 = 0. Let t(n) = z*n**2 + 1 - 2*n**2 + 8*n - 6*n**2 - 3. Is t(-7) a composite number?
False
Let c = 1255 + 898. Is c composite?
False
Let m be (0 - -1)*(-4)/(-2). Suppose 238 = -0*b + m*b + 3*i, 5*b - 595 = -5*i. Is b a prime number?
False
Suppose -4*v + 2*v + 598 = 0. Let j be (12 - 2)*44/(-5). Let m = v + j. Is m prime?
True
Suppose 6*l + 5*t + 9342 = 9*l, -t = 3. Is l composite?
False
Suppose 26*j - 11*j = 106005. Is j a composite number?
True
Let f = -3713 + 10959. Is f a composite number?
True
Let g(r) = -2*r**2 + 11*r. Let w be g(5). Suppose -4*m + 22 = -98. Suppose 97 = w*u + p, u = -3*p - 5 + m. Is u composite?
False
Let x(q) = 706*q**2 - 13*q - 17. Is x(-2) prime?
True
Suppose 117 = 4*y + 85. Let l(r) = 20*r**3 + 38*r**2 + 24*r + 21. Let a(b) = 7*b**3 + 13*b**2 + 8*b + 7. Let i(m) = -17*a(m) + 6*l(m). Is i(y) prime?
True
Let w = -4055 + 11472. Is w a composite number?
False
Let f(y) = 111*y**2. Let g be f(-1). Let u = 163 - g. Let r = 73 - u. Is r a composite number?
True
Let o be 544 - (-4 - -5 - 0). Let w = o + 20. Is w composite?
False
Let b be (-222)/(-27) - 6/27. Let x(o) = -o**3 + 5*o**2 - 9*o - 8. Let t be x(b). Let c = -71 - t. Is c a prime number?
False
Let g(b) = -b**3 + 3*b**2 - 4*b + 3. Let t be g(2). Let f be 1*(-54 + t + 2). Let a = f - -136. Is a a composite number?
False
Let x(y) be the third derivative of 0 + 0*y - 7*y**2 - 1/12*y**4 + 1/6*y**3 + 13/20*y**5. Is x(-4) a prime number?
False
Let v(o) = 8*o**2 + o + 1. Let t be v(-1). Let u(g) be the third derivative of -g**6/120 + 7*g**5/60 + 5*g**4/12 - g**3 + g**2. Is u(t) a composite number?
True
Suppose -2*f = -f - 16. Let r = -10 + f. Suppose -2*k + 4*k - r = 0, 313 = 2*s + 5*k. Is s a composite number?
False
Suppose -84*a + 380813 = 23*a. Is a a prime number?
True
Let z be ((-9)/(-6))/((-5)/1490). Let t be 4/(12/z)*3. Let n = 701 + t. Is n composite?
True
Let a be 8/12*36/2. Let i(j) = j**3 - 13*j**2 + 12*j + 4. Let v be i(a). Let g(u) = 3*u**2 - 4*u + 1. Is g(v) composite?
True
Let j(n) = -n**3 + 37*n**2 + 40*n + 13. Is j(-20) a composite number?
False
Is 1 + 26630/40 - 2/(-8) prime?
False
Let l(k) = 9*k**2 - 7*k - 139. Is l(15) a prime number?
False
Is (-7)/21 + 8332/3 a composite number?
False
Let v = 12 - 5. Let n = 11 - v. Suppose -3*q = n*j - 712, -4*j + 3*q + 393 = -319. Is j a prime number?
False
Let b = 414 + 446. Suppose l = -3*l - y - 2105, 2102 = -4*l + 2*y. Let m = l + b. Is m a prime number?
False
Let j(y) = -y**2 + 2*y + 159. Let u be (-8)/(-2 - 20/(-8)). Let p = 16 + u. Is j(p) a prime number?
False
Let a be (-512)/6*(-27)/6. Suppose 5*x - a - 643 = s, 0 = -x - 2*s + 201. Is x a composite number?
True
Suppose -3*o = -3*u - 36, 2*u - 5*u + 34 = 4*o. Suppose -o*z = -6*z - 1804. Is z composite?
True
Let h(p) = -6*p + 265. Is h(-19) a prime number?
True
Let b(t) = 260*t**2 + 14*t + 133. Is b(-6) a prime number?
False
Let n(d) = -d**3 + 16*d**2 - 36*d - 80. Is n(-21) prime?
True
Let z be ((0 + 1)*-1)/(2/44). Let r(v) = -17*v + 15. Is r(z) composite?
False
Let l(a) = 8*a - 7. Let v be l(-7). Let w be (-3)/6*0 - v. Is 9302/18 + 14/w a composite number?
True
Let s be 24/36*54/(-4). Let g = 22 + s. Let v(c) = c**3 - 10*c**2 - c - 21. Is v(g) prime?
False
Suppose -150*w + 152*w = 38414. Is w composite?
False
Let l = -28 + 497. Is l composite?
True
Suppose d - 3025 = -4*l, 15221 = 13*d - 8*d - 4*l. Is d a prime number?
True
Let x(o) = 4*o**3 + 8 + 2*o**2 - o - 3 + 19*o**3. Let y be x(3). Suppose 2*r = s - y, r = s + 3*r - 625. Is s