pose 2*j - 10 = -4*u + 2*u, 3*j = 5*u - 9. Suppose 0 = -j*k - k + 471. Is k a prime number?
True
Suppose -1661 = -4*z + 3*n, -n + 0 = -5. Is z a composite number?
False
Let c(y) = y**3 + 7*y**2 - 1. Suppose 2*v - 4*v = -10. Let u(n) = 3*n**3 + 15*n**2 + n - 3. Let s(a) = v*c(a) - 2*u(a). Is s(3) composite?
False
Let c(w) = -w**3 - 3*w**2 - w + 1. Let t be c(-3). Is 1 + t/2*353 composite?
True
Let c(t) = 7*t + 1. Let v = 3 - 3. Suppose -3*w = s - 7 - 4, 3*s - 6 = v. Is c(w) prime?
False
Let y(r) be the third derivative of r**5/30 + r**4/24 + r**3/2 - 3*r**2. Let k be y(5). Let d = -27 + k. Is d a prime number?
True
Let c = -74 + 148. Is c a prime number?
False
Suppose -o - 143 = -2*u - 6*o, 155 = 2*u + o. Is u prime?
True
Let a be 91/14 + 6/4. Let f(p) = -p**3 + 9*p**2 - 8*p - 5. Let g be f(6). Let k = g - a. Is k prime?
True
Let f(h) = -h - 3. Let j be f(-3). Let x(o) = o**3 - 6*o**2 + 6*o - 3. Let c be x(5). Suppose c*i = -10, j = -5*g - i + 57 - 7. Is g a prime number?
True
Let r = 4 + -6. Let b(i) = 66*i - 1. Let f(v) = -132*v + 2. Let n(j) = 5*b(j) + 3*f(j). Is n(r) prime?
False
Let o(g) = -g. Let i be o(-1). Let j be ((-6)/15)/(i/25). Is (-1 + j)*(-5 + 4) composite?
False
Suppose -4*m = -m. Suppose 3*s - 21 = -m*s. Is s a composite number?
False
Suppose i - 2*o = -6, -3*i + 4*o - 18 = 2*o. Let w be i - (2 - 1)*-3. Is 666/12 - w/2 a composite number?
True
Let l = -35 + 88. Is l prime?
True
Let k(q) = 83*q + 1. Let r be 20/(-25)*5/(-2). Is k(r) a composite number?
False
Suppose -4*j = -5*d - 33, 5*d + 7 = 5*j - 28. Suppose 8 = -4*t, 5*l + j*t - 87 = -2*t. Is l a composite number?
False
Let b = -116 + 114. Let u(r) be the third derivative of -r**4/4 + r**3/3 + r**2. Is u(b) a prime number?
False
Let h be (3/9)/(6/54). Is 212 - 3/9*h a composite number?
False
Let u = -11 - -16. Suppose -3*t + 2*t = -u*y + 795, 0 = 5*y + 2*t - 780. Is y prime?
False
Let w be 64/(-24) - (-1)/(-3). Is (2/w)/(10/(-1815)) prime?
False
Suppose 6*d - 3*d - 15117 = 0. Is d prime?
True
Let r(y) = 6*y + 7. Let b(d) = 5*d + 7. Let w(a) = 7*b(a) - 6*r(a). Let g be w(7). Is 312/2 + 1 + g prime?
True
Let n(a) be the third derivative of 1/10*a**5 - 4*a**2 - 1/3*a**3 - 1/24*a**4 + 0*a + 0. Is n(3) prime?
False
Suppose p + 53 = 2*p. Let y = p + 0. Is y a prime number?
True
Suppose 3*a - 4*y = a + 3526, 5*a - 5*y = 8790. Suppose -2*w + 2*h = w - 1065, -5*w + a = 4*h. Is w prime?
True
Suppose -5*d = -103 - 92. Suppose 2*c = d + 67. Is c prime?
True
Let p be 25/2 - (-2)/(-4). Suppose -r - 5*f - 36 = 0, -31 = 3*r + 2*f + p. Let o = -2 - r. Is o a prime number?
False
Suppose 5*r - 85 = -2*b, 5*r = 3*b - 40 - 25. Is ((-1660)/b)/(2/(-3)) composite?
False
Suppose 0 = -11*u + 16*u - 14215. Is u a composite number?
False
Suppose 0 = b - 2 - 0, 5*d - 4*b = 107. Is d a prime number?
True
Let t(b) = -5*b + 5. Let f be t(4). Let w be -1 - 2*f/6. Suppose 2*j - j - 3*d = 197, -4*j = -w*d - 756. Is j a composite number?
True
Let b be (-2 - (-2)/3)*-3. Suppose b*g - g - 15 = 0. Suppose h + h - 4*w - 282 = 0, g*w = 2*h - 281. Is h a composite number?
True
Suppose 3*p + n = 10, 5*n + 18 = 2*p - 0*p. Suppose 3*y = 3*v + 108, -8*y = -4*y + p*v - 104. Is y a prime number?
True
Suppose 5*h = 4*j - 30, 4*j - 21 = 4*h + 7. Suppose 10*p = j*p + 25. Suppose i - k = 2*i - 145, k + 725 = p*i. Is i a composite number?
True
Let b(p) = -90*p**3 - 2*p**2 + 2*p. Let h be b(-2). Suppose -h = -3*n - 75. Is n a composite number?
False
Suppose 4*u = -0*u + 4964. Is u composite?
True
Suppose 5*i = -888 - 142. Let n = -109 - i. Is n prime?
True
Let c = -46 - -117. Let b = c - 24. Suppose 5*i + 4*y - 281 = 0, -b = 3*i + 2*y - 214. Is i prime?
True
Is (-4)/10 - (-5028)/20 composite?
False
Let b(y) = y**3 + 8*y**2 + 5*y. Let p be b(-4). Suppose -3*a - a = -p. Is a composite?
False
Suppose 3684 = -2*m + 982. Let z = m - -1903. Is (z/40)/(1/5) prime?
False
Suppose -p - 2*p + 9 = 0. Suppose 124 = 4*q - p*w, -2*q - 5*w = -5*q + 93. Is q composite?
False
Let i = 3502 - 2415. Is i a composite number?
False
Let a(q) = 13*q - 4. Is a(6) a composite number?
True
Let g(k) = 14*k**2 + 2*k + 1. Suppose 35 = 4*x + x. Suppose -x - 1 = 4*a, -3*a = -4*h + 2. Is g(h) prime?
True
Let j(f) = -596*f + 21. Is j(-10) composite?
False
Suppose -3*x + j - 2*j = -2300, 0 = 4*j + 16. Let t = x + -451. Is t a prime number?
True
Suppose 2*d + 3*d = -2*f + 41, -4*f + 40 = 4*d. Suppose 5*w - d = 8. Suppose -5*l = w*b - 110, 0 = -2*b - 3*l - l + 74. Is b composite?
True
Let k(d) be the first derivative of d**4/4 + 10*d**3/3 - 15*d**2/2 + 3*d + 3. Is k(-11) composite?
False
Suppose -4*g - 370 = -6*g. Is g composite?
True
Let d = -76 + 194. Is d a prime number?
False
Let z(n) = -32*n + 5. Let r(h) = -31*h + 5. Let g(x) = 4*r(x) - 3*z(x). Is g(-5) a composite number?
True
Suppose n - 221 = 426. Is n a prime number?
True
Let x(f) = f**2 + 4. Let c be x(4). Suppose 0 = 4*n - 4*m - c, 3*m + 36 = 5*n + 13. Suppose 8*h = n*h + 236. Is h composite?
False
Let k(f) = 134*f**2 + 6*f - 10. Let i be k(4). Suppose i - 344 = 2*j. Is j prime?
True
Suppose -3*y + 106 = 2*n, 0 = 2*n - 5*y + 46 - 152. Let g = n + -2. Is g a composite number?
True
Let q = -3 - 0. Is 31 - -3 - (-2 - q) prime?
False
Let w(s) = -77*s - 22. Is w(-9) composite?
True
Let s be 124/12 - (-1)/(-3). Suppose -56 = -2*h - s. Is h composite?
False
Suppose -4*g + 25 = 3*c, -2*c + c = -2*g + 5. Suppose -i = g*v - 221, 3 = 2*i + 1. Is v prime?
False
Let z = -336 - -523. Let a = -18 + z. Is a a composite number?
True
Suppose -u = -4*n - 75 + 524, 0 = n - 4*u - 131. Is n a prime number?
False
Let k be (-252)/(-24)*4/3. Suppose k = -2*i + 124. Is i a composite number?
True
Let p(f) = 2*f**3 + 9*f**2 + 3*f + 2. Let x be p(-6). Let o(l) = -l**3 + 16*l**2 - 7*l - 3. Let t be o(6). Let z = t + x. Is z a composite number?
False
Let g = -1 + 0. Let a be 3*g*(5 - 31). Is a - (3 + (-4 - 0)) a composite number?
False
Let s = 13 - 4. Let q = 39 + -33. Suppose -q*y + s = -3*y. Is y composite?
False
Let m be (-7)/(3/1 - 2). Is (-229)/m + 8/28 prime?
False
Suppose -n - 1 = -0*n + 2*d, 0 = -n - 4*d - 5. Suppose n*k - 124 = -k. Is k prime?
True
Let m(n) = -4*n**3 - 9*n**2 + 1 + 4*n**3 + n**3 + 9*n. Is m(10) a prime number?
True
Is 976 + (8/16)/(2/4) composite?
False
Let l = 199 + -30. Is l prime?
False
Let a = 72 + -39. Suppose 2*g + g = a. Is g prime?
True
Suppose 2*g - 59 = 3*n, 0 = n + n - 2. Let c = -12 + g. Is c composite?
False
Suppose 0 = -3*q - 2*q. Is (q - -2)*(-69)/(-2) a prime number?
False
Is -1*4/(-4)*67 composite?
False
Let b(p) = 27*p**2 - 13*p + 23. Is b(11) a composite number?
True
Suppose 0*z = 4*z - 8. Let c(n) = n + 0*n**2 - 4 + 4*n**3 - 4*n**z + 8*n**2. Is c(3) composite?
True
Is ((-18)/(-15))/((-4)/(-30)) composite?
True
Suppose -9 = -2*q - 3. Let r be 173/(q/(-6) - -1). Suppose 109 = -3*h + r. Is h composite?
False
Let n(o) = -o - 2. Let f be n(-1). Let j(k) = -144*k**3 - k**2. Is j(f) a prime number?
False
Let z = -686 - -1171. Is z a composite number?
True
Let p = 44 + 714. Is p a composite number?
True
Let q = -7 - -7. Suppose q*c + 235 = c. Is c a composite number?
True
Let h = 16 - 8. Is 2/h + 246/8 prime?
True
Suppose -3*c - v + 544 = -604, 5*v = -4*c + 1549. Is c composite?
True
Let d(u) = 2*u**2 + 3*u - 2. Is d(-3) prime?
True
Suppose -7*r + 2930 = -2*r. Is r a composite number?
True
Let c(l) = 9*l - 11. Let x be c(8). Let k = x - 35. Is k prime?
False
Let b(s) = -33*s - 3. Let g be b(-4). Suppose 0*i - 3*i = -g. Let r = 120 - i. Is r a composite number?
True
Let q(v) = -51*v**3 + v**2 + 2*v + 1. Suppose l + 2*m = -17, 0*m - m = -3*l - 16. Let k = 6 + l. Is q(k) prime?
False
Suppose -r - 4*h - 1195 = -2*r, 3*r - 5*h = 3613. Is r a composite number?
True
Let u(f) = 2*f**3 + 3*f + 2. Suppose 5*j + h - 9 = 3*h, 3*h = -4*j + 21. Is u(j) composite?
True
Suppose -2*y + 35 = m - 32, -5*y - 3*m + 170 = 0. Is y prime?
True
Let f(s) = s**3 - 4*s**2 - 5*s + 7. Suppose 5*t - 2*w = 40, 0 = -3*t - w + 6*w + 5. Suppose -a = a - t. Is f(a) composite?
False
Let v(w) = -204*w + 9. Let t be v(-9). Let g = -1156 + t. Is g a composite number?
True
Let y(o) = -11*o**2 + 27*o + 45. Let r(i) = i**2 + i - 1. Let t(g) = -3*r(g) + y(g). Let q(p) = 5*p**2 - 8*p - 16. Let x(n) = 17*q(n) + 6*t(n). Is x(-11) prime?
