t p(h) = -5*n(h) - y(h). Let r be p(2). Let b = r - -2. Is b composite?
False
Let d = -77 - -211. Let t be ((-1)/3)/(3/(-369)). Suppose 0 = 5*j - t - d. Is j composite?
True
Suppose 0 = b - 3*c - 143, 5*b - 658 = -3*c - c. Suppose -2*d - y + b = 0, d + 3*d = -4*y + 268. Is d a composite number?
False
Let k be 82/10 - 2/10. Let d be -22*(k + 1 - 1). Let r = -99 - d. Is r a prime number?
False
Let c(v) = v**3 - 3*v**2 - 7*v + 1. Let j = 11 + -5. Is c(j) a prime number?
True
Let m = -2 + -1. Let y be (-84)/(-18) - 1/m. Let c(h) = 3*h + 4. Is c(y) a prime number?
True
Suppose -66 - 16 = -a. Suppose -m = q - a, -6*m + 2*m - 410 = -5*q. Is q a prime number?
False
Suppose 41 = -4*x + 5*x - 3*g, -4*x + 156 = -4*g. Is x prime?
False
Let f = -180 + 767. Is f composite?
False
Let o be (0/(-1))/((-2)/(-2)). Suppose 0*d - 5*d + 165 = o. Is d a composite number?
True
Suppose -s = 9*s - 7970. Is s a prime number?
True
Let k(g) = -2 + 1 + 16*g + 20*g + 2. Is k(7) composite?
True
Suppose 2*k = -2*q + 1368, k = -4*q + 2*q + 1365. Is q composite?
True
Let q(t) = -t**2 - 6*t + 3. Let l(p) = p - 3. Let j be l(3). Suppose -4*x - 24 = -j*x. Is q(x) a composite number?
False
Suppose -5*m + 2*m + 3*t + 12 = 0, -3*t + 28 = 5*m. Suppose 24 = -m*f + 114. Suppose 0 = -i + f + 31. Is i prime?
False
Suppose 4*j - 2*j = 0. Suppose -m - 3 = -5*m + q, 3*m + 3*q - 21 = j. Suppose -b + 115 = m*t - 3*t, b - 135 = -4*t. Is b prime?
False
Suppose -5*n + 2194 = -5511. Is n prime?
False
Let k = -10 + 6. Let t = k - -59. Is t a prime number?
False
Let c(f) = 677*f + 3. Let d be c(3). Is 6/(-21) + d/14 a composite number?
True
Let a(f) = f**3 - 3*f**2 + 2*f - 2. Let z be a(3). Suppose 0 = -z*s + 2*m + 1590, -1605 = -4*s + 2*m + 3*m. Is s prime?
False
Let x = 32 + -18. Suppose 2*a - 2*d - x = -2*a, -2*a = -4*d - 10. Suppose -96 - 105 = -a*f. Is f a prime number?
True
Let j(t) = t**2 + 2669. Is j(0) a composite number?
True
Let z be 3/(3/4 + 0). Let h(f) = 6 + 3*f**2 + f**2 - z*f - 2*f**2. Is h(4) a composite number?
True
Let w(i) = -i**3 - 2*i**2 + 3*i - 6. Let m be (-4)/14 + (-33)/7. Let f be w(m). Is (-1)/(1 - f/53) a composite number?
False
Let r = -1376 - -10035. Is r prime?
False
Suppose 431 = 2*l - 719. Suppose 16*o - 11*o = l. Is o a composite number?
True
Let t = 272 + -139. Is t a prime number?
False
Let v = -2 - -4. Let o be v/6*2*3. Suppose -4*d = 3*n - 205, -o*n + 5*d = -84 - 68. Is n a composite number?
False
Let s = -11 + 3. Let h = s + 11. Let a(p) = 2*p**2 + p + 1. Is a(h) a composite number?
True
Let c = -1761 + 3522. Is c a composite number?
True
Let n(a) = a**3 - 7*a**2 + 7*a - 2. Let t be n(5). Let b = t - -100. Is b composite?
False
Let o(f) = 2*f - 2. Let s be o(2). Let c(r) = 7*r**2 - r. Is c(s) a prime number?
False
Let y = 9 + -7. Suppose y*r - 5*v = 257, -3*v + 0*v = -5*r + 671. Let c = 21 + r. Is c prime?
True
Let d = 301 - 138. Is d composite?
False
Let n = -1443 - -2026. Is n composite?
True
Suppose -4*c + 1299 = 103. Is c prime?
False
Let o be (-8)/20 - (-1236)/15. Let m = o + -47. Is m a composite number?
True
Suppose g = 3*j - 4903, 3*j - 4911 = 4*g - g. Is j a composite number?
True
Let w be 1 + (0 - 2) + -22. Let p = w - -62. Is p a prime number?
False
Suppose 52 = 2*l - 270. Is l composite?
True
Is (-1416)/(-1 + -2) - 3/1 composite?
True
Suppose 34 = 4*b - 2*d + 8, -5 = d. Suppose 3*o - 2384 = v, -b*v = 2*o - 0*o - 1566. Is o prime?
False
Suppose -5*j - 793 = -4*m, 3 + 6 = 3*j. Suppose -4*h = 2*i - 716, -2*h + 4*i - m + 560 = 0. Is h prime?
True
Suppose -r = c + 2, -3*r = r + 2*c. Suppose 0 = -4*z - r*g + 358, 2*z + 4*g - g - 189 = 0. Is z a composite number?
True
Let t(l) = -2*l**3 + 8*l**2 - 7*l + 6. Let n be t(5). Is (-14)/(-7)*n/(-2) composite?
False
Let d be -1490 + 0 - (-4)/4. Let j = d - -883. Is (-1)/3 + j/(-9) a prime number?
True
Suppose 2*i = c + 3*c + 124, 2*c + i = -70. Let s(t) = 3*t**2 - 8*t - 6. Let y be s(6). Let o = c + y. Is o prime?
False
Suppose -4*u = g - 5*g - 128, -4*u + g + 125 = 0. Is u a prime number?
True
Let c(p) = -33*p**3 + 2*p**2 + 7*p + 9. Let b(m) = 16*m**3 - m**2 - 4*m - 5. Let q(x) = 11*b(x) + 6*c(x). Let l be q(2). Let u = -122 - l. Is u a prime number?
False
Let b(p) = -p**3 - 7*p**2 + p + 3. Let t be b(-7). Let d(r) = -103*r - 3. Is d(t) composite?
False
Let d(k) = -k - 7. Let n be d(0). Let c = 3 - n. Is c composite?
True
Let c be 276/27 - 2/9. Suppose 0 = -f - 5*b + 25, 3*b - 89 = -3*f + c. Is f composite?
True
Let r = -61 - -530. Let l = 412 + r. Suppose 0 = 3*t + 248 - l. Is t composite?
False
Suppose 76 - 459 = -h - 5*f, 5*h - f = 1863. Is h composite?
False
Let b(g) = 9*g**2 - 3*g - 3. Let p be b(-4). Let q = p + -64. Is q a composite number?
False
Suppose -193*n + 196*n = 9813. Is n prime?
True
Let m = -822 + 443. Let f = -252 - m. Is f prime?
True
Let t(w) = w + 5. Let m be t(-3). Suppose q - 447 = -m*q. Is q prime?
True
Let z = 31 - 28. Suppose -5 + 40 = 5*v. Suppose 11 = z*p - v. Is p a prime number?
False
Let v = 6749 - 4776. Is v a prime number?
True
Suppose 3*b - 4*o - 1011 = 0, 1367 = 4*b + 3*o - 2*o. Is b a composite number?
True
Let s be (9 - 1)/(-2 - -4). Suppose -s*a = -21 - 131. Is a prime?
False
Let h be 5*3*(-54)/(-30). Suppose 0 = -n + h + 10. Is n composite?
False
Let a(l) = 6*l**2 + 2*l + 77 - 12*l**2 + 7*l**2. Is a(0) composite?
True
Let l be (6/5)/((-9)/(-150)). Let a be l/6*186/(-4). Let k = -102 - a. Is k composite?
False
Let q be 2/(-3)*(-1 - -4). Let h(x) = 158*x**2 - 4*x - 5. Is h(q) composite?
True
Let f be (-2)/7 - 4/(-14). Suppose f = -z - 0 + 2, -2*h + 3*z = -40. Is h prime?
True
Let k be 742/8 - (-7)/28. Let c = -44 + k. Is c composite?
True
Let p(t) = 292*t + 1. Is p(3) a prime number?
True
Suppose -5*i = -10 - 15. Suppose -3*r + i*f + 256 = 0, -r - 3*f + 0*f = -62. Is r a composite number?
True
Let i = -592 + 843. Is i composite?
False
Let z = 8 + -6. Suppose -k - h = -5*k + 383, 204 = z*k + 2*h. Is k a prime number?
True
Let f = -913 - -1710. Is f a prime number?
True
Let d(g) = -12*g. Let n be d(1). Let b = 22 + n. Is b composite?
True
Let p = -159 - -72. Is p/6*30/(-3) a prime number?
False
Suppose -s = -3*l + 43, 3*l + s = 6*s + 35. Suppose -l = -5*y + 6*a - a, -3*y + 2*a + 7 = 0. Is 2 + y/((-2)/(-58)) a composite number?
False
Suppose n = -5 - 25. Let r = 61 + n. Is r prime?
True
Suppose 0 = -5*q + 7*q - 1754. Is q prime?
True
Let p = 677 - 304. Is p composite?
False
Let j(q) = 133*q - 1. Is j(6) composite?
False
Let x be 2/8 - (-1)/(-4). Let g(d) = -20*d**3 - 3*d**2 + 20*d + 99. Let a(u) = -7*u**3 - u**2 + 7*u + 33. Let l(y) = -17*a(y) + 6*g(y). Is l(x) prime?
False
Let w be 91/3 - (-1)/(-3). Is 253/5 + 12/w a prime number?
False
Let n(g) = -g + 1 - 66*g**3 + 22*g**3 - 2*g**2 + g. Is n(-1) a prime number?
True
Let r(v) = -2*v + 5. Is r(-7) a prime number?
True
Let i(l) = -6*l - 1. Let m be i(-6). Suppose -s + m = 4*s. Is s prime?
True
Let v = -7 - -12. Let g be -5*(-2 - 96/v). Suppose -2*l = -5*x + 229, -2*x - 4*l = -0*l - g. Is x a composite number?
False
Let s = 1994 - 33. Suppose 0 = 4*q + v - s, 7*v - 1458 = -3*q + 2*v. Is q composite?
False
Is 2/(2/(10*80)) - 1 a prime number?
False
Let t(d) = d**3 + 9*d**2 - 4*d + 1. Suppose 0 = -5*l + 3*f - 38, 0 = -3*l + 2*f - 9 - 14. Is t(l) prime?
True
Suppose 3*x - u - 18 = -2*u, 3*x = 2*u + 9. Suppose 2*i = i + x. Suppose i*f - 87 = 98. Is f a composite number?
False
Suppose 0 = -c - 5*n - 0*n + 348, 726 = 2*c + 4*n. Is c a composite number?
False
Suppose 9*a - 895 = 4*a. Is a a composite number?
False
Let p(c) = -3*c**3 - 3*c**2 + 8*c + 5. Let u be p(-5). Let m = -35 + 39. Suppose u = b + m*b. Is b a prime number?
True
Let l = -5 - -7. Suppose 5*i + 174 = l*b, 7*i = -3*b + 2*i + 261. Is b a prime number?
False
Let t = 22 + -8. Let s(h) = 3*h**2 - 17*h + 21. Is s(t) a composite number?
True
Is -4 + 9/3 - -338 composite?
False
Suppose 29 + 143 = 2*q. Is q - (2 + (-6 - -1)) prime?
True
Suppose -5*s + 785 = -4*s. Is s composite?
True
Let f(g) = 24*g + 2. Suppose 4*o = 3 + 9. Is f(o) prime?
False
Let l(p) = 5*p**2 + 8*p - p**3 - 2 - 3*p + 3*p + 0*p**3. Let i = 6 - 0. Is l(i) a prime number?
False
Let d = -38 + 378. Suppose -d = b - 5*b. Is b a composite number?
True
Suppose -2*g - 2*f + 2588 = 0, g + 0*f - 2*f - 1291 = 0. Is