c + 1187. Is c a prime number?
True
Let k(s) = 8*s**2 + 13*s + 7. Let h be (-23)/2 + (-8)/16. Is k(h) prime?
False
Let f(d) = -7*d**3 - d. Let h be f(1). Let n be h*((-9)/6 + 1). Is (-485)/(-3) - n/6 a composite number?
True
Suppose 3*p = -0*p + 21. Let g(s) be the second derivative of s**5/20 - 7*s**4/12 + s**3/3 - 2*s. Is g(p) a composite number?
True
Suppose 3*s - 13 - 11 = 0. Suppose -i = -10 + s. Is i a composite number?
False
Let c(y) = -192*y. Let l be c(-1). Let f = 275 - l. Is f composite?
False
Suppose -600 = 3*d - 1461. Is d composite?
True
Suppose -56 = -12*h + 8212. Is h a prime number?
False
Let i(r) = r**2 + 9*r + 7. Let b be i(-8). Let n(w) = 132*w**2 + 2*w + 1. Is n(b) composite?
False
Let q be (-8)/(-20) - (-16)/10. Let x = 7 - q. Suppose k = 2*s - 3*k - 36, 76 = x*s - 3*k. Is s prime?
False
Is (-14)/28 + (-7110)/(-4) prime?
True
Let t = -29 + 52. Is t a composite number?
False
Let k(m) = 33*m**2. Let w(d) = d + 1. Suppose 6*n = 3*n. Let q be w(n). Is k(q) composite?
True
Suppose 5*f = -g + 20584 - 2156, -4*f - 3*g = -14738. Is f/12 - 6/36 a composite number?
False
Let j = 371 + -248. Let t = -26 + j. Is t prime?
True
Suppose -4*z + 3068 = -2*n, 4*z + 5*n - 1952 = 1144. Is z prime?
True
Let c(l) = 9*l**3 - 25*l**2 - 7*l - 13. Let s(g) = 4*g**3 - 12*g**2 - 3*g - 6. Let p(m) = -6*c(m) + 13*s(m). Is p(-5) a composite number?
True
Suppose -2*t - 1815 = -7*t. Is 6/(-4) - t/(-6) composite?
False
Let x = 243 - 30. Is x prime?
False
Let a = 675 + 386. Is a prime?
True
Suppose 4*d - 16 = -2*z, 3*d + 2 + 19 = 4*z. Is z composite?
True
Let t(j) = 37*j - 4. Suppose 8 = u + d, -5*u - 11 + 54 = 2*d. Is t(u) composite?
True
Suppose 0 = 5*j - 2*b + 180, 5*j + 198 = -5*b - 17. Let z be -6 + 1 - -1 - 89. Let v = j - z. Is v prime?
False
Let g = -770 - -1479. Is g composite?
False
Suppose -p + 83 = -103. Suppose -3*a - p = 3*h - 981, 0 = -h - 3*a + 271. Is h a prime number?
False
Let r(t) = t**2 + 3*t + 6. Is r(-20) prime?
False
Let h(u) = 225*u - 4. Is h(6) composite?
True
Suppose -7*o = -2*o. Suppose o = -4*m - h + 1809, 1866 = 5*m + 2*h - 399. Is m prime?
False
Let c(x) = 135*x - 1. Let v be c(1). Suppose -q - 5 - v = 0. Let a = q - -282. Is a a composite number?
True
Suppose 424 = o + 3*o. Is o composite?
True
Let l(i) = 9*i**2 - 4*i - 4. Let a(o) = o**3 - 19*o**2 + 9*o + 9. Let n(u) = -2*a(u) - 5*l(u). Is n(-5) a composite number?
False
Let r = 6 - 0. Let u be (8/r)/((-4)/(-6)). Is 1/u*37*2 composite?
False
Let r(q) = 3*q - 2. Let s be r(2). Suppose -121 = -s*x + 207. Is x a composite number?
True
Let t(h) = 37*h**2 + 2*h - 1. Is t(-4) a composite number?
True
Suppose 4*n = -5*h + 651, 4*h + 4*n = 560 - 40. Is h a prime number?
True
Let z(v) = -12*v**2 - 3*v - 1. Let b = 0 + 5. Let m(i) = 23*i**2 + 5*i + 2. Let p(l) = b*z(l) + 3*m(l). Is p(1) a composite number?
True
Let v(t) = 37*t - 5. Let z(w) = -75*w + 11. Suppose -8 = 6*o - 2*o, 2*h - 12 = o. Let i(u) = h*v(u) + 2*z(u). Is i(2) a prime number?
True
Suppose 3*g = -0*g + a + 4083, -3*g + 4083 = a. Is g prime?
True
Let h(l) = 89*l + 19. Is h(26) a composite number?
False
Suppose 2*l + 31 = 7*l + 2*k, -2*k = 3*l - 21. Let g(c) = 54*c - 7. Is g(l) prime?
True
Suppose -2*q = 2*o - 16, -4*o + 2*q + 6 = -2. Let x be (o + (2 - 1))*3. Is 26/(5/(x/6)) composite?
False
Let g(s) = 2*s**3 + 8*s**2 - 7*s - 11. Is g(4) prime?
False
Let h = 4 - 7. Let j(u) = u**2 + 2*u + 2. Let z be j(h). Suppose -5*t = -4*r - 39, -2 + 7 = -z*r. Is t a composite number?
False
Let d be ((-27)/(-6))/((-1)/(-2)). Let n = d - -50. Is n a prime number?
True
Suppose h - 3864 + 343 = 0. Is h composite?
True
Let h be 0*(1 - 2) - -6. Is (-4)/h - 620/(-12) prime?
False
Is (-10)/4*(-4090)/25 composite?
False
Let i = -8 - -8. Suppose 5*k - 5 = i, -4*k + 5 = -h - 0*k. Is h + 1 + (-318)/(-6) a prime number?
True
Let z = -40 - -52. Suppose 0*v - 3 = -v. Suppose -v*x + 5*x = z. Is x a prime number?
False
Suppose -2*t - 3*t = 0. Let s(r) = 4*r**2 + 4*r - 3. Let j be s(6). Suppose t*w - 5*w + j = 0. Is w a composite number?
True
Let u(b) be the second derivative of b**5/20 - b**4/4 + b**3/2 + 3*b**2/2 + b. Is u(4) composite?
False
Is 1/(-2) + 1276/8 a prime number?
False
Let t = 113 + 18. Is t a composite number?
False
Let j(k) = 2 + 3 - 6 + 3*k - 161*k. Let m be j(-2). Is 1/(-2) - m/(-14) prime?
False
Let u(h) = -35*h - 26*h - h - 1 + 8*h. Is u(-1) prime?
True
Let i(u) = u + 23. Let x be i(0). Suppose -5*a - 4*y = -16 + 1, 2*a = -5*y + x. Is -2 - (-3 - a)*38 a composite number?
True
Let f = 241 - -19. Suppose u - f = -65. Suppose -6*m + u = -m. Is m prime?
False
Suppose -493 = -4*x + m, -x + 165 - 37 = -5*m. Suppose -3*w - x = -v, 2*w + 5*v = -2*w - 145. Let a = w + 77. Is a prime?
True
Let h = 599 - 306. Is h prime?
True
Suppose 3*x = 2*x + 3. Suppose 0 = -2*j - c - 10, x*c = j + 8 - 3. Let q(s) = -13*s. Is q(j) prime?
False
Suppose l - 881 = -2*s - 0*s, 0 = -4*l - 2*s + 3512. Is l a prime number?
True
Suppose j - 5 + 0 = 0. Suppose -j*s = -9*s + 740. Is s a composite number?
True
Let z = -87 - -53. Let t = z + 92. Is t a composite number?
True
Let y(z) = z**3 + 5*z**2 - 8*z - 7. Let l be y(-6). Suppose -q + 7 = -3*n, -2*n - 100 = -l*q - 0*q. Is q a composite number?
True
Let m = 62 - 15. Suppose m = -d + 2*d. Is d a composite number?
False
Let m(y) = -5*y - 1. Let j be m(-1). Suppose -300 = -p - j*p + w, 315 = 5*p - 4*w. Is p prime?
True
Let o(b) = 2*b**2 - b + 1. Let h be o(1). Suppose 141 = 2*w + h*p - 3*p, -5*w = 3*p - 358. Is w composite?
False
Let s(h) = h**2 - 6. Is s(-13) prime?
True
Suppose -t + 2*p + 189 = 0, -p + 4*p = -2*t + 413. Is t a prime number?
True
Let c(k) = -k**3 + k**2 - 2*k + 8. Let b be c(-6). Suppose 0*n + 2*s + 61 = n, -b = -4*n + s. Is n a composite number?
True
Let k = 204 - 13. Is k composite?
False
Let i(y) = -7*y**2 + 1. Let u(t) = -6*t**2 + t + 2. Let n(f) = -5*i(f) + 6*u(f). Let w be n(7). Suppose w = -a - 4*a + 425. Is a a prime number?
False
Let m(c) = 127*c**3 + c**2 - 1. Let j = -5 + 6. Is m(j) prime?
True
Let y = 10 + -6. Suppose -309 = -y*c - 41. Is c prime?
True
Suppose 0 = 3*w + r + 2 - 1, 2 = -2*r. Suppose 3*m = 4*g - 3693, w*g + 3*g = -3*m + 2754. Is g a composite number?
True
Let x = 10 - 6. Let o be (-1)/(-1) - -9*x. Let z = o + 174. Is z prime?
True
Let j(x) = 11*x**2 - 4 + 4 - 6*x**2 - 2*x. Is j(3) composite?
True
Let p = 2637 + -1723. Is p prime?
False
Suppose 3*f - f = 2936. Suppose 3*q = -q + f. Is q a prime number?
True
Let d = -58 + 27. Let g = -9 - d. Let s = g + 45. Is s composite?
False
Is 7 - 5 - (1 + -984) prime?
False
Let g = 2690 + -1539. Is g composite?
False
Suppose -186 = -9*x + 1821. Is x a composite number?
False
Suppose -2*b + 304 = -6*b. Let n = b - -159. Is n a prime number?
True
Let b = 558 - -107. Suppose -2*n + b = 3*n. Is n a composite number?
True
Let p(s) be the third derivative of -s**6/120 - s**5/12 - s**4/6 - s**3/6 + 3*s**2. Is p(-5) a composite number?
False
Let l be ((-3)/(-6))/(1/(-6)). Let i be (159/(-6))/(l/(-90)). Is (i/12)/5*-4 composite?
False
Let v be (-9)/(3*1/6). Is 2/(-6) - 2040/v prime?
True
Suppose -8*d - 6155 = -4*y - 3*d, 3*d + 7697 = 5*y. Suppose y = 5*l + 380. Is (l/(-1))/(-2) - 3 prime?
True
Let p = -592 + 1184. Let n = -299 + p. Is n a prime number?
True
Let s(f) = 12*f**2 - 4*f - 2. Suppose -2*w + 12 = -4*k + 2, -2*w + 5*k + 14 = 0. Let a be s(w). Let t = 203 - a. Is t composite?
True
Suppose 0 = -k + 5*u - u - 10, 2*k = -4*u + 16. Let r(q) = -q + q**3 - 5*q**2 + 8 - 1 - k. Is r(6) prime?
False
Let z be -549*(3 + 1)/(-12). Is 1/((-4)/(-8)) + z prime?
False
Suppose -30*t + 36*t = 762. Is t a prime number?
True
Let k(b) = 69*b + 11. Let g be k(-10). Let l = g + 1038. Is l composite?
False
Let z(k) = -k - 4. Let v be z(-5). Is -1 + v + 90 + -5 a prime number?
False
Let c = 104 + -67. Is c a composite number?
False
Suppose -y + 5*j + 110 = 0, 0*j = -j + 5. Let b = y - 68. Is b a prime number?
True
Let z be (-1)/4 + (-174)/8. Is (z/11)/(2/(-145)) prime?
False
Let i be 13/(52/(-8))*182/(-4). Let b = 43 + -31. Suppose i = o + b. Is o composite?
False
Let x(s) = 12*s**2 - 2*s + 1. Let k(a) = a**2 + 5*a - 2. Let t be k(-5). Is x(t) a composite number?
False
Let k(f) = -f - 8. Let b be k(-9). Let j(h) = 2*h. Let r be j(b). Suppose x - 5*g = 9