**3/3 - 9*b**2/2 + 5*b. Is k(-6) composite?
True
Let b(s) = -s**2 + 13*s + 1. Let o(u) = u**2 + 12*u + 1. Let h be o(-13). Let w be b(h). Let n = 26 + w. Is n prime?
True
Let h be ((-8)/(-6))/((-1)/3). Is (-2)/h - 123/(-6) a composite number?
True
Let x(r) = 27*r. Let d be x(-3). Let t = d - -118. Is t a prime number?
True
Is (-16)/(-24)*(-2859)/(-2) a prime number?
True
Let u = 343 + -126. Is u a composite number?
True
Suppose -10 = -5*b, -b + 308 = 4*a + 3*b. Suppose 4*y + 5*d = 11, 19 = 4*y - 3*d - 0*d. Suppose 0 = y*t - t - a. Is t composite?
True
Let s = 44 - 85. Let z = s - -252. Is z a prime number?
True
Suppose 0 = -f + 2 + 53. Let y = 108 - f. Is y composite?
False
Is ((-359)/(-4))/((-11)/(-88)) a composite number?
True
Suppose -1757 = -5*a - 2*y, -2*a + 706 = -0*a + 4*y. Suppose 4*c = -5*r + 4375, 3*c + 1422 + a = 2*r. Is r composite?
True
Let z(r) = 92*r**2 + 2*r + 3. Is z(-2) a composite number?
False
Let o be 0*3/((-3)/1). Let j be (-3 - o)*(-6)/9. Suppose -25 - 43 = -j*t + 2*z, -3*t - 3*z = -108. Is t a composite number?
True
Let o(i) = 186*i**2 - 5*i + 1. Let c be o(4). Let l = c + -699. Suppose l + 557 = 5*t. Is t composite?
False
Suppose 4*q + q = 165. Suppose -3*a + 40 = 2*y, -y - 4*a = -9*a - q. Is y composite?
False
Let c(a) be the second derivative of a**4/12 - a**3/6 + 13*a**2/2 - 4*a. Is c(-10) prime?
False
Let k(w) = -w - 4. Suppose 0*u - 12 = 3*u. Let x be k(u). Suppose 4*m + 241 = 3*h, -4*h - 4*m + 312 = -x*m. Is h composite?
False
Let z(t) = t**2 + 10*t + 12. Let u be z(-8). Let g be (-17)/(-4) - (-1)/u. Suppose -4*q + 6*q - 165 = -3*p, q - 220 = -g*p. Is p composite?
True
Suppose 13 + 42 = -5*f. Let p = f - 11. Is 9/6 + p/(-4) a prime number?
True
Suppose 5811 = 5*a + 4*q, -5*a - q + 4*q + 5783 = 0. Is a a prime number?
False
Let i = 623 + -294. Is i composite?
True
Let t(m) = -227*m - 4. Is t(-1) prime?
True
Suppose -5*i = -6*i - 111. Let w = i + 188. Is w prime?
False
Let a(n) = 2*n**3 + n**2 - 6*n + 3. Let t be a(-8). Let k = t + 1550. Is k prime?
True
Suppose -7*b - 4 = -g - 4*b, -2*g = -2*b - 4. Let j be 2 + (-4)/g + 25. Let w = 14 + j. Is w prime?
True
Suppose 2*a - 2*h = 8, -3*a - 6*h - 12 = -h. Is (-61 - -2)/a*-5 a prime number?
False
Let x = -513 + 824. Is x a composite number?
False
Suppose -3*w - 20 = -8*w. Suppose 20 = w*y, 5*i - y + 231 + 1484 = 0. Is (2/4)/((-9)/i) composite?
False
Let x = -5 + 11. Suppose x*h - 35 = h. Is h prime?
True
Suppose -47 - 81 = -2*j. Suppose 2*b - j = -4*q + 54, 3*b - 115 = -4*q. Is q a composite number?
False
Let a(t) = -4*t**2 + 13*t - 3*t - 5 + t**3 - 5*t. Is a(4) prime?
False
Suppose -22 = -4*y + 2*r, 2*y = -0*y + 5*r + 15. Suppose -2*a + y*a = 0. Suppose a = n - 0*n - 37. Is n composite?
False
Let q be -4 + 0 + 2/1. Is -3 - (132/(-2) + q) a prime number?
False
Suppose -3*l + 6 = 2*b + 24, 4*l = -4*b - 44. Suppose -3*m - w + 4*w = -252, 0 = 5*w + 10. Let x = b + m. Is x a composite number?
False
Is 240 - -3 - (-8)/2 a prime number?
False
Let b(j) = 2*j - 2. Let o be b(2). Is -2 + 34 + o + 0 prime?
False
Let x(r) = -r - 3. Let g be x(-2). Is 732/16 - g/4 prime?
False
Let z(p) = p**3 + 7*p**2 - 12*p - 6. Is z(-8) composite?
True
Is (-8)/(4 - -4) + 1*1358 prime?
False
Let g(z) = 42*z + 23. Is g(7) a prime number?
True
Let i = 0 - -2. Suppose -4 = -0*y - i*y. Suppose 0 = 3*l + y*l - 70. Is l composite?
True
Let z be 0/(-1) + 3 - -1. Let i = -27 - -33. Is (-49)/(-1) - (z - i) a composite number?
True
Suppose m - 5*n - 248 = 30, -5*n - 1157 = -4*m. Let b = -185 + m. Suppose -s + 67 = -3*v, 4*s - 204 = v + b. Is s composite?
False
Let a = 400 - 245. Is a prime?
False
Is ((-10)/(-3) - 3)/((-1)/(-1221)) prime?
False
Let o(l) = 9*l - 19. Is o(10) a prime number?
True
Suppose -5*h + n + 27 = -3*n, -h = n. Let w be 1*h*(-8)/12. Is (w/3)/((-2)/237) composite?
False
Suppose -4*o = -3*a - 16, -2*a = a + o - 4. Suppose 2*n = -a*n + 130. Is n prime?
False
Let m = -19 + 47. Suppose -z + m = -3. Is z prime?
True
Suppose 7923 + 2262 = 5*r - 5*g, 0 = 4*r + g - 8158. Suppose -3*n + 352 = -r. Is n composite?
False
Is (-2317)/(4 + -3 + -2) a prime number?
False
Let c = -4 - -6. Let x be ((-18)/4)/(1/c). Let t = x + 15. Is t a prime number?
False
Let v(j) = 3*j**3 - 2*j**2 - 8*j + 3. Let i be v(6). Suppose -5*u = -2*u + i. Is u/(-2) + (-2)/(-4) prime?
True
Let r(w) = -w**3 + 6*w**2 - 4*w + 14. Is r(-7) prime?
False
Suppose -3*c = c - 268. Is c a composite number?
False
Let r(v) = v**3 + 6*v**2 - 2. Let o be r(-6). Let s = o - -2. Suppose 2*i = -s*i + 42. Is i a composite number?
True
Let l be (-1 - 1)/2 - -5. Suppose -u = -l - 5. Is 3/(-2)*(-318)/u composite?
False
Suppose -h + 0*h + 3 = 0. Suppose 3*s - 56 = 58. Is s/6 - (-2)/h composite?
False
Suppose -3*c + 7*c - 5924 = 0. Is c a prime number?
True
Suppose -5*h + 2*i + 11665 = 0, -i + 495 = h - 1838. Is h a prime number?
True
Suppose -5*w + 2*m + 42 = 0, -w + 5*m + 13 = -0*w. Let g(t) be the third derivative of t**4/24 + t**3/2 + 5*t**2. Is g(w) a prime number?
True
Suppose -4*i = -3*p + 100, 3 + 2 = -5*i. Suppose 3*y = 3*l - 25 - p, 5*l - 3*y = 91. Suppose 3 = -2*g - 4*v + l, 2*g - v = 14. Is g a composite number?
False
Suppose k = n - 0*n + 1112, -4*n + 12 = 0. Is k a prime number?
False
Let s = 5 + -2. Suppose 0 = -2*h + f + 14, -s*f - 13 - 17 = -4*h. Suppose 0 = y - h - 31. Is y a composite number?
False
Let c = 578 + 465. Is c prime?
False
Let i = -563 - -4232. Is i a composite number?
True
Let t = -5 - -4. Let h be (t - 0)*-1*5. Suppose 5*o = z + o - 17, -5*z + 160 = -h*o. Is z composite?
False
Suppose -b - q = 2*q - 239, 4*b + 4*q = 972. Let u = 658 - b. Is u composite?
True
Let d = 10 - 8. Let i be 65/d*2*1. Suppose 0 = -4*s + i + 155. Is s composite?
True
Suppose -5 = -3*i + 2*i. Suppose 3*u + 74 - 2 = i*x, 0 = x. Let j = -5 - u. Is j prime?
True
Let y = -14 - -225. Is y prime?
True
Let z = 65 - -170. Is z a prime number?
False
Let t(p) = 5*p**2 + p. Let x be t(-1). Suppose 2*a = -x*c + 9 + 5, 4*a = 5*c + 2. Is -3*(-1)/a*19 prime?
True
Suppose -2*z = -0*z + 4*g - 150, -2*z + 2*g + 138 = 0. Is z composite?
False
Is ((-4)/10)/(0 + (-4)/580) prime?
False
Suppose o - 19 = -o - 3*f, 4*f - 22 = -2*o. Let m = 0 + o. Suppose b = -q - 0*q + 14, 0 = m*b - 20. Is q a prime number?
False
Let f be (-1 - (-1 - 1))*-116. Let n = f + 169. Is n prime?
True
Suppose 5*p - 630 - 655 = 0. Is p a prime number?
True
Let y = 8 - -31. Is y a prime number?
False
Suppose 4*p - 2*z = 8, 2*p + p = z + 8. Let t(w) = 2*w**2 - 6*w + 3. Is t(p) a prime number?
True
Let q = 252 + -392. Let y = q - -513. Is y a composite number?
False
Let u(b) = b**3 - 2*b**2 - 2*b. Let d be u(3). Is (1/d)/(1/117) a composite number?
True
Let a(u) = -8*u + 3. Let n be a(5). Let r = 220 + -130. Let s = r + n. Is s composite?
False
Let l(i) = 2*i**3 - i**2 + 1. Let y(c) = -c**2 - 6*c + 8. Let u be y(-7). Let j be l(u). Is (j/5)/((-4)/(-100)) prime?
False
Is (37 - (1 - -2)) + 3 a composite number?
False
Suppose -5*g = -p - 288, -p - 242 = -4*g - 6*p. Is g prime?
False
Let q(f) = f**3 - 7*f**2 + 7*f + 1. Let i = 3 - 0. Suppose -i*l = 5*w - l - 40, 3*w - 8 = 2*l. Is q(w) a composite number?
False
Let b = -2070 - -3935. Is b prime?
False
Let q(p) = -36*p - 19. Let w be q(-7). Suppose 1333 + 317 = 5*d. Let o = d - w. Is o composite?
False
Suppose 2*a - 6*a + 3628 = 0. Is a a composite number?
False
Suppose k + 2*t + 2*t - 21 = 0, -23 = 2*k - 5*t. Suppose -3*a = -2*c + 11 + k, 4*a = -5*c + 7. Suppose -3*d + 117 = -c*v + 4*v, 4*d + 5*v = 167. Is d composite?
True
Let r = 7 - 9. Is r/15 + (-174097)/(-165) a prime number?
False
Suppose 4*p - 3*n - 2*n = 24, -3*n - 12 = 0. Let q(y) = 18*y - 5. Let r(t) = t. Let b(o) = p*q(o) - 4*r(o). Is b(5) prime?
False
Let y = 21 - 15. Is (2/y + -1)*-57 a composite number?
True
Let j = -23 + 93. Let n = 127 - j. Is n composite?
True
Suppose -3*g - 13 = 5*q + 23, 0 = 3*q + 9. Let k(l) = 4*l**2 + 6*l + 9. Is k(g) a prime number?
True
Suppose -3*o + 1118 = 2*o + l, -l - 443 = -2*o. Is o prime?
True
Let s be -2*1*1/(-2). Let n be ((1 - s) + 2)/1. Suppose -n*m - 105 = -5*m. Is m a composite number?
True
Suppose 1055 = -2*f + 7*f. Is f a prime number?
True
Let z(u) = 2*u - 17. Let v be z(12). Is (-3 + v)/(2/47) prime?
False
Let y = 171 - 102. Let c(o) = -12*o +