= -3*d - a + 104, 2*d = -s*a + 86. Is d a composite number?
True
Let w(x) = -26*x + 2. Let h(f) = -3*f**2 + 13*f - 2. Let y be h(5). Is w(y) composite?
True
Let p(o) = o**3 + 9*o**2 + 4. Let k be p(-5). Let i = k + -67. Is i a composite number?
False
Let s = 6712 - -657. Is s a prime number?
True
Let t = 3 - -9. Let y = 15 - t. Suppose 0 = h - y*h + 362. Is h a prime number?
True
Suppose -7*d - 13022 = -221419. Is d a composite number?
True
Let v = 1673 - 820. Is v composite?
False
Is (-4)/(-2) - 3 - (-2950 + 7) prime?
False
Let n(i) be the third derivative of -i**6/10 + i**5/10 + i**4/4 + 2*i**3/3 - 7*i**2. Let g be n(-4). Suppose 0 = -5*y + g - 119. Is y prime?
False
Let z(o) = 2*o**2 - 19*o - 5. Let d be z(10). Suppose d*b + 491 - 3936 = 0. Is b prime?
False
Let s(k) be the first derivative of -k**4/4 + 5*k**3/3 - 3*k**2 + 9*k - 6. Let j be s(4). Is (-147)/(-1)*1 - j a composite number?
True
Let p = -654 - -853. Is p a prime number?
True
Let r(q) = 5551*q - 29. Is r(2) a prime number?
False
Suppose -3*v + 2117 = 662. Is v a prime number?
False
Suppose 5 = -6*u + 23. Suppose 8*b - u*b - 10195 = 0. Is b composite?
False
Let u(o) = 0 - 17 - 83*o + 15. Let t = -6 + 3. Is u(t) composite?
True
Suppose -5*d + 3*o + 2 = 4, 3*o = -4*d + 20. Suppose -8*f + 942 = -d*f. Suppose f = p - 130. Is p composite?
True
Let n = 6 - 4. Suppose 2*k = -w + 6, -2 = -k - w + n. Let y(m) = 8*m**2 + 2. Is y(k) a prime number?
False
Let p(b) = 156*b + 12. Let h be p(4). Let o = h - -322. Is o composite?
True
Let m = 51 + 137. Let d be (-3)/(21/14) + 1. Is d - ((-4 - m) + 0) a composite number?
False
Suppose -5*y = 6*l - 10*l - 801, -4*y + 616 = 3*l. Is y prime?
True
Suppose -1181 = 9*q - 3620. Is q composite?
False
Let s(a) = -a + 13. Let q(x) = x**2 + 10. Let v be q(0). Let y be s(v). Suppose -y*g + 32 + 29 = n, -5*n = 4*g - 327. Is n prime?
True
Is 4884300/234 - (-1)/(-13) composite?
False
Let u(s) be the third derivative of 19*s**4/24 - s**3/6 - s**2. Let t = -228 - -230. Is u(t) composite?
False
Suppose -23 + 83 = 5*o. Let n = o + -9. Suppose -4*x - n*l = -38, 2*x + 2*x - 54 = 5*l. Is x prime?
True
Suppose 282 - 1113 = 3*t. Let a(h) = -100*h - 8. Let w be a(4). Let g = t - w. Is g a composite number?
False
Let b(r) = -16*r**3 - 7*r**2 + 6*r - 6. Let t = 0 - -4. Let p be b(t). Let o = -771 - p. Is o a composite number?
False
Let x(p) = p**3 + 7*p**2 - p - 4. Let s be x(-7). Suppose 0 = 4*a - b - 2*b - 1084, b = -s*a + 826. Is a prime?
False
Let j = 4971 - 871. Suppose -3*h = -5*i + j, 0 = 4*i - h - h - 3278. Is i prime?
False
Suppose 2*s = 2*a - 80 - 20, 4*s = 3*a - 199. Let i = s + 344. Is i a prime number?
False
Let q = 34 - 33. Let w(y) = 630*y**2 - 2*y + 3. Is w(q) a composite number?
False
Let u(a) = 39*a**3 + 9*a**2 + a - 28. Is u(11) composite?
False
Let y be (-404)/(-44) - 2/11. Suppose 4*k + 80 = y*k + 3*f, -2*f + 66 = 4*k. Is k a composite number?
False
Suppose 11*i = 14*i - 114. Suppose -i + 1 = -p. Is p a prime number?
True
Suppose -3*b = 4*o - 2392, 0 = 5*o - 3*b + b - 2990. Suppose 5*p = 2*z - 1751, o = -4*p - 2*z - 810. Let j = p - -680. Is j composite?
True
Let i(r) = -4*r**3 + 11*r - 1. Is i(-4) a composite number?
False
Let b = 1508 + -694. Let p = b - 1219. Let n = -151 - p. Is n a prime number?
False
Suppose 3*s - 60230 = -3*d + 52894, -d = 4*s - 150829. Is s a prime number?
False
Let m = 1 + 5. Let d be ((-1)/(-2))/((-3)/m). Is 4*d/(-4) + 30 prime?
True
Let a = 115 - 123. Is (-4413)/(-9) - a/12 composite?
False
Let i(r) = r + 3. Let k be i(-2). Suppose -1 = o - l + k, -o - l = 0. Is (243 - -7) + 4 + o composite?
True
Suppose 0 = t + 2*c - 67412 - 24591, -2*t - 3*c = -184003. Is t composite?
False
Let t(k) = -176*k - 185. Is t(-6) prime?
False
Let s be 360/(-16) - 3/2. Let x = -51 - s. Let k = 86 + x. Is k a prime number?
True
Let h(r) = -15*r - 15. Let x be (7/3)/(16/48). Let m be h(x). Is 15/m + (-7986)/(-16) a prime number?
True
Let o = 454 - 335. Is o a composite number?
True
Let o(y) = y**3 - 3*y**2 + 4*y - 2. Let z be o(2). Let m be -3 - (564 + z)/(-2). Suppose -4*j + 2*j - 5*p + m = 0, 439 = 3*j - 2*p. Is j composite?
True
Suppose 3*a - 751 = 3*t + 1334, -5*a - 4*t = -3493. Is a composite?
True
Suppose -5*j - 2*c = -17737, -6*c + 17739 = 5*j - 2*c. Is j a composite number?
False
Suppose 2*l + 6 = -4*w, -3*l + 0 - 3 = 4*w. Suppose -885 = -q - t - l*t, -894 = -q + 5*t. Is q prime?
False
Let q = 5 + -11. Let j(d) = 2*d**2 - 4*d - 6. Let x be j(q). Let k = -43 + x. Is k a prime number?
True
Let u = 1047 + 20. Is u prime?
False
Let u(n) = n**3 - 4*n**2 + 2*n - 12. Let m = 2 - -5. Suppose 2*r - m = 3. Is u(r) a prime number?
True
Suppose 0 = -0*f - f + 5*x + 5175, 4*f - 2*x - 20628 = 0. Suppose -4*b + f = h, 6*h - 10350 = 4*h + 2*b. Is h a prime number?
True
Suppose -g + 423 = -1408. Is g prime?
True
Suppose -25 = -5*y, -2*y + 600 = -2*t - 776. Let h = t + 1312. Is h a prime number?
False
Suppose 1320 = 5*c + 5*r, 5*r + 226 = 3*c - 542. Let k = c + 448. Is k a composite number?
False
Let w(d) = 5382*d**2 + 2*d - 3. Is w(1) prime?
True
Suppose 5*a = -45 + 55. Suppose -d - l = -739, 0*d + 4*l = 3*d - 2245. Suppose -a*p - 2*r + 0*r = -368, -4*p + 3*r + d = 0. Is p composite?
True
Let k = -97884 - -188855. Is k a composite number?
False
Let s(w) be the third derivative of -w**4/24 + 17*w**3/6 + 3*w**2. Let d be s(7). Is d*(-4)/(24/(-669)) a prime number?
False
Let x = 17948 - -332. Suppose j = -7*j + x. Is j composite?
True
Suppose -17*p + 1036879 + 796180 = 0. Is p composite?
False
Let f(k) = 205*k**2 + 21*k + 3 + 10*k - 28*k. Is f(-1) a prime number?
False
Let h be 14 + -11 - (-2918)/((-4)/2). Let j = -815 - h. Is j a composite number?
False
Let o(s) = 6*s + 9*s + 176*s**2 + 3*s - 6*s + 13. Is o(6) composite?
False
Let a = -12640 + 19371. Is a composite?
True
Suppose 4*k + 2*o + 6752 = -k, 4*k + 5398 = 2*o. Let l be 54966/(-102) - 4/34. Let p = l - k. Is p a prime number?
True
Let r = 48 + -45. Is (-131)/(-1)*1*(5 - r) a composite number?
True
Is (-126)/12*(-1 - 1343/3) a prime number?
False
Is (-27)/(243/(-882)) - (4 + -1) prime?
False
Suppose 5*k = -5*j + 8930, -4*j - k = 2*k - 7139. Is j composite?
True
Is ((-122)/(-1))/(-12 + (-350)/(-29)) a prime number?
False
Let m(o) = -1111*o + 43. Is m(-10) prime?
False
Is (-3 - -1)*(-94556)/88 a composite number?
True
Let d(h) = 251*h**2 + 10*h + 7. Is d(8) prime?
False
Is 12649 - -5 - (-1)/(-1) a composite number?
False
Let x(z) = -3*z**2 + 4*z - 9*z**2 + 8*z**2 - z**3 - 9. Is x(-6) a prime number?
False
Let c(i) = -i**3 + 15*i**2 + 17*i - 2. Let d be c(16). Let u(k) = -k**2 + 15*k - 18. Let h be u(d). Is (0/h - 3) + 24 prime?
False
Let a(v) = -79*v**2 - 2*v - 1. Let h be a(-2). Suppose 0 = l + 3*y + 189, 2*y = 3*l + 3*y + 527. Let k = l - h. Is k prime?
True
Let v(h) = 26*h**2 - 8*h + 5. Let o be v(5). Is o + 5/5 + -5 a composite number?
True
Let j = -17 + 24. Suppose -4*h + j = -9. Is 134 - (h + -2 - 1) a composite number?
True
Suppose 7958 - 23189 = -3*b. Is b a prime number?
True
Let r = 1 + 1. Let u(v) = 12*v - 8. Let y be u(3). Suppose 2*z - y = -r. Is z prime?
True
Let n(j) = -6*j - 17*j + 34*j. Let r be n(-3). Is (-2)/6 - 24596/r composite?
True
Let m(c) be the third derivative of -5*c**4/6 - 11*c**3/6 + 4*c**2. Suppose -8*g = -6*g + 16. Is m(g) a composite number?
False
Suppose 0 = o + 2*o - 54. Suppose -5*g + 5*j + 655 = 3*j, 0 = 5*j. Let s = o + g. Is s a composite number?
False
Suppose l = 0, -12 - 100 = -4*t - 4*l. Is (t/8 + -4)*-3682 prime?
False
Suppose -58*n = -5344 - 1558. Is n prime?
False
Let s = -17405 + 25771. Is s/4 + 3 - (-1)/2 a prime number?
False
Let y = -27 + 43. Suppose 0 = p + 4*b - 275, 4*b - y = -4. Is p a prime number?
True
Is 1775 - (3 - (-19 + 10)) a prime number?
False
Let o = 393 + 247. Let b = 501 + o. Is b composite?
True
Suppose -2*a - j + 10310 = -12580, a + 3*j - 11455 = 0. Is a prime?
True
Suppose p = -2*n + 4743, 2*n - 6*p + 9*p - 4753 = 0. Is n composite?
True
Suppose 32*a = 71*a - 172263. Is a prime?
False
Suppose -o = -4*o - 2*p + 890, 5*p = -o + 288. Let g = o - 201. Is g prime?
True
Let c = 0 + 9. Suppose -6380 - 1594 = -c*h. Is h a prime number?
False
Let y = -5369 + 9880. Suppose -4*q - 1283 = -y. Suppose 293 = -4*v + 3*s + q, -s - 637 = -5*v. Is v 