posite?
True
Let w = -1309 + 904. Let z = 4484 - w. Is z composite?
False
Suppose w = 4*y - 4*w + 14, w - 5 = 3*y. Let g be (537/(-4))/(y/12*1). Suppose 0 = -5*z + g - 656. Is z composite?
False
Suppose 33*k = 29*k + 8412. Suppose y - 2*t - 1068 = k, 3*y = 4*t + 9505. Is y prime?
True
Let v = -96 + 78. Let l be (v/(-9))/(2/5) + -1. Suppose 5*r - 3011 = -l*c, c + 2*r = -3*c + 3002. Is c prime?
False
Let c(h) = 179*h - 24. Let i be c(10). Let k = 646 + i. Is ((-3)/9)/(2 + (-4828)/k) a composite number?
True
Suppose 0 = 5*n + 2*u - 532128 - 22627, 5*n - u = 554770. Is n prime?
False
Suppose -5 = 4*c - 9*c - v, -2*c + 3*v = -19. Suppose -2734 = -c*j + 4*p, -5*p = -14*j + 9*j + 6825. Is j prime?
False
Let z be (2/2)/(12/48). Suppose 5*p = -3*k + 1179 + 6132, -12185 = -5*k + z*p. Is k a composite number?
False
Let o be 104676/55 + 2/(-10). Suppose 5*d - o = 4*d - 2*x, x = -3. Suppose 3*h - 5*p - d = h, 4*p = 5*h - 4815. Is h prime?
True
Suppose -2*p = 2*w + 72, -17*p - 10 = -15*p. Let t(j) = -110*j - 19. Is t(w) a composite number?
False
Let g(f) = -f**3 + 9*f**2 + 3*f + 4. Let h be g(9). Suppose 3*y - h = -a - 2*y, -2*a + 22 = 2*y. Is (-2500)/(-2) - 18/a prime?
False
Let c = -285669 + 405118. Is c a composite number?
True
Suppose -160*k - 16 + 16 = 0. Suppose 0 = 2*o - 4*a - 28, 4*o - a = 2*a + 31. Suppose k = -3*q - o*w + 7363, 3*q + 3152 = -w + 10512. Is q prime?
False
Let v be ((-48)/(-5))/(-3) + (-2)/(-10). Let o be v/((-12)/(-134)) - 24/(-48). Is ((-2431)/o)/((2/6)/1) prime?
False
Suppose -2*d + 89761 = j, 3*d - 117749 = 4*j + 16876. Is d a composite number?
False
Suppose -3*t - 9*j - 1 = -4*j, 4*j = 2*t - 14. Suppose t*p = 43284 + 25143. Is p a prime number?
False
Let h(x) = 2*x - 5. Let t be h(5). Let b = -4620 + 4621. Suppose 3*d - 743 = -t*c, -c - b = 1. Is d composite?
False
Let p be 3/9*(11 - 5). Suppose -3*j - 5*l = -9186, 0 = -10*j + 6*j + p*l + 12248. Let z = j + -1399. Is z a composite number?
False
Suppose -5*q - 3*p + 494 = -245, 0 = -2*q + p + 289. Suppose -q - 65 = -o. Is o a composite number?
False
Suppose -5*u + 212293 = 2*b, -6*b = -7*b + 2*u + 106115. Is b prime?
True
Let l(j) = -2*j - 37. Let d be l(-19). Let m be (11 - 14) + 13*d. Is ((-1468)/(-12))/(2 + m/(-6)) composite?
False
Let t be (10 - (-9110)/30)*1*-3. Let w = t + 1740. Is w a prime number?
False
Let a be 83341 + ((-5)/40 - (-17)/8). Let g = a - 41620. Is g a prime number?
False
Suppose 2*n - 251 = -245. Suppose 0*d - 2*d = -3*z - 618, 3*z = -3*d + 942. Suppose 5*a = n*c - 2881, -c = -4*a - d - 639. Is c prime?
True
Suppose 3*f + 7705 = 51945 + 43867. Is f prime?
False
Let m = 38942 + 329. Is m a composite number?
True
Let p = -120 + 120. Suppose p*i - 4 = 3*i - 5*f, i = 5*f + 2. Let d(g) = -951*g + 10. Is d(i) prime?
False
Let b(i) = -i**3 - 57*i**2 - 17*i + 118. Is b(-65) a prime number?
True
Let f(d) = -1054*d - 3271. Is f(-15) prime?
True
Let r(k) = 192*k + 11. Let o(f) = f**2 - 12*f + 30. Let g be (3 - (-5)/(-1) - -10) + 1. Let j be o(g). Is r(j) prime?
True
Suppose 3*x = 3*q + 11 + 1, -6 = -x + 2*q. Let b be (-16)/12*3/2. Is 899 - (1 - x)/b*0 a composite number?
True
Let v = 73 - 65. Let u(h) = 37*h + 2. Let m be u(v). Let a = m + -171. Is a a composite number?
False
Let p be (249/(-1))/((-2)/(-4) + -2). Let k be (-1)/(-5) - (-5094)/(-30)*-1. Suppose k*y - p*y = 4796. Is y a prime number?
False
Suppose 5*f = 3*x - 0*x - 2111119, 5*x - 3518604 = -2*f. Is x a prime number?
False
Let q = 145216 - 66437. Is q a composite number?
False
Let m(y) = 18*y**3 - 2*y**2 + 4*y - 3. Suppose -3*j = 5*n - 49, -2*n - 25 = -7*n. Suppose -2*s + j = 2*s. Is m(s) prime?
False
Let i be (-80)/140 - (-452)/7. Suppose 51135 = 5*o + 4*k, -4*o - 63*k + i*k = -40887. Is o composite?
False
Let s(i) be the first derivative of -15*i**4/4 + i**2 - 2*i + 16. Let q be s(-3). Let l = q + -148. Is l a prime number?
False
Let a = 782701 - 428439. Is a composite?
True
Suppose 2*b + l - 171561 = 6*l, -2*b = 5*l - 171611. Is b prime?
True
Let j(k) = 141*k + 1636. Is j(49) prime?
False
Let d = 80 - 82. Let n be (1212/(-18))/((d/(-12))/1). Let z = 129 - n. Is z a composite number?
True
Let k(r) = 173*r**2 + 36*r + 533. Is k(-12) a prime number?
True
Suppose -25*r + 2922 = -3*q - 29*r, -q = -4*r + 958. Let g = 5015 + q. Is g prime?
False
Suppose -w = 4*s - 41, 5*s = w - 4 - 1. Suppose 5*p - w + 0 = 0. Suppose 0*f + p*f - 3*l = 5852, -2*l = -2. Is f a prime number?
True
Let c be (-3 - -3204)/((-9)/6). Is 48/(-96) - c/4 composite?
True
Let d = 7302 - 2272. Let o = d - 2728. Is o a composite number?
True
Suppose -5*z = -7*z + 4. Let g be (21/z)/(15/1660). Let s = g - 251. Is s prime?
True
Suppose u = -m - 4*m + 130401, 0 = 5*m + 5*u - 130385. Is m a composite number?
True
Let w = -3957 + 4587. Suppose -2*h = -0*h - 274. Let b = w - h. Is b prime?
False
Suppose 3*s = -4*h - 137, 166 = -4*s - 0*h - 2*h. Let z be (s/2)/((-18)/(-864)). Let w = -443 - z. Is w a composite number?
True
Let n = -1199 + 693. Let f = 5545 + n. Is f a prime number?
True
Let y be 586 + (1 - (-6)/3). Let h = 900 - y. Is h a prime number?
True
Let r(f) = 49*f - 45. Let g be r(1). Suppose -2*v + 19378 = g*w, v - 3*w = -327 + 10011. Is v a composite number?
True
Suppose -2*z - 6214 = 61*i - 56*i, 6 = 3*i. Let r = -2307 + 8008. Let v = r + z. Is v a prime number?
False
Let a be -5 - (-85 - 8)/3. Is (12/(-15))/(a/(-206765)) prime?
False
Let q = -2574 + 3619. Let n = q - -2226. Is n prime?
True
Let i = 250 + -249. Is (6/(-5) + i)*(-36425 - -10) prime?
True
Suppose -3*n + 15 = 3*z + 18, 0 = 4*z + 3*n + 1. Is (-6 + 18136/z)/((-4)/(-2)) a composite number?
True
Let b(u) = -1 + 14 - 11 - 9 - 14 - 47*u. Let k be 104/(-10) - 4/(-10). Is b(k) a composite number?
False
Suppose -2*f = -4*s - 106, -19 = 3*s - 3*f + 59. Is 3891*(-9)/s - (1 + 3) a composite number?
True
Let i be (-36)/(-19) - 24/(-228). Suppose 8 = 2*s + i, 2*s = -d + 511. Is d composite?
True
Let u = 317215 - 194552. Is u prime?
True
Suppose p = -2*g + 109015, 52*g = 49*g - 12. Is p a prime number?
False
Suppose -h - 12 = -3*m + 11, 5*m - h - 35 = 0. Suppose 978 = 9*z - m*z. Is z prime?
False
Let h(c) = 29*c**3 + 2*c**2 - 4*c + 1. Let t be h(1). Let i(p) = -p**3 + 28*p**2 + 9*p - 97. Is i(t) a composite number?
True
Let b(z) = -z**3 + 7*z**2 - 8*z + 12. Let i be b(4). Let w = 32 - i. Is (5875/(-10) + 4)*w/(-6) a composite number?
False
Suppose 6*q - 18698 = 2*q + 5*u, -3*u = 2*q - 9338. Suppose -12 = -3*o, -5*o = s + 3*s - q. Is s a prime number?
True
Let y be (2 + -5 + 6)*-1. Is 3324/(-12)*y*1 prime?
False
Let m = 21 - 15. Let o be 3 - (m + -2)/((-6)/3). Let q(j) = 4*j**3 - 7*j**2 + 3*j - 5. Is q(o) a prime number?
False
Let n = -1542 + 2442. Suppose 2*g - 1310 = n. Suppose 3*s = 2*r - 2182, 5*r + 3*s - 4350 = g. Is r a prime number?
True
Suppose -41*k + 4433052 + 553613 = 581584. Is k a composite number?
False
Let g = 207 - 207. Suppose 0 = z - 4*b - 2111, g = b - 3 - 0. Is z a composite number?
True
Let l = -22487 + 51850. Is l a prime number?
True
Let z(g) = 24*g**3 - 2*g**2 - 4*g + 13. Suppose 7*s + 2*w - 11 = 6*s, -2 = 2*s - 2*w. Is z(s) composite?
False
Suppose 580698 = -6*f + 8*f + 2*u, 4 = -2*u. Is f a composite number?
False
Let u = 143096 - -34995. Is u composite?
False
Suppose -5*k = 4 + 151. Is (-6250)/(-6) + k/(-93) prime?
False
Let f = 162 + -149. Suppose 3607 - 31700 = -f*r. Is r prime?
True
Let d(h) = h. Let k be d(1). Is (-25613)/(-21)*(0 + (k - -2)) a prime number?
True
Is 36/(-180) + ((-1696098)/(-5))/3 a composite number?
True
Let z(f) = -37*f - 4. Let l be z(-9). Suppose l = 2*b - 9. Suppose 185 = 2*u - b. Is u a composite number?
True
Let f(d) = 167*d - 63. Let p be f(21). Let g be 0 - (-4 - -4 - p). Let b = g - 2107. Is b composite?
True
Suppose -j = 3*j - 84. Let u = -54 + 64. Is (-1475)/(-70)*u - (-6)/j composite?
False
Let y(q) = 285*q**3 - 4*q**2 + 50*q - 207. Is y(4) prime?
True
Let a(h) = 1073*h**2 + 174*h - 1533. Is a(10) a composite number?
False
Let d = -16431 - -24589. Is d a composite number?
True
Let j(y) = -1961*y - 1 + 6 + 1340*y - 601*y. Suppose -3*t - 12 = t. Is j(t) a composite number?
False
Suppose 4*q = -567 + 63. Is (-2)/(-9) + (-1410542)/q a prime number?
False
Let o(z) = -z**2 - 7*z + 2. Let l be o(-7). Let r be (((-22435)/(-10))/7)/