(c) be the first derivative of o(c). Is l(7) a prime number?
True
Let j be -1 + 0 - 1 - 6. Let x(i) = i**3 + 10*i**2 + 12*i + 5. Is x(j) prime?
True
Suppose 0 = 3*d - 3*p - 3504, -2*p = -d - 6*p + 1183. Is d composite?
False
Suppose 10 = 3*h + 2*h - 5*m, 0 = 3*m + 3. Is h/(4977/(-1245) - -4) composite?
True
Let p be (-4)/10 + 228/(-30). Let f be (-39)/4 + 2/p. Is (62/f)/((-1)/5) a prime number?
True
Let c = 9472 + -4733. Is c a prime number?
False
Let g = 7 + -4. Is 1/((-3)/(-1179)*g) prime?
True
Let w(c) = -c**2 - 8*c + 4. Let a be w(-8). Suppose -x = -a*x. Suppose -4*t - 617 = -3*i, -4*i + 5*t + 535 + 289 = x. Is i a prime number?
True
Let n be (2/(-5))/(2/10). Let g be n + -14*9/6. Is g*((1 - -1) + -4) prime?
False
Let m(o) = -o**2 + 4*o - 2. Let w be m(2). Suppose -5*g - 3*n + 258 = 0, w*g - 2*n - 151 = -51. Suppose 5*s - g = -f + 2*s, -2*f = -5*s - 124. Is f composite?
True
Let h be 5 - (0 - 3 - -4). Suppose -3*a + 9 = 3*r, -6*r + 3*r + 13 = h*a. Suppose -3*f + a*w = -259, -f + 0*f + 4*w = -81. Is f a prime number?
True
Let t(j) = -25*j + 1. Is t(-10) a prime number?
True
Suppose 13 + 9 = -y. Let o = 33 - y. Is o composite?
True
Let s(m) = -m + 3797. Is s(0) composite?
False
Let m(i) = i**2 - 5*i + 3. Let n be m(5). Suppose -4*r + n = -1. Is 3 + -2 + 2/r a prime number?
True
Suppose 4*p - r - 4 = p, 0 = -2*p + 4*r + 6. Suppose -2*n + 3 + p = 0. Suppose -o - 85 = -2*o - 2*s, 2 = n*s. Is o composite?
False
Let h(d) = 27*d**3 + d - 1. Let p be h(1). Let r be (p/(-12))/(6/(-16)). Suppose -5*f + 310 = 5*a - 0*f, -2*f = r. Is a a composite number?
True
Suppose -3*m + 6 = 3*x, 5*m + 0*x = -2*x + 10. Suppose 2*d + 2*g - 413 = -g, 4*g = -m*d + 410. Is d composite?
False
Let c(p) = -p**3 - 2*p**2 + 3*p + 2. Let w be c(-3). Suppose -w*x - 3*x = 0. Suppose x = -r + 32 + 21. Is r a prime number?
True
Let v be -5 + 8 + 0/2. Is (2/2)/(v/201) prime?
True
Let p be ((-36)/5)/(2/(-10)). Let h be (-1)/4 - p/(-16). Suppose h = 3*c - 31. Is c prime?
True
Suppose 2*i = 11 - 1, p = -5*i + 29. Let z(n) = -n**3 - 8*n**2 - 8*n - 5. Let x be z(-7). Suppose u - 2*c - 137 = 0, 3*c = x*c + p. Is u composite?
True
Let x(n) = 6*n**2 + 1. Let p be x(-1). Let r = p + -5. Let h(a) = 4*a**3 + 2*a - 1. Is h(r) composite?
True
Let u be (-3)/9 - (-1)/3. Let s be u + 37/(-1)*2. Is s*(5/2)/(-5) prime?
True
Let g(o) = -o**3 - 6*o**2 - o - 3. Let m be (-2 - -5*2) + 1. Let a(s) = -3*s**3 - 13*s**2 - 3*s - 6. Let z(v) = m*g(v) - 4*a(v). Is z(2) a composite number?
False
Is -2 + (-6 - -4) + 41 prime?
True
Suppose 0 = 2*a - 5*a - 3. Let k(z) = z + 1. Let t(n) = -35. Let u(w) = -35*k(w) - t(w). Is u(a) a composite number?
True
Suppose 0 = -4*a + 5*a - 82. Is a prime?
False
Let h = 2226 - 1537. Is h composite?
True
Let j(y) = -y**3 - 10*y**2 - y + 7. Is j(-11) a prime number?
True
Is 5 - 3/(9/(-2688)) a composite number?
True
Suppose -4*v = 2*k - 14, -5*k + 0*v + 4*v = -35. Let s(b) be the third derivative of -b**5/60 + 7*b**4/24 + b**3/2 + b**2. Is s(k) a prime number?
True
Suppose -l = 3*h - 9533, -2*l + 4*h - 10214 + 29260 = 0. Is l prime?
False
Let l = -5 + 10. Let x be l/((-10)/(-56)) - 1. Suppose -x = 4*f - 83. Is f prime?
False
Suppose 2*f - 2 = 0, v = 4*v - 5*f + 200. Let k = v - -96. Is k a prime number?
True
Let h(p) = -11*p - 5. Let k(c) = -7*c**3 - 2*c - 1. Let x be k(-1). Let j be h(x). Let y = -40 - j. Is y a prime number?
True
Let j = -3231 + 4702. Is j prime?
True
Let v(l) = 0*l - 1 + 0 + 4*l + 3*l. Is v(2) composite?
False
Is (12/8)/((-3)/(-662)) a composite number?
False
Let u = -66 - -221. Suppose -5*x - 5*q = -u, 0 = 4*x + 2*q - q - 130. Is x composite?
True
Let b(x) = -102*x**3 + 2*x**2 + 3*x + 2. Is b(-1) composite?
False
Suppose -7*x = -2*x + 735. Is x/14*(-314)/3 composite?
True
Is (-7 - -8) + (1 - -1731) a prime number?
True
Let i(x) be the first derivative of 3*x**2/2 - 2*x + 6. Is i(7) prime?
True
Let s(i) = 23*i**2 - 13*i - 5. Let t(m) = 15*m**2 - 9*m - 3. Let q(l) = -5*s(l) + 8*t(l). Is q(-5) prime?
False
Is (-26 + 15)/((-2)/4) a composite number?
True
Let d(c) = -c**2 + 98. Let h be d(0). Suppose -2*j + h = 22. Is j composite?
True
Suppose -5*r + 16 = -3*q, -4*q - 4*r - 6 = -38. Suppose 0 = q*c - 15. Suppose c*o + 133 = 318. Is o a prime number?
True
Suppose 581 = 3*l - 85. Let q = l - 125. Is q a composite number?
False
Let q(b) = 4*b + 7 - 5 - 214*b - 1. Is q(-1) a composite number?
False
Suppose 2*k = l + 162 + 154, -316 = -2*k + 2*l. Is k prime?
False
Suppose 4*i = -5*a - 40, a - i + 0 - 1 = 0. Is (-1530)/(-50) - a/10 composite?
False
Let r = 3 - 8. Let i = 2 + r. Is i/2*148/(-6) a composite number?
False
Let m be (1 - (-114)/4)*-2. Let x = m + 17. Is x/(-10) - 4/20 prime?
False
Suppose -p - 3 = -5. Suppose -p*g = -1285 + 159. Is g a composite number?
False
Let h be 74 + -2 + (0 - 2). Let v = -39 + h. Is v composite?
False
Suppose -t = -5*w - 12, -t + 0 = 3. Let x(f) = f**3 + 4*f**2 - 1. Let v be x(w). Is ((-100)/v)/((-1)/2) a prime number?
False
Let t(f) = -4 + 2*f + 2 - 3*f. Let g be t(-2). Suppose 4*w + g*w = 196. Is w a composite number?
True
Suppose q + 5*a + 5 = 0, 3*q + a - 55 = -0. Suppose -p - 4*j = -18, 4*p + 4*j = 16 + q. Is p composite?
True
Suppose -4*v + 26 - 2 = 0. Let c be (-452)/(-14) - v/21. Suppose 0*r - r = 2*u - 11, u = 2*r - c. Is r a composite number?
True
Let u be 0*(-2 + (1 - 0)). Let t(k) = -k**2 + 179. Is t(u) composite?
False
Let d = 22 + -18. Is (20/(-6))/(d/(-318)) composite?
True
Let z(v) = -9*v - v - 16*v + 3. Let f(q) = -q**3 - 8*q**2 + 2*q + 11. Let k be f(-8). Is z(k) composite?
True
Let c(t) = t**3 + 3*t**2 - 4*t - 5. Is c(4) a prime number?
False
Suppose 2*s = -4*a - 84, a - 42 = 3*a + 4*s. Let v = a - -41. Suppose -v = -x - x. Is x prime?
False
Let j = 126 - 83. Is j a prime number?
True
Let z = 0 + 2. Suppose z*v - 4*o = -14, -4 = v - 4*o + 7. Is (2/v)/(4/(-402)) a prime number?
True
Let c = -243 + 796. Is c prime?
False
Let q = -1 + 4. Let d be ((-120)/9 + -1)*q. Let b = d - -62. Is b composite?
False
Let o = 247 + -162. Is o a prime number?
False
Suppose 500 = -3*l + 7*l. Suppose -3*c + l = -2*q, -24 = 2*c - 4*q - 102. Is c a prime number?
True
Let i(y) = 2*y**2 - 7*y + 1. Let d be i(-6). Suppose -2*f + d = -f. Is f prime?
False
Suppose -20 - 45 = -d. Is -2 + 2 - d/(-5) a composite number?
False
Let d(l) = 44*l**2 - l + 7. Is d(-6) a composite number?
False
Let l(t) = -t**3 - 8*t**2 - 8*t - 7. Let o be l(-7). Suppose 5*d + 214 = 5*i + 54, 3*i - d - 106 = o. Is i composite?
False
Suppose -4*k = -144 - 124. Is k composite?
False
Suppose 2*l + 158 = -w, 3*w - 1 = -7. Let y be (l/(-8))/((-2)/(-40)). Suppose 0*q - 3*q + y = 0. Is q prime?
False
Suppose 2*k + 345 = 7*k. Is k prime?
False
Is 982*2*4/16 a prime number?
True
Let b = -8 - -12. Suppose b*l = 306 + 330. Is l prime?
False
Suppose -5*n = 233 - 3168. Is n a prime number?
True
Suppose 8*a = 3*a + 2345. Is a a composite number?
True
Suppose -r = r - 1774. Is r composite?
False
Suppose 39 = j - 2*d, 4*d - 96 = -3*j - j. Suppose 1 - j = -2*w. Is w prime?
False
Let h be (3/2 - 0)*2. Suppose 18 = -h*k + 285. Is k prime?
True
Let c(m) = 138*m**2 + 2*m - 1. Is c(1) a composite number?
False
Let r = 5 + -3. Suppose 3*c + 4*x - 92 = c, -5*x = 3*c - 136. Suppose -c = -r*b - b. Is b a composite number?
True
Let l(i) = 20*i**2 + 4*i + 2. Let p be (-19)/3 - (-8)/(-12). Let w = p - -5. Is l(w) composite?
True
Suppose 4*w - 2*i + 262 = 0, -5*w - 2*i + 5*i - 329 = 0. Let c = w - -161. Is c a composite number?
False
Suppose -c + 32 = -11. Is c composite?
False
Let v(u) = u**2 - 9*u - 11. Let t be v(10). Let r(y) = -2*y**2 + y + 1. Let n be r(t). Is 21 - n/(1 - -1) a prime number?
False
Let k = -1 - -5. Suppose 0 = -0*c + 5*c - 30. Suppose -c*s + k*s = -934. Is s a prime number?
True
Suppose -r = -5*r. Let h = 2 + r. Is h - 2 - (-194)/2 composite?
False
Is (1 + 2)/(3/19) prime?
True
Suppose 3*f = -4*o + 171 + 207, -3*o + 511 = 4*f. Suppose x + f = 2*c - 173, 0 = -c + 4*x + 169. Is c prime?
True
Let j(i) be the second derivative of 2*i**4/3 + i**3/2 - 3*i**2 - 3*i. Is j(4) composite?
True
Let o(z) = -z**3 - 4*z**2 + 6. Let u be o(-5). Let g(m) = 3 + 5*m - 21*m - u*m. Is g(-4) a prime number?
True
Suppose -9*z + 14*z - 3805 = 0. Is z composite?
False
Suppose 0 = -5*d - 3*j - 16