**2. Is f(k) composite?
True
Let f be 1*36*2/(-2). Let v be ((-118)/3)/((-2)/(-3)). Let d = f - v. Is d a prime number?
True
Suppose 4*o - 2604 + 944 = 0. Is o composite?
True
Let n be 10 + (1 + -1)/(-2). Suppose 4*r - 40 - 452 = 0. Let m = n + r. Is m a prime number?
False
Suppose -2*s + 684 = 4*l + 74, -3*s - 5*l + 916 = 0. Is s a composite number?
False
Let r(c) = 11*c - 6. Let x(t) = 120*t - 65. Let a(v) = -65*r(v) + 6*x(v). Let l = 4 - -3. Is a(l) a prime number?
False
Let y(g) = 10*g**3 + 4*g**2 - g - 4. Is y(3) prime?
False
Suppose -2*f - 2*g = 12, 0 = -5*f + 2*g - 0*g - 16. Is (7/(-3))/(f/84) composite?
True
Is 1486/2 + 3 + -3 + 0 a composite number?
False
Suppose -5*g + 5*b = -1300, -1137 = -4*g - 4*b - 73. Is g a prime number?
True
Let r(s) = s**3 - 7*s**2 + 9*s - 8. Let k be r(6). Let c(o) = -o**3 + 11*o**2 + 11*o + 13. Is c(k) prime?
True
Let w = 3541 + -1784. Is w composite?
True
Let z = 4 + -1. Suppose -z - 12 = -k. Let s = k + -1. Is s a prime number?
False
Suppose f - 2 = 5*x, x - 1 + 5 = -f. Let k(c) = -c**2 - 6*c - 5. Let h be k(-5). Is (-363)/3*(h + x) composite?
True
Let s(a) = 5*a**3 + a - 1. Let n be s(1). Suppose -c - 3*c = -20, n*y + 5*c = 270. Is y a composite number?
True
Let z(g) = 6*g**2 - 9*g - 5. Is z(8) composite?
False
Suppose -74*w - 977 = -75*w. Is w a prime number?
True
Let g = 920 + 551. Is g composite?
False
Let n(y) be the first derivative of 2*y**3/3 - 9*y**2/2 + 4*y - 10. Suppose 3*x - 8*x + 45 = 0. Is n(x) a prime number?
False
Suppose 2*l - 5*t + 15 = 0, 2*t = 4*l + 3 + 3. Suppose l = 4*z - 0*z - 644. Is z composite?
True
Suppose -3*d = d - 3*n - 582, -10 = 5*n. Let j = d - 52. Is j/4*(5 - 2) a composite number?
True
Let t be (1/(-2))/(4/8). Let z be t/(-4) - (-451)/4. Is (-2)/3 + z/3 composite?
False
Suppose 2*l - l = 3. Is l/(((-4)/34)/(-2)) composite?
True
Suppose 2 - 5 = -o. Suppose -3*k - o*f = -255, -4*k + f = 3*f - 340. Is k a prime number?
False
Let x be (-6 - -3)*(-4)/6. Suppose -x*w - t - 9 = 0, 5 + 10 = -3*t. Is ((-35)/(-20))/(w/(-16)) a prime number?
False
Suppose -36 = l - 3*l. Let b = l - -5. Is b composite?
False
Suppose 291 = y - 114. Suppose 4*n + n = y. Is 4/(-2) + 1*n composite?
False
Let f(o) = 43*o**3 - 8*o**2 + 11*o - 7. Is f(5) a composite number?
True
Suppose -761 = -2*b + u, 449 = 4*b + 4*u - 1079. Is b prime?
False
Let h be (0 + (-185)/20)*-12. Let r = -3 - -5. Suppose a = -r*a + h. Is a prime?
True
Let v = -16 + 26. Let k(m) = -3 - 11*m + 5 + v*m - 18*m. Is k(-3) a prime number?
True
Suppose -4 = -3*w + 2*m, 4 = 3*w + m - 3. Let s(h) = h + 237. Let g be s(0). Suppose r = -w*r + g. Is r composite?
False
Let i(g) = -71*g**3 - 4*g**2 - g + 3. Is i(-2) prime?
True
Suppose 5848 = 10*g + 838. Is g composite?
True
Suppose -4*b + 4*r + 8 = 0, 0 = -r - 3*r + 4. Suppose 5*g + a - 58 = b*a, 0 = -g - a + 6. Is g a prime number?
False
Let y(i) = 2*i**2 - 2*i - 4. Let j be y(7). Let z = 117 - j. Is z composite?
False
Suppose 2*m - 536 = -2*m. Suppose -5*l + 3*u = -25 - m, -3*u + 6 = 0. Is l composite?
True
Let a(b) = b**3 + 15*b**2 + 12*b + 5. Is a(-14) prime?
False
Let g(r) = -3*r. Let h be g(-1). Suppose h*m - 3*l = 696, -5*m + 51 = 4*l - 1118. Is m composite?
False
Let g(r) = 66*r**2 - 12*r + 1. Is g(-3) a prime number?
True
Let a(y) = -y**2 + 7*y - 9. Let u(f) = f**2 + 9*f + 7. Let k be u(-9). Let v be a(k). Is ((-3)/(v/138))/2 prime?
True
Suppose 406 = h + 143. Is h a prime number?
True
Let z = -4 + 4. Suppose -121 = -v + 2*h, z = -3*v - h + 281 + 89. Is v a prime number?
False
Let d(q) = q**3 - 3*q**2 - q + 4. Let k be d(3). Let p = 1 + k. Is p/(-6) + 200/6 prime?
False
Let w be 2 + (-1)/1 - -2. Suppose -4*y + 5*n + 39 = -18, 44 = w*y - 4*n. Let f(v) = -v + 11. Is f(y) composite?
False
Is 933 + 0/(1 + -2 + 0) prime?
False
Suppose -3*i - 4*f = 2*i + 698, -2*f = i + 136. Let s = -83 - i. Is s prime?
True
Let a(f) = 20*f**2 + 1. Let s be a(1). Let g(b) = -2*b**3 + b**2. Let n be g(-3). Suppose 36 = k + i, 3*i - n + s = -k. Is k composite?
True
Let x(n) = 6*n**3 - 13*n**2 + 8*n + 5. Is x(8) prime?
True
Let a = 668 - -617. Is a composite?
True
Let n(j) = j**3 - 10*j**2 + 12*j + 4. Let p be (1/3)/(4/24). Let g = p + 7. Is n(g) a composite number?
False
Let n(y) = 5*y**2 + 3*y + 3. Let d(p) = -p**2 + p - 1. Let s(u) = -2*d(u) - n(u). Let h(j) = j**2 + 1. Let f(g) = 4*h(g) + s(g). Is f(5) a prime number?
True
Let q = 5 - 4. Let p(y) = y**2 + 1. Let g be p(q). Suppose -2*n = -3*x + 110, -4*x = -g*x - 5*n - 66. Is x prime?
False
Suppose -o = 3*x - 4*o + 81, x - 2*o + 30 = 0. Let f = 7 - x. Is f a prime number?
True
Let x(v) = 16*v**2 + 6*v + 5. Is x(9) a prime number?
False
Let t be 2538/15 + 2/(-10). Suppose 5*q = 3*z + 1901, -2*q + 587 + t = z. Is q prime?
True
Let z = 3785 + 1596. Is z a prime number?
True
Let w(b) = -19*b + 2. Let f(j) = 18*j - 3. Let i(u) = 2*f(u) + 3*w(u). Let t = -1 - 0. Is i(t) composite?
True
Suppose -y = -4*h - 2*y + 1532, -1158 = -3*h - 3*y. Is h prime?
False
Let n = -93 - -165. Suppose 9*k = 6*k + 9. Suppose 4*p - 52 = -4*t + n, 0 = -k*p - 4*t + 91. Is p composite?
True
Let h(n) = -46*n**3 + 4*n**2 + 3*n + 1. Is h(-2) composite?
False
Let u(i) = -i**2 - 4*i + 4. Let x be u(-7). Let s = x + 34. Suppose 4*o - 58 = -j - s, -o + 5 = 2*j. Is o a prime number?
True
Suppose 2*u + 1 = 47. Is u a prime number?
True
Suppose z + 103 - 739 = 0. Suppose z = 3*l + l. Is ((0 + l)/3)/1 a prime number?
True
Let j(m) = -7*m**3 + m - 1. Suppose 4*q - 15 = l, -l - q = q - 3. Is j(l) a prime number?
False
Suppose 1 = -p + 2. Let i(z) = 5*z. Let t be i(p). Suppose 49 = 3*a + t*c, 0*c + 22 = 2*a - 2*c. Is a a prime number?
True
Let w = -8 + 13. Suppose -z = -w*z - 60. Let l = z + 46. Is l a composite number?
False
Suppose -2*l - 1531 = 2*l + h, 3*h = 5*l + 1901. Is (l/(-10))/(1/5) composite?
False
Let t = -42 + 101. Is t prime?
True
Let l(h) = -h**3 + 9*h**2 + 6*h + 7. Suppose 29 + 3 = 4*m - 2*f, 0 = m - 4*f - 8. Is l(m) a composite number?
True
Let f(g) = -9*g**3 + 2*g**2 - 3*g + 9. Suppose v + 4 = 4*z - z, v + 2*z = -4. Is f(v) prime?
False
Suppose -6*r = -2*r + 16, -2*r = 4*x - 356. Is x composite?
True
Suppose -2*r - 2*y = -6*r + 2882, 2879 = 4*r - 5*y. Is r prime?
False
Suppose 0 = -i + 3*i. Suppose i = l - 5*f - 156, 2*f - 106 = -l - 3*f. Is l a prime number?
True
Let b = 1 - -3. Suppose b*f + 3*n - 7*n = 132, 0 = f + 2*n - 45. Is f a composite number?
False
Let o(m) = -35*m - 6. Let k(n) = 69*n + 13. Let b(p) = -2*k(p) - 5*o(p). Is b(3) prime?
False
Is (-345)/10*4/(-3) prime?
False
Let v(k) = 24*k**2 - 2*k + 13. Is v(-5) a composite number?
True
Suppose -4*s = z - 2496 - 4992, 5*z - 20 = 0. Let l = -1084 + s. Is l prime?
True
Let m be -2 + (7 - (1 + -1)). Let p(n) = n + 4. Let v be p(6). Suppose -m*d + 53 = -2*h, -d - v = -2*d + h. Is d composite?
False
Let v(n) = -n**2 - 10*n - 5. Let r be v(-7). Suppose 3*a - 5*s = r, -5*s - 8 = -4*a - s. Let c = 13 + a. Is c a composite number?
True
Let k(w) = 3*w**2 - 5*w**2 + 3*w**2 + 10*w + 3. Let h be k(8). Suppose -3*j + h - 6 = 0. Is j prime?
True
Let r(s) = 11*s**2 - 12*s + 11. Let u(n) = 7*n**2 - 8*n + 7. Let l(t) = 5*r(t) - 8*u(t). Let w be l(4). Is (93/6)/(w/(-2)) a prime number?
True
Let t(m) = m**3 - 4*m**2 - 4*m - 5. Let s be t(5). Suppose 2*u - 61 + 7 = 0. Suppose s = 4*p - 3*p - 2*o - u, 5 = o. Is p prime?
True
Suppose -8*f + 3 = -4*f + 5*o, f + 3*o = -1. Is (1/f)/((-2)/(-356)) a composite number?
False
Is (-366786)/(-238) + 2/(-17) a prime number?
False
Let o(w) = -w**3 + 4*w**2 + w + 1. Let b be o(4). Let k = -2627 - -4634. Suppose b*h + 472 = k. Is h composite?
False
Suppose 4*o + 24 = 4*l, 4*o - 5*l + 27 = -2*l. Is (-7 - o)*11/2 composite?
False
Let z(j) be the second derivative of 3*j**5/40 - j**4/24 - j**3/6 + j. Let w(m) be the second derivative of z(m). Is w(6) a composite number?
False
Suppose 333 = m + 122. Is m a prime number?
True
Let n(t) = -38*t - 3. Let x be n(-3). Let m be 2/2 + -3*15. Let s = x + m. Is s a composite number?
False
Let j(d) = 2*d**2 - d - 3. Let n be j(3). Suppose 0 = -q - x + 5, -2*x + n = 2*x. Suppose r - 39 = -q*a, 0 = -3*a - r + 35 + 25. Is a composite?
True
Suppose -3*d = r - 269, -d + 4*r + 105 + 2 = 0. Is d a composite number?
True
Suppose -318 = -44*c + 42*c. Is c a composite number?
T