 3*h = 4*h + 127. Let s = h - -246. Is s prime?
False
Suppose 5*t + 27 = -303. Let z be (-1)/(t/(-34) - 2). Suppose k - 18 - z = 0. Is k prime?
False
Is 2/3 - 0 - 15342/(-18) a prime number?
True
Suppose -4*i = -0*i - n + 54, -5*i - 2*n = 74. Let y be i/(-8) - 3/(-12). Suppose -6*o = -y*o - 52. Is o prime?
True
Let g = 27434 + -17929. Is g composite?
True
Let n(x) = 2*x**2 + 5*x + 4. Suppose -44 = -5*z + 21. Suppose -2*f - z = i, i + 4*i - 3*f = 0. Is n(i) a prime number?
True
Suppose 0 = -3*z - 4*s + 1449, 0*s = -3*s + 9. Is z prime?
True
Suppose -10*j + 11*j = 13. Is j prime?
True
Let m be (-2 + 1*6)/2. Let p be (m - 1) + 1 + 3. Suppose -3 = -p*g + 27. Is g a prime number?
False
Suppose -2151 = -5*y - 4*g, -5*g + 2125 - 397 = 4*y. Is y a composite number?
True
Suppose m - 372 = 5*m. Let t = 34 - m. Is t a prime number?
True
Let j(w) = 38*w**2 + 3*w + 2. Is j(-5) prime?
True
Suppose b - k - 338 = 0, 0 = -4*k - 9 + 21. Is b prime?
False
Let h = 29 + -10. Suppose -3*k + 9 = o - h, -o + 2*k = -33. Is o a prime number?
True
Let a(w) = 2*w + 2*w + 10 - w. Let q be a(-7). Let b = q - -22. Is b a prime number?
True
Suppose -2*r - 2*r = -620. Is r prime?
False
Let f be (12/5)/(2/(-65)). Let t = 245 - 76. Let u = f + t. Is u a prime number?
False
Let d(r) = 27*r**2 - 2*r. Let b be (1 - 15/6)*2. Is d(b) composite?
True
Let d(b) = 2*b**2 - 5*b + 2. Let u be d(3). Suppose 0 = 4*l - u*l + 93. Is 1/(3/l + 0) a prime number?
True
Suppose 4259 + 483 = 2*x. Is x a composite number?
False
Suppose -15*x = -11*x - 44788. Is x a prime number?
True
Suppose -3*q = -2*l - 3*l - 17, -3*l - 10 = -2*q. Let i(v) = -287*v. Is i(q) prime?
False
Let g = -286 + 695. Is g a prime number?
True
Let p be 1/(1/3 - 0). Suppose p*x = -f + x - 72, 2*f + x + 147 = 0. Let o = f - -129. Is o composite?
True
Suppose -11 = 4*j - 3*d, 2*j + j = 5*d. Let w = j + 9. Suppose w*f + 43 = 5*k, 22 = 5*k + f - 36. Is k a composite number?
False
Suppose 4*z - 2*c - 208 = 0, 2*c = 5*z - 2*c - 263. Is z a composite number?
True
Let k be (868 - 1) + 0 + 0. Suppose 5*h + i = -3*i + 1481, -3*h + 3*i + k = 0. Is h a composite number?
False
Let i be (-45)/20*(-71 + -1). Let d = -79 + i. Is d prime?
True
Let s(b) = -b**3 - 11*b**2 - 10*b + 7. Suppose -6*d - 5*c = -2*d + 9, -5*d + 5*c = 45. Let p be 62/d + (-2)/(-6). Is s(p) a composite number?
False
Let t(v) = -432*v**2 + 1. Let w be t(1). Let j = w - -622. Is j a composite number?
False
Suppose -4*k = p - k + 7, -3*p = -3*k - 15. Let o = p - -2. Suppose -o*c + 9 = -143. Is c composite?
True
Let u(a) = 2 - 10*a**3 + 6*a**3 + 0*a + 1 - 2*a**2 + 3*a. Let p be u(-2). Is p + (1 - 0)*0 a prime number?
False
Let c(o) = -10*o**3 + 32*o**2 + 42*o + 50. Let s(r) = -3*r**3 + 11*r**2 + 14*r + 17. Let z(w) = 2*c(w) - 7*s(w). Is z(15) a prime number?
False
Let h be 43/(-5) - 9/(-15). Let a = h + -12. Let p = a + 41. Is p a composite number?
True
Let o be 39/(-9) - 2/3. Is -4 - o - (1 + -67) a composite number?
False
Let l = 777 - 308. Is l a prime number?
False
Suppose 8 = b - g, 4*g + 42 = 4*b + 2*g. Let l = -11 + b. Is l composite?
False
Let j(a) = 5*a**3 + 32*a**2 + 39*a + 13. Let d(t) = -t**3 - 8*t**2 - 10*t - 3. Let h(r) = 9*d(r) + 2*j(r). Is h(12) prime?
True
Let b = -301 - -1778. Is b a composite number?
True
Let f(t) = 13*t**2 + 4*t + 13. Is f(6) prime?
False
Let x(n) = 3*n + 4. Let s be x(-2). Is ((-282)/(-9))/(s/(-15)) composite?
True
Let h be (-3)/(-9) + 29/3. Let j = h + -7. Suppose -2*i - j*i = -575. Is i a prime number?
False
Let z = -359 + 560. Suppose u + 4*u + 4*d - z = 0, 0 = 4*u - 4*d - 132. Is u composite?
False
Suppose -2*p = 2*p - 12. Let s = p - -1. Suppose -3*m + 2*m = s*v - 63, -4*m = v - 222. Is m a prime number?
False
Let g be (-1 - (-7 + 0))*-1. Let j be (-3)/(g/(-4)) + 1. Is 85 + j/((-3)/6) a composite number?
True
Let g = 150 - 23. Is g composite?
False
Suppose 3*q + 15 = 0, 3*q + 9 = -i - 4. Let z be (3/i + 0)*40. Let b = -13 + z. Is b a prime number?
True
Let w = -126 + 287. Is w composite?
True
Let i(a) = -3*a**3 + a**2 + a + 23. Is i(-10) prime?
False
Suppose -2*y + 1059 = -y. Is y a composite number?
True
Let m be 3/9 - (-5)/3. Is ((-1324)/16)/(m/(-8)) composite?
False
Let m(n) = 2*n**2 + 5*n - 8. Let y be m(-8). Suppose -2*g = -20 - y. Suppose 5*p - 157 = -h, -3*p + 3*h = -g - 37. Is p prime?
True
Let q(g) = -6*g + 1. Let n(m) = 6*m - 1. Let j(a) = -4*n(a) - 5*q(a). Let r(v) = 3*v - 3. Let t be r(3). Is j(t) a composite number?
True
Let k = -219 + 776. Is k a composite number?
False
Let a(i) = i**3 - 10*i**2 - 2*i + 2. Let p be a(8). Let g = -55 - p. Is g a composite number?
True
Let o = 20 + -13. Suppose -4*l + o = -9. Suppose 4*n - l*c - c = 338, -3*c + 180 = 2*n. Is n composite?
True
Let g(y) = 19*y - 11. Let k be g(8). Suppose -4*b + k = -b. Is b prime?
True
Suppose -4*n + 0*n + 296 = 0. Suppose -2*j = -j + n. Let l = j + 111. Is l a prime number?
True
Let z be ((-2)/(-3))/((-12)/(-90)). Suppose z*k - 76 - 189 = 0. Is k a prime number?
True
Let i = -2413 - -3647. Suppose 0 = -5*t + 977 - 82. Suppose -5*w + i = t. Is w a prime number?
True
Suppose -b - 4*b - 10 = 0. Suppose n - 3*o - 39 = 0, 2*n + 5*o = 6*n - 135. Is 3430/n - b/3 composite?
True
Suppose 0 = -5*w + 10*w - 15. Suppose x = 5*d - 1731, -5*d + w*x + 2020 - 297 = 0. Is d a prime number?
True
Let d(s) = 222*s**2 + 1. Is d(-1) prime?
True
Suppose -w = -5*w - 12. Let d be ((-1)/(-2))/(w/(-24)). Suppose 0*o - 50 = -o + 5*c, -2*o - d*c = -114. Is o a prime number?
False
Let f(i) be the first derivative of i**3/3 - i**2/2 - 4*i + 2. Let h be f(3). Let d(o) = 14*o - 3. Is d(h) prime?
False
Let w(q) = 254*q - 1. Let g = -8 - -9. Is w(g) prime?
False
Let p(f) = 80*f - 9. Is p(5) a prime number?
False
Let l(a) = 1008*a. Let s be l(2). Suppose 4*u - 4*o - 1488 = 0, -146 + s = 5*u + 5*o. Is u a prime number?
True
Let b(r) = -r**2 + 2*r - 1. Let m be b(1). Suppose 4*p + 351 - 995 = m. Is p a composite number?
True
Let t = 146 - 65. Let j = 130 + t. Is j a composite number?
False
Let x(k) = 3*k**2. Let b be x(4). Let f = 32 - b. Let y = 23 + f. Is y composite?
False
Let h be 3 + 3/(-3) + 0. Suppose -4*m = -7*w + h*w - 747, w = 4*m - 735. Suppose 0 = -5*x - 3*v + 430, -4*x + m + 168 = v. Is x a prime number?
True
Suppose -4*v + 337 = -107. Is v a composite number?
True
Let s be ((-63)/(-6) + -1)*2. Is s/1*(1 + 0) prime?
True
Let w be 6/4*(-68)/(-6). Let j(d) = 5*d - 21. Let f be j(5). Suppose -5 = f*b - w. Is b composite?
False
Suppose 4*d = -2*c - 10, 5*d = 4*d - 1. Let h = 2 - c. Suppose -5*s + h*i + 100 = 0, 0 = -3*s - 4*i + i + 78. Is s prime?
True
Let n = -129 - -614. Is n a composite number?
True
Let m = -2 + 1. Suppose 4 + 8 = 3*a, -3*a - 88 = -5*g. Let r = m + g. Is r a prime number?
True
Suppose 5*n - 130 = 3*n. Is n prime?
False
Let v be 6 + 1*2/(-1). Is (-6)/v + 386/4 composite?
True
Suppose 4*w = -w + 2365. Suppose -3*d + w = 77. Suppose q + 5*y = -2*q + d, 2*q = -5*y + 83. Is q a composite number?
True
Let r(h) = 12*h + 11 - 4*h + 27*h. Is r(6) a composite number?
True
Suppose z - 289 = 3*h + 61, z - 349 = 4*h. Is z a prime number?
True
Let v be 15/(-12) - (-2)/8. Let t be 2*v/4*14. Let l(i) = -4*i + 5. Is l(t) a prime number?
False
Suppose 2040 - 260 = 5*j. Let v be (-1)/4 - j/(-16). Is ((-39)/6)/((-1)/v) composite?
True
Suppose -2*j + j + 2*u + 193 = 0, 3*u = 5*j - 951. Let i = j - 98. Is i prime?
False
Let u = 5 - 7. Is (u + 2 + 1)*11 a composite number?
False
Is 3 + 1056 + (-4 + 2 - -4) prime?
True
Let t(u) = -19*u + 8. Is t(-7) a prime number?
False
Let d(i) = 11*i**2 + 3*i - 1. Let c be d(2). Let s = c + -6. Is s a prime number?
True
Let o(u) = -u**3 + u**2 - 1. Let d be o(-1). Let s = -2 - d. Let c = 7 - s. Is c prime?
False
Is -758*3/(6/1)*-3 composite?
True
Let w(p) = p - 3. Let v be w(3). Suppose 5*g + c - 11 = 0, -g - 5*c + 4 = -3. Suppose v = -5*h + d + 112 + 218, -2*h - g*d = -120. Is h a prime number?
False
Let g(i) = 7*i**2 + 5*i - 3. Let m be g(6). Let l = m - 98. Is l composite?
False
Let c = 302 + 275. Is c a prime number?
True
Is (18/4 + -4)*518 composite?
True
Let a be (-6)/4*36/(-3). Suppose 3*k + a = 5*k. Is k composite?
True
Let q(m) = m + 23. Let h(y) = -y + 1. Let s be h(-1). Suppose 0 = 4*o + 8, 12 = -s*j + 5*o + 2. Is q(j) composite?
Fals