number?
False
Suppose 0 = -5*s - 2*n + 64 + 124, -n + 75 = 2*s. Suppose -o = -57 - s. Is o prime?
False
Suppose -6 = 2*z - 4*z. Suppose -p + z*p = 26. Let w = 20 + p. Is w composite?
True
Let d = 133 + -93. Let r = d - 5. Is r a composite number?
True
Let o(p) = -1 - p**2 + 2 - 2*p**3 + p**3 + 4*p - 3*p**3. Is o(-2) prime?
False
Let o be 0 + -1 - (-1 - -1). Let a(c) = -17*c + 1. Let r be a(o). Suppose -2*b + r = 2*l, -21 = -4*l + 5*b - 4*b. Is l prime?
False
Let b be 39/12 + (-2)/8. Suppose -3*g + b = -6. Suppose -4*p + 6*p = 2*c - 20, 36 = g*c - 5*p. Is c composite?
False
Is 2*((-2574)/(-4) - -2) prime?
True
Let x = 58 - 100. Let z be (0 - 70)*x/(-15). Let y = -129 - z. Is y a prime number?
True
Let q(o) be the first derivative of 37*o**2/2 - 3*o + 4. Is q(4) prime?
False
Suppose 2*l - 5*v = -103, -5*v + 43 = -3*l - 124. Let b = -39 - l. Is b composite?
True
Suppose 0 = i + 3*i + 3*c - 1039, 4*c = i - 255. Is i prime?
False
Let j(r) = r**3 + 10*r**2 - 11*r - 13. Suppose -3*h + 76 = d, -3*h = -4*h - 5*d + 44. Let i be 2 + (h + 0)/(-2). Is j(i) prime?
True
Suppose 2*q - 5606 = -2*a - 2*q, 3*q = -2*a + 5608. Is a a prime number?
False
Let h(a) be the second derivative of -2*a**4 + a**3/2 + 2*a. Let j be h(2). Let y = j + 155. Is y composite?
True
Let o(r) = 8*r**2 + 7*r - 10. Let i(y) = 15*y**2 + 13*y - 19. Let g(u) = 6*i(u) - 11*o(u). Let f be ((-3)/(-2))/((-3)/6). Is g(f) prime?
True
Let g(f) = -3*f - 4. Let y be g(-3). Suppose -y*i = -l + 200, 0 = 4*l - 2*l. Let o = -7 - i. Is o a prime number?
False
Let k(u) be the second derivative of -5*u**3/3 - 7*u**2/2 - 4*u. Is k(-15) composite?
True
Suppose -1272 = -r + 1957. Is r a prime number?
True
Let f(a) = 7*a**3 - 2*a**2 + 2*a - 1. Let d be f(1). Let b(x) = x**3 - 4*x**2 - 10*x + 9. Let i be b(d). Suppose -p - i = -4*p. Is p composite?
False
Suppose 0*w - 2*w = -442. Is w composite?
True
Suppose -5*o + 6 = -2*o. Suppose 0*r + o*r = 586. Is r prime?
True
Is (2 + -1041)*(-2)/2 composite?
False
Is 5/10 - (-641)/2 a prime number?
False
Let v(t) = 234*t - 3. Is v(3) a prime number?
False
Is 2361 + (-1 - 1)/(2/4) a composite number?
False
Let h = 0 + 3. Suppose h*l - 2*l - 3 = 0. Suppose -y - l*j = -2*y + 43, -3*y = 4*j - 103. Is y a prime number?
True
Let z = -10 - -97. Is z a prime number?
False
Let b be 4/(1 + 1 + -1). Let v be (4/6)/(b/(-114)). Is (1 + (1 - 3))*v a composite number?
False
Let z(y) = 5*y - 1. Let q be (-6 + 3)*(-2)/(-3). Let k be z(q). Is ((-2)/(-1))/1 - k prime?
True
Let a(g) be the first derivative of g**4/4 + 4*g**3/3 + 2*g**2 + 3*g + 1. Let f be a(-3). Suppose f = 3*w - 5*w + 106. Is w a prime number?
True
Let v(j) = 48*j**2 + 3*j + 5. Is v(-2) a prime number?
True
Let c(z) = -69*z - 11. Is c(-4) a composite number?
True
Suppose -76 = 2*t - 4*t. Let n = t + 15. Is n a prime number?
True
Let z(a) = -a. Let k be z(-4). Suppose 8*q - k = 4*q. Is q*-53*(4 - 5) a composite number?
False
Let k = 111 + -78. Is k prime?
False
Suppose 0 = -6*n + 4*n + 654. Is n prime?
False
Let u be (-3 + (0 - -1))*-1. Let k be (-2)/5 - 28/5. Is ((-33)/k)/(1/u) prime?
True
Let d(u) = -u**3 - 5*u**2 + 8*u + 9. Let m be d(-6). Let c be (m + (-27)/(-12))*88. Let k = 104 + c. Is k a composite number?
True
Is 1/(-3 + (-538)/(-179)) a prime number?
True
Let l(a) = -a**2 - 2*a + 1. Let m be 4*(2 - 1)/(-1). Let o be l(m). Let s(c) = -6*c - 5. Is s(o) a composite number?
False
Suppose 0 = 2*j - 5*a - 3, 0*j - j = -3*a - 1. Suppose 0 = -j*h - 5 - 223. Let d = h - -110. Is d a prime number?
True
Let z = -31 + 162. Is z a prime number?
True
Let x be 748/10 - (-1)/5. Let h = x + -44. Is h a prime number?
True
Let j = -102 - -167. Is j a composite number?
True
Suppose 4*j = -g + 2*j + 279, 4*g - 1056 = 4*j. Is g composite?
False
Let c be (30/(-35))/((-1)/14). Suppose 5*r + p = -8, 0 = 5*r - r - 2*p + c. Let l(b) = -32*b + 1. Is l(r) composite?
True
Suppose 0 = w - g - 2*g - 1784, 4*w - 7175 = -g. Is w composite?
True
Suppose 5*u = w - 117, 2*w + 553 = 6*w - 3*u. Suppose 12*i - 3096 = 36. Let f = i - w. Is f a prime number?
False
Let v(o) = o + 2. Let a be v(3). Let q(h) = 1 + 2*h**3 + 2*h - h**3 - 3*h**2 - 6 - 8*h. Is q(a) a prime number?
False
Suppose -p = p - 68. Let y = p + -20. Is y a composite number?
True
Suppose 0 = 3*k - 2*k. Suppose k = 3*w - 2*w + 9. Is (690/9)/((-6)/w) a composite number?
True
Let i be (-50)/5*(-2)/4. Let p be i - 1 - (1 + 1). Suppose 0 = -p*y + 336 - 50. Is y prime?
False
Let c = -2 - -1. Let n be -2 + (2 - c) - 2. Is 17 - (n + 2)*2 a prime number?
False
Suppose -3*b - 43 = -118. Suppose -5*o - b = 0, -2*o = -3*q + 171 + 196. Is q composite?
True
Is (6/8)/(((-52)/17392)/(-13)) prime?
False
Let s(h) = -17*h + 4. Let t be s(4). Let i = -50 - -167. Let g = t + i. Is g composite?
False
Let u be 0*(2 + (-3)/2). Suppose -w - 3*w = u. Is 1 + 17 + -3 + w composite?
True
Suppose 2*m - 2*g + 4 = 0, -3*m + 4*g + 0*g - 11 = 0. Suppose i + 2*f - 577 = 0, m*f = -3*i - 0*f + 1722. Is i a prime number?
True
Let d = -3 + 6. Suppose d*b - 4*s = -30, -3*b - 3*s - 12 = -3. Is (-9)/b*(-98)/(-3) a prime number?
False
Let k(f) = -f**3 - 5*f**2 - f. Let i be k(-4). Let c = -11 + i. Let a = c + 44. Is a prime?
False
Let g = -661 - -1247. Is g a composite number?
True
Let l = -236 - -158. Let n be ((-226)/6)/(2/(-6)). Let g = n + l. Is g composite?
True
Suppose -88 = -q + 3*h, -q + 0*h + 4*h + 88 = 0. Suppose -3*z = z + 148. Let l = q + z. Is l composite?
True
Let n(a) = 73*a**2 + 1. Suppose -w = -3*p + 3, -w = -p + 1 - 0. Is n(p) a prime number?
False
Is 1/(64/62 + -1) composite?
False
Is (-1 - 7*-31) + -1 prime?
False
Suppose -2*r + p + 341 = -r, 3*r - 1031 = 5*p. Is r prime?
True
Let y(q) be the second derivative of 7*q**5/20 - q**3/3 + q**2/2 + 2*q. Let a be y(1). Is (1*406)/(a + -4) prime?
False
Let a(u) = -u**3 + 3*u**2 - 2*u + 3. Let m be a(2). Suppose -7*t = -m*t - 72. Let q = t - -13. Is q composite?
False
Let h be (4 - 0)/(2/1). Suppose 4*o = 2*z - 116 - 228, 4*o - 368 = -h*z. Is z prime?
False
Suppose 4*q - 6934 = -i, -q + 653 = -3*i - 1074. Is q prime?
True
Let t(m) = 83*m**2 - 3*m - 1. Is t(-3) composite?
True
Let a(k) = -15*k - 4. Let y(c) = c - 1. Let o(p) = -a(p) - 5*y(p). Suppose 3*t - 17 = -2*l, 8*t - 3*t = 5. Is o(l) prime?
True
Let m be (-2)/4 + (-7)/(-2). Suppose -161 = -d + p - m*p, 674 = 4*d - 2*p. Is d a prime number?
True
Suppose -8*k + 430 = 2*k. Is k composite?
False
Let t = -136 - -199. Let p(j) = -j**2 - j + 42. Let b be p(0). Let o = t - b. Is o prime?
False
Let t = 1352 + 381. Is t a prime number?
True
Let k(y) = 9*y**2 + 8*y + 7. Let j be k(5). Suppose 2*g - j = 254. Is g composite?
False
Suppose 2*c - 5*x = -18, 4*c + 2*x - 13 = -1. Suppose 4*k + 15 - 61 = 5*o, -k - 4*o = -c. Is k composite?
True
Let b(o) = -o**3 - 4*o**2 - 2*o + 2. Let n be (-6*1)/(-3) - 4. Let u be b(n). Is 21 - (-3 + 3 - u) a prime number?
True
Suppose -2*k + 2*t + 2 = 0, -2*k - t + 17 = -0*k. Suppose -k*f = -3*f - 333. Is f prime?
False
Let a be (-24)/(-13) - 2/(-13). Suppose 0 = -2*m - 4*c + 166, -2*c - 3*c = -a*m + 166. Is m a composite number?
False
Let w(t) = t + 7. Let a be w(-8). Let f = 18 - a. Is f a prime number?
True
Let v(l) = -4*l - 5. Is v(-11) a composite number?
True
Let i be 6/9*(0 + -3). Is (66/12)/(i/(-4)) composite?
False
Suppose 9 = -4*j + j. Is 3*((-157)/j - -2) a composite number?
False
Let p(j) = j**2 + 5*j + 2. Let t be p(-5). Suppose -t*g = 3*g - 1985. Is g a composite number?
False
Let u(k) = -k**3 + 5*k**2 - 2*k + 2. Let s = -2 + -2. Let p be u(s). Suppose 5*b + r = p, r - 129 = -4*b + 6*r. Is b composite?
False
Is (3448/12)/((-4)/(-6)) prime?
True
Let l be -3*(-4)/(-6)*-1. Let s be (20/(-8))/(l/(-4)). Suppose f - 4*o - 26 + s = 0, 4*f + 4*o = 84. Is f prime?
False
Suppose 20 - 60 = 4*f. Let w(h) = -5*h + 7. Is w(f) composite?
True
Let v be 6/3 + 1 + -17213. Is v/(-90) + (-2)/9 composite?
False
Let z(j) = -3*j. Let x(h) = -4*h + 1. Let b(i) = -3*x(i) + 2*z(i). Is b(3) prime?
False
Let x = 1466 + -105. Is x a prime number?
True
Let a be (-8 - 1)/((-6)/(-4)). Is -2 + 18*a/(-4) prime?
False
Let z(y) = y + 7. Is z(4) a composite number?
False
Let a(c) = 18*c**2 + 6*c - 5. Is a(-5) a composite number?
True
Let u = 137 + 422. Is u composite?
True
Let l(u) be the second derivative of 7*