 Is x(s) prime?
False
Is 148394064/477 - 1/(-3 - 0) a prime number?
True
Let q(c) = 85757*c**3 + 6*c**2 - 20*c + 16. Is q(1) a prime number?
False
Suppose -1124 = w - 4376. Suppose -w = 33*k - 63279. Is k a prime number?
False
Let q = -632690 + 1055097. Is q composite?
False
Suppose -30*y - 5 = 18*y - 53*y. Let a be (4 - 2)/(-2) - 0. Is 0 + (2105 - y) + a composite?
True
Let v = 83333 + 1296. Is v a composite number?
False
Suppose 3*x - 4*v = 530939, 4*x = 16*v - 20*v + 707900. Is x prime?
True
Let s(q) = 111*q - 14*q + 272*q + 67. Is s(22) composite?
True
Let y(q) = q**3 + 6*q**2 + q + 8. Let p(c) = c - 16. Let j be p(10). Let v be y(j). Suppose 0 = 2*o + v*h - 304, 2*o + h + 3*h = 294. Is o a prime number?
True
Suppose -2 = -3*r + 5*r - 3*o, -5*o = -10. Suppose j - r*y - 1711 = 0, j + 0*y - 5*y = 1714. Is j a composite number?
False
Let j(z) = -85*z + 4. Let f = -36 - -76. Suppose 5*q = -4*r - 11, 0*r + 5*r + q + f = 0. Is j(r) prime?
True
Let f = 128390 + -36369. Is f composite?
True
Suppose 2*k = -5*i + 23, k - 4*i + 2*i + 11 = 0. Let b be (k/(-2))/((-18)/(-2844)). Suppose 80*h = b*h + 879. Is h a composite number?
True
Let w(p) = -p**3 - 4*p**2 - 5*p + 4. Let x be w(-3). Suppose 0 = x*r - 5*r - 110. Is r a composite number?
True
Suppose 0 = -2*g - 6*w + 4*w + 109898, -3*w + 219800 = 4*g. Is g prime?
False
Let s = -6405 - -14486. Is s a prime number?
True
Let m(o) = -1573*o - 161. Let s(q) = q**3 + 37*q**2 - 79*q - 49. Let u be s(-39). Is m(u) a composite number?
False
Suppose -4*c + 236 = w, 3*c + 637 = -4*w + 1594. Let l = w + -82. Is l a composite number?
True
Suppose -16647 = -29*u + 26*u. Is u prime?
False
Let l be 8 - (-1 + 5) - (-4)/(-2). Suppose -3434 = -l*i + 3*i + 4*u, 4*i = -3*u - 13684. Is i/4*-1*2 prime?
True
Let h(y) = 6*y + 24. Let b be h(-4). Suppose -3*f + w + 72815 = b, -2*f + 48532 = 6*w - w. Is f a composite number?
True
Let i(j) = 9*j + 120. Let n be i(-15). Let p(l) = -3*l**3 - 19*l**2 + 19*l - 8. Is p(n) prime?
True
Let o(m) = -5*m - 129. Let l be o(-26). Is (-3*18633/(-9))/l a prime number?
True
Let i(n) be the second derivative of 7*n**4/12 + 2*n**3/3 + 2*n**2 + 52*n. Is i(-11) a prime number?
False
Let f(z) = -z**2 + z + 25. Let v be f(5). Suppose -683 - 1932 = -v*w. Is w a composite number?
False
Let f(u) = 5*u**2 + 8*u + 13. Suppose 5*v + 8 = 3*d + 4, v + 36 = 5*d. Is f(d) prime?
True
Let f = -83 + 85. Suppose -5*z + 1424 = c, -5*c - 4233 = -8*c - f*z. Is c composite?
False
Suppose -3349 + 551 = 2*j. Let s be 9/(-8*9/(-16224)). Let r = s + j. Is r composite?
True
Let s = 3516 + 17833. Is s prime?
False
Suppose -15*g - 686 = -g. Is (-7)/g - (98446/(-14) - -1) composite?
True
Suppose -2*j = 4*x + 552, 690 = -5*x + j - 5*j. Is (2734/8)/(x/48 + 3) composite?
True
Suppose 5*f + 50 = -j, 0 = f + 1 + 4. Let y(c) = -c**2 - 26*c - 31. Let r be y(j). Let p(x) = -x**3 - 7*x**2 - 19*x - 4. Is p(r) prime?
False
Suppose 3*h - 3*t = 12, 5*h - 36 + 15 = 4*t. Suppose y = b - 6405, -h*b + 2*y = -y - 32017. Let w = b + -3972. Is w prime?
False
Let u = 27628 + -15897. Is u a prime number?
True
Let o(v) = 52*v**2 - 72*v - 101. Is o(-34) a composite number?
False
Let g(l) = 495479*l**2 - 124*l - 2. Is g(1) a prime number?
False
Let m(v) = v**2 - 4*v - 5. Let s be m(-2). Suppose -9*o + 10102 = -s*o. Is o a composite number?
False
Suppose -3*a = 15 - 27. Suppose -5*l + 5291 - 17516 = -g, a*g + 5*l = 48800. Is g composite?
True
Let j = 1529 - -12248. Is j + (-8 - -8)/(-8) a composite number?
True
Let f(g) = 359*g + 567. Is f(50) a prime number?
True
Suppose 2*z = -3*z + 4*z. Suppose z = 3*s + n - 3, 7*n - 2*n - 15 = 4*s. Suppose 4*c + 5*h - 1999 = s, 5*h - 627 + 2636 = 4*c. Is c a composite number?
True
Suppose -4*p = -2*g + 331104 + 149642, -g = 2*p - 240369. Suppose 20*j - 59009 = g. Is j prime?
True
Let r = -160484 - -488169. Is r a prime number?
False
Suppose 55*g + 580 = 60*g. Let r = -110 + g. Suppose r*q - 4163 = 4003. Is q prime?
True
Suppose -4*t = -14 + 14. Suppose 5*p - 15 + 10 = t. Is (p + -3)*((-2325)/6)/5 composite?
True
Let x be 260/104 - (1 - (-652425)/(-2)). Suppose -27*z - x = -921915. Is z a prime number?
True
Suppose 2*b = -6, 9*b = -5*q + 4*b + 145. Is q/(-208) + (-74145)/(-39) a prime number?
True
Let x(n) = 39*n + 50. Let p be x(3). Is (p/(-2))/(1/(-2)) a composite number?
False
Let z be -20*((0 - -1) + 108/(-48)). Suppose 3*g = 2*g - 5*m + z, -2*g - 5*m = -30. Suppose -g*w + 2*u - u + 291 = 0, 2*u = -3*w + 185. Is w prime?
True
Suppose 25 = 5*p + 5*q, -39 = -p - 5*q - 14. Suppose -3*d + p*w + w + 1942 = 0, 5*d = -4*w + 3231. Is d a composite number?
False
Let u(j) = -4*j**3 - 9*j**2 + 58*j + 8. Let x = -32 - -19. Is u(x) composite?
False
Let t(y) = -14431*y - 5225. Is t(-22) composite?
True
Let j be (-1)/((-1)/4)*(-11053)/(-28). Suppose y = 3*b + j, -5*y + 0*b + 7939 = -4*b. Is y prime?
False
Let r(z) = 3*z**3 + 3*z**2 - 68*z + 331. Is r(25) a prime number?
True
Let j(l) = 2639*l**2 - 6*l - 1. Let f(q) = -7916*q**2 + 17*q + 3. Let s(c) = -6*f(c) - 17*j(c). Is s(-2) a composite number?
False
Let b(g) = 3*g**3 - g**2 + 23*g - 33. Suppose -5*c + 3*c + 26 = 5*d, 2*c + 3*d - 22 = 0. Is b(c) a composite number?
True
Suppose 21*o - 12*o = -o + 517490. Is o a prime number?
True
Suppose -42548 = -6*d + 2*d. Suppose 3*z + 3*t - 15963 = t, -d = -2*z - 3*t. Is z a composite number?
False
Let h be (9/(-6) + 0)*(-20)/3. Suppose 3*l - 4*f = -h, -l - 2 = l - 5*f. Is 4*3/l*6153/(-6) a prime number?
False
Let i(l) = -12*l - 68. Let z be i(-8). Is 2/z*7*4358 a prime number?
True
Let k = 16942 - -409. Is k a composite number?
False
Let u(l) = l**2 + 16*l - 20. Let c = 3 - 41. Let f = -21 - c. Is u(f) composite?
False
Let h = -4 - 89. Let r = -88 - h. Suppose -5*a + 3*a = 2*b - 5190, 0 = r*b - 3*a - 13007. Is b a composite number?
True
Let r(z) = 1663*z**2 - 32*z + 230. Let v be r(9). Suppose 57*f = 62*f - v. Is f composite?
True
Suppose -13*u - 4*u + 154248 = -4039. Is u a composite number?
False
Let l = -149 + 178. Let q = l + 1122. Is q prime?
True
Let g = -555014 - -813733. Is g a composite number?
True
Let u(a) = -2*a**3 + 5*a - 6*a**2 - 16*a + a - 1 + 4*a. Is u(-6) prime?
True
Let i(f) = 9*f + 5. Let j be i(6). Suppose -3*h + 14 = -100. Let v = j + h. Is v a prime number?
True
Suppose -2868 = -w - 1651. Is w composite?
False
Let z be (375/(-20) - 2)/((-2)/56). Let j be 3/(-2) + z/(-14). Let c = j - -560. Is c prime?
False
Suppose 10*b - 7*b - 66 = -4*q, -44 = -2*b - 4*q. Suppose 7*y + b*y = 7453. Is y a prime number?
True
Let u be 1*3 - (6 - 740/(-4)). Let v be (-3)/(12/u) + -3 + -2. Suppose a - 2*p - p - v = 0, -5*a = -4*p - 243. Is a a composite number?
True
Let r be (-140 - -3 - -3)*-4. Suppose -r - 525 = -a. Is a a composite number?
False
Let f be (-2)/((3/(-19506))/((-9)/(-18))). Let j = -4635 + f. Is j prime?
True
Suppose -7*k = -10*k + 45. Suppose z - 8 = -2*n, -5*n + 2*n - k = -3*z. Let u(c) = 85*c**2 + 2*c + 7. Is u(z) prime?
True
Let j = 57 - 52. Suppose 2*f = -f + 2*y - 2, 0 = j*f - 3*y + 3. Suppose f = -4*m + 5*q + 2252, -m - m = -q - 1126. Is m prime?
True
Suppose -3*s + 3*q = -1200, -2*s + 3*q + 868 = 73. Let a = 1874 - s. Let r = 3316 - a. Is r a prime number?
True
Is (-6 - -16 - -527857) + -16 a composite number?
False
Suppose -5*a + 100*a - 1181135 = 0. Is a a composite number?
False
Suppose -73*y - 80 = -83*y. Suppose 2*b - y*b = -726. Is b a prime number?
False
Let g be (-2336 - -8)*((-6)/(-4) - 0). Let d be ((-5)/15)/(2/g). Suppose -12*j = -6*j - d. Is j a prime number?
True
Suppose -2*m + 2*f + 34339 = f, -5*m + 85820 = 3*f. Is m a composite number?
False
Let a = 31459 + 51480. Is a a composite number?
False
Let o = 125 + -119. Let n(v) = 57*v**2 + 17*v + 1. Is n(o) a composite number?
True
Let x(o) be the second derivative of o**3/3 - 43*o**2/2 + 6*o. Let m be x(0). Let i = 12 - m. Is i composite?
True
Suppose 262*j - 249*j - 2093 = 0. Let u = j + 286. Is u composite?
True
Suppose -3*u = 4*s - 6616, -7*u - 11042 = -12*u + s. Suppose 4401 = 3*p - u. Is p a prime number?
True
Let y be 7/(21/6) + 0. Suppose a = -4, y*a = 4*b + 4*a - 27988. Suppose -68*i - b = -71*i. Is i composite?
False
Let s(g) = -47085*g - 157. Is s(-3) a composite number?
True
Suppose -4*q - 13 - 3 = 0. Let f be (-5)/((-10)/q)*(-10 -