y be (a + -3)*(4 + -8). Suppose -268 - 1224 = -y*z. Is z a prime number?
True
Suppose 82968 = 4*b - 40676. Is b a composite number?
False
Suppose 0 = 5*y + 2*y. Let l(d) = 29*d - 4. Let m be l(3). Suppose y*n + n = m. Is n a composite number?
False
Suppose 15627 = -2741*p + 2744*p. Is p a prime number?
True
Let w = -4299 - -6658. Is w composite?
True
Let i = 184 + 4057. Is i a composite number?
False
Let x(y) = 2*y**3 - 13*y**2 + 9*y - 1. Let l(t) be the second derivative of t**4/12 + t**3/2 + 4*t**2 + 7*t. Let b be l(0). Is x(b) a composite number?
False
Let b = 10992 + -7829. Is b a prime number?
True
Let h(j) = 3*j**2 + 16*j + 74. Is h(17) prime?
True
Let k(r) = r**3 - 9*r**2 + r - 9. Let c be k(9). Suppose 2*l - 2*h - 102 = c, -13 = 2*h - 3. Suppose j - 65 = -o, o - 4*j - 4 = l. Is o prime?
False
Suppose -68769 = 19*d - 571300. Is d a prime number?
True
Let r(w) = 25*w**2 - 3*w - 3. Is r(-8) prime?
True
Let v = 22 + -19. Suppose 0 = 3*x + v*o + 2*o - 7004, 0 = 5*x - 3*o - 11662. Is x prime?
True
Let f(a) = -a + 1. Let q(y) = 26*y + 8. Let g(k) = f(k) - q(k). Is g(-6) composite?
True
Suppose -2606 - 16497 = -7*o. Is o composite?
False
Is (19 + -23 - 66041*-1) + -8 composite?
False
Let c = 2138 - 979. Is c composite?
True
Let g(t) = t**2 - 16*t - 21. Let s be g(17). Let x be (-2 - (s - -4)) + 113. Is (70/(-21))/((-2)/x) a prime number?
False
Let p(d) = -14158*d - 359. Is p(-6) a prime number?
True
Suppose 2*h = -2*c - 2*h + 59546, 4*c - 119076 = -4*h. Is c a prime number?
False
Suppose 0*w + 2*w - 3*s - 12 = 0, 3*w - 44 = -2*s. Let x = 17 - w. Suppose 0 = 2*o + x*r - 1732, 3*o + r = -r + 2609. Is o prime?
False
Let b be 4/(-22) - (101/(-11) - -4). Suppose -b*s = s - 348. Is s prime?
False
Let g be ((-6)/9)/(1/(-69)*1). Is ((-6)/(-8) - 344/(-32))*g a prime number?
False
Suppose 0 = -5*i - 1476 + 5861. Let n(x) = -30*x**2 - 6*x + 4. Let u be n(4). Let f = u + i. Is f a prime number?
False
Suppose a - 12 = 20. Suppose n - 2*n = -4, a = 4*t + 4*n. Suppose -x = -0*x - 3, 0 = t*p + 4*x - 260. Is p prime?
False
Let m = -44 + 59. Suppose m*d - 14*d = 563. Is d a prime number?
True
Suppose 0 = 5*g - 2*m - 36 - 6, -m = -5*g + 41. Suppose g = 2*p + 2*p. Is (272/12)/(p/3) prime?
False
Suppose 2*c - 6 + 30 = -5*n, 2*n + 2*c + 12 = 0. Is n + ((-12360)/5)/(-4) a prime number?
False
Let c = 3180 + 319. Is c a prime number?
True
Suppose 25778 = -5*w + 4*x - 40030, 5*w = x - 65817. Is 6/(-4)*w/18 prime?
True
Let y = 490 + -484. Let s(w) = 3*w**3 - 9*w**2 - 9*w + 3. Let m(a) = 4*a**3 - 10*a**2 - 9*a + 4. Let z(q) = 2*m(q) - 3*s(q). Is z(y) a prime number?
True
Let y(v) = 56*v + 9. Let z be y(-3). Let m = -101 - z. Is m a composite number?
True
Let h = 19081 - 7932. Is h a composite number?
False
Let t(z) = -317*z**3 + 2*z**2 + 19*z + 9. Is t(-3) a prime number?
False
Let u be (2/8)/(5/20). Let r(p) = 378*p**2. Let y be r(u). Suppose -1215 + y = -4*c + 5*w, -20 = 4*w. Is c composite?
True
Suppose 2*i + 3*i + 63 = 4*t, -15 = -t + i. Let n be (5/(-10))/((-2)/t). Is (2982/(-9))/((-2)/n) a composite number?
True
Let z be -3 - 130*(-16)/2. Suppose n - 589 = -5*i, 2*i = 4*n - 2*n - 1190. Let j = z - n. Is j prime?
True
Let d = -33 - -5. Is 8/d + (-4419)/(-7) composite?
False
Let s = -116 - -259. Suppose a - 89 - 612 = 0. Suppose -a - s = -4*x. Is x prime?
True
Suppose -3*p + 4*x = -11771, 6*p + 5*x = p + 19595. Is p a composite number?
True
Let j(d) = -225*d - 3. Let w(f) = -112*f - 2. Let m be (30/12)/((-2)/4). Let x(k) = m*w(k) + 3*j(k). Is x(-6) a prime number?
True
Suppose 4*n = 128*t - 132*t + 91240, -3*t = -n - 68418. Is t a prime number?
True
Let z be -472 + (-1 - 2) + 1. Let t = z - -872. Is t a composite number?
True
Let z(n) = -2574*n - 5. Is z(-1) a composite number?
True
Let f be ((-3)/2 - -3)*(-24)/(-3). Suppose -f*l = -3*l - 171. Is l prime?
True
Let f be (-1 + (-5)/(-2))/(6/16). Suppose h - 1775 = -f*h. Is h composite?
True
Suppose -2*s - 3*v = -v - 44, 2*s + 3*v - 43 = 0. Suppose 2*p + s = 405. Is p a prime number?
True
Let a = 2784 - -3203. Is a composite?
False
Suppose -4 = 2*r, 5*r - r + 5914 = 2*m. Is m a composite number?
False
Let x = -227 - -370. Is x a prime number?
False
Suppose 0 = -2*r - 4*o, 2*r - 6*r + o = -18. Suppose 3*v = r*v - 2. Is v/7 - 608/(-28) prime?
False
Suppose 0 = 3*y - 7*y + 11724. Is y a composite number?
True
Suppose 3*c = 3*p - 27, -5*p + 10*p = -c + 21. Let a = -1 + p. Let b(w) = 9*w**2 - 2*w - 2. Is b(a) a prime number?
False
Let y = -38 - -42. Is (-56504)/(-72) + y/18 a composite number?
True
Let w = 1667 + 5292. Is w a prime number?
True
Suppose -f = 4*r - 1198, 8*r - 5*r - 893 = 2*f. Is r prime?
False
Suppose c + 78 = 105. Suppose c*n - 26*n = 797. Is n a prime number?
True
Let p(h) = 4*h - 24. Let z be p(10). Let f = z - 20. Is (f - (-10 - -3)) + 256 composite?
True
Suppose -16*k + 70588 = -12*k. Is k prime?
False
Suppose -3*z = n - 2*z - 1644, 0 = -3*n - z + 4942. Is n a composite number?
True
Suppose -m - 4*k + 7834 = -12857, 0 = 3*m + 5*k - 62038. Is m prime?
False
Let w(o) = 136*o + 57*o + 89*o + 1. Is w(6) a composite number?
False
Is 121269/(-2)*(-20)/30 a prime number?
True
Let r(m) = -8*m**2 + m - 2. Let p be r(1). Let b = 28 + p. Is b a composite number?
False
Let r(c) = -80*c + 19. Suppose -5*h = -n, 0 = n - 2*h + 5*h + 8. Is r(n) a composite number?
False
Let y = -23 + 21. Let h be (-133)/y*228/133. Let t = h - 27. Is t a prime number?
False
Let j be 2028/14 + (-35)/(-245) - -4. Let n(z) = 2*z**2 - 2*z - 2. Let d be n(2). Suppose d*r - j = r. Is r a prime number?
True
Is (-3525)/(-15) - (1 + 2 - 1) a prime number?
True
Suppose -11200 = 5*z - 10*z. Suppose z = 5*g + 745. Is g composite?
True
Suppose 15*k + 16*k - 104439 = 0. Is k prime?
False
Suppose -2*n = 5*q - 4, 5*q + 3 = 2*q - 3*n. Suppose -420 - 1150 = -q*w. Is w a prime number?
False
Let k be (-7)/21 + 64/(-6). Let n(f) = -f**3 - 9*f**2 - 15*f + 14. Let s be n(k). Let l = s + -292. Is l a prime number?
False
Is (-25328)/(-10) + (29/(-5) - -6) prime?
False
Let i(f) = 28*f - 7. Let o be 1 - 0 - 68/(-17). Is i(o) prime?
False
Let q(d) = 133*d - 100. Is q(27) composite?
False
Let r = 25085 - 16834. Is r composite?
True
Let g = 66 - 60. Suppose r = g*r - 2935. Is r prime?
True
Let u(y) = 391*y**2 - 65*y - 2. Is u(-4) composite?
True
Let h = 14 - 39. Let v be -7*h/(-2 - -3). Suppose 5*w - v = 300. Is w composite?
True
Let y(p) = -2*p**3 - 5*p**2 + 10*p - 11. Let d(n) = 4*n**3 + 9*n**2 - 19*n + 21. Let j(s) = -4*d(s) - 7*y(s). Is j(-6) composite?
False
Let g be (-10)/((-9)/((-13743)/(-6))). Let l = 3599 - g. Let s = l + -497. Is s prime?
True
Suppose -2166 = -3*x - 564. Let s = 1511 - x. Is s a composite number?
False
Let n(d) = -12*d**3 - 3*d**2 + 2*d - 4. Suppose -3 = 2*g - 3*s, -6*g - 10 = -g - 5*s. Is n(g) composite?
True
Let s = -3562 + 2266. Let j = s - -1817. Is j composite?
False
Suppose 5*b = 4*l - 3, 2*l - 7 = -3*b - 0. Suppose 3*r = -l*g - 0*r + 539, -3*g - r = -812. Is g a composite number?
False
Suppose -15 = -2*x - 5. Let v(j) = -7*j - 13 + 10*j**2 + 1 + 4*j. Is v(x) a prime number?
True
Suppose 395*j = 393*j + 6092. Is j a prime number?
False
Let z(x) = 4*x**2 + x + 5. Let f be (-6 - -7) + 4 + 1. Let h be z(f). Suppose 0 = r - 48 - h. Is r composite?
True
Suppose -4*k + 3*i - 5585 = 0, -6*k + k - 6964 = 2*i. Let t = -945 - k. Is t a composite number?
False
Suppose 89995 = 5*m + 2*l + 12532, -4*l - 108455 = -7*m. Is m a prime number?
True
Let g(z) = 5*z**3 - 13*z**2 - 3*z - 11. Is g(8) prime?
True
Let t(g) = 12*g - 1. Let w be t(1). Let h(v) = v**3 - 9*v**2 + 1 + 3*v + 6*v - 2*v**2 - v. Is h(w) a prime number?
True
Let l = 13 + -11. Suppose 3*x = 3*t + 8*x, 0 = -3*t - l*x. Suppose -y = -t*y - 178. Is y a composite number?
True
Let h(g) = g**3 + 21*g**2 - 7*g - 25. Let d be h(-11). Suppose -5*q + d = 3*v, 0*q + 837 = 2*v - q. Is v a composite number?
False
Suppose -w - 38 + 41 = 0. Suppose 4*r - 1841 = w*r. Is r prime?
False
Let y = 9025 - 4824. Is y prime?
True
Is (-4360 - -2)*6/(-12) a prime number?
True
Let o(d) = -12*d. Let c be o(1). Let n = -11 - c. Is (123 - -3 - n) + 2 a prime number?
True
Let v be 2/2 - (4 + -7). Suppose 2*p = 4*w + 8 + 4, v*w - 44 = -2*p. Suppose -p*m + 10*m = -212. Is m a composite number?
False
Let a be (-2)/5