et z = -17 + 23. Suppose -z*u = -13*u. Suppose -5*f + 3*i + 442 = u, 2*f - 18 - 161 = -i. Is f prime?
True
Let i = -215838 + 355789. Is i a composite number?
True
Suppose -p = 2*v - 3, 2*v + 2*v - 5*p = 41. Suppose -3*z = -v*a - 1363, -5*a + a = 4*z - 1780. Is z prime?
True
Suppose 5*l = w - 2442922, 31*w = 26*w - l + 12214532. Is w prime?
True
Suppose 6*u + 75 - 45 = 0. Let z(r) = 15*r**2 + 10*r - 2. Let v be z(u). Suppose 0 = i - 2, 3*x = -i + 6*i + v. Is x composite?
True
Let q = 14453 - 2955. Let p be 14 - 11 - q/(-1). Let l = p - 7914. Is l composite?
True
Let k(i) = -5*i**3 - 37*i**2 + 22*i + 42. Is k(-23) a composite number?
True
Is (-1820)/(-40)*264126/21 composite?
True
Suppose 66019 = 3*h + 2*j, 24*h - 19*h - 2*j - 110037 = 0. Let q = h + -5844. Is q a composite number?
True
Let m(v) = 2*v + 6 - v**2 - 16 - 78*v**3 + 14. Suppose -2*t + 4 = -2*w, 5*w + 9 = w + 3*t. Is m(w) a prime number?
False
Suppose i - 4*p = 27585, -i = 2*p - 0*p - 27591. Is i composite?
True
Suppose -2*b + 13*b - 327503 = 0. Is b a composite number?
True
Is -5 + 10 + 187186 - -11 composite?
True
Let g be 24/(-3) - 2*-1. Let n(d) = 34*d - 40. Let i(k) = -17*k + 21. Let f(o) = 5*i(o) + 2*n(o). Is f(g) composite?
False
Suppose 0 = n - m - 2*m - 6, 4*m = n - 5. Suppose -4*v - 7 - n = 0. Is (3 + 11/v)*1796 prime?
True
Suppose 4*n - 3*h - 4903 = 0, 0 = -2*n + 4*h - 1754 + 4198. Suppose -2492 - 1135 = -3*p - 4*i, 5*i + n = p. Is p a composite number?
False
Let d(s) = -11049*s - 9544. Is d(-75) a prime number?
True
Suppose 8249*o = 8262*o - 377871. Is o a prime number?
False
Suppose -5*w - 4*x = -339316 + 43741, 2*w + 4*x = 118242. Is w a composite number?
True
Suppose 4*l = -h + 22, -4*l + 15 = -h - 3. Suppose -3*v - 2*v = p + 205, 5*v - l*p + 175 = 0. Is -1594*5/v*4 a composite number?
False
Let n = -14 + 18. Suppose -8*k + n*k + 16 = 0. Suppose -i + 9892 = 4*v, 0*i = -k*v + 3*i + 9892. Is v prime?
True
Let j(a) = 4*a - 13. Let f be j(4). Suppose f*z - 10 - 2 = 0. Suppose 9*d - 2785 = z*d. Is d composite?
False
Let y(x) = -149746*x - 13265. Is y(-9) prime?
False
Suppose 16*z - 39*z + 375044 = -19*z. Is z a prime number?
True
Let i(s) = -s**2 + 41*s - 40. Let m be i(40). Suppose d - 111 = 4*v, d + 4*v - 5*v - 117 = m. Is d prime?
False
Let s(o) = -2404*o + 10155. Is s(-121) a prime number?
True
Let w = -46 - -48. Suppose 8*p + w - 26 = 0. Is (-74)/p*285/(-38) prime?
False
Let b = -9455 - -161790. Is b prime?
False
Let v(j) = 6*j**3 - 64*j**2 - 5*j - 16. Is v(21) a composite number?
True
Let m(a) = 958261*a**2 - 19*a - 13. Is m(-1) composite?
True
Let a(x) = -384*x - 1171. Is a(-47) a composite number?
True
Let c(b) = -b**3 + 2*b**2 + 2*b + 1. Let n be c(2). Suppose n*q - 2*q + 5*x + 2642 = 0, 4*x - 858 = q. Is (-1)/(2/q*(15 - 14)) a composite number?
True
Suppose -9*p + 664442 + 213645 = -2*p. Is p a prime number?
True
Is (-8)/(-52) + (-5566491)/(-117) a prime number?
False
Let h = 14271 - 9934. Is h prime?
True
Let t(o) be the third derivative of o**5/12 + 7*o**4/8 + o**3/6 + 16*o**2. Let d be t(15). Let l = d + -768. Is l a prime number?
True
Suppose 490*y + 5*i = 495*y - 1911865, -382361 = -y + 3*i. Is y prime?
False
Let n(q) = 7*q**2 + 88*q - 2598. Is n(-87) prime?
False
Suppose 9*r = 13*r - 5*b - 70691, -70640 = -4*r - 12*b. Is r a composite number?
False
Let q(j) = -4*j**3 - 4*j**2 + 2*j + 3. Let d be q(-3). Suppose -d*c + 13750 = -68*c. Suppose 60321 = 7*p + c. Is p a prime number?
True
Suppose -72381 = 5*a - 771826. Is a a composite number?
True
Let q(j) = -542*j**2 - 6*j - 6. Suppose -5*w - w + 30 = 0. Let g be q(w). Let p = g - -20389. Is p composite?
False
Let v(l) = -55*l**2 + 3*l + 13. Let b be v(9). Let p(s) = -2*s**2 - 4*s + 94. Let z be p(-34). Let c = z - b. Is c prime?
True
Let u(w) = 170*w - 17. Let a(t) = 6*t + 1. Let p(v) = 4*a(v) - u(v). Suppose -l - 3*l = 28. Is p(l) a composite number?
True
Suppose 6*d - 4*w - 16 = 2*d, d - 4*w = -2. Suppose -70536 = -d*z - 18*z. Is z a composite number?
False
Let o = 150066 - -152051. Is o a prime number?
False
Is 2/(-10) - (62524/(-70) + 0) composite?
True
Let c be 2 - 1 - 4/(-2 + 1). Suppose 4*n = 4*x + 12, 4*x - 53 + 20 = -c*n. Suppose -4*u + 7*i = 10*i - 8083, 0 = -5*u + n*i + 10060. Is u composite?
False
Let a(h) = -24*h - 1. Let r be a(2). Let q = 50 + r. Is -1*q/((-4)/364) composite?
True
Let s be (3/(-4))/((-4)/16 + 0). Suppose -2*c + s*c - 49 = -2*b, 17 = b - c. Is 89*(-1)/(-2)*1*b composite?
True
Let r(b) = -23 - 15*b + 10*b + 64*b + 17*b**2 + 86. Is r(-20) a prime number?
True
Suppose 4*o - 5*t = -2*t, 2*o = -4*t + 22. Suppose -6999 - 3060 = -o*h. Is h a prime number?
False
Let u(j) = 5*j**3 + 43*j**2 - 16*j + 39. Let q(c) = 14*c**3 + 128*c**2 - 49*c + 117. Let x(k) = 4*q(k) - 11*u(k). Is x(-17) prime?
True
Let w(c) = 14622*c - 6851. Is w(11) a composite number?
False
Let s = 257728 + -168957. Is s composite?
False
Let p(i) = 465*i - 159. Let c be p(18). Suppose x = -2*s + c, -7*x + 2*x = 5*s - 41035. Is x a prime number?
False
Suppose 0 = b + b + 3*o - 15, 4*o + 4 = 0. Let x(r) = -4*r**2 + 12*r + 22. Let y(u) = 9*u**2 - 25*u - 47. Let t(h) = 7*x(h) + 3*y(h). Is t(b) prime?
True
Let f(k) = -32172*k + 697. Is f(-3) a prime number?
True
Suppose 208 = 6*t + 1018. Let d = 133 + t. Let z(c) = -104*c**3 + 3*c**2 - 3*c - 11. Is z(d) a composite number?
False
Let r(k) = 11485*k**2 - 5*k + 3. Suppose -3*b - 3 = -3*s, 4*s - 4 = -2*b - b. Is r(s) prime?
True
Suppose -8*l + 2163976 - 479264 = 0. Is l a prime number?
False
Suppose -58*g - 5710631 + 6557704 + 8150235 = 0. Is g a composite number?
True
Let i be (-2)/(-6) - (-3 - (-11103)/(-9)). Suppose 0 = 4*u - i + 9. Is u prime?
True
Let l be -15129*((2/(-3))/2 - -1). Let f = -2341 - l. Is f a prime number?
False
Suppose -4*f = 4*b - 471532, 17038 = -b + f + 134921. Is b a prime number?
True
Let s = 258 + -363. Is 4076/(-6)*2/(20/s) composite?
True
Let f = -5258 - -40274. Suppose 22*n - f = 11162. Is n a composite number?
False
Suppose p - 68 = y, y + p + 63 = -3*p. Let g = y + 63. Let k(o) = -o**3 + 5*o**2 + 10*o + 5. Is k(g) prime?
True
Let t = -81 + 84. Suppose 0 = -t*w + 182 - 5. Is w a prime number?
True
Let u(x) = -2*x**2 + 16*x - 21. Let y be u(6). Suppose -4*i = y*p - 2371, 5*p - 10*i + 8*i = 3995. Is p prime?
True
Suppose 0 + 98 = 14*w. Suppose -f - w*v + 1811 = -3*v, -3*f + 5484 = -5*v. Is f a composite number?
False
Let p = 36219 - 13693. Let t = 33591 - p. Is t composite?
True
Let b = 1688 - 1090. Suppose -3*w + 629 = -b. Is w a prime number?
True
Is (-89018848)/(-160) - (42/65 - (-12)/78) a composite number?
True
Let u be (-2 + 100 - 2)*2. Let y = -4474 - -4749. Let g = u + y. Is g composite?
False
Suppose 0 = 25*i - 14250738 - 145616 + 135979. Is i a prime number?
False
Suppose -6 = -5*d - 1. Is (0 + (2052 - (-4)/4))*d a prime number?
True
Let p be (-408)/(-32) + -6 - (-2)/8. Suppose 0 = 2*m - w + 6, 10 = 3*m - p*m + w. Is 3086/(-3)*(-6 - 9/m) a prime number?
True
Let i(y) = -454*y - 19. Suppose -15 = -0*w + 3*w. Is i(w) prime?
True
Let x(q) = 3*q**3 + q**2 + 13*q + 73669. Is x(0) a prime number?
False
Let y(n) = -n**3 - 2*n**2 + 6. Let g be y(2). Let c be 8400/22 + g/(-55). Let k = 351 + c. Is k prime?
True
Let l = -7068 + 1327. Let x = -4084 - l. Is x prime?
True
Let v(o) = 2*o**3 - 4*o**2 + 7*o + 31781. Is v(0) a composite number?
True
Let t be (-5 + 6)*(-4)/4. Let p be (1311/6 - t)/(2/4). Let h = 2198 - p. Is h prime?
True
Let f(t) = t**2 - 6*t + 10. Let o be f(0). Suppose o*g = 6*g + 24. Is (3159 + g)*(-2)/(-6) composite?
True
Let b be 0 - 14709*1/3. Let j = 1961 + b. Is j/(-6) - 12/(-18) composite?
False
Let x(r) = -302*r**3 + 5*r**2 - 24*r - 80. Is x(-5) a prime number?
False
Let f = -449014 + 1157573. Is f prime?
True
Let u = -208 - -213. Suppose 0 = u*x - 4*x - 14095. Is x composite?
True
Let m = 203 + -200. Let r = -3 + 3. Suppose -5*f + 693 = 2*z, r = -2*f + m*z + z + 282. Is f prime?
True
Let b(q) = -88*q + 37*q - 82*q - 3 + 13. Is b(-7) a composite number?
False
Suppose 3*y + 4637361 = 11*i + i, 3*i + y = 1159342. Is i prime?
False
Suppose 3*r - 2*y + 14 = 2*y, -5 = 5*r - 3*y. Let q be (-3)/r + 9/(-18). Is 1 + (-376)/q - 8/2 prime?
False
Suppose 3*v = -3*h + 31158, -45*v + 42*v + 20767 = 2*h. Is h composite?
False
Let x be (129 + 11