True
Let p(j) = -8*j**3 + 3*j**2 - 9*j - 9. Is p(-4) a prime number?
True
Let s = 110 - -141. Is s composite?
False
Let o be (944/(-10))/(6/(-45)). Let m be (-6)/4*o/9. Let r = 251 + m. Is r composite?
True
Let y = -2300 - -3282. Is y prime?
False
Let h(b) = -18*b**2 - 2*b + 9. Let q(m) = 19*m**2 + m - 10. Let u(t) = -5*h(t) - 4*q(t). Is u(3) prime?
True
Let n = 1739 - -393. Let d = n + -1483. Is d composite?
True
Suppose v = -y + 35 - 13, -5*y + 78 = -3*v. Is 1955/9 + (-4)/y a composite number?
True
Suppose -1 = -3*x + 5*l + 59, -3*x + 4*l + 63 = 0. Suppose -8*b + 3*b - 17 = z, -x = 3*z + 2*b. Let m = z + 13. Is m a composite number?
True
Let y(n) = 6*n**2 + n - 16. Is y(9) composite?
False
Suppose -5*a + 9 = -71. Let p = a + -1. Suppose y - 6 = p. Is y composite?
True
Let n(z) = 5*z**2 + z - 1. Let g(x) = -15*x**2 - 2*x + 3. Let q(p) = 2*g(p) + 7*n(p). Is q(-6) prime?
False
Let f(k) = 32*k + 47. Let n(d) = -21*d - 31. Let r(q) = -q**3 - q**2 + 3*q - 2. Let o be r(2). Let s(u) = o*n(u) - 5*f(u). Is s(9) prime?
False
Suppose -555 = -5*b - 2*c, -3*b + 0*c = c - 332. Is b composite?
False
Let l(z) = -z**3 - 4*z**2 + 4*z - 3. Let b be l(-5). Suppose b*j = 80 + 130. Suppose 2*g - 5 = 3*m + 60, 3*g - 2*m - j = 0. Is g a prime number?
True
Let c(f) = -311*f + 42. Is c(-5) prime?
True
Let l(p) = -4*p + 1. Let o be l(-1). Suppose -211 = -o*y + 1024. Is y a composite number?
True
Let r(s) = 23*s**2 + 9*s - 1. Is r(-4) a composite number?
False
Let x be 1/(2 - 5/2). Let l(i) = -2*i**3 - 4*i**3 + 1 - i - 8*i**3. Is l(x) a prime number?
False
Suppose 4*n + 0*n = 0. Suppose 0 = x - 5, r + 3*x + 10 - 236 = n. Is r a prime number?
True
Let x = -154 - -216. Is x a composite number?
True
Let v(d) = -6*d - 4. Let u be v(-7). Suppose -b = u - 186. Suppose 2*p - x = 3*x + 78, 4*p - 4*x = b. Is p a composite number?
True
Let k be 3 - ((1 - 0) + 0). Let o be ((-2)/9)/((-15)/135). Suppose k*n - o = 68. Is n a prime number?
False
Let u = -3 - -5. Let m = u - -89. Is m a prime number?
False
Suppose -9*a + 158287 = 8*a. Is a a composite number?
False
Suppose 321 = -3*h + 2*v, 35 - 461 = 4*h - 2*v. Let t(k) = -159*k**2 + k. Let z be t(-1). Let a = h - z. Is a composite?
True
Let a(x) = -13*x - 1. Let q be a(-9). Let o = q + -70. Is o prime?
False
Let f(i) = 2*i**3 - 5*i**2 + 2*i - 3. Let j(u) = -u**3 + 7*u**2 - 5*u + 2. Let b be j(6). Suppose -7*m + b = -3*m - 2*t, 0 = -2*t + 8. Is f(m) prime?
True
Is (-6)/(-9) - 3351/(-9) prime?
True
Is 3*3364 - (10 + -9) composite?
False
Let l(i) = i + 8. Let q be l(-5). Suppose 0 = 3*c - 2*c - 12. Suppose 51 = q*x + c. Is x a composite number?
False
Let y be 256/14 - (-22)/(-77). Let i = 31 - y. Is i composite?
False
Let t = -131 + 194. Suppose 0 = 3*d - 0 - t. Is d a composite number?
True
Suppose -7*b = -1024 - 313. Is b a composite number?
False
Suppose 5*d = d + 1108. Is d a prime number?
True
Let v = -117 + 308. Is v composite?
False
Let q = -220 + 354. Is q a composite number?
True
Suppose -n + 4*x = -153, 3*n - 3*x + 0*x = 495. Is n prime?
False
Suppose u + 2 = 2*u. Suppose o = -u*o + 39. Is o composite?
False
Let h(d) = 8*d**2 - 9*d + 13. Is h(-18) prime?
True
Let n = -5 - -9. Suppose -3*z + 25 = 2*z + 2*h, 0 = -2*z - n*h + 26. Suppose 0*j = z*j - 33. Is j a composite number?
False
Let i = 64 - 39. Suppose -2*g + i = 5. Is g composite?
True
Let m = 9 + 128. Let w = -96 + m. Let n = -6 + w. Is n a prime number?
False
Suppose -c + 859 + 540 = 0. Is c a composite number?
False
Is 4 + 107 - 4/(-1) composite?
True
Suppose -6*z - 161 = -503. Is z prime?
False
Let u = -8 + 6. Is -3 - ((3 - 591) + u) a composite number?
False
Let p = 72 - -73. Is p prime?
False
Suppose 3*n = 2*b + 13, 4*n + 2*b - 16 = 6*b. Let y(h) = h**2 - 4*h + 6. Let w be y(n). Suppose -3*c + w = 5*u, -u = c - 7 + 2. Is c composite?
False
Is (-4)/10 + -2 + 23085/25 prime?
False
Let n(p) be the first derivative of 4*p**3/3 + 15*p**2/2 + p + 6. Let b(d) = -2*d**3 + 2*d**2 - 2*d + 2. Let k be b(2). Is n(k) a composite number?
False
Let h(y) = 3*y**3 + 5*y**2 + 2*y + 1. Let l be h(-4). Let b = -50 - l. Is b composite?
True
Suppose 1506 = 3*a + 3*y, -3*a - y - 4*y + 1512 = 0. Is a a prime number?
True
Suppose -q + 0*q = -3*s - 20, -q - 15 = 4*s. Let j(c) = c**2 - 5*c + 3. Let k be j(q). Is -1 + (-2 + k)*210 prime?
False
Let d = 1343 - 924. Is d composite?
False
Let s(x) = -x**3 - 8*x**2 - 11*x - 7. Let a be s(-7). Suppose -i - a = -90. Is i a prime number?
False
Suppose -d + 4 = -2*m, -4*m + m = -3*d + 9. Let x(k) = -1 + 38*k**d + 42*k**2 + 3*k - k + 2. Is x(-1) a prime number?
True
Let i(b) = -78*b**3 + 2*b**2 - 3*b - 3. Let y be i(-2). Let h be 2 + -2 + 2 + 0. Suppose -h + y = 3*l. Is l a composite number?
False
Is 16/48 - 41/(-3) a prime number?
False
Suppose 0 = -4*h + 4 + 648. Is h composite?
False
Let z(u) = 3*u**2 + 6*u - 6. Is z(-5) prime?
False
Let w(t) = t**2 - t - 2. Let s be w(2). Suppose 2*u + m = -s*m, 3*u - 3*m = 18. Suppose 2*q + 4*g = -u*q + 72, -5*q = 4*g - 94. Is q prime?
False
Let p(x) = 112*x**3 - x**2 - 2*x. Let y(s) = -223*s**3 + 3*s**2 + 5*s. Let f(j) = -5*p(j) - 2*y(j). Is f(-1) composite?
False
Let n = 3 - 4. Let x = n + 3. Suppose 0 = w - x*w + 13. Is w a composite number?
False
Suppose 7*d - 9 = 4*d. Suppose -d*a = -2*r - 11 - 40, 3*r = a - 10. Is a composite?
False
Suppose 3*z + 8 = 5*z. Let c be (3/1)/(3/z). Suppose 2*h + c*i = 174, 6*i - i - 25 = 0. Is h prime?
False
Suppose 0*u - 310 = -5*u. Let w = u + -25. Is w a composite number?
False
Let m(j) = 54*j**2 + 5*j - 3. Is m(-4) prime?
False
Let w(r) = 11*r**2 + 7*r + 11. Is w(-5) a composite number?
False
Suppose -4*i + 7*i - 240 = 0. Is (1 - i)*(-2)/2 composite?
False
Let w = 4512 + -631. Is w a prime number?
True
Let j = -1 - 4. Let o(f) = -f**3 - 5*f**2 + 6. Let y be o(j). Suppose 2*k - y*k = -148. Is k a prime number?
True
Suppose -5*g + 1 = -14. Is 14*g*(-309)/(-18) a prime number?
False
Suppose -t + 578 = -0*d + 3*d, 4*t = -4*d + 2272. Is t a composite number?
False
Suppose 2*j - 1 = 3. Suppose j*t + t + 468 = 0. Is t/4*2/(-6) prime?
True
Suppose -4*j + 25 = -3*j + 5*d, -21 = -5*j + d. Suppose 5*a = 3*n - 202, -j*a = -2 - 3. Suppose 2*z - n - 5 = 0. Is z a composite number?
False
Suppose n - 3*y - 1024 = 0, 5035 = 5*n + y + y. Is n prime?
True
Suppose -s - 2 = s. Is (1 - 5) + 132 + s composite?
False
Let j = 292 + -131. Is j a composite number?
True
Let s = 10 + -7. Suppose -s*o - 4*g - 912 = 0, 2*o + g = -4*g - 608. Let v = 699 + o. Is v prime?
False
Let b(o) = -o**2 + 7*o. Let j be b(6). Suppose j*q - 3*q - 273 = 0. Is q prime?
False
Suppose 0 = 5*r - 4 - 6, 0 = 4*f + 4*r - 804. Let l = f - 132. Is l composite?
False
Let t be 2/9 - (-788)/18. Suppose 0*p + 4*p - 43 = 3*n, n + 13 = p. Let i = t + n. Is i a composite number?
True
Let b = 0 + 5. Suppose -4*y + 71 = -b*r + 14, 3*r - 45 = -2*y. Suppose -4*u + 2*u - 27 = -l, 0 = -2*l - 5*u + y. Is l a prime number?
True
Suppose -5 = -g + 9. Is (-3 + g)*(-1 + 2) prime?
True
Suppose -4*c + 7*l - 2*l = -2, l = -4*c + 14. Let z(x) = c - 3 + 15*x + 0 + 4. Is z(7) composite?
False
Suppose -x + 3 = 0, -2048 = -7*u + 2*u - x. Is u composite?
False
Let u be 3/2 - (-2)/4. Suppose 0*b + u*b = 3*l, -4*l + 7 = -5*b. Let r(j) = 15*j**2 + 2*j + 3. Is r(l) composite?
False
Let p = -154 - -132. Let k be (0 - -1)*-1*-77. Is (-4)/p - (-11459)/k a composite number?
False
Is (((-15)/(-10))/3)/(1/1754) composite?
False
Suppose 4*p = -4*u - 16, -4*u - 4 = -3*u. Suppose 3*m + 3*a = -240, -5*a = -4*m - 0*m - 311. Let h = p - m. Is h prime?
True
Suppose -5*y = -2174 - 171. Is y a composite number?
True
Let w(g) = 438*g**2 + 2*g + 1. Is w(2) a prime number?
False
Let v(w) = -w**3 - 8*w**2 + 14*w + 16. Suppose 7*y = 3*y - 44. Let f be v(y). Let p = f + -158. Is p composite?
False
Let a(f) = f**2 + f - 7. Let c(h) = h**3 - h - 4. Let t be c(0). Let q = t - 1. Is a(q) prime?
True
Let f = 6 + -3. Suppose 0 = 2*x - f*x. Suppose -166 = -2*c + 2*m, -4*c - m + 4*m + 336 = x. Is c prime?
False
Let h be (16/3)/((-7)/(-21)). Suppose -4*j = -12 - h. Is j composite?
False
Let c = 694 - -1897. Is c composite?
False
Let v be (-3 + 3)*(0 + -1). Is (v + (-2)/(-2))*47 composite?
False
Suppose 2*q - 7*q = 0. Let l(x) = x + 253. Let g be l(q). Suppose -7*t + g = -6*t. Is t comp