ime?
False
Let d = 17 - 8. Suppose -z = 2*z - d. Suppose 3*n + z*y - 556 = -n, 0 = -5*y. Is n a composite number?
False
Let r = 23 + -35. Let u(g) = g**3 + 11*g**2 - 13*g - 13. Let z be u(r). Let n(s) = -90*s**3 - 1. Is n(z) a composite number?
False
Is -127*3*((-85)/15 + -2) a composite number?
True
Suppose 5*x = 21*x - 217808. Is x prime?
True
Let o be -6*(-5)/(5/12). Suppose 0 = 4*k - 5*q - 26 + 85, -2*k - 4*q = 62. Let r = k + o. Is r prime?
False
Let k = -8068 + 12257. Is k composite?
True
Let c(r) = r**3 + 6*r**2 + 4*r - 4. Let h be c(-5). Let o be h/(-4) + 5165/20. Suppose -12*b = -10*b - o. Is b prime?
False
Suppose 5*k + 3*a = 29778 + 51674, 2*k + 5*a = 32577. Is k a composite number?
True
Suppose -5*t - 32798 = -4*h, -20165 = -3*h - 5*t + 4416. Is h a prime number?
False
Suppose 5*c - 5091 = 4064. Is c composite?
False
Let z(p) = p**3 + 8*p**2 + 19. Let c(y) = -y**3 - 7*y**2 - 20. Let d(q) = -3*c(q) - 4*z(q). Let g be d(-12). Let r = -75 + g. Is r a composite number?
False
Let h = -3348 - -4704. Suppose -3*p - 4*x + h = 157, -p - 2*x + 401 = 0. Is p composite?
False
Is (-13)/((-143)/(-22)) + 304 a composite number?
True
Let j(m) = 12*m - 2. Let f be 4/(-16)*0 + 2. Suppose -f*p + 9 = 1. Is j(p) a composite number?
True
Suppose -5*s - 5*c + 4818 + 19352 = 0, 3*c = -5*s + 24172. Is s a prime number?
False
Let z = -29 + 33. Suppose 0 = -z*m + 1011 + 665. Is m prime?
True
Let f be ((-33)/9)/(3/(-9)). Let a(x) = -f + 4*x - x**2 + 10 + 2*x**2. Is a(6) composite?
False
Let m(u) = u**2 - 7*u. Let z be m(5). Let d be z/35 + 108/(-14). Let s = 18 - d. Is s a prime number?
False
Let x(j) = -15*j. Let f be x(-1). Suppose y - f = 4. Let w = y + 18. Is w a composite number?
False
Let g = -1416 + 495. Let i = 1910 + g. Is i a prime number?
False
Suppose 0 = 5*r - 3035 + 350. Suppose 0 = -4*d - 93 + r. Is d a prime number?
False
Is (5/(-4) + 76/48)*5811 a composite number?
True
Suppose 3*z - h - 15 = -4*h, 0 = -2*z + 5*h - 4. Let v be (z/(-2))/(1/60). Let k = v + 133. Is k a composite number?
False
Suppose -2*n + 3*t + 19 = -2, 1 = -3*n - 2*t. Suppose b + 5864 = 2*j, -j + n*b - b = -2935. Is j a composite number?
True
Suppose -127*w = -101*w - 924118. Is w a prime number?
True
Let v(g) = -g - 11. Let c be v(-5). Let a(k) = k**3 - 6*k**2 - 12*k + 5. Let z be a(8). Let t = z + c. Is t prime?
True
Let g be -1*(-4)/10 + 12030/50. Suppose -m + 4*w + 766 = -g, 0 = -w. Is m a composite number?
True
Let m(u) = u**2 + 16*u + 39. Let f be m(-13). Suppose f = -y - 11*y + 15276. Is y a composite number?
True
Let y(s) = s**2 - s - 2. Let g be y(2). Suppose 2*a + 174 - 1704 = g. Suppose -4*c - x = -a, -5*c - x + 958 = 2*x. Is c composite?
False
Let p = -904 + 409. Is (-4)/((-24)/p)*(-6)/9 a prime number?
False
Let s(h) = h**2 + h + 838. Let w be s(0). Suppose 0 = 2*f - 0*f + 8, 0 = 2*o - 2*f - w. Suppose -5*y + o = -0*y. Is y a prime number?
True
Let f(j) = -40*j - 62. Is f(-15) prime?
False
Suppose -3*c + 10 = 2*c. Suppose 17914 = c*s - 2*q + 2270, 4*q = -3*s + 23501. Is s a prime number?
False
Let z = 8 + -3. Suppose -b + 3*x + 1001 = -z*b, x + 3 = 0. Let a = b + 1039. Is a composite?
True
Let n(b) = -54*b + 79. Is n(-11) a prime number?
True
Let y(h) = h + 0 - 3*h + 0 - 6. Let c be y(-5). Is 816/9 + c/12 a prime number?
False
Let m be (0 + -3)*1096/6. Let k be m/(-3) - 2/3. Suppose -96 = -2*o + 2*c, 4*o + c - 3*c = k. Is o prime?
True
Let c be (16/5)/((-2)/(-1615)). Suppose -8*p + 4*p + 5*x = -2598, 2*x - c = -4*p. Is p prime?
True
Let z(k) be the first derivative of -3 - 16*k - 11/2*k**2. Is z(-9) a prime number?
True
Let i(v) = -v**3 + 7*v**2. Let s be i(7). Suppose 5*q - 5*p = 110, s = 4*q - 0*q - 5*p - 91. Let b = q + 70. Is b a prime number?
True
Let u = 168 - -41. Let k = -26 + 168. Let l = u - k. Is l a composite number?
False
Let o(a) be the third derivative of a**5/15 - 3*a**4/8 - 4*a**3/3 + 13*a**2. Is o(13) composite?
True
Let n = 1227 + -600. Suppose -3*o + 0*o + n = 0. Is o composite?
True
Let w(o) = 2*o - 12. Let p be w(10). Suppose 0 = 5*x - 7 - p. Suppose x*v + 0*v - 147 = 0. Is v composite?
True
Let g = -38845 + 56626. Is g composite?
True
Is 5 - -2771 - 2 - (0 - -1) a prime number?
False
Let q = 223 - 2177. Is q/(-22) + 12/66 composite?
False
Suppose 0 = -o - 4, -o = -2*x + 857 + 1143. Is x prime?
False
Let n(s) = -s**2 - 9*s + 12. Let l be n(-10). Suppose -2*i + l*a = -2, 0*a = 5*i + 2*a + 9. Is i - (-16 - -4)*12 composite?
True
Let o(x) = -6*x**3 - 26*x**2 + 34*x + 4. Is o(-15) a composite number?
True
Suppose 0 = 3*h - 6, 176 = 4*s + 2*h - 0*h. Suppose -1637 = -3*c + 3199. Let g = c + s. Is g a composite number?
True
Suppose -4*v + 12*v - 36536 = 0. Is v composite?
False
Suppose 370 = 5*h - 4*h. Suppose -5*o = -3*o - h. Is o composite?
True
Let r = -5524 - -1886. Let p = 5439 + r. Is p a composite number?
False
Let k(t) = t**3 + 2*t**2 - 9*t + 3. Let z = 69 + -66. Is k(z) a prime number?
False
Suppose -6*f = -3*f + 594. Let m = -29 - f. Suppose 21 = -n - 4*o + 55, m = 4*n + 5*o. Is n a prime number?
False
Let p(z) = 3*z**3 - 6*z**2 - z + 5. Let d = -20 + 24. Is p(d) composite?
False
Let w = 159 - 86. Let h = -12 - -14. Suppose -h*j + 203 = w. Is j a composite number?
True
Suppose 3*g - 3*t - 8 = -23, 5*t + 15 = g. Is (-3 + 33/9)/(g/(-10155)) a prime number?
True
Suppose -20 = 3*i + 10. Let s = -28 - -12. Is (-1634)/i + s/40 prime?
True
Let u be 2/(-6) + 2/(-3). Let d(f) be the third derivative of -f**4 + f**3/3 - 13*f**2. Is d(u) composite?
True
Suppose 6*s - 1634 = 4*s. Is s prime?
False
Suppose 78 = -7*i + 9*i. Let z = i - -163. Is z a composite number?
True
Let n(o) = -4*o - 5. Let i be n(-2). Suppose 5*g = -i*m + 3196, 4*g - g - 3186 = -3*m. Is m composite?
True
Is (4 - 17800/(-2)) + -5 a prime number?
False
Let y = -2231 + 5068. Is y a prime number?
True
Let q(i) = i**3 - 5*i**2 - i - 7. Suppose 20 = -3*g - 22. Let h = 20 + g. Is q(h) composite?
False
Is 3/(-2) + 39681/18 prime?
True
Let a = -2697 - -5218. Is a a composite number?
False
Suppose -68753 = -33*f - 1070. Is f a prime number?
False
Let y(f) be the first derivative of 11*f**4/4 - 2*f + 2. Let v = -4 + 7. Is y(v) prime?
False
Let w be (-1 - 1 - 2)/(-2). Suppose -w*p = -5 - 69. Is p a prime number?
True
Let z(s) = 3352*s**3 + 20*s**2 - 32*s**2 + 13*s**2. Is z(1) a composite number?
True
Let b(m) = 102*m**3 + 2*m**2 + m + 2. Let x be b(-2). Suppose 4*o = -1280 - 3468. Let i = x - o. Is i prime?
True
Suppose 5*x + 279 = 4*o, -3*o - 52 = -3*x + 4*x. Is (-6)/33 + (-8205)/x prime?
True
Suppose -72 = -4*k + 2*o, 5*k - k - 96 = -4*o. Suppose -8*q + k = -7*q. Is (-4)/q + 684/20 composite?
True
Suppose -5*m - 17 = 8. Let w = -3 - m. Suppose 3*q - 2*j = 359 + 116, -316 = -w*q + 2*j. Is q a prime number?
False
Let d = -6892 - -12111. Is d composite?
True
Suppose 2*m + h - 11982 = 2*h, 4*m + 5*h - 23992 = 0. Is m prime?
False
Suppose -10 + 30 = 4*u. Suppose 947 = u*d + 5*j - 3*j, -5*d + 3*j = -967. Is d prime?
True
Let q(f) = 376*f - 178. Is q(26) prime?
False
Let l = 3738 - 1787. Let v = 2748 - l. Is v composite?
False
Let t = 98 - 95. Suppose -3*w = 4*b - 11483, t*w - b - 3837 = 2*w. Is w a composite number?
False
Let o = -94 + 51. Let z = o + 74. Is z a prime number?
True
Let o = -1950 - -2994. Suppose -o = -4*f - 4*i, 0 = i - 3*i + 2. Let n = -1 + f. Is n a composite number?
True
Is 2 + -1 - (60 + -64) - -117186 a composite number?
False
Let q(r) be the second derivative of 64/3*r**3 + 3/2*r**2 + 5*r + 0. Is q(2) prime?
False
Let y(t) be the second derivative of -t**5/10 - 7*t**4/12 - t**3/6 + t**2/2 - 9*t. Is y(-6) composite?
True
Suppose 5*z + 5 = 0, -3*d + 108 = 2*z + z. Is 5 - 5 - d/(-1) a prime number?
True
Suppose r + 0*r - 5 = 0, 4*x + 5*r - 25 = 0. Is -2 + 2 + 83 + x composite?
False
Suppose -3239 = 5*t - 6*t. Is t composite?
True
Let s(z) = z**2 - 8*z - 18. Let t be -16 + (-1 - -2) - 60/30. Is s(t) a composite number?
True
Suppose 3*h - 192 = -4*w, -3*w + 2*h + 48 = -2*w. Let v = 180 + 37. Suppose v = 5*a - w. Is a a composite number?
False
Let c = 182 - 55. Let s = c - -76. Is s a composite number?
True
Let y = 6 - 11. Let a(w) = -15*w**3 - 7*w**2 - w + 6. Is a(y) a prime number?
False
Suppose -5*w + 5*t + 8665 = 0, -3*w - 3*t + 5199 = -8*t. Is w a composite number?
Fal