+ j - 2. Let b be d(-3). Let k = b - r. Is k a prime number?
True
Suppose 3*a - 4915 = -2*a. Is a prime?
True
Is ((-259)/(-2))/((-12)/(-24)) prime?
False
Let j be 8/(-36) + (-76)/(-18). Let c be -3 + 2 - j - 1. Let s(f) = -f + 1. Is s(c) composite?
False
Suppose 356 = 3*v - 343. Is v prime?
True
Suppose 3*a - 1023 = -0*a. Is a composite?
True
Let g(x) = -x - 8. Let a be g(-9). Suppose -d + a + 3 = 0. Let s(u) = -u**3 + 3*u**2 + 7*u - 5. Is s(d) composite?
False
Suppose 0 = 2*m - 3*o - 892, 9*o - 1764 = -4*m + 5*o. Is m composite?
False
Suppose 0 = 10*s - 5*s - 10. Suppose -3*o = s*o. Suppose -2*c + 4*c - 30 = -3*y, o = -5*c - 3*y + 75. Is c prime?
False
Let f be 8/12 - (-7)/3. Suppose 0 = -f*t + 15 + 24. Is t a composite number?
False
Suppose 0 = -z + 5*i + 566, 2*i - 10 = 4*i. Is z a prime number?
True
Let a(b) = 2*b**3. Let u be a(1). Let l(x) = 45*x + 1. Let j be l(u). Suppose -3*h + 2*h = -j. Is h a composite number?
True
Is (3 - (1 - 0))/((-6)/(-159)) a composite number?
False
Let k = 6 + -4. Suppose 2*i + k*i = 0. Suppose -v + 4 + 43 = i. Is v a prime number?
True
Suppose 0*d + 2*d - 764 = -b, d + 3*b = 382. Is d composite?
True
Suppose 0 = 2*d - 6*d + 24. Suppose -q + d*q - 370 = 0. Is q a prime number?
False
Suppose 4*r - 16 = 4*u, 4*u + 3*r - 12 = -u. Suppose s - 3 + 0 = u. Suppose s*m - 4*m = -91. Is m a composite number?
True
Let g(f) = -40*f - 5. Let x(k) = -39*k - 4. Let q(n) = 5*g(n) - 6*x(n). Is q(6) a composite number?
True
Let t(y) = y**2 - 2*y - 10. Let p be 33/3*(-1 - -2). Is t(p) prime?
True
Let q = -13 + 22. Suppose -q*j - 178 = -11*j. Is j a composite number?
False
Let u(p) = 74*p**2 + 14*p - 11. Is u(5) a composite number?
True
Suppose 3 = -s + 6. Let o(v) be the first derivative of -v**4/4 + 5*v**3/3 + v**2 - v - 1. Is o(s) a composite number?
False
Let h(f) = 2*f + 6. Is h(8) a prime number?
False
Let v(u) = 15*u + 5. Let b(c) = -8*c - 3. Let l(s) = -5*b(s) - 3*v(s). Let r be l(-2). Is (-136)/(-10) - (-4)/r prime?
False
Suppose 3*h - 5*o - 198 = 2*h, -654 = -3*h + 3*o. Is h a composite number?
False
Let c = -314 + 991. Is c a prime number?
True
Let l = 168 + -48. Suppose l = 5*b + 3*q, -4*b - 5 + 79 = -2*q. Is b composite?
True
Let i(p) = -p + 24. Let k be 68/6 - 5/15. Is i(k) composite?
False
Let v(q) = q - 4. Let c be v(6). Suppose p = j - 2*p - 82, 4*j - 358 = c*p. Is j a prime number?
False
Let u(f) = 3*f**2 - 10*f + 3. Is u(10) prime?
False
Suppose 0 = 8*n - 6*n - 1114. Is n composite?
False
Let k(d) = -4*d**3 - 18*d**2 - 28*d - 21. Is k(-11) prime?
True
Suppose 4*t + 6*t = 25130. Is t a composite number?
True
Let u(b) = -b**2 - 10. Let p be u(0). Let q = 43 - p. Is q prime?
True
Let k = 5 + -4. Let x = 1 + k. Is (0 + x)*19/2 a prime number?
True
Suppose 0 = l + l - 146. Let t = 110 - l. Is t composite?
False
Let h(b) be the second derivative of -b**3/3 - 7*b**2/2 - 2*b. Let z be h(-6). Suppose 4*y - 6 = 6*y, -5*u = -z*y - 210. Is u a composite number?
True
Let a = -261 - -110. Let c = 228 + a. Is c prime?
False
Is -2*(159/(-2))/3 a composite number?
False
Suppose 0 = 5*l + 3*n - 1221, n - 1227 = -0*l - 5*l. Suppose l = -a + 3*a. Is a composite?
True
Let g = -545 + 876. Is g composite?
False
Let k be -7 + (-4)/2 + 3. Is 158/3 + (-2)/k a prime number?
True
Is 1 + 261 + (-2 - 2 - -1) a prime number?
False
Let w(n) = n**3 + 7*n**2 + 4*n + 1. Let y = 7 - 3. Suppose -2*f = -3*b - 25, 0*b + y*b = -f - 15. Is w(b) a composite number?
False
Let t(s) = -4*s + 3. Let h be t(3). Let n(u) = -u**2 - 19*u - 8. Let d be n(h). Let g = d + -29. Is g composite?
False
Let v(m) = 7*m**2 + 3*m - 3. Is v(2) a composite number?
False
Let m = 13 - 10. Is -73*(m + -5) + -1 a composite number?
True
Suppose 2*f + 4*q = 2046, -4*f + 3*q - 787 = -4912. Suppose 5*s - 4*r = f + 214, -12 = -4*r. Is s prime?
True
Let u = -14 + 105. Is u a composite number?
True
Let o be -2*(2 + 0) - -3. Let i be ((-2)/(-4))/((-1)/(-2)). Is i + o - (1 - 68) a composite number?
False
Let j(g) = -g - 3. Let k be j(-13). Is (545/k)/(2/4) composite?
False
Suppose -2*i - 171 = -3*i - 4*o, -3*i - 3*o = -558. Is i prime?
True
Let f(w) = 9 + 3*w + 2*w + 9*w. Is f(8) composite?
True
Suppose -2*b + 14 = 2*d, -2*d - 70 = -4*b - b. Let g(c) = 0 + 1 - b + 7*c - 2*c. Is g(10) a prime number?
False
Let k(r) = r**2 - r - 1. Let j(v) = -v**3 - 2*v**2 - 2*v + 1. Let d be j(-2). Is k(d) a composite number?
False
Suppose 576 = -15*x + 17841. Is x a prime number?
True
Let r(s) = s**3 - 3*s**2 - 5*s - 1. Let w be r(4). Let b = w - -334. Is b composite?
True
Suppose -15 = -3*h - 0*h. Let l(b) = 13*b**2 - 6*b - 2. Is l(h) composite?
False
Let l(p) = 2*p**2 + 8*p - 35. Is l(-21) a composite number?
True
Suppose 0 = -3*c + 2*c - 9. Let y = 23 + c. Is y a prime number?
False
Let b(t) = -t**3 - t**2 - 2*t + 1461. Let z be b(0). Suppose 3*w - 3*m = z, -3*w + 6*w + 4*m - 1461 = 0. Is w a prime number?
True
Suppose -4*r - 2*x + 86 = 0, -r + 25 = 4*x - 0. Suppose -n = 2*n. Let z = n + r. Is z prime?
False
Suppose 3*f + 0 = -12. Let b be ((-14)/8)/(1/f). Suppose -3*k - b + 118 = 0. Is k a prime number?
True
Let p be 106/(15/(-8) - -2). Let z = -477 + p. Is z a composite number?
True
Let f = 368 - -173. Let s = f + -122. Is s a composite number?
False
Is 3/(-2)*2 - -1844 composite?
True
Suppose -y + 3225 = a, 5*a - 4348 = -2*y + 2108. Is y a prime number?
False
Suppose 5*q - 1 = 64. Is q a prime number?
True
Let c(s) = s**3 + 7*s**2 + 7*s - 3. Let v be c(-7). Let g = -142 - 1. Let n = v - g. Is n a prime number?
False
Let k(z) = -z + 2. Let h be k(-5). Let l = -3 + h. Suppose w - 1040 = -3*w - 4*n, 3*n - 1043 = -l*w. Is w prime?
True
Let m(q) = -5*q**2 - q**3 + 0 - 3*q + 0. Let w be m(-5). Let v = 0 + w. Is v composite?
True
Let h(j) = j**2 + 12*j + 11. Let r be h(-11). Suppose -25 = -5*q + 2*a, r = -4*q + q - a + 26. Is q/(-3)*21/(-1) a composite number?
True
Let g = 0 + -3. Is (-66 + g)*5/(-3) composite?
True
Suppose -4*q = l + 14, 3*q = 2*q + 5*l - 14. Let v(z) = -z. Let d(w) = 49*w - 1. Let h(p) = -d(p) - 3*v(p). Is h(q) a composite number?
True
Let o = 273 + -152. Suppose -w + 41 = 3*w - 5*c, -3*c - 3 = 3*w. Suppose -4*y + 29 = t - 0*y, 0 = -5*t + w*y + o. Is t a composite number?
True
Let y = 4 - 4. Let k be -2*3/6*y. Suppose 405 = 5*u - 4*r + 6*r, k = 5*u - 3*r - 380. Is u composite?
False
Suppose -7*y + 12 = -5*y. Let d(b) = 4*b**2 - 8*b - 2. Is d(y) a composite number?
True
Let r = -122 - 10. Is (r/(-10))/(8/20) a composite number?
True
Let y(o) = 217*o**2 + 4*o + 2. Let w be y(-2). Suppose -3*d + w = -d. Is d a prime number?
True
Is 226*(-3 + (-27)/(-6)) a prime number?
False
Let v = -111 + 320. Let t(j) = -j**2 - j + 2. Let x be t(0). Suppose -x*p = -21 - v. Is p composite?
True
Suppose x = m - 3939, 2*m - m - 4*x - 3927 = 0. Is m composite?
False
Let y(q) = q**2 - 7*q + 9. Let j be y(6). Suppose 2*b - j = -23. Let i = b + 35. Is i a composite number?
True
Let k(g) = -11*g + 4. Is k(-5) composite?
False
Suppose 2*f - 62 = -6. Suppose -f + 7 = -3*q. Is q composite?
False
Let k(z) be the first derivative of z**2/2 + 4*z + 2. Let l be k(-6). Is 19/4*(6 + l) prime?
True
Suppose 4 = 3*d + d, 4*d - 9 = -a. Suppose -31 = -2*l - a*t, 2*l = -2*l - 5*t + 37. Suppose 4*m - l*i + i = 110, 2*i = -10. Is m a prime number?
False
Suppose -5*d + 3*d = -36. Suppose 2*l - d = -l. Is l a prime number?
False
Suppose 52572 = 6*c + 6*c. Is c prime?
False
Suppose 0 = 3*v + 5*h + 106 - 571, 0 = 2*v - 5*h - 335. Suppose -4*u - t = -v, -132 = -2*u - 5*t - 34. Is u a prime number?
False
Suppose 6203 = 5*g + 2*i + 128, -2*g + 2441 = 3*i. Is g composite?
False
Let a(n) = -17*n - 1. Let u be 1 - ((-1 - -3) + -2). Let r be (6 - u)*20/(-25). Is a(r) composite?
False
Let c(n) = -n**3 - 12*n**2 - 12*n - 14. Let s be c(-11). Let b(u) = 2*u**2 + 4*u + 2. Let p be b(s). Suppose -g + 14 = -p. Is g prime?
False
Suppose -4 + 2 = -m. Is m prime?
True
Let m = 4 - 4. Suppose -16 = -2*r - m*r. Suppose 3*v - 150 = -3*o, 5*v - 7 - r = 0. Is o composite?
False
Let v = 4 - 3. Suppose 0 = 5*n - v - 9. Suppose n*g + 21 = 59. Is g a prime number?
True
Let h be (0/(-2))/(2*1). Suppose h = -5*o - 117 + 22. Let q = 2 - o. Is q composite?
True
Let g be (16/(-24))/((-2)/6). Suppose -g*l + 5*k = -405, 202 = -2*l + 3*l - 3*k. Is l a prime 