 - 8 + 2. Suppose w - 53 = 2*y, -56 = -w + 3*y + z. Is w a prime number?
True
Suppose -5*u = z - 1361, z - 5444 = -3*z - 4*u. Is z prime?
True
Suppose -84 = -5*b + 26. Suppose 2*c = -4*n + 12, 2*c - c - 5*n + b = 0. Is ((-3586)/(-55))/(c/(-5)) a composite number?
False
Is 4/14 - 2026/(-14) a composite number?
True
Let z(k) be the third derivative of 3*k**4/8 - k**3 + k**2. Is z(5) prime?
False
Let o(a) = 2*a + 4. Let w be o(-6). Is (-379)/(-3) + w/(-12) composite?
False
Suppose 2*k - 3*x + 300 - 1602 = 0, -4*k + 2596 = -4*x. Let z = -314 + k. Is z prime?
True
Let m = -2794 - -4847. Is m prime?
True
Is 47*10 - (5 + (-36)/6) composite?
True
Let n(y) = 4*y**2 - 1 + y**3 - 2 + 5. Let x be (-6)/4*56/21. Is n(x) composite?
False
Suppose -3*t + t = 12. Let r(m) = m. Let g(b) = 2*b**2 + 4*b + 7. Let y(l) = g(l) + 6*r(l). Is y(t) prime?
True
Let t(n) = -37*n**3 + n**2 + 2*n + 1. Is t(-1) prime?
True
Let l = -9 + 1. Let x(w) = 3*w**2 + 9*w + 9. Let m be x(l). Suppose -3*i - 3*q + m = 0, -2*i - q = 3*q - 86. Is i composite?
False
Let f be 50/(-8) - (-3)/12. Let h be 1298/9 - f/(-27). Is h + 2*2/4 prime?
False
Suppose 6*k - 4*i - 3555 = k, -3*i - 2843 = -4*k. Is k prime?
False
Let o(m) = 24*m + 11. Let z be o(8). Suppose 6*c - 3*c + 205 = l, -4*c - z = -l. Is l prime?
True
Let s = -10 - -15. Is 157/s - (-14)/(-35) composite?
False
Let f be (-788)/16*1*-4. Let g = -78 + f. Is g a composite number?
True
Let l(q) = -q**2 - 8*q - 1. Let s be l(-7). Suppose 2*k - 2 = 2*p, 0 = 5*p + 3*k - 5 - s. Is (-37)/p*2/(-2) a composite number?
False
Suppose 5*t = 10, -5*t - 6 = 3*x - 22. Suppose 21 = m + x. Is m prime?
True
Suppose -5*i = -a - 5673, 4*i + 3*a - 4546 = -0*i. Is i a prime number?
False
Is 8/(-28) - 214/(-14) a composite number?
True
Suppose -15*q = -10*q - 28315. Is q composite?
True
Let x = -2 - -1. Let j be 0*x/2*1. Suppose -4*o = -o - h - 289, -5*h - 20 = j. Is o composite?
True
Let x(i) be the first derivative of -i**7/420 + i**6/180 + i**5/30 + i**4/8 + i**3 + 1. Let s(h) be the third derivative of x(h). Is s(-2) prime?
True
Let a(u) = 4*u**3 - 12*u**2 - 12*u - 13. Let g(q) = 11*q**3 - 37*q**2 - 36*q - 39. Let i(c) = 8*a(c) - 3*g(c). Is i(14) prime?
False
Let r(i) be the third derivative of 19*i**5/60 - i**2. Is r(1) a composite number?
False
Let a be (-68)/4 - (-2)/1. Let i = a - -62. Is i a composite number?
False
Suppose 0 = -5*f + 2*b + 3069 + 96, 5*b = 2*f - 1287. Is f a composite number?
False
Let r be -6*13 + 3 + -2. Let n = -19 - r. Is n a composite number?
True
Suppose -j = -2*o + 204 + 629, -o + 4*j = -427. Is o prime?
False
Is (-1 + 2)*-17*-79 a prime number?
False
Suppose 12*p = 5*p + 5019. Is p a prime number?
False
Let f = 18 - 11. Is (-10)/35 + 583/f prime?
True
Let k = -217 + 398. Suppose -3*h + 5*w = -6*h + k, 0 = h - w - 55. Is h a composite number?
True
Let a be 894/2 - (-2)/(-1). Let g = 752 - a. Is g a composite number?
False
Let j(n) = -11*n**3 - 4*n**2 - 11*n + 5. Is j(-7) a prime number?
True
Is (-8)/28 + (-15390)/(-14) composite?
True
Let x(n) = -119*n - 2. Let o be x(-2). Let g = 3 - -106. Let y = o - g. Is y composite?
False
Let h = 2 - -2. Suppose -25 = -5*l + b + h*b, 0 = -3*l - 3*b - 3. Suppose 2*f + l*w - 290 = 0, w = -5*f - w + 725. Is f prime?
False
Let n = 0 - -3. Suppose 0 = n*f - f + 10. Is (-112)/f - (-3)/5 a composite number?
False
Let w(b) = -b**3 + b**2 - 4*b + 3. Let f be w(2). Let k = f + 8. Is (413/(-21))/(k/3) a composite number?
False
Let m be 2/2*(-3 + 6). Let s be m/(-4) - 447/(-4). Suppose -36 = 3*o - s. Is o prime?
False
Let m = -248 - -507. Is m a prime number?
False
Suppose -m - 5494 = -2*g - 2*m, 8259 = 3*g - 3*m. Is g a prime number?
True
Let u = -97 + 151. Suppose 2*s = 2*p - 88, -p - s = 3*s - u. Is p a composite number?
True
Suppose 0*n = 4*z + 4*n - 1272, 0 = -n - 5. Is z a prime number?
False
Let s be 1*50*1 - -1. Let m = 182 - s. Is m prime?
True
Suppose -2*k + 3*a = 5*a - 124, k + 5*a = 74. Is k prime?
True
Let g(p) = p**3 + 4*p**2 + 4*p + 3. Let q be g(-3). Let b = -4 + 6. Suppose q = b*j - 0*j - 134. Is j composite?
False
Let v(y) = 86*y**2 - 1. Let h be v(-1). Let s = h - 32. Is s prime?
True
Suppose r - 6*r + 7495 = 0. Is r composite?
False
Let j(y) = 2*y**2 + 5*y - 9. Let f(m) = m**3 - 3*m**2 + 2*m - 1. Let c be f(2). Let t(n) = n**2. Let q(u) = c*j(u) + 3*t(u). Is q(6) a prime number?
False
Let z(r) = 11*r**2 - 13*r + 1231. Let g(f) = -5*f**2 + 6*f - 615. Let u(k) = -13*g(k) - 6*z(k). Let m be u(0). Suppose -y + m = 2*y. Is y a prime number?
False
Let k be -9 + (2 - (-2 + 1)). Let l be -6*k/(-9)*-59. Suppose y + 380 = 5*q, -3*q + 2*y - 3*y + l = 0. Is q prime?
False
Let q be (-1 + 9/2)*46. Let a = q + -28. Let o = a - 80. Is o composite?
False
Let t = 3701 + -1548. Is t a composite number?
False
Suppose -2*q - 114 = -q + 5*l, -2*l + 651 = -5*q. Let o = q + 85. Is (o/(-10))/(1/5) a prime number?
False
Let w = -537 + 1071. Suppose -5*q = -3*f + 341 + 1280, -4*f = -2*q - 654. Let h = q + w. Is h a prime number?
True
Suppose 267 = 3*n + 4*z, z + 2*z = -5*n + 456. Let d = -44 + n. Is d a composite number?
True
Let v(y) = 2*y - 2. Let k be v(3). Suppose 3 = -5*w - 2, 4*w - 52 = -k*z. Is z a composite number?
True
Is (-27056)/(-48) + 4/(-6) prime?
True
Let i(m) = m**3 - 7*m**2 - m + 6. Let j be i(7). Let a = j + 14. Is 1/(a/(-7) - -2) prime?
True
Let k = -9 - -24. Suppose -19 = 3*s + 41. Let i = k - s. Is i composite?
True
Let a = 441 + -240. Is a prime?
False
Let h = 1 + 9. Suppose 0 = 2*o + 3*o + h. Let f = 87 - o. Is f composite?
False
Suppose 0*k - 40 = -5*k. Let o be 7/28 - (-14)/k. Is (-2)/1*(-15)/o a prime number?
False
Suppose 0 = -h - 4 + 5. Is h/2*(643 + -1) a prime number?
False
Suppose 2*q - q + 154 = 5*y, -89 = -3*y + 4*q. Is y composite?
False
Suppose 444 = c + 2*k, -369 = -2*c - 3*k + 523. Suppose 3*u - 5*f - 5 = 0, 2*f - 2 - 2 = 0. Suppose -u*m = -c - 363. Is m composite?
False
Let t = 0 - 2. Let y(f) be the third derivative of -f**4/6 + f**3/6 + 3*f**2. Is y(t) a composite number?
True
Let k be ((-5)/(-10))/((-2)/28). Let h(b) = b**2 + 6. Is h(k) a composite number?
True
Let k(i) = -434*i - 27. Is k(-4) prime?
True
Let z(l) = 153*l - 7. Let o(s) = -230*s + 11. Let k(d) = -5*o(d) - 8*z(d). Is k(-2) a composite number?
False
Suppose s + 2*q = -2*s + 4445, -5*q = 5*s - 7410. Is s a prime number?
True
Suppose -m + 322 = 4*t - 101, t - 5*m - 111 = 0. Is t composite?
True
Is -14 + 1334 - (2 - 1)*1 prime?
True
Let y = 22 + -13. Let w = 7 + -3. Suppose -w*q - 170 = -y*q. Is q prime?
False
Is (-2 + (-3 - -6))*38 a prime number?
False
Let j = 18 + -18. Is (1 - -37) + -1 + j a prime number?
True
Suppose -4*i + 2*t = -16, 2*i + 4*t + 4 + 8 = 0. Suppose 0 = 3*m - 0*l - i*l - 397, l = -2. Is m a prime number?
True
Suppose -115 = -2*b - 3*b. Suppose i - 106 + b = 0. Is i a composite number?
False
Let j(d) = -84*d - 20. Let o be j(-3). Let z = -530 + 365. Let f = o + z. Is f composite?
False
Let l(r) = 21 - 2*r - 44 + 22. Let m = -7 - -5. Is l(m) a prime number?
True
Is (155/(-15))/((-1)/3) a composite number?
False
Let a(i) = i - 2. Let u be a(3). Let m be -5 + 6 - (u + -2). Suppose 3*q - 22 = -0*r + m*r, q + 2*r = 2. Is q a prime number?
False
Let n = 34 + 31. Is n a prime number?
False
Is -477*5/45*-3 a composite number?
True
Suppose u + 4*y = 22, 2*y - 2 = -3*u + 14. Let g(a) = -4*a**2 + 0*a**2 - 1 - a - 20*a**3 + 3*a**u. Is g(-1) a composite number?
False
Suppose -3*v + 4*y - 15 = 0, 2*v - y + 5*y = 10. Is (267/(-9))/(v/3) composite?
False
Let r(u) be the second derivative of u**3/6 + u**2/2 - u. Let x be r(-5). Is ((-84)/(-16))/((-1)/x) composite?
True
Let t(j) = 17*j**2 - j. Let u be t(-1). Let l = -19 + 12. Let n = u + l. Is n a composite number?
False
Suppose 3*n + 123 = 2*d, d + 2*n = -3*n + 68. Is 4/(-18) - (-2345)/d a prime number?
True
Suppose 0 = -3*v + v - 3*g + 1, -2*v + 7 = -3*g. Suppose -v*p - 3*p = -j + 67, -2*j = 2*p - 110. Is j a prime number?
False
Is (1268/6)/((-4)/(-6)) composite?
False
Suppose u + 4*p = 207, -612 + 209 = -2*u + 3*p. Is u a prime number?
False
Suppose 4*b - 1708 - 10 = 3*p, -3*p + 6 = 0. Is b a composite number?
False
Let j(d) = -13*d**3 + 4*d**2 - 12*d - 8. Is j(-5) prime?
True
Let g = 54 - 28. Let t = 11 + -18. Let d = g + t. Is d a prime number?