 910242 - 7905350. Is n prime?
True
Suppose -3024 = -24*l - 8*l + 1533072. Is l a prime number?
False
Suppose -3*t + 30279 = -3*x, 5*t - 50447 = x - 2*x. Suppose 6054 = 3*c - 3*f, f + t = 5*c - 0*f. Is c composite?
True
Suppose -m = -2*z - 12691, -7*z - 63448 = -5*m - 4*z. Is m prime?
True
Let o(q) be the first derivative of 7*q**4/4 - 2*q**3/3 + 36*q + 99. Let d = -24 + 31. Is o(d) a prime number?
True
Suppose 427 - 460 = -v. Let b(l) = l**2 + 18*l + 94. Is b(v) a composite number?
False
Suppose 8*f = -154188 - 104732. Let s = f + 55922. Is s composite?
False
Let o = -350 - -16039. Is o a prime number?
False
Let b = 23393 - 15274. Is b prime?
False
Let z(k) = -k**2 + 22*k + 19. Let j be (-84)/2*(-5 - -6). Let h = j + 64. Is z(h) a composite number?
False
Let m(o) = 26 - 13*o + 23*o - 8. Let n be m(11). Let r = n - -17. Is r composite?
True
Let l(s) be the second derivative of 3*s**5/20 + 7*s**4/12 - s**3/2 + 3*s**2 + s. Let r = -343 + 348. Is l(r) composite?
False
Let w be -3*4/(-3)*-103. Let j = 627 - w. Is j composite?
False
Let p(t) = 4*t**3 - 7*t**2 - 19*t - 17. Let j be p(7). Suppose 3*o - 1080 = -j. Is o composite?
False
Is 2/4*(-70)/(-20)*(-1028)/(-1) prime?
False
Let n(x) = 47*x**2 - 31*x - 13. Is n(-15) prime?
True
Suppose -3969806 = -48*l + 14*l. Is l composite?
True
Let u(m) = -16908*m + 23. Let a(h) = 16912*h - 23. Let d(k) = -3*a(k) - 2*u(k). Is d(-1) a prime number?
True
Suppose -5*f = v - 93, 0*v - 30 = -2*f + 2*v. Let q(l) = 23*l**2 + 14*l - 38. Is q(f) prime?
False
Is (-20 - (-3590370)/(-36))*8/(-10) composite?
True
Suppose 0 = -d + 31*d - 377250. Suppose 4*n - d = -n. Is n composite?
True
Let v = 52737 + -12302. Is v prime?
False
Suppose 4*j - 1581465 - 211084 = k, -k = 5*j - 2240702. Is j prime?
True
Is ((-6)/(-7) - 1)/(1420023540/48966330 - 29) a composite number?
False
Is 85/40*-12*3194/(-3) prime?
False
Let w(s) = 13401*s - 239. Is w(6) prime?
True
Let i(w) = 42*w**2 - 14*w**2 - 8 - w - w - 3*w. Suppose 74 - 2 = -24*x. Is i(x) a prime number?
False
Let u = 344875 + -103476. Is u prime?
False
Suppose 4 = -2*s, -s + 2*s = 3*o + 43. Let r = o - -74. Suppose 2*l = 1067 + r. Is l prime?
True
Let w = 4 - 4. Suppose -t + 9*m = 11*m - 727, -2*m = 3*t - 2201. Suppose w = -4*u + t + 755. Is u a prime number?
True
Suppose 5*g = 4*z + 28, 0*g - 4*g - 5*z + 6 = 0. Suppose -g*k + 12044 = 288. Is k composite?
False
Let o(q) = -2*q + 9. Suppose h = -4 + 13. Let i be o(h). Is 18/27 + (-1011)/i a prime number?
True
Suppose 0 = -3*j - 0*j + 3*b + 87, -2*b + 124 = 5*j. Suppose 81 = j*h - 17*h. Is (26422/(-33))/((-2)/h) a composite number?
True
Let o = 4409 - -294. Is o a composite number?
False
Suppose s = 4*o + 22, 5*s + 4*o - 64 = o. Suppose -s*b + 2*l = -13*b - 4273, -l = -4. Is b a composite number?
True
Suppose -5*c - 3*k - k + 58 = 0, -3*k = 9. Let b be (537/2)/(21/c). Suppose -4*x = -7047 + b. Is x a composite number?
True
Suppose -50 + 41 = -3*q. Suppose 0 = -2*a - q*i + 8, -4*a + 2*i = a - 20. Is 2597/a + (-3)/12 a composite number?
True
Suppose 1316 = z - 4*s - 1440, 0 = -4*s - 12. Let b = 1899 + z. Is b composite?
False
Let n(i) = i**3 - 10*i**2 + 2*i - 15. Let y be n(10). Suppose 15 = -y*w + 30. Suppose 0 = w*r - 9*r + 2922. Is r composite?
False
Suppose -23*l = -27*l + 8. Suppose -l*h - 6 = -0. Is 24/36 + h/((-9)/4081) a composite number?
False
Let u be 5657/3 - (-10)/30. Suppose 2*a - 7*c = -4*c + u, -2*a + 5*c = -1886. Is a prime?
False
Let p(a) = -a**3 - 13*a**2 - 13*a + 8. Let j be p(-12). Let i = 8 - j. Is 137 + (-4)/i*6 composite?
False
Suppose -144*t = -106*t - 952166. Is t a prime number?
True
Suppose 3*i - 5 = 10. Suppose 0 = -i*u - 5*t + 3400, -4*u + 5*t = -u - 2032. Let o = u - 372. Is o composite?
False
Suppose f + 4*h - 7 = 12, -7 = -f - h. Suppose -5500 = -f*w + 14909. Is w composite?
False
Let l = -83200 + 155813. Is l prime?
True
Suppose -y = x + 53401 - 340727, 2*y = 4*x - 1149322. Is x composite?
True
Suppose 5 = -5*s + 15. Suppose -4*c = s*o - 3094, -o + 5*c - 1553 = -2*o. Is o prime?
True
Let t = -413 - -427. Suppose a + t*o = 18*o + 6745, 0 = 2*a - 5*o - 13502. Is a prime?
True
Suppose 13*l - 75 = -2*l. Suppose 2*n - c = 14739, -6*n + 22102 = -3*n + l*c. Is n prime?
True
Let d be ((-1)/(-2))/(16/28480). Let w = d + -508. Is w a composite number?
True
Suppose 0 = -h - 0*b + 5*b + 67561, -3*h - b + 202587 = 0. Is h composite?
False
Let p = 22538 + -10576. Is p prime?
False
Let w(l) = -6*l - 3. Let c be (51/(-34))/(3/2). Let v be w(c). Suppose v*s - 3005 = -104. Is s a composite number?
False
Let i be (-40)/3 - (-24)/18. Let d = i + 4. Is (-4 - d)*429/12 prime?
False
Suppose 21 = 4*c + 5. Suppose 5*a = -4*d + 1056, 0 = -0*a - a - c. Is d a prime number?
True
Let o(k) = -23641*k - 1413. Is o(-16) prime?
False
Let d = 1262 + -921. Let c = 1586 + d. Is c a prime number?
False
Suppose -9*g + 7*g + 32 = 0. Let c(v) = v**2 - 17*v - 2. Let a be c(g). Let h(x) = -4*x - 5. Is h(a) prime?
True
Let l(i) = 773*i + 1738. Is l(5) a prime number?
False
Suppose 18033 = 5*d + o, 0 = 4*d - d + 4*o - 10830. Let i(w) = w**2 + 7*w - 3. Let n be i(-8). Suppose n*p = -1111 + d. Is p a prime number?
True
Let a(m) = 3*m**2 - 48*m + 2. Let h be a(16). Suppose -2*g - h*z = -7*z - 29058, g - 14499 = -5*z. Is g a prime number?
True
Suppose -113*j - 55572 = -124*j. Let c = j - 715. Is c a composite number?
False
Suppose -19*y - 2 = -21*y. Let z be 351 + y/(7/(-2) - -4). Let t = z - -26. Is t a composite number?
False
Let o(b) = -133*b - 8. Let p be o(-1). Suppose -5*u + 135 = -4*v, -2*v = -3*u - 2*u + p. Let w = u + 486. Is w a composite number?
False
Suppose -2*d + 2578 = -86. Let n = 3297 - d. Let c = n - 998. Is c a composite number?
False
Suppose 34*x - 1378773 - 339233 = 299316. Is x composite?
False
Let g(f) = f**3 - 10*f**2 + f - 7. Let k be g(10). Suppose -k*t = -9*t + 3942. Suppose 0 = -2*i + y + 930, -i = 4*y + 183 - t. Is i a composite number?
True
Let d(k) = -4 + 11 - 6 + 138*k. Is d(3) prime?
False
Suppose -3*n = -z + 146 - 228, 9 = n - 4*z. Suppose -4*j + 2*u + 168 = 0, -2*u = j - 6*u - 42. Let b = j - n. Is b a prime number?
True
Let g = 2341 - -849. Suppose g + 8015 = 3*u + 2*c, -4*c - 14960 = -4*u. Let j = u + -1410. Is j composite?
True
Suppose -4*s - 3*f + 1 = 0, 4*s - 10*f + 7*f = 31. Suppose 4*h - 6*c = -3*c + 3928, 5*h = -s*c + 4879. Is h composite?
True
Is 827094*((9 - 7) + 1 + (-20)/8) a prime number?
False
Let c(t) = 1606*t + 43. Let z be (-5 + (-2 - -8))/(2/6). Is c(z) a composite number?
False
Let h(i) = -2*i**3 - 14*i**2 - 14*i - 8. Let m be h(-6). Suppose -2*c + 3*g = -1735, -3*g = -c + m*c - 2580. Is c prime?
True
Let c be ((-79)/2)/((-9)/(-6) - 2). Let j = -72 + c. Suppose 2*t = 12*k - j*k + 2018, 0 = k. Is t a prime number?
True
Suppose 130*k + 11351499 = 217*k. Is k composite?
False
Let f = 12931 + 111. Is f composite?
True
Let n(r) = 2648*r - 150. Is n(1) composite?
True
Let d be 1/(((-28)/(-16))/7). Suppose k = -d*k + 11855. Is k a composite number?
False
Let h(a) = 7*a - 132. Let m be h(16). Is -2 + m/(-4) - -3688 a prime number?
True
Let y be (-5)/(-4 - -3) - 2. Suppose y*m - 6084 = -3*a, -5*m + 3*m + 4046 = 4*a. Is m a prime number?
False
Suppose -3*m + z + 11 = 0, -m = -6*m - 3*z + 9. Suppose 2*d + 3 = -m, -2*q + 17 = -5*d. Is (230/(-4))/(q/(-2)) a prime number?
False
Let n(i) = 2579*i - 5100. Is n(47) prime?
True
Suppose -3*m = -15, -14*x + 11*x + m = -239884. Is x a prime number?
False
Suppose 232355 = 5*n + 24*p - 19*p, 4*n - 185884 = 2*p. Is n a composite number?
False
Suppose -700144 + 2403645 = 9*q - 911512. Is q prime?
True
Let d(m) = 6*m**2 + 17 - 13*m**2 + 9*m**2 + 5*m. Suppose z = -r - 19, -2*z + 2*r - 63 = -r. Is d(z) prime?
True
Let t(o) be the second derivative of o**5/20 + 13*o**4/6 - 3*o**3 - 11*o**2/2 - 2*o + 24. Is t(-22) a composite number?
True
Let q(m) = -20327*m - 22. Let r be q(-2). Is (r/(-32))/((-9)/84) prime?
False
Let q(k) = -k**3 + 2*k + 7. Let t be q(-10). Suppose 348 = 2*f + l, 5*l + t = 5*f + 147. Let w = -9 + f. Is w a composite number?
False
Suppose -75*t = -65*t - 22370. Is t composite?
False
Suppose -1 = -4*m - 17. Let v be 0 + (-2)/m*-8. Is (-2 + 0)*(-3 - v) - -451 a composite number?
False
Let k(x) = x**3 + x**2 + 16. Let u be k(0). Suppose 0 = -20*v - u*v + 25