s u(1) a prime number?
True
Suppose -2*g + 335449 = 5*y - 163582, 5*y - 2*g = 499019. Is y a composite number?
True
Suppose -3*h - 43 = -4*p, -7*p + 54 = -2*p - 4*h. Suppose -222 = p*d - 36812. Is d composite?
False
Let p be -4*(-6)/(-8) + (-8)/(-1). Suppose -s + p*s = -3*z + 19527, s = 0. Is z composite?
True
Let r(q) = -q + 1. Let b(n) = 128*n + 23. Let o(z) = -b(z) + 4*r(z). Let f(j) = 198*j + 28. Let y(i) = -5*f(i) - 7*o(i). Is y(-4) a composite number?
False
Let y(u) = -u + 5. Let o be y(5). Suppose o = -0*i - i + 4*d - 5, -d + 2 = 0. Suppose 28 = i*b - 17. Is b composite?
True
Let w(k) = 5*k**3 + k**2 - 2*k. Let c be w(1). Suppose 4*o = c*a - 54271 + 20435, -4*a = -o - 33842. Is a a prime number?
True
Is 2*2 + (-47605878)/(-42) - 82/287 a prime number?
True
Is (126/(-36))/(1/(-1954)) prime?
False
Let o(s) = -518*s - 3. Let c be o(-1). Let g = c - -4. Is g prime?
False
Suppose -8*n = -6*n + 2042. Let u = 2406 + n. Is u prime?
False
Let a(o) = -474*o**3 + 2*o**2 - 4*o - 1. Let k be -7 + (-3 - (-10 + 3)). Is a(k) prime?
False
Let i be 4/(-8) - -5 - (-4)/(-8). Suppose -2*d + 27714 = -0*j + i*j, 4*j + d - 27711 = 0. Is j a composite number?
True
Let b(j) = 834*j**2 + 3*j - 8. Let x(l) = -2*l**3 + 2*l**2 + 5*l + 4. Let u be x(-1). Is b(u) a prime number?
True
Let s = 192133 - 71288. Is s prime?
False
Suppose -4*n = -19*a + 20*a - 1677, -4*n + 8305 = 5*a. Is a composite?
False
Let l = -294 - -297. Suppose 3*h = 4*m - l*m - 157, -4*m = -4*h - 660. Is m a composite number?
True
Let r = -115 + 115. Is (-1 + r)/((-1)/7291) prime?
False
Let i(z) = -244*z**3 + 4*z**2 - 10*z - 6. Let h be i(-4). Let w = h + 6817. Is w prime?
True
Suppose -2*p + p = -3*p. Suppose 2*h - 12 = -p. Is 2/h + 8140/6 + 4 a composite number?
False
Let p(h) = -40*h**3 + 4*h**2 - 8*h + 7. Suppose -28*m = -27*m + 5. Is p(m) a prime number?
True
Suppose -15*b = 57*b - 3334824. Is b composite?
True
Let m = -3881 + 353352. Is m a prime number?
True
Is (-152)/342 + (0 - (-3036577)/9) composite?
False
Suppose -665*k + 491*k = -36344598. Is k a composite number?
False
Let u(w) = 694*w**3 + 14*w**2 - 31*w - 30. Is u(3) a composite number?
True
Let a(b) be the third derivative of 977*b**4/12 + 83*b**3/6 + 101*b**2. Is a(4) prime?
False
Suppose 0 = -13*q - 2993 - 11970. Is (-12)/(12/(-4))*q/(-4) a composite number?
False
Suppose -6*w = -3*w - 5*l - 737798, w + l - 245946 = 0. Is w prime?
True
Let s = -110 - -187. Let z(h) = -h**3 + 7*h**2 + 24*h - 87. Let f be z(7). Let b = s + f. Is b a composite number?
True
Suppose 4*k = -x + 9, 3*k = -4*x + 3 - 6. Let j be (2/k - 0) + (-512)/(-24). Suppose 15*b - j*b = -13951. Is b composite?
False
Let t be 4 + (-50150)/(-26) - 4/(-26). Suppose 0 = 4*a + t + 623. Let z = -242 - a. Is z composite?
False
Let g(z) = -6631*z - 6427. Is g(-24) a composite number?
False
Suppose 85*m + 4044915 = 90*m. Suppose b - m = -20*b. Is b a composite number?
True
Let i = 415 - 421. Is i*-2*5531/12 a composite number?
False
Suppose -5*a + 4*h + 15 = -45, 3*a - 49 = 5*h. Let k(y) = y**2 + 5 + 6 + 2*y + 11 - a. Is k(11) a composite number?
False
Let x(u) = 4*u**2 - 3*u**2 - 14*u - 2*u**2. Let s be x(-14). Is (-2 + s)*(-335)/10 composite?
False
Suppose -256*x + 287*x - 3086081 = 0. Is x composite?
False
Let j = -529 - -531. Is (16963/2)/((-21)/14 + j) a prime number?
True
Let c = 26133 - 13894. Is c composite?
False
Let j be 1/(((-64)/104)/(-8)). Suppose -j*x + 275387 = -77940. Is x prime?
True
Let x(k) be the first derivative of -19*k**2/2 + 27*k - 202. Is x(-26) composite?
False
Let i(x) = 59 + 179*x + 1413*x + 91 - 364*x. Is i(11) a prime number?
False
Let m(u) = u**2 + 7*u + 12. Let t be m(-6). Suppose 261 = -7*o + t*o. Let h = o - -446. Is h a prime number?
False
Suppose 38*r + 2 = 39*r. Suppose -r*g = 3*g - 72715. Is g prime?
True
Suppose 2*l - 18*i - 1590894 = -20*i, 3*l = 4*i + 2386355. Is l a prime number?
True
Suppose 17475 = 6*x - 35931. Let r = 17170 - x. Is r a prime number?
True
Suppose 5*x + 14*s = 11*s + 827317, 0 = -x - 5*s + 165481. Is x a prime number?
False
Let p(u) = -5*u**3 - 8*u**2 - 100*u - 2721. Is p(-34) a prime number?
True
Let v(w) = -103*w + 22. Suppose s = -5*s. Let g be (s - (-1 + 0))/(81/(-243)). Is v(g) a prime number?
True
Let y = -2194 + 5311. Let c = -1356 + y. Is c a prime number?
False
Is ((-16550268)/30)/(-7) + (-3 + -3)/(-30) a prime number?
False
Suppose -x + 3*x - 8 = 0. Suppose 2*q = -x*o - 2112, -o + 0*o + 2097 = -2*q. Is -3 - 3/(9/q) a composite number?
False
Let x = 463342 - 283297. Is 16/(-12) - x/(-27) a composite number?
True
Is (-1 + -1)*(11703225/(-238) + (-4)/14) a prime number?
True
Let s(n) = -n**2 - 46*n + 20. Let h be s(-46). Suppose -h*r - 35958 = -26*r. Is r a composite number?
True
Suppose 0 = 3*q - 226 - 113. Let a(x) = 13*x - 28 - q*x**2 + x**3 - 17 + 131*x**2. Is a(-13) composite?
False
Suppose 3*f - 25675 = -4*b + 13132, -12949 = -f + 2*b. Is f a composite number?
False
Suppose -1261401 = -14*c + 1661927 - 695676. Is c a composite number?
True
Let r be (-1332)/2*1896/(-48). Suppose 0 = -696*k + 687*k + r. Is k a prime number?
False
Let j(c) = c**2 - 12*c - 26. Let v be j(14). Is (7 - 12) + (1*1662 - v) a prime number?
False
Let y(a) = 27537*a + 5452. Is y(11) a composite number?
False
Let z(o) = -8*o + 3. Let s(c) = 2*c**2 - 3*c - 3. Let r be s(4). Let p = 16 - r. Is z(p) a composite number?
False
Let r be (18*-44)/2 - -3. Suppose -i + 652 = t, 1785 - 483 = 2*t + i. Let k = t + r. Is k composite?
False
Let t(z) = -z**3 - 61*z**2 + 475*z + 336. Is t(-79) prime?
True
Let f(u) = 2042*u - 16. Let c be f(-1). Let t = 3067 + c. Is t a composite number?
False
Suppose -3*m + 78059 = f, -156064 = -2*f + 75*m - 72*m. Is f a composite number?
False
Suppose 8721 = 4*y - 13*y. Let f = y - -7112. Suppose 0 = -h + 3*s + 1215, 3*s - 5*s + f = 5*h. Is h prime?
False
Suppose -g - 4*h = -482457, 203*h + 15 = 206*h. Is g composite?
False
Let j = 68072 + 80609. Suppose -9*y + 17648 = -j. Is y a composite number?
False
Suppose -3*c - 3*j = -0*c - 222, -2*c = -5*j - 113. Let s = c + -67. Is 12126/18 - -3 - s/(-6) a composite number?
False
Suppose -3*k + 5*k - z = 85325, 7*z + 85319 = 2*k. Is k composite?
True
Let p(j) = 3*j - 64. Let l be p(21). Let z(g) = 632*g**2 + 5*g + 4. Is z(l) a composite number?
False
Let u = 93067 - 49073. Is u composite?
True
Suppose 4*u - 5*a - 16 = 0, u = 6*u + 3*a - 57. Suppose -2*t + 5*b = -24209, -u = 3*b - 0. Is t a prime number?
True
Let a = -4299 + 9767. Suppose -11*s + 5653 = -a. Is s composite?
True
Let x be 2*-1*80/(-10). Suppose x*r - 17*r + 17 = 0. Suppose 14*m = r*m - 1266. Is m a prime number?
False
Suppose 46*s = 47*s + 5*q - 62954, 3*s - 5*q - 188922 = 0. Is s a prime number?
True
Suppose 5*w - 44 = 2*v - 5, 0 = -2*v - 4. Let z(j) = 2*j**3 - 3*j**2 - 18*j + 6. Is z(w) a composite number?
False
Let i(h) = -2*h - 5 + 7*h**2 - 3*h + 2*h - 3*h. Suppose 16*w + 0*w + 256 = 0. Is i(w) prime?
False
Let q(z) = 442*z**2 - 9*z + 6. Let u be 0 - (5 - 6) - 2/(-1). Is q(u) prime?
False
Let d = 942 + 813. Let x(q) = q**3 + 9*q**2 - 36*q + 5. Let t be x(-12). Suppose t*u + d = 5*c, 335 = c - 0*c - 5*u. Is c a prime number?
False
Let z be 83976/(-16) + (-5)/(-2). Let l = 5055 - z. Is l a composite number?
False
Let q(z) = -8710*z - 1069. Is q(-35) composite?
False
Let u be -167*(-152)/10 - 4/10. Suppose -3*y + 0*y = u. Let p = 1825 + y. Is p composite?
True
Suppose 3 = -y, -242 = -3*c + 4*c + 3*y. Suppose 1533 = -2*f - 5*w, 1234 + 1082 = -3*f - 2*w. Let p = c - f. Is p a prime number?
True
Let p be (-9097)/(-165) + (-4)/30. Suppose -c - p = -1123. Suppose 8*h - 812 = c. Is h composite?
True
Suppose 3*f + 4 = 4*f. Suppose z = -0*z + 4*q + 48872, -f*z - 2*q = -195560. Is 1/5 + z/60 a prime number?
False
Let t = -19663 + 37544. Is t a composite number?
False
Is -2 + 1 - (-19)/(152/3729952) a prime number?
True
Let n = 23684 - -7933. Suppose -7*a + n + 10502 = 0. Is a a composite number?
True
Suppose c - 4*b + 2150 = 0, 4*b = -c + b - 2150. Let q = 5421 + c. Is q prime?
True
Let z(q) = 35*q**2 + 22*q + 1141. Is z(74) prime?
False
Suppose -12*o - 37*o + 3577 = 0. Let x = 77 - 112. Let p = o + x. Is p a prime number?
False
Let b(w) = 15*w**3 + 2*w**2 - 16*w + 1. Is b(14) a prime number?
False
Let c = -34350