Let q = u + 139. Is q composite?
False
Suppose 0 = 5*o + 3*c - 4*c - 14, -2*c = 4*o - 14. Suppose -2*j - 606 = -2*f, f - o*f = 5*j - 620. Is f prime?
False
Let d(f) = f**3 - 7*f**2 - f + 8. Let o be d(7). Is (1 + -1 - o) + 32 composite?
False
Suppose 74 = a - 39. Is a a prime number?
True
Suppose -8*m = -7*m - 85. Is m composite?
True
Suppose -j = -g - 510, -2*j + 5*g + 2035 = 2*j. Is j a prime number?
False
Suppose -7*m = -5*m - 12. Suppose 0*k - 3*k + m = 0. Is k - 5/((-15)/171) prime?
True
Let o(f) = f**3 - 7*f**2 + 10*f - 3. Let j(q) = 3*q**2 - 3*q + 1. Let m be (3 - 1) + -1 + 1. Let l be j(m). Is o(l) a composite number?
False
Suppose 4*q = -q + 10. Suppose 0*f + 28 = q*f. Is f prime?
False
Suppose 0 = -4*r - 3*c - 5, -6*r = -5*r - 3*c + 20. Let f = 3 + r. Let s(k) = -25*k - 1. Is s(f) a prime number?
False
Let g = -87 - -48. Let u = g + 76. Is u a composite number?
False
Let j(b) = 339*b + 7. Is j(2) composite?
True
Suppose 4*f = -f + 2185. Is f a composite number?
True
Let v = -96 - 290. Is 2/(-10) - v/5 prime?
False
Suppose 4 - 184 = -4*m. Suppose -107 = -4*j - 5*i, -m = -2*j - 5*i + 16. Is j composite?
False
Suppose 0 = -0*k - 4*k + 16. Is (106/8)/(1/k) a prime number?
True
Suppose 319 = -5*p + 4044. Suppose -8*d + p = -3*d. Is d a prime number?
True
Suppose 3*g = -3*k - k - 1793, -g - 4*k = 587. Let z = -400 - g. Is z prime?
False
Let a(q) be the second derivative of 41*q**3/3 - 3*q**2/2 + q. Is a(2) a composite number?
True
Let z(j) be the second derivative of -j**5/20 + 7*j**4/12 + 5*j**3/6 + 5*j**2/2 + j. Is z(6) a composite number?
False
Let j = -80 + 116. Suppose q - g = j, -46 = -q + g + 2*g. Is q a prime number?
True
Is -8 + 1743 + 0/(-1) prime?
False
Let y(f) = 4*f + 4*f**3 - 3*f**3 + f**2 + f**3 - 3*f**3 - 3. Is y(-5) composite?
False
Let f be ((-8)/12)/(4/(-6)). Let n be (-8)/6 + 13/3. Is f*2/n*3 composite?
False
Let t(m) be the first derivative of 3*m**2/2 + 2*m + 1. Let f be t(-2). Is (-496)/(-36) + f/(-18) prime?
False
Suppose -39 = -5*n + 66. Let b = 28 + n. Is b prime?
False
Let u(i) = 20*i**3 + i**2 + i - 6. Let c(q) = -q**3 + q - 1. Let v(k) = 3*c(k) - u(k). Is v(-2) prime?
True
Is 790/(-3)*(-18)/12 composite?
True
Let d(k) = 3*k**2 - 9*k + 7. Suppose -11 = -2*n + 21. Is d(n) composite?
False
Let f(a) = 41*a - 3. Let i(h) = 42*h - 4. Let p(n) = 3*f(n) - 2*i(n). Is p(4) prime?
False
Let o(a) be the first derivative of 2 + 4/3*a**3 - 2*a - 5/2*a**2. Is o(-3) a composite number?
True
Suppose 3*n - 452 = 253. Is n composite?
True
Let l(i) = 7*i**3 - 8*i**2 - 12*i + 10. Let f(y) = 6*y**3 - 7*y**2 - 11*y + 9. Let m(r) = 5*f(r) - 4*l(r). Is m(4) prime?
False
Let f(g) = -3*g**3. Let h be f(-1). Let d(q) = 8*q**3 - 3*q**2 - 5*q + 4. Is d(h) a prime number?
False
Suppose -2*b = b - 72. Suppose -7*u = -3*u - b. Is (-1830)/(-14) + u/21 composite?
False
Let f be 199 + -3 + -1 + 0. Let s = 608 - f. Is s composite?
True
Suppose t - 5*c - 835 = 0, -674 - 193 = -t - 3*c. Let f = -412 + t. Is f prime?
True
Let o be (-2)/(-5) + 4/(-10). Suppose 0 = -o*g + g + 21. Is ((-3)/(-9))/((-1)/g) a prime number?
True
Suppose 0 = -p - 4*p + 50. Let q = p + -6. Let c(f) = 7*f - 3. Is c(q) prime?
False
Let o(i) = i**3 + 7*i**2 - i - 7. Let p be o(-5). Let l = 67 - p. Is l a prime number?
True
Let n = -32 - 239. Let l = n + -20. Let h = -142 - l. Is h composite?
False
Suppose 2*j - c - 7 = 4, 2*j + 3*c + 1 = 0. Suppose j*u - 5*n - 75 - 79 = 0, -4*n = 3*u - 100. Let h = u + -22. Is h a composite number?
True
Suppose 4*y - 575 = -5*b + 48, -4*b = -y + 161. Is y a prime number?
True
Let k(m) = 11*m + 23. Is k(16) prime?
True
Suppose z - 5*d = 273, 3*z + 0*z - 2*d = 767. Is z composite?
True
Let k = 433 - 284. Is k a composite number?
False
Let k = -6 + 10. Suppose 3*b + 3 = 0, 3*c + 2*b - 71 = k*b. Is c prime?
True
Suppose -16 = -0*k - 4*k. Suppose -5*r + 1469 = -2*u, -k*r - u + 1192 = 3*u. Is r a composite number?
True
Suppose -3*q - 1 = 5*t, -3*t = 3*q - 1 - 2. Is t/7 - 531/(-21) a composite number?
True
Suppose -3*v + 89 = -2*b - 0*b, -3*b = 3*v + 96. Let h = -21 - b. Is 3556/h + 3/4 a composite number?
False
Let g = 191 + -102. Is g a composite number?
False
Suppose -t - 20 = 4*z, -19 - 1 = -5*t + 4*z. Suppose 742 = 4*l - t*s - s, 3*l - 557 = s. Is l a prime number?
False
Suppose l = 118 + 328. Suppose 4*s - 6*s + l = 0. Is s a prime number?
True
Let c = 16 - 28. Is 10720/12 - (-4)/c a composite number?
True
Let r(h) be the first derivative of h**4/4 + 5*h**3/3 - 3*h**2/2 + 3*h + 1. Let n be (11 - 6)*8/(-10). Is r(n) a composite number?
False
Is (2 - 4)/(-2)*631 prime?
True
Let v = 5 - 4. Let y(m) = 13*m**3 + m**2. Is y(v) a composite number?
True
Let q be 1/((-3)/(-30)*2). Suppose -2*k = 3*c + c - 18, q*c - 12 = k. Suppose 4*d - 335 = -k*m, 2*m - 231 = 4*d + d. Is m a prime number?
True
Let n = 1 - -4. Let r(j) = j**3 + 2*j**2 - 5*j - 1. Is r(n) prime?
True
Suppose 0 = -2*p - p. Suppose 3*c - c - 764 = p. Is c a prime number?
False
Suppose -3*r = r - 5*z + 375, 0 = -5*r - 3*z - 478. Let j be (r/3)/(1/(-3)). Suppose 3*n - 190 - j = 0. Is n composite?
True
Let s(i) = -2*i**3 - 2*i**2 + 9*i + 17. Is s(-8) a composite number?
True
Let m be 16/136 + 200/34. Is ((-111)/m)/((-2)/4) a prime number?
True
Let f(k) = -5*k - 2. Let a be f(6). Let h = 64 + a. Suppose h = 2*d - 10. Is d prime?
False
Suppose x - 2*b = 285, -x + 1432 = 4*x - 3*b. Is x prime?
False
Let y = 140 + -46. Is y a composite number?
True
Let b(s) = -s**2 + 5*s - 3. Let q be b(3). Is 36 + (-9)/q + 2 a prime number?
False
Let b be 2920/28 - (-4)/(-14). Suppose 0 = -6*q + 226 + b. Is q a prime number?
False
Let k = 2 - 0. Suppose 5*a + 8 = k*d, 0*d + 3*a = -2*d + 8. Suppose -d*c - 22 = -6*c. Is c a composite number?
False
Let p = -157 + 285. Suppose -3*h + p = -7*h. Let c = 195 + h. Is c composite?
False
Suppose -448 = 6*v - 4*v. Let j = v - -415. Is j composite?
False
Suppose -5*w - 3*c = -1 - 8, 12 = w + 4*c. Suppose -4*j = -4*i + 89 - 269, 4*j + 5*i = 189. Suppose -d = -w*d - j. Is d composite?
True
Let f(o) = -o**3 + 11*o**2 - 5*o + 2. Is f(5) composite?
False
Suppose -3241 = -2*s + a, 14 = 4*a + 10. Is s a composite number?
False
Let y = 2 + 1. Suppose -y*l - 138 = -0*l. Let s = l - -173. Is s a prime number?
True
Let y be -29 + (4*-1)/4. Is 4/y + 1671/45 a prime number?
True
Suppose 4*z - 44 - 5412 = 4*h, 0 = -3*z - 4*h + 4071. Is z a composite number?
False
Suppose 287 = 2*d + 2*d - 3*b, b + 1 = 0. Let y = 122 - d. Is y composite?
True
Let p be ((-6)/4)/(2/(-4)). Suppose 3*h - 49 = -2*h + t, p*h = 5*t + 25. Is h a prime number?
False
Let k = -12 - -7. Let s(c) = 4*c + 1. Let y be s(k). Let j = 52 + y. Is j composite?
True
Let m = 55 - -60. Is m a composite number?
True
Let d(i) = 176*i**2 - 2*i - 1. Is d(-1) composite?
True
Suppose -5*p = 2*k - 7, 3*k + 4*p = -k + 8. Is -3*k + (209 - 1) a prime number?
False
Let u(k) = k**3 - 6*k**2 - 5*k + 13. Let t(j) = -j**2 + 9*j - 5. Let h be (-3 - -4)/(1/7). Let a be t(h). Is u(a) composite?
False
Let b(n) = -n**3 + n**2 + 2*n - 59. Let s(u) = u**2 + u - 1. Let y(z) = -b(z) + 2*s(z). Is y(0) a composite number?
True
Let n(o) = -2*o**3 + 17*o**2 - 3*o - 15. Let k(y) = y**3 - 9*y**2 + 2*y + 8. Let a(g) = -5*k(g) - 3*n(g). Let w be a(6). Is (w - (-1 + 2)) + 121 a prime number?
False
Suppose 2*i = 2 + 8. Suppose 0*q + i*q + 143 = 3*a, -3*a - 3*q = -135. Is a a prime number?
False
Suppose 5*y = 2*y - 2*v + 969, -4*y + 3*v + 1292 = 0. Is y a composite number?
True
Let o(u) = 25*u - 2. Let i be o(-5). Let n = i - -240. Is n a composite number?
False
Suppose -2684 = -2*l + u + 5709, u + 16783 = 4*l. Is l composite?
True
Let c = -2 + -1. Let k(l) = -l - 5. Let s be k(c). Is (s + 14 + -1)/1 composite?
False
Is 3014/8 + 7/28 a composite number?
True
Suppose -4*o = 230 - 2826. Is o a prime number?
False
Let t = 567 - 382. Is t a prime number?
False
Suppose -4*o = -3*t - 169, -o = -0*o + 5*t - 71. Is o prime?
False
Let m(q) = 2*q**3 - 8*q**2 + 4*q + 1. Is m(10) composite?
True
Let c = 5 + -4. Let v be 9 - (c + -2) - 2. Is ((-12)/v)/((-1)/14) composite?
True
Suppose -5*t - 3*p + 137 = 0, -5*t + 5*p + 85 + 20 = 0. Is t a composite number?
True
Let r be (-2)/3 + 8/12. Suppose -x - 3*x = r. Suppose x = 2*z - 0*z - 74. Is z composite?
False
Is 222 - (-4 + 6 