et s be n - -4 - 1*2. Suppose 3*f - s + 100 = 0. Is f prime?
False
Is (-9149)/(-3) + (-4)/6 a prime number?
True
Let r(f) = -f**3 - 12*f**2 + 13*f + 2. Let z(c) = -2*c - 7. Let u be z(3). Let j be r(u). Is -3 - (0 + j + -558) a prime number?
False
Let u = -41 + 27. Let n = u - -11. Is (95 + n)/4*13 prime?
False
Suppose -4*i + 199016 + 26428 = 0. Is i prime?
False
Is (1*5669)/(26 - 25) a composite number?
False
Is 10/((-30)/(-11493)) - 4 a composite number?
True
Suppose 3*i - 2347 = 3*r + 1010, 5*i + 3*r - 5611 = 0. Is i prime?
False
Suppose 2*d + d - 6 = 0. Suppose -d*l = -17 - 37. Let w = l + 6. Is w composite?
True
Let q = 3430 + -763. Let k = 5456 - q. Is k prime?
True
Suppose -5*z - 110 + 1064 = -o, 0 = 4*z - 3*o - 761. Is z a composite number?
False
Let p(c) = c**2 + 6*c - 3. Let y be p(-5). Let d be ((-118)/(-4))/(4/(-16)). Is (-6)/y*-2*d prime?
False
Suppose -4*i = -4*b - 458 - 1474, 2413 = 5*i - 4*b. Let s(p) = -89*p**2 + 89*p**2 + p**3 + i - p. Is s(0) prime?
False
Let i(v) = -4*v - 32*v**2 - 4*v - 7*v + 9. Let o(l) = 11*l**2 + 5*l - 3. Let y(t) = 2*i(t) + 7*o(t). Is y(7) a composite number?
True
Let j(h) = 4*h**3 - 20*h**2 - 24*h - 3. Let w(r) = -r**3 + r**2 + r + 1. Let y(o) = -j(o) - 5*w(o). Let q be 1 + -1 + (-12 - 1). Is y(q) composite?
False
Suppose -36*l + 34*l = -242. Is l a composite number?
True
Let o(n) = n**2. Let c be o(0). Suppose c = -16*a + 13*a + 13935. Is a prime?
False
Suppose u + 12706 = 3*u + 2*t, 2*t - 19055 = -3*u. Is u composite?
True
Suppose -4*r + 90 + 67 = -5*z, 5*r - 2*z = 209. Suppose -46*k = -r*k - 2007. Is k prime?
False
Suppose 4*q + 107 = -49. Let g = -23 - q. Let f(i) = 3*i - 5. Is f(g) a prime number?
True
Let y(h) = -28*h - 6. Suppose -3*q - 3 = -4*q. Suppose -q*v - 3*f = 0, -f = -2*f + 4. Is y(v) composite?
True
Let a(h) = 237*h + 31. Let m be a(8). Suppose 3*s + m = 11884. Is s composite?
False
Is (-4)/(-28) + 1/((-28)/(-142152)) composite?
False
Let f = -1788 + 24007. Is f composite?
True
Let b = 44743 - 22334. Is b a composite number?
False
Let f = 91 + 99. Let a(k) = 3*k - 3. Let u be a(2). Is (f/u)/((-4)/(-6)) a composite number?
True
Suppose -2*c = -10440 + 9562. Is c prime?
True
Suppose x + 3 = 9. Suppose 0 = -4*n + y + y + x, 2*y - 15 = -3*n. Suppose -n*o - 3*t + 6*t = -27, 5*o = 3*t + 45. Is o composite?
True
Let y(d) = 189*d**3 + 3*d**2 - 1. Suppose 2 + 1 = 3*p. Is y(p) a composite number?
False
Let n(u) = 16626*u + 47. Is n(5) a composite number?
False
Suppose 13489 = 9*k - 98930. Is k composite?
False
Let j(c) = -2*c**3 - 5*c**2 - c + 8. Let y be j(6). Let t = -343 - y. Is t a prime number?
False
Suppose 4*a - 2 = 14, 4*a - 25507 = -3*x. Is x composite?
True
Suppose 5*z = 4*z. Suppose r + z*r - 889 = 0. Is r a prime number?
False
Suppose 4*w = -4*h - 600, -2*w + 4*w - 3*h + 295 = 0. Is (w/4)/(3/(-132)) composite?
True
Let n(r) = 24 + 8*r**2 - 9*r**2 + 5 + 30*r + 3. Is n(25) composite?
False
Let o be 24/(-84) - (-102)/14. Suppose o*i = 9*i + 22. Is 2/1 - 4521/i a composite number?
True
Let m(n) = n + 11. Suppose 30 = -0*r - 5*r. Let u be m(r). Suppose -3*k - 254 = -u*k. Is k a prime number?
True
Suppose -5*r - 8 = -28. Suppose -2*c - 7732 = -5*z, -2*c = -r*z - 0*c + 6186. Is z composite?
True
Suppose 3*d + 6*j - 2*j = 21, -5*d + 2*j + 9 = 0. Suppose 2*f = d*f - 1543. Is f composite?
False
Suppose -174 = -2*a + x + 607, 10 = -2*x. Let r be 2 - (-2 + a/4). Let p = r + 162. Is p prime?
False
Suppose -9*j = -4*j - 35. Suppose -n - 1 = -j. Suppose 4*h - n*h = -246. Is h prime?
False
Let w be 2*-191*(-15)/(-10). Suppose -3*q - 2598 + 117 = 0. Let c = w - q. Is c a composite number?
True
Let q = 3 - 1. Let m = q - 0. Suppose 3*c - m*c - 97 = 0. Is c prime?
True
Suppose 0 = -4*m - 4*g - 28, -5*g = 2*m - 8 + 34. Suppose 2*c = 5*u - 6, 3 = 4*u + u - c. Is m + (2*108 - u) prime?
False
Let j(y) be the second derivative of 47*y**4/12 + 5*y**3/6 - 13*y**2/2 + 29*y. Is j(8) composite?
True
Let a = -270 + 462. Let w = a - -19. Is w composite?
False
Let t(m) = -551*m - 75. Is t(-10) a prime number?
False
Let t(p) = -1 - 15*p - 11*p + 27*p. Let q(u) = -5*u + 130. Let g(j) = q(j) + 3*t(j). Is g(0) prime?
True
Suppose -6 = -3*m + 9, -5*d - 2420 = m. Let f = -282 - d. Is f a prime number?
False
Let l(t) = -t**2 - 13*t - 13. Let g be l(-11). Let z be 2/9 - (-43)/g. Suppose -z*v - 2*x + 3401 = 0, -2*v - x = -5*v + 2034. Is v composite?
True
Is (34/6)/(49/273567) a composite number?
True
Suppose 1 = 5*f - 4*l + l, f - 3*l + 7 = 0. Let m(q) = 58*q**2 + 5. Is m(f) composite?
True
Let y be (12/(-3))/(4/(-226)). Suppose 6*v - v = -3*n + y, 3*n - 206 = -v. Is n a prime number?
True
Is -18*41170/(-20) - -2 prime?
False
Suppose -544 - 894 = -2*v. Is v composite?
False
Suppose 1354 - 3006 = -4*m. Is m a composite number?
True
Let x(j) = 12*j - 9. Suppose 0 = -2*o - 3*c - 2, 0*c - 4*c - 8 = 0. Let g(y) = y**2 + y + 2. Let f be g(o). Is x(f) prime?
False
Let p = 39523 - -19268. Is p a prime number?
False
Let o be (25*-320)/(-5) - -3. Suppose -5*u + 787 = -o. Is u prime?
False
Let m(t) be the second derivative of -t**5/20 + 3*t**4/2 + 19*t**3/6 + 19*t**2/2 + 11*t. Is m(18) composite?
True
Let x = -214 + 2667. Is x composite?
True
Let s = 10015 - -31714. Is s prime?
True
Suppose 4*s = 3*k - 2914 + 24250, 5*s - 3*k - 26667 = 0. Suppose -5*b + s = 176. Is b a prime number?
True
Let w be (-3)/(3/4) + 9. Suppose -4 - 11 = 3*x + y, -y = -w*x - 17. Is 31/1 + 0 - x composite?
True
Suppose 2*a - 8861 + 1173 = -2*d, 3*d + 11514 = 3*a. Is a a composite number?
True
Suppose 2*p - 2 - 8 = 0. Suppose -p*h + 3*k - 9 = -70, 5*h = 5*k + 55. Suppose -h*m + 19*m = 2725. Is m composite?
True
Let g be (-2)/(-2) + (-15)/5. Is g + 1948 + 15 + -10 a composite number?
False
Let x(i) = -2*i**3 + 31*i**2 + 17*i + 25. Is x(14) a composite number?
True
Let u(b) = 769*b**2 - 3*b - 2. Let f be u(-1). Is f + (-4 - -1)*1 a prime number?
False
Suppose 4*d - 3 = 5. Suppose -k + 6 = d*k. Is 85 - 0/((-2)/k) a prime number?
False
Let n be (-23)/(-7) - 3*(-6)/(-63). Suppose -3*g - n*g + 5334 = 0. Is g a prime number?
False
Let u = 850 - 305. Let s = 865 - u. Suppose -1106 = -3*b - 3*m - s, 5*b - 2*m = 1275. Is b composite?
False
Suppose -2*p - 6 = -0*p, 0 = 4*b + 4*p - 5440. Is b a prime number?
False
Let o(f) = -f**3 - 6*f**2 - 7*f + 1. Let x be o(-5). Suppose p = 41 + x. Suppose 2*r - p = -2*r. Is r prime?
True
Let f be -6*6/((-36)/2751). Suppose 0 = -5*w + 5*v + f + 2634, -w = -2*v - 1081. Is w a prime number?
False
Suppose 4*b + 10 = 4*d - 6*d, 6 = -5*b + 4*d. Is b/(-9) - (-21905)/45 composite?
False
Suppose -l + 3*u - 74 = 0, -u - 142 + 8 = 2*l. Is 84/(-8)*l/6 a composite number?
True
Let n = -102 - -105. Suppose 4*r - 4*x = 1956, n*x + 96 = -3*r + 1575. Is r a composite number?
False
Suppose -2*m + 3 = -5. Suppose -m*q - 3*k = -898, 2*q = k + 3*k + 438. Is q prime?
True
Let t(p) be the first derivative of 11*p**4/2 + 2*p**3/3 + 2*p**2 - 1. Let s be t(3). Is (s/9 + -3)*3 a prime number?
True
Suppose 5*a - 7*a = 3*v - 2032, -5*v = a - 1009. Is a composite?
False
Let o = 15673 + -8390. Is o a prime number?
True
Let g(i) = 13*i - 27. Let r be g(3). Let o be (-1)/(-4) + (-6)/(-8). Is (r/16)/(o/116) a prime number?
False
Suppose -443*w = -450*w + 404257. Is w a composite number?
False
Let o(l) be the second derivative of 3*l**4/2 - l**3 - l**2/2 - 5*l. Is o(-4) composite?
False
Let n(s) = s**2 + 9*s + 16. Let y be n(-8). Let t(g) = g**3 - 2*g**2 + 11. Is t(y) a prime number?
False
Suppose 5*c = p - 18, p - 3*c = -5*c - 10. Is p/((-7140)/3567 + 2) a prime number?
False
Suppose 3*p = -q + 16, -8*p + 3*p = -q. Let l(b) = b**2 - 11*b + 13. Let w be l(q). Suppose 6*z - 753 = w*z. Is z prime?
True
Suppose 0 = -26*w + 36*w - 353390. Is w a prime number?
True
Suppose -2*f = 2*f. Suppose -2*t + 1208 = -f*t. Let i = t + -417. Is i prime?
False
Suppose 0 = -5*m + 17 + 3. Suppose 0 = -m*y + 787 + 1233. Is y a composite number?
True
Is ((-32)/1)/(-8) - -71701 a prime number?
False
Let n be 1/1 + -4 + 4 - 0. Is 1023/(-66)*(n - -1)*-1 a composite number?
False
Let j = 2231 - 1162. Is j prime?
True
Is 635/(5 - (2 + 2)) a prime number?
False
Let b be (2 - 3) + 0 + 86. Let i be 1 + (-3)/(3/(-1)). Suppose b = 3*z + i*z + 5*f, -5*f + 28 = 2*z. Is z prime?
True
Suppose -3*j -