 o = -6 - -12. Let a be (-1)/2*5 + 1116732/696. Suppose -5*s = -3*j - 0*s + a, 2*s = -o. Is j a prime number?
False
Is 9 + -6 + (-2 - (-60826)/1) prime?
False
Let n(k) = -k**2 + 2*k + 13. Let g be (0*(-3)/(-15))/(-2 + 5). Let t be n(g). Is (-331)/1*(2 + 4 - t) a prime number?
False
Suppose 0 = 16*z - 5*z - 55. Suppose -z*n + 10*n + 3*f = 196, 2*n = 2*f + 72. Is n a prime number?
False
Let s = 277 - 133. Let i = 650 + s. Is i prime?
False
Let y = 1348664 - 812311. Is y a composite number?
False
Let p = 116 - 50. Let g = p + -62. Suppose -g*h + 4991 = -h + b, 6644 = 4*h - 4*b. Is h prime?
True
Let j = 14 - -50. Suppose 380 - j = 4*x. Suppose 9 - x = -5*d. Is d a composite number?
True
Suppose -5*j + 3*x + 3812 = 0, -2*j = x + 182 - 1698. Suppose -6*b = j + 3140. Is (-7)/(-14) - b/4 a composite number?
False
Let q(k) = 3*k - 3. Let h(c) = c**2 - 7. Let l be h(3). Let n be q(l). Suppose -w + n*w = 1754. Is w composite?
False
Suppose -2 = -3*u - 53. Let v(b) = 3*b**2 + b + 37. Is v(u) composite?
False
Suppose -15*k + 4*k + 22 = 0. Suppose -5*w - h + 47226 = -k*h, -5*h - 9450 = -w. Is w a composite number?
True
Let x = 381440 - -912713. Is x prime?
False
Let l(w) = -3*w**3 + 3*w**2 - 2*w + 2. Let j be l(2). Let b(h) = -h**3 + 13*h**2 + 4*h - 5. Is b(j) a prime number?
True
Let o(k) = 109*k - 1. Let c be o(1). Suppose 3*h - 865 + 856 = 0. Suppose c = 3*g - y, 6*y + 28 = g + h*y. Is g prime?
True
Suppose 37*g - 41*g = -100236. Is g composite?
True
Let v = -24 - -49. Let w be (-2)/8 + v/20. Suppose -3*c - w + 13 = 0. Is c composite?
True
Let j be 0/(2/(1 - 3)*1). Suppose j = -2*z - 0*z + 1040. Let r = 743 - z. Is r prime?
True
Let x be (3/18)/((-6)/9)*0. Let f be 1308 + (0 - x)/4. Let g = 3281 - f. Is g a prime number?
True
Let f(v) = 3310*v**2 - 9*v - 237. Is f(-14) a composite number?
False
Let s(g) = 483*g - 13. Let t be s(11). Suppose 0 = -30*p + 34*p - t. Suppose p = q + 4*q. Is q prime?
False
Let x = -1970 + 822. Let k = -739 - x. Is k prime?
True
Suppose -2*y = 5*a + 406, 4*a + y - 195 = -518. Is (382/(-6))/(a/15 - -5) prime?
True
Let q be 2/(-6)*(0/3 - 3). Let f(w) = -w**2 - w - 2. Let x(t) = 49*t**2 + 6*t + 5. Let m(p) = q*x(p) + 4*f(p). Is m(-4) a composite number?
False
Suppose 4*t - 26199 = -8495. Let b = t + -2537. Is b composite?
False
Let d(n) = 2*n**3 + 6*n - 3. Let b be (-104)/(-12) + 4/(-6). Let s be d(b). Suppose s = 3*c + 3*k - k, 1771 = 5*c - 2*k. Is c a prime number?
False
Let r = -599 - -595. Is 4*33506/10 + r/10 a composite number?
True
Let r be (65/10 - 7)/(2/60). Is (43/15 - 3) + (-235097)/r prime?
False
Let n = 19793 + -13938. Is n*(18/(-15))/(-2) a composite number?
True
Let r(n) = -8547*n**2 + 16 + 10*n + 8539*n**2 + 7*n**3 - 16*n - 3. Let z(h) = 3*h**2 - 3*h. Let l be z(2). Is r(l) prime?
True
Let b(j) = -385*j - 164. Let x be b(-11). Suppose -4*t + 4*y + 9588 = 0, -3*t - 3*y + 3108 = -x. Is t composite?
True
Let d = 808600 + -568779. Is d composite?
True
Suppose -23*d - 5253574 = -28*d + u, -3*d - 5*u + 3152094 = 0. Is d a prime number?
True
Let d(g) = g + 9. Let c be d(-3). Suppose w - 4*o - c = 3*w, -w - o = 0. Suppose 0 = -w*q + 4*s + 1105, -739 = -2*q + 6*s - s. Is q prime?
True
Let f(q) = 3434*q**2 - 27*q - 49. Let x be f(-2). Suppose -5*a + a + x = 3*h, 0 = -3*a - h + 10302. Is a prime?
True
Suppose -8196402 + 19431316 = 124*i - 32709570. Is i a composite number?
False
Let k = -3824 - -11133. Let q = k - 720. Is q a composite number?
True
Suppose -3*a - t + 1 = 0, -69*a + 2*t = -65*a - 8. Let n(z) = -z + 15. Let v be n(11). Suppose 3*m - 882 = 3*b, 0 = v*b - 3*b + a. Is m a composite number?
False
Let q = 107 + -63. Let y = 46 - q. Let k(c) = 20*c**3 - 2*c**2 + 6*c - 5. Is k(y) a composite number?
True
Let y(u) = u**2 - 48*u + 38. Let p be y(47). Is -2*(138761/(-14) + p) a prime number?
True
Suppose 3*z = -0*z - 6. Let b(c) = -2*c**3 + 11*c**2 - 9*c - 14. Let s be b(-11). Is s*(-1)/z + 3 - 1 a composite number?
True
Suppose -8*g + 20580 = 13*g. Suppose -r + 5*j + 442 + g = 0, 5757 = 4*r + 3*j. Is r composite?
True
Suppose -88*i + 110*i = 959794. Is i prime?
True
Is 11957 - (16/78*-9 - (-2)/(-13)) a prime number?
True
Suppose 0 = 4*x - 613497 + 123809. Is x composite?
True
Suppose -13 = -5*g + h, -2*g = 18*h - 15*h + 5. Suppose 0 = g*k - 2135 + 873. Is k composite?
False
Suppose 21520 = -48*g + 32*g. Let p = 4124 + g. Is p composite?
True
Let m(u) = 24*u**2 - 48*u + 14. Let d be m(20). Suppose -8*c + 10*c - d = 0. Is c composite?
False
Is (7879488/128)/(3/2) composite?
False
Let m = -97 - -80. Let s(c) = 12*c - 31. Let x be s(m). Let b = 394 + x. Is b prime?
False
Is 18129326/18 + (-8 - 50/18 - -11) composite?
True
Let q(o) = 2*o + 28*o + 77 + 24*o + 4*o. Is q(15) a composite number?
False
Suppose 14240 = -5*t - 5*p, -12598 = 4*t - 4*p - 1230. Suppose -33648 = -4*i - 4*i. Let q = i + t. Is q prime?
True
Suppose 24 = 26*l - 54. Suppose 2*x + u - 6711 = 0, 2886 + 7178 = l*x + u. Is x a composite number?
True
Suppose 4*q - 17592 + 248 = 0. Suppose -5*n - 2*b + 5406 = 0, 22*b = 4*n + 18*b - q. Is n a composite number?
True
Suppose -3*q + 4*s + 14138 = 0, -8*q - 2*s + 23520 = -3*q. Let l = q - 2295. Is l prime?
True
Let u = 18271 - 7758. Is u a composite number?
False
Let p(d) = 1470*d**2 - 3*d - 3. Let n be p(-1). Let r = 4252 - n. Suppose -3*y = 5*k - 3481, 5*k - r = k - y. Is k prime?
False
Let o(d) be the third derivative of 79*d**6/30 + 3*d**5/20 - 5*d**4/8 + 5*d**3/2 - 38*d**2 - 1. Is o(4) a composite number?
False
Suppose -210*u - 59962163 = -215113733. Is u composite?
True
Suppose 100*d = 79*d + 1998591. Is d a composite number?
True
Suppose s = -9*x + 7*x - 6, 0 = 2*x + 2*s + 4. Let y(z) = 293*z**2 + 6*z + 13. Is y(x) a prime number?
False
Let n = -20262 - -14070. Let r = n - -13171. Is r a prime number?
False
Let s be 1 + (0 - 1) + (0 - -2). Suppose 2*u + 0*u - s = 0, 2*h = -4*u - 29484. Is 3 + h/(-6) + (-12)/9 prime?
True
Is (6028795/12)/17 + (-25)/(-300) a composite number?
True
Suppose 20*q = 7*q + 39. Suppose -4390 = -q*w + 2087. Is w a composite number?
True
Suppose -w + 111 = 4*q, 50 = 3*q - 5*w - 39. Let i = q + 66. Is i prime?
False
Let r(w) = 69*w - 132. Let m(d) = -13*d - 77. Let s be m(-8). Is r(s) prime?
False
Let z(f) = 380*f - 157. Suppose 35*o = 37*o - 38. Is z(o) prime?
False
Let s(n) = -24*n**3 - n**2 - 2*n - 5*n**3 - 1 + n**2. Let m be s(-1). Suppose 0 = -31*c + m*c + 113. Is c a composite number?
False
Suppose 3*l = -4*f + 3822001, l = 368*f - 363*f + 1274013. Is l a composite number?
True
Let q = -46 + 480. Let g = 1 - q. Let b = -272 - g. Is b a prime number?
False
Let x(q) = 2*q**2 + 2*q - 4. Let j(t) = -t**3 + 8*t**2 + 9*t - 2. Let r be j(9). Let w be x(r). Suppose w = -2*h + 11342 - 2272. Is h composite?
True
Let v = -3060 + 4557. Suppose 0 = -3*g + 3*x + 2811 - 315, -4*g + 3328 = -5*x. Let a = v + g. Is a a composite number?
True
Let p = -61 - -67. Suppose 5*m = 4*m + 2*g - 101, 0 = 3*g - p. Is 62*(-5)/10*m prime?
False
Suppose -2*q + 974 = -0*q. Suppose d - 238 = -b + 354, 0 = -2*d + b + 1193. Suppose -d - q = -p. Is p a prime number?
False
Suppose -12*c = -9*c + 6*t - 39273, 5*c - 3*t - 65468 = 0. Is c composite?
False
Suppose -3*o = -5*b - 304097, -b - 31 = -27. Is o a prime number?
True
Let j = -97 + 99. Suppose -j*c - 795 = -2*o + 163, 5*o = 3*c + 1435. Is 118/4*c/(-10) - -1 a composite number?
True
Let d be (((-63)/6)/(-7))/((-3)/8). Is 8066/(((-7)/14)/(1/d)) composite?
True
Is (3138096/(-9) - -2)/(116/(-174)) prime?
False
Let d(c) = 55139*c + 6342. Is d(43) prime?
False
Suppose 3*w + 43*m - 45*m - 17 = 0, 3*w + 3*m - 42 = 0. Suppose -w*r + 31278 = 1587. Is r composite?
False
Let a(m) = -m**3 - 7*m**2 + 7*m - 10. Let c be a(-8). Let w(h) = 5*h**3 + 4*h**2 - 4. Let v be w(c). Is (v/(-4))/((-2)/(-1202)) prime?
False
Let g(y) = 93*y - 115. Let s be g(14). Let u = s - 652. Is u a composite number?
True
Let d(y) = -60447*y + 1595. Is d(-14) composite?
False
Suppose 0 = 3*k + 56 - 29. Is (-260330)/(-42)*k/(-5) a prime number?
False
Let x(z) = -z + 7. Let f be x(3). Let d(g) = 44*g**3 - 3*g**2 + 5*g + 8. Let v be d(f). Suppose -n - 2*n = 4*p - 4193, 2*n + 2*p - v = 0. Is n prime?
True
Let s(g) = -g**3 + 9*g**2 + 5*g - 27. Let j be s(9). Is 30/27*412 + 4/j composite?
True
Let a(p) = -