. Is a(7) a prime number?
True
Let u be (-16)/(-20)*15/(-6). Is (2046/(-9))/(u/3) prime?
False
Let m(g) = 21*g**3 - 5*g**2 + 8*g - 9. Let b(s) = -7*s - 16. Let o be b(-3). Is m(o) composite?
False
Let p(t) = 4*t**2 - 3*t - 10. Let s = 0 - 9. Is p(s) composite?
True
Let q = 99567 - 53240. Is q a prime number?
True
Let z be (7 - 2) + (-6 - -3). Let m(i) = -i**2 - 2*i + 2. Let v be m(z). Is (-1 - v/3)*3 prime?
True
Suppose 0 = 3*n - 5*j + 8, -5*n - 3*j + 0*j + 32 = 0. Is 26*((-97)/(-2) + 0 - n) composite?
True
Suppose 3*l + l = 1032. Is l/2 - (1 - -1) composite?
False
Let t(z) = z**2 + 9*z - 6. Let g be t(8). Suppose 3*r = 56 + g. Suppose 0 = -w - w + r. Is w a prime number?
True
Let u(v) = -335*v**3 + v**2 + 2*v + 1. Suppose -3 = 2*a + a. Let y be u(a). Suppose -262 = -5*w + 5*j + 568, 2*w - 3*j - y = 0. Is w a prime number?
True
Suppose -3*z = 2*z + 3065. Is -4 - (z + (0 - 4)) prime?
True
Let v = -2137 + 1119. Let j = v + 1517. Is j a composite number?
False
Let o(v) = 624*v**3 - 2*v**2 - 5*v + 6. Is o(1) a prime number?
False
Suppose 0 = -46*j + 37*j + 112221. Is j a prime number?
False
Suppose -10 + 22 = -2*b. Let a(n) = 28*n**2 - 7*n - 1. Is a(b) a prime number?
True
Suppose 4*n = -n - 15, 3*k + 5*n = 0. Suppose k*j + 2*j - 329 = 0. Is j a prime number?
True
Let k be (1 - 1*9) + 2. Let w be 15/(-6)*4*(-3)/(-15). Is (k/12)/(w/148) prime?
True
Suppose -t + 5*t - 24 = 0. Let j(r) = -676*r + 1. Let d be j(-4). Suppose -t*b + d = -b. Is b a prime number?
True
Let a(q) = 6*q**2 + q. Let t be (-1 - -5)/(-1) + 3. Let b be a(t). Is b/5 - (0 + -94) composite?
True
Suppose 3*m = -3*v - 3, -5*v + 4*m = 2*m + 33. Is ((-25)/5)/v*(-1 + 128) composite?
False
Is ((-22205)/20)/(7/4 + -2) a composite number?
False
Suppose -4*k = 2*k - 3930. Suppose -z - 4*z = -k. Is z a prime number?
True
Let l(q) = -103*q - 7. Let t(f) = -103*f - 8. Let w(s) = -4*l(s) + 3*t(s). Let g be w(3). Let r = g - 220. Is r a composite number?
True
Let t(x) be the second derivative of 4*x**6/45 + x**5/30 + 13*x**4/24 + x**3/6 + 3*x. Let k(n) be the second derivative of t(n). Is k(-6) a composite number?
True
Let i = -14 - -11. Let l(m) = 2*m**3 + 5*m**2 + m - 4. Let g be l(i). Is g/88 + 739/11 a prime number?
True
Let h(f) = 5*f**2 + 7*f - 4. Let z(b) = -b. Let k(c) = -c**2 - 2*c + 1. Let j(w) = -k(w) + 2*z(w). Let a(v) = h(v) - 3*j(v). Is a(-14) prime?
True
Suppose -3*y + 2*y = -750. Suppose -5*r - 3*g = -1623, 5*r = -5*g + y + 865. Is r a composite number?
True
Let q(t) = -t**3 - 2*t**2 - 3*t - 1. Let p be q(-2). Suppose 2*g = -29 - p. Let w = g + 60. Is w prime?
True
Suppose 10 = 2*q + 3*q. Suppose q*u = -2*u + 6848. Let b = -993 + u. Is b a prime number?
True
Let f be 3 + ((-36)/(-28) - (-4)/(-14)). Suppose 0*i + 3*i - f*r = 1909, -3*r = -5*i + 3167. Is i composite?
False
Suppose r = 10*r - 8361. Is r a prime number?
True
Let r(o) = 1107*o + 19 - 19. Let k be r(-1). Is 2/7 + k/(-21) composite?
False
Let s be (-508)/(-3)*((-9)/2 + 6). Is (s/(-3))/((-2)/3) prime?
True
Let l(k) = -987*k**2 + k + 1. Let s be l(-3). Is s/(-25) - (-4)/(-10) a composite number?
True
Suppose 3*v = -v - 4*w + 38152, -v - 2*w + 9543 = 0. Is v a prime number?
True
Suppose 2406 = 392*m - 386*m. Is m a composite number?
False
Suppose -31586 + 153761 = 5*o + 5*n, -n = 3*o - 73313. Is o a prime number?
True
Is (4 + 11886/(-12))*-14*1 prime?
False
Let z = -7362 - -12919. Is z a composite number?
False
Let h(k) = -86*k**3 - 5*k**2 - 2*k + 4. Is h(-3) prime?
True
Let j(x) = x**3 + 5*x**2 + 2*x - 5. Suppose 6*w = 5*w - 4. Let b be j(w). Suppose -317 = -d - 4*k, -b*k + 0*k = -4*d + 1363. Is d a prime number?
True
Suppose 5*i + 2*p + 10 = -0*p, -i + 4*p + 20 = 0. Let f(s) = -s**2 - 3*s + 149. Is f(i) a prime number?
True
Let d(b) = -4 - 1 - 6 + 0 - b. Let g be d(-4). Let z(j) = j**2 - 5*j + 5. Is z(g) prime?
True
Let n(i) = -37*i + 7. Let a be n(3). Let y = a + 295. Is y a composite number?
False
Suppose -5266 = 83*i - 85*i. Is i prime?
True
Let y = 64740 + -44167. Is y prime?
False
Is (-77138)/(-5) - (-4)/(-20)*3 composite?
False
Let g = 2939 - 1968. Is g a prime number?
True
Suppose 28*o + 23097 = 31*o. Is o a composite number?
False
Let n = 57 + -56. Is (5 - (3 - -1))/(n/557) a prime number?
True
Suppose -17*c - 43*c = -2004420. Is c a composite number?
True
Let m be (2 - (-134)/4)*-2. Let n = m + 325. Suppose 5*c - n = 3*c. Is c a composite number?
False
Suppose 0 = 62*s - 408785 - 506769. Is s composite?
False
Suppose 73 = 5*j + 3. Suppose -j*x = -17*x + 3183. Is x prime?
True
Suppose -4*c - 40 = c. Is (c/(-12))/((-8)/(-1788)) prime?
True
Suppose 0 = x + 2*s - 1747, -x = s - 6*s - 1747. Is x a prime number?
True
Let c(l) = 2*l**2 - 8*l + 11. Let w(r) = -r. Let u(b) = c(b) - 2*w(b). Let j(x) = -3*x - 22. Let f be j(-9). Is u(f) composite?
False
Let r be 14/21*51/2. Let k = r + -28. Let m(n) = n**3 + 13*n**2 + 10*n - 5. Is m(k) a composite number?
False
Let b(f) be the third derivative of -f**6/12 - f**5/60 + f**2. Let k be b(1). Let r = 33 + k. Is r a prime number?
False
Let w(j) = j**2 - j - 85. Let q be w(0). Let n = q - -123. Suppose -3 + n = c. Is c a prime number?
False
Is 8/(-16) + 48885/6 composite?
False
Let j(q) = -12*q**3 - 9*q**2 - 9*q - 61. Is j(-9) prime?
True
Let l(i) = i**3 - 7*i**2 + 6*i + 2. Let z be l(6). Suppose z*t = -0*t. Let o(a) = -a**3 + a**2 + a + 14. Is o(t) prime?
False
Let m(o) = 8*o**3 + 6*o**2 - 7*o + 29. Let v(k) = 4*k**3 + 3*k**2 - 3*k + 15. Let w(z) = -2*m(z) + 5*v(z). Is w(5) prime?
True
Is 23635/20 - 9/12 composite?
False
Let r = 22287 + -8168. Is r prime?
False
Suppose -4*q = -10*q + 4434. Let f = -38 + q. Is f composite?
False
Let a = 58 + -52. Suppose 4435 - 913 = a*f. Is f a composite number?
False
Let n(w) = -w**3 - 4*w**2 - 3*w. Let h be n(-3). Suppose -3*v = -6*k + k + 14, h = -2*k + v + 6. Suppose -2*g = -k*g + 218. Is g prime?
True
Let v be (-15 + 6)*4/(-6). Suppose -3*r = -v*r. Suppose -4*t = -4*c + 10 + 22, -4*c - 4*t + 56 = r. Is c a composite number?
False
Let t = 64447 + -44708. Is t a prime number?
True
Let o(d) = 69*d - 23. Let x(v) = 35*v - 11. Let h(l) = 2*o(l) - 5*x(l). Is h(-4) a composite number?
False
Let d(f) = 165*f - 202. Is d(13) a composite number?
True
Suppose -10 = -5*g + 450. Suppose 2*o - m + 6*m - g = 0, 247 = 5*o + 4*m. Is o composite?
True
Let z(h) = h**2 - 1. Let m be z(1). Suppose -v + 3*v - 4 = m. Suppose -4*o = -5*t - 644, -v*t = 5*o - 3*t - 805. Is o prime?
False
Let f be ((-2)/4 + 1)*6. Let k = -8 + f. Let a(x) = 8*x**2 - 2*x - 1. Is a(k) prime?
False
Suppose 0*o = 8*o + 40. Let x(b) = -2 - 2 - 6*b - 1. Is x(o) a composite number?
True
Let t be 21/7 - (-2 + 1 + 2595). Let s = 3754 + t. Is s composite?
False
Let h(i) = -3*i**2 - i + 1. Let s be h(1). Let o be s + (-5)/(20/324). Let w = 143 + o. Is w a composite number?
False
Suppose 5*s + 2*f - 435 = 0, 5*f + 37 = 2*s - 166. Suppose -2*b - s - 305 = 0. Let h = 326 + b. Is h a prime number?
False
Let s = 102 + -97. Suppose h + s*z - 4254 = 0, -4284 = -h + 4*z + z. Is h prime?
False
Let o(d) = 10*d**2 - 75*d + 28. Is o(-35) a composite number?
True
Let k = 164 + -67. Is k a composite number?
False
Let w(u) = 2*u - 15. Let x be w(5). Is (-21)/(-35) - 3202/x a composite number?
False
Let r = 4906 - 2941. Suppose -5*w - 4*l + 3271 = -l, 3*l = -3*w + r. Is w a prime number?
True
Let f = -49 + 54. Suppose -x - 616 = -2*s, -f*s + s = -4*x - 1236. Is s composite?
False
Let b = 33 - -3. Is ((-11752)/b)/(-2) - (-2)/(-9) prime?
True
Let f = 18178 - -22017. Is f a prime number?
False
Let g(o) = o**2 + 8*o + 11. Let z = 8 - 13. Let x be g(z). Is (-1)/x + (-422)/(-8) prime?
True
Let f = -654 - -4039. Suppose 5*w + f = 10*w. Is w composite?
False
Let n(s) = -19*s + 7. Let q(z) = 2*z + 10. Let h be q(-7). Is n(h) a composite number?
False
Suppose -4*n + 2140 = -724. Suppose 0 = -m - 4*c + n + 772, -3*m - 4*c + 4448 = 0. Suppose -o = s - m, 0 = 2*s - o - 1132 - 1831. Is s composite?
False
Suppose 2*k + 351 = -t, 5*k - 4*t + 895 = -3*t. Let g = 611 - k. Is g a composite number?
True
Suppose -k - 2*f + 18 = 5, 5*k + 10 = 5*f. Let w(y) = 199*y**3 - y**2 - y + 2*y + 99*y**k. Is w(1) a prime number?
False
Let q(w) = 41*w**2 + 19*w - 71. Is q(5) a prime number?
True
Let i(l) = l**3 - 30*l**2 + 9*l - 482. Is i(3