*x + 2. Let c(n) = -27*n - 3. Is c(x) a composite number?
True
Let b = 8333 + -4170. Is b prime?
False
Suppose -5*w - 85 = -6*w. Is w a composite number?
True
Let t(i) = i - 1. Let u be t(5). Suppose 4*z = u*f + 23 + 45, -53 = -3*z + 2*f. Is z prime?
True
Let v = 110 - 19. Is v a prime number?
False
Suppose 3*f = -5*d + 3474, 0*d = -f - d + 1160. Is f composite?
False
Let f be (2/2)/((-1)/2). Let p be f/(-4)*(-1 - -3). Is p - -55 - (0 + 1) composite?
True
Let q(x) = -x + 8. Let o be q(-4). Is ((-4)/6)/(o/(-1278)) a composite number?
False
Suppose -u + 1944 = 3*z, 0 = -z - 5*u + 169 + 465. Is z prime?
False
Suppose -a = 5*g - 3391, -2*g = -2*a + 6*a - 1342. Is g composite?
True
Suppose 2*v + v = 1182. Is v a prime number?
False
Suppose 466 = c + 189. Is c composite?
False
Let c be 1/(-1*(-2)/8). Suppose -o + 2 = -u + 3*u, -c*u - 32 = -4*o. Let z = 25 - o. Is z composite?
False
Suppose 3*m = -8 + 2. Let k be 2/(4 + 6/m). Suppose -k*w + 19 = -9. Is w prime?
False
Let n = -2199 - -3167. Is n/28 + (-3)/(-7) prime?
False
Let j = 7 + -5. Suppose -j*c - 180 = c + 3*g, -4*c + 5*g - 204 = 0. Let s = c - -87. Is s a composite number?
False
Let r(d) = d**3 - 8*d**2 + 8*d - 5. Let m be r(7). Is 4/(-2)*(-39)/m prime?
False
Suppose v + 5 - 31 = 0. Suppose -3*m = -8 + v. Let g = m - -21. Is g a composite number?
True
Let r(g) = 2*g**2 + 2*g - 1. Let s be r(-3). Let k(q) = -q**2 - 4*q + 7. Let d be k(-5). Suppose 3*x - s = d*x. Is x composite?
False
Suppose -4 - 468 = -8*y. Is y composite?
False
Suppose 0 = 5*k + k - 1206. Is k a prime number?
False
Let d be (5 - 2) + (2 - 2). Is ((-37)/(-3))/(1/d) prime?
True
Let o = -122 - -337. Is o a composite number?
True
Let m = 88 + -128. Let g = 87 + m. Is g a prime number?
True
Let l = -1797 + 3158. Is l prime?
True
Suppose -5*t - 5*p + 275 = 0, -2*p = -6*p - 8. Suppose 0 = 5*d - 3*r - 1, 0*d + 4*r - 20 = -4*d. Suppose s + d*s - t = 0. Is s composite?
False
Suppose 7*k + 3*k - 30170 = 0. Is k a prime number?
False
Let d = 60 + 51. Is d prime?
False
Let k(z) = -2*z**3 - 9*z**2 + 5. Let l(y) = -2*y**2 + 3*y - 4. Let g be l(2). Is k(g) composite?
False
Let o(l) be the second derivative of l**4/3 + 8*l**3/3 - 11*l**2/2 - l. Is o(-12) composite?
False
Let a(b) = -18*b + 9. Let t be a(10). Is (t/6 + 2)*-2 composite?
False
Suppose -1704 - 759 = -3*l. Is l prime?
True
Let t(y) = 4*y**2 - 4*y + 2. Let r be t(-4). Let m = r + -49. Is m a composite number?
True
Suppose -2*g = -1 - 17. Suppose 0 = r + 4, a - 3*r + g = 2*a. Is a prime?
False
Let u = 0 + 3. Suppose 9 = 5*q - 2*f - 4, -3 = -2*q + u*f. Is 0 + 45 + (q - 1) a composite number?
False
Let d be -3 + (2 - -7) - 2. Suppose -7*s = -5*s - d. Is s a prime number?
True
Suppose 0 = y + 3 - 5. Suppose -l + y*v = 0, 8*l - 3*l - 12 = 4*v. Suppose 0 = -4*s + l*d + 25 + 15, s - 35 = -4*d. Is s prime?
False
Let p(x) = 6*x**2 - 16*x - 5. Is p(8) a prime number?
True
Suppose -7 - 1 = -4*s, d - 54 = 5*s. Let z = 117 - d. Is z a composite number?
False
Let f = 9 - -14. Suppose 3*g + 2*y = -0 + 38, 2 = 2*y. Let b = g + f. Is b a prime number?
False
Let u = 19 + -15. Suppose -c = -5*c - y + 1487, -u*y = -5*c + 1843. Is c composite?
True
Let m = 5 + -7. Let s be 1*2/m*-2. Suppose 5*k + x = 727, s*k - 268 - 28 = -3*x. Is k a prime number?
False
Let b be ((-2)/1)/((-1)/(-8)). Let o be (-2)/5 - b/(-10). Let f(y) = -72*y - 2. Is f(o) a composite number?
True
Suppose 4*w - 3*i + 16 = 0, 0*w = 3*w - i + 17. Let q = 12 - w. Is q a composite number?
False
Suppose 0 = -2*s + h + 14, 0 = -0*s + s + h - 4. Suppose -a - 1365 = -s*a. Suppose -l = -4*l + a. Is l prime?
False
Let i(x) = 5*x**2 + 3*x + 5. Let k be -6*2*3/(-9). Is i(k) composite?
False
Suppose 4*s - 3*t - 10 = 3, 2*t - 18 = -4*s. Is ((-15)/10)/((-3)/s) a composite number?
False
Suppose -325 = -0*y - 5*y. Is y composite?
True
Suppose 0 = 2*i - 4. Suppose -5*v + i*v = 18. Is (-67)/(-3) + (-4)/v composite?
False
Let c(d) = 15*d**3. Let q be c(1). Let r be ((-27)/q)/((-1)/5). Suppose -335 = -r*a + 4*a. Is a a composite number?
False
Let o = 20 + -17. Suppose 0 = -4*x + 11 + 9. Suppose -61 = -o*t + x. Is t a composite number?
True
Let a(n) = 2*n**3 - n**2 - 2*n - 1. Let s be a(-1). Let x be -5*(-22 + s + 2). Suppose -2*u - 3*r = -0*u - 31, 5*u - x = -r. Is u a prime number?
True
Is 303 + (-7)/(-1) + -3 a composite number?
False
Suppose 0 = 5*z + p + 4, 2*z + 5*p = -0*p + 3. Let n = 14 - z. Is n prime?
False
Suppose 15 = 2*l - 1. Is 2/l - 332/(-16) composite?
True
Let s = 687 - -778. Is s composite?
True
Is (-3)/6*(2 + -5484) a prime number?
True
Suppose -4*u + 34 = 5*f, -u = -3*f - 5*u + 14. Is 110/(-4)*(-8)/f a prime number?
False
Let a be ((-8)/20)/((-1)/5). Is (-4 - (a + -3)) + 160 a composite number?
False
Let i(w) = -w + 2. Let t be i(0). Suppose -291 = -a - t*a. Is a a prime number?
True
Let z = 24 - 12. Suppose 2*s - 4*s = 12. Let q = z + s. Is q prime?
False
Let o = -4 + 8. Let a(b) = 5*b + 2. Let u be a(o). Suppose 0*n = n - u. Is n composite?
True
Let w(v) = v**3 - 6*v**2 + 6*v - 14. Is w(7) prime?
False
Let s(f) = 7*f**2 - 5*f - 5. Is s(5) composite?
True
Let z be 1 - -1 - 0/(-8). Is ((-177)/4)/(z/(-8)) a composite number?
True
Suppose -k - 4*k = -850. Suppose 36 = f - a, 5*f + 3*a = -2*a + k. Is f prime?
False
Let z = 266 + -15. Is z composite?
False
Suppose -2*u - 3 = -3*u. Let y(q) = -2*q + 40. Let o be y(18). Suppose 2*k - 162 = o*x, 0 = -5*k + 5*x - u*x + 397. Is k composite?
False
Let u(q) = -q**3 - 2*q**2 + 4*q - 5. Let k(f) = -f**2 + 6*f + 10. Let y be k(8). Let s be u(y). Let d = s + -62. Is d a prime number?
True
Suppose 3*r + m = 2287, -5*r + 0*r = -5*m - 3805. Suppose 3*z = 3*w - r, -3*w + 4*w = -z + 252. Suppose -2*n + w = 3*k, -2*k = -3*n + n - 182. Is k prime?
False
Suppose 270 = 3*c - 3*z, -4*z - z = 4*c - 351. Let x = 26 + c. Is x a prime number?
False
Is 10/25 + (-2349)/(-15) a prime number?
True
Let t be (-1 + 8)*1*13. Suppose 0*x - t = -x. Suppose 103 = y + l - 8, 0 = y - 3*l - x. Is y a prime number?
False
Suppose 1866 - 401 = 5*h. Is h composite?
False
Let s = 178 + -100. Let a = 193 - s. Is a a prime number?
False
Is (-2)/(-2) + -2 + 150 prime?
True
Suppose 3*u + 3*t = 459, 41 - 190 = -u - 3*t. Is u a prime number?
False
Let t = -66 + 148. Is t a prime number?
False
Suppose -2*z = 3*l - 228, 4*l + 8 = 5*z - 539. Suppose -5*i = -2*b - 218 - z, 4*b = -5*i + 347. Is i prime?
True
Suppose 5*k + 1543 = 6063. Let c = k + -469. Suppose 2*g - c = -3*g. Is g a prime number?
False
Suppose v = 4 + 2. Suppose 0*a + 3*a + b - 33 = 0, 66 = 5*a - 2*b. Is (v/a)/(2/52) a composite number?
False
Suppose 0 = -2*j - 2*j + 4, 3*j - 130 = b. Suppose 0 = 3*a - 6*a - 252. Let c = a - b. Is c composite?
False
Let n(z) = -z**2 - 6*z - 3. Let b be n(-5). Suppose 0 = b*r - 90 - 40. Is r prime?
False
Let c(s) = -7 + 0*s**2 + s - 3*s**2 + 4*s**2. Suppose 3*m + 20 = -5*i, -5*i - 4 = m + 26. Is c(i) prime?
False
Is 5*(-2)/(-5) - -4680 - -3 a prime number?
False
Let y = -264 - -713. Is y composite?
False
Suppose -3 = -5*r + 2. Let y be 2*302/4*r. Let f = y - 72. Is f a composite number?
False
Let q = -87 - -1798. Is q a prime number?
False
Let a = 5361 - 1160. Is a prime?
True
Suppose -6*p + 2*p + 188 = 0. Is p composite?
False
Let w = -10 - -13. Suppose -4*z = 0, 0 = i - w*z - z - 31. Is i composite?
False
Let t = 10 - -12. Suppose -3*w + 7 = -23. Is w*(0 - t/(-4)) a composite number?
True
Let w = 50 + 45. Is w a composite number?
True
Let k(m) = -3*m - 2. Let w be k(-3). Let y(z) = -3 - 1 + 2*z + 0*z. Is y(w) prime?
False
Let r(a) be the first derivative of a**3/3 + a - 6. Is r(12) a prime number?
False
Let o be 1/5 + (-658)/(-35). Let s = o + -6. Is s prime?
True
Let x(j) = 3*j**2 + 2*j + 1. Let z be x(-1). Suppose -4*r - 1 = -v + 19, -2*r + 8 = 4*v. Suppose -4*l = -z*k - 0*l - 6, 0 = -v*k + l + 23. Is k prime?
True
Let q = 4 - 0. Let b = 3 - 1. Suppose q*s = -b*g + 194, 0 = -3*g - 2 - 1. Is s composite?
True
Suppose -s - 9 = 4*n, -3*n + 2*s + 11 = -4*n. Suppose -3*p - 5*f = -101, 4*p - 6*p - 5*f + 69 = 0. Is (n - 0)*-1 + p composite?
True
Let q(x) = 0 - 60*x**3 - 1 + 0 - 3*x - 3*x**2. Is q(-2) composite?
True
Suppose -115 = 3*y - 5*i - 354, -5*y = -2*i - 411. Is y a prime number?
True
Suppose -k = -5*l + 3688, -6*l + 3691 = -l - 2*k. Is