 + 5553575. Is h a composite number?
True
Let r be ((-1564)/85)/(4/(-30)). Let t(k) = 56 - r*k + 68 - 17*k - 95. Is t(-18) a prime number?
True
Suppose -92*y - 208718 + 1223202 = 0. Is y a prime number?
True
Let x(u) = u**2. Let a(j) = -68*j**2 + 27*j + 25. Let k(l) = a(l) + 6*x(l). Let c(n) be the first derivative of k(n). Is c(-8) a prime number?
True
Suppose 784 = -3*g - 104. Suppose 0 = 9*t - 676 - 5669. Let u = g + t. Is u a composite number?
False
Let n(z) be the third derivative of -1/2*z**3 - 7/60*z**5 + 3*z**2 + 0*z + 1/120*z**6 + 0 + 1/12*z**4. Is n(10) composite?
False
Let u(h) be the first derivative of h**3/3 - h**2 + 4*h - 7. Let z be u(0). Suppose 3*k - z*q - 7711 = -2150, 5*k + 2*q = 9225. Is k a composite number?
False
Let n(l) = -522*l + 389. Is n(-5) prime?
True
Let x(m) = -4*m + 2. Let k(r) = -1519*r - 122. Let w(i) = -k(i) + 5*x(i). Is w(31) a prime number?
True
Let y = -5 + 0. Let p(n) be the third derivative of 47*n**5/20 + n**4/24 + 25*n**3/6 - 5*n**2 + 2. Is p(y) a composite number?
True
Let m = -239 - -251. Is 30002/6 - (28/m + -1) a prime number?
True
Let q = -63 + 69. Suppose -121 = -5*s - q*s. Suppose 1956 = -5*c + s*c. Is c a prime number?
False
Let a(i) = -38*i + 164. Let g be a(4). Suppose 0 = -y + g*y - 76813. Is y a prime number?
True
Let m(z) = -11230*z - 3039. Is m(-7) a composite number?
False
Suppose 0 = -5*q - 2*q + 168. Let i be 54/q + (-1)/4. Suppose 0 = -i*b - 4*p + 634, -3 = -2*p + 7. Is b composite?
False
Let j(w) = -3119*w + 744. Is j(-13) prime?
False
Suppose 19*i + 22 = 20*i. Let r = i + -12. Suppose -13*z + r*z + 339 = 0. Is z prime?
True
Suppose -3*t = -219 - 147. Suppose -3*s + t = z - 285, -3*s = 5*z - 403. Let u = s + 277. Is u prime?
False
Let c be 4/(-22) - 0 - (-38351318)/451. Suppose 0 = 2*b - 5*s - 42518, 8*b - 4*b = s + c. Is b composite?
True
Let u = 1463 - -3224. Is u a composite number?
True
Let p(n) = -6*n**3 - 3*n**2 - 4*n + 87. Let c(k) = -7*k**3 - 4*k**2 - 5*k + 86. Let g(u) = -5*c(u) + 6*p(u). Let q be g(0). Is 17174/8 - (-23)/q prime?
False
Let g(k) = 368650*k - 3717. Is g(5) a prime number?
False
Let s be 48/2*(-33)/(-44). Suppose s*g = 25*g - 35. Suppose -4*p - 4204 = i - g*i, 3*i = -2*p + 3143. Is i prime?
True
Suppose -5*u - 33055 = -y, 0*u - 4*u + 3*y - 26433 = 0. Let g = u + 9763. Is g prime?
False
Suppose 4*q - 3*r = 1699223, 2*r - 849629 = -2*q + r. Is q a composite number?
False
Let j(a) = 3*a. Let r be j(-1). Let t(l) = 4. Let o(q) = 33*q**2 - 2*q - 26. Let m(n) = o(n) + 6*t(n). Is m(r) prime?
False
Let w = -583 + 1310. Suppose 3*m = w + 13382. Is m composite?
False
Let r(k) = -319829*k + 284. Is r(-1) a prime number?
True
Let d = 384 + 928. Suppose v + 2*a = 395, -3*v - 5*a = 129 - d. Let r = v + -278. Is r composite?
False
Let m = 529 - 503. Suppose m*o - 12*o = 13538. Is o prime?
True
Let z = -74 + 79. Suppose 2*y = 4*k - 2290, -z*y + 2890 = 5*k - 2*y. Suppose -1830 = -5*q + k. Is q a composite number?
True
Let w = 29 - 24. Suppose -2*u - 26 = -5*u - w*y, 2*y - 8 = 0. Suppose u*c - 93 = c. Is c prime?
False
Suppose 29*w + 623 = 36902. Suppose -2*h + w + 2971 = 0. Is h composite?
False
Suppose 12*y - 1007330 = 2*y. Is y a prime number?
True
Let u(r) = r**3 + r**2 + 2*r + 1151. Suppose 5*i + 5*k = -15, 4*i + k = 6*k + 33. Suppose -i*y = z - 2 - 2, -2*z - 2*y + 4 = 0. Is u(z) a prime number?
True
Suppose -5*h - 9*s + 49059 = -8*s, -29413 = -3*h + 5*s. Suppose -4*c = -5*i - h, 4*c + 5*i - 505 = 9276. Is c prime?
False
Let a = 3042095 + -2163016. Is a a composite number?
True
Suppose 26*m + 650604 = -16*m + 54*m. Is m prime?
True
Let l = 183 + -183. Suppose -2*n = -4*i - 27198, l = -5*n + i + i + 67987. Is n composite?
False
Let m = -3 + 3. Let a(t) = -t + 271. Let q be a(m). Suppose 2*b = 3*l + q, l + 1 = -2. Is b composite?
False
Suppose -48405 = -6*c - 7623. Suppose -5*d - 2*s - 10090 + 44107 = 0, 2*s - c = -d. Is d a composite number?
True
Let g(d) = 7*d + 21. Let n be g(-6). Let u = n + 25. Is u/22 - 0 - 63204/(-132) prime?
True
Let t = -553 - -1212. Let z be 2/(-8)*(24 + -4576). Let l = z - t. Is l composite?
False
Let k = -6671 + 11578. Suppose -6*h = 145 - 223. Suppose -n - 5*d + k = 0, 9814 = h*n - 11*n + d. Is n composite?
True
Suppose u = 3*g + 20712, -3*g - 22053 = -2*u + 19383. Suppose -10*t = -u + 6614. Is t prime?
False
Let u = -2780097 - -4511420. Is u a prime number?
False
Let x(g) = g**3 + 12*g**2 + 9*g - 12. Let q = 49 + -60. Let d be x(q). Is 15915/d*(2 + 8/(-6)) a prime number?
True
Let f(h) = -h**3 + 5*h**2 - 2*h + 12. Let z be f(4). Suppose 26*u - 21*u - z = 0. Suppose 3*s - v = 1140, 0*v - 2*v = -u*s + 1522. Is s a prime number?
True
Let v(m) = m**3 + 4*m**2 + 3*m + 3. Let g be v(-3). Suppose j + 3*s - 141 = -j, -g*s + 267 = 4*j. Is (251/(-3))/((-3)/j) composite?
True
Suppose p + 2*b = 90045, -5*b - 90037 = -p - 9*b. Is p a prime number?
True
Is 258414*(-2)/9*15/(-20) prime?
False
Suppose 3*v - 8*v - 5*b = -368020, 147199 = 2*v + 5*b. Is v prime?
True
Let m(h) = 21340*h - 199. Is m(2) composite?
True
Suppose 5*c - 119580 = 2*n + 250293, 4*n = -2*c + 147978. Is c a composite number?
True
Let g = 328 + 100. Suppose g*v + 2149 = 429*v. Is v a prime number?
False
Let h = 235 - 203. Suppose 522 = -h*o + 4586. Is o composite?
False
Let k(w) = 2*w + 4. Let n be k(9). Let z(t) = 2*t**2 + 15 + 11*t**2 + n*t**2 + 8*t + 0. Is z(10) a composite number?
True
Let t(p) = -p**3 + p - 1. Let x be 4/14 + (-20)/(-28). Let g(f) = -4*f**3 + f**2 - f - 16. Let j(l) = x*g(l) - 3*t(l). Is j(-6) a composite number?
False
Let x = 124 + -114. Suppose -20 = -2*l - 2*l + 4*v, 2*l + x = -2*v. Suppose l = 13*u - 2258 - 2955. Is u a composite number?
False
Let c be 1/(((-22)/8)/(-11)). Suppose 4*u + 15612 = 4*b, -5*u + 11701 = -b + c*b. Is b a composite number?
True
Let a(m) = -783*m**3 + m**2 + 2*m + 1. Let g be a(-1). Suppose -5*j + g = 2*o + o, 0 = -3*o + 3. Is ((-17)/(-4))/((-309)/j - -2) a composite number?
True
Let k(a) = 1818*a**2 + 121*a - 6. Is k(-5) prime?
True
Is (-4 - (-1910)/30)*669 a composite number?
True
Suppose 4*u + 0*u = 128. Let g = 21 - u. Let o(d) = -18*d - 7. Is o(g) a prime number?
True
Let i(h) = -509*h - 1262. Is i(-12) prime?
False
Let h(p) = 20*p**2 - 37*p - 30. Suppose -47 = 4*v - 5*z, -13 = 5*v - 2*z + 50. Is h(v) a prime number?
False
Suppose -104 - 46 = 5*m. Is m/20 + (-13050)/(-4) prime?
False
Let i(v) = -62*v**3 - 19*v**2 - 97*v - 2707. Is i(-21) prime?
False
Let v = -97 + 112. Is (v/15)/((-1)/(-419)) a composite number?
False
Let z = -497 - -721. Let c = z + 27. Is c a prime number?
True
Let j(k) = 11167*k**2 - 138*k + 688. Is j(5) prime?
True
Is -11 - -19 - (2 - 183145) composite?
False
Suppose 0 = -5*d - 5, 4*d + d + 14641 = 2*u. Suppose 1339 = 11*n - u. Is n composite?
False
Suppose -925 - 223 = -41*x. Suppose 18*i - x*i + 140290 = 0. Is i a composite number?
False
Let j be -3 - (-8)/(-12)*-9. Suppose -j*l - 6*l = -27. Suppose 8*i - 4*i + 4*p - 25412 = 0, 3*i - 19059 = l*p. Is i a prime number?
True
Let u = -3088 + 12215. Is u a composite number?
False
Let n(d) = 91*d - 7. Let k be n(-5). Let g = k - -898. Suppose 2*v - 826 = g. Is v a prime number?
True
Let o = 2086 - 5790. Let s = 17877 + o. Is s prime?
True
Let h = -373517 - -559170. Is h prime?
False
Let g(n) = 2*n**2 + 8*n + 10. Let o be g(-6). Suppose 21 = 37*d - o*d. Is (d - (-55)/(-10))*158/3 a prime number?
True
Let m(u) = 752*u**2 - 8*u - 5. Let q be m(-6). Suppose 0 = -8*o + q + 2413. Is o prime?
True
Suppose 2*z + 2775 = j, 5*j + z - 13945 = -3*z. Suppose -35158 = -27*h - j. Is h prime?
False
Suppose -100*w + 181464963 = -231*w + 200*w. Is w a composite number?
False
Let k(o) = -o**3 - 82*o**2 - 153*o - 249. Is k(-81) prime?
False
Is 5/65 - 6706160/(-260) composite?
False
Let m = -25 - 4. Let u = m - -28. Is 57 - -2*(-1)/u prime?
True
Suppose 0 = 4*j + 3*p + 77, 0 = -5*j - 3*p - 33 - 64. Is -4 - 27308/j - (-2)/(-5) a prime number?
True
Suppose 0 = -0*l + 5*l, 2*t + 66874 = -3*l. Let q = 78990 + t. Is q a composite number?
False
Let x = 8 - 6. Suppose 169 = x*p + 33. Is -22 + 20 + (p + 1)/1 a prime number?
True
Suppose 72190 + 42374 = 12*p. Let j = p - 3048. Is j prime?
False
Let v = -573 - -568. Let w(i) = i**3 + 17*i**2 + 7*i + 2. Is w(v) composite?
True
Is (-23)/(-207) - 