ose -3*n = -3*i - 294, -d*n + 9*n = -5*i + 540. Is n prime?
True
Is (-14684637)/(-6)*180/990 a composite number?
True
Let k(r) = -r**3 - 24*r**2 - 42*r + 42. Let p be k(-22). Let o(j) = 1093*j**2 + 4*j + 5. Is o(p) composite?
True
Suppose -21*a = -19*a - 5*u - 4419, 4425 = 2*a + u. Suppose 3*g = -g - 5*y + a, 553 = g + 2*y. Is g prime?
False
Suppose 8*p + 14033 = 925138 + 471239. Is p a composite number?
True
Suppose -271*k = -266*k - 657155. Is k a prime number?
True
Suppose -4*s + u = -569879, -34*s + 2*u = -30*s - 569882. Is s a composite number?
False
Suppose -6370*m - 64721 = -6371*m. Is m a prime number?
False
Let n(s) = -1164*s**3 - 11 + 30 - 14 - 7 - 2*s**2 - 3*s. Is n(-1) a prime number?
True
Let p(c) = -c**2 - 8*c + 2. Let o be p(-8). Suppose o*i = 5*i + 30. Is (2*-179)/(8 + i) composite?
False
Suppose -29*w = 26*w - 36*w - 2887601. Is w a composite number?
True
Let m(v) = 53*v**2 - v + 1. Let g be (-33)/(-12) + 2/8. Suppose b - g*b = 4*j, -2*j + b + 4 = 0. Is m(j) a prime number?
True
Let q(n) = 4159*n**2 - 129*n - 129. Is q(-1) composite?
False
Let b = -40 + 44. Suppose 4*h = -b*r + 2*h + 34532, -4*h + 34532 = 4*r. Is r a prime number?
False
Let c(r) = 704*r**2 + 8*r + 21. Let k be c(-4). Suppose -14*g + 20541 + k = 0. Is g composite?
True
Suppose -396 = 50*t - 17*t. Let f(g) = -g**3 + 3*g**2 + 35*g - 1. Is f(t) composite?
True
Let i(m) = 11*m**2 - 5*m + 2. Let v be i(12). Let f = v - -159. Is f a prime number?
False
Suppose g + 11 = 14. Suppose 0 = -g*x + 4*x - 5*c - 13, -23 = -5*x + 4*c. Let t(o) = 212*o - 3. Is t(x) a composite number?
True
Is 12/198 + 310912/231 a composite number?
True
Is (-546)/(-210) + (-2388312)/(-30) composite?
False
Let u(c) = -2*c - 32. Let k be u(-17). Suppose k*b - 4*q + 2*q = -12, -18 = -2*b - 4*q. Is (-2634)/(-4) + (-5)/10*b prime?
True
Let q = 23 - -25. Let r = 43 - q. Let p(a) = 54*a**2 + 5*a - 6. Is p(r) composite?
False
Let v be (3 - -4) + (-1 - 3) - 27. Is 2/8 - 2/(v/93465) a prime number?
True
Let d(p) = -535*p - 103. Suppose 2*r - l = -40, 5*l = 3*r + 10*l + 34. Is d(r) a composite number?
True
Let x be (-1078)/(-42)*(152 + 1). Suppose 5*s = -4*j + x, -2*s + 3934 = 4*j - 4*s. Is j prime?
True
Is (-10635)/(-3) - ((20 - 10) + -12) a prime number?
True
Suppose 0 = -14*o - 5*o + 38. Suppose -15978 = 2*i - 4*i + 4*b, 31956 = 4*i - o*b. Is i prime?
False
Let f be (-166)/(-6)*(-3)/(-1) + -3. Suppose -3*p - f = 2*p. Let d(c) = -38*c - 35. Is d(p) a prime number?
False
Suppose -2*h = 76*x - 73*x - 647200, -4*x - 323567 = -h. Is h a prime number?
True
Let k = -92 + 86. Let d(m) = -2*m**3 + m**2 + 6*m + 19. Is d(k) a composite number?
True
Is ((-1)/(2/347656*-4))/(-2 + 3) composite?
False
Suppose -5*g = -5*j + 15, -14 + 17 = -3*g - 3*j. Is -1*(-632)/(-28)*7/g a composite number?
False
Suppose -25*u = b - 21*u - 19, 0 = 3*b + 2*u - 17. Suppose 0 = 5*d + 2*z - 19480, b*z = -5*d + 9382 + 10093. Is d composite?
True
Let g = 355 - 355. Suppose -5*j - y + 758 + 15803 = g, -4*j + y = -13256. Is j a prime number?
True
Let m(l) = l**3 + 3*l**2 + 3*l + 5. Let d be m(-2). Suppose 4*h - 12811 = -d*w, -3*h + 2*w - 4*w + 9607 = 0. Is h a prime number?
False
Let s be 15/2*47598/9 - -1. Suppose 0 = 2*y - 4*k - 9430 - 17028, -s = -3*y - k. Suppose -5*o + 4*t = -14657, 3*t - 1448 = -5*o + y. Is o a prime number?
False
Suppose 0 = -11*o + 1273800 - 8987. Is o a composite number?
True
Let v = -225 + 145. Is 32/v*-16676 - (-3)/5 a prime number?
False
Let m(w) = w**3 - 88*w**2 + 172*w + 1156. Is m(127) a prime number?
False
Let o(l) = -4448*l - 27. Let n be o(-1). Let y = n + -2920. Is y prime?
False
Let t(g) = 319*g - 107. Suppose 0*x + 2*b - 18 = -x, -4*x + 5*b + 59 = 0. Is t(x) composite?
True
Let y = 1769521 - 1244212. Is y a composite number?
True
Let a(t) = t**2 - 2. Let b(n) = -152*n**2 + 6*n + 1. Let d(q) = -4*a(q) - b(q). Is d(-3) prime?
False
Let c be 5/10 - 13/(-2). Suppose -6*h - 19 = -c*h. Is h*(-20)/(-8)*2 composite?
True
Let h = -55 + 585. Let g = h + 413. Is g prime?
False
Let s(a) = -a**2 - 6*a - 3. Let k be s(-4). Suppose -5*q + 318 = -2. Suppose -o - q + 400 = t, -4*o = k*t - 1343. Is o a prime number?
True
Suppose -274*o + 5123742 - 617264 = 0. Is o prime?
True
Suppose -3*p - 15*n = -20*n - 79349, 79337 = 3*p - 2*n. Is p composite?
True
Let z(h) = 257*h - 323. Let l = 742 - 734. Is z(l) a prime number?
True
Let b = -80 - -101. Let x(n) = 3*n**2 - 30*n - 14. Is x(b) a prime number?
False
Let y(w) = 9*w - 544. Let g be y(-16). Let o(c) = -2*c**3 - 5*c**2 - 10*c - 6. Let m be o(-9). Let s = m + g. Is s prime?
True
Let o(w) = 3*w**2 + 10*w + 361. Is o(54) prime?
True
Let w(u) = -3*u + 24 - 3 + u. Let v be w(12). Is 428*(-1)/v*(-9)/(-6) composite?
True
Let h(s) = 3*s**2 - 4*s + 2. Let c be h(2). Let z be -2 - -4 - (-18)/c. Suppose 2*d - j = 1164, -z*d - 6*j + 3*j + 2921 = 0. Is d a prime number?
False
Let u = 58130 - -19667. Is u a prime number?
True
Suppose -57195 = -55*c + 1277984 - 253164. Is c prime?
False
Let k(j) = -5*j**3 + 2*j**2 + 5*j + 4. Let p be k(-1). Is (10/p)/((-124)/(-428916)) a composite number?
True
Let i be (3/(-4))/((-2)/(-208)). Let m = i - -1911. Let r = 2570 - m. Is r prime?
False
Let r(z) = 97*z**2 + 182*z - 49. Is r(52) a prime number?
True
Suppose 3*t - 63 = -3*h, -3*h + 2*t + 0 + 58 = 0. Is (1/2)/(h/755720) a prime number?
False
Suppose -4*t + 69160 = -n - n, 5*n - 69174 = -4*t. Is t a composite number?
False
Let v = 31227 + -17619. Let a = v - 5717. Is a prime?
False
Suppose -3*v + 2 = -t, 4*t = -t - 10. Let o(g) = g**3 + g + 2961. Let z be o(v). Suppose c - z = -8*c. Is c composite?
True
Is (-104935 - 2/(-1))*(-119 - -118) a composite number?
False
Suppose 0 = -283*u + 293*u - 4629590. Is u a prime number?
False
Suppose 77*h - 4480131 = 4333366. Is h a composite number?
True
Let w = -162649 + 321912. Is w a prime number?
False
Let y be (4/(-12)*5)/(35/(-84)). Suppose -y*w + 1275 + 2081 = 0. Is w a composite number?
False
Let w(t) = 29*t + 228. Let k be w(-8). Is 42/6 + k - -11366 composite?
False
Let o = 485887 + -241196. Is o composite?
False
Let j(b) = b**3 - 10*b**2 - 11*b - 55. Let n be j(14). Suppose p = 539 + n. Is p composite?
True
Let v(o) = o**2 + 360. Let m be v(0). Suppose -4770 = -4*r + 3*n - 2*n, 5*n + 3569 = 3*r. Suppose -m = -3*f + x + 3187, -f = -3*x - r. Is f a composite number?
False
Suppose -188*f + 21915465 + 31738043 = 0. Is f prime?
False
Suppose -14 = h - 2*r, -5*h - 38 = -0*r - 2*r. Let c be (-2 - -6)*h/(-12). Let z(y) = 916*y + 7. Is z(c) a prime number?
False
Let p(h) = -41 + 54*h**2 - 4*h + 19*h + 200*h**2. Is p(4) prime?
False
Let o(n) = 404 - 168*n - 204 - 225. Is o(-3) composite?
False
Suppose -3*p + 647 = -4*c, c - 14 = 4*p - 166. Let b = -1253 + 1342. Let l = b - c. Is l prime?
False
Let f be (0 + 1)*(17 + -17). Suppose f*b - b = 2*k - 148, k = 5*b - 795. Let o = 53 + b. Is o prime?
True
Is ((394765/10)/(-7))/((-26)/52) prime?
True
Let a(n) = n**2 - 9*n - 2. Let l be a(5). Let f(m) = -51*m - 11. Is f(l) a prime number?
False
Let a(l) = 431*l + 21. Let h be a(-3). Let z = h - -3614. Is z a composite number?
True
Let k be ((-3)/(-12)*2)/((-1)/(-56)). Suppose k*i = 31*i - 3219. Is i prime?
False
Let j(q) be the second derivative of q**5/10 + 11*q**4/12 - q**3/3 - 55*q**2/2 + q - 7. Is j(8) prime?
True
Is (3 - 7 - 21) + 848838 composite?
True
Let c(b) = -196*b - 175. Let g = -303 - -279. Is c(g) prime?
False
Let w be ((-20)/10)/(-1 + -1)*2. Let o(x) = -41*x + 30. Let n(m) = 163*m - 119. Let j(y) = w*n(y) + 9*o(y). Is j(-15) prime?
True
Suppose 9641 + 56439 = -16*a. Let t = 6175 + a. Is t prime?
False
Let m(z) = -2*z**3 - 5*z**2 + 2*z - 1. Suppose -b = -0*b - 6. Suppose 13 - 49 = b*q. Is m(q) composite?
False
Suppose -2*b - 3058 = -4*u, -2*u = -0*u + 5*b - 1559. Let g(c) = -466*c + 240. Let q be g(1). Let d = u + q. Is d a prime number?
True
Let q = -21279 - -109922. Is q prime?
True
Let s(h) = 1288*h + 21. Let j(m) = -m + 7. Let d(w) = 4*j(w) + s(w). Is d(5) a prime number?
True
Is (-2)/(-3)*916590/20 a prime number?
True
Suppose -4*l - 4 = 4*i, -i - l + 4 = -5*l. Let k be (2 - -2) + i + -1. Suppose 2 = -g + 3*q + 145, -k*g = 2*q - 396. Is g prime?
False
Suppose -13*l + 6 = -9*l + 2*z, -23 = 3*l - 4*z. Is 2445/60*(115 - 1/l) composite?
True
Is (10/35