number?
False
Suppose -52*q + 61673 = -54*q + 301411. Is q a composite number?
False
Let y(r) = r**3 + r + 3. Let v be y(0). Suppose -v*j = -3*k - 6*j + 3567, -3*j + 5945 = 5*k. Is k composite?
True
Let c(y) = 16 - 1 - 547*y - 230*y - 73*y. Is c(-4) a composite number?
True
Suppose -58*g = -28*g - 2989740. Suppose -19*r + 249885 = -g. Is r prime?
True
Is (1376660/30)/((-32)/(-48)) a composite number?
True
Let a be -1*((-41 - 1) + -9 + 10). Let c = a - 35. Suppose -c*h = 287 - 2189. Is h a prime number?
True
Is 473/(-44) + 11 + (-87222)/(-8) a prime number?
True
Let s be 0 + (-244)/36 - 14/63. Is (1 - 2 - -14573)*s/(-28) composite?
False
Suppose -4*n + 5*x = -20510 - 8701, 4*x + 14604 = 2*n. Is (42/(-7) - -9) + n a prime number?
True
Suppose -5*h + 6*i + 5170 = i, -4*h + i = -4148. Suppose 10*u - 868 = 1022. Suppose z - h = u. Is z a prime number?
False
Suppose j - 15*j + 29*j = 2675445. Is j a composite number?
True
Suppose -10481*p = -10479*p - 2968. Suppose r = 2*r. Suppose r = 2*m + p - 4282. Is m a composite number?
False
Let m(u) = -u**3 - 21*u**2 - u + 28. Let o be m(-21). Let w = 51 - o. Is 8578*(w/(-8) + 12/16) composite?
False
Suppose -s - s + 4450 = 0. Suppose 0 = -15*j + 10*j + s. Suppose -2*r + j = -c, c + 301 + 365 = 3*r. Is r prime?
False
Let h = 6070330 + -3791523. Is h a prime number?
True
Let t = -373 + 377. Suppose 5*z - 14876 = -t*c, -5215 = -c + z - 1496. Is c a composite number?
False
Let l = 13 - 11. Suppose 2 = 4*q - l*b - 4, -3*q - 2*b + 8 = 0. Suppose q*c + 1192 = 6*c. Is c a composite number?
True
Is (16858751018/(-377))/(-62) + 4/(-78)*-3 a composite number?
False
Let c(o) = 103578*o**2 - 2*o + 3. Is c(1) composite?
True
Let v(x) = 3670*x - 311. Is v(4) prime?
True
Let a = -73 - -78. Suppose 5*j = -a*u + 10875, 0 = 5*j + 4*u - 1786 - 9088. Is j prime?
False
Let y(z) = z**3 + 10*z**2 + 9*z + 25. Let l be y(-14). Let s = 3788 + l. Is s a composite number?
False
Let q(k) be the third derivative of 13*k**7/2520 + 11*k**6/360 - k**5/30 + 19*k**4/24 - 6*k**2. Let s(o) be the second derivative of q(o). Is s(7) prime?
True
Let m be -1*(-1 - 0) + 259. Let n(w) = -3*w**2 + 11*w + 51. Let s be n(6). Let v = m + s. Is v a prime number?
True
Let q(g) = 34*g**2 - 15*g - 62. Let w(d) = -d**3 - d**2 + 11*d - 4. Let i be w(3). Is q(i) a prime number?
True
Let k = -72527 + 145115. Suppose 21*r - k = 9*r. Is r composite?
True
Let x(j) = 637*j**3 + 16*j**2 - 4*j + 3. Suppose -d + 4*i = -22, 20*i - 15 = -5*d + 21*i. Is x(d) composite?
True
Suppose -a + 5*y + 7274075 = 3*a, 5*a - 9092605 = -5*y. Is a/216 + (-2)/27 a prime number?
True
Let i = 149 + -154. Is i - 2873*-2 - 4 prime?
True
Let w = 59067 - 23153. Is w a composite number?
True
Let d(t) = -76*t - 10. Let k be d(1). Let y = k + 92. Suppose y*a + 5401 = 17*a. Is a a prime number?
True
Let q(a) = 68*a - 11. Let o(b) = b**2 + 11*b - 55. Let j be o(4). Is q(j) a composite number?
True
Suppose -22*u - 22*u = -63228. Let o be 2/(-5) + (-17)/(-5). Suppose u = o*g - 2*m + m, 4*g + 2*m = 1916. Is g a composite number?
False
Suppose 8*y - 3*y + 3*z = 864, 0 = -3*y - 3*z + 522. Let i = 357 - y. Suppose -3*o + o - i = -2*l, -3*o - 101 = -l. Is l a prime number?
True
Suppose -w + 1739*y = 1744*y - 276143, 0 = -2*y + 12. Is w a prime number?
True
Let j be -39*(-758 - 0)*1/(-2). Let h = j - -24410. Is h composite?
False
Let j be 8/((-240)/18) + 546/35. Is ((-7184)/(-24))/(10/j) composite?
False
Suppose 6 = -17*i + 19*i - 2*v, 4*v + 10 = 3*i. Suppose h - i*b = 7807, -b = 5*h - 16218 - 22872. Is h prime?
True
Let u(s) = -11*s**3 + 7*s**2 + 9*s + 14. Suppose -5*y - 2*w + 191 = 0, -2*y + 2*w + 105 = y. Suppose 7*t + y = 9. Is u(t) prime?
False
Let j(s) be the third derivative of s**6/40 - s**5/12 - 7*s**4/24 + 4*s**3/3 + 16*s**2 - 3. Is j(5) prime?
True
Suppose -c - 2*j = 0, -5*c + 4*j + 12 = 2*j. Suppose 0*w - c*w + 26877 = -m, 3*w - 40333 = -2*m. Is w prime?
True
Let g(n) = n**3 - n + 9143. Let w be g(0). Let z(u) = u**3 - u**2 + 15*u - 12. Let k be z(-18). Let a = k + w. Is a prime?
False
Let s = -109579 + 423638. Is s a composite number?
False
Let h = -57856 + 108845. Is h composite?
False
Suppose 6*v + 6 = 8*v. Let i be (2 - (-35)/(-15))*-982*v. Suppose -t = 231 - i. Is t composite?
False
Suppose -12 = -3*a + c, -9 + 0 = a + 4*c. Suppose 0 = a*n, -2*l + 2693 = -2*n + 111. Is l composite?
False
Suppose 2960*d = 2976*d - 7913584. Is d a composite number?
True
Suppose 7*d - 13 - 22 = 0. Suppose -50 = d*v + 5*u, 0*v + 2*u = 4*v + 16. Is (2001/v - 0)/((-9)/18) prime?
False
Let s(h) = 2*h**2 + 26*h - 22. Let u be s(-14). Let j(w) = 115*w**2 - w - 23. Is j(u) a composite number?
False
Is 15 + -14 + (-3)/4 + 551270/8 a prime number?
True
Suppose 5*t = -2*d + 29139, -2*t - t = -d - 17479. Suppose 12*b - t = 29009. Is b a prime number?
True
Suppose 0 - 40 = 2*f. Let o = f - -18. Let r(u) = -51*u**3 - u - 3. Is r(o) a composite number?
True
Suppose 2*c + 3*y = -10, -c - 2*y - 6 = c. Let s(r) be the second derivative of 181*r**3 + r**2/2 - 1228*r. Is s(c) a composite number?
False
Let r be ((-831)/(-2))/((-6)/8). Is 3 - -1 - (-6 + (r - 9)) prime?
False
Let y = -100 - -100. Suppose y = 2*q - 3*r + 9 - 5, -q - r = 2. Is 24376/16 - (q - 10/(-4)) prime?
True
Let h(l) be the third derivative of -35*l**4/12 + 11*l**3/6 - 10*l**2. Let q be h(-5). Suppose 3*y + 244 = v - 102, -v = 2*y - q. Is v composite?
True
Let m(p) = -83*p - 434. Let u be m(-25). Suppose 3*c - 1287 - 84 = 0. Suppose -c = 3*b + 4*y - 5418, -b + 5*y = -u. Is b prime?
False
Let h(c) = -2*c**3 - 10*c**2 + 2*c + 23. Let f = 301 + -201. Let n = 90 - f. Is h(n) prime?
False
Suppose -3363 = 5*g + 2*t, -3*g - 2*g = -5*t + 3370. Let q = g - -2492. Is q prime?
False
Let y(t) = -6086*t - 95. Let x(n) = n**2 + 21*n + 63. Let f be x(-4). Is y(f) a composite number?
True
Let x = 288087 - -10390. Is x a composite number?
False
Let r = 600 + -596. Suppose r*s - 5*x + 1816 = 7*s, 2*x + 1781 = 3*s. Is s composite?
True
Suppose -4*y = -5*q - 15729333, -620*y = -621*y - 5*q + 3932302. Is y prime?
False
Let t = 1562 + -366. Suppose 3*z - 7*z = 2172. Let k = z + t. Is k prime?
True
Let c(z) = 445*z**2 + 48*z + 506. Is c(-9) composite?
True
Suppose 4*v + 7215 = -2*m + 29339, -4*v = -5*m - 22152. Is v a composite number?
True
Suppose 31*d = 17*d + 7490. Is d - (18/(-3) + 6) prime?
False
Let g(a) = a**3 + 19*a**2 - 2*a + 7. Let k be g(-9). Suppose -k = -3*z + 1682. Is z composite?
False
Suppose -2*n = -0 + 22. Let u(p) be the first derivative of p**4/4 + 11*p**3/3 - 2*p**2 - 10*p + 50. Is u(n) a prime number?
False
Suppose 0 = 2*p + 272. Let i = 53 + p. Is -3 - (-43 + 3)*i/(-2) prime?
True
Let y be 1*(-1)/3*(17 + -20963). Let h = -2519 + y. Is h a composite number?
False
Let w(x) = -x**3 - 21*x**2 - 35. Let j be w(-21). Let a = 3 + -15. Let g = a - j. Is g composite?
False
Suppose 0 = -56*c + 57*c - 4. Suppose 4*p + 5*m = 1796, c*p - 238 = 3*m + 1558. Is p composite?
False
Suppose 4*u + 2710 = -1166. Let b = 2489 - 1131. Let c = b + u. Is c composite?
False
Suppose j - 162 + 69 = 0. Suppose -611 + j = -14*o. Is o a prime number?
True
Let t = 3976 - -5625. Is t prime?
True
Let x = -617088 + 903905. Is x a prime number?
False
Suppose 0 = 44*u - 9*u - 359765. Let k = u + 474. Is k a prime number?
True
Let g(r) = -r**2 - 14*r - 1. Let o be g(-14). Is (5/60*-381)/(o/4) a prime number?
True
Suppose -4*c + 9394 + 6702 = 0. Suppose -17300 + c = -4*w. Is w composite?
False
Suppose -3*z + 66104 = 5*o, -11*z = 4*o - 7*z - 52880. Suppose 0 = s + 2*s - 3, 4*s = -2*f + o. Is f a composite number?
True
Suppose -30*p + 424447 = -855406 + 201143. Is p composite?
True
Let s(r) = -1751*r - 14. Let c be s(6). Let w = 9 - c. Is w composite?
False
Let k be ((-4332)/7)/((-70)/(-9065)). Is k/(-22) - (-16)/88 prime?
True
Suppose 167*q - 24779125 - 11376556 = 3869376. Is q composite?
False
Suppose -56 = -2*m + 9*m + 7*m. Let f(z) = 20*z - 13. Let u(s) = -19*s + 12. Let c(w) = -5*f(w) - 4*u(w). Is c(m) a composite number?
False
Suppose -5*k - 24 = -0*z + 4*z, 0 = k - 2*z + 2. Let x(r) = -10103*r + 65. Is x(k) composite?
True
Suppose 238*i + 50540 = 252*i. Suppose -5*p + 2*m = -29164, -p - 2*m = i - 9450. Is p a composite number?
True
Let q be 108/2 + (-1 - 1) + 3. Let u(f) = 83*f + 0 - q + 