p a composite number?
False
Is -429 + 314531 - (-6)/(-2) a prime number?
False
Suppose 3810 = -33*p + 53937. Suppose -p = -4*g - 19*v + 18*v, -5*g - 2*v = -1901. Is g composite?
False
Suppose 8*p + 24 = 5*r + 4*p, -2*p = 5*r - 18. Suppose 2*z - 1699 - 610 = -5*n, r*n = -z + 1159. Is z composite?
True
Let h = 12185 - 8945. Let p(j) = -1436*j - 5. Let x be p(-5). Let t = x - h. Is t a composite number?
True
Let r = 220 + -216. Is 7726/r*(-6)/((-6)/2) prime?
True
Let c(v) = 3*v**3 - v**2 + 7*v + 7. Suppose -w + j = -1, 0 - 10 = 2*w + 4*j. Let m be c(w). Is ((-3918)/(-12) - -4) + (-2)/m prime?
True
Let a = -13 - -29. Let w be 3/(((-9)/(-46776))/(4/a)). Suppose -11*s = -13*s + w. Is s a prime number?
True
Let z(q) = -q**2 + 3*q. Let m be z(2). Suppose -l + 3*g = m, l + 0*l - 5*g = -6. Is (1 + (-1895)/l)*(-3 - 1) a prime number?
False
Let c be (-6)/(-39) - 2/13. Suppose c = -3*a - 93 + 2418. Let r = a - 272. Is r a prime number?
True
Let k = 44 + -45. Let j be (-297)/(-108) + k/(-4). Suppose 2*n + 257 = j*n + p, 0 = 3*n + 4*p - 771. Is n prime?
True
Let v = 33259 - 16100. Is v a composite number?
False
Let p be (9/(-18))/(2/(-37 - -1)). Suppose 2*n = -c + p, -3*n = 2*n - 15. Suppose 6*k - c*k - 5*b - 1178 = 0, -k + 388 = 3*b. Is k composite?
True
Is 2/10 - 19/((-1520)/2041824) a composite number?
False
Let f(b) = -3*b**2 - 19*b - 8. Let s be f(-16). Let p = 30 - s. Is p a composite number?
True
Suppose -70*x + 42*x = -543200. Let c = x + -13353. Is c a composite number?
False
Suppose 2*g + 0*t - 519502 = -4*t, g - 3*t - 259771 = 0. Is g a composite number?
True
Suppose -18*y - 23066 = -37*y. Let c = 2445 - y. Is c a composite number?
False
Suppose 5*j = -5, -5*x + 56 = 2*j + 2*j. Let r be (315/x)/(-5)*20/(-15). Suppose 0 = 4*b + 5*o - 1923, -4*o = r*b - 9*b + 994. Is b a prime number?
True
Let h be (-354)/(-14) - (-4)/(-14). Let z = h + -23. Suppose -z*k - 1298 = -4*k. Is k prime?
False
Let z(t) = -449*t + 15. Suppose 15*h = 16*h + 8. Is z(h) composite?
False
Let a(k) = 3*k**2 - 6*k + 19. Suppose -10*b = -92 - 68. Is a(b) a prime number?
True
Let t(x) = -12*x + 95. Let c be t(8). Is (-18741)/(-15) - (c + (-14)/(-10)) prime?
True
Let j = 29296 + 35467. Is j prime?
True
Let q be -6 + 1 - 246/(-6)*683. Suppose -2*d - 14000 = -3*d + 3*v, 2*d = 4*v + q. Is d a composite number?
False
Let s(c) be the third derivative of -c**4/8 - 4*c**3/3 + 3*c**2. Let f be s(-7). Suppose f*d - 1228 = 9*d. Is d prime?
True
Let v be -11 + (-238)/(-21) - (-90388)/6. Suppose 0 = -10*n + 41795 + v. Is n a composite number?
True
Let w = 77772 + -46079. Is w prime?
False
Let n be (-14)/161 - 4333/161. Let v(s) = -s**3 + 2*s**2 + 73*s + 37. Is v(n) composite?
False
Let l be (-85)/15 + (-1)/3. Let d be 130/30 - 4/l. Suppose -2*q = 2*p - 2094, d*q + 0*p - 5185 = 5*p. Is q prime?
False
Is (-11)/((-7)/199591*(-3 + -4 + 8)) prime?
False
Suppose -23*d - 31*d + 7*d = -977177. Is d a composite number?
True
Is (109/6)/((-49)/(-376026)) a composite number?
True
Suppose -5*y - 193*n + 189*n + 5028127 = 0, 2*y - n - 2011230 = 0. Is y prime?
True
Let m = 37 + -22. Suppose 3*b - 2*p = m, 0*p = p + 3. Suppose 9 = -b*a, 382 = -5*u - 3*a + 1428. Is u composite?
False
Suppose -2750790 + 371427 = -21*o. Is o a composite number?
True
Let v = 111816 + -77885. Is v prime?
True
Suppose k = -2*p, -3*p = -5*k - 55 + 107. Suppose 0*q = 3*q - 12. Is q/k*2*307 prime?
True
Suppose -311*u + 282*u = -15050449. Is u prime?
True
Suppose 4*c - 855 = -5*w, 171 = 4*w - 3*w - 2*c. Suppose -5*k + 2*b - 79 = -364, -3*k + w = b. Is k a composite number?
True
Suppose -4*r + 8 + 22 = 5*t, -4*r + 16 = -2*t. Let l(c) = -952*c**2 - 10*c - 6. Let f be l(r). Is f/(-60) + 6/(-10) a composite number?
False
Suppose -75*r + 5584368 = 2871318 - 12344775. Is r composite?
False
Let i = -28 - -29. Let a(p) = -p**2 + p + 2. Let d be a(i). Is 981 + (-1)/(d*(-3)/(-12)) composite?
True
Suppose -4*x + 3*c - 31844 = -82926, -8 = -4*c. Let h = x + -8603. Is h a composite number?
True
Let v(j) = 5*j**3 - j**2 - 4*j + 1. Suppose -3*i = -2*i - 8. Suppose 0 = i*b - 50 + 10. Is v(b) prime?
False
Let k be (-1 + 8)/(3/(-69)). Is (-164 - k)/((-2300)/(-2302) - 1) prime?
False
Suppose -2*k = -q + 197, 94*k + 3*q - 303 = 97*k. Let o be 1/(222/(-223) - -1). Let b = k + o. Is b a prime number?
True
Let q(w) = 7614*w**2 - 1. Let a(c) = -7613*c**2 + 3. Let t(j) = 2*a(j) + 3*q(j). Is t(-1) a composite number?
True
Let m(t) = -9090*t - 137. Is m(-12) prime?
True
Let k = -8784 + 12958. Is k a prime number?
False
Let b(v) be the third derivative of 119*v**4/6 - 37*v**3/6 - 24*v**2. Is b(15) prime?
True
Let y = -14 + 10. Is 16924 + -5 + 6 + y composite?
False
Is (7/((-21)/110486))/(16/(-120)*5) prime?
True
Suppose -20 = 4*v, 4*v + 376939 = 3*i - 1151569. Is i/143 + 2/22 a composite number?
True
Let k(h) be the first derivative of 7/3*h**3 - 2*h**2 - 20 + 10*h. Is k(-5) a composite number?
True
Let z(f) = -2*f**2 + 48*f - 25. Let i be z(24). Let n(k) = 19*k**2 - 24*k + 36. Is n(i) prime?
True
Let d be 67 - (3 + -1 + -2). Suppose 73 = -18*p + 1081. Let g = p + d. Is g prime?
False
Let y(b) = -17*b**3 - 10*b - 21. Let t be y(-5). Is t + -6 + 4 + 7 a composite number?
True
Let i(h) = -140*h + 12. Let y be i(8). Let z = y + 1937. Suppose 9*u - 2836 = -z. Is u prime?
True
Let a(m) = -m**3 + 154*m**2 + 16*m - 893. Is a(104) a composite number?
False
Is (-1104304)/(-32) + (-81)/(-18) a prime number?
False
Let v(z) = z - 8*z + 1 + 5*z - 3*z - 302*z**2. Let p be v(-5). Let l = -4415 - p. Is l a composite number?
False
Let q = 2769 + -4671. Is 33/55 + q/(-5) prime?
False
Let u(v) = -372*v - 35. Let q be 10*(21/6 - 4 - 1). Is u(q) a prime number?
False
Suppose 302 = 4*y - 1118. Suppose -c - 679 = 3*s, s = 3*s - 5*c + 481. Let r = s + y. Is r a composite number?
False
Let v = 2442 + -8494. Let q = v + 15585. Is q prime?
True
Let k(v) = -667*v**2 - 4*v + 7. Let b(y) = -y**2 + y - 1. Let o(a) = -4*b(a) - k(a). Let f = -15 + 17. Is o(f) a composite number?
True
Let s(u) = 24*u + 119. Let y be s(-5). Is (3/((-3)/1399))/y prime?
True
Let o(t) = 11*t**3 - 7*t**2 + 4*t + 17. Let s be o(5). Suppose -s + 326 = -l. Is l a composite number?
False
Suppose -11*n + 679 = -x - 6*n, -2*x - 4*n = 1358. Let l = 1532 + x. Is l a composite number?
False
Let c(j) = j**3 + j**2 - 7*j - 3. Let f be c(-3). Suppose f = i + i - 96. Let y = 685 + i. Is y a prime number?
True
Suppose 3006*d - 2999*d = 465185. Is d a composite number?
True
Suppose 37*o - 40*o + 80871 = -5*b, -2*o = -2*b - 53906. Is o composite?
False
Suppose 3*m + 0 = -3*z + 3, -3*z + 3*m = -27. Suppose -z*w - 1337 = -3*s, -w + 8 = -3*w. Is s prime?
True
Suppose -12 = -3*u, 0*b - 448 = -5*b - 2*u. Is ((-4)/6)/(b/(-822228)) a prime number?
True
Let n be 0 + (-2 - -4) + 0. Let l be 2*(-1)/n + 0. Is (-16)/56*l - 6767/(-7) a composite number?
False
Suppose 11*p - 248 - 324 = 0. Let v = p - 47. Suppose 0 = v*i + s - 1100, 4*i - s - 229 - 642 = 0. Is i a prime number?
False
Let y = -543701 + 790918. Is y prime?
False
Suppose -n = -3*p - 10 - 14, -4*n = -3*p - 33. Let a be ((-2)/(-4))/((-2 - p)/50). Is -1 + 20*a - (8 - 4) a composite number?
True
Let r = -205 - 48. Suppose -4577 = -13*f + 3379. Let k = f - r. Is k composite?
True
Let c be 6/(6/5) + (-5 - -1). Is (-2 - c)*(6 + 2978/(-6)) composite?
False
Let r be (-3564)/(-5 + 1) - (2 - 0). Suppose 5086 = 5*s - r. Is s a prime number?
False
Let s(n) = 18484*n - 45. Let v be s(2). Suppose 0 = -8*h + 12509 + v. Is h prime?
False
Let n(o) = 8005*o**2 + 9*o - 53. Is n(-5) a composite number?
True
Let c = 52 - 47. Suppose 18 = -c*t + y, -2*y = -t + y + 2. Is 19887/12 - (-1)/t a composite number?
False
Suppose -2*b + 0*q = -4*q - 26010, -2*b - 2*q = -25998. Is b a prime number?
True
Suppose 0 = -176*g + 168*g + 2043976. Is g a prime number?
False
Let z(c) = 360*c**2 + 2*c + 4. Let f(o) = 180*o**2 + o + 2. Let l(x) = -5*f(x) + 3*z(x). Let n be l(4). Let u = n + -941. Is u a composite number?
True
Let k = -65 + 61. Let y(q) = 55*q**2 + 7*q + 5. Let f(t) = -110*t**2 - 14*t - 10. Let u(i) = k*f(i) - 7*y(i). Is u(-2) composite?
False
Let f = -713 - -710. Is f*(3 - (-41360)/(-15)) a composite number?
False
Suppose -4*h + 3475483 = -5*f, -308*f = 8*h - 311*f - 6950945. Is h composite?
False
Let o(d)