 6*t. Is t a composite number?
True
Let h(w) be the second derivative of w**4/6 - 5*w**3/2 + 21*w**2/2 + w. Let v be h(6). Suppose 4*s + i = 1268, 0*s + 5*s = v*i + 1585. Is s prime?
True
Let n be (1*51244/(-4) - 2) + -1. Let y = n - -18059. Is y composite?
True
Suppose -6*y + 4102 = 8*y. Suppose -u + 3*v + 481 = 0, -4*u + 2217 = v + y. Is u prime?
False
Suppose -1145426 = -70*a + 11*a. Let d be -433*1*(27 - -4). Let s = d + a. Is s a composite number?
True
Is ((-2702)/24)/((-8)/8088) + (-87)/116 prime?
False
Suppose 941 + 379 = -3*z. Let k be 25/25 + (-1395 - -1). Let d = z - k. Is d a composite number?
False
Let l(f) = 16*f**3 + 24*f**2 - 64*f + 25. Is l(13) prime?
False
Let u(p) = 2*p - 21. Let q be u(19). Suppose q*j = 16*j + 23101. Is j a prime number?
False
Is 13502688/240 + 18/10 a prime number?
True
Let o be (-4)/(-1) - (-9 - -11). Let h(s) = 0*s - s + 8*s + 14*s**o - 24. Is h(-7) composite?
False
Let h be ((-5)/(-20))/((-1)/(-12)). Suppose -57*a + 61*a - 12400 = -4*d, 0 = -h*a + 4*d + 9321. Is a a prime number?
False
Let r(l) = -34*l**2 - 12*l - 115. Let g be r(-8). Let b = 4018 + g. Is b composite?
False
Let q(c) = -c**2 - 5*c + 3. Let a(p) = p. Let x(s) = 5*a(s) - q(s). Let z be x(12). Let l = 670 - z. Is l composite?
False
Suppose -6*y = -48413 - 103609. Is y composite?
True
Let r = -1536716 + 3388417. Is r a composite number?
False
Let d(h) = -h - 19. Let s be d(-24). Let a(k) = 1641*k - 58. Is a(s) composite?
False
Let i be 547 - (4 - 2) - -1. Let u = 399 + i. Suppose -346 - u = -4*v - 5*m, -v + 313 = -2*m. Is v prime?
False
Let u(k) = 16*k**3 + 5*k**2 - 21*k - 5. Suppose 0 = 25*p - 10*p - 90. Is u(p) a composite number?
True
Suppose -756082 = 18*q - 2235916. Is q prime?
False
Let f be (-8)/(-16)*(-1 - -1). Suppose -18*x + 11*x + 35903 = f. Is x a prime number?
False
Let f(u) = u**2 + 4*u + 4. Let b be f(0). Suppose 9337 = -2*k + 6*k - 5*r, b*k = 3*r + 9335. Is k composite?
False
Let m(k) = -29*k + 4673. Let y(d) = 19*d - 3116. Let b(l) = -5*m(l) - 8*y(l). Is b(0) prime?
False
Let o = -217 - -230. Is 2/3*((-94232)/(-16) + o) composite?
True
Suppose 3*d - 5*d - 4*b = -63786, -d + 31858 = -5*b. Is d a prime number?
True
Let x(h) = 1983*h + 10. Let b be x(7). Suppose 0 = 6*l - 35*l + b. Is l prime?
True
Let l(b) = -98*b - 8. Let d(s) = -1. Let r(f) = -12*d(f) - l(f). Let t(n) = 49*n + 11. Let j(z) = 3*r(z) - 7*t(z). Is j(-6) a prime number?
True
Let s = -6889 - -74846. Is s prime?
True
Let p = -571865 + 1090412. Is p a composite number?
True
Let h = -8 + 25. Let z = -17 + h. Suppose z = 5*g - 6413 - 502. Is g a composite number?
True
Let t(n) be the third derivative of n**5/30 - 5*n**4/6 + n**3 + 19*n**2. Let a be t(10). Suppose -4410 + 888 = -a*j. Is j prime?
True
Is (-41603)/(-6*(-7)/(-294)) prime?
False
Suppose o = 8 - 6. Suppose -o*t - 6 = 4*t. Let d(z) = 1458*z**2 + z + 2. Is d(t) composite?
False
Let c(b) = b**3 + 10*b**2 + 13*b - 9. Let v be (1 + (-17)/2)/((-57)/(-76)). Let d be c(v). Let n = d - -297. Is n a prime number?
False
Is (-238 + 1)/(13/((-236275)/75)) composite?
True
Is 1157/3*(27 + -19 - 5) a composite number?
True
Let r be (((-10)/7)/(-5))/(2/28). Suppose 0*d + 2*t - 32772 = -4*d, -r*d - 3*t + 32768 = 0. Suppose -9*k - d = -20*k. Is k composite?
True
Suppose 147 = -3*u + 1149. Suppose 2*k - u + 12 = 2*l, -481 = -3*k + 5*l. Suppose 4*o + 22 = k. Is o a prime number?
False
Let g = 11003 + 92358. Is g composite?
True
Let u = -229050 + 435664. Is u a prime number?
False
Suppose -1360 = -119*t + 4709. Is t a composite number?
True
Suppose 4*k = 13*n - 8*n - 564685, -3*n - 2*k + 338811 = 0. Is n a prime number?
False
Let k be (-1625)/50*2/(-1)*103. Suppose 7*p - 4246 = k. Is p a prime number?
False
Let z = 21 - 9. Suppose -3*g = k, z = k + 3*k. Is (g - 45/6)/((-4)/136) a composite number?
True
Let g(j) = 142*j + 35. Let i be g(7). Suppose -m + 5*r = -i, 3*m = 7*m + 4*r - 4212. Is m prime?
True
Let j(w) = 5803*w**2 - w - 1. Let u = 154 + -155. Is j(u) composite?
True
Let v(q) = 326*q + 678. Is v(28) a composite number?
True
Let q(m) = 65*m - 3. Let w(s) = 2*s + 4 - 4*s + 3*s. Let j be w(0). Is q(j) prime?
True
Let y(p) = p**3 + 47*p**2 + 199. Is y(35) prime?
True
Let h = 0 - -33. Suppose -28*z - 7350 = -h*z. Let y = 187 + z. Is y composite?
False
Let z be (185 + -2)/(-3 + (-180)/(-59)). Let b = -1020 + z. Is b a prime number?
True
Suppose 0 = 5*w - 27 - 53. Suppose 46 = 5*b + w. Suppose -406 + 88 = -b*d. Is d a prime number?
True
Let c = -34324 + 51439. Let t = c + -10954. Is t a prime number?
False
Let c = 208 + -194. Is 4 - 52/c - (-22825)/7 a composite number?
True
Suppose 2*f - y - 3*y = 50486, -3*f = 4*y - 75759. Is (-1)/((7/f)/(-1)) composite?
False
Let f(r) = -r**2 - 11*r + 19. Let g be f(-12). Suppose -g*z - 5*z = -1416. Is z prime?
False
Let r(k) = 37974*k**3 - 3*k**2 + 4*k. Let d be r(1). Suppose 5*t + 5*q - 112305 = 0, 4*q - d + 150298 = 5*t. Is t prime?
False
Let m(c) = -c**2 - 11*c - 7. Let z be m(-10). Suppose a = 4*f - 2476, 3*f - z*a - 1228 = f. Let w = 951 - f. Is w a composite number?
False
Let i(v) = 1121*v**2 + 16*v - 57. Is i(4) a prime number?
False
Let s be 15/9*105/25. Is 2*(67445/14 + s) a composite number?
False
Suppose 718311 = 94*y - 83*y. Is y composite?
True
Let s(w) = 10*w**2 + 5*w + 2. Let k be s(-2). Suppose 0 = k*g - 33*g + 2. Suppose 5*i - g*n - 230 = 405, 0 = 2*i - 2*n - 254. Is i composite?
False
Let m(j) be the third derivative of -j**5/60 + 13*j**4/24 + 5*j**3/3 + 137*j**2. Is m(12) a prime number?
False
Let h(a) = -9*a**2 + 5*a + 10. Let w be 0/(-4) - -7 - 2. Let g(z) = 5*z**2 - 2*z - 5. Let u(q) = w*g(q) + 2*h(q). Is u(12) composite?
True
Let p be (-2)/((-80)/15 - -5). Suppose 8*m = p + 18. Suppose -3*c = -5*q + 12599, -m*q + 3*c = -4983 - 2574. Is q a prime number?
True
Let h(t) = -304*t - 15. Let z(m) = 7 + 225*m - 34 - 4 - 834*m. Let l(n) = -7*h(n) + 3*z(n). Is l(2) a composite number?
True
Suppose 18*a + 200 = 43*a. Suppose -3997 = -f - a*i + 10*i, -5*i = -2*f + 7998. Is f composite?
False
Let x be (-5)/(5/2)*(-18)/(-9). Let q(k) = 3*k**2 - 5*k - 2. Let n be q(-3). Is ((-46)/x)/((8 + -4)/n) a prime number?
False
Suppose -341867 = -5*q + 4*i, q - 14*i - 68377 = -12*i. Is q prime?
True
Let t(p) = -p**2 + 15*p - 1. Let m(b) = -8*b - 9. Let h be m(-3). Let s be t(h). Is 797 - (s - -1)/(-1) a composite number?
False
Let h = -124692 - -214598. Suppose -21*c = 16637 - h. Is c a prime number?
False
Let k(w) = -6598*w + 899. Is k(-3) prime?
True
Let k(g) = 8 - 39*g + 762*g**2 - 9 + 38*g. Let f be k(-1). Is ((-6)/18)/((-2)/f + 0) prime?
True
Let v(a) = 16*a**2 - 39*a - 941. Is v(-42) a prime number?
True
Let k(f) = -22*f - 325. Let j be k(-15). Suppose 2*i + j*o = 1400, -5*i + 5*o + 95 = -3370. Is i a composite number?
True
Let h(b) = -2*b**2 + 37*b - 105. Let n be h(15). Suppose n = -60*s + 26*s + 205598. Is s a prime number?
True
Is 1/(-20)*-20 + 384672 composite?
False
Let a be (-3 - 0)*-3 + 38/(-19). Is 1/4 - (24948/(-16))/a prime?
True
Suppose -6*f + 11*f = -20, -1 = 5*x - f. Let t(a) = -6*a**3 - 3*a**2 - 2*a - 1. Let d be t(x). Suppose -3*s - 6*c = -d*c - 5699, 3*c + 15 = 0. Is s composite?
True
Let g(u) = u**2 - 2*u + 7. Let t be g(0). Suppose 0 = -4*h + 9 + t. Suppose 0*z + 2879 = h*f + z, -4*f - 2*z = -2882. Is f composite?
False
Let k(j) = 2406*j + 6985. Is k(54) a composite number?
True
Suppose 5*c - 129334 = -r, -5*c + 129338 = 10*r - 13*r. Is c a composite number?
False
Suppose -w - 1 = 3. Let x = 1 - w. Suppose 0 = x*c + 32 - 147. Is c composite?
False
Suppose 0 = 5*m + c - 31, 0*c + c + 4 = 0. Is ((m - 2974) + -7)*(-2 + 1) composite?
True
Let j = 5 + -5. Suppose 19*r - 1064 = 12*r. Suppose j = 7*n - r - 1395. Is n composite?
True
Let y(p) = -183*p**2 - 19*p + 9. Let d(u) = 91*u**2 + 9*u - 5. Let c(v) = 5*d(v) + 2*y(v). Suppose 97*t = -398*t + 2475. Is c(t) composite?
True
Suppose -9*v - 39364 = -38*v + 110131. Is v a composite number?
True
Let a be ((-256)/(-20))/(6/135). Suppose 10*m - a = 2*m. Is -3 + (m + -2)*1 a prime number?
True
Suppose 0 = -8*s + 6*s - 106. Let q = 125 + s. Is (-39226)/(-18) - 16/q a composite number?
False
Suppose 4*q - 11362 = -28602. Let v = q + 15742. Suppose -5*y = -4*x + 5*x - v, -3*x + 2278 = y. Is y prime?
True
Let k(f) = 1837*f**2 + 