 246 = 807, o + 3*h - 97 = 0. Let c = -70 + o. Is c prime?
False
Suppose -2*g + 376 = -94. Is g composite?
True
Let q(j) be the first derivative of -j**4/4 + 3*j**3 + 5*j**2 + j - 3. Is q(7) composite?
True
Let k = -8 + 13. Suppose 0*z - 5 = 5*z, k*w + z - 114 = 0. Is w prime?
True
Let v(y) be the second derivative of 27*y**5/20 + y**2/2 - 3*y. Is v(2) prime?
False
Suppose 5*n - 3753 = -b, -3010 = 3*n - 7*n + 3*b. Is n composite?
False
Let b(j) = 38*j - 1. Let y(q) = q**2 + 11*q + 7. Let p be y(-11). Is b(p) composite?
True
Suppose 3*g - 5 = 2*g. Suppose g*l + 44 = 7*l. Is l a composite number?
True
Let u(b) be the second derivative of b**4/12 + b**3/6 + 5*b**2/2 + 2*b. Let a be u(0). Suppose -13 = -z + 4*i, -a - 47 = -4*z + i. Is z prime?
True
Suppose 0 = -2*i - 0*i + 8. Let t(c) = c**2 - 5*c + 4. Let u be t(4). Suppose u*n - 17 = -2*p + 3*n, i*p - 32 = 4*n. Is p composite?
False
Let t be (-3 - 0) + 3*1. Suppose t = -4*f + 163 + 93. Let b = f - -51. Is b a composite number?
True
Is (-2)/11 - (-15045)/165 prime?
False
Suppose 0 = 2*j - 3*j + 5*n + 27, -3*n - 21 = -3*j. Is 0/j - (-12 + 8) composite?
True
Suppose 0 = 4*h + 8, -2*x - 3*x - 5*h + 2335 = 0. Is x prime?
False
Suppose -3*b + 121 = 1. Suppose 65 = 5*c - b. Is c composite?
True
Let l(d) = d - 1. Let h be l(6). Let a(f) = 3*f**3 - 6*f**2 - f + 3. Is a(h) a composite number?
False
Suppose 2*j - 2 = -3*g, 2 = -4*j + 3*g + 24. Suppose -4*z = -j, -46 = -3*m - z - 3*z. Is m prime?
False
Let w(k) = -1. Let d(s) = s - 19. Let v(c) = -d(c) + 4*w(c). Is v(8) composite?
False
Suppose -16 = -4*k - w, -4*k + w - 3*w = -12. Let b(j) be the third derivative of j**5/15 + j**4/12 + 5*j**3/6 - j**2. Is b(k) a prime number?
False
Let f = 4655 + -2092. Is f a prime number?
False
Let s be -12 - -11 - 1*131. Let z = s - -235. Is z composite?
False
Let o = 261 - 140. Is o a composite number?
True
Let l(v) = -11*v**3 - 16*v**3 - 4 + 5 - 28*v**3 - v**2. Is l(-1) composite?
True
Let o(r) = 2*r - 3. Let q be o(3). Suppose -20 = -q*c + 7. Suppose c*j = 4*j + 105. Is j a prime number?
False
Let g(u) = -u**3 + 2*u**2 + 5*u + 6. Let q(c) = -c**2 - c - 1. Let t(n) = -g(n) - 3*q(n). Is t(4) a prime number?
False
Suppose 0 = -v - l + 6, -5*v - 6 = -5*l + 4. Suppose 3*c = v*c. Let k(j) = j**2 - j + 23. Is k(c) prime?
True
Suppose -6*j + 6700 = 1888. Is j a composite number?
True
Let x(b) = -b**2 - 5*b - 4. Let p be x(-4). Let s be p - (-3)/(6/4). Suppose -s*w + 5*m + 21 = 2*m, -4*w - 3*m - 3 = 0. Is w a prime number?
True
Let g(l) = -l**3 + 19*l**2 - 6*l - 11. Is g(18) prime?
False
Suppose -3*x + 20 = 8. Let u = x - -31. Is u composite?
True
Let x be -3 - (-702 - (-1 - -1)). Suppose -o = -4*o + x. Is o a prime number?
True
Suppose 5*t - 526 - 109 = 0. Is t composite?
False
Let i(d) = 22*d**3 - 7*d**2 + 15*d - 19. Is i(6) a prime number?
False
Let x(q) = q**3 + 4*q**2 - 7*q - 4. Let g be x(-5). Is 37/(15/g - 2) composite?
True
Let r be 0 + -311 + (2 - 4). Let q = -204 - r. Is q composite?
False
Let k = -2 + 1. Is (587/k)/(-3 - -2) composite?
False
Let i = -2 - -5. Let h(q) = q**3 - 5*q**2 - 6*q + 2. Let w be h(6). Suppose 19 = i*z - w*z. Is z a composite number?
False
Let s(n) = 37*n**2 + n + 9. Is s(-4) composite?
True
Suppose -g + 4*g = 15. Suppose 2*y = g*y, 4*y + 52 = 4*u. Is u prime?
True
Let b(j) = 5*j**2 - j + 1. Let i be b(3). Suppose 3*u - 62 = 5*n + 52, 2*n - 2*u + 44 = 0. Let q = n + i. Is q prime?
True
Let j = 11 + -11. Is j + -3*(-422)/6 composite?
False
Let w = -10 - -11. Is 1/(w/(-3 - -40)) composite?
False
Is (-3)/6 + 17073/14 prime?
False
Let h(g) be the first derivative of -g**6/120 + g**5/12 + g**4/8 + g**2 + 3. Let n(l) be the second derivative of h(l). Is n(5) composite?
True
Suppose 3*a = 6*a. Suppose -4*b + 543 + 1165 = a. Is b a prime number?
False
Let n(c) = c**2 - 6*c + 3. Let a be n(8). Suppose 2*m = 3*m - a. Is m prime?
True
Suppose -4*x - 3*t = -6812, -5*x + x - 4*t + 6812 = 0. Is x composite?
True
Let u(a) = -a**3 - 4*a**2 - a + 5. Is u(-5) a prime number?
False
Let o(i) = -11*i - 11. Suppose -3*u - v + 5*v = -51, 4*u - 68 = 4*v. Let s = 9 - u. Is o(s) prime?
False
Let o(d) = d**3 + 14*d**2 + 10*d - 6. Let t be o(-10). Suppose 3*n + 3 = 0, l - n = -0*l + t. Is l a prime number?
True
Let p(k) = 9*k**2 + 11*k - 13. Is p(9) a prime number?
False
Let i = 131 - 3. Suppose 6*o - g - 159 = o, g = 4*o - i. Is o a composite number?
False
Suppose -2*w - 1895 = -7*w. Is w a composite number?
False
Suppose l = 3*s + 1937, 0*l = 3*l - 3*s - 5799. Is l prime?
True
Let v = 11 + -8. Suppose z - 2*r = 13, -v*z - 5 = 2*r - 4. Suppose 0 = -2*u + 5*b + 73, z*b = 5*u - 2*b - 190. Is u prime?
False
Suppose 0 = -4*m + d - 1418, 1072 = -3*m + 7*d - 2*d. Let b = -155 - m. Is b a prime number?
True
Suppose 5*k - 397 = 238. Is k a prime number?
True
Let u(y) = 317*y**2. Is u(1) a prime number?
True
Suppose -f = q + 3 + 2, -3*q + 2*f + 10 = 0. Suppose -4*x + 2*t + 362 = q, 2*x - 5*t = 3*x - 118. Is x prime?
False
Let j(y) = -18*y - 15. Let b be j(-6). Let n = 236 - b. Is n a composite number?
True
Is 3*-1 - (-440 - 6) a composite number?
False
Let q(d) = -d**3 - 1 + 3 + d + 5. Suppose 7*b = 4*b. Is q(b) a composite number?
False
Suppose l = -3*l + 16. Let t(s) = s**3 - 5*s**2 + 2*s - 3. Let p be t(l). Let x = p + 60. Is x a prime number?
False
Let v(d) be the first derivative of 28*d**3 + d**2/2 + 6. Is v(1) a composite number?
True
Is -17*(3 + 0 + -10) prime?
False
Let k = -88 + 147. Let c = 82 - k. Is c a composite number?
False
Let p be -4*3/(-4) - -6. Let n(b) = 11*b - 8. Is n(p) prime?
False
Let n = -1098 + 1933. Is n a composite number?
True
Let m be 6/(-24) + 31/(-4). Let r = m - -19. Is r composite?
False
Let w(x) be the third derivative of x**5/4 + x**4/12 + x**3/3 - x**2. Suppose 5*h + 4*q + 31 = 0, -q + 6*q + 14 = 2*h. Is w(h) prime?
True
Let p be (0 + 0)/(-1 + 2). Let a = p + 21. Is (-7)/a + (-158)/(-6) prime?
False
Suppose 3*n - 824 = -2*o, -4*o = 3*n + 446 - 1260. Is n composite?
True
Let h = 1664 + -811. Suppose 257 = -4*n + h. Is n prime?
True
Let u = 5 + -14. Let j be ((-42)/u)/((-2)/6). Is 4/j + (-919)/(-7) composite?
False
Let u = -2 + -6. Let l be (-2 - 1) + u/(-4). Is 2/l*(-86)/4 prime?
True
Let i(f) = f**2 + 2*f. Let m be (-8 - -11) + (-5 - 1). Let t be i(m). Suppose 3*d - 4*d = -t*j - 22, -2*d + 3*j = -32. Is d prime?
False
Suppose -3*u + 2*f + 81 = 0, 3*u + 4*f - 99 = -0*u. Suppose 3*m + 5*l - u = 0, -2*l + 7*l = -10. Is m a prime number?
True
Let z(a) = -a**3 - 3*a**2 + 5*a + 6. Let j be z(-4). Suppose -2*x - 4*i = -214, j*i - 302 = -5*x + 193. Is x composite?
False
Is (-64)/(-80)*(-190)/(-4) prime?
False
Let c be -3 + 6 - (-2 - -2). Suppose 25 = -c*h - 2. Is 2285/45 - 2/h prime?
False
Suppose 0 = 4*p + 3*w + 19, p - 3*w + 1 = -0*p. Is p/(-6)*(-894)/(-4) a composite number?
False
Is (-16)/(-12) + (-226)/(-6) a composite number?
True
Let j = 6 + -6. Is j + 5 + -2 - -34 a prime number?
True
Let q = -14 - -17. Suppose -q*y = -0*y - 111. Is y a composite number?
False
Let u(o) be the first derivative of -7*o**2/2 - 10*o - 2. Suppose 8 = 5*h + 53. Is u(h) composite?
False
Let m = 1 + -1. Suppose -4*b = -k - 509, m = -5*b + 4*b - 5*k + 122. Is b a composite number?
False
Let g = -113 - -336. Is g a composite number?
False
Suppose 3*f - 5*f = -4. Let a = 3 - f. Is 0 + 46/(1 + a) prime?
True
Suppose -12 = -3*s - 0*s. Suppose 3*o + 4*g - 112 - 541 = 0, -2*o + s*g = -442. Is o composite?
True
Let y be -1*((-1 - 1) + 2). Suppose t - z - 172 = 0, 178 = t - y*t + z. Suppose 4*w + w = t. Is w composite?
True
Is (4016/(-24))/((-2)/3) a composite number?
False
Let a(u) be the third derivative of -1/6*u**3 + u**2 + 0*u - 1/4*u**4 + 0. Is a(-4) a prime number?
True
Suppose 0*q + 12 = 2*q. Suppose q*o - 316 = 2*o. Is o a prime number?
True
Let l(p) = 99*p**2 + 13*p + 6. Let w(z) = 33*z**2 + 4*z + 2. Let b(d) = -2*l(d) + 7*w(d). Let r be b(-2). Let g = r - 92. Is g prime?
False
Suppose 2*l + 2*l - 1512 = -3*k, -l - 3 = 0. Suppose -3*v + k = v. Is v composite?
False
Suppose w + 389 = 3*v - 3*w, -2*v = 4*w - 246. Is v a composite number?
False
Let b(r) be the third derivative of -r**6/60 - r**5/20 - r**4/24 + r**3/6 - r**2. Is b(-3) a composite number?
False
Let x = -9 + 16. Let j = x + -5. Suppose -10 = -5*c, 