 + 679. Is o a composite number?
True
Suppose 2*t - 1609 = -5*i, -t = -i + 2*t + 332. Is i prime?
False
Suppose t - 4*t - k = -116, -5*k + 151 = 4*t. Is t composite?
True
Let m = 323 - 196. Is m a prime number?
True
Let n(y) = 15*y**2 + 3*y + 1. Let m be n(-8). Let c = m + -558. Is c composite?
False
Suppose 2*q = 2*k + 74, -k - 17 = -q - 5*k. Let a = q - -2. Is a composite?
True
Let a(s) = 2*s**3 - 6*s**2 + 6*s - 3. Is a(4) a prime number?
True
Let t = 66 - 39. Suppose -t + 3 = 2*g. Let f = -5 - g. Is f composite?
False
Let l(c) = 73*c**2 + c + 3. Is l(-2) prime?
True
Let d(y) = -y - 2. Let o be d(-2). Suppose -i - 4*i + 35 = o. Is i a prime number?
True
Let d(x) = 24*x + 29*x - 5 + 7. Is d(3) prime?
False
Suppose -4*r - 92 = 3*a - 495, -2*a + r = -287. Suppose -3*m + a = -4*y, 0 = 2*m + 2*y - 6*y - 90. Is m prime?
False
Suppose -2*v - 3*v - 2*b - 29 = 0, 3*v + b = -17. Let q = 7 + v. Suppose -5*k = 2*x - 407, 71 = k + x + q*x. Is k a composite number?
False
Suppose 650 + 192 = 2*b - 4*a, 5*b - 2105 = 2*a. Let y = b + -693. Let p = -186 - y. Is p composite?
True
Suppose 4*i = -176 + 648. Is i a prime number?
False
Let q(u) = 2 + 59*u - 1 - 7*u. Let j be (-1 + (-6)/(-4))*2. Is q(j) a prime number?
True
Suppose -2*m - 6*o + 9 = -o, 0 = -4*m + 2*o + 6. Suppose 3*s + 8 - 59 = -3*g, m*s + 3*g = 38. Is s a prime number?
True
Let s = -1435 + 2130. Is s a prime number?
False
Let g(c) = c + 4 - 9*c + 1 - c**2. Is g(-4) a prime number?
False
Let j(q) = -q**3 + 6*q**2 - 5*q + 7. Let y(n) = -n**2 + 10*n + 5. Let x be y(10). Is j(x) composite?
False
Let l be 4/2 - (-63 - 4). Let q(k) = -l*k**3 - 6*k + 6*k. Is q(-1) a prime number?
False
Let k(m) = m**2 + 7*m + 5. Suppose -4*p + 5*y - 16 = 5, p = 2*y - 6. Let f be k(p). Let h(w) = -4*w - 3. Is h(f) a composite number?
True
Let n(h) = -1 - h + 0*h + 8*h**2 + 6*h**2. Let z be n(4). Suppose 3*s - 742 = -5*c, -s = -c - 69 + z. Is c composite?
False
Let s(o) = 2*o**2 - 4*o - 3. Let t be s(-3). Is 2009/9 + (-6)/t a prime number?
True
Let p(s) = 2*s**3 - 5*s**2 - 4*s + 5. Suppose 2*f + 2 = 0, -7 = -2*r + 2*f - 3*f. Is p(r) composite?
False
Let g = 8 - 4. Suppose 21 = g*q - 7. Is q prime?
True
Suppose -y - 4*u + 468 = 2*y, -4*u - 332 = -2*y. Suppose -3*v = 2*d - 128 + 19, 0 = 3*d + v - y. Is d a composite number?
False
Let x(t) be the third derivative of t**5/24 + t**4/8 + t**3/2 + 4*t**2. Let a(j) be the first derivative of x(j). Is a(10) a prime number?
True
Let k(p) = -15*p - 1. Let x be k(-9). Let n = -67 + x. Is n composite?
False
Let u(g) = g**2 + 2*g - 3. Let d be u(2). Suppose -3*c - 63 = -f, -d*f - 3*c + 99 = -144. Is f a prime number?
False
Suppose i + 65 = 4*b - 4*i, 4*i + 30 = b. Suppose b*r - 7*r = 1266. Is r prime?
False
Let q = 7 - 4. Suppose -q*o - 42 = -o. Is (15/9)/((-1)/o) prime?
False
Suppose -p + 1 = -2. Let k = p - 1. Suppose -k*s + l = -25, -18 = -2*s + 5*l + 3. Is s a prime number?
True
Let t(q) = 1396*q**3 + 4*q - 3. Is t(1) prime?
False
Let i(o) = -60*o - 7. Is i(-5) composite?
False
Is (2/(-4))/((-4)/104) composite?
False
Let f = -241 - -368. Is f composite?
False
Let z(v) = 232*v + 5. Is z(3) prime?
True
Let v = 37 + -22. Let g = -8 + v. Is g a composite number?
False
Suppose 5 = 3*g - 1. Suppose -g*f + 2*d - 4*d + 18 = 0, 15 = 3*d. Is 26/f - 3/6 prime?
False
Let b = 1341 - 449. Suppose -3*g + b = g. Is g a prime number?
True
Let x be (-6)/(-18) - 35/(-3). Suppose x = s + 2*s. Suppose -5*u + 3*j = -73, -3*j - j = -s*u + 60. Is u a composite number?
True
Suppose -6*w + 41 = 11. Let j = -3 - 1. Is (-3 + w)*(-178)/j a prime number?
True
Suppose 6*j + 5 = -1. Is ((-7)/(-28))/(j/(-2804)) a composite number?
False
Suppose 1111 = 5*v - 4*i, 4*v + 0*i = -i + 893. Is v composite?
False
Let z(k) = 35*k + 11. Let c(j) = -j + 1. Let g(f) = -6*c(f) + z(f). Let r be g(4). Let b = r - 104. Is b prime?
False
Suppose -3*i = 4*b - 108, 3*b - 88 = -2*i - 2*i. Suppose -164 + b = -4*o. Is o prime?
False
Let s(z) be the first derivative of z**6/360 - z**5/60 - z**4/24 - 4*z**3/3 + 3. Let n(o) be the third derivative of s(o). Is n(-8) a prime number?
True
Let s(u) be the first derivative of -u**2/2 - 3. Is s(-3) a prime number?
True
Let p(s) = 229*s - 40. Is p(9) a prime number?
False
Suppose -2*r + 4*h = 134, -2*r + 6*r + 258 = -2*h. Let y be r/(-15) - (-2)/(-6). Suppose 21 = y*t - t. Is t prime?
True
Is (-110)/4*(-1784)/20 a composite number?
True
Suppose -4*z + 2*z = -196. Suppose 0 = -3*l + 13 + z. Is l a composite number?
False
Let r(n) = 2*n**3 - n**2 + 1. Let g be r(1). Suppose l = 5*l + 84. Is (g/6 + -1)*l a prime number?
False
Let k(a) be the second derivative of a**5/20 - 5*a**4/12 + a**3/2 + 2*a**2 + 5*a. Is k(5) a composite number?
False
Suppose -2*u + c + 1011 = 0, 5*c - 9 = -34. Is u a prime number?
True
Suppose 1 = -g + 5, 3*g = -2*x + 18. Suppose 4*h + x*j - 316 = 0, -3*j + j = h - 79. Is h a composite number?
False
Is ((-457)/(-2))/(2/(17 - -3)) prime?
False
Let k = 728 + -465. Is k a prime number?
True
Let y(a) = 2*a**2 + 4*a - 1. Let z be y(-3). Suppose 0 = -z*r + 5, -77 = -w + 2*r - 0*r. Is w prime?
True
Let l be 3/2*176/24. Let i = l + 15. Is i a composite number?
True
Let x(f) = f**3 - 3*f**2 - 9*f + 1. Let v = 17 + -11. Is x(v) prime?
False
Suppose 4*z - 3 = -m + 436, -4*z = -m + 479. Suppose -3*k + 0*k + m = 0. Suppose 0 = 4*w - w - k. Is w a prime number?
False
Suppose -2*n = 216 + 20. Let h = 263 + n. Is h prime?
False
Let u(q) = 4*q**2 + 15*q - 5. Let j(g) = -2*g**2 - 7*g + 2. Let n(z) = -7*j(z) - 3*u(z). Is n(3) prime?
True
Let s = 65 - 42. Is s a composite number?
False
Let c = -3 - -4. Let h(m) = -17*m**3 + 7*m**2 - 7*m + 2. Let s(y) = -8*y**3 + 4*y**2 - 4*y + 1. Let a(g) = -4*h(g) + 7*s(g). Is a(c) a composite number?
False
Let n(j) = -3*j**3 + 3*j**2 - 9*j - 1. Let p(u) = 4*u**3 - 4*u**2 + 10*u + 1. Let b(o) = 6*n(o) + 5*p(o). Is b(3) composite?
False
Let b = -102 + 155. Is b composite?
False
Suppose 0 = -3*v - 1 + 4, -4*p = v - 2873. Is p a prime number?
False
Let r be (-2)/(-12)*3*6. Suppose 0 = -4*f - 5 - r. Is f/(-4)*(177 + 1) prime?
True
Suppose -2*s - b = -63, -3*b - 60 = -2*s - 1. Is s a composite number?
False
Let n = -2 + 6. Suppose -o = n*d + 1, 5*o = -0*o - d - 5. Is (o + 2)/((-6)/(-1266)) prime?
True
Suppose -5*q + 58 + 7 = 0. Is q prime?
True
Let z be ((-4)/(-6))/(6/(-9)). Let j be (-354)/(z/1) - -2. Let h = j + -25. Is h composite?
False
Let i(w) = -7 + w**2 - 6 + 7*w**3 + 6*w - 6*w**2 + 14. Is i(3) a prime number?
True
Suppose -2*v - 460 = 4*h, -5*v = 5*h - h + 466. Let m = 165 + h. Is m/(1/(2/2)) a prime number?
False
Let b = -795 - -1714. Is b a composite number?
False
Suppose 1 = -4*r + 3*r + d, 0 = -d + 1. Suppose -3*n - 3*n + 1902 = r. Is n composite?
False
Let v(t) = t**3 - 10*t**2 - 10*t - 9. Let a be v(11). Suppose 3 - 7 = -a*z. Suppose -142 = -4*d + 2*k, -z*k + 54 = 4*d - 68. Is d prime?
False
Suppose -3*f - 4*t - 3709 = 0, -3*f = 5*t + 3751 - 44. Is (1/(-3))/(1/f) prime?
False
Suppose -3*j - w = -5, j = 3*w - 1 + 6. Let u = -11 + 15. Suppose p - 720 = -u*g, -3*g + 875 = j*g - 5*p. Is g prime?
True
Let v be (-3 - (-2 - -4))*-23. Let l = -58 + v. Is l composite?
True
Let l(r) = -r**2 + 25*r - 1. Is l(21) a prime number?
True
Suppose -3*f + 0*f + 4*y + 26 = 0, -f = -y - 7. Suppose -3*m - 24 = -2*i + i, f*i - 54 = 4*m. Let c = -8 + i. Is c composite?
True
Suppose -3*a + 1804 = -2*z - 181, -1989 = -3*a + 3*z. Is a a prime number?
True
Suppose -3*p - 3*x - 52 = -4*p, 3*p + 2*x = 178. Is p a prime number?
False
Let d = 4 + -4. Suppose d = -v + 13 + 18. Is v a prime number?
True
Let n(k) = 32*k + 91. Is n(11) prime?
True
Suppose 5*o - 1494 = -o. Is o a composite number?
True
Let p(i) = 30*i + 1. Let x be p(-2). Suppose 2*n + 3*z - 197 = 0, -z + 237 = -5*n + 704. Let q = n + x. Is q prime?
False
Suppose -464 = -v + 5*n, -3*v - 2*n = n - 1482. Is v prime?
False
Let d = -42 + 30. Is (-21)/d*(27 + 1) a composite number?
True
Let y(a) = -2*a**2 - a + 115. Is y(0) prime?
False
Suppose 3*v = -2*v + 15. Let d be -1 - (-6)/v - -1. Suppose -3*j = -9, d*h - 4*j = -0*j + 98. Is h prime?
False
Suppose 2*h - 11 = h. Let x = h + -8. Suppose -x*n = -62 + 23. Is n composite?
False
Let c be (-1 - 8) + (-1 - -1). Let g(a) = 5*a**2 + 31*a - 1. Let z(o) = -o**2 - 6*o. Let r(w)