l = -m - 47. Suppose 0*h - 5*k = -3*h + 101, -3*h - 5*k + m = 0. Is h a prime number?
True
Let h(d) = 2*d**3 + 5*d**2 - 7*d + 7. Is h(7) a prime number?
False
Is 9777/11 + 1/(-22)*-4 a prime number?
False
Let g(u) = u**2 - 3*u + 2174. Is g(0) a prime number?
False
Is (1 - 2973/(-12))*(2 + 2) composite?
True
Let g be (6/(-4))/(6/(-16)). Suppose z + 2 = -g. Let b(w) = w**2 + w - 8. Is b(z) a composite number?
True
Let o(u) = 3*u**3 + 3*u**2 - 2*u + 2. Let l be o(2). Suppose -g = -34 - l. Let x = g + -30. Is x prime?
False
Suppose 3673 = 8*g + 369. Is g prime?
False
Let y(w) = -w**3 + 8*w**2 + 5*w + 2. Let m be y(4). Let q = m + -55. Is q prime?
True
Let d(a) = 3106*a**2 + 5*a - 2. Is d(1) a prime number?
True
Let i(w) = 133*w**2 + 1. Is i(-1) a composite number?
True
Suppose c = 13 - 2. Is c prime?
True
Let s = -26 + 47. Let g = 47 - s. Let k = -11 + g. Is k a composite number?
True
Let y = -5 - -7. Suppose y*k = -c + 2*c + 15, -k + 25 = 3*c. Is k a prime number?
False
Suppose 3*q - 5*d - 18 = 0, 3*d + 2 = -4*q + d. Suppose -z + 63 = 5*w, w - 16 = 4*z + 5. Let y = w + q. Is y prime?
False
Let j = -19 - -21. Suppose f + x = 512, 0*f = j*f - 5*x - 1059. Is f prime?
False
Let g be 3*-1 + 2049/3. Let p = g + -361. Is p a prime number?
False
Let i(z) = -3*z + 2. Let a be 1/((-3)/(-2) + -2). Let m be i(a). Suppose -3*n + m*n + 2*p - 425 = 0, 0 = n - 3*p - 68. Is n composite?
False
Let n(r) = -r**2 + 8*r - 7. Let h be n(5). Let a(w) = w**3 - 3*w**2 - 6*w + 9. Let y be a(h). Let j = y - 166. Is j prime?
False
Let j be (2/6)/((-1)/(-6)). Suppose 184 = j*y - 234. Is y prime?
False
Let x(p) = -3*p**2 - 10*p - 10. Let r be x(-8). Let z = 207 + r. Is z a composite number?
True
Let v(p) = -20*p**2 - 7*p - 4. Let r(a) = -a**2 - a - 1. Let w(i) = 2*r(i) - v(i). Let n(t) be the first derivative of w(t). Is n(4) prime?
True
Let n = -52 - -31. Let p = 58 + n. Is p prime?
True
Suppose -12 = -b - 3*b. Suppose b*r + 789 = 6*r. Is r composite?
False
Let x(q) = -2*q**2 - q + 1. Let v be x(2). Is (-9460)/(-36) - 2/v a prime number?
True
Is (-212)/(-3) - 6/(-18) prime?
True
Suppose 0*a = 4*d + 5*a - 2712, 0 = 5*d + 2*a - 3373. Is d a composite number?
False
Let z(h) = h**2 + h - 2. Let r be z(0). Let a be (0 + (-66)/4)*r. Let v = a + -19. Is v a prime number?
False
Let y(j) = 84*j**2 + 10*j + 11. Is y(5) a composite number?
False
Suppose -4*p + 4 = -12. Suppose -2*u = -2*g + 8, -p*g + 2*g = 4*u - 14. Suppose 2*k + 2*r - r = 83, 206 = g*k + 3*r. Is k composite?
False
Suppose -f + 79 + 132 = 0. Suppose j + a - 261 + 50 = 0, -3*a = -j + f. Is j a prime number?
True
Suppose -5*y + 9*y = -k + 1331, y = -5*k + 6731. Is k composite?
True
Let l(q) be the third derivative of 5*q**5/6 + q**4/24 - q**3/3 + 2*q**2. Is l(-3) prime?
False
Is (-1)/(834/418 - 2) prime?
False
Suppose 2325 = 7*o + 428. Is o composite?
False
Suppose -u - 1091 = -3*y, -4*y - 3*u = 381 - 1853. Is y a prime number?
False
Let f = 55 - -4. Is f a prime number?
True
Let s(u) = 6*u**2 - 17*u + 4. Is s(9) a composite number?
False
Suppose -4*s - 20 = -5*w, 5*w + 15 = -0*w - 3*s. Suppose -2*k + 146 = -116. Let q = w + k. Is q a prime number?
True
Suppose z - 6*z + 2*b + 2749 = 0, -b + 3 = 0. Is z composite?
True
Suppose 0 = 3*o - 313 - 236. Is o a composite number?
True
Suppose -13 = -4*x - 1. Suppose -3 = 2*u - x*u. Suppose 0 = 5*o - u*d - 263, 0 = -2*o - 2*o + 2*d + 212. Is o a prime number?
False
Let a be 2 - 2 - (0 - 0). Let s(y) be the third derivative of -y**5/60 + y**4/24 + 53*y**3/6 - 3*y**2. Is s(a) a prime number?
True
Let o(x) = 567*x**2 - 9*x + 1. Is o(-3) prime?
False
Is (0 - 2/(-4))*1262 composite?
False
Suppose 2*u - t = 776, 4*u + t = -u + 1947. Is u a prime number?
True
Suppose w = -s + 9 - 1, -12 = s - 3*w. Suppose s*i - 7*i = 4. Is (i - (-1 - 31))*1 composite?
False
Let d(p) be the first derivative of p**4/4 - 2*p**3 - 5*p**2 + 5*p + 8. Suppose s = -0*s + 8. Is d(s) prime?
True
Suppose 4*l = 2*q - 0*q - 58, 2*l = -10. Is q a prime number?
True
Suppose -u = z - 6, u = -z - u + 4. Suppose -4*l + 2 = 3*y, -y + 2*l = 2*y - z. Is 5*(-1)/y*-6 a prime number?
False
Let n = 2216 - 7561. Is (-2)/11 - n/55 a composite number?
False
Let x = -928 + 2181. Is x a composite number?
True
Let g(r) = 4*r**3 - 8*r**2 + 9*r - 11. Is g(12) a composite number?
False
Let n = 78 + -34. Suppose 3*y + n = -52. Let h = 5 - y. Is h a composite number?
False
Suppose 2*w - w + 1657 = 3*c, 0 = -c - 5*w + 563. Is c a prime number?
False
Suppose 3*y - 3 = 0, 0 = 2*q + y - 2 - 3. Suppose 0 = -5*x + q*b - 272, -1 = 2*b - 3. Is (4 - 5)*(x + 1) a composite number?
False
Let n(b) be the second derivative of 5*b**4/12 + b**3/2 + 3*b**2/2 + 13*b. Suppose 0 = -5*j - 2*l + 32, 0 = -3*l + 7 - 4. Is n(j) a prime number?
False
Let w(n) = 16*n**2 - 4*n - 5. Is w(-2) a prime number?
True
Is 16/(-4) - -2 - (1 + -470) a composite number?
False
Let j = 221 + 110. Is j a prime number?
True
Let p(x) = x**2 + 3*x + 11. Let y be p(-7). Suppose -3*c = 12, -3*z - z - c + 152 = 0. Suppose u - 4*u + 4*t = -z, 3*u + 3*t = y. Is u a prime number?
True
Let q(f) = f - 1. Let z be q(3). Suppose -2*w - 2*s = -26, 0 = 5*w - z*s - 3*s - 25. Suppose w*p = 4*p + 110. Is p composite?
True
Let l = -11 - -11. Is 181 - l/(-2 - -1) a prime number?
True
Suppose 1258 = 3*z - c, -3 - 1 = 4*c. Is z a prime number?
True
Suppose 16*t - 16230 = 10*t. Is t composite?
True
Suppose -2*t + 132 = -3*j + 1445, 2*j = 5*t + 879. Is j a prime number?
False
Is 2/6*(604 + -1) prime?
False
Let t(x) = x**2 + x + 47. Let p be t(0). Let f = p + -12. Is f a prime number?
False
Let i = -1550 - -896. Is -1 - i/((-9)/(-3)) composite?
True
Let m(v) = v**3 + 8*v**2 + 7*v + 2. Let c be m(-7). Suppose -c*j - 3*j + 435 = 0. Is j a prime number?
False
Let c = 9 + -7. Suppose -i = 5*u - 21, u + 57 = 5*i + c*u. Is i a prime number?
True
Let d = -883 - -2640. Is d prime?
False
Is (-2)/6 - (-5 + 3909/(-9)) a composite number?
False
Let x(a) = 6*a**3 - a**2. Let k(n) = -n**2 + 4*n + 5. Let w be k(4). Let u be x(w). Suppose 6*o = o + u. Is o prime?
False
Let v(h) = 8*h - 1. Suppose -5*q + 25 = -5*a, 5*q - a = 20 - 7. Suppose -1 = -m, q*m = -4*z - 0*m + 10. Is v(z) prime?
False
Let p be 64/10 - (-3)/5. Is (2 - (p + -3)) + 16 a prime number?
False
Suppose -10286 = -3*v - 1463. Is v composite?
True
Let h(f) = f**2 + f. Let i be h(-2). Suppose 3*w + i*w = 115. Let b = w - -140. Is b prime?
True
Let t(g) = -g**3 - 5*g**2 - g - 3. Let x be t(-5). Suppose 0 = z - 78 + 6. Suppose 2*y + 0*y + x*b = z, -3*y = -4*b - 73. Is y a composite number?
False
Suppose -x - x + 4 = 0. Let v be ((-2)/x)/1*-2. Suppose 5*f - w = v*f + 91, 3*f = 4*w + 85. Is f composite?
False
Suppose -461 - 4471 = 3*u. Let b = -1157 - u. Is b composite?
False
Is ((-112)/21 - -5) + 113448/9 composite?
True
Suppose 3*k = 3*g, -2*g + 5*k = -0*g. Suppose -4*l = 5*v - 50 - 503, -v - 4*l + 101 = g. Is v a prime number?
True
Let i be 23/(-2 - (-1 - 2)). Let k be i*(1 - (2 - 2)). Let n = 26 + k. Is n a composite number?
True
Suppose 4*d + 115 = 9*d. Is d a prime number?
True
Let a(k) = k**2 + 2*k + 14. Is a(8) a prime number?
False
Suppose t - 6*t = 0. Suppose t = -q - 3*q + 148. Is q a composite number?
False
Let l = 299 - 149. Let d = 361 - l. Is d composite?
False
Let v(w) = 8 + 1 + 9*w**2 + 2 + 10*w - 2 + w**3. Is v(-7) a prime number?
True
Let x(k) = 11*k**3 + 5*k**2 - 27*k + 10. Let o(z) = 5*z**3 + 2*z**2 - 13*z + 5. Let f(g) = 9*o(g) - 4*x(g). Is f(6) a prime number?
False
Let h(a) = 2*a + 5. Let t(b) = -b - 2. Let k(l) = -2*h(l) - 5*t(l). Let z(y) = -76*y - 1. Let i(j) = -4*k(j) + z(j). Is i(-1) a prime number?
True
Let y(f) = 5*f**3 + 3*f**2 + 2*f + 5. Suppose 15 = 3*u - 3*z, 4*u - 3*u = -2*z + 5. Let l be y(u). Suppose -6*s + l = -s. Is s composite?
True
Let u(z) = z**3 + 8*z**2 + 7. Is u(-6) a composite number?
False
Let t(i) = -27*i**2 + 5*i + 5. Let r(p) = 16*p - 2*p - 52*p**2 - 30*p**2 + 14. Let o(g) = -6*r(g) + 17*t(g). Is o(-1) prime?
False
Let h = -1368 - -2483. Is h a prime number?
False
Let r(j) = -4*j**2 + 3*j - 3. Suppose -5*h - 11 = -3*d, 2*d + 2 = 4*d - 2*h. Let l be r(d). Let f = -25 - l. Is f a prime number?
True
Let k(u) = -267*u - 1. Let d be 4/(-26) + (-600)/156. Is k(d) a composite number?
True
Let m be (-3)/5 + (-597)/