 6*p**2 - k - 2*p**2 + 2*p. Is u(6) prime?
False
Let l = 111 - 108. Suppose 2*y + 4760 = 6*y - l*u, -2*u = -8. Is y prime?
True
Is 582309/35 - (-10)/(-25) prime?
False
Let x(u) = -18*u - 1. Let r be (1 - (-3 + 2)) + -3. Let k = -2 + r. Is x(k) prime?
True
Let a(l) = -21*l**2 - l. Let p be a(-1). Let q be ((-4256)/10)/(2/p). Suppose q = 4*b - 4*j, 0*j = 3*b - j - 3186. Is b a prime number?
True
Let k = -6 + 8. Suppose s + 4*a = 2241, -2*s + 4467 = -k*a + 5*a. Is (1 - (-6)/(-9))*s composite?
False
Let o = 503 - -580. Suppose i - o = -2*h - 0*h, h + 2*i = 537. Is h composite?
True
Suppose 5*g = g + 3*z - 7, 9 = 2*g + z. Suppose 0*i - 2*i + 178 = -g*c, -2*c - 263 = -3*i. Is i a composite number?
True
Let h = -914 - 842. Is (-2 + 1)*h + 3 a prime number?
True
Let v(t) be the first derivative of 101*t**4 - t**2 - t - 5. Let s be v(2). Suppose s - 1072 = 5*g. Is g composite?
False
Suppose -2*u - 249 = -4*g - 37, -3*g = u - 169. Suppose g*v + 3425 = 60*v. Is v a prime number?
False
Let w(p) = 75*p + 7. Let m be w(5). Suppose 10*n - 8*n - 1146 = 0. Suppose 2*z + 2*o = m, 2*o + n = 3*z + o. Is z prime?
True
Suppose -2*m - 71 = 21. Let x be (2 + 5 - 3) + -4. Let c = x - m. Is c a composite number?
True
Suppose 0 = v + 2 + 2. Let s(x) = -x - 2. Let c be s(v). Suppose -8*p + c*p = -954. Is p composite?
True
Let o be ((-56)/70)/((-4)/2590). Is ((-3)/2 - -2)*o a composite number?
True
Suppose 2*q - 1417 = 1203. Suppose 5*x = -5*g + q, 0 = -2*x + 3*x + 5*g - 274. Is x a prime number?
False
Suppose 0 = -r - 0*r. Suppose m - 1 + r = 0. Is 8 - (m + 0) - 1 prime?
False
Suppose -y + 58 + 118 = 0. Let c = y + -15. Is c composite?
True
Let c be ((-162)/12)/(3/16). Let k = 124 + c. Suppose k = a - 361. Is a prime?
False
Suppose 0 = 3*g + 618 + 660. Let s = -239 - g. Suppose 0 = -4*c + 1 + s. Is c a prime number?
True
Let m be -4*(-4 + (-178)/4). Suppose l = 3*l - m. Is l a prime number?
True
Let r = -55866 + 101869. Is r a prime number?
False
Let q(a) = -67*a. Let w(g) = -g + 1 + 0*g + 4. Let n be w(6). Is q(n) prime?
True
Let i(t) = t**3 - 6*t**2 + 2*t - 8. Let l be i(6). Let a be (1/l)/((-4)/(-32)). Let w = 143 + a. Is w prime?
False
Suppose -2*v + 17 - 13 = 0. Is 219*8/12 + v/(-2) prime?
False
Suppose s - 14966 = -3*k, 3*s = 2*k + 5171 + 39694. Is s composite?
False
Let h be (-6)/39 + 315/(-65). Let c(m) = -m**2 - 6*m - 2. Let q be c(h). Suppose 5*s - q*u = 2779, -9 = -5*u + 1. Is s composite?
False
Suppose i = a + 11923, -6*i + 3*a = -5*i - 11915. Is i composite?
False
Let v = 261 - 62. Suppose 0 = 5*j - 696 - v. Is j prime?
True
Suppose -12*d = -71873 - 69691. Is d composite?
True
Let s(z) = -z**3 - 15*z**2 - 4*z - 7. Let k be s(-14). Let w = k + 87. Let r = w + 91. Is r composite?
False
Let h(t) = -t**3 + 32*t**2 - 10*t + 50. Is h(31) composite?
False
Let f be (9/12)/(-3) + 68/16. Is (f/(-10) + (-62)/(-30))*381 composite?
True
Let o be 2 - 3/((-15)/4435). Suppose -o = -5*j + 726. Is j composite?
True
Let t = -2452 + -1154. Let s = -2068 - t. Is s a prime number?
False
Let q be (175/(-2))/(1/(-70)). Suppose c - q = -4*c. Suppose -5*s - c = -3130. Is s composite?
True
Is ((-60)/100)/((-6)/66370) a composite number?
False
Let n(m) = m**2 + 11*m - 1. Let o be n(-9). Let x = 473 + o. Suppose l - 3*w - x = -44, -4*l - 5*w + 1657 = 0. Is l a composite number?
True
Is -731*2/((-4)/(-8)*-4) composite?
True
Let i = 0 - 2. Let s = -2 - i. Suppose s = 2*y - 10 - 12. Is y a prime number?
True
Is ((-119005)/15)/(5/(-17 + 2)) prime?
True
Is (11997 - (-23 + 13))/1 a composite number?
False
Let o = 187 + 11760. Is o a composite number?
True
Let m(o) = -o**3 - o**2 - 2. Let q be m(-2). Let x(g) = -g**3 + 3*g**2 - 2*g - 1. Let v be x(q). Is (-167)/(-2) + v/2 prime?
True
Let d(q) = -q**2 - 16*q + 2. Let t be d(-16). Suppose 0 = -3*a - 3*b + 328 + 563, -t*a = 5*b - 600. Is a a prime number?
False
Let d(a) be the first derivative of -a**4/4 + 7*a**3/3 - 7*a**2/2 - 6*a + 5. Let m be d(6). Let k = m - -26. Is k a prime number?
False
Suppose 5*i + 0 + 5 = 0, -o + 5*i + 8 = 0. Suppose o*h - 381 = -0*h. Is h a prime number?
True
Suppose v + 3 = 0, t = 4*v - 7*v - 9. Suppose t = 5*m - 2239 - 3726. Is m a prime number?
True
Suppose -8*d + 39437 - 4821 = 0. Is d a prime number?
True
Let l(g) = g**3 + 8*g**2 - 9*g + 6. Let b be l(-9). Suppose 0 = -b*f + 5*f + 183. Is f composite?
True
Suppose 163749 = 7*s - 174932. Is s a prime number?
True
Suppose 0 = -4*f - 4*f + 137704. Is f a composite number?
True
Let h = 16391 + -7504. Is h composite?
False
Suppose -2*h - 5*h = 2*h. Is (-1 + 3 + 155 + h)*1 composite?
False
Suppose -2 = 4*h + 2*b - 6, -2*h + 4*b - 18 = 0. Let d = h + 1. Suppose d*a - 22 = -a. Is a composite?
True
Let n(c) = c**3 - 10*c**2 - 17*c + 2. Let b be n(7). Let f = 5243 - b. Is f composite?
False
Let n(g) be the second derivative of -79*g**3/6 - g**2 + 4*g. Is n(-3) a prime number?
False
Let n(y) = 25*y + 25. Let s be n(-8). Let k = s - -4220. Is k a prime number?
False
Let w = -15 + 11. Suppose c - 2386 - 771 = -4*n, 3943 = 5*n - 2*c. Is n - (w + 4 + -2) a composite number?
True
Suppose -138708 = 61*t - 65*t. Is t/39 + (-6)/39 a composite number?
True
Let o(n) = n**2 - 14*n - 7. Let w be o(15). Suppose -w*s = -16*s + 3256. Is s composite?
True
Let g be 3*(1424/(-6))/(1/(-1)). Let f be 3*(-2)/(2 - 4). Suppose -f*s + g = s. Is s a prime number?
False
Let s(a) = 40*a + 17. Suppose 0 = 3*u - 8*u + 45. Is s(u) a composite number?
True
Let t(o) = 3*o**3 - o**2 + 7*o + 6. Let g(n) = -n**3 + n - 1. Let f(j) = -g(j) - t(j). Is f(-3) a prime number?
False
Suppose 2*m = 4*s + 92, -6*s = -7*s - m - 26. Is (-17944)/s - 4/(-3) composite?
True
Let d be 3 + 142 + -4 + 3. Suppose -i + 171 = -d. Let m = i - 136. Is m a composite number?
False
Let w = 5576 - -3359. Is w prime?
False
Let g be 33/7 + 14/49. Suppose -g*h + 1623 + 9376 = -3*u, -5*u = -3*h + 6609. Suppose i = -6*i + h. Is i composite?
True
Let i(b) = b**2 - 10*b + 21. Let k be i(7). Suppose 5*s - 9*m = -5*m + 87, 3*s - m - 55 = k. Is s prime?
True
Is (-5 + (-80)/(-15))*7221 prime?
False
Suppose 2*h - 5*v = -3*h - 10, -4*v = 5*h + 46. Let x be (h/(-4))/(-3)*-8. Suppose -4*b - b + 817 = x*l, -813 = -4*l - b. Is l a composite number?
True
Let c be (-66)/(-14) - 4/(-14). Suppose -h + c = 3. Suppose 0 = 5*q - 3*n - 1165, -6*q - 4*n + 932 = -h*q. Is q a composite number?
False
Let o(x) = -258*x + 97. Is o(-7) a composite number?
True
Suppose -46*z + 723442 = -0*z. Is z composite?
False
Let c = -66 + 68. Suppose -4*n - h + 3967 = 0, -2*h = 3*n + c*h - 2985. Is n a composite number?
False
Let b be (0 - 6) + (-4)/(-2). Is (-5 - b) + 2 + 52 a prime number?
True
Let m be 0 + 82 + (18 - 18). Suppose z - 476 = -m. Let y = -263 + z. Is y a prime number?
True
Suppose -x + w = -6*x + 129, -87 = -3*x - 3*w. Suppose 0 = -3*h + x + 41. Is h composite?
True
Is -4 + (-14)/((-84)/33798) a prime number?
False
Suppose 2*t + i - 26753 - 12322 = 0, -5*t = 4*i - 97695. Is t composite?
True
Let k(x) = -92*x + 31. Let m be -2 + (-10)/5 + -2. Is k(m) prime?
False
Let t(d) = 6*d + 9 + 4*d**3 + d - 5*d**3 - d**2 - 4*d**2. Let s be t(-6). Suppose -s*p + 376 = 6*k - k, k - 80 = p. Is k composite?
True
Suppose s - 3 = -18. Let c(f) = -176*f - 9. Is c(s) a prime number?
False
Suppose -5*b + 5038 + 15582 = -5*l, -3*l = 3*b - 12348. Suppose 0 = -o + 9*o - b. Is o a prime number?
False
Let i(t) = -4*t + 22. Let k be i(6). Is (-4 + 5 - k) + 952 composite?
True
Suppose 3*n = 3221 + 382. Is n prime?
True
Let c(r) be the first derivative of r**4/4 - 5*r**3/2 + r**2/2 - 3*r + 2. Let t(s) be the first derivative of c(s). Is t(12) a composite number?
True
Let o(u) = 35 - 13 - u**2 + 20*u - 16 - 9. Is o(12) composite?
True
Let f(g) = -g + 4. Let o be f(2). Suppose -1445 = -5*z + o*z + 2*h, z + h - 475 = 0. Is z a composite number?
False
Suppose -5*s + 1562 = -503. Is s composite?
True
Suppose -2024 = -5*d + 76. Suppose 5*n = -3*i - i + 249, 4*i - 4*n = 240. Let c = i + d. Is c a composite number?
True
Let z = 17161 + -5862. Is z composite?
False
Suppose -y = -2*z + 12, 13 = z - 3*y - 3. Suppose -3*o = 5*h - 1463, -z*o - 1196 = -4*h - 0*o. Is h a composite number?
True
Let j be (75/6)/(3/24). Let v(b) = 49*b + 51*b + 1 + j*b + 20*b. Is v(1) prime?
False
Suppose -f = -4, 3*m - 