= -t**3 - 3*t**2 + 3*t - 1. Let z be p(-4). Suppose -z*i = -i + 8. Is (-2)/((-3)/((-126)/i)) a prime number?
False
Let j(z) = 2*z - 12 + 3 - 3*z. Let r be j(-7). Is (1 - (-98)/(-4))*r prime?
True
Let m(a) be the second derivative of a**4/4 + a**3/2 - a**2/2 + 2*a. Is m(3) a prime number?
False
Suppose -u + 4 + 3 = 0. Suppose -3*o + 54 = 2*a - u*o, -5*a + 3*o + 149 = 0. Is a a composite number?
False
Let a(k) = 5 - 5 - 10*k - 7. Let v be ((-2)/(-1) + 4)*-1. Is a(v) composite?
False
Let p be (-2 - 2)*31 + -2. Let a = p + 383. Is a a composite number?
False
Suppose 0 = j + 2*b - 301, 0*j - 3*j + 3*b = -867. Is j composite?
False
Let a = -532 - 65. Let c = -386 - a. Is c a composite number?
False
Let z = 27 + -69. Is 2/12 - 3731/z a composite number?
False
Let q(v) = v + 45. Suppose 12 = 5*u - 4*t, -3*u + 4*t - 9*t - 15 = 0. Let m be q(u). Is 137/9 + (-10)/m a prime number?
False
Suppose -2*f + 63 = f. Let g be (f/6 - 2)*72. Suppose m + 0*v = 5*v + g, -5*m - 2*v + 567 = 0. Is m a composite number?
False
Let x be 6/27 + 6/(-27). Suppose x = 3*l + 2 + 4. Is l*(-3)/(-6) - -68 composite?
False
Let r = -58 + 162. Suppose 0 = 5*t - r - 641. Is t a composite number?
False
Suppose 27*x = 22*x + 31765. Is x a prime number?
True
Let a = 2023 + -1286. Is a a composite number?
True
Let o(s) = -s**3 - 4*s**2 - 5*s - 7. Suppose -4*t = -l + 7, -3*l + 3*t + 19 = -5*l. Is o(l) prime?
True
Let d = -87 - -300. Is d a prime number?
False
Let v(a) be the third derivative of a**7/2520 - a**6/240 - a**5/120 - a**4/24 - 2*a**2. Let g(o) be the second derivative of v(o). Is g(4) a composite number?
False
Let o(s) = -5*s**3 - 3*s**2 + 4*s - 4. Let n be o(3). Let m = -89 - n. Is m a composite number?
True
Suppose -m + 68 = 1. Is m composite?
False
Let j = -182 - -259. Let b = j - -18. Is b - (0 - -2) - 2 a prime number?
False
Let d = -614 + 921. Is d a composite number?
False
Suppose -5*p = -2*p - 4*r - 12, -r - 20 = -5*p. Suppose -27 = z - p*z. Suppose 0 = 2*o - 3*v - 17, -3*v = -o + z + 1. Is o composite?
False
Let c be ((-21)/(-14))/((-3)/(-4)). Suppose -c = m - 7, -169 = -2*t - m. Is t a prime number?
False
Let c = -763 + 529. Let k = 491 + c. Is k a prime number?
True
Suppose 4*n = q - 5*q + 24, -5*q - 30 = -5*n. Let h(g) = -n*g + 21*g + 5 + 8*g. Is h(10) a prime number?
False
Let a = 38 - -59. Is a prime?
True
Let c(j) = 3*j**3 - 47*j**2 - 4*j - 27. Let o(t) = t**3 - 16*t**2 - t - 9. Let b(y) = 6*c(y) - 17*o(y). Is b(11) a prime number?
False
Suppose 0 = -2*q + 3*z + 1 - 10, 3*z - 24 = -3*q. Suppose 5*p + q = -2. Let k = 16 + p. Is k a composite number?
True
Is (24 - 22) + 2/(-2) + 372 a prime number?
True
Suppose 3*f - 2681 = -m, 2*m + 920 = 4*f + 6272. Let s = -1629 + m. Suppose -5*d + s = 3*r, -4*r - 11 = -3. Is d composite?
False
Let h(i) = 19*i + 12. Suppose -2*t - 18 = t. Let x(q) = 18*q + 11. Let c(y) = t*h(y) + 7*x(y). Is c(7) composite?
False
Let s = 1169 + -694. Suppose 3*r - s = -2*r. Is r a prime number?
False
Suppose 6 - 22 = 5*r + i, 0 = -4*r - i - 12. Is 1*r/8*-116 composite?
True
Let u be 1/2*(-7 - 3). Let m = u + 7. Suppose -2*s = m*s + p - 31, -4*s - 5*p = -11. Is s a composite number?
True
Let c = 179 - -41. Suppose -5*v + v + c = 0. Is v a composite number?
True
Let h = 26 - -791. Is h a composite number?
True
Let g = -21 - -21. Suppose -5*q + 3*q + 80 = 0. Suppose 4*j = -g*j + q. Is j prime?
False
Let l(f) = 111*f**2 + f + 1. Is l(-2) prime?
True
Let s = -2132 - -3943. Is s a prime number?
True
Let c(t) = -2*t**3 + 3*t**2 + 6*t + 3. Suppose -5*v + 2*j - 14 = 0, 2*j + 18 = -4*v + v. Is c(v) a prime number?
False
Suppose 2*p - 9 = 25. Suppose 3 = 5*c - 4*c. Suppose -c*j + p = -46. Is j a composite number?
True
Let b(l) be the third derivative of 5*l**4/8 - l**3/3 - 3*l**2. Let f be b(-2). Let o = f - -69. Is o prime?
True
Suppose 0 = 2*d - 846 - 462. Let u = -1010 + d. Is ((-2)/(-4))/((-2)/u) composite?
False
Suppose 3*c - 3 = s + s, 5*s = 0. Let q = 2 + c. Is q prime?
True
Suppose r - 3*r + 6 = 0. Suppose -6 = -18*h + 15*h. Suppose -4*n + 87 = 3*m + h*m, 63 = r*m - 3*n. Is m prime?
True
Suppose 3*r - 2750 = -f + 3387, 3*f = -3*r + 6129. Is r a composite number?
True
Let f(v) = 39*v + 12. Is f(19) a composite number?
True
Is (-2)/((-9)/((-320445)/(-10))) composite?
False
Let i(y) = y**3 - 8*y**2 - 8*y - 9. Let l be i(9). Suppose 2*t - 309 - 113 = l. Is t composite?
False
Suppose 2*i - 444 = 5*z + 253, -5*i + z + 1777 = 0. Suppose 2*t - i = -2*t. Is t prime?
True
Let b be 2364/10 - (-3)/5. Suppose -4*v = 5*f - b, -2*v + 5*v = 2*f - 104. Is f prime?
False
Is (-2533)/(-4) - 1/4 a prime number?
False
Let s(l) = -l - 1. Let b be s(-6). Let t(n) = 2*n**3 - 2*n**3 + 1 + 0*n + n**3 - 2*n**2 - b*n. Is t(4) a composite number?
False
Suppose -v = 3*g - 1065, -4*g = -3*v + 4*v - 1420. Is g a composite number?
True
Let f(x) = 16*x - 3. Is f(7) prime?
True
Let a be 4/(-20) + 982/10. Suppose -27 = -x + 3*f, -17 - a = -4*x + 5*f. Suppose -2*h = -4*h + x. Is h composite?
True
Is 123 + 0 + (-16)/8 composite?
True
Let u(v) = -v + 13. Let s be u(11). Suppose 0 = s*f - 7*f + 3*q + 316, -4*f + 4*q + 248 = 0. Is f a prime number?
False
Is (-28)/8*20/(-7) a prime number?
False
Suppose -2*j + a + 5 + 2 = 0, 5*j - 14 = -a. Is (j - (-21)/(-6))*-62 a prime number?
True
Let d be (-33)/12*24/3. Is -2*1*3641/d a prime number?
True
Let b(r) = -r**2 + r + 6. Let i be b(0). Suppose -5*c - 5*f = -105, 2*f + 6 = c + i*f. Is c composite?
True
Is (-9956)/(8/(-2)) - 0 a prime number?
False
Let p(j) = 46*j - 3. Let k be p(2). Suppose 0 = -3*o - 9, 3*o + k = 2*c - 86. Let n = 138 - c. Is n composite?
True
Suppose 2149 = -3*i + 16. Let l = -474 - i. Is l composite?
True
Let l be 4*(-10)/(-4)*-1. Is (1 - 31/2)*l composite?
True
Let q(o) = -2*o - 1. Let w be q(-2). Suppose -5*m + 14 = -1. Suppose -9 = -w*j, -4*p + 5*j = -m*p - 52. Is p composite?
False
Let w(v) = 5*v**3 + v**2 + 2*v - 1. Let u be 4 - 2*3/6. Is w(u) composite?
False
Let s = -49 - -27. Let u = s - -259. Is u a composite number?
True
Is -76*(52/(-16) - 4) composite?
True
Suppose 129 - 761 = -8*r. Is r composite?
False
Suppose 5*o + x = 1588, 123 = -o + 2*x + 434. Is o a prime number?
True
Suppose 5*j - 10*j = 10, -46 = 5*i + 3*j. Is (-8)/32 - 890/i composite?
True
Let k(d) = 6*d**2 + 10*d - 1. Is k(-12) prime?
True
Suppose 0 = -2*k - 4*j, -j + 2*j = -5*k + 36. Let u = -5 + k. Suppose -2*d = v - 19, -5*d + 53 + 4 = u*v. Is v prime?
True
Let t(s) = s**3 - 5*s**2 + 5. Let l be t(5). Suppose 4*v = 0, 3*h - h - 130 = -l*v. Suppose -2*u + h = 3*u. Is u a composite number?
False
Suppose 0 = -3*z + 198 + 393. Suppose 64 = 3*u - z. Is u a composite number?
True
Let y be 2/((-15)/(-9) + -1). Suppose 0 = 2*t + 4*w - 18, -t + y*w = 6*w - 12. Suppose 8*g - 175 = t*g. Is g a prime number?
False
Let l(k) = 2*k - 7. Let c be l(12). Suppose 3*u + d - 2*d = c, -4*u - 5*d + 10 = 0. Suppose -u*g + 2*g = -105. Is g a composite number?
True
Let v = 5 + -36. Let a = v + 61. Let u = 52 - a. Is u composite?
True
Let w = 4 + -4. Suppose w = l - 4*l - 12. Let u(x) = -23*x - 3. Is u(l) a prime number?
True
Suppose 4*c + 5*n = 5*c - 427, -3*c - 4*n = -1186. Let m = -243 + c. Is (3/9)/(1/m) prime?
True
Let j(o) = 98*o - 13. Suppose 5*x - 73 + 23 = 0. Is j(x) a composite number?
False
Let p(y) = y**2 + 5*y - 3. Let w be p(-6). Is (-3 - -2)*w + 74 prime?
True
Let q(y) = 7*y**2 - 10*y - 4. Is q(-11) a composite number?
False
Let l(d) = d**2 - 7*d - 3. Let u be l(8). Suppose 4*c + 107 = u*o, 2*o + 3*c - 4*c - 44 = 0. Is o a composite number?
False
Let l be -3*(30/9 + -2). Let k(u) = 43*u + 7. Let g(v) = -21*v - 3. Let s(y) = l*k(y) - 9*g(y). Is s(4) composite?
False
Let a(t) = -t**2 - 13*t - 5. Suppose z = -2*z. Suppose -2*u - 16 = -z*u. Is a(u) a prime number?
False
Let f(a) = 53*a - 30. Is f(9) a composite number?
True
Let v(l) = -l**2 + 2*l - 1. Let i be v(1). Suppose i = 2*y - 31 - 23. Is (2/(-2))/((-3)/y) composite?
True
Let z(c) = -3*c - 3. Let v be z(-3). Suppose d + n - v*n = -15, -d + 3 = n. Let h = 4 - d. Is h a composite number?
True
Let g = -14 + 1. Let m = g + 174. Is m a prime number?
False
Let z = 1596 - -1111. Is z a composite number?
False
Let w(o) = -o + 12. Let p(b) = 2*b - 1. Let z be p(5). Let g be w(z). Suppose -5*y + 5*j + 295 = -0*j,