 o prime?
False
Let i(p) = p**3 + p - 2. Let h be i(2). Let y(z) be the third derivative of 9*z**4/8 - 5*z**3/6 + 2*z**2. Is y(h) a prime number?
True
Suppose 2 = -2*x - 4, 5*x + 40 = 5*d. Suppose 2*v - 5 = -k, 0 = 5*k + 2*v - 7 - 2. Let p = d - k. Is p a prime number?
False
Suppose -4*r = r - 330. Suppose -2*o - r = -244. Is o prime?
True
Let v = 274 - -247. Is v composite?
False
Let v(s) = -s + 10. Let a be v(12). Is (-132 - 2)*5/a a prime number?
False
Let z(x) be the second derivative of -7*x**6/720 + x**5/60 - x**4/12 - 2*x. Let f(j) be the third derivative of z(j). Is f(-5) prime?
True
Suppose 0 = -5*v - 9*b + 7*b + 12545, 0 = 3*v + 5*b - 7546. Is v composite?
True
Is (26/(-4))/(12/(-2568)) a prime number?
False
Let j be -1 + -1 - 15/(-3). Let b = 7 - j. Suppose -252 = -b*q - 2*f + 56, 4*q - 2*f = 324. Is q a prime number?
True
Suppose -49 = -u + 45. Is (u/6)/(5/15) a composite number?
False
Is -2 - -5 - (-82 + 2) a composite number?
False
Suppose -3*s + 5*c - 12 = 4*c, 2*s + 4*c = -22. Let p(l) = -l**3 - 6*l**2 - 5*l + 5. Let f be p(s). Let z(n) = 15*n + 7. Is z(f) a prime number?
False
Let q = -336 + 1179. Let i = q + -448. Is i a prime number?
False
Let q(c) = c**3 + 12*c**2 + 6*c - 24. Is q(-11) composite?
False
Suppose 2*w + l = 2*l + 1782, 5*w + l = 4441. Is w prime?
False
Let p(h) = h**3 + 9*h**2 + 8*h. Let l be p(-8). Suppose 0 = 3*u - l*u - 429. Is u composite?
True
Suppose -2*l - 1 + 5 = 0. Suppose 5*v = l*v. Suppose -2*j + 129 = -5*c, v = -2*j - 0*c + c + 133. Is j a prime number?
True
Let i(b) = -b**3 - b + 758. Is i(0) a composite number?
True
Is (-8576)/(-40) + 12/(-5) + 2 a prime number?
False
Let r(g) = 6*g**2 + 8*g - 7. Suppose 5 + 5 = 2*z. Let i = 10 - z. Is r(i) a prime number?
False
Suppose 4*h = 2*q + 96, 5*q = 4*h - 54 - 36. Is h a composite number?
True
Let r = -22 + 16. Is (2/(-3))/(r/171) composite?
False
Suppose 3 = -0*f + f. Suppose 0 = h - 2*o - 33, -5*o + 110 = f*h - 0*h. Is h a composite number?
True
Is (-3)/2 + 1 - (-8386)/28 a prime number?
False
Suppose -3*c + 17 = -4*c - 5*q, -q + 11 = 5*c. Suppose 719 = -c*j - 46. Is j/(-12)*(5 - 1) a prime number?
False
Let y(c) = c**2 - 2*c + 2. Let z be y(2). Suppose -z*k - 16 = 2*k. Let x(m) = -2*m**3 - 6*m**2 - m + 1. Is x(k) a composite number?
False
Suppose -3*s + 1640 = s. Suppose -v - 2*v + 4*a = -253, 5*a = -5*v + s. Is v a composite number?
False
Suppose -3*f = -3*n + 630, -2*n - 5*f + 204 = -n. Suppose 0 = -4*d + a + n, 2*d + 2*a - 121 = -3*a. Is d a composite number?
False
Suppose -12 = -u - 3*r, -1 = 3*u - 2*r + 7. Suppose -2*a + u*a = -254. Is a a composite number?
False
Let q(f) = -f**3 + 6*f**2 - 6*f + 1. Is q(-6) prime?
False
Let v = 5335 + -2336. Is v prime?
True
Let a(i) = i**2 - 2*i - 2. Let v be a(-2). Suppose 0 = -m + v - 3. Suppose 44 = -2*p + 4*p + 2*z, 2*z = -m*p + 63. Is p composite?
False
Suppose 3*b + a = -1, 8*a + 24 = 4*b + 3*a. Is (-2805)/(-22) - b/2 prime?
True
Suppose 0 = -2*k + 8, -4*m - k - 3*k - 4 = 0. Let u(r) = 0*r + 3*r + 4 - 3 + r**2. Is u(m) a prime number?
True
Let d(b) = 1 + 3 + 2 - b. Let x be d(6). Suppose x = 3*f - 224 + 83. Is f a composite number?
False
Let f(j) = -j - 7. Let k be f(0). Let u(w) = -3*w**3 - 7*w**2 - 8*w - 6. Let v be u(k). Suppose -3*c = 4*r - 587, -5*r + 0*r = 3*c - v. Is r composite?
False
Let m(a) = -7*a**3 + 5*a**2 + 4*a + 8. Let s be m(-6). Suppose 5*r = r + s. Is r composite?
False
Let q = 246 - 117. Let l = 223 - q. Is l a prime number?
False
Let s be (-4 - -1) + (-1 - -11). Let a(c) = c - 3. Let d be a(s). Suppose 3*l = d*l - 10. Is l a composite number?
True
Let s = 23 + 13. Let i be 18/15*(-5)/(-2). Let d = s - i. Is d a prime number?
False
Suppose -3*t = 5*h - 2371, t - 3*h = 5*t - 3154. Is t prime?
True
Let l be (54/3)/((-2)/7). Is 3/(-7) - 1224/l prime?
True
Let q be (-6)/(-4)*104/(-3). Suppose -3*j + 3*p = -21, 0 = -5*j + 7*j + p - 14. Let x = j - q. Is x prime?
True
Let b be 205/(-4) + 57/(-76). Let s = 40 - 69. Let y = s - b. Is y a prime number?
True
Suppose -2*s = -1 - 309. Suppose s = 2*h + 3*h. Is h composite?
False
Let g(c) = c**3 - 7*c**2 + 6*c + 1. Let f be g(6). Is 1 - (91 - f)*-1 a prime number?
False
Suppose -m - 2*h = 3*h - 928, -1896 = -2*m - 2*h. Is m prime?
True
Suppose 0 = -3*u + 19 + 56. Let q(o) = o**3 + 3*o**2 - 5*o + 2. Let p be q(-4). Suppose -d + p = -u. Is d a prime number?
True
Suppose 4*g - 140 = 2*z, -4*g + 35 = -3*g + 4*z. Is g prime?
False
Let i(m) be the second derivative of 5*m**4/6 + 2*m**3/3 - m**2 + 8*m. Is i(6) composite?
True
Suppose 2*x + 4870 = 5*l, 3*l - x = -6*x + 2922. Is l a composite number?
True
Suppose 1500 - 300 = -4*s. Let n = s + 563. Is n a prime number?
True
Suppose 0 = -o + 4. Suppose -4*k + 168 = -2*m, 0 = 3*m + 2*m - 10. Suppose o*l - k = -5*h, -2*l - 3*l - 70 = -5*h. Is h prime?
True
Let p(m) = -m**2 - m. Let f be p(-2). Is (-1 - -2)*f - -151 composite?
False
Let o = -3 - -8. Suppose -3*p = 2*p + 5*l - 3395, 3*p + o*l = 2037. Is p a prime number?
False
Let d = -28 + 106. Let l = d - 43. Is l a prime number?
False
Let s(t) = 7*t**3 - t**2 - 2*t + 3. Let m be s(2). Suppose 3*c = 5*c + 3*j + 38, -3*c - 4*j - 56 = 0. Let w = m - c. Is w a prime number?
True
Is 11496/60 - (-3)/(-5) prime?
True
Let v(b) = b**3 + 13*b**2 + 11*b. Let y(z) = 2*z**3 + 25*z**2 + 21*z - 1. Let j(n) = -5*v(n) + 3*y(n). Is j(-9) prime?
False
Suppose -2*a - 1761 = -5*a. Is a a composite number?
False
Is 5*(1244/5 + 1) composite?
False
Suppose -a + 796 = 72. Suppose 2*b + 543 = 3*c, 0 = 4*c + 4*b - 2*b - a. Suppose -5*j - x + c = 2*x, 4*x + 164 = 4*j. Is j composite?
True
Let c(l) = 2*l - 3. Let u be c(2). Is (1/2)/(u/14) a prime number?
True
Suppose -3*v + 326 = -4*z - 499, -3*z = -v + 280. Is v composite?
False
Is (-6)/2*(-4)/12 - -52 composite?
False
Let k(u) = u**2 - 2*u. Let b = -10 + 7. Is k(b) a composite number?
True
Let j be -3*5*3/(-9). Let d = j - -326. Is d a prime number?
True
Let o = -33 - -60. Let p = o + -8. Is p prime?
True
Let d(l) = -2048*l**3 + 2*l**2 - 2*l - 3. Is d(-1) prime?
False
Let f = -2578 - -4113. Is f composite?
True
Suppose -2*q = -1320 - 586. Is q composite?
False
Suppose 0 = -s - 0*s + 119. Is s prime?
False
Let x be (-8)/12 - (-101)/3. Suppose x = u + 2*u. Suppose 385 = u*a - 6*a. Is a a prime number?
False
Let c(g) = 39*g + 10. Let l be c(7). Suppose -4*h = -l - 97. Is h a prime number?
False
Suppose -5*y + 51 = -19. Is y prime?
False
Let k = 199 + -140. Is k prime?
True
Let t(l) = -l**3 - 3*l**2 - 2*l - 4. Let p(c) = c**2 - 6*c + 2. Let z be p(5). Let n be t(z). Let w(b) = b**2 + b. Is w(n) composite?
True
Let q be (15/6)/((-2)/4). Let x(i) = 3*i. Let a(o) = -2*o - 1. Let t(f) = q*a(f) - 4*x(f). Is t(-4) prime?
True
Let u = 27 - -66. Suppose 2*h - u = -h. Is h composite?
False
Let o(c) be the third derivative of -c**5/30 + 5*c**4/12 - 2*c**3 - 3*c**2. Let q be o(8). Let r = -1 - q. Is r prime?
True
Suppose 3*g - 733 = -a, 3*a + 20 = -a. Suppose -f - 4*u = -84 + 22, -5*f + g = 4*u. Is f a prime number?
False
Suppose 2*k + 3*t - 74 = 0, -51 = -4*k + 4*t + 57. Suppose -5*j = -b - 0*b + k, 4*b - j = 105. Is b composite?
True
Let z be (114/9)/(6/81). Suppose 0 = 2*p - 5*p + z. Is p composite?
True
Let v(x) be the third derivative of x**8/1120 + x**6/720 + x**5/30 - 3*x**2. Let z(m) be the third derivative of v(m). Is z(1) prime?
True
Suppose -2*o = -3*o + 127. Is o a prime number?
True
Let v(z) be the second derivative of -z**5/20 - z**4/2 + z**3/2 - z. Let t be v(-7). Suppose 0 = 2*i - t - 154. Is i prime?
False
Suppose -l + 4 = -2*i, 4*l - 3*i + 6*i + 6 = 0. Let j be (6 + l)*(-27)/6. Let a = 46 + j. Is a prime?
True
Let i(j) = -j**2 - 3*j - 1. Let z be i(-2). Suppose f = 6 - z. Suppose 4*u + o - 352 = f*o, -4*u + o + 343 = 0. Is u composite?
True
Let j = 1362 + -199. Is j a prime number?
True
Suppose 2*j + 24 = 6*j. Suppose -15 = 5*q, j*q - 336 = -3*i + 3*q. Is i prime?
False
Let z(d) be the third derivative of d**4/24 + d**3/2 + d**2. Let t be z(-6). Let v = t + 6. Is v a prime number?
True
Let y = 1167 - -484. Is y composite?
True
Let q = 1 + -1. Let u = 4 + q. Is u/6 - (-7)/3 composite?
False
Let t(r) = -2*r**3 - 3*r**2 - 2*r + 2. Let q be t(-6). Suppose -q = -3*c - 125. Is c composite?
False
Let i = 7 - 2. Suppose -441 = -i*r - 1