 z(d) = 4579*d - 161. Is z(12) a prime number?
True
Let m(u) = 26153*u**2 + 56*u - 56. Is m(1) a prime number?
True
Let s(h) = -130*h**3 - 5*h**2 + 12*h + 10. Let b be s(-5). Let c = -7128 + b. Is c a composite number?
True
Let d(k) = 7*k + 15. Let n be d(-3). Let f be (-7)/n + ((-50)/12 - -4). Is ((-127)/1)/(-1*f/2) prime?
False
Let s be 4 - (-13)/(78/(-36)). Is s/(-5)*(-32975)/(-10) composite?
False
Let o = 226 - 238. Let v(t) = -207*t - 93. Is v(o) a composite number?
True
Suppose -4*p = -7*p + 30. Suppose y = x + 3*y + 2, 5*x + 2*y = -p. Is (15 - 16) + (-136)/x a composite number?
False
Suppose 6 = -13*l + 19. Let d(x) = 3280*x**2 + 5*x - 6. Is d(l) a prime number?
False
Suppose 4*i - 2*j + 3*j - 2 = 0, 0 = -i + 2*j + 5. Suppose -3*w = l - 10, l - i - 3 = 0. Suppose -2*z = w*q - 154, -z - q + 75 = q. Is z a composite number?
False
Let u = -56195 - -292386. Is u a composite number?
True
Let j be (205/(-15) - 6)/(2/192). Let r = 2931 + j. Is r prime?
False
Suppose 5*q + 363*n = 361*n + 8360189, 2*q = -5*n + 3344084. Is q prime?
True
Let z(r) = -9*r**3 - 3*r**2 - 8*r + 2. Let v = 29 + -24. Let a be z(v). Let k = 385 - a. Is k prime?
False
Let y = 1440 - 1434. Suppose -5*q + 3*q + 998 = 0. Suppose 5*i - y*i + q = -5*g, 0 = 4*i + g - 2059. Is i composite?
True
Let c(a) = 65*a + 37. Let g(w) = -w**2 - 10*w - 4. Let f be ((-2)/2)/((-2)/(-4))*4. Let v be g(f). Is c(v) composite?
True
Is 474/9*((-8510)/(-4) - -7) composite?
True
Let p(h) = 4*h**3 + 3*h**2 - 4*h. Let o be p(-4). Let m be o/20 + 2 + (-24)/10. Let y(i) = 3*i**2 + 19. Is y(m) prime?
False
Let k(s) be the second derivative of -s**5/20 - s**4/6 - 3*s**3/2 + 13517*s**2/2 - 8*s - 16. Is k(0) a composite number?
True
Suppose -51*j - 425406 + 8641781 + 1276102 = 0. Is j a composite number?
True
Let i(p) = -329*p**3 - 6*p**2 + 4*p - 19. Let d(o) = 165*o**3 + 3*o**2 - 2*o + 9. Let c(z) = 13*d(z) + 6*i(z). Let l = 19 + -17. Is c(l) a prime number?
False
Let r = -91 - -100. Is (-1)/((r/(-18))/(1682/4)) composite?
True
Let t be (-66)/55*(-33320)/6. Let m = t - 1695. Is m a composite number?
False
Let i(u) = -907*u**3 - 28*u**2 - 24*u - 17. Is i(-4) a prime number?
True
Suppose 17*i + 8 = -43. Let d(q) = -70*q**3 - 5*q**2 - 4*q + 4. Is d(i) prime?
True
Suppose 2*g = 3*k - 7, -5*g + 0*g = k - 8. Let d(b) = 1110*b - 159. Let j be d(3). Suppose 4*f - j = -k*f. Is f a composite number?
True
Let q(t) = -t**3 + 14*t**2 - 9*t + 3. Let k(f) = f**2 - 14*f - 32. Let r be k(16). Let n(z) = z**2 - 2*z + 13. Let h be n(r). Is q(h) composite?
True
Let m = 6145 + -3154. Is m prime?
False
Let w(b) = 2*b**3 - 17*b**2 - 6*b + 11. Let h be w(9). Is ((-1244)/(-6))/(h/57) prime?
True
Let w = 1353 + -1351. Let g be -10*(-895)/2 + -2. Suppose -2*t - w*t + g = -b, 2*t + 2*b - 2224 = 0. Is t prime?
True
Suppose 2*j - w - 5 - 2 = 0, j - 3*w = -4. Let v be (-2)/(-8) + (-4)/((-80)/55). Suppose -2*m + 2235 = j*z, -6*m = -v*z - 2*m + 1315. Is z a composite number?
True
Suppose 4*h - 8 = -12. Is (-1150435)/(-130) + h/2 prime?
True
Let k(z) = 11358*z - 244. Let r be k(16). Suppose 0*t - r = -3*t + c, 20 = -4*c. Is t composite?
False
Let q be 4/16*(2 + 2). Suppose 441 = 2*o - 5*r, 5*r = 4*r + q. Is o prime?
True
Let v(j) be the second derivative of j**3/2 + 701*j**2/2 + 3*j. Let q(k) = k**3 + 4*k**2 - 24*k - 21. Let c be q(-7). Is v(c) a prime number?
True
Let b be -2 - (0/2 + -235 - 4). Suppose -3*k + 2*k - z - 101 = 0, -z = -k - 95. Let h = b + k. Is h composite?
False
Suppose -3*d - 3*c + 0*c = -9, -11 = -4*d - 5*c. Let i be 42/4*(-10)/(d - -1). Is (-2)/3 - 25109/i prime?
False
Let a(x) = 4128*x + 1375. Is a(18) a composite number?
False
Let k be (-1520 - 0 - 4) + -2. Let y = -1059 - k. Is y a composite number?
False
Let f(y) = -356*y + 7. Suppose -4*z - 54 = -2*h, -14*z + 10*z = -3*h + 51. Is f(z) prime?
True
Suppose -51585 = 6*f - 11*f. Let q = 21238 - f. Is q a composite number?
True
Let f(u) = 38*u - 300. Let z be f(17). Is z/3*5/(20/762) a prime number?
False
Let q = -2402 + 3813. Suppose -2*t + 5571 + q = 0. Is t composite?
False
Suppose h + 3 = -1. Let v be 57/38 + 6/h. Suppose v = -6*k + 970 + 608. Is k prime?
True
Let f(d) = d**3 + d**2 - 2*d + 4. Let o be f(0). Let x be 2158 - -8 - (o + -3). Suppose 3*v - x = -q, -2*v + 0*q = 2*q - 1446. Is v a prime number?
False
Let j(a) = 209*a**3 - 19 - 5*a + 138*a**3 + 7 + 15 + 2*a**2. Is j(2) a prime number?
True
Let i = -518 - -548. Suppose -i*z - 58840 = -38*z. Is z composite?
True
Let g(f) = f**3 + 28*f**2 - 17*f + 5. Let n be (-2 + 9)*(8 + -11). Is g(n) a prime number?
True
Let x(w) = -5*w - 231. Let s be x(24). Let m(a) = 128*a**3 + a**2 - 2*a. Let k be m(2). Let i = k + s. Is i composite?
False
Is ((-1067)/55)/((-18)/36090) composite?
True
Suppose -8 = s - 2*o, 2*o - 26 = -4*s - 8. Suppose s*y + 9 = 5*y. Suppose 4*h + 0*z - 4445 = -3*z, y*h - 3360 = 3*z. Is h composite?
True
Suppose 1744*x - 605691 = 1735*x. Is x composite?
True
Is ((-3)/2)/(156/(-48) - -4) + 159979 composite?
False
Suppose -4*t + 19166 = -26438. Is t prime?
False
Is (21 - 22)*16/4 + 463741 composite?
True
Let m(x) = -18 + 6 + 72*x**3 + 15*x**3 + 9*x + 5. Is m(2) prime?
False
Let u be 3/(-4)*28*(6222 - 5). Is u/(-27) - (-56)/(-126) composite?
True
Let x = -573424 + 967497. Is x a composite number?
False
Let m = -494 - -599. Is (-42)/m + (-115512)/(-5) + -3 a composite number?
False
Let u be (6/4)/((-2)/((-96)/9)). Let t(a) = 65*a + 15. Let m(y) = 65*y + 14. Let o(j) = -6*m(j) + 7*t(j). Is o(u) prime?
True
Suppose -4*p = -3844 - 3148. Suppose -44*h + p = -46*h. Let k = 685 - h. Is k a prime number?
True
Suppose 13*j - 323408 = 596433. Is j a prime number?
False
Suppose -7 = 3*j - 19. Suppose 0 = 32*p + 23 - 23. Suppose p = -5*x + j*t + 11117, -4*x + 4445 = -2*x - t. Is x a composite number?
False
Let r(k) = 2450*k - 1683. Is r(7) composite?
False
Suppose d = 2*q + 262, 0 = -3*d + d + q + 509. Let z = -387 + d. Is 4 + z/6*-2 a composite number?
True
Suppose -2*r + 3344 = -6*r + 37780. Is r composite?
False
Let o(q) = 494*q**2 - q. Let c be o(-1). Suppose -5*j + c = 5*l, -4*j = -j - 2*l - 322. Let u = j - -1013. Is u prime?
True
Suppose -234*u = -18272945 - 2812093. Is u prime?
True
Suppose 3*o + 5*f = 1105647, -36*o + 39*o - 5*f - 1105587 = 0. Is o prime?
True
Suppose 66*t - 70*t = -12800. Suppose -u = -19588 + t. Suppose -k + u = 3*k. Is k a composite number?
True
Let p = 16 - 2. Let u be 6/(-4) + 63/p. Suppose 4*x + x = -4*j + 2247, -1347 = -3*x - u*j. Is x composite?
True
Suppose 20 = 45*h + 110. Is ((-32605)/h)/((40/(-16))/(-5)) composite?
True
Suppose -2*q - 18 = -0*q. Let h = q + 7. Is -181*(8/h - -3) a composite number?
False
Suppose 53*v - 1421 - 184364 - 47044 = 0. Is v composite?
True
Let d(q) = 9*q + 488*q**2 + 5*q**3 - 1 - 494*q**2 + 58*q**3. Is d(2) prime?
False
Suppose -n - 2*o + 35 = 0, 4*n = n + o + 112. Suppose -3*c + n = 4. Suppose -c*h = -6*h - 20. Is h prime?
False
Let a(q) = 110*q**2 - 19*q - 26. Is a(5) composite?
True
Let f = -59 - -67. Let y be (2/f*6)/((-6)/16). Is (y/((-16)/4))/((-2)/(-382)) prime?
True
Suppose 39839 = 5*l - 2*z, 5*z + 10 = -0*z. Suppose -19*q = -49026 + l. Is q a composite number?
False
Suppose 4*j - k + 6*k + 116626 = 0, 0 = -k + 2. Let h = 46182 + j. Is h composite?
True
Is 2082020/6 + 48/(-144) a composite number?
False
Let p(c) = -228*c**3 - 20*c**2 - 11*c + 3. Is p(-8) prime?
True
Suppose -2*n - 2*v - 1153327 = -11*n, -5*n = v - 640733. Is n a composite number?
False
Suppose -11*k + 5 = -39. Suppose 2690 = f + 5*i, -k*f + 5*i = -10204 - 631. Is f a prime number?
False
Let m(n) = -17428*n + 1407. Is m(-4) a composite number?
False
Suppose 229*o - 21199279 = 146*o. Is o composite?
False
Let g be (-55)/(5/(-2) + (-6)/(-2)). Let d = -24 - g. Is d a prime number?
False
Suppose 11*z - 12*s - 5481708 = -11*s, 0 = -s - 1. Is z prime?
False
Let y(u) be the second derivative of 77*u**3/3 - 3*u**2/2 + 6*u. Let c(p) = 16*p - 94. Let o be c(6). Is y(o) a composite number?
True
Let b(d) = -2*d**3 + 5*d**2 + d - 1. Let a(r) = -12*r**2 - 11*r - 2 - 3*r**3 + 2*r**3 + 3 - 5. Let m be a(-11). Is b(m) composite?
True
Let l = 650 + -1154. Suppose 3157 + 151 = -4*x. Let s = l - x. Is s a prime number?
False
Suppose 0*y + y + q = 15, -y = 3*q - 21. Let d be -6*((-20)/y)/5. Sup