rue
Let b(o) be the second derivative of o**7/2520 + o**6/360 - o**5/120 - o**4/6 + o. Let f(s) be the third derivative of b(s). Is f(-6) a prime number?
True
Let k = 72 - 21. Suppose 2*x = -x + k. Let z = 66 - x. Is z a prime number?
False
Let i(u) be the first derivative of -28*u**4 + 2*u**3/3 + u**2 + u + 4. Is i(-1) composite?
False
Suppose 0 = 4*u - 4, -g + 5*u = -2*g + 912. Is g a prime number?
True
Let c be 3/(1 + 3/6). Let i(x) = -5 - c*x**3 - 8*x + 12*x + x**3 + x**2. Is i(-4) a prime number?
True
Suppose -2*b = 3*b + 10. Is b/10 + (-956)/(-5) prime?
True
Suppose 2891 = 8*m - 1021. Is m a composite number?
True
Let q = 416 + -237. Is q prime?
True
Suppose -5*h + 139 = 2*r + 2*r, 105 = 4*h - 3*r. Suppose 5*f + 5*t = -40, -5*t - 14 - 10 = 3*f. Let n = f + h. Is n a composite number?
False
Suppose 8789 = 3*q - i - i, -2*i = 5*q - 14627. Is q composite?
False
Let u be 158/5 + (-6)/(-15). Suppose -5*d = -4*p - 5, 0 = p - 5*d - 12 + u. Suppose -4*v + p*h + 151 = -70, -3*v = -h - 152. Is v composite?
True
Let y = 607 + 294. Is y composite?
True
Let d = 205 + -114. Let g = d - 38. Is g a composite number?
False
Suppose 0 = 2*c + 4 + 6, -2*u + 39 = -5*c. Suppose 0 = 2*s - u*s + 745. Is s prime?
True
Suppose -4*s + 3*a + 9661 = 0, 12835 - 3189 = 4*s + 2*a. Is s prime?
False
Suppose k + 102 = 6*z - 3*z, 0 = 4*z + 20. Let n be k/6*4/(-3). Is (3/(-6))/((-1)/n) a prime number?
True
Let h = 8 - 22. Is (h + 2 - -1)*-7 a prime number?
False
Is (2811/(-15))/(1/(-5)) a composite number?
False
Let n = -19 - -1232. Is n a prime number?
True
Suppose -72 = g + 2*r - 3*r, -3*r = 5*g + 376. Suppose -5*d - 108 = -3. Let f = d - g. Is f a composite number?
False
Let o = 21 + 2. Is o a composite number?
False
Let b = 2 - 0. Suppose b*d - 60 = 7*d. Let m = d - -26. Is m a composite number?
True
Is (3 + 5596/8)*2 prime?
False
Suppose 4*d - 2526 = -642. Is d prime?
False
Suppose 2*v - 5*v - 12 = 0, 4*x - 2*v - 2884 = 0. Is x a prime number?
True
Let z = 30 + 19. Let v = z - -69. Is v prime?
False
Let b = -7 + 13. Let x(m) = -11*m + 1. Let p be x(b). Let r = 154 + p. Is r a composite number?
False
Let k = 249 + -158. Is k prime?
False
Suppose g - 222 = -3*y, -7*g + 2*g + 5*y + 1210 = 0. Is g a prime number?
False
Is ((-74)/4)/((-4)/8) a composite number?
False
Suppose 3*x - 12 = p, 0 = -2*p + 4*p - 6. Suppose 8*g - 3*g = 0. Suppose -2*i - 33 = -g*o - o, -x*o + 4*i = -165. Is o a prime number?
False
Let s be (-4)/(-10) + 108/30. Suppose -37 + 269 = s*c. Is c a composite number?
True
Let y(q) = q**3 + 20*q**2 - 12*q - 60. Is y(-19) a composite number?
True
Let p(n) = -11*n**2 - n - 1. Let o be p(2). Let k = o - -89. Suppose -3*m + 69 = -k. Is m prime?
True
Let q(k) = -296*k - 7. Is q(-10) a prime number?
True
Let q(d) = -57*d**3 + 2*d + 1. Let l = -2 + 1. Let w be q(l). Suppose -20 - w = -4*g. Is g composite?
False
Let h = -68 - -15. Let y = h + 102. Is y a composite number?
True
Suppose 136 = -k + 2*k + 3*z, -4*k - 3*z = -562. Let p(g) = 3*g - 1. Let t be p(5). Suppose t = 4*u - k. Is u composite?
True
Let u = 10 - 16. Let z(b) = -3*b**3 - 9*b + 7. Let g(d) = -d + 1. Let h(o) = u*g(o) + z(o). Is h(-3) prime?
False
Suppose 2 - 12 = -2*x. Suppose 4*k = x*n - n + 848, k - 2*n = 211. Is k a composite number?
True
Let w(j) = -2*j**2 - 3*j. Let v be w(-4). Let a be 10/(-4)*16/v. Suppose a*p - 8 + 19 = 3*b, 2*p = 4*b - 14. Is b a prime number?
True
Let j = 9 - 2. Is 42/(-15)*(2 - j) prime?
False
Let b(p) = p**3 - 4*p**2 - 4*p + 3. Let g be b(5). Is g/(-4) - (-2 + -26) a prime number?
False
Let z be 6/(-4)*4/(-6). Is z/(-1)*(0 + -31) a prime number?
True
Suppose 4*r - 2*y + 1372 = 2*y, 12 = 3*y. Let i = r + 810. Is i prime?
False
Let u(o) = -12*o - 2. Let b be u(-2). Suppose -1 = -q - 4*g - 3, -2*q - b = -g. Is (-6)/15 + (-954)/q a prime number?
False
Let a(m) = 25*m**2 + 4*m + 1. Let d(l) = 51*l**2 + 7*l + 2. Let h(s) = -5*a(s) + 3*d(s). Is h(2) prime?
False
Let d = 222 + 246. Suppose -d = r + 3*r. Let w = r + 182. Is w composite?
True
Suppose -14 = -p - p. Is p a prime number?
True
Is 6/(24/962)*2 a prime number?
False
Suppose d + 0*d + 62 = 0. Let m = d + 355. Is m a prime number?
True
Let b = -6 + 2. Let s = b - -41. Is s a composite number?
False
Let z = 3 - 3. Let p = 2 + z. Is 84 - 1*p/(-2) composite?
True
Let l be (3 - 3) + 0 + 368. Let d = l - -5. Is d composite?
False
Suppose 0 = 2*s - 4*s + 8. Is (1 - -1)/(s/158) prime?
True
Is ((-118)/4)/((-3)/12) a prime number?
False
Is -51*2/4*-2 composite?
True
Suppose 0 = -5*v - 0*v + 1345. Suppose -2*c - 2*g - v = -7*c, 3*c = 4*g + 167. Is c composite?
False
Is -3*((-736)/(-12))/(-8) composite?
False
Let r = 272 - -405. Is r composite?
False
Let s = 69 + -29. Let t = s - 17. Is t composite?
False
Suppose 2*m - m + 5 = 0. Is 972/10 + 1/m composite?
False
Let o = 133 - 74. Is o a prime number?
True
Let p(d) = 6*d**3 - 2*d**2 + 2*d - 1. Let q be p(1). Suppose -q = 4*x - 3*x. Let v = -3 - x. Is v composite?
False
Suppose 49 - 15 = -2*o. Let a = 11 + o. Is ((-561)/a)/((-1)/(-2)) a prime number?
False
Let w(r) = 21*r - 5. Is w(8) a prime number?
True
Suppose 0 = -2*d + 6 - 2. Let i be (3 - 14/10) + 4/10. Suppose -s = -i*k - 73, -3*s + k - d*k = -198. Is s prime?
True
Let m = -24 - -37. Suppose 2*d - m = 9. Is d a prime number?
True
Let a = -1 + -3. Is 3/3*357 + a prime?
True
Let z be ((-1)/2 - -1)*8. Suppose 0 = -3*f - 11 - z, 5*r = 4*f + 90. Let y = 7 + r. Is y prime?
False
Let w = 346 - -49. Is w composite?
True
Let q(i) = 3*i + 1. Let o be q(-13). Suppose -3*g + 273 = -0*g. Let h = o + g. Is h a prime number?
True
Suppose 2*w = -j - 15, -5*w + 23 = -2*j - 2*w. Is 2/13 + (-193)/j prime?
False
Suppose 3*s - 8*s = -25. Let r(o) be the first derivative of 12*o**2 - 7*o - 24. Is r(s) prime?
True
Let d = 8 - 3. Suppose d*t - t - 592 = -4*n, -4*n = -4*t + 600. Suppose 5*j - 239 = -4*w, -t = -5*j + w + 85. Is j a composite number?
False
Let z = -717 - -1118. Is z a prime number?
True
Suppose -4*m + 4 = -0*m. Let v(l) = -4 - m - 4*l - 3*l + l**2. Is v(8) composite?
False
Suppose 2*j + 2392 = 3*j + 3*w, 3*j - 7231 = 2*w. Is j a composite number?
True
Let i be (0/(-2))/(0 - -1). Is 147 + (i - (-2 + 0)) a composite number?
False
Is (-1)/(-2)*(974 - -4) a composite number?
True
Suppose 2 = 3*i - 4. Suppose 5*s = i*t - 3*t + 786, -s = t - 154. Is s a prime number?
False
Suppose -7*l + 3*l = -128. Suppose 2*x - 42 = -4*g, l = 2*x + 2*g - 2. Let h = x + 1. Is h composite?
True
Let i = 23 + 8. Is i a prime number?
True
Let v = 12 - 8. Suppose 2*y = v*y - 510. Suppose -3*f = -8*f + y. Is f a composite number?
True
Let w(u) = -2*u**2 - 4*u - 5. Let d be w(4). Let t = d - -99. Suppose 0 = 2*o + 4*z - t, 2*o - 65 = -o - 5*z. Is o a prime number?
False
Let a = 76 + 115. Is a composite?
False
Let v be (-6)/(-15) - (-16)/10. Suppose -f + 2*n - n = 6, 4*f = v*n - 18. Is 0/f + 382/2 a composite number?
False
Let w(r) be the third derivative of -5*r**7/1008 - r**6/720 + r**5/60 - r**2. Let j(x) be the third derivative of w(x). Is j(-2) prime?
False
Suppose i - 420 = -3*i. Suppose 3*u - 6 - i = 0. Is u composite?
False
Let j = -452 - -941. Is j composite?
True
Let j(m) = -m**2 + 4*m - 3. Let r be 4/(-18) - 29/(-9). Let n be j(r). Suppose -2*d + 459 + 203 = n. Is d composite?
False
Suppose 2*o + 3*o = i + 289, -2*i + 4*o = 584. Let n be (3 - (4 + 1)) + -183. Let x = n - i. Is x a composite number?
False
Suppose -3*m = 7 - 166. Is m prime?
True
Suppose -7*l + 2*l = -2245. Is l a prime number?
True
Suppose 0*v = -3*a + 5*v + 350, -a = 2*v - 113. Is a a composite number?
True
Let b(q) = 2*q**3 - 2*q**2 - 3*q + 3. Let u be b(2). Suppose -u*g - 3*h = -4*h - 3747, -2*g + 1506 = -4*h. Is g a prime number?
False
Is 1/(((-2)/(-358))/(2 - 1)) a prime number?
True
Suppose -v + 1807 = 12*v. Is v prime?
True
Let x = 5 - 10. Let m = 3 + x. Let u(q) = -3*q**3 + 2*q**2 - q - 1. Is u(m) a prime number?
False
Suppose 0 = -2*w + g + 377, 0 = -2*w + 4*g + 238 + 124. Is w composite?
False
Let v(t) = -8*t + 9. Suppose 6*m = 8*m + 20. Is v(m) composite?
False
Let c(m) = 12*m**2 - 12*m + 1. Let l be c(-11). Suppose -k - 4*k = -l. Is k composite?
False
Suppose 49 - 389 = -4*v. Is v prime?
False
Suppose 4*c + v + 40 = -0*v, 3*c = -4*v - 43. Let o = c - -23. Let x = o - 4. Is 