be (1 + -113)*2/(-4). Is l/p*9/2 prime?
False
Let z(i) be the third derivative of 8*i**5/5 - i**4/12 - i**3/6 + 2*i**2. Is z(-1) a prime number?
True
Let c be ((-2)/(-4))/((-6)/552). Let u = 45 - c. Let k = u - 54. Is k composite?
False
Let t(m) = 30*m + 11. Let j be t(8). Let l = -166 + j. Is l a composite number?
True
Let n(c) = -14*c**3 + c**2 + 3*c - 2. Let t be n(2). Let a = t + 237. Is a composite?
True
Let h be (-2)/(-5) - 36/(-10). Let p be 2/(3*h/(-318)). Let j = 14 - p. Is j a prime number?
True
Let p(h) = -h**3 + 2*h**2 + h + 1. Let x be p(2). Suppose 0 = x*l - 11 - 22. Is l a prime number?
True
Let w = 4 - -13. Suppose -3*h + w = -4. Is h composite?
False
Let m(p) = 8*p**2 + 3*p + 11. Is m(-4) composite?
False
Suppose -3*r + r = -8. Suppose r*f = 2*f + 62. Is f prime?
True
Suppose -3*u + 8 = -1. Suppose -u*m + 73 = 5*l, -4*m + 50 = -2*m + 3*l. Is m composite?
False
Suppose 0*n = -2*n - 3*o + 41, 2*o - 46 = -2*n. Let p = -3 + 4. Is n/((-1)/p + 3) composite?
True
Suppose 3*c + 1 = 2*i, -4*i + 3 + 0 = -5*c. Suppose -4*z + 493 = 5*y, i*y = 7*y + 15. Is z composite?
False
Suppose 2*q = 3*c - 22, 2*q - 3 + 17 = 2*c. Suppose 5*w + c = w. Is w + 1 - (-2 - 144) a composite number?
True
Let p(z) = -3*z**2 + 11*z - 7. Let t be p(8). Let h = t - -164. Is h a composite number?
False
Let n(o) = -2*o - 2. Let f be n(-2). Let g be (-62)/(-2) - f/(-1). Is (-4)/22 + 468/g a composite number?
True
Let z = -35 + 65. Suppose -5*l + 0*l - z = 0. Let a = l + 12. Is a a prime number?
False
Let t(r) = 4*r**2 - 2*r - 1. Let a(s) = -s**2 + 5*s - 6. Let u be a(4). Is t(u) composite?
False
Let c(q) = -3*q**3 - 9 + 5*q**2 - 9*q + 4*q**3 + q**2. Let v be c(-7). Suppose -2*d - v = -s - 4*s, 5*s + 15 = 4*d. Is d a composite number?
True
Let t = -35 + 53. Let x = t - 10. Is x/28 - (-4929)/21 a prime number?
False
Suppose 0*i = 4*i. Suppose -84 = -t - n, 3*n = 2*t - i*n - 153. Is 0 + 0 + 4 + t a composite number?
True
Suppose -4*i - 4*o + 3510 = -2*o, 3*i = -3*o + 2634. Is i a composite number?
False
Let j = 3 - 5. Let y = 0 + -3. Is (-33)/(((-6)/j)/y) a composite number?
True
Let y(u) = -u**2 + 4*u + 1. Suppose -p + 2*p + h - 9 = 0, 5*p - 4*h = 0. Let r be y(p). Is -1 - ((-66 - r) + 1) a composite number?
True
Let p(q) = -503*q - 2. Let m be p(-2). Suppose 0 = -3*g - 2*x + 755, 0 = g + 3*g + 2*x - m. Is (g/6)/(1/2) composite?
False
Suppose o + 4*n + 1 = 0, 3*n + 0*n + 9 = 2*o. Suppose 0*d + o*d + 12 = 0. Let f(g) = 5*g**2 - 2*g - 5. Is f(d) composite?
False
Let k be (-3)/(-1) - 9/1. Is (-146)/(-6) + k/(-9) a prime number?
False
Suppose 3*o - 5*r - 171 = 4*o, 3*r - 9 = 0. Let z be ((-2)/(-3))/((-4)/o). Suppose 0 = c - z - 78. Is c a prime number?
True
Suppose 4*f = 10*f - 8622. Is f composite?
True
Let h = 164 + -370. Let j = -43 - h. Is j a prime number?
True
Let g = 158 + -31. Is g a prime number?
True
Let j(y) = 24*y**3 + y**2 - y. Let m be 0 + 3 + 0 + -2. Let f be j(m). Suppose 5*t - f = -3*a, 5*a + 9 = -2*t + 30. Is a prime?
True
Let o be 3/9*3 - -2. Let h be (41/o)/((-2)/6). Let s = h - -60. Is s prime?
True
Is (-1048)/(-24) + 2/(-3) prime?
True
Let w(z) = -179*z**2 + 178*z**2 + 2 - 92*z**3 - 1 + z. Suppose -6 = -r - r, 0 = -f - r + 2. Is w(f) prime?
False
Let k(u) = 3*u + 2287. Is k(0) a composite number?
False
Let k be 5 - -1 - (-2 - -5). Is -3 - (-3 + (-31 - k)) composite?
True
Suppose 2*i + 2*i = -24. Let u = -8 - i. Is u - 0/1 - -55 a composite number?
False
Let i(m) = -m - 2. Let s be i(3). Let q(j) = -j + 1. Let w(k) = k - 4. Let c(r) = s*q(r) - w(r). Is c(8) composite?
False
Suppose -83 = 4*h - 931. Is (h/16)/(2/40) composite?
True
Suppose -2*y + 4*y = 2*z + 2580, -15 = -5*z. Is y prime?
False
Let h(r) = 2*r**3 - 1. Suppose 2*m = 3*j - 3 - 3, 0 = 4*j - 2*m - 10. Is h(j) a composite number?
False
Suppose -5*u + 1681 = 386. Is u a prime number?
False
Let q(k) = -k**3 + 9*k**2 - 11*k + 16. Is q(7) composite?
False
Suppose 0 = -2*d + 5*m + 12, -48 = -4*d + 2*m - 4*m. Let z(i) = i**3 - 10*i**2 - 9*i - 1. Is z(d) composite?
True
Let b = 2499 - 1522. Is b a composite number?
False
Let i = 75 + -28. Suppose 0 = -5*r + 63 + i. Suppose u + q + r = 3*u, 2*u = -2*q + 16. Is u prime?
False
Suppose 0 = 3*c - 5*o - 598, -197 = -3*c + 4*o + 396. Is c a composite number?
False
Let r = 6 - 3. Suppose -r*w + 4 + 8 = -4*f, 5*w = -4*f + 20. Suppose 3*n - 16 - 11 = f. Is n a prime number?
False
Let x = 2127 - 1222. Is x prime?
False
Suppose -6*t = -10*t + 796. Is t a prime number?
True
Suppose -b + 4 = -2. Suppose -136 = -2*s - b. Is s a prime number?
False
Let h(k) = k - 4. Let l be h(7). Suppose -4*y + 0*y = 4*u - 24, -l*u - 12 = -2*y. Is y a composite number?
True
Is (5/(-4))/(-3 - 10185/(-3396)) a composite number?
True
Let q = -272 + 630. Suppose c + q = j, 0 = -3*j - 5*c + 557 + 477. Is j composite?
False
Let w(j) = 125*j + 9. Is w(14) a prime number?
True
Let v(l) = -l**3 - 7*l**2 + 7*l - 7. Let f(g) = -3*g**2 + 2. Suppose 0*j = 4*j + d - 5, 4*j - 5*d = 23. Let u be f(j). Is v(u) composite?
False
Suppose 23*r = 25*r - 6718. Is r composite?
False
Let p(w) = -w - 2. Let i be p(-4). Suppose -i*z - 5*t = -615, -26 = 5*z - 4*t - 1481. Suppose z = u - 0*u - 2*d, 4*u - 5*d = 1180. Is u composite?
True
Is (6/24)/(2/4696) composite?
False
Let k(g) = 2*g + 1. Suppose -3*y - 13 = -v, y + 1 = -4*v - 12. Let t be (-4)/6*9/v. Is k(t) a prime number?
True
Let f be (-2 + (-2 - -4))/(-2). Suppose -o + 0*o = f. Suppose o = -5*g - 15, -2*p + 0*p + 4*g = -114. Is p a prime number?
False
Suppose 20*z + 4068 = 18*z. Is (4/(-6))/(12/z) prime?
True
Let c(x) = 174*x**2 - 4*x + 7. Is c(3) a prime number?
False
Let w(n) = -n**3 - 5*n**2 + 8*n + 1. Is w(-9) prime?
False
Let j(u) = -u**3 + 4*u**2. Let f be j(4). Suppose -3 = -l, -5*o - 2*l = -f*l - 731. Let n = o - 90. Is n a composite number?
True
Let i = -151 + 297. Let r = i - 52. Suppose 0 = 2*b - 4*b + r. Is b a composite number?
False
Suppose x + 64 = -3*z, 0 = 4*z - 2*x + 91 + 11. Is (z/(-2))/(13/78) a prime number?
False
Suppose 3*u = -4*r + 3183, 3*r - 5305 = -0*u - 5*u. Is u prime?
True
Let q(u) = -531*u - 1. Is q(-2) prime?
True
Let z(d) = -23*d**2 - 2*d + 3. Let o be z(2). Let u = 4 + -44. Let r = u - o. Is r a prime number?
True
Let i = -1158 + 2807. Is i a composite number?
True
Suppose 5*l - 1210 = -x - 4*x, 3*l = 2*x - 469. Is x composite?
False
Let t(r) = 16*r**2 - 7*r - 6. Let m be t(-4). Let b = 46 - -97. Suppose 0 = 3*p + 5*i - 1262, p - m = -2*i + b. Is p a prime number?
True
Let r(t) = 5*t**2 - 2 - t - 4*t + t**3 + 10. Let u be r(-6). Is -1*(u - 1) + 128 composite?
False
Suppose l + 6*h - h = -24, 2*h = -8. Let s = l + 4. Suppose 0 = -0*u - 5*u + 4*q + 43, s = -4*u + 5*q + 38. Is u composite?
False
Let s = 109 - 72. Is s prime?
True
Let a be (-33)/(-12) + (-3)/(-12). Let i(c) = 2*c**3 - 7*c - 18*c**3 - c**2 + 5*c - 22*c**a - 1. Is i(-1) prime?
False
Let s(n) = 2*n - 4. Let q be s(4). Suppose -3*c = -q - 5. Suppose 0 = -3*f - 4*d + 54, -6*f + 37 = -4*f + c*d. Is f a composite number?
True
Let y(f) = 193*f**2 + 5*f + 5. Is y(-2) prime?
False
Let n(m) = 3*m + 215. Is n(0) prime?
False
Let b be (2 - 4)/(1/(-22)). Suppose -2*y - b = -146. Is y prime?
False
Let r(u) = u**2 + 5*u + 3. Let n be r(-4). Is n/(3/498*-2) prime?
True
Let b be -2 + (0 - -3) + 3. Suppose 136 = -3*h + 7*h - b*t, -4*t = -2*h + 70. Is h composite?
True
Let g(y) = -y**2 + y + 35. Let b be g(0). Suppose -3*i + b + 70 = 0. Is i a prime number?
False
Is 120294/90 - (-2)/5 a composite number?
True
Suppose 3 = a - 4*u, -3*u + u + 21 = -3*a. Let l = a - -3. Is l/15 + 534/10 composite?
False
Let u(w) = -2*w**2 - 4*w - 2. Let n be u(-2). Let o be (-8)/10*(-60)/8. Is ((-98)/6)/(n/o) a composite number?
True
Let d(n) = n**3 - 9*n**2 - 10*n + 13. Let o(a) = -a**3 + 8*a**2 + 10. Let l be o(8). Is d(l) composite?
False
Suppose 0 = 3*z - 8*z. Let c be (0 + (z - 2))/1. Is (-3)/c + 222/4 a prime number?
False
Suppose -2*b + 30 = 4. Is b a prime number?
True
Let g = -80 - -314. Let y be 426/4 - 2/(-4). Let o = g - y. Is o prime?
True
Is (1828/(-5 + 1))/((-1)/7) composite?
True
Let n(i) = -i**3 - 9*i**2 - 8*i + 11. Is n(-9) composite?
False
Suppose -3*q - q = 5*t - 283, -3*t + 62 = q. Is q a prime number?
False
Suppose 24 = 5*c - 1. Suppose c*g = -2*k + k + 23, -2*g = 4*k