2*v - 3. Let t be p(x). Suppose 6*a - 289 - t = 0. Is a a prime number?
True
Is 168061 + (28/(-3)*(-54)/63)/2 prime?
False
Suppose 0 = -5*o - 41 - 14. Let w(l) = -l**2 - 9*l + 26. Let s be w(o). Suppose -4*t = v - 473, 4*t = s*v - 3*v - 465. Is v a prime number?
False
Suppose 0 = 18*u - 712932 - 481350. Is u composite?
True
Let l be 18/(-45) - (-18428)/(-5). Let o = l + 6204. Is (-5)/(-30)*3*o a prime number?
True
Let o be 7*16 - (16/4 - 1). Suppose -340 = 3*z + 5*f, -z - o = -2*f - 3. Let m = z - -223. Is m a prime number?
True
Let m(c) = 10*c**2 + 10*c + 5. Let g be m(-4). Let d be -28*(-1 + (-4)/4 + 8). Let t = g - d. Is t a prime number?
True
Let c(w) = -w**2 - 161*w + 14. Let x(z) = -54*z + 5. Let u(q) = -6*c(q) + 17*x(q). Suppose 5*m = j - 17 - 83, -j = 0. Is u(m) a prime number?
False
Let x = 316789 - 128210. Is x a composite number?
False
Let g = -34 - -31. Let k(m) = -829*m**3 + 4*m**2 - 5*m - 1. Is k(g) a composite number?
False
Let z be (24/36)/(3*(-8)/(-564516)). Suppose 16*p + z = 19*p. Is p a composite number?
False
Suppose -2*z - 238 = 44. Let g = z + 1020. Is g a composite number?
True
Let d be (-6)/(-21) + (-40)/(-14)*2. Let g be 10 + -1 + (d - 3 - 7). Suppose -1281 - 2084 = -g*x. Is x a prime number?
True
Suppose 37 = -5*h + 92. Is -4 - h/((-11)/1086) prime?
False
Let f(g) = g**3 - 4*g**2 + 5*g - 1. Let n be f(2). Suppose -2*h + p = -7, n = h - 0*h - 3*p. Is (-13)/((-346)/86 + h) composite?
True
Let v be (-26 - -8)*(0 - 1/3). Suppose 0 = 2*q - 30 + v. Suppose w = q*w - 11077. Is w a composite number?
True
Suppose 104236 = -16*c - 268580. Let f = 39982 + c. Is f a composite number?
True
Suppose 0 = 3*p - 5673 + 1065. Suppose 0 = -5*i + 34 + p. Let g = i - -99. Is g prime?
False
Suppose 1710 = 3*w + 12. Let m = -102 + -225. Let a = w + m. Is a prime?
True
Let z(a) = 2*a**2 + 18*a + 6. Let w be z(-8). Is (-2)/(w/(-25)) + (2206 - -2) prime?
True
Let w(c) = 514*c**3 + c**2 - c + 1. Let l be w(1). Let i(a) = a**3 - 8*a**2 - 2*a + 6. Let u be i(2). Is (1 - l)*11/u a prime number?
True
Suppose -21*s + 5347965 = 7*i - 17*s, 0 = -4*i + 5*s + 3056031. Is i prime?
True
Suppose 2*d - o = 7*d + 39072, -d - 2*o - 7809 = 0. Is -3 + (4 - -2)/6 - d a composite number?
True
Let z(r) = 9*r**2 + 6*r - 11. Suppose 5*a + h = 2*a - 24, 0 = 5*a + 3*h + 40. Let j be z(a). Suppose -135 = f - j. Is f prime?
False
Let r(b) = -32 + 19*b - 21*b + 5. Let a be r(-16). Is (-37)/(-3)*165/a prime?
False
Suppose 2*u - 2*n = 2*n + 846, 1272 = 3*u - 3*n. Let z = -298 + u. Is z prime?
True
Suppose 5*f + 3*b + 5851 = 0, -3522 = 6*f - 3*f - 2*b. Let m = f + 2809. Is m prime?
True
Let y = -97 - -106. Suppose -y*p + 52499 = -37798. Is p a prime number?
False
Let a(x) = -x**2 - 11*x - 4. Let l be a(-11). Let p be l + 7 + 32*(-38)/(-4). Suppose v = -2*r + 1360, -v + 3025 = 4*r + p. Is r prime?
False
Let c(d) = -d**3 - 14*d**2 - 13*d + 2. Let z be c(-13). Suppose 4*f - 367 + 131 = 4*u, -z*f + 130 = u. Is 424/(-2)*f/(-84) prime?
False
Is (-27075074)/(-273) + -9 + 4*(-2)/84 a composite number?
True
Suppose -8*c + 14*c = 13*c - 635509. Is c composite?
False
Let u(y) = -7719*y + 2662. Is u(-41) composite?
True
Suppose 628851 = 3*v - 2*c, -5*c = -4*v + 377181 + 461273. Is v a composite number?
False
Suppose -11*p + 5*p + 7450498 = 16*p. Is p a composite number?
False
Suppose 0 = 4*x + 5*t - 1555919, -47*x = -44*x - 4*t - 1167009. Is x prime?
True
Let w = 430 - 440. Let z(j) = 17*j**2 + 43*j - 13. Is z(w) prime?
False
Is 7*(48/(-42))/(-4) - -95135 prime?
False
Let g be ((-85)/20 - (-4)/16) + 6523. Is (g/4 - -4)/(3/12) composite?
True
Let q = -65507 + 197736. Is q a composite number?
False
Let z be (3/(-2))/(6*8/(-192)). Is (-15)/(-10)*1/(z/5164) a prime number?
True
Suppose 4*m + 4*c - 24 = 0, 30*c - 35*c = 0. Let l = -17 - -19. Is (m/(-9))/l + 300/9 prime?
False
Let g(b) = 273*b**3 - 5*b**2 + 13*b - 1. Suppose 63*x - 16 = 110. Is g(x) prime?
False
Let h = -30719 - -43120. Suppose 9*o = -1448 + h. Is o a prime number?
True
Let l = 37 + -43. Let g be 9 + l/2 - 1. Suppose -g*m = -0*m - 6465. Is m a prime number?
False
Let y be 44/16 - (-9)/(-12). Suppose 0 = -y*q + 8, -1844 - 264 = -3*z + q. Let s = z - 417. Is s composite?
True
Let s(i) be the first derivative of i**4/4 - i**3 - 11*i**2/2 + 8*i + 5. Let o be s(5). Suppose -3*v - 656 = -4*q - 18, -o*q = 3*v - 489. Is q composite?
True
Let k(v) = -v**2 + 11*v - 16. Let w be (-4)/6 - -39*(-8)/(-36). Let c be k(w). Is 2325/9 + c/12 composite?
True
Let k(n) = 16*n**2 + 2*n**3 + 10*n - 3*n**2 - 5 - 7. Let h be k(-9). Let q = h + 724. Is q composite?
True
Let j = 4 - -1. Suppose 2*t = 3*x + 2383, 4*t - j*t = 3*x - 1205. Suppose -2*i = 3*l - 598, -5*l + 2*l - t = -4*i. Is i prime?
False
Let o(q) = 15*q - 31*q + 1 + 10*q + 78*q**2 - 3. Let x be o(4). Let u = x - 521. Is u composite?
False
Let i(h) = -h**3 - 12*h**2 - 11*h. Let r be i(-11). Suppose r*g = 7*g - 539. Is g a prime number?
False
Suppose 0*n + 4*f + 841 = n, -4*f = -3*n + 2515. Let w(y) = -11*y**2 + 11*y + 38. Let i be w(7). Let q = i + n. Is q composite?
True
Let k be 5*(-1 + 0 - -4 - 2). Suppose -3766 = -k*q + 4*r, q - 2*r - 758 = -0*q. Suppose -3 = 3*n - q. Is n a composite number?
True
Is ((-6)/6)/(-1) + 138010 a composite number?
True
Suppose 3*v + 47 = 5*u, 2*v - 2*u = -30 + 4. Is (-27331)/v - (-2)/9 composite?
False
Is 6/(-8)*(-48)/(-72)*(0 + -238772) a prime number?
False
Let f(s) = 12*s**3 - 3*s**2 + 5*s + 5. Suppose 1 = -b + 11*u - 7*u, 0 = 2*b + 5*u - 11. Is f(b) composite?
False
Suppose -247560 = -19*m + 100121. Is m composite?
True
Let j = 109846 - -54685. Is j prime?
True
Is 31/((-93)/(-12750)) + -13 composite?
True
Let j(o) = 49 + 1561*o + 42 - 107*o + 437*o - 24. Is j(2) prime?
False
Let s(b) = 18366*b**2 - 29*b + 80. Is s(3) composite?
False
Let g(n) = 66*n**3 + 8*n**2 - 23*n + 124. Is g(17) a composite number?
True
Let d = 1009548 - -1964741. Is d a prime number?
True
Let v = 365 + -361. Suppose 4*w - 5*s - 40008 = 0, 5*w - v*s - 72309 = -22290. Is w prime?
True
Let v = -117649 - -40729. Is (((-24)/(-10))/(-3))/(48/v) a prime number?
False
Let u(n) = -n**2 + 5*n + 12. Let z be u(7). Let y be (1 + -3)/2*z. Is (-2)/((-1)/667*y) prime?
False
Let m(c) = 48*c - 13*c**3 - 195*c + 46*c - 5*c**2 + 57*c + 51*c + 10. Let p = -3 + -1. Is m(p) a prime number?
False
Suppose 5*y + 10*s - 8*s - 424191 = 0, -5*y - 5*s = -424185. Is y a composite number?
True
Let x be (-9 - -1)*34/(-68) + -7. Is (869/x)/(1/(-3)) a prime number?
False
Let j(c) = -c**2 + 23*c + 55. Let f be j(25). Suppose 6*b - 3*w = 2*b + 17, -f*w = -5*b + 20. Is (-698382)/(-135) - (0 - (-1)/b) prime?
False
Let p(y) = -6*y**3 - 21*y**2 + 25*y - 17. Let r(s) = -s**3 - s**2. Let c(b) = p(b) - 5*r(b). Is c(-19) a composite number?
True
Let x(j) = 2*j**2 - 26*j - 36. Let u be x(-22). Let o = u - -1033. Is o composite?
True
Let r(a) = a**3 + a**2 + 2*a + 191. Suppose -2*l + 8 + 5 = 5*b, 3*l = -b + 13. Let d be 0 + (-2 - (-8)/l). Is r(d) a prime number?
True
Suppose 7 = -5*w + 7*b - 9*b, -5*b + 20 = 0. Let t(f) = -315*f**3 - 2*f**2 - 3*f + 7. Is t(w) a prime number?
False
Let d = 7010583 - 3913984. Is d a prime number?
False
Let o(k) = 1339*k**2 + 6007*k - 3. Is o(-11) composite?
True
Let v(x) = -7*x**3 + 29*x**2 + 36*x - 31. Let i(w) = -w**3 + w**2 + 2*w. Let t(b) = -6*i(b) + v(b). Is t(17) composite?
False
Let j(f) = f**3 - 12*f**2 + f - 2. Let t be j(12). Suppose b = 3*b - t. Is 11 + 0 + 1 + (b - 6) prime?
True
Suppose -2*d + 2*w = -134024, 0 = 6*d - d + 5*w - 335000. Is d a prime number?
False
Suppose -3*x - 3 = 0, -5*c + 3*x = -7*c - 115. Is 7 - (-399)/c - (-86235)/24 a composite number?
False
Suppose -b - 4*t = 0, -3*b + b - 4*t = 0. Suppose b = -8*a + 223 + 1697. Suppose a + 211 = f. Is f a composite number?
True
Let w = 143042 + 216615. Is w prime?
True
Let x(h) = -11 - 5*h - 4 + 19*h + 7*h**2 + 12*h**2. Let m be x(9). Let q = -863 + m. Is q a composite number?
False
Suppose -16*g = -37*g + 69730 + 20549. Is g a composite number?
True
Suppose 4*n + 105 - 569 = 0. Let v(s) = -s**2 + 150*s + 1551. Let q be v(-9). Suppose -n*z = -q*z + 4220. Is z prime?
False
Suppose -36 = -2*c - 4*j, -3*c + 3*j = j - 54. Let o(w) = 22*w + 46 - 6 + 20*w + 1. Is o(c) prime?
True
Let h be 4/20*5 - -1. Let b(r) = r**3 + 3*r**