Suppose t + 2*k + 0*k = z, 81 = t + w*k. Is t composite?
True
Let d(b) = -b - 2. Let v be (-6)/(-9)*6/(-1). Let f be d(v). Suppose 33 = f*k + k. Is k composite?
False
Let s(o) = -o**3 + 7*o**2 - 5*o - 6. Let d be (-3)/(-5) + 54/10. Let q be s(d). Suppose -2*n = 4*a - 466, q = -a - 0*n + 4*n + 139. Is a prime?
False
Suppose -d + 99 = 2*d. Suppose -2*m + 97 = z, d + 29 = z - 5*m. Is z a composite number?
True
Suppose 5*h = 2*i - 1003, -2*h - 1330 - 1209 = -5*i. Is i composite?
False
Let l = -6 + 2. Let f be (l/(-6))/(4/1926). Let g = f - 158. Is g composite?
False
Suppose -3*u - 89 = s - 0*u, 3*s + u = -299. Let k = 168 + s. Is k composite?
False
Suppose -m - 5 = 0, -3*j + 62 = -4*j + 3*m. Let c = -51 - j. Let l = -5 + c. Is l prime?
False
Suppose 26 = 5*s - 74. Suppose 2*q = -5*r + 9, -3*r - s - 18 = -5*q. Is q prime?
True
Is (-3582)/(-42) + 2/(-7) a prime number?
False
Suppose 0 = -5*x + 803 - 228. Is x a prime number?
False
Suppose -915 = -6*t + 3*t. Suppose 2*n - t - 117 = 0. Is n composite?
False
Let y(u) = -u**2 + 13*u + 2. Is y(9) prime?
False
Let q(r) = 9*r**2 + 5*r - 7. Is q(4) composite?
False
Suppose -4*n + 4*i - 412 = 0, 2*i + 309 + 15 = -3*n. Let q = 161 + n. Is q a composite number?
True
Let j(n) be the first derivative of -9*n**2/2 + n + 1. Is j(-1) a composite number?
True
Is (0 - 3)/(-6)*3778 a prime number?
True
Let q(u) = 17*u. Suppose 5*n + 27 = -3. Let k(p) = p - 1. Let d(f) = n*k(f) + q(f). Is d(7) prime?
True
Let h(w) be the second derivative of -w**5/20 - w**4/4 + 5*w**3/6 - w**2/2 + w. Let i be h(-4). Let d = 18 + i. Is d prime?
True
Let s(x) = -x**3 + 10*x**2 - x + 13. Let b be s(10). Suppose 0 = -b*d + 5*d - 106. Is d prime?
True
Suppose -68 = -0*v - 4*v. Let j(n) = -9*n - n - 10 + v. Is j(-6) a composite number?
False
Suppose -3*r = 6*r - 495. Is r a composite number?
True
Let u = 8 + -4. Suppose 0 = u*l + 4*r, 5 = -5*l - r - 7. Is (-2)/l - (-25)/3 a composite number?
True
Let b(m) = 83*m + 64. Is b(6) a composite number?
True
Let s(c) = c**3 - 5*c**2 + 4*c - 5. Is s(5) prime?
False
Suppose -5*i - x = -2*x - 26, i - x = 6. Suppose 4*z - 4*o = z + 58, -i*z + 104 = -3*o. Is z a prime number?
False
Let f(x) = x**3 - x**2 - x + 113. Let h be (0/5)/(1/(-1)). Is f(h) composite?
False
Let o(k) = k**3 + k**2 - 16. Let l be o(0). Let z = 27 + l. Suppose 5*y = 19 + z. Is y composite?
True
Suppose 5*l - 3*l - 954 = 0. Suppose -2*q - q - l = -3*y, -q + 2 = 0. Is y prime?
False
Suppose -14*a - 14065 = -19*a. Is a composite?
True
Let o(p) = 4*p**2 + 28*p + 7. Is o(-19) a composite number?
False
Suppose 2008 = 8*d - 0*d. Is d prime?
True
Let z = 22 - 47. Let w = z + 40. Is w composite?
True
Let b = -675 + 1393. Is b prime?
False
Let t(i) = 3*i**2 + 9*i + 23. Is t(10) composite?
True
Let g = 0 - 2. Let o = g + 12. Is o composite?
True
Let m = -251 + 2680. Is m prime?
False
Let r(f) = -f - 7. Let q be r(-10). Suppose -5*k = -q - 17. Suppose 0 = -4*n - k*s + 824, 15 = s + 4*s. Is n composite?
True
Let t be (81/6)/(6/(-8)). Let l = -9 - t. Is l composite?
True
Let r(i) = 4*i. Let x be r(-1). Is x/1*35/(-10) a prime number?
False
Suppose 3*q + 216 = 2*w, -2*w = -q + 2*q - 224. Is w a prime number?
False
Let f(l) = -12*l**2 - 4*l + 2. Let p(i) = 11*i**2 + 3*i - 2. Let c(h) = 4*f(h) + 5*p(h). Let v be c(2). Let n = -9 + v. Is n a composite number?
True
Is (-2)/(-4)*(-7192)/(-4) composite?
True
Let r(p) = -12*p + 4. Let w be r(-9). Suppose 0 = -q + w + 53. Suppose 4*n = 2*v + 482, 5*n - 444 = -4*v + q. Is n a composite number?
True
Let x(k) = 5*k**2 + 18*k + 2. Is x(-13) prime?
True
Is (-611)/(-39)*(52 + 1 + -2) a composite number?
True
Is (73 - (0 - 0)) + 0 + -2 a composite number?
False
Let x be -1 - 2/(2/3). Let p = x + 6. Is -4*(27/(-4) + p) a composite number?
False
Suppose m + 10 = 3*m. Suppose m*z + 54 = -176. Let b = -32 - z. Is b a composite number?
True
Suppose 6*c + 39 = 3*c. Let d = c + 108. Is d prime?
False
Let w(r) = 42*r**3 - 2*r**2 - 2*r + 5. Is w(3) prime?
False
Suppose 0 = 2*q + 3*q - 790. Is q a prime number?
False
Let p(b) = -6*b - 1. Suppose -7*s + 5*z = -2*s + 30, 2*s = -z - 6. Is p(s) a composite number?
False
Let c(s) = 12*s**2 - 13*s - 2. Let k be c(9). Suppose k = 3*o - 638. Is o a prime number?
False
Let x = 5 + 0. Suppose 4*r - 4*b - 1792 = 0, r + 430 = 2*r + x*b. Suppose -f = -5*o - 89, -5*o = -0*f - 5*f + r. Is f composite?
False
Let m be (4 + -23)*(0 - -4). Let t = m - -135. Is t a prime number?
True
Suppose p - 78 = -0*p - o, 5*o = 5*p - 380. Is p prime?
False
Let n(v) = v**2 + v + 4. Let q be n(0). Is q*(31/4 - -2) composite?
True
Suppose 984 = -2*r + 5*r. Let x = 472 - r. Let q = -75 + x. Is q a prime number?
False
Let m(w) = 2*w**2 - 6*w - 2. Let k be m(5). Suppose -3*j = -k + 3. Suppose 3*u + l = 68, -5*l + 106 + 24 = j*u. Is u composite?
True
Let k = 1 - 0. Suppose -2*y + 3*y = k. Let d(i) = 14*i**2. Is d(y) composite?
True
Suppose 0 = -6*p + p + 5, 5*y - 8 = 2*p. Is y a composite number?
False
Let l = -228 + 397. Is l composite?
True
Let b = -23 + 32. Let m = 9 - b. Suppose -220 = -4*z + 5*g, -2*z = -m*z + g - 110. Is z a prime number?
False
Let t = 1 - 1. Suppose 3*g - 4*j - 153 = t, 0 = -3*g + 3*j + 15 + 141. Is g composite?
True
Let p = -1348 - -2303. Is p a composite number?
True
Let i = 18 + -10. Let k = 4 - i. Is (10/k)/(-5)*226 prime?
True
Suppose -b - 8 = -3*b. Suppose -2*x = 3*w - 767, w + 239 = 2*w + b*x. Is w prime?
False
Suppose -6 - 100 = -2*u. Is u a prime number?
True
Let n(o) = o**3 - o**2 - 5*o + 4. Let g be n(3). Suppose 0 = g*w - 3*w - 812. Is w prime?
False
Suppose -5*x + 9 = -16. Suppose -3*h - x*b + 748 = 0, -364 = 5*h - 5*b - 1624. Is h prime?
True
Let q = 65 - 30. Is q composite?
True
Let m(t) = -t**3 - t**2 - t - 98. Suppose -4*q + 8 = 2*n, 3*n + 4 = -5*q + 4*n. Let d be m(q). Let y = -33 - d. Is y prime?
False
Let p = 11 - -1580. Is p prime?
False
Suppose -5*p - 3 = 22. Let q(f) = -f**3 - 5*f**2 - f - 3. Let u be q(p). Suppose 0*k = s - k - 18, u*k = -3*s + 59. Is s a composite number?
False
Is 21/14 + 2/((-4)/(-2171)) prime?
True
Suppose 2*v - 300 = 814. Is v composite?
False
Let h be -14 - (-1 - (-4)/2). Is ((-145)/h)/((-3)/(-27)) composite?
True
Suppose 1912 = 4*w + 524. Is w a composite number?
False
Let r(a) be the third derivative of a**6/120 + a**5/60 + 7*a**4/24 + a**3/3 + 6*a**2. Is r(5) prime?
False
Let x(h) = 854*h - 1. Is x(1) composite?
False
Let r(v) = 2*v**3 - 3*v**2 - 5*v + 5. Let f be r(4). Let d = f - 37. Suppose -c + d = c. Is c a prime number?
False
Let m(p) = p**3 - 5*p**2 + p - 1. Let t(k) = -k**3 - 5*k**2 + 2*k + 1. Let b be t(-6). Suppose 4*q - 9 = -3*d + 2*q, -5*q - b = -2*d. Is m(d) a prime number?
False
Is (-134)/603 - (-1 + 14906/(-9)) a prime number?
True
Let u be 2/(-8) - 23823/(-12). Is u/25 - 4/10 prime?
True
Suppose r + 3*w = 4 + 60, -w = -2*r + 107. Suppose 3*t + t - 16 = 0, -5*v - 5*t = -r. Is v prime?
True
Suppose 5*q - 196 = -4*l + 172, -2*q - 299 = -3*l. Is l a prime number?
True
Suppose -4*z + 0*z + 580 = 0. Is z prime?
False
Suppose 0 = -5*z + 91 + 194. Let n = -22 + z. Is n prime?
False
Let c(s) = -4*s**2 - 7*s - 6. Suppose 4*b + 5*t + 14 = 0, 2*t - 14 = 4*b + 14. Let r be c(b). Let z = 205 + r. Is z prime?
True
Suppose 5*v - 3*v = 20. Suppose 3*n - v = -a, -5*n - 5*a - 18 = -48. Is -83*(1 - (n - 0)) prime?
True
Suppose -4*z - 3*u = 2 + 1, 4*z - 1 = u. Let n(h) = -h**2 + 4. Let o be n(z). Suppose 69 = o*m - 143. Is m prime?
True
Let a(y) = y**3 - 3*y**2 - 12*y + 11. Is a(9) composite?
False
Let h = -3370 - -6027. Is h composite?
False
Let g(z) = z**2 - 5. Is g(-4) a composite number?
False
Let n(c) = c**3 - 4*c**2 + 9*c - 7. Is n(6) a prime number?
False
Is 1657/1*(-3 - -4) composite?
False
Suppose g - 14 = 31. Is g + (0 - 2*-1) prime?
True
Let x(n) be the third derivative of -13*n**5/60 + n**4/24 + n**3/3 - 3*n**2. Let v(t) be the first derivative of x(t). Is v(-3) prime?
True
Suppose 0 = b + 167 - 837. Let n = b - 299. Is n a prime number?
False
Let q(v) = 5*v**2 + 2*v - 4. Let j(c) = -6*c**2 - 3*c + 4. Let t(k) = 3*j(k) + 4*q(k). Let s be t(5). Let x = s + -26. Is x prime?
False
Let a(z) = 3*z**2 - 2*z - 12. Is a(5) composite?
False
Let j = -2195 - -3148. Is j a prime number?
True
Let n(z) = 42*z**2 - 46*z - 7. Is n(15) a compos