 -x. Let i(s) = -s**3 + 13*s**2 - 5*s + 6. Is i(x) a composite number?
False
Let r(o) be the third derivative of o**6/120 - 13*o**5/60 + o**4/2 + o**3/2 - 2*o**2. Let s be r(12). Suppose -1465 = -s*y - 2*y. Is y a composite number?
False
Let r(d) = 334*d**2 - 1 - 223*d**2 + d + 509*d**2. Let y be r(1). Suppose 2*b = u + 2*u + y, -5*b + 1527 = 4*u. Is b composite?
False
Let c(t) = 3*t**2 - 4*t - 4. Let y be 2/3 + (-115)/15. Let h = 4 + y. Is c(h) a prime number?
False
Let f(j) = j**2 - j + 1. Let k(x) be the second derivative of 17*x**4/12 + 5*x**3/3 - x**2 - 2*x. Let b(a) = 4*f(a) + k(a). Is b(-4) a composite number?
True
Suppose 14049 = 22*r - 50147. Is r a composite number?
True
Let j(y) = 33*y**2 - y. Let p = -3 + -1. Let v be j(p). Suppose 0 = 3*g - v + 67. Is g a prime number?
False
Let b(g) = -g**3 - 2*g**2 - 13*g - 15. Let n be b(-7). Suppose -n - 2027 = -4*t. Is t prime?
True
Suppose -5*m + 2*m + 54789 = 0. Is m prime?
False
Suppose -14139 = -3*t + 2586. Let m = 8946 - t. Is m a prime number?
True
Let u(f) = 2*f**3 - f**3 - 2*f + f**2 + f + 26. Let s(y) = y**2 + 13*y + 22. Let k be s(-11). Is u(k) prime?
False
Let q = 16 + -9. Let p(j) = -j**3 + 9*j**2 - 2*j - 5. Let o be p(q). Suppose o + 188 = 3*z. Is z prime?
True
Let t = 13 + -8. Let m(r) = r**2 - 25. Let x be m(-8). Suppose 3*w = -q - 2*w - 1, q - t*w = x. Is q a composite number?
False
Let w = -13 + 14. Let h(r) = 203*r**3 + 2*r**2 - 2*r + 1. Let p be h(w). Suppose -p = -0*n - 4*n. Is n composite?
True
Suppose -7513 = -3*a - p, 3*a + 3119 - 10633 = -2*p. Suppose -2*d + 4 = 0, -u - a = -3*u + 3*d. Is u composite?
True
Suppose -2*d + 2*a + 4260 = 0, -d - d + 4255 = 3*a. Is d a composite number?
False
Suppose 59*t = 64*t - 9070. Is t a prime number?
False
Suppose -6*i = -9622 + 1924. Is i composite?
False
Is 6/51 + 373620/340 a prime number?
False
Let n = -1348 + 2071. Let z(i) = 25*i**3 + i**2 - i. Let v be z(2). Suppose -5*m + n = 2*u, -5*m + 3*u = -501 - v. Is m a composite number?
True
Let i(t) = -2*t**2 - 9*t + 21. Let v be i(-6). Let l be -1 + 1 + -1 + 5. Suppose -295 = -l*u + v*u. Is u prime?
False
Let w(z) = 61*z**2 + 11*z - 1. Is w(9) composite?
False
Suppose -v = -33 - 122. Suppose -7*u + v = -2*u. Suppose 3*o = u + 362. Is o prime?
True
Let i(c) = -34 + 5 + 4*c**3 + 31*c + 440*c**2 - 455*c**2. Is i(12) a prime number?
False
Suppose -10*c = -15*c + 4445. Let p = -438 + c. Is p composite?
True
Suppose f = 3*i - 46475, 13*i - 12*i - 15497 = -f. Is i a prime number?
True
Let t(i) = -i. Let s(f) = f**2 + 15*f + 21. Let p(v) = s(v) + 2*t(v). Is p(-15) prime?
False
Let y(t) = -t + 8. Let f be y(5). Suppose -f*o = 2*d + 3*d - 604, 238 = 2*d + 3*o. Is d a composite number?
True
Let j = -4598 - -7101. Is j prime?
True
Let z = 75 + -74. Let a(f) = 479*f**3 - f**2 + 3*f - 2. Is a(z) composite?
False
Let l = 8 - 6. Suppose -z - l = z. Is (z - 4/(-3))*285 composite?
True
Let q be (1 + 2)/((-6)/(-18)). Is 5136/q + (-3)/(-9) composite?
False
Let q(t) be the third derivative of -t**5/60 - t**4/6 - 4*t**3/3 + 5*t**2. Let l be q(-6). Let g = 79 + l. Is g a composite number?
False
Let s(c) be the first derivative of 76*c**3/3 + 3*c**2/2 - 3*c - 1. Let m(h) be the first derivative of s(h). Is m(2) composite?
False
Let g be ((-210)/(-40))/(1/(-1264)). Let t = -4319 - g. Is t a composite number?
True
Let p(o) = -o + 2*o**2 - 3 + 1 + 3*o - 4*o. Let d be p(2). Suppose -29 - 9 = -d*f. Is f prime?
True
Let j(f) = f. Let k(t) = -t**3 + 6*t**2 - 11*t - 1. Let o(i) = 3*j(i) - k(i). Is o(10) a composite number?
False
Let w(a) = 640*a**3 - a + 5. Is w(2) a prime number?
False
Is (5/(-15)*-4083)/(1 - 0) a prime number?
True
Let m = 36 - 34. Suppose 0*s = -m*s + 110. Is s a composite number?
True
Is 9/(-108) + (-2664785)/(-60) prime?
False
Suppose -x + 5 = -2*x, -4*x + 9160 = 5*n. Suppose -n + 6028 = 4*r + g, 2*g = -8. Is r a composite number?
False
Let c = 21 + -21. Let d be 3*(110 - c)/(-5). Let w = -9 - d. Is w a prime number?
False
Let w be ((-24)/9*-3)/2. Let x(a) be the third derivative of a**6/60 - a**5/10 + a**4/6 + 5*a**3/6 - 9*a**2. Is x(w) a composite number?
False
Let r = 12 - 2. Let c(n) = 143*n - 69. Is c(r) composite?
False
Suppose -35*t + 79*t = 2614964. Is t a composite number?
True
Let o be ((-8)/(-20))/(2/30). Let a = -2 + o. Suppose 0 = a*y - 766 + 122. Is y a prime number?
False
Let b(t) = 240*t**2 - 27*t**2 + 88*t**2. Let y be b(-1). Suppose y = 3*h - 602. Is h composite?
True
Let j(m) = 7*m**3 + m**2 + 9*m - 12. Let x(a) = -a**3 - a**2 - 1. Let g(p) = j(p) + x(p). Is g(4) a prime number?
False
Suppose j = -5*m - 13, j - m = m + 15. Suppose 0 = -j*y + 3*y. Suppose -v + 6*v - 185 = y. Is v a prime number?
True
Suppose 0 = -11*a - 3*a + 56. Suppose -2*n - 1158 = -4*c + 6648, 0 = 5*c + a*n - 9725. Is c a prime number?
True
Suppose k + 10 = 3*a + 25, 3*k + 3 = -3*a. Is (k + (-15)/6)/((-1)/(-3802)) a composite number?
False
Suppose 8*h = 27*h - 50293. Is h prime?
True
Let a = 6216 + -997. Is a a composite number?
True
Let d be -2 + (-2 - -3) + -1. Let s(c) = c**2 + c + 1. Let z be s(d). Is -2 + (915 - 0)/z a prime number?
False
Suppose -4072 + 1607 = 5*g. Let m = 1370 + g. Is m a prime number?
True
Let s be (-2)/(-10) + (-19)/(-5). Suppose 5*r + 6 = -s. Is (-6 - 353)*(r - -1) a prime number?
True
Suppose 0 = g - 873 + 214. Suppose -2*w - 73 = -g. Is w a composite number?
False
Suppose 3*d = 34656 - 6945. Suppose 40*q = 37*q + d. Is q a prime number?
True
Suppose j = 2*j - 4*m - 161, 3*m = -j + 154. Suppose -2*o = -j - 225. Is o prime?
True
Suppose 3*x = -t + 48962 - 3698, 0 = -x - 3*t + 15080. Is x composite?
True
Let s(w) = 41*w + 1. Let b be s(-2). Let m = -20 - b. Suppose g + 8 = m. Is g a prime number?
True
Let p(f) = -f**2 + 19*f - 17. Let o be p(12). Let w = o + -12. Is w prime?
False
Let m(u) = u**2 + 4*u + 5. Let w be m(-4). Suppose -2 = -s, w*z = z + s - 346. Let q = z + 213. Is q a composite number?
False
Suppose -5*w = -15, 3*w - 12177 = 3*h - w. Let x = -2334 - h. Is x a composite number?
False
Suppose 3*n - 2599 = 2*b, 3*b = -2*n + 3*n - 857. Let u = 1374 - n. Is u a composite number?
True
Let m = 14687 + -9373. Is m prime?
False
Let k be 4*1 + 2 + -4. Suppose -r - 20 = 5*f, -k*r + 5*r - 5 = -2*f. Is f*(0 - (-164)/(-10)) composite?
True
Suppose 9 = -5*y - 4*y. Is (894/(-8) + 1)/(y/4) a composite number?
False
Suppose -47 = -a - 5*s, 3*a + 0*a - 174 = -4*s. Suppose 0 = -4*v + 2*l + a, 2*v + 2*l + l - 27 = 0. Is 416 + 0 + (v - 18) prime?
False
Is 1 + (-24)/18 - (-12028)/3 composite?
True
Let o(g) = -g**2 + g + 3. Let b be o(3). Let q(u) = 60*u**2 + 4*u + 13. Is q(b) a prime number?
True
Let u(i) = -79*i**3 + 3*i**2 - 11*i + 7. Suppose -6*q = -7 - 35. Let t(c) = -40*c**3 + c**2 - 5*c + 3. Let j(b) = q*t(b) - 3*u(b). Is j(-1) composite?
False
Is (-22)/(2*(0 - 2/38)) prime?
False
Suppose -5*w = -116924 + 21019. Is w composite?
False
Let r be (-3)/(-2 - 45/(-23)). Let q = -28 - -12. Let j = q + r. Is j composite?
False
Let f(p) = 18*p**2 - p - 2. Let l be f(3). Let k = l - -1277. Suppose -3*j + 1892 = 5*t, 2*j + 175 = -t + k. Is j composite?
True
Is ((-2)/(-4) - 0)*-1082*-1 a prime number?
True
Suppose 182 = 3*s - 5*s. Let i = -60 - s. Is i prime?
True
Let x = 14 - 8. Suppose -108 = -x*y + 3*y. Suppose -393 - y = -3*r. Is r a composite number?
True
Suppose -37*q + 33*q = -3*t - 220408, 4*t - 220380 = -4*q. Is q a composite number?
True
Is (2 - 16/6)/((-12)/8982) a composite number?
False
Suppose 9*q = 10*q - 1882. Suppose -5*x - q = -7587. Is x a composite number?
True
Let h = 2 - -5. Let x be h/5 - 18/(-30). Suppose -122 - 2 = -x*y. Is y composite?
True
Is 7735/11 - (-4)/(-22) composite?
True
Let b be ((8/2)/4 - -3) + -81. Suppose -4*i - 31 + 167 = 0. Let n = i - b. Is n a composite number?
True
Let v = 16 - 13. Let q be v*(1 + 6/3). Is 109 - (-6)/q*3 a prime number?
False
Let v = 10 - 5. Suppose -p - 17 = -v*m - 5, 4*p + 23 = -5*m. Let z(a) = 12*a**2 + a - 24. Is z(p) a prime number?
True
Let z(n) = -4*n**3 + n**2. Let d be z(-1). Suppose -d*v = -2*o, 2*v + 2*v - 2*o = 0. Suppose -2*a + 4*m + 570 = v, 0 = 4*a - m + 2*m - 1176. Is a composite?
False
Suppose n + 3*n = -324. Let w = 91 - n. Let o = w - -37. Is o a prime number?
False
Let g = 333 + -142. Is g a prime number?
Tru