4876 = 5*z - 2*p + 105. Let f = z - -1920. Is f a composite number?
True
Suppose -836 = -5*r - 3*h, 0 = 2*r - 3*h - 190 - 136. Let b = r - -25. Is b composite?
False
Let p(u) = -414*u**3 - u**2 - u - 1. Is p(-1) a composite number?
True
Suppose 83*c - 37812857 + 4039908 = 0. Is c a composite number?
True
Let z = -2 - -7. Suppose -5*w - 10 = z. Is (-7)/(w/(-30)*-2) composite?
True
Suppose 3*d - 38890 + 5299 = 0. Is d a composite number?
False
Suppose 6*c = -c + c. Suppose 3*v - 759 = -c*v. Is v a prime number?
False
Let b = 6 - 16. Let t be ((-15)/b)/(9/30). Suppose -t*h + 0*h + 5755 = 0. Is h a prime number?
True
Suppose -32*n + 57825 = -1831039. Is n prime?
False
Suppose 4*x + x + 105 = 0. Let o be 6/x + 4106/14. Suppose -4*s = -5*v - 3*s + 451, 0 = -3*v - 5*s + o. Is v a composite number?
True
Suppose 4*o - 3*o = 306. Suppose 116 = 6*m + 104. Suppose -m*q = 4*q - o. Is q prime?
False
Let h = -13465 + 22556. Is h a prime number?
True
Let s(f) = 1647*f - 10. Is s(1) composite?
False
Suppose 4*m - 5*m - 4*z = -46, 4*m - 4*z = 124. Suppose -m*k + 6845 = -29*k. Is k prime?
False
Suppose 27*y - 104336 = 11*y. Is y prime?
True
Suppose 18*y + 65795 = 23*y. Is y a composite number?
False
Let a be 5*(-3)/(45/(-6)). Suppose -7*d = -a*d - 25. Suppose d*k = 4*v + 68 - 1309, -4 = 4*k. Is v a composite number?
True
Let j(h) = -9*h**3 - 18*h**2 - h + 5. Let b(n) = -10*n**3 - 17*n**2 - n + 4. Let d(c) = -6*b(c) + 7*j(c). Is d(-11) a composite number?
True
Let d(b) = -5*b**3 - 2*b**2 - 3*b - 2. Let j be d(-1). Let y be 8 - j - 0/(-3). Is (y + -5)/(3/(-957)) prime?
False
Suppose -5*v + 5*y = -2310, 0 = -v - 2*y + 6*y + 468. Let b(o) = 17*o + 59. Let l be b(-16). Let d = v + l. Is d a prime number?
False
Let l(z) be the second derivative of -33*z**5/5 - 2*z**3/3 - 3*z**2/2 + 27*z. Is l(-2) prime?
True
Let w = -5 + 8. Suppose -w*j - 1376 = -5465. Is j composite?
True
Let f(p) = -132*p - 4*p - 1 - 34*p - 222*p. Let g be f(2). Is (g/(-5))/(0 - -1) a prime number?
True
Let t = 306 + -88. Let r = t + -129. Is r prime?
True
Let d(n) be the second derivative of n**3/6 + n. Let z(p) = 2*p + 1. Let t(u) = -5*d(u) + 4*z(u). Is t(2) a composite number?
True
Let j(z) = -z**3 + 5*z**2 + 6*z + 2. Suppose 4*f - f = 18. Let l be j(f). Is 4*(l - (-231)/12) prime?
False
Suppose -3*g + 17 - 116 = 0. Let l = 37 + g. Is l a prime number?
False
Let y = -873 - -6610. Is y composite?
False
Let d(t) = -26*t. Let x be d(-5). Let g = -88 + x. Is g/4*(-90)/(-27) a prime number?
False
Let m = -149 - -66. Let s be (-115 + -1)*1*-2. Let v = s + m. Is v composite?
False
Let k = -7134 + 10493. Is k a prime number?
True
Suppose 13*s - 101236 + 18387 = 0. Is s a composite number?
False
Let w(b) = b**3 + 17*b**2 - 22*b - 39. Suppose -7*o + 36 = -9*o. Is w(o) a prime number?
False
Is (-12)/42*-7 + 15*2087 prime?
True
Suppose 2*m - 4*p - 20 = 0, 0 = -3*m + 2*p - 3 + 21. Let b be m/26 - 63/(-13). Suppose -5*n + 710 = -b*c, 2*c - 418 = -3*n + 7*c. Is n composite?
True
Suppose -3*q - 98 = -1004. Suppose -19 = -k - 130. Let b = k + q. Is b a prime number?
True
Let w = -3468 + 2368. Let v = w + 2809. Is v composite?
False
Let p(d) = 1044*d + 1. Let w(x) = -1. Let y(j) = p(j) + 2*w(j). Is y(1) prime?
False
Let n(q) = -2*q**3 + 3*q**2 + 8*q - 19. Is n(-7) prime?
False
Suppose -17 = -15*h + 43. Suppose 2*y - 18431 = -5*i + 6*y, -2*i = h*y - 7350. Is i prime?
False
Let f be (-14)/42 - 8/3. Is (-3)/(-5) - f*(-6242)/(-15) prime?
True
Suppose -4*u - 10 = -6*u. Suppose 98 = r - 5. Suppose u*n + d = 290, -n - r = -3*n - 3*d. Is n a prime number?
True
Suppose -15 = -7*s + 13. Suppose 2*j = -2*j + 48. Is (116/6)/(s/j) a prime number?
False
Let k = 4646 - 1483. Is k a composite number?
False
Let k = 186212 + -130173. Is k prime?
True
Let h(q) = -39*q - 3. Let s be h(-11). Let p = s - 91. Suppose 0 = 7*x - 2*x - p. Is x composite?
False
Suppose 3*d + 12 = 7*d. Suppose 0 = 4*v - 0*v + d*u - 1610, -u - 800 = -2*v. Is v prime?
True
Suppose 5*s = -s + 12. Let h be (7 - 6)/(s/(-62)). Let u = h + 108. Is u composite?
True
Let n be 28/(-21)*6/(-8). Let a(l) = -l**3 - l. Let v be a(n). Is 3 - 2 - v*3 a composite number?
False
Suppose -5*w + 5*b + 3780 = 0, -w + 0*w + 761 = -2*b. Is w a prime number?
True
Suppose -q = 4*b + 3*q - 36, 5*b - 2*q - 17 = 0. Suppose -2*u + b*y + 407 = 0, 4*y - 1136 = -4*u - 280. Is u composite?
False
Let f = 15261 + -10544. Is f a prime number?
False
Is (-5444)/(4 - 6/(-6) - 7) a prime number?
False
Let j(y) = -2*y + 4. Let n be j(5). Let k be 0*(n/2)/(-3). Is (6 + -4 - k) + 189 composite?
False
Is 5 + (-76028)/(-12) - (-4)/12 prime?
False
Let w = -1009 - -1010. Let q(k) = 2*k. Let b be q(1). Is (w/b)/(6/2568) prime?
False
Let t(s) = -3589*s - 35. Is t(-1) a prime number?
False
Let a = -12201 - -37888. Is a prime?
False
Let y(u) = 8*u - 5. Let z(j) = 7*j**2 + 7*j**3 + 0 - 2*j**2 - 2 - 3*j - 8*j**3. Let w be z(3). Is y(w) composite?
True
Let d = -42 + 49. Let g(r) = 200*r - 7. Is g(d) a prime number?
False
Let x = -68 - -66. Is (-2 + 1)*1567/(2/x) composite?
False
Suppose -5*v + 32076 = 3*w, 3*w + 5*v = 2*v + 32082. Is w a prime number?
False
Suppose -2*d = 2*n + 3*n + 2, 22 = 5*d - n. Suppose -7 = -3*v - u + d, -4*v = u - 14. Suppose -v*l - 314 = -2*w - 7*l, -l = 2. Is w composite?
True
Let q = 287 + -139. Is (-1)/((-1)/(-2))*(-54094)/q prime?
False
Let i = 52 - -4698. Suppose i = 7*v - 2*v. Is (-10)/(-40) + v/8 composite?
True
Suppose -17*k + 15*k + 34714 = 0. Is k prime?
False
Let x = 10 + -10. Suppose x = -f + 17 + 2. Suppose 0 = 5*d + q - 95, d + q = -0*q + f. Is d prime?
True
Suppose 31*f = 9*f + 391270. Is f prime?
False
Let o(m) = 6*m**2 - 42*m + 221. Is o(39) a prime number?
False
Suppose u = 3*b + 2, 3*b = -5*u + 4*b + 10. Suppose 4*i = u*q + 78 - 18, 4*q + 3*i = -120. Is (-4)/6 + (-16250)/q prime?
True
Let n be (1 - -502) + 0/3. Let y = -86 + n. Is y prime?
False
Let s(a) = -a - 8. Let d be s(-8). Suppose -2*z + 24 = 5*o - 0*z, d = 5*o - z - 18. Suppose -4*m - o*q + q = -2099, 4*q = -4*m + 2104. Is m prime?
True
Suppose 0 = -5*q - 4953 + 59788. Is q prime?
False
Let o(t) = -5 - 1314*t**3 + 2*t**2 + 4 + 2*t + 1 + 1. Let y be o(-1). Is y/4 + 5/20 a composite number?
True
Is (-1174976)/(-40) - -7 - 24/(-15) prime?
True
Let w be -3 + (2 - (-9)/(-3)). Let x(y) = -3*y + y**3 + 7*y**2 + 0*y**3 + 5*y + 6*y + 3. Is x(w) a prime number?
True
Let p(d) = 3*d**3 - 3*d**2 - d - 2. Let a be p(-4). Suppose v = -15 + 39. Is v/(-16) - a/4 composite?
True
Suppose 0*u - u = -4*k + 25, 21 = 3*k - 3*u. Let p(d) = -d + 2. Let l be p(-2). Is 3/k*1480/l prime?
False
Let a(d) be the first derivative of d**3/3 - 3*d**2/2 + 3*d - 3. Let u be a(3). Suppose 0 = -5*s + 4*x + 1021, u*x + 230 = -2*s + 620. Is s a prime number?
False
Let j(z) = -583*z - 3. Let q be j(4). Suppose 2*l - 12 = 5*l, 43 = p - 2*l. Is 2/7 - q/p composite?
False
Suppose -3*l - 9 + 21 = 0. Suppose 3*y = l*j - 1768, -1315 - 895 = -5*j - 4*y. Suppose 2*b = -0*b + j. Is b composite?
True
Suppose 11258 = w - b - 3436, 4*b + 29378 = 2*w. Suppose 12*s = -2*g + 9*s + 5866, 5*g - s = w. Is g prime?
True
Let k(r) = 6*r**3 + 15*r**2 - 31*r - 37. Is k(16) prime?
True
Let n be (6 - -4) + -1*2. Let w = 11 - n. Suppose -5*x + 4*p + 555 = 0, 0 = w*x - 2*p - 217 - 118. Is x a composite number?
True
Suppose 5*w - 3*w = 4*b - 140, -5*b = w - 175. Is b - 4/6*-3 composite?
False
Suppose -5*v = 3*w + 2*w - 10, v + 4 = -4*w. Suppose v*a = -a. Suppose 5*n = 5*x - 2750, -4*n + a = -16. Is x a prime number?
False
Suppose 6*g + 4378 = 5*g. Let u = 9505 + g. Is u composite?
True
Suppose j - 256 + 53 = 0. Is j a composite number?
True
Let z be 8/3 + 3/9. Let a(d) = -z + 4*d + 0 + 2. Is a(6) prime?
True
Let y = -3188 - -4567. Let m = 2098 - y. Is m composite?
False
Suppose -4*y + 14036 = 1384. Is y composite?
False
Let l be ((-214)/(-5))/(3/45). Let q be 48/12 - (2 - 2). Is (1 - l/q)*-2 composite?
True
Is ((-5)/(-15))/((-1)/(-1761)) composite?
False
Suppose 0 = p - 6*p + 20. Suppose 3*u - w = -0*u + 607, p*u = 3*w + 811. Suppose -5*k = 3*q - u, 4*q + 0*k - 241 = -k. Is q prime?
True
Let c(l) = -7389*l - 643. Is c(-6) composite?
False
Let i = -9250 - -21545. Is i composite?
True
Let p(r) = r + 14. Let b be p(-10). Suppose -5*g + 127 = -b*s - 275, 5*s = -4*g - 523. Let o