 + a = -4*y. Is y prime?
True
Let g(v) = -25*v**3 - 56*v**2 - 38*v + 87. Is g(-28) a composite number?
False
Let y(b) = -54*b**2 + b - 35. Let a be y(8). Let x(u) = 40*u**3 - 3*u**2 - 3. Let v be x(5). Let m = a + v. Is m a composite number?
False
Let w(c) = 3*c**3 - 5*c**2 + 34*c - 8. Let f be w(12). Is f + (-18)/4*(-12)/(-18) a composite number?
False
Let c(k) = 3334*k - 663. Is c(35) composite?
False
Let k be (1/(-7) - 672/441)*-3. Suppose -k*w = -1782 - 19573. Is w prime?
True
Let m = -239567 + 633468. Is m composite?
False
Is 4 - (13 + 180)*-1611 a composite number?
False
Suppose -2*a - 3304 = -4*s, 1515 + 963 = 3*s + 5*a. Let o be s*(-1 - -5)/8. Is -14 + o + (-3 - -1) a composite number?
False
Let b be 0/2 - (-6888)/3. Let l be 8 - -7*(-4)/56*8. Suppose -l*r = -12*r + b. Is r a prime number?
False
Let c(f) = -4*f**3 + 2*f**2 - f - 2. Let a be c(-1). Suppose 5916 + 7741 = 5*s - 2*j, a*s = -j + 13669. Suppose 3*t - s = -624. Is t a prime number?
False
Let d = 24840 - 4751. Is d prime?
True
Let k(d) be the second derivative of 267*d**5/20 + d**4/3 + d**3/6 - d**2/2 + 25*d + 2. Is k(2) a prime number?
True
Is 4 - ((-15)/30 - 1081239/6) a prime number?
True
Let a = 165 + -165. Suppose a = -3*q - 0*c + 4*c + 6651, c = 4*q - 8855. Is q a prime number?
True
Let d(k) = k**2 + 18*k + 45688. Let o be d(0). Suppose -181*y - o = -185*y. Is y composite?
True
Let r = -10330 - 16416. Let v = r - -44787. Is v composite?
False
Suppose -4*s + 2*p + 1915308 = 0, 2*s - 2*p - 197418 = 760232. Is s composite?
True
Let b(h) = 35*h**2 - 2*h + 30. Let i be b(-8). Suppose -u = -2813 - i. Is u prime?
True
Suppose -3 = 3*w, 5*w + 0 = -4*a - 1. Let i(q) = 390*q - 19. Is i(a) a composite number?
True
Suppose -110*k + 2*t - 1575704 = -114*k, 5*t = 4*k - 1575662. Is k a prime number?
False
Let f = 5956 - 784. Suppose -14*i = -26*i + f. Is i prime?
True
Let a(l) = 29*l**2 + 6*l - 10. Let i be a(14). Suppose 298*s - 296*s - i = 0. Is s prime?
True
Let g = 781324 + -534981. Is g composite?
False
Suppose 3*v - 15 = -4*n, -3*n = -v - 4*v - 33. Let s be (-1)/(-2)*1*n. Suppose 3*m - 4*m + s*h = -407, 1231 = 3*m - 4*h. Is m a composite number?
True
Let v(g) = -g**3 - 5*g**2 + 3. Let k be v(-5). Let i(f) = 4*f**3 + 5*f**2 - 3*f - 4. Let l be i(k). Let w = l + 2439. Is w a composite number?
False
Let f(z) = -102*z**3 + 3*z**2 + 5*z + 1. Let s = 139 + -142. Is f(s) composite?
False
Is (7390369/(-56))/31*-8 composite?
False
Is (-1)/(10/73070)*17*-1 prime?
False
Let s(l) be the first derivative of 137*l**2/2 - 54*l + 2. Let n be s(-13). Let i = 266 - n. Is i prime?
False
Is ((2 - 9/(-18))/(-5))/(1/(-190474)) a prime number?
False
Suppose -4*k - 102694 = -2*y - 1948, -4*y + 201457 = -3*k. Is y a composite number?
False
Let x = -42988 + 193989. Is x a prime number?
False
Is (14/(-20))/(521/(-275937230)) composite?
True
Let x = -14 + -8. Let q = 25 + x. Is (-9)/(-2)*94/q a prime number?
False
Let i = -48 + 91. Let p = 41 - i. Is (-2011)/(-3) - p/3 composite?
True
Let b(r) = -3540*r - 1591. Is b(-7) a composite number?
False
Let l be 3 + -2 - 77/7. Let o(f) = 86*f + 11. Let x be o(l). Let y = 1840 + x. Is y a composite number?
False
Let u(v) = v**3 + 2*v**2 - 4*v + 4. Let j be u(-4). Let p(f) = 7*f + 2. Let g be p(j). Is -3 - 3/(6/g) a prime number?
False
Let b(x) = -78*x + 1. Suppose -3*k - 5 + 2 = 0. Let h(u) = 1. Let t(p) = k*b(p) + 4*h(p). Is t(2) a prime number?
False
Let s(w) = -w**2 + 15*w - 28. Let k = 49 + -36. Let f be s(k). Is ((-1)/f)/((-2)/(-15140)) a composite number?
True
Suppose 0 = -2*n + 12 - 2. Suppose 2*v = n*v - 5748. Suppose -2*k + v = 4*m, 4*k - 3*k = -3*m + 1437. Is m prime?
True
Suppose 0 = -5*w + 5*a + 2610, 0*a + 2*a + 2080 = 4*w. Suppose -m + 0*m + w = 0. Let v = m + -69. Is v a prime number?
True
Let s be (2394/24)/7 - (-2)/(-8). Suppose -2*x + s = 8. Suppose 5395 = 5*r - 0*r - 5*i, -x*r + 3237 = 5*i. Is r prime?
False
Let d(y) = 161*y**2 - 28. Let o be d(11). Suppose -4*q - 3*q = o. Is (q/7)/((-1)/7) a prime number?
False
Suppose -3*z - 4393 = -3*m + 5894, -m + 13713 = -4*z. Is -46*9/72*z a prime number?
False
Suppose 3 - 1 = -k - a, 0 = 4*a + 12. Let c be -10 + 18 - (k + 0 - -2). Suppose 0 = d + 3*r - 1471, 3*d = c*d - 3*r - 2924. Is d a prime number?
False
Let c(l) = 2*l**3 + l + 3*l**3 - 680*l**2 + 14 + 653*l**2. Is c(13) composite?
False
Suppose 6006*z + 347064 = 6030*z. Is z prime?
True
Let d = 7734 - -23069. Is d composite?
False
Suppose 0 = k - 1, -179 = 4*y - 3*k + 56. Let q be (18/(-4))/((-1)/y). Is -2*(-1 + q/6) a composite number?
False
Let p(l) = l**2 - 12*l + 29. Let i be p(9). Suppose 4*q = -i*u + q + 24, 0 = -4*q + 16. Suppose 113 = w - u. Is w a prime number?
False
Let o(q) = -126*q**3 - q**2 + 7*q + 5. Let c be (5 - (-16)/(-4))*-3. Is o(c) a prime number?
False
Let r(f) be the first derivative of 29*f**2/2 - 67*f + 16. Let d(h) = -h**3 - 2*h**2 + 14*h + 19. Let z be d(-5). Is r(z) prime?
False
Let p(o) = -176*o**3 - 18*o**2 - 113*o - 30. Is p(-13) a composite number?
False
Is (-2)/(48/(-739602)) - (-4)/16 a prime number?
True
Let n = -10572 - -56893. Is n prime?
False
Suppose 17*d + 10 = 22*d. Suppose -d*y + 106 = -936. Is y prime?
True
Let n(f) = 174*f**2 + 19*f + 67. Let l(k) = -2*k**2 + k. Let t(x) = l(x) + n(x). Is t(-5) prime?
False
Suppose 2*j = 4 - 0. Let x(l) = 2*l**2 + 43*l - 192. Let i be x(16). Suppose j*r + 5*y - 148 = 346, -4*r - 5*y = -i. Is r a prime number?
True
Suppose 1575 - 6343 = -p + 3*c, -23810 = -5*p + 5*c. Is p composite?
False
Let v = 24 + -24. Let c(m) be the first derivative of m**3/3 + 3*m**2/2 + 2611*m - 21. Is c(v) composite?
True
Is (-4)/(-3) + -31 + (-21796690)/(-87) prime?
False
Suppose 0 = -5*j + 20, -2*p - 4*j + 5*j + 68502 = 0. Suppose -s = 5*z + 22868 - 65670, 0 = -4*z + 3*s + p. Is z a prime number?
False
Suppose 0 = -5*r + 5*t + 222090, 14*r - 11*r - 133255 = 4*t. Is r a prime number?
True
Suppose 7*q - 19*q + 60 = 0. Suppose 0 = -x - 5*g + 2736, -q*x = 2*g - 5226 - 8546. Suppose z = 3*v + 1373, -5*z + v + x = -3*z. Is z a prime number?
False
Suppose s = -4*o - 4*s + 532457, -3*o = -2*s - 399337. Is o a prime number?
False
Suppose -20*i + 23*i = -f + 52267, -3*f = i - 156753. Is f a composite number?
False
Let a(z) = 2*z**2 + 53*z + 45. Let k(r) = -20*r + 8. Let s be k(2). Is a(s) prime?
True
Let o be (-14 + (-444)/(-24))*(-2)/(-3). Suppose 3*h - 3*l - 24804 = -6*l, -o*h + 2*l + 24779 = 0. Is h a prime number?
True
Let g(y) = 20*y**2 + 7*y + 22. Let j = 121 + -249. Let s = j + 123. Is g(s) prime?
True
Let n(z) = -685*z**3 - 9*z**2 + 26*z + 69. Is n(-5) prime?
False
Suppose -74372 = -8*n + 165636. Let t = 48592 - n. Is t a prime number?
False
Suppose -2*q + 46 = 3*b, -2*b + 31 + 2 = -q. Let d be b/(4 - 2) + (-8)/2. Suppose 2*w - 4*w + d = 0, 3*w - 4104 = -2*s. Is s composite?
True
Let u = -23 + 21. Let y be (5894 - 10)/((-1)/u). Suppose y = 4*c - 3*x, -x = -5*c + 13979 + 720. Is c prime?
True
Let h(d) = -95*d - 4. Let f(o) = o**3 + 7*o**2 - 3*o - 12. Let n be f(-7). Let p be h(n). Let z = -552 - p. Is z composite?
False
Suppose -11*q = 6 - 28. Let z(h) be the third derivative of h**6/24 + h**5/60 + h**4/8 - h**3/6 + 9*h**2. Is z(q) a prime number?
False
Let o(h) = -28*h - 23. Let a(p) be the first derivative of 111*p**2/2 + 92*p + 28. Let z(u) = -2*a(u) - 9*o(u). Is z(14) prime?
True
Suppose 375*h - 364*h - 118401 = 237020. Is h a composite number?
True
Let l(f) = -2*f**3 - 8*f**2 + 19*f - 38. Let q be l(-16). Let n = q + -3175. Is n composite?
True
Is 5/30*2 + (-79592)/(-3) a prime number?
False
Let s(k) = 246856*k - 2311. Is s(2) prime?
False
Let f(y) = -3*y - 18. Let i be (-7 + 10)/(6/(-16)). Let k be f(i). Is 278/k*1 + (-4)/(-6) composite?
False
Let h(i) = 28315*i + 387. Is h(4) composite?
False
Let n(l) = 2017*l + 137. Let i be n(16). Suppose -2*s - 43 + i = 2*t, -4*t = s - 16183. Is s composite?
False
Suppose -32*y + 68 = -28*y. Suppose -o - 4*h = 2*o - y, o - 5*h = -7. Is (-238)/o*(-6)/4 prime?
False
Let f be (-654)/(-14) + -2 + 4/14. Suppose 5*t - 24 = 10191. Suppose -48*b + f*b = -t. Is b prime?
False
Suppose 1174*i - 1173*i - 20901 = 0. Is i composite?
True
Let s = 1463114 - -200259. Is s prime?
True
Let h(d) = -57*d**2 + 3*d + 4. Let l be h(7). Let x = -1565 - l. Suppose 4797 = 4*y - 0*a