- 2037. Is n a composite number?
False
Let x(h) = -79*h - 19. Let k(b) = -40*b - 9. Let w(j) = 13*k(j) - 6*x(j). Let c be w(-2). Suppose 0 = -g + c + 20. Is g prime?
True
Let n be 2 - 13/2*-16. Let g = 20 - 83. Let j = g + n. Is j composite?
False
Let h(r) = 2*r**2 - 18*r + 17. Is h(14) prime?
True
Suppose 0 = -x - 173 + 786. Is x a prime number?
True
Let d be 2/(-7) + (-6388)/(-14). Suppose f = 5*f - d. Let i = f - 67. Is i composite?
False
Let l(i) = -i**2 + 26*i + 4. Is l(17) a prime number?
True
Suppose -4*d + 5*j + 31 = 0, -2*d = 2*d + 2*j - 10. Suppose 0 = r + 2*z - 2, -d*r = 4*z + z - 11. Let a(m) = -m**3 + 9*m**2 - 7*m + 6. Is a(r) prime?
False
Let t = 10 - 8. Suppose 4*n + 3*d + 48 = 0, n = 5*d - 6 + 17. Is t/(-9) + (-20)/n a composite number?
False
Let n(i) = i**3 - 12*i**2 + 16*i - 12. Let r(m) = -m + 5. Let s be r(-6). Is n(s) prime?
True
Let h(d) = -69*d - 1. Let l be h(-3). Suppose 5*i - 5*y + 0*y = 940, i - l = -5*y. Is i composite?
False
Suppose 0 = 5*x + 2*t + 26, -t + 4 = t. Let p(h) = h**3 + 8*h**2 + 10*h + 9. Is p(x) a composite number?
True
Suppose -3*k = k - 2108. Is k prime?
False
Let p(f) = f**2 + f + 257. Let y be p(0). Suppose 4*d + y = 5*d. Is d a prime number?
True
Let p(q) = -4*q + 381. Is p(0) composite?
True
Suppose 0*z = 2*l - 3*z + 29, -2*l = -5*z + 27. Let n = l - -10. Is (-3)/9 - 14/n a composite number?
False
Suppose k - 136 = -q, 3*k - k - 407 = -3*q. Suppose 2*b = q - 29. Is b a composite number?
False
Let t(z) = -z**3 + 9*z**2 - 8*z + 1. Let f be t(8). Let m(i) = 10*i - 1. Let a be m(f). Let b(p) = 6*p + 11. Is b(a) a prime number?
False
Suppose -7*d + 3*d = -j - 21, 2*d - 23 = 3*j. Suppose -2*g + 46 = -d. Is g prime?
False
Let b(n) = 9*n + 11. Let z be b(9). Suppose 2*p = 6*p - z. Is p a composite number?
False
Suppose -3*q = 2*q - 4315. Is q prime?
True
Suppose 0 = -3*n + 4*n - 521. Is n a composite number?
False
Suppose -2*l = -118 - 136. Is l prime?
True
Let j be (2/(-6))/(2/42). Let q = j - -15. Let v = -2 + q. Is v prime?
False
Suppose 5*m - 2584 = -5*n + 8*m, -m = -n + 518. Is n a composite number?
True
Let a(l) = -l**2 + 3*l - 3. Let o be a(2). Let z(n) = n**3 - 5*n**2 + 2*n + 5. Let q be z(5). Is (o - 3/q)*-5 prime?
False
Let u(z) = z + 8. Let s be (2 - 2)/(-1 - -2). Let d be u(s). Suppose 2*m - 17 = -3*f + d, -2*f - 2*m = -18. Is f composite?
False
Suppose 3638 = 4*s - 1986. Is s/10 + 2/5 a prime number?
False
Let c(n) = -n**3 - 9*n + 3 + 5*n**2 + 5*n**2 - 3*n**3 + 3*n**3. Let a be c(9). Suppose 6*x = a*x + 147. Is x a prime number?
False
Suppose 3*n - 383 = l - 67, -953 = 3*l - 4*n. Let m = -160 - l. Is m prime?
False
Let u(d) = 81*d**2 - 3*d - 1. Is u(-1) composite?
False
Suppose 2 = 4*k + 26. Is k + 1 + 3 + 51 composite?
True
Let l = 28 + 23. Let r = l - -16. Is r prime?
True
Let g = -89 + 1162. Is g a prime number?
False
Suppose 2*b - b = 1201. Suppose -4*m + 3*t + b = 0, 2*t - 6*t = m - 305. Is m a composite number?
True
Let z(p) = -p**3 - p**2 + p + 33. Let c be -2 - 4/(-1 + -1). Is z(c) composite?
True
Let d be 3*1/3*3. Suppose 2*k + 124 = 7*k - d*t, 2*t = k - 29. Is k composite?
False
Let j(w) = w**3 + w**2 + w + 25. Is j(0) prime?
False
Is 9874/30 + (-4)/30 prime?
False
Let d = -37 + 68. Is d a prime number?
True
Suppose p - 103 + 303 = 0. Is 9*(p/(-12) + 3) a prime number?
False
Let r(t) = -t + 5. Let g be r(0). Is 370/8 - g/20 prime?
False
Let j be (-2)/(-3) - (-16)/12. Suppose 0*i - y = j*i - 108, 5*i = -2*y + 270. Let v = 79 - i. Is v composite?
True
Suppose -4*z = -12, z - 550 = -2*i + 139. Let y(j) = 24*j + 1. Let p be y(1). Suppose 5*k = p, g - 5*g = -k - i. Is g prime?
False
Let j(z) = 2*z - 7. Let d be j(7). Suppose -2*v = 3*p - 15, 0 = -3*p + 2*v + v. Suppose p*c = d*c - 60. Is c a prime number?
False
Suppose -a + 10 = -4*w - 31, 4*w + a + 39 = 0. Let i = -6 - w. Suppose r - i*r = -117. Is r a prime number?
False
Let l(m) = -m**2 - 10*m - 12. Let i be l(-8). Is 2*(570/i - -4) prime?
True
Let m = 355 + -24. Is m prime?
True
Let x be (-6)/(-15) - (-17)/(-5). Let u be x*(-2)/6 - -1. Suppose 119 = 5*j + c + c, -44 = -u*j - 2*c. Is j a composite number?
True
Let z(x) = -x**3 - 8*x**2 + 15*x + 15. Is z(-12) composite?
True
Suppose -z - 4*z = -130. Is z prime?
False
Let t be ((-117)/(-15) + 0)*5. Suppose -2*m = m - t. Is m prime?
True
Let r(x) = -x**2 - 2*x + 115. Let d be r(0). Suppose 3*t = 2*t + d. Is t composite?
True
Suppose a = -a + 4. Suppose a*y = -0*y. Is (0 - y) + (95 - 4) a prime number?
False
Suppose 3*l = 4*c + 79 + 247, -250 = 3*c - 5*l. Let d = 17 - c. Is d a prime number?
True
Suppose -n - 4 = -5*n, -3*n = -5*p + 482. Is p a composite number?
False
Let t(n) be the first derivative of n**2 + n**3 + n**2 - 2 + 0*n**3. Is t(3) a composite number?
True
Let i be (-4)/(-6)*3 + 1. Suppose -i*j + j = -46. Is j prime?
True
Suppose 0 = y + 3*y. Suppose 3*b + 6 + y = 0. Is b/5 + (-285)/(-25) a composite number?
False
Suppose -p + 3 + 6 = 0. Let b(r) = 3*r**2 + 4*r - 10. Is b(p) prime?
True
Suppose 0 = -0*m - 2*m + 318. Suppose 2*y = 3*y, 3*o - m = 4*y. Suppose 3*d - 71 = -4*l + 8*d, 3*l - 4*d = o. Is l a composite number?
False
Let x(b) be the first derivative of -b**4/4 + 4*b**3/3 - b**2 + 2*b + 1. Let l(s) = -s**2 + s + 4. Let u be l(2). Is x(u) prime?
False
Suppose 42*u - 37*u = 3905. Is u composite?
True
Suppose 0 = -83*m + 79*m + 2324. Is m a prime number?
False
Let h(r) = 94*r - 5. Suppose 16 = -4*j, d - 3*j - 17 - 4 = 0. Let u = -5 + d. Is h(u) composite?
True
Let f be (-2 + 1)*81/3. Suppose o + 5 - 2 = 0, 4*v - o = -373. Let t = f - v. Is t a prime number?
True
Let h = 3022 - 1495. Is h a composite number?
True
Suppose -2072 = -4*x + 2*c - 6*c, 5*c + 1057 = 2*x. Is x composite?
False
Let t(k) = 22*k + 4. Let j be t(7). Suppose -3*s + s = -j. Is s a composite number?
False
Let u be 6 - (0 - 2) - 2. Let k be (-60)/8*(-20)/u. Is (-1 + -2 - -1) + k a composite number?
False
Let y(d) = -d - 1. Let m be y(-6). Suppose m = a - 10. Is a prime?
False
Suppose 25 = 3*m + 2*c - 7, 3*c = -2*m + 13. Let w(f) = 3*f**2 - 5*f - 3. Is w(m) composite?
True
Let a be (3*(-2)/1)/(-1). Let h(y) be the first derivative of y**2 + 2*y - 2. Is h(a) a prime number?
False
Let b = 3 - 1. Let j = 7 - b. Suppose -5*c = 5*v - 90, 0*c = 3*v + j*c - 52. Is v composite?
False
Suppose -y - 2*c + 3 = -c, -5*y - 4*c + 19 = 0. Suppose 0 = 4*i - y*i + 381. Is i composite?
False
Let v(d) be the second derivative of 37*d**5/60 + d**3/6 - d**2/2 + d. Let i(h) be the first derivative of v(h). Is i(2) a composite number?
False
Suppose n + 4*h + 20 = 0, -2*h + 5 - 15 = -5*n. Suppose n = -5*b + 49 + 1. Suppose -3*t = -k + 2*t - 17, 0 = -2*k - t + b. Is k prime?
True
Let j = 2042 + -1411. Is j a prime number?
True
Let x(m) = 0 + 1 + 16*m + 5 - 3. Is x(5) a composite number?
False
Let a(n) = n**3 - 4*n**2 - 7*n + 7. Let l be a(5). Let b be 0*-3*l/9. Suppose b*r + r - 22 = 0. Is r a prime number?
False
Suppose -5*w + 2030 = 5*p, 0*p + 5*p - 414 = -w. Let m = w + -277. Is m prime?
True
Let s be (-7)/4 - 3/12. Let q be (0/(-1))/(s - 0). Suppose q*z + 154 = 2*z. Is z composite?
True
Let m = -3 + 7. Suppose 27 = 2*g + w, -w - 50 = -m*g - 11. Is g composite?
False
Suppose -12 = -2*h - 2*h. Suppose 3*z = -1 + 4, -2 = 5*a + h*z. Is 22 - (-2 - -1)/a a prime number?
False
Let b(a) = -a**2 - 5*a - 4. Let x be b(-3). Suppose -c + 585 = x*c. Suppose -3*l + 0*l = -c. Is l prime?
False
Let g be (0 - 1) + 40 + 0. Let h(i) = 4*i**3 - 3*i**2. Let n be h(2). Let q = g - n. Is q composite?
False
Let o(k) be the first derivative of -k**5/20 - 2*k**4/3 - k**3/2 - 11*k**2/2 + k + 2. Let u(f) be the first derivative of o(f). Is u(-8) composite?
False
Let h be 3 + -2 + -1 - -74. Let d = h + -49. Is d a composite number?
True
Let n(b) = b**2 + 8*b + 7. Is n(-14) a prime number?
False
Let b(k) = 25*k**2 - 9*k + 17. Is b(5) composite?
True
Let l be 1*(-2 + (-27)/(-3)). Suppose 5*m - 177 = 3*s, 0 = -4*m + l*s - 3*s + 148. Is m a composite number?
True
Let r = 17 - 8. Suppose q - 2*n = 6*q + r, -4*n = 8. Is (-1)/q - -202 - 0 a prime number?
False
Let i(h) = h - 1. Let j be i(7). Suppose j*s - 815 = s. Is s composite?
False
Let t be (-9 - -1)*(-2)/4. Suppose 3*l + f = 3*f + 11, -11 = -t*l - f. Is l a prime number?
True
Let v(t) = 5*t**2 + 5*t + 