 3*q - q + 3*a + 311 = 0, -4*a = 5*q + 795. Let z = r + q. Is z prime?
False
Suppose -j - 30 = 3*r, -2*r + 3*j = -4*r - 13. Let k(y) = y**3 + 15*y**2 + 13*y - 10. Is k(r) a composite number?
False
Let i = 175 - 169. Is (-7833)/i*10/(-5) a prime number?
False
Let r(o) = 23*o**2 + 9*o + 23. Is r(-29) a composite number?
True
Let f(j) be the second derivative of j**5/10 + j**3/3 - j**2 + 3*j + 13. Let s be (-1 + -2)/((-6)/8). Is f(s) a composite number?
True
Let l(v) = 6*v**2 + 11*v - 3. Let r be ((-1)/1)/((-7)/56). Is l(r) a prime number?
False
Let l(c) = c**2 + 8*c + 3. Let f be l(-4). Let a = -11 - f. Is 2 + (a - (-6 - 1)) composite?
False
Let g(n) = 2*n - 1583*n**2 + 1583*n**2 + 3046*n**3 - 1. Is g(1) composite?
True
Let b = -6616 - -11037. Is b composite?
False
Let c be (-3 + (-5)/(-2))*-694. Let g = c - 659. Let s = g - -629. Is s composite?
False
Suppose -4*x + 14 = -6*x. Let v(c) = 10*c**2 + c + 8. Is v(x) a prime number?
True
Let m(q) = -3*q**2 - 3*q + 219. Let h(p) = -p. Let r be h(4). Let a(z) = 8*z**2 + 8*z - 658. Let g(l) = r*a(l) - 11*m(l). Is g(0) composite?
False
Suppose 2*i + 2*i = 3*w + 1252, 0 = 4*i - w - 1252. Suppose a = -0*f - f + i, 4*f + 333 = a. Is a prime?
True
Suppose r = 4*o - 23735, -o + 0*r + 5930 = r. Suppose 2*m - 6*m + o = 5*c, -5*c = -2*m + 2929. Is m prime?
False
Let s(h) = -98*h + 59. Is s(-34) a prime number?
True
Let d be 1 + 180 - -2 - 3. Let y = 265 - d. Let h = 48 + y. Is h a composite number?
True
Let x(v) = v**3 - 10*v**2 + 3*v + 12. Suppose 31 = 3*r + g, r + 2*g = 3*g + 9. Let y be x(r). Is ((-339)/6)/((-3)/y) prime?
False
Suppose 0 = 2*x - 87 - 513. Suppose -3*z = -3, 4*z + 578 + 182 = -4*h. Let q = h + x. Is q composite?
False
Let z = 27 - 26. Let q(y) = 71*y**3 - y**2 + y. Is q(z) prime?
True
Suppose 0 = -5*j + 4*x + x + 20, -j = -3*x - 4. Suppose 2*c + 8 = 2*p + 4*c, -j*c = -4*p + 32. Is 22/3 + (-2)/p prime?
True
Let p(r) = r**3 - r**2 - r + 74. Suppose 4*y - f - 14 = f, 0 = 3*f - 3. Suppose 0 = j - 3*t - 9, 0 = -j - 3*j - y*t - 12. Is p(j) composite?
True
Let j(m) = 960*m**2 + 2*m - 25. Is j(3) a prime number?
False
Suppose 10 + 135 = -5*p. Let g = -10 - p. Is g a composite number?
False
Let p(o) = -o + 9. Let m be p(7). Let n be -9*(-8)/12 + m. Suppose -y + 11 = -n. Is y prime?
True
Suppose 2*q - 4*n + 27388 = 4*q, -13690 = -q + 2*n. Is 2/((-8)/q*-3) a prime number?
False
Let r be 2/(-11) + (-168)/(-77). Suppose -3*b - 3*l = r*b - 800, b - 5*l = 132. Is b a prime number?
True
Let q(p) be the third derivative of -155*p**4/8 - 2*p**3 + 12*p**2. Is q(-3) composite?
True
Let g(v) = -22*v**3 + 2*v**2 - 2*v - 3. Let s = -67 + 65. Is g(s) a composite number?
True
Suppose 3*t - u = 45218, 4*t + 15066 = 5*t - 2*u. Is t a prime number?
False
Suppose b - 784 - 4371 = 0. Is b prime?
False
Let q(g) = g + g + 4 - 16 + 0*g. Let o be q(6). Suppose -j = -a - 249, 3*j + 5*a - 763 = -o*j. Is j prime?
True
Is ((-171144)/(-30) - 14)/((-2)/(-5)) prime?
False
Let f(t) = t**2 - 4*t - 3. Let p be f(5). Suppose 0 = r + y + p - 13, -r - 3*y = -15. Let j = 80 + r. Is j a composite number?
False
Suppose -2*h - 35 = -5*h - 5*y, -h - 5*y + 25 = 0. Suppose h*w = 4*w - 3. Is 252/(-24)*94/w prime?
False
Let k be (1 - -3)/(-2 - -4). Let t = 3 + k. Suppose -6*s = -t*s - 69. Is s a composite number?
True
Suppose -b + 273 = 2*g, -b + 4*g - 267 = -2*b. Let y = 602 - b. Is y prime?
False
Suppose 0 = -4*s + 4*l + 500, 2*l + 123 = 6*s - 5*s. Is s a composite number?
False
Suppose 0 = -5*w - 0 + 5. Let f(r) = 7*r**2 + 2*r**2 - 4 + w. Is f(-2) a prime number?
False
Let f(u) = -u**3 - 7*u**2 - 7*u - 2. Suppose 0 = -z + 4*q + 14, 5*z - 3*q + 13 = -2. Let o be f(z). Suppose -o*d - 318 = -10*d. Is d a prime number?
True
Let g = 4 - 1. Let o(p) = 1 + 3*p + 5*p**3 - 3*p**3 + 6*p**2 - 3*p**3. Is o(g) prime?
True
Suppose -1370 - 31994 = -38*f. Is f a prime number?
False
Let m be (-3062)/22 - 2/(-11). Let c = -149 + m. Let a = -173 - c. Is a composite?
True
Let i(j) be the third derivative of -49*j**6/8 - j**5/60 + j**4/12 + j**3/3 - 44*j**2. Is i(-1) a composite number?
True
Let i(g) = 4*g + 3. Let q = 11 - 7. Let u be i(q). Let c = 150 + u. Is c composite?
True
Let g(b) = -5850*b + 77. Is g(-2) a prime number?
True
Let o(c) = c**3 + 2*c**2 - 5*c + 5. Let w be o(2). Let g(f) = -f + 17. Let x be g(w). Suppose -z + 3*p - 644 = -x*z, 3*p + 499 = 4*z. Is z prime?
True
Suppose -11*x - 60 = 39. Is (-1)/(-3) + (195294/x)/(-11) a composite number?
False
Is 1/(8*(-8)/(-727616)) a composite number?
False
Let k = 11 - 9. Suppose 38 - 4 = -3*b + k*n, 0 = 3*b + 2*n + 50. Is 6/21 + (-1578)/b a prime number?
True
Let w be (-5 - -5)/(-1 - 0). Let q = 1 + w. Is (-2 + 1)/(q/(-31)) prime?
True
Let f = 19 - 22. Is (-166)/f - (-14)/(-42) a prime number?
False
Let p(m) = -234*m + 523. Is p(-6) a prime number?
False
Let x = 16 - 7. Let h(l) = -3*l - 1. Let q(m) = m. Let d(b) = -h(b) + q(b). Is d(x) a prime number?
True
Let m(z) be the second derivative of 7*z**4/12 - z**3/6 - z**2/2 + 9*z. Let f be 1 - (3 - -1 - 2). Is m(f) composite?
False
Suppose 0 = -5*g - 6*g - 44. Is 1*-17*(-11 - g) a composite number?
True
Is -2*(-5)/20*13218 a composite number?
True
Suppose 2*x = -3*l + 103, -l = -2*l + x + 36. Suppose -102 = -p - l. Is p composite?
False
Suppose 0 = 3*b + 2*b - 25. Let l(s) be the second derivative of 17*s**3/6 - 4*s**2 + 3*s. Is l(b) a composite number?
True
Let z(i) = 3289*i - 1308. Is z(25) a prime number?
True
Suppose 0 = -4*g + 156 + 3200. Is g composite?
False
Suppose -13452 = -a + 5297. Is a a composite number?
False
Suppose -3*z - 7*z = -48190. Is z a composite number?
True
Suppose -2*b + 87 = -4*y + 13, 2*b - 2 = 0. Suppose -3*k - 45 = 2*k + 5*w, 3*k + w = -17. Is k/(-18) - 1040/y prime?
False
Let l = -1 - -5. Suppose 4*n - 894 - 1194 = -l*f, 3*n - 1564 = -f. Is n composite?
False
Suppose 7*i = 12*i - 10. Suppose i*t + 2 = c - 65, 0 = 2*c + 3*t - 169. Is c prime?
False
Let r(n) = 1646*n - 519. Is r(7) prime?
True
Suppose -z = z + 10, 0 = -h + 3*z + 1548. Suppose -h = 4*n - 11*n. Let g = 28 + n. Is g prime?
False
Suppose -l + 2*i - 17 = -4*l, 29 = 3*l + 5*i. Suppose 0 = 5*g + 2*f + 15, -g + l*f + 0 = 3. Is (-790)/(-30)*g/(-1) prime?
True
Let j(n) = -n + 11 - 6 - 7. Let y be j(-4). Suppose 0 = 4*q - 3*l - y*l - 834, -1028 = -5*q - l. Is q prime?
False
Let p(h) = h**2 - h - 6. Let g be p(3). Is 1/3*g + 118 prime?
False
Let z = -5574 + 21533. Is z composite?
False
Suppose -2*a - 2*a - 4*m + 24 = 0, -2*m = 5*a - 18. Let u(y) = -6*y + 4. Let z be u(a). Is -2*(-4)/z*-395 a composite number?
True
Let u(k) = -1966*k - 73. Is u(-2) a composite number?
True
Let g = 7683 - -1926. Is g composite?
True
Suppose t + 5*y - 100304 = -3*t, 5*t + 3*y - 125393 = 0. Is t a prime number?
False
Suppose -t + 2*t - 2*a - 1940 = 0, -5*t - a = -9656. Let g = 2729 - t. Is g a prime number?
True
Suppose 4*m = 0, -160*m = -h - 157*m + 24361. Is h a composite number?
True
Suppose 8*d = -24*d + 107104. Is d a prime number?
True
Let z be 1/(-5) + 16/5. Suppose 4*b - 13 = 4*t - 1, z*t = -3*b - 3. Is 4/2 + t - -967 composite?
False
Let k(i) be the second derivative of 21*i**5/20 + i**3/6 - i**2/2 - 23*i. Is k(1) a composite number?
True
Is (86/4)/(-6 - (-9621)/1602) composite?
True
Let p be 2/(-4)*(-3 - -3). Let o(q) = 1 + 4*q + p + 8*q. Is o(1) prime?
True
Let z be (-2)/(6/9)*-1. Suppose c = -5*p - 24, c + z*p = 4*p + 6. Is (2717/(-26))/(c/(-2)) a composite number?
True
Let c(x) = 19*x**2 - 9*x + 6. Let q be (1 + -3)*(-27)/6. Let i be c(q). Suppose -f - i = -4*s - s, -2*f + 1174 = 4*s. Is s composite?
False
Let d = -6 + 9. Suppose 4*k + 4*v - 32 = 2060, 0 = -d*k - 2*v + 1573. Is k composite?
True
Suppose 0 = -27*i + 33*i. Suppose -4*n - 12 = 0, 2*u + 3*n = -i*n + 493. Is u a composite number?
False
Let f(b) = b**3 - 3*b**2 - 17*b + 6. Let p = 30 + -19. Is f(p) composite?
False
Suppose 29002 = 2*j + 4*h, 2*h + 6 = -0*h. Is j a composite number?
True
Let q = -1879 - -4595. Suppose -31*t = -27*t - q. Is t prime?
False
Let n be (-28)/(-14)*2/(8/10). Suppose n*u = 1897 - 587. Is u prime?
False
Suppose 8*t + 3187 = 18875. Is t a prime number?
False
Is (4 + 1)/(82/(-97457))*-2 a prime number?
False
Let s be (-40)/(-70) + 4293/21. Let r = 742 - s. Is r a composite number?
True
Let i(c) = 9*c