d be x(6). Let n = 47 - d. Is n a composite number?
True
Suppose -28*t + 122937 + 150259 = 0. Is t composite?
True
Is (-35)/5 - -11902 - 8 prime?
True
Let o(q) = 561*q**2 - 57*q + 257. Is o(5) composite?
False
Suppose 0 = -7*a + 12*a - 20475. Let c = a - 2200. Is c composite?
True
Let g = -2 - -1. Is (5/3)/((-172)/174 - g) a composite number?
True
Suppose v + 1841 = 3*r + 2*v, 2*r - 1226 = -2*v. Is r a composite number?
True
Suppose -8*v - 1266 = -14*v. Is v prime?
True
Suppose 0 = -28*f + 71*f - 5056671. Is f a composite number?
True
Let j = 60 - 56. Suppose -j*g = 3*y - 269, -2*y - 4*g = -5*g - 194. Is y prime?
False
Let q = 3105 - 1434. Let h(x) = 153*x + 101. Let s be h(-7). Let o = s + q. Is o a composite number?
False
Let t = -55614 - -97543. Is t prime?
False
Let n(z) = -78*z + 11. Let w = 95 - 107. Is n(w) a composite number?
False
Suppose -90226 = -15*t + 11459. Is t a prime number?
True
Let r(l) = 3*l**2 - 4*l - 10. Let u be -4 - (3/(-3) - 4). Let t be ((-60)/3)/2 - u. Is r(t) composite?
False
Let y(i) = 51 - 35 - i + 0*i. Let c be y(16). Is 489/(-15)*(-5 + c) composite?
False
Let d = -11820 - -18143. Is d a composite number?
False
Suppose -7*w + 2*w + 250 = 0. Suppose 0 = 3*j + 38 - 11. Let r = w - j. Is r composite?
False
Is (8 - 4) + (0 - 1*-3975) a prime number?
False
Let d(b) = -b**3 + b**2 - 2*b + 5*b + 2*b**2 + 1 + 3*b**2. Let n be d(8). Let j = 36 - n. Is j prime?
True
Let s = 66512 + -27261. Is s prime?
True
Let f(h) = -5*h**3 + h**2 - h + 11. Is f(-6) a prime number?
False
Suppose 5*h = -18 - 7, 3*s = 2*h + 25. Suppose r - 449 = -s*p + 84, -p = 3*r - 115. Let g = 171 - p. Is g prime?
False
Is (3 - 0)*(-6803)/(-3) composite?
False
Suppose o + 0*o = -257. Let n = 105 - o. Is n composite?
True
Suppose 2*x - 4673 = -3*l, -9*l + 11*l = x - 2319. Is x a composite number?
True
Is 1/6 + 773752/48 - -3 prime?
False
Let l = 135252 - 92437. Is l composite?
True
Suppose -4*w = -8, -4*f + w = 1 + 1. Let a = f + 5. Suppose -3*c = 3*g - 552, 0*c = g - a*c - 154. Is g a prime number?
True
Let j(a) = -2*a**3 + 9*a**2 + 1. Let h be j(9). Let s = 1490 + h. Suppose -3*b = -3*f + s, 5*f - 3*b = 3*f + 505. Is f a prime number?
True
Suppose -q = -4*a - 8, -4*a + 4*q = 17 + 3. Is 4/a + (-267)/(-1) prime?
True
Suppose 2*x + 36 = 4*o, 3*o = 4*o + 3*x - 16. Let i(f) = 6*f + 23. Is i(o) composite?
False
Let z(l) = l**3 - 12*l**2 + 26*l - 3. Let x be z(9). Let f be 57 + (1 - 0/1). Is (-11 - x)*(f + 1) prime?
True
Suppose 2*u + 12*b = 11*b + 3130, 5*u - b - 7811 = 0. Is u a prime number?
False
Suppose -20*t - 6 = -22*t. Suppose t*b - 57 = -4*c - 0*c, -4*b = 5*c - 77. Is b a composite number?
False
Suppose 0 = -5*n + 1165 + 340. Let v = 2698 + n. Is v prime?
True
Let x = 4223 - 2512. Is x prime?
False
Let w(s) = 33*s**2 + 18*s - 61. Is w(10) composite?
True
Suppose 2*i - 21554 = 3*o, -5*i = -6*o + 4*o - 53863. Is i prime?
True
Let u(k) be the first derivative of k**4/4 + 2*k**3 + k**2/2 + 6*k + 1. Let q be u(-6). Suppose q = -c + 5*c - 412. Is c a composite number?
False
Let d(i) = -2*i**3 - 50*i**2 + 144*i - 187. Is d(-43) a prime number?
False
Let d(q) = q - 6. Let p be d(6). Let z be ((-18)/(-10))/(102/170). Suppose -2*u + u + z*c + 59 = p, -2*c - 269 = -5*u. Is u a prime number?
True
Let u = 28878 + -6155. Is u a prime number?
False
Let g(s) = 7253*s**3 - 7*s**2 + 1. Is g(1) prime?
True
Is (74/(-8)*-23)/((-2)/(-8)) a prime number?
False
Suppose 0 = 4*v - v - 1986. Is ((-4)/8 + 0)/((-1)/v) a prime number?
True
Suppose 0*v - 5 = -5*z + 2*v, 0 = -2*z - v + 2. Let g = z + -2. Is g + 3 - -1 - -416 composite?
False
Let a be (2 + (-4 - -2))/(-1). Let v(g) = -g**2 + g + 299. Is v(a) prime?
False
Suppose -c = -3*d + 2953, 6*d = d - c + 4911. Is d a composite number?
False
Is -4*(-117)/6 + 5 a prime number?
True
Suppose -2*v + 2*h = -5*v - 373, 3*v + 3*h + 369 = 0. Let f = -59 + v. Let z = 277 + f. Is z prime?
False
Let c = -16 - 56. Let p = 377 - c. Is p a prime number?
True
Let g(d) = -d**3 - d**2 - d. Let t be g(-2). Suppose 0*f = -t*f + 228. Is f composite?
True
Let z = 39 + -34. Suppose 2*x = 2*q - 164, 5*x = 4*x + z. Is q composite?
True
Let k = 971 + -1742. Let v = k + 1148. Is v a prime number?
False
Let p be 498*(2/6 - 4/(-12)). Suppose 2*y - 17 - 173 = -4*u, 4*y = 4*u + p. Is y prime?
False
Let f(j) = 15*j**3 - j**2 - 66*j - 25. Is f(12) composite?
True
Suppose 18*d = -d + 76. Suppose -d*j + 4548 = -2*w + w, 4*j = -3*w + 4548. Is j a composite number?
True
Suppose 0 = -4*m - c + 60153, 0 = -4*c + 104 - 84. Is m a prime number?
False
Suppose 0 = 4*c + 2*w - 133934, -30269 = 2*c - w - 97226. Is c a composite number?
True
Suppose 2*h - 3*m + 27 = -3*h, -2*m = 4*h + 4. Let w = h + 2. Let t = w + 22. Is t a prime number?
False
Let l(t) = -1666*t - 17. Is l(-1) composite?
True
Let j(t) be the second derivative of -61*t**3/6 - 2*t**2 - 27*t. Is j(-5) a composite number?
True
Is (11/((-44)/(-1934)))/((-3)/(-30)) prime?
False
Let t be 1 + -2 + 6/2. Suppose s - 501 = -2*h, -4*h + 1305 - 299 = -t*s. Is h a composite number?
False
Let r be 9 - (-9)/6*-2. Let m(q) = 11*q - 11. Is m(r) composite?
True
Let w = -7 - -9. Suppose -w*g + 15 = 5*a, 4*g - 16 = -3*a - 7. Suppose -2*q + 48 + 22 = g. Is q a prime number?
False
Suppose -r = 3*r - 8. Let i(y) = 2*y**3 - 3*y**2 - y + 2. Let j be i(r). Is (-134)/j*(2 - 4) a prime number?
True
Suppose 0 = 4*y + 3*d - 65501, -2*d + 65531 = 4*y - 5*d. Is y prime?
False
Let z(m) = -65*m + 164*m + 50*m - 2 + 42*m. Is z(13) a composite number?
True
Let w(t) = -3*t**2 + 10*t. Let h be w(3). Let r = -36 - -55. Suppose 4*p - h*p = r. Is p a prime number?
True
Suppose 0 = -4*q - 27 + 39. Suppose 4*h - q*h = 3*s - 451, 16 = -4*h. Is s a composite number?
False
Let c(p) = p**2 + 13*p - 45. Is c(-19) composite?
True
Let q = 1310 + -775. Is q a composite number?
True
Suppose -v = d - 915, -5*v - 4*d + 1830 + 2741 = 0. Is v prime?
True
Let n = 312 - -2125. Is n prime?
True
Let y(l) = 55*l**2 + 16*l - 33. Is y(-20) a composite number?
False
Let i(h) = 478*h**3 + 13*h**2 + 3*h - 1. Is i(2) composite?
False
Let n(u) = -u**3 + 18*u**2 + 23*u + 33. Is n(17) a prime number?
False
Let r(m) = -m**3 - 8*m**2 - 13*m + 8. Is r(-6) a prime number?
False
Let r = -19 - -19. Suppose 3*q + 3*w - 446 = -w, 2*w - 4 = r. Suppose 2*f - 217 = -s - 2*s, 2*s - q = -2*f. Is s prime?
True
Let i(b) = 84*b + 26. Let k be 6/(-12) + (-11)/(-2)*1. Is i(k) composite?
True
Let x(b) = -1212*b + 8. Let r be x(3). Let n = -2129 - r. Is n a composite number?
False
Suppose -8550 = -2*a + 11*o - 7*o, -3*o = 2*a - 8578. Is a composite?
False
Suppose 0 = 3*s - 2*u - 1, 0*s + 3*s + 2 = 5*u. Is s*(-471)/(-2)*(-16)/(-24) a prime number?
True
Suppose -11*z - 43 = -549. Is z prime?
False
Let k(r) = -836*r - 29. Is k(-3) prime?
False
Let a = 2 + 7. Is (a/(-6))/((-6)/4264) - -1 a prime number?
False
Suppose 0 = -6*a - 3089 + 19247. Let v = 5856 - a. Is v prime?
True
Let u = 10335 + -5296. Is u a composite number?
False
Suppose -4*u = -w + 9935, -239*w + 241*w + 5*u = 19896. Is w a prime number?
False
Let v = 24 + -22. Let w be (4 - 4)*(-2)/v. Suppose w = -x + 29 - 3. Is x a composite number?
True
Let m = 12589 + -8954. Is m a prime number?
False
Let a(s) = 35*s - 9. Let t(c) = 35*c - 10. Let d(y) = -5*a(y) + 4*t(y). Is d(-4) a prime number?
False
Suppose 9*l - 110072 + 12449 = 0. Is l a composite number?
False
Let w = -34755 + 50864. Is w prime?
False
Let s(b) = b**3 + 7*b**2 - b + 2. Let j be s(-7). Let c(q) = 4*q**2 + 0*q**2 + 8 - j*q - 2*q. Is c(7) prime?
True
Let k(q) be the third derivative of 1/6*q**3 + 0 - q**2 + 0*q + 125/12*q**4. Is k(1) prime?
True
Let w(h) = -h**2 - 12*h - 9. Let f be w(-11). Suppose 1101 = -4*j + 3*m, 2*j + 122 = f*m - 428. Let l = 359 - j. Is l composite?
True
Let g(y) = 11*y**2 - 59*y - 73. Is g(28) a composite number?
False
Let x(j) be the third derivative of -j**7/504 - j**6/48 - j**5/10 - 5*j**2. Let p(z) be the third derivative of x(z). Is p(-7) prime?
False
Suppose 0 = 2*x + 2 + 36. Let h(u) = 2*u**2 + 6*u + 27. Is h(x) composite?
True
Let a(o) be the third derivative of 1/120*o**6 - 7*o**2 + 0*o**4 + 0 + 17/3*o**3 + 0*o**5 + 0*o. Is a(0) composite?
True
Suppose -2*o + 3*o - 2 = 0. Let f be -6 + 4 + (441 - o). Let k = f - 98. Is k prime?
False
Supp