 = 3 + 0. Let g = 55 + p. Is g a composite number?
True
Let a(s) = -4*s**3 - 3*s**2 + 4*s + 4. Let d be a(-3). Let m = 147 - d. Suppose m = w + w. Is w prime?
True
Let n be (-65)/(-20) + (-2)/8. Let l(f) = 12 - 7*f + f + n*f. Is l(-9) prime?
False
Let n be (-2)/2*28/1. Let l = -14 - n. Is l prime?
False
Let u = 586 + -369. Is u composite?
True
Suppose 192 = z - 851. Suppose 2*k = 251 + z. Is k prime?
True
Suppose -2*x + 1027 = -x. Is x composite?
True
Let d(n) = n**3 - 3*n**2 + 1. Suppose -2*v = -2*p + 3*v + 26, 5*v = 3*p - 29. Let f be d(p). Is (-1 + f - -2) + 8 composite?
True
Let z(h) = h + 1 - h**3 - 8*h**2 + 2*h**3 - 6. Let f be z(8). Is ((-66)/(-8))/(f/12) a prime number?
False
Let k be 0*(-2 - 9/(-6)). Suppose j = -k*j + 31. Is j prime?
True
Let i(k) = -8*k**3 - 7*k**2 - 7*k - 7. Is i(-5) a prime number?
True
Suppose -k - 2*p = -409, -k + 453 - 44 = p. Let c = 612 - k. Is c composite?
True
Suppose 6*q + 16 = -2. Let t(r) = -15*r + 6. Is t(q) composite?
True
Let b(z) be the second derivative of -z**4/12 - 8*z**3/3 + 7*z**2/2 + 3*z. Let y be b(-9). Suppose 4*u - 2*s = 26, 0*s - 5*s = 5*u - y. Is u a composite number?
True
Suppose -x = -j + 7, 2*j + 2*j + 8 = -5*x. Suppose 2*y - 97 = 3*i, -5*y - j*i = -6*i - 256. Is y prime?
True
Let s be 4/14 + (-5120)/(-14). Let g be (3/6*s)/1. Suppose g + 407 = 5*u. Is u a prime number?
False
Let s = -4 + 10. Suppose -2*c + s*c - 1296 = 0. Is (-6)/(-33) - c/(-33) prime?
False
Let i(q) = -3*q + 3. Let s(f) = -4*f + 3. Let a be 86/(-18) + 8/(-36). Let u(v) = a*s(v) + 6*i(v). Is u(8) a prime number?
True
Let x = -175 - -318. Is x prime?
False
Let s = 14 + -8. Let b(d) = d**3 - 5*d**2 - 6*d - 1. Let f be b(s). Is 50 + (f - (2 + -2)) prime?
False
Suppose 3 = -4*z - 1. Let w be (-254)/z - (-2)/(-1). Suppose -w - 478 = -2*r. Is r a composite number?
True
Let o = 4224 + -1915. Is o a composite number?
False
Suppose -d = 2 - 1. Let y be d*6/15*-450. Suppose 0 = 3*x + 3*k - y, 179 = 2*x + k + 64. Is x prime?
False
Suppose -p - m + 1836 = -455, 4*m + 9164 = 4*p. Is p composite?
True
Let j be (13/(-1))/(-2 - -1). Let f = j + -8. Suppose -135 = -5*c - 4*s, -c = f*s - 0 - 48. Is c composite?
False
Let o = 8402 + -4815. Is o a prime number?
False
Suppose -6*h = -2*h + 16, 0 = -4*m - h - 56. Is 4/(-2) + 3 - m a prime number?
False
Let c(z) = 2*z + 1. Let j be c(6). Let n = j - -2. Is n composite?
True
Suppose -4*k + 625 - 89 = 0. Suppose -m + k = m. Is m a composite number?
False
Suppose 4*n + 4*g + 4 = 0, 0 = 3*n + 2*n - 2*g + 12. Is n/(-1)*46/2 a prime number?
False
Let k(v) = v**2 - 4*v - 7. Let x be k(5). Let a be (x + 18)*(-2)/4. Is 183/12 + 2/a composite?
True
Let i(q) = 10*q**2 - 13*q + 15. Let x be i(10). Suppose -2*d - 61 = -4*z + x, 2*z + 5*d = 455. Is z a composite number?
True
Let j be 9/6*(-12)/(-9). Suppose 75 = -j*i + 589. Is i composite?
False
Suppose 139 = 4*d - 57. Is d prime?
False
Let p(o) = -5*o**3 - 11*o**2 - 8*o - 5. Let f(q) = -q**3. Let b(r) = 4*f(r) - p(r). Let x be 2*3/((-6)/7). Is b(x) composite?
True
Is -13*57/(-3) - -4 a composite number?
False
Let t(f) = -110*f**3 + 6*f**2 - 4*f - 1. Is t(-3) a prime number?
False
Let m be 3/(-2) - (-1413)/6. Let o = -157 + m. Is o composite?
True
Let q be 24/8 - (1 - 0). Let t be (0 - q) + 1 - -11. Let w = t - 6. Is w composite?
True
Let j = 1770 - 1223. Is j a prime number?
True
Let s be (8/(-12))/((-4)/606). Let b = -22 + s. Is b a composite number?
False
Let j = -16 - -17. Is (-1097)/j*(-3 - -2) composite?
False
Suppose 1310 = 5*b - 1890. Suppose -2*s = t - b, 5*t + 152 + 157 = s. Is s a prime number?
False
Let t = -22 + 13. Is (1 + 3/t)*33 composite?
True
Is (21/(-9))/(3/(-2007)) a prime number?
False
Suppose -4*m = u - 5*u + 396, -3*m + 327 = 3*u. Suppose 0 = -3*w + 2*y + 57 + u, -y + 251 = 5*w. Is w a composite number?
True
Let g(i) = 6 - 3*i + 3*i**2 + 2*i + 7*i. Suppose -5*b + 7*b + 10 = 0. Is g(b) composite?
True
Suppose 4*b + 0*t = 3*t + 227, 0 = -b + t + 58. Is b a prime number?
True
Suppose 0 = 4*n - r - 1190, 0*n - 5*r = 4*n - 1202. Is n composite?
True
Let v(b) = b + 11. Let w(y) = y**3 - y**2 + y - 7. Let x be w(0). Let f be v(x). Suppose -r = -4*l + f*r + 102, 0 = -l - 4*r + 15. Is l prime?
True
Let u(i) = -i**3 + 7 + 0*i**3 - 3*i**3 + 3*i**3 + 11*i**2 + 2*i. Is u(10) prime?
True
Let v = -683 - -1204. Is v composite?
False
Suppose y = -m, 2*m = m + 5*y + 18. Suppose m*d = -d + 1364. Is d composite?
True
Let r = 6 + -5. Suppose 5 - r = 2*i. Is i prime?
True
Suppose 0 = -3*n + 4*b - 7, 2 = b - 2. Is (-3)/(1/(n - 152)) a composite number?
True
Suppose 5 = 5*m, 4*m = 2*d - d - 4389. Is d prime?
False
Let b(g) = -5*g**3 + 2*g**2 - g + 1. Suppose -2*h - 6 = -0. Is b(h) composite?
False
Let b = 1 + -1. Let n(v) = v**3 - v**2 + v - 23. Let u be n(b). Let z = 36 + u. Is z a prime number?
True
Let z = -12 + 6. Let l(s) = -2*s - 7. Let h be l(z). Is 5/(25/6)*h a prime number?
False
Let y(w) be the second derivative of -w + 2/3*w**3 + 3/2*w**2 + 0. Is y(7) composite?
False
Let d(a) = a - 1. Let u be d(5). Suppose h + u*h = 795. Is h a composite number?
True
Suppose 696 = o - 0*z + z, -o - 3*z + 706 = 0. Is o a composite number?
False
Let s(n) = 11*n**3 + 8*n**2 - n - 9. Is s(5) composite?
True
Suppose 3*g - 32 - 13 = 0. Suppose 2*k = -k + g. Suppose q = -k*t + 80, -2*t - 52 - 334 = -4*q. Is q prime?
False
Is -4 - -793 - (-2 - -2) a composite number?
True
Suppose 0 = 4*i + 2*j + 2*j - 24, 2*i + 5*j - 18 = 0. Suppose -u - 2*u - i*b + 291 = 0, -3*b + 291 = 3*u. Is u a composite number?
False
Suppose 3*v = 298 - 43. Is v a prime number?
False
Let m(x) = 36*x + 1. Suppose n = 5*i + 2*n - 2, 4*n + 12 = 0. Is m(i) a composite number?
False
Let y be (3/3)/((-2)/(-6)). Let m be (9/4)/(y/(-12)). Is (32 - m/(-3))*5 prime?
False
Suppose o = 1 + 2. Suppose -4 = o*c - 1. Let g = c + 32. Is g prime?
True
Let n = 7 - -5. Let g(i) = -6*i**2 + 6*i - 5. Let h(f) = f**2. Let k(b) = -g(b) - 5*h(b). Is k(n) composite?
True
Let a = 3118 + -1169. Is a a prime number?
True
Suppose 0 = 49*u - 53*u + 2924. Is u composite?
True
Let u(n) = -n**3 - 6*n**2 + 5*n + 8. Let f be u(-6). Is f*2*10/(-8) a prime number?
False
Let f(p) be the first derivative of 32*p**3/3 + p**2/2 - 3. Is f(-1) a prime number?
True
Let w(t) = -3 + 4 - 1 - 2 - 167*t. Let p be w(2). Let i = 527 + p. Is i composite?
False
Suppose 4*x + 20 = -6*f + f, -4*x + 20 = -5*f. Suppose x = 2*m - 11 - 41. Is m prime?
False
Let p(u) = 7*u**2 + 5*u + 5. Is p(-4) a composite number?
False
Suppose 0*f + f - 325 = -4*c, -3*f = c - 84. Suppose 4*r - 12 = r. Suppose 0*y + y - c = -4*x, -4*x = -r*y - 96. Is x a composite number?
True
Suppose 4*k = -4*k + 3272. Is k a prime number?
True
Is (19/(-57))/((-2)/1578) composite?
False
Let a(m) = 13*m - 3. Let k be a(3). Suppose 3*j + 2 = -13. Let g = j + k. Is g composite?
False
Suppose -3*d = -f - 19, 5*f + 76 = d + 9. Let z(o) = o**2 + 2*o + 6. Is z(f) composite?
False
Let b = -224 - -337. Is b a prime number?
True
Suppose -5*n + 175 = -5*f, 5*n = -f + 2*f + 167. Is n a composite number?
True
Let x(i) = 31*i**2 + 8*i + 8. Is x(-5) composite?
False
Suppose 4*n = a + 6, 10 = -4*n - n. Let m be -1241 - -2 - -1*1. Is a/(-63) - m/18 a composite number?
True
Suppose 21 = 3*a - 0*u - 3*u, 5*a + 4*u = 17. Suppose a*w + 176 = i, i - 3*w = -0*i + 182. Is i a composite number?
False
Let j be ((-21)/(-9))/(1/(-3)). Let s be -36*(-3)/6*1. Let x = s + j. Is x composite?
False
Suppose v + 39 = 4*v. Let l(m) = 50*m**3 + 4*m**2 + 7*m - 6. Let d(z) = -100*z**3 - 9*z**2 - 15*z + 13. Let h(c) = v*l(c) + 6*d(c). Is h(1) a prime number?
False
Suppose -219 = -3*f + 96. Let m(x) = x**2 - 2. Let j be m(2). Suppose 0 = -3*c - j*c + f. Is c composite?
True
Let g = 11 + -8. Let c = -2 + 2. Suppose x = -f + 137, -g*x - 4*f + 8 + 401 = c. Is x a prime number?
True
Let u = -4 - -537. Is u a prime number?
False
Let s(u) = 4*u**2 + 17*u + 19. Is s(-14) composite?
True
Suppose y + 5*i = 74, y - 4*y - 4*i = -178. Let p be y - -1*(0 - 1). Let m = p + -31. Is m a prime number?
False
Let o(t) = -6 + 0*t - 4*t + 3*t**2 - 2*t. Let f be o(7). Suppose -f = -2*u - 2*r + 123, 563 = 5*u + 3*r. Is u prime?
False
Let u(m) = 3*m**3 - 3*m**2 + 3*m + 387. Let i(a) = 2*a**3 - 2*a**2 + 2*a + 194. Let x(g) = -5*i(g) + 3*u(g). Le