= 0, -s + 3*a = -2*s + 17. Suppose -o + 1551 = s*o. Is o composite?
True
Let x(m) = -129*m + 13. Is x(-6) a composite number?
False
Let m(q) be the third derivative of -11*q**6/120 - q**4/12 + q**3/6 - 2*q**2. Is m(-2) prime?
False
Let f = 516 + -279. Is f a prime number?
False
Let u = 9 - 4. Let p(x) = -x**3 + 4*x**2 + 5*x + 3. Let s be p(5). Suppose 22 = u*y - s*y. Is y composite?
False
Let a = 1128 - 679. Is a composite?
False
Suppose 5*y = 793 + 27. Let j = y - 102. Is j a prime number?
False
Suppose -8*s + 4*s = -716. Is s a prime number?
True
Let y = -7 + 33. Is ((-21)/(-6))/(1/y) a prime number?
False
Let m = 562 + -183. Is m a composite number?
False
Suppose -1 = -4*r + l + 15, 20 = -5*l. Is ((-57)/12)/(r/(-12)) prime?
True
Let p be (0/(-3) - -6) + -1. Let w(a) = -18*a + 3. Let n be w(p). Let u = -48 - n. Is u prime?
False
Let m = -2 - 0. Is m*29/(2 - 3) composite?
True
Suppose -6*l - 23 = -107. Is l prime?
False
Let x be (-2)/(-4)*(3 + -5). Let m be 2/((-2)/(-3 + x)). Suppose -83 = -m*l + 5. Is l a prime number?
False
Is 8/10 + (-5172)/(-60) composite?
True
Let n(k) = -3*k**3 + 4*k + 7. Is n(-6) composite?
False
Suppose 1978 = 2*h + 686. Suppose 6*l - 3*l - 18 = 0. Is h/4 + (-3)/l composite?
True
Suppose -4*l = -3368 - 108. Is l a prime number?
False
Is (14/5)/((-10)/(-25)) a prime number?
True
Let j be 2776/18 - (-10)/(-45). Suppose 5*s = j + 516. Is s a composite number?
True
Let i(z) = 30*z - 7. Is i(4) a prime number?
True
Let i be (-22)/4 + (-3)/6. Let n be 1058/i + 2/(-3). Let r = 256 + n. Is r a prime number?
True
Suppose 110 = 15*d - 13*d. Is d a prime number?
False
Suppose -5*g + 65 = -30. Is g composite?
False
Let x(f) = 5*f**2 + 9*f - 11. Is x(6) a composite number?
False
Let o = 999 + -521. Is o prime?
False
Suppose -n - 3 = -7. Suppose -5*s = n*b - 106, 4*s + 4*b - 18 = 3*s. Is s prime?
False
Let h(x) = -x + 2. Let g be h(0). Suppose g*a + 3 = -1. Is 267/(-6)*(a - 0) composite?
False
Let k(u) be the first derivative of u**4/4 + 7*u**3/3 - u**2/2 - 4*u + 1. Is k(-5) a composite number?
True
Let z = 6 + -12. Let n be 2/((-3)/((-93)/2)). Let j = n + z. Is j prime?
False
Let h(b) = 3*b**2 - 5*b - 7. Let j be h(6). Is j*(0 + 0 + 1) prime?
True
Let k(d) = d**2 + 3*d + 3. Let u be k(-3). Suppose -u*i + i = -218. Is i composite?
False
Let x = 221 - 134. Suppose -4*j + x = -1237. Is j a prime number?
True
Let y = 9 - 6. Suppose -407 - 508 = -y*c. Is c a composite number?
True
Suppose 4*y - 5*l - 18815 = 0, 0 = -4*y - 3*l - 4498 + 23321. Is y a prime number?
False
Let n be -2 - (-7 + (-1 - 1)). Let s(q) = q**3 + 7*q + 8 + 0 + 1 + n*q**2. Is s(-6) composite?
False
Suppose 1 = 3*y - 11. Suppose 3 = -y*v + 23. Suppose 5*q - 3*n - 122 = 0, -q + v*q - n = 99. Is q a prime number?
False
Suppose -j + 490 = 5*v - 6*j, 2*v = -4*j + 226. Is v a composite number?
False
Suppose -v - 36 = 4*v - 2*k, 3*v + 22 = k. Let t = -5 - v. Is 1 + -38*t/(-2) composite?
True
Let s(z) = 2*z**3 + 4*z**2 + 4*z - 1. Let d be s(-3). Let m = -17 - d. Is m a composite number?
True
Suppose 0 = 3*g + 7 - 64. Is g a composite number?
False
Suppose 0 = -2*o - 0*o. Suppose -46 - 37 = -4*c - g, o = 3*c + 2*g - 61. Is c composite?
True
Suppose i - 4*i = 6. Let s = 6 + -1. Let l = s - i. Is l composite?
False
Suppose o + 3*k = -7, -2*k + 4*k = -3*o. Suppose -3*n + 3 = 3*g, -n - o*g + 2 = 2*n. Suppose -2*f = 5*b - 609, -3*b - 3*f + 369 = -n*f. Is b a prime number?
False
Is (3 - 1) + 404 - 3 a composite number?
True
Let f = -1 + 3. Suppose 165 = b + f*b. Let g = -32 + b. Is g composite?
False
Suppose -c = 2*c. Suppose -2*p - 4*b = c, 36 = -3*p + b + 2*b. Let x = 19 + p. Is x a composite number?
False
Let z(i) = 4*i**3 + 8*i**2 - 13*i + 13. Is z(6) composite?
False
Suppose -4*o - 8 = 8. Let g = 4 + o. Suppose 0 = 2*l + 5*j - 64, g = 4*l - 0*l - 5*j - 158. Is l composite?
False
Let s(x) = -11*x**2 + 23*x + 14. Let c(m) = -6*m**2 + 12*m + 7. Let q(n) = 5*c(n) - 3*s(n). Is q(8) composite?
False
Let d(t) = 34*t**2 + t + 1. Is d(-6) a prime number?
False
Suppose 8 = -o + 1301. Is o composite?
True
Let f(m) be the third derivative of m**5/60 - m**4/12 - m**3/3 + m**2. Let b(q) = q**2 - 19*q + 6. Let x be b(19). Is f(x) a prime number?
False
Let a(r) = 4*r - 4. Let i be a(-3). Is ((-308)/i)/((-2)/(-8)) composite?
True
Let x(j) = j**2 + 3*j - 4. Let p be 2*(27/(-6))/(-3). Let h be x(p). Is 458/h + (-2)/(-7) composite?
True
Let g = -5 - -12. Is 44 + g + 0 + 2 a composite number?
False
Let x(s) = 8*s**2 - 11. Is x(-7) a composite number?
True
Is 14744/56 - 2/7 prime?
True
Let x(k) = -396*k + 5. Is x(-2) prime?
True
Suppose -d + 7*y = 2*y + 22, -5*d + 3*y = 0. Suppose -d*m + m + 518 = 0. Is m a prime number?
False
Suppose -4*f + 7 = 3*c - 6, -c - 3*f + 6 = 0. Let y = -4 + c. Let g(i) = 5*i**2 - 2*i - 1. Is g(y) a prime number?
False
Suppose -6*n + 385 = -n. Is n composite?
True
Let q(f) be the first derivative of 3*f**5/10 - f**4/24 + f**2 - 2. Let g(v) be the second derivative of q(v). Is g(-1) composite?
False
Let w(p) = p**2 + 3*p - 4. Let f be w(-5). Let r(s) = 9*s - 5. Is r(f) composite?
True
Let o(q) = -q**2 + 10*q + 13. Let r be o(11). Let x(p) = 9*p**2 + 3 + 4*p**2 - 4*p**r - 2. Is x(-2) a prime number?
True
Let q be (0/(-1))/(2 + -1). Let n(k) = k**3 + 0*k**3 + q*k**3 + 4*k + 5*k**2. Is n(-3) a prime number?
False
Suppose y = -218 + 1889. Is y a composite number?
True
Let z(p) = 20*p - 2. Let c be z(-3). Let u = c + 87. Is u a composite number?
True
Suppose 3105 + 420 = -5*p. Let u = -484 - p. Is u prime?
False
Suppose 14*t = 9*t + 335. Is t a composite number?
False
Let a(v) = -v**3 + 6*v**2 + 15*v + 15. Is a(-10) a prime number?
False
Is 28/(-70) - 794/(-10) a composite number?
False
Let t be (-2 - 0) + (4 - 7). Let g = -3 - t. Suppose 3*o = -5*j + 8*o + 195, -5*j + g*o + 189 = 0. Is j prime?
True
Let i be (-1)/2 + 25/10. Is (-642)/(-30) + i/(-5) a composite number?
True
Suppose q + 3*q = -2*s + 1338, -4*s = -5*q - 2702. Is s composite?
False
Let g = 1342 - 557. Is g a prime number?
False
Let l(t) = 9*t**3 - 3*t + 3. Let d be l(2). Suppose 3*m - b = -120 - 17, 4 = -4*b. Let z = m + d. Is z a prime number?
True
Let c(s) = -s**3 - 2 + 0*s + 10*s**2 - 7*s + 7. Suppose -4*o - 2*j = -18 - 4, 3*j - 1 = -2*o. Is c(o) a composite number?
True
Is (-40797)/(-45) - (-6)/15 composite?
False
Let i = 2 - -1. Let y be 8/i + (-2)/3. Suppose -5*m + y*m + 18 = 0. Is m a prime number?
False
Let y be 1*5*(-374)/85. Let r = 5 - 11. Is r/(-33) - 1470/y composite?
False
Let s = 5 - -2. Let p = 17 + -1. Let o = s + p. Is o composite?
False
Let v = 19 - 14. Suppose v*m + 0*m - 635 = 0. Is m composite?
False
Let t = 207 - 124. Is t composite?
False
Suppose 2*o - 3*o + 47 = 0. Let r = o - -6. Is r composite?
False
Let i(g) = -g**3 + 5*g**2 + 7*g. Let a be i(6). Let k be (20/a)/((-12)/(-18)). Suppose 0*z + z + 390 = k*f, 0 = -3*f + 2*z + 227. Is f composite?
False
Is -11 + 12 - (1*-1754 + -2) prime?
False
Suppose -y + 2216 = 3*y. Is y a prime number?
False
Let u(f) = -f. Let g(y) = 3*y - 1. Let v(p) = g(p) + 2*u(p). Let z be v(5). Is (-1)/z - 927/(-12) a prime number?
False
Suppose 0*d + 5335 = 5*d. Is d a prime number?
False
Let a be 4/2*(2 + -1). Suppose -a*r = r. Suppose 0*p + 2*p - 74 = r. Is p a composite number?
False
Let h(s) = -1 + 0 + 4*s**2 + 3*s - 9*s + s**3. Let r be h(-5). Suppose 0 = -c + r*y + 35, 2*y = -3*c + y + 53. Is c a composite number?
False
Let t(j) = 7*j**3 + 2*j**2 + 4*j - 4. Let m be t(3). Is 9/(-12) - m/(-4) a composite number?
False
Suppose -2*s + s = 0. Suppose s*d - 172 = -3*d - g, -4*g - 138 = -2*d. Is d composite?
False
Suppose n + 15 = 3*x + 6*n, 0 = -2*x + 3*n + 10. Suppose 540 - 45 = -x*g. Let u = -68 - g. Is u composite?
False
Let o(i) = -126*i - 17. Is o(-6) composite?
False
Suppose -10 = -2*b, 0*l + 2*l = -3*b + 19. Suppose 2*m = -4*y + 4, 2*y = -y + l*m - 4. Suppose -3*t - 15 = 0, t - 23 = -y*z - 4*z. Is z composite?
False
Suppose -3*q - 3*b + 18 = 0, b + 3*b + 46 = 3*q. Let m = 15 - q. Let y(g) = g + 1. Is y(m) a composite number?
True
Is -93*(-2)/(4 + -2) a composite number?
True
Suppose -5*f + 4*t + 35 = 0, 2*f - 4 = -f - t. Is 1 - (f + -583)*1 a prime number?
False
Let u = -6 - -9. Let o = 188 - u. Is o composite?
True
Let r(g) = g**3 - 10*g**2 + 6*g - 14