+ f. Let m be l(h). Suppose m = o - 4*o + 63. Is o a prime number?
False
Let h = 0 + 1. Let s be 192 - (-2 - (h + -1)). Suppose -k + s = k. Is k composite?
False
Suppose 0 = 4*n - 2*n + 4*j + 18, 2*n - 2*j = 12. Let p(f) = -3*f - 3. Let k be p(-3). Is 3/k*118*n a prime number?
True
Let d(h) = h**2 - 7*h - 6. Let z be d(8). Suppose n + 671 = z*n. Is n a prime number?
False
Suppose 86 = 4*f + 10. Is f prime?
True
Let u = -252 + 457. Is u prime?
False
Let c(h) be the third derivative of -h**7/840 + h**6/720 - h**5/60 - 3*h**2. Let y(x) be the third derivative of c(x). Is y(-3) prime?
True
Let r be (-3 + (-21)/(-6))*1408. Suppose -5*w + 2*w = 5*c - r, 3*c - w - 414 = 0. Is c prime?
True
Let r = -10 + 8. Is r + 49 - (0 - -1) composite?
True
Suppose 0 = h - 2*h + 4. Suppose 445 = i + h*i. Is i prime?
True
Suppose 3*q = 2*t + 8, 2*q + t = 6*q - 4. Is (q + -2)/4*-418 prime?
False
Let w = -4 + 12. Let n = w + 2. Is n a prime number?
False
Let h = -186 - -493. Is h a prime number?
True
Suppose -318 = 10*t - 13*t. Is t a prime number?
False
Let v = -4 - -6. Suppose 0 = -v*j - 4*l + 70, 4*l - 5 - 3 = 0. Is j prime?
True
Let q(d) = -3*d**2 + 13*d. Let a(v) = -v - 1. Let i(u) = -4*a(u) - q(u). Is i(6) prime?
False
Let z(n) = 2*n**2 + 2*n - 2. Let c be z(-2). Suppose 0*o - 7 = -o. Suppose -k - c*m - o = -33, -k + m = -20. Is k composite?
True
Let l = 27 - 2. Suppose 0*u + 5*u - l = 0. Suppose 17 + u = 2*r. Is r prime?
True
Suppose 2*z + u = 3, -4*z + 4*u + 14 = 38. Is (-4)/12*237/z a prime number?
True
Let l(v) = -198*v + 16. Is l(-7) composite?
True
Let j = 952 + -551. Is j a composite number?
False
Let j = -2600 + 3649. Is j a composite number?
False
Let q(a) = 0 + 7*a - 2 + 3*a + 7. Is q(5) a prime number?
False
Let q(h) = h**2 + 7. Is q(-6) composite?
False
Let q = -5 + 3. Let c = 2 + q. Suppose c = 3*a + 2*a - 115. Is a composite?
False
Suppose -2*z + 4*k = -3146 - 58, -4*k = 0. Suppose -5*s + 3410 = -5*b, -4*s + 1111 + z = b. Is s composite?
True
Let y = -2 - -7. Let a = 3 - y. Is (21/12)/(a/(-56)) a prime number?
False
Let n(h) = h + 14. Let l be n(0). Suppose 0*o = -5*o + 2*f - l, -2*o - 2*f = 0. Let c = 1 - o. Is c a prime number?
True
Let r(o) = o**3 + 20*o**2 + 10*o + 8. Is r(-19) a composite number?
False
Is (0 - 1)*(-368)/8 a composite number?
True
Let f(o) = 87*o + 10 - 92*o + 1. Let y be -1 + (-7)/(1 + 0). Is f(y) prime?
False
Suppose 0 = -2*k - m + 2519, 0*m = k - m - 1258. Is k a prime number?
True
Let b be -2 - ((7 - 2) + -4). Let a(g) be the third derivative of g**5/6 - g**4/24 - g**2. Is a(b) a composite number?
True
Suppose -1 = r + 4, y - 786 = 3*r. Is y a composite number?
True
Suppose -5*r + 2*c = -4529, 2*c = 19 - 13. Is r a prime number?
True
Suppose 10 = -5*j, -6*j - 35 = -o - j. Suppose -60 = 5*y + 3*m, 0 = -2*m - 3*m. Let p = o + y. Is p a composite number?
False
Suppose 6*z = -0*z + 1338. Is z a prime number?
True
Suppose 3*m - 45 = -3*c, -2*m - 5*c = -m - 19. Is m composite?
True
Let z(y) = y**3 + 13*y**2 + 14*y + 3. Let m be 3/2*-6 + -2. Is z(m) a composite number?
True
Let u = 23 - -92. Is u a composite number?
True
Let z = 211 - 62. Is z composite?
False
Let b(k) = -k**2 - 5*k + 4. Let y be b(-7). Let z be ((-5)/y)/((-1)/36). Let r = 3 - z. Is r prime?
False
Let k be -4*1*(-19)/2. Suppose 0*v + 30 = 3*v + 3*z, -k = -5*v + z. Let u(t) = t**3 - 7*t**2 - 4*t - 9. Is u(v) a prime number?
True
Let p(v) = -6*v**3 + 2*v**2 - 1. Let o be (8 - 4)/(-2 - 0). Is p(o) a composite number?
True
Let a = -15 + -20. Let i be (-1)/(10/(-8))*85. Let h = a + i. Is h composite?
True
Let c(g) = 199*g + 78. Is c(19) a prime number?
False
Let y be ((-18)/3)/(9/(-6)). Suppose k + 1540 = 6*k + 5*u, -y*k = -2*u - 1226. Is k a prime number?
True
Let z(j) be the third derivative of 0 - 1/20*j**5 + 0*j - 1/12*j**4 + 3*j**2 + 2/3*j**3 - 1/120*j**6. Is z(-3) prime?
False
Suppose -3*s + 3*p = s - 544, -s + 117 = 4*p. Is s a composite number?
True
Let v be (-1)/(-1) + -1*98. Let z = v + 137. Suppose -z = -5*s + 125. Is s composite?
True
Suppose 0 = -b + 3 + 1. Suppose -166 = -3*g - 5*a - 53, -b = -a. Is g composite?
False
Let q(f) = -63*f + 1. Let k be q(5). Let p be 2/(-8) - k/8. Suppose -p = 3*h - 6*h. Is h a composite number?
False
Let f = -5 - -39. Is f prime?
False
Let d(p) = -11 + 3*p + p - p. Is d(8) a prime number?
True
Let v(y) be the first derivative of -3*y**3 - 7/2*y**2 - 4 - 1/4*y**4 - 10*y. Is v(-9) a prime number?
True
Let j = -15 + 84. Is j a prime number?
False
Let u(l) be the third derivative of 3*l**6/20 + l**5/30 - l**3/6 + 2*l**2. Is u(1) a composite number?
False
Let v = -26 + -62. Let y = v - 3. Let s = y - -128. Is s a composite number?
False
Let t be 5/(15/54)*3. Let a = -37 + t. Suppose a - 271 = -2*y. Is y a prime number?
True
Let o(z) = -z + 1. Let u be o(-5). Let c be 2*31 - (u + -4). Suppose c = 2*n + 2*n. Is n composite?
True
Let j be (-45)/(-10) - 2/4. Let n be (-594)/(-8) + (-1)/j. Suppose n = k + k. Is k a composite number?
False
Let q(z) be the first derivative of z**6/24 + z**3/6 + z**2 + 1. Let g(s) be the second derivative of q(s). Is g(1) composite?
True
Let o(q) = -7*q**3 - q**2 + 2*q + 2. Let w be o(3). Let l = 272 + w. Is l prime?
False
Suppose -1 = 3*z - 10. Let i be -1*12/(z - 6). Suppose g - 197 = -4*a, 5*a - 2*g + i*g - 247 = 0. Is a a prime number?
False
Let d(f) = -f**3 + 8*f**2 - f - 7. Is d(7) a prime number?
False
Let p(o) = -o + 2. Let r be p(7). Let a(i) = -i**2 + i - 1. Let c(l) = l**3 - 12*l**2 + 8*l - 3. Let n(m) = r*a(m) + c(m). Is n(7) prime?
True
Let q(j) = -j**3 + 20*j**2 + 11*j - 29. Is q(20) prime?
True
Let p(a) = -32*a**2 - 1. Let b be p(-1). Let y be 3 - (68/(-2))/(-2). Let d = y - b. Is d a prime number?
True
Let s(q) be the first derivative of 4*q**3/3 - 9*q**2/2 - 6*q + 2. Let y be (-9)/(-45) + (-68)/(-10). Is s(y) a prime number?
True
Is (-2884)/(-8) - (-2)/4 a prime number?
False
Let m(h) = h**3 - 2*h**2 + 4*h + 5. Let p = -7 - -11. Is m(p) prime?
True
Suppose 2*p = 6*p + 20. Let n(y) = -3*y**3 - 5*y**2 + 1. Is n(p) prime?
True
Let g be (10/3)/(2/15). Let h = -11 + g. Is h composite?
True
Let f(g) = -2*g - 3. Let p = 1 + -5. Let l be f(p). Suppose l*v - 282 = 163. Is v prime?
True
Let f = -326 + 478. Let n = 479 - f. Suppose -4*k - v = -n, 0 = -0*v + 3*v + 15. Is k composite?
False
Let k(j) = 517*j**3. Is k(1) prime?
False
Let m = 1427 + 474. Is m composite?
False
Suppose 0 = 2*l - l - 147. Let p = 63 - l. Let o = p - -121. Is o prime?
True
Let k(h) = -h**2 - 16*h + 15. Suppose -a - 55 = 4*a. Let n be k(a). Suppose n + 22 = 4*z. Is z a prime number?
True
Let x be 10/1*(1 - 0). Is x/(-15) + 562/6 composite?
True
Let x be 3030/(-24) + 1/4. Let z = 205 + x. Is z composite?
False
Let h = 2671 + -1347. Suppose 3*b = -b + h. Is b a composite number?
False
Suppose 5*t = -5, -4*u + 2*t + 221 = 11. Is (-3)/(1/(u/(-6))) prime?
False
Suppose 3*i - 33 - 756 = 0. Is i a composite number?
False
Let o = 271 - 114. Is o a composite number?
False
Let r(g) = -2*g**3 + g**2 - 2*g + 5. Is r(-6) prime?
False
Let a be (3 + -2)/((-1)/(-5)). Is (0 + 1)*(16 + a) a composite number?
True
Let y(b) = 46*b**2 + 2*b + 3. Is y(5) prime?
True
Let o(v) = v**2 - v. Let h be o(2). Suppose h*k - 190 = -5*n, 0 = k + n - 6 - 83. Is k prime?
False
Let a(v) = v**3 + 2*v**2 - 2*v + 3. Let c be a(-3). Suppose -3*p - 25 + 76 = c. Suppose p = 3*u - x, -u = -4*x - 17 - 7. Is u prime?
False
Suppose -2*m - 4 = -i - 10, 0 = -3*i - 5*m + 26. Suppose 3*o + i*o + 75 = 0. Is (77/(-3))/(5/o) composite?
True
Let q be (4/(-5))/((-6)/15). Suppose b - 18 = -3*o + 55, -365 = -5*b + q*o. Let f = 4 + b. Is f a composite number?
True
Let u(o) = -2*o**2 + 3*o + o**2 + 0*o**2. Let r be u(3). Suppose 4*v - 3*b - 227 = 0, 3*v + 0*b + 5*b - 134 = r. Is v composite?
False
Is (2 + (0 + 3)/(-3))*1137 a composite number?
True
Let g(r) = 15*r - 1. Suppose 5*n + 2*x = 40, -x - 25 = -6*x. Is g(n) a prime number?
True
Let o(d) = -4*d**2 + 4*d - 2. Let z be o(2). Let w = -3 - z. Is w a prime number?
True
Suppose 5*b = 2*d - 2081 + 7902, 4*b + d - 4649 = 0. Is b prime?
True
Let w(k) = k**2 + 4*k + 2. Let v be w(-4). Is (v - (-645)/12)*4 a composite number?
False
Let i(k) = -8*k - 1. Suppose -16 = 3*a - 7. Is i(a) prime?
True
Let d(x) = -x**3 + 6*x**2 - 6*x + 11