e 3*l + 2*h = -8, 0 = -l - 5*h - 5 - 2. Is 1*l*(-45)/6 a prime number?
False
Let q(p) = 5*p + 7. Let w(b) = -b - 1. Let m(i) = q(i) + 6*w(i). Let r be m(-11). Suppose r = -3*l + 33. Is l a prime number?
True
Let q be -2 + 0 + 1 + 75. Suppose 0 = -2*k + 5 + 3. Suppose 2*s + k*a - q = -a, 5*a + 111 = 3*s. Is s prime?
True
Suppose -b + 10 = 4*b. Suppose -b*k + 6 + 24 = 0. Is k a prime number?
False
Let f(i) = -69*i + 4. Let o(j) = -2*j - 3. Let z be o(0). Is f(z) a composite number?
False
Let m = 0 - -334. Is m composite?
True
Let g = -1559 - -3954. Is g composite?
True
Let r be 1120/6*24/5. Let y = r - 605. Is y composite?
True
Let w = 895 - 450. Is w composite?
True
Let w = 1058 + -579. Is w a prime number?
True
Let c(w) = 12*w**2 - 1. Let r be c(-1). Let q(u) = -u**3 - 9*u**2 + u + 13. Let v be q(-9). Let j = r - v. Is j prime?
True
Suppose -15 - 1 = 4*p. Let m(x) = -7*x + 5. Is m(p) composite?
True
Suppose -2*q - 498 = -4*k - 4*q, 4*q + 655 = 5*k. Is k composite?
False
Suppose -2*q = 5*l - 0*q - 21, 0 = 3*q - 9. Let z(j) = j**2 - 4*j + l*j + 11*j**2. Is z(1) a prime number?
True
Let f be 6*1/2 - 0. Suppose 0 = -f*z + 5*v + 1372, 4*v + 1517 = 4*z - 299. Is z composite?
False
Let n(p) = -p**3 + 14*p**2 - p + 17. Suppose -2 - 12 = -a. Let o be n(a). Suppose 2*d = -0*d - 2*h + 272, 0 = -h - o. Is d a composite number?
False
Let z(d) = 3*d**3 - 7*d**2 + d + 4. Let x(b) = 3*b**3 - 7*b**2 + 2*b + 3. Let m(v) = 3*x(v) - 2*z(v). Is m(4) a prime number?
True
Suppose 0 = 4*h - 3 - 29. Is 159/(-6)*h/(-4) a composite number?
False
Suppose -3*r + 1353 = 2*u, 4*u + 603 + 299 = 2*r. Is r a prime number?
False
Let i(h) = -h - 1. Let a be i(8). Let g be (-1)/(a/4 + 2). Suppose -158 = g*m - 6*m. Is m a prime number?
True
Let j(v) = -v**2 - 6*v + 9. Let u be j(-7). Suppose -5*p + u*b + 2695 = 0, 5*b - 211 - 355 = -p. Is p composite?
False
Let y(b) = 7*b**2 + 7*b + 15. Is y(-9) a prime number?
False
Let z = 72 - 6. Let i = z + 29. Is i prime?
False
Let d(g) = g**3 - 6*g**2 + 4. Let i be d(6). Suppose 6*m = i*m + 26. Is m a composite number?
False
Suppose -9 - 3 = -2*m - y, 0 = 4*m - 5*y - 10. Suppose -m*c + 328 = -22. Suppose 4*h + 40 = 4*s, 0 = s + 2*s + 5*h - c. Is s a prime number?
False
Suppose 3*c = -c - a + 73, -70 = -5*c + 3*a. Suppose 4*x + 0*x = 2*n - 6, -3*n = -4*x - c. Is n prime?
True
Let u(c) = 41*c + 3. Is u(10) a composite number?
True
Let u(f) = -f - 6. Let j be u(-7). Let k(s) = 5*s - s + 2*s**2 + j - 32*s**3 - 2*s. Is k(-1) prime?
False
Suppose s = -4*g + 331, -s - 164 = -2*g - 3*s. Is g a composite number?
False
Let w(i) = -28*i - 2. Is w(-10) prime?
False
Suppose g + 2*g - 771 = 0. Is g composite?
False
Suppose -4*g - 297 = 103. Let d = 179 + g. Is d composite?
False
Let t(s) = -1 + 2 - 2 + 168*s**2 - 3*s + 2*s. Let z be t(-1). Suppose 0 = -r + 3*r - 5*q - 78, -q + z = 5*r. Is r a composite number?
True
Let f(c) = -5*c**2 + 2*c + 4. Let j be f(3). Let v = j + -11. Let p = 7 - v. Is p a prime number?
True
Suppose -4*w = 4*h, 4*w + w - 18 = 4*h. Suppose 5*d = w*d - 5*n + 682, -5*n = -4*d + 851. Is d prime?
False
Is (-1)/4 - 9723/(-28) composite?
False
Let b(c) = c**3 + 23*c**2 - 8*c - 13. Is b(-20) a composite number?
True
Let o(g) = -2*g**3 + g**2. Let p = 7 + -3. Suppose 0 = -4*l - p. Is o(l) composite?
False
Let g(n) = 19*n**2 + 3. Is g(-4) a composite number?
False
Let b(t) = 235*t - 12. Is b(5) a composite number?
False
Suppose 0 = h - 2*h - 3*t + 6, 4 = -5*h + 2*t. Is h - (34 - -3)*-3 a prime number?
False
Let w(f) = -f + 10. Let x be w(5). Suppose 4*c - 7*s - 51 = -2*s, -x*c = 2*s - 39. Suppose 2*u + o = 34, 3*o - 35 = -2*u - c. Is u composite?
False
Let n = -55 - -102. Is n a composite number?
False
Let s = 0 - -1. Suppose 0 = -2*u - 9 + s, 3*q + 5*u - 127 = 0. Suppose -22 = -f + o - 2*o, 2*f - 3*o - q = 0. Is f prime?
True
Suppose -5*f + 0*f + 10 = 0. Let d(b) be the third derivative of 7*b**4/24 - b**2. Is d(f) composite?
True
Suppose 2*d - 4 = -8. Is 6*1/d + 46 a composite number?
False
Let w = -4 - -7. Is -2 + w*142/6 prime?
False
Suppose -2*q + 42 = -4*f, -17 = -2*f + 2*q - 43. Is (-1502)/(-6) + f/(-12) a prime number?
True
Let v = -10 - 3. Is 12/30 - v/5 prime?
True
Let w(c) = c - 1. Let q be w(3). Suppose 22 = 3*p - 2*a, 2*p + 0*p = q*a + 18. Suppose -p*j = 57 - 205. Is j a composite number?
False
Suppose 4*n - 132 = 2*n + 5*o, o - 2 = 0. Is n prime?
True
Suppose 5*f + 282 = n - 0*f, -3*f = -2*n + 529. Is n a composite number?
False
Let i = 10 - 8. Suppose i*r - 381 = -r. Is r composite?
False
Let m(l) = 3*l**3 + 17*l**2 - 27*l - 22. Let n(j) = j**3 + 6*j**2 - 9*j - 7. Let h(d) = -2*m(d) + 7*n(d). Is h(-8) a prime number?
True
Suppose 0 = -2*n + 4*n + 10, 0 = -z - 2*n + 525. Is z prime?
False
Let p(h) = -34*h**3 - h**2 + h + 21. Is p(-4) a prime number?
False
Let t = 641 + -348. Let r = t - 56. Is r composite?
True
Let m = -25 - -45. Is (m/(-12))/((-2)/78) a composite number?
True
Let i be (-5055)/13 + 2/(-13). Let j = 720 + i. Is j a composite number?
False
Suppose 3*w - 6 = -3*k, 3*k = w + 2*w + 18. Suppose 5*a + k*f + 4 = -27, -2*f - 11 = a. Let q(y) = -21*y + 4. Is q(a) composite?
False
Suppose -2*s - 2*s - 1688 = 0. Is (-1)/(-2)*s/(-1) composite?
False
Suppose 0 = 3*p - 93 - 129. Suppose 6*z - 4*z = p. Is z composite?
False
Let w = -36 - -552. Let d = w - 317. Is d composite?
False
Suppose 5*n - 3 = 17. Suppose -3*j + n*j - 53 = 0. Is j a prime number?
True
Suppose -5*o + 2*o + 6 = f, -3*o - 18 = -3*f. Suppose -5 = p - f*p. Is ((-11)/(-4))/(p/4) a prime number?
True
Is (4 - -13) + (6 - 2) a prime number?
False
Is (0 + 25788 - -2)/2 a prime number?
False
Let z(u) = 9 + 4*u + u**2 + u + 0*u**2. Is z(-7) prime?
True
Suppose 7*t = -3312 + 15863. Is t a composite number?
True
Let t(m) be the third derivative of -m**4/8 - m**3/3 - 2*m**2. Is t(-4) a composite number?
True
Let l = 3070 + -1997. Is l composite?
True
Suppose 398 = 5*z - 4*d, 5*d - 12 = d. Suppose -2*q + 305 = o - z, -o = -4*q + 759. Is q a composite number?
False
Let u be 10/(-6) - (-11)/(-33). Let t(d) = 35*d**2 - d + 1. Is t(u) a composite number?
True
Suppose -80 = q + q. Let p(v) = 65*v - 3. Let w be p(2). Let n = w + q. Is n composite?
True
Let f = 3 - -2. Suppose -v - 3 = 0, f*x - v = -2*v + 112. Is x a composite number?
False
Suppose 3*f - 13 = -4. Suppose 5*h - f*j = -5*j + 7105, -h + 1428 = -j. Is h a prime number?
True
Let p(q) = q**2 - 8*q + 4. Let g be p(8). Suppose -g*c = -125 - 335. Is c prime?
False
Suppose 22 = 2*l - 4*u, 0*u + 5*u + 15 = 0. Suppose 0*z - 4*z = 2*o - 12, -3*z - l*o = -16. Is (2/3)/(z/75) a prime number?
False
Let a(n) = -n**2 - 6*n + 1. Let j be a(-5). Suppose -8*u + j*u = -170. Is u a prime number?
False
Let g = 55 - -27. Suppose 5*q = -0*q + 20. Suppose g = -q*b + 230. Is b a prime number?
True
Suppose -3*g - 4*p + p + 15 = 0, -5*p + 5 = g. Suppose -550 = -3*b - g*m, -926 = 3*b - 8*b + m. Is b a composite number?
True
Let a(u) = u**3 + 23*u**2 - 31*u - 1. Is a(-22) a prime number?
False
Let r(t) be the second derivative of t**4/6 + t**3/6 - 3*t**2/2 + 6*t. Is r(4) a prime number?
False
Let j(x) = -9*x - 1. Let q(p) = 73*p + 4. Let d(b) = -49*b - 3. Let l(o) = 8*d(o) + 5*q(o). Let c(w) = -7*j(w) + 2*l(w). Is c(6) a prime number?
True
Suppose 3*q + 0 - 3 = 3*b, 2*b - 26 = -5*q. Suppose -3*h - 12 - 12 = -f, 0 = 4*f + q*h - 176. Is f a prime number?
False
Let o be ((-16)/12)/(2/(-3)). Let l be (3/6)/(o/12). Is (-2 + l)*3 + 44 prime?
True
Suppose 3*m - 15 = -2*m. Suppose -266 = -4*q + 2*k, -m*q + 339 = 2*q + 4*k. Is q a composite number?
False
Let g be (0 - (-4 - -3))*3. Suppose 3*v - 243 = -g*a, a - 2*v + 36 = 111. Is a a prime number?
True
Let o = -3 - -5. Suppose -5*w + 206 = o*g - 16, 4*w - 196 = 3*g. Is w composite?
True
Let d(n) = 2*n - 3 + 1 + 3 + 34*n**2. Is d(-1) a composite number?
True
Let h be -1*(3 - 8) + 3. Let z = h + -5. Is z prime?
True
Let o = 3162 - -2749. Is o a prime number?
False
Is 2*7/14 - 786/(-2) a prime number?
False
Suppose 3*x = 207 + 129. Is (-10)/30 + x/3 a prime number?
True
Let j = -20 + 42. Suppose j = -4*z + 182. Suppose -4*i = 3*l - i - 36, -z = -4*l + 4*i. Is l a composite number?
False
Let z(i) = -4*i**3 + 9*i**2 + 6*i + 4. Let y(f) = 3*f**3 - 8*f**2 - 7*f - 3. Let d(s) = 3*y(s) + 2*z(s). Suppose