s v a composite number?
False
Let y(o) be the third derivative of -o**4/8 + 13*o**3/3 + 15*o**2. Let i be y(-12). Suppose 4*w - 38 = 2*v + 16, 5*w = -3*v + i. Is w a composite number?
False
Let o(f) be the third derivative of 1/15*f**5 - 27*f**2 + 1/4*f**4 + 0*f - 5/2*f**3 + 0 + 11/60*f**6. Is o(3) prime?
False
Suppose 47*n + 42*n = 106*n - 2215729. Is n composite?
False
Let g = 17 + -20. Let c(y) = -1912*y - 97. Is c(g) a composite number?
False
Let g(q) = -51*q + 8*q**2 - 58 - 64 - 22*q + 25. Is g(-22) a prime number?
True
Let r(w) = -3321*w + 10. Suppose 0 = x - 3, -2*m - 2*x = -3*x + 15. Let u be r(m). Is (-1)/3 + u/21 a composite number?
True
Suppose k = s + 28, 2*s - 3*s - 40 = 3*k. Let y = 35 + s. Suppose 3*o - 1121 = -3*j - o, 8 = y*o. Is j prime?
False
Let n = -12 + 30. Let a = n - 14. Is 2*1 - (-8612)/a prime?
False
Let z(i) = -8083*i - 24. Is z(-1) a composite number?
False
Suppose -3*l + 4*n + 660813 = 0, 39*l + 5*n + 1101365 = 44*l. Is l a prime number?
True
Let a be (-1453)/2 - ((-5)/2 + 1). Let n = a - -1062. Is n a composite number?
False
Suppose 5 = -u + 3*s, -3*u - 4 = -s + 3. Let m be (-40)/(-30)*u/(-8)*6. Suppose f - m*l - 885 = 0, 0 = 4*f + 6*l - 4*l - 3580. Is f a composite number?
True
Suppose 90*q = 106*q - 112. Suppose 3*h = 5*i - 67, i + 4*h = q*h + 11. Is i a composite number?
True
Suppose 12*m - 1 = -13. Let c be m/3*(-2 - -3 - 304). Let u = c - -48. Is u prime?
True
Let p = -13603 + 47977. Is ((-20)/30)/((-4)/p) a composite number?
True
Suppose -c = x - 4 - 6, 28 = 4*c + x. Suppose -5*w - 1011 = t - 5473, 0 = 2*t + c. Is w a composite number?
True
Let v(y) = 9550*y**2 - 77*y + 673. Is v(8) prime?
True
Let w(c) = c**2 + 2. Let r be w(0). Let h(a) = 4891*a - 39. Is h(r) composite?
False
Is 4856/48560 + 2/(-20)*-312349 prime?
False
Suppose -3*d + 269 = -4*q, 5*d + 224 = -4*q - 85. Let s = q + 71. Suppose s = 15*j - 17*j + 2630. Is j prime?
False
Suppose -19*a = -25*a + 116238. Is a a prime number?
True
Let z(u) = 96*u - 17. Let n be z(17). Let p = n - -8. Suppose h - p = -2*h. Is h a composite number?
False
Let w(f) = -f - 5. Suppose 3*m + 17 + 28 = 2*s, 4*s - 5*m - 87 = 0. Let o be w(s). Let d(y) = -24*y - 49. Is d(o) prime?
True
Let v(f) = -f**3 - 11*f**2 + f + 13. Let i be v(-11). Suppose -i*q = q - h - 1044, -3*h = 4*q - 1405. Suppose 6*y = 13303 - q. Is y a prime number?
False
Let m = -12 + 14. Suppose -m*l + l + 3*n = -59, -5*n = 4*l - 202. Suppose -3*a - x = -554, 0 = -a + 4*x + l + 110. Is a composite?
True
Let g(j) = 4310*j + 8543. Is g(30) a prime number?
False
Let w(u) = u**2 - 8*u - 6. Let g be w(9). Let n be g*(-1)/6*8. Is 1/n*(6/3 + -654) a prime number?
True
Let w be 5769/6*200/15. Suppose -5*s - 2*d - 750 = -32797, 2*s + 2*d = w. Let n = s + -4448. Is n a composite number?
True
Let c = 16 - 11. Let o = 243 - 241. Suppose 732 = 2*k - c*j, -5*j - 108 + 860 = o*k. Is k composite?
True
Is (((-45865)/(-10))/(-1))/((-9)/54) prime?
False
Suppose -2*c + 0*c - 6637 = -3*k, k - 2231 = -4*c. Suppose 5*s - k = 5*n, n = 2*s - 3*n - 880. Is s a prime number?
False
Let w(q) = 3001556*q**2 - 12*q - 1. Is w(1) prime?
True
Let q = -263881 + 624352. Is q prime?
False
Suppose -522893 = -6*x + 5*x + 12*s, x + 3*s = 523013. Is x composite?
False
Let c(o) be the first derivative of -154*o**2 - 109*o + 138. Is c(-51) composite?
True
Let i(n) = 13962*n**2 - 6*n - 5. Is i(-1) composite?
False
Suppose -8*l = -1 - 23. Suppose -4086 = -3*b + l*t, 3*b - 4*t - 3058 = 1024. Is b composite?
True
Suppose -366 = -6*f + 3*f. Suppose -179*m + 3 = -178*m. Suppose -m*t = -917 + f. Is t composite?
True
Let z(i) = 8*i - 16. Let a be z(4). Suppose a*c - 9*c - 1309 = 0. Suppose -d + h = -c, -2*h - 565 = -d - 2*d. Is d prime?
True
Let b(t) = 7784*t - 258. Is b(10) a prime number?
False
Let z(h) = 539942*h**3 - 5*h**2 + 9*h - 5. Is z(1) a composite number?
True
Suppose 29*u = 28*u + 63. Suppose 0 = -u*a + 51*a + 299220. Is a prime?
False
Let f(p) be the second derivative of 3*p**4/4 - 7*p**3/2 + 3*p**2/2 + 14*p. Let d(v) be the first derivative of f(v). Is d(20) a composite number?
True
Suppose 0 = -3*z + 3*c + 81, -4*z + 3*c = -3*z - 21. Let q = 33 - z. Suppose -4*f - i = q*i - 632, 0 = -4*f + 3*i + 639. Is f a prime number?
False
Is (-157367 + 8)*(-16)/48 a composite number?
False
Let p = 114 - 111. Suppose 6222 = p*v - 1677. Is v a prime number?
True
Let k(i) = 664*i + 1629. Is k(77) a prime number?
True
Suppose 5*i = 3*d + 792 - 7645, -4 = -4*i. Suppose -2*z = -788 - d. Is z prime?
False
Suppose -2*q - 18 = -5*q. Let s(f) = 23 + q*f + 6*f - 22*f + 12*f. Is s(-6) composite?
False
Is (-5210829)/(-15) + 22/55 a composite number?
True
Suppose 121920 = -2*q - 14*q. Let f = -1591 - q. Is f a prime number?
True
Is ((2 - 6145) + 4)*(-12)/12 a composite number?
True
Suppose n - 14 = -2*f - 0*n, 3*f + n - 19 = 0. Suppose 5*g = -5*z + 4530, f*z + g - 1811 = 3*z. Is z a prime number?
False
Suppose -6 = 3*g, 10*s = 14*s - 4*g - 350492. Is s a prime number?
False
Let k be (-6)/21 + (-855)/21. Let g = -48 - k. Let p(v) = 7*v**2 - 4*v. Is p(g) prime?
False
Suppose 4*t = 6*s - 8*s - 3688, -5*s - 9220 = -t. Let p = s + 4398. Is p a composite number?
True
Let d(t) = t - 2*t**3 + t**3 - 76 + 73. Let i be d(-2). Is (0 - 1/i)/(76/(-86868)) composite?
True
Let y = 26 + -29. Let z be (-21)/(-9) + y/9 - -3. Suppose -z*c + 2986 = -3979. Is c composite?
True
Let r be (-11 - (-18)/6) + 6397. Suppose 3*s - r + 2660 = 0. Is s composite?
True
Let b(u) be the third derivative of 0 + 9/2*u**3 + 0*u + 709/24*u**4 + 32*u**2. Is b(10) composite?
True
Suppose -35113 = -2*c - m, 16*c - 12*c + 5*m = 70235. Suppose -62863 = -6*y + c. Is y composite?
True
Let l(w) = -w**3 + 27*w**2 + 3*w - 63. Let k be l(27). Suppose -3*j + 3 + k = 0. Let v(q) = 5*q**3 - 10*q**2 - 2*q - 10. Is v(j) a composite number?
False
Is (1664024/14)/2 + (-336)/784 composite?
True
Let h = 81138 - 54047. Is h composite?
False
Let a(r) = 27*r**3 + 48*r**2 - 45*r + 76. Let b(m) = -5*m**3 - 10*m**2 + 9*m - 15. Let u(g) = 2*a(g) + 11*b(g). Suppose 5*p + 51 = 2*p. Is u(p) composite?
False
Let w(n) = n**2 + 12*n. Let v(k) = 7*k**2 - 6*k - 1. Let i be v(3). Suppose 2*t + 2 = -i. Is w(t) prime?
False
Let k be (-118)/(-5)*260/8. Suppose -4*m = -5*p - 922, 3*p - 74 + k = 3*m. Is m composite?
False
Suppose 5 = -10*y + 15. Let x be -1043*((-5)/(-10) + y/2). Is -1 + x/(2 - 3) a composite number?
True
Is 2*(15/(-30) + (2 - 1)*111267) composite?
False
Suppose -3*s + 21 = 15. Let d be s/(-2) - (-2 + (-1 - 1)). Suppose -301 = -p - u, -d*p = 2*u - 817 - 86. Is p a prime number?
False
Suppose k + 5 = 0, 128*k - 133*k = 3*h - 202784. Is h a composite number?
True
Suppose -4*n + y = -42678, -5*n = 4*y - 61271 + 7934. Is n prime?
False
Let j(p) = p**3 + 2*p**2 + 2*p + 4. Let y be j(0). Let l be 4*(y/8 + -2). Is ((-3506)/4 - -2)*4/l a composite number?
True
Let z(b) = -195*b**3 + 35*b**2 - 4*b + 55. Is z(-20) prime?
False
Suppose -u = -5*h + 27596, 0 = 5*u - 4*u - 4. Let y = -2373 + h. Is y a prime number?
False
Suppose 7*g - 2*g + 25 = 0. Let r(x) = -7 - 52*x + 1 - 5 - 26. Is r(g) prime?
True
Let p be 4/10 - (-40)/25. Let m(x) = 0 + 64*x**p - 686*x + 3 + 685*x. Is m(-4) a composite number?
False
Suppose 88471 = v - 4*j - 236170, -2*v - 3*j + 649370 = 0. Is v prime?
True
Let l = -11540 - -6278. Let m = l + 9331. Is m a prime number?
False
Suppose 0 = -2*j + 20 + 12. Let r(s) = -s + j - 8 - 8 + 128*s**2. Is r(1) a composite number?
False
Let p(k) = 9*k - 68. Let b be p(8). Suppose -b*y + 5650 = 21*y. Is y prime?
False
Suppose 82*h - 9168342 = 9370792. Is h a composite number?
False
Let q be (-1 - -2)*0 + 0 + 15. Suppose -12*d = -15*d - q. Is ((-14)/d)/(32/1360) a prime number?
False
Let a be -5*((-10)/6 - (-8)/3). Is 3435 + a + 0 + 6 + -3 prime?
True
Suppose 28 = -6*y + 4. Let d be y/5*25/(-10). Suppose z = 2*x + 259, d*x = -2*z - 3*z + 1247. Is z a composite number?
False
Suppose 7*g = 6*g - 81. Is 1 + (-893412)/g - 6/(-27) prime?
False
Let o be 9/(252/(-8)) + 1174452/21. Suppose -26*v - o = -281164. Is v a composite number?
False
Let g be (-1)/((-4)/(-20)*-1). Suppose 0 = -u - 2*s + 3321, 0*u - 3*s - 3331 = -u. Suppose g*v - u = -c + 6*c, -2*v - c + 1342 = 0. Is v a composite number?
True
Let d be (9 - 9 - (-1)/(-5))*-10. Is ((