*d + 3687, 4*v = 2*d + 8204. Is v a prime number?
True
Let b = -47658 - -71939. Is b a prime number?
True
Suppose 4*j - 10*j + 42270 = 0. Let u = j - 3320. Suppose -u = -15*r + 10*r. Is r a composite number?
True
Suppose -r + 2*r = 1576. Let y = 111 - r. Let v = 3424 + y. Is v a prime number?
False
Suppose 2*o + 5*o = 0. Suppose -18*w + 15*w + 10299 = o. Is w a composite number?
False
Let r = 2578537 - 1150920. Is r a composite number?
False
Let x(o) = -o**3 + o + 2927. Let t be (-35)/42 + 5/6. Is x(t) composite?
False
Let r(y) = 4 + 4 + 22*y - 3 - 2. Suppose -c = 12*c - 91. Is r(c) a composite number?
False
Let j = -88905 - -140672. Is j composite?
False
Let l = 193643 - 137344. Is l a composite number?
False
Suppose 10 = 2*x - 2*p, x = -3*x + 2*p + 18. Is (-274)/(x*(-3)/78) composite?
True
Let j = 220 + -2374. Let a = j + 4307. Is a prime?
True
Suppose 3585*w - 3586*w = 4*f - 87847, w = 3. Is f a prime number?
True
Suppose -4*z + 13 = b, -3*z - 2*b + 16 = -0*b. Suppose 4*i + 364 = k, 5*i = 3*k + z*k - 440. Is (-2)/(-6) + i/(-3) a prime number?
True
Suppose 84 = 5*g + 4. Suppose -14*d - 1670 = -g*d. Suppose 2*a = 127 + d. Is a a composite number?
True
Let h = 9328 - -25303. Is h prime?
True
Let n(i) = 18*i**3 - 238*i**2 - 69*i - 51. Is n(26) a prime number?
False
Let p = 6483 + 73274. Is p a prime number?
True
Let d be 1/((-9)/33)*-3. Suppose 3 - d = -2*k. Suppose 5*u - 2*u + 6 = 0, -5*u = k*o - 1506. Is o a composite number?
False
Suppose 0 = -7*c - 0*c + 21. Suppose 31 = -3*l - 4*r, -2*l + 2*r + 1 = c. Let g(o) = -296*o - 9. Is g(l) composite?
False
Suppose -z - 3*u + 4396 = -31357, -5*z + 4*u + 178727 = 0. Is z a prime number?
True
Suppose -4*b = -o - 3929749, -1683*o = -4*b - 1679*o + 3929740. Is b a composite number?
True
Let m(d) = d**3 - 7*d**2 + 5*d + 3. Suppose -9 - 3 = -3*t. Let y be m(t). Is 6/10 - 15560/y a composite number?
True
Let h be ((-4881600)/21)/(-4) + 16/(-56). Suppose 48*t - h = 146894. Is t composite?
False
Let a = 3855 + -874. Suppose -4*z - 3729 = -5*u, 15*z - 16*z - a = -4*u. Is u composite?
True
Let u = 2017 - -506. Suppose 637 + u = 8*t. Is t prime?
False
Let d(p) be the third derivative of -239*p**4/24 + 33*p**3/2 + 24*p**2 - 2*p. Is d(-30) a composite number?
True
Let c be (-42)/(-20) + 9/(-90). Is 1691*c - (3 + (-54)/9) a prime number?
False
Let k(n) be the third derivative of n**5/12 + 19*n**4/12 + 9*n**3/2 + 57*n**2. Is k(-16) prime?
False
Let i(v) = 13*v**2 + 50*v + 176. Is i(-59) composite?
True
Suppose 0 = -34*l + 50*l - 1120. Suppose -95*t + 356725 = -l*t. Is t prime?
False
Let r be (-8)/52 - 123714/(-39). Suppose -3*v = -s + 4885, -2*s + 12942 = 2*v + r. Is s a composite number?
True
Let q(z) = 50*z**2 + 15*z - 32. Let j be q(3). Is j + (3 - (6 - 7)) a prime number?
True
Let f(l) = 3*l**2 - 20*l + 14. Let g be f(4). Is (-36963)/g + (-3)/(-1 - -7) a prime number?
True
Let o(g) = 5*g**2 - 2*g + 1. Let d be o(1). Suppose -3*c + d*c = 7. Is c/(-7) - (-157 - 0)*6 a prime number?
True
Let u(o) = 3*o**2 - 27*o + 26. Let w be u(8). Suppose 0 = -w*t + 7526 + 4708. Is t a prime number?
False
Is 1/(-4) - (-27)/76 - 3392708/(-76) composite?
False
Suppose -39*j + 32421 + 302763 + 831111 = 0. Is j a prime number?
False
Suppose -t = 6*t - 105. Suppose 18*w - t*w = 15. Suppose -9*p = -w*p - 316. Is p composite?
False
Let i(g) = -413*g + 837. Let v be i(9). Suppose 0 = -3*a - a + 17660. Let b = v + a. Is b composite?
True
Let q be (-4332)/(-16) + 9/4 + -2. Let f = q - 451. Let i = f - -379. Is i a composite number?
False
Suppose 0 = 2*q + 6, 10*c + 4*q = 15*c - 22. Suppose -c*j + 7743 + 50915 = 2*d, d + 58652 = 2*j. Is j a prime number?
True
Let g = 45808 - -48683. Suppose o - 10*o = -g. Is o a prime number?
True
Let h = -67 + 66. Let k be 2333 + (-1)/h - (4 + -3). Suppose -q = -4*r - k, 3*r = 3*q + r - 6999. Is q prime?
True
Suppose -4*q = 24 - 4. Let c(a) = 65*a**2 + 121 - 31 + 5*a - 61 - 28. Is c(q) composite?
False
Suppose 30 = -4*y + 206. Is (-2)/(-10)*-4*(-52690)/y a prime number?
False
Suppose -208*d = -209*d + 4*l + 32585, -4*d - 5*l + 130214 = 0. Is d a prime number?
True
Let p(d) = 3*d**2 + 14*d + 4. Suppose 0 = 3*o - 4*s + 36 + 23, -5*o + 5*s = 90. Let w be p(o). Suppose -6*n + w = -5*n. Is n prime?
False
Suppose -24158339 = -113*i - 26*i. Is i a composite number?
True
Let q = -112 - -112. Suppose -3*t + 2*t = -x - 4832, -4*t - 3*x + 19342 = q. Is t a composite number?
True
Suppose 12*c - 8*c = 3*f + 201196, 251495 = 5*c + 5*f. Is c prime?
False
Let f(j) = -j**3 + 23*j**2 - 26*j + 46. Let g(o) = o**2 - 17*o + 21. Let z = 29 - 12. Let s be g(z). Is f(s) a composite number?
True
Let n(z) = z**3 - 15*z**2 + 160*z + 405. Is n(57) composite?
True
Let p(a) = -805*a**2 - 2*a - 11. Let i be p(10). Is i/(-55)*-5*(-1 + 0) a prime number?
True
Let p(a) = 2232*a**3 - a**2 - 2*a. Let c = -223 - -224. Is p(c) a prime number?
False
Let s(f) = -2*f + 36. Let v be s(18). Suppose 2*m + 4*p - 12034 = 0, v = -45*m + 49*m - 4*p - 24032. Is m composite?
False
Let z(g) be the second derivative of 9*g**4/2 - 7*g**3/6 - 11*g**2 + g + 2. Is z(-5) prime?
False
Let x be ((-4935)/(-45))/(1/(6 - 3)). Let j = 5032 - x. Is j a prime number?
True
Suppose -13*a = -9*a - 20872. Let j = -2701 + a. Is j a prime number?
False
Suppose -7*p = -2*p + 5*z - 61480, -4*p - 3*z + 49179 = 0. Suppose -p = -11*x + 16078. Is x a composite number?
False
Is (-51369579)/(-297) + (-7)/((-539)/(-42)) prime?
False
Let y = 8913 - -2238. Let c = y - 1542. Is c a composite number?
True
Let x = 378885 - 174262. Is x composite?
False
Suppose 83 = 5*z - h, -h = 2*z - z - 13. Let f be 8/z - 838/(-4). Let l = f + 487. Is l a prime number?
False
Let v(i) = 129030*i**2 - 9*i. Let h be v(-1). Is -6 + h/15 - (-4)/10 composite?
False
Suppose 2*s + 24545 = -5*k + 107113, 0 = 4*k - 24. Is s prime?
True
Let a be 5/(-2)*158940/(-75). Is -4*(a/(-24) - 9) a composite number?
False
Suppose 4*o + 1 = 10*p - 5*p, 2*o = -3*p + 5. Let a be (87/(o - 4))/((-3)/54). Suppose 4*d - 793 = -3*l, 0*l - 4*d - a = -2*l. Is l a prime number?
True
Suppose 16938907 = 20*u + 530215 - 4221088. Is u a prime number?
True
Suppose -n + 4*h = -12, 0 = -2*n - 3*h - 17 - 3. Let o be n/8 - (-535)/2. Suppose -5*d - 727 = -l, 446 + o = l + 2*d. Is l prime?
False
Let v(x) = 68*x + 13. Let q(f) be the second derivative of -f**4/12 - 5*f**3/6 + 4*f**2 + 14*f. Let t be q(-5). Is v(t) composite?
False
Suppose -3*q = q - 5*r - 35, -3*q + 30 = -5*r. Suppose s + 815 = -4*x, -2*s = -5 - q. Let b = 300 + x. Is b a composite number?
True
Let x = 169 + -169. Suppose 14*v - 8*v - 5118 = x. Is v a composite number?
False
Suppose 38*d - 32*d - 11943321 = -33*d. Is d composite?
False
Let a = 5624 + 9266. Suppose -a = -29*i + 31*i. Let w = i + 13894. Is w prime?
True
Suppose -2*m = -3*h - 0*h, -3*h = 2*m - 24. Let r(f) = 87*f**2 - 5*f - 11. Is r(m) prime?
False
Suppose -68 = 3*l - 4*g, 0 = 4*l - 5*l + 3*g - 26. Let o(u) = 53*u + 69. Let j(m) = -26*m - 33. Let i(d) = 9*j(d) + 4*o(d). Is i(l) a prime number?
True
Suppose -4*s + 4*t + 1429936 = 0, s - 4*t = 15166 + 342297. Is s a composite number?
True
Suppose 103*y - 287335 = 98*y. Is y prime?
True
Let i = 602 + -1262. Let j be 6585/(-20) - 2/(-8). Let f = j - i. Is f composite?
False
Suppose -p - v + 492228 = 0, -20*p + 1968911 = -16*p + 3*v. Is p a prime number?
True
Suppose -109*u + 10991723 = -264*u + 34078818. Is u composite?
False
Let i be 228/36 + 4/6. Let u(y) = -109*y + 7. Let g be u(i). Let t = 1445 + g. Is t prime?
False
Let g = -344782 + 735633. Is g a composite number?
False
Suppose 5*j = -2*j + 11312. Suppose -m + j - 353 = 0. Is m composite?
True
Let z = 16 + -11. Suppose -2*i - 4*g - 6627 = -7*i, -6625 = -z*i + 5*g. Suppose -4*b - 447 = -s - 2*b, -i = -3*s - b. Is s composite?
False
Let p = 164 + -37. Suppose 0 = -5*v + t + 110, 3*v - 2*t - p + 54 = 0. Let l = 78 - v. Is l prime?
False
Let j(g) be the first derivative of -2*g**3/3 - 2*g**2 + 16795*g - 156. Is j(0) a prime number?
False
Suppose -4*l = 19*d - 15*d - 1700408, 4*d - 7*l = 1700397. Is d a composite number?
False
Suppose -29*p = -26*p + 18. Let t(s) = 253*s - 2. Let f be t(p). Let v = 1985 - f. Is v composite?
True
Suppose -z = 3*u - 23, z - 1 = -u + 4. Suppose -u*o + 33026 = 5*o. Is o a composite n