6 = 0, 5*b = -5*p + 15. Let k(y) = 969*y + 2. Let n be k(p). Suppose 4*f = -t + 1777, -3*f = -4*t - n - 338. Is f a composite number?
False
Let i = 75919 + -24096. Is i prime?
False
Let o(b) = -215*b - 5. Let w be o(-4). Suppose -3*k - w = -13608. Suppose a = -4, -3*a = 5*v - 2*a - k. Is v a composite number?
True
Let x(d) = 2*d - 21. Let u be x(13). Suppose 4*c = 4*f - c - 853, 5*f + u*c = 1010. Let b = f + -4. Is b composite?
True
Let f(y) = 5*y**3 - 13*y**2 - 66*y - 19. Is f(17) prime?
False
Let h = 757552 - 204669. Is h a composite number?
False
Let q(p) = -202*p**2 - 7*p - 94. Let k be q(-10). Let x = k - -51401. Is x a prime number?
True
Suppose 23*p - 3 = 24*p. Let z be (1 - (p + 860)*-3)/1. Let d = -1533 + z. Is d prime?
True
Suppose 616944 + 4419955 + 267963 = 166*w. Is w composite?
False
Suppose 176*s + 3*q = 177*s - 87610, 0 = 5*s - 2*q - 438063. Is s a composite number?
False
Suppose 0 = 84*t - 89*t - 400. Is (-24)/t + (-69621)/(-30) prime?
False
Suppose 0 = 4*s - 4*u - 109272, 21*s - 16*s + 2*u - 136597 = 0. Is s composite?
True
Let k be (7/14)/(2/4). Let j be k - -1*(-2 - -3). Suppose j*h + 975 = 3*y - 1690, -5*h - 1784 = -2*y. Is y composite?
False
Let g(f) = f + 6. Let a be g(-7). Is ((-3041)/a)/(1/6*6) composite?
False
Let a be 6*(-3 - ((-182)/(-6))/(-7)). Let f(d) = 55*d**2 - 3*d - 47. Is f(a) a prime number?
True
Let w = 2670 - -97. Is w a prime number?
True
Let t(a) = -2*a**3 + 22*a**2 - 4*a + 4. Let s be t(11). Let m be ((-28)/8 - -2)/((-15)/s). Is (-75 - 4)*(m - -2) a prime number?
False
Suppose 9 = -r + 17. Suppose 0 = -r*n + 10*n - 5006. Is n a composite number?
False
Let a be (-3)/21 - (375/(-35))/5. Suppose 38*j = 37*j - a. Let t(y) = -1561*y + 9. Is t(j) prime?
False
Let t(c) = 3*c - 95. Let g be t(33). Suppose -3*b - 2*y + 687 - 24 = 0, -4*b + g*y = -904. Is b composite?
False
Let h = -12705 - -8387. Let j = h - -9035. Is j a prime number?
False
Let f(k) be the third derivative of k**5/20 - 5*k**4/8 + 5*k**3/6 + 83*k**2. Is f(23) composite?
True
Suppose 4*d + 12*k - 9*k - 1423735 = 0, -2*d - 5*k = -711871. Is d a prime number?
True
Is 6/8 + 1142801092/1808 a prime number?
True
Let b(a) = 213*a**2 - 10*a + 21. Let c(r) = -r**2 + 13*r - 40. Let m be c(7). Is b(m) a composite number?
False
Suppose -5*q + 1012 = 5*u - 2803, -4*u = 2*q - 3050. Let x be (2 - (-4 - -2))*u/(-8). Let o = 572 - x. Is o prime?
True
Let x be (10/(-25) - 0) + 7536/(-10). Is (-1 - x/(-4))/((-20)/40) prime?
True
Suppose -5*a = -15, -3*s + 6*a = 3*a + 210. Let l = 74 + s. Suppose 2*q - 2*v - 262 = 0, 2*q + 2*v - 274 = l*v. Is q a composite number?
False
Is 4 - (38/(-2) + -33368) prime?
True
Let l = -83270 - -122763. Is l prime?
False
Let m(k) be the third derivative of -k**6/120 + k**5/30 - 5*k**4/8 - 5*k**3/6 - 4*k**2 + 6. Is m(-10) composite?
True
Let i = 51 + -53. Let m be i - -11 - 2*-1. Is m - -123 - (2 + -1) composite?
True
Suppose -34986115 + 4200775 = -29*d - 5619923. Is d a prime number?
True
Let k(m) = m**3 + 18*m**2 + m + 15. Let c be k(-18). Let s be (40/12 + c)*15. Suppose j = -s*g + 22, 4*g = -3*j + 8*j - 110. Is j a composite number?
True
Suppose -401*i + 402*i = 0. Is -5 + i + 10 + 2828 composite?
False
Suppose 29 = 5*v - 16. Suppose 0 = -8*t + v*t - 5567. Is t composite?
True
Suppose 3*j + 5*f - 72396 = 0, -2*j + 30141 + 18119 = 2*f. Is j composite?
True
Suppose -6 = -2*y + 2. Let z be 1/1*(-1 + y). Suppose 689 = z*j - 304. Is j a composite number?
False
Is 1760549/70 + (-51)/(-170) a composite number?
True
Let z be ((-48)/(-40))/(6/10 - 1). Is ((-1)/z)/(20/442140) prime?
True
Let g(r) = r**3 + 7*r**2 - 2*r - 5. Let f be g(-7). Suppose 3*h - f = 5*c + 8, 0 = -3*c - 3. Suppose l - 203 = -h*k + 128, 2*k = -2*l + 668. Is l composite?
True
Suppose 8*h - 183178 = 344957 + 13153. Is h a composite number?
True
Let i(m) = -283*m**3 - 22*m**2 - 39*m - 7. Is i(-7) a composite number?
True
Let t = 431 - 289. Suppose 151*h = t*h + 143523. Is h a composite number?
True
Suppose -533232 = -16*h - 14400. Suppose -h = -12*v + 3*v. Is v composite?
True
Suppose -3*c - 10 = -7. Let o(r) = -5*r. Let g be o(c). Suppose 0*t = -2*f + 3*t + 599, -5*f = -g*t - 1510. Is f prime?
True
Let q = 156814 + 23833. Is q a composite number?
False
Suppose 2219*v - 1806772 = 2196*v + 4658551. Is v prime?
False
Suppose -d + 517338 = -3*o - 27209, 4*d + o = 2178240. Is d composite?
True
Let h(g) = g**2 + 14*g + 66. Let u be h(-17). Let o = 251 - u. Is o composite?
True
Suppose -2*h = n - 0*n + 1, 12 = -4*n. Let d(f) = 3*f**2 - 4*f - 102. Let m be d(8). Suppose c + h - m = 0. Is c prime?
False
Suppose 49*z + 33 - 229 = 0. Let b = -1 + 1. Suppose b = -z*c + 4060 + 3328. Is c composite?
False
Let i(d) = 28*d**2 + 23 + 5*d + 19*d**2 + 18*d**2 - 50*d**2 - d**3 + 13*d. Suppose 4*u - 5*n + 10 = 74, -u + 4*n = -16. Is i(u) a prime number?
False
Suppose -6*q + 446422 + 530084 = 0. Is q prime?
True
Let y = -328569 - -748442. Is y a composite number?
False
Suppose -14*z - 20524 = -23*z - 5*z. Is z a composite number?
True
Let b(k) = 420*k**2 - 34*k - 91. Is b(-3) composite?
True
Let j = 11 - -1. Let v be (-2 + 0)/(-4 + 3). Is 632 - v*j/(-8) composite?
True
Let h = -111657 + 193268. Is h prime?
True
Suppose 2*n = 4*n - 18. Suppose 0 = 3*d - 0*d + n, 2*h - d = 7. Suppose 0 = -h*o + 4*x + 1142, 0 = -3*o + x + 530 + 1163. Is o a prime number?
True
Let k = -11 - -14. Let f be ((53 + 3)/4)/(k/(-261)). Let g = f + 2777. Is g a prime number?
True
Let k(n) = -32*n - 60. Let r be k(37). Let j = r - -4138. Is j a prime number?
False
Suppose 2*w + 8*l = -17504 + 206884, 284121 = 3*w - 5*l. Is w composite?
True
Suppose -196*c = -113*c - 52539913. Is c composite?
True
Suppose 0 = -3*w - 5*r + 30 - 11, 16 = 2*w + 5*r. Let l be (9/w - 4)*-7. Suppose l*f - 2*f = 27505. Is f prime?
True
Suppose 121*z - 29631346 = -37*z + 6349836. Is z a prime number?
True
Let q = 4567905 - 3111244. Is q a prime number?
False
Let w(u) = -u**2 - 6*u - 8. Let m be w(-4). Suppose m = -5*a + h + 33450, -28*a + h = -26*a - 13383. Is a prime?
True
Suppose -2*i - 95 + 117 = 0. Suppose 30358 = i*h + 5267. Is h prime?
True
Suppose -49*t = -50*t. Suppose g + y = 884, t = 4*g - 3*y - 2*y - 3581. Is g a composite number?
True
Let u be 2310/(-198)*6/(-7). Let b(a) = 785*a - 33. Is b(u) prime?
True
Let t be (-10)/(15/3 - 3). Let o be 3393 + (t - (-1 - -1)). Suppose -6771 = -4*a - q, -2*a + o = -0*a - 2*q. Is a prime?
True
Suppose -d - 2703 = 86. Is -4 - -4 - 1*d composite?
False
Suppose 3*c - 6 = -t + 12, -c - t = -4. Suppose c*x - 5 = 2. Is (13/x)/(11/473) a composite number?
True
Let g be (-10014)/9*5/(5/6). Let u = g + 9905. Let a = -386 + u. Is a prime?
True
Let z(v) = -2*v**3 + 9*v**2 + 99*v + 77. Is z(-31) a prime number?
True
Let m(s) be the first derivative of -2*s**2 + 3*s + 13 + 1172/3*s**3. Is m(1) a prime number?
True
Suppose -4*y - 25 = -41. Suppose y*r + 42 = 11*r. Suppose -z + 17171 = r*z. Is z composite?
True
Let u(t) = -t**3 - t**2 - 2*t + 2. Let q be u(0). Suppose 3*w = -y + 286, q*y + 5*w - 1116 = -2*y. Is y a composite number?
True
Let l(k) = -2*k + 46. Let u be l(32). Is (-20860)/(-24) - (-3)/u prime?
False
Let r(a) = 1416*a - 241. Let v be r(-11). Let i = -9632 - v. Is i composite?
True
Let l(u) = -9 + u**2 + 7*u - 4 - 3 + 4. Let g be l(3). Let k(i) = 23*i + 35. Is k(g) prime?
True
Suppose -22*q = -334133 + 116773. Suppose -4*l + 5*m + 254 = -q, -3*m - 5068 = -2*l. Is l a prime number?
True
Let z(f) = 265*f**3 + 6*f**2 + 7*f - 1. Let l(r) = -531*r**3 - 13*r**2 - 15*r + 1. Let i(c) = -2*l(c) - 5*z(c). Is i(-2) a composite number?
True
Let o(c) = 12*c + 25 + 2*c + 10*c. Suppose 4*v = 5*u + 5, -2*u + 1 = -4*v + 3*v. Is o(v) prime?
False
Let h be 4/(-10) - (-16)/(-10). Let u = -7995 - -9832. Is (u/5 - h)/(3/15) prime?
True
Let j be (6 - 3) + (1125 - 4) + -3. Let z = -490 + j. Is z a prime number?
True
Let r = 655411 + -410678. Is r a composite number?
False
Suppose -261553*p + 3315315 = -261548*p. Is p a prime number?
False
Suppose h = -22 + 30. Suppose 0 = -m - 2*k + 8, h = -m + k + k. Suppose -6*c + 2694 = -m*c. Is c composite?
False
Let j = 3654 + -1982. Suppose -j - 79983 = -7*x. Suppose 4*c = -c + x. Is c a composite number?
False
Suppose 14 = 3*d - 1, 3*d = 2*t - 8591. Is t composite?
True
Suppose -11*