et p(h) be the first derivative of 7*h**2/2 + 2*h - 1. Is p(5) prime?
True
Suppose 4*h - 3*h = 0. Suppose h = -5*w + 10, u - 2*w - 31 = w. Is u composite?
False
Is (248/(-2))/((-4)/2) a prime number?
False
Let f(b) be the third derivative of -b**6/60 + b**5/30 - b**3/6 - 2*b**2. Let d be f(1). Is (37/(-4))/(d/4) a composite number?
False
Let i = 1 + -7. Let h be -3*i/9*29. Let f = 185 - h. Is f prime?
True
Suppose -3*a - 59 + 275 = 0. Let s = 129 - a. Is s a composite number?
True
Suppose -4*t + 782 = 3*f, -2*f - 3*f - 4*t = -1290. Is f composite?
True
Suppose 0 = 6*i - i + 4*y - 2307, -i + 471 = -4*y. Is i prime?
True
Let f(o) = 127*o**2 + o - 3. Is f(-2) prime?
True
Let s(n) = n**3 + 11*n**2 + 8*n + 2. Let a(f) = f**3 - 6*f**2 + 4*f + 6. Let g be a(5). Let c be 50/(-5) + -1 + g. Is s(c) prime?
False
Suppose 0 = b - 1, -3*j - 3*b - 25 = -j. Let i = -8 - j. Is i a composite number?
True
Suppose -a = a + 2, 0 = -5*o + 4*a - 2201. Is o/(-12) - (-4)/16 a composite number?
False
Is 1/((9/3)/33) a composite number?
False
Let y(l) = -l + 11. Let i be y(9). Suppose 128 + 358 = 3*j + 3*d, -d - 786 = -5*j. Is j*(i - 3/2) composite?
False
Suppose m + p + 12 = -0*m, p + 26 = -3*m. Let o(i) be the first derivative of -3*i**2 - 8*i - 2. Is o(m) a composite number?
True
Suppose 3*a - 2670 = -5*d + 7*a, -510 = -d - 4*a. Suppose 2*r - d = -4*u, -u - 3*u + 1044 = 4*r. Is r prime?
True
Suppose -4*u + 989 + 957 = -a, 0 = -4*a + 8. Is u composite?
False
Suppose h + 0*w + 65 = -w, -h = 3*w + 69. Suppose -m - t + 90 = 4*t, 3*t + 6 = 0. Let x = h + m. Is x prime?
True
Let k = -103 - -29. Let b be (k/3)/((-8)/12). Is (-1)/((-75)/b - -2) a prime number?
True
Suppose -2*i + 2*a - 6*a = 116, 2*a - 158 = 3*i. Is (-9)/3 + 0 - i a prime number?
False
Let s(t) be the third derivative of 43*t**5/60 + t**3/6 - t**2. Let f be s(-1). Suppose -m - 7 = -f. Is m composite?
False
Is 7728/15 + (-5)/25 a composite number?
True
Let w(s) = 393*s + 41. Is w(20) a composite number?
False
Let j be 2 - (-9)/(5 + -2). Suppose -j*i - 2 = -12. Is 2 - (i - -2) - -16 prime?
False
Is (11914/(-42))/(1/(-3)) a composite number?
True
Let d = -151 + 106. Is (-4)/18 - 3925/d a prime number?
False
Suppose -4*f + 5*k = -253, 2*f + 2*k + 47 - 187 = 0. Is f a composite number?
False
Let x = -21 + 18. Is 2*x/(-2) + 203 prime?
False
Let a(y) = y**3 - 2*y**2 + 7*y - 4. Let i be a(5). Is (i/6)/(4/12) a prime number?
True
Suppose -8*b + 14*b - 546 = 0. Is b prime?
False
Suppose -4*f = -2*f - 10. Let m(i) = -i**3 + 7*i**2 - 2*i - 4. Let j be m(5). Suppose 0 = -f*w + w + j. Is w prime?
False
Let y(h) be the third derivative of h**9/60480 - h**8/2880 - h**7/560 + h**6/360 - h**5/60 - h**2. Let b(u) be the third derivative of y(u). Is b(9) prime?
True
Is -2 + 1 + 188 - (9 + -9) prime?
False
Let q(u) = u**3 - 6*u**2 + u - 4. Let r be q(6). Suppose 323 - 45 = r*f. Is f prime?
True
Is (-634)/4*-2 - 0 a composite number?
False
Let t be (5 + -4)/((-1)/(-3)). Suppose t*n - 294 = -j, 31 - 125 = -n + j. Is n a prime number?
True
Let h(i) = -i**3 - 3*i**2 - i - 1. Let a be h(-2). Suppose 2 = -0*r + 2*r. Is ((-67)/3)/(r/a) a prime number?
True
Let i(a) = -a**3 - 9*a**2 - 11*a - 3. Let k be (-2)/8 + 3/12. Suppose 2*v + 2*v + 32 = k. Is i(v) prime?
False
Let u(v) = -v**3 - 8*v**2 + 6*v - 1. Suppose 3*x = 2*z + 4, 0*x - 36 = 2*z + 5*x. Let h be u(z). Let l = h + 86. Is l a composite number?
False
Let o be (-31)/(-11) - (-4)/22. Suppose 0 = -5*v + 5*u + 185, -2*v + o*u + 50 = -28. Is v a composite number?
True
Let g(z) = -26*z - 16. Is g(-3) prime?
False
Is (2302/(-10))/((-14)/70) composite?
False
Let h be (-6 - 0)/(7/42). Let y be 1420/9 + (-8)/h. Suppose y = 2*p - 2*b, -3*b + 241 = 3*p - 8*b. Is p composite?
True
Suppose -2*m = 2*m - 252. Let n(y) = -45*y + 1. Let l be n(1). Let f = l + m. Is f prime?
True
Suppose -98 = -4*g + 2*g. Is g a composite number?
True
Suppose 0*t - 695 = -5*t. Is t a prime number?
True
Let y = -17 + 15. Is (6*(-472)/12)/y a prime number?
False
Let f = 6 + -3. Suppose d - 197 = -m + 3*m, -d = f*m - 217. Is d prime?
False
Suppose 0*l - 2*l + 4*r + 82 = 0, -2*l + 68 = 3*r. Is l composite?
False
Suppose 2*y + 189 = 1927. Is 6/(-51) - y/(-17) a composite number?
True
Let h be -1*5/(-1) - 0. Suppose -h*b - 5*i + 193 = -1132, -5*i = -4*b + 1033. Let y = b - 179. Is y a composite number?
False
Let o be -1 - 0 - (-2 + 5). Let i be (0 - -5) + (o - -1). Suppose 3*u - 11 = i*u. Is u a prime number?
True
Suppose g - 3*f = 3, g - 3 = -4*f - 7. Suppose -3*q + 60 = -g*q. Suppose -41 = -2*u + 3*d, 3*u - 5*d + q = 82. Is u prime?
True
Let w be (-6)/(-39) - (-74)/26. Suppose w*a - 316 = -a. Is a a prime number?
True
Let p(n) = n**3 + 24. Let b be p(0). Suppose f = -3*f + b. Is f a composite number?
True
Let d = -122 - -199. Is d composite?
True
Let p be (-3)/((6/4)/(-3)). Is -2 + (-3)/p*-386 prime?
True
Let b = -6 + 14. Let y be (76/b)/(1/4). Let x = 71 - y. Is x a composite number?
True
Suppose 158 + 70 = 2*v. Let q = v - -54. Suppose 5*m - m = -4*b + q, m = -2*b + 79. Is b a prime number?
True
Let a = -146 + 455. Is a prime?
False
Suppose 0 + 24 = -4*l. Let q = 2 + l. Let r(s) = -s**3 - 2*s**2 - s + 1. Is r(q) a composite number?
False
Is ((-11840)/128)/(1/(-2 - 0)) composite?
True
Let o be ((-2)/4)/((-1)/(-265 + -3)). Let p(n) = 21*n**2 + 5*n - 5. Let l be p(4). Let t = o + l. Is t a composite number?
True
Let q(x) = -35*x - 1. Let k(y) = y + 6. Let u be k(-7). Let s be q(u). Suppose 0 = 3*m - s - 143. Is m a composite number?
False
Let x be (-4)/(-8) + (-13)/2. Let y = x + 29. Is y composite?
False
Let v(k) = k**2 + 4*k - 1. Let i be v(-5). Let l = -2 + 13. Let w = l - i. Is w a composite number?
False
Let i(a) = 21*a + 4. Suppose 5*l - m - 12 = -0*m, 0 = -5*l + 5*m. Is i(l) a prime number?
True
Let h(k) = -13*k**2 - 6*k + 5. Let g(d) = 12*d**2 + 7*d - 6. Let r(a) = -2*g(a) - 3*h(a). Suppose -9*m = -2 - 16. Is r(m) a composite number?
True
Suppose -2 = 3*s - 161. Is s prime?
True
Let j(r) = 2*r**2 + 3*r**2 - 3*r**2 - 2 - 5*r + 12. Is j(-7) a composite number?
True
Let y be -1 + 1 + 4/2. Suppose 4*a - 2*x = -6, -2*a - 4*x + 12 = y*a. Suppose a = -0*w + 2*w - 92. Is w a composite number?
True
Suppose -156 = k - 7*k. Suppose f - k = 225. Is f a composite number?
False
Suppose 4*t = z - 248, 0 = t - 3*z + 11 + 51. Let n = t + 97. Is n a composite number?
True
Is 2*3147*4/24 a composite number?
False
Suppose -2*s - 3*s + 250 = -3*r, -250 = -5*s - 3*r. Suppose -s = -2*l - 3*h, 0*h = -2*h. Is l prime?
False
Suppose v + 20 = 179. Is v composite?
True
Is (898/(-6))/(6/(-18)) a prime number?
True
Let d = -11 + 16. Suppose 209 - 844 = -d*y. Is y prime?
True
Suppose -4*k + 20 = 0, -3*b = 3*k - 2225 + 911. Let y be (48/60)/(4/10). Suppose -a = -5*d - 69, -y*a - 3*a + 3*d + b = 0. Is a prime?
True
Let j(h) = 174*h - 27. Is j(7) composite?
True
Let p be (0 + -2 - -2)/(-1). Let m be p/(-3) + 0 + 2. Suppose -29 = m*b - 103. Is b a prime number?
True
Let c be -3*(4 + -2)*-3. Suppose -3*a - 5*t = 35, t + 3*t = 3*a - 1. Let w = c + a. Is w prime?
True
Suppose 18*q - 815 = 13*q. Is q a composite number?
False
Let i = -24 - -133. Is i a prime number?
True
Let u(o) = 306*o + 13. Is u(5) a prime number?
True
Suppose 0 = f + 2*f. Let j be (1 - f)/(3/1695). Suppose 0 = 4*x + x - j. Is x a composite number?
False
Suppose 0 = -x + 2*x - 5. Suppose -2*q + m = q - 638, -q = -x*m - 236. Is q a prime number?
True
Suppose 0 = -5*b - 3 + 58. Is b prime?
True
Suppose -5*v + 2*v - 1064 = -5*r, 4*v + 1067 = 5*r. Is r prime?
True
Let z be (7/(-21))/((-1)/12). Suppose -i = -z*i + 489. Is i a composite number?
False
Let q = -207 + 790. Is q prime?
False
Suppose f = -4*a + a + 15, -2*a + 10 = -f. Suppose a*r - 4*m - 31 = 0, -3*m - 4 = -4*r + 3*r. Is r a prime number?
True
Suppose 2*z = 5*n - 19, 5*z - 10 = -2*n + 15. Suppose -4*v = -16, -5*u + n*v = 204 - 9. Let q = 54 + u. Is q prime?
True
Let d(l) = -142*l**3 - l**2 - 2*l - 1. Let u be d(-1). Let t = 291 - u. Is t composite?
False
Let x be (-12)/9 + (-613)/(-3). Let v = x - 84. Is v a composite number?
True
Let i be (2/(-6) + -1)*-633. Let w be ((-2)/4)/(2/i). Let f = w + 302. Is f composite?
True
Let a(q) = q**3 - 3*q**2 - 3*q + 1. Let m be a(4). Let n = 51 - m. Is n a prime number?
False
Suppos