p composite?
True
Suppose -27*x - 38*x + 27073992 + 633623 = 0. Is x composite?
True
Suppose 5*d - 2625 = 6540. Suppose -4*m + 66829 - d = 0. Is m a prime number?
True
Suppose -3*n - 58 = -4*j, -2*n + j - 41 = -4*j. Let a be n/7 - (-36)/63. Is ((-1)/a - 2)*1774/(-3) a prime number?
True
Let a(u) = u**3 + 21*u**2 + 45*u + 28. Let q be a(-19). Let v = 26 - q. Is v a prime number?
True
Suppose 2*v = 32 + 20. Is (-388)/6*(-5343)/v a composite number?
True
Let y(n) = n**2 + 2*n + 4. Let g be y(-4). Suppose 8*x = g*x - 20. Suppose 5*a + 16 = 5*i - 144, 2*i + x*a = 57. Is i prime?
True
Let b = 1393 + -788. Suppose -i + 4*l + 71 + 104 = 0, 3*i + 4*l - b = 0. Let h = 2620 + i. Is h a prime number?
False
Suppose -9*c - 3*c + 39144 = 0. Is (-3*(-8)/(-24))/((-2)/c) a composite number?
True
Suppose -l = -24109 - 68958. Is l a prime number?
False
Let b(n) = -n - 1. Let c(w) = 62*w - 9. Let m(i) = 2*b(i) - c(i). Is m(-9) prime?
False
Suppose 2923029 + 3595638 = 17*a. Is a a prime number?
False
Let i(t) = 6*t + 38. Let z be i(-3). Suppose -3*w + 26 = z. Suppose -o = -2*h + 219 + 90, -5*h + 795 = w*o. Is h composite?
False
Let m = -279 + 164. Let h = 118 + m. Suppose 4*r + 6629 = h*s, -3*s + 8797 = s + 3*r. Is s prime?
True
Let y(v) = v**2 + v - 5. Let g be y(-4). Suppose 15*i - 24 = g*i. Suppose 0*t = 3*t + i*r - 132, 5*r = 4*t - 221. Is t a composite number?
True
Let t(j) = -j**3 - 92*j**2 - 17*j + 2911. Is t(-110) a prime number?
False
Let m = 1109 - 202. Let u(l) = 36*l**2 + m - 66*l**2 + 32*l**2. Is u(0) a composite number?
False
Suppose -63*m = -50*m - 213343. Is m composite?
False
Let v = 9548 - 16253. Let u = 2272 - v. Suppose 6*d - 9461 = u. Is d a composite number?
True
Let b(g) = -1992*g**3 - 2*g**2 - 74*g - 215. Is b(-3) a prime number?
True
Let q = 228497 - 148356. Is q composite?
False
Suppose -2*k + 1411731 = 2*k + 5*a, 2*k + 3*a = 705867. Is k a composite number?
True
Let s(f) = 22*f**2 - 325*f - 1045. Is s(-140) a prime number?
False
Suppose -3*m - n = -56985 - 73395, 0 = -2*m + 3*n + 86909. Is m a prime number?
False
Let c(x) = 2*x**2 - 2*x + 2237. Suppose -12 = -6*w + 6. Suppose -5*h + 4*p - 5*p = w, -2*h - 3*p = 9. Is c(h) a composite number?
False
Let l = -178930 + 603179. Is l a prime number?
False
Let x = 85610 + -43268. Suppose -x = 5*m - 11*m. Is m a prime number?
True
Let f be (3/2)/(6*1/136). Let v = f + -38. Is 1*74/(-4)*v prime?
False
Let p(s) = 896*s - 118. Let o(n) = 299*n - 39. Let y(t) = -11*o(t) + 4*p(t). Is y(8) a composite number?
True
Is 2 + -8 - -6 - (4 + -3263) a prime number?
True
Suppose -k + 2*b - 373 = 0, -2*k + b - 460 = 286. Suppose -670 = o - 5*p, 3*o + 20*p - 19*p + 2026 = 0. Let w = k - o. Is w a prime number?
False
Suppose -3*d - 4*x + 7*x = -16491, -27491 = -5*d + 2*x. Suppose -d = -3*i - 4*l, 7*l = -i + 11*l + 1849. Is i prime?
False
Let r(h) be the third derivative of -1/12*h**5 - 1/120*h**6 + 0*h + 1/8*h**4 + h**2 + 0*h**3 + 0. Is r(-7) a prime number?
False
Suppose 4414790 + 8084101 = 123*v. Is v composite?
True
Let a be 4/5*(-3 - 45393/(-6)). Let n = 16924 - a. Let j = -4995 + n. Is j a prime number?
True
Let i(j) = 2425*j**2 - 312*j - 2720. Is i(-9) a composite number?
True
Let r(s) = 2*s**2 - 21*s + 48. Let y be (-18)/(-12)*50/(-3). Is r(y) a composite number?
False
Let z(o) = o + 34. Let v be z(-18). Suppose 4*l = v, -2*j = -5*l - 0*l + 14. Suppose -j*y - 390 = -3*c, -c + 0*c - 2*y = -121. Is c composite?
False
Let j(b) = 87917*b - 2934. Is j(3) prime?
False
Let d(q) = -5*q**2 - 3*q + 5. Let c be d(-3). Let a = c + 20. Is a/((-33)/108) - 3 prime?
False
Let o(j) = -11*j - 19. Suppose -8*a - 128 = -0*a. Is o(a) a prime number?
True
Let z(v) = -5370*v - 33 + 43 + 82 - 15. Is z(-4) a prime number?
True
Let b = 1630 + -1091. Suppose o - 1423 = b. Suppose -3280 = -5*z + 5*k, 3*z - 2*k = 3*k + o. Is z a composite number?
False
Let q be 0*(-3)/6 - 5195. Let c = -496 - q. Is c composite?
True
Let i(n) = -3 - 13 + 0*n - 2*n + 5*n. Let r be i(7). Is (r/15)/((-3)/(-2115)) a composite number?
True
Let x be 43227/21 + 18/(-42). Suppose 2*f = 4 + 6. Suppose -4*c = -f*v - 2046, 0 = 4*c - 3*v + 4*v - x. Is c composite?
True
Let y(s) = -s**2 - 13*s + 16. Let l(a) = 4*a - 14. Let d be l(0). Let m be y(d). Suppose -4*f = -6*f - m*n + 2522, 2*f - n = 2516. Is f a composite number?
False
Suppose 38*m - 7312628 - 2493386 = 0. Is m prime?
False
Suppose 0 = 3*c + 25948 - 120064. Suppose 0 = 5*t - c - 8978. Suppose 7*g - t = g. Is g composite?
True
Let a(i) = -7*i - 27. Let o be a(-6). Let u be (-4)/(-12)*(0 + o). Suppose 0 = -u*k - 324 + 2549. Is k prime?
False
Suppose 0 = -5*d + 4*a + 322773, 3*d + 24*a = 20*a + 193651. Is d prime?
True
Suppose -39*h + 331955 + 127624 = -251352. Is h a composite number?
False
Suppose -3*n + 26 = -z, -n = 2*n - 3*z - 18. Suppose n*b + 7096 = 18*b. Is b composite?
False
Let a(w) = 151344*w - 7423. Is a(8) composite?
False
Suppose 2*b - 43257 = -3*d + 2*d, 2*d = b - 21631. Suppose i - b - 35380 = 4*l, -i + 57049 = 4*l. Is i a prime number?
False
Let c(k) = 39149*k**2 + 17*k + 39. Is c(-2) prime?
True
Is 5 - (-71717 - (-19 - 2)) a prime number?
False
Let f(b) = -4945*b**3 + b**2 + b + 1. Let j be f(-1). Let k = j - 3225. Let s = k - 1224. Is s composite?
True
Suppose 6*f + 1322 = 2*f + w, -2*w + 1651 = -5*f. Let t = 675 + f. Let d = t + -51. Is d a composite number?
False
Suppose -5*t = -x + 182876 - 64603, 0 = -3*x - 5*t + 354799. Let z be (-3 - x/(-32)) + (-1)/(-8). Let w = z - 2480. Is w composite?
False
Let w = 584739 + -329102. Is w prime?
True
Suppose -13*u = -12*u + 5*x + 8160, -4*x + 16278 = -2*u. Let b = -4112 - u. Is b prime?
False
Is (8/(-24))/((-2602922)/(-371847) + -7) prime?
True
Let j be 16/56 + 66/14. Suppose -m = 4*t + 273, -m - j*t - 73 - 197 = 0. Let r = m + 502. Is r a prime number?
False
Suppose 20 = -4*l, 5*u - 653 - 242 = 5*l. Suppose s - 3277 + u = 0. Is s prime?
False
Let k(f) = 34 + 0 + 71 - 38 + 48 - 1904*f. Is k(-11) a composite number?
False
Let u(r) = -2*r**3. Let k = -29 + 30. Let w be u(k). Is (w/(-1) - -156)/((-2)/(-11)) composite?
True
Suppose -4*t - 128 = -2*v - v, -56 = -v - 2*t. Let o = v + -43. Suppose -n + o*g = n - 1606, 805 = n - 3*g. Is n composite?
True
Suppose 5*b - 22 = -2. Suppose a + 297 = 1967. Suppose b*p = -p + a. Is p a composite number?
True
Let c(y) = -186*y**3 - 9*y**2 + 50*y + 227. Is c(-6) composite?
False
Suppose 5*q - 3*t - 3064450 = 0, 0 = -9*q + 5*q + 3*t + 2451563. Is q prime?
False
Suppose 71*u - 1564732 - 4297951 = 0. Is u a composite number?
True
Suppose 23*a + 6*a = -5*a + 409870. Is a composite?
True
Let r = 114 - 121. Let a = r - -228. Is a a prime number?
False
Let f(u) = u**3 + 90*u**2 + 166*u + 1872. Is f(-53) a prime number?
True
Let c(b) = 3274 + 884*b - 883*b - b**3 + 2*b**3. Is c(0) a composite number?
True
Is (-1)/((-8)/20) + (-1318590)/(-12) a composite number?
True
Is 247160/12 + 13*2/78 prime?
False
Let c be ((-16)/7 + 0)*889/(-254). Is -22*(20584/(-112) + c/28) composite?
True
Let p(c) = 5*c + 19. Let u be p(-3). Suppose -4087 = -w + i, 4*w - 16344 = -i + u*i. Is w composite?
True
Suppose u - 2*y + 16 = 0, 3*y = -u - 3*u - 64. Is u/24 + 82*3405/18 composite?
False
Suppose 410*w = 405*w + 50. Suppose -p + w*q = 6*q - 4083, -3*p + q = -12271. Is p a prime number?
True
Suppose -7 = -v - 4. Suppose 3*o + v*o = 0. Suppose 6*y + 26 - 560 = o. Is y a prime number?
True
Let q = 82 + -71. Suppose 7*y = q*y - 20. Suppose y*r - 11608 = -3*r. Is r composite?
False
Suppose 9 = -2*k + 4*d + 29, 0 = -3*k + 3*d + 18. Suppose -3*o + 2*z = -2948 - 4275, k*z - 10 = 0. Is o a prime number?
True
Suppose -l = -0*l - 13. Suppose -l*p + 11057 = -12*p. Is p composite?
False
Suppose 0 = 3*z - 2*h + 5, 8*z - 3*z + 4*h + 45 = 0. Let a(l) = 506*l**2 + 19*l + 56. Is a(z) prime?
True
Let n(s) = -s**3 + 6*s**2 - 151*s + 117. Is n(-49) prime?
True
Let a = 63887 + -6910. Is a a composite number?
True
Let m = -8301 - -15227. Suppose 5*i - 6959 = m. Is i composite?
False
Is 14/(15/((-538710)/(-4))) a prime number?
False
Suppose 0 = -4*d + 20 - 76. Let u(c) = 7 + 10 - 14 + 0 - 347*c. Is u(d) a prime number?
True
Let q(g) be the first derivative of -19*g**5/15 + 17*g**4/24 - 37*g**3/3 + 42. Let a(o) be the third derivative of q(o). Is a(-13) composite?