e d - z = -176, -6*d + 702 = -10*d + 3*z. Let q be (-344 - (0 - 1)) + 2. Let i = d - q. Is i prime?
True
Let d be (-5)/20 - (-25)/4. Suppose -2*t = -d*t + 892. Let r = 414 - t. Is r prime?
True
Suppose -5*p = 8*d - 4*d + 24143, p - d = -4825. Let j = p + 7754. Is j composite?
False
Let i = -12907 + 105680. Is i composite?
True
Let w(d) = 12*d**2 + 410*d + 103. Is w(48) composite?
False
Suppose -53*z = -49*z - 5*u - 2475171, -z + 618804 = u. Is z composite?
False
Let n = -3241 + 5953. Let w(x) = 3*x**3 + 129*x**2 + 3. Let s be w(-43). Suppose -s*l - 3*p = l - n, 0 = -5*p - 20. Is l composite?
True
Suppose u - 2*l + 3 - 5 = 0, 2*l = 0. Suppose 338725 = 5*t + 5*h, t + 5*h - u*h = 67753. Is t a prime number?
True
Suppose q + 3*b - 100856 = 0, 0 = -3*q + 5*b + 167596 + 135014. Is q a prime number?
False
Let d(o) = 17*o**2 - 112*o - 4443. Is d(106) a composite number?
True
Is (7691 - 61) + -8 + -1 prime?
True
Let y = 50 + -40. Suppose 0 = 9*v - y*v - 164. Let q = 1407 + v. Is q a prime number?
False
Let i(g) = -51348*g + 341. Is i(-15) a prime number?
False
Let r(c) = c + 145. Let k be r(-21). Let p(x) = 4*x**3 - 5*x**2 + 8*x + 2. Let z be p(8). Suppose -7*i = -z - k. Is i a composite number?
True
Suppose 102372 = 40*w + 9052. Is w prime?
True
Let b(m) = -23773*m - 897. Is b(-2) prime?
True
Let a = -19 + 21. Let n(p) = 8*p + 23*p**3 + 17 - 15*p - 14 - 2*p**2 - p**a. Is n(4) a composite number?
False
Suppose 0 = -0*o + 4*o - 3*j - 126, o + 2*j = 26. Suppose 2 + o = 4*z. Is (-73298)/(-26) - z/52 composite?
False
Let h = 19 + -124. Let n be (-8)/(-10) - (-20139)/h. Let m = n - -309. Is m prime?
False
Let y(r) = r**3 - 21*r**2 - 105*r + 3333. Is y(92) composite?
False
Suppose -5*k + 260303 + 46352 = 0. Is k composite?
False
Suppose 0 = -15*d - 16630 + 87385. Is d a composite number?
True
Let m(q) = 159*q**2 - 11*q - 467. Is m(-17) a composite number?
True
Suppose -3*s - 24 = -0*j - 3*j, -2*j - 5*s = 12. Suppose 2*y + 0*y - j = 0. Suppose y*r - 1069 - 95 = -2*f, 3*f + 2335 = 4*r. Is r a prime number?
False
Let m = 321 + -127. Suppose 4*i - g - 83 = 0, 5*g = 4*i - 11 - 68. Let u = m + i. Is u a composite number?
True
Is (1790158/7)/2*(-20 + (-702)/(-26)) composite?
False
Let u be (-4 - (-7)/1) + -3. Let d be (0 - (u + 1))/(3/18). Let a(z) = -62*z - 13. Is a(d) a composite number?
False
Let i(g) = 3*g - 14. Let l be i(5). Is (3649 + 10)*(l - 0) a composite number?
False
Let l = -207 + 329. Let f(o) = 28*o + l + 115 + 236 - 25*o. Is f(0) composite?
True
Let r(p) = 148*p**2 + 655*p - 11521. Is r(18) a composite number?
False
Let j be 162624/45 - 14/(-105). Suppose 0 = 11*k + 15*k - j. Is k composite?
False
Let k(g) = 18349*g**3 - 8*g**2 - 30*g + 114. Is k(4) a prime number?
False
Is ((6530/6)/5)/((-88)/(-6072)) composite?
True
Let z(t) = -172*t - 365. Is z(-7) composite?
False
Let n = -69 - -92. Let g(h) = -h**2 + 25*h - 40. Let c be g(n). Suppose z - 273 = v - c*v, 5*z + 230 = 4*v. Is v a prime number?
False
Let b(y) = -4*y - 22. Let k be b(-8). Let x be (-1 + -3 - k) + 2. Let t(h) = -h**3 - 9*h**2 + 14*h - 13. Is t(x) prime?
True
Let p(o) = 5*o**2 - 2*o**2 - o**3 - 3*o + 5*o + 14 - 8. Let w be p(3). Suppose w*g = 15*g - 3639. Is g a prime number?
True
Let p(y) = 34. Let l(r) = -r - 34. Let o(q) = -2*l(q) - 3*p(q). Let g be o(7). Let k(c) = c**2 + 13*c + 5. Is k(g) prime?
False
Suppose 120*u = 122*u - 2690. Is u a prime number?
False
Let s(i) = -7*i**2 + 11*i + 24. Let g be s(-11). Let b = g + 1423. Suppose 167 = 2*j - b. Is j prime?
False
Let n be (-2246)/3*(-3)/(-2). Let x = 5470 + -2784. Let k = n + x. Is k a prime number?
False
Suppose 4*r = -5*m + 594360, 594344 = -29*r + 33*r + m. Is r a prime number?
False
Let i be (-2 + 2 + -3)*(-9 - -1). Let p = -24 + i. Suppose 2*b = -4*f + 295 + 223, 4*b + 5*f - 1033 = p. Is b composite?
False
Suppose 2*w + 4*x = -40, -6*w + 2*w - 60 = 4*x. Let y(g) = 0 - 4 - 9*g + 0*g - 6*g. Is y(w) prime?
False
Let w(a) = -1438*a + 3. Let m be w(-1). Suppose -z = 6*i - 2*i - m, z = -i + 364. Is i a prime number?
True
Let p = 0 - 41. Let t = p + 43. Suppose 0*s - 3970 = -2*w + s, -t*s = 4*w - 7956. Is w composite?
False
Let c be (11/(231/(-3934)))/(1/(-3)). Suppose 9*r = c + 293. Is r a prime number?
False
Let t = 30 - 22. Suppose 0 = t*o - 11*o + 6. Suppose -2*i - o*i + 332 = 0. Is i a prime number?
True
Suppose o - 1033125 = 2*c, 35*c - 5165640 = -5*o + 30*c. Is o prime?
True
Suppose -4*o = -3*f - 8663, -2*f + 3*o + 1246 - 7022 = 0. Let p = f - -4542. Is p a composite number?
False
Suppose 4*a - 16110 = -2*b, 2*b + 13*a = 14*a + 16090. Is b a prime number?
False
Suppose n - 16 = -5*f, -5*n - 3*f = -4*n - 10. Is n - -1 - (-13 + -470) prime?
False
Let x(f) = 615*f**2 - 232*f - 150. Is x(49) a prime number?
True
Let t(d) = 41*d**2 - 19*d + 31. Let s = -163 - -174. Is t(s) a prime number?
True
Let h(r) be the first derivative of 338*r**2 - 2*r - 74. Suppose j + j + 2 = 0, 4*j + 7 = 3*g. Is h(g) prime?
False
Suppose 4*n - 2443627 = 37*o - 34*o, 5*n - 3054420 = -19*o. Is n prime?
False
Suppose 0 = 8*s - 1239588 - 2781524. Is s a prime number?
False
Suppose -439*y - 5*n = -438*y - 148051, 0 = 3*y - 4*n - 444191. Is y a composite number?
False
Let h(x) = -x**3 - 16*x**2 + x + 22. Let o be h(-16). Suppose 0 = o*p - 14555 + 4613. Is p a composite number?
False
Let c = -11 - -13. Suppose -l + r + 2426 = -r, 0 = c*r. Suppose l = 10*y - 104. Is y composite?
True
Is 3/(-12)*4 + (72308 + 0)/1 prime?
True
Suppose -100 = -4*c + 48. Suppose -z - c = -253. Let y = 53 + z. Is y composite?
False
Suppose -4*h + 4*w = 5*w - 962710, -2*h + 4*w + 481346 = 0. Is h prime?
True
Suppose -x - 541167 = -4*f, -2*x = 5*f - 654243 - 22232. Is f a composite number?
True
Let f(u) = -49*u**3 - 10*u**2 + 4*u + 71. Let h be f(-6). Let k = h + -6222. Is k a composite number?
False
Let o = 55006 - 10787. Is o a prime number?
False
Suppose 842*f - 841*f = b - 93810, 4*b = -4*f + 375232. Is b a prime number?
True
Suppose -6697033 + 2484545 = -173*y + 4046013. Is y prime?
True
Suppose 29*x + 18*x = 240123. Suppose 2*m - 12205 = x. Is m composite?
True
Let m be ((-143)/(-4))/((-4)/(-16)). Let r = 5414 - 5321. Suppose -4*w + m = -r. Is w a prime number?
True
Let l(h) be the second derivative of -5/12*h**4 + 1/3*h**3 + 0 - 27*h - 1/10*h**5 - 2*h**2. Is l(-5) prime?
False
Let c(w) = 192*w**2 + 8*w - 3. Let o(p) = -p**2 - 2*p - 1. Let t(m) = c(m) + 4*o(m). Is t(-6) composite?
False
Suppose 0 = 4*z - 3*w - 521363, w + 408347 = 5*z - 243343. Is z prime?
True
Suppose 5*k + 58 = 3. Let d(p) = p**3 - 5*p**2 + 4*p - 9. Let j be d(k). Let y = j + 8234. Is y composite?
True
Suppose 5 = -6*g + 17. Suppose g*x + 4*y - 10114 = 0, 24*x - 26*x + y = -10099. Is x a prime number?
True
Suppose 0 = 5*p + 1 - 21. Suppose 2*b - p = 0, -9 = 3*g + 2*b - 34. Let f(y) = 137*y + 14. Is f(g) prime?
False
Suppose -3*p + 5*b = -378326, -3*b - 254330 = 3*p - 632648. Is p a prime number?
True
Let j(m) = -23*m - 1. Let q be j(3). Let b = q - -77. Suppose -b*v + v + 6366 = 0. Is v prime?
True
Suppose -2*i = 3*i + 15. Let v be (-15)/20*2/i*-10. Is (7 - (v + 10)) + 15*37 a composite number?
False
Let a(g) = -2227*g + 269. Let p(w) = 743*w - 89. Let i(u) = 4*a(u) + 11*p(u). Is i(-30) prime?
True
Let f = -9154 - -13289. Suppose -6101 = -4*n + 5*u + f, 0 = 4*n + u - 10260. Suppose -6*d + 2*d + n = 0. Is d a prime number?
True
Let l = 13724 + 151445. Is l a prime number?
False
Let g = 4522 + -6953. Let l(p) = -2*p**2 + 105*p + 2030. Let o be l(-18). Let t = o - g. Is t prime?
False
Let h = -25 - -25. Suppose r - 5 = -h. Suppose -r*s + 5*n + 4435 = 2*n, 5*n + 3548 = 4*s. Is s composite?
False
Suppose 30*l - 29*l = 86677. Is l prime?
True
Suppose -601*u + 597*u + 656890 = 2*g, 5*g - 4*u = 1642183. Is g a prime number?
True
Let b(g) = -424*g**3 - 17*g**2 - 21*g + 29. Is b(-4) a composite number?
True
Suppose 10*o - 9*o - 74 = 5*b, -2*b = 5*o + 35. Is (-2)/b + 22389334/870 a prime number?
False
Let b = 14 - 10. Let z = 17 + -29. Is b/(-6)*1638/z a prime number?
False
Suppose 3*g = 4012 - 277. Let i = -528 + g. Is i prime?
False
Suppose 29*h = 370929 + 4480336. Is h prime?
False
Suppose -4*q + 4*a = -0*q - 20, 15 = 2*q - 3*a. Let y(s) be the third derivative of s**5/60 - s**4/8 + 221*s**3/6 - 369*s**2. Is y(q) 