ose 16*a - 11*a - 7*b = 493293, a = -5*b + 98633. Is a a composite number?
True
Let b(k) = -k**2 + 15*k + 5. Let y be b(15). Suppose 5*z - a = 7 + y, -3*z + 5*a - 6 = 0. Suppose 4*v + 4981 = z*x, -3*x = -4*v + v - 4977. Is x prime?
False
Let w = 73256 + 33203. Is w prime?
False
Let b = 37031 + 80540. Is b composite?
False
Suppose -q + 2921692 = 4*u, 32*q - 40 = 27*q. Is u composite?
False
Suppose -53367 = -48*g - 12183. Let f = g - -191. Is f composite?
False
Suppose -4*v = 23*u - 18*u + 50810, -3*u - 2*v = 30484. Let j = u - -17037. Is j composite?
True
Suppose -12*q + 617270 = 74042. Is (1 - 4)*(q/(-21) + 0) prime?
False
Let r be 6/4 - 90/12. Let s(v) = 114*v**2 - 2*v + 10. Let f be s(r). Suppose -2*y - 5*i + f = 0, -4*i + 3630 = 4*y - 4598. Is y a composite number?
False
Suppose 0*s + 3*s = -5*i + 4661, -3*i + 2801 = 4*s. Suppose n - 2958 = -2*n. Suppose -2*a = r - i, 3783 = 3*r + 2*a + n. Is r prime?
False
Suppose w = -w - 2. Let c(q) = 164*q**2 + 9*q - 63. Let z be c(-10). Is w/(4635/z - 36/126) a prime number?
False
Suppose -10 = -12*p - 34. Is (-6)/12*353*p composite?
False
Let p(b) = -b**3 - 24*b**2 - b - 19. Let l be p(-24). Suppose 55 = 5*n - 3*n + l*k, 0 = 5*n - 2*k - 210. Suppose -n*j = -42*j + 9678. Is j composite?
True
Suppose -5*c = 2240 - 5995. Suppose c = u - 2*m, -4*u + 0*u = 5*m - 3004. Is u composite?
False
Let y be (-8)/(-3)*15/10. Let g be (0 - 2)/(y/(-17410)). Suppose -g = -9*q + 4*q. Is q a prime number?
True
Let u = 229863 - -265276. Is u prime?
True
Suppose 45*m + 201246 = 51*m. Is m a prime number?
False
Let f = 49931 - 11818. Is f a composite number?
False
Let v(y) = -y**2 - 5*y - 4. Let r be v(-4). Let z be (-32)/16*(45/2)/(-9). Suppose 4*o + b - 3191 = r, 2*o + 3*o + z*b - 4000 = 0. Is o composite?
False
Let g(a) = -a**3 - 2*a**2 + 2. Let k be g(0). Suppose -f - s = -17, -k*f + 0*s + 30 = -2*s. Suppose 0 = 4*o - f, 3*o + 649 = 3*i - 2*o. Is i a prime number?
True
Suppose -u = -5*u + 3*c + 9, -5*c = -5. Suppose 4*a - 2*s - 2811 = -s, 2110 = u*a + s. Is a a composite number?
True
Let n = 1286858 - 743475. Is n a prime number?
True
Is ((-14)/(-10))/(165/9633525) prime?
False
Let g(k) = 2*k**3 + k**2 - k - 8. Let z be g(6). Let y = z - 150. Is 3*y/12 + -2 + 5 a prime number?
True
Let m(q) = -3 + 30 - 455*q + 19 - 26. Is m(-7) a composite number?
True
Let m be (-12208)/96 + (-2)/(-12). Let q(o) = -o**3 + 13*o**2 - 10*o + 36. Let y be q(11). Let r = y - m. Is r a prime number?
False
Let m(y) = y**2 - 28*y + 55. Let a be m(26). Suppose -a*d = 3*d. Suppose 0 = 5*t - d*t + 4*q - 1579, -t + 5*q + 339 = 0. Is t a composite number?
True
Let g(q) = 131*q**3 + 9*q**2 - 8*q - 11. Let w(i) = -264*i**3 - 19*i**2 + 17*i + 22. Let y(o) = 5*g(o) + 2*w(o). Is y(5) prime?
False
Let u be 0 + (-4)/(-6) + 133/57. Let w be (-2)/(-1 + u) - (-9)/1. Suppose w*o - 6941 = -3*o. Is o a composite number?
False
Let y = 70 - 67. Suppose 0*u = 4*r + u + y, -2*r + 3*u - 19 = 0. Let a(z) = 78*z**2 + 2*z - 1. Is a(r) a composite number?
False
Let y(i) = 34*i**2 + 6*i - 53. Is y(6) prime?
False
Suppose -11*m - 50*m = 41*m - 39032034. Is m a prime number?
False
Let i be 2 + -3 - -5 - 8/4. Suppose w = -i*t - 19, 0*w - 48 = 4*t + 4*w. Is ((-1)/t + (-8910)/(-7))*1 a prime number?
False
Suppose 2 - 9 = 3*u + 5*j, u + 2*j + 3 = 0. Let n(b) = 4500*b**2 + 8*b - 9. Is n(u) composite?
True
Let b(i) = 0*i + 3*i + i - 5*i - 8. Let f be b(-4). Is -1 - (-27960)/25 - f/(-10) composite?
False
Suppose 8*m + 2645522 = 30*m + 16*m. Is m a prime number?
False
Is 48/(-36) + -262*(-235)/30 a prime number?
False
Suppose x + 3*x + 3*r - 53 = 0, 0 = r - 3. Suppose x = -2*a + 19. Is -2*a/(-12) - 3020/(-15) prime?
False
Let f(o) = -2 - 45 + 647*o + 245*o. Is f(3) a prime number?
False
Suppose 29*o - 5701763 + 374883 - 6372097 = 0. Is o composite?
True
Let m be 1220/150 - 6/45. Suppose -10*f - m*f = -44838. Is f prime?
False
Suppose 171*n + 4660455 - 47693094 - 4712100 = 0. Is n composite?
True
Suppose 0*h + t = 3*h - 4, 4*h = -t + 3. Let d(o) = -1016*o**3 + o - 1. Let g be d(h). Let a = 2335 + g. Is a prime?
True
Suppose 737*r + 711*r - 11734542 = 1430*r. Is r prime?
False
Let y be -3 + (3 + 3)*1/(-2). Let q be (-9)/6*(22/y + 1). Suppose -q*b + 14*b - 13930 = 0. Is b a prime number?
False
Let i = -190 + 222. Suppose 14*b = 9454 - i. Is b composite?
False
Suppose 2*q + 8472 = 4*g - 2*q, 0 = 2*q + 8. Suppose -5*i = u - g, -11310 = -4*u - 4*i - 2806. Is u a prime number?
True
Suppose 8*z - 1278802 = 97014. Is z a prime number?
False
Suppose k - 1586 = 5*j, -2*k + 4*j - 693 = -3883. Let b = -1090 + k. Is b composite?
True
Let j be 75/(-20) + 4 + 45/12. Is 40272/30 - (j - (-69)/(-15)) a prime number?
False
Suppose 0 = -21*c - 38 + 122. Suppose 4*w - c*z - 14641 = z, z - 3658 = -w. Is w composite?
False
Suppose 20891362 + 28980280 = 218*y. Is y composite?
True
Let t = -4822 - -8340. Suppose t = 13*z - 6843. Is z a prime number?
True
Let h = 174030 + -116941. Is h composite?
False
Suppose 8*z - 3*z - 2*z = 0. Suppose 4*u = 16, 5*o - u + z*u = 9171. Is o prime?
False
Let l(b) = -70402*b - 815. Is l(-3) prime?
True
Let b = -205 - -201. Is b/(-36) - 11/(396/(-259448)) a prime number?
True
Suppose 46*y - 51*y = 95. Let k = 24 + y. Suppose -4*u = -4*r + 9*r - 2831, k*u = -r + 3544. Is u prime?
True
Let h(f) = 41*f**2 + 43*f - 381. Is h(20) composite?
False
Let k be 12356/(-3)*126/(-84). Is (36/16 + (-5)/(-20))*k a composite number?
True
Let q = 15586 - -153672. Is q a composite number?
True
Let n = -17656 - -30129. Is n a composite number?
False
Suppose -46*u - 48 = -54*u. Let p(m) = 3*m**3 + m**2 + 11*m + 2*m**2 - 17 + 3*m**2. Is p(u) a prime number?
False
Suppose -2333 = 11*k - g - 1479935, 3*g - 402966 = -3*k. Is k a composite number?
False
Let l(x) = 2*x**3 + 4*x**2 + 3*x + 6. Let c be l(-3). Let m be 0*(-7)/c*(-6)/(-4). Suppose m = -5*a + 13878 - 2023. Is a a composite number?
False
Let n(k) = k**3 - 11*k**2 + 14*k - 24. Let t be n(10). Let s(y) = -y**2 + 17*y - 18. Let a be s(t). Is (36/(-8) + 4)*a*2099 prime?
True
Suppose -14591 - 3721 = -2*n. Suppose 33093 - n = 3*v. Is v prime?
False
Suppose 5*h = -3*k + 891580, 5*h - 26 + 61 = 0. Is k prime?
False
Let x = 1078 - 1094. Is (14 + 232/x)/((-1)/2062) a prime number?
True
Let z(w) = -w**2 + 14*w + 24. Let x be z(15). Is x/((-45)/(-33005)) + 1 + -3 composite?
False
Suppose -y = 4*y + 75. Let x(o) = -o**2 - 14*o + 5. Let j be x(y). Is (2302/j)/(11/(-55)) prime?
True
Suppose 5*u + 2 - 12 = 2*g, -5*u + 40 = 4*g. Suppose -s = -5*t - 37 + 9, u*t - 4*s = -32. Let n(w) = -315*w + 10. Is n(t) a prime number?
False
Let v = -52 + 61. Suppose -q = v - 11. Suppose 4*m - 2241 = -5*o - 279, -2*m + q*o = -990. Is m a composite number?
True
Suppose b - 5*v + 6*v = 228478, 4*b = -3*v + 913913. Is b composite?
False
Let j(m) = -m - 1. Let d be j(-20). Suppose 6*n - d*n = -74113. Is n a composite number?
False
Suppose 0 = -7*i + 3 - 31. Is (-11)/((-2)/(14 + i)) composite?
True
Let c(i) = 284*i**2 + 4*i + 6. Let g be c(7). Suppose 0 = 5*f - 20*f + g. Let j = 1799 - f. Is j composite?
True
Let n = -983571 - -511473. Is (-2)/(-5) - n/230 a composite number?
False
Let p = -177907 - -645908. Is p a prime number?
True
Let c(w) = w**3 + 33*w**2 + 88*w - 65. Let n be c(-30). Is 4/n + 5 + 17488/10 a prime number?
True
Suppose 6*o + 2*o + 25528 = 0. Let w = 2816 - o. Is w a prime number?
True
Let p(a) = 390*a**2 + 37*a + 8. Let j be p(-3). Suppose -23 = f + 5*i - j, 2*i - 6776 = -2*f. Is f a composite number?
False
Let q = 264 + -259. Suppose -5*z - 178 = 3*c - 3316, -5*z = q*c - 5220. Is c a composite number?
True
Let z(d) = 19*d**2 + 8*d + 1. Let p be z(-8). Let w be p/11 + 14/77. Is 14/w - 1903/(-15) a composite number?
False
Let d(n) = -2*n**2 + 3*n - 5. Let s(w) = -3*w**2 + 6*w - 11. Let p(y) = -5*d(y) + 3*s(y). Let v be p(-5). Let i(k) = 27*k**2 - 2. Is i(v) a composite number?
True
Suppose 4*g = u - 45003, -4 = -6*g + 8*g. Is u composite?
True
Let l = -1405 - -700. Let x = 1112 + l. Let q = -114 + x. Is q prime?
True
Suppose -3*k = 4*x - 77 + 285, 208 = -4*x + 3*k. Let c be x/((-1)/1) - 1. Suppose 200 + c = h. Is h a prime number?
True
Suppose -3*k = 4*a - 929 - 38501, -4*k = 8. Is a a composite number?
False
Suppose -5*h + 3*f = 160, 0 = 2*h - h + f + 32