+ 0*k = -2*o - 9, k = 3*o + 11. Let a(f) = -f**2 + f + 1. Let h(g) = k*s(g) + a(g). Is h(8) a prime number?
True
Let t(v) = -130*v**3 + 3*v**2 + 9*v + 13. Is t(-5) composite?
True
Suppose 10 = -5*m, -3*n + 5*m - 4 = 49. Let p = n + 25. Suppose -4*l = -p*s - 560, 6*l - 2*s - 564 = 2*l. Is l prime?
False
Let p be (1/4)/(7/140). Suppose -5*z = p*n - 2340, 2*z = 3*n - 2*n - 462. Is n a prime number?
False
Suppose 49767 = 3*w - 5*a, -3*w = -2*a + 4254 - 54021. Is w a prime number?
False
Let h(z) = 5*z + 24. Let s be h(-4). Suppose -2*y + 0*y + 518 = 5*r, 5*y - 1295 = -s*r. Is y prime?
False
Let g = 23 - 21. Suppose q - g*q = -15. Is q a composite number?
True
Is 5839 - (0*(-6)/18 - 0) a composite number?
False
Let u(p) be the second derivative of 2*p**4/3 - 7*p**3/3 - 35*p**2/2 - 35*p. Is u(14) prime?
False
Let j(f) = f - 26. Let i be j(20). Let b(r) = -6*r**3 + 4*r**2 - 7*r - 5. Is b(i) prime?
False
Let f = -5 + -12. Let k = f + 102. Is k prime?
False
Let p(d) = -244*d + 39. Is p(-17) a prime number?
False
Is 35/(-7) + 12 - -678 a prime number?
False
Suppose 7 = -p - 4*n, -4*n = -p - 21 - 2. Is (-382 - (-2 - -1))*p/9 a prime number?
False
Let f(o) = 4*o**3 - o**2 + o - 1. Let t be f(1). Let m(g) = 5*g + 32. Let s be m(-6). Suppose s*b = -t*b + 1465. Is b a composite number?
False
Let g = 1 - -13. Suppose 31 = g*a - 13*a. Is a composite?
False
Let j(r) = 1703*r + 81. Is j(6) a composite number?
True
Let n = 31817 + -12480. Is n a composite number?
True
Let g(d) = -19*d**2 + 3*d - 6. Let p be g(-5). Let m be (-3 + p)*(-3 + 2). Suppose 0 = -3*l - 52 + m. Is l prime?
True
Suppose 0*u - 4*u = 4*l - 25268, -5*l = -5*u + 31585. Is u a prime number?
True
Let v(p) = 45*p**3 + 23*p**2 + 32*p - 23. Is v(10) a composite number?
True
Let w(v) = -13*v**2 + 3*v + 1. Let z be w(-3). Let d = 2098 + z. Is d a prime number?
True
Suppose 2*g = 5*n - 6, -4*g = -8*g - n + 10. Let s be (9/6)/(g/(-4)). Is 99 + s/((-12)/(-8)) a composite number?
False
Let r(n) = 360*n + 10. Let f(z) = -120*z - 3. Let a(v) = -17*f(v) - 6*r(v). Let o be a(3). Let p = o - -910. Is p a composite number?
False
Suppose -3*j = -5*l + 59453, 0 = l + 5*j - 0*j - 11913. Let y = l + -8234. Is y prime?
True
Let a(u) = -94*u + 16. Let p(q) = 377*q - 65. Let y(b) = -9*a(b) - 2*p(b). Is y(5) prime?
False
Let t be 212/(-2)*(-1)/1. Suppose 3*i - t = 5*i - 5*a, a - 194 = 4*i. Let g = -23 - i. Is g a prime number?
False
Suppose 0 = w - a + 1, -2 = -2*w - 2*w + 2*a. Suppose w*o + 168 = 8*o. Is 5327/o - 6/(-8) composite?
False
Let s(a) = a**3 + 21*a**2 + 38*a + 11. Let k be (10 + -12)/(1/(-17)*-2). Is s(k) composite?
False
Let j = 516 - -125. Let r = j - -2522. Is r a prime number?
True
Let n(t) = -10*t + 9. Let s = 37 + -56. Is n(s) a composite number?
False
Let q be (1*1203)/(-7 - -10). Let y = 780 - q. Is y a composite number?
False
Suppose -2*k = -a - 1735, -16*k + 20*k - a = 3473. Is k composite?
True
Suppose 0 = -2*v + 4*d + 11214, -5*d + 2*d = 6. Is v a composite number?
True
Let z = 2531 + -659. Let x = -1313 + z. Is x a composite number?
True
Let x(h) = h**3 - 16*h**2 - 4*h - 17. Let i be x(16). Let m = 124 + i. Is m composite?
False
Let q = -13468 - -25925. Is q a composite number?
False
Suppose -3*j = -17 - 10. Let c(k) = k - 6. Let z be c(j). Suppose 2*n + z*n - 565 = 0. Is n a prime number?
True
Let c(i) = 30*i**2 - 2. Let v be c(-1). Suppose n + v = 115. Is n prime?
False
Suppose -l + 13 = 3*y, 5*y - 20 = -5*l + 5. Suppose 0 = -7*f + y*f + 897. Is f prime?
False
Let j(c) = 11853*c + 44. Is j(1) a composite number?
False
Suppose a + 65 = 6*a. Let d(l) = -a*l + 13 - 7*l + 5*l. Is d(-6) prime?
True
Suppose -7*m + 2*m = -3*t + 33636, 3*m = -9. Is t a composite number?
True
Suppose -2*r - 235 = -3*r. Let y = 169 + -167. Suppose -y*a + r = 3*a. Is a a prime number?
True
Let d(f) = 3*f - 13. Let m be d(7). Suppose -m*j - 996 = -20*j. Is j composite?
False
Let z = -163 - -168. Let p(s) be the first derivative of 23*s**2/2 - 2*s + 1. Is p(z) a prime number?
True
Let z(b) = b**3 - 14*b**2 + 11*b + 22. Let v be z(15). Suppose -5*j + v = -j. Is j prime?
True
Suppose -2*f + 6*f + 24 = 0. Let n be (3 + f - -3)/(-1). Let d = 83 + n. Is d prime?
True
Let h(j) = 2*j + 17. Let z be h(-12). Let i be (-1216)/(-56) - 2/z. Let y = 48 - i. Is y prime?
False
Is 68307*(-61)/366*(-2)/1 composite?
False
Let j be (-2 - 1)/(4 - 92/20). Suppose 0*s - 2*s = 4*w - 8110, -j*s - 10160 = -5*w. Is w a composite number?
False
Suppose -2*z + 6 = -2*t, -t + 5*t - 2 = -3*z. Suppose -z*l = -2*w + 624, 0*l = -5*w + 3*l + 1570. Is w a prime number?
True
Let a(l) = -6*l + 5. Let k be a(-5). Let r = 49 - k. Is r composite?
True
Let y(k) = 116*k - 42. Let o be y(10). Suppose -4*s - 4*z + o + 50 = 0, 3*s - 2*z - 881 = 0. Is s prime?
True
Suppose -h = -3*o - 7490, -h + 7935 = -o + 439. Is h a prime number?
True
Let f(i) = 419*i + 160. Is f(17) composite?
False
Let w = 126387 - 84658. Is w a composite number?
False
Suppose -6102 = y - 3*y. Suppose -h = -4*h + y. Suppose m - 2525 + 436 = -4*u, 0 = -2*u + 5*m + h. Is u a prime number?
True
Suppose 3*p + m = -281, -4*p + 0*m = -m + 370. Let t = -56 - p. Is t a composite number?
False
Let s = 103 - 73. Is (-8868)/(-10) + 6/s a prime number?
True
Suppose -3*x = -0*d - 4*d + 2, -3*x + 13 = -d. Suppose -4*a = -x*a. Suppose -5*p = -4*s - 0*p + 1197, -2*s + p + 591 = a. Is s a prime number?
True
Let t(y) be the third derivative of 7*y**6/120 - y**5/6 + y**4/4 - 2*y**3/3 - 15*y**2. Is t(7) a composite number?
False
Suppose -118*k - 191596 = -4*o - 116*k, o + 3*k = 47885. Is o prime?
False
Suppose 3*x = 6*x + 21. Let v(k) = k**3 + 12*k**2 - 2*k - 12. Is v(x) a prime number?
False
Let d = 3370 - 2327. Is d composite?
True
Suppose -2890 + 10266 = 5*l - 3*x, -5*l + 5*x = -7370. Is l prime?
False
Let c = 155 - -1068. Let l = -812 - -212. Let x = l + c. Is x a prime number?
False
Suppose -2 = -2*w + 4. Suppose 485 = 5*r + a, w*a + 76 = r - a. Suppose 4*z = 5*v + 125, v = -3*z + 4*v + r. Is z a composite number?
True
Let y(k) = 2*k**2 + 11*k - 47. Is y(16) a composite number?
False
Suppose -g + 3 = 4*h - 15, -4*h - 2*g + 16 = 0. Suppose 6*d - d + 6231 = 4*p, -h*p + 7792 = -3*d. Is p prime?
True
Let k = -2014 - -5813. Is k prime?
False
Let f(o) = -13*o**2 + 32*o - 3. Let i be f(3). Is (i + 22)/((-2)/3817) composite?
True
Suppose -12113 = -5*l + 5*r + 16427, 2*l = -4*r + 11410. Is l prime?
False
Let p(w) = w + 3 - 3*w**3 - w**3 + w**2 + 3*w**3 - 4*w**2. Let l be p(-6). Let c = l - 26. Is c a prime number?
True
Let z(o) = o**2 + 3*o**3 - o**2 + 2*o**2 + 3*o - 9 + 4*o. Is z(7) prime?
False
Let p be 2/6 + 47/3. Let w be 19512/(-11) - p/88. Is (-1)/((2 - 0)/w) a composite number?
False
Let s(n) be the second derivative of -n**4/12 - n**3 + 2*n**2 + 2*n. Let l be s(-7). Let f = 50 + l. Is f a prime number?
True
Suppose -171*c + 14044 = -167*c. Is c prime?
True
Let g(a) = -a**3 + 11*a**2 - a + 15. Let z be g(11). Suppose -z*w + 5*w - 373 = 0. Is w composite?
False
Let a be ((-2)/(-4))/((-4)/(-232)). Suppose -3*h - a = -2. Let q(z) = z**2 - 6*z + 8. Is q(h) composite?
True
Suppose -3*v - 5*v = -184. Let j(n) = n**2 + 13*n + 59. Is j(v) composite?
False
Let r(p) = p**3 - 6*p**2 + 3*p + 6. Let u be r(5). Let b(l) be the third derivative of l**5/15 + l**4/8 + l**3/2 + 5*l**2 + 4. Is b(u) prime?
False
Let r = -28264 + 47637. Is r a prime number?
True
Let h(j) = -j - 6. Let o(u) = -u - 7. Let a(d) = 4*h(d) - 3*o(d). Let s be a(-6). Suppose -4*z = s*c - 1538 + 511, -2*z = 4*c - 526. Is z composite?
True
Suppose 5*w - 42317 = -4*t, -2*w + 8256 = -2*t - 8678. Is w composite?
True
Let f(h) = -h**2 + 6*h + 7. Let k be f(-3). Is 5/k - 442/(-8) a composite number?
True
Let y = 165243 - 69736. Is y prime?
True
Suppose 0 = -p - 3*z - 202 - 373, 3*p + 2*z = -1711. Let c = p + 1366. Is c prime?
True
Suppose 3332 = 5*x - 3*x. Suppose 2*c - 498 - x = 0. Let v = -333 + c. Is v prime?
False
Is (-5822)/(-4 + -5 + 7) a composite number?
True
Let l(d) = -d**2 - 2*d + 8. Let b(n) = 5*n**2 + 9*n - 41. Let f(v) = -2*b(v) - 11*l(v). Let u = -254 + 265. Is f(u) prime?
False
Suppose 3*j - 8842 = -2*n + 1268, 4*j + 2*n - 13478 = 0. Suppose -2*m = g - j, -3*g - 2*m = -14296 + 4188. Is g/(-15)*(-6)/4 a composite number?
False
Let x = -196 + 1997