3 - o**2 - o - 1. Is x(v) a prime number?
True
Suppose 3*k - 2*k + 3 = 0. Suppose 16 = -0*n - 2*n. Is 38/n*(k + -1) a composite number?
False
Let q(m) = m**2. Let n(l) = 6*l**2 + 10*l + 1. Let f(v) = n(v) - 5*q(v). Is f(8) a prime number?
False
Let b(i) = 1274*i - 7. Is b(4) a composite number?
True
Let g = 219 - 5. Is g composite?
True
Let k(z) = z**2 - 2*z. Let o be k(2). Suppose -2*r - r = o. Suppose -v - 5*n = -0*n - 51, r = -5*v + 5*n + 135. Is v a prime number?
True
Let z(h) = h**3 - 6*h**2 - 5*h + 23. Is z(7) a prime number?
True
Let q(d) = 2*d + d**2 + 2*d + 15 + 8 - 5*d - d**3. Is q(0) prime?
True
Let l(a) = -a**2 + 72. Let d be l(0). Suppose -n = -3*q - 5*n + 323, -3*q + 331 = -4*n. Let b = q - d. Is b a prime number?
True
Is (-1)/(((-6)/(-249))/(-2)) a prime number?
True
Suppose 0 = -2*q - 8, w - q - 242 = -4*q. Is w prime?
False
Suppose 0 = -5*w + 2*w + 1068. Suppose p - 5*p = -w. Is p prime?
True
Let u(p) = p + 221. Is u(0) a prime number?
False
Suppose -3*n = -2*n - 2. Let r be 26/10 + n/5. Suppose -m = -r*g - 18, -2 = -3*m - g + 12. Is m a composite number?
True
Suppose 0 = -a - k + 39, -2*k - 23 = -2*a + 39. Is a a composite number?
True
Suppose -3*l = 9, 2*l = -5*q + 7*l. Let z be (-110)/((q*1)/3). Let g = z + -75. Is g composite?
True
Suppose 0 = -2*u - 5*n + 149, 4*n + 323 = 5*u - 0*n. Is u composite?
False
Suppose 2*i - 3*i = -2. Suppose 2*x = -0*x - 4*k + 236, 2*x = 4*k + 260. Suppose i*a - x = 310. Is a a prime number?
False
Let l = 402 - 271. Is l prime?
True
Suppose 0 = 4*d - 3*d. Let a be ((-1)/3)/((-3)/9). Is 31 + (d/a - 0) a prime number?
True
Let i(h) = -h**3 + 9*h**2 + 7*h - 2. Is i(5) composite?
True
Suppose 0 = -2*x - x + 12. Suppose 340 = x*q - 4*v, 3*v = 5 + 7. Is q a prime number?
True
Suppose 4*g = -5*u + 29, 0 = -0*g + g + 5*u - 26. Let o be (1 - 0/3) + g. Is 2*10 - (o + -3) a prime number?
False
Let y(g) = -2 + 2 - 2 + 13*g. Suppose -5*v = -5*u - 30, 0 = 4*v + 2*u + u - 3. Is y(v) composite?
False
Let t = 10 + -7. Suppose 6*a = t*a + 555. Is a a prime number?
False
Suppose -d - 37 = -2*d. Let h = 70 - d. Is h composite?
True
Suppose 0 = -c + 80 - 276. Let b = c + 341. Is b composite?
True
Suppose -5*h + 45 = -4*q, 2*h + q = -q. Suppose -2*d - 165 = -h*d. Is d prime?
False
Let y(a) = 2*a - 24. Let c(x) = x - 8. Let f(p) = 17*c(p) - 6*y(p). Is f(9) a composite number?
False
Let k = -16 + 18. Suppose 2*d + d - 330 = -p, -k*d = -p - 215. Is d composite?
False
Suppose -k + 3*a + 506 = 0, 5*a - 2610 = -5*k - 0*a. Suppose -5*i - t + 640 = 0, -k = -6*i + 2*i - 2*t. Is i a composite number?
False
Suppose 2*w + 6*j = 2*j + 518, j - 263 = -w. Is w a prime number?
False
Let v(r) = 3*r + 1. Let p be v(3). Let l be (-246)/15 + 4/p. Let g = 39 + l. Is g composite?
False
Let w(z) be the second derivative of z**4/6 + z**3/6 + z**2/2 + 6*z. Is w(10) prime?
True
Let g = 5 + -3. Suppose -g*l + 260 = -v, -4*l = -3*v - 457 - 61. Suppose -3*z + 10 = -l. Is z prime?
True
Suppose 0 = 7*k + 107 + 40. Is (-1224)/k - 6/21 prime?
False
Let n = 732 - -137. Is n a prime number?
False
Suppose 6*h - h = 0. Suppose h = 3*y - 71 - 562. Is y a prime number?
True
Let p(t) be the third derivative of t**9/60480 - t**8/6720 + t**7/2520 - t**6/240 + t**5/30 - t**2. Let h(l) be the third derivative of p(l). Is h(3) prime?
True
Suppose -5*k - 21 = 64. Let d(x) = x**3 - 2*x**2 - 2*x. Let t be d(-3). Let c = k - t. Is c composite?
True
Let y(u) = u + 85. Suppose 0 = -b - 0*b. Is y(b) composite?
True
Let w be (-1)/3 - 26/3. Is 6/w*489/(-2) prime?
True
Is (-2 - (-1 - (-3 + 2))) + 145 prime?
False
Suppose -26 = -4*g - 2*u, -g + 2 = 2*g + 5*u. Suppose 5*j + g = 34. Let o(r) = 6*r + 3. Is o(j) a composite number?
True
Suppose 1 = 3*w - 3326. Is w a prime number?
True
Suppose -5*a - 2*r = -6*r - 298, 0 = -r - 2. Is a composite?
True
Let u(o) = o**2 + 6*o + 5. Let k be u(-6). Suppose -3*p - k = -2*p - 2*m, -3*p - 4*m = -25. Is 19 + 1*(p - 3) a composite number?
False
Let c(p) = p**3 + 13*p**2 + 13*p - 15. Is c(-10) a composite number?
True
Let s(o) = 4*o**3 - 4*o**2 - 3*o + 3. Is s(4) prime?
False
Let m be -37 - -2*(-3 - (-36)/8). Suppose 97 = 5*r - 183. Let t = r + m. Is t a composite number?
True
Let t be -2 - (4 - (1 + 2)). Let k be (2 - -4)/(t/(-2)). Suppose k*g = 79 + 25. Is g a prime number?
False
Let k = -5 - -5. Suppose 0 = 3*g - d - 237, k*g = g + 2*d - 79. Is g composite?
False
Let x = -23 + -90. Let l = -207 - x. Is l*2/4*-3 prime?
False
Suppose -2*c + 8471 = 3*p + 2*p, 2*c = p - 1687. Is p prime?
True
Let n(r) = 2*r**2 + 10*r + 7. Is n(-14) prime?
False
Let f(t) = -t**2 - 5*t - 5. Let r be f(-5). Let k = r - -6. Suppose s = -4*w - 2*s + 69, w - k = -4*s. Is w composite?
True
Suppose -4*o = -t + 2901, 0*t + 4*o + 8695 = 3*t. Is t a composite number?
False
Let p be 7/((-28)/(-16)) + 135. Let f = p + 139. Is f composite?
True
Suppose 0 = 3*s - 881 - 2326. Is s a composite number?
False
Let y be (-4)/(-16) + (-55)/(-4). Let o = y - -32. Is o a composite number?
True
Suppose 2*x + 3*k = -212, -2*k + 344 = -3*x - 0*x. Is ((-46)/8)/(4/x) prime?
False
Suppose -3*y + 4*y + 5*f = 948, 2*y - 5*f = 1911. Is y a prime number?
True
Let q(s) = s + 7. Let b be q(-5). Suppose 326 - 96 = b*w. Is w a composite number?
True
Suppose -2*x - 3*p + 331 = 0, 6*x = x + 2*p + 780. Suppose -2*y = 3*s + x, y + 0*y - 2*s + 79 = 0. Let n = -54 - y. Is n prime?
False
Let a be (-4 + 108)/((-1)/(-4)). Let q = a - 193. Suppose -q = -3*k + 68. Is k prime?
True
Let w = 1 - 1. Suppose w = -4*y - 8 + 24. Suppose 4*s - 96 = -y*p, 0 = 3*p + s - 89 + 27. Is p composite?
False
Let f(i) be the second derivative of 2*i**3/3 + 5*i**2/2 - i. Let v = -9 + 13. Is f(v) composite?
True
Let m(k) = 2*k**3 + 9*k**2 + 3*k - 1. Is m(7) composite?
True
Let x = 226 - 392. Let a = 240 + x. Is a a prime number?
False
Let h(i) = 20*i + 5. Let p(f) = 60*f + 14. Let o(j) = 17*h(j) - 6*p(j). Is o(-1) prime?
False
Let m(u) = -u. Let j be m(-4). Suppose 0 = j*g - 78 - 26. Is g prime?
False
Let n(v) = v**2 + 6*v. Let y be n(-6). Let g = 2 - y. Suppose -2*w + 96 + 32 = g*i, 2*i = -5*w + 119. Is i composite?
False
Suppose -147 = -2*q - 55. Is q a composite number?
True
Is (-10)/5*(-2607)/6 a prime number?
False
Let t = 3 - -1. Let d = t - -30. Suppose -4*w + 4*y = -2*w - d, -3*w - y = -16. Is w a prime number?
True
Let i be 4*(-3 + (-57)/(-12)). Let c(g) = 62*g - 3. Let u(w) = 125*w - 5. Let m(p) = i*c(p) - 4*u(p). Is m(-2) prime?
True
Suppose 0 = 4*r - 2*u - 190, -2*u = 3*r + 3*u - 136. Is r composite?
False
Suppose -2*f = 4*f - 10398. Is f composite?
False
Let z(f) = -f - 2. Let v be z(-5). Let t be (130 - -2)/v - -1. Suppose 2*m - t = 25. Is m composite?
True
Let x = 1133 + -598. Is x a composite number?
True
Is (789/5)/((-1)/(-5)) prime?
False
Let o(k) = -5*k**3 + k**2 + 3*k + 2. Let c(y) = 6*y**3 - y**2 - 3*y - 3. Let h(t) = 3*c(t) + 4*o(t). Is h(-3) prime?
True
Suppose 1172 = -6*o + 10*o. Suppose 0 = -4*d + 351 + o. Is d a composite number?
True
Suppose -12*j = -3*j - 12033. Is j composite?
True
Suppose 2*h + 4*l + 1616 = 278, -3*h = -2*l + 2047. Let o = -470 - h. Is o composite?
True
Suppose -5*z = -5*o - 1619 + 4109, -z - 1500 = -3*o. Is o a composite number?
True
Let g = -760 - -1179. Is g prime?
True
Let y(v) = 4*v - 5*v - v - 13*v. Let l be y(1). Let j = l - -22. Is j a prime number?
True
Let v(s) = 70*s + 3. Is v(13) composite?
True
Suppose -5*i = -i - 16. Suppose -52 = o - i. Let u = 9 - o. Is u composite?
True
Let c(p) = -28*p + 3. Suppose -5*h + 3*g = -g + 15, -h - 3 = g. Let o(u) = -u**2 - 3*u - 4. Let a be o(h). Is c(a) a composite number?
True
Suppose 25 = 3*k - 5*l, -5*k - 25 = 2*l + 3*l. Suppose -2*u + 110 - 36 = k. Is u composite?
False
Let v = 18 + -22. Is -3 - -124 - v/(-2) composite?
True
Let z(x) = 7*x**2 + 5*x - 23. Is z(-11) prime?
True
Suppose b + 2*s = -2*s + 391, 0 = 4*b - 3*s - 1564. Is b prime?
False
Let q(r) = 12*r**2 - r + 4*r + 2 + 0*r**2 + 6*r**2. Is q(-3) a composite number?
True
Let l be ((-10)/(-8))/((-3)/(-216)). Suppose -2*o - 3*o = -l. Is 1 + o - 0/3 prime?
True
Let r be (-6)/(-9) + (-22)/(-3). Let x = r - 13. Let a(i) = -18*i - 5. Is a(x) a prime number?
False
Suppose 0 = 5*n + 55 - 155. Suppose 0*l + n = l. Let u = -9 + l. Is u composite?
False
Suppose 0 = 4*j - 7 -