12. Is ((-60)/8 + p)*-334 composite?
True
Suppose -5*d = -a - 31302, 0 = -4*d + 8*d - 3*a - 25035. Is d a prime number?
False
Let u = 1882 - 993. Is u composite?
True
Let y be 17878/(-4)*(5 + 1). Is y/(-27) - 6/27 prime?
False
Suppose -3*f + 19 - 1 = 0. Let o(j) = -253*j - 9. Let l(w) = 126*w + 5. Let a(u) = -11*l(u) - 6*o(u). Is a(f) composite?
True
Suppose 6*a + 37 = 3715. Is a a prime number?
True
Let w(y) = y**3 - 4*y**2 + 4*y - 1. Let i be w(3). Let t(h) = h**i + 7 - 13*h + 25*h - 2*h. Is t(18) a composite number?
True
Let x be (-2)/(-2) + -3 - (0 - 2). Let f(o) = o**2 - 1. Let z(w) = -w - 234. Let r(a) = f(a) - z(a). Is r(x) a composite number?
False
Let g be (20 + 1)*(-3 - -2). Let n = 141 + g. Let w = n + -77. Is w composite?
False
Suppose 0 = r - 4*r - 195. Let n = 2 - r. Is n composite?
False
Let f(q) = 3*q**2 + 8*q - 2. Let o(n) = 4*n**2 + 9*n - 1. Let x(m) = -6*f(m) + 4*o(m). Let t be x(-6). Is t*(-4 + (-143)/(-4)) a composite number?
True
Is (-46724)/(-16) + 3/4 composite?
True
Let r = 4904 + 4547. Is r prime?
False
Is 91*207 - 2/(-4)*4 composite?
False
Suppose 3*j = 4*o - 4 - 2, -o + 2 = -j. Let w be (-12)/(-3) - (o - -1). Suppose u - 4*g - 5 = 0, -w*g = -u + 3*u - 32. Is u composite?
False
Suppose -2*b - 6*b + 16 = 0. Suppose -11*r = b*r - 3913. Is r a composite number?
True
Suppose 284*n = 291*n - 662361. Is n a composite number?
True
Let u(k) = 7*k**3 - 18*k**2 + 11. Let f(j) = 4*j**3 - 9*j**2 + 6. Let w(g) = -5*f(g) + 3*u(g). Let c be w(9). Is 1 + c - 747*-1 prime?
True
Let i(v) = v**3 + 8*v**2 + 6*v - 8. Let u be i(-7). Is (u - -3 - 0) + 507 a prime number?
True
Let k = -227 + 134. Let m = k - -138. Suppose m = 2*w - 685. Is w a prime number?
False
Suppose 0 = -20*i + 19843 + 23377. Is i prime?
True
Let l be (-70)/4*(-10 + 24). Let n = 446 + l. Is n prime?
False
Let a(y) = 19*y**2 - 8*y + 18. Let m be a(11). Let o = m - -1408. Is o a prime number?
True
Let l(r) = r**2 - 20*r - 111. Is l(28) composite?
False
Let r = -11483 - -17434. Is r prime?
False
Let m(a) = -189*a**3 - 59*a**3 - 75*a**3. Suppose 11*r + 4 = -7. Is m(r) a prime number?
False
Suppose 4*y = -4*x, 2*x - 3*y = 6 + 9. Let z be (-29)/(-2) + x/(-2). Suppose -b = -z - 52. Is b prime?
False
Let l be 1 + -3 + -1 + -110. Let q = -350 + 620. Let d = l + q. Is d composite?
False
Let n(l) = l**3 - 6*l**2 - 2*l + 6. Let k be n(6). Let p = k - -16. Let w = 13 - p. Is w prime?
True
Suppose -3 + 21 = 3*r. Let s(q) = 3*q - 19. Let v(a) = -a + 10. Let f(p) = r*s(p) + 13*v(p). Is f(7) a composite number?
True
Let x be 3*(-3)/9 + 6. Suppose 6*y - 745 = x*y. Is y a composite number?
True
Suppose 4*b + 5*z = 79277, 0 = 3*b + 2*z + 14140 - 73589. Is b a prime number?
True
Let b = 1916 - 1243. Is b composite?
False
Suppose 0 = 223*k - 240*k + 542011. Is k a prime number?
True
Let s(u) = -9*u**2 + u + 18. Let m(a) = 4. Let x(l) = 3. Let p(h) = -4*m(h) + 5*x(h). Let d(f) = 4*p(f) - s(f). Is d(-8) composite?
True
Let t(p) = 68*p**2 + 16*p + 121. Is t(-18) prime?
False
Is 1*(-1052)/12*-87 prime?
False
Let r = -3066 - -71705. Is r a composite number?
False
Let z = 10839 + -4034. Is z a prime number?
False
Let a be (-10)/3 + (-11)/(-33). Suppose 6 = -3*r + 9. Is (r/(-3))/(a/1143) prime?
True
Let i(t) = 159*t + 73. Is i(4) a prime number?
True
Suppose 2385 = 7*r - 2*r. Suppose -2*w + 37 = -r. Is w a composite number?
False
Let b(n) = -134*n - 4. Let w be b(-1). Suppose -4*s + 18 = -w. Is s composite?
False
Suppose 39 - 159 = 5*i. Let y be 16/i*(-18)/4. Suppose y*p - 3*f - 93 = 2*f, 15 = -5*f. Is p composite?
True
Let b(f) = -f**3 + 7*f**2 - 4*f - 7. Let i be b(6). Let s(t) = t**3 - 5*t**2 - 3. Let x be s(i). Is 187 - (3 + x)/(-4) composite?
True
Let t be (-1)/(-4) - 664/(-32). Is (-6)/(-21) - (-1653)/t composite?
False
Let r be -2 - (0 + 1) - -13. Is 11151/35 - (-4)/r prime?
False
Is (66/24)/(3370/3368 - 1) composite?
True
Let x(k) = -12*k**3 - 7*k**2 - 5*k + 11. Is x(-5) composite?
False
Is (-12)/6*(-3293)/2 a composite number?
True
Suppose -6*j - 1 = -7*j. Is -2*(3 - 108) + j prime?
True
Suppose -2*m = 2*m - 48. Let b(r) = 17*r - 13. Is b(m) a composite number?
False
Suppose -4*n + 5*z = 12, 5*n - z + 19 = 4. Is ((-66)/4)/n*1608/12 a composite number?
True
Suppose -2*s = m - 849, -5*m + 3418 = 3*s - 834. Is m a composite number?
True
Let s be (-1)/(-7) - (-86)/(-14). Let i(y) = -y**2 - 6*y + 2. Let v be i(s). Suppose 0 = -3*u - v*h + 584, u - 3*h - 190 = h. Is u a prime number?
False
Let p be (29 + 0)/(15/(-525)). Let x = p + 2166. Is x prime?
True
Suppose -24*b = 39*b - 109935. Is b a composite number?
True
Let q(k) = -k**3 - 2*k**2 + 4*k + 7. Let t be q(-7). Suppose -c - 4 = 5*r - t, -5*r + 440 = 2*c. Suppose 0 = -p - 3*p + c. Is p prime?
False
Suppose 14*z = 19*z - 20. Suppose -w + z + 4 = 5*j, -2*w + 5*j = -1. Suppose 5*d = w*d + 1678. Is d prime?
True
Is 2/5*2 + (-878254)/(-170) a composite number?
False
Let a(s) = 6*s**2 + s - 2. Let d be a(1). Suppose -4*j - 3*w - 3 = 2, 0 = d*j + 5*w. Let r = 54 - j. Is r prime?
True
Let v = 19 - 13. Let d be 1*(v/3 + -2). Suppose d = -2*t + 325 + 265. Is t a composite number?
True
Suppose 0*n = -4*n. Suppose -2*o - 2*o = -264. Suppose 3*y = -n*y + o. Is y a prime number?
False
Let o = 16 + -12. Suppose 7 = f - 5*c, -o*c - 1 = f + 1. Suppose 0 = -3*z + 4*w + 2019, f*z - 2*w - 3379 = -3*z. Is z a composite number?
False
Let a be (-4)/1 + 19 + 1*3. Is 3/a - 2031/(-18) composite?
False
Suppose 11941 = 6*x + 3199. Is x a composite number?
True
Let p(c) be the third derivative of 163*c**4/24 + 5*c**3/3 + 40*c**2. Is p(9) prime?
False
Suppose 16*w + 3*n + 239683 = 21*w, 4*n = -2*w + 95894. Is w a composite number?
False
Suppose -u + g + 33673 = 0, 10*u - 33665 = 9*u - 3*g. Is u a prime number?
False
Suppose -11252 = -4*g + 432. Is g composite?
True
Let n(m) = -2*m + 12. Let a be (-4)/(48/(-10) - -4). Let x be n(a). Is (-6)/(-2) - (x + -442) a composite number?
False
Let w(v) = -30*v + 15. Let z be w(-14). Let k = z + -89. Is k a composite number?
True
Let g be 15/(-35) - 177/(-21). Suppose -3*v - g = -2. Is (-6635)/(-25) - v/(-5) a prime number?
False
Let a be (-181230)/63*12/(-10). Let y = a + -2041. Is y composite?
True
Let s(j) = 161*j**2 - 2*j. Let m be ((-1)/(-3) - 1)/(12/18). Is s(m) a prime number?
True
Let h(p) be the second derivative of 7*p**4/12 + p**3/2 - p**2/2 + 5*p. Let s be h(-6). Let v = s - 144. Is v a composite number?
False
Is (54/(-9))/((-2)/6719) composite?
True
Let q(l) = 4*l**2 - 9*l + 3. Let i be (24/(-10))/((-6)/(-40)). Let b = i - -8. Is q(b) composite?
False
Suppose 0 = 6*x - 12 - 12. Suppose -x*u - 12 = 5*i, -2*u - 6 = -2*i - i. Let n(j) = j**3 - j + 889. Is n(i) prime?
False
Suppose 863 + 4108 = 3*c. Is c prime?
True
Let i(a) be the second derivative of 41*a**6/60 - a**5/60 - a**4/24 + a**3/2 + 13*a. Let t(r) be the second derivative of i(r). Is t(-1) composite?
True
Is (2 + (-10)/6)/(14/1151934) composite?
False
Let s(m) = -m**2 + 5*m + 3. Let b be s(4). Let n be (-229)/b - 12/42. Let o = n + 56. Is o prime?
True
Let f be (1*(-6)/4)/((-24)/1088). Suppose 90 = p - f. Is p composite?
True
Let h be 7 + -3 + (-573)/(-3). Let b = h - 52. Is b a prime number?
False
Suppose 2*v + 52744 = 202766. Is v a prime number?
True
Is ((-2)/(-4) + 20/(-20))*-8654 a prime number?
True
Suppose -1305 - 694 = -3*m - 4*c, -4*c = 4*m - 2672. Is m prime?
True
Suppose 0 = -36*x - 90440 + 489572. Is x composite?
False
Suppose 2*f + 350 = 1306. Suppose 0 = -5*k + v - 43, 3*k + 2*v = -25 - 6. Is f - 2/(6/k) a composite number?
True
Let f(i) = -2*i**2 + 7*i + 1. Let z be f(3). Let b be (-6)/4*(-664)/12. Suppose -b = -z*u + 49. Is u prime?
False
Suppose 11 - 41 = -2*f. Let q = f - 12. Suppose u - 2 = q, 0 = 2*x + 4*u - 546. Is x prime?
True
Suppose 6*d - 5003 = 5*d + 6*t, 4*t = -2*d + 10054. Is d prime?
True
Let r(j) = -j**3 + 3*j**2 - j + 1. Let h be r(2). Suppose -4*t - 3*i = -2384, 0*t + t + h*i - 605 = 0. Let o = t - 342. Is o prime?
True
Suppose -123*y = -114*y - 136503. Is y a composite number?
True
Let r = -49 - -48. Is (-78)/(0 - -3)*r composite?
True
Let y(g) = -g**2. Let a(q) = 11*q**3 - 5*q. Let c(b) = a(b) + 4*y(b). Let u be c(-4). Let p = u - -1253. Is p a prime number?
False
Let i(s) = -s**3 - 8*s**2 - 7*s. Let b be i(-7). Let a = b 