 Is k composite?
False
Let s be 6/((-6)/(-7)) + -4. Suppose -v + 4*y + 2147 - 412 = 0, -s*v + 5205 = -5*y. Is v a prime number?
False
Let y(t) = 0*t**3 - 16*t**2 - 8*t**2 + 3*t**3 - 9 - 3 - 13*t. Let j(z) = -2*z**3 + 12*z**2 + 7*z + 6. Let s(i) = 7*j(i) + 4*y(i). Is s(-8) prime?
False
Suppose -111298 = -7*k - 10617. Is k a composite number?
True
Let m(p) = 2*p - 2. Let c(h) = -7*h - 6. Let x be c(3). Let n = x - -30. Is m(n) composite?
True
Let i be (-1)/1 + 6 + 0. Suppose 3*g - 1955 = -2*h + 308, -i*h - 3730 = -5*g. Is g a prime number?
True
Is (-55616)/(-14) - 207/(-483) prime?
False
Suppose -c + 321 = -737. Suppose -5*o = -0*o - 3*d - c, -o = -5*d - 216. Is o composite?
False
Let h = -4 - -8. Suppose 0*m - 5*w + 882 = 4*m, h*w + 1123 = 5*m. Is m composite?
False
Let a = 92 - 12. Suppose -919 + a = -j. Is j a composite number?
False
Let l(t) = 140*t**2 + 27*t - 121. Is l(16) prime?
True
Let u be (-1936949)/(-77) - (-2 - (-48)/22). Is (u/(-6))/5*(-6)/9 a prime number?
False
Let p be 0 + (1 - 2) - -4. Suppose 5*o = -3*a + 3686, -p*a = 8*o - 4*o - 2947. Is o prime?
True
Suppose -5*p - 64 = 6. Let w(h) = 6*h. Let c be w(-1). Is (4/c)/(p/2667) prime?
True
Let v(k) = -k**3 - 2*k**2 - k - 3. Let t be v(-4). Let n = 49 - t. Let y = n + 6. Is y a prime number?
False
Let u(b) = 339*b + 89. Is u(23) prime?
False
Let l = -427 + 38. Suppose -7*k + 2840 = -2*k. Let x = l + k. Is x a prime number?
True
Suppose -33*v - 114184 = -41*v. Is v composite?
True
Let d(r) be the third derivative of r**6/120 - 13*r**5/60 - 13*r**4/24 - 11*r**3/6 + 2*r**2. Let t be d(14). Is 6752/24*t/2 a composite number?
True
Suppose -2*a = 3*a - 15. Suppose -a*m + 5 = -7. Is 244 + m + (-3)/(-1) prime?
True
Let r = 51 - 51. Suppose -226 = -2*q - r*q. Is q prime?
True
Let y be (2476 + -1)/5 - (-3 + 2). Let f = 343 + y. Is f prime?
True
Suppose -2*q + 2901 = -2461. Is q a composite number?
True
Is 2/(-6)*(-14 + 11)*541 a prime number?
True
Let s(m) = -344*m**2 + 6*m + 1. Let y(o) = -o**2 + o. Let x(z) = -s(z) - 2*y(z). Is x(-2) composite?
False
Let r = -9865 + 14146. Is r a prime number?
False
Let s(k) = 2*k**3 - 2*k**2 + 4*k - 7. Let x be s(4). Suppose 2 = -2*t + 6. Suppose -j + 5*b + 44 = 0, -3*j + 2*b + x = t*j. Is j composite?
False
Suppose 5468 = 16*l - 12*l. Suppose 6*s + 221 = l. Is s prime?
True
Let u(l) = -46*l - 8 - 528*l - 5. Is u(-3) a composite number?
False
Let t = -25 + 30. Suppose 0 = -2*w + t*w - 5*s - 3042, 5*s + 1004 = w. Is w a prime number?
True
Let x = 1272 - -1447. Is x a composite number?
False
Suppose -29*g = -2*g - 144477. Is g prime?
True
Let y(j) = -392*j + 6. Let l(p) = 196*p - 3. Let o(u) = -9*l(u) - 4*y(u). Is o(-4) a prime number?
True
Let w = -19 - 50. Is 1 + (5*w)/(-1) a composite number?
True
Let g(c) = 6*c**2 + 11*c + 6. Suppose 7*n = -5*z + 4*n + 13, -4*z = 4*n - 4. Suppose 0 = 2*y + z + 9. Is g(y) a composite number?
False
Suppose 0 = 4*c + j - 300, -3*c - 2*c + j + 384 = 0. Suppose -745 + c = -3*q. Is q composite?
False
Suppose 0 = -6*l - 4*l. Suppose -d + l*d + 2*u = -147, -2 = -2*u. Is d a prime number?
True
Let p = 19 - 9. Let o = p - 8. Suppose -3*r = a + 376 - 1277, -5*r + 1501 = o*a. Is r composite?
True
Let t(n) = 4*n**3 + 2*n**2 - n - 4. Let i = 2 + 0. Suppose 8 = i*h - 2. Is t(h) prime?
True
Let a(v) = 1731*v**3 - v**2 + 1. Is a(1) composite?
True
Let w(s) = 3*s - 4. Let a be w(3). Suppose a*y + 234 = -2*o + 1626, -3497 = -5*o - 4*y. Is o prime?
True
Let v = -1256 + 5017. Is v composite?
False
Suppose 0 = 21*x - 188797 - 200816. Is x a prime number?
True
Let v be -1*6/27 + (-25575)/(-27). Let w = -144 + v. Is w prime?
False
Suppose 0 = 28*a - 56073 - 28907. Is a a prime number?
False
Let k = -430 + 201. Let f = -52 - k. Is f composite?
True
Let u(b) = -68*b**3 - b. Let m = 33 - 18. Suppose -19 + m = 4*j. Is u(j) prime?
False
Let j = 125 + 42. Let h = 310 - j. Is h prime?
False
Suppose w - 263 = 63. Let g = 109 - w. Let m = -86 - g. Is m composite?
False
Suppose 3*y - 2*v = 337, 4*y + 0*v - 2*v = 448. Is (-5 + y)*3/2 a prime number?
False
Suppose -17*v + 14*v = -1893. Is v a composite number?
False
Suppose 5*p - 630 = 2155. Let a = p + -198. Is a prime?
True
Let v(w) = w + 6. Let q = 2 - -4. Let x be v(q). Suppose z = 10 + x. Is z prime?
False
Let r(p) = -2040*p - 21. Let z(w) = 510*w + 5. Let x(y) = -2*r(y) - 9*z(y). Is x(-3) composite?
True
Let l = 20 - 17. Let v be l*(-16)/(-36)*-6. Is v/(-4) - 3 - -68 a composite number?
False
Let y = 14 - -28. Let o be 9/(-36) + y/8. Suppose -7 = -o*r + 428. Is r a composite number?
True
Let w = 50 - 45. Suppose -3810 = -w*t + 3805. Is t a composite number?
False
Suppose 3*g - 1280 = 136. Let p = -277 + g. Suppose 68 = -m + p. Is m a prime number?
True
Let y(q) = q**2 + 6*q + 6. Let f be y(-4). Let x be ((-4)/12)/(f/5736). Suppose -2*i + g - 292 = -x, g = i - 333. Is i a prime number?
True
Suppose -88 = -13*o - 23. Suppose 4*b - 1028 = -4*g, 0 = o*b - 2*b + 2*g - 768. Is b a composite number?
True
Suppose 5839 = -s + 6*s - 2*y, -2*s + 5*y = -2323. Is s a prime number?
False
Suppose -4*s + 9868 = -r, 6*s = s - 4*r + 12335. Let y = s + -1238. Is y composite?
False
Let m = 6 + -4. Let x be (m/(-6))/((-3)/9). Is (-4)/x*-79 + 1 a composite number?
False
Let h(v) = v**3 - 11*v**2 - 15*v + 18. Let x be h(12). Let g = x - -37. Is g a composite number?
False
Suppose 0 = -o + 5 - 3. Let c(z) = 2*z**o + 1 + 2*z + 38*z**3 + 3*z - 7*z. Is c(1) composite?
True
Let t = -54 - -33. Let j = -17 - t. Suppose -3*y + 511 + 70 = j*o, -y + 5*o = -181. Is y a prime number?
True
Let i be 6/4 - ((-105)/(-14))/(-15). Suppose i*p - 8344 = -6*p. Is p a prime number?
False
Let c(b) = 55 + b**2 - 36 - 9*b**3 - 16. Let u(k) = -k**2 + 2*k + 1. Let o be u(-1). Is c(o) composite?
False
Let n(y) = 60*y - 121. Is n(13) prime?
True
Is 104461/(1/(5 - 4)) a composite number?
True
Let g be (-30)/(-8) - 3/(-12). Suppose -4*x - f + 0*f = -1329, 5*x + g*f - 1675 = 0. Is x a prime number?
True
Let d(n) be the third derivative of n**5/60 - n**4/8 + 350*n**3/3 - 8*n**2. Let p be d(0). Suppose 5*q = a + 710, -5*q = a - 4*a - p. Is q a prime number?
False
Is 29928 + (-2 + 5 - -4) prime?
False
Suppose j + 4*n - 2 = -12, 8 = 4*j + 4*n. Suppose 0 = -2*l + 3*f - j, 4*l - 2*f = -4*f + 20. Suppose 0 = -l*p - 1707 + 5160. Is p prime?
True
Is 238261/9 + 12/(-27) a prime number?
False
Is 85007/15 + ((-721)/(-105) - 7) prime?
False
Let s = -30 - -36. Let a(y) = -3*y**3 - 3*y**2 + 6*y**2 - y**3 - 4 - s*y**2. Is a(-3) composite?
True
Is ((-40)/30)/((-20)/27705) prime?
True
Let q be 35/(-20) + 5 - 1/4. Suppose -3*s + v + 3175 = 0, -3*s = q*v - 1632 - 1551. Is s a prime number?
False
Suppose 2*w - 4*p = 21542, -5*w = 7*p - 8*p - 53828. Is w a composite number?
True
Let n = -1315 - -3774. Is n composite?
False
Let r = -83 + 850. Is r composite?
True
Suppose -608 = s + 3*s. Let a = -155 - 91. Let n = s - a. Is n prime?
False
Suppose 2*v - n = 38, 3*n = 5*v - 15 - 78. Let z = v - 18. Suppose 3*f - 4*p - 105 = -2*p, -f - z*p = -35. Is f prime?
False
Let q be 0 + -3 + 5 + 2. Is q/4 + (1 - -681) a prime number?
True
Let r be (-1)/(-4) - 488/32. Is r/15 - (-186 - 0) prime?
False
Suppose -15*m = 4*z - 19*m - 55828, 0 = 4*m. Is z prime?
False
Suppose 25108 - 5494 = 6*l. Is l a composite number?
True
Is 4/22 - 225765/(-55) composite?
True
Suppose 0*f = -2*f + 10. Suppose r - g = 4*g + 46, f*r = 2*g + 161. Let w = 498 - r. Is w a prime number?
True
Suppose 24 = -10*n + 16*n. Let t(k) = 240*k + 7. Is t(n) a prime number?
True
Let b(s) = 2*s**2 - 11*s - 44. Is b(55) prime?
False
Let a(v) = -v + 109. Is a(-30) prime?
True
Let f(t) be the third derivative of -115*t**4/8 + 19*t**3/6 + 27*t**2. Is f(-8) composite?
True
Let w = -4540 + 6402. Let a = w + -993. Is a a prime number?
False
Let p(r) = -r - 4. Let b be p(-5). Suppose 1259 = -2*x + 369. Is (x - b)*(-4)/8 a composite number?
False
Let m(k) be the third derivative of 133*k**4/24 + 5*k**3/6 - 8*k**2. Is m(4) composite?
True
Let d = 16 - -8. Suppose -4*q - 4*f = d - 4, 4*q - f + 5 = 0. Is 61 + -1 + 2/q composite?
False
Suppose 3*j = 5*i + 1892, -4*j + 5*i + 107 = -2424. Suppose -j = -4*d + 2069. Is d composite?
False
Let u(t) = t**2 - 13*t + 15. Let i be u(12). Let a be ((-98)/21)/(2/i). Is (-9 - a) + (49 - 0) a prime