z be (0/3)/(-3) + -1. Is c(z) a prime number?
True
Suppose -7*a + 10*a = 447. Is a prime?
True
Let q = -951 + 1580. Is q prime?
False
Suppose 0 = -4*g - 2*d + d + 1, 0 = -5*g - 2*d + 2. Suppose g = 2*z - 5*j - 858 - 239, -4*z - 4*j = -2152. Is z composite?
False
Let i(t) be the third derivative of t**5/20 - t**4/12 + t**3/3 + 3*t**2. Suppose -a - 4 = -3*a. Is i(a) composite?
True
Suppose j + 0 - 2 = 0. Let d(x) = -3*x**2 + 5 - x**3 + x**j + 0*x**2. Is d(-4) composite?
False
Let c = -1 - -9. Suppose -c*w + 385 = -3*w. Is w a composite number?
True
Let o = 191 - 105. Suppose -i = i - o. Is i composite?
False
Let m(p) = 4*p**3 - 6*p**2 + 2*p - 5. Is m(4) a composite number?
False
Let q(w) = 54*w**2 + 3*w + 10. Is q(-3) a composite number?
False
Suppose 5*c - c - z = -4, 5*c + 5*z = 20. Let d = 3 + c. Suppose 2*i + 2*i - 36 = d*x, 5*x + 20 = 0. Is i composite?
True
Let x(i) = -4 + 16 - 10 + 36*i - 9. Is x(10) composite?
False
Let b(q) = 16*q + 5. Let u be b(4). Suppose 5*h = 5*j - 1320, -3*j + 863 = -h + u. Suppose 6*y = y + j. Is y prime?
True
Suppose 5 = -5*d, 0 = 3*o + o - 5*d + 91. Let c = -50 - o. Let p = c + 40. Is p composite?
True
Let y = 106 + -57. Is y a composite number?
True
Let o(h) = -h**2 + 6*h - 3. Let g be o(5). Let j(a) = 7*a. Is j(g) composite?
True
Let y(x) be the third derivative of -3/8*x**4 + 0*x - 2*x**2 + 0 - 1/6*x**3 - 1/60*x**5. Is y(-4) composite?
False
Let p(q) = -q - 11. Let m be p(-10). Let n = m + 6. Suppose 0 = 2*u + 5*j - 274, n*u = -j + 426 + 213. Is u prime?
True
Let j = -51 - -152. Suppose 3*d - j = -23. Let s = d - 1. Is s a composite number?
True
Let m(k) be the second derivative of k**7/840 + k**6/240 - k**4/6 - 2*k. Let w(t) be the third derivative of m(t). Is w(-2) a prime number?
False
Let l = 0 + 0. Suppose j - 481 = -l*j. Is j prime?
False
Suppose 0 = -5*s + 2*s - 9, -4*s - 16 = -2*a. Let u be 4*1/(-1) + a. Is 84 + 3/(-3) - u composite?
True
Let q = 5 + 1. Let x(i) = i**3 - 2*i**2 - 4*i + 7. Is x(q) composite?
False
Let y = -2 + 3. Suppose -2*q - 3 - y = 0. Is (-2 + (-93)/6)*q a prime number?
False
Suppose -n + 4*j + 113 = 6*j, 0 = 2*n - 3*j - 233. Is n composite?
True
Let j(u) = 27*u**2 + 5*u + 7. Is j(6) prime?
True
Let v(z) be the third derivative of 2*z**5 - z**3/6 + 2*z**2. Is v(-1) composite?
True
Let o = 376 + 373. Is o a composite number?
True
Is 1 + 0 + 44*(-22)/(-2) composite?
True
Suppose -g = 1 - 4. Is (3 + 12)/g*29 prime?
False
Let h = 1 - -1. Suppose 4 = h*l - 18. Is l prime?
True
Let v(b) = -4*b**3 - b**2 - 2*b - 1. Is v(-4) a prime number?
False
Suppose 3*l = 5*l - 8. Suppose 2*u - 276 = 5*s, -l*s + 615 = 5*u - 42. Is u a prime number?
False
Suppose 0 = -0*s + 3*s - 75. Suppose 4*u - 67 - s = 0. Is u a prime number?
True
Let o(r) = 3*r - 3. Let j be o(2). Let q be (-6 + 3)/j - -1. Let x(f) = f**2 + 79. Is x(q) prime?
True
Let l(q) = -10*q**3 - q**2 + 6*q + 12. Is l(-5) composite?
True
Suppose m + 4*q - 20 = 0, 3*q + 15 = -5*m + 6*q. Suppose 5*x = -3*j + 2, m*x - 22 = x - 5*j. Is 1486/26 + x/13 a prime number?
False
Let b = 16 - 149. Let j = 36 + b. Let t = j + 186. Is t prime?
True
Is -2 - -46 - (2 - 4) a prime number?
False
Let c(b) = -14*b**3 + b**2 + 12*b - 1. Is c(-4) a composite number?
False
Suppose -h + 4*t - 218 = 0, -4*h - t + 319 - 1259 = 0. Let l = -85 - h. Is l composite?
False
Is (145156/(-22))/(-2*(-1)/(-3)) a composite number?
True
Let b be (-6)/9 - 2/(-3). Suppose 4*j - 5*d - 503 = b, j - 4*d = -d + 124. Is j prime?
True
Suppose f - 153 = 4*t, 0 = -2*f - 0*f + 3*t + 301. Is f prime?
True
Suppose 16*g = 13*g + 1227. Is g prime?
True
Let p(i) = i**2 - 2*i - 4. Let d = 7 - 12. Is p(d) a composite number?
False
Suppose -5*t = -25, x - 3*t - 4 = -5*t. Let c be ((-3)/9)/((-2)/x). Let m(i) = -38*i - 1. Is m(c) composite?
False
Let t be (-13)/(2 + (-15)/9). Let b = -24 - t. Is b prime?
False
Suppose -2*i = 0, 0 = 2*c + i - 0 + 128. Suppose -129 = -0*o - o + 3*w, w - 230 = -2*o. Let q = o + c. Is q a composite number?
False
Suppose -80*m - 769 = -81*m. Is m a prime number?
True
Let o(j) = j**3 - 4*j**2 + j + 8. Let z be o(6). Suppose 1 = -3*p + 10, 4*p + z = -2*w. Let i = w - -82. Is i a prime number?
False
Let h = 4 + -6. Let l be 4/(h/(-1)) - -14. Is 66/(-4)*l/(-12) prime?
False
Suppose -w = 3*w. Suppose w = -5*g - 0*g + 2*x + 285, -2*g + x = -115. Is g a composite number?
True
Suppose 0 = 3*q + 2*q + 3*f - 170, -3*q - 2*f = -101. Is q a composite number?
False
Let f(c) = 344*c**3 - 3*c**2 + 5*c - 7. Is f(2) a composite number?
True
Let b(j) = -j**2 + 1. Let x(k) = -7*k**2 - 4*k + 13. Let h(t) = 6*b(t) - x(t). Is h(6) prime?
True
Suppose 19 = 3*j + y + 3, y + 24 = 5*j. Suppose 4*b - 219 = -g, -b + 0*g + 39 = -j*g. Suppose -3*s + b = 2*d, d + 2*d + 2*s - 71 = 0. Is d composite?
True
Suppose 2*y + 2 = 5*r + 1, 0 = y - 2*r + 1. Let f(t) = t**3 + 3*t**2 - t - 3. Let v be f(y). Suppose -2*p - 2*p = l - 222, 3*p + 2*l - 169 = v. Is p composite?
True
Let r(u) be the third derivative of 19/10*u**5 + 0*u**4 - 2*u**2 + 1/6*u**3 + 0 + 0*u. Is r(-1) a prime number?
False
Let p = -267 - -520. Is p composite?
True
Let t(g) = -g + 5. Let c be t(0). Suppose 4*b + q - 99 = 0, -b + 63 = b + c*q. Suppose -3 + b = w. Is w a prime number?
False
Let c = 177 - 65. Let f = c + -78. Is f prime?
False
Let s(u) = 42*u - 4. Suppose -25 = m + 4*m. Let t be s(m). Is 2/(-4) - t/4 a composite number?
False
Let y be (-6)/(-12) - 3/(-2). Suppose -p - y*w = 3*w, -4*p - 2*w = 0. Suppose -3*m + 3*r = 4*r - 149, -4*m + r + 208 = p. Is m a prime number?
False
Let m = -7 - -218. Is m composite?
False
Let r be (2 - 3)*(3 - -1). Is (14 + -4)*(-26)/r composite?
True
Let y(m) = -34*m + 5. Let q(o) = 101*o - 14. Let r(t) = -4*q(t) - 11*y(t). Is r(-7) composite?
False
Suppose 0 = -3*r + 69 + 741. Suppose -4*k - 2*t = t - 271, 2*t = -4*k + r. Is k a prime number?
True
Let n be (-81)/(-3 + 21/8). Let g = -119 + n. Is g composite?
False
Suppose -5*z + 3956 = -3*p, -2*z - 1601 = -4*z - 5*p. Is z composite?
True
Suppose -138 = -5*r + 2*r. Suppose 0 = 2*u - r. Is u a prime number?
True
Let r(u) be the second derivative of -u**5/20 + 7*u**4/12 + u**3/3 + 5*u**2/2 - u. Is r(6) prime?
True
Let i = 11 - 7. Let t(o) = 5 + 5*o - i*o**2 - o**2 + 3*o**2 - o**3. Is t(-5) a composite number?
True
Let a(x) = -x**3 - x**2 - 1. Let t(w) = -6*w**3 - 7*w**2 - 8*w - 9. Let f(g) = -5*a(g) + t(g). Is f(-5) prime?
False
Suppose 0 = -13*n + 9*n + 1892. Is n a composite number?
True
Let b be 3 - 3/6*8. Let m = b - -3. Is m a prime number?
True
Suppose -2*m + 2*k + 2 = 3*k, -2*k = -3*m - 11. Let b(s) = -4 - 49*s + 4 + 12*s. Is b(m) composite?
False
Suppose -4*o + 12281 = 2*s + o, -3*s + 5*o + 18434 = 0. Is s composite?
False
Let z(k) = 37*k**3 + 2*k - 1. Let f be z(2). Suppose -d - 4*l = -f, l - 9 = -2*l. Suppose -5*v + 3*p + 728 = 0, 2*v + 0*p = -3*p + d. Is v prime?
False
Suppose 20*j = 18*j + 5948. Is j a prime number?
False
Suppose -5*o + 142 = -j, 4*j - 38 = -o + 9*j. Is 209/(-4)*o/(-7) composite?
True
Let i(j) = -10*j**3 - 2*j**2 + 3*j + 2. Let u be i(-2). Suppose l - 5*s - u = 0, 2*s - 7*s = -5*l + 280. Is l a prime number?
True
Suppose -5*c + 8615 = -2*b, 0*c - 5*c + 8620 = -3*b. Is c composite?
False
Suppose -14*d + 8*d + 20454 = 0. Is d a prime number?
False
Let g(l) = 10*l**2 - l. Suppose 0 = -t + 2*q + 6, -2*q - 2*q - 12 = 0. Let x be (t + -2)/(1 + 1). Is g(x) a prime number?
True
Suppose 25 = f + 5*h, -f = -6*f + 3*h + 13. Suppose -1172 = y - f*y. Is y a prime number?
True
Let c be (234/4)/(-6 + (-66)/(-12)). Let n = 361 - 129. Let p = c + n. Is p a composite number?
True
Let l = 29 + -67. Let i = -28 - l. Is i a prime number?
False
Let q be 1/3 - (-104)/39. Suppose -5*r - 4*l = -179, l = -q*r - 2*l + 105. Is r a prime number?
False
Suppose 3*b - 88 = -2*j, -53 = -3*b + 2*j + 3*j. Is b composite?
True
Suppose -y = 4*m - 1, 4*m = -m - 5*y + 20. Is 53 - ((7 - 4) + m) a prime number?
False
Let h be (-249)/(-27) + 4/(-18). Let o = -3 + h. Is o a composite number?
True
Let d(w) be the first derivative of -w**3/3 + 5*w**2/2 + 7*w + 6. Is d(5) composite?
False
Suppose t - 4*f = 18, -3 = -3*t + 3*f + 15. Let y be -4 + 2 + 57 - t. Is y/4*(1 + 3) composite?
False
Suppose -567 = 3*g - 1698. Is g a prime number?
False
Let n(w) = 4 - 9*w + 2 - 7 