. Is t a composite number?
False
Let w(i) = -i**3 - i**2 + 2*i + 2. Let d be w(-2). Suppose -3*g = -5*k + 805, -7*k + 2*k - d*g + 805 = 0. Is k a prime number?
False
Let t(s) be the second derivative of s**4/12 - s**3 + 2*s**2 - s. Let y be t(6). Is -1*y*(-76)/16 a composite number?
False
Let q = -69 - -142. Let b = q - 51. Let p = b - 9. Is p a prime number?
True
Let l(n) = 7*n**2 + 7*n + 1. Is l(6) a composite number?
True
Suppose -5*m + 1562 - 22 = 0. Suppose 0*b = 4*b - m. Is b prime?
False
Let v(p) be the first derivative of -3*p**6/40 + p**5/30 - p**3/6 + p**2 + 2. Let n(o) be the second derivative of v(o). Is n(-2) composite?
False
Suppose 4*s - 299 = -5*i, 2*i - 6*i - s + 237 = 0. Is i a composite number?
False
Is 66330/22 - -1*(4 + 0) a prime number?
True
Suppose -9*m - 20 = -4*m. Is (-4474)/(-12) + m/(-24) a prime number?
True
Let b(n) = -3*n**3 + n**2 + n + 1. Let k = 0 + -1. Let x be b(k). Let u = 22 + x. Is u prime?
False
Let k = -868 - -2309. Is k a prime number?
False
Let s(w) = w**2 + 3*w. Let l be (-2)/7 - (-216)/(-28). Let k(c) = 3*c**2 + 10*c. Let j(d) = l*s(d) + 3*k(d). Is j(7) composite?
True
Suppose -4*l + 4 = 0, 0*t + 866 = 2*t + 4*l. Suppose t = 2*n + 5*i, n - i = -3*i + 213. Is n composite?
True
Let q be ((-1)/4)/((-3)/24). Suppose -4*w + 3*x + 3541 = 0, -3*x = -0*w - q*w + 1763. Is w a composite number?
True
Suppose -2*j = -3*j + 91. Is j a composite number?
True
Let j(i) = i**2 - i + 5. Let x(n) = n**3 + 6*n**2 + 5*n - 7. Let z be x(-5). Let g = 13 + z. Is j(g) composite?
True
Suppose -f - 4 = -2*j, 2*f = 5*j - 8 - 2. Suppose -5*i + f*i + 35 = 0. Let q = 16 + i. Is q prime?
True
Let o(i) = 5*i**2 + 1 + 0*i**2 - 2 + i**3 - i. Let r(p) = p**3 + 2*p**2 - 14*p + 1. Let g be r(-5). Is o(g) a prime number?
True
Let r(k) = 2*k**2 + 0 - 2*k - 10 + 8. Let b be r(2). Suppose -b*j - 47 + 157 = 0. Is j prime?
False
Let p(z) = -3*z. Let c be p(1). Let j = c - -7. Suppose -x = -18 + j. Is x prime?
False
Suppose -6*j + 12 = -2*j. Suppose 0 = 3*o - 204 + j. Is o prime?
True
Suppose -4*t + 2361 = -1155. Is t a composite number?
True
Suppose -4*s + 12 = -s, -2*x - 2 = -3*s. Suppose 5*l - 245 = 5*j, j + 6 = 1. Suppose 0 = -x*y + 3*y + l. Is y a prime number?
False
Let x(b) = b - 4. Let w be x(4). Let o be (0/(-4))/(-1 - w). Is (-4 - o)*(-22)/8 composite?
False
Suppose -2053 = -24*v + 23*v. Is v composite?
False
Suppose 0 = 2*t + 4*r - 4, 9*r - 5*r + 2 = t. Suppose t*o - 6*o + 268 = 0. Is o composite?
False
Let m = 15 + -15. Suppose 3*o - 2*v - 3*v = 598, m = 5*o + v - 950. Is o a composite number?
False
Let t be -5 + 5 - -1*3. Suppose 4*i + 12 = 0, 5*p - 116 = -0*i - t*i. Is p prime?
False
Suppose -5*p + 5*l = -225, 3*l - 3 - 9 = 0. Suppose -3*t = -2*t - p. Is t prime?
False
Suppose -5*x + 5*i + 1330 = 0, -2*x - 530 = -4*x + i. Let r = x + 235. Is r composite?
False
Let t be 734/2 - 1 - 0. Suppose -4*c = -t - 214. Is c composite?
True
Suppose -2*y - 20 = -7*y. Suppose -4*k + 12 - y = 0. Suppose 5*v + f - 105 = 0, 3*v - k*f + 42 = 5*v. Is v composite?
True
Let s(n) = 49*n. Suppose -u + 3*f + 2*f - 13 = 0, 21 = 3*u + 5*f. Suppose o - u = -o. Is s(o) composite?
True
Suppose -6 = -a - 2*l, -a + 2 = 5*l - 7. Suppose -4*v + 0 + a = 0. Is 268/8 - v/2 prime?
False
Let v(w) be the third derivative of 7*w**6/60 - w**5/30 + w**4/12 - w**3/3 - w**2. Let l be v(2). Suppose 4*t = 2*t + l. Is t prime?
True
Let q(g) = 3*g**2 + 15*g + 53. Is q(-27) a composite number?
True
Let x = 445 - -1482. Is x a prime number?
False
Let p(h) = 138*h**2 - h + 1. Let r be p(1). Suppose 1093 = 5*o + r. Is o prime?
True
Let j(x) = -x**3 - 6*x**2 - x + 8. Let l be j(-9). Let i(o) = 3*o**3 - 3*o**2 - 5*o + 5. Let c be i(4). Let v = l - c. Is v prime?
True
Let n be (3/(-3))/(2/170). Let d = 10 - n. Is d a composite number?
True
Is 3*(524/3)/4 prime?
True
Let a = 22 + -8. Suppose 531 + a = 5*m. Is m prime?
True
Let y be 8/6*(-9)/(-6). Suppose 0*j - 52 = -y*j. Suppose 0*f - j = -2*f. Is f a prime number?
True
Let z be (11 + -8)*4/6. Suppose -2*x = -3*q - 172, -z*x - 4*q + 170 = -8*q. Is x a prime number?
True
Suppose -4*z = 3*s - 5*s + 90, -s + 66 = 5*z. Is s composite?
True
Let z be -3 - (1*-4 - 2). Suppose 2*c + 115 = g + 14, 0 = -5*c - z*g - 258. Is (-2 - -1)*(2 + c) prime?
False
Suppose t - 7 = -2. Let w(a) = -a**2 - 6*a + 18. Let q be w(-8). Suppose -k = 3, t*k - 157 = -2*u + q. Is u a prime number?
False
Let u(r) = -r**3 + 1. Let x be u(1). Suppose x = 4*t - t + 117. Let q = t + 64. Is q a composite number?
True
Is 1650/42 + 6/(-21) prime?
False
Suppose 3*g - 10 = -2*g. Let v be 33/g*(0 - -2). Is (v/(-12))/((-1)/8) prime?
False
Let j(y) = -18*y**3 + 3*y + 1. Is j(-2) prime?
True
Let v(d) = 16*d**3 + d**2 - 4*d + 3. Is v(2) prime?
True
Let t(m) = m**3 - 11*m**2 + 10*m + 47. Is t(15) a composite number?
False
Let g(t) = -5 - 4*t - 1 - 3 + 14*t. Is g(6) a prime number?
False
Suppose 2*v + 2 = 6. Is 37*-2*(-1)/v a composite number?
False
Let u = 1 - 5. Is (-1)/u - (-1752)/32 composite?
True
Is (-2)/((32/(-28))/4) prime?
True
Suppose -1448 = 5*d - 3913. Is d a prime number?
False
Suppose 4*n - 80 = 56. Is n a composite number?
True
Suppose 0 = -q - 2*q + 6. Is (-1071)/(-18) + q/(-4) composite?
False
Suppose -3*b + b + 6 = 0. Let x(t) = -4*t**2 - 22*t + 25. Let o be x(-8). Let c = b - o. Is c composite?
True
Suppose 338 = -2*k + 3*k. Suppose 6*o - o - 10 = 0. Suppose k = o*y + 20. Is y prime?
False
Let h = -1 + 6. Suppose -n + h*n - 8 = 0. Suppose -3*d + n*d = -83. Is d prime?
True
Suppose -7*x = -6*x - 139. Is x composite?
False
Let d(w) = 119*w**2 - w + 1. Is d(1) a composite number?
True
Suppose 0 = -2*r - 2 + 8. Suppose 2*o = r*c - 97, 2*o = 4*c - 0*o - 130. Is c prime?
False
Suppose -4*o - o - 2*g = -75, -3*o = -5*g - 45. Let c be (24/o)/(4/10). Suppose l + l = -4*j + 258, 0 = c*j - 5*l - 293. Is j prime?
True
Let v = 303 + -68. Is v prime?
False
Suppose -17 = 3*t - j, -15 - 6 = 3*t + 3*j. Is (291/t)/(1/(-2)) composite?
False
Suppose 0 = 2*v + 3*v. Suppose v*y = -y + 33. Is y composite?
True
Let t(w) = w**3 - 6*w - 2*w**2 + 3*w**3 + 2 - 3*w**3. Is t(5) a composite number?
False
Let l = -7 + 7. Suppose -v + l*v + 31 = 0. Is v composite?
False
Let p(k) = -k**3 - 7*k**2 - k - 7. Let o be p(-7). Let b(f) = f**3 + f**2 - 2*f + 79. Is b(o) prime?
True
Suppose -4*c + 100 = -2*a, 0*a = 5*c + a - 132. Suppose c = 5*m - 99. Is m composite?
True
Let p be ((3 - 5) + 3)/(-1). Let i be -1216 + p + 4 + -1. Is i/(-22) + (-12)/66 a prime number?
False
Let y = -4 - -6. Suppose 2*w + 3*w - 19*w = 0. Suppose y*n - 3*n + 34 = w. Is n composite?
True
Let c be 3/15 + 11334/30. Is 5/(15/c) - -1 composite?
False
Let u(r) = r**2 + 9*r + 12. Let n be u(-8). Is -329*4/(-1*n) a prime number?
False
Let u(k) = 3*k**3 - 6*k**2 + 8*k - 9. Suppose 7 + 13 = 5*g. Is u(g) prime?
False
Suppose -5*f + 17 = r - 7, -3 = 3*r. Suppose -3*j - 3 = 3*u - 15, -f*u + 26 = 2*j. Is u a prime number?
False
Let j be 85*-1 + 3 + 0. Let v = -23 - j. Is v composite?
False
Suppose 49*v + 1542 = 52*v. Is v composite?
True
Let z = 826 - 305. Is z composite?
False
Let h = -3078 - -4446. Suppose h = 4*k - 1796. Is k a prime number?
False
Let u = -31 - -27. Let x(s) = -s**3 - 2*s**2 - 2*s - 3. Let j be x(-3). Is (-53)/u - 3/j prime?
True
Let f be (-2 + 29/(-4))*-12. Let g = f - 56. Is g a prime number?
False
Let i = -2 + 5. Suppose -4*z + 1612 = 5*r - 1089, -i*r - 5*z + 1618 = 0. Is r composite?
False
Let a = 319 + 168. Is a a composite number?
False
Suppose -6*i - k = -i + 4, -5*i + 5*k + 20 = 0. Let m = i + 15. Is m prime?
False
Suppose -4*u = -2*x + 18, 0 = 3*x - 2*u + 3*u - 41. Is x a composite number?
False
Let o(j) = -j**2 - 3*j - 7. Let h be o(-6). Let l = h - -44. Is l composite?
False
Let y(a) be the first derivative of a**2/2 + a - 3. Let f be y(2). Suppose 0*u = -f*u + 114. Is u a composite number?
True
Let r(l) = 2*l**3 + l**2 - 4*l - 1. Let h be r(-5). Let j = 294 + h. Let w = j - 23. Is w a composite number?
True
Let g(n) = n**2 - 9*n + 11. Suppose 4*p = 3*p + 12. Let l = p + -4. Is g(l) a composite number?
False
Suppose 4*q - 67 = 37. Suppose 2*g - 18 = -g - r, -2*g + 4*r + q = 0. Is g composite?
False
Let h = 3 - -1. Suppose -3*s + 617 = h*y, -s + 203 = 4*y - 2*y. Is s a composite number?
False
Let w(l) = 7*