00 = 22*c - 6270. Is c a composite number?
True
Let t(w) = -19*w**2 - w - 5. Let o(d) = -d**2 - d + 1. Let y(u) = 4*o(u) - t(u). Let k be y(-7). Suppose -5*m = -4*j - j - k, -5*m - 3*j = -733. Is m prime?
True
Let f(h) = -h - 11. Let t be f(-14). Let g(n) = 2*n - 1 + 35*n**2 - 13*n**2 + 0*n. Is g(t) a composite number?
True
Let u = -108 + 110. Suppose u*y + 4688 = 4*f + 3*y, 4 = y. Is f composite?
False
Let b(l) = 35*l**2 + 32*l - 181. Is b(-42) composite?
True
Let p(j) = -j**3 - 18*j**2 + 11*j - 13. Let c be (1 - 36)*(-12)/(-20). Is p(c) a composite number?
True
Let c(q) = -q**3 + 12*q**2 - 6*q + 2. Let t be c(6). Suppose -m = 513 + t. Let b = m - -1004. Is b a prime number?
False
Suppose -3*o + 108 = -666. Suppose -r + 380 = 5*c - 50, -3*c + o = 2*r. Is c prime?
False
Let i(y) be the third derivative of -y**4/24 - 2*y**3 - 6*y**2. Let c be i(-13). Let a(w) = 300*w**3 - w. Is a(c) prime?
False
Let n = 5 + -3. Suppose n*q = b + 288, 3*q + b - 443 = -3*b. Is (q - 2)*(-3)/(-3) prime?
False
Suppose -2*c - 51 = -4*k - 9, 0 = -2*k + 3*c + 31. Suppose -3*o = -k*o - 15. Is ((-2)/6)/(o/1449) prime?
False
Let j(d) = 20*d**2 + 57*d + 216. Is j(-19) a prime number?
True
Let s(f) = -2*f**3 + 2*f**2 + f + 3. Let u be s(-2). Suppose u = 2*t - 51. Is t a composite number?
True
Let p be (-2)/8*0/(-4). Suppose p*i + 2*i = 6. Suppose 0 = -h - i*h + 148. Is h composite?
False
Let n = 585 + 413. Is n a composite number?
True
Suppose -69*o = -54*o - 17265. Is o composite?
False
Suppose -70333 = z + 3080. Is z/162*2*-3 prime?
True
Let t be (4/(-6))/((-4)/12). Let r(d) = d**3 - 2*d**2 + 2*d + 1. Let o be r(t). Suppose 4*p + 0*p = 2*c - 390, -3*c + 589 = -o*p. Is c a composite number?
True
Let i be (-4)/10 + 707/5. Let o(h) = h**3 + 8*h**2 + 11*h + 18. Let s be o(-8). Let l = i + s. Is l prime?
True
Suppose 3*d + 5*x = 4294, 0 = 2*d - 3*x + 5*x - 2856. Is d a prime number?
True
Let k be 2 - 1 - (-6 - -4). Suppose 15*r - 24 = 11*r. Suppose -609 = -r*i + k*i. Is i a prime number?
False
Let w(p) = p**3 + 5*p**2 - 5*p + 6. Let q be w(-6). Suppose -24 - 6 = -6*m. Suppose q = -3*n, 4*z + 4*n = m*n + 4396. Is z prime?
False
Suppose -9*f + 3743 = v - 8*f, -v = 4*f - 3731. Is v composite?
True
Let y = 16 - 12. Let c be (1/2)/((-2)/y). Is (c + 0 + -246)/(-1) prime?
False
Let j = -18 - -18. Let k(w) = -w - 3. Let m be k(-5). Suppose j = -0*s + m*s - 30. Is s prime?
False
Let g(q) = 10*q + 11. Let m = -1 + 7. Let w(d) = -11*d - 10. Let i(v) = m*g(v) + 5*w(v). Is i(7) composite?
True
Let g = 17986 + -7013. Is g composite?
False
Suppose -4*i + 149008 = -2*j, -10*i + j = -12*i + 74508. Is i a composite number?
False
Suppose 3*l - 9924 = 4*r + 841, 0 = -l + 2*r + 3589. Is l prime?
False
Suppose l - 5*l = -428. Suppose -2*b + l = -63. Is b composite?
True
Let r be (-20)/6*(-12690)/25. Let x(s) = -s**3 - 9*s**2 + 9*s - 10. Let w be x(-10). Suppose 5*g + r - 6377 = w. Is g prime?
True
Let w(o) = -o**3 - 34*o**2 + 29*o + 91. Is w(-38) composite?
True
Suppose 2*q + 34 - 166 = 0. Let x = 112 + q. Is x a composite number?
True
Let f(w) = w**3 - 9*w**2 - 6*w. Let r be f(5). Suppose -26*b - 1096 = 438. Let x = b - r. Is x composite?
False
Let j(p) = -p**3 + 7*p**2 - 7*p - 8. Let v be j(5). Let w(a) = 3*a - 3*a**2 - v + 0*a**2 + 7*a**2 + 7*a**2. Is w(-5) prime?
False
Let r be (-39)/(-6)*6*11. Suppose -3*g = -1884 + r. Is g prime?
False
Suppose 4*j = -7 + 31. Suppose y + t = 4*t + 493, 0 = -2*t + j. Is y a composite number?
True
Suppose 2*x + 2*x = -216. Let m = x + 203. Is m composite?
False
Let t(j) = 176*j**3 - 3*j**2 + 3. Is t(2) prime?
True
Let n(p) = p**3 + p**2 - p + 2. Let x be n(0). Suppose x*b = 5*b - 309. Suppose 0 = s - 3*s, r - b = s. Is r a prime number?
True
Let j(w) be the first derivative of 5*w**4/2 - 8*w**3/3 - w**2/2 + w + 15. Is j(6) prime?
True
Suppose 0 = -39*r + 43*r - 8644. Is r a composite number?
False
Suppose w = -4*w - 4*s + 31457, 4*w - 25171 = -5*s. Is w composite?
True
Suppose -14542 = -4*p + 3*h, 4*p + 4*h + 709 - 15265 = 0. Is p a composite number?
False
Let w be (-12)/8*12/(-9). Suppose w*z + 55 - 946 = -5*g, 901 = 5*g - 3*z. Is g a prime number?
True
Is 53548/12 + (-14)/(-21) composite?
False
Suppose 5*t - g + 2616 = 8216, -4*g - 2240 = -2*t. Let m = t + -539. Is m prime?
False
Is (-3)/(12/(-8)) + 3843 prime?
False
Suppose 72 - 24 = 2*j. Let n = j + -22. Suppose -n*q = 0, 2*f + 4*q - 502 = -0*q. Is f prime?
True
Let v(o) be the third derivative of o**5/20 - o**4/8 - 8*o**3/3 - 7*o**2. Let w(p) = -2*p**2 + p + 8. Let k(n) = -6*v(n) - 10*w(n). Is k(-7) a prime number?
False
Let d = 1259 + -450. Is d a prime number?
True
Let o = -7943 - -11523. Suppose 6*k - 10*k = -o. Is k a prime number?
False
Let u = 2020 - -7197. Is u a composite number?
True
Let u = 11126 - 32321. Is u/(-54)*4*(-2)/(-4) composite?
True
Suppose 2*b = 5*c - 2*c + 15, 4*b - 28 = 4*c. Let o be ((-184)/(-6))/(2/b). Suppose -o - 99 = -d. Is d composite?
False
Suppose -7*o = -9*o - 6. Let v(r) = r**3 + 5*r**2 + 4*r. Let t be v(o). Suppose 0 = t*i - 4*i - 278. Is i a composite number?
False
Suppose 0 = 2*j, 2*g + 4*j - 42 - 4 = 0. Let n = g - -624. Is n prime?
True
Is 10/(-4) - 9564885/(-198) prime?
False
Let k(q) = -q**3 - 2*q**2 - 5*q + 3. Suppose -t + 0*l - 1 = 4*l, 0 = -5*t + 4*l - 29. Let i = -10 - t. Is k(i) composite?
False
Suppose -2*v - 6*f + f = -4472, -4*v - 5*f = -8934. Is v composite?
True
Is (-43944 + 1)*(-70 - -69) a prime number?
True
Suppose -r - 2*r + 555 = 0. Suppose 10896 = 3*l + 3*a, -a + r = -l + 3811. Is l prime?
False
Let g(h) = 2348*h**2 - 1. Let v be g(1). Let i = -1323 + v. Suppose -c = -5*c - 4*k + i, 0 = -2*k + 6. Is c a composite number?
True
Let f(s) = 24*s**2 + 3*s - 2. Let m be f(1). Let h be 7 + -6 + m*5. Let g = -41 + h. Is g a composite number?
True
Let m(t) = 304*t + 71. Let o = 131 + -120. Is m(o) prime?
False
Suppose -7*k + 22*k = 156105. Suppose 3*r - k = 2046. Is r composite?
True
Let s(m) = 202*m + 13. Let k(n) = -101*n - 6. Let c(z) = -5*k(z) - 3*s(z). Let x be c(-3). Suppose x + 88 = 2*l. Is l composite?
False
Suppose -2*f - 2*q + 2510 = 0, 3*f + q - 3569 = 188. Let b = f - 800. Is b prime?
False
Is 51084/42 - -1 - (-10)/(-35) composite?
False
Let c be 52/14 + (-18)/(-63). Suppose c*v - 3531 = -4*s - s, -s + 711 = -4*v. Is s a composite number?
True
Suppose 15 = 5*c - 10. Let g be 2/10 - (-429)/c. Suppose -s - 3*a = -2*a - g, 6 = 2*a. Is s a prime number?
True
Let n(i) = -234*i - 227. Is n(-32) composite?
True
Let r(m) be the third derivative of m**7/80 - m**6/720 + m**5/60 - 3*m**2. Let p(x) be the third derivative of r(x). Is p(4) a prime number?
True
Let a(h) = 5*h - 4. Let s(f) = -f. Let k(d) = -a(d) - 6*s(d). Let l be k(0). Suppose j - 265 = -l*j. Is j a composite number?
False
Let l(f) = 12*f**2 + 1. Let y(p) = 11*p**2 + p + 1. Let d(i) = -5*l(i) + 6*y(i). Let s be d(-4). Let m = 206 - s. Is m composite?
True
Suppose -4*z = -482 - 4770. Is z composite?
True
Let t(n) = 12 - 7 + 2 + 16*n. Let r be t(5). Let b = r - -266. Is b a composite number?
False
Suppose 8*n = 110334 + 89114. Is n composite?
True
Let r(h) = -h**2 - 10*h - 10. Let j(a) = a**2 + 6*a + 1. Let b be j(-4). Is r(b) a prime number?
True
Let r(a) = 5*a - 3 + 32*a - 2*a - 6*a. Let s be r(5). Suppose 1158 = 2*p - 2*i, -5*i - 1591 = -3*p + s. Is p a composite number?
True
Is 1/3 + (-143360)/(-48) a composite number?
True
Let s be (-2)/(3 + -4)*1. Suppose g - 1 = s*h - 0, h = -1. Is g/(2560/854 - 3) a prime number?
False
Let l(z) = -3*z**2 - 21 + 10 - 2 - 9*z + 4*z**3. Is l(6) a composite number?
True
Suppose m + 1 = 5*g - 3*m, -2*m + 4 = 2*g. Let i(k) = k - 1. Let t(y) = -16*y - 15. Let n(l) = g*t(l) - 5*i(l). Is n(-4) a composite number?
True
Let c be -4*3/((-24)/(-22)). Let q = 9 + c. Is q/(-4)*(3 - -311) a composite number?
False
Let b be (((-2)/3)/(-2))/(35/97230). Suppose -2*l + 3418 = 4*v, -5*v - b = 3*l - 5200. Is v a prime number?
True
Suppose 8262 + 1963 = 5*k. Is k a prime number?
False
Let b = -25 + 26. Suppose o + 10 = 6*o. Is b + (o/2 - -33) a composite number?
True
Suppose -17*o + 44213 = -54404. Is o a composite number?
False
Is (-2342)/(-3)*(-5037)/(-146) composite?
True
Suppose 3*r + 5*t + 6 = 0, -3*r = -6*r - 3*t. Let u be r*1 - (-1 + 2). Suppose q - 29 = u. Is q pri