a prime number?
True
Let s = -27 - -91. Let g = s + -21. Is g a prime number?
True
Let k(y) be the first derivative of 15*y**2/2 + 1. Let r be k(5). Suppose 6*c = c + r. Is c prime?
False
Let v = 54 + 55. Is v a prime number?
True
Let y = -632 + 4021. Is y prime?
True
Let r(d) = -2*d**3 + 7*d**2 + 6*d + 1. Let o(v) = -v**3 + v. Let j(z) = -3*o(z) + r(z). Is j(-4) prime?
True
Suppose 0 = -2*l - 2, -3*f + 248 + 882 = l. Is f a prime number?
False
Suppose 4420 = 26*q - 6*q. Is q a prime number?
False
Let p(i) = -13*i**3 - 3*i**2 + 4*i + 5. Let a(t) = -53*t**3 - 13*t**2 + 16*t + 21. Let s(j) = -2*a(j) + 9*p(j). Is s(-2) a composite number?
False
Let w = 445 + -265. Suppose 4*l - n + 2*n - w = 0, 0 = 3*n. Suppose -5*u + 4*k + l = 0, -4*k = -2*u + 5 + 1. Is u prime?
True
Suppose 3*j = 4*z + 911, -3*j - 317 = -4*j - 2*z. Is j a prime number?
False
Suppose -5005 = -4*t - 3*h, -3*h = -0*t - 2*t + 2525. Is t a composite number?
True
Suppose -b + 155 = -5*s, 2*s + 439 = 3*b - 0*s. Is b composite?
True
Suppose -5*c + c = 84. Suppose 4*g = 17 + 151. Let w = c + g. Is w prime?
False
Suppose 9*y + 5*j = 4*y + 15, 0 = -y - 4*j. Suppose 3*k - y*b - 117 = 0, 7*k - 3*k = -b + 175. Is k a prime number?
True
Suppose 5*m = -4*c - 88, 4 = -3*c + c. Let l = m + 22. Suppose -k = l - 29. Is k prime?
True
Let w = -1174 - -2297. Is w composite?
False
Let i be (3*56)/((-10)/(-15)). Let g = i + -89. Is g composite?
False
Let m(y) = y**2 + 5*y - 5. Let h be m(-6). Is (-2 + h)*-1 - -292 prime?
True
Let p(z) = -79*z - 5. Is p(-6) a composite number?
True
Suppose -3*h = -0*h. Suppose -2*t + 6*t - 16 = 0. Suppose h = -w + 9 + t. Is w a composite number?
False
Suppose -2 = 4*g + 10, 3*g + 3 = -3*x. Let u be (-8)/((1 + x)/(-18)). Suppose 337 = 5*m - u. Is m composite?
True
Suppose 390 = 2*j - 5*s, 4*j = -s + 704 + 76. Suppose 791 - j = 4*t. Is t composite?
False
Suppose m + 4 = -n, 6 = -0*n - 2*n - m. Let o = 53 - n. Is o a prime number?
False
Suppose -3*c + 3*z = -198, -3*c + 0*z + 214 = 5*z. Let g = -19 + c. Is g a prime number?
False
Suppose -h + 5489 - 15800 = -3*g, 3*h = 0. Is g a composite number?
True
Suppose -2*j - 3*h + 500 = 0, -3*h = -j + 4*j - 747. Is j a composite number?
True
Let a be 26/((-60)/(-27) + -2). Suppose 53 = 2*i - a. Is i a composite number?
True
Suppose -2*c + 6 = -0. Let j(p) = -p**2 + c*p**2 - 5 + 2*p**2. Is j(-5) a composite number?
True
Let j = -717 - -1396. Suppose 3*i - j = -3*x + 293, 329 = x + 2*i. Is x composite?
True
Let d be 3/9*(10 + -1). Suppose -d*a = -y + 4*y - 105, -5*y = -4*a + 176. Is a prime?
False
Suppose 2*r - 760 = -2*p, -168 = -r - 4*p + 206. Is r prime?
False
Suppose 7*y - 6*y - 334 = 0. Is y a prime number?
False
Is 546 + (-4)/1 + 3 a composite number?
True
Let i(q) be the third derivative of -8*q**4/3 - 5*q**3/6 - 4*q**2. Is i(-4) prime?
True
Suppose 2*x = 3*p - 268, -7*p = -3*p - 5*x - 369. Suppose 4*o - 2*o = -p. Is -3 - 3/(-1) - o a prime number?
True
Suppose 0 = 2*z + 4*o - 292, -2 + 7 = o. Let r = -234 + z. Let f = r + 175. Is f composite?
True
Suppose 2*o + 4*f = 702, 2*o - f = -0*o + 692. Is o a prime number?
True
Let u = -9 - -12. Suppose 0 = 2*z + u*c - 290, 0*z = 5*z - 2*c - 706. Is z a prime number?
False
Let j(a) be the second derivative of -a**7/840 + 11*a**6/360 + a**5/15 - 3*a**4/8 - a**3/3 + 3*a. Let f(h) be the second derivative of j(h). Is f(11) composite?
False
Suppose -x + 594 = 4*g, 3*x + 451 = 3*g + x. Is g a composite number?
False
Suppose 5*x - 13 - 7 = 0. Suppose p + 1 = 6, -x*p = 2*r - 26. Suppose 0 = -5*h + r*h + 28. Is h a composite number?
True
Let z(m) = -401*m - 34. Is z(-7) a prime number?
False
Is (0 - 2)/(6/(-699)) a prime number?
True
Let f = -9 + 13. Suppose -f*t + 99 = -113. Is t a composite number?
False
Is 0 - (-12)/(-4) - -214 composite?
False
Let h(s) = s**3 - 6*s**2 - 7*s - 6. Let n be h(7). Let c = n + 109. Is c a composite number?
False
Is 1 + -2 + 4 + 232 a prime number?
False
Let x(l) = -l**3 + 9*l**2 + 14*l + 13. Is x(10) a prime number?
True
Suppose 5*b = -3*v + 25, 0*b = 4*b + 16. Suppose -65 = -2*f + 2*o - v, 4*o = f - 16. Let m = f - 17. Is m a composite number?
False
Suppose 0 = 4*u - 3*g - 625, 5*u - g + 464 = 1248. Is u composite?
False
Let v(k) = -20*k - 3. Let j be v(3). Is (j/(-18))/((-2)/(-284)) prime?
False
Suppose 0 = -0*l - 3*l + 9. Suppose u = 3*d + 62, 4*u - l*d - 147 = 110. Suppose 2*v - 9 - u = 0. Is v a composite number?
False
Suppose -171 = -t + 4*p, t + p + 39 - 200 = 0. Is t composite?
False
Let x = -2 - -4. Suppose x*j - 4*n = -0*j - 514, -3*n - 798 = 3*j. Let l = j - -474. Is l prime?
True
Suppose 2*o - 3*o + 136 = 0. Let h = o - 53. Is h a composite number?
False
Let p be ((-8)/4)/((-4)/782). Let o = -206 + p. Suppose 3*k = -2*k + o. Is k a prime number?
True
Let s(n) = 32*n - 4. Let q be s(3). Let i = 131 - q. Is i prime?
False
Let j(o) = o**2 + 5*o - 6. Let d be j(-6). Suppose -5*u = -2*s + 65, u + d*u = 1. Is s prime?
False
Suppose 4*k - 3 = 1. Let g(l) = 13*l**3 + l**2 - 2*l + 1. Is g(k) prime?
True
Suppose -15 = -m - 2*m. Suppose 2*k - 542 = -m*l + 6*k, -3*k - 9 = 0. Is l a composite number?
True
Suppose 7*h - 2*h - 2215 = 0. Is h a prime number?
True
Suppose -2*l - 2*l = 0. Let q = 0 - l. Suppose -h + 17 + 52 = q. Is h composite?
True
Suppose 4*m + 8 = c - 5*c, 5*c + m = 10. Let t(i) = -i**3 + 3*i**2 + 2*i - 1. Let h be t(c). Suppose -4*z - 3*n + 179 = -379, -h*z + 4*n + 713 = 0. Is z prime?
False
Suppose 0 = -0*h - 4*h + 5908. Is h a prime number?
False
Suppose -3*t - t + 3145 = 5*d, 2*d - 5*t = 1258. Is d composite?
True
Let j = 6 - 2. Suppose -3*x = -j - 11. Suppose 5*c - x = 0, 2*w + 3*w - 599 = -4*c. Is w a composite number?
True
Let q = 113 + 378. Is q a composite number?
False
Let j = -5 - -5. Let d = j - -2. Suppose 165 = d*i + 3*i. Is i prime?
False
Let z = 5 + -4. Is z/(((-3)/(-141))/1) composite?
False
Suppose 4*n - 6 - 6 = 0. Let q be 8/(-12)*30/(-4). Suppose q*k - n*k = 222. Is k composite?
True
Is 201*(39/(-9) + 4)*-13 prime?
False
Let i = -4 + 4. Let d be (-4)/(-1) + i/(-4). Suppose 0 = m + d*m - 105. Is m composite?
True
Let n be 4/10 - 3996/(-10). Is (-4)/(-4)*(n - -3) a composite number?
True
Let i(n) = -16*n + 1. Let g(l) = -16*l + 1. Let u(t) = 4*g(t) - 5*i(t). Is u(3) a composite number?
False
Suppose 4*c + c + 4*i = 655, -393 = -3*c - 2*i. Is c composite?
False
Let k(y) = -y**2 + 6*y - 4. Let j be k(3). Suppose -4 = -2*m - 0, 1150 = 2*q - j*m. Suppose 3*c + 115 = q. Is c prime?
False
Suppose 3*z - 6 = 18. Let u be z*(-1 - (-9)/6). Suppose -23 = -u*m - p, -5*m - 2*p + 28 = 3. Is m a composite number?
False
Suppose -1315 = -2*i - 3*i. Let a = 171 - 277. Let g = a + i. Is g composite?
False
Let u be (-1)/(4/14)*24. Let g = 143 + u. Suppose 4*f - p - 182 = -f, -5*p = -2*f + g. Is f prime?
True
Let p = 1017 + -678. Is p prime?
False
Let v(w) = w**3 - 4*w**2 + w + 2. Let s be v(4). Is 15412/60 - s/(-45) a composite number?
False
Let d = 3 - -6. Suppose -2*m + 2 = -2*v, 0*m + 5*v + d = 3*m. Is 385/15*(-6)/m a prime number?
False
Let b = -34 - -563. Is b a prime number?
False
Let l(p) be the first derivative of 2*p**2 + 9*p + 3. Is l(7) composite?
False
Let c = 344 + 210. Is c a composite number?
True
Let s(c) = c**2 - 5*c - 6. Let j be s(5). Let u(o) = -o**3 - 4*o**2 - 1. Is u(j) a composite number?
False
Is 1/(-2)*(-1045 + 3) a prime number?
True
Let d(l) be the first derivative of l**4/4 - 5*l**3/3 - 3*l**2/2 + 13*l + 4. Is d(6) prime?
True
Let i(n) = 78*n**2 - 3*n - 1. Is i(-2) a composite number?
False
Let z(h) = 3*h**2 - h - 5. Let k(r) = 4*r + 1. Let y be k(1). Is z(y) composite?
True
Let j = -13 - -69. Is ((-153)/36)/((-2)/j) composite?
True
Let q(p) = p**2 - 5*p - 7. Let a be q(7). Suppose -3 = -5*f + 2. Is (a + -6)/(f/89) a composite number?
False
Let n(k) = -5*k**2 + 6*k - 8. Let b(p) = 4*p**2 - 5*p + 7. Let s(d) = 6*b(d) + 5*n(d). Is s(0) composite?
False
Let a(w) = -6*w**2 - 5*w - 34. Let r(t) = 5*t**2 + 4*t + 34. Let u(q) = 4*a(q) + 5*r(q). Let p be (-4)/14 - 2/(-7). Is u(p) composite?
True
Let r(l) = 133*l + 43. Is r(10) a composite number?
False
Suppose -3*o + 29 = 5*j - 10*j, -4*o = -j - 16. Suppose -r = -o*f - 3 - 13, 5*r = -4*f + 42. Let y = r + 4. Is y prime?
False
Let x be -2*(-2 + (-7)/(-2)). Let o = 0 - x. Sup