. Is s composite?
False
Is 306 + (-1 - (0 - 0)) prime?
False
Let m be (1 - 1)*(2 + -3). Let t = m - -6. Let q(s) = s**2 - 4*s + 3. Is q(t) prime?
False
Let g = 0 + -12. Let j be (18/g)/((-6)/4). Let x = j - -2. Is x composite?
False
Suppose 2 = -b + 4*h - 0, 4*b + 4*h - 12 = 0. Suppose 31 = b*f - 43. Is f composite?
False
Let k be (-111)/9*21*1. Is k*(1 - (3 - 1)) a composite number?
True
Let o(h) = 5*h**3 + 2*h**2 + 3*h + 5. Let k(x) = -4*x**3 - x**2 - 2*x - 4. Let c(d) = 4*k(d) + 3*o(d). Let s(b) = 2*b + 3. Let v be s(-4). Is c(v) composite?
True
Suppose 2*y = -5*t + 5*y + 6266, -2516 = -2*t - 2*y. Is t a composite number?
True
Let v(x) = -35*x**2 + 4*x + 2. Let f(w) = -70*w**2 + 9*w + 4. Let o(h) = 2*f(h) - 5*v(h). Is o(-3) a composite number?
True
Let z(x) = -983*x. Let l be (2/4)/(4/(-8)). Is z(l) a prime number?
True
Let j(b) = 6*b**2. Let r be j(-1). Let q(s) = -3*s**2 - 2*s + 5. Let w be q(r). Let v = -82 - w. Is v composite?
True
Let b(u) = 187*u**3 - 5*u**2 + 7*u - 5. Let r(w) = -94*w**3 + 2*w**2 - 3*w + 2. Let q(t) = -2*b(t) - 5*r(t). Is q(1) a prime number?
True
Suppose -828 = -8*t + 220. Is t prime?
True
Let r(w) = 9*w - 8. Let d(k) = -28*k + 23. Let z(s) = 3*d(s) + 8*r(s). Is z(-4) a prime number?
True
Let c(t) = -t + 9. Let i be c(8). Suppose 5*s = -i + 426. Let d = -38 + s. Is d prime?
True
Suppose -z - 2*y + 86 + 61 = 0, 0 = 5*z - y - 724. Is z composite?
True
Let j be (-1)/(2 - (-37)/(-18)). Let i be 4/j - (-2118)/(-54). Let g = i - -118. Is g prime?
True
Let h = 163 + -243. Let s be 2/(-7) + h/(-35). Suppose s*b + 31 = 93. Is b composite?
False
Let h(d) = 7008*d - 1. Let k be h(1). Is k/63 - (-2)/(-9) a prime number?
False
Let r(w) = 212*w**3 - w**2 + w - 1. Suppose 0 = 3*d - 3 - 0. Is r(d) a composite number?
False
Suppose 800 = -4*d + 2*d + w, 0 = -d - 4*w - 409. Let q = d + 720. Is q composite?
True
Let b = 3844 + -1389. Is b composite?
True
Suppose -3*r + 25 = 2*r. Let q be -1 - (1 + 1)/(-2). Suppose r*l - l - 24 = q. Is l composite?
True
Suppose 4*d = 4*m - 40, -4*m + 4*d + d = -45. Let j = m + 138. Is j composite?
True
Let q(b) = -b**2 + 2*b + 131. Is q(0) a prime number?
True
Let b be (-18)/24 - (-31)/4. Let k = 0 + b. Is k prime?
True
Suppose 8 = 4*k + 4*n, -n = -2*k - 2*k + 18. Suppose -k*w = -w - 873. Is w composite?
True
Let x be 7 - -95 - (0 - -3). Suppose 5*q - 2*q - x = 0. Is q a composite number?
True
Let u(v) = -49*v + 3. Let d be u(3). Let c = 259 + d. Is c a composite number?
True
Suppose -2 = 2*h - 10. Suppose h*g - 47 = 101. Is g composite?
False
Let y(x) = -51*x**3 + 2*x**2 + 6*x + 8. Is y(-3) composite?
True
Let i(b) = 32*b**2 - b + 2. Let j be i(2). Let v be (-2 + (0 - -2))/2. Is (v - (0 - -1)) + j a prime number?
True
Suppose -5*o = -205 - 40. Let r = 98 - o. Is r a composite number?
True
Let v = -1 - -5. Suppose s - 75 = 2*r, -v*r - 37 = 2*s - 163. Is s composite?
True
Is 434 + (2 - 3) + -1 + 5 a prime number?
False
Let v(s) = -s**2 - s + 85. Let o be v(0). Suppose -3*b - o = -244. Is b a composite number?
False
Let w(n) = -27*n**3 + 4*n + 3. Is w(-2) composite?
False
Suppose 2*k - 12 = -2*w, k + 3*w - 4*w + 2 = 0. Is (1/(-3))/(k/(-582)) a composite number?
False
Suppose r + r - 61 = -3*n, -2*n = -r - 43. Let a = n - -128. Is a prime?
True
Let o(r) = -11*r**3 + 9*r**3 + 3*r**2 + 2 + 5*r**3 + 3*r. Is o(3) prime?
False
Let q(w) = -w - 2. Let f be q(-6). Let t(o) = o + 10. Let g be t(-8). Suppose 5*r + g*j - 40 = 1, f*j = 5*r - 23. Is r prime?
True
Let g(s) = s**3 - 5*s + 3. Let u be g(4). Suppose 5*v - 50 = -5*y, 4*y - 2*v = v + u. Is (-2)/(-11) - (-537)/y a composite number?
True
Let v = 736 + -344. Let i = v + -127. Is i a prime number?
False
Suppose -2*u = -198 + 18. Let v = u - 25. Is v a composite number?
True
Suppose 8 = a + 9. Let n be a - (-3 + 0 + 2). Suppose -d = -5*f + 1647, n*f + 2*f + 3*d = 652. Is f a composite number?
True
Suppose 0 = 2*w - 10, 3*i - 3*w = -0*w - 15. Suppose -2*c + 5*q = -84, i = 2*c + 3*q + 2*q - 64. Is c composite?
False
Let x = 26 - 185. Let j be (-6)/(-15) - x/15. Let v = -4 + j. Is v a composite number?
False
Let r(f) = -f + 9. Let u be r(9). Suppose -2*z + 6*z - 840 = u. Suppose 3*k + 4*o = 131, -4*o - o + z = 5*k. Is k a composite number?
False
Let b = 2 - 12. Let i(w) = w**2 - 2*w + 1. Is i(b) a prime number?
False
Let b(x) = x**2 - 14*x - 25. Is b(-24) a composite number?
False
Let x(g) be the third derivative of -28*g**6/15 + g**4/24 - 5*g**2. Is x(-1) a composite number?
False
Let g = 169 - 116. Suppose b - 5*b = 0. Suppose -t + g = -b*t. Is t composite?
False
Suppose -2*o - 3*o + 2170 = 0. Suppose -3*i + o = -223. Suppose 4*k = -71 + i. Is k a composite number?
False
Let d = 4749 - 1934. Is d composite?
True
Suppose 0 = c - 5*c - 16. Let j(v) = -v**2 + 5*v - 2. Let n(i) = -6*i**2 + 25*i - 10. Let f(k) = -11*j(k) + 2*n(k). Is f(c) composite?
True
Suppose i - 116 = g, -4*g = 2*i - i - 116. Let l = -5 + i. Is l composite?
True
Suppose r - f + 538 = 4*r, r - 4*f - 201 = 0. Is r a composite number?
False
Let y(n) be the first derivative of n**3 + 2*n**2 - n + 6. Is y(10) composite?
True
Is 3 + 26/(-6) + 77493/9 a prime number?
True
Let y = 5 + -7. Let l be (16/10 + y)*-5. Suppose -l*w + 4*a = -54, 0*w = -w - a + 36. Is w composite?
True
Let q = -116 + 199. Let c = q - 2. Suppose 3*o - 84 = c. Is o a prime number?
False
Let n = -2 + 4. Is (-6 + 2)/(n/(-3)) a prime number?
False
Let q be 2/(-1)*3/6. Let y(n) = -n - 1. Let t(r) = r**3 - 8*r**2 - 3*r - 2. Let d(z) = q*t(z) + y(z). Is d(6) a prime number?
False
Is (-1028)/(-8) - 9/6 composite?
False
Suppose 0 = -3*x + 91 + 374. Is x a prime number?
False
Let l(d) = 88*d + 1. Let g(j) = j**3 - 2*j**2 + 1. Let h be g(2). Is l(h) a composite number?
False
Suppose 3123 - 63 = 4*q. Suppose 0 = 5*c - q - 830. Is c composite?
True
Suppose 119 + 172 = 3*s. Is s prime?
True
Suppose -192 = -2*t - 4*s, 2*t = t + 3*s + 106. Suppose -5*x + 4*y = -1099, x - 2*y = 115 + t. Is x composite?
False
Suppose 3*j + b = 20, -4*j = -9*j - 5*b + 50. Let y be j + 2/(-1) + -1. Is 201*y/(3 - -3) a prime number?
True
Suppose 3*x - 17 = -2*m, -4*m + 2*x = -7 - 3. Suppose -m*a + a = -15. Suppose -2*i = -5*b - 63, b - 20 = a*b. Is i a prime number?
True
Let q = 15 - 1. Suppose -3*v + 1 = 10. Let t = v + q. Is t prime?
True
Let y be (2/1)/((-2)/(-3)). Suppose -y*l - 30 = -8*l. Let i(m) = -m**3 + 5*m**2 + 7*m + 8. Is i(l) composite?
True
Let w(r) = 6*r**3 - 6*r**2 - 7*r + 16. Is w(9) a composite number?
True
Suppose 0 = -3*g + 5*g - 4. Suppose -5*w + g*w = -l - 162, -4*w - l = -209. Is w a prime number?
True
Suppose 3*y + 3*r - 2619 = 0, 3*r - 6*r + 3496 = 4*y. Is y prime?
True
Let g(s) = s**2 - 5*s + 2. Let p(k) = -2*k - 7. Let f be p(-6). Let y be g(f). Suppose h = -3*m + 54 + 58, 2*h = y. Is m prime?
True
Let g(t) = -t**3 - 6*t**2 + 9*t + 10. Let h be g(-7). Let s(q) = -61*q + 5. Let k be s(h). Suppose 0 = 3*v, -2*l = -5*v - k + 7. Is l prime?
False
Suppose 5 - 13 = -4*h. Suppose j + 4*s + 0*s - 149 = 0, h*s + 119 = j. Is j composite?
True
Is 701 + -2 + -1 + 5 a composite number?
True
Is (-2410)/(-6) + 4/3 composite?
True
Let h(a) = 46*a**2 + 3*a - 2. Let m be (-3)/(3 - (6 + 0)). Is h(m) a prime number?
True
Let r = -15 + 21. Suppose -r*y + 2*y = -412. Is y prime?
True
Let n(d) = -189*d - 1. Is n(-2) a composite number?
True
Suppose -3*u - c = 240 - 3842, -4*u + 4*c = -4808. Is u a composite number?
False
Let o(a) = -a - 1. Let y be o(2). Let q be (y/(-3))/(2/74). Suppose 4*p - 43 = -4*s + q, -5*p - 2*s + 97 = 0. Is p a composite number?
False
Suppose p + 5*s - 408 = 0, -2*p + 3*s + 149 = -641. Is p a composite number?
True
Suppose 12 = 4*n, -4*n = 2*f - n - 85. Is f a composite number?
True
Suppose -2*a + 3*a = 329. Is a a prime number?
False
Let p be (-2)/2*(-60)/12. Suppose p*h - 778 = -53. Is h a prime number?
False
Let u be 22/(-18) - 2/(-9). Let c(k) = 2*k**2 - 2*k - 1. Let a be c(u). Suppose 0 = 4*t - 5*q - 14 - a, -t = 5*q + 2. Is t a composite number?
False
Let o(d) = 45*d - 1. Is o(4) composite?
False
Let x be 2 + (-15)/(-6)*-2. Let f be -3 - x - (-8)/2. Suppose -33 = -h + 2*m, -f*h + 36 = -3*h + m. Is h a composite number?
True
Let z(b) be the second derivative of b**5/10 - 2*b**4/3 - 5*b**3/6 + b**2 + 3*b. Let w be z(6). Suppose -w 