152*u**3 + 7*u**2 + 16*u + 5. Is y(-2) a composite number?
True
Let t(c) = 1167*c**2 - 49*c + 489. Is t(11) prime?
True
Let p(i) = i**3 + 9*i**2 + 3*i + 19. Let d be p(-13). Let a = -291 - d. Suppose m - a + 106 = 0. Is m prime?
False
Suppose -3*p + 57535 = -4*o, p - 4*o - 18330 = 843. Is p prime?
True
Let m(f) = -22*f**3 - 3*f**2 + 3*f + 6. Let s be m(-5). Suppose -4*v - 1158 = s. Let z = v + 1857. Is z prime?
False
Let p(r) = 93*r**2 - 106*r + 27. Is p(88) composite?
True
Let b(h) = -h**2 - 20*h - 32. Let j be b(-18). Let n(c) = -3*c + 15. Let d be n(j). Let y(o) = 5*o**2 - 2*o - 4. Is y(d) a composite number?
True
Let v(f) = 1094*f**2 - 10*f - 5. Is v(-3) a prime number?
True
Let a(d) = -7383*d - 4. Is a(-29) composite?
True
Let x(z) = -4831*z**3. Let g(a) = -20*a + 239. Let w be g(12). Is x(w) composite?
False
Let f be 1013*(8/(-6))/((-56)/84). Let a = 453 + f. Is a composite?
True
Suppose n = -2*f + 17, -47 = -4*n + 3*f + 76. Suppose 22*h = n*h - 4855. Suppose -4*i = q - h, i - 1451 + 6306 = 5*q. Is q a prime number?
True
Suppose 93*a - 94*a - 7 = 0. Let p(k) = 161*k**2 - 5*k - 5. Is p(a) composite?
False
Suppose -4306105 = -115*o + 4126500. Is o a prime number?
True
Let m = -16709 + 32016. Is m a composite number?
False
Suppose 2*f = 3*g + 6 - 19, -5*g = 5*f - 30. Is (-2226 - g/(-1))/(-1) prime?
True
Suppose 5*x - 3*t = 9*x - 36, 2*x = 3*t. Suppose -p + x*p = -2*i + 23720, 11847 = i - 4*p. Is i prime?
False
Let a be (-33)/11 - (-2 + 1). Let o be (8/24)/(a/(-50610)). Suppose 2*k - 1841 = 3*i + 1543, o = 5*k + 5*i. Is k prime?
False
Let y(n) = 4178*n**2 + 619*n + 5584. Is y(-9) a prime number?
True
Let o = -552699 + 814346. Is o prime?
False
Let b be (-12)/(-18) + (-7)/(-3). Suppose b*n - 2 + 8 = 0, 3*m + 3*n = 8931. Suppose 14*j = 23*j - m. Is j a prime number?
True
Let t = 1836478 - 1167455. Is t prime?
True
Suppose 2*f = -4*a - 2*f + 372, -4*a + 2*f = -396. Let z = a + -100. Is (8/(-40))/(z/31665) composite?
False
Suppose 23*i + 1343844 = 26*i - 5*h, i - 447946 = h. Is i prime?
True
Let w(x) = -7 - 170*x + 54*x - 70*x - 2 - 2. Let f = -5 + 0. Is w(f) a composite number?
False
Let a(w) = 2*w**2 + w + 11*w - 29*w + 12*w. Let g be a(3). Is g/(18/(-22))*(1 + -178) a composite number?
True
Suppose 0 = 9*q - 13*q + 421588. Suppose 5*y - 3*r = q, 0*r = 2*y + 3*r - 42142. Is y composite?
True
Suppose -13*n = 5*m - 17*n - 9, m + 3 = -4*n. Is (-80220)/(-7) + (m - 2) a composite number?
True
Suppose 0 = 3*i + c - 510419, -5*i - 209*c + 213*c = -850721. Is i a prime number?
True
Let y = -270303 - -174420. Is y/62*2/(-3) a prime number?
True
Let c(b) be the first derivative of -24 - 37*b + 1/3*b**3 - 31/2*b**2. Is c(-25) prime?
False
Suppose -w = 4, -f + 5*w - 80 = 4*f. Let l be f/(2*(-1)/(-62)). Let x = 1839 - l. Is x composite?
False
Let x(i) = 52*i - 8. Let s be x(3). Suppose 4*l = 8 - s. Is (-4949)/l + (-2 - (-8)/5) composite?
True
Let w(k) = -2*k**3 - 10*k**2 - 49*k - 16. Let c be w(-26). Suppose 4*v + 6*v - c = 0. Is v prime?
False
Let h be (-4)/(-8)*-2 + 2084/2. Let m(g) = -4*g + 0 - 2 + 7 + h*g**2. Is m(1) composite?
True
Suppose 5*f = 4*v + f - 8, 5*v = 4*f + 10. Is (-1)/v*(-362 - 0) prime?
True
Suppose -g + 29904 = 6*g. Suppose -27*t + g = -11*t. Is t a composite number?
True
Let d be 120/(-9)*6/2. Let b = d - -40. Suppose 4*q - 2041 - 2131 = b. Is q a prime number?
False
Let t be (-2)/(2*(-3)/24). Suppose 112 + t = 8*c. Is 288/c*6 + (-2)/10 a prime number?
False
Suppose 0 = 3*w - h - 53 + 19, 3*w - 3*h - 30 = 0. Suppose w*j = -3088 + 65704. Is j composite?
True
Suppose h - 78961 = 5*b, -h - 315772 = -5*h + 2*b. Is h prime?
True
Let g be ((-21249)/(-18))/((-4)/(-8)). Let p = g + 518. Is p a composite number?
False
Suppose 3*r = k + 2*k + 27, -3*k = -4*r + 32. Suppose 0 = -4*f + r*u - 4456, -f + 3*u - 1114 = -0*u. Is f*(0 + (-4)/8) prime?
True
Let g(s) be the third derivative of 83*s**5/60 + 7*s**4/24 + 5*s**3/6 - 245*s**2. Let k = 4 - 6. Is g(k) a composite number?
True
Suppose 5*q = 5*v - 10985, -q + 10949 = 5*v + 3*q. Suppose -6*l = -3057 - v. Suppose 3*z + t = -3*t + l, 5*z = -5*t + 1460. Is z composite?
False
Let r(q) = 7*q - 2592. Let c be r(0). Let n = c + 8939. Is n prime?
False
Let u(z) = -2*z**2 - 4*z - 2. Let c be u(-2). Let p(q) be the first derivative of -127*q**2/2 - 3*q + 53. Is p(c) a composite number?
False
Suppose -16289 = -a - y, -2*a + 4*a = -4*y + 32570. Suppose -4*r + 2*f + a + 32611 = 0, 24444 = 2*r - 5*f. Is r a composite number?
False
Suppose 6 = 2*g + 2. Suppose 0*a + 13811 = 5*d - g*a, 0 = -3*a - 9. Is d a composite number?
True
Let x(w) = -2*w**2 + 10*w + 14. Let p be x(6). Suppose p*a - 327 = -99. Suppose o - 477 = a. Is o prime?
False
Suppose 46*x = -247*x + 9314337 - 1557748. Is x composite?
True
Let i be (4/5)/(16/120). Let p(q) = 619*q + 41. Is p(i) a composite number?
True
Suppose -12*u = -2*u - 17190. Let p = 3080 - u. Is p a prime number?
True
Suppose -46 + 11 = -5*b. Let q be -3*-2*(-3)/(-6). Suppose -q*g = -b*g + 4748. Is g a prime number?
True
Suppose -2694424 = -19*l + 1963027. Is l composite?
False
Suppose 5*d - 2186 = 2499. Suppose 5*c + 6*o = 9443, 0 = -2*c - 5*o + 1992 + 1767. Suppose 13*a = d + c. Is a a prime number?
False
Suppose 0 = 23*v + 45*v - 35*v - 8297355. Is v prime?
False
Suppose 4*b + 2 - 10 = 0. Let y be (-2 - -2*1)/(b + -4). Suppose -5*a + 1280 = -u, 4*a - 1043 = -y*a - 3*u. Is a a prime number?
True
Suppose k = 1 - 3. Let h(w) = -63*w**3 + 8*w + 11. Is h(k) composite?
False
Suppose 2403 = 7*l - 1916. Suppose -14*q = -l - 10373. Is q composite?
True
Suppose 10*n = 21066 + 269024. Is n composite?
False
Let a(s) be the first derivative of -49*s**4/4 - 5*s**3/3 + 5*s**2 + 3*s + 14. Is a(-5) composite?
False
Suppose -4*q + 170 = 2*z, -9*q - 316 = -4*z - 5*q. Suppose -z*x + 77*x + 19252 = 0. Is x a composite number?
False
Suppose 3*c + 2*c = -3*s - 86, 5*s + 136 = -c. Let v be s/((-183)/45 + 4). Is (-16 + v)/(1 - 0) a composite number?
False
Suppose -k - 127 = -124. Is -5 - ((-20334)/6 + k) composite?
True
Suppose -199*o + 25343628 = 7476312 - 30924101. Is o a composite number?
False
Let c = -318 + -269. Let j = -343 - c. Let s = 1725 - j. Is s prime?
True
Let o = 106974 + -74356. Let x = o - 19981. Is x prime?
True
Let a be ((-4)/10)/((-96)/(-90) + -1). Is (-1560)/(-4) - (4 + (a - -1)) a composite number?
True
Suppose -25757 - 213583 = -5*n. Suppose -4*h + n = 8*h. Is h prime?
True
Let c(x) = 729*x**2 + 143*x + 2893. Is c(-25) composite?
False
Let p(a) = -2*a**2 + 21*a + 8. Let m(c) = c**2 - 11*c - 4. Let r(n) = 7*m(n) + 3*p(n). Let f be r(12). Is 4/(32/f)*-382 a prime number?
False
Let q = -439403 + 842398. Is q prime?
False
Suppose -19*g = -51*g - 32000. Let n = 3921 + g. Is n composite?
True
Is 59137 + (-8 - (-19 - (-10 + 3))) a composite number?
False
Let o(b) = 167*b + 8. Let a be o(11). Let j = 4564 - a. Is j a composite number?
False
Let p = 21 + -19. Let s be (p - (4/8 + 1))*10. Suppose -149 = -s*o + 66. Is o prime?
True
Let v(t) = 3117*t**2 + 20*t + 47. Is v(-6) composite?
False
Suppose -40*w = 10*w - 3889850. Is w a composite number?
False
Let q = 220 - 34. Let w = -1392 + q. Let n = w + 2027. Is n prime?
True
Let l(t) = 12 - 28*t**2 - 5 + 0*t + t - 6. Let a be l(2). Let u = -78 - a. Is u a prime number?
True
Let f = 14 + -5. Suppose -12*w + f*w = -9. Let k(n) = 78*n**2 - 3*n + 8. Is k(w) a prime number?
True
Let l(i) = 2*i**3 + 13*i**2 - 12*i - 97. Let s(n) = -3*n**3 - 12*n**2 + 13*n + 97. Let q(z) = -4*l(z) - 3*s(z). Is q(18) a composite number?
False
Suppose -20*h + 1878000 = -8727580. Is h prime?
True
Let k be 3*3*66/198. Suppose -r = z + k*r - 3749, -4*z + 14996 = 3*r. Is z prime?
False
Is 307038/(-4)*(-12 + (-476)/(-42)) a prime number?
False
Let r(d) be the first derivative of -127*d**4/24 + d**2 + 11. Let h(s) be the second derivative of r(s). Is h(-2) composite?
True
Let m be (-1525)/(-4) - 8/32. Let x be (m + 16)*(-1 - -6 - 0). Suppose -5*v + 3*f - 5*f = -x, 0 = -4*f. Is v prime?
True
Is 10*-8*(-1294066)/160 a prime number?
True
Let k = -180 + 178. Is (-1)/((-3)/k) - (-8866)/6 a prime number?
False
Let v(a) = 1529*a**2 - 9*a - 5. Let o(d) = -1528*d**2 + 9*d + 7. Let s(y) = 2*o(y) + 3*v(y). Is s(3) composite?
False
Let r(f) = -1210*f - 81. Suppose w = -5*q + 16, 