(-11). Let q = n + 265. Let x = q + -127. Is x composite?
True
Suppose 4*l - 8*l - 2*j + 58848 = 0, -2*j = l - 14709. Is l prime?
True
Let r be -2 - 10*2/(-4). Suppose r = y + 2*o, o - 3 = 2. Let u(m) = m**3 + 8*m**2 + 7*m + 10. Is u(y) prime?
False
Suppose 4*p - 7110 = -14*p. Is p composite?
True
Let a = 1 + 102. Suppose 3*z - a = g - 8, -4*z - 2*g = -130. Let k = -9 + z. Is k a composite number?
False
Let a(i) = -i + 14. Let l be a(9). Suppose -l*k - 1035 = -5*d, d = 2*d + k - 203. Is d a prime number?
False
Let j(t) = t**2 - 12*t - 28. Let o be j(14). Suppose -8*y = -o*y - 11816. Is y prime?
False
Suppose 21587 = 4*u - 2*n + 3*n, 4*u + 3*n - 21577 = 0. Let x = 8649 - u. Is x prime?
True
Let d be (-2 - -5) + 1/1. Let g be d/(-30) + (-27548)/(-60). Suppose -4*v + g = 7. Is v a composite number?
False
Let r(h) be the third derivative of h**6/120 - 13*h**5/60 + 5*h**4/12 + 7*h**3/3 - 5*h**2. Let x be r(12). Let d = 4 - x. Is d prime?
False
Suppose 10 = -w + 6*w. Suppose -4*b + 5*k = -2*b - 417, w*k = b - 209. Is b composite?
False
Let j(t) be the first derivative of -t**3/3 - 7*t**2 - 7*t + 4. Let g be j(-13). Is g/(-4) - (-235)/10 a composite number?
True
Let y be ((-27)/6)/((-2)/(-136)). Let h be y/(-4)*(-6)/(-9). Is (-4)/(12/h)*-29 a prime number?
False
Is -3 + (-3582)/(-3) + -1 + -1 composite?
True
Let j(r) = 329*r**2 + 4*r - 7. Let a be j(2). Let t = 2260 - a. Is t a prime number?
False
Suppose -5*g + 463 = -1117. Suppose -9*f + 5*f + g = 0. Is f composite?
False
Let m(a) = -6*a - 19. Let f(o) = 4*o + 13. Let c(r) = -7*f(r) - 5*m(r). Let q be c(6). Suppose -4*u - 4 = q, u - 86 = -z. Is z composite?
True
Suppose 2*m = 10*z - 14*z + 7486, 3*m + 2*z = 11217. Is m composite?
True
Suppose -4 = -6*c + 4*c. Suppose 2*f - c = 2. Suppose -3*t - 4*b = -959, 160 = -t + f*b + 483. Is t composite?
True
Is 4/3*1374/12*3 a composite number?
True
Let j(m) = 9 + 5*m**2 - 2*m**2 + 16 - 14*m - 2. Is j(12) a composite number?
True
Let f(a) be the third derivative of 229*a**4/24 - 3*a**3/2 - a**2. Is f(2) a composite number?
False
Let o be 3/((-9)/2) + (-12)/(-18). Let h(t) = 2*t + 111. Is h(o) a composite number?
True
Is 5 - 41391/(-14) - 5/2 composite?
True
Let a be (1 + -4 - -304) + -2. Let w = 1558 - a. Is w a prime number?
True
Let u = -1892 - -3992. Let i = u + -1223. Is i prime?
True
Let n(h) = h**2 - 7*h - 4. Let w be n(8). Suppose w*y = 3*y. Suppose y*l + 105 = 3*l. Is l prime?
False
Suppose 9*h = 12*h - 5205. Is h a composite number?
True
Let f be 3/(1/((-8)/(-6))). Suppose 2*v = f - 0. Let d = 8 + v. Is d prime?
False
Suppose -2*n = 491 - 30021. Is n prime?
False
Let h = -50751 + 101420. Is h a prime number?
False
Let q be 9*(14/6 - 3). Let o = 11 + q. Suppose 0*s = 2*s - n - 322, -4*n = -o*s + 799. Is s a composite number?
False
Suppose -4*i + 14148 = v - 5*i, -3*v + 42449 = -4*i. Is v a prime number?
True
Let h(w) be the third derivative of -227*w**4/24 - 13*w**3/2 + 21*w**2. Is h(-16) composite?
False
Let o be (-804)/16*264/(-9). Suppose 2*k - 916 - o = 0. Is k a prime number?
False
Suppose -120630 + 470734 = 8*b. Is b prime?
False
Let h(l) = 194*l + 459. Is h(10) prime?
True
Suppose 0 = 2*f - 60 - 1104. Suppose 0 = -4*y + f + 1958. Is y composite?
True
Suppose -5*f + 84671 - 20406 = 0. Is f composite?
False
Let p = 3822 + -1836. Suppose -2*t - p = -8*t. Is t a prime number?
True
Let r be (24/(-30))/((-1)/5). Suppose -r - 2 = y. Is (-622)/(-6) - y/(-9) a prime number?
True
Let l(p) = 316*p**3 - 2*p**2 - 5*p. Is l(3) composite?
True
Let z be 15/(-1*(-2)/10). Suppose 409 + z = 4*j. Is j composite?
True
Let c(l) = 275*l**2 + 32*l - 5. Let z(d) = 92*d**2 + 11*d - 2. Let t(k) = 6*c(k) - 17*z(k). Is t(-5) a prime number?
True
Let b = -117 - -115. Let w(o) be the third derivative of -9*o**4/2 - 5*o**3/6 + 3*o**2. Is w(b) prime?
True
Let n(q) = 2*q**2 - 4*q + 3. Let d be n(2). Suppose -2 = 3*r + 2*g, d*g + 0 = -3*r - 6. Is ((-2)/r)/(16/(-12656)) a composite number?
True
Let z be ((-12)/(-15))/(2/(-5)). Let g(l) = -102*l - 2. Let y be g(z). Suppose y + 138 = 4*c. Is c prime?
False
Suppose 2*w = -4*k + 23254, -5*w + 8*w - k - 34867 = 0. Is w a composite number?
True
Suppose 0 = 2*v - 0*v - 6. Suppose -f + 25 = 21. Suppose -4*z + 164 = f*i, -3*z + v*i = -z - 72. Is z a prime number?
False
Suppose 0 = -10*x - x - 44. Is (-1)/3*21078/(x - 2) a composite number?
False
Suppose 0 = -4*f + 9 - 5. Let w be (f/((-2)/8))/(-2). Suppose u + 3*s - 258 = -u, 0 = u + w*s - 131. Is u composite?
True
Suppose -60*t = -65*t + 19315. Is t a composite number?
False
Suppose 5*j - z - 960 = 0, j + 3*z = z + 181. Is j prime?
True
Let y(a) = 433*a - 119. Is y(12) a prime number?
True
Let d = -11 + 14. Suppose k + 10 = d*k. Suppose k*f - 71 - 204 = 0. Is f prime?
False
Let o(f) = f**3 - f**2 - f + 413. Let g = 39 + -30. Let r(j) = -2*j + 18. Let v be r(g). Is o(v) a composite number?
True
Let m(t) = -t**3 - 41*t**2 + 62*t + 191. Is m(-45) a composite number?
False
Let k = -6 + 13. Suppose k + 9 = 4*r. Suppose -14 = -r*l + 2*l. Is l a prime number?
True
Let p = 4 - 1. Suppose -p*i = i - 32. Is (2/4)/(i/5872) a composite number?
False
Let t(q) = 10*q - 5. Let d be t(-3). Is ((-1086)/5)/(14/d) a composite number?
True
Is (1/2)/(52/3272776) prime?
True
Suppose f - 5*f + 8 = 0. Suppose -f*r + 2 = -3*g + 15, -g = -3. Is 4*r/16*-382 a prime number?
True
Let y(n) = -7*n**2 + 3*n - 2. Let m be y(1). Let q(o) = -8*o + 0*o**2 - o**3 - 7 + 0*o**2 - o**2. Is q(m) prime?
False
Let h(t) = t**3 - 5*t**2 - 10*t + 5. Let z be h(7). Suppose -4*b = -32 - 48. Let p = z - b. Is p a prime number?
True
Let w = 2193 - -2242. Is w a composite number?
True
Suppose -p - 165 = 3*b, -5*b - 378 = 4*p + 310. Let d = p - -251. Is d prime?
False
Let z(n) = -n**3 + n**2 + 28*n + 87. Is z(-16) a prime number?
False
Suppose -6*l = 18 + 6. Is (l - (3 - 3)) + 42 prime?
False
Suppose 53090 - 13334 = 6*v. Is v a composite number?
True
Suppose -13*f + 51072 = -5*f. Suppose f = 10*z + 74. Is z a prime number?
True
Suppose -z + 4*z - 27 = 5*m, -3*m + 11 = 5*z. Let w be ((-39)/z)/((-3)/8). Is (21/(-2))/(-3)*w composite?
True
Suppose 3*x = -132*z + 131*z + 80618, -2*z - x = -161261. Is z a prime number?
False
Let q(m) = 38*m**3 + 2*m**2 - 4*m + 3. Let x be q(2). Let r = x - 146. Is r composite?
True
Is (-108354)/(-18)*(6 + -3) a composite number?
False
Let o(a) be the second derivative of a**4/4 + 3*a**3/2 + 7*a**2/2 - 26*a. Is o(-8) a composite number?
False
Suppose 2*h + 127 = 173. Suppose h*a - 1578 = 20*a. Is a prime?
False
Suppose 2*q + 1805 = 235. Let u = q - -1908. Is u a composite number?
False
Let j(l) = -18*l**3 + 2*l**2 + 4*l - 17. Suppose 76*i = 74*i - 8. Is j(i) composite?
False
Suppose -1018 = 2*a - 4*a - 5*o, o = a - 523. Let l = a - -158. Is l a prime number?
True
Suppose 0 = -6*j - j + 31087. Is j composite?
False
Let o(n) = n - 14. Let l be o(17). Suppose -2*c - 2 = -l*c, -k - 9 = -c. Is (-6)/(-14) + (-382)/k a composite number?
True
Let h(b) = -1700*b - 31. Is h(-3) prime?
False
Let y(k) = 2*k + 6. Let w be y(-4). Let m(v) = -4*v**3 - 9*v**3 + 3 + 2*v**3 + 2*v - v**2 - 3*v. Is m(w) composite?
False
Suppose 13*x = -x + 30842. Is x a composite number?
False
Is (-100371)/(169/13 - 16) prime?
True
Let q = -3 + 5. Suppose -2*o + 4*j - 22 = 0, j = -q*o - 3*j + 18. Is ((-742)/(-35))/(o/(-5)) a prime number?
False
Is (49343 + -1)*((-165)/30)/(-11) composite?
False
Let j(h) = 2*h - 14. Let i be j(13). Suppose 2*r + 12 = -2*o - 2*o, -2*o = -2*r + i. Is (16*-1)/o + 549 composite?
True
Let a(r) = -4*r + 46. Let s be a(14). Let x(c) = -120*c + 13. Is x(s) a composite number?
False
Is (-558801)/(-81) - 8/(-36) composite?
False
Let q(z) be the second derivative of z**4/6 - z**3 - 71*z**2/2 + 22*z + 2. Is q(21) prime?
False
Suppose 0 = 103*z - 111*z + 49976. Is z composite?
False
Is 4 + (-5 - 6) + (90689 - 5) a composite number?
False
Suppose -3*g + 0*g - 9 = 3*q, -31 = -3*q + 5*g. Suppose 0 = -t + 2*w + 2602, 0 = -q*t - 0*t - w + 5204. Is t prime?
False
Let p(h) = h**2 + 4*h - 9. Let c be p(-6). Suppose 2*q + 462 = n, c*q + 699 = -0*n + 3*n. Let x = q - -608. Is x prime?
True
Let y be ((-122)/3)/(85/45 - 2). Suppose -339 = -5*u + y. Is u composite?
True
Suppose 0 + 8 = o. Suppose o*k - 4*k - 2616 = 0. Is k/4*(-2)/(-3)