o(g) = -g**2 + g + 3. Let q be o(0). Is q/18 - (-514)/12 a prime number?
True
Suppose i = -1, 0 + 22 = 5*r - 2*i. Suppose 9*f - 115 = r*f. Is f composite?
False
Suppose 0 = 4*u - 24 - 980. Is u a prime number?
True
Let v(l) = 34*l + 6. Let t be v(-4). Let h = t + 13. Is (2/(-3))/(2/h) prime?
False
Suppose 5*b = b - 24. Let l(m) = -m**3 - 7*m**2 - 8*m - 5. Let d be l(b). Is (d/2)/((-2)/(-4)) a composite number?
False
Let i(v) = 85*v - 4. Is i(3) a composite number?
False
Let o = 64 + 24. Let x = -25 - -58. Let h = o - x. Is h composite?
True
Let x(h) = -68*h - 50. Is x(-9) a prime number?
False
Suppose 5*d = -3*m, 2*d - m - 7 - 4 = 0. Suppose -d*v = -n + 4, 3*n + 3*v + 6 = -6. Is 2 + n + 8 + -2 prime?
False
Suppose 4*p + 81132 = 3*a + a, 3*a - 60859 = -2*p. Is a a prime number?
False
Let n(v) = -v**2 + 6*v. Let o be n(4). Let i be 4444/o + (-1)/2. Suppose 55 = 2*w - i. Is w a composite number?
True
Let k(p) = -p**2 - p + 9. Let g be k(-7). Let u(m) = -6*m**2 + 2. Let j be u(-2). Let l = j - g. Is l a prime number?
True
Suppose -910 - 94 = -2*c. Is c a prime number?
False
Suppose 0 = -4*r - 20, 3*n = -2*n - 5*r + 640. Is n a composite number?
True
Let h(m) = -2*m**3 + m**2 - m - 1. Let j be h(-1). Let s be j/(-6) + (-10)/(-4). Suppose 9 = -s*v + 23. Is v a composite number?
False
Let u(c) = c**3 + c**2 + 1. Let h be u(0). Is 106*(h + 1/(-2)) a composite number?
False
Let w(d) = -77*d**3 - 4*d**2 - 4. Let u(b) = -1925*b**3 - 99*b**2 - 99. Let s(l) = 4*u(l) - 99*w(l). Is s(-1) a prime number?
False
Let z(s) = -s**2 - 3*s + 1. Suppose 0 = -5*j + j - 16. Let l be z(j). Is 2/l*39/(-2) prime?
True
Let n(z) = z**3 + 2*z**2 - 5*z + 2. Let r be n(3). Suppose 3*a - 14 = -0*a + 2*g, -4*g = 4*a - r. Let s = 53 - a. Is s prime?
True
Suppose -7 = 5*p - 37. Suppose -g = -p*g. Suppose 0 = -z - g*z + 233. Is z prime?
True
Is (18 + -20)/((-2)/2245) a prime number?
False
Let t(d) = 3*d - 1. Is t(8) a composite number?
False
Let c(x) = -x**3 + 4*x**2 + 2*x + 2. Is c(-3) composite?
False
Is (4 - (3 + 1)) + (-290)/(-2) prime?
False
Suppose -3*m + 96 = 4*c + m, -51 = -3*c + 4*m. Let q = c - -13. Is q prime?
False
Suppose 4*o = 2*o. Suppose 2*s - 6*s = 0. Suppose -4*u + j + 264 = o, 5*j + s*j = 20. Is u a prime number?
True
Let a(x) = 3*x + 1. Let c be a(-7). Let k = c + 11. Let m = k - -20. Is m a prime number?
True
Suppose 5*i - 17 - 3 = 0. Let j be (4 - 13)/((-6)/i). Suppose -265 = y - j*y. Is y prime?
True
Is (-2167)/(-4) - (-2 + (-66)/(-24)) a prime number?
True
Let g(c) be the first derivative of c**3/3 + 3*c**2/2 + c + 1. Is g(9) prime?
True
Let v = -237 - -136. Let f = v + 220. Is f prime?
False
Let v = -1 + -2. Let r be (2/v + 0)*-6. Suppose r*n + 2*b = -n + 97, 3*n = -2*b + 55. Is n a prime number?
False
Let f(l) = 3*l**2 + 3*l - 3. Is f(-4) composite?
True
Let f be (10/3)/(2/6). Suppose -k + 35 = f. Let c = 42 + k. Is c a prime number?
True
Let w(z) = -2*z**2 + 7*z - 9. Let x(t) = 1. Let y(f) = -w(f) + x(f). Is y(7) a prime number?
True
Suppose -3*q = -21 - 8568. Is q a composite number?
True
Suppose 5*h - 311 = -3*d, 2*d = h + 3*d - 63. Let n = -40 + h. Is n composite?
True
Is (4164/(-8) - 4)*-2 composite?
False
Suppose 0 = 2*a - 4*r - 6, -4*r + 3*r + 9 = 3*a. Suppose a*t + 3 = 4*t. Is 262/(-1 + t) - 0 a composite number?
False
Let w be (-3)/4 + (-855)/12. Let u = 107 + w. Is u a composite number?
True
Suppose 350*z = 351*z - 1637. Is z composite?
False
Let f(w) = w + 5. Let x be f(-3). Let b = x - -29. Is b composite?
False
Let u be 3/6 + (-1)/(-2). Suppose 2*o - 4 = 5*p, -11 = -5*p - u. Is o prime?
True
Suppose 161 = -5*q + k - 811, 192 = -q - k. Is (q/3)/(4/(-18)) a prime number?
False
Let u(n) = -n**2 - n + 77. Let y be u(0). Let k = y - 46. Suppose 2*t + k = 2*v - 37, 4*v - 130 = 2*t. Is v a composite number?
False
Suppose 467 = 3*b - 2*h - 16, 2*b + 5*h - 303 = 0. Is b a prime number?
False
Suppose -16345 = -14*w + 9*w. Is w a composite number?
True
Let s = 282 + 683. Is s composite?
True
Let u = 318 - -502. Suppose -x + 5*x = u. Is x a composite number?
True
Let w(z) = 14*z**2 + z. Let h be w(-1). Let n = -22 + h. Is n/(-2)*104/12 prime?
False
Let h = 14 - 4. Suppose k - h - 64 = 0. Is k a prime number?
False
Suppose 0*l - 4*l = 268. Let x = l - -113. Is x prime?
False
Let y = -278 - -864. Is ((-6)/(-4))/(3/y) prime?
True
Let l(r) = 2*r**2 + 13*r + 16. Let t(c) = c**3 + 6*c**2 + 3*c + 7. Let x be t(-6). Is l(x) prime?
False
Suppose m - 5*t = -5 - 4, 3*m + 66 = 2*t. Let v = 46 + m. Is v a prime number?
False
Is 0 + 4 + 789 - 2 a prime number?
False
Is (-72)/252 - (-89450)/14 a composite number?
False
Suppose -3*k + 6*k - 72 = 0. Let t(y) = y**2 - 2*y - 6. Let h be t(-5). Suppose f - k = h. Is f a composite number?
False
Let o = 309 + -87. Suppose -5*d + o = -413. Is d composite?
False
Let f(i) = -62*i - 4. Let r be 2/4 + (-18)/(-12). Let a(m) = -61*m - 3. Let t(k) = r*f(k) - 3*a(k). Is t(2) a composite number?
True
Let f = 170 + -85. Is f a prime number?
False
Suppose -17 = 5*h - 7. Let y = h - -4. Let n(k) = 4*k**2 + k + 1. Is n(y) prime?
True
Let z(f) = 371*f. Let i be z(1). Let n = -173 + i. Let o = n + -107. Is o a prime number?
False
Is (-3)/(-15) - 1208/(-10) prime?
False
Is 408*(-32)/(-12) - 1 prime?
True
Let p = -361 + 846. Is p composite?
True
Suppose 11 = 2*u - 1. Suppose -o - 30 = -u*o. Is ((-201)/o)/((-3)/6) composite?
False
Suppose w = 169 + 194. Suppose -3*s + w = -30. Is s composite?
False
Let q be (68/8)/(3/498). Suppose 0 = -5*f + 2*s - 226 + q, -25 = 5*s. Is f composite?
True
Let i(l) = -5*l - 1. Let d be i(-1). Let t(p) = p**3 - p**2 + 5*p - 6. Is t(d) a composite number?
True
Let h be (8/(-6))/((-7)/(-42)). Is ((-102)/(-9))/(h/(-156)) composite?
True
Let f(t) be the third derivative of -5*t**4/12 - t**3/2 - 2*t**2. Is f(-9) prime?
False
Let p = -16 - -18. Let z(w) = -w**3 - 7*w**2 + 3*w + 9. Let k be z(-7). Is (-3)/k*254*p prime?
True
Is ((-326)/4)/((-5)/10) a composite number?
False
Let p = 687 + -94. Is p a composite number?
False
Let j(k) = -92*k**3 - 2*k**2 - 2*k + 5. Let z = 6 - 2. Let o(h) = 91*h**3 + 3*h**2 + 3*h - 6. Let l(s) = z*o(s) + 5*j(s). Is l(-1) composite?
False
Suppose 0 = -4*a + a - 5*l + 1396, 3*l + 3 = 0. Is a prime?
True
Let a = -675 + 1057. Is a composite?
True
Is 2106/10 - (-2)/5 a prime number?
True
Let x = 215 - -834. Is x composite?
False
Is ((-6)/(-4))/((-63)/(-6846)) a prime number?
True
Let j(u) = -u + 223. Is j(0) a composite number?
False
Let u = 109 - -76. Is u a prime number?
False
Let r = -3 - -5. Is 52 - -1*(1 - r) prime?
False
Let c be (0 + (-2)/3)*-6. Suppose -w = w - c. Suppose -179 = -w*n + 567. Is n composite?
False
Let z = 0 + 2. Suppose -57 = -z*p - p. Is p composite?
False
Suppose 3*g + 5*o = 391, 0*o + 627 = 5*g - 4*o. Is g composite?
False
Let j(r) = -77*r - 3. Let s be j(-2). Suppose -5*z + 666 = s. Let n = -50 + z. Is n a prime number?
True
Is ((-1)/(4/(-246)))/((-11)/(-22)) a composite number?
True
Let c be (-3)/(-2)*4/6. Is 45/(-3)*(c - 2) composite?
True
Suppose 2*w - 2592 - 2282 = 0. Is w composite?
False
Let m = -1019 - -1726. Is m prime?
False
Let l(b) = 3*b**3 + 5*b**2 - 4*b + 3. Is l(4) a prime number?
False
Let v(o) = o**2 + o + 37. Let m be (1 + (-10)/4)*-2. Suppose 0 = -m*u + u. Is v(u) a prime number?
True
Suppose -2*a + 4 = -4. Suppose -k + 215 = a*k. Is k a prime number?
True
Let a be ((-6)/(-5))/(9/30). Suppose a*j - 45 = -j. Suppose b = j + 16. Is b composite?
True
Let x = 6 + -3. Let k be 4/(-14) + (-46)/(-14). Suppose 24 = 4*v - o, -4*o + k = v - x. Is v prime?
False
Let l(s) be the first derivative of s**4/4 + 2*s**3 - 7*s**2/2 + 5*s + 2. Let v be l(-7). Suppose v*z = -15, -2*o + 372 = o + 3*z. Is o composite?
False
Let b(m) = -7*m + 1. Let z(q) = -q**3 + 9*q**2 - 9*q. Let i be z(8). Is b(i) a composite number?
True
Let j(m) = -m**3 + 3*m**2 + 2*m - 1. Let i be j(3). Suppose 4*n = i*w - 883, -5*n = w - 2*w + 164. Is w a prime number?
True
Suppose 8*t - 20765 = 3*t. Is t a prime number?
True
Suppose -2 = -2*c - 14. Let f(i) be the second derivative of -i**3/6 - 3*i**2/2 + 3*i. Is f(c) prime?
True
Let p(c) = -c - 8. Let m be p(-8). Suppose m = r - 5 - 10. Is r a prime number?
False
Let j(f) = -f - 4. Let q be j(-6). Suppose -q*p + 387 = 5*g, 4*p + p + 20 = 0. Is g