1) + 13 + -14. Suppose 0 = x - 2 + t. Is 3 - x*(-1163 + 1) prime?
False
Let n(g) = 3*g**3 + 3*g - 9. Let x be n(3). Let i = 370 + x. Is i a composite number?
True
Is (-3761*(-14)/(-42))/((-3)/423) a composite number?
True
Suppose -5*o + 5*m - 1582 = -7*o, 0 = -3*m. Let b = o + 3410. Is b composite?
False
Let m be (0 - 180/(-16))/(3/40). Suppose -4*k + 7725 = 5*y, -y + m + 7571 = 4*k. Suppose 5*d - k - 2995 = 0. Is d prime?
False
Suppose -4*z + 27207 = -21721. Let n = -6563 + z. Is n a composite number?
False
Let m(y) = 3*y + 21. Let r be m(-5). Let b be ((-4)/(12/(-7473)) - 0) + -3. Suppose r*q - 170 = b. Is q prime?
True
Let d(w) = -2230*w - 11 + 1692*w + 3099*w + 2581*w + 3192*w. Is d(2) a prime number?
True
Let o be ((-6)/(-10))/(11/715). Suppose -24636 = -o*j + 27*j. Is j a composite number?
False
Let y(b) = -2*b - 12. Let k be (2*-1)/(-1 - 20/(-15)). Let x be y(k). Suppose -f + 4*d - 8335 = -6*f, -f + 5*d + 1696 = x. Is f a prime number?
False
Let z = 162871 - 95214. Is z a composite number?
True
Let n = -768885 + 1317863. Is n composite?
True
Suppose -168*l - 94903846 + 185808202 = -125956932. Is l prime?
False
Let o(n) = n**3 + 1271. Let t be (-30)/(-4)*(5 + 39/(-9)). Suppose 3 = 2*c + 3*f, t*c + 0*f = -4*f + 4. Is o(c) a composite number?
True
Is (9649*-1)/(1862/209 - 9) composite?
True
Let q = 54 + -60. Is ((-9942)/15)/(q/15) a composite number?
False
Suppose 0 = 5*d + 5*h + 65, -2*d - 17 + 3 = -h. Is (-1700865)/(-189) - (-1 - d/7) a prime number?
True
Let z be 3 + 92/8*-2. Let j = 60 - z. Suppose q - 199 = -j. Is q a prime number?
False
Is 351/2574 + 2749535/22 a prime number?
True
Let d = 270267 - 62820. Is d a composite number?
True
Let r = 20388 - -6071. Is r prime?
True
Suppose -13964 = -4*b + 61428. Suppose -5*j + d + 47205 - b = 0, 5661 = j + 5*d. Is j a prime number?
False
Suppose 2*x = 5*p - 2 + 7, 3*x + 5 = -5*p. Let c(f) = 10*f + 787. Is c(x) prime?
True
Suppose -27 = -2*g - b + 3734, 2*b + 3758 = 2*g. Suppose 3*c = c + 8. Suppose -o + 7*f - c*f = -g, -3*o + 4*f = -5645. Is o a composite number?
True
Let h(b) be the third derivative of b**6/120 + 7*b**5/12 + 3*b**4/8 + 13*b**3/3 + b**2 + 53. Is h(-15) prime?
True
Suppose -4*w + 3*q + 6147 = 0, 2*w + 3*q - q = 3070. Suppose -4*m - 2913 = -m. Let i = m + w. Is i a prime number?
False
Suppose 8 = -j + 11. Let h be (-1 - -1) + -6*j/(-9). Suppose 0 = -h*t + 7*t - 4295. Is t composite?
False
Let b = 1127690 + -228927. Is b composite?
False
Let l = 13 + -7. Let p(t) = 4*t - 23. Let z be p(l). Is z*(-2 + 229 + -4) a composite number?
False
Let n(i) = -i + 14. Let w be n(6). Let z(y) = -95*y + 484*y + w + 516*y. Is z(3) a composite number?
True
Suppose 5*q - 67341 = 58754. Is q a composite number?
False
Let n(t) = 2*t**2 - 16*t + 2. Let h be n(8). Suppose -z - 1205 = h*l, z = -5*l - 2*z - 3011. Let j = 1327 - l. Is j prime?
True
Suppose 2 - 9 = -r. Let c(q) = 2*q + 0*q - 19 + 24*q. Is c(r) a prime number?
True
Let x be (6470/30)/((-1)/(-12)). Let c = -1421 + x. Is c composite?
True
Let j(n) = -602*n**3 - 4*n**2 - 12*n - 11. Is j(-4) a composite number?
False
Let h = 37 - 77. Let v be h/(-6)*(5 - 42/12). Suppose -15*j + v*j = -455. Is j a composite number?
True
Is 267274 + (-2)/((-56)/252) prime?
False
Let n = -7 - -11. Let w = 536 + -535. Is (16626/24)/(w/n) prime?
False
Let f = 670988 - 46893. Is f a composite number?
True
Suppose -3*t = -19*t + 288. Is (-301795)/(-35) - t/(-63) prime?
True
Let u(w) = -288*w. Let j be (-1 - (3 - 3)) + 3. Let i be u(j). Let f = i - -1307. Is f a prime number?
False
Let f be 3*1 + 101475/3. Suppose 0 = 4*s - 4*q - f, -3*s + 0*s - 3*q + 25395 = 0. Is s a prime number?
True
Let w(j) be the first derivative of 250*j**3 - 6*j**2 - 61*j - 255. Is w(-5) a composite number?
False
Suppose 26*m - 17*m - 15*m = 0. Suppose -3*x - 7*x + 8870 = m. Is x a prime number?
True
Let k(s) = s**3 + 8*s**2 - 107*s - 1. Is k(18) composite?
True
Let s(d) = 7815*d**2 + 199*d - 21. Is s(4) a composite number?
True
Suppose -16*m = -6*m - 200. Let w(d) = 18*d**2 - 20*d + 99. Is w(m) prime?
True
Suppose -x = -5*p + 14710, -5*x + 13 + 12 = 0. Is p/6*2 - -4 composite?
True
Suppose 3*i = 4*g + 41, -34 = -2*i + 3*g - 5. Suppose -d + i*d = 18654. Is d a prime number?
True
Let v = 28 + -6. Suppose -7*y = -v*y + 60. Suppose 16316 = t + y*t + 3*s, -16310 = -5*t - 5*s. Is t composite?
True
Suppose -2*r + 4*r = -2*v, 2*r + 30 = 4*v. Suppose -4*k + 5*a = -11, -k + 5*a - 5 = -4. Suppose -5*x = -v*s - 4565, k*s = -4*x + 1128 + 2508. Is x prime?
True
Suppose 0 = p, 2*p + 3*p + 35856 = 4*c. Let a = c + -4485. Is a a composite number?
True
Is (-5)/((-35)/444073) - (7 + -10) composite?
True
Let t(d) = -20*d - 58. Let o be t(-28). Is (5 - o - -6)*-1 a prime number?
True
Is (-15)/(-10)*(3/4)/((-117)/(-9504664)) prime?
False
Let y = -55 + 57. Suppose -d + 10 = d + y*r, 4*d - 2*r - 2 = 0. Suppose d*k - 3*k = -127. Is k prime?
True
Let r(k) = -4*k + 4. Let m be r(10). Let v = m - -37. Suppose -30 - v = -y. Is y prime?
True
Suppose 0*o - 6*o + 183036 = 0. Suppose o = m + m. Is m composite?
True
Let l = 127843 + -84188. Let n = l - 30988. Is n a composite number?
True
Let f be (-130)/(-25) + -5 + (-6982)/10. Let t = f + 1653. Is t composite?
True
Is ((-20474128)/(-2272))/((-1 - 1/(-2))*-1) a composite number?
True
Suppose 112*v - 117*v - 30 = 0. Let h(l) = -8155*l + 215. Is h(v) a prime number?
False
Suppose -4*a + 0*x - 26 = -3*x, 0 = -4*x - 8. Is (-5078)/4*((-2 - 0) + a) composite?
True
Let k(m) = m**2 - 2*m - 112. Let s be k(-9). Is 46/(-299) - 79419/s composite?
True
Let p = -1971 + 4580. Is p a prime number?
True
Let u = -105 + 189. Let h be (-8)/(-14) + (-552)/u. Let a(m) = -91*m - 23. Is a(h) composite?
False
Suppose -v = 5, t + 0*t - v - 25 = 0. Suppose 13872 + 16108 = t*s. Is s prime?
True
Let r(a) = 52*a**3 + 125*a**3 + 3*a**2 - 4 + 95*a**3 + 2*a - 66*a**3. Is r(3) prime?
True
Let r be ((-72)/(-15))/8*35. Suppose -r*k = -22*k - 3*t + 10481, -2*k + 20972 = t. Is k composite?
False
Suppose 4*q = 4*v - 5*v - 16, -5*v = q + 4. Is (-3 + -8102)/(q/4) prime?
False
Let d = 360425 - 69372. Is d prime?
False
Let b be ((-13)/(-39))/((-152)/153 - -1). Suppose 40*v + 1529 = b*v. Is v a prime number?
True
Is (-102667)/(1 + (-6 - -4)) a prime number?
True
Let l be (368/32)/(2/4). Suppose 18*z + 8655 = l*z. Is z prime?
False
Suppose 565548 = 3595*p - 3583*p. Is p composite?
False
Is (164/(-574) - -3*(-54)/21) + 277645 a prime number?
True
Suppose -55*q = 85*q - 176*q + 140652. Is q a composite number?
False
Let v(p) = 241*p + 35. Let b(m) be the third derivative of 5*m**4 + 17*m**3/6 - 11*m**2. Let l(o) = -7*b(o) + 4*v(o). Is l(5) a composite number?
False
Let s = 20813 - 10487. Suppose 0 = -54*m + 57*m - s. Is m a prime number?
False
Let n = 177 + -123. Suppose 4*x - n = -5*x. Let o(v) = 21*v**2 - 4*v + 5. Is o(x) composite?
True
Suppose 0 = -3*o + 95*k - 96*k + 35584, 0 = -4*k + 4. Is o a prime number?
False
Suppose -2137 = 8*y - 561. Let a = 3030 + y. Is a prime?
True
Let t be (2188/(-5))/((-10)/(-75)*1). Let l = t + 4769. Suppose -4*p = 0, 2*p - 2709 - l = -4*c. Is c a prime number?
True
Let p = 132 + -90. Suppose -p*n = -31*n - 40601. Is n a prime number?
True
Let b be 109580/(-10) - ((-4)/4 - 4). Let c = -6530 - b. Is c prime?
True
Suppose 5*t + w + 100 = 0, -4*t = -3*w - 10 + 90. Is 40494/4 + t/40 a composite number?
True
Let g(k) = 292*k**2 + 2*k - 1. Let i be (4*(-5 - -4))/(-1*2). Suppose -i*m - 6 = -8*m. Is g(m) a prime number?
True
Is (-146)/511 + ((-381807)/(-7))/3 prime?
True
Let y = -50395 - -82802. Is y a composite number?
True
Suppose 0 = -2*p - 2396 - 3512. Is ((-18)/(-6))/((-6)/p) prime?
False
Let a be (-9)/(-1 + 2 + -2). Suppose -38*q = -36*q. Suppose 6741 = -q*n + a*n. Is n a composite number?
True
Let c(g) = 86965*g - 784. Is c(2) a prime number?
False
Let x(s) = s**3 + 22*s**2 + 8*s - 20. Suppose 0 = 4*k - 5*u + 69, 2*k - 4*u + 93 = -3*k. Let h be x(k). Is -1 + 1 + (h - 4) - 2 prime?
False
Let r be (0 - (-1 + 2))*(-48 - -4). Suppose r*z - 50*z = -38226. Is z a prime number?
False
Let x(w) = 1653*w**3 + 3*w**2 - 16*w + 79. Is x(5) a composite number?
False
Suppose 0 = 19*b + 28*b - 235. Let o(q) = 50*q**2 + 3*q + 8. Is o(b) a prime number?
False
Suppose 3*n - 232042 = v + 300981, -n