Is q prime?
True
Let y(j) = 51*j - 11. Is y(2) a composite number?
True
Let s(p) = 25*p**3 + 3*p**2 + 3*p + 1. Let q be s(-2). Is -2*(1 + q/2) a prime number?
True
Let v = 5 - 3. Let d be (-1)/((-3)/(-2) - v). Is (-4)/d + 22/2 prime?
False
Suppose o = -2*o + 21. Let i(a) = a**3 - 6*a**2 - 3*a. Let s be i(o). Suppose -2*t = -s - 10. Is t composite?
False
Suppose i = -d + 589, 0 = 5*d + 4*i - i - 2941. Is d a composite number?
False
Let y = -96 + 165. Is y prime?
False
Suppose 3*j - 2*j - 2*a = 628, -4*a = -j + 636. Suppose 5*n + j - 89 = 2*q, 2*n = -2. Suppose 94 = h - 5*o, h + 5*o - q = -h. Is h composite?
True
Let v(c) = -c**3 - 2*c**2 + 2*c. Let l be v(-2). Let k be l - -2 - (-36)/(-2). Is 12/k + 398/5 prime?
True
Let o(y) = 62*y**2 - 12*y + 9. Is o(4) composite?
False
Let n(z) = -z + 4. Let x be n(2). Suppose x*g - 6 = 0, 2*y - g - 55 = -20. Is y composite?
False
Let j(d) = -2*d + 23. Is j(-22) composite?
False
Suppose a + 0*a + 9 = 0. Let w(f) = -2*f**3 - 4*f**2 + 4. Let u be w(-3). Let i = a + u. Is i a prime number?
True
Suppose 5*s - 1 - 11 = -2*k, 0 = s + 5*k + 16. Suppose -x - 12 = -5*q + 24, 2*q - 3*x - s = 0. Is q/(-2)*1270/(-40) composite?
False
Let k = 0 - 0. Suppose -3*s - 4*g = -2 - 19, -5*g + 15 = k. Suppose 0 = s*f + 5*j - 13, -2*f + j + 0*j = -26. Is f prime?
True
Let a(v) = v - 4. Let z be a(6). Suppose 2*t = -5*g - z*t + 26, 2*g + 5*t - 24 = 0. Suppose -39 - 39 = -g*m. Is m prime?
False
Let y = 5 - 0. Suppose y*m + 0*m = 260. Suppose m = 2*b - 14. Is b composite?
True
Suppose d - 5*c - 7 = 892, 0 = -2*d - 4*c + 1770. Is d a prime number?
False
Let h(q) = q**3 - q + 131. Let t be (-4)/(-10)*(5 + -15). Let z = t + 4. Is h(z) composite?
False
Let s(b) = -b**2 - 14*b + 3. Suppose 2*c = 6*c - 24. Suppose 2*d - c = 0, 2*d = f + 4*d + 2. Is s(f) a composite number?
True
Let t = 1 + -1. Let l(r) = 15*r**2 + 4*r + 4. Let g be l(-3). Suppose y - g = -t*y. Is y a prime number?
True
Let k = 30 + -20. Is k a composite number?
True
Let j(r) be the third derivative of r**5/60 + r**4/6 - 4*r**3/3 - 2*r**2. Let b be j(-6). Suppose -b*d - 4*l + 96 + 232 = 0, 3*d = 2*l + 261. Is d composite?
True
Let f(i) be the third derivative of 3*i**5/20 + 5*i**4/24 - i**3/6 - 3*i**2. Is f(4) a composite number?
False
Suppose 44 = 4*x - 4*j, 0 = -x + 5*x + 2*j - 26. Suppose -x = z - 271. Is z a prime number?
True
Let y be 2*2 + (-18)/6. Suppose -2*h + 5 = y. Is h prime?
True
Is 0 + (-3)/8 + (-4150)/(-16) a composite number?
True
Let x(f) = 5*f - 8 + 2 - f. Let t = 5 + -1. Is x(t) composite?
True
Is (-10790)/(-20) + 3/2 composite?
False
Suppose m = -m + 322. Is m prime?
False
Let j be 9/(-6)*(-464)/6. Let i = 203 - j. Is i composite?
True
Suppose t - 1596 = -2*t. Suppose -786 = -3*c + 3*z - 4*z, 2*c = 2*z + t. Is c composite?
False
Let k be (-54)/12*(-1 + -1). Is 709/k - 12/(-54) prime?
True
Suppose r - c - 3*c - 26 = 0, -4*r + 119 = -c. Let j be (1 - -3)/((-5)/(-5)). Suppose 4*d = j*t + 24, 2*d - r = -3*d - t. Is d a prime number?
False
Let z(k) = k**3 - 5*k**2 + 2*k - 7. Let l be 2/(-3)*(-81)/(-18). Let o = 8 + l. Is z(o) prime?
True
Suppose 2*r - r = 0. Suppose r = -4*w - 84 + 736. Is w a prime number?
True
Suppose 74 = 20*o - 18*o. Is o prime?
True
Let i = -5 - -9. Is i composite?
True
Suppose 0 = -4*j + 3*j + 1. Is 117 + (j - 6/2) a composite number?
True
Let p = -411 + 2068. Is p prime?
True
Let h(n) = -156*n + 17. Is h(-5) a prime number?
True
Let t be ((-32)/(-24))/((-4)/(-6)). Let p be t/(-5) - 10242/(-30). Suppose k = m - p, 3*k = -2*m + 2*k + 682. Is m prime?
False
Suppose 0 = 5*z - z - 4*c - 588, 2*z - 5*c = 306. Is z a prime number?
False
Suppose 2*k = v + 67, 6*k - 4*v - 140 = 2*k. Let g = k - 10. Suppose 4*n = -5*u + 202, -4*n + 4*u - g = -242. Is n a prime number?
True
Suppose -3*s + 5*g + 91 = -0*g, 4*g = -2*s + 24. Is s prime?
False
Let a(z) be the first derivative of z**3/3 + 3*z**2/2 + 7*z + 2. Is a(-10) prime?
False
Is ((-1004)/4)/(0 - 1) prime?
True
Let f be 0 - 3*5/(-3). Suppose -4*r + 3*r = -f*l - 292, -4 = 4*l. Is r a prime number?
False
Suppose 0 = 6*m - 4*m - 2*w - 2990, -3*m + 4*w + 4481 = 0. Is m a composite number?
False
Suppose 0*f = -5*f + 20, -f = -5*w + 26. Let n(h) = -2*h**2 + w*h**2 - 3*h**2 + 5 - h. Is n(-4) a composite number?
True
Let j(w) = -3*w**3 - 29*w**2 + 36*w - 16. Let p(u) = 2*u**3 + 19*u**2 - 24*u + 11. Let x(v) = -5*j(v) - 8*p(v). Is x(-9) a composite number?
True
Is (-132)/8*(-164)/6 composite?
True
Suppose -6*i = -8*i + 10. Suppose 0 = 2*f - 793 + 149. Suppose 553 = 5*j - 3*d, -i*d - f = -4*j + 110. Is j a composite number?
False
Let v(x) = 4*x**3 + 16*x**2 + 17*x + 21. Let r(p) = 2*p**3 + 8*p**2 + 9*p + 11. Let j(y) = 11*r(y) - 6*v(y). Is j(-6) a prime number?
True
Is (44 - (-3)/3) + 4 composite?
True
Let x = 40 + 28. Suppose 3 = 2*z - 1, -2*s - z = x. Is -1*(s + -2*1) a prime number?
True
Suppose 5*i + 5*f = 1245, -f - 455 = -3*i + 300. Is i prime?
True
Let o = -891 + 1934. Is o prime?
False
Suppose 3*n + 332 = 1283. Is n a prime number?
True
Let h = 7 - 7. Is (h/1 - -56) + -3 a prime number?
True
Let c = 16 - 8. Suppose -p + 1003 = -3*b, 0*b - 5*b - 1666 = 4*p. Is b/(-4) - 4/c a composite number?
False
Suppose -5*y + 0*y = 2*l - 120, 5*y = -3*l + 190. Let a be (4 + l)/(2/17). Suppose 5*i + 3*c = -0*c + 796, 5*c - a = -4*i. Is i composite?
True
Is (-4)/(-26) - (-9850)/26 composite?
False
Let d = -5 + 7. Suppose 0 = -d*a + 4*a + 68. Let z = a + 123. Is z a composite number?
False
Let h(i) = 24*i**3 - 2*i**2 - 4*i - 1. Let k(y) = -96*y**3 + 7*y**2 + 17*y + 4. Let c(n) = -9*h(n) - 2*k(n). Is c(-3) composite?
True
Suppose 4*v = -2*q + 5*v + 3, 2 = 2*q - 2*v. Let o(b) = b - 7*b - 2 - 2*b**2 - 6*b + b**q. Is o(-7) prime?
False
Let h(d) = -9*d + 15. Is h(-14) a prime number?
False
Suppose n - 4*n = -1347. Is n a composite number?
False
Suppose -2*h - 2*h = -n - 5, 2*n - 5*h = -1. Let k(u) = u**2 - 6*u - 1. Is k(n) a composite number?
True
Suppose 17*n = 20*n - 40323. Is n composite?
False
Let f(v) = v**3 + 9*v**2 + 9*v + 4. Let b be f(-6). Let c be (1 + b/(-4))*-4. Suppose 18 - 179 = -5*h + k, c = 2*h - 3*k. Is h a prime number?
False
Let p be 5887/5 - 18/45. Let i be 4 - 3 - (1 - p). Is i/5 + (-4)/10 composite?
True
Let b be (6/(-4))/(3/(-4)). Suppose -x - 111 = -d, 0 = -3*x + 4*x + b*d + 99. Let t = 186 + x. Is t prime?
True
Suppose -1 = -2*h + 9. Suppose -g + 4*g - 62 = 5*d, h*g = 4*d + 99. Is g composite?
False
Let l(q) = 5*q**3 - 2 + 3*q**2 - 3 + 4 - 2*q. Let y(w) = w**3 + w**2 - w. Let c(s) = -l(s) + 2*y(s). Is c(-1) a prime number?
True
Suppose 9*b - 30 = 4*b. Let t(x) = 2*x**2 - x + 1. Is t(b) composite?
False
Let h be 8*((-73)/(-4) - -2). Suppose 0 = 5*f - 10, -h = -3*d + d + 4*f. Is d prime?
False
Let j = 11 + -10. Suppose j = v + 6. Is (-12)/5*v/2 prime?
False
Let d be (2 + (-2 - -1))*1. Let r = 46 + -112. Let n = d - r. Is n composite?
False
Let g = 71 - -152. Let w = g + -36. Is w a composite number?
True
Suppose 3*v + 30 = -2*v. Let z(d) = d + 5. Let i be z(v). Is (0 + -3)*13*i a prime number?
False
Is 145*(14/49 - 5/(-7)) prime?
False
Suppose 16*f - 275 = 11*f. Is f prime?
False
Let f = -25 + 27. Suppose f*t = -3*p + 125, 0*p = -2*t - 4*p + 130. Is t prime?
False
Let c(x) = -x**2 - 6*x - 10. Let z be c(-9). Let d = 52 + z. Is d a composite number?
True
Let o(y) = 371*y**3 + y - 1. Suppose -s + 3*k - 8 = 0, -4*k + 2 = -4*s - 6. Is o(s) composite?
True
Suppose -5*k = -7*k + 590. Is k prime?
False
Suppose 4*o - 894 = -2*p, -o - 2*o = 2*p - 889. Is p prime?
False
Let b be -3*(1 + -1 - 1). Suppose -y - b*y = -892. Is y a composite number?
False
Let u = -214 - -301. Is u a prime number?
False
Let o(j) = -j**3 - 6*j**2 - 6*j. Is o(-7) prime?
False
Let f(r) = 3*r**3 + 3*r**2 - 2*r. Let l be f(7). Suppose 0 = 3*i + 5*q - l, -2*i - 2*q - 3*q + 783 = 0. Is i prime?
True
Let v(p) = 50*p**2 - p - 4. Is v(-3) prime?
True
Let g(z) = 4*z**2 + z. Let u be g(1). Suppose u*y - 228 = 827. Is y a composite number?
False
Let z = 3 - 1. Suppose -3*k + 258 = 2*i - z*k, -5*i = 5*k - 635. Is i prime?
True
Is ((-6)/9 + 1)/((-6)/(-9378)) composite?
False
Is (-77)/(-2) + 3/6 a prime number?
False
Let u(q) = -7 - 2*q + 13*q**2 + 8*q + 5*q. Is u(7) a composite number?
True
Let p(b) = 18*b**2 - 7*b - 6. Is p(-5) prime?
Tru