 + d. Is s(g) composite?
False
Let i(f) = -7*f**3 - 3*f**2 - 2. Let x be i(-3). Suppose 4*s + b = 154, s - 4*b = 5*s - x. Is s a prime number?
False
Let q(y) = -y**3 - 3*y**2 - 4*y - 2. Let o be (-6 - -4)*7/2. Let w = 4 + o. Is q(w) prime?
False
Let w = 14 - 14. Suppose 0*u + 5*u - 385 = w. Is u composite?
True
Suppose -3*u = -7*u - b - 12, 0 = -3*u + 3*b - 9. Let j(t) = 10*t**2 - 2*t - 5. Is j(u) a composite number?
True
Let o(l) = 2*l**2 + 4*l - 5. Let x be o(-4). Suppose 4*z = 13 + x. Is 1 + z/(-2) + 13 a composite number?
False
Let g = -1 - -3. Let j be -6*(-1)/g*-1. Is (1 + j)/((-4)/190) composite?
True
Let t(d) = 6*d**2 + d - 2. Let h be t(-5). Let y = h + 0. Is y composite?
True
Let p = -6 + 18. Suppose -4*t = -64 - p. Is t a prime number?
True
Let y = 3 - 17. Let p be -3*(-3 - y/6). Suppose -5*w - 2*g - p*g = -449, 0 = w - 3*g - 105. Is w composite?
True
Let q = 10 - 5. Suppose 0 = q*h + 5*b + 10, 3*h - h - 21 = 3*b. Suppose -h*l + 14 = -28. Is l a composite number?
True
Let j be 2 + ((-1)/(-1) - 1). Is (-30 - 7)/(j/(-10)) a prime number?
False
Suppose -4*a + 3 = -a. Suppose 0 = -5*g + 34 + a. Is g composite?
False
Suppose -5*b - 10 = -5*v, 2*v = b + 4*b - 5. Suppose 9 + 51 = v*l. Is 2*3/l*22 composite?
False
Let i(s) be the first derivative of s**2 - 5*s - 2. Is i(9) a prime number?
True
Let a(s) = -14*s - 4. Let i(f) = 7*f + 2. Let k(p) = 2*a(p) + 5*i(p). Let z be k(5). Suppose -3*x + z = -74. Is x a prime number?
True
Let k be (4/3)/(6/9). Is 316/10*5/k composite?
False
Let z = -207 + 896. Is z composite?
True
Let p = -769 - -1460. Is p a composite number?
False
Let m be 2/3*3 + 2. Suppose -2*n + 168 = -3*i - i, -n = -m*i - 74. Let d = n + -43. Is d a prime number?
False
Suppose 1835 = 3*f + 2*r, 5*r + 13 = 3. Is f prime?
True
Let d be 1*-2 + (3 - -11). Suppose u - d = 2*o, -4*o - 10 = -u + 6*u. Suppose -82 = -2*s - 4*z, -6*s - u*z = -s - 181. Is s a composite number?
True
Let t = 2191 + -1150. Is t a prime number?
False
Let n(q) = -q + 5. Let c be n(3). Let z be (-1 - -67)/c*3. Let j = 190 - z. Is j a composite number?
True
Let s(d) = d + 11. Let v be 10*(1 - 0)/(-1). Let x be s(v). Is 0 - -1*204 - x prime?
False
Let t = -5 - -13. Suppose t*n = 11*n - 417. Is n a composite number?
False
Let l = 52 - 82. Let p be 5*3/(l/(-8)). Suppose 40 = p*n + 2*m, 26 = n + n - 2*m. Is n a prime number?
True
Let r be -2*(-2)/8*6. Suppose -5*i + 335 = -5*d, -r*d + 278 = 4*i - 2*d. Is i a prime number?
False
Suppose -w + 3685 = 3*p - 0*w, -4*p - 3*w + 4920 = 0. Is p a composite number?
True
Suppose -4*x = -3*m - 0*m + 293, x + 97 = m. Is m a composite number?
True
Suppose 2*a - 5*f = 11, -2*f - 14 = -5*a + 3*a. Is 2/(a/(-3820)*-5) a prime number?
True
Suppose -2 = q - m - 1, q + 4*m = 19. Let d = 11 + q. Is d prime?
False
Let w = -2754 - -6125. Is w composite?
False
Let z(t) = 5*t**3 + 5*t**2 - 2*t - 13. Is z(4) composite?
False
Suppose 3*m + 3 - 6 = 0. Let a(f) = 2*f - 4*f + m - f**2 - f + 2*f**2. Is a(5) composite?
False
Let i be 537/(-6)*-1*2. Suppose -2*n = n + 2*w - i, -110 = -2*n + w. Is n a prime number?
False
Suppose 0 = 6*r - 2346 - 768. Is r composite?
True
Suppose 0 = -5*m + 317 + 468. Is m a prime number?
True
Let c = 2 - -1. Is (69/(-4))/(c/(-28)) prime?
False
Suppose 0*l + 4*l - 436 = 0. Let y = 6 + l. Is y a prime number?
False
Let m = -12 + 26. Is (1028/6)/(m/21) composite?
False
Suppose 0*b = -4*b + 2560. Suppose -7*z + b = -2*z - 3*s, -2*z = 2*s - 272. Is z a prime number?
True
Let v = 835 - -1314. Is v a composite number?
True
Let k be 1 - (3 - (-927)/(-3)). Suppose 0*l + l - k = 0. Is l a prime number?
True
Let u = -28 + 20. Let z = u - -15. Suppose 7 + z = 4*s + 5*f, -5*f = -4*s + 34. Is s prime?
False
Let k(s) = 8*s + 4*s + 1 - 8. Suppose 0 = 3*i - 4*y + 1, -21 = i - 2*i - 4*y. Is k(i) prime?
True
Let r(n) = 2*n**2 - n - 16. Is r(-13) a composite number?
True
Suppose 3*t = -2*t + 3305. Suppose -206 = -2*l + 5*k, 5*l - t = -2*k - 88. Is l prime?
True
Suppose -y + 1041 = 3*g - 0*y, 3*g - 3*y - 1041 = 0. Is g composite?
False
Is ((-977)/(-4))/(5*(-4)/(-240)) prime?
False
Let c = 585 + 1514. Is c composite?
False
Is 1262/(-3)*(-4)/(40/15) composite?
False
Let f be (-56)/(-9) - 2/9. Let a be (-40)/f*(-72)/16. Let v = a - -5. Is v a composite number?
True
Let l = 129 - 64. Suppose -3*b + 4*r + l = 0, -b - 2*r - 3*r = -28. Is b composite?
False
Let z = -3 + 7. Let y be z/(-14) - 4689/(-21). Suppose a = 3*k + y, -2*a - 2*k = -k - 418. Is a composite?
False
Let w(c) = c**2 + 6*c + 2. Let h(l) = l**2 - 8*l - 4. Let u be h(8). Let z be w(u). Is z/4*2286/(-27) prime?
True
Let k(v) = 6*v**2 - 1. Let d be k(-1). Suppose 0 = 5*t - 3*i - 482, 104 + 192 = 3*t + d*i. Is t a composite number?
False
Suppose -9*f + 2645 = -16786. Is f composite?
True
Suppose -5*f + 7 = -13. Suppose -5*l + 25 = 5*a, f*l - a = 4*a - 7. Suppose t + 9 = -0*q - 3*q, 2*q - l = -2*t. Is t composite?
True
Let r(d) be the third derivative of -d**4/24 - 2*d**2. Let k be r(-2). Suppose 5*g - 111 = k*c, 0 = -4*g - 4*c + 31 + 69. Is g a composite number?
False
Suppose 3*w = -693 - 315. Let x = w - -650. Is x prime?
False
Suppose 4*y = m - 0*m + 4796, 0 = -5*m - 20. Suppose 3*c - y = -319. Is c composite?
False
Let r(d) = -d + 3. Let k be r(5). Let h(c) = -28*c - 3. Is h(k) prime?
True
Let l(i) = i - 7. Let v(r) = r - 8. Let f(q) = -3*l(q) + 4*v(q). Let d be f(0). Let x = 22 + d. Is x prime?
True
Let m(h) = -h + 1. Let a be m(-1). Let r(y) = 39*y - 1. Is r(a) prime?
False
Suppose -5*l + 2*a = 3*a - 15, l = 5*a + 3. Suppose -5*w + 68 = -l*w. Is w a composite number?
True
Is 25180/24 + (-1)/6 composite?
False
Let f(d) = d**3 + 8*d**2 - 7*d - 5. Let s(l) = 2*l**3 + 17*l**2 - 14*l - 9. Let t(i) = -7*f(i) + 3*s(i). Let h be t(-6). Suppose 0*b = -h*b + 8. Is b composite?
True
Let z = 345 - 92. Is z a composite number?
True
Let j(r) = 35*r - 4. Let h(x) = 71*x - 9. Let l(a) = -4*h(a) + 9*j(a). Let m be l(-3). Is (-6)/9*3 - m composite?
True
Suppose 2*v + 0*v = -12. Let i = -3 - v. Suppose 0 = h + i*h - 268. Is h prime?
True
Let c(z) = 10*z**3 + 2*z - 1. Let v be c(1). Let j be ((-4)/(-6))/((-2)/(-108)). Let b = v + j. Is b a composite number?
False
Let y(v) = -38*v**2 + 20*v - 2. Let x(l) = 13*l**2 - 7*l + 1. Let s(q) = -11*x(q) - 4*y(q). Is s(-2) prime?
False
Let b(q) = q**3 + 8*q**2 - 2*q - 3. Let a be b(-5). Suppose 15 = -j + a. Is j a prime number?
True
Suppose 0 = -m - 5 + 3. Is -2 - 2*m - -407 prime?
True
Let w(a) = -70*a**3 - 2*a**2 + 4*a - 5. Let i be w(2). Let b = -371 - i. Is b a composite number?
True
Is (-12)/(-4) + -6 + 2 + 38 prime?
True
Let n be (2/(-6))/((-3)/36). Suppose 2*t = w + 64, 0*t - n*t + 3*w = -130. Is t a prime number?
True
Let s(w) = -5*w**2 + 2*w - 2. Let b(o) = -6*o**2 + 2*o - 3. Let t(u) = 3*b(u) - 4*s(u). Is t(-5) a prime number?
True
Let l be (-15)/6 + 1/2. Is (47/(-2))/(1/l) composite?
False
Suppose 1224 = 5*p - 2141. Is p a composite number?
False
Is (-4)/16 - 573/(-4) a prime number?
False
Is (892/6)/((-2)/(-12)*4) a composite number?
False
Let p(w) = w**2 + 5*w - 6. Suppose -16 = f - 5*q, -3*f - 10 = q + 3*q. Let n be p(f). Suppose 2*y = -3*d - n*d + 100, -5*d = -2*y + 116. Is y prime?
True
Is -1146*(-1)/8 - (-4)/(-16) prime?
False
Let t(w) = 19*w**2 + 1. Let b(q) = q**3 + 2*q**2 - 1. Let k be b(1). Is t(k) a composite number?
True
Let t(q) = 2*q - 7. Let m be t(6). Suppose -2*h - 46 = -u + h, 5*u = m*h + 200. Suppose 5*o + 3*z + 0*z - 90 = 0, u = 2*o + z. Is o a prime number?
False
Let p = 13 - -42. Is p composite?
True
Suppose -26 = 3*z + 247. Let b = 188 + z. Is b a prime number?
True
Let h(y) be the third derivative of y**4/24 + 13*y**3/6 + y**2. Let f(g) = -g**3 + 6*g**2 - 2*g + 12. Let k be f(6). Is h(k) prime?
True
Let z(g) = 52*g**2 + 4*g + 5. Is z(-2) composite?
True
Let t(n) = -n**3 + 21*n**2 - 17*n + 5. Is t(20) composite?
True
Suppose 0 = n + n - 4. Let w = 2 - n. Suppose 265 = 5*z - 3*x, w*z + x - 265 = -5*z. Is z prime?
True
Let k be (-42)/(-8) + 2/(-8). Suppose k*l = 4 + 21. Suppose 0 = 2*c + l*r - 17, -2*r + 10 = c + 1. Is c a prime number?
True
Let b = 0 + 46. Is b a composite number?
True
Suppose -1 = -3*t + 2, 2*c - 1387 = -5*t. Is c composite?
False
Is (-27 - -24) + 0 + 430 a composite number?
True
Let t = 9 - 6. Let d = -11