-0*o + 5*n, 4*o + n = 10. Suppose -i + o*i - 12 = 0. Is i composite?
True
Suppose 0 = 2*a - a - 47. Is a a composite number?
False
Suppose -5*z - z = -16566. Is z a composite number?
True
Let b be (-13)/(-4) - 2/8. Suppose -2*g + b*g - 3 = 0. Suppose 0 = -4*s + 5*d + 12, 0*s - 2*d - g = -s. Is s a prime number?
True
Let j = 9 + -4. Suppose 2*o + 3*o = j. Is 4 + 74 + (0 - o) a composite number?
True
Let j be 3/(-1 + 5/2). Let s = -36 + 79. Suppose 0 = 4*z + 5*r - s, -12 = -z - r - j. Is z prime?
True
Suppose -3*p - 10 = -22. Suppose -p*h = 76 - 296. Is h composite?
True
Let y(r) = 5*r - 5 + r**3 + 0*r**3 + 6*r**2 - 2. Let b be y(-5). Is (72 - b)/(1/1) a prime number?
True
Suppose 3*x = -0*x + 9. Suppose -x*r + 2*m + 239 = 0, -2*r - 2*r - 2*m = -314. Is r a composite number?
False
Suppose -5*r = 450 - 5795. Is r a composite number?
False
Let o be 618 + (16/4 - 3). Let a = o + 14. Is a a prime number?
False
Suppose -4*n + 7 = -5. Let j(o) = 6*o**2 - 3*o + 2. Is j(n) prime?
True
Let o(d) = d**2 - 2*d - 6. Let p be o(6). Suppose -k - p = -57. Is k composite?
True
Suppose -75 + 28 = i. Let c = 238 + i. Is c a composite number?
False
Suppose 0 = 3*r + 8*r - 1969. Is r a composite number?
False
Let y be (-40)/6 + 14/21. Let a be (-7 - -6)/(2/y). Suppose -a*w = 11 - 56. Is w composite?
True
Let u(g) = -20*g - 6. Let j(o) = -6*o**2 + o. Let f be j(1). Is u(f) a composite number?
True
Suppose 9 + 34 = h. Let u = 10 + h. Is u a prime number?
True
Let j = -656 + 1507. Is j prime?
False
Suppose 0 = 3*z - 3044 - 5932. Let o = -1781 + z. Is o prime?
False
Let f = 2236 - 677. Is f a prime number?
True
Let d = -6 + -2. Let c(h) = -11*h - 6. Is c(d) a composite number?
True
Let w be 2 + 0 - (1 + -1). Suppose -r = -2*k + 278, -2*r + 25 = k - 109. Suppose -5*i - 24 + k = 4*s, 3*i = -w*s + 70. Is i a composite number?
True
Let p = 2621 + -654. Is p composite?
True
Suppose -4 = -3*u + 2. Let v(p) be the third derivative of p**5/30 - p**4/8 + p**3/6 + 6*p**2. Is v(u) composite?
False
Suppose -g + 134 = -339. Is g a prime number?
False
Let q be 3 - 1/(3/21). Is 1769/11 + q/(-22) a composite number?
True
Let b(p) be the first derivative of 3*p**4/4 - 2*p**3/3 + p**2/2 - 2. Is b(1) a composite number?
False
Let u(q) = 57*q**2 + 8*q + 12. Is u(-5) a composite number?
True
Suppose -2*k - 3*f = -5, 5*k - 5*f - 17 = 2*k. Let n be (0 - 2)/(k/2). Is -2 - n*(-37)/(-1) composite?
True
Let j(l) = 43*l**2 - 18*l + 31. Is j(10) a prime number?
False
Let r be (-5)/15 + 21/9. Is r/4 + (-6096)/(-32) a composite number?
False
Let s(w) = -7*w - 71. Let j(p) be the third derivative of p**4/4 + 12*p**3 - p**2. Let y(r) = 6*j(r) + 5*s(r). Is y(0) prime?
False
Let k = 310 + -152. Suppose -3*a + a = -k. Is a a composite number?
False
Suppose -5*g - 7 + 182 = 0. Is g a prime number?
False
Let n(o) = 4504*o + 4. Let b be n(-3). Is (1/(-4))/(11/b) a composite number?
False
Let w = 3 + -2. Let l(z) = 33*z**3. Let t be l(w). Suppose -4*b = 5*i - 177, -2*b + t = -3*i + 4*i. Is i a composite number?
False
Let w = -13 - -11. Is (-7)/(7/w) + 101 a prime number?
True
Let z be 4/(1 + -1 + 2). Suppose -z*j = 5*o - 168, -3*o + 5*j = j - 106. Is o composite?
True
Let k(f) = -8*f - 7. Let p(l) = -l - 1. Let i(a) = k(a) - 6*p(a). Let w be i(-2). Is w + -1 + -1 - -2 composite?
False
Let x be (21/(-6))/(1/(-38)). Let t be x/(-4) - 2/(-8). Let o = t + 86. Is o a prime number?
True
Is (-378)/(-2) + (-17 - -19) a prime number?
True
Suppose 4*p + 32 = 4*d, 5*d - 16 = d - 4*p. Let v(u) = u**3 - 3*u**2 - u - 5. Is v(d) prime?
True
Suppose 2*s - s = -2*h + 205, -s - h = -207. Is s a composite number?
True
Let j be 1/4 - (-54)/8. Suppose 4*l - 14 = -2*f, 2*f = f + 5*l - j. Is f a composite number?
False
Let f(g) = -g**3 - g**2 + g - 4. Let q = 0 - 5. Is f(q) prime?
False
Suppose -54 = r - 3*p + 16, 0 = 3*r - p + 178. Let g = r - -84. Is g a composite number?
True
Let r(h) = -h**2 - 4*h - 4. Let k(u) = -u**2 - 4*u - 3. Let f(c) = 3*k(c) - 4*r(c). Let w = -15 - -5. Is f(w) composite?
False
Is 61204/91 + (-6)/(-14) a prime number?
True
Let b(k) = k**2 - k. Let z be b(0). Let q(i) = -604*i**3 - 2*i - 1. Let l be q(-1). Suppose z*x = 5*x - l. Is x composite?
True
Suppose 3*d = -2*m + 646, 2*m - 3*m - d = -325. Let y = -194 + m. Let c = -58 + y. Is c composite?
True
Let n be 1 - (1 - (4 - 2)). Is ((-711)/(-6))/(1/n) composite?
True
Suppose -650 = -b - 3*r + 119, b + 5*r - 769 = 0. Suppose -k - 3*k + 772 = 4*p, -5*k = 4*p - b. Suppose -p = 3*v - 7*v. Is v a composite number?
True
Suppose -6*k = -k - 295. Is k a composite number?
False
Let y = 4 + 2. Let m(h) = 3 - 28*h - 2 + 8*h**2 + 13*h + 10*h. Is m(y) a composite number?
True
Is -1 + 3 + 443 + 4 a composite number?
False
Let h be (-6 - (-6)/2) + -22. Let v = h - -59. Is v prime?
False
Suppose 15 = 6*n - 3*n. Suppose n*j = 3*o + 776, 4*j - 474 = j - o. Is j composite?
False
Suppose 188 = 6*p - 2*p. Is p a prime number?
True
Suppose -3*i - 2*f + 4 = 0, 0 = -2*i - 2*f + 1 + 3. Let h be i - -2 - (-2 + 2). Is (-4 - -15)/(1/h) a prime number?
False
Let u(k) = -k**2 - 9*k + 4. Let h be (-1 + 2)/((-5)/30). Let p = h + -3. Is u(p) prime?
False
Let v = -13 + 16. Is v a composite number?
False
Let c be (-12523)/(-35) - (-1)/5. Suppose -3*p + c = -p. Is p composite?
False
Suppose 3*g + 15 = -0*d + 4*d, -5*g = 5*d - 10. Let u be g - 1 - 1*-6. Suppose -u*z = -16, 4*h + 0*h = 3*z + 28. Is h a composite number?
True
Let o be (3/(-6))/(1/2). Let j be ((-2)/3 - o)*3. Let c(b) = 34*b + 1. Is c(j) prime?
False
Let v(n) = -n**3 + 2*n**2 + 3*n - 3. Let h be v(2). Suppose 0 = -0*w - h*w. Suppose -f + 83 + 62 = w. Is f composite?
True
Let d = -4 + 9. Suppose 4*h + 5*a = 776, 0 = 4*h - a + d*a - 776. Is h a composite number?
True
Suppose -3*f + 23 = 4*u + 6, 3*u = 2*f. Let x(d) be the third derivative of d**6/40 - d**5/30 + d**4/8 - d**3/2 + 2*d**2. Is x(u) composite?
False
Let w = 818 + -424. Suppose 0*v + w = 4*j + 2*v, -3*j + 2*v + 299 = 0. Suppose -5*b + j = -x, -b + 2*x - 3*x + 15 = 0. Is b a prime number?
True
Suppose 4*k + d = 4*d + 85, 2*d = 4*k - 82. Suppose 4*a - 9 = k. Let q(u) = -u**3 + 6*u**2 + 6*u + 9. Is q(a) a composite number?
False
Let f = 0 - -4. Suppose -o - 112 = -3*h, f*o = -4*h + 2*o + 146. Is h a prime number?
True
Let i(r) = -8*r**3 - 3*r**2 + 2. Is i(-3) a composite number?
False
Let k be -2 - 3*(-6)/1. Suppose k - 94 = -2*y. Is y prime?
False
Let s = 130 - 235. Let t = 10 - s. Is t a composite number?
True
Let t = 0 + 6. Let a = t + -4. Suppose 3*n - 80 = -a*n + 5*x, -4*x + 41 = 3*n. Is n composite?
True
Let v(a) = 3*a**2 + 3*a + 2. Let s be v(-2). Is (-2)/s + (-3162)/(-8) a composite number?
True
Let i(u) be the second derivative of 11*u**4/24 + 7*u**3/6 - u**2 - 4*u. Let p(h) be the first derivative of i(h). Is p(8) a prime number?
False
Let z = 470 + -205. Is z a composite number?
True
Let g(n) be the first derivative of 1 + 163/4*n**4 - n + 0*n**2 + 1/3*n**3. Is g(1) prime?
True
Let y be 2/(-9) + 1076/(-18). Let x(a) = a + 17. Let m be x(0). Let f = m - y. Is f a prime number?
False
Let d = -2100 + 2987. Is d prime?
True
Let x(o) = -21*o - 5. Suppose -a - 2 = -7. Suppose 0 = 4*l + a + 27. Is x(l) composite?
False
Let z(f) = -f + 79. Let q be z(0). Let b = 10 + q. Is b composite?
False
Suppose 3*b = 2*b. Let t be b + 0 + 5 + -3. Suppose -t*d = -d - 14. Is d a prime number?
False
Suppose -18 = -d - 2*d. Let q(o) = o**3 - 3*o**2 - 7*o - 7. Is q(d) a prime number?
True
Suppose 5*z + 0*z = -i + 95, 0 = 5*z + 3*i - 105. Is ((-31)/2)/((-3)/z) prime?
False
Let z(y) = -2*y. Let f be z(-1). Let r be f/7 + 120/(-28). Is (-2)/r - 74/(-4) composite?
False
Suppose -4*w + 6 = -3*w. Suppose -3*t - w*v = -v - 381, t - 127 = v. Is t a prime number?
True
Let r(g) = 23*g**2 - 12*g - 13. Is r(-6) a composite number?
False
Let u be (-8)/16 - (-858)/4. Let r = u - -19. Is r a prime number?
True
Let f(v) = 2*v - 6. Let g be f(5). Suppose g*x - 12 = 0, 191 + 35 = 5*w - 3*x. Suppose 2*t - w = 15. Is t a prime number?
True
Let a(z) = 2*z**2 - 3*z. Let x be a(2). Suppose -x*u + 208 = 50. Is u prime?
True
Let a = -53 + 88. Is a composite?
True
Let z = -7 - -7. Suppose -5*c - 10 = -5, z = 4*p + 5*c - 235. Suppose 2*b - 23 = -y, -3*y - p = -8*y + b. Is y a composite number?
False
Let l be 