438/6 - (-12)/(-18). Suppose -247 = -5*a + w, 3*w = -4*a - a + f. Is a composite?
True
Let s(k) = -k**3 + 5*k**2 - k + 5. Let w be s(5). Let t(q) = q**2 + 2. Let o be t(w). Suppose -h = -o*h + 53. Is h composite?
False
Suppose -y - 478 = -3*x - 0*y, -y = 1. Is x a prime number?
False
Let v = -1479 - -2482. Is v prime?
False
Suppose -v - 15 + 2 = 0. Let f = 65 + -29. Let d = f + v. Is d a prime number?
True
Let o be 2 + -2 + 4 + 117. Let j = o + 432. Is j prime?
False
Let f(a) be the third derivative of -a**5/60 + 5*a**4/24 - a**3/6 + 2*a**2. Let l be f(5). Is (1 - l)/(6/63) composite?
True
Let x(i) = -18*i + 7. Let f be 1/2 - (-25)/(-2). Let s be 54/f - 2/4. Is x(s) a composite number?
False
Let z(c) = -3*c**3 + 1. Let q be z(1). Let s = q - -10. Suppose -3*f = -s*f + 265. Is f prime?
True
Let z(m) = 2*m + 7. Let p(u) = u. Let t(c) = -p(c) - z(c). Is t(-7) a composite number?
True
Suppose -2*g - 3*g = 20, -v + 159 = g. Let p = 256 - v. Is p composite?
True
Suppose v + 13 = -3*h - 0*h, -4*h - 17 = v. Let a be v/(-2*2/140). Let q = -14 + a. Is q prime?
False
Let y = -7 - -9. Suppose -16 = 4*j, y*j = 3*t - 68 + 21. Let g = t - 6. Is g a composite number?
False
Let t be (-10)/((-1)/1 + -1). Suppose -t*q + 25 = b, -2*q + 55 = 3*q - 5*b. Is q a prime number?
False
Suppose 2169 = 10*p - 5741. Is p a composite number?
True
Let f(g) be the first derivative of -g**3/3 - 6*g**2 - 7*g + 3. Is f(-10) prime?
True
Suppose -10*y + 20053 = y. Is y a composite number?
False
Suppose 0 = -4*q + 2775 + 1217. Is q a composite number?
True
Let h(s) = -2*s**3 - 2*s**2 - 3*s - 3. Let w be h(-4). Suppose m + i + 23 = -i, -4*m = -5*i + w. Let j = 70 - m. Is j a composite number?
True
Let h(f) = -3*f - 2 + 1 + 3 - 7. Let w(m) = -2*m + 4. Let q be w(4). Is h(q) prime?
True
Suppose -6*l = -l. Suppose l = -0*o - 3*o + 165. Is o a prime number?
False
Let r(y) = -51*y - 16. Is r(-14) prime?
False
Suppose 0 = -9*d + 13*d - 1996. Is d composite?
False
Suppose -5*w = -2*w - 1227. Is w a prime number?
True
Suppose 2 = -3*i + 5. Let p be i*214 - (-2 - -1). Suppose -p = -5*j - 50. Is j composite?
True
Let i(o) = 31*o**3 - 2*o**2 - 3*o + 2. Let g be i(2). Suppose 4*n - g - 92 = 0. Is n composite?
True
Suppose 5*t + 2*s + 14 = 0, -5*t - 12 = s - 0*s. Is (-6)/6*98/t a composite number?
True
Let t(q) = 3 + 12*q + 4*q**2 - 4 + 2*q**2 + 6*q**2. Is t(-9) prime?
True
Suppose -5*d - 4*j + 803 = 0, 2 + 1 = -j. Is d prime?
True
Let i be 587/(-1*3/(-6)). Suppose 2*a = 4*y + 574, -4*a - 5*y + i = -0*y. Is a composite?
True
Suppose 2*p + 10 = 0, -5*p + 285 = 3*r + 25. Let n(i) = i**2 + i + 5. Let d be n(0). Suppose -d*v + 0*v = -r. Is v composite?
False
Suppose -3*k + 5*y = -128, 0*k = 5*k - 2*y - 226. Suppose -5*p + g + 10 = -g, -p + g + 2 = 0. Suppose 5*m = 2*o - k, -5*m + 6 = -p*o + 4*o. Is o prime?
True
Suppose 0 = -5*r + 3*m + 13, 0 = r + 4*m - 0*m - 21. Suppose 5*c = -0*c + r, 0 = -5*v - c + 266. Is v a composite number?
False
Let j(t) = 21*t**2 + t + 1. Let n(f) = -2 - f**2 + 5*f**2 - 3*f - 3*f**2 + 0. Let v be n(4). Is j(v) a composite number?
True
Suppose 5*b - 4*w + 5 = 0, -14 = -5*b - 2*w + 11. Suppose 0 = b*i + 2*i - 695. Is i composite?
False
Let b(p) = p**2 + 10*p - 14. Suppose 0*h + 2*h + 20 = 0. Let x be b(h). Is (23*-1)/(2/x) prime?
False
Let d = 306 + 61. Is d prime?
True
Suppose 0 = 5*l - 4*c + c - 32, -36 = -5*l + 4*c. Let r be 6 - (0/(-1))/1. Is (66/l)/(r/8) a composite number?
True
Let w(y) = 5*y + 3. Let d(s) = -s + 1. Let g(t) = -3*d(t) - w(t). Let x be g(-5). Suppose -23 = -b + 5*i - 4*i, x*b = -5*i + 92. Is b composite?
False
Suppose 5*l + 2*r = -422, 8*r - 192 = 2*l + 3*r. Let t = l + 141. Is t a composite number?
True
Let f = 14 - -2. Suppose -3*t - t = -f. Let l(g) = 8*g + 3. Is l(t) composite?
True
Suppose 2*t - 409 = -s, 3*t + t - 821 = -3*s. Is t a composite number?
True
Let t(d) = 2*d**2 + 10*d - 7. Is t(10) a prime number?
True
Suppose 0*p + 25 = 5*p. Suppose p*o + 2*v = 525, 2*v = -o - 2*o + 315. Suppose 203 + o = 4*a. Is a a composite number?
True
Suppose 2*c - 2 = -0. Is 19/(c - (1 - 1)) a composite number?
False
Let d = -177 - -920. Is d prime?
True
Suppose 3*a - 547 = -o - o, -3*o + 828 = 2*a. Is o composite?
True
Let p = 13 + -18. Let x(v) = 8*v**2 + 4*v - 2. Is x(p) composite?
True
Suppose -14 = q + 5*a, 7*a - 4*a = q - 2. Is (62/q)/((-2)/4) composite?
False
Is 4*29 + (0 - -8 - 5) a prime number?
False
Let d = 12 + 57. Is d prime?
False
Let c = 871 - 614. Is c a composite number?
False
Suppose -3*f + 4 = -f. Let w be 6/15 - 33/(-5). Suppose t = f*t - w. Is t prime?
True
Is 186 + 3 - -1 - -1 a prime number?
True
Let i(r) = 3*r + 3. Let q(k) = -3*k + 1. Let o be q(-1). Suppose -b + 5*u + 19 = 0, -17 - 7 = -3*b + o*u. Is i(b) prime?
False
Let j = 4557 - 3158. Is j a composite number?
False
Suppose 6*w = 627 + 1503. Is w a prime number?
False
Suppose 641 + 69 = 5*g. Is g composite?
True
Suppose 0 = -4*v + 3*v + 173. Suppose v + 145 = 3*m. Is m a prime number?
False
Is (-8)/24*(-1237 + -2) prime?
False
Let a be ((-9)/6)/(2/4). Let o = a + 5. Is 5/o*28/2 a prime number?
False
Let f(u) = -3*u**3 - 2*u**2 + 4*u + 5. Let w(y) = y - 1. Let o be w(-3). Is f(o) composite?
False
Let h be 5 + -9 + 3 + -1. Let i = h - -5. Suppose 0 = -4*c + 5*f + 248, c + i*f - 36 - 43 = 0. Is c a composite number?
False
Let u = -157 - -336. Is u a prime number?
True
Let j = -4 - -7. Is -7*j/(-3)*1 composite?
False
Suppose -5*k + 4362 = 7. Is k prime?
False
Let y(z) = 19*z**2 + 1. Is y(2) prime?
False
Suppose -3*f = 4*y - 4*f - 6, 0 = 4*f - 8. Suppose -3*v - s = -3*s - 8, y*s = -8. Suppose v = -4*d - 40 + 188. Is d a prime number?
True
Suppose -844 = -0*d - 2*d. Is d prime?
False
Suppose -h - 2*h = 0, 0 = -5*y - 3*h + 1925. Let g = -258 + y. Is g composite?
False
Let r(o) = -38*o - 6. Let p be r(3). Let b = 179 + p. Is b a composite number?
False
Suppose -4*u + 1167 = -3*h - 2*h, u = -5*h + 298. Is u prime?
True
Suppose 0 = -5*f - 5*v - 3330, 4*v - 5*v - 3314 = 5*f. Is (f*(-2)/4)/1 prime?
True
Let n(d) = -d**3 + 2*d**2 + 2*d + 1. Let z be n(2). Suppose -z = q - 20. Is q prime?
False
Suppose 5*n + 40 = n. Let b = -8 - n. Suppose -b*x + 369 = -5. Is x a composite number?
True
Let j(k) = -20*k - 13. Is j(-5) composite?
True
Let k(y) = -y - 3*y - 4*y - 3. Let t be k(-3). Is 145/7 - (-6)/t a composite number?
True
Suppose n + 0*n + 3 = 0. Let w(i) = -2*i**3 - 4*i**2 - 4*i - 5. Is w(n) prime?
False
Is (-4)/(-18) + 5691/27 prime?
True
Is -2 + -22*33/(-6) a composite number?
True
Suppose -5*k - 2*r = -30, 0*r = -3*r + 15. Is 94/k*(2 + 0) prime?
True
Suppose 4*j = -6 - 2. Let o be (5/(-3))/(j/6). Suppose -o*h + 274 + 121 = 0. Is h prime?
True
Suppose 146 = 4*q - 3*d, 4*d - d + 108 = 3*q. Let n = 10 - q. Let g = n + 47. Is g a prime number?
True
Suppose -3*u = z + 4*z - 931, 4*z - 746 = -3*u. Is z a composite number?
True
Let o(n) be the second derivative of n**5/120 - n**4/24 - n**3/3 - 2*n. Let f(z) be the second derivative of o(z). Is f(5) a prime number?
False
Suppose -5*b + g + 776 = 4*g, b - 5*g - 172 = 0. Is b a composite number?
False
Let i(m) = 3183*m - 23. Is i(2) prime?
True
Suppose 4*k + 743 = r + 2*k, -3*k = 2*r - 1451. Is r a prime number?
True
Suppose -4*l + g + 664 = 0, -g = 2*g + 12. Suppose 0 = -o - 4*o + l. Let b = o - 14. Is b prime?
True
Let g(r) = 9*r**3 - r**2 - r + 1. Is g(4) a composite number?
False
Let y = -148 - -223. Suppose -v = -6*v + y. Is v a prime number?
False
Let f(b) = 21*b + 1. Let g be f(6). Suppose -5*z = 2*a - 64, -25 = 5*a - 2*z - g. Is a composite?
True
Suppose 0*t + 308 = o - 3*t, 4*o + 3*t = 1157. Is o a prime number?
True
Suppose 13080 = 5*l + 5*k, -3*l - l = -4*k - 10456. Is l a composite number?
True
Suppose -3*k - 5*q = 29 - 7, 5*k + 2*q + 5 = 0. Let u = k - 0. Let i = 8 + u. Is i composite?
True
Let r(h) = -h**3 - h**2 + 1. Let a(d) = -12*d**3 + 10*d**2 + 3*d - 5. Let s(l) = a(l) + 6*r(l). Is s(-2) a prime number?
False
Suppose 5*a = 2*a - 3. Suppose b + 2*m = -2*b + 5, -3*m = -4*b - 16. Is -11*(a + b - -1) a composite number?
False
Let m = -108 - -185. Is m a prime number?
False
Suppose 0 = 4*h - 2*h - 4. Is -2*(2 + (h - 9)) composite?
True
Let p(h) = -h - 3. Let u be p(0). Let o = u + 0. Is 6 + o - 214*-1 a prime number?
False
Let t = -192 