
True
Let k(h) = -7*h - 3. Is k(-10) prime?
True
Let c(k) = -k**2 + 8*k - 5. Let a be (-3)/6*1*-14. Let h be c(a). Suppose 4*d = -z + 42, -d - h*z = -4 - 10. Is d a composite number?
True
Let s(o) be the second derivative of 41*o**5/4 + 4*o. Is s(1) prime?
False
Suppose 967 = 5*m - 4*b, 5*m - 940 = -4*b - b. Is m a prime number?
True
Suppose 0 - 4 = -2*w, 2*c - 124 = -3*w. Is c composite?
False
Suppose -3*t = -23 - 46. Suppose 2*a - t = 11. Suppose 2*f - a = 1. Is f a composite number?
True
Suppose -5*q = -2*q + 21. Let b = 18 + q. Is b a prime number?
True
Is ((-9958)/39)/((-2)/3) composite?
False
Suppose 0*z = z + 6. Let a(t) = 9*t + 1. Let d be a(z). Let y = 84 + d. Is y a composite number?
False
Let t(y) = -4*y + y**2 + 0*y**2 + 5*y**3 + 1 + 0*y. Suppose 3*g - 17 = q - g, 8 = q + g. Is t(q) a composite number?
True
Let l be (-284)/(-6) - (-2)/3. Suppose 3*m - 3*z - 18 = 0, -z + 4*z = -3*m - 6. Suppose l = m*g + 2. Is g a composite number?
False
Let o = 6 - 10. Let q(c) = 11*c**2 + 7. Let p(d) = -16*d**2 - 10. Let t(i) = -5*p(i) - 7*q(i). Is t(o) prime?
False
Suppose -2*y - 2*y + 16 = 0. Let p(z) = z**3 - 2*z**2 - 2*z + 4. Let j be p(y). Suppose r - 3*r + j = 0. Is r a composite number?
True
Let u = -159 + 554. Is u a composite number?
True
Is 3022/(-6)*3/(-1) composite?
False
Let z(r) be the first derivative of -r**5/20 + 5*r**4/24 - r**3 + 2. Let k(c) be the third derivative of z(c). Is k(-5) composite?
True
Let r be 3/((-3)/2) + 2. Let q be (-62 - 1)/(r + -1). Suppose -5*g + 2*g = -t - q, 4*g = -3*t + 84. Is g composite?
True
Let d(u) = 65*u**2 + 2*u + 1. Let f be d(-1). Suppose 5*w - 891 - f = 0. Is w prime?
True
Suppose -4*a = 2*w + 2, 0 = -3*a + 1 - 10. Suppose w*r - 10 = 20. Suppose 0 = -4*y + 6 + r. Is y a composite number?
False
Suppose z + z + 4176 = 0. Is (-1)/3 + z/(-27) prime?
False
Let f(x) = -93*x**2 - 4*x + 3. Let a be f(2). Let r = -220 - a. Is r prime?
True
Let r(j) be the second derivative of 1/3*j**4 + 3*j + 3/2*j**2 + 0*j**3 + 0. Is r(4) composite?
False
Let q(p) = 10*p**2 + 32*p - 13. Is q(-15) a prime number?
False
Let f be (-7 + -2)*(-3 - -4). Let u = f - -90. Let l = u - 4. Is l prime?
False
Let u = -260 - -580. Suppose -3*g - 243 = -3*w - 0*g, 4*w - 5*g - u = 0. Is w a prime number?
False
Let d(b) = 287*b**2 - 3*b - 3. Is d(-2) a composite number?
False
Let v be 2199/(-21) - (-4)/(-14). Let b = v - -248. Is b composite?
True
Let x(n) = n**3 - 6*n**2 + 4*n - 3. Let b be x(5). Let u = b - -12. Is u composite?
True
Let m(o) = o**2 + 35. Suppose -3*t + 5*j = -6*t - 15, 5*j + 15 = 3*t. Let x be t*(-2)/((-2)/(-1)). Is m(x) prime?
False
Let d(o) = o - 6. Let b(n) = 3*n - 17. Let k(v) = -4*b(v) + 11*d(v). Let c be (-9 - -4)/(2 - 1). Is k(c) a composite number?
False
Suppose -5*n - 50 + 15 = 0. Let o = -4 - n. Suppose -4*u = -o*z - 665, -655 = -3*u + 3*z - 157. Is u composite?
False
Suppose 0 = -0*w - w - k - 22, -4*w - k - 94 = 0. Let l = 57 + w. Is l composite?
True
Let w = 69 - 49. Is (-2)/(-5) - (-5252)/w prime?
True
Suppose 6 = -b - b, -n + b = -518. Let f = -280 + n. Is f a composite number?
True
Suppose 4*s = 5*s - 9. Let z(d) = -d**2 + 1. Let r(g) = -5*g**2 - 13*g + 3. Let i(c) = -r(c) + 6*z(c). Is i(s) composite?
True
Let g(t) = 42*t - 12. Suppose 10 = -5*k, 5*r - 8 = 3*k + 43. Let m be g(r). Let f = m - 247. Is f a prime number?
False
Let s(r) = 16*r - 60*r - 9*r. Is s(-1) a prime number?
True
Suppose 5*l - 4*d - 18 = -0*d, -2*l + 3*d + 10 = 0. Suppose -l*c + 6*c - 380 = 0. Is c a composite number?
True
Is 50 - 5/(15/(-9)) prime?
True
Let m = 6 - 4. Let s be (m + -6)/((-2)/(-3)). Is ((-2)/s)/1*69 a prime number?
True
Let w(x) = 6*x**2 - x - 1. Let u be w(-4). Suppose -17 = -2*i + u. Is i composite?
True
Suppose 5*v = -4*a + 544, -a - 5*v + 136 = -2*v. Let l = a + -21. Is l a prime number?
False
Let m(z) = 14*z - 4. Let l be m(7). Suppose -143 = -3*h + l. Is h prime?
True
Let b(z) = z - 2. Let h be b(0). Let x be (-6)/10 + 667/(-5). Is (h - 6/(-4))*x a prime number?
True
Let b(n) = -n**2 - 11*n - 7. Let u be b(-10). Suppose 5*w + 8 = 2*r, 5 = -4*w - u. Is (1/r)/(1/(-139)) a composite number?
False
Let n = 841 + -418. Suppose -6*v = -v - 5*p - 2085, -2*p = v - n. Is v a composite number?
False
Suppose 2*v + 83 = 3*v. Is v composite?
False
Suppose -4*b + 6 = -b. Suppose -b*g - g + 18 = 0. Suppose -g = -x - 2*x. Is x composite?
False
Let g(x) be the second derivative of 25*x**4/12 - x**3/3 + x**2/2 - 5*x. Is g(2) a prime number?
True
Suppose v - 2*y - 3*y = -8, -5*y + 18 = 4*v. Suppose 5*f - 20 = 5*u, -v*u = f + 3*u - 4. Suppose 373 - 105 = f*z. Is z composite?
False
Suppose 2*r - 5640 = -2*r. Let w = -697 + r. Is w composite?
True
Let w(r) = r**3 + 11*r**2 + 16*r + 10. Let h be w(-10). Let b = 83 + h. Is b composite?
True
Suppose -2*m - 15 + 55 = 0. Let c(s) = s**3 + 5*s**2 + s. Let h be c(-5). Is (-2)/h + 372/m a composite number?
False
Is (-20)/30 - (287/(-3) - 2) a prime number?
True
Let i(h) be the third derivative of h**5/60 - 7*h**4/24 + 3*h**3/2 - 2*h**2. Let s be i(6). Is (4/s)/((-1)/(-3)) prime?
False
Suppose -7083 = 9*z - 12*z. Is z a composite number?
True
Is 1 - 5 - -257 - 2 a composite number?
False
Let d(c) = -2*c**2 + 2 - 2*c**3 + 2*c - 4*c**3 + 4*c**3. Let x be d(-2). Is (6/4 + 0)*x prime?
False
Let z(d) = 12*d**3 + 5*d**2 + 5. Is z(4) composite?
False
Let f be 29/(-2) + 7/(-14). Is (-141)/(-2) - f/(-10) a composite number?
True
Let q = 4 + -6. Let n be q*7 - (0 + 1). Is (-1269)/n + 2/5 a composite number?
True
Let r(b) = b**2 - b - 7. Let x be r(0). Let u = -4 - x. Suppose n - m = 32, 7*n - 3*n + u*m = 149. Is n prime?
False
Let n = -495 - -1014. Is n a prime number?
False
Let w(d) = d**2 + 1 - 6*d**2 + 6*d**2. Let t(x) = 8*x**2 - 4. Let r(j) = t(j) + 5*w(j). Is r(-2) a composite number?
False
Let x = 109 - -18. Is x a composite number?
False
Suppose v = 3*v - 2*y - 466, -2*v = -4*y - 462. Is v prime?
False
Let m(s) = -s**3 + 14*s**2 + 19*s - 33. Is m(10) a composite number?
False
Let d = 18 + -44. Let k = d + 40. Is k a prime number?
False
Let c(f) = 3*f**2 - f + 2. Let s be c(4). Suppose 0 = 5*n - 4*j - 5 - 27, 3*j - s = -5*n. Is -2*2*(-106)/n composite?
False
Suppose -5*k - 4 = -k. Let x = 2 + k. Is (-38)/(-10) - x/(-5) prime?
False
Is (-1 - 1)/(2/(-953)) composite?
False
Let j(p) = 12*p**3 - 4*p**2 + 9*p - 1. Is j(4) composite?
False
Is (-3)/(-12) - 3/(24/(-10102)) a prime number?
False
Let b = -1997 + 2874. Is b a composite number?
False
Let z(x) be the third derivative of 0*x + x**2 + 7/6*x**3 + 0 + 5/24*x**4. Is z(6) a composite number?
False
Suppose 0 = y - 2*y + 7. Let d(p) = 24*p - 9. Let j be d(y). Suppose 4*h = 109 + j. Is h a composite number?
False
Let u(d) = -2*d + 14. Let h be u(7). Is 2*(h + 1905/6) composite?
True
Let x(p) = -p**3 + 8*p**2 + 5*p - 8. Let l be x(8). Is l/((-1)/(-1)) + 3 a composite number?
True
Let i(x) be the first derivative of x**4 + x**3/3 + x**2/2 + x - 3. Let l be i(-2). Let j = l - -64. Is j a composite number?
True
Suppose 5*t = 5*c + 44 - 564, -2*c = t - 202. Suppose g - 13 = 2*x, -6*g - 2*x = -2*g - c. Is g a composite number?
False
Is 9128/4 + 5 + 0 a composite number?
False
Let s = 6 - 11. Let t(f) = -6*f - 5. Is t(s) a composite number?
True
Suppose 36 = -5*f + 11. Is ((-2)/(-6))/(f/(-330)) composite?
True
Let z(j) = 13 + 280 + 2*j**2 - 4*j**2 + 3*j**2. Is z(0) composite?
False
Let h(c) be the second derivative of -c**5/5 - c**4/6 - c**3/6 - c**2 - c. Is h(-3) a composite number?
True
Let m(q) = 2*q**2. Let f be m(2). Let r(k) = 6*k + 5. Is r(f) composite?
False
Let w = 244 + -150. Is w a prime number?
False
Let c = 633 - 343. Let r = 3 + c. Is r composite?
False
Suppose -131 - 94 = -9*m. Is m a prime number?
False
Let t(b) = -b**3 - 8*b**2 + 7*b - 7. Suppose -u - 4 - 9 = -4*o, -2*u + 2*o - 20 = 0. Is t(u) composite?
False
Suppose -5*a - 2*r + 40 = -40, -4*r - 16 = -a. Suppose -3*l = 3*h + 40 - 169, -4*h - a = 0. Is l a composite number?
False
Let x = -10 + 13. Let b(m) = 6*m**3 - 2*m**2 - 1. Is b(x) a composite number?
True
Let q(m) = 7*m**2 - 10*m + 16. Is q(5) composite?
True
Suppose -3 = i - 6. Suppose -2*h - 262 = -4*m - 0*h, i*h + 58 = m. Is m prime?
True
Let p(q) = -q + 79. Let v = 7 - 4. Suppose -v*j = -0*j. Is p(j) composite?
False
Let l be