 = 2*n**3 - 5*n**2 + 4*n + 1. Suppose -3*y - 4*r - 29 = -6*y, -4*y - 4*r - 8 = 0. Let u be s(y). Let q = 43 + u. Is q a composite number?
True
Suppose -2*b = c + 4, -4*c - 5*b - 2 = -4*b. Suppose c*q - 3132 = -4*q + 4*i, -5*q + 3923 = -3*i. Is q prime?
True
Let l = 21115 - 6438. Is l composite?
True
Suppose -6*l + 7 = -23. Suppose -l*d = -3547 - 4738. Is d a prime number?
True
Suppose 20318 = 4*m - 2*s + 5516, 0 = s - 5. Suppose 2*u = -3*u - 4*k + m, -5*u + 3724 = -3*k. Is u prime?
True
Let c = -41 + 44. Suppose -2*g - 6 = -5*g. Suppose c*j - 175 - 136 = y, 2*j = g*y + 210. Is j a composite number?
False
Let k(d) = 1234*d**2 - 8*d - 16. Is k(-3) composite?
True
Let i be (1*(-4)/2)/(8/(-4)). Is ((-16)/24)/((-9358)/9354 + i) composite?
False
Let x be (868/(-12))/(2/(-6)). Let a = -35 + 104. Suppose 4*v + a - x = 0. Is v composite?
False
Suppose u = 4*j + 4*u - 5, -8 = -3*j + 2*u. Suppose j*r = 5 - 1. Is (r - -2) + -2 - -137 composite?
False
Suppose -17*g = -19*g + 2776. Let z = -511 + g. Is z a composite number?
False
Suppose 2*k - 2*i + 6 = i, -i = -2*k - 2. Suppose 16 = -4*v - k, 5*v = -2*p + 494. Is p a prime number?
True
Is 24/15 - 2 - (-7874)/10 a prime number?
True
Is ((-22)/(-2))/((-3)/(-573)) - -4 prime?
False
Is (23159*-2*37/74)/(-1) a prime number?
True
Let p(y) be the third derivative of -y**6/30 - y**5/15 + y**4/6 - y**3/2 + 14*y**2. Is p(-5) a composite number?
True
Let z(r) = 417*r**2 + 103*r + 7. Is z(-5) a prime number?
False
Suppose 4*k = -7 - 1. Let g be (3 - k*18)/1. Is (-3)/((-9)/g)*13 a prime number?
False
Let g = 317 - -366. Suppose 2*k - g = k. Is k a composite number?
False
Let a(p) = -8*p + 53. Let f be a(6). Let l(c) = 58*c**3 - 5*c**2 - 11*c - 7. Is l(f) prime?
False
Let d = 4231 - 1869. Let v = d - 1293. Is v prime?
True
Suppose 151 - 50 = a. Let o = -48 + a. Is o a composite number?
False
Suppose -20976 = -6*q + 149082. Is q a prime number?
False
Let g = 34626 - -14021. Is g a composite number?
False
Let p(j) = -2776*j + 139. Is p(-3) a prime number?
True
Is (-1)/((6/(-50449))/(-6)*-1) a prime number?
False
Let r(n) = -n**3 + 9*n**2 + n - 2. Let v be r(9). Let t(i) = 9*i**2 + v + 5*i + 3*i - 6 + i**3 + 6. Is t(-7) a prime number?
False
Let k(d) = -d + 11. Let s be k(7). Is (s - 63/(-6))*14 composite?
True
Suppose 303781 = 3*x - 4*v, 2*v - 405063 = -4*x + 3*v. Is x prime?
True
Suppose 3*w - 7518 = -3*j, 0 = -2*w + 2*j + 4676 + 324. Is w a composite number?
False
Let b(a) = -a + 27. Let m be b(19). Suppose -7*u - m = -1. Let h(l) = -35*l + 2. Is h(u) a prime number?
True
Suppose 16*w = 11*w + 2030. Suppose 4*d = 6*d - w. Is d a composite number?
True
Let n(f) = 6*f**2 - 8*f - 11. Let j(w) = 5*w**2 - 7*w - 10. Let x(k) = -7*j(k) + 6*n(k). Let l be x(-3). Let m(v) = v**2 - 23. Is m(l) a prime number?
False
Let g(l) = 78*l**2 - 9*l + 19. Is g(4) a composite number?
False
Let y = 52 + -38. Suppose y*u = 4580 - 1024. Is u composite?
True
Let l(a) be the second derivative of 3*a**4/4 - 2*a**3/3 + 3*a**2 + 14*a. Is l(-5) composite?
False
Let o(w) = 397*w**2 + 211. Is o(10) a prime number?
False
Let z(u) = -11*u**3 + 5*u**2 + 2*u - 1. Suppose 3*a = -3*y, -y + 4*a = 3*y - 8. Let l be (-18)/24*4/y. Is z(l) prime?
False
Let s(r) = 5*r - 3. Let n be s(10). Let v = 0 + 0. Suppose v*p + p = n. Is p a prime number?
True
Let i = 6 - 3. Suppose -5*u - 2*v + 10 = 0, 4*v - i = -23. Suppose -34 = -2*j + u*m, -2*j - m = j - 65. Is j a prime number?
False
Suppose -w = -5*g + 7, -2 = -4*w + 5*g - 0. Is -1 + 4 - (-1248)/w a composite number?
False
Let z be ((1 - 1) + -1)*-1475. Suppose 0 = -10*t + 40. Suppose -t*d = d - z. Is d a composite number?
True
Let l(q) = 3*q**2 + q + 1. Let k be ((-7 - -1)*1)/((-10)/10). Is l(k) prime?
False
Let q(a) be the third derivative of -4/3*a**3 + 1/20*a**5 + 0 + 7/24*a**4 + 0*a - 2*a**2. Is q(-6) composite?
True
Suppose -2656 = -4*y + 25340. Is y prime?
False
Let x(y) = y**3 - 4*y**2 + 4*y - 3. Let c be x(3). Suppose c*u - 4 = -u. Suppose -5899 = -5*g - u*a + 1890, 3*g - 4699 = 4*a. Is g prime?
False
Let x = 147646 - 96665. Is x composite?
True
Suppose 1714 = 10*a - 36456. Is a prime?
False
Let s = 5 + 0. Let f = 244 - 170. Suppose s = q - f. Is q composite?
False
Let l be ((-178182)/95)/((-6)/(-20)). Let p = l - -4260. Let m = 2951 + p. Is m a composite number?
True
Let b(q) = -33*q**3 - q**2 - q - 8. Is b(-3) prime?
True
Suppose -9*w = -6490 - 6101. Is w a prime number?
True
Let r = 208 + 475. Is r prime?
True
Is 6/8 - (-6)/(168/69391) composite?
True
Let t = -334064 + 483003. Is t a prime number?
False
Let l = 9678 - 4819. Is l prime?
False
Let d = 121 + 13. Let s(q) = -2*q + 189. Let c be s(0). Let f = c - d. Is f a composite number?
True
Let f be 486235/(-62)*1*-1*-6. Is (f/20)/3*-4 a composite number?
False
Suppose -8*h + o = -7*h - 4053, 4*h = 2*o + 16204. Is h composite?
False
Let z(o) = -2*o - 21. Let u be z(-13). Suppose u*h - 8*h + 102 = 0. Let n = h + 5. Is n prime?
False
Let j be 18/3 + -189 + (-2)/1. Let m = 772 + j. Is m a composite number?
False
Let q = 99 + -95. Suppose q*k - 5276 = -4*h, 2*h + 2*h = -k + 1319. Is k composite?
False
Let x = 8 + -11. Let z be x/12 - 4705/(-20). Suppose 4*b + 39 = z. Is b a composite number?
True
Suppose 3*a - 118830 = -4*p - 28375, -2*a + 60265 = -5*p. Is a prime?
False
Suppose -k = -5*n - 585, k + 2*k - 1690 = 2*n. Suppose 2*w - 9166 = -k. Is w a composite number?
True
Suppose 157*q - 160*q + 47031 = 0. Is q a composite number?
True
Suppose 43*x - 232436 = 135773. Is x a prime number?
True
Let j(t) = 5*t**2 + 12*t - 46. Is j(-9) a prime number?
True
Suppose -l - 4 = 3*w, 3*w - 4 = -2*l - 18. Let c(j) = -56 - 46 - 13*j + 91. Is c(l) prime?
False
Let s be (-92)/(-8) + (-3)/6. Suppose 0 = -s*w + 6*w + 4205. Is w a prime number?
False
Let q(f) = -f - 6. Let d be q(7). Let m = d + 19. Is (58/m)/((-3)/(-99)) composite?
True
Suppose -3*s + 5*s + 146 = 0. Let q = s + 432. Is q prime?
True
Suppose -5*p - 1 = -11. Suppose p*k + 7 = 3*k. Is k prime?
True
Let l(c) = c**3 - 10*c**2 - 29*c + 15. Suppose -4*w - 5*s = -w - 39, 52 = 4*w - s. Is l(w) prime?
False
Suppose 7*h + y - 274 = 3*h, 2*h = 3*y + 144. Suppose 0 = -b - 5, -z + 4*b - h = -2*z. Is z a prime number?
True
Let u = -27745 - -40458. Is u a composite number?
False
Let p = 75285 + -39538. Is p composite?
False
Let i(g) = g + 15. Let f be i(-7). Suppose f*u = -u. Is u + 564 - (-9)/9 a composite number?
True
Let p(h) = 42*h**2 + 19*h - 2. Is p(9) a composite number?
False
Let l = -4 - -5. Let f(j) = 623*j**3 - 4*j**2 - 2*j. Let m(g) = -623*g**3 + 3*g**2 + g. Let v(b) = -2*f(b) - 3*m(b). Is v(l) prime?
False
Let y(i) = 2*i**2 - 7. Let n = -21 - -29. Let c be y(n). Suppose -4*h + 31 + c = 0. Is h a composite number?
True
Suppose -62209 = -h - 2*r, -5*h + 2*r = 3*r - 311036. Is h composite?
False
Suppose n - 5 = -2. Suppose 0 = n*m + 8 + 1. Let b = 160 - m. Is b a prime number?
True
Let c = -689 - -7180. Is c a prime number?
True
Suppose 3*b - 7*z = -11*z + 35157, -3*b + 35157 = 5*z. Is b a composite number?
False
Suppose -d + 13 = 9. Suppose 0 = d*o - 2*o - 422. Is o composite?
False
Let j(s) = -s**2 + s - 28. Let r be j(0). Let i be (-44919)/r - 1/4. Let y = i - 1051. Is y composite?
True
Let i(m) = -2*m**3 - 27*m**2 + 11*m - 47. Is i(-26) prime?
True
Let j = 1566 - -1927. Is j prime?
False
Suppose -2*x + 8 = 0, -3*y - x - 4*x + 16811 = 0. Is y a prime number?
False
Let a be 0 + -12 - (-104 + 96). Let u(j) = -9 + 3*j - 2*j + 7*j**2 - 2*j**2. Is u(a) a composite number?
False
Is (-10)/(0 + 2) - (7 - 33389) a prime number?
True
Suppose -3*x + 8245 = -5*u, -3*x + 2*x - 5*u + 2735 = 0. Suppose -4*g - x = -3*l, 5*g - 3302 - 389 = -4*l. Is l a composite number?
False
Let y(v) = v**3 + v**2 + v + 6. Let b be y(0). Suppose 3*h + 13 = 5*i, h = 3*i - b - 1. Suppose r - 19 = -5*u, 0 = 2*r + 3*u - i*u - 38. Is r composite?
False
Let b = 1551 - 190. Is b composite?
False
Let v be 0 + 1 + (-62940)/(-10). Let r = -4456 + v. Is r prime?
False
Let m = -23785 + 120618. Is m a prime number?
False
Let t = -6055 - -8712. Is t composite?
False
Let o(i) be the second derivative of 237*i**5/20 + i**4/12 + i**3/3 - 3*i**2/2 - 39*i. Is o(2) prime?
True
Let a(j) = -3*j**3 - j**2 + 4*j + 20671. Is a(0) prime?
False
Let t(m) = m**3 - m**2