 47*l**2. Is y(8) prime?
True
Let k be -2 + 1 + (-15)/3. Let m(y) = y**3 + 6*y**2 + y - 6. Let t be m(k). Is (-2252)/t + 4/(-6) a prime number?
False
Let w(n) = 402*n**2 + 7*n + 94. Is w(-9) a prime number?
False
Let x(r) = r**3 - 4*r**2 + 12*r + 20. Is x(9) a composite number?
True
Suppose -4 = 3*q - 1. Let o = q + 3. Suppose o*r - 31 = 7. Is r prime?
True
Let x = 15576 - 323. Is x a composite number?
True
Let u = -10126 + 14265. Is u prime?
True
Let a be (1 + 1)/(8/4). Let w be (a/(-2))/(-1)*236. Suppose 2*z = v - 43, -2*v + z + w = 17. Is v a prime number?
True
Suppose -o + 5 = 21. Let z be (-18)/12*o/6. Is (-2)/z*(-1 + -381) a composite number?
False
Let w = 0 - 6. Let a be ((w/(-2))/(-3))/1. Is (111 - a) + 9/3 composite?
True
Let l be 1/2*(-5 - -5)/6. Suppose 0 = 3*b + j - 638, l*j - j = -5*b + 1050. Is b prime?
True
Let v(f) = 5*f**2 - 20*f + 17. Is v(-50) a prime number?
False
Let u(z) = 14*z**2 - 8 + 5*z + z + 50*z**2. Let b be u(-6). Suppose 2*n + b = 6*n. Is n prime?
False
Suppose 4*i - 3*l - 76466 = 0, 5*i - l = -2*l + 95573. Is i a composite number?
True
Is -15 - -18 - (-1 - (-633)/(-3)) a composite number?
True
Suppose -4*z - 8 + 0 = 0. Is -74*z*4/16 prime?
True
Suppose 7*p - 3 = 6*p. Suppose p*z + 0*z = -2049. Is z/(-1) - (1 + -1) composite?
False
Suppose 0 = 3*f + 2*s - s - 4074, 5*s = 3*f - 4056. Is f composite?
True
Suppose 2*x + 3*d + d = -8, -2*d + 12 = 5*x. Let q(w) = 20*w**2 + 3*w - 9. Is q(x) a composite number?
True
Let q(v) = 4*v - 12. Let i(z) = z**2 + 6*z + 4. Let g be i(-6). Let c be q(g). Suppose -c*x = 4*a + x - 857, 12 = -4*x. Is a prime?
False
Is (351988/(-78))/((-2)/3) prime?
False
Let f(c) = c**3 + 11*c**2 + 10*c + 3. Let a be f(-10). Suppose -2*i - 74 = -a*i. Let d = i + -21. Is d a composite number?
False
Let q(z) = -65*z - 9. Let t(w) = -129*w - 17. Let m(s) = 7*q(s) - 4*t(s). Is m(8) a composite number?
True
Suppose o + 3 = 2*o. Let q(s) = 5*s**2 - 4*s + 2. Let l be q(o). Suppose -z + l + 18 = 0. Is z a prime number?
True
Suppose -k = -2*k - 5*d + 21, 5*d - 185 = -5*k. Let p = 26 + k. Is p a prime number?
True
Let k = -4 - -10. Is (-1)/6 - (-943)/k a composite number?
False
Suppose 0 = -4*k - f + 75051, k - 18768 = 46*f - 41*f. Is k a prime number?
False
Let g = 9484 + 2293. Is g a composite number?
False
Suppose 50422 = 4*n - 2*k, -15*n + 63047 = -10*n + 4*k. Is n composite?
True
Suppose -4*j - 48 = -8*j. Is 323 + -1 - 4/(16/j) a prime number?
False
Suppose -24 = -5*h - 2*g + 3*g, 2*h = -g + 11. Suppose 298 = h*s - 3*s. Is s composite?
False
Let k(f) = -14 + 3*f**3 - 7*f**3 - 6*f + 3*f**3 - 18*f**2. Is k(-18) prime?
False
Let g = -2594 - -1502. Let t = -205 - g. Is t a prime number?
True
Let a = -10 + 14. Is (-5 + 3 - 2/a)*-226 a composite number?
True
Suppose -5*n + 12263 = 3048. Is n prime?
False
Let w be -15*(-2 + (-30)/(-25)). Suppose -3*k = -w, 2*a - 5*k - 1472 - 3294 = 0. Is a a composite number?
False
Let d(s) = 2*s**2 + 5. Let p be d(3). Let h = -18 + p. Let k(m) = 61*m - 6. Is k(h) a composite number?
True
Let l(q) = 38374*q + 19. Is l(1) composite?
False
Let f = -7208 - -23430. Suppose -11687 - f = -5*j - t, -2*j + 5*t = -11142. Is j a composite number?
False
Suppose -4*j - 5*z = -54253, -3*j + 54265 = j + z. Is j composite?
False
Let n(g) = g**3 - 3*g**2 - 3*g - 2. Let z be n(4). Suppose 6*a - z*a = -k + 10086, k - 2 = 0. Is a a prime number?
True
Suppose 2*j + j - 55755 = 3*g, -2*j - 2*g = -37186. Is j a composite number?
True
Let s(m) be the third derivative of 7/12*m**4 + 0*m + 0 - 11/6*m**3 + 7*m**2. Is s(5) a composite number?
False
Let x(a) = -15*a + 14. Let z be x(-8). Let i = z + -16. Suppose -i = -3*n + n. Is n prime?
True
Suppose -4*s = l - 640 + 165, -4*l + 1942 = -5*s. Let j = l + -320. Is j prime?
True
Suppose 5*m = -3*a + 81920, 0 = 3*m + a + 7511 - 56659. Is m a composite number?
False
Let a(g) = 10*g**2 + 17*g + 2. Let c be a(-4). Suppose -c*u = -89*u - 645. Is u composite?
True
Let j(h) be the third derivative of h**6/120 - h**5/10 - 3*h**4/8 + h**3/6 - 2*h**2. Let y be j(8). Is (y/(-15) - 0)*-5 prime?
True
Is 2213/(2 + (-147)/77) a composite number?
True
Let z = 43 + -63. Suppose 5*l = 5, -p + 289 = -4*l + 103. Is (-28542)/(-38) + z/p composite?
False
Suppose -5*p - 17 = -5*h + 18, -4*h = 3*p + 7. Suppose -h*n + 21 = n. Suppose 3*c - 5 = n. Is c composite?
True
Suppose 80*g - 249138 = 62*g. Is g a composite number?
False
Let w(d) = 119*d + 27. Is w(10) composite?
False
Let b = -1525 - -18558. Is b composite?
False
Let v be (2 + -3)*28/4. Let m(q) = 20*q**2 + 9*q - 10. Is m(v) a composite number?
False
Let b be (0 + -1)*(-5)/1. Suppose w = b*w. Suppose w = 7*z - 3*z - 356. Is z composite?
False
Suppose -96498 - 60593 = -11*l. Is l a prime number?
True
Let c = 22872 - 15839. Is c prime?
False
Suppose -3*s = 42757 + 24245. Let p be (-18)/99 + s/(-22). Suppose -p = -4*x - 171. Is x a composite number?
False
Let v(g) = -g**3 + 4*g**2 - g - 1. Let r be v(4). Let i = 1 - r. Is (-2)/((-7)/(3003/i)) a composite number?
True
Is (12 + (-136)/16)*1438 prime?
False
Let j(m) = -2*m**3 - m**2 - 20*m - 17. Suppose 0 = 5*l + 68 - 38. Is j(l) a composite number?
False
Let w(x) = x**3 - 4*x**2 - x - 1. Let l be w(4). Let s be 2055 + (3 + l - -1). Suppose -4*j - 706 = -s. Is j a composite number?
False
Suppose -252 = -5*l + 4*s, 2*l + 5*s = 5*l - 146. Suppose 6*h + l = 5*h. Is -3 - h - (-1 + 1) composite?
True
Let c(p) = 34*p**2 + 2*p + 1. Let t be c(-1). Suppose -t = -r + 78. Is r composite?
True
Let g = 1901 + -1312. Is g prime?
False
Let a(j) = 3*j**2 + 12*j + 17. Let r be (-1)/(3 - (-44)/(-14)). Let v(c) = -2*c**2 - 11*c - 17. Let h(g) = r*v(g) + 6*a(g). Is h(8) a composite number?
False
Let h be 8/24*(-1 + 4). Suppose -3*b = 9, -3*z = b + h - 10. Is ((-790)/20)/((-2)/z) a prime number?
True
Suppose 8*z - 57 = -17. Let o(c) = 130*c + 33. Is o(z) prime?
True
Let c be 2/4 - (-1)/(-2). Suppose -3*x + 3 - 6 = 0, 0 = -5*m + 5*x + 85. Suppose 2*z + m - 36 = c. Is z a prime number?
False
Suppose -2*t = -h - 3159, 4*t = 8*t - 4*h - 6320. Is t a prime number?
True
Suppose d = 165 + 226. Suppose -d = -29*k + 28*k. Is k composite?
True
Let a(x) = 19*x**2 + 1. Let o be a(-1). Let v be 5/o - 1205/4. Let d = -44 - v. Is d a prime number?
True
Let z(x) = -9*x**2 - x**3 - 9 + 15*x - 9*x - 6 + 8*x. Let u = 20 - 33. Is z(u) a prime number?
True
Suppose 0*m - 2*m = 16. Let o(n) = -n**3 - 6*n**2 + 11*n - 7. Let k be o(m). Suppose 4*q = k + 563. Is q composite?
False
Suppose -15*x = 4*x - 22705. Is x a composite number?
True
Let h(t) = 5*t**2 + 6*t + 1. Let y be h(-4). Let s = 300 - y. Let z = s - -64. Is z prime?
True
Let z(x) = x**2 + 4*x - 18. Let h(p) = 3*p**2 + 11*p - 55. Let r(w) = 4*h(w) - 11*z(w). Let j be r(0). Let a = 45 - j. Is a a composite number?
False
Let c(a) = a**3 + a**2 + 4*a + 8. Let k be c(0). Suppose 0 = z + k*z - 17811. Is z composite?
False
Let s = 197 + 3. Let r(c) = -6*c + 45. Let k be r(5). Let u = k + s. Is u prime?
False
Suppose -57*z + 63*z - 1434 = 0. Is z composite?
False
Let h(m) = -1112*m**2 + 5*m - 4. Let u be h(2). Is u/(-2) + (-1 - -9)/(-2) prime?
False
Suppose 25*s - 11*s = 69734. Is s a prime number?
False
Suppose 5 = -2*u - 3*u. Let a be (3/(-6))/(u/8). Suppose k = -a*k + 15. Is k a composite number?
False
Let p(y) = y**2 + 16*y + 17. Let s be p(-15). Is (787*s)/(4 + -2) composite?
False
Let c = -808 + 552. Let j = -138 - c. Is j a composite number?
True
Let w(z) = 34*z**3 - z**2 - z - 1. Let q be w(-1). Let t = 16 - q. Is t a composite number?
True
Let c(m) = 632*m**2 + 3*m + 1. Let d be c(-1). Suppose -3*i + 1293 = -d. Is i a prime number?
True
Let q = 3141 + -4916. Let j = -958 - q. Is j a composite number?
True
Let r be -18*(-1 - (-15)/9). Let k = r - -136. Suppose 35 = 3*d - k. Is d composite?
False
Suppose 5*v - 11621 = -4*x, -2*x - 2*x + v + 11591 = 0. Is x a prime number?
False
Let y = 483 - 247. Let m = y + -430. Is (m/8)/((-1)/4) a prime number?
True
Suppose 3*v = 5*c - 34, -5*v - 5*c + 13 = 3. Is (-2234)/v*6/4 prime?
True
Let b(d) = 3*d**2 - 22*d - 18. Let x(q) = -4*q**2 + 33*q + 27. Let k(i) = -7*b(i) - 5*x(i). Is k(-7) composite?
False
Suppose -39048 = -4*q - 4*k, -q - 5*k + 9742 = -0*k. Is q composite?
False
Let n be 14 - (0 + -3 - -5). Let x = n - 9. Supp