
Let z(w) be the second derivative of 73*w**3/6 - 6*w**2 - w. Suppose u + 136 = 9*u. Is z(u) prime?
True
Let o(l) = 2*l - 26 - 16*l - 19*l. Let q be o(-7). Suppose 6*w = 329 + q. Is w a composite number?
False
Let b(t) = -2*t**2 - 8*t + 4. Let r be b(-4). Suppose -3*l - 3*a = -7242, r*a = 2*l + 9*a - 4837. Is l composite?
False
Suppose -3*q + 12*q = 12510. Suppose 50 - q = -10*m. Is m composite?
True
Let g(j) = 18*j**2 - 10*j + 31. Let h(y) = -2*y + 21. Let k be h(15). Let i be (k - -13) + (-1 - -6). Is g(i) composite?
False
Let r = 115 - 113. Is 90/36 - (-2519)/r a composite number?
True
Let a(o) = 281*o**2 + 21*o - 7. Let d be a(-4). Suppose 75075 + d = 8*j. Is j composite?
True
Suppose -24*s = 2*q - 21*s - 201778, -2*s = -8. Is q a prime number?
False
Suppose y - 11 = 2*f, 5*f + 17 = 3*y - 13. Is f + (-24)/(-6) - 3 - -5259 prime?
False
Suppose 3*p + 2034 - 9258 = 0. Let h = p - -635. Is h composite?
True
Let z(v) = 6*v**2 + 3 - 1013*v**3 + 993*v**3 + 14*v + 38. Is z(-8) prime?
False
Let h(y) = -y**3 + 54*y**2 - 17*y + 23. Suppose -3*f + f = 2*j - 104, 0 = 5*f + 2*j - 260. Is h(f) a prime number?
True
Let c = 105 - 103. Let y be c + -2*(0 - 1). Suppose -4*m + 2626 = y*k - 2*m, 3*m = -4*k + 2629. Is k a prime number?
False
Suppose 6*k - 14 = 5*k. Suppose 2*r = l + l + 30, -2*l = 2*r + k. Let n(a) = a**3 + 14*a**2 - 2*a - 6. Is n(l) prime?
True
Suppose 34 - 10 = 4*q. Let z be ((-21)/q - -3)/((-1)/2). Is (36442/(-114))/(z - 4/3) a composite number?
True
Let t = -75116 - -139863. Is t prime?
True
Let t = -4250 + 7169. Suppose 1937 = z + 3*y, 4*z - 10707 = -2*y - t. Is z a composite number?
False
Let q = 1178 + -1169. Let w = 418 - 30. Suppose -4*v + q = 3*f - w, -f - 2*v + 135 = 0. Is f a prime number?
True
Let a(z) = z**3 + 13*z**2 + 9*z - 7. Suppose -39 = 3*c - 63. Let x(n) = -n - 2. Let q be x(c). Is a(q) prime?
False
Let q be ((-165)/(-22))/(3/(-112)). Let z = q + 163. Let o = z - -278. Is o a composite number?
True
Let z = 153635 + 6867. Is z composite?
True
Let y = -2421 - -75422. Is y prime?
False
Let v be ((-15)/5 - -8) + 18685. Let l be v/63*(-24)/(-10). Suppose -31*y + l = -27*y. Is y composite?
True
Let k(w) = 26*w - 65. Let x be k(3). Suppose 783 = x*l - 790. Is l composite?
True
Suppose 36*s + 84 = 30*s. Let c(r) = -r**2 - 17*r - 22. Let i be c(s). Is -19 + i - (0 + -632) a composite number?
True
Let i(y) = -2*y - 22. Let c(d) = d**3 - d**2 - 2*d + 4. Let w be c(-3). Let m be i(w). Is (998/3)/(m/45) a composite number?
False
Suppose -125*a + 167*a - 1233246 = 0. Is a a composite number?
False
Let z be (2 + (-15 - -7))*9/(-6). Let k be 263*(-1*1 - -11). Suppose -k = 4*l - z*l. Is l prime?
False
Let z(b) = -3*b**2 - 1 + 7*b**2 - 4*b**3 - 9*b**2 + 3*b**3 - 7*b. Let h be z(-3). Suppose -h*w + 83 - 13 = 0. Is w a prime number?
False
Let m(f) = -13653*f + 2231. Is m(-4) composite?
False
Let x be 6/14 - (-2176)/476. Suppose -2*c = -z + 2423, -x*c + 974 + 8653 = 4*z. Is z composite?
True
Let i = -25536 - -198305. Is i a composite number?
True
Suppose -2*p + 202 = 4*c, -4*p - 227 + 7 = -5*c. Suppose c*j - 46*j = 0. Suppose -z - 5*d + 571 = j, 3*z - 5*d = -0*z + 1713. Is z a composite number?
False
Suppose 0 = 2*t + 8, -8*o - 2*t - 16 = -10*o. Suppose 4*y = 3*r + 4796, o*r = -3*y + y + 2398. Is y composite?
True
Suppose 6957 + 621 = -3*q. Let d(k) = -2*k**2 + 60*k - 903. Let x be d(59). Let i = q - x. Is i a composite number?
True
Suppose 8*o = 5*o + 582. Let v = o - 85. Suppose -4015 - v = -4*t. Is t prime?
True
Let w(g) = 3*g - 43. Let p be w(15). Suppose -5*o = 5*n - 400, 2*o + p*o = 4*n + 360. Is o prime?
False
Let a(p) = -p + 1. Let t be a(-4). Suppose -28*x + 6*x = -88. Suppose 3997 = 5*f + 3*q, 0 = t*f - x*q + 1314 - 5283. Is f a prime number?
True
Let y be (2 - (-2 - -6))*(-9)/6. Suppose -y*x + 2*g + 5114 = 0, -7*g + 12*g - 10 = 0. Is x prime?
False
Let w(v) = -2*v - 3. Let h be w(-2). Let g be (-3 - (3 - h))*36/20. Is (69/g*3)/(-1) prime?
True
Suppose -27*b + 119 = -16. Is (6 + -2 - b)*(2 + -2929) a composite number?
False
Suppose 0 = 84*o + 162*o - 1802442. Is o a composite number?
True
Let o(y) = -2759*y + 378. Is o(-15) composite?
True
Let q = 314 - 304. Suppose -p - 774 = -q*p. Is p a prime number?
False
Suppose 3*q - q - 4*x - 34 = 0, -4*x - 21 = -q. Suppose -3*b + 5 + q = 0. Suppose 3*k + 177 = 3*y + b*k, 2*y - 3*k = 113. Is y a prime number?
False
Suppose 13*l - 40920353 = -13*l - 499375. Is l a prime number?
True
Let k = -246 + 260. Let z(w) = 69*w**2 - 13*w - 81. Is z(k) a prime number?
False
Let z(w) = -18*w**2 + 10*w + 27. Let a be z(-7). Let p = a - -3822. Is p prime?
True
Suppose 0 = -14*i + 390 - 26. Let w be (-4)/(-26) - (3 - (-420)/i). Let y(m) = -m**2 - 29*m + 21. Is y(w) prime?
True
Let w be 5/(-15) + 3 - (-4)/(-6). Suppose -962 = -2*s + 6*x - 2*x, 2*s - 950 = -w*x. Suppose 2*l - s = -n - 0*l, -3*l + 950 = 2*n. Is n prime?
False
Suppose 0 = -2*c - 2*a + 12, 6*a = c + 5*a - 2. Suppose -m + c = m. Is (-1)/((-1)/(m - -1929)) a prime number?
True
Suppose -7*m = -21*m. Let z = -11538 + 21943. Suppose m = 17*a - 22*a + z. Is a composite?
False
Let r = -28 - -22. Is ((-993)/r - 8) + 5/(-2) prime?
False
Suppose 35*u - 1582243 = 6148307 + 7619995. Is u prime?
False
Let c(w) = -8*w + 34. Let v be c(5). Let z(l) = -15*l - 16*l + 6 + 13*l + 4. Is z(v) composite?
True
Let n(m) = 512*m**2 + 118*m - 451. Is n(4) a composite number?
True
Let j = 1920 - -2651. Is j a prime number?
False
Let m(i) be the first derivative of -48*i + 45*i + 15*i**2 + 17*i**2 - 14. Is m(4) prime?
False
Let b(d) = 3*d**3 + 6*d**2 + 4*d - 1. Let a be b(5). Let h = 2233 + a. Is h a composite number?
False
Let i = 483474 + -282193. Is i prime?
True
Suppose -16 = 4*j, -5*n - 3*j + 12 = 4. Suppose -i + 6*i = -n*g + 15677, 4*g - 3129 = -i. Is i prime?
True
Let h = -21539 - -50054. Let g = h - 17612. Is g a prime number?
True
Suppose 8*i = -694 - 1946. Let f be 3 + ((-9)/2)/(15/i). Is 0 - 1 - (-17)/(f/3792) a prime number?
True
Suppose 0 = 5*k - 4*k + k. Suppose 0*s + 3*s - 63 = k. Suppose -s*w + 9235 = -16*w. Is w a prime number?
True
Suppose -10*z - 110 = -15*z. Suppose 2 = 2*b - y - 9, -b - 5*y = z. Is -5*b/6*(-244)/5 a composite number?
True
Let t(q) be the third derivative of 37*q**4 + 5*q**3/6 - 4*q**2 - 2. Is t(6) a prime number?
True
Suppose -o = -5*p + 2*o + 87, 0 = -p - 4*o - 1. Is 2/5 - (11 - 5094/p) composite?
True
Let o = -532 - 953. Let m be (-51)/68 + (-8789)/4 - 0. Let w = o - m. Is w prime?
False
Suppose -5*y - 7 + 17 = 0. Suppose -3*g + 6*g + 6 = 0, 64 = 4*z - y*g. Suppose z*a - 16*a = -1477. Is a a prime number?
False
Is (0 + -1)/((-2)/125329*(-6)/(-12)) composite?
False
Let p(q) = -5230*q + 463. Is p(-26) a prime number?
False
Suppose 2*o - 5*x - 250516 = 0, 0 = o - 27*x + 30*x - 125225. Is o a composite number?
False
Let n(t) = 335*t + 104. Let b be n(-4). Let c = b + 3073. Is c a prime number?
False
Suppose 31*r - 783534 - 2311046 - 234541 = 0. Is r composite?
True
Let t(q) = -989*q - 4529. Is t(-6) composite?
True
Let x(t) = -169*t - 72. Let c(v) = -168*v - 72. Let l(n) = 4*c(n) - 3*x(n). Is l(-13) a prime number?
False
Let z(f) = 2174*f - 241. Is z(72) composite?
True
Let z(d) = 227*d**2 - 2*d - 7. Let c(h) = 227*h**2 - 2*h - 6. Let u(m) = 5*c(m) - 4*z(m). Let w(y) = -y**2 + 4*y + 6. Let g be w(5). Is u(g) prime?
True
Let k(t) = -1729*t + 9. Let q(o) = -o**2 - 8*o + 29. Let x be q(-10). Let b be k(x). Let a = b + 24043. Is a a composite number?
True
Let d(z) = 174*z - 2. Let x be d(2). Let t = -731 + 534. Let h = t + x. Is h a prime number?
True
Let n = 474630 - 307951. Is n prime?
True
Let b = -23 + 39. Suppose -6*f = -62 - b. Suppose -f*k - 5365 = -18*k. Is k a composite number?
True
Let z = 1104 + -428. Let x(v) = -z*v + 10 + 15 - 58 - 67*v. Is x(-4) prime?
True
Let o be (-1)/((-6)/33 - 91/(-77)). Let w = -21 - -11. Is (w/(-4)*-74)/o prime?
False
Let j(i) = i**2 - 2*i + 3. Let t = -36 + 36. Let u be j(t). Is (271 + (-2 - -3 - u))/1 a composite number?
False
Suppose -1152 = 13*h + 18. Is ((-97410)/h)/((-1)/(-3)) a prime number?
False
Let z be ((-36)/(-16))/1*(-56)/(-6). Suppose 2*s + 4*x - 17174 = 0, 3*s - 25737 = -19*x + z*x. Is s prime?
True
Let u(q) = 4107*q**2 + 13*q + 89. Is u(-4) a prime number?
False
Suppose 99*i = 108*i - 5