
Let c(t) = -t**2 + 5*t + 6. Let q be c(6). Suppose q = -4*p + 2*p. Suppose -k + 0*k + 69 = p. Is k a composite number?
True
Let u be 2 - (-5 - (-5 + 5)). Let h(j) = 6*j - 5. Let f(d) = 12*d - 10. Let p(z) = 4*f(z) - 7*h(z). Is p(u) prime?
True
Suppose 0 = -i + 5 - 2. Suppose 0 = -i*b + 4*f + 12, -3*b - 5*f = 3 + 12. Suppose 0 = -b*x + x - 127. Is x prime?
True
Suppose -4*q - 11 + 3 = 0. Let z be 116/6 + q/6. Is (z/(-2))/((-2)/4) a prime number?
True
Suppose 715 = 5*n - 6775. Suppose 3*x + 207 = -5*z + n, 0 = -3*x - 9. Let g = z - 181. Is g prime?
True
Let y(q) be the third derivative of -13*q**4/24 - q**3 - 2*q**2. Is y(-5) a prime number?
True
Suppose -2*t - 556 = -4*t. Is t a prime number?
False
Is 174/(-4)*(-14)/3 a prime number?
False
Let i(q) = -q**3 - 7*q**2 + 4*q + 1. Is i(-9) prime?
True
Suppose -4*j + l + 163 = 0, 2*l + 51 - 19 = j. Suppose -4*d + 350 = j. Is d a composite number?
True
Suppose -24 = -4*p - 8. Suppose -9 = -5*o + 3*g, 2*o - p*g = o + 12. Let i(u) = u**3 + u**2 - u + 51. Is i(o) a composite number?
True
Suppose -4*n + 0*n + 732 = 0. Let y = n - 88. Let g = -42 + y. Is g a prime number?
True
Suppose r = 3*r + 38. Let f be ((-26)/65)/((-2)/(-30)). Let w = f - r. Is w prime?
True
Let u = -340 + 614. Is u a composite number?
True
Let g(k) = k**3 - 3*k + 4. Is g(3) a prime number?
False
Let i(q) = -2*q - 1. Let s be -4 + (2 - 0) - 1. Let o be i(s). Suppose -o*l + 703 = -112. Is l composite?
False
Let x(f) = 12*f - 7. Let v(g) = g**3 - 12*g**2 + 12*g - 5. Let w be v(11). Let k = w - -4. Is x(k) a composite number?
False
Suppose 424 = -5*o + 4*c + 1177, -5*o - c + 743 = 0. Is o prime?
True
Suppose 71*c + 3207 = 74*c. Is c a prime number?
True
Let b(m) be the second derivative of -m**5/10 - m**4/12 + 5*m**3/6 + 3*m**2/2 - 2*m. Is b(-3) a prime number?
False
Let z(t) be the third derivative of -t**4/12 - 2*t**3/3 - 3*t**2. Is z(-9) prime?
False
Let t be 74/6 - 1/3. Let y = t - -25. Is y a prime number?
True
Suppose 5*g + 143 = 3*v, 5*v - g - 249 = 4. Is v composite?
True
Let m(x) be the first derivative of x**6/180 - 13*x**4/24 + x**3 - 4. Let y(r) be the third derivative of m(r). Is y(-9) composite?
False
Let q = 11 - 16. Let b be 66/(-8)*(1 + q). Let c = b - 19. Is c prime?
False
Suppose -5474 = -4*m + 2*z, 4123 = -3*m + 6*m + 2*z. Is m a prime number?
False
Let y = -5402 - -8767. Is y composite?
True
Let c(k) = -k**2 - 4*k - 8. Let i be c(-6). Is (-4)/i - (-94)/5 prime?
True
Let h(o) = 4*o**3 - 4*o**2 + 6*o + 5. Let u(r) = r**3 + r**2 + r + 1. Let i(b) = h(b) - 3*u(b). Is i(7) a prime number?
True
Let s(v) = -3*v + 20. Let g be s(-13). Suppose -g = -2*i + 27. Is i a prime number?
True
Let t = -1655 - -2889. Suppose 171 + t = v. Is v prime?
False
Suppose -144 = -r - 34. Is (r/(-4))/((-3)/6) prime?
False
Let m(i) = i**2 - 2*i + 5. Let f be 2*(-1 + 2) - -4. Suppose 12 + f = -3*r. Is m(r) a composite number?
False
Suppose 2*w = -w + 12. Let l = w + -3. Is l/(-5) - 372/(-10) a composite number?
False
Let v(o) = 5*o - 4. Let p be v(4). Let d = 42 - p. Is d prime?
False
Let d(z) = 69*z - 4. Let y be d(2). Suppose -2*p - 3*b = -32 - y, -2*b + 332 = 4*p. Is p a composite number?
False
Let m = -1144 + 3375. Is m composite?
True
Let p = 0 + -10. Let g(f) = f**3 + 10*f**2 - f - 4. Is g(p) composite?
True
Let i(l) = -9*l + 9. Let v be i(6). Let j = -2 - v. Is j a composite number?
False
Let f(j) be the second derivative of -j**5/20 + 3*j**4/4 + j**3/3 + 4*j**2 - j. Let p(c) = c**2 + c - 11. Let y be p(-5). Is f(y) composite?
True
Suppose -2*q + 5*q - 6 = 0. Suppose -3*k = q*k - 550. Suppose -l = l - k. Is l a composite number?
True
Let o(h) be the third derivative of 3/20*h**5 + 0*h + 1/120*h**6 - 2*h**2 + 1/4*h**4 + 7/6*h**3 + 0. Is o(-6) composite?
False
Let g = 36 + 6. Suppose 2*k = 7*k + 105. Let w = k + g. Is w a prime number?
False
Suppose -8*d + 26073 = d. Is d a prime number?
True
Let o be ((-15)/10)/(2/(-596)). Suppose 5*m - o = -122. Is m a composite number?
True
Let v be ((-4)/10)/((-5)/25). Let l be (3 - 4)/(v/4). Is 34 + (4/l)/(-2) composite?
True
Let c = -34 + 57. Is c a prime number?
True
Let k be (3 - 103) + 6 + -4. Let h = -43 - k. Is h composite?
True
Suppose 28 + 401 = 5*w + 3*u, -2*w + u + 176 = 0. Is w composite?
True
Let w(f) be the second derivative of 1/20*f**5 + 47/2*f**2 + 0 + 0*f**4 - 1/6*f**3 - 2*f. Is w(0) prime?
True
Let r = -48 + 79. Is r a composite number?
False
Let p = -9 - -13. Let f(i) = 3*i + 4 + p*i**2 + 5 - 3*i**2. Is f(-7) a prime number?
True
Suppose -2 = r + 3. Let k be (0 - -3)*r/5. Is (k - 18/(-3)) + 56 a composite number?
False
Suppose -4*j - 30 = -5*n, 0 = -n - 3*j + 6*j + 17. Is (-2)/(1/((-89)/n)) a prime number?
True
Let y(b) = 220*b + 1. Is y(1) composite?
True
Let a(w) = -w**2 + 10*w - 6. Suppose 5*p = -3*q + 41, -5*p + 4*q - 4 + 31 = 0. Is a(p) prime?
False
Let k = 1183 - 610. Is k prime?
False
Let k(x) = -x**3 + x**2 + x + 3. Let p be k(0). Suppose -p*o = -4*o + 67. Is o a composite number?
False
Suppose -n + 12*n = 2255. Is n prime?
False
Suppose -4*t + t + 15 = 0. Suppose 5*m = 20, -22 = -t*w - 5*m + 153. Is w a prime number?
True
Is 590/4 + (-9)/(-6) a composite number?
False
Let p(d) = 4*d + 5 - 4*d - 8*d. Let u be (7 - 1)/(2 + -3). Is p(u) a composite number?
False
Suppose h = 1 + 4. Suppose 4*v + 290 = h*j + 3*v, 4*v = j - 39. Let p = -34 + j. Is p composite?
True
Let q(z) = z**3 - 7*z - 5. Let h(v) = 2*v**3 - v**2 - 8*v - 6. Let t(p) = 2*h(p) - 3*q(p). Is t(4) a composite number?
True
Suppose -4*y = -b - 10, -5*b - 3 - 5 = y. Suppose 8*o - 3*l - 14 = 3*o, 0 = y*o + l + 1. Let x(m) = 149*m**3 + m**2 - 1. Is x(o) prime?
True
Suppose 4*t = -t + 30. Suppose -36 = 3*j - t. Is j/15 + (-233)/(-3) composite?
True
Let c(v) = -v**2 + 7*v - 7. Let i be c(5). Suppose 0 = i*d - 3*k - 111, -2*k + 34 = -3*d + 147. Let f = d + -20. Is f a composite number?
False
Let a = -62 + 181. Is a prime?
False
Let m = 53 + -22. Is m prime?
True
Let d(v) = 292*v**2 - 6*v + 5. Is d(1) a composite number?
True
Suppose 2*k + 0*k - 3*x - 16 = 0, -3*k - 2 = 2*x. Suppose -k*z + 74 = -0*z. Is z prime?
True
Let h = -17 + 17. Suppose 2*x + 4*w - 270 = -h*x, 5*w = -5*x + 690. Is x prime?
False
Let m(k) = 176*k - 33. Is m(10) a composite number?
True
Suppose 2*z = -3*z - 2*q + 1280, 2*q - 772 = -3*z. Is z composite?
True
Suppose -7*f = -2*f - 265. Is f composite?
False
Let z be 2*(4 + 0 + -1). Suppose -t = 2*t - z. Suppose -t*j + 111 = j. Is j composite?
False
Let g(m) = -20*m**2 - m + 8. Let q be g(-6). Let a = 477 + q. Let d = 326 + a. Is d composite?
False
Suppose -5*i - 273 = -1008. Suppose -5*j + 524 = 3*g - i, j + 647 = 3*g. Is g prime?
False
Let x be 2/4*(-5 + 13). Suppose 2*f + 17 = 3*l + x*f, 0 = 2*l + f - 10. Suppose 3*c + r = 478, 5*c - 825 = l*r + r. Is c a prime number?
False
Suppose 0 = -5*g - 0*u + 2*u + 3033, -2*g + u + 1214 = 0. Suppose j + 0*d + 2*d = 305, 2*j + 3*d - g = 0. Is j a composite number?
True
Let d be (-1)/1*(12 + -1). Let t = d - -28. Is 1 - (0 + t*-2) a composite number?
True
Suppose -2*b = t - 4, -5*t + 5*b = -13 - 22. Let p be t/(-9) - (-20)/(-6). Is (6/p)/(2/(-4)) a composite number?
False
Suppose 4*t + 4 = 6*t. Let r be (-4)/10 - (-6)/15. Suppose -v = v - 8, r = -t*q - 5*v + 58. Is q composite?
False
Suppose 0 = 3*o - 7 - 5. Suppose -144 - 420 = -o*u. Is u a prime number?
False
Let v(f) = -f**3 - 9*f**2 + 11*f + 11. Let h be v(-10). Let d(q) = q. Let c(y) = 4*y - 3. Let o(u) = h*c(u) + 6*d(u). Is o(4) a prime number?
True
Let s(d) = d**3 - 14*d**2 - 14*d - 15. Let c be s(15). Let b(a) = a + 33. Is b(c) prime?
False
Let y(n) = n + 1. Let l(s) = 4*s + 3. Let r(i) = -l(i) + 3*y(i). Let z be r(-4). Is 53*3 - (-8)/z a prime number?
False
Suppose 0 = 5*h - 2*y + 2, h - 5*h - 3*y = -3. Suppose h = -2*r - r. Is (-18)/(-2) - r/3 a prime number?
False
Suppose 5*m + 8 = -k + 2*k, 3*k - 12 = 3*m. Suppose -2*c - 3 = 3, -2*g - k*c + 227 = 0. Is g a prime number?
False
Suppose -38 = 2*k - 5*r, 3*k + 2*k = r - 118. Let n = k - -47. Is n a composite number?
False
Let q = 122 - -273. Is q a composite number?
True
Is 0 + 1/(4*4/5104) a composite number?
True
Suppose 3*s - 50 = -i - s, 0 = i + 3*s - 54. Let d be (i/(-7))/(1/(-7)). Suppose -x - 65 = -3*n - 3*x, 0 = 3*n + 3*x - d. Is n prime?
False
L