et f = 116 - 175. Let a = f + 136. Is a a composite number?
True
Let a(w) = 19*w**3 + w**2 + w - 1. Let l be (-8)/(-10)*(-4 - -14). Suppose 0 = 4*j - 0 - l. Is a(j) a composite number?
False
Let s(d) = 41*d. Let t be s(1). Let o = 72 - t. Is o a prime number?
True
Let s be (6/4)/(6/12). Suppose 0 = w - s*w + 380. Let l = 324 - w. Is l composite?
True
Suppose 4 + 8 = -2*x. Let j be (x/(-4))/(-3)*8. Is (-6)/j + 2/4 a prime number?
True
Let y = 2 + 3. Suppose -13 = -2*b - y. Let s(a) = 2*a**2 - 4*a - 5. Is s(b) composite?
False
Let l(m) = 365*m**3 - 2*m**2 + 4*m + 1. Is l(2) a prime number?
False
Let s(g) = -8*g - 5. Let w(y) = -8*y - 4. Let f(z) = 2*s(z) - 3*w(z). Let n be f(9). Suppose 0 = 6*b - 4*b - n. Is b prime?
True
Is 3*5/(-15)*-3709 a composite number?
False
Suppose -5*l = -0*l + u - 171, 3*l + 2*u = 97. Is l prime?
False
Suppose -5*x + 198 = 2*a, -2*x + 7*x - 465 = -5*a. Suppose k - a = 72. Is k prime?
False
Is 30/(-6)*(-111)/3 prime?
False
Is 1 - (-3 + 523)/(-1) prime?
True
Suppose 2*k + y = 192, -3*y + 7*y = 2*k - 192. Let r = k - -167. Is r composite?
False
Let n = 33 - -20. Is n prime?
True
Suppose -12 = z - 17. Suppose -c + z*c - 380 = 0. Is c a composite number?
True
Suppose -c + 177 = -0*c. Let q = -92 + c. Is q prime?
False
Suppose 0 = 3*a + 3*c - 162, -56 = -a - 0*a - 3*c. Is a a composite number?
False
Let b(r) = -121*r + 3. Let t be b(-8). Suppose 159 = -4*g + t. Is g a composite number?
True
Suppose 3*v + 391 - 37 = 0. Let d = -69 - v. Is d composite?
True
Let f(z) be the first derivative of -z**4/4 - z**3/3 + z**2 + 2*z + 1. Let w be f(-2). Suppose -3 + 31 = w*n. Is n a prime number?
False
Let f(r) = r**3 + 11*r**2 - 3*r - 9. Let t be f(-6). Suppose -2*l = 71 - t. Is l a prime number?
True
Is 3273 - (-1 - 6/(-2)) composite?
False
Suppose 3*g = -4*j - 206, g + 5*j + 44 + 10 = 0. Let d = g + 105. Is d prime?
True
Let u(x) = 50*x - 1. Let d be u(1). Let y = -22 + d. Suppose 175 = 4*q + y. Is q prime?
True
Is (-15)/(-12)*2*(140 - -2) a composite number?
True
Let t = 37 + 213. Let h = t + -87. Is h a prime number?
True
Let d be (-4)/(-2*(-1)/(-2)). Suppose -136 - 92 = -d*r. Is r a composite number?
True
Let n = -279 + 493. Is n a composite number?
True
Suppose 0 = 4*r - 3*w - 127, 5*r + 0*w = -w + 173. Is r a prime number?
False
Let a be 1 - 0 - 26/1. Let s = a + 48. Is s prime?
True
Let a = 279 - 196. Is a a prime number?
True
Let b(o) = -3*o - 268. Let v be b(0). Is 21*4/((-48)/v) a prime number?
False
Suppose -2*k + 647 = 5*y, 0 = 4*k + 5*y - 1350 + 41. Is k a prime number?
True
Let d be (8/(-6))/(3/927). Let v = d + 96. Is (-1)/(2/v*2) prime?
True
Suppose p + 5*x - 886 = -2*p, -3*p = -5*x - 866. Let f = p - 41. Is f a prime number?
True
Let f be (-16)/20*20/(-8). Suppose -150 - 94 = -4*g - f*t, -3*g + 197 = 5*t. Is g composite?
False
Let v be (-14)/35 - 94/(-10). Let f(d) = -d + 1. Let s be f(2). Is ((-6)/v - s)*105 a prime number?
False
Suppose -21 = -5*n + 4*s, 4*n - 6*s - 16 = -2*s. Suppose -n*a + 372 + 73 = 0. Is a a prime number?
True
Let i(v) = -164*v + 25. Is i(-9) a composite number?
True
Let c = -625 - -981. Suppose -z = -2*h - 88 - 1, -4*z - 3*h + c = 0. Is z a prime number?
True
Let c(v) = -v**3 + 6*v**2 + 2*v + 4. Is c(3) a prime number?
True
Suppose -5*o = -3*o + 4. Let u(c) = c**2 - 5*c. Let s be u(5). Is s/o + (33 - -2) a prime number?
False
Suppose -4*g + 104 = -44. Is g composite?
False
Suppose 5*w - 15 = 5*t, t = -7*w + 4*w + 5. Suppose 4*x - 92 = 4*m, -x - w*m + 14 = -9. Is x composite?
False
Suppose 169 = 3*f + 5*x, f - 5*x = 57 + 26. Let a = -25 + 93. Let c = f + a. Is c a prime number?
True
Is -3 - 11/(33/(-8466)) a prime number?
True
Suppose -6*d = 132 - 1326. Is d a composite number?
False
Suppose -3*u - 3*d + 8955 = 0, 5*d = 4*u - 8*u + 11942. Is u prime?
False
Let b(j) = -3*j**3 + 6*j**2 - j - 13. Is b(-7) a prime number?
False
Suppose -77 = -2*d + 353. Is d composite?
True
Let z(v) be the first derivative of 21*v**2/2 + 7*v - 2. Let r be z(8). Suppose 3*i + r = 8*i. Is i composite?
True
Let h(z) = z**3 + 3*z**2 + z + 4. Let c be h(-3). Let r be 1/(c/(-2)*-1). Suppose 2*x - 6*w - r = -4*w, 7 = 5*x - 4*w. Is x prime?
True
Suppose 0*q - 2*q = -3*o + 51, -69 = -3*o - 4*q. Is o a composite number?
False
Suppose -5*z - 5*s = -2440, -2*s - 2099 = -5*z + 341. Suppose 9 = 4*y - 11, -4*f = -4*y - z. Is f a prime number?
True
Suppose 5*d - 7*c + 2*c - 8490 = 0, -5*d = -2*c - 8475. Is d a prime number?
True
Let p(r) = 13*r - r**2 + 0*r**2 - 5*r. Let l be p(8). Suppose l = 3*i - 0*i - 63. Is i prime?
False
Let h = 0 - -2. Suppose 2*c - 4*g = 138, 5*c = h*c + 3*g + 201. Is c a prime number?
False
Suppose 5*l - 24 = -9. Suppose -2*s - l*y = 9, 0 = 2*s - 3*y + 2*y + 13. Let z = 4 - s. Is z a composite number?
True
Suppose -6*o = -8*o + 10. Suppose o*b = -515 + 3580. Is b a composite number?
False
Suppose 0 = -3*x - m + 5113, 0*m = -5*m - 10. Let s = -870 + x. Is s a composite number?
True
Let w = 178 + 153. Is w composite?
False
Let y(f) = -f**2. Let a be y(5). Let c = -14 - a. Is c prime?
True
Let o = 1187 - 2500. Let k = 1847 + o. Suppose 2*w = 3*g + 2*g + k, g = -2*w + 510. Is w a prime number?
True
Is (8770/15)/(12/18) a prime number?
True
Let y be 0/1 + (-4)/(-1). Let o(f) = f - 2. Let l be o(y). Suppose -b + l*b - 67 = 0. Is b composite?
False
Suppose -4*u = -5*u. Suppose u = -p - 0 + 2. Suppose s + 2*s - 264 = -3*i, -3*s = p*i - 259. Is s prime?
True
Suppose 0 = -3*d - y - 33 + 1022, -y = -5*d + 1659. Is d composite?
False
Suppose 2*q + 767 = 3*w, w - q - 3*q = 239. Is w composite?
True
Is (20/(-16))/((-5)/11260) prime?
False
Suppose 2*a - 4*y = 17 - 1, 0 = -4*a - y + 14. Suppose -5*f - a*g = -g - 2773, 1651 = 3*f + 5*g. Is f a composite number?
False
Suppose -136 - 157 = -s. Is s composite?
False
Let u(y) = -y**2 + 8*y + 4. Let j be u(8). Suppose 450 = 4*k - w, -3*k = -j*w + 3*w - 337. Is k prime?
True
Suppose 5*u - 21 = -k + 1, k = u + 16. Suppose d - 4*d + 19 = -c, k = 4*d - 3*c. Suppose -3*z + 163 = 2*y, z - 65 = -2*y - d. Is z a composite number?
False
Let z be (4 - 1)/(2/14). Is z/2*22/3 a composite number?
True
Let v(a) = 21*a**2 + 10*a + 1. Is v(6) prime?
False
Is (0 - -1)*(0 + 225 - 2) a prime number?
True
Let n(u) = 5*u**3 + 3. Let h = 14 + -10. Is n(h) prime?
False
Suppose 3*k = 4*t + 154, -k - t + 64 = 4*t. Suppose k = 4*n + 5*z, 2*n - z - 28 = -4*z. Is n prime?
True
Let y(p) = -p**3 + 10*p**2 - 6*p + 2. Let o be y(4). Suppose 3*h - h = o. Is h composite?
False
Let q = -27 - -38. Let x = q - -5. Suppose -x = -4*o, g + 2*o = 72 - 9. Is g a prime number?
False
Let l = 501 - 310. Is l a composite number?
False
Let g(i) = -210*i**3 - i. Is g(-1) composite?
False
Let u(o) = -24*o - 9. Suppose -3*c - 4*t - 17 = 0, -4*t = -3*c - 2*t - 41. Let g be u(c). Suppose -4*k + g = k. Is k a composite number?
True
Let y(w) = 98*w**2 + w. Suppose -4*n = -7*n - 3. Is y(n) a prime number?
True
Let j(m) = -22*m - 1. Let c(d) = d**2 - 6*d + 3. Let f be c(6). Suppose l + 2*l = -f. Is j(l) a composite number?
True
Is (-6)/45 + (-2854)/(-30) a composite number?
True
Let z(n) be the second derivative of 1/2*n**2 + n**4 - 5/2*n**3 - n - 1/20*n**5 + 0. Is z(10) a composite number?
True
Let x(c) = c - 1. Let d be x(5). Suppose 19 = -5*z + d. Let q = z - -18. Is q prime?
False
Suppose 0*l + 55 = l. Let j be (1 + 8)*1/3. Suppose j*o = 4*o - l. Is o a composite number?
True
Suppose 4*v - 221 = 231. Is v prime?
True
Suppose v - 4*g = g + 58, 3*g = 0. Is v a prime number?
False
Suppose 0*u - 20 = 2*u. Let s(d) = -d + 3. Let a(m) = 3*m - 11. Let z(b) = 2*a(b) + 9*s(b). Is z(u) a prime number?
False
Suppose 3*v + v = 1004. Is v a prime number?
True
Let n = 3 - 6. Let z be (18/15)/(n/30). Is 4/z*90/(-2) a prime number?
False
Suppose -2*n + f = 2*f - 221, n = 3*f + 107. Let d be 0 + 0 + 2 + 1. Suppose w = 2*c - n, -2*c = -7*c - d*w + 297. Is c prime?
False
Suppose -5*l + 1859 = p - 3*l, 1879 = p - 3*l. Is p a composite number?
False
Let m be ((-8)/6)/(4/(-6)). Is ((-502)/4)/(m/(-4)) a composite number?
False
Suppose -5*o = 5*k + 5, 0*k = -2*k - 10. Suppose -o = v + 5. Let r(g) = -g**3 - 8*g**2 + 8*g + 2. Is r(v) composite?
False
Suppose 0 = y - 0*y. Suppose -t + y = -2*r + 4, 4*t = 5*r - 16. Suppose -2*k + 2*x + 48 = r, -3*k = 