e (-129)/27 + 8/(-36). Is (-5444)/(-14) + z/a prime?
True
Suppose 113*o = 121*o + 224. Is (-16)/o - (-22661)/119 prime?
True
Let r(f) = 2*f + 485. Suppose 5*g + 21 = 4*s - 24, -4*s - 3*g + 5 = 0. Suppose x + x - 8 = 4*k, 0 = -3*k - s*x + 20. Is r(k) a composite number?
True
Suppose -4*q = x, 9*q + 2*x = 6*q + 5. Let b(t) = 3796*t**2 - 5*t - 2. Is b(q) a composite number?
True
Suppose 7*z - 4*z - 9306 = 0. Let f = -981 + z. Suppose 0*s - f = -3*s. Is s composite?
True
Suppose -3*t + 24 - 9 = 0. Let f(r) = 19 - 20*r + t*r - 113*r. Is f(-3) prime?
False
Let v = -32075 - -45232. Is v prime?
False
Let d = 1274808 - 844159. Is d a composite number?
False
Let c be (-1 - (-22)/(-8))/((-42)/1741712). Is -2*(-10)/(-130) - c/(-26) a composite number?
False
Suppose 5*j - j = -2*q + 130, 4*j + 245 = 3*q. Let c = 1309 + -1307. Suppose c*g - q = 143. Is g a prime number?
True
Suppose 3596683 - 9017622 = -23*x. Is x composite?
True
Suppose 5003 = -i + k, -2*k + 3548 = -3*i - 11466. Let n = i + 10097. Is n prime?
False
Let m be 28/4 + (-175815)/(-9). Let h = m + 619. Is h a composite number?
False
Let q = -208 - -205. Let l(h) = -148*h**3 - 2*h**2 - 3*h + 2. Is l(q) prime?
True
Is 6844 + 2 + (-25 - -20) prime?
True
Let n = -128280 - -407841. Is n a composite number?
True
Suppose 28*l - 1275188 = -189404. Suppose -5*v + l = -7657. Is v composite?
True
Let r = 201 + -320. Is r/(-2)*76/133 a composite number?
True
Let r(w) = 61*w - 86. Let g be r(26). Let c = g + -635. Is c a composite number?
True
Let j be 288/156 - (-2)/13. Suppose -j*l + 6 - 2 = 0. Suppose 654 = 5*o - t, o + l*t + 69 = 202. Is o prime?
True
Let c(r) = 0*r**3 - 3*r - 18 + 12 - r**3 - 3*r**2. Let g be c(-3). Suppose g*z = -16*z + 16663. Is z prime?
True
Let b(q) = -q**2 - 7*q + 28. Let k be b(-11). Let z = k - -12. Is (0 + -1964)*z/16 prime?
True
Let a(h) be the third derivative of 13*h**5/60 - h**4/24 + 7*h**3/6 + 6*h**2 - 26. Suppose -w = -3 - 1. Is a(w) a prime number?
True
Let g(q) = -4*q**2 - 49*q - 166. Let i be g(-38). Let m = i - -14213. Is m a prime number?
True
Let x(w) = -w - 8*w**2 - 5*w + 58*w**2 - 16 + 15. Let a be x(-4). Let s = a + -569. Is s a composite number?
True
Suppose -258*m = -214*m - 2900102 + 1017474. Is m composite?
False
Suppose p - 1 = 14. Let u = 3 + p. Suppose -z + u + 503 = 0. Is z a composite number?
False
Let w = 29 - 22. Suppose -w*f = -20 - 1. Suppose 5502 = 3*m + f*m. Is m composite?
True
Suppose 5*r + 0 = 15. Let k(n) = 5417*n + 4. Is k(r) composite?
True
Let o(s) be the third derivative of 0 + 7*s**2 + 0*s + 7/12*s**4 + 7/6*s**3 + 1/5*s**5. Is o(-6) a composite number?
True
Suppose -3*d = 9 + 12. Let q(a) = a**2 + 8*a + 11. Let o be q(d). Is (3 - (-1300)/(-8))/((-2)/o) a prime number?
False
Suppose x - 4*x = 5*i, 0 = -5*i + x. Let d(y) = y**3 - 3*y**2 + 6*y - 2. Let u be d(2). Suppose 5*l = 2*f - 354, -f + u*f - 5*l - 885 = i. Is f composite?
True
Let i(k) = 39893*k - 306. Is i(5) composite?
True
Let l(k) = -11*k**2 + 13*k - 21. Let t be l(-8). Is t*((-6)/(-3) + -3)*7 a prime number?
False
Suppose 0 = -42*x + 39*x - 4*o + 35, 5*x = -4*o + 45. Let i(p) be the third derivative of p**5/10 + 7*p**4/8 - p**3/6 - p**2. Is i(x) a prime number?
False
Is 1/20 + 26918/40 prime?
True
Let b(m) = 28*m**2 + 17*m + 58. Let u be b(-3). Let i = u - -328. Is i composite?
False
Is (-4 - (-72)/16)/((-1)/(-264382)) prime?
False
Let v = 42 - 39. Suppose -b = 5*q - 2*q + 41, 3*q - v*b = -57. Is (-31848)/q + 1/(-5) a prime number?
False
Suppose -1229*u = -1231*u - t + 958921, 5*u - 2397301 = -4*t. Is u composite?
False
Let j = -49 - -52. Suppose 0 = 5*m - 3 + j. Suppose -2*p + 1640 = 2*z, -3*p + 3*z - 5*z + 2455 = m. Is p composite?
True
Let i = 732 + 23. Let g = 1174 - i. Is g prime?
True
Suppose -3*r = -8*r + 60520. Let c = r + -4716. Suppose 5*w - w = c. Is w a prime number?
True
Let m(v) = 253*v**2 + 5*v + 19. Suppose 3*t + 2*i + 0 + 12 = 0, -2*i + 30 = -4*t. Is m(t) composite?
True
Let i = 13873 + -6975. Suppose 0*h = h - 5*m - 3419, 2*h - i = -5*m. Suppose -4*t - 4*j + 13836 = 0, t = 7*j - 3*j + h. Is t composite?
True
Let n(f) = 5*f**2 + 25 - 6*f - 7*f**2 - 6*f**2 + 21*f**3. Is n(6) a composite number?
True
Let j(g) = g**3 + 39*g**2 - 43*g - 37. Let v be j(-40). Let f be 3 + (-329 - 3) - 3. Let w = v - f. Is w a composite number?
True
Suppose 5*x = 3 - 23. Let l(q) = -27*q**3 + 9*q**2 + 2*q - 17. Is l(x) composite?
False
Suppose 3*r + 2*p - 506943 = 0, -5*p = 21*r - 20*r - 168994. Is r prime?
False
Suppose 0*r = r - 3. Suppose -u - r*m = 4, -2*m = 3 - 1. Is -2 + (u - -223) + 1 + 0 prime?
False
Let l = -36 + 43. Suppose -l*i = 3*k - 4*i - 7374, 4*k - 9822 = -2*i. Is k composite?
True
Let r(c) = 103*c**2 + 5*c + 2. Let l be r(-2). Let n = 5403 - l. Is n a prime number?
True
Let u(r) = -2*r**2 - 14*r - 9. Let m be u(-6). Suppose 2*l = 2*i - 9 + 941, -m*l = 12. Is (i + -9)*(-2)/(4 + -2) composite?
False
Let b(x) be the second derivative of 0 + 45/2*x**3 + 24*x**2 + 13*x. Is b(5) a composite number?
True
Suppose k - 99 = -15. Is 6/(-14) - (-28344)/k prime?
True
Let a be (16/(-6) + 2)/(12/(-54)). Suppose 255 = 5*u - 2*k - 63, -a*u + 198 = -3*k. Let m = u - -647. Is m a composite number?
False
Let d(x) = 12*x**3 + 10*x**2 + 20*x - 269. Is d(16) prime?
False
Suppose -27*r = -2*r - 45575. Let i = r + -442. Is i a prime number?
True
Suppose 44*y = 396741 + 753991. Is y a prime number?
True
Let q be ((-2)/(-5))/((-15)/1125). Let a = q - -33. Suppose 3*v - 4230 = -y, -y = -0*y - a. Is v a prime number?
True
Suppose -4*n = -r + 339165, 5*r - 54*n - 1695829 = -38*n. Is r composite?
True
Let f be ((-6103)/(-2))/(6/24). Suppose -13760 = 5*c + 4*j + 6562, 4*j - f = 3*c. Is c/(-12) - 11/(-66) a composite number?
True
Let y(a) = 56*a**2 + 9*a - 3016. Is y(42) a prime number?
False
Let g = -310 + 312. Suppose 10 = g*s, -6*r + 4*s + 4845 = -r. Is r prime?
False
Let w(q) = 1410*q + 1919. Is w(53) composite?
False
Let x be -4 - 32/(-20)*20/8. Suppose x = -5*h - 15, 2*h = 2*a + 7*h - 1347. Is a prime?
False
Suppose -555 = 5*q + 5*y, -173 + 44 = q - 5*y. Is ((-38)/q)/((-2)/(-12282)) a prime number?
False
Suppose -3*u = 66*u - 17935377. Is u a prime number?
True
Let l(c) = -c**3 + 168*c**2 - 152*c - 1367. Is l(74) prime?
False
Let h(y) = -13*y**3 - 4*y**2 + 13*y + 40. Let s be h(-6). Let g = s + 9397. Is g a prime number?
False
Suppose -3*t - t = -152. Let g = t + -38. Suppose 5*q - 108 - 1407 = g. Is q a prime number?
False
Suppose 14*w + 1494275 = 5108221. Is w composite?
True
Let a(o) = -15*o**3 - 18*o**2 + o - 103. Is a(-10) a composite number?
True
Suppose 13 = 2*f - 2*p + 5*p, -5*p = -5. Suppose 3*g - f*y = 1161, 3*g = -y + 239 + 904. Is g prime?
False
Suppose -2*u - 3*x = -4, -3*u + x + 6 = 2*x. Let o(b) = 4291*b**3 - 3*b**2 + 9*b - 15. Is o(u) composite?
False
Let h = -1181 + 1195. Let s = -21 + 412. Is (s/2)/(7/h) a prime number?
False
Let r(k) = 2*k**3 - 11*k**2 - 2*k + 2. Let b be r(4). Let t = b - -56. Suppose 2833 = -u + t*u. Is u prime?
True
Let z(t) = 122*t**3 + 7*t**2 - 24*t - 2. Is z(9) composite?
True
Let n be 8 + 1 - (-64)/(-16). Suppose 4*x - n*t - 16214 - 40789 = 0, -28509 = -2*x + t. Is x a composite number?
True
Suppose 0 = -4*a + 47400 - 14216. Suppose -3*y + 0*z = z - a, -z = 5. Is y composite?
False
Let a(p) = 2785*p**3 + 4*p**2 - p + 3. Let g = 92 + -89. Let h(l) = 8355*l**3 + 11*l**2 - 3*l + 8. Let n(z) = g*h(z) - 8*a(z). Is n(1) a prime number?
False
Let o(i) = -i**3 - 6*i**2 + 12*i + 4. Let y be o(-12). Let h = 1423 - y. Suppose h = 6*w - 3*w. Is w a prime number?
True
Let n(o) be the first derivative of -32*o**3/3 + 19*o**2/2 - 21*o - 35. Let t be n(-14). Let s = -4038 - t. Is s composite?
False
Let g(j) = -164*j**3 + 17*j**2 - 108*j - 38. Is g(-13) a prime number?
False
Let v(b) be the second derivative of -2*b**3 + 0 + 3/2*b**2 + 24*b - 11/5*b**5 - 1/4*b**4. Is v(-4) a prime number?
True
Let l be (339 - (2 - (-7 - -4))) + -1. Suppose 5*b - 221 = 174. Let x = l - b. Is x prime?
False
Let z(u) = 2*u - 14. Let f be z(16). Let c(a) = -272*a + 1. Let t be c(-10). Is 2*t/f*(0 - -3) a prime number?
True
Suppose -2*q = 2*l + q - 1044, 0 = -3*l + q + 1577. Let a = 142 + l. Is a composite?
True
Suppose -6127 + 1807 = 8*m. Let r = 1095 + m. Suppose 2*n = -n + r. Is n compo