 2 a composite number?
True
Suppose 0 = -k - 2*a - 0*a + 261, 2*k - 516 = -a. Is k a composite number?
False
Let p(x) = 79*x**2 + 2*x. Let s be p(-1). Suppose -6*y + i = -4*y - 8, 6 = 4*y + 3*i. Suppose 54 = -0*r + 2*r - 2*d, -y*r + 4*d = -s. Is r prime?
True
Let m = 16 + -15. Let w(b) = 142*b**2 - 1. Is w(m) a prime number?
False
Let z(c) = -c + 13. Let g be z(7). Let o be ((-2)/g)/((-3)/45). Suppose -n - 117 = -2*v, -2*n = -v + o*v - 238. Is v composite?
False
Suppose -5*g = 3*x - 1682, 0*g = 3*g - 3. Is x prime?
False
Let g be 39/9 - 2/(-3). Let n = g - 1. Let v(z) = 2*z**3 + z**2 - 4*z + 3. Is v(n) composite?
False
Let p(s) = -4*s**3 + 3*s**2 + 3*s + 1. Is p(-4) composite?
False
Let d = 4 + 333. Is d a composite number?
False
Let x be 16/(-2) + 0 + 2. Is ((-69)/(-6))/((-3)/x) a prime number?
True
Suppose 4*k = 5*k - 14. Let z = k - -11. Is z a composite number?
True
Let z(c) = -c**2 - 3*c + 3. Let i be z(-3). Suppose -2*m + 154 = 4*l, i*l = -3*m - 2*l + 231. Is m composite?
True
Suppose 58 = 3*t + 19. Suppose 2*n = 162 + 2268. Is (-2)/t - n/(-39) a prime number?
True
Suppose -20*x + 286 = -18*x. Is x a prime number?
False
Suppose 0 = -6*a + 7*a. Suppose a = -3*c - 3*z + 378, 4*c + 0*z = -3*z + 501. Is c prime?
False
Let w(m) be the third derivative of 2*m**4/3 - m**3/3 + 3*m**2. Let a be (0 - -1)*(4 - 1). Is w(a) a composite number?
True
Suppose -2*i = -4*i - 2. Let m be -1*0/(-2)*i. Suppose m = -0*o - o + 69. Is o prime?
False
Let c(a) = -a**3 - 3*a**2 - 6*a + 7. Let m be 10/4*-2*1. Is c(m) a composite number?
True
Let f(k) = -k**2 + 7*k + 8. Let p(w) = 7*w**2 - w. Let c be p(1). Let q be f(c). Is (-188)/(-28) + 4/q composite?
False
Let p be (-1)/(-2) - (-5)/10. Let t = p - -5. Suppose 0 = -3*m + t*m - 147. Is m a composite number?
True
Let a = -1 + 1. Suppose -2*w - s + 20 = a, 0 = 2*w - s - 16. Suppose -176 = -5*k + w. Is k composite?
False
Suppose 14*a = -u + 10*a + 3385, 0 = -4*u - 3*a + 13540. Is u a composite number?
True
Suppose n - 6*i = -i + 501, 3*n - 5*i = 1543. Is n composite?
False
Let d(x) = -x**3 + 3*x**2 + 3. Let y be 2 - (5 + -2) - -4. Let b be d(y). Suppose u - 19 = 4*a, 3*u + b*a = -a + 25. Is u prime?
True
Let o(p) = 2*p**2 - p. Let z(g) = 5*g**2 - 3*g - 1. Let m(j) = -9*o(j) + 4*z(j). Is m(-3) composite?
False
Let z(s) = s**2 + 8*s + 14. Is z(-19) a prime number?
True
Suppose 0 = -3*a - 3*d + 78, 0 = -a - 3*d + 15 + 13. Suppose 5 - 13 = -2*h. Suppose -j - 4*p = -0*p - a, -5*j = h*p - 173. Is j a prime number?
True
Let f = -22 - -43. Is f composite?
True
Is 4/6 - 2839/(-3) composite?
False
Let k(o) = o**3 + 10*o**2 - 6*o - 8. Is k(-9) composite?
False
Let w(j) = 5*j + 1 + 0 + 2. Is w(4) composite?
False
Let q(a) = 14*a - 1. Let x be q(4). Suppose -3*h + x = 2*h. Let r = 20 + h. Is r prime?
True
Suppose -5*g + g = 3*l - 1931, 0 = -2*l - 5*g + 1292. Is l a composite number?
False
Let o(n) = 10*n**2 + 17*n + 8. Is o(-7) a prime number?
True
Suppose -4*i - 5*z = 1 - 3, 4*z = 4*i - 20. Suppose m - 255 = f, -i = -4*f + 13. Is m a composite number?
True
Suppose 0*p + 6606 = 4*v + 2*p, 2*p = 2*v - 3288. Is v a composite number?
True
Let b be (-1)/3 + (-16)/(-12). Is (-1 - (b - 1))*-15 composite?
True
Let w(s) = 0*s + 23*s**2 + 7*s**2 - s. Is w(-1) composite?
False
Suppose n - 1348 = 4*m, -5*m = -10*m - 3*n - 1668. Let h = m + 595. Is h prime?
False
Let u = 2672 - 1898. Suppose p + h + 49 = 450, 0 = -2*p + 5*h + u. Is p a composite number?
False
Let f = -110 + 197. Is f prime?
False
Suppose -5*f + 145 = 3*s, 2*s + 0*f = 4*f + 60. Let j = -2 + s. Suppose 2*z = 3*z - j. Is z composite?
True
Let s = 12 + -9. Suppose -473 = -s*c + 5*i + 57, 2*c - i - 365 = 0. Is c a prime number?
False
Suppose p - 9250 = l, -5*p - 4*l + 46280 = l. Suppose 0 = -2*s - 6, -p = -0*z - 4*z - 5*s. Is z a prime number?
False
Let v(d) = -2*d**3 - 3*d**2 - 7*d + 1. Is v(-5) a prime number?
True
Is 1213 + 49/7 + (-2 - -1) composite?
True
Let l be ((-157)/(-4))/(5/20). Suppose 2*g = 543 - 123. Let t = l + g. Is t prime?
True
Suppose l = -0 + 4. Let b be (-8)/36 + l/18. Suppose b = 3*p - 108 - 51. Is p composite?
False
Suppose 3*w + 16 = 1. Let o(b) = -97*b - 13. Let z(t) = 49*t + 6. Let q(f) = -3*o(f) - 7*z(f). Is q(w) composite?
False
Let t be (-2)/((-1 + 2)*-1). Suppose -3*b - 52 = -g, -t*g = -5*g + 3*b + 126. Is g prime?
True
Let j = 2 + -5. Let l be 30*(369/j)/(-3). Suppose 5*w + 5*g - l - 530 = 0, 4*g + 1769 = 5*w. Is w a prime number?
True
Is (99/(-22))/(6/(-652)) composite?
True
Let s(u) = u**3 + 4*u**2 - u - 4. Let r = 0 + -3. Let o be s(r). Let d = -4 + o. Is d a prime number?
False
Let c(l) = -73*l - 2. Is c(-3) a composite number?
True
Let i be 3 + 1 - (-1)/(-1). Let r(c) = -1 + i*c**3 + c - c**3 + 0*c**3. Is r(4) prime?
True
Suppose 0 = 5*h + 2*c - 4425, -6*h + 1789 = -4*h - 3*c. Is h prime?
True
Let n(g) = -2 + 2 + 8*g + 3*g. Suppose q = -5*h + 6*h + 8, -4*h - 12 = 0. Is n(q) composite?
True
Let o be (0 - 13) + -1 + 0. Let t be (-2)/(-3)*3 + o. Is (33/9)/((-2)/t) a composite number?
True
Let y = 5 + -4. Let z = -1 + y. Suppose 3*f + z*f = n + 900, 6 = 2*n. Is f prime?
False
Let t(d) = d**3 - 3*d**2 - 3*d. Let i be t(4). Suppose i*m + 211 = 5*m. Is m a composite number?
False
Let u = 62 - 21. Suppose -h = -42 - u. Is h prime?
True
Let x = -9 + 11. Suppose -3*w + b = -293, -x = 2*b + 2. Is w composite?
False
Let o be 1/2*(259 + 3). Let m = o + -69. Suppose -k + 3*k - m = 0. Is k composite?
False
Suppose n = -58 + 176. Let y(i) = 30*i**2 - 1. Let q be y(-2). Suppose -n = -3*v + q. Is v composite?
False
Suppose 0 = -4*q + q + 402. Is q a prime number?
False
Let q(j) = 100*j**2 + 3*j + 1. Is q(2) prime?
False
Let i be (0/(-2) - 3)*-4. Let j = -8 + i. Let p(t) = -t**3 + 5*t**2 + 2*t - 2. Is p(j) prime?
False
Let c be -1 + (-2)/((-6)/3). Suppose 2*g - 6 = -c*g. Suppose -7*y + g*y + 168 = 4*s, -y - 143 = -4*s. Is s a prime number?
True
Suppose -2*q + 2*c + 11 = -q, 4*c = -2*q - 10. Suppose -q*d = -0*d - 255. Is d composite?
True
Let f be (-1)/(2*1/24). Let t be f/(-4) - (1 + -1). Is t - (-1 + 141*-1) prime?
False
Let j(b) = 22*b**2 + 3. Is j(2) composite?
True
Let o(h) = 17*h**3 - 3*h**2 - 2*h - 7. Is o(3) a composite number?
False
Suppose 3*f + 524 - 3491 = 0. Is f composite?
True
Is (-3 - 1286/(-6))/((-6)/(-9)) composite?
False
Suppose -2*v + 6 = 3*u - 10, -2*u + v - 1 = 0. Suppose 283 = u*i - 255. Is i a composite number?
False
Let a(o) = o**3 - 2*o**2 + 4*o - 2. Let t be a(2). Let u be -6*1/t*-2. Suppose u*z - 3*z = -14. Is z a composite number?
True
Let g = 11 - -24. Is (-2)/(-10) - (-728)/g a prime number?
False
Let k(u) = 4*u**2 + u + 10. Is k(-13) prime?
True
Let u(t) = -4*t**3 + t**2 + t + 1. Let r be u(-1). Let o(g) = 2*g**2 + 5*g + 2. Is o(r) a composite number?
True
Suppose -175 = 6*m - 2533. Is m prime?
False
Let u(x) = -2*x - 51. Let y(k) = k + 50. Let w(p) = 3*u(p) + 4*y(p). Is w(0) a prime number?
True
Let b be (4/6)/(1/(-48)). Let j = 21 + b. Let q = j + 15. Is q prime?
False
Let d(x) be the second derivative of -x**5/20 + x**4/3 + 7*x**3/6 + x**2/2 + 3*x. Suppose 4*q + 4*i + 0 - 32 = 0, -5*i + 25 = 2*q. Is d(q) a prime number?
True
Let m(i) = -i**3 - i - 1. Let w(z) = 5*z**3 + 5*z**2 + 4*z + 6. Let p(n) = -6*m(n) - w(n). Let b = 4 - -1. Is p(b) prime?
False
Let a(g) be the second derivative of -g**5/20 + g**4/3 + g**2/2 + 3*g. Let y be a(4). Is 11/(0 + (2 - y)) a composite number?
False
Let o(x) = x**2 - 3*x + 1. Let w be o(3). Suppose -w = -2*i + 5. Suppose -11 = -i*m - 5*b, 0*m + 2*b - 31 = -5*m. Is m composite?
False
Let v(k) = k + 9. Let a be v(-7). Suppose 0 = -a*p + p. Is 0/(p - 3) - -6 a composite number?
True
Let s(l) be the first derivative of -l**2/2 - 6*l + 3. Let j be s(-8). Suppose 0 = -5*q + 3*i, -3*i = -q - j*q - 6. Is q composite?
False
Let d(h) = h**3 - 8*h**2 + 10*h + 11. Let c(z) = z**3 - 6*z**2 - z - 9. Let f be c(7). Let n be f/4 - 3/12. Is d(n) a prime number?
False
Suppose 5*l - 1488 = -2*i, -5*l + 4*i = -1760 + 266. Is l prime?
False
Let n = 1 - -2. Suppose 9 = v + n. Is v a composite number?
True
Let z(t) = -t**3 + 4*t**2 + 4*t - 5. Let a = -21 - -39. Suppose -5*n + a = -2. Is z(n) prime?
True
Let j be (-6)/2*(-14)/2. Suppose u - j = 184. Is u prime?
False
Let l = 3 + -7. Let x = -7 - l. Let k(t) = 4*t**2 +