s - c + w = -s, 4*c = 2*s - 150. Is s prime?
False
Let r = 0 + 5. Suppose -b - 4 = t - 31, t = 3*b + 11. Suppose 0 = 4*o - r*o + t. Is o composite?
False
Suppose -2*b - 4*k = 296, 4*k - 6 = 2*k. Let y = -60 - b. Is y prime?
False
Suppose n + 331 = 2*n. Is n a prime number?
True
Let m(j) = -45*j**2 + 3*j + 6. Let n be m(4). Let s = -491 - n. Is s prime?
True
Let o(i) = -15*i**2 + i + 2. Let j be o(-2). Let w = -267 + 152. Let d = j - w. Is d prime?
False
Suppose -3*h - y = -0 - 10, 3*h - 12 = -3*y. Suppose 0*o - 609 = -h*o. Is o a composite number?
True
Suppose 20*j + 6414 = 26*j. Is j a composite number?
False
Let o(d) = d - 1. Let p be o(1). Suppose -l + 0*l + 3 = p. Suppose q = l*q - 26. Is q composite?
False
Let m = -15 - -30. Let b be 63/(-5) + m/25. Is ((-109)/4)/(3/b) prime?
True
Is -146*(-1 + -1) - -3 a composite number?
True
Is (-15610)/(-30) + (-4)/(-6) a prime number?
True
Let p(z) = 3*z**3 + 1. Let v be p(1). Suppose -2*n + 2*g = -174, v*g = -g - 15. Suppose -3*h - 15 = -n. Is h a composite number?
False
Let o(s) be the third derivative of s**7/840 + s**6/240 - s**5/24 + s**4/6 - 2*s**2. Let f(i) be the second derivative of o(i). Is f(-4) a prime number?
True
Let z(a) = a**2 - a - 4. Let v be z(-2). Suppose -v*p - 716 = -2*r - 5*p, 716 = 2*r - p. Is r composite?
True
Is (-2)/4 - 23976/(-48) a composite number?
False
Suppose t - 2 = -0. Suppose -208 = -t*i + 60. Is i prime?
False
Let n = -97 - -181. Suppose 0 = -5*z - z + n. Is z a composite number?
True
Let w be 6188/49 + 2/(-7). Is 1 - w/4*-4 composite?
False
Let y(o) be the second derivative of 2*o - 1/20*o**5 - 3/2*o**2 - 5/12*o**4 - 1/3*o**3 + 0. Is y(-5) a prime number?
True
Let g(v) = 2*v**3 - 3*v**2 + v - 5. Is g(4) a composite number?
False
Let z(f) = f**3 + f**2 - f - 2. Let g(b) = 4*b**3 - b. Let a be g(1). Suppose 5*o + a = 18. Is z(o) a composite number?
False
Let o(s) = 10*s - 43. Is o(17) a composite number?
False
Suppose 3*p - p = 134. Is p a composite number?
False
Suppose t = 150 - 1. Is t a composite number?
False
Is (74/4)/((-1)/(-6)) composite?
True
Suppose -3*y = -5*y + 10. Suppose 2*a = -3*q - 25, 0 = -y*q - 0*q - a - 44. Let l = 19 + q. Is l prime?
False
Let q(z) = -z**2 + 12*z - 13. Is q(10) composite?
False
Let l(x) = -32*x + 6. Let j be l(-8). Let k = j + -135. Is k composite?
False
Is (-329)/(-3) + (-28)/42 a composite number?
False
Let r(v) = 178*v**2 - 14*v + 41. Is r(5) a composite number?
False
Suppose 4*n - 5*n = -2*i, -5*i + 2 = -2*n. Suppose 81 = -i*k - 7. Let r = k + 95. Is r a prime number?
False
Let d be (-4)/12 - (-64)/3. Let m be 1*(-7)/(d/(-30)). Suppose t - m = 6*t, -o + 39 = -3*t. Is o composite?
True
Let r = 1081 - 194. Is r a prime number?
True
Let x = -1767 + 3970. Is x a composite number?
False
Let x(f) = -3*f**3 - 5*f**2 - 4*f. Let d be x(-3). Suppose 0 = -3*o - 6 - d. Is (-885)/(-27) - 4/o a composite number?
True
Let o(z) = 13*z + 5. Let s be o(-4). Let n = 94 + s. Is n composite?
False
Let z(c) = -18*c - 3. Let l be z(-3). Let d(f) = 6*f**2 + 3*f + 2. Let o be d(-2). Let p = l - o. Is p a composite number?
False
Suppose 0 = -5*h + 2*u + 1585, 3*h + h + 4*u - 1268 = 0. Is h composite?
False
Let m(o) = -o**3 - 7*o**2 + 6*o - 9. Let s be m(-8). Is (s + 0)*(-1)/(-1) a prime number?
True
Let s be ((-5)/(-10))/(1/8). Let z be 1/3 - 10/(-6). Suppose 158 = -z*b + s*b. Is b composite?
False
Suppose -x - 4*r = -765, -2*x - 21*r + 23*r + 1500 = 0. Is x composite?
True
Let p = 667 + -376. Is p a composite number?
True
Suppose -5*w + 2*z = 12, 0 = -3*w + z - 8. Let s(u) = -81*u - 3. Let x(j) = -j. Let d(q) = s(q) + 4*x(q). Is d(w) composite?
False
Suppose i = -1, 4*v - 3*i + 7*i = 228. Let b = v - 25. Is b a composite number?
True
Suppose -3*i = -4*y + 4, -3*y - 14 = 2*i - 0*y. Is 6*i/((-32)/724) composite?
True
Let v = -6 + 3. Let i be (3 + (v - 1))*0. Suppose i = 7*o - 2*o - 530. Is o a prime number?
False
Let t be (0 + 1)*(-6 - -6). Suppose t = -4*v + 8, -191 = -5*n + 5*v + 74. Is n a prime number?
False
Suppose -3*d + 4693 = -2*c, -2*d + 3137 = -c - 2*c. Is d a prime number?
False
Suppose -4 = -2*i - 0*i. Suppose -4*u + 3*l = 7*l, i*l = 2*u - 16. Suppose -h - 23 = -a, -91 = -u*a - h + 4*h. Is a a composite number?
True
Let l(n) = -n**3 - 2. Let r(f) = f**2. Let j be r(0). Let a be l(j). Is ((-1)/a)/((-2)/(-76)) a prime number?
True
Let f(m) = -m**2 + 6*m - 3. Let u be f(5). Suppose u = w - 0*w. Is 140 - w/((-6)/3) composite?
True
Let j(x) be the third derivative of 7*x**6/120 + x**5/60 - x**4/24 - x**2. Let d(t) = t**3 + 7*t**2 - t - 6. Let m be d(-7). Is j(m) prime?
True
Suppose -2*v + 16 = -5*h, 0 = 3*v + 2*h + h - 45. Let y = v + -8. Suppose s - y*s = -260. Is s composite?
True
Let t = -381 + 2338. Is t a prime number?
False
Let x = 349 - -360. Is x a composite number?
False
Suppose 4*z + 1918 = 6954. Is z a composite number?
False
Suppose 6*d = 4*d + 5*a + 542, -1036 = -4*d - 2*a. Suppose -3*u - 3*f + d = 0, 3*u - f - 2*f - 237 = 0. Is u prime?
True
Let x(k) = 7*k**2 - 5*k + 10. Let h(w) = -8*w**2 + 5*w - 11. Let j(t) = 3*h(t) + 4*x(t). Is j(6) composite?
True
Let n(o) = -9*o**3 + 20*o**2 + 32*o + 19. Let z(s) = -5*s**3 + 10*s**2 + 16*s + 9. Let k(x) = -6*n(x) + 11*z(x). Is k(-10) composite?
True
Suppose 8 - 6 = -d. Let u = d + 22. Let w = 55 - u. Is w a prime number?
False
Suppose j + 0*j = 5*y + 23, 2*j - y = 19. Suppose 0 = 2*d - j - 2. Suppose -d*t + 0*t + 55 = 0. Is t a composite number?
False
Is 0 + 141 + 5 + -4 prime?
False
Suppose 0 = -5*b + 465 + 260. Is b composite?
True
Suppose -l - 2*l = 4*m - 11, -3*m - 3*l = -6. Suppose m*k - 795 - 380 = 0. Is k composite?
True
Let r(a) = a**2 + 2. Let x be r(0). Let l = 13 + x. Let g = 16 + l. Is g a prime number?
True
Let f(d) = 48*d - 11. Is f(10) prime?
False
Suppose t + 24 = -5*s + 3, -4*t - 5*s - 24 = 0. Is 217*(t - -3 - 1) composite?
True
Suppose -18 = 2*n + 4*b, 0*n - b - 21 = 2*n. Let i = n + 4. Let d(o) = o**2 + 2*o - 4. Is d(i) composite?
False
Suppose -235 = 3*t + 2132. Is (14/(-21))/(2/t) a composite number?
False
Let c be (-14)/4 - (-1)/2. Let z(f) be the third derivative of f**6/120 + 7*f**5/60 + f**4/8 + 2*f**3/3 - 6*f**2. Is z(c) a prime number?
True
Let i(a) = a**2 + 10*a + 1. Let t be i(-9). Let z = t - -5. Is 185/(-10)*(z - -1) a composite number?
False
Let n = -68 - -81. Is n composite?
False
Suppose 7*n + 285 = 2*n. Let h = 34 + n. Let q = h + 46. Is q a prime number?
True
Suppose -3*g - 3983 = -s, 2*s - 4*g - 7970 = -0*g. Is s composite?
False
Let s(c) = 2*c**3 - 2*c**2 + 5*c - 4. Let o(h) = -h**3 - h**2 + h + 1. Let z(y) = o(y) + s(y). Let x be z(4). Suppose 3*a - 2*a = x. Is a composite?
False
Suppose 3*b = 2*b + 3. Let o = b + -1. Suppose 105 = 5*h - o*h. Is h composite?
True
Suppose -3*p = -2*w - w + 21, -5*w = 5*p - 45. Let i(g) = w*g + 1 + 0 - 2. Is i(6) composite?
False
Suppose 0 = 4*j + u - 452, -u - 4*u = -j + 113. Is j composite?
False
Let s(g) be the second derivative of g**5/20 - g**4/12 + g**3/6 + g**2/2 - 7*g. Is s(6) composite?
True
Suppose 4*i + i = 2*f + 1305, -234 = -i - 5*f. Is i composite?
True
Let q(y) = y**3 + 4*y**2 + 3*y + 3. Let s be q(-3). Let a(h) = 71*h + 8. Is a(s) a composite number?
True
Let i(a) = 8*a + 18. Is i(11) composite?
True
Let m(p) = -58*p - 19. Is m(-6) a prime number?
False
Suppose r - 4*u - 33 = -6*u, 5*r = 4*u + 193. Is r prime?
True
Let y(k) = -10*k**3 + 2*k**2 + k. Suppose 4 = -5*s + 3*s. Let x be (-1*s/2)/(-1). Is y(x) a prime number?
True
Is -2 - (-469 - (-2 + 4)) a composite number?
True
Let g(c) = -4*c + 0 - 150*c**2 + 1 + 5*c. Let i be g(-1). Let q = 245 + i. Is q composite?
True
Let d(n) be the third derivative of -11*n**6/120 + n**5/60 - n**3/6 - n**2. Let q be -3 - (-2 + 4 + -3). Is d(q) a prime number?
False
Suppose -j - 3369 = -4*j. Is j prime?
True
Let o = -1236 - -1737. Is o a composite number?
True
Suppose 0 = -3*a + 1 - 4, h - a - 2 = 0. Let f be 0 + (h + 0 - 2). Is 1/(((-3)/f)/249) composite?
False
Let c(f) = -23*f**3 - 4*f**3 + 1 + 2*f + 0*f. Let o be c(-1). Suppose 9 + o = 5*u. Is u composite?
False
Suppose -2 = w - 2*w. Suppose -2 = -2*n + 2. Suppose -2*z = n*a - 0*z - 160, 255 = 3*a - w*z. Is a a composite number?
False
Suppose 2*n = -2*n + 4764. Is n prime?
False
Suppose 3*r + v = 829, -4*r + 7*r -