uppose -2*s + 2*u + 334 = -326, 0 = -d*s - u + t. Is s composite?
False
Let o(b) = -52488*b**3 + 4*b**2 - 4*b - 7. Is o(-1) prime?
True
Suppose 8*t - 8345 + 2049 = 0. Suppose -z + t = 207. Suppose -2*m = -2*b + z, 3*b - m = 109 + 755. Is b prime?
False
Let z(m) = 37*m**2 + 3*m + 11. Let a(i) = -3*i + 5. Let p be a(5). Let u be z(p). Suppose -y + u = 8*y. Is y a prime number?
True
Suppose c + 2*j = 5 + 8, -3*c + 2*j = -15. Let q(s) be the first derivative of s**3/3 + 7*s**2/2 + 20*s + 24. Is q(c) a composite number?
True
Let f = 24226 + 145707. Is f composite?
False
Let o be -4*1 - 0/25. Suppose 5*z = 3*b + 78, 0*z + 2*z = 0. Is o/b - (-196425)/117 a composite number?
True
Suppose 123*d - 120*d = 0. Suppose d = 408*s - 404*s - 376. Is s prime?
False
Suppose -w + 22220 = -4*w + 5*a, 3*w - 4*a = -22219. Let i = w + 4259. Is 39/(-91) - (i/7 - 2) a composite number?
True
Let k(s) = -25*s - 22. Let u(x) = -x**2 - 11*x - 7. Let n be u(-11). Let m be k(n). Suppose 2*o + g - 288 = 0, 5*o - 4*g - m = 4*o. Is o prime?
False
Suppose -4*q + 2*z = -528, 5*q - z - 133 = 4*q. Let i = q + -69. Let j = i + -9. Is j a composite number?
False
Suppose 4*r - 7 - 13 = 0. Suppose 4*d = 2*i + 4, 5*d = -r*i + 31 - 11. Is (-4206 + 9)*i/(-6) prime?
True
Let t(z) = -5*z + 60. Let h be t(12). Suppose h = 33*v - 28*v - 9115. Is v a composite number?
False
Is (-48)/(-128) + (-137202669)/(-72) a prime number?
True
Let f(z) = 9952*z + 2531. Is f(18) a composite number?
False
Suppose -25*a - 53*a + 198111025 = 97*a. Is a prime?
True
Let a = 23 + -21. Let l be (a + -24)*(-2 + -2). Let v = l + 69. Is v prime?
True
Suppose 15 = 5*z, -2*z + 17 = o + 3*z. Suppose 4*j - 3*j = -o. Is (-1)/(-2)*1734 - j a prime number?
False
Suppose m = k - m + 20, -17 = k + m. Is 18428 + 9*(-6)/k composite?
True
Suppose 10*a - 2280 - 5971 = 9*a. Is a a composite number?
True
Suppose 9*t - 34849 - 78965 = 0. Is t composite?
True
Suppose 0 = r + 3*q - 12, -2*q + 0*q + 9 = r. Suppose -3*f + f + 14 = 4*g, -5*g = 2*f - 16. Suppose 5*y - r*i = 2756, g*y - 5*i - 757 = 334. Is y composite?
True
Suppose 20*m = 22*m, 0 = h + 2*m - 8329. Is h a prime number?
True
Let w(p) = 15*p**3 - 6*p**2 - 5*p + 33. Let d be w(3). Is 48612/10 + 8 + d/(-45) a prime number?
True
Suppose -7*c + 10*c = 162. Suppose c*w - 22510 = 52*w. Is w a composite number?
True
Let d be (96/(-40))/((-6)/75). Suppose 4*h = -6 + d. Is h/(-18) + (-1168)/(-3) prime?
True
Let y = 1157 + 61602. Is y composite?
True
Let x(f) be the third derivative of -313*f**7/5040 - 29*f**6/720 - 23*f**5/60 - 11*f**2. Let g(z) be the third derivative of x(z). Is g(-10) a composite number?
True
Let b(a) = 656*a**2 - 9*a - 5. Let r be b(23). Suppose 23*y + r = 35*y. Is y composite?
False
Let d(m) = 115*m - 38. Let j be d(5). Suppose 2*f - 2311 = -j. Is f a composite number?
False
Let j be 62*2/(-4) + 2. Let f = j + 27. Let i(p) = -75*p - 7. Is i(f) prime?
False
Let o = 28 + -30. Is o*5/(-10)*379 composite?
False
Is 7597 + (13 - (-3)/(-1)) prime?
True
Suppose -192*d + 205*d = 52. Suppose -5*v - 3*y + 2866 = -29466, v + d*y = 6463. Is v a composite number?
True
Suppose 2*j - 9*j = -4011. Suppose 7*n + j = -1870. Let y = -56 - n. Is y composite?
False
Suppose 0 = -3*w + 5*p + 2734, -8*p + 4*p - 3656 = -4*w. Let x = -3133 + w. Let v = x - -3576. Is v composite?
False
Let d(f) = -f**3 + 37*f**2 + 43*f + 82. Is d(25) prime?
False
Let j = 4736 - -5343. Is j composite?
False
Suppose -g = 4*j - 6, -3*g - 3*j = -4*g - 1. Suppose g*z - 6287 = -0*z - q, z = -3*q + 3131. Suppose -s = -4, s = -4*c + z - 618. Is c a prime number?
True
Let q(y) = -9*y - 17. Let g be q(-2). Is (-6718)/(-8)*(5 - g) composite?
False
Let k = 721863 - 324116. Is k a prime number?
False
Suppose -62 = -2*a + 5*m, 2*a - 79 + 33 = -3*m. Is (a - -2)*149/4 composite?
True
Suppose 33*y = -5*t + 31*y + 430795, -2*t + 4*y + 172342 = 0. Is t a composite number?
False
Suppose -800*a + 819*a - 1952117 = 0. Is a composite?
True
Suppose t = -3*b + 3654, 2*t + 5*b - 3660 = t. Suppose -2*c = -t - 2513. Is c a composite number?
False
Is 364795692/(-1602)*6/(-8)*2 a composite number?
False
Is (-10 + 6 - -5)*(-4 + 12291090/10) prime?
False
Suppose 2*g + c = 2*c + 15, -5*c = -4*g + 15. Suppose 0 = g*s - 15*s + 9725. Is s prime?
False
Let c(o) = 59*o**2 - 17*o - 12. Let x be c(-8). Suppose t - x = 1936. Suppose -3*q = -t + 1243. Is q prime?
True
Let g(i) = 5*i**2 - 48*i + 76. Let h(c) = -4*c**2 + 48*c - 78. Let a(n) = 3*g(n) + 4*h(n). Is a(25) a composite number?
False
Let c(n) = -5*n**3 - 5*n**2 + 2*n - 10. Let z(i) = -i**3. Let q(o) = c(o) - 6*z(o). Let s be q(5). Let w(t) = -t + 57. Is w(s) composite?
True
Suppose 15 = 8*d - 17. Suppose 0 = -t + 4, -4*q - d*t + 71336 = -t. Is q a prime number?
False
Let k(q) = -q**3 + 27*q**2 - 22*q + 21. Let t be k(18). Suppose -l - 3*l + 6 = 5*v, -l + 8 = -2*v. Suppose -l*r - 485 = -t. Is r a prime number?
False
Let j = 700 + 480. Let x = 2589 - j. Is x a prime number?
True
Let m = -318 + 245. Let f = 2594 + m. Is f a prime number?
True
Let b be (4/(-10) + 1)*195/39. Suppose b*k = 2*i - 12157, i - 10051 = 3*k - 3965. Is i prime?
False
Suppose -4*m = -4*u - 2*m - 10, -2*u - 3*m = -15. Suppose -9*d + 3922 + 1757 = u. Is d a prime number?
True
Suppose -7*l - 47 = b - 2*l, 94 = -2*b + 2*l. Let u = b - -52. Is (-2)/10 + 2806/u + 4 a composite number?
True
Let y(z) = z**3 - 12*z**2 + 3*z - 19. Suppose 0 = 2*v - 0*q + 3*q + 11, -v = 2*q + 8. Suppose -3 = -v*j + 27. Is y(j) a composite number?
False
Let c(w) = w**3 + w**2 - 10*w - 16. Let y be c(-2). Suppose -3*a - h + 17749 = y, 0 = -3*a - 0*a + h + 17753. Is a composite?
True
Suppose -3*j + 6*j + 6 = 0. Let g be (-2 - -9) + j + -2. Suppose 0 = 5*l - 4*n - 609 - 878, -293 = -l + g*n. Is l a composite number?
True
Is 3/(-12) + 3793060/80 prime?
False
Let f(y) = -2*y**2 + 49*y - 74. Let z be f(23). Is 4/z - ((-73436)/20 - 12) prime?
False
Let j(v) = v**3 - 37*v**2 + 54*v - 54. Let u be j(37). Let n = 6983 - u. Is n a composite number?
False
Suppose 0 = -6*g + 10*g - 9716. Suppose -5*w = -3886 - g. Suppose 3*m + 2*m - 2098 = -z, 3*m = -2*z + w. Is m a prime number?
True
Let x(z) = -5*z**3 + 32*z + 6*z**3 + 11 - 44*z + 14*z**2. Is x(-12) prime?
True
Let w(s) = -14*s**3 + 23*s**2 - 26*s - 111. Is w(-14) prime?
True
Let h = 2 + 1. Let r = 3936 + -3934. Suppose h*j + 6*x - 1173 = r*x, 0 = -2*j - x + 787. Is j a composite number?
True
Let z(x) = 75671*x**2 + 27*x - 9. Is z(1) a prime number?
True
Suppose -2605 = 4*c + c + 2*w, 5*w - 1594 = 3*c. Let f be c/(-8)*2 + (-14)/(-56). Let d = f - -1950. Is d a prime number?
True
Is (33/9 + -4)/(6/(-9250182)) prime?
True
Let h(k) = -19*k**3 + 8*k**2 + 21*k + 829. Is h(-20) prime?
True
Is (-2645906)/(-18) + 3/(5 + (-68)/(-8)) a prime number?
False
Let k = -63 + 65. Let v be (-74)/(-9) + k - (-2)/(-9). Is (9376/(-80))/((-4)/v) a composite number?
False
Let u(c) = 448*c**2 + 15*c - 96. Let z be (-18)/(-2) + -6 + 2. Is u(z) a prime number?
False
Suppose -4*a + 5*q = 60, -6*q + 7*q = 4. Let g be 34632/30 - (-4)/a. Suppose -g + 3670 = 4*i. Is i a composite number?
True
Suppose 2*v - 15*l - 2799680 = -10*l, 4*v - 5599348 = 4*l. Is v composite?
True
Let p = 3173 + -6410. Let g = p - -6346. Is g a prime number?
True
Suppose -5*z + i = -715270, -2*z + 105418 = 5*i - 180663. Is z a composite number?
False
Let f be (-27)/45 + 153/5. Suppose 5*n - 5*l = f, -19 = 3*n + 5*l - 69. Suppose 3*h - 8*h = n, 5*s - h = 2337. Is s prime?
True
Let z = -126 - -126. Suppose z = 12*p + 6*p - 27954. Is p a prime number?
True
Suppose -2*v + 6 = 2*u, -4*v - 2*u - 4 = -6*u. Let t(j) = 3023*j - 6. Is t(v) prime?
False
Suppose 14*f + 9832 = 67764. Is f prime?
False
Is 97378481/553 - 10/1 - (-4)/(-14) prime?
True
Let v = 5 - -9. Let t = v - 14. Suppose 0 = -2*q - t*j - 3*j + 2686, 2*j = 8. Is q composite?
True
Suppose 132 = 26*y - 24. Suppose 0 = 3*u - 3*h - 21, h + 2*h = 3. Suppose u*c = y*c + 1402. Is c composite?
False
Let c(a) = 2*a**3 - 6*a**2 + 5*a + 2. Suppose 0 = -3*o + 2*o + 6. Suppose -o*p + 5 = -5*p. Is c(p) composite?
False
Let b(g) be the first derivative of 3*g**3 + 3*g**2/2 + 79*g - 50. Is b(-7) a composite number?
False
Let p be 0 + 0 - 93*-2. Let t be (p - (-30)/6)/(1/3). Suppose 0 = 5*m + 4*n - 955, 3*m - 3*n = -2*n + t.