 5*m**2/2 + 48*m - 58. Is n(-25) prime?
True
Let a(b) = 96*b + 14. Let p(s) = -3*s - 25. Let i be p(-9). Let q be a(i). Suppose 2*o + o - 5*n - q = 0, 0 = 5*o + 4*n - 405. Is o prime?
False
Let w = -2241 - 2898. Suppose -4*k + d + 53513 - 21679 = 0, 5*d = -3*k + 23864. Let v = k + w. Is v prime?
True
Let h = 40 + -47. Is h*(-368 + 6 + -5) prime?
False
Let y = -24436 - -57813. Is y composite?
False
Suppose 0 = -5*u + a - 38, a = 4*u - a + 28. Is (-1)/((u/(-506))/(-4)) prime?
False
Let i(s) = s**3 - 2*s**2 - 5*s. Let u be i(4). Suppose -2*d = -7*t + u*t - 2763, d = -5*t + 2764. Is t a prime number?
False
Let y = -510155 - -746362. Is y a composite number?
False
Let n be (10/(-8))/((-15)/60). Suppose 0 = -3*p - n*t + 4838, -4*p + 3*t = -2333 - 4166. Is p composite?
False
Let g be 3*(1444/(-3) - -2). Let z = 2997 + g. Is z a composite number?
False
Let z = -185 - -183. Let w(v) = -3452*v - 6. Is w(z) prime?
False
Suppose 5*o - 66 = 5*s + 69, -109 = -3*o - 4*s. Let l = o - 43. Let d(n) = 7*n**2 - 17*n - 14. Is d(l) a prime number?
False
Suppose -5*g - 23*a + 2367 = -27*a, -3*a = 2*g - 956. Let d(n) = -18*n**2 + 3*n + 2. Let l be d(4). Let h = g - l. Is h a prime number?
False
Suppose 2*b + 5*i = 3, -b + 2*i + 5 = i. Suppose 4*l + l - 25 = 0, b*l + 148 = -3*v. Let a = 187 + v. Is a a prime number?
True
Let w(q) = q**3 - q**2 + q + 2. Let m be w(-1). Let g(n) = 4*n**2 - n - 1. Let l be g(m). Suppose l*r - 444 = 16. Is r prime?
False
Is 6/(-15) + (-3)/(135/(-4886253)) - -4 a composite number?
False
Suppose 4*y + 5*v - 3*v - 16 = 0, 4*y = -4*v + 8. Let o(f) = -3*f + 16*f**2 - 2*f**2 + 1 - 4*f**2 - y*f**2. Is o(12) a composite number?
False
Let z(q) = 7*q**3 + 45*q**2 + 68*q - 1103. Is z(47) a composite number?
True
Let j(m) = 13*m**3 - 11*m**2 - m + 34. Suppose -2 = -f, 3*b - 16 = 4*f + 3. Is j(b) composite?
True
Let a(k) = -1312 + 1207 + 745 + 2776 - 2*k**2 + 5*k + 3521. Is a(0) a composite number?
True
Suppose 0*g - g + 802 = -3*i, 5*i - 3123 = -4*g. Let q = 2645 - g. Is (-3)/7*1 - q/(-7) prime?
False
Let u be 6302350/60 + 1/(-6). Is (-7)/((-105)/u) - (-16)/40 a composite number?
True
Suppose d = s + 49818, 3*s - 171979 = -3*d - 22555. Is d prime?
False
Suppose 0 = -8*l + 4*l + 7*l. Let a(o) = -o + 13*o**2 + 3*o**2 - 2*o + l*o - 2. Is a(3) prime?
False
Let u(w) = -4*w - 21. Let c be u(-6). Suppose 0 = -6*f + c*f + 2577. Let k = f + -582. Is k composite?
False
Let a(q) = -q**2 + 7*q + 123. Let n be a(15). Suppose 27093 = n*f + u + 4855, -22253 = -3*f - 4*u. Is f a prime number?
True
Suppose 77*v - 10*v - 3236719 = 38*v. Is v composite?
False
Suppose -103*z + 10228671 = 2*o - 104*z, 4*o - 20457347 = 3*z. Is o composite?
True
Let a = 76 + 826. Suppose v + j = a, 0*v - 2706 = -3*v + 5*j. Suppose -7*m = -5*m - v. Is m prime?
False
Suppose 26651 = 7*r - 7488. Let o = r - 2424. Is o a prime number?
False
Let s be (-330)/(-20)*2/(-1). Let b = -33 - s. Suppose 2*q - 293 = -j + 4*q, b = 3*j + 2*q - 911. Is j composite?
True
Let i = 661066 + 130677. Is i prime?
False
Let z(u) = -u**3 - u + 1. Let g(l) = -l**3 + 4*l**2 + 11*l + 12. Let t(p) = g(p) + 2*z(p). Let n be t(-5). Let w = n + -205. Is w a prime number?
True
Let f(x) = 3895*x - 11. Let s be f(-3). Let c = -7689 - s. Is c a prime number?
True
Let o = 42260 - -9507. Is o a composite number?
False
Suppose 5*f = 8*o - 10*o + 751956, 0 = -5*f + 2*o + 751944. Suppose -3*r - 10*s = -90287, s = 9*r - 4*r - f. Is r a prime number?
False
Suppose 0 = 9*l + 3473 - 692. Let c = l + 1456. Is c a composite number?
True
Let p(y) = 317370*y - 1343. Is p(10) a prime number?
True
Suppose 0 = -3*g + 7*g - 8868. Suppose 2*a = -3*v + 3261 + 1128, -a + g = -3*v. Suppose -2051 = -3*b - 4*p, 5*b + 5*p - 1208 - a = 0. Is b a prime number?
True
Let z be 4 + 0 + (902 - -6). Suppose -601 - z = g. Let n = 2730 + g. Is n composite?
False
Let i be (-702)/(-208) - (-3)/(-8). Suppose 9*f = 5*q + 8*f - 154, 0 = i*q - 3*f - 90. Suppose q*j - 32*j + 1847 = 0. Is j a prime number?
True
Suppose -5*j - 70 = -5*i, 3*i + j - 40 = 3*j. Is 39956/16 + 9/i a prime number?
False
Let m(v) = 2*v**2 + 13*v - 2. Let b be m(-7). Suppose x = -w - x - 259, -b*x = -4*w - 1075. Let k = -106 - w. Is k a composite number?
True
Is (2/(-4))/((1/(-412878))/((-67)/(-201))) prime?
True
Is (-2)/7 + -2246*(-9471)/294 prime?
True
Let q(h) = -189*h + 31. Let z(p) = -p**3 - 3*p**2 + 7*p + 8. Let o be z(-4). Is q(o) a composite number?
False
Let z = -422 - -1994. Let i = -211 + z. Let h = i - 508. Is h a prime number?
True
Let h = -26659 - -56738. Is h prime?
False
Let b be 94/(-30) - 6/(-45). Let y be (-3)/(-9) - 17058/9. Is y/15*(b - 0) prime?
True
Let o = 77 + -159. Let m = o - -113. Is m prime?
True
Let w = -326 - -330. Suppose -5*q + 9145 = 3*m - w*q, 0 = -m - 4*q + 3041. Is m prime?
True
Let w be (-14 - -11)/3*41851/(-1). Suppose -2*x + 4*d = -69009 - 14637, 5*d = -x + w. Is x a prime number?
False
Let v(z) = z**3 - 7*z**2 - 9*z + 12. Let l be v(8). Suppose -4*p - 7 = 3*g, 2*p = l*p + 8. Suppose g*x + 206 = 5*i, -5*x = -7 - 8. Is i composite?
False
Let z(t) = t**2 - 15*t + 8. Let i be z(14). Let d(h) = -h - 6. Let g be d(i). Suppose 22*s - 21*s - 14 = g. Is s a prime number?
False
Let a be (-1 - 4)/(-2 - -1). Suppose 4 = z - o, -a*z - 15 = 4*o + 1. Let d(q) = q**2 - q + 167. Is d(z) prime?
True
Let j(q) = q**2 + 13*q - 16. Let b be 4 + 4 + -21 + -1. Let d be j(b). Is (-320)/d - 9/3 composite?
False
Let r be (-8)/(-28) + (-1516)/14. Let n = -317 - r. Let v = n - -294. Is v prime?
False
Suppose 1176*c - 1183*c = -574469. Is c a prime number?
True
Let j = -26 + 30. Suppose -3*d = 15*b - 20*b + 25738, -j*b + d + 20589 = 0. Is b composite?
False
Let b = -146954 + 322655. Is b prime?
False
Let x(n) = 6 + 12*n + 1 + 18*n**2 + 3 - 2 - n**3. Is x(13) a prime number?
True
Is (-14)/35*974940/(-24) prime?
True
Suppose -q = -2*l + 5, -2*l + 6*q + 1 = q. Suppose -3099 = -u + 5*c, 2*u + 2*c - 6258 = -l*c. Is u a composite number?
False
Let i(r) = -41*r**3 + 5*r**2 + 13*r - 1. Let k(f) = -6*f - 65. Let g be k(-21). Let h = -63 + g. Is i(h) prime?
False
Let c(n) = 24 + 6 - 43 - n**2 + 14*n. Let x be c(12). Suppose -x*a + 3*a = -23512. Is a composite?
False
Let s = -76252 + 137253. Is s prime?
True
Suppose 4*m + 16 = 0, 154826 = -3*l - 4*m + 743377. Is l a composite number?
True
Suppose -8*y - 8*y + 7632 = 0. Let k = 25 + y. Is k composite?
True
Suppose 2832428236 = 422*c - 304007850. Is c composite?
True
Let a be (-26040)/72 + 5/3. Let c = 697 + a. Is c prime?
True
Let i = -101 - -175. Let w(q) = q**3 - 3*q**2 - 5*q + 6. Let u be w(4). Suppose 0*x = -u*x + i. Is x a prime number?
True
Let j = 33 + -31. Let z be 6*j/4 - 1. Suppose -2*a + 324 = 4*c + z*a, 0 = 3*a - 12. Is c a prime number?
False
Suppose 4*l = -s + 11903, -4*s + 12*l = 8*l - 47612. Is s a composite number?
False
Suppose 218*j - 75107066 = 57395732. Is j a composite number?
True
Let x = 89348 + -17076. Suppose 6*s + 25970 = x. Is s a prime number?
True
Let x = -32 - -11. Let h = 59 + x. Let p = h + 17. Is p prime?
False
Suppose 1451043 = 49*g - 5572390 + 1960214. Is g a prime number?
False
Let s(p) = 3704*p - 12. Suppose 8*k = k + 21. Let u be s(k). Suppose 0 = 4*t - 488 - u. Is t composite?
False
Let p(c) = -4*c**3 + 7*c**2 - 11*c + 6. Let t be p(-7). Let l = t - 1071. Suppose r - 4*y = 373, -2*r + 31 + l = -5*y. Is r prime?
True
Suppose 133*p = 135*p - 19054. Suppose 15*s - 8*s - p = 0. Is s prime?
True
Let j = -40801 + 73053. Let n be (7 - -271)*(1 + (-284)/(-8)). Suppose 9*a - n - j = 0. Is a a prime number?
False
Let d(a) be the first derivative of 1415*a**2/2 + 187*a - 266. Is d(12) prime?
True
Let n(v) be the first derivative of -3*v**4/4 - 14*v**3/3 - 11*v**2 + 21*v - 38. Is n(-10) a prime number?
False
Let h(w) be the third derivative of 3/2*w**3 + 3/20*w**5 + 0 - 1/120*w**6 + 0*w - 1/12*w**4 + 8*w**2. Is h(8) composite?
True
Suppose 0 = 57*b - 43*b - 1136702. Let x = -48848 + b. Is x a composite number?
True
Let v = 355 - 353. Suppose 4*u - v*u = 3*o - 563, -2*o = 5*u - 369. Is o a composite number?
True
Let h(x) be the first derivative of 557*x**4/2 + 5*x**3/3 - x**2 + 2*x - 119. Is h(1) a prime number?
False
Let c = -2986 - -22290. Let y = c - 10863. Is y a prime number?
False
Let h(v) = -62206*v + 657.