 550, -s*n = 3*c + 4095. Let h = c - -2000. Is h prime?
False
Let i(w) be the third derivative of 3*w**5/20 - 7*w**4/24 - 5*w**3/2 + 33*w**2. Is i(-11) a prime number?
True
Let p = -2586 + 4163. Let u be 44120/(-56) + (-2)/14. Let l = p + u. Is l composite?
True
Suppose -5*c - 19 = -3*u, -4*u + 2*c + 16 = -0*u. Suppose 75 = u*m - 30. Is m composite?
True
Let o = 8 + -9. Is o*(-1 + 1 + -83) prime?
True
Let m(h) = 10*h + 8. Let j be (-11)/66 - (-19)/6. Is m(j) a prime number?
False
Let r be (-7 - -9) + -7*5. Let n = r - -37. Is 1012 - 1*(n - 1) prime?
True
Let k be (33/(-55))/(1/5). Let h(i) = -3*i**3 - 2*i**2 - 1. Is h(k) a prime number?
False
Suppose 2*a - 5*p = 26763, 5*p - 40132 = 71*a - 74*a. Is a composite?
True
Suppose 0 = -2*t - 11 + 23. Suppose t*p = s + p - 177, -s - p = -153. Is s a prime number?
True
Let h(u) = 10904*u + 17. Is h(1) a prime number?
False
Let h(z) = -2*z**2 - 7*z - 2. Let r be h(-3). Is 677/(2*(r - (-2)/(-4))) prime?
True
Let j = 35 - 32. Suppose j*m = 2193 + 5850. Is m prime?
False
Let v(u) = -2*u**2 - 16*u - 3. Let q be v(-8). Is 36 - (-4 + 3) - (q - -6) prime?
False
Let w = 28 - -1443. Let s = w + -416. Is s a composite number?
True
Is (-2214264)/(-21) - 3 - 336/294 prime?
True
Let v(r) be the first derivative of -3*r - 12*r**2 + 0 + 4*r - 6 + 4*r**2. Is v(-7) prime?
True
Suppose -5*b = l - 701 + 103, 0 = 3*l + 3*b - 1782. Suppose -5*x - 3*h = -2982, -x - 4*h + l = -0*x. Is x prime?
False
Suppose 6*j + 5 = 23. Suppose y + 5*r + 7891 = j*y, -5*r - 5 = 0. Is y composite?
False
Suppose 9*s = 4*s + 60. Let c(r) = 3*r**2 + 5*r + 25. Is c(s) a prime number?
False
Let g(i) be the second derivative of 55*i**5/4 + i**2/2 - 7*i. Let t be g(1). Suppose y - 643 = t. Is y a composite number?
False
Let k(u) = -103*u + 40. Suppose 0 = w - 2*w - 9. Is k(w) composite?
False
Let m = -2 - -4. Suppose -516 = -m*z + 70. Is z prime?
True
Suppose -8 = -4*o + 5*a, -3*o + a + 4*a + 11 = 0. Let v(j) = -10*j**3 + 2*j**2 - 2*j - 7. Is v(o) a prime number?
False
Let x(c) = 8*c**2 - c + 13. Let u be x(13). Suppose -5*k = -2*m - 4244 - 2601, -k + u = 3*m. Is k a composite number?
False
Suppose 304*k = 313*k - 10917. Is k composite?
False
Suppose 4*o + 0*n - 2*n = 16, -4*o - 2*n = 0. Is 1007 - (o + -3 + 0 - 1) a prime number?
True
Suppose 4*y - 56 = 4*b, 0 = -2*y + 3*b + 10 + 15. Suppose 3489 = 20*d - y*d. Is d a prime number?
True
Let x(c) = -c**3 - 7*c**2 - 7*c - 8. Let u be x(-6). Let l be (-243)/u*(15 - 17). Let w = 404 + l. Is w prime?
False
Suppose -t + 5*x + 27 = 0, t - x + 5*x + 18 = 0. Suppose 5*o - 5*v = -25, 0 = t*o - 3*v + 5*v - 10. Is 3 - ((-17 - o) + -1) composite?
True
Let n be 2/((-2)/(-317))*2. Suppose -n = -3*z + 1262. Let p = z + -369. Is p composite?
False
Suppose 4*c = -2156 + 652. Let k = 1635 + c. Is k prime?
True
Let k(z) = 107*z**2 - 3*z + 101. Is k(-10) a composite number?
False
Suppose 4*d = d - 168. Let w = 14 + d. Let b = w + 61. Is b composite?
False
Let t = 215 + -123. Let l = t + 245. Is l a composite number?
False
Suppose 0 = -23*s + 19*s + 27532. Is s prime?
True
Let b be (-6)/(-2 + -1) - -6. Suppose -20 = b*u - 4*u. Is 2/(8/(-2980)*u) a composite number?
False
Suppose 3*m + 36 = 3*q, 0 = 5*m + 4*q + 7 + 17. Let p(l) = l + 1. Let v(g) = 10*g - 1. Let h(i) = -6*p(i) - v(i). Is h(m) prime?
False
Let a(f) = 2*f + 12. Let g be a(-5). Let h be ((-42)/g)/3*-35. Suppose 5*l = -4*j + 116 + 121, 4*l = 5*j - h. Is j prime?
True
Let r(a) = a**2 + 4*a + 3. Let j be r(4). Suppose 5*g - j = -2*g. Suppose 2*b - 5*i = 773, -4*i - 1901 = -g*b - 2*i. Is b a composite number?
False
Suppose b + 942 = -5*b. Let l be (-2)/5 - b/5. Suppose -l*c = -29*c - 130. Is c composite?
True
Let q(l) = -14*l**3 + 4*l**2 - 5*l - 23. Is q(-8) prime?
False
Suppose -2*w + w = -941. Is w composite?
False
Let w(b) = b**2 - b - 12. Let h be w(4). Suppose h = -2*g + 3*r + 186, 5*r + 575 = 5*g + 110. Is g composite?
True
Let m = -74 - 2. Let d = 142 - m. Is d composite?
True
Let v(q) = -26*q + 55. Is v(-17) a composite number?
True
Let l be 2 + -1 + (2 - 6). Let j be -2 - ((3 - 70) + l). Suppose m = -z - m + 10, -m + j = 5*z. Is z a composite number?
True
Suppose -2*a = -i + 154, i + a - 199 + 42 = 0. Is -1*(1 + i)*-1 a prime number?
True
Let v = -3 - 3. Let w = 1 - v. Suppose -4*o = -w*o + 105. Is o composite?
True
Suppose 21*x = -5*j + 17*x + 73125, 3*j - 43873 = -2*x. Is j composite?
False
Suppose 8*r = 3*r + 110. Suppose -r*q + 17*q = -595. Is q prime?
False
Let z(m) = m**3 + 19*m**2 - 17*m - 28. Suppose -c - c + 5*p - 14 = 0, 4*c - p = -64. Is z(c) a prime number?
True
Is (-6)/27 - ((-704725)/63)/5 composite?
False
Let k(c) be the first derivative of -5*c**2/2 + 23*c + 12. Is k(-12) a prime number?
True
Suppose 5*j = -15, -459 = 4*t - 4*j + 241. Let f be (t/3)/(2/(-15)). Suppose -2*q = -7*q + f. Is q a composite number?
False
Suppose 13*n = 923792 - 312259. Is n a composite number?
False
Suppose -4*w + 33 = -479. Let s be (-2)/(-5) - w/20. Is (2 + 116)*(-9)/s a prime number?
False
Let w be (-5 + 2 + 0)*-13. Let n be (-160)/(-26) + (-6)/w. Let q = 17 - n. Is q a composite number?
False
Let q(m) = 300*m + 19. Is q(3) a composite number?
False
Let a = 79 + 1402. Is a prime?
True
Let p(u) = -14*u + 17. Let z(j) = 5*j - 6. Let r(n) = 4*p(n) + 11*z(n). Let q be r(0). Suppose 5*c - 114 = -y, 18 = -c + q*c - y. Is c prime?
False
Let c(g) = 4 + 60*g**3 + g**2 - 62*g**3 + 7*g + g**2. Is c(-7) a prime number?
True
Suppose h = -4*k + k + 1, -h + 1 = -4*k. Let p(j) = -40 + 30*j - 2*j**2 - 12*j - 19*j + 167. Is p(k) composite?
False
Let c be (60/50)/(6/220). Suppose -3*d + c = 2. Is (75 + 7)*d/4 composite?
True
Is (-4)/((-24)/(-9))*(-113824)/48 prime?
True
Let l = -74 + 77. Suppose -l*z - 252 = -915. Is z composite?
True
Suppose -a + 5585 = 4*a. Is a prime?
True
Let b = 27 + -18. Suppose -b*z = -8*z. Suppose -3*k - 2*k + 190 = z. Is k a prime number?
False
Let w(z) = -4*z**3 + 6*z**2 + 6*z + 20. Let l be w(-8). Let u = l - 1317. Is u a prime number?
True
Suppose 0 = 4*f - 6*f + 3910. Suppose x - 5*r = -x + 815, -f = -5*x - 4*r. Is x prime?
False
Let z = 10254 - 2915. Is z prime?
False
Suppose 0 = 9*k + 1538 - 84095. Is k a prime number?
True
Let a(s) = s**2 - 10*s + 7. Let i be a(5). Suppose 3*n - 374 = -29. Let l = i + n. Is l prime?
True
Let v be (-22)/(-26) - (56/(-26) - -2). Let u(t) = 149*t**2 - 2*t + 2. Is u(v) a prime number?
True
Let v(r) = 6*r**3 + 3*r**2 - 6*r + 3. Let w be v(4). Let m = w + -231. Suppose 3*c - 711 = -m. Is c a composite number?
True
Suppose -k + 2*k - 2721 = 5*y, -y + 10968 = 4*k. Is k prime?
True
Suppose -w + 0*w - x = -67022, -5*w = -4*x - 335155. Is w prime?
False
Suppose -8*a + 29420 = 5116. Suppose -5*z + 1217 = -a. Is z composite?
True
Let h(j) be the second derivative of -j**5/20 + 7*j**4/12 + 2*j**3/3 - 15*j**2/2 + j. Let w(p) = p**2 - 24*p - 173. Let n be w(30). Is h(n) composite?
False
Is 2052 + -2 + 3 + 5 + -9 a composite number?
True
Let c(b) be the third derivative of b**6/60 - b**5/10 + b**4/24 - b**3/2 + 2*b**2. Let y be 3 - ((-2)/(-1))/(-2). Is c(y) prime?
False
Let n = 368 + 4493. Is n prime?
True
Suppose -3*b - 27 + 69 = 0. Suppose 0 = b*n - 9*n - 935. Is n a prime number?
False
Let b(l) be the third derivative of l**7/420 + l**6/144 + l**5/12 + 7*l**2. Let y(u) be the third derivative of b(u). Is y(4) a composite number?
False
Let h = -9166 + 15085. Is h a prime number?
False
Let z be ((-6)/(-8))/1*4. Suppose -3*p + 430 = a - 1219, 5*a - z*p - 8281 = 0. Is a a prime number?
False
Let j(d) = -d**3 + d**2 + 3*d - 3. Let o be j(3). Is (-52168)/o*(-6)/(-16)*4 a composite number?
False
Suppose 43*l + 491 = 44*l. Is l a prime number?
True
Let l = -18 - -10. Let d = 12 + l. Is 64*14 + -1 + d composite?
True
Let g(a) = -a**2 + 14*a + 20. Let r be g(15). Suppose -3*j + 8 = -r*y, 5*j - 4 = -y - 0. Let q(c) = -393*c**3 + c**2 + c. Is q(y) composite?
True
Suppose 2*r - 20 = -3*r. Suppose r*s = 7*s - 171. Is s a composite number?
True
Is 896 + -1 - (7 - 13) composite?
True
Suppose -271 = -5*o + 1169. Suppose 2*j + 2*j = -g + 258, -2*j - o = -g. Suppose 0 = -3*x + 5*x - g. Is x a composite number?
False
Suppose 0*l = -5*l. Let b = 2 - l. Is 106 - 0/(b - 0) a prime number?
False
Let p(f) = -32*f - f**2 + 12*f - 319 + 306. Is p(-