 s = 67 + 143. Let m = -5 + s. Is m a composite number?
True
Suppose 33 = o + 3*d - 443, o - 3*d = 482. Is o prime?
True
Let o = -5 + 8. Let z(t) = -6*t + 7*t**2 + 2 - 1 - 6 + t**o. Is z(-4) prime?
True
Is (-10)/(-50) - (-1408)/10 composite?
True
Let r be 1 + (2 - 1) + -112. Let p = 259 + r. Is p a composite number?
False
Let n(s) = s + 12. Let a be n(-5). Let v = a - 2. Suppose x = v*x - 52. Is x a prime number?
True
Suppose 5*w + 54 = -11. Let b = -2 - w. Is b a prime number?
True
Let u(x) = x**3 - 4*x**2 + 5*x - 3. Let m be u(3). Is 298/4*(m + -1) prime?
True
Let z = -493 - -335. Is 2/(470/z - -3) composite?
False
Suppose u - 200 + 41 = 0. Is u a composite number?
True
Let r = 189 + -106. Let m = 234 - r. Suppose 15 + m = 2*z. Is z composite?
False
Suppose 5*x + 3*t - t - 2819 = 0, 5*x = -5*t + 2825. Is x prime?
True
Let w = 5 + 2. Let t be w/21 + 46/6. Suppose 0 = 3*d - t*d + 745. Is d a prime number?
True
Let z(q) = -1 + 1 + 32*q - 1. Is z(1) prime?
True
Let o be (-237)/(-21) - 4/14. Suppose 67 - o = -4*s. Let t = -8 - s. Is t a composite number?
True
Suppose 0 = o + 131 - 37. Let y = o + 132. Is -1 + 0 + 0 + y a prime number?
True
Let h(v) be the second derivative of -v**7/840 + v**6/360 + v**4/24 + v**3/3 - 2*v. Let c(u) be the second derivative of h(u). Is c(-3) composite?
False
Let s(x) = 160*x**2 + 3*x - 1. Let r be s(2). Suppose 1970 - r = 5*v. Is v composite?
True
Let g(x) = -x**3 + 6*x**2 + 5. Let m be g(6). Suppose -698 = 2*v - 2*t, -m*t = 4*v - 21 + 1381. Is (v/6*-2)/1 a prime number?
False
Is (-1)/2*(2 - 1920) a composite number?
True
Let z(a) = -2*a**3 + 5*a**2 + 5*a + 3. Is z(-4) prime?
True
Let l(y) be the third derivative of 143*y**6/60 + y**5/60 - y**4/24 + y**3/6 + 5*y**2. Is l(1) prime?
False
Let a be 7/1*(-36)/(-21). Suppose 0 = -i - i + a. Is i a composite number?
True
Suppose -3 = -0*c - 3*c, 4*v - 5*c - 1647 = 0. Is v composite?
True
Let g = -11 - -16. Suppose -2*q = 3*o - 953, 0 = o + g*q - 361 + 52. Is o a composite number?
True
Let l be 56/(-10) - 10/25. Is -2*(0 - (-165)/l) composite?
True
Let t = -19 - -22. Suppose 9 = t*b, -4*b + 138 = 2*l - 136. Is l prime?
True
Let u = 2 - -8. Let b(m) = -6*m**3 - m**2 - m - 1. Let j be b(-1). Suppose -u*c + j*c = -155. Is c prime?
True
Is 529 + 0/(4 + -8) a composite number?
True
Let g(z) = -10*z**2 + 7*z - 3. Let d(l) = 5*l**2 - 4*l + 2. Let t(a) = -5*d(a) - 3*g(a). Is t(-2) a composite number?
True
Let c = 3 + -1. Let r(m) = 6*m**2 - 2*m + 2. Let o(q) = -q**2 + q + 1. Let w(b) = -o(b) + r(b). Is w(c) a prime number?
True
Let k(r) = -3*r. Let a be k(-1). Let y be a/(-12) - (-39)/(-4). Is (-852)/y - 1/5 prime?
False
Let y be 4/(-3)*3/(-2). Suppose -3*x = 3*i - y*x - 73, -3*x = 3*i - 81. Let w = i - -32. Is w a composite number?
True
Is (118/5)/(2/5) a prime number?
True
Suppose -12*d + 855 = -3*d. Is d prime?
False
Let i be 934/(-9) + 4/(-18). Let a = -57 - -39. Is i/a + 8/36 a prime number?
False
Suppose -3*h - h + 788 = 0. Suppose 39 = j + 2*y + 2*y, 3*j - 4*y = h. Is j composite?
False
Let a = 714 - 377. Is a a prime number?
True
Let t(n) = -6*n**2 + n. Let j be t(-1). Let o(a) = -a**2 - 8*a - 3. Let z be o(j). Suppose -69 = -z*f + f. Is f composite?
False
Is (2/(-6))/((-5)/11955) a composite number?
False
Suppose 0 = -a + 6*a - 275. Let d = a - 33. Suppose 0*u - d = -2*u. Is u prime?
True
Suppose -5*t - 5*n = -2*t + 672, n = 0. Let l = t + 322. Suppose -32 = 2*i - l. Is i composite?
True
Let l be 2 - (-2)/(-2)*3. Is l/(-1)*(0 + 89) prime?
True
Let q(y) = y**2 + 10*y + 4. Let g be q(-10). Let u(r) = -r**3 + 7*r**2 - 3*r - 1. Let l be u(g). Suppose -5*i + 60 + l = 0. Is i a composite number?
False
Suppose -z + 10 = -4*g - 6, z - 19 = 5*g. Suppose z*c = 6 + 2. Suppose -c*u = u - 57. Is u prime?
True
Is 2/6*(7119 - -54) prime?
False
Is (14/12 - (-10)/(-15))*314 composite?
False
Let w(u) = u**3 - 9*u**2 + u - 5. Let z be w(9). Suppose -z*x = x - 65. Is x a prime number?
True
Let k = 4 - 4. Suppose 2*r = -4*w + 316, k = 4*w - r - 2*r - 296. Is w composite?
True
Let w(z) = z**3 + 5*z**2 + 4*z + 2. Let x be w(-4). Suppose 4*r - 278 = x*r. Is r prime?
True
Let g = 26 - 7. Is g composite?
False
Let t(x) = -65*x - 15. Is t(-8) prime?
False
Let h = 863 - -698. Is h a prime number?
False
Suppose t + 88 = 5*t. Let v = t - -201. Is v a composite number?
False
Let y = -1 - -7. Is ((-6)/9)/(y/(-387)) a composite number?
False
Let a(j) = -13*j + 3. Let h(t) = -27*t + 7. Let c(s) = -7*a(s) + 4*h(s). Let y be c(-5). Is (y/6)/(2/6) prime?
False
Suppose -3*u = -4*l + 1 + 3, -5*l + 5 = -4*u. Is 3 - (-53 - (-3)/l) composite?
False
Let d be 50/15 - (-4)/6. Let a be 22/5 + d/(-10). Suppose -4*i + 4*v + 292 = 0, -234 = -a*i + 2*v + 66. Is i a composite number?
True
Suppose 0 = k + 10*k - 2101. Is k a composite number?
False
Let u be ((-186)/9)/((-2)/3). Suppose -4*y = -5*q - 37, -3*y + 5*q = -y - u. Suppose -y*z = -4*d - 229, -3*d = -2*z + 3*z - 85. Is z composite?
False
Suppose 0 = -j - 3*z - 1, 4*j = -j - z + 23. Suppose 5*p + 0 = j. Let m = p - -5. Is m composite?
True
Let m(p) = -3*p**2 - 5*p - 3. Let w be m(-3). Let k = 10 - 48. Let v = w - k. Is v composite?
False
Let w = 30 + -25. Suppose 0 = w*a - 506 - 789. Is a a composite number?
True
Let v(g) = g - 5. Let b be v(10). Suppose 3*u - 730 = -b*t, -308 = -t - t + 2*u. Is t a prime number?
True
Let a(l) = -l**2 - 11*l - 7. Let m be (-16)/(-12) + (-57)/9. Is a(m) a composite number?
False
Let g(o) = 126*o - 31. Is g(4) a composite number?
True
Suppose 0*w = -5*w + g + 242, w - 2*g = 43. Suppose -z + 5*d + 57 = 0, -3*d + w = z - 4*d. Is z composite?
False
Let l = -9 - 0. Let t be 24/l*-3*1. Suppose 5*b = -h + 34, -19 = h - 4*b - t. Is h composite?
True
Let o(z) = -z - 9. Let n be o(-9). Suppose 0*l - l = -4*i - 4, n = 3*i. Is l prime?
False
Let q(l) = -l**2 + 13. Let m be q(0). Suppose d - m = -0*d. Is d composite?
False
Let z(t) = -t**3 - 7*t**2 + 6*t + 2. Let m be z(-8). Is 1390/m - (-18)/(-81) a composite number?
True
Let t(x) = 49*x + 7. Let q be t(7). Suppose 0*a = 2*a - q. Is (-1)/(-2)*(3 + a) a prime number?
True
Let l(q) be the first derivative of 2 - 4/3*q**3 - 3/2*q**2 - 1/4*q**4 + 4*q. Is l(-3) prime?
False
Let a be 4/2*10/4. Suppose -2*i - 5*v = -3*i + 197, -i + 177 = a*v. Suppose -2*q + i = -3*l, 3*q = -2*l + 4*l + 273. Is q prime?
True
Let k(p) = p**2 - 7*p - 5. Let u be k(8). Suppose -222 = -3*w - 0*w + 4*v, u*v = 4*w - 289. Suppose 0*x + 2*x = w. Is x a prime number?
False
Let d = 103 + -11. Suppose z = d + 26. Suppose x - z = -x. Is x a composite number?
False
Let j be ((-32)/(-6))/4*-558. Let w be j/15 - 6/15. Let f = -17 - w. Is f composite?
True
Let k(n) = n - 3. Let d be k(3). Suppose 2*o = -d - 4, -5*h = 3*o - 59. Is h prime?
True
Suppose 4*l = -u + 5 + 8, -5*u - 15 = 0. Suppose 6 = -l*z - 2*r, -5*z = -0*z + r + 9. Let x = z - -21. Is x a prime number?
True
Let l = -237 - -474. Let p = l - 148. Is p composite?
False
Let m(j) = -8 + 2 + 0 - 5*j + 2*j**2 + 2. Let u be m(6). Suppose 5*s - u = -3. Is s prime?
True
Suppose 0*i = -3*i - 150. Let z = 22 + i. Is (-2)/8 - 539/z a composite number?
False
Let l = -2 + 2. Suppose -2*z + 3*q = -133, -q - q + 10 = l. Is z a prime number?
False
Let t(q) = 2*q**2 - q - 4. Let g be (-26)/5 - 4/(-20). Is t(g) a composite number?
True
Suppose -2*m - 3*p = -461, m + 5*p = p + 243. Is m a composite number?
False
Suppose -2 = 3*l + 2*i + 2, 0 = 4*l + 3*i + 7. Suppose 3*r - 67 - 60 = -p, -4*p - l*r + 468 = 0. Is p a prime number?
False
Let q(o) = 47*o**3 - o**2 + 1. Let g(k) = k**2 + 8*k + 2. Let i be g(-7). Let c be (1/2)/(i/(-10)). Is q(c) prime?
True
Suppose u = 811 - 94. Is u prime?
False
Let b(x) = 81*x - 1. Let d be b(-5). Let z = -183 - d. Is z composite?
False
Suppose -2*c + 10 = 2*j, -c - 4*j = c - 12. Suppose -n + 3*n - c = 0. Suppose -2*q = -s - 267, n*s + 261 = 2*q + 7*s. Is q a composite number?
True
Suppose 2 = c - 2. Suppose 79 = c*z + 3. Is z composite?
False
Is (-16)/24*(-7446)/4 a composite number?
True
Suppose -55 + 195 = 4*g. Is (-14)/g - 974/(-10) composite?
False
Let h = 0 + 2. Let s be (-3 - -377)/2 + 5 + -5. Suppose 4*b - 4*k - 184 = 0, k = h*b + 2*b - s. Is b prime?
True
Let c(s) = -s**3 + 3*s**2 + 2. Let g be c(3). Suppose 2*r = -u, -3*u + 5*u - 6 = -g*r. Is u com