(-6)*2116/6. Let s(f) = 63*f + 1. Let i be s(-3). Let t = n + i. Is t a composite number?
True
Let d(u) = 1516*u - 43. Is d(8) composite?
True
Suppose -9850 = 5*n - 3115. Let b = n - -3148. Is b a prime number?
True
Suppose -63202 = -8*f - 16970. Is f a composite number?
False
Let g(a) = a**3 + 1. Let u(p) = 33*p**2 - 21*p - 87. Let q(j) = -g(j) - u(j). Is q(-35) composite?
False
Let d(f) = f**2 - 5*f - 4. Let n be d(6). Suppose 0 = 6*t - n*t - 1172. Is t composite?
False
Suppose 541 + 206 = -3*h. Let s = h - -430. Is s composite?
False
Let i(h) = 17*h - 8. Let r be i(-5). Is (2 - 21/9)*r composite?
False
Let j = 11210 - 6819. Is j a composite number?
False
Is 58174/10 - (-183)/305 prime?
False
Let m = -4878 + 11125. Is m a prime number?
True
Let r(o) = -34*o**2 + 7*o + 10. Let l = -4 + 0. Let i be r(l). Let p = -341 - i. Is p prime?
False
Let n(c) = 3*c + 1. Let u be n(2). Suppose 0 = u*y - 5*y - 46. Suppose -3*o + 69 = -3*q, -q + 4*q - y = -o. Is o composite?
False
Let d(m) = 34*m - 173. Is d(15) a composite number?
False
Let q be (0 + 1/3)/((-2)/(-12)). Let w be (-12)/(-9) - (-1)/(-3). Suppose 0 = q*b + w - 21. Is b composite?
True
Let b be 4 - (3 + (-3 - 0)). Suppose h = -b*h - 55. Is (h + 9)/(2/(-21)) composite?
True
Suppose -j = -3, -r = -2*r - j + 233. Suppose 4*z - r = -q, -5*z + 66 = -4*z - 4*q. Suppose -z = -4*d + 586. Is d composite?
True
Let s(a) be the third derivative of 5/6*a**5 - 5/6*a**3 + 0*a + 1/12*a**4 + 9*a**2 + 0. Is s(4) a prime number?
False
Let f(z) = 32*z**2 + z - 4. Let g be f(-3). Let a = g + 806. Is a prime?
True
Suppose l - 2*l + 9505 = 0. Suppose l + 1874 = 3*x. Is x a prime number?
True
Is (-3852774)/(-216) - (-3)/36 a prime number?
True
Let l = 10921 + -27223. Is l/(-20) + (-8)/80 a composite number?
True
Let r be 2*-38*(-2)/4. Suppose -5*s + 1321 + 544 = 0. Let i = r + s. Is i a composite number?
True
Suppose 2*z = 53 - 311. Let x = z + 272. Is x prime?
False
Let n = 1445 - 976. Let v = n - 176. Is v a composite number?
False
Let j(l) = 702*l**3 - 4*l**2 + 17*l - 22. Is j(3) composite?
False
Suppose 15 = -4*z - 9. Let v be (-3 + -1)*1/2. Is z/(-3) + (-34)/v a prime number?
True
Suppose 4*u - 4923 = 4*m + 2881, 3*u - 5*m = 5849. Let g = -1322 + u. Is g prime?
True
Suppose 20 = 4*y - 0*y. Suppose 614 = -y*h + 1669. Is h composite?
False
Let q(s) = s + 288. Let a be q(0). Suppose r = -21 + a. Is r a prime number?
False
Let l(k) = 32*k**2 - 9*k + 12. Let u(x) = 31*x**2 - 11*x + 11. Let o(v) = 4*l(v) - 3*u(v). Is o(4) composite?
False
Suppose 4*c - 17*c + 26 = 0. Suppose -c*o - 2 - 4 = 0, 2*k = -3*o + 14461. Is k a prime number?
False
Let u = 36 - 32. Is (506/6)/(u/12) prime?
False
Is (8/6)/(22/33627) prime?
False
Suppose -3*z - 1150 = f, 6*f - z + 2335 = 4*f. Let t be (153/6 + 2)*60. Let p = t + f. Is p a composite number?
True
Let p(f) = -198*f - 2. Let z be p(-1). Suppose -1286 - z = -2*t. Suppose -2*s = -2*k + 302, -5*s = 5*k - 3*s - t. Is k composite?
False
Suppose -11*m + k + 164877 = -9*m, 5*m - 412194 = k. Is m a composite number?
True
Let s(o) be the second derivative of 3*o**4/2 - 8*o**3/3 + 43*o**2/2 + 16*o. Is s(8) prime?
False
Let x be (-3 + 5)*594/(-12). Is x/(-2)*(-2)/(-3) a composite number?
True
Let q(g) = 111*g - 6. Let c be q(4). Let n = 923 - c. Is n composite?
True
Let d = 6380 + -1818. Is d a prime number?
False
Suppose 2*f + w = 5*f - 957, -5*f - 2*w = -1595. Is f a composite number?
True
Suppose -2 = 3*i + 5*r - 1, -2*i - 6 = 2*r. Let f = 11 + i. Suppose d = -4*x + 6*d + 1593, f*x - 1586 = -2*d. Is x prime?
True
Let u be (-3)/(5/(-2) + 1). Suppose -3*d + u*d = -113. Is d composite?
False
Let l(x) = -x - 8. Let v be l(-16). Suppose 0 = -4*y - v. Is (-3 - -5)*(-217)/y prime?
False
Let h be (16/6)/(-4)*-45. Suppose -h*u = -33*u + 1713. Is u a prime number?
True
Let g(f) be the first derivative of f**4/4 - 4*f**3/3 + f**2/2 + 3*f - 3. Let n be g(3). Let d(r) = 45*r**2 - 2*r - 2. Is d(n) a composite number?
False
Let w(j) = -7738*j - 209. Is w(-6) composite?
False
Let m(o) = -84*o**3 - 3*o**2 + 8*o + 12. Is m(-3) composite?
True
Let d be 4 + 4/(5 + -1). Let i(f) be the second derivative of -f**5/20 + f**4/2 + f**3/2 - 5*f**2/2 - 7*f. Is i(d) a prime number?
False
Suppose -i + 1 + 10 = 0. Let w = i + -11. Suppose -2*z + 5*c + w*c = -705, 3*z + 2*c - 1067 = 0. Is z prime?
False
Suppose -3 + 15 = 4*q. Is (-5065)/(-35) - (46/(-14) + q) a prime number?
False
Let z(f) = 476*f**3 + 2*f**2 + 13*f - 20. Is z(3) prime?
True
Let p be -4 + 3 - (2 - 1746). Let x(a) = 258*a - 4. Let o be x(-4). Let z = o + p. Is z composite?
True
Suppose 4*b - 5*h - 6763 = 3269, b - 5*h - 2523 = 0. Is b composite?
False
Suppose -b - 2*b + 9 = 0. Let z(c) = 60*c**2 + c - 10. Is z(b) a composite number?
True
Let j(s) = 8*s**3 - 21*s**2 - 2*s - 56. Is j(15) a prime number?
True
Let i = 21 - 7. Suppose -i*g + 524 = -10*g. Is g prime?
True
Suppose 2*b = 3*b - 5. Let i be (1 - 0/((-8)/(-2)))*-298. Is 15/(-6)*i/b a prime number?
True
Suppose 0 = 18*r + 20027 - 82253. Is r a prime number?
True
Let p be (25 + -26)*2/(4/38). Let l = 54 + p. Is l a prime number?
False
Let v(h) be the third derivative of -29*h**6/80 + h**5/60 + h**4/3 + 2*h**2. Let p(z) be the second derivative of v(z). Is p(-1) a prime number?
True
Suppose -13*g = 30751 - 635966. Is g prime?
False
Let x be (-15)/(-6)*64/20. Suppose -2*g + x*g - 90 = 0. Is (-2)/3 + 745/g a composite number?
True
Suppose 32 = 2*h - 4. Let u(r) = -14*r - 130. Let v be u(-11). Let q = v - h. Is q composite?
True
Let k(c) = 31*c + 1 - 2 + 11*c. Let f(p) = 5*p**2 - 3*p + 3. Let i be f(1). Is k(i) composite?
True
Let o(i) = -55*i**2 + 2*i - 2. Let m be o(2). Let c be 20/(-130) - (-9754)/26. Let j = c + m. Is j prime?
True
Suppose 34*c - 32*c = 4610. Is (2/2)/(1/c) a prime number?
False
Let h = 3355 + -1958. Is h a prime number?
False
Let y(b) = 23*b**2 - 5*b + 31. Is y(5) a composite number?
True
Let j = -882 + 546. Suppose 204 = -8*w - 1292. Let l = w - j. Is l a prime number?
True
Let m(u) be the third derivative of 1061*u**5/60 - u**4/12 - u**3/3 - u**2 - 4*u. Is m(-1) a prime number?
True
Suppose -2*l + 5 + 1 = 0. Let z = 7 - l. Suppose i = z*i - 2721. Is i a prime number?
True
Suppose 10933 = 24*z - 11*z. Is z a composite number?
True
Let n be (-14)/(-21) - ((-104)/(-3) + -3). Is (-8 - n)*(-2 + 31) composite?
True
Let q(o) = o**2 - 3*o + 32. Is q(9) a composite number?
True
Let y = 33 + -24. Let i(w) = -w + 13. Let f be i(y). Suppose f*l - 6*l = -514. Is l a composite number?
False
Let r = 49 - 45. Suppose 0 = r*t - 759 - 109. Is t a prime number?
False
Suppose 0 = -3*i - 2*i - 10. Suppose 3*w = 11*w + 32. Is 62/w*i/1 a prime number?
True
Let o = -529 - -648. Is o a prime number?
False
Let c(m) be the second derivative of -2*m**3/3 - 9*m**2/2 + m. Suppose 60 = -5*j - 2*d, -3*j + 4*d = j + 76. Is c(j) a composite number?
False
Let u(h) be the first derivative of -111*h**2/2 - 25*h + 6. Is u(-8) composite?
False
Suppose -47935 = -2*l - 3*d, -l - 2*d + 3*d = -23960. Is l prime?
False
Let h = -4 - -9. Suppose -2*a = -l + 6, h = -4*l + 2*a + 41. Let t = 73 + l. Is t a prime number?
True
Let y be 16/(-4) + 3*3. Suppose y*z - 2*c - 225 = 241, -5*c = 3*z - 292. Is z a prime number?
False
Let w(t) = 7*t**2 - 2*t - 10. Let j be w(-5). Suppose -j - 90 = -5*f. Is f a prime number?
True
Let g(k) = 123*k**3 + k**2 - 2*k - 1. Let y be g(3). Suppose 2*i - 1657 = 5*n, 4*i + 4*n - 5*n = y. Is i prime?
False
Is -3044*(4 + 21/(-4)) a composite number?
True
Let f(d) = -5*d**3 + d**2 - 5*d - 1. Let q be f(-6). Let t = 507 - q. Is (-3)/(2 + 4)*t composite?
True
Suppose 13*j - 14959 = 6*j. Is j composite?
False
Let i = -5307 - -1847. Let u = 6731 + i. Is u a composite number?
False
Let u be (-1)/(-1*3/18). Let b be (3/4)/(u/24). Suppose 3*s = 24 + b. Is s prime?
False
Let p(u) = -3*u**3 + u**2 - u + 4. Let m(v) = 6*v - 29. Let t be m(4). Is p(t) prime?
True
Suppose 0 = 13*x + 12151 - 89540. Is x a prime number?
True
Suppose 0 = -19*y + 17*y - 2*d + 30456, -3*y - 2*d = -45687. Is y prime?
False
Suppose 4*v - 2199 = -r, 0 = 2*v - 2*r - 380 - 732. Suppose 5*d = -2*b + 1560, -5*d + 5*b + 1044 = -v. Is d a prime number?
False
Let o be (3/12 - (-3)/(-6))*-20. Suppose -418 + 3273 = o*l. Is l prime?
True
Let g(k) = 