 14*i + 1. Let t(f) = -f**2 - 3*f + 5. Let k be t(-4). Is v(k) prime?
False
Let m = -26 - 2. Let a = 51 - m. Is a a prime number?
True
Let s(m) = 578*m**2 + 4*m - 11. Is s(2) composite?
False
Suppose -5*w = -0*w + 5. Is 32 + ((-4)/2 - w) a composite number?
False
Let p(z) = z**3 - 10*z**2 - 7*z + 33. Is p(16) a prime number?
False
Suppose -3*r - 78 - 138 = 0. Is (-12)/r - 857/(-6) a composite number?
True
Let n(x) be the second derivative of x**6/120 + x**5/12 - x**4/3 - x**3 - x**2/2 + x. Let y(g) be the first derivative of n(g). Is y(-5) a prime number?
False
Suppose -493 = -k - 3*y, 2*y - 490 = -k - 2*y. Is k composite?
True
Suppose 4*r = 4*j + 176, -2*r + 4*r - 82 = -j. Suppose r = -m + 4*m. Is -3*1*m/(-6) a composite number?
False
Suppose 3*r - 4*a = 4203, -4*r - a = 3166 - 8770. Is r prime?
False
Let m(q) = 2*q - 6*q - q + 3. Is m(-6) a prime number?
False
Suppose -7*f + 3516 = 233. Is f a composite number?
True
Let t = 158 + -69. Is t a composite number?
False
Is 8/(32/9324) + (6 - 4) composite?
False
Let b be (-21)/35 - (-84128)/5. Is 4/14 - b/(-35) composite?
True
Let z be (2/(-4))/((-1)/(-12)). Is 148/z*(1 - 4) composite?
True
Suppose -4*b + 7 + 6 = 3*m, 0 = 3*b - 4*m - 16. Suppose -6 = -2*f + b. Suppose f*l = -0 + 15. Is l composite?
False
Suppose -t + 8 = 3*t. Suppose -m = -0*m - t. Suppose -m*b + 57 = b. Is b composite?
False
Suppose -234 = -x + 5*o + 178, 2180 = 5*x - o. Is x a composite number?
True
Suppose 3*a = -6, -2*c - 18 = -6*c - a. Suppose 5*u + 4*g = -123, -4*u + c*g = -u + 59. Is (0 - u) + 2/(-2) prime?
False
Let r(t) = 14*t**2 + t + 5. Is r(4) a composite number?
False
Let n(u) = 56*u**2 + 2*u + 1. Is n(-1) a prime number?
False
Let t(o) = -6*o**3 + 2*o + 1. Let g be t(-1). Suppose 3*n = g*n + 5*h - 119, -h - 70 = -n. Is n a prime number?
True
Suppose v = -v + 10. Suppose 3 = 4*x - v. Is (1/(x/106))/1 composite?
False
Let w(h) = -2*h**3 - 7*h**2 + h + 7. Is w(-9) prime?
False
Let b(c) = 0*c - 6*c - 31*c. Suppose -3 = -2*g - 5. Is b(g) a composite number?
False
Suppose -5*y + 525 = 2*s - 145, 670 = 5*y - 4*s. Is y a composite number?
True
Let o(u) = 7*u**2 - 6*u + 1. Is o(5) prime?
False
Let w(n) = -562*n**3 - 2*n**2 + 1. Let d be w(1). Is d/(-5) - (-12)/30 composite?
False
Let a(y) = -4*y**2 + y - 1. Let g be a(1). Is (-1182)/g + (-2)/4 a composite number?
True
Suppose 0 = d - 3*d + 30. Is d composite?
True
Let d(m) = 3*m**2 + 4*m + 5. Let b(o) = o**3 + o**2 + o + 1. Let x be b(0). Suppose 2*z - x = -9. Is d(z) a composite number?
False
Suppose 0 = -4*y - 0*y - 24. Let l(t) = t**2 + 3*t + 1. Is l(y) a composite number?
False
Suppose 12*a = 8*a + 356. Is a prime?
True
Let s(w) = 2*w**2 + w + 4. Let m = 5 + -9. Let t(n) = 3*n**2 + 2*n + 9. Let l(k) = m*t(k) + 9*s(k). Is l(1) a prime number?
True
Suppose 232 = 2*o - 4*n, 4*o - 562 = -2*n - 98. Suppose -b = 3*b - o. Let a = b + -8. Is a a composite number?
True
Suppose 2*f + 8 = 0, -3*t + 2*f + 12 = -f. Suppose t = -2*v + 3*o + 76, -4*v + 92 = -5*o - 58. Is v a prime number?
False
Suppose l - z = -2*z - 7, 20 = -5*z. Is 2/6 - 176/l a prime number?
True
Suppose -s + w - 2 = 0, -4*s = s + 5*w - 10. Suppose -4*b + 768 + 268 = s. Is b a composite number?
True
Suppose 0 = j - 3*j + 4*g - 24, -2*g = 0. Let l(f) = -12*f - 17. Is l(j) prime?
True
Let c(h) = -h**3 - 3*h**2 + 2*h + 4. Let b be c(-3). Is b/(-2) + (21 - -1) a composite number?
False
Let c(v) = 99*v**2 + 3*v + 3. Let g be c(-2). Suppose 3*h + g = 6*h. Is h composite?
False
Suppose -2*u - 815 = -7*u. Is u a composite number?
False
Suppose 2*b = -2 + 14. Suppose -b*p = -p. Suppose 2*t - t - 21 = p. Is t a composite number?
True
Let t(a) be the first derivative of a**3/3 + 5*a**2 - 11*a + 1. Let l be t(11). Suppose -3*f + 7*f - l = 0. Is f a composite number?
True
Let d(k) = -k + 8. Let f be d(4). Suppose 3*z - 8 = f. Suppose 5*v = z*m - 49, 5*m + v - 43 = m. Is m a prime number?
True
Suppose -4*q - 3*q + 6041 = 0. Is q a prime number?
True
Let v(l) be the third derivative of -l**6/72 + l**5/40 + l**4/12 + 2*l**2. Let m(r) be the second derivative of v(r). Is m(-8) prime?
True
Let h be -3 + (-3 + 0 - -224). Suppose -k + 534 - 83 = 2*q, -q + k = -h. Is q a composite number?
False
Suppose -5*o = 4*u - 963, 0 = -o + 3*u + 83 + 102. Is o prime?
True
Let x = -28 + 40. Let r(g) = g**3 - 13*g**2 + 10*g - 11. Let j be r(x). Let u = j + 92. Is u a prime number?
False
Let f(g) = 2*g + 12. Let b be f(10). Let d = 21 + b. Is d a prime number?
True
Let k be (-1)/(-4 + 3)*1034. Suppose -c = -5*c - i + 2033, 2*c = -4*i + k. Let a = -304 + c. Is a prime?
False
Let i(o) = 410*o - 1. Is i(1) a prime number?
True
Let z = 86 + -12. Is z a prime number?
False
Suppose -44 = 2*j + 3*o - 127, -9 = -3*o. Is j prime?
True
Let u(i) = i**2 - 7*i + 7. Let m = -10 - -20. Is u(m) prime?
True
Suppose -4*w + 4*p = -w - 21, -3*w - 5*p = 6. Suppose 2*o + 8*k = w*k - 23, 0 = -3*o - 5*k - 27. Let r(m) = m**2 - 2*m - 1. Is r(o) composite?
False
Let a(i) = 12*i**2 - 5*i + 4. Let u(h) = h - 1. Let l(v) = -a(v) - 3*u(v). Let c be l(1). Let x = 18 + c. Is x prime?
True
Let p(c) = c**3 - 2*c + 787. Is p(0) a prime number?
True
Suppose 3*u + 4*d = 13147, 0 = -u - 0*u - 2*d + 4385. Is u a composite number?
True
Suppose 0*z + 8 = -2*z. Is (z/12)/((-2)/354) prime?
True
Let n be 136/3*(-6)/(-4). Let r be (-2)/(-2) + n/2. Suppose r = m - 0*m - g, 3*m = 4*g + 103. Is m a prime number?
True
Let a(n) = -n**2 - n. Let p be a(-2). Let x(w) = 18*w**2 + w - 1. Let z be x(p). Suppose 3*g + 4*u = z, -5*g - 4*u + 111 = -4. Is g a prime number?
True
Suppose -117 = -p + 5*b, -298 = -4*p + 3*b + 204. Is p a prime number?
True
Suppose 8 = 3*q - 4. Suppose -4*c - 3*a = -850, -q = -3*a + 2. Is c a composite number?
False
Let d(k) = -8*k**3 - 1. Let x be d(-1). Suppose -2*z = -x*z + 20. Suppose -7*b - 4*r = -z*b, 2*b - 20 = 4*r. Is b a composite number?
True
Is (242/(-4))/(4/(-8)) composite?
True
Let o(y) = -y**2 - 10*y - 9. Let a(g) = 19*g - 1. Let w be a(-1). Let m = 12 + w. Is o(m) a composite number?
False
Suppose 0 = 5*r - 0*h - 4*h - 2385, -5*r = -5*h - 2380. Is r a prime number?
False
Let s = -7 - -7. Let m be s + 22 - 1 - -3. Is (m + -3)/(-3)*-1 a composite number?
False
Let v = -8 - -8. Suppose v*b + 5*b = 80. Suppose -3*z + 85 = b. Is z composite?
False
Let c(n) = -3*n**2 - 5*n - 8 + 11*n + 4*n**2. Let p(z) = -z**2 - z - 9. Let f be p(0). Is c(f) a composite number?
False
Let w = 467 - 272. Suppose w = 4*p - p. Is p a composite number?
True
Suppose -2*z + 12 = -6*z. Let p(h) = 2*h - 2. Let c be p(z). Let a = c + 11. Is a prime?
True
Suppose v - 5870 = -4*v. Is v a composite number?
True
Let x(z) be the second derivative of z**4/6 - 2*z**3/3 + 7*z**2/2 - 7*z. Is x(-9) composite?
True
Let c = 82 + -120. Let y = 75 + c. Is y a composite number?
False
Let l(r) = -r**2 - 11*r - 7. Is l(-7) a composite number?
True
Let l = -594 + 146. Let c = 314 + l. Let a = -55 - c. Is a prime?
True
Let z(n) = -8*n**3 + 2*n**2 + 2*n - 3. Let l be z(2). Let k = l - -78. Is k prime?
True
Let v be (16/(-6))/(2/(-3)). Suppose 4*h - 24 = 4*o, -3*h - 3*o + v = o. Is ((-2)/h)/(1/(-14)) a composite number?
False
Let h(o) be the first derivative of -o**3/3 + 2*o**2 - o - 1. Let f be h(7). Is 4/(-22) + (-2490)/f prime?
True
Let b(y) = 3*y**2 - 3*y + 2. Let i be b(2). Let n = i + -6. Suppose -n*w = 6, 3*p - 4*w - 15 = 99. Is p prime?
False
Let r be 0 + (-2 - 0 - 0). Is -119*(1 + (r - 0)) a prime number?
False
Let b = -1 + 2. Let c be -7*b*576/(-21). Let o = c - 137. Is o a composite number?
True
Let p(k) = k**3 + 5*k**2 + 2. Let l be p(-6). Let y = -3 - l. Is y a prime number?
True
Let a = 2 + -1. Is 18 - (-2 + a + -2) a composite number?
True
Is 160 + (-1 - (2 - 4)) a prime number?
False
Suppose 2*j - 4*w = w, 2*j = -3*w. Suppose l = -j*l + 85. Is l prime?
False
Suppose 4*p + 4 = -0*p. Let j = p + 1. Suppose 5*a - 44 - 371 = j. Is a a prime number?
True
Let m(i) = -i**2 + 8*i + 3. Let j be m(7). Let v = j + -10. Suppose 3*r - 159 = -v*r. Is r composite?
False
Let c(t) = -3*t + 2. Let b be c(-2). Suppose 76 = 4*y - b. Is y composite?
True
Let d = -5768 + 8307. Is d prime?
True
Suppose -7*p = -2*p - 10. Let b(n) = 30*n**2 - 2*n - 1. Is b(p) composite?
True
Let m(a) = 2*a**3 - a**2 - 2. Is m(5) composite?