-4) a composite number?
True
Let f be 2*(2 - (-1)/(-2)). Suppose -f*x + 516 = 159. Is x prime?
False
Suppose -17 - 1 = 3*x. Let m(n) = n**3 + 7*n**2 + 3*n + 3. Is m(x) composite?
True
Let u(f) = -3*f**2 + 0*f**3 + 0 + 3*f**3 - 4 - 3. Is u(5) a prime number?
True
Suppose -2*x + c + 10 = 0, 0 = 4*x + c - 5 - 9. Suppose 3*b + 2*p - 667 = 0, -x*b + 948 = -4*p + 52. Is b composite?
False
Let t = -1 - -1. Let j(k) = k**2 + 9*k. Let o be j(-9). Suppose 3*b + r - 64 = t, o = 4*b + 3*r - 2*r - 86. Is b a prime number?
False
Let m be -5*3/(-4 + 1). Let a = 62 - m. Suppose -2*p + a = 13. Is p composite?
True
Suppose 4*p - p - 6 = 0. Suppose -p*q - 3*j - 390 = -3*q, 0 = 5*q + 3*j - 1896. Is q prime?
False
Let n(k) = k**3 + 24*k**2 + 7*k + 21. Is n(-19) a composite number?
False
Let v = -9 - -12. Suppose 0*r + v*r = 4*b - 613, b - 2*r - 147 = 0. Is b prime?
True
Is 334 + 12/(-2) + 3 a prime number?
True
Let b = -12 - -35. Is b prime?
True
Suppose 4*n + 1 = 5. Suppose 8 = 5*g - 2*y, 0 = -5*g - 2*y + n + 11. Suppose 2*d = -g*a + 276, -4*d - 3*a = -a - 562. Is d prime?
False
Let k = -2 - -2. Suppose -p + k + 2 = 0. Suppose 14 = -p*m + 56. Is m composite?
True
Let t = 21 + -25. Is 1190/8 - 1/t prime?
True
Let q(p) = 636*p - 7. Is q(3) a prime number?
True
Let i = -67 - -105. Suppose -i = -0*k - 2*k. Is k a composite number?
False
Let g(d) = 4349*d + 9. Is g(2) prime?
True
Suppose 3*h = -4*l - 24, -4*h - 31 = l + 4*l. Is (l - -2)/(5/(-2065)) composite?
True
Suppose 291 = -5*v + 6*v. Is v prime?
False
Let h(g) = 768*g - 1. Is h(1) a prime number?
False
Let f(z) be the first derivative of z**4 - 2*z**3/3 + z**2 - 3*z + 1. Is f(3) composite?
True
Suppose -5*p = -18 + 3. Suppose p*s - 7 = -2*c, 4*s = 3*s + 4*c + 21. Suppose 98 = 4*g + 3*a, 0 = s*g - a + 2*a - 117. Is g a prime number?
True
Let r(k) = -342*k + 1. Is r(-2) a composite number?
True
Let x be (1 - 1/(-2))*2. Is 205 + (-3)/x + -1 a prime number?
False
Let u(a) = 162*a**2 + a - 2. Is u(1) a prime number?
False
Is ((-14)/(-4))/((-4)/(-776)) composite?
True
Let r = 463 + 2032. Is r prime?
False
Let g = 21234 - 14143. Is g a composite number?
True
Suppose -2*o = -8, p - 32 = -3*p - 3*o. Suppose -p*q + 10 = -5*k, -q - 8 + 20 = 4*k. Suppose 0*y - 28 = -q*y. Is y prime?
True
Let o(z) = -z**2 - 6*z**3 + 1 - 3 + 2*z + 4*z. Is o(-3) a prime number?
False
Suppose h - 402 = 385. Is h a composite number?
False
Let r be 0*(3/(-2) - -2). Suppose -2*q + 61 = -5*z, r*q + 3*q = z + 72. Is q composite?
False
Suppose 4*j - 1507 = 3*t, -3*j = -6*j + 2*t + 1131. Is j a composite number?
False
Is 2/8 + 1383/4 prime?
False
Is ((-4)/2)/(6247/(-1249) - -5) a prime number?
True
Suppose -4*a = -2*a - 390. Let m = 81 - a. Is 12/(-6)*m/4 composite?
True
Let y = 1041 - 734. Is y composite?
False
Suppose -5*v + v + 5*x = -1572, 4*x - 414 = -v. Let y = -271 + v. Suppose -t = -0*t - y. Is t a composite number?
False
Suppose 4 + 8 = 3*o. Suppose -6*d + 85 = 5*q - 2*d, -o*d + 1 = q. Suppose q + 16 = a. Is a prime?
True
Suppose -2*u + 9 = -45. Is (-3 + u/2)*2 a composite number?
True
Suppose -3 = x + 5*p, 2*p = -5*x + 4*p + 39. Let d = -5 + x. Suppose 24 = d*k + 5*i, 3*i - 1 + 16 = 3*k. Is k a prime number?
True
Let l(r) = r**3 - 3*r**2 - 8*r + 9. Suppose -28 = -5*z + z - 3*u, -3*z + 21 = 5*u. Is l(z) a prime number?
True
Let w = 152 - -497. Is w composite?
True
Suppose 0 = -6*d - 6*d + 107988. Is d a composite number?
False
Let j(o) = 12*o**2 + 2*o + 1. Let l(w) = w**3 - 2*w**2 - w - 3. Let d be l(3). Suppose -x + 4*n + 13 = 0, -14 - 7 = 3*x + d*n. Is j(x) composite?
False
Let k(p) = -p**3 - 9*p**2 + 3*p - 1. Let n be k(6). Let b = -934 - n. Is b/(-7) - 12/(-42) prime?
True
Let u(n) = 16*n**2 + 7. Let g be u(-7). Suppose 5*x - w = 3871, -3*x - 4*w = -2*x - g. Suppose 8*f = 3*f + x. Is f a composite number?
True
Let q(t) = -2*t + 43*t + 71*t + 1. Is q(1) composite?
False
Suppose 1224 = x + 7*p - 2*p, 5*p = 2*x - 2463. Is x composite?
False
Suppose 2*i = -a + 850, 5*a = -4*i + 3144 + 1136. Suppose 0 = -3*t - t + a. Is t prime?
False
Let l be 3/1 + (6 - 1). Let r = 14 - -3. Let f = r - l. Is f composite?
True
Let c(o) = 7*o + 8. Let v be c(-6). Let k = -1 - v. Let u = k + 90. Is u a composite number?
True
Let c be (-8)/(-14) + 21/49. Is ((-1639)/(-44))/(c/4) a composite number?
False
Let x = -4 - -6. Let l be 0/(-1 + x - -1). Suppose -5*j + 3*n + l*n = -127, -j = -3*n - 23. Is j prime?
False
Let r(n) = -n**2 + 2*n + 7. Let l be r(3). Suppose -l*d - 6*k + 653 = -3*k, -k - 5 = 0. Is d composite?
False
Let n(l) = 38*l - 57. Is n(7) a prime number?
False
Let m = 1199 + -462. Is m prime?
False
Let f be 4/(20/(-3))*-5. Suppose 3*m + 5*s = 931, m + f*s - 244 = 69. Is m prime?
True
Suppose -2*v + 300 = -874. Is v a composite number?
False
Let l be -3*(-2 + (3 - 18)). Let r = l - -16. Is r a composite number?
False
Let c(o) = -o + 7. Let m be c(5). Suppose m*v - 5*v = -201. Is v a composite number?
False
Let y be -7*(-3 + 38/14). Suppose y*a = 5*a - 510. Suppose 6*w = w + a. Is w a prime number?
False
Let x = -312 - -443. Is x a prime number?
True
Suppose 0*u + u - 5*k = 1036, -u = -2*k - 1021. Suppose -5*c + h + u = -0*h, 0 = -2*c - 4*h + 422. Is c a prime number?
False
Let o(a) = -a**2 - 10*a - 2. Let v be o(-6). Let u be 3/(-2)*10 + 0. Let i = u + v. Is i a prime number?
True
Let s = 745 + -390. Is s a prime number?
False
Let z = 6 + -4. Suppose z*v + 3*m - 4 = -6, 2*m - 7 = -3*v. Suppose 3*n = v*n - 174. Is n a prime number?
False
Let v be 8876/(-3) - (-4)/6. Is 2/6 + v/(-9) composite?
True
Let b = -7 - -48. Suppose 0 = -0*c + c - 66. Let z = c - b. Is z prime?
False
Is ((-19)/(-38))/(1 - 2522/2524) a composite number?
False
Let x(t) = -t**3 + t + 1. Let g be x(-1). Let w be 123*g/2*2. Suppose -5*a + w = b, -8 = -a - 5*b + 7. Is a composite?
True
Let d be 27 - 1/(-2)*-2. Let z = -7 + d. Is z a composite number?
False
Is ((-3821)/3)/(3/(-9)) a prime number?
True
Let z(a) be the third derivative of a**5/12 - a**4/24 - a**3/6 - 2*a**2. Is z(5) prime?
False
Let b be 70*2 - (0 - -1). Suppose k + 1 - 57 = 0. Let h = b - k. Is h composite?
False
Suppose 0*a - 32 = a. Let i = -11 - a. Is i prime?
False
Let c(n) = -n - 11. Let b be c(-11). Suppose 3*x - 2*q = 26, b*x - 3*x + 4*q = -22. Is x a composite number?
True
Let o = 103 - 60. Suppose o - 182 = -h. Is h composite?
False
Let q = 2615 + -1056. Is q prime?
True
Let x(a) = 5*a - 1. Let o be x(-1). Let y be (o/4)/(2/(-4)). Suppose 0 = y*h - 183 - 252. Is h composite?
True
Let o = 12 + -9. Is (-4 + -182)*o/(-6) a prime number?
False
Let k(b) = -b**3 - 9*b**2 + 4*b - 11. Suppose 2 + 10 = -m. Is k(m) prime?
True
Let s(t) be the third derivative of 0*t + 0 + 1/24*t**4 - t**2 + 53/6*t**3. Is s(0) a prime number?
True
Suppose -a = -2*a + 743. Is a a prime number?
True
Suppose 14*f = 23*f - 1089. Is f composite?
True
Let k = -13 - -17. Suppose 351 - 33 = 4*v + 5*s, k*v + 3*s - 314 = 0. Is v a prime number?
False
Let a(c) = -c**2 - c - 3. Let l = -8 + 4. Let p be a(l). Is 4/(-10) - 201/p prime?
True
Suppose -3*j + 10 = -8. Let p = 21 - -29. Is (j + -4)/(4/p) a prime number?
False
Is (-4)/(-3) + (-250)/(-6) prime?
True
Let n(k) = k**3 + 4*k**2 - 4*k + 3. Let z = -1 - 4. Let t be n(z). Is (-2)/(54/(-26) - t) composite?
True
Let q be 25/10 - 2/4. Suppose x - 4*b + 525 = 6*x, q*x + b = 213. Is x a composite number?
False
Let x(n) = 2*n**3 + 5*n**2 - 5*n + 3. Let g be x(4). Suppose -o - 338 - 593 = -5*z, -o + g = z. Is z prime?
False
Suppose j - 5263 = -2*s, -6 = -3*j + 5*j. Is s a composite number?
False
Is (33/(-6) - -5)/(2/(-12884)) a prime number?
True
Suppose 4*i = d - 7, -5*d = -6*i + 2*i - 99. Suppose 0 = -o + 5*o. Let v = d - o. Is v prime?
True
Suppose -3*j = -i + 15, 0 = -0*j + 5*j + 20. Suppose 252 = 7*g - i*g. Suppose 2*r + 115 = 5*n, 5*n - 4*r - 52 = g. Is n composite?
False
Let a be 2 + 4/(4 + 0). Is 945/a + (1 - -1) a prime number?
True
Let y(g) = 2*g - 6. Let q be y(5). Suppose -q*f + 6 = -2. Suppose 0*b - b - 5*u + 47 = 0, -82 = -f*b - 4*u. Is b a composite number?
False
Let t(d) = 1062*d**2 + d + 1. Let v be t(-1). Suppose 4*i - v = 454. Is i a composite number?
False
Is 15/(-10) - 1577/(-2) a prime number?
True
Let f(p) = 237*p**2 - 5*p - 5. Is f(-1) a composite number?
True
Suppose 3*c + 2*c -