False
Let l be 1852/(-8) - (-3)/6. Let f = -164 - l. Is f a composite number?
False
Let f(o) = 17*o + 3. Let h be f(-5). Let u = 171 + h. Is u a prime number?
True
Suppose 4*f - 130 = 3*j - 9, -3*f - 2*j + 95 = 0. Is f composite?
False
Suppose 0 = -0*f - 2*f + 2114. Is f prime?
False
Let y = 762 + 995. Is y composite?
True
Let z = 1 + -3. Let t(j) = -j**3 + 4*j**2 + j + 4. Let q be t(4). Is (31/(-4))/(z/q) prime?
True
Let l(a) = 9*a - 5. Is l(8) a prime number?
True
Suppose 0 = 18*c - 24715 - 6083. Is c prime?
False
Let f(s) = 11*s - 4. Let v(z) = -z + 1. Let m(o) = -f(o) - 3*v(o). Is m(-6) composite?
True
Let v(b) = 5*b**2 + 7*b + 5. Is v(8) a composite number?
True
Is (11530/(-8))/(-5) + (-12)/(-16) composite?
True
Let f(k) = -3*k**2 - 7*k - 4. Let c be f(-8). Let a be 4/(-2) - (c + -6). Suppose 49 = -3*q - 2*o + a, 3*q + 5*o - 89 = 0. Is q a composite number?
True
Suppose -18 = -3*t - t + 2*u, 5*t - 3*u - 25 = 0. Suppose 0*k - 1032 = -4*k + 2*y, -t*y = 8. Suppose 4*s = k - 60. Is s a prime number?
False
Suppose -1077 = -2*d - 297. Suppose x + 4*p = 5*x - 288, 5*x + p = d. Is x a composite number?
True
Is -2 + -1 + -1 + 299 composite?
True
Let o(l) = 90*l - 7. Is o(3) a prime number?
True
Let y(c) = -13*c**3 - 8*c**2 - 8*c + 7. Is y(-4) prime?
True
Let s be (1 + 20/8)*2. Is 886/s + 15/35 a prime number?
True
Let h(a) = -19*a - 2. Suppose -5 + 1 = 2*j. Let g be h(j). Is 1/4 + 2547/g composite?
False
Suppose -5*i = -0*i - 400. Suppose -5*k = -i - 135. Is k a composite number?
False
Suppose 4*v = -2*y + 2*v + 524, -4*y = -3*v - 1069. Is y composite?
True
Suppose -607 = -h - 9*r + 4*r, 2*h = 3*r + 1162. Is h composite?
False
Let u(c) be the third derivative of -c**4/8 - 2*c**3 - c**2. Is u(-9) a prime number?
False
Let v(n) be the first derivative of n**3 - 2*n**2 - n - 3. Is v(-6) prime?
True
Let x be ((-3)/2)/(6/(-8)). Suppose -4*a = -x*a. Suppose a = -4*d + 47 + 37. Is d composite?
True
Let x be 133/1 - 2/(-2). Suppose -414 = 5*o - 3*i, 0 = -3*o + o + i - 165. Let c = o + x. Is c prime?
True
Let m(j) = -j**3 + 14*j**2 + 16*j - 21. Is m(14) a prime number?
False
Let z = 11 + -25. Let t = z + 45. Is t composite?
False
Let l(k) = k**2 + k. Let m(i) = i**2 + 12*i + 3. Let h(t) = -2*l(t) + m(t). Suppose j - 3*u = 5 - 0, -j + 2*u = -6. Is h(j) prime?
True
Let k be (-26)/(-6) + (-3)/9. Suppose -3*i + 8*i - 95 = 0. Is (k + 1)/(1/i) a prime number?
False
Let t = -264 - -429. Suppose 2*l + 3*l = t. Is l composite?
True
Suppose 5*k - 2*n - 1266 = 0, 1008 = 4*k - n - 3*n. Is k prime?
False
Let w(x) = -7*x + 3. Suppose 0 = 2*u + 5*g + 3, g - 4 = -3*g. Let m(z) = z**2 + 4*z - 4. Let j be m(u). Is w(j) composite?
False
Let r = -10 - -14. Suppose 2*j + 299 + 709 = 4*w, -4*w - r*j + 996 = 0. Is w composite?
False
Let b(m) = 7*m**2 + 6*m - 1. Let j be b(-5). Suppose 2*f + d + 0 = 39, -d - 41 = -2*f. Suppose 0 = -4*t + j - f. Is t composite?
False
Suppose 84 = -17*m + 21*m. Is m a prime number?
False
Let r be (-507)/5 + 2/5. Let s = r + 178. Is s a prime number?
False
Let k(n) = -10*n**2 + n. Let g be k(-1). Let c(m) = -6*m + 1. Is c(g) prime?
True
Suppose -o + 0 = -78. Let a(q) = -q**3 + 5*q**2 - 4*q + 2. Let u be a(4). Suppose p - o = -u*p. Is p a prime number?
False
Let b(c) = -4*c**3 - c**2 - 2*c + 3. Is b(-4) prime?
True
Let i(s) be the first derivative of -2*s**2 + 7*s - 1. Suppose 0 = 5*u - 3*d - 11 + 56, -2*u + 4*d - 32 = 0. Is i(u) prime?
True
Let o be (-126)/(-8) + (-1)/(-4). Suppose 5*x + 367 = -148. Let z = o - x. Is z prime?
False
Suppose 388 = 2*c - 2858. Is c a prime number?
False
Let r(g) = 45*g**2 + 6*g - 4. Is r(3) prime?
True
Suppose -9*m = -1851 + 240. Is m a composite number?
False
Let r = -18 - -11. Suppose 0 = -5*p + y + 105, -5*p - 3*y + 70 = -55. Let h = r + p. Is h a prime number?
False
Let p = -24 + 98. Suppose -3*y - p = -4*y. Let w = y + -37. Is w a composite number?
False
Suppose 1 = -2*l + 5. Suppose -2*n + 76 = l*n. Is n prime?
True
Suppose 0 = -2*n + 3 + 5. Suppose -4*s = -6*s - n. Is (0/(-1))/s - -4 composite?
True
Suppose 0 = -3*z + 5*z - 886. Is z composite?
False
Suppose 874 = 2*c + 4*z, -779 = -5*c - 2*z + 1446. Is c prime?
False
Suppose 2*x - 3*c = -8*c + 3704, 4*x - 4*c - 7380 = 0. Is x prime?
True
Let x(b) = b - 1. Let a(r) = -r**2 + 26*r + 6. Let n(g) = a(g) - 6*x(g). Is n(9) a composite number?
True
Let b(l) = l**2 - 4*l + 2. Let t be b(3). Is (t + 4)*37/3 prime?
True
Is (((-20)/8)/(-5))/(1/5758) a prime number?
True
Suppose -c - 4*s + 0*s + 14 = 0, 4*c - 3*s + 1 = 0. Suppose -c*a + 3*o = -a - 188, -5*a + 974 = 2*o. Is a prime?
False
Suppose -254 = 2*f - 4*f. Is f prime?
True
Let p(r) be the third derivative of -49*r**4/24 + r**2. Is p(-1) a prime number?
False
Let m(k) = 6*k - 5. Let w(a) = -a**2 - a - 1. Let c(p) = -m(p) - 2*w(p). Suppose -4*y + 5*i + 24 = 0, -2*y - 3*y + 30 = -2*i. Is c(y) a composite number?
True
Let x(f) = f**3 - 9*f**2 - 7*f + 6. Let k(p) = p**3 - 10*p**2 - 8*p + 7. Let c(a) = 2*k(a) - 3*x(a). Let u be c(7). Let d = u - 16. Is d a prime number?
False
Let w(l) = 18*l**3 - 3*l**2 + 2*l + 4. Is w(3) a composite number?
True
Suppose -2*z - z - 5*h = 32, z - 16 = 5*h. Let c(p) = 26*p + 5. Let m be c(z). Let w = -22 - m. Is w composite?
True
Suppose -2*p = -j + 158, -2*j - 2*p + 431 = 91. Is j a prime number?
False
Suppose 4*r + 1665 = 13*r. Is r a composite number?
True
Suppose 0*v + 4 = 2*v. Suppose 0 = 3*m - v*k - 603, m + 3*k - 215 = -k. Is m a composite number?
True
Suppose 1 - 2 = -p + 4*i, -5*p - 4*i = -5. Let r(u) = 4*u - 3*u + 2 - p. Is r(5) a composite number?
True
Let v = 111 - 34. Is v a prime number?
False
Is 8/4 + -5 - (-3 - 143) prime?
False
Let u(w) = 5*w**2 - 8*w - 5. Suppose -5*k + 23 = -7. Is u(k) a prime number?
True
Suppose -3*s = -8*s + 20. Let i be ((-8)/(-12))/(s/30). Suppose -i*o = -2*g - 181, 2*g - 52 = -o - 11. Is o composite?
False
Let s(p) = -9*p**3 - 5*p**2 + 12*p + 1. Is s(-8) a prime number?
False
Let m be 10*((-4)/(-5) - 0). Is (-609)/(-28) - (-2)/m prime?
False
Suppose 0 = 7*h - 17*h + 10940. Is h a composite number?
True
Suppose f + 188 = -117. Let g be 1/2 + f/2. Let o = -69 - g. Is o prime?
True
Suppose -3*b - 396 = -3*z, 2*b = 5*z - 367 - 278. Is z a prime number?
True
Let u = -78 + 145. Is u a composite number?
False
Suppose -3 + 5 = -2*o, 0 = 3*j - 3*o + 3. Is 2420/6 + j/6 prime?
False
Let n(r) = r**3 - 10*r**2 + 3*r - 4. Let x be n(8). Let m = 55 - x. Is m prime?
True
Suppose -3*j - j + 780 = 0. Let i be (-2)/(-6) + 154/42. Suppose -j = -i*h + h. Is h a composite number?
True
Let t(r) = -82*r - 1. Let h = 7 + -9. Is t(h) composite?
False
Let b(w) = w - 696. Let o be b(0). Is (-2)/4 + o/(-16) a prime number?
True
Is (21/63)/((-2)/(-4134)) a composite number?
True
Suppose 9 = -3*y + 6*y. Let l be y - (1 - -2) - -229. Let j = l - 138. Is j composite?
True
Let j(h) be the first derivative of -h**4/4 + 7*h**3/3 + 2*h**2 - h + 3. Let z be j(7). Is (-2)/((-6)/z*3) a composite number?
False
Suppose -3*a = -4*l - 1573, 0 = 4*a - 5*l - 418 - 1680. Let j = a + -46. Is j a prime number?
False
Let y be ((-113)/(-2))/((-7)/(-14)). Is y - (-3 + -2 + 3) composite?
True
Suppose 4*o + 4*z = -268, -3*o - 3*z = z + 201. Let j = 210 + o. Is j a composite number?
True
Suppose 0 = -5*s + 747 + 3788. Is s a prime number?
True
Let d(i) = -9*i - 2. Let x(f) = 5*f + 1. Let b(t) = 4*d(t) + 7*x(t). Let s be b(-2). Let o(y) = 144*y**3 - 1. Is o(s) composite?
True
Is (222/(-9))/((-4)/114) composite?
True
Suppose -4*h + 535 - 3 = 0. Is h composite?
True
Is 7804/36 - (-6)/27 composite?
True
Let n(m) be the first derivative of -m**7/840 + m**6/72 + 5*m**4/24 + m**3/3 - 1. Let a(p) be the third derivative of n(p). Is a(-4) a composite number?
False
Suppose 330 = 4*i - i. Let q be 2 - 1 - (-3 + 0). Suppose -q*n + i = n. Is n a composite number?
True
Let z(v) = v**2 - 9*v - 12. Let b be z(11). Let x = b + -7. Is x prime?
True
Let z(k) = 50*k**2 + 7*k + 5. Let r be z(-4). Suppose -5*i = 2*w - r, -2*w = -i + 65 + 88. Is i prime?
False
Let v(k) be the first derivative of -k**4/4 - 5*k**3/3 + 7*k**2/2 + 9*k - 1. Let t be v(-6). Suppose -s + 2*s = t. Is s prime?
True
Let r = 8 - 2. Suppose -h = h - r. Suppose -h*j - 78 = -l - 2*j, -4*l - 4*j + 352 = 0. Is l prime?
True
Let p = 5 + -5. Suppose p = -