rue
Let b(t) = -2*t - 1. Let m(k) = k + 4. Let c be m(-4). Let s = -5 + c. Is b(s) prime?
False
Suppose -5*c + 2822 - 477 = 0. Is c a prime number?
False
Let u = -6 - -9. Suppose u*c + 178 = 535. Is c composite?
True
Let g = 38 + 441. Is g prime?
True
Let x(l) = 80*l**2 + 3*l - 3. Let r be x(-3). Let h = r - 451. Is h a composite number?
False
Let n(y) = -y**3 + 3*y**2 + 4*y + 3. Let z be n(-2). Suppose 3*p + 2*h - 17 = 0, 3*h = -p - 0*h + z. Is p a prime number?
True
Let y(h) = h - 13. Let q be y(14). Let f(d) = 149*d**2 + d - 1. Is f(q) composite?
False
Is 1013 - (5 - 4)*4 a composite number?
False
Let g = -831 - -1786. Is g a composite number?
True
Let m(c) = 6*c**3 + c**2 - 2*c - 1. Let f(u) = u**3 + u + 1. Let g be f(0). Let j be g + 1 - (3 + -3). Is m(j) a composite number?
False
Let s = -2 + 6. Suppose -5*w + 855 = 3*f, 9*w - s*w - 3*f - 855 = 0. Suppose -3*x = -0*x - w. Is x a composite number?
True
Is (7/(35/23570))/2 prime?
True
Let s(m) be the third derivative of -m**6/40 - m**5/60 - m**4/12 + m**3/6 + 4*m**2. Is s(-3) a composite number?
False
Suppose -319 - 4237 = -4*u. Is u a composite number?
True
Let g = 4 - 1. Let w = g + 1. Let j = w - -17. Is j a composite number?
True
Suppose -5*s = 92 - 757. Is s a prime number?
False
Suppose 2*k = -2*h + 186, 462 = 4*h + 3*k + 91. Let j = 270 - h. Is j prime?
False
Let a = 289 + -162. Is a composite?
False
Let n be 6 - (-1 + 2 + -2). Let d(y) = y**3 - 7*y**2 + y. Is d(n) a prime number?
True
Is (-5522)/(-4) - 1/(-2) a prime number?
True
Let r(h) = -h + 77. Suppose p - 10 = 2*g, p - 5*g - 25 = 4*p. Is r(p) prime?
False
Suppose -x + 2*f = -1308, -x - 3920 = -4*x + 2*f. Is x a composite number?
True
Let p(x) = -80*x + 19. Is p(-6) prime?
True
Let f(t) = t**2 - 9*t + 13. Let i be f(4). Let s(w) = -14*w - 4. Is s(i) composite?
True
Let b be ((-8)/(-6))/((-2)/(-3)). Suppose -b*p + 137 + 95 = 0. Let j = p + -79. Is j a composite number?
False
Suppose 0 = -2*j - 3*k + 6, -5*j = k + 3*k - 15. Suppose j*m = -2*h - 8, -4*h + m + 4 = -8. Suppose 4*f - 36 = h*z, 4*f - 6 = -z + 42. Is f prime?
True
Is 44*(-2 - 75/(-12)) a composite number?
True
Let o(z) = 6*z**2 + 0*z + 6*z - 4*z + z - 5. Let u be o(4). Suppose 3*x = -d + u, 333 = 3*d + x + 2*x. Is d a composite number?
True
Suppose 51*s = 40*s + 35981. Is s composite?
False
Suppose 2*q = -5*x - 5, 0*q - 3 = 2*q + 3*x. Suppose q*b - 3*b = -105. Is b composite?
True
Let n = -2564 - -4731. Is n a prime number?
False
Let q = -151 - -240. Is q composite?
False
Let n(u) be the second derivative of u**5/20 - 11*u**4/12 + u**3/2 - 11*u**2/2 + 4*u. Is n(11) a prime number?
False
Let h(i) = i**2 + 9*i + 2. Let o be h(-10). Suppose 2*l - o = -2*l, g - 2*l - 61 = 0. Is g a composite number?
False
Let b = 4 - 4. Let p = b + 2. Suppose 0 = -a - 2*u + 16 + 11, 68 = p*a - 3*u. Is a prime?
True
Let s = -5 - -8. Suppose -88 = -s*l - l. Is l prime?
False
Is (590/4)/(8/16) composite?
True
Suppose -4*u = -478 - 538. Is u prime?
False
Let k = -1567 - -2229. Is k prime?
False
Suppose 4*c = -2*v + 4234, -4*c + 2*v = -2839 - 1415. Is c composite?
False
Let z = -7 - -4. Is (152 - -3) + (1 - z) composite?
True
Let t(r) = -5*r + 0*r + 21*r**2 + 5*r. Is t(-1) prime?
False
Suppose 3*z - 419 = 10. Is z a prime number?
False
Suppose 6*q - 1773 = 357. Let s = -132 + q. Is s a composite number?
False
Let m(j) = -1 + 0 - j**2 + 0*j**2 + 4*j. Let i be m(3). Is 2*8 - i/2 composite?
True
Suppose 4*c - 130 + 2790 = 0. Let q = c + 1082. Is 3/12 - q/(-12) prime?
False
Let r(p) be the third derivative of -2/3*p**3 - p**2 + 0 + 0*p + 5/24*p**4. Is r(7) composite?
False
Let h(r) = -4*r**2 + 3*r + 25. Let y(d) = -7*d**2 + 5*d + 50. Suppose -o + 0*o - 3*u = 3, 5*o - 3*u - 21 = 0. Let t(b) = o*y(b) - 5*h(b). Is t(0) prime?
False
Let y be 1 + (0 + 0 - -2). Let z be (-4*11)/(y/3). Let t = -9 - z. Is t composite?
True
Let k(w) = w - 1. Let d be k(-3). Let a = 5 + d. Is a + -2 + 30/3 a composite number?
True
Let l(f) = -f**3 + 8*f**2 - 4*f + 7. Let b(k) = 2*k - 2. Let q be b(4). Is l(q) prime?
False
Suppose 0 = -3*r - 7*r + 1230. Is r prime?
False
Suppose -7*d + 1900 + 1719 = 0. Is d a composite number?
True
Let y(r) = -r - 7. Let k be y(-7). Suppose -2*n = -0*n - 8. Suppose k = n*u - 198 + 74. Is u a prime number?
True
Let h = -3 + -20. Let i = h + 165. Is i a prime number?
False
Suppose 3*k + 0*k = -u + 227, 0 = 5*k - 5*u - 405. Is k prime?
False
Let x = -21 - -7. Let r(k) = -k - 1. Is r(x) prime?
True
Let q = -5 + 21. Let m(f) = -f - 2. Let v be m(-4). Suppose v = -w + q. Is w a composite number?
True
Let z(j) = -4 + 3*j - j**3 + 3*j - 4*j - 3*j**2. Let n be z(-4). Let u = 23 - n. Is u a composite number?
False
Let p be (-372)/21 + (-2)/7. Let m be 25/9 + (-4)/p. Suppose m*q - 50 - 13 = 0. Is q composite?
True
Let z = 3 - -1. Suppose 3*x - z*n - 131 = 23, -5*x - 4*n + 310 = 0. Is x a prime number?
False
Let i(s) = 22*s**2 - 3*s + 3. Let a(m) = m**2 - m - 4. Let n be a(4). Suppose -5*p + n = -p. Is i(p) composite?
True
Let v = 316 + -77. Is v a prime number?
True
Suppose 3*y = 2*c + 121, 2*y = -2*y - 2*c + 138. Is y composite?
False
Let j(w) be the second derivative of -w**4/4 - w**3/6 - 9*w**2/2 - w. Let d(m) = m**2 - m + 1. Let s(f) = 4*d(f) + j(f). Is s(-4) a composite number?
False
Let o(d) = 50*d**2 + 4*d + 2. Is o(-2) prime?
False
Let p(l) be the third derivative of l**8/6720 + l**7/280 - l**6/180 - l**5/24 + l**4/6 + 2*l**2. Let q(k) be the second derivative of p(k). Is q(-4) composite?
True
Let k be ((-18)/(-15))/(3/20). Suppose 2*j = -2*j + k. Suppose -2*q + 14 = -0*q - j*w, -2*w = -4*q + 26. Is q a prime number?
False
Let h(x) = -x**3 - 2*x**2 + 5*x + 5. Let v(m) = -m**3 - m**2 + 4*m + 5. Let n(w) = 6*h(w) - 5*v(w). Is n(-9) prime?
False
Let x = 160 + 89. Is x prime?
False
Suppose -48 = -2*x - 2*x. Suppose 2*i + x = 5*i. Suppose y = -5*f + 9 + 8, -i*f = -4*y + 20. Is y prime?
True
Let v(o) = -10*o**3 + 2*o**2 + o. Let f be v(-1). Let g = -29 + f. Is 4/g + 600/27 a prime number?
False
Let q(p) = 7*p + 1. Let s be q(1). Is 44 - 1 - (s - 8) a composite number?
False
Let b be 1*(44 + 0)/(-2). Let j = 121 + b. Suppose -3*k + j = -0*k. Is k a prime number?
False
Let u(r) = r + 6. Let v = -14 - -8. Let m be u(v). Suppose -5*k - 2*c - c + 53 = m, -4*c = 16. Is k composite?
False
Let y(w) = -264*w**3 - 2*w**2 - 4*w - 3. Is y(-1) prime?
True
Suppose -11098 = -4*n + 1410. Is n composite?
True
Let o be ((-5)/15)/(1/(-9)). Suppose o*w - w = 6. Let b(s) = 9*s**2 - 2. Is b(w) composite?
False
Suppose -m + 4*o = 8 - 26, -33 = -3*m + 5*o. Is (-100)/m*3/(-2) prime?
False
Let h be 1 - ((0 - 0) + -21). Let c(q) = -3*q + 1. Let o be c(4). Let s = h - o. Is s prime?
False
Suppose -10 = 5*s + 5. Let n be s/(-4)*(0 - 140). Let d = n + 152. Is d a prime number?
True
Suppose 3*l + 0 = -12. Let v = -4 - l. Suppose v = 3*f - 32 - 199. Is f composite?
True
Let g be (-2*1)/((-2)/(-104)). Let s = 159 + g. Is s a prime number?
False
Let h be ((-2866)/4)/((-9)/(-90)). Is h/(-45) + 4/(-18) composite?
True
Let p = -333 - -598. Is p prime?
False
Suppose 6*o + 72 = 14*o. Is o prime?
False
Let j = -2076 - -3335. Is j composite?
False
Let h = -343 - -594. Is h prime?
True
Let x(v) = 53*v**2 - 2*v - 3. Is x(-2) a prime number?
False
Let l(y) = -2*y**2 - y + 2. Let x be l(-2). Let k(b) = b**3 + 5*b**2 + b - 5. Let u be k(x). Is 2/u - (-540)/21 a composite number?
True
Let w be 88/4 - 4/2. Suppose 3*p - w = -2*p. Is p composite?
True
Is 1137 - (4/(-2) + -2) prime?
False
Let u(w) = 3*w**2 + w. Let b be u(-1). Let l(d) = 3 + 7*d + b*d - 4*d. Is l(6) a prime number?
False
Let x(s) = s**3 - s**2 + 2*s - 1. Let b be x(2). Let l(k) = 16*k + 6. Is l(b) a composite number?
True
Let n be (1517/(-2))/((-4)/(-8)). Let j = -628 - n. Is j prime?
False
Let j(c) = -4 + 4*c + 0 - 1. Let u be 9/(3/2*1). Is j(u) a composite number?
False
Suppose 0 = -l + 12 + 2. Suppose m + 3*n + 1 - 14 = 0, 4*n = -m + l. Suppose 4*c - 74 = m. Is c a prime number?
False
Let i be ((-5)/(-10))/((-2)/72). Let a = -32 - i. Is 8/(-28) + (-186)/a a prime number?
True
Let s = -574 + 881. Is s a composite number?
False
Let j(a) = -a**3 - 4*a**2 - a + 2. Let h(r) = r + 2. Let w be h(-6). Let u be j(w). Suppose -48 = -f - c, f + 275 = u*f - 2*c. Is f a prime number?
Tru