 -x. Let d be b(m). Let q = d + 333. Is q composite?
True
Suppose w + 15 = 4*w + 4*u, 4*w = -2*u + 20. Let q = w + 50. Is q a composite number?
True
Let n(w) = -w**2 + 9*w. Let v be n(9). Let t = v - -2. Let j(c) = 6*c**3 - 2*c**2 - 2*c + 3. Is j(t) prime?
False
Let k be 3/3*107 - 2. Suppose 0 = -2*h - h + k. Is h a prime number?
False
Is 4 + 0 + 500 + -3 composite?
True
Is 3*4/(-18) - (-23597)/21 a composite number?
False
Let l be 2/(2/149)*1. Let h = -98 + l. Is h prime?
False
Let d(n) be the second derivative of -25*n**3/6 + 3*n**2/2 + 5*n. Is d(-8) a prime number?
False
Suppose 7959 = 5*j + 2*f - 4646, -2*j - 5*f = -5042. Is j a prime number?
True
Suppose k - 3*a - 512 = 0, 2*a + 5 = a. Suppose f = 107 + 229. Let r = k - f. Is r composite?
True
Let o(f) = f**2 - 6*f + 1. Let y be o(6). Is y/(-2) + 465/6 a prime number?
False
Let v = -2 + -33. Let s = v - -117. Is s prime?
False
Suppose -3*t + 4*t = -386. Let f = 609 + t. Is f a prime number?
True
Let m(w) = w**3 - 10*w**2 + 4*w - 9. Is m(10) a prime number?
True
Suppose -2*i - 119 + 1361 = 0. Let u = i - 302. Is u a prime number?
False
Suppose 0 = -3*u - 2*m + 4717, -2*u + 3*u - 1573 = -m. Is u a composite number?
False
Let q(b) = -57*b + 31. Let k(o) = -143*o + 78. Let r(a) = 5*k(a) - 13*q(a). Is r(6) a composite number?
True
Let h be 111/(-3)*(-2 + -3). Suppose -2*z - h = -859. Is z a composite number?
False
Suppose 0 = o + 4*o - 5. Let q be (2 - 3)*(o - 2). Is (-22)/(-2*1/q) a composite number?
False
Suppose 7*x = 12*x - 14485. Is x composite?
False
Let h(n) = n**2 + 3*n + 5. Is h(-9) a prime number?
True
Let p(w) = 0*w - 2 + 8 + 1 + 4*w. Let q be 1*2*9/2. Is p(q) a composite number?
False
Let i(s) = 224*s**3 + s**2 + s + 3. Is i(2) a composite number?
False
Let x be 11577/(-7) + (-5)/35. Let n = -701 - x. Is n prime?
True
Let y(m) = m + 18. Let s be 2/(-3) + 88/(-12). Is y(s) a prime number?
False
Let f = 3767 + -1786. Is f a composite number?
True
Let d be -3 - (-81)/(3/1). Is (88/d)/(2/186) a prime number?
False
Suppose -5*b + y - 6*y + 4005 = 0, b - 3*y = 793. Is b a prime number?
False
Let r(z) = z**3 - z**2 - 4*z + 7. Is r(3) prime?
True
Suppose u - r + 3*r + 736 = 0, 1437 = -2*u + 3*r. Let d = -433 - u. Is d a prime number?
True
Suppose 2*y + 423 = -5*i, -82 = i + 3*y - 0*y. Let q be 126 + (-4 - -2) - 2. Let j = i + q. Is j composite?
False
Let x(u) be the second derivative of 31/6*u**3 + u - 3/2*u**2 + 0. Is x(4) prime?
False
Let m(c) = 3*c**2 + 4*c**2 - 1 + 4*c - 5*c**2. Let k be m(-3). Suppose 0*t + t + 100 = 2*q, 194 = 4*q - k*t. Is q composite?
True
Let h(z) = -z**2 + 6*z - 6. Let s be h(4). Suppose -3*w + 179 = -s*w. Suppose -w = -5*l + 3*i + i, -l + 35 = -i. Is l composite?
True
Is 4 - 2666*5/(-10) prime?
False
Suppose -2*n + 171 = -0*n + 3*u, 470 = 5*n - u. Is n a prime number?
False
Let o(j) = 3*j + 2. Suppose -2*s = -5*s + 12. Let a be o(s). Suppose 3*n = n + a. Is n composite?
False
Suppose -127 = -3*a + p + 266, 2*a = 5*p + 262. Is a a composite number?
False
Let s = 0 + 4. Suppose -4*y = s*b - 12, y - 6 + 19 = -5*b. Suppose -2*t = -t - y. Is t a composite number?
False
Suppose -4*d + 5*d + 8 = 0. Let q(i) = 2*i**2 - 2*i - 5. Is q(d) composite?
False
Suppose 3*f = 35 + 103. Is (-12)/66 + f/11 a composite number?
True
Let n(v) be the first derivative of -v**4/4 + 7*v**3/3 + 3*v**2/2 - 7*v - 3. Is n(6) prime?
True
Let u(j) = -2*j**3 + 3*j**2 + 2*j - 2. Let r(l) = l + 6. Let n be r(-8). Let t(p) = p**3 + 3*p**2 + 3*p. Let y be t(n). Is u(y) a composite number?
True
Suppose 15 = a + 2*a. Suppose 2 + 230 = 2*r - 5*t, a*r - 545 = -5*t. Suppose -4*y + r = -y. Is y prime?
True
Let p = 4 - -2. Let v(c) = c**3 - c**2 - 8*c - 1. Is v(p) a prime number?
True
Let x be (-1 - -1)/(5 + -3). Suppose -4*v = 2*d + v + 101, x = 5*d + 2*v + 221. Let i = d - -98. Is i composite?
True
Suppose -3 = -3*g + 5*g - 3*t, g - 3*t - 3 = 0. Is 3/g*-4 + 93 prime?
False
Suppose 0 = 3*w + 8 - 2. Is w/(-13) + (-3963)/(-13) composite?
True
Suppose 1 + 8 = 3*t. Suppose 117 = t*p + 12. Is p composite?
True
Suppose -395 - 135 = -5*y. Is y prime?
False
Let i(p) = -34*p**3 + 7*p**2 + 6*p - 10. Is i(-5) a prime number?
False
Suppose l + 390 = 3*l. Let q(w) = w - 118. Let g be q(0). Let n = l + g. Is n composite?
True
Is -1 + (-2 - -2 - -3) - -17 a prime number?
True
Suppose 116 = -l - l. Let q = -36 - l. Is q a composite number?
True
Suppose -7738 = -5*d - 2268. Is d a composite number?
True
Let i = 233 - -645. Is i a composite number?
True
Let t be (2/(-4))/((-2)/24). Let g(n) = n - 29 + n**2 + 10 + 14. Is g(t) a prime number?
True
Suppose -3*i = -4*i + 3*n + 1400, 4*i - 5592 = 4*n. Is i composite?
True
Let j(m) = 38*m + 3. Let b = 4 + 0. Is j(b) a composite number?
True
Suppose -1 = -f - 3. Let d = f - -25. Is d a composite number?
False
Suppose 0 = -d - 4*d + 5545. Is d prime?
True
Suppose p - 3*a - 142 = 0, -5*a - 76 + 432 = 3*p. Is p a prime number?
True
Let d(t) = -39*t - 115. Is d(-18) a composite number?
False
Let k(p) = 3*p + 3 + p - 7*p + p**2. Is k(-8) prime?
False
Suppose -3*v + 885 = 2*v. Is v prime?
False
Let d = 20 + -30. Suppose -219 = -5*w - 2*u, -3*w - 30 = -5*u - 149. Let q = w + d. Is q composite?
True
Is (132/(-24))/((-2)/12) prime?
False
Suppose 5*r + 2*u - 5 - 5 = 0, 0 = -u + 5. Suppose -3*p + 160 + 14 = r. Is p a composite number?
True
Suppose -162 = -3*y - 567. Suppose -d - 1 = 0, -3*d - 820 = -4*j + d. Let f = j + y. Is f prime?
False
Suppose 2*k + 8 = 6*k. Let d = 48 - k. Is d prime?
False
Let j(o) = -18*o**3 - o. Let s(m) = -m**2 + 10*m - 1. Let r be s(10). Is j(r) prime?
True
Let b = 852 - -191. Is b prime?
False
Suppose 5*c - 2*k = -45, -2*k + 3 - 13 = 0. Is 3/3 - -2 - c a composite number?
True
Let c(f) = 852*f**2. Let h(y) = -y**2 - 5*y + 1. Let x be h(-5). Let p be c(x). Suppose -3*i = 81 - p. Is i composite?
False
Let a(r) = -21*r + 1. Is a(-6) a prime number?
True
Let s(p) be the second derivative of -p**4/12 - 2*p**3 + 5*p**2/2 + p. Let i(v) = -2*v + 12. Let d be i(10). Is s(d) composite?
False
Let a be (-4)/(-26) - (-6190)/(-13). Is (-2 + a)*(-3)/6 composite?
False
Let t be ((-14)/(-8))/(3/(-48)). Let r = 77 + t. Is r a composite number?
True
Is (-2 + -1)*211/(-3) a prime number?
True
Let g(p) be the first derivative of 5*p**4 + p**3/3 - 2*p**2 + 3*p - 3. Let f = -4 - -6. Is g(f) a prime number?
False
Let r = -8 + 8. Suppose r = -3*v - v + 572. Is v a composite number?
True
Let l(z) = z. Let j(t) = 4*t - 15. Let o(h) = j(h) - 6*l(h). Let y be o(-10). Suppose y*a + 29 = 214. Is a a composite number?
False
Is (-2)/(-8) - (-9990)/8 composite?
False
Let w = 69 - 38. Suppose -5 = 2*u - w. Is (u/4)/(2/8) a prime number?
True
Is (-7 - -4) + 1/(3/6162) a prime number?
False
Suppose -5*u = -0*u + 10, u = -2*j + 816. Is j a composite number?
False
Let t(k) be the second derivative of -1/6*k**3 + 4*k**2 + 0 - k. Is t(-6) a prime number?
False
Let p = 64 - -3. Is p a prime number?
True
Suppose 5*q - 19 = 26. Is q a composite number?
True
Suppose -2*n + 2*g = -7038, 0 = -0*n - 4*n + 5*g + 14074. Is n prime?
False
Let m(n) = -883*n + 2. Is m(-3) a prime number?
False
Suppose -5*m - 4*h = -14, -2*m + 4*h = -m - 22. Is 2*(3 + 519/m) a composite number?
False
Suppose -2*l - 2*l + 20 = 0, 0 = -3*i + 2*l - 46. Let v = i - -23. Is v a composite number?
False
Let d(s) = 2*s**2 + 1. Let p be d(-1). Suppose 1 = p*z - 8. Suppose -349 = -z*i - 100. Is i prime?
True
Suppose -5*s + 3*g + 301 = 0, 96 = 2*s + g - 31. Suppose 4 - s = -d. Suppose 2*z - 16 = d. Is z prime?
True
Suppose 0 = -2*l + n + 90, 4*n - 17 = 4*l - 189. Is l a prime number?
True
Let m(d) = -6 - 4*d - 8*d - 1. Let z be m(7). Let i = z - -174. Is i a composite number?
False
Let z(p) = 85 - 4028*p - 40 + 114. Let f(n) = 51*n - 2. Let b(y) = -159*f(y) - 2*z(y). Is b(-1) prime?
True
Suppose -4*g + 10 + 14 = 0. Let l = g + -4. Is l a prime number?
True
Let z = 918 + -413. Is z prime?
False
Let q(o) = o**2 + o - 4. Let t be q(-3). Suppose 0*b - 201 = -4*r + b, 5*r - 235 = -t*b. Is r a prime number?
False
Let g(v) = 7*v**2 + 6*v + 16. Suppose 3 = -l - 4. Is g(l) composite?
False
Let l be 1/(-7) + (-45)/(-21). Is 3598/21*3/l composite?
False
Let f = -492 - -691. Is f a prime number?
True
Let h = 191 - 112. Is h a prime number?
True
Let 