q + 4*q, -4*q - 5*a + 3 = 0. Let j be -4*((-12)/16 + -2). Let w = j - q. Is w composite?
True
Let p(y) = 39*y + 5. Let h(a) be the first derivative of -19*a**2 - 5*a - 4. Let f(g) = 3*h(g) + 2*p(g). Is f(-6) composite?
False
Suppose l - 87 = -3*y + 88, -297 = -5*y + l. Is y a prime number?
True
Let c(f) = f**3 + 6*f - 5. Let n be c(1). Suppose -n*i + 26 = -152. Is i a prime number?
True
Let b(n) = n**2 - n - 21. Let h be 2/(7 - 1)*27. Is b(h) prime?
False
Let k = 21 - 19. Suppose -f + s = -170, 0 = -f - s - k*s + 150. Suppose -t + f = 38. Is t a composite number?
False
Is (-1)/17 + 1194840/204 prime?
True
Suppose 0 = 6*p - 25 + 7. Suppose p*d - 5*y - 2041 = 0, -2*y = -2*d + 3*d - 673. Is d composite?
False
Let l(f) = 4*f**3 + 6*f**2 - f - 4. Let x(o) = -o**3 + o**2. Let a(g) = -l(g) - 3*x(g). Let s be a(-9). Is 29 - s - 3/(-1) prime?
True
Let z = -118 - -121. Suppose -5*a - 1246 = -3*f, a + 430 = z*f - 796. Is f composite?
True
Let g(v) = v**3 + 9*v**2 + 2*v + 7. Let i be g(-9). Let p(a) = 12*a**2 + 6*a - 25. Is p(i) composite?
False
Is (5 + -4 + 6905)*(-1)/(-6) prime?
True
Let c(j) be the third derivative of j**6/120 - j**5/30 - 5*j**4/8 - 13*j**3/6 - 22*j**2. Is c(9) a prime number?
True
Suppose m - 2*t = 6063, 191*m = 187*m + 5*t + 24267. Is m a prime number?
True
Let p(j) = j + 14. Let f be p(0). Let d be 3336/f - (-16)/(-56). Suppose 0 = 5*s + 3*z - 12 - d, 2*z = -10. Is s a composite number?
False
Suppose 0 = -3*i + 48*j - 53*j + 64578, 64584 = 3*i + 3*j. Is i prime?
False
Suppose -262493 = -5*l - 18*p + 21*p, 4*p + 262489 = 5*l. Is l a composite number?
False
Let d = -36 - -36. Suppose d = -0*n + n - 5*w - 151, 2 = w. Is n a prime number?
False
Let f(l) = l**2 + 16*l + 18. Let p be f(-11). Let y = p - -196. Is y a prime number?
False
Let u = -2302 + -1417. Is (-1)/(-2 + (-7437)/u) prime?
True
Suppose -6*j - 4*w + 5984 = -2*j, -4*w = -4*j + 5992. Is j a composite number?
True
Let x = 26505 - 18448. Is x composite?
True
Suppose 17 = 3*h - 4. Suppose i + 3*o + 5 = h*o, -4*i = -o + 20. Let v(z) = -5*z**3 + 5*z**2 - 7*z + 2. Is v(i) prime?
True
Let l(s) = 3*s**2 + 8*s + 1. Let r(o) = 0 + 2 - 2 - o**2 + 2*o - 2. Let j be r(4). Is l(j) composite?
True
Let v(g) be the first derivative of g**4/4 + 14*g + 18. Let o be (-1 - (-6)/4)*0. Is v(o) prime?
False
Let q(u) = -3*u - 57. Let x be q(-20). Suppose -w + 5 = 4*w, -o + 128 = -x*w. Is o a prime number?
True
Suppose 5*t - 55 = 3*i + 357, -2*t = -4*i - 162. Suppose -3*w + 79 = -t. Suppose -1 - w = -b. Is b composite?
True
Let b(c) = -3*c + 2. Let q be b(8). Let x be ((-11)/q)/((-2)/12). Is ((x - 0) + -2)*-71 composite?
True
Let i(h) = 2*h**2 + 11*h - 9. Let g be i(13). Suppose c - 5*q = 529, -4*c + g = 5*q - 1569. Is c a prime number?
False
Suppose 0*t - 4*t = -176. Suppose -p + 6*p - 2*s = 108, 0 = 3*p + 4*s - t. Suppose -2*b + 5*b = 9, p = j + 2*b. Is j a composite number?
True
Let n be (10/(-6))/(1/(-6)). Let t = -1 + -3. Is 5/n - 258/t prime?
False
Let l(k) = k**3 - 53*k**2 + 20*k + 79. Is l(53) composite?
True
Suppose -2*u = -3*t - 10 + 1, 2*u = -4*t + 30. Let g = u + -1. Let z(b) = 3*b**2 + b + 11. Is z(g) composite?
False
Is (-62)/310 - (-14592)/10 a prime number?
True
Is 14 + -10 + 10363 + 2 a composite number?
False
Suppose 29*b - 23008 = -4*j + 32*b, 4 = -b. Is j a prime number?
True
Suppose 0 = 3*t - 0 - 12. Suppose 3*h = 5*u + 73 - 1564, 3*h - 1209 = -t*u. Let z = 749 - u. Is z composite?
False
Let o(y) = -40*y**3 + 6*y**2 + y - 8. Let u(m) = 81*m**3 - 13*m**2 - 3*m + 17. Let r(t) = -9*o(t) - 4*u(t). Is r(3) a prime number?
True
Let t = 8 - 9. Is ((-12)/(-4) + -442)/t prime?
True
Let k = 15346 + 15667. Is k a prime number?
True
Let i = 7 + -61. Is i/36*3694/(-3) a composite number?
False
Let f(z) = 2*z**2 + 3*z + 1. Let p(q) = q**2 + 3*q + 1. Let w(s) = -6*f(s) + 7*p(s). Let b be w(-2). Let r = b + 59. Is r a composite number?
True
Let h(a) = -a**3 - 5*a**2 + 2. Let i be h(-5). Suppose -45 = 6*k - 3*k + i*l, 3*l = -4*k - 59. Let t = 106 + k. Is t prime?
True
Is 4/6 - 84541*10/(-30) composite?
False
Let x = 0 + -6. Let o be x/(-4) - 830/(-4). Is 2*(o/2 - 3) composite?
True
Suppose 3*z + 5*r = r + 3, -10 = -5*z - 5*r. Suppose w - 5*w - z*d = -3136, -4*w + 2*d = -3108. Is w a prime number?
False
Let x = -1341 - -2584. Is x a prime number?
False
Suppose -n = -8 + 4. Suppose 0 = -n*g - g + 15. Let v(t) = 12*t**2 + 2*t + 5. Is v(g) a prime number?
False
Suppose -41*f - 111788 = -45*f. Is f prime?
True
Suppose 18 = 3*w - 3. Is w/(35/20) - -1615 a prime number?
True
Let d(t) = 2*t + 25. Let c be d(-10). Is 2365/c + -7 + 3 a prime number?
False
Let v be 2/6 + (-55)/(-15). Suppose -v*x = -3*o - 330, -2*x + 0*o = -2*o - 166. Suppose -x = -3*p - 4*b, 71 = 4*p + 3*b - 44. Is p prime?
True
Let n = 476 - -1375. Is n a prime number?
False
Let n = -1143 - -1730. Is n a prime number?
True
Let x(c) = 2*c**2 - 2*c + 2. Let l be x(1). Let o = 107 + -1. Suppose -3*w + n = -296, 0 = l*w - n - 93 - o. Is w a composite number?
False
Let f be 8/(-10)*(-27 + -3). Suppose 5*o - o - 20 = -4*g, 5*o = 2*g - f. Let k = g - 0. Is k a composite number?
False
Let p(g) = 71*g - 1. Let o(u) = 70*u - 2. Let x(d) = -4*o(d) + 3*p(d). Is x(-14) prime?
False
Let z(d) = -1080*d + 41. Is z(-6) a composite number?
False
Let j = 89689 + -54417. Suppose 114 + j = 13*c. Is c composite?
True
Suppose -4*m = 5*t + 2, 4*t = -3*m - m. Let l = m - -262. Let x = l + -1. Is x composite?
False
Suppose 0 = 3*d - 5 + 59. Suppose -3*h + 6*h - 3 = -2*j, -3*h - 3*j + 3 = 0. Let y = h - d. Is y composite?
False
Let n(h) = 8*h**2 + 8*h - 23. Let m be n(8). Suppose f + 4*d = 62, 5*f = -d - 129 + 534. Suppose 5*k - m = f. Is k prime?
True
Suppose 2*w + 3 + 1 = 0. Suppose -4*v = -2*j + 10, -9 - 2 = -3*j + 5*v. Is -3 + (j - w - -263) a prime number?
False
Let q be ((-11)/((-132)/3411))/((-2)/(-8)). Is (2*(-5)/(-30))/(1/q) prime?
True
Let n = -21 + 15. Let t(v) = v**3 + 5*v**2 - 5*v + 11. Let g be t(n). Suppose -194 - 36 = -g*c. Is c prime?
False
Let u = -123282 + 192535. Is u a prime number?
False
Let m(i) = -2*i**2 + 23*i + 16. Let z be m(12). Suppose 13795 - 8 = 5*u - 4*a, 2*a + 11032 = z*u. Is u prime?
False
Suppose 4*h = h - 2451. Let w = h - -1596. Is w composite?
True
Let g(s) = 18*s**2 + 108*s + 16. Is g(-25) composite?
True
Let k = 1148 + -680. Let c = -739 + 434. Let j = k + c. Is j a prime number?
True
Let r = -16 - -19. Suppose 2*m = r*l + 6*m - 1120, 0 = -5*m - 10. Suppose n - l + 143 = 0. Is n composite?
False
Let s = -6828 + 15313. Is s composite?
True
Let f = -17214 + 74105. Is f a composite number?
False
Let o = -272 - -1671. Is o prime?
True
Suppose -2*c = -3*c + 8. Suppose -4 + c = -3*o + 4*n, 5*o - 4*n = -4. Suppose -3*q + q + 278 = o. Is q a composite number?
False
Suppose -4*a - 3973 = -b, -3*b + 2*a = -3*a - 11919. Is b prime?
False
Suppose -4*w - 36 - 52 = 0. Let k = -19 - w. Suppose -k*b + 552 = 2*g + g, -186 = -b + g. Is b prime?
False
Suppose 0 = 3*r - 6*r + 267. Let d = 24 + r. Is d composite?
False
Let c be (-3)/((-1 - -2)*-1). Suppose -c*o - 662 = 4*m, -o + 4*m = 3*m + 223. Let l = o - -365. Is l composite?
True
Let b = 2 - -3. Suppose b*z - 2696 = s, -s - 1138 - 478 = -3*z. Let h = z + -97. Is h a composite number?
False
Let b(x) = -35*x**2 - 3*x - 1. Let l(t) = -36*t**2 - 3*t. Let h be (-2)/(-8) - (-22)/8. Let c(f) = h*b(f) - 4*l(f). Is c(2) prime?
False
Let f(k) = -14*k + 2. Let v be f(-7). Let s be 2/6*(v - 1). Suppose 0 = -2*o - o + s. Is o a composite number?
False
Suppose 6*a - 33826 = a + 3*x, 20316 = 3*a + 5*x. Is a prime?
False
Let i be ((-2)/2 + 2)*2. Suppose 5*c = -i*w - 2*w + 245, -4*c - 200 = -4*w. Suppose w = -2*k + 3*k. Is k a prime number?
False
Let c = -176 - -1131. Is c a prime number?
False
Let d(y) = 50*y - 127. Is d(41) a composite number?
True
Is 22*3511/8 + 9/(-36) a prime number?
False
Let o(l) = -2*l - l**3 + 2 + l**3 + l**3 - l. Let m be o(1). Suppose 4*a - 409 - 435 = m. Is a a composite number?
False
Is (-3)/(-12) - (-13420)/16 a prime number?
True
Suppose -5*s + 17 + 18 = 0. Suppose 5*b - s*b = -1874. Is b composite?
False
Let s = 364 + -181. Let c = s + -505. Let v = -137 - c. Is v composite?
True
Let w be ((-12)/(-5))/((-11)/(-2035)). Suppose -n + w = 3*n. Is n a composite number?
True
Su