g**3 - 2*g - 13. Is a(6) a composite number?
False
Let m(s) = s**3 + s**2 + 2*s + 299. Let g = -15 + 15. Is m(g) a composite number?
True
Let t(q) = q**2 - 14. Let z be t(13). Suppose k = -4*k + z. Is k prime?
True
Let g(u) = -u**3 - 18*u**2 - 7*u + 20. Is g(-18) a composite number?
True
Suppose o - 11 = -3*l - l, 4*o = -5*l + 22. Let t = o - -1. Suppose 0 = -5*u - t*v + 265, -3*u + 0*u + v + 159 = 0. Is u composite?
False
Suppose 7*q - 2*q = -15. Let g(t) = -15*t + 3. Let h be g(q). Let p = h - 29. Is p composite?
False
Suppose 12*n + w - 6162 = 9*n, n - 2*w - 2047 = 0. Is n a prime number?
True
Is 1 - (-6)/(-4) - (-8964)/24 a composite number?
False
Let k(u) = 4*u - 4. Let m be k(-3). Is 35/(-15)*(m + 1) a composite number?
True
Suppose 749 = 5*c - 186. Is c a composite number?
True
Let s = 9 - 6. Is (-1)/(s - 58/19) a prime number?
True
Let q be 0 + 71 + (-3 - -3). Suppose 0*b - 5*t - 101 = -4*b, -4*b + q = t. Is b prime?
True
Is 39/(-26)*(-2518)/3 a composite number?
False
Let t(i) = -2*i. Let j be t(-7). Suppose -s = 3*s - 28. Let f = s + j. Is f prime?
False
Let y be (-36)/(-4) - 0/1. Suppose -3*j + y + 27 = 0. Let u = 33 - j. Is u a prime number?
False
Suppose i - 138 = 3*x + 158, -2*i + 562 = 4*x. Suppose 2*b = -2*l + 228, 3*b - i = -5*l + 57. Is b a composite number?
False
Let p be 704 - 5/((-10)/(-6)). Let u = -1015 + p. Is 6/9 + u/(-6) composite?
False
Let d be ((-214)/8)/(3/(-12)). Let a = 56 - d. Let h = 98 + a. Is h composite?
False
Let f = -1 + 10. Is 8*(2 - f/6) a composite number?
True
Is 86 - (-2 + 1 + 2) a composite number?
True
Let d(a) = 3*a**2 - 5*a - 8. Let p be d(-9). Suppose 17 = -q + p. Is q prime?
True
Let f = -540 - -983. Is f prime?
True
Let h = -18 - -26. Suppose -s + h + 47 = 4*a, 0 = 2*s - a - 65. Suppose -3*x + 2*y + 91 = 0, -s = 3*x - 4*y - 118. Is x a prime number?
False
Let p = -5 + 8. Suppose j + 0*j = p. Suppose j*h = 7*h - 8. Is h prime?
True
Let r = 59 + 1086. Is r a prime number?
False
Suppose -6*h + 572 = -556. Suppose -h = 3*q - 1067. Is q composite?
False
Suppose 0 = m - 2 - 1. Suppose -m*v = v - 304. Is (-1)/(226/v + -3) composite?
True
Suppose 3*z - 3*q - 250 = 524, -q = 2*z - 519. Is z a composite number?
True
Suppose -27 = -3*l - 3*b, 0 = -3*l - b + 30 - 7. Suppose 3*c - 5*p + 474 = l*c, 3*p - 470 = -4*c. Let j = c + -81. Is j a prime number?
False
Let m = 272 + -661. Let b = -240 - m. Is b prime?
True
Let k = -472 - -943. Is k a prime number?
False
Suppose i = -2*x + 1143, 5*i + 4*x - 3173 = 2566. Is i a prime number?
True
Suppose 2*a = 5*a - 3. Is 20 + (2 - (a + -1)) prime?
False
Let k be 1/(3/45*3). Suppose 5*b - 110 = -5*f, 4*f - k*b - 16 = 3*f. Is f a composite number?
True
Let l(y) be the third derivative of -y**6/60 - y**5/10 + y**4/24 - y**3 + 4*y**2. Is l(-5) composite?
False
Let j(z) = z**2 - 4*z + 6. Let h be j(4). Let m(w) = w**3 - 3*w**2 - 3*w + 4. Is m(h) a prime number?
False
Let t(b) = -299*b + 5. Is t(-6) a prime number?
False
Suppose 2*v - 402 = -3*x - 2*v, -3*v - 699 = -5*x. Let s = 65 + x. Is s a composite number?
True
Is (-583)/(8/(-2) + 3) a prime number?
False
Suppose 5*d = -y + 252, 0 = 5*y + 10 + 5. Is (-3 + 4)/(1/d) a prime number?
False
Let s(i) = -685*i - 18. Is s(-4) prime?
False
Let k(x) = -x**3 - 3*x**2 - 4*x - 5. Let s be k(-4). Let m = 116 + -48. Let h = m + s. Is h composite?
True
Let w(q) = -q**3 - 2*q**2 + 3*q + 2. Let i be 74/(-26) - 4/26. Let f be w(i). Suppose -f*l = l - 207. Is l a composite number?
True
Is 2 + 0 + (209 - 0) a composite number?
False
Let j(p) = -182*p + 3. Is j(-2) composite?
False
Is 56 - 6/(-8)*-4 prime?
True
Let b(a) = -a**3 + 5*a**2 + 8*a - 5. Let n be b(6). Suppose 49 = 4*d - n. Is d a prime number?
False
Let a be ((2 - 2) + 158)*2. Suppose 3*d - 12 = -0*d, -4*d - a = -4*u. Suppose -3*x = -s + u, 0 = 4*x - 8. Is s prime?
True
Let c = 91 + -8. Is c a prime number?
True
Suppose -2*q + 426 = -4*m, 4*m - 659 = -q - 2*q. Is q a prime number?
False
Suppose 3 = -2*g - 3, 0 = -k + 5*g + 1. Is 699/21 + 4/k prime?
False
Let u(f) = -83*f**2 + 14*f + 3. Let y(h) = -28*h**2 + 5*h + 1. Let x(b) = -6*u(b) + 17*y(b). Is x(1) prime?
False
Suppose 0 = 4*z - 2313 + 757. Is z a prime number?
True
Suppose t = 5*q + 24, -4*t = -5*t - 3*q - 8. Let x(y) = t*y + y - 2 + y. Is x(4) a prime number?
False
Suppose 6677 - 1845 = -4*s. Let v = s + 2965. Is v a prime number?
False
Let z be (4/(-12))/((-1)/(-6)). Let s = -539 + -96. Is (s/10)/(1/z) prime?
True
Let l = 15 + 316. Is l composite?
False
Let r = -168 + 326. Is r a composite number?
True
Suppose 3 = 5*b - 12. Suppose -631 = -b*l + 2. Is l a composite number?
False
Let t be 0 + (-3 - -3)/(-2). Suppose -c = -t*c - 3, c - 1063 = -4*w. Is w prime?
False
Let m be 2 - 1 - (-3 + -1). Let j(c) = 7*c**2 + c + 5. Is j(m) prime?
False
Let y(v) = 755*v + 2. Is y(1) a composite number?
False
Let t(v) = v**2 + v + 4*v - 2 + 0. Is t(3) a prime number?
False
Suppose -2213 = -4*r + u, 1 = 4*u + 5. Is r a prime number?
False
Let u(p) = -p + 1. Let c(b) = 17*b + 1. Let h(t) = -c(t) + 2*u(t). Let y be h(-1). Let d = y - 11. Is d a composite number?
True
Let h be ((-9)/6)/(6/(-8)). Suppose -5*y - o = -28, -4*y + h*y - 5 = -5*o. Suppose -y*q + 84 = -q. Is q a prime number?
False
Let m(r) = -r**3 + 7*r**2 + 3*r. Let t be m(7). Let k = t + 2. Is k prime?
True
Let n(r) = r + 8. Let s be n(-4). Suppose 0 = -w - 2*k - 2, s*w - k = -0*k + 1. Suppose w = -3*d - d + 260. Is d a prime number?
False
Is 121 + -13 - (-7 + 2) a prime number?
True
Is 7/(4/(-5 + 3153)) a prime number?
False
Let v = -19 + 20. Is (-67)/((-3)/(16 - v)) a prime number?
False
Is 886/(-10)*50/(-10) prime?
True
Suppose 2*t + 42 = 2*a, 3*a = -0*a + 2*t + 65. Suppose -3*w - 5*l + a - 7 = 0, -5*w + 3*l = 30. Is (-6)/w*13/1 composite?
True
Let d = -15 + 27. Is 438/8 - (-3)/d composite?
True
Suppose -4*o + 1094 = -2*o. Is o prime?
True
Suppose 0 = -4*o - 3*z - 26, -5*z + 4 - 9 = -o. Is 257*((-16)/4 - o) a composite number?
False
Suppose a + a + 4 = 0. Let g = a - 2. Let w = 15 - g. Is w a composite number?
False
Let r = -14 + 23. Is 3/(-1)*(-57)/r a prime number?
True
Suppose 15 = 3*q, -2*q = z + 3*z + 62. Suppose -a - 12 = -4*l + 7, -5 = -5*a. Let m = l - z. Is m composite?
False
Suppose 0 = 3*j + 2*k - 963, 5*j + 2*k - 1178 = 423. Is j a composite number?
True
Let w be 2*((3 - 1) + 491). Suppose -2*l - 2*n + 586 = 0, 5*l + 2*n - 470 = w. Suppose -5*c + 0*c + l = 0. Is c composite?
True
Let x(u) = -2*u**3 - u**2 - 8*u + 7. Let g(r) = r**2 + r. Let m(k) = -5*g(k) - x(k). Let f be m(5). Is 2/(-4)*f*-1 a composite number?
False
Let a = -26 + 499. Is a prime?
False
Let o(u) = u**3 - 10*u**2 + 9*u + 3. Let b be o(9). Suppose -2*g - 59 = -b*g. Is g a prime number?
True
Let l(a) = a + 521. Let w be l(0). Suppose -5*u = -2*b + w, 0*b - 3*b = -4*u - 785. Is b a composite number?
False
Let w = 181 - -286. Is w prime?
True
Let a(c) = 2*c**2 + 55. Is a(0) prime?
False
Suppose -86 = -4*m - 18. Suppose u - 90 = -4*f + 31, -2*u = -5*f + 148. Let o = f - m. Is o a composite number?
False
Suppose 7*b = 4*b - 222. Let i = b - -223. Is i a prime number?
True
Suppose -t = 6*j - 4*j - 65, -j - 5*t + 46 = 0. Is j a prime number?
True
Suppose s + 0*s = 3. Let b be (0/3)/s - 34. Let i = 3 - b. Is i a prime number?
True
Let t = 23 - -48. Is t a prime number?
True
Is -1 + (-1)/1 + 297 a composite number?
True
Let w = -1043 + 1492. Is w a composite number?
False
Suppose 0 = 6*b - 4*b + 306. Suppose 2*l = l - 106. Let p = l - b. Is p composite?
False
Let q = -12 + 27. Suppose 2*x - 4*y + 16 = 0, -5*x + 5 = -4*y + q. Suppose -x*o + 54 = -4*d - d, 32 = o - 5*d. Is o a prime number?
False
Let m(a) = 33*a - 23. Is m(10) a prime number?
True
Suppose 3*k - 1133 - 376 = 0. Suppose 4*a - 3*h - 54 = 439, h = 4*a - k. Is a a composite number?
False
Let i = 6 + -6. Suppose 2*v = v - 1, i = 4*h + 2*v - 18. Suppose 35 = w + g, w + h*g = 3*g + 35. Is w a composite number?
True
Suppose -2*t - 4 = 0, -b - 3*t = -t + 13. Let k(s) = s + 20. Let d be k(b). Let o = d - 4. Is o a prime number?
True
Suppose -3*o + 25 = 2*o. Suppose o*f + 18 = g + 2*f, 48 = 3*g - 3*f. Is g composite?
True
Is (-1)/(3828/1916 - 2) a composite number?
False
Let h(b) = b**2 - 3*b - 1. Suppose 1 + 9 = 2*o - 2*j, -j - 7 = -2*o. Let v be (