e
Let l = -7 + 10. Let g be (0 + 1)*3 + 1. Let m = g + l. Is m a composite number?
False
Is (-24136)/(-72) + 2/(-9) prime?
False
Let d(r) = -r**2 + 11*r - 6. Let y be d(10). Suppose -q = y*q. Is q + (-6)/(-3) + 1 composite?
False
Let p = -22 - -80. Is p prime?
False
Is (1 - -1)/(11/((-407)/(-2))) composite?
False
Let h(z) = -z**3 - 8*z**2 - 5*z + 5. Let c be h(-7). Let w(j) = -4*j + 1. Is w(c) a prime number?
True
Suppose 2*a - z - 466 = -a, 2*a + 2*z = 324. Is a a composite number?
False
Is ((-9)/(-12))/(1/12) prime?
False
Suppose -2*l + 4*z = 3*l - 1102, -z = -5*l + 1093. Is 5/(5/l) - 0 prime?
False
Suppose -w = -5*w + 580. Is -3*1/((-3)/w) composite?
True
Let h(i) = 8*i - 1. Let z be h(1). Suppose z*j - 2*j = 70. Is j a composite number?
True
Suppose 0 = -3*m + 5*p + 98, m + 32 = 2*m - 2*p. Let r = -11 + m. Is (4/10)/(1/r) a prime number?
False
Let l(k) = 37*k - 5. Is l(8) composite?
True
Suppose -4*r - 16 = -2*s, -3*r - s - 13 = -2*s. Let w(t) = -76*t - 1. Let b be w(-1). Is (74/(-6))/(r/b) composite?
True
Let r(b) = b**3 + 9*b**2 + 1. Suppose 2*n - 7*p + 43 = -2*p, 3*n + 12 = -3*p. Let t be r(n). Is (47/(-4))/(t/(-4)) a composite number?
False
Let d = 1260 - 855. Suppose -129 + d = 4*t. Is t a composite number?
True
Let w = 278 - 179. Let i be (3/(-9))/(3/w). Let p(j) = -j**2 - 12*j. Is p(i) a prime number?
True
Suppose -3*z + 2*f = -4, -4*z + 5*z = 3*f - 1. Suppose -15 = 3*t, -j - 2*j = -z*t - 121. Is j prime?
True
Let z be 2/9 + (-102)/(-27). Is z + -3 - 9*-12 prime?
True
Suppose 3*y + 3 = 0, 5*j - 1416 = 2*y - y. Suppose 6*i - 200 = i. Suppose 0 = 4*k - 5*z - j - i, -4*z - 397 = -5*k. Is k composite?
True
Let y(h) = 2*h**2 + 3*h - 1. Let a be y(-3). Suppose b + 3*b = a. Let v(g) = 32*g + 1. Is v(b) composite?
True
Suppose -5*n + 9388 = -1757. Is n a composite number?
True
Suppose -3*j - 4*m + 931 = 0, -2*m - 274 = 4*j - 1532. Is j prime?
True
Is 2/4*-2*-191 a prime number?
True
Let u = 693 - 314. Is u a prime number?
True
Let s(l) = -l**2 + 9*l - 3. Let t be s(6). Let v(n) = n**2 + 3*n - 19. Is v(t) a prime number?
True
Let x = -247 - -658. Is x + 9 + (0 - 1) composite?
False
Let i = -721 - -1262. Is i a prime number?
True
Let r(b) = -b**3 - 2*b**2 + 4*b + 3. Let a be r(-3). Suppose -584 = -a*w - 4*w + 2*n, -288 = -2*w - n. Is w composite?
True
Let y = -12 + 101. Suppose 2*t = t + y. Is t a prime number?
True
Suppose 0 = 4*j + 8, 5*j + 4557 - 982 = 5*t. Let s = t + -302. Is s a composite number?
True
Let f = -126 - -977. Is f a prime number?
False
Suppose 0*y + 3*y - 5*i - 1614 = 0, i + 1614 = 3*y. Is y a prime number?
False
Let m(s) = -s**2 + 6. Let o be m(-3). Suppose -3*h + 9 = -0*h. Is (h + 6/o)*37 a prime number?
True
Let j be 6/27 + 16/9. Let d(t) = 18*t**2 - 3 - j*t + 3 + t. Is d(-1) a composite number?
False
Suppose 11*z + 1163 = 4980. Is z prime?
True
Suppose -2*f = -j - 4*j - 324, -8 = 4*j. Is f a composite number?
False
Suppose 5*s - 25 = n, s - 5*n = -3*s - 1. Let g(j) = j**2 + 4*j - 4. Let h be g(-4). Let b = s + h. Is b a prime number?
True
Let l be 0 - -1 - (-40)/2. Suppose -5*s = r - 21, 4*s - s = 5*r - l. Let m(n) = n**2 - 4*n + 7. Is m(r) prime?
True
Let z(r) = r**3 + 3*r**2 + r. Let s be z(-2). Suppose -s*j = -j - 55. Is j prime?
False
Let n(m) = -m**2 - 3*m. Let c be n(-3). Suppose c = -f - 2*f + 39. Is f a prime number?
True
Let v be (-6)/(-18) + 6119/3. Suppose 3*t - o - v = t, 0 = 4*t + o - 4086. Suppose 0 = 2*d + 7 - 1, -5*u + 2*d = -t. Is u a prime number?
False
Suppose t = 3*w - 1752, -w - t + 1758 = 2*w. Suppose -5*z + w = 5*h, -271 - 323 = -5*h + 4*z. Is h composite?
True
Let a = 11 + -7. Suppose -3*g = -a*g + 23. Let m = -4 + g. Is m composite?
False
Let c(k) = k. Let g be c(5). Suppose 0 = 3*u + 3*a, -3*a = g*u - u - 2. Suppose 31 - 175 = -2*t - u*d, 3*d = 9. Is t a composite number?
True
Suppose -12 = -3*v + 6. Let d(n) = 4*n**2 + 5*n + 13. Is d(v) prime?
False
Let t be (-2)/4 - (-1401)/6. Let v = -154 + t. Is v a composite number?
False
Suppose -1349 = -3*x + 4*g + 1028, 4*x = -2*g + 3162. Let u = 1138 - x. Is u a prime number?
True
Suppose -4*k = w + 37, 4*k + 2*w - 4*w = -22. Let a(o) = o**2 + 8*o + 5. Let l be a(k). Suppose -x + 339 = l*s, s - 47 = -0*s + 5*x. Is s a prime number?
True
Let s = 157 + -90. Is s prime?
True
Suppose 2*k = 4*k - 172. Suppose -98 - k = -4*o. Is o a prime number?
False
Let g = 6 - 1. Suppose 3*n - 6 = 0, -3*y = 2*y + g*n - 565. Is y composite?
True
Suppose -4 = 2*o - 0*o. Is ((-4)/6)/(o/159) prime?
True
Suppose -3*d - 3 = 0, -3*s + 2*d = 2*s - 4897. Is s a composite number?
True
Let s = 63 - 44. Is s a prime number?
True
Let h be -3*(-3)/9*0. Suppose -5*w + 4*i + 415 = -i, h = w + 2*i - 95. Is w a prime number?
False
Let v(t) = t + 4. Let h be v(0). Suppose 0 = h*c - 2*j, -j = 2*c + 2 - 6. Is 0 - (-57)/c - 2 a composite number?
True
Suppose 5*v - v - 36 = 0. Let f = v - 19. Let z = f + 41. Is z a prime number?
True
Let v(x) = x - 4. Let j be v(8). Suppose z - 4*y + 2 + 10 = 0, j*y - 32 = -4*z. Suppose 413 = z*u + 97. Is u composite?
False
Suppose 4*t - 31 = 597. Is t a prime number?
True
Let f(g) = 24 - 17 + 13*g**2 - g - 3*g + 8*g. Is f(6) prime?
True
Is (-4)/14 - (-4568)/14 prime?
False
Let q(k) = k**3 + 10*k**2 - 12*k - 13. Let v be q(-11). Let h(o) = -187*o - 1. Is h(v) composite?
False
Let t(q) = 323*q. Is t(1) a prime number?
False
Suppose -2*h - k + 546 = -0*h, 0 = -2*k. Suppose -379 - h = -4*u. Is u prime?
True
Let w(c) = c**3 - 7*c**2 + 8*c + 3. Let l be w(6). Is 1243/l - 6/(-45) a composite number?
False
Suppose -5*o = -11*o + 8754. Is o prime?
True
Suppose -5*j + 2483 = -4*k, 2*k + k - 9 = 0. Is j composite?
False
Suppose 4*b - 880 = r + 215, -3*b + 4*r + 805 = 0. Suppose -4*a = a - b. Is a prime?
False
Suppose 0 = 4*x + 20, 5*x = 2*p - 6*p + 247. Is (17/p)/(2/376) a composite number?
False
Suppose m + 6 - 8 = 0. Let z = -2 - -1. Is 24 - 0 - (z + m) a composite number?
False
Let u(b) = -b**2 + 11*b + 11. Suppose -2*l - l + 6 = 0. Let r = l - -6. Is u(r) composite?
True
Let w(y) = -y**3 + 7*y**2 + 5*y + 2. Is w(7) a prime number?
True
Let t(u) = u**2 - 6*u + 4. Let k be t(-7). Suppose -c + k = 4*c. Is c prime?
True
Is -6*635/(-15)*1 a composite number?
True
Suppose 0 = l + 15 + 78. Let m = 146 + l. Is m prime?
True
Suppose w + 70 = 3*y, 6*y = y + 3*w + 122. Is 4/y + (-284)/(-11) a prime number?
False
Let q(l) = 97*l**2 + 2*l - 2. Is q(-2) a composite number?
True
Let g(p) = p + 6. Let j be g(-3). Suppose 8 = j*c + 2. Suppose 0*k = -c*k + 254. Is k a composite number?
False
Let m(q) = 63*q**2 - q + 1. Let s be m(2). Suppose -9 = -4*z + s. Suppose -z = -7*b + 2*b. Is b a prime number?
True
Suppose 6 = -4*n + 14. Suppose 5*h - n*g - 4 = 6, 0 = h - g - 2. Suppose -2*a - h*a + 76 = -4*x, 2*a - 3*x - 38 = 0. Is a composite?
False
Let f = 6 + -4. Is 57/12*f*2 composite?
False
Let x(n) = n**3 - 2*n**2 - n + 7. Suppose 0 = -2*b + 3*b + 4*j - 1, 13 = 3*b + 2*j. Is x(b) a composite number?
True
Let t(a) be the third derivative of -11*a**4/6 + a**3/2 + 2*a**2. Is t(-5) a prime number?
True
Suppose 2*b + 1 = 7. Suppose -3*w = -l - 2 - b, -25 = -3*w + 5*l. Suppose -2*c + 44 = g, w*c - c = -3*g - 15. Is c a prime number?
False
Let g = 915 + -458. Is g prime?
True
Suppose -4*u - 4 = -5*h - 1, -h = -u. Suppose -5*b - 2*t = -13, -5*b - t + u*t = 3. Is (-3 + b)/2 - -16 prime?
False
Suppose 218 = 3*k + 704. Let a = k + 331. Is a prime?
False
Suppose 2*j = -1 + 3. Is (j - -78)*6/6 prime?
True
Let v(b) = b + 8. Let l = 6 - 12. Let p be v(l). Suppose 10 = p*x, -3*x + 12 = 3*t - 42. Is t a composite number?
False
Let b be -2 + -1*(1 - 2). Is b*(-2)/((-6)/(-237)) a prime number?
True
Suppose 5*q - 4 = -2*c, 2*q + 3 - 4 = -c. Let w(l) = 7*l + 3 - 13*l**q - l**3 - 16 - 22*l. Is w(-12) composite?
False
Let p = -1 + 1. Let r(w) = 3*w**3 + 2*w**2 - w. Let y be r(1). Suppose -h - y*h + 1285 = p. Is h prime?
True
Let o(z) = -3*z - 2. Let w be o(-4). Let v = w - -5. Is v a composite number?
True
Suppose 10*a - 8*a = 3194. Is a prime?
True
Let y(p) = 92*p**2 - 2*p + 13. Is y(4) prime?
False
Let c be 2/9 + (-129)/(-27). Suppose 2*h = 3*h + 3*g - 10, -5*g = -5*h + 50. Is ((-37)/(-2))/(c/h) a prime number?
True
Let g(p) = -210*p + 5. Is g(-3) composite?
True
Let d be 2/(2/(2 - 6)). Is d/(-6) + (-