-o**3 + 3*o**2 + 6*o - 9. Let c be z(5). Let y = -23 - c. Let i(v) = 2*v + 2. Is i(y) composite?
True
Suppose -5*v - u + 5 = 34, -3*v = -5*u - 5. Is -1 - (10515/v - (0 + -1)) a prime number?
False
Let m(a) = a**3 + 9*a**2 + 9*a - 3. Let i be m(-6). Suppose 0 = -2*t + i + 23. Is t a prime number?
True
Let a be (-4)/((-2 - -3)*-2). Suppose 0*q + 1462 = a*q - 4*n, -751 = -q - 3*n. Is q a prime number?
True
Let h be -2 - 6/9*-3. Suppose -5*g - 3 + 38 = h. Suppose -5*l + 366 = 3*t + g, 2*t - 210 = 4*l. Is t composite?
False
Let l(h) = 696*h**2 + 247*h + 6. Is l(7) composite?
False
Suppose -12 = -l + 47. Suppose 689 = -58*c + l*c. Is c prime?
False
Suppose 3*c + 34 = -5*g - 122, 0 = 5*g - 2*c + 146. Let i = g - -11. Is (-22)/(1 - i/(-17)) composite?
True
Suppose 2911 = -14*a + 12725. Is a a composite number?
False
Let b be 8/28 - (149512/(-28) - -2). Let f = b + -3177. Is f a prime number?
True
Let j be (-5 + (-13)/(-5))/((-2)/(-4100)). Let m = j - -7019. Is m a composite number?
False
Let c(y) = -657*y + 1117 - 4675*y - 1151743*y**2 + 425*y - 6024. Let q(r) = 704*r**2 + 3*r + 3. Let m(k) = -3*c(k) - 4907*q(k). Is m(1) a prime number?
True
Let p(h) = -76*h**3 + 4*h**2 + 22*h + 21. Is p(-4) prime?
True
Let v(z) = z + 14. Let s be v(-4). Let b(w) = w**2 - 10*w + 19. Is b(s) prime?
True
Let y(g) = -10*g + 9. Let q be y(-5). Suppose -2*l + q = -l. Is l a prime number?
True
Suppose 114*h - 1652075 = 89*h. Is h composite?
False
Let s(k) = k**3 + 26*k**2 - 10*k + 47. Is s(-20) prime?
True
Let f = -1 + 15. Let z(a) = 3*a - 22. Let g be z(f). Suppose -3*n + 29 = 2*d, d - g = -2*n - 0*d. Is n a prime number?
True
Let n = 120 - 114. Is (-6139)/(-21) + 4/n composite?
False
Suppose 2*y + 1493 = 5*b - 13006, 11606 = 4*b - 5*y. Is b a composite number?
True
Is (-132301)/(-91) - (30/(-14) - -2) a composite number?
True
Is 112/1064 + (-200619)/(-19) prime?
True
Is 79137/12 + (-13)/(-52) a composite number?
True
Suppose -1626383 = -47*b + 288726. Is b composite?
True
Let z(f) = -89*f + 217. Is z(-6) a prime number?
True
Suppose 53 + 11 = 2*c. Suppose 31*s + 43 = c*s. Is s prime?
True
Let l be (3/6)/(1/10). Suppose -b + l = 2*y, 0 = -b + 6 - 7. Suppose -2*k + 279 = -5*j, 5*k = 2*j - y*j + 630. Is k a prime number?
True
Let u be (-6)/(-4) - (-175)/14. Let c be u*(-11)/((-44)/48). Let n = c + -115. Is n a composite number?
False
Let z(b) = 6*b + 417. Let d(h) = -2*h - 139. Let x(u) = -7*d(u) - 2*z(u). Is x(0) prime?
True
Is ((-360)/240)/((15/82858)/(-5)) a composite number?
True
Let p = 21 - 43. Let m = p - -22. Suppose -5*w - 2*x = -3705, 2232 = 3*w - m*x + 3*x. Is w prime?
True
Suppose 0 = -10*y + 53*y - 221321. Is y a prime number?
True
Let v be (-14)/(-4) - (-1)/2. Suppose -4*h = v*z - 36, 3*z + z = -5*h + 31. Is 4/z + 173/7 a composite number?
True
Is (-475)/(-100)*(-694 + 2)*-1 composite?
True
Let y(d) = d**3 - 10*d**2 - 13*d - 6. Let b be y(11). Let f = b - -47. Let g = f + 40. Is g a composite number?
False
Let l = 187 + 1104. Is l a composite number?
False
Suppose 38 = f + 11. Let o be (-907 + 1)*f/18. Is (-1 - o/12)*4 prime?
True
Let o = 12269 - 5370. Is o prime?
True
Suppose -5*n + 982 = -4*n. Suppose -4*s - n = -4538. Is s a composite number?
True
Suppose 0 = -k - 2, -33923 = -3*n + 13*k - 15*k. Is n a prime number?
False
Let q(g) = -28*g + 29. Suppose -3 = -2*w + 5*z - 14, -z = -w - 10. Is q(w) prime?
False
Suppose -67*i = -452141 + 26490. Is i composite?
False
Let u be -17229 + 4 + -6 + 2. Let z = u - -10647. Is z/(-42) - (-2)/7 prime?
True
Let r = 34 - 56. Is 165/(-6)*r/5 a prime number?
False
Let o be 6/12 + 2 + (-10)/4. Suppose o*r + 3781 = 5*r - 4*i, 2*r - 1494 = -3*i. Is r a prime number?
False
Suppose 409*k - 401*k - 8296 = 0. Is k composite?
True
Let t = 62 - 427. Let m = t - -1218. Is m a prime number?
True
Suppose 247405 = 78*w - 73*w. Is w a composite number?
False
Suppose 4*s = 7*s - 9. Is (3 + -10)*-43 - s composite?
True
Suppose 39*f - 45*f = -18. Suppose -269 = -m - 2*y, 3*m + f*y + 24 = 825. Is m a composite number?
True
Let q(j) = j**3 + 8*j**2 - 7*j - 6. Let z be q(-8). Let g be ((-72)/(-14))/(9/(-63)). Let f = g + z. Is f composite?
True
Let p(b) = 306*b**2 - 3*b + 3. Let t be p(2). Suppose 5*o - d - 2043 = -2*d, 3*o + 3*d - t = 0. Is o prime?
True
Let t be -449 + 2/(-4)*-4. Let j = t - -938. Is j prime?
True
Let z = -12 + 13. Suppose 26 - z = 5*q. Let p(a) = a + 1. Is p(q) a prime number?
False
Is 19946205/225 + (-16)/20 prime?
False
Let n = -17387 - -38814. Is n a composite number?
True
Let r(s) = -s**2 - s + 3. Let x(o) = -o**3 - 4*o**2 - o - 1. Let v be x(-4). Let d be r(v). Is (-1274)/(-6) + (-6)/d composite?
True
Let o(a) = 1. Let y(m) = 11*m + 5. Let z(n) = 5*o(n) + y(n). Let h be -3 - (1 + -4) - -5. Is z(h) composite?
True
Let x = -2 + 4. Let s(c) = 11*c**2 + 7 + 1 + 9*c**x + 15*c - 3. Is s(-6) prime?
False
Let j = 9806 + -2943. Is j a composite number?
False
Let o(n) = 376*n**2 + 28*n + 131. Is o(-8) composite?
False
Let u(a) = 35*a**3 - 2*a**2 - a + 2. Let w be u(3). Let s = -589 + w. Is s composite?
False
Let h(c) = -c**2 + 19*c + 4. Suppose 7*i - 19 = 6*i. Let s be h(i). Suppose -s*b + 3*f + 1331 = 0, b = -0*b + f + 334. Is b composite?
True
Is (-3)/(1 + 2) - (-14132 + -42) composite?
False
Let m(q) = q**3 - 17*q**2 - 13*q - 7. Let r(z) = z**3 + 7*z**2 + 7*z + 3. Let k be r(-5). Is m(k) a prime number?
True
Suppose -3*u + 3 - 4 = 4*p, u = -p. Let z = 4 - p. Suppose 0 = 5*h - z, 5*x - 1678 = -2*h + 539. Is x a prime number?
True
Let v be (6047 - 1)/((5 - 4) + 1). Let b = v + -1446. Is b prime?
False
Suppose -280741 = -5*u - 48*u. Is u prime?
True
Suppose -2*m - 3*y = -46983, 0 = -0*m + 3*m + 4*y - 70476. Let s(a) = a**3 + 4*a**2 + 2*a + 6. Let u be s(-4). Is u/14 + m/28 a composite number?
False
Suppose 3*r = -0*m - 2*m - 6, -m - 2*r = 5. Suppose 2*t - m*k = 326, 5*t + 0*t = 4*k + 815. Suppose t - 519 = -4*n. Is n prime?
True
Suppose 1006180 = 34*w - 6*w. Is w a composite number?
True
Suppose 864 = 6*c - 858. Is c a prime number?
False
Let m(x) = x**3 - x**2 - 5*x - 8. Let g = 27 + -20. Is m(g) prime?
True
Let k be (3 - 1 - 2)/1 - -894. Let x = k - 341. Is x composite?
True
Suppose 0 = -26*w + 84016 - 29390. Is w a prime number?
False
Suppose -40 + 260 = -5*k. Let x = -2 + 4. Is x*2*(-1331)/k prime?
False
Let t = 291 - 2944. Let a = t - -4790. Is a a composite number?
False
Suppose 37 - 136 = -9*y. Suppose -1769 = -y*k + 5898. Is k prime?
False
Suppose 2 = -3*d + 11. Let w(z) = 3*z - 3*z**2 - 9 + 116*z**d + 0 + 9. Is w(2) a composite number?
True
Let d(z) be the first derivative of 23*z**4/2 + 2*z**3/3 + z**2 - z + 1. Is d(2) composite?
False
Let j(v) = 11*v**3 + 3*v**2 + 2*v + 3. Let x be j(3). Let r = -39 - -36. Is -1*(r - -5) + x composite?
False
Let w(n) be the first derivative of 4*n**3 + n**2 + 4*n + 5. Let s be w(3). Let d = s - 67. Is d a prime number?
False
Let s(l) = -l + 11. Let r be s(8). Suppose -r*w = -8*w + 415. Is w composite?
False
Suppose -21*g + 300508 = 31*g. Is g a composite number?
False
Suppose -14*t = -20612 + 8194. Is t prime?
True
Let p(q) = 114*q**2 + q + 38. Is p(15) a composite number?
False
Suppose 16*t - 3*t - 2483 = 0. Is t a composite number?
False
Let b be -5 + (-6 - -11) - (-2 - -2). Suppose b = -3*y + 5*y - 502. Is y a composite number?
False
Suppose -41*d = -5*d - 606276. Is d a prime number?
False
Let j(x) = 82*x**2 - x. Let r be j(-1). Let a be -1 + (1 - (-2 + 8)*-21). Let s = a + r. Is s a composite number?
True
Suppose -17 = 3*w - 4*w - 3*m, 4*m = 4*w - 36. Let a(n) = 4*n - 26. Let z be a(w). Is 57/2*24/z a prime number?
False
Let c be (-8)/(-12)*(8 + 4). Let q = -9 + c. Let k(w) = -140*w**3 + 2*w**2 + w. Is k(q) composite?
True
Let j = -254 + 562. Suppose -t + j = -171. Is t composite?
False
Let i be ((-1)/2)/((-1)/2) - 381. Let j = i + 827. Is j a composite number?
True
Suppose i = -0*i + 254. Let h(c) = -12*c + 98. Let z be h(8). Suppose 0 = z*d + 5*v - 173, -3*v - 79 + i = 2*d. Is d composite?
False
Let l = 347 + 39396. Is l a prime number?
False
Let q be 2/6 - 16/(-6). Suppose 15 = -q*w + 8*w. Suppose w*u - 796 = -u. Is u composite?
False
Suppose -3*o - 922 = -2218. Suppose 0*g = -4*g + 20. Is (o - (-2 + g)) + 2 a composite number?
False
Let k(m) = 29*m + 2. Let y be k(3). Let 