 4*n + 0*n = 463, 0 = p - 3*n - a. Is p composite?
False
Let q be 5*((-14)/(-10) - 1). Let b be -2*(-3)/q*123. Suppose 2*u = -n + 250, 3*u = -0*u - 3*n + b. Is u a prime number?
True
Let a(s) be the second derivative of -s**5/20 + s**4/2 + s**3 - 2*s**2 - 3*s. Let n = 4 + 1. Is a(n) composite?
True
Suppose -2 = l - 0. Let j(z) = z**2 - 3 + 3 - 2*z**3 + 2*z + 3. Is j(l) a composite number?
False
Let x = 2 - -2. Suppose x*p - s = 1820 + 719, -3*p = 2*s - 1907. Is p composite?
True
Suppose q - 23 = -5. Suppose 2*n - q = 4*o, -3*n = -4*o - 21 + 2. Suppose 0 = m + 7 - 3, -j + n = 5*m. Is j a composite number?
True
Let c(x) = -118*x - 73. Is c(-8) composite?
True
Suppose -5*y = -5*x - 40, -2*x - 11 - 15 = 3*y. Let q = 220 + -145. Let o = x + q. Is o a composite number?
True
Suppose 36 = -z + 5*z. Let q be (-6)/27 - (-686)/z. Let d = q + -27. Is d a prime number?
False
Let s(q) = -q + 5. Let u be s(-5). Suppose 5*g - u*g = -235. Is g prime?
True
Let i(x) = 22*x**2 - 3*x - 2. Let r be i(-4). Let l = r + -235. Let d = l + -72. Is d a prime number?
False
Suppose 2*q - 3*p - 4526 = 0, -2*q + 0*p + 4554 = 4*p. Is q a prime number?
True
Let c(j) = -89*j - 4. Is c(-9) composite?
False
Suppose -8*m + 1129 = -3919. Is m composite?
False
Suppose -h = f + 2*f - 499, 0 = -3*h + 5*f + 1483. Suppose 4*l - 1508 = -h. Is l composite?
True
Let h(z) be the second derivative of -z**5/4 + z**4/12 + 2*z**3/3 + 3*z**2/2 - z. Is h(-2) a composite number?
True
Suppose -23 - 7 = -3*u. Suppose 12*k - u*k = 0. Suppose 2*s + 3*x - 59 = 0, -2*s + 2*x + k*x = -64. Is s composite?
False
Let d = -100 - -103. Let b(w) = -w**2 + 7*w - 7. Let g be b(5). Suppose 0 = -4*u - 0 + 12, -d*y - g*u = -366. Is y a composite number?
True
Suppose -53*w = -49*w - 44452. Is w a prime number?
True
Let j = 1116 + 97. Is j a composite number?
False
Suppose -4*x - x = -2795. Is x composite?
True
Let n be -9 + (4 - (3 - 1)). Let d(a) = 7*a**2 + 11*a. Let o(r) = r**2 + r. Let v(i) = d(i) - 6*o(i). Is v(n) a prime number?
False
Let t(y) = y**2 + y. Let j be t(1). Let k be (0 - -12)*j/6. Suppose -4*p + 8 = -0*p, -k*u = -2*p - 48. Is u a composite number?
False
Let l(h) = h**3 - 4*h**2 - 6*h + 2. Is l(6) a prime number?
False
Let f(z) be the second derivative of -15*z**3/2 - z**2 + z. Is f(-3) prime?
False
Is 5151/27 + (-4)/(-18) prime?
True
Let d(l) = 4*l**2 + 5*l - 5. Is d(4) composite?
False
Let q(n) = -7*n - 1. Let s be q(-1). Let x(i) = 17*i**2 - 5*i - 1. Is x(s) a composite number?
True
Suppose -s - 4*u + 22 = 0, 0*u + 1 = 3*s - u. Suppose 3*k + 321 = s*w, 2*w + 2*k + 819 = 7*w. Let m = w - 68. Is m a prime number?
True
Suppose -3*w + 8*w = 0. Suppose -2*r - 2 + w = 0. Is (r/2)/(4/(-392)) a prime number?
False
Is (-18 + (-4)/1)*(-127)/2 a composite number?
True
Suppose -w = -146 - 117. Is w a prime number?
True
Let o(f) = -f**3 + 1 - 5 - 7*f**2 - 6*f + f**2. Let x be o(-5). Is (-8 + 1)*(x - 2) a composite number?
False
Is 2124 + (1 + 4)/1 a composite number?
False
Let p(n) = n**3 + 6*n**2 - n + 1. Suppose 0 = 4*b + 1 + 3. Let k be (b + 0)/(4/24). Is p(k) a prime number?
True
Let r = -83 + 82. Let f(u) = -94*u**3 + 2*u**2 - u + 2. Let l(q) = q**3 - q**2 + q - 1. Let i(s) = f(s) + 2*l(s). Is i(r) a composite number?
True
Let f be (-10)/(-45) - (-68)/18. Suppose 203 = f*v - 173. Suppose -2*t + 4*t = v. Is t a prime number?
True
Suppose 2*u = u. Let j = 5 + u. Suppose 0 = j*n + 3*t - 1640, 23 = -4*t + 3. Is n composite?
False
Let s = 18 + 4. Is s prime?
False
Suppose 3*x + 16 = -2*z, -4*z + 9 = -x - z. Let d be 4/12 + 110/x. Is 124/6 + (-6)/d a prime number?
False
Let g be -1*(0 - 35 - 2). Let q = g + 155. Suppose -38 = -2*m + q. Is m a prime number?
False
Let v(o) = -o**2 - 18*o + 6. Let k be v(-14). Let w = -29 + k. Is w prime?
False
Suppose -16 = j + 3*j. Let f = j + 4. Suppose -2*l - 3*b + 50 = f, -5*l + b + 112 - 4 = 0. Is l composite?
True
Let q(m) = -15*m - 2. Let z be q(-4). Suppose -127 = -5*h + z. Is h prime?
True
Let k be -1 - (1 + 0)*1. Let l be (k - (-5 - 1)) + 1. Let y(m) = -m + 12. Is y(l) a composite number?
False
Let v(j) = -2 - 5*j + 2*j - 1 - 13*j. Is v(-7) a prime number?
True
Let r(t) = -t**3 + t - 1. Let z(i) = 7*i**2 - 5*i - 7. Let y(v) = 2*r(v) - z(v). Let n(h) = -3*h + 6. Let g be n(4). Is y(g) a prime number?
False
Let g be 1 - (2 - (-107)/(-1)). Let d = g - -57. Is d a prime number?
True
Let a(u) be the first derivative of u**3/3 + 2*u**2 + 8*u - 2. Is a(7) prime?
False
Is (-20)/(-15)*(-19)/(-4)*3 composite?
False
Let p(n) = n**3 + 14*n**2 + 16*n - 5. Is p(-12) prime?
False
Let q(x) be the first derivative of x**4/3 - x**2/2 + 2*x + 2. Let w(k) be the first derivative of q(k). Is w(-2) prime?
False
Let t be (-1)/(2/18 + 0). Let m(q) = -7*q**2 - 7*q + 21. Let o(x) = -3*x**2 - 4*x + 11. Let w(i) = 2*m(i) - 5*o(i). Is w(t) prime?
False
Let d(s) = -70*s + 1. Let i be (-1)/(-1 + (-3)/(-6)). Let o be (6/9)/(i/(-3)). Is d(o) prime?
True
Is (-2)/((-6)/987 - 0) composite?
True
Suppose 0 = -6*n + 134 + 760. Is n prime?
True
Let l(o) = -27*o - 1. Suppose 0*d - 2*d - 10 = -2*f, 5*d = 4*f - 28. Let t be d/(2/2) - -2. Is l(t) a composite number?
True
Suppose -631 = -4*z + 633. Suppose 0 = -2*v + z + 66. Is v composite?
False
Suppose -3*d = 2 + 4. Is ((-154)/(-4))/(d/(-4)) prime?
False
Let u(f) = 14*f + 13. Is u(5) prime?
True
Suppose 4*g - 8 = -0. Suppose -2*n + 7*n + 3*s = 40, -3*n = -g*s - 5. Suppose 0 = -n*l + 48 + 17. Is l composite?
False
Let y(t) = t**3 - 12*t**2 + 14*t + 4. Is y(11) a composite number?
False
Let p(x) = x - 11. Let m be p(5). Let l = m + 2. Is 66/l*(2 + -4) a prime number?
False
Is (-2)/11 - (-1 + 47572/(-44)) a composite number?
True
Let n(q) = 4*q**2 + 4*q - 9. Let h(i) = 5 - 1 - 3. Let u(l) = 6*h(l) + n(l). Is u(4) a composite number?
True
Let p = 3 - 4. Suppose 10 = m + 4*m. Is (m - 1)*-127*p prime?
True
Suppose 0 = -5*o + 3*j - 16 - 9, -37 = 4*o + j. Let f(m) = -m**2 + 15*m - 9. Let z be f(7). Is (-2*z)/(o/12) prime?
False
Let i(v) = 53*v**2. Let y be i(-1). Suppose -3*x + y = -244. Suppose 3*o - 2*t - x = 0, -o + 2*t + 46 = -3*t. Is o composite?
False
Let r be 2/3 + 110/15. Suppose 0 = 2*q - 4*g + 2 + r, -3*g + 18 = 2*q. Suppose 5 = q*c - 28. Is c composite?
False
Suppose 3*l - 128 = -17. Is l composite?
False
Let l be 6/(-30) + 21/5. Suppose l*f - f = 0. Let s(y) = -y**3 + y**2 - y + 79. Is s(f) a composite number?
False
Let o(w) = -8*w**2 - 5*w + 6. Let i(l) = 23*l**2 + 14*l - 20. Let d(r) = -1. Let j(m) = -2*d(m) + i(m). Let z(y) = 6*j(y) + 17*o(y). Is z(5) a composite number?
True
Is (25/10 - 3)*-1262 composite?
False
Suppose 4*r + 310 = -342. Let u = r - -242. Is u a composite number?
False
Is (-383)/((-11)/5 + 2) composite?
True
Let g(b) = -3*b + 2*b - 4*b. Is g(-3) composite?
True
Is 27/(-15)*(-25)/15 prime?
True
Suppose 2*b - o = o, b = -3*o + 8. Is b/13 - (-15477)/39 composite?
False
Let q = -182 + 655. Suppose 461 = 2*z - q. Is z a prime number?
True
Let y(n) = 19*n - 2. Let q(p) = -p**3 - 6*p**2 - 7*p - 7. Let w be q(-5). Is y(w) a composite number?
True
Let o(b) = -b + 8. Let d be o(9). Let r(z) = -127*z. Is r(d) a prime number?
True
Is 1988/6 - -3*(-1)/9 composite?
False
Let y(h) = 9*h**3 + 5*h**2 + 5. Is y(6) a composite number?
False
Let z = -141 - -434. Is z a composite number?
False
Suppose 6*t = u + 3*t - 11, 22 = 5*u - 4*t. Let x(y) = -u*y - y - 3*y + 7. Is x(-5) a prime number?
True
Let j(z) = 33 + 0*z + z**2 + 0*z - z. Is j(0) composite?
True
Suppose 0*i + 5*i - 2*z - 2491 = 0, 5*i + 3*z = 2501. Is i prime?
True
Let u(r) = 2*r**2 - 5*r + 5. Is u(-11) prime?
False
Suppose -381 = -f - 2*l, 0 = f - 5*l + 6*l - 386. Is f a prime number?
False
Let y be 2/(-4) - 31/(-2). Suppose -l + y = -76. Is l a composite number?
True
Suppose 3*b - w - 810 = 0, 4*b + 0*b - 1075 = 3*w. Is b composite?
False
Let s(j) = 11*j**2 + 9*j - 1. Is s(6) composite?
False
Let u(x) = x**2 + 3*x + 2. Suppose -4*t + 16 = -h - 0*t, -4*t = 3*h. Let g be u(h). Suppose g = -3*f + 72. Is f a composite number?
True
Let s(d) = d**3 - d. Let t be s(1). Suppose 3*a - 112 - 326 = t. Suppose 100 + a = 2*n - 2*p, -p = 2*n - 234. Is n prime?
False
Is ((-4)/12 + -2)/((-1)/3579) composite?
True
Let v = -1361 - -4848. Is v a prime number?
False
Is (6/(-4))/((-27)/35622) composite?
False