 a composite number?
False
Let n(t) = -20*t + 11. Let g be n(-8). Let x = -60 + g. Is x a composite number?
True
Let b(c) = 10*c - 4. Suppose 0 = 4*x + 3*n - 28, -21 = -3*x - 0*n - 3*n. Let i be b(x). Suppose 0*r - i = -2*r. Is r a prime number?
False
Let i be (12/(-8))/(1/(-2)). Suppose i*t - 163 = -52. Is t prime?
True
Suppose 0 = -3*l - 5*i + 2 - 13, -3*i - 9 = l. Suppose -5*w = -2*g + 3*g - 42, -l*w = -g + 34. Is g composite?
False
Let o(y) = 95*y - 18. Is o(5) a prime number?
True
Let c = -648 - -1027. Is c prime?
True
Suppose -90 = -5*p + 3*p - 4*q, -2*q - 170 = -4*p. Let r be 2/9 + p/9. Suppose -r*d = 5*i - 120, 3*i - 35 + 9 = -d. Is d prime?
True
Suppose a - 6*c + 5*c = 589, c + 2 = 0. Is a prime?
True
Let l(s) = -6*s**3 - s**2 + s + 1. Let m be l(-1). Suppose -5*a + o + 296 = 0, 62 = 3*a + m*o - 110. Is a a composite number?
False
Is 2*5/20*286 prime?
False
Let o = -11 - 4. Let w be (o*1)/(21/(-910)). Suppose 0 = -4*h + w - 142. Is h composite?
False
Let p(y) = -28*y - 7 + 1 - 9. Is p(-10) composite?
True
Is 10733/4 - (-2)/(-8) composite?
False
Suppose k = -k + 442. Is k composite?
True
Suppose -a - 4*p - 8 = 10, 0 = -2*a - 5*p - 24. Let z = -2 + a. Let s(j) = j**3 + 9*j**2 + 6*j + 6. Is s(z) prime?
False
Let a = -5 - 1. Let f(u) = -4*u**3 - 10*u**2 + 8*u - 2. Let p(i) = -11*i**3 - 29*i**2 + 24*i - 5. Let c(o) = 8*f(o) - 3*p(o). Is c(a) composite?
False
Is 271*(3 + -2 + 4) prime?
False
Let a(w) = -384*w + 11. Is a(-5) prime?
True
Suppose -5*q = 4*h - 15381, 0 = -2*q - 5*h + 4593 + 1556. Is q a composite number?
True
Let m be ((-8)/(-6))/((-4)/306). Let u = m + 160. Let s = -27 + u. Is s prime?
True
Suppose 0*v = 5*v - 655. Is v a prime number?
True
Let x(k) = k**3 + 5*k**2 - 7*k - 4. Let v be x(-6). Let i = -1 + 1. Suppose -26 = -v*s - i*s. Is s a prime number?
True
Let i(k) = 2*k**3 - 2*k**2 - 2*k + 3. Is i(3) prime?
False
Let k = -157 - -288. Is k prime?
True
Let v(t) = -50*t - 1. Let s be v(-4). Suppose 3*p - s = 68. Is p prime?
True
Is (6 - 2) + 303*1 composite?
False
Let u be -4*(1 + (-21)/12). Suppose 5*g + 2*h = -4, -g - u*h - 5 = 1. Suppose 7*x = -4*c + 3*x + 272, g = 2*c - 5*x - 129. Is c composite?
False
Let v(m) = 37*m. Is v(2) composite?
True
Let i(x) = 21*x**2 - 4. Let y = 1 - -3. Suppose -3*d + 4*f = -f + y, 5 = -2*d + f. Is i(d) prime?
False
Suppose -3*v = r - 0*r - 2734, 0 = v + 2*r - 903. Is v prime?
False
Let k(h) = -7*h**3 + 6*h**2 + 5*h - 7. Is k(-5) composite?
True
Let l(p) = 274*p**3 + 17*p**2 - 3*p - 20. Let x(r) = 91*r**3 + 6*r**2 - r - 7. Let c(d) = -6*l(d) + 17*x(d). Is c(-1) a composite number?
False
Let h be (3 - 1) + (-3 - 35). Is (-4)/18 + (-4148)/h a composite number?
True
Let m(o) be the first derivative of -o**4/4 - 4*o**3 - 13*o**2/2 - 9*o + 2. Is m(-11) prime?
True
Let z be 4/10 + (-48)/(-5). Suppose -3*v - z - 22 = 4*o, -4*v - 49 = -o. Is (v/14)/(2/(-14)) prime?
False
Let x(r) = -r**2 - 9*r + 7. Let l be x(-9). Suppose 2*t + 5*i = 41, -3*t - i = -15 - 40. Let z = t + l. Is z prime?
False
Suppose -5*i = -q + 114 + 293, -5*q = -i - 1939. Is q - (-1 - (1 - 0)) a prime number?
True
Is (2/(-6))/((-7)/1155) a prime number?
False
Let i(g) = 3*g**2 - 12*g - 4. Is i(13) a prime number?
True
Is ((-4)/3 + 1)*(-4 + -863) prime?
False
Let a = -4591 - -7842. Is a a prime number?
True
Suppose -6*o + 3*o = -663. Is o a composite number?
True
Let y(s) = 386*s - 49. Is y(12) composite?
False
Is (268/(-3))/(-1) + (-3)/9 a prime number?
True
Let j = 308 - 692. Let k = -67 - j. Is k a prime number?
True
Let r be (-2)/4 - 314/(-4). Let x = -25 + r. Is x prime?
True
Suppose -2*a = -0*a - 752. Let r = a + -617. Let u = 390 + r. Is u a prime number?
True
Let i be 2/(-8) - 665/28. Let p = 63 + i. Is p prime?
False
Suppose -4491 = -0*w - 3*w. Is w a prime number?
False
Is (-6)/(-4)*3876/18 prime?
False
Let u(x) = -2 - x**2 + 1 + 0. Let d(h) = h**3 - 11*h**2 - h - 3. Let y(i) = d(i) - 6*u(i). Is y(6) prime?
False
Let n(s) = 18*s + 10. Let j(y) = 17*y + 10. Let w(d) = -6*j(d) + 5*n(d). Is w(-11) a prime number?
False
Let g = -120 + 261. Is g a prime number?
False
Let z(m) = -125*m + 69. Is z(-22) a composite number?
False
Let d be 3 + -2 - (-42)/3. Is (d/(-12))/((-2)/152) a prime number?
False
Let f(k) = -k**2 - 2*k - 4. Let s be f(0). Let u(x) be the first derivative of -x**4/2 - x**3 - 5*x**2/2 - 3*x - 2. Is u(s) composite?
False
Suppose 0 = 2*o - 3 - 11. Suppose -k = 3*h, 0*h - 5*h - 4*k = 0. Let l = h + o. Is l prime?
True
Let u = -17 + 24. Is u composite?
False
Suppose 8 = i - 0. Suppose 0 = -5*h - f + 20 - 3, -4*f = 5*h - i. Suppose -h*r - 86 = -2*g, -g - r - 18 = -46. Is g composite?
True
Let c(s) = -s - 3. Let i(n) = -1. Let v(m) = c(m) + i(m). Let o be v(-6). Is (38/o)/((-1)/(-2)) a composite number?
True
Suppose -2*v = -3*o - 1364, 2*o - 2*v = -v - 911. Let i = 837 + o. Is i a prime number?
True
Let u = 2 + -3. Let r(a) = -a - 1. Let x be r(u). Suppose -f = -x*f - 7. Is f composite?
False
Suppose -4*w = -12, 2*f - 6206 = -5*w + 1787. Is f prime?
True
Suppose 0 = -0*a + 6*a - 45654. Is a a prime number?
False
Let f = -3 - -26. Is f prime?
True
Let y(u) = -363*u - 18. Is y(-13) prime?
False
Let u(i) = -4*i - 1. Let k be u(-3). Let s(y) = -y**2 + 13*y - 4. Let o be s(k). Is ((-132)/o)/((-2)/69) composite?
True
Let s(d) = 9*d + 7. Let l(x) = -17*x - 13. Let a(g) = -6*l(g) - 11*s(g). Let p = 3 + 1. Is a(p) a prime number?
True
Suppose h - 7 = -0*f - 3*f, 0 = 2*h + 5*f - 13. Suppose -h*v + 4*w = 0, -3*w = -2*v - 4 - 0. Suppose 97 = 3*x - o, -v*x + 4*o + 130 = 3*o. Is x prime?
False
Suppose -5*i = 42 - 437. Is i prime?
True
Is -2*(-1 + 130/(-4)) a composite number?
False
Let q(a) = 4*a - 2. Let f be q(3). Let s be (f/(-6))/(1/(-6)). Is 14*(-1 - s/(-4)) prime?
False
Let w(y) = y**2 - 3*y - 6. Let u be w(5). Let r = 6 - u. Is r - (1 - 7)*6 prime?
False
Suppose 4*q - 2*q = -8. Let m(v) = -v**2 - 6*v - 4. Let p be m(q). Suppose 19 = 5*d - p*d. Is d prime?
True
Let h = 4 + -3. Suppose -k + h = n - 5, -5*n = -4*k - 12. Is 62/4*(k - 0) composite?
False
Suppose 2*q + 5*r = 4*r + 543, -3*q + 3*r + 810 = 0. Is q composite?
False
Suppose h - 10 - 2 = 0. Let q(s) = 148*s**2 - s. Let z be q(-1). Let m = h + z. Is m a prime number?
False
Let i(q) = q**2 - 6*q. Let l be i(6). Suppose 4*k - 12 = a - l*a, -2*k - 2*a = -16. Is (20/6)/(k/30) prime?
False
Suppose -6 = 5*a - 21. Suppose a*y - y - 68 = 0. Is y a prime number?
False
Let p(s) = s**3 - 5*s**2 + 3*s - 3. Let o be p(5). Let i(f) = 4*f - 13. Is i(o) prime?
False
Suppose m - x - 2297 = 0, -x - 4*x + 6859 = 3*m. Is m a prime number?
True
Let m(x) be the third derivative of x**5/10 - x**4/8 + x**3/6 - x**2. Is m(-4) prime?
True
Let c = 133 - -61. Is c a prime number?
False
Let f(a) be the third derivative of 0 - 1/120*a**6 + 11/60*a**5 - 4/3*a**3 + 0*a - 11/24*a**4 - 3*a**2. Is f(9) a prime number?
False
Let a(u) be the third derivative of 19*u**6/120 + u**5/30 - u**4/12 - u**3/6 - u**2. Is a(2) a prime number?
False
Suppose -2 = -p + 4. Let i(m) be the second derivative of m**5/20 - m**4/2 + m**3/3 + m**2/2 - m. Is i(p) a prime number?
True
Let o(a) = a**3 - 7*a**2 - 10*a + 1. Let d be o(8). Is -15*(-3)/(d/(-2)) composite?
True
Suppose 4*c + 53 = -499. Let z = c + 203. Is z a prime number?
False
Suppose 14 = 3*p - v, -p + 18 = 4*v - 7*v. Let c = -2 + 7. Suppose 5*o - 400 = -5*k, 188 = c*o + p*k - 206. Is o a prime number?
False
Suppose -571 = -11*t + 1002. Is t a composite number?
True
Suppose 2*l + 4 - 18 = 0. Let o = -71 - l. Let v = -41 - o. Is v a prime number?
True
Let x(g) = -g**2 - 7*g - 4. Let z be x(-6). Let r(f) = 27*f**2 - 3*f + 1. Is r(z) composite?
False
Let q be ((-3)/(-6))/1*884. Suppose -3*c + 1130 = 2*c + 5*f, -4*f = 2*c - q. Suppose 0 = -n + 4*l + c, 5*l - l = 5*n - 1123. Is n a prime number?
True
Let r(k) = -2 + 5 - 9*k - 8*k + k. Is r(-13) a composite number?
False
Suppose 4*h = -r - 3*r + 1256, 3 = h. Is r a composite number?
False
Let n = 41 - -1. Is 1 + 0 + 5*n composite?
False
Let f = 2 - -3. Suppose -f*a = -a - 1772. Suppose 3*t + 0*v = 4*v + a, 5*v - 303 = -2*t. Is t composite?
False
Suppose -2*q + 4*w = -166, 2*q + 5*w = 82 + 120. Suppose b + 0*b = q. Is b a prime number?
False
Suppose 4*j - 4058 = -1602. Is j composite?
True
Suppose -5*k = -k. Suppose -5*