4*h**2 - h - 2. Let c be o(-4). Let k(v) = v. Let a(d) = 8*d - 1. Let t(i) = 3*a(i) - 12*k(i). Is t(c) a composite number?
True
Let g be (10/(-6))/((-3)/(-9)). Let n(s) = -3*s**3 - 7*s**2 - 6*s - 7. Is n(g) a composite number?
False
Let l(g) = 22*g**2 - 2*g - 1. Is l(3) a composite number?
False
Is 18*(-185)/(-10) - 4 a composite number?
True
Is (2 + 1)*(-102)/(-6) composite?
True
Suppose 0*i + 5 = -5*i. Suppose 2*u = 3*u + 2. Is 78 + u + 2 + i prime?
False
Let y = -2154 - -3367. Is y a prime number?
True
Suppose 2*f - 24 = -4*g, -9 = 5*f - 5*g + 6. Let t(v) = v + 2*v**2 + 9*v**2 - 3*v - 2. Is t(f) a composite number?
True
Let u be -14 + (-2)/(-6)*0. Let h be (-6)/4 + u/(-4). Suppose -k = -h*k + 119. Is k prime?
False
Suppose -5*q = -3*m - 1315, 2*q - 3*m = -0*q + 526. Is q a composite number?
False
Let f(t) = -13*t**3 - 2*t**2 - 7*t + 3. Is f(-4) prime?
False
Let m be 2/(-2*2/20). Is 74/3*(-45)/m a composite number?
True
Suppose 0 = 7*f - 3*f - 4772. Is f prime?
True
Let l(a) = -4*a**3 + 7*a**2 + 10*a - 2. Let x(n) = n**3. Let z(k) = l(k) + 3*x(k). Suppose -3*u + 4*r = -36, 5*u - 37 = -4*r + 3*r. Is z(u) composite?
True
Let g(t) = t**2 + 10*t - 3. Let d be g(-10). Let j(n) = -n**3 + 5*n**2 - 4*n + 6. Let i be j(4). Is (-4)/i + (-68)/d composite?
True
Let l be 9*1*4 + -1. Suppose 2*i - 3*q = -6*q - 19, 0 = 5*i - 2*q + 38. Let h = l - i. Is h a prime number?
True
Suppose -6*p + 679 = -1079. Is p a composite number?
False
Suppose p + 1 + 3 = 0, 4*p = 5*i - 36. Suppose 0 = o + i. Is ((-23)/2)/(2/o) prime?
True
Suppose -3*z + 1157 = -3238. Is z prime?
False
Let s(d) be the second derivative of -d**7/840 + d**6/40 - 7*d**5/120 + 7*d**4/24 - d**3/3 - 2*d. Let z(y) be the second derivative of s(y). Is z(8) prime?
False
Let w be (2/5)/(3/30). Let q be (w/(-20))/((-1)/5). Is 0/q + 13*1 a composite number?
False
Let f(s) = -2*s**3 + s. Suppose -3*b = 2*b - 5. Let j be f(b). Is j/(-3) + 992/12 a prime number?
True
Suppose -2*d + 12 = 96. Let r = 77 + d. Is r prime?
False
Let h(c) = 2*c**3 + c**2 - c. Let b be h(1). Suppose -8 = f + b*o - 41, 3*f - 88 = 5*o. Is f a composite number?
False
Let j = -185 - -105. Let k = -6 - j. Is k a composite number?
True
Let d(c) = c**3 - 6*c**2 + 5*c + 2. Let v be d(5). Suppose 0 = -v*r + 3*s + s + 8, 0 = 5*r + 2*s - 8. Is (-387)/(-7) + r/(-7) composite?
True
Let z(r) be the second derivative of r**4/12 + r**3 + 11*r**2/2 - 2*r. Let k be z(-8). Let i = k + 236. Is i a composite number?
False
Let h(z) = 2*z**2 + 24*z + 53. Is h(21) prime?
True
Let p(c) = 11*c + 7. Let f(z) = -6*z - 3. Let t(u) = 5*f(u) + 3*p(u). Suppose q + 4 - 9 = 0. Is t(q) prime?
False
Let d = 30 + -11. Is d composite?
False
Suppose 5*o = -3*d + 3, -2*d - 14 = -6. Suppose -2*i = 6, -2 + 15 = b - o*i. Suppose 81 = b*z - 7. Is z a composite number?
True
Suppose j = -2*v + 3241, 4*j - 7852 - 5142 = -2*v. Is j a prime number?
True
Let s = -139 + 282. Is s a composite number?
True
Let j be 69/21 - (-2)/(-7). Suppose 2*r + 0*m + 5*m + j = 0, -5*r - 4*m = 16. Is (r + 2)*13/(-2) prime?
True
Suppose -5*x + m - 1 = -11, 3*m = -4*x - 11. Let l(k) = k**2 - 11 + 0*k - x + 3 - k. Is l(7) prime?
False
Let m(k) = 12*k**2 - 6*k + 2. Let g be m(4). Let v = 387 - g. Is v prime?
False
Let f(m) = 5*m**2 + 4*m + 8. Let o be f(-6). Suppose -3*t + o + 10 = 3*j, 184 = 3*j + 5*t. Let x = j + -31. Is x a prime number?
False
Is (0 - (3 + -5 - -413))*-1 prime?
False
Let c be 286 - -1*(-2 + -1). Suppose -4*p - 5*a + 403 = -5, 3*p = 2*a + c. Is p prime?
True
Suppose -12561 = -8*g - 25. Is g a composite number?
False
Suppose -5*o = 5*n - 25, 1 = n - 2*o + 2. Let u(r) = 29*r - 4. Is u(n) composite?
False
Let j(x) = 2*x**2 + 10*x - 7. Let a be j(-6). Suppose 2*s - s = a*l + 297, 4*s + 5*l - 1288 = 0. Is s prime?
True
Is 36/(-306) + 5629/17 a composite number?
False
Let x = -6 - -8. Suppose g - 56 = -2*y, 3*y = x*g - 3*g + 54. Suppose 5*z - 2*k = 187 + g, -3*k + 216 = 4*z. Is z a composite number?
True
Let y(d) = 34*d**2 - 2*d + 2. Is y(4) a prime number?
False
Let i(l) = -7*l**3 + l**2 + 2*l - 3. Let h be i(2). Let v = h - -28. Let f = v - -34. Is f composite?
False
Suppose -2*z - 1 = 2*v + 1, 3*z + 27 = 5*v. Let p(l) be the second derivative of -l**5/20 - l**4/3 - 2*l**3/3 - 3*l**2/2 - l. Is p(z) a prime number?
True
Let o(d) = 4*d + 7. Let y be 1*(-3)/(-3) - -13. Suppose -4*a - y = -6*a. Is o(a) prime?
False
Is (324/42 - 8) + 975/7 a prime number?
True
Let a = 69 - 9. Let w = a - 85. Is w/(-1) - (5 + -3) composite?
False
Suppose -2*n = -n - 2. Suppose -3*o = -n*o - 231. Suppose -2*c = c - o. Is c prime?
False
Let j = -584 + 955. Is j a composite number?
True
Let p(t) = -4*t - 4. Let r(s) = -5*s - 3. Let g(x) = 6*p(x) - 7*r(x). Is g(2) composite?
False
Suppose -2*p = -z - 119, z + 176 = 3*p + 2*z. Is p a prime number?
True
Suppose -6*l = -2*l - 36. Is l prime?
False
Suppose 4*p - 7*p = -6369. Is p prime?
False
Let z = 5 - 8. Is (-282)/(-9) - (-1)/z a prime number?
True
Let u be (4/(-8))/((-2)/8). Let a(d) = 4*d**2 - 12*d + 4. Let s(w) = -w**2 + 4*w - 1. Let f(k) = u*a(k) + 7*s(k). Is f(-8) composite?
True
Suppose -2*b + 0*b + 8 = 0. Suppose 4*m - 3*s = s - 8, 55 = -5*m - b*s. Let x(z) = 3*z**2 - z + 9. Is x(m) a composite number?
False
Let d be (0 - 20)*(-9)/12. Suppose -5*q = -d - 0. Is q prime?
True
Let g(c) = -41*c - 5. Let v be g(-4). Suppose 2*k - v = -k. Is k composite?
False
Let p be (5/(-10))/((-2)/12). Let u(a) = -6*a**2 - 11*a + 11*a**2 + p + 6. Is u(7) a composite number?
True
Suppose 680 - 2801 = -3*x. Is x composite?
True
Let c(u) = 28*u - 1. Let f be c(-2). Let t = f - -100. Is t a composite number?
False
Let j(w) = w**3 - 6*w**2 + 8*w - 7. Let k be j(5). Let p be (193 - -2)/(12/k). Let r = p + -93. Is r a composite number?
False
Let f be 4 + (-547 - 0/(-3)). Let a = f - -940. Is a prime?
True
Let c be ((-4)/4)/((-3)/6). Suppose c*u = 158 - 40. Is u prime?
True
Suppose 8*f - 5 = 3*f. Is (-2)/(8/(-76)*f) a prime number?
True
Let y(b) = 7*b + 2. Let w = 3 + -2. Let m be (0 + w)/((-4)/(-20)). Is y(m) a composite number?
False
Let x = 446 + -282. Suppose 4*g - 980 = 8. Let n = g - x. Is n a composite number?
False
Let x(y) = -y**3 + 5*y**2 - 3*y + 2. Suppose 0 = -5*m - 4 + 19. Suppose 6 = 5*k + m*q - 5, -4*q + 8 = 5*k. Is x(k) a prime number?
False
Suppose -2*j = -5*d - 0*j + 9, 0 = j - 3. Suppose 533 = d*g - i, -5*g + 303 + 612 = 5*i. Is g composite?
False
Suppose 0 = -2*p + 9*p - 14357. Is p prime?
False
Let h be (-34)/3*(0 + 15). Let k = h - -1285. Is k composite?
True
Let j(s) = s**2 - 10. Is j(-6) a prime number?
False
Let g = 93 + -48. Let y = -20 + g. Is y prime?
False
Suppose 4*h = 7*h - 639. Is h composite?
True
Let s = -7 + 12. Suppose -5*p = -s, -2*z - p - 24 = -5*p. Let r = z - -20. Is r a composite number?
True
Let m be ((-8)/14)/((-4)/14). Let u be 9/(m + 1) + -54. Let r = -25 - u. Is r a prime number?
False
Let h(m) = 3*m**2 - 2*m - 1. Let t(n) = n**3 + 4*n - 2. Let i(u) = -6*u**3 - 21*u + 11. Let k(j) = -2*i(j) - 11*t(j). Let o be k(2). Is h(o) a composite number?
True
Let b be 0/(7/((-7)/2)). Suppose -c + 271 = -b*c. Is c prime?
True
Suppose -3*o = -5*j - 32, 2*j + 14 = 3*o - 6. Is (13/o)/(1/8) a prime number?
False
Let y(o) = 4*o**2 - 9*o - 10. Let p be y(-7). Is (p/6)/(2/4) a composite number?
False
Suppose y = -31 + 1694. Is y a composite number?
False
Let l = -9 - -14. Suppose l*t = -5*w + 1265, -4*t + 431 = -5*w - 563. Is t a composite number?
False
Let x(a) be the second derivative of a**4/12 - 5*a**3/6 + a**2 + 4*a. Let z be x(5). Suppose -3*v = 3*w - 276, -58 - 29 = -v - z*w. Is v a prime number?
True
Suppose 5*h - p - 1 - 8 = 0, -2*h - 2*p = -6. Suppose 3*i + 3*j - 42 - 18 = 0, 0 = -5*i + h*j + 93. Is i a composite number?
False
Let m be (0 - 1) + (-7)/7. Is (11/(-4))/(m/8) composite?
False
Let g be -2 - (1 - -22 - -2). Let x = g + 50. Is x composite?
False
Suppose 0 = 5*h - 2 - 8. Suppose -h*r + 30 = -3*c, -4*r + 4*c = -9*r + 121. Suppose 4*x = 2*o - 38, -2*x + r = o - 2. Is o prime?
False
Suppose -2*l + v = 264, 3*l + 5*v + 4 = -392. Let s = l - -32. Let g = 153 + s. Is g a composite number?
False
Suppose -d + 66 = -0*z + 2*z, 4*z = 5*d + 104. Is z a composite number?
False
Let k = -1757 + 2610. Is k a composite number?
False
Let z be ((-4)/5