 40*z**2 + z + 5. Is d(-4) prime?
True
Let b(a) = a**2 + 9*a + 10. Let i be b(-8). Suppose 2*z = i, 0 = 2*g + 2*z + z - 47. Is g a composite number?
True
Suppose 0*s = 2*s + 2*c - 660, 0 = -5*s - 3*c + 1652. Is s composite?
False
Let p be ((-36)/8)/(3/4). Let y = 8 + p. Is y a composite number?
False
Let z(u) = 24*u - 4. Let x be z(4). Suppose 2*g + 0*g - x = 0. Let b = g - 27. Is b a prime number?
True
Is (-3 - 4515/(-14)) + 1/(-2) composite?
True
Let y = -6 - -10. Suppose 0 = -v - 0 + y. Is ((-1)/(-2))/(v/760) prime?
False
Suppose -460 = -c - 3*c. Suppose -2*l + c = 3*l. Is l prime?
True
Let v = 2796 - 1967. Is v a composite number?
False
Let o be -1 - (-3 + -1 + 0). Suppose 4*q - 2*j - 170 = 0, -o*q - j + 87 = -q. Is q/3 + 8/12 a prime number?
False
Suppose 2*s + 16 = -3*u, 3*s + 4 = -4*u - 19. Let o(g) = -4 + 4*g + 2 + g**2 + 3. Is o(s) prime?
False
Let p be (22/(-6))/(1/3). Let i = p - -21. Is i a composite number?
True
Suppose 80 = -c + 489. Is c a prime number?
True
Let h(f) = -f**2 - 7*f - 5. Let k be h(-5). Suppose -k*l + 2*p + 455 = 0, 3*l = l + 2*p + 188. Is l prime?
True
Let r = 0 - -2. Suppose 0 = 2*p + r - 48. Is p a composite number?
False
Let d(p) = -p + 1. Let g be d(-3). Let k be ((-362)/g)/(3/(-24)). Let b = -423 + k. Is b a composite number?
True
Let l be (0 - -1)*1*3. Suppose 0*n = l*n + 3. Is -7*(n - 14 - 2) a composite number?
True
Is 1 + (-288)/(-6 + 4) composite?
True
Let n(b) be the second derivative of b**5/10 - 2*b**4/3 + b**3/2 - 4*b**2 - 2*b. Is n(7) prime?
True
Let t(x) be the first derivative of -59*x**4/2 - x**2/2 - x + 1. Let m be t(-1). Suppose -2*f - m = -4*f. Is f a composite number?
False
Suppose -44 = -3*j - 4*f, -6*f + f + 1 = -3*j. Let k(n) be the second derivative of 4*n**3/3 - 11*n**2/2 - 10*n. Is k(j) a prime number?
True
Let z(k) = k + 2. Let v be -5*-2*1/(-5). Let p be z(v). Is 5 + (p/2 - -1) composite?
True
Let s(c) = -c**2 + 4*c. Let b be s(3). Is (-3)/(-2)*526/b a composite number?
False
Let f = -160 + 227. Is f a composite number?
False
Suppose 3*v + 2*v - y - 5944 = 0, 4*y - 4 = 0. Is v prime?
False
Suppose 4*t = 4*u + 24, -2*t + 28 - 11 = -u. Let b be (-152)/t + (-8)/44. Is ((-2)/(-4) - 3)*b a prime number?
False
Let x(a) = -2*a**3 + 4*a**2 + a + 4. Let g be x(4). Suppose 0 + 6 = -m. Is 3*(3 + g/m) composite?
False
Suppose 3*d - 7 - 5 = 0. Suppose -5*k = 2*b - d*b + 17, -b + 3*k = -6. Is b a prime number?
False
Let u(i) = -2*i + 1401. Is u(0) a composite number?
True
Let m(g) = -126*g - 4. Let n be m(-3). Suppose -5*c + n = 39. Is c composite?
False
Let j(o) = 11*o + 3. Let c(f) = 0*f + f + 0 - 3. Let u be c(7). Is j(u) a prime number?
True
Suppose -j - 4 = -0. Is ((-826)/j)/(2/4) composite?
True
Let p be 1 - (5 + -2 + -4). Suppose 3*d = -p*n + 8*d + 186, 0 = n + 5*d - 123. Is n a composite number?
False
Let z = 5 + -20. Let j be 490/z*(-15)/2. Suppose -4*v = v - j. Is v a composite number?
True
Suppose 0 = 2*g + 2*b - 2, -g + 3*b + 1 = -b. Suppose -6*n + 5*u + 17 = -4*n, n + 5*u = g. Is n a prime number?
False
Suppose -2*p = -p + 4. Let f = -1 - p. Is f a prime number?
True
Let i be 2/(2/(8/2)). Suppose 4*f - 4*p = 196, -5*f + 5*p = i*p - 237. Is f composite?
False
Let o(p) = -2*p**3 + 1 - p + 2*p + 2*p + 0*p - p**2. Is o(-5) a composite number?
False
Let k(s) be the second derivative of 4*s**3/3 - 11*s**2/2 + s. Is k(8) a composite number?
False
Let s be (-6)/(-4) - (-814)/4. Let v = -50 + s. Is v a composite number?
True
Let z(m) = m + 1. Let k(q) = 31*q**2 + 2*q + 2. Let y(l) = k(l) - z(l). Suppose 0*f + 1 = -f. Is y(f) composite?
False
Let y be -3*(-3 + -1 + 1). Suppose -l = -5 - y. Is l composite?
True
Let r(i) = 4*i + 259. Is r(0) composite?
True
Let x be (-10)/(-3) + 4/6. Suppose -a + 60 = x*a. Suppose 0 = -2*u + 6*u - a. Is u a prime number?
True
Suppose 0 = -5*h + 101 + 64. Suppose 0 = b - 4 - h. Is b composite?
False
Let n(o) = o + 5. Suppose 0 = -4*l - 2*r - 8, 5*r + 0*r = 3*l + 32. Let a be n(l). Is (-2 + 3)/(a/26) prime?
False
Suppose -a = -2*a + 467. Is a a prime number?
True
Let o(a) = a + 22. Let z be o(-14). Suppose 0 = 2*l - z - 4. Is l prime?
False
Suppose 0 = 5*d - 4*j - 3619, 3*d + 5*j - 1917 - 284 = 0. Is d prime?
True
Let k = 863 + 0. Is k composite?
False
Let n(i) = i**2 - i + 83. Let b be n(0). Let g = 180 + b. Is g a composite number?
False
Let h = 1290 - -2273. Is h a prime number?
False
Suppose -o - 8 = -4*z + 12, 0 = -z + 2*o + 12. Let d be (-14183)/z + 1/(-4). Is (-4)/22 - d/22 prime?
False
Let y = -4622 + 7119. Is y prime?
False
Let m(a) = a**3 + a**2 + 3. Suppose 4*u - 3*u - 5 = -2*p, p - 5*u + 25 = 0. Is m(p) composite?
False
Let v(d) = 13*d**3 + d**2 - 7*d - 2. Is v(4) a prime number?
False
Let o = -22 + -42. Let z = 183 + o. Is z a composite number?
True
Suppose -2*x - 172 = 2*o - o, -x = -2*o + 91. Let g = -22 - x. Is g composite?
True
Let n(u) = u**2 - 2*u - 2. Let a be n(-2). Suppose 3*h = -0*h + a. Is (3/h)/((-21)/(-1148)) composite?
True
Let b(i) = -145*i - 1. Let w be b(-2). Suppose w = 5*v - 96. Is v a composite number?
True
Let i(t) = -7*t + 1. Let s be i(-1). Is ((-1002)/s)/(9/(-24)) a prime number?
False
Let z(k) = 45*k**3 + k - 3. Is z(2) a prime number?
True
Let g(a) = -6*a + 1. Let y(h) = h**2 - 5*h + 7. Let w be y(5). Let i = 1 - w. Is g(i) prime?
True
Suppose l - 6 = -2*l. Suppose 3 = -l*x - 3. Is 40 - (2 + x)*-1 a composite number?
True
Let r = 52 - -835. Is r prime?
True
Suppose 11*a - 7097 = 1637. Is a a prime number?
False
Let w = 105 - -174. Suppose -w = -8*i + 5*i. Is i a composite number?
True
Suppose 2*h - 3*h = g - 263, 2*g = -h + 267. Is h prime?
False
Suppose -8*i = -4*i - 2344. Suppose 5*w = 4*y + 737, -3*y + i = 4*w - 5*y. Is w a prime number?
False
Let r = 137 + 24. Is r prime?
False
Let d = 534 - 277. Is d a composite number?
False
Let w(i) = 31*i**2 + 3*i + 13. Is w(-7) prime?
True
Let s = 129 - 81. Suppose -s = -2*l + 2*v, -79 = -4*l - v + 22. Is l prime?
False
Suppose 0 = -0*r + 2*r - 840. Let x be ((-1)/(-3))/(4/r). Let t = x - 24. Is t prime?
True
Let l = -23 + 25. Suppose -37 = -l*d + d. Is d composite?
False
Let r(f) = f**3 - 11*f**2 - 13*f - 17. Is r(14) a prime number?
True
Suppose 2*k - 6*k = 4*z - 704, 357 = 2*k - 3*z. Is k a composite number?
True
Suppose -u + 2548 = -1245. Is u a composite number?
False
Let z be ((-5397)/(-28))/((-6)/(-16)). Suppose -c + 3*c = z. Is c a prime number?
True
Let n(i) = i**2 - 9*i - 2. Let s be n(9). Let b be (-3*2 + -2)/s. Is 6/b - (-114)/12 composite?
False
Suppose -12*a + 3790 = -10*a. Is a composite?
True
Let o = 2 - -2. Suppose 2*r = o*m + 6, m = 6*m + 4*r - 25. Is (-1)/(3/(-111))*m composite?
False
Suppose 506 = 2*f + 168. Suppose 5*n - 5*o + 59 = f, 0 = -3*n - o + 54. Is n composite?
False
Let n(p) = 2*p**3 - 3*p**2 - 5*p - 3. Suppose 0 + 8 = 2*r. Is n(r) prime?
False
Suppose 2*x - 6*x - 1016 = 0. Is (x/(-4))/(1/2) prime?
True
Let i be (-7 + 2)*-2 + 2. Let q(k) = -k**3 + k**2 + 2*k + 26. Let o be q(0). Let s = o - i. Is s prime?
False
Suppose 4*z = 3*x + 25 - 5, 0 = 3*x + 2*z - 10. Suppose 2*p - p - 221 = x. Is p prime?
False
Let x(j) = -j - 2. Let k be (6/(-3))/((-2)/(-2)). Let t be x(k). Suppose t = 4*q + f - 235, -4*q + 231 = -5*f - 10. Is q prime?
True
Suppose -2*y + 594 = 4*h, 0 = 4*y - 2*h + 7*h - 1185. Let f = -182 + y. Suppose -5*d - q + f = q, -d + 17 = -q. Is d composite?
True
Let z = -133 - -340. Let m = 292 - z. Is m a prime number?
False
Suppose -4*x + 4*y = 1164, 2*y - 1189 = 4*x + 3*y. Is (x/(-2) + 1)/1 prime?
True
Let u be ((-30)/7)/((-6)/42). Let r be ((-2)/(-5))/(2/u). Is (-2)/r - 444/(-9) a prime number?
False
Let g be 0 - 3 - 4/2. Let n(p) be the first derivative of -p**4/4 - p**3 + 2*p**2 + 7*p - 2. Is n(g) a prime number?
True
Let c(z) = -z**2 - 5*z + 7. Let q be c(-6). Let t(j) = 32*j - 1. Is t(q) prime?
True
Let f(v) = -v**3 + 7*v**2 + 5*v. Is f(7) prime?
False
Suppose -55*j - 2122 = -57*j. Is j a prime number?
True
Let s = 5 + -11. Let t = 63 + s. Is t composite?
True
Let o(r) = 17*r - 3. Suppose n - 9 = -2*n, -8 = h - 4*n. Is o(h) composite?
True
Suppose 0 = -8*z + 12*z - 4604. Is z composite?
False
Suppose 4*u - 1 - 7 = 0. Suppose 3*h + 4*g - 83 = u*h, -2*h + 166 = 4*g. Suppose -z - 3*b = -2*z + h, -4*b = -5*z + 415. Is z a prime number?
True
Is (