= -3045 + 5140. Is w prime?
False
Let x(z) = -z + 15. Let t be x(4). Suppose t*c - 18594 = 16199. Is c a composite number?
False
Let i = -33 - -19. Let d be (-60)/i - (-8)/(-28). Suppose 212 = 8*o - d*o. Is o prime?
True
Let q(y) = y**3 + 16*y**2 - 8*y - 13. Let a = -3 + -13. Is q(a) prime?
False
Let f = 1149 + -464. Is f a composite number?
True
Let v = 52851 - 23750. Is v composite?
False
Suppose 4*s = 3*s. Suppose 1522 = -s*m + 2*m. Is m composite?
False
Let x be (-2)/(-4) + (-669)/6. Let o = 274 + x. Is o prime?
True
Let c be 10*1 + (-8)/2. Suppose c = -8*y + 11*y. Suppose -3*l = -y*k + 65, 4*k - 6*l - 139 = -3*l. Is k a composite number?
False
Let j = 647 + 1448. Let g = 0 + 5. Suppose g*c - j = -0*c. Is c a composite number?
False
Suppose 5*h = -0*h + 25, -4*h = -4*c + 14424. Is c a prime number?
False
Let a = 33031 - 2420. Is a a prime number?
False
Let j = 34066 + 99517. Is j prime?
True
Let z(o) = o**3 + 12*o**2 - 15*o - 19. Let u be z(-13). Suppose -2*j + 2*l + 85 = -5, -65 = -j - 3*l. Is 3 + u/(7/j) a composite number?
False
Let s be (-2)/1 + 12/(-16)*-4. Is (0 + 0 - s)/((-5)/2585) a prime number?
False
Let a(j) = -j**3 + 5*j**2 + j + 1. Let p be a(5). Suppose -p = 3*m - 5*m. Suppose -444 + 3591 = m*h. Is h composite?
False
Let f = 21306 + -6153. Is f composite?
True
Suppose k = 58*k - 53637. Is k composite?
False
Let o be 60/21 - 3/(-21). Suppose -120 = -o*b + 4*g + 137, 5*g = -4*b + 291. Is b prime?
True
Suppose 0 = 3*h - 11289 - 4752. Is h a composite number?
False
Let l = -104 + 103. Is (3 + l)*((-2684)/(-8) + -2) prime?
False
Let g = -34 - -38. Suppose -t = -3*r - 816, 4*t - 3*t = -g*r - 1095. Let v = r + 1928. Is v prime?
False
Let m(a) = -a**3 - a**2 - 4*a + 7. Let k(c) = -c**3 + c**2 - c + 2. Let s be k(0). Let f be (-44)/6 + s/6. Is m(f) prime?
False
Suppose -4*y = 3*z - 24, 2*z - 3*y + 2 = 1. Let d be 23/4 - (-1)/z. Is ((-1)/2)/(d/(-948)) a composite number?
False
Suppose g + 43 = 2*g. Let z be (-3 - 2)*(-133 - 6). Suppose -4*v - g = -z. Is v composite?
False
Let w = 0 - 0. Suppose 0 = -2*r - 2*r - 2*f + 612, 3*f = w. Let o = -20 + r. Is o prime?
False
Let h(o) = -o**2 - 12*o - 9. Let r be h(-11). Suppose -r*i + 1179 = i. Is i composite?
True
Suppose 0 = 15*v - 184646 - 54559. Is v a prime number?
False
Suppose -2*z + d = -15, 4*z - 10 = -4*d + 2*d. Suppose 0 = 4*o + 8, 208 = z*w - o + 2*o. Let j = w + -23. Is j a prime number?
True
Suppose -4*t + 4 = -5*q + 11, 5*q - 25 = -5*t. Suppose t*l - 6 = -l. Suppose l*z - 141 = -z. Is z a composite number?
False
Let k(v) be the third derivative of -v**4/8 - 5*v**3/2 - 2*v**2. Let z be k(-6). Suppose 2804 = f + z*f. Is f a prime number?
True
Suppose 5*g - 12176 = 5379. Is g composite?
False
Let n = -15320 + 23821. Is n prime?
True
Suppose -2*n + 16 = 3*o, 3*n + n = -2*o + 24. Suppose -4*h - 1164 = -2*d - 2*h, 0 = o*d - 5*h - 1167. Is d prime?
False
Suppose 160 = -5*d - 3*o - 258, 5*d + 417 = -2*o. Let w = d - -136. Is w a composite number?
False
Let j(y) = 0*y - y + 16 + 0*y. Let a be j(13). Suppose 0 = -5*c + a*v + 1022, 2*c + 3*c + 4*v - 1029 = 0. Is c composite?
True
Let u(n) = -16*n**2 + n - 6321. Let c(r) = -3*r**2 - 1264. Let w(y) = -11*c(y) + 2*u(y). Let j be w(0). Is (j/6)/((-1)/(-3)) prime?
True
Let m(y) = -6*y**2 - 4 - 3*y**3 - 2 + 13 - 4*y. Let d be m(-5). Let z = -103 + d. Is z a composite number?
False
Let v(c) = 77*c**2 - 183*c + 11. Is v(26) composite?
True
Let c(h) = -504*h + 547. Is c(-6) prime?
True
Let p(d) = 18*d**3 - 6*d**2 + 10*d - 3. Is p(5) composite?
True
Suppose 4*z - 12362 = d, -z - 3*z + 4*d = -12368. Let k = z + -1697. Is k composite?
True
Suppose 4 = 4*w - f - 0*f, 4*w = 2*f. Suppose -w*d + 4*y = -2966, -4*d + 9*d = -5*y + 7400. Is d a composite number?
False
Let z(t) be the third derivative of t**5/60 + 7*t**4/24 - 37*t**3/6 + 12*t**2. Is z(10) a prime number?
False
Is 58 + 6 + 0 + -5 a prime number?
True
Let u(d) = d**2 - 3*d + 2. Let b be u(3). Suppose 0 = -b*v - 2*v. Suppose v*r = -3*r + 63. Is r prime?
False
Suppose -33*k + 549068 = 19*k. Is k a prime number?
True
Suppose 0 = 2*b - 4*x - 3526, 3*b = 8*b + 3*x - 8776. Is b a composite number?
True
Let i(j) = -7*j + 14. Let u be i(4). Let z = -2 + u. Is 4/(z/(-148)) - 0 a prime number?
True
Let o(i) be the second derivative of -i**5/20 - 17*i**4/12 - i**3/2 + 3*i**2/2 - 33*i. Is o(-18) prime?
False
Suppose 75*g - 10*g = 2472535. Is g a composite number?
False
Let t be (-102)/68 + 3/2. Suppose -6*z + 14*z - 11176 = t. Is z a prime number?
False
Suppose -5*p = -3*t + 54044, -5*t + p + 17206 = -72860. Is t a prime number?
True
Let k(v) = 536*v + 77. Is k(15) a composite number?
False
Suppose -82 = 4*c - 274. Let j be c/10*(-50)/15. Let i = -10 - j. Is i a prime number?
False
Let g = 23249 + 21368. Is g a prime number?
True
Suppose 2*q - 1 = 7. Suppose -b + q*t = -1233, -3*b + 3639 = -3*t + 6*t. Is b a prime number?
True
Let b = 4149 - -782. Is b prime?
True
Suppose 21*a = -312687 + 1180680. Is a a composite number?
False
Let g(w) = -310*w**3 + 5*w**2 - 7*w - 33. Is g(-5) a prime number?
False
Suppose 4304 + 415 = -3*v. Let c = v - -2340. Is c prime?
False
Let a(m) = m**3 - 8*m**2 + 2*m - 164. Is a(11) composite?
True
Let x(n) = -3*n**2 - 12*n - 6. Let l be x(-7). Let a = 196 + l. Is a prime?
True
Suppose 0 = 20*j - 115564 - 24076. Is j a prime number?
False
Let m be (27/6)/(1/2). Suppose m*o - 755 = 8*o. Is -2*1 + (o - -4) prime?
True
Suppose 8*p - 7*p - 5713 = -2*t, 2*t - 28605 = -5*p. Is p a composite number?
True
Suppose 0 = 9*r - 27 - 27. Let n(b) = 202*b + 5. Is n(r) a prime number?
True
Is 5581 + (1 - 9 - -8) prime?
True
Suppose 24*w + 5 = 29*w. Let k(q) = 903*q + 4. Is k(w) a prime number?
True
Suppose 4*c = -3 + 11. Suppose 9 = 5*u - c*p - 2*p, -2*p - 17 = -5*u. Suppose u*v + 768 = 4*d, -d = -v - 198 + 7. Is d composite?
True
Let j(p) = 2*p**3 - p**2 - 2*p - 2. Let g be j(2). Suppose -9*v - 5237 = -2*u - g*v, -4*v = -u + 2631. Is u prime?
False
Let s be 2/(-1 + (-57)/(-55)). Let j be 2*((-45)/(-6))/3. Suppose -3*t + 246 = 2*y, y + j*t - 68 = s. Is y composite?
True
Let d be (-528)/10*(-50)/15. Suppose d = w - 234. Let t = w + -147. Is t a prime number?
True
Let q(r) be the third derivative of 5*r**7/1008 - r**6/80 - r**5/12 - 7*r**2. Let v(j) be the third derivative of q(j). Is v(8) prime?
True
Let k(l) = 220*l**2 + 23*l - 96. Is k(11) composite?
False
Suppose 2*x = 22307 + 33275. Is x composite?
False
Suppose 4*x - t + 5 = 35, x - 2 = 3*t. Suppose -2*k + 0 = -x. Suppose 0 = -k*w + 3*w + 449. Is w prime?
True
Let v = 77810 + -3399. Is v prime?
True
Let i = -3 + 3. Let m(q) be the third derivative of -q**4/24 + 85*q**3/6 + 6*q**2. Is m(i) a composite number?
True
Let s be -4 + (-3 - -4) + 0. Suppose -4*o + 384 = 4*a - 816, -3*o + 3*a + 930 = 0. Is o - -2*(s - -4) prime?
True
Let p(x) = -2*x**3 - 3*x**2 - 3*x. Let u(l) = l + 4. Let z be u(-6). Let m be p(z). Suppose 0 = -m*f + 4*f + 2838. Is f prime?
False
Is 0 + 5 - (-70)/4*68 prime?
False
Suppose -i - 1955 = -4*x - x, -4*x + 1593 = 5*i. Let r = x - -795. Is r prime?
True
Let t(c) = 2*c**3 + 11*c**2 - 135*c + 17. Is t(9) composite?
False
Let m be ((-56)/4)/(4/(-72)). Suppose a = 5*a + m. Is (-94)/(-7) - 36/a composite?
True
Let w(z) = 61*z**2 + 31*z + 159. Is w(-17) composite?
True
Suppose q - 3 = -2*s, q = 3*s - 9 - 3. Suppose y + 0*u - 419 = 5*u, -1257 = -s*y - 4*u. Is y a composite number?
False
Let n be 581 - 0 - (1 + -1). Suppose n = -5*x + 5041. Suppose 0*w + 4*w = x. Is w a prime number?
True
Let o = 20 + -15. Suppose 2*p - 7*p - 35 = t, -o*t - 37 = 2*p. Let n(a) = -106*a + 5. Is n(p) a composite number?
False
Let g(w) = 6*w**3 - 2*w**2 + w. Let u be g(1). Let h = -14 + u. Let t(o) = o**2 - 10*o - 4. Is t(h) a composite number?
False
Suppose -33*g + 1114058 = -11*g. Is g a composite number?
True
Let x = -3 + 4. Let y(w) be the first derivative of 84*w**4 + 2*w**3/3 - 3*w**2/2 + 2*w - 53. Is y(x) a prime number?
True
Let t(h) = -9229*h + 13. Is t(-1) a composite number?
True
Suppose 2*l - 7*l = -10. Suppose -2*m - l*m = -672. Let h = 235 - m. Is h prime?
True
Suppose 0*f + 2*v + 203 = 5*f, 0 = f + 2*v - 31. Let m be (f/(-6))/1*2. Let s(d) = d**2 + 7*d - 4. Is s(m) composite?
True
Let b(k) = -k + 9. Let s be b(7). Let l be s*1/4*6. Is 