-1 - -6) - -6188 prime?
False
Let x(w) = 1 - 2 + 4*w + 5*w + 5. Is x(5) a prime number?
False
Let f(k) = -5*k - 3 + 11*k**2 + 17*k**2 - 13*k**2. Is f(-4) a composite number?
False
Let p(o) = 48*o**2 - 2*o - 1. Let g be p(-1). Suppose -2 - 10 = -3*s. Suppose s*a = 3*a + g. Is a a prime number?
False
Let c = 0 - 21. Let u = -7 - c. Is u a composite number?
True
Let b = 3875 - 1604. Is b a prime number?
False
Suppose -7*q + 1841 = -0*q. Is q a composite number?
False
Let x(f) = -f**3 + 8*f**2 + 9*f + 2. Let s be (6/(-5))/(2/(-5)). Suppose 0*h + 27 = s*h. Is x(h) composite?
False
Let h be 0/(-1 + -1 + 4). Suppose h*i = 5*i - 215. Is i prime?
True
Let o = -1287 + 2108. Is o prime?
True
Let j = 79 + -46. Is j composite?
True
Suppose -d = -2*b - 393, d + 1562 = 5*d + 2*b. Is d prime?
False
Suppose -2*a - 4*j - 8 = 2*a, 4*a = 5*j + 10. Suppose a = -5*c - 3*b + 34, 4*c - b = 3*b + 40. Is (-12)/3*(-94)/c composite?
False
Let p(n) be the first derivative of 5*n**4/8 - n**3/2 - 2*n**2 - 4. Let k(i) be the second derivative of p(i). Is k(6) prime?
False
Suppose 0 = 4*p - 9*p. Suppose w + 5*d - 67 = p, 3*d = 3*w - 129 - 0. Is w composite?
False
Let k = 74 + 137. Is k composite?
False
Let c = -1791 + 2534. Is c prime?
True
Let u be 3 + (-496)/(-1 + -1). Let p = u + -108. Is p composite?
True
Let t = -458 - -987. Is t prime?
False
Suppose 0 = -3*x - 2*x + 10. Suppose 1 + x = -h, -4*o + 4*h = -664. Is o prime?
True
Let l(f) = f**3 + 7*f**2 + 3. Suppose 4*w + 5 = -23. Let s be l(w). Suppose -s*c - a = -107, -3*c - 5*a = 40 - 155. Is c composite?
True
Let x be ((0 + 3)/3)/1. Suppose s + 4*s + 15 = 0. Is 250 - 3/(s/x) a prime number?
True
Let i(b) = 24*b - 19. Is i(13) a prime number?
True
Let m(z) = -z**2 - 9*z - 1. Let c(q) = -3*q + 5. Let p be c(4). Is m(p) a composite number?
False
Let r(b) be the first derivative of 19/2*b**2 + 3 - 4*b. Is r(3) prime?
True
Suppose -2*v + 1418 = 4*z, -5*v = -5*z + 1409 + 341. Let p = -90 + z. Is p a prime number?
True
Let h be 39 + -1 + -1 - -2. Is h*1 - 6/3 a prime number?
True
Suppose -5 = -5*x, -6*q - 8862 = -10*q - 2*x. Is q a prime number?
False
Let n = -1 + 5. Let z(t) = 2*t**3 - 6*t**2 + t - 4. Let g be z(n). Suppose -5*f + 3*o + 338 = 0, 4*o + g = 4*f - 240. Is f a prime number?
True
Suppose 3*x + 5*x = 2776. Is x a composite number?
False
Let h(m) = 207*m - 4. Is h(1) prime?
False
Let r be (46 - -3 - 3) + 2. Suppose -r = -j + 4*a + 41, -4*j = -5*a - 378. Is j composite?
False
Suppose w - 3*w + 3*f = -6266, -3*f - 3133 = -w. Is w prime?
False
Suppose 0 = -9*f + 3343 - 364. Is f a prime number?
True
Let r(i) = 42*i**3 - i**2 - 2*i + 1. Is r(2) a composite number?
True
Let s(t) = -11*t**2 - t - 2. Let c be s(-2). Let v = c + 91. Is v prime?
True
Is (-10)/25*-5*422/4 a composite number?
False
Let h(n) be the first derivative of -n**4/4 - 4*n**3/3 + n**2 + 6*n - 10. Let u(q) = -q**2 + 2*q - 2. Let d be u(3). Is h(d) prime?
False
Suppose 7*w - 3*w - 1448 = 0. Is w composite?
True
Is (-21476)/(-35) + ((-2)/(-5) - 1) composite?
False
Suppose 13 = 4*p - 7. Suppose -p*u + 3*u + 134 = 0. Is u composite?
False
Let o(w) be the third derivative of -w**4/24 + 29*w**3/3 - 3*w**2. Let t be o(0). Suppose 5*n - 117 - t = 0. Is n prime?
False
Let u be 3/2*4*9. Suppose h + u = -2*h. Is (-6)/h + 724/6 a prime number?
False
Let s(f) = 2*f - 6. Let a be s(4). Let b(c) = a*c - 1 - 3*c + 6. Is b(-6) a composite number?
False
Suppose -672 = -4*o + 2*d + 416, d + 1084 = 4*o. Let c = o + -143. Is c prime?
True
Let j(c) = -4*c**3 - c**2 + c - 1. Let t be j(-2). Let n = t - 6. Suppose 2*o + n = 93. Is o a prime number?
True
Suppose 0 = -2*h - 3*n + 529, 2*h - h + n - 262 = 0. Is h a prime number?
True
Is (-68)/(1 - 2) - 1 a composite number?
False
Let v(y) = -y**3 - 5*y**2 + 7*y. Let g be v(-6). Is g/(-8) - (-761)/4 a composite number?
False
Suppose -3*j - 1096 = -4861. Is j composite?
True
Suppose 0 = -0*r - 4*r + 24. Let w = -2 + r. Let n = w + 9. Is n prime?
True
Suppose 2*d - 154 = -5*v, -v + 5*d - 13 = -60. Let f be (v/(-2))/((-1)/(-12)). Is f/(-9) + 2/(-6) composite?
True
Suppose 4*r - 4677 = 5*g, -2*r - 3*g - 2*g = -2301. Is r a prime number?
True
Suppose s + 2*l + 3 = 10, -4*l + 8 = 0. Let z = s + -12. Let r = z + 55. Is r a prime number?
False
Let m be 0 + 3 - (-2 + 2). Suppose -3*n - m*p - 15 = 0, 5*p + 0 = n + 11. Is 326/(-1 - n/2) a prime number?
True
Let z = 51 + 266. Is z prime?
True
Let y(b) = 115*b**2 - 10*b - 17. Is y(-6) composite?
True
Let r = 7 - 5. Is r*(1 - (-17)/2) prime?
True
Let b be 151 - (-4)/12*-9. Suppose b = -5*t + 7*t. Is t prime?
False
Let y be (-9 + 0)/(-1 - 0). Let l(h) = -h**2 + 2 + 5*h + 5*h**2 - y*h. Is l(2) composite?
True
Suppose -297 - 700 = -2*d + 3*s, -5*s = 5. Is d composite?
True
Let q be 2/(-2 + 0) + 6. Let u(w) = -w**3 + w**2 + w. Let i be u(0). Suppose 3*m = -h - i*h + 79, 0 = -q*h - 5*m + 395. Is h composite?
False
Let z(y) = 0 - 4*y + 20*y - 1 + 6*y. Is z(4) a prime number?
False
Suppose -4*d + o + 2144 = 5*o, -1070 = -2*d - 4*o. Is d a prime number?
False
Suppose c + 11 - 152 = 0. Is c a composite number?
True
Let n = 12 + -23. Is -1*(-2)/(-2)*n composite?
False
Let w(r) = -10 + 5 + 2 - r**3 + 9*r + 6*r**2. Let t(z) = 6*z**2 + 1. Let i be t(-1). Is w(i) a prime number?
True
Let i(v) = v**3 - 2*v**2 + 2*v - 4. Let d be i(-3). Let o = 212 - d. Is o prime?
False
Suppose 2*r = -2*r + 2140. Is r a prime number?
False
Let o(f) = 12*f + 1. Suppose 2*s + 22 = -4*k, 2*s = -5*k - 8 - 17. Let t = -1 - s. Is o(t) a composite number?
True
Suppose -4*m + 22 = 3*y - 0*m, y - 22 = -5*m. Suppose -y*t + t = -3*r - 10, 2*t = -4*r. Is (-1160)/(-15) + r/6 prime?
False
Let r = 7204 - 4528. Is (1/(-3))/((-4)/r) a composite number?
False
Suppose 15 = 4*v - 9*v. Is ((-16)/4 - v)*-583 composite?
True
Let i(h) = 58*h - 11. Is i(6) composite?
False
Suppose 20 + 6 = -2*j. Let w(f) = 11*f**2 - 13*f + 15. Let m(q) = 5*q**2 - 6*q + 7. Let b(v) = j*m(v) + 6*w(v). Is b(-6) prime?
False
Suppose -3*p + 28 = 7. Is p a prime number?
True
Is (-13)/65 + (-1866)/(-5) prime?
True
Let k(j) = j**3 - 8*j**2 + 2*j - 9. Let y be k(8). Let b be y + (6/3)/(-2). Is (-94)/(-3) - 2/b composite?
False
Is 99909/68 + 2/(-8) composite?
True
Let t be ((-10)/3)/(14/(-21)). Is (-6)/15 - (-327)/t prime?
False
Suppose r = 5, q = -3*q - 3*r - 17. Is 5665/44 - 2/q a prime number?
False
Let d be 2/(-2) - (-2 - 0). Is d/2 - 146/(-4) composite?
False
Let g = -74 + 10. Let k = 213 + g. Is k composite?
False
Let a = 82 + -29. Is a prime?
True
Let x(d) = -11*d. Let t be x(-3). Suppose t - 343 = -2*q. Suppose 4*y = 4*n + 152, -2*y - 2*y = -5*n - q. Is y composite?
True
Suppose 12 = -3*u, -u = 2*n - 476 - 1226. Is n a composite number?
False
Let w = -107 - -218. Suppose 2*x - w = -x. Is x a prime number?
True
Let s = 162 - 83. Suppose 3*c = 122 + s. Is c a composite number?
False
Let d = 13 + 42. Is d composite?
True
Let j(i) = 103*i**2 + 4*i + 3. Is j(-2) composite?
True
Let n = 420 - 167. Is n prime?
False
Suppose 3*a + 5*b - 4222 = 0, 0*a - 5*a = -4*b - 6975. Is a composite?
False
Suppose 0 = -t + 2*s + 32, -6*t = -4*t - 2*s - 66. Let h = t + 45. Is h a prime number?
True
Suppose s - 5025 = 4*s. Let f(d) = -46*d**2 - d + 2. Let p be f(1). Is (-2)/9 + s/p a composite number?
False
Suppose b = 3*b - 222. Is b a composite number?
True
Let m = 9 + -6. Let h = m - -11. Is h composite?
True
Suppose 0*g - 777 = -7*g. Is g a composite number?
True
Suppose 0 = 2*x - 0*x - 4. Suppose -2*u = -3*u + x. Is 807/12 - u/8 prime?
True
Let j be 2/2*(-3 - -3). Suppose 0 = -2*p + 2*n - 6*n + 160, j = 2*p - 2*n - 142. Is p composite?
True
Is 11/((-1672)/1272 - (-4)/3) a prime number?
False
Is (7 - 6)/(3/129) prime?
True
Let f(n) = -93*n - 2. Is f(-1) a prime number?
False
Let v be ((-2382)/(-9))/((-4)/(-6)). Suppose u = -2*u - 3*f + 393, -v = -3*u - 4*f. Is u a prime number?
True
Let r(a) = 47*a**2 - 2*a - 7. Is r(-3) prime?
False
Let f(h) = h**3 - 10*h**2 + 15*h + 10. Let d be f(11). Let w = d - 135. Is w a composite number?
True
Let c = 169 + -72. Is c a composite number?
False
Is (-1)/(23735/5935 + -4) composite?
False
Suppose 11 = 4*n + 5*r, n - 4*r + 8 = 4*n. Suppose -253 = -5*o + 4*x, -7*o + 277 = -2*o + n*x. Is o a prime number?
True
Let g be 10/6*(-186)/(-2). Suppose -13 =