y - 3 = -p. Is 190/y*(-3)/2 a prime number?
False
Let w(i) = -i**3 + 5*i**2 + 6*i + 5. Let p be w(6). Suppose -5*z - 1215 = -p*m, -3*m - 5*z + 1255 = 2*m. Is m a prime number?
False
Suppose -2*i = -i - 1055. Is i prime?
False
Suppose 0*b + 2*m = b - 1, -m = -5*b + 5. Is -1 - (b + -1 - 90) a composite number?
False
Let t = 1 + -5. Let k be 2/t + 4604/8. Suppose 5*j + 0*j = k. Is j composite?
True
Suppose 3114 = 3*h - 5*x, 0 = -h + 2*h - 5*x - 1028. Is h composite?
True
Let f(h) = -h**2 - 2*h - 6. Let i be f(-8). Let o = i - -113. Is o a prime number?
True
Suppose u + 2 = 2*u. Let l be 1 + (-1 - (-4)/u). Is (211/l)/(3/6) composite?
False
Suppose 3*m = 4*a - 926, 195 = 4*a - 5*m - 727. Is a a composite number?
False
Let x = 173 - -55. Let k = x - 13. Is k a composite number?
True
Suppose -u - 17 = -4*k, 2*u + 2*k - 25 = -3*u. Suppose -u*b - b = -528. Let g = b - 74. Is g a composite number?
True
Suppose c + c + 14 = 4*i, 5*c = -15. Suppose -5*r - a + 3802 = -i*a, 3 = a. Is r a composite number?
False
Let b = 85 - 216. Let r = 184 + b. Is r a composite number?
False
Suppose -3*z = -6797 + 1598. Is z a composite number?
False
Let y(u) be the first derivative of -16*u**2 - u - 1. Is y(-5) prime?
False
Let l(k) = -k**3 - 8*k**2 + 4*k - 21. Is l(-10) a composite number?
False
Suppose 0 = 3*v + 9, -4*l + v + 996 = -l. Is l composite?
False
Let u(z) = 41*z**2 - z + 3. Let n be u(-3). Let g = 530 - n. Is g composite?
True
Suppose h - 57 = 2*p - 6*p, 0 = 4*h + 3*p - 254. Is h a prime number?
False
Let b be ((-6)/4)/((-2)/(-404)). Let l = -80 - b. Is l a composite number?
False
Suppose -5*u - 7 = 5*y + 28, -2 = 2*u - 4*y. Is (-1 - -467)/((-10)/u) a composite number?
False
Is (215/3)/((-3)/(-9)) a prime number?
False
Let h(t) = t - 2. Let q be h(1). Let r(k) = -86*k + 1. Is r(q) a prime number?
False
Let r be (-8)/12*(-145 + -2). Suppose -3 = -i + 1, -2*z + 4*i + r = 0. Is z a prime number?
False
Suppose d = -67 + 702. Is d a composite number?
True
Let l(g) = -5*g - 9. Let d(b) = 6*b + 9. Let t(a) = 3*d(a) + 4*l(a). Let f be t(-10). Let n = 30 - f. Is n a composite number?
False
Is (2*1)/(7002/1398 + -5) a composite number?
False
Suppose -2*y - 2*t = 2, -2*y - 2 = 3*t + 1. Suppose 2*b + b - 159 = y. Is b composite?
False
Suppose 21*q = 20*q + 1454. Is q composite?
True
Let p(s) = 2*s**3 - 9*s**2 - 9*s + 9. Let i be p(7). Let b = 309 - i. Is b a composite number?
True
Let l(r) be the first derivative of 4/3*r**3 - 3 + r + 1/4*r**4 - 2*r**2. Is l(-3) composite?
True
Let m be 61 - (-5)/((-5)/2). Suppose -m - 313 = -3*l. Suppose 0*u = -2*u + l. Is u composite?
True
Let a(w) be the first derivative of w**5/20 + 3*w**4/8 + 4*w**3/3 + 2. Let c(q) be the third derivative of a(q). Is c(7) composite?
True
Suppose 0*x - 460 = -4*x. Let d = x - 82. Is d composite?
True
Let c(v) = -v + 6. Let d be c(5). Let p be d/(-2) + 10/4. Suppose -5*g - 72 = -6*h + 3*h, 3*h - 63 = p*g. Is h prime?
True
Let h = 943 - 614. Is h composite?
True
Let z be 5/(-15)*(-16 - -1). Let n(c) = 10*c**2 + 4*c**3 + 5 - z*c**3 + 5. Is n(9) composite?
True
Suppose -3*g + u = -506, -90 = -2*g + 3*u + 252. Let c be (-225)/10*(1 + 1). Let a = c + g. Is a a prime number?
False
Let u(s) = -s**3 - 492. Let a be u(0). Let z = a - -1355. Is z a composite number?
False
Let q = -1 - -7. Suppose q*p - 5*p - 43 = 0. Is p a prime number?
True
Suppose -5*x = -4*x + 3464. Is x/(-10) + 6/10 composite?
False
Suppose -4 = 2*a + 8. Let x(k) be the third derivative of k**6/120 + 7*k**5/60 + k**4/24 + k**3/2 + k**2. Is x(a) composite?
True
Let p be 1*2/5*5. Let n(i) = 0 + 12*i + 12*i + 1. Is n(p) composite?
True
Let v(o) = -2*o**3 + 3*o**2 - o - 1. Let j be v(2). Let d = -9 - j. Is ((-89)/(-3) + d)*3 a prime number?
True
Let n(d) = 6*d**2 - 7*d - 4. Let u be n(-5). Suppose -k = -28 - u. Is k a composite number?
True
Let o = 88 - -43. Is o composite?
False
Let y = 22 + 8. Suppose a + 2*a - y = 0. Is a composite?
True
Let u(b) = -b**3 + 5*b**2 + 6*b - 8. Is u(5) a prime number?
False
Let g(i) = i + 9. Let c(p) = p + 17. Let s(l) = -2*c(l) + 5*g(l). Let k be s(-12). Let t = k - -92. Is t a prime number?
True
Suppose -3*x + 20 = -2*w - 1, 31 = -2*w + 5*x. Let j(c) = 5*c**2 + c - 4. Let k be j(w). Suppose -2*l + 2*p = -38, -l = l + 5*p - k. Is l a composite number?
False
Let o = 101 + -30. Let s = o - 26. Suppose 2*x - s = -x. Is x prime?
False
Let w(u) = 17*u**3 - 3*u**2 + u - 1. Is w(4) prime?
False
Let k(f) = 816*f**3 - 2*f + 1. Let c be k(1). Suppose 12*y - 7*y = c. Is y a prime number?
True
Let w = 11 + -8. Suppose w*p - 2*c = -7*c + 269, 4 = c. Is p a composite number?
False
Let j(d) = -8*d + 1. Let h be j(-7). Suppose 0*c + c - h = 0. Is c prime?
False
Suppose 0 = -t + 3*t - 6. Suppose -2*j + 3*a + 8 = -t*j, -5*j + 4*a + 36 = 0. Suppose 0 = j*f + 74 - 294. Is f a prime number?
False
Suppose 217 + 61 = m. Is m a composite number?
True
Is 6/21 - 1779/(-21) a composite number?
True
Let r(x) = x**3 - 2*x**2 - x + 7. Let q be 1 - (2 + -7 + 1). Is r(q) a prime number?
False
Suppose -i + 5 = 3. Suppose -2*q + 3*m - 1 = 3, -q - i*m + 12 = 0. Suppose -2*y = -q*d - 30, 2*y + 2*d = 3*d + 45. Is y composite?
True
Let k be 4/(-24) + (-4269)/(-18). Suppose 3*b = -0*b + k. Is b a composite number?
False
Let u(p) = 5*p. Let o be u(-1). Let m(d) = -d**3 - 3*d**2 - 6*d - 3. Is m(o) a composite number?
True
Let r = 70 - -83. Let j(g) = -g**2 - 6*g - 1. Let d be j(-5). Suppose -4*i + 4*k = -k - r, -4*k - 152 = -d*i. Is i a composite number?
False
Let d = 79 + -51. Suppose 0 = -5*n - d + 93. Is n composite?
False
Let h(d) = -6*d**2 + 11*d - 4. Let c(x) = -7*x**2 + 12*x - 4. Let p(a) = -5*c(a) + 6*h(a). Let k be p(6). Let o = 6 - k. Is o composite?
True
Suppose -3*h - 4850 = 2*h. Is (-2)/7 - h/14 prime?
False
Let n(s) = s**3 - 3*s**2 - 6*s - 3. Let b = -7 - -13. Is n(b) a composite number?
True
Suppose -239 = h - 5*k, -h - 148 - 56 = 2*k. Let d = h + 447. Is d prime?
True
Suppose -5*x + 10 = -30. Let t be x/3 + (-1)/(-3). Suppose -i + 36 = -j, -t*i + 6*i - 83 = -2*j. Is i composite?
False
Suppose 0 = w - 4*w - 954. Let n be w/(-4) - (-7)/14. Suppose 6 = -2*s + n. Is s prime?
True
Suppose 0 = w - 0*w - 74. Is w a prime number?
False
Let d = -249 - -814. Is d prime?
False
Suppose 5*k + 33 = 268. Is k a prime number?
True
Let g(t) = 3*t**3 + 2*t**2 - t + 5. Is g(6) prime?
True
Let w(a) = a**2 + 6*a + 3. Is w(8) a composite number?
True
Suppose 5*g - 2*h = 23, -2*g = -5*h + 4*h - 10. Is (g/6)/(1/406) composite?
True
Suppose -2*b - b = -a - 26, -23 = -2*b - 5*a. Suppose 0 = -4*v - b - 15. Let l(j) = j**2 + 3. Is l(v) prime?
False
Let l be (-1)/4 - (-188)/(-16). Let u be (-2)/(-5) - (-66)/10. Let a = u - l. Is a composite?
False
Let i(c) = 5*c**2 + 5*c + 1. Suppose 4*b = -21 - 7. Is i(b) prime?
True
Suppose 0 = -4*h + 1253 + 2475. Suppose 5*n = 4*f - f - h, -2*f - 3*n + 653 = 0. Is f prime?
False
Let q(n) = -11*n + 4. Let w be q(-5). Let p = 25 - w. Let d = p + 71. Is d a composite number?
False
Let b = 1556 + -601. Is b prime?
False
Let f(x) = -x**2 - 7*x - 8. Let m be f(-5). Is (-180 + (m - 3))*-1 prime?
True
Suppose -s = -2*s - 3. Let w be (-2 - 1)/s - -1. Suppose 7 + 15 = w*h. Is h a composite number?
False
Let w(g) be the first derivative of -g**4/4 + 13*g**3/3 - 3*g**2 - 7*g - 5. Is w(11) a composite number?
True
Let f be (2/3)/((-6)/(-45)). Suppose 3*y - f*j = 31, 4*y - 5*j - 56 = -2*j. Let i = 52 - y. Is i a composite number?
True
Let x(z) = -15*z. Let p be x(2). Let j = -20 - p. Is j prime?
False
Let x(s) = -3*s**3 + 12*s + 24. Is x(-5) a prime number?
False
Suppose -18 = w + 2*w. Let k be (-4)/w*21/7. Suppose 0 = b + k*f - 101, -3*f - 1 - 75 = -b. Is b a composite number?
True
Let m = 871 + -284. Is m a prime number?
True
Suppose 11*j - 12 = 7*j. Suppose -4*c + j*o + 1069 = 0, 2*c - 5*o = -187 + 732. Is c prime?
False
Let t be 1/(-3) + (-3)/(-9). Suppose t*x + 140 = 5*x. Suppose -6 + x = i. Is i composite?
True
Suppose -5*a = 2*n - 575, 0*n + 578 = 2*n + 4*a. Is n composite?
True
Let o(u) = -u - 3 - u - 3. Let l be o(-4). Let f(i) = 18*i + 1. Is f(l) composite?
False
Let u(l) = -l**3 + 7*l**2 + 5. Let k be u(7). Suppose -k = -2*r + r. Suppose 11 + 80 = 3*o - r*x, -4*x = 2*o - 90. Is o prime?
True
Let k(p) = 3*p + 6. Is k(15) a com