s - 1024629 = -3*o, -170*s - 1024629 = -173*s - 5*o. Is s a composite number?
False
Let h(j) = -j - 5. Let f be h(-7). Suppose 0*o - 4*p = -5*o - 427, f*p = -5*o - 439. Let d = o - -196. Is d composite?
False
Is 1371992/4*(33/(-6) - -6) composite?
True
Suppose 4*b - 69 = -5*t - 2, 0 = 4*t - 2*b - 38. Suppose -53536 = -t*p + 59335. Is p a prime number?
False
Suppose z - 100 = 6*z. Let u be 15/z + 2/(-8). Is (-140 - u)/(7/(-21)) a composite number?
True
Let t(a) = a**3 + 5*a**2 + 3*a + 2. Let p be t(-5). Let u(i) be the second derivative of -25*i**3/3 - 21*i**2/2 + 8*i - 8. Is u(p) a composite number?
True
Let z(j) = 292*j**2 + 93*j - 21. Is z(-18) composite?
True
Suppose 278*v + 391*v - 501081 = 0. Is v a prime number?
False
Suppose 995 = -4*d - d. Let i = d + 4341. Suppose -5 = 5*x, 5*q = -0*q - 3*x + i. Is q a composite number?
False
Let t = 80 - 143. Let q = -57 - t. Is 3 + (-15)/q + (-23382)/(-12) prime?
True
Let l = 41 - 36. Suppose 1921 = 3*w + l*s, 3*w - 3206 = s - 1261. Is w composite?
False
Let n(t) = 68*t**3 - 18*t**2 - 101*t - 124. Is n(19) a prime number?
True
Is -4*(-2)/12 + 9218420/60 composite?
False
Suppose -54529 = -490*g + 459*g. Is g composite?
False
Let u be (-2)/(-9) + (-2959)/(-9). Let q = -830 + -234. Let i = u - q. Is i composite?
True
Let b(z) = 29*z**2 - 18*z - 13. Let k be ((-10)/(-35))/((-2)/(-7)). Let q be 2 + ((-55)/(-5) - k). Is b(q) a composite number?
False
Suppose 0*w = 5*w - 3*l - 133242, 0 = -2*w - l + 53299. Suppose x + w = 4*x + 3*h, 0 = x - 2*h - 8889. Is x prime?
False
Let n = -53 + 56. Suppose -n*o - 17 = -23. Suppose -4*w - 4*m + 220 = 0, -3*w + o*m = -8*w + 287. Is w prime?
True
Suppose 0 = -16*h + 13*h + 178491. Is h composite?
False
Suppose -165172 = 18*x - 2526250. Is x a prime number?
True
Suppose -2*f + 169*m + 271220 = 167*m, 3*f = -m + 406834. Is f prime?
False
Let k(f) = f**3 + 2*f**2 + 3*f + 1354. Let p be k(0). Let r = 2765 - p. Is r a composite number?
True
Suppose -2*s - 35 = -31. Is s/8 + 907673/52 composite?
True
Let b be (-7130)/6 + -3 + (-77)/(-33). Let u = b + 2266. Is u composite?
True
Suppose 4*u = 22*u - 1669826 + 408152. Is u prime?
False
Suppose 3*u - 8*a - 2328 = -3*a, -3843 = -5*u - 4*a. Let n = u + -257. Is n/((-2)/(-8) + (-28)/(-16)) composite?
False
Suppose 0 = 15*m + 2 - 557. Let j = -37 + m. Suppose 2*y + l - 6825 = j, -2*y + l + 6827 = -0*l. Is y composite?
False
Is 59982 + (-5)/(5/(-11)) a prime number?
False
Let v(m) = 507*m + 220. Let x be v(-32). Is (3 + (-15)/(-5))/((-8)/x) a composite number?
True
Let v = 4329 + -4289. Let r = -634 - -1149. Suppose -v*n = -39*n - r. Is n a composite number?
True
Let p(o) = -250*o + 9. Let n be 24*(-4)/24*-3 + 3. Let v(j) = -j**3 + 16*j**2 - 16*j + 11. Let y be v(n). Is p(y) a prime number?
True
Suppose 4*j - 1301 = 2*m - 19535, -j + 27330 = 3*m. Suppose 2579 = 5*y - m. Suppose -2*t - 5*p = -y, t + 4*p - 1137 = 32. Is t a prime number?
False
Suppose 8118 = -81*y + 84*y. Suppose -t + w = -y, 701 = t + 4*w - 2010. Is t a prime number?
True
Let l(y) = 78*y**3 - 4*y**2 - 8*y - 21. Let k be (-1 + 5)*(-8 + 370/40). Is l(k) a prime number?
False
Let c(y) = 3014*y**2 + 34*y + 1407. Is c(-28) composite?
True
Let l be 14 - (7 - (-2 - -5)). Let b(n) = 32*n**2 + 9*n - 27. Is b(l) composite?
True
Let i(h) = -15*h**3 + 3*h**2 - 8*h + 17. Is i(-30) a prime number?
False
Let u = -636570 + 1196315. Is u a prime number?
False
Let a(v) = 22 - 73*v - 12*v + 4. Suppose 18*s - 115 = -205. Is a(s) prime?
False
Is (-436197)/6*1/(7/42*-3) a prime number?
True
Let u be (0 - 80)*(-99)/4. Let g be (347/(-2))/(-6*(-11)/(-1716)). Let c = g - u. Is c prime?
True
Let l be (-4)/(24/(-39)) + (-1)/(-2). Suppose -6*f = -l*f + 8. Suppose 10*m - f*m + 4837 = 5*r, 2*r = -5*m + 1929. Is r composite?
False
Suppose -4*a = 5*o + 28, 5*a - 17 - 14 = 2*o. Let h = o + 13. Suppose h*z - 9*z + 524 = 0. Is z a prime number?
True
Let i(n) be the first derivative of n**2 - 6*n + 16. Let o be i(2). Is 938 - ((-5 - o) + 0) composite?
False
Let z(c) = -5*c - 1181. Let v(b) = 5*b + 1182. Let i(d) = -4*v(d) - 5*z(d). Is i(0) a prime number?
False
Let l(d) = -19*d - 183. Let x be l(-10). Let c(v) = v**3 + 3*v**2 + 10*v - 39. Is c(x) prime?
True
Let b be -4 - -10322*21/14. Suppose 2*l + 3*z = b, -4*l + 3*l + 7727 = 4*z. Is l a composite number?
True
Let a be (-260)/(-10) - (0 - -2). Let x = a + 36. Suppose 65*u - x*u - 16705 = 0. Is u a composite number?
True
Is (-6927557)/(-52) - ((-5)/10)/(4/6) composite?
True
Suppose 3*a + 11986 = a - 4*o, 2*o = -3*a - 17975. Let j = a + 8998. Is j a composite number?
True
Let i(t) = 58*t**2 - 2*t + 1. Let j be i(1). Let l = -60 + j. Is (-4 + 890)*l/(-6) composite?
False
Let y(v) be the first derivative of 39*v**4/4 - 4*v**3/3 + 3*v**2 - 8*v - 11. Is y(3) composite?
True
Let n = -12542 - -48339. Is n a composite number?
False
Let c = 123234 - 40401. Is c a composite number?
True
Let o(c) = -c**3 + 9*c**2 + 22*c + 5. Let h be o(11). Is (9099/(h - 14))/(0 - 1) prime?
False
Suppose 2*q = 3*u + 25, -2*q + u + 3*u = -30. Suppose -42 + 12 = -q*w. Suppose -w*d + 1743 = -3*d. Is d a composite number?
True
Let v = 9077480 - 6306853. Is v a composite number?
False
Suppose -12*x = -13*x - 30. Is (4*(-12316)/40)/(12/x) a prime number?
True
Suppose 274384 = 4*h + 12*f, h = -4*h - 5*f + 343010. Is h composite?
True
Let l = -72768 + 125881. Is l prime?
True
Let u(g) = g + 16. Let a be u(-15). Let y be a*(2927 + (0 - -1)). Suppose 7*w - y = 355. Is w composite?
True
Let g(m) = 542*m**2 + 41*m - 353. Is g(8) prime?
False
Let m(c) = -4421*c + 1279. Is m(-8) a prime number?
False
Suppose 4*r - 3*r = 0. Suppose k + 5*i = 39, -5*k - 5*i - 939 = -994. Suppose 4*y + 12 = r, -10903 = -5*s - k*y - 650. Is s a prime number?
True
Let l = 2583 - -4433. Suppose -2*m = m + 2*w - l, -2*m + w + 4675 = 0. Suppose 2*h - g = -4*g + 2336, 2*g - m = -2*h. Is h prime?
True
Let l(r) = r**3 + 5*r**2 + 3*r + 21. Let p be l(-5). Let w be 1*3 - 1238/p*3. Let f = w - -1365. Is f a composite number?
True
Suppose 5 = -q + 4. Is 23/(115/27900) - q prime?
True
Let u(o) = -o**3 + 27*o**2 + o - 23. Let s be u(27). Suppose 4*x = -4, j + s*j = -x + 2704. Is j prime?
True
Let f(l) = -32*l**3 - 16*l**2 - 33*l + 13. Is f(-4) composite?
True
Suppose -2*o + 2*b - 66 = 0, b + b = 8. Let r = -27 - o. Suppose r*v - 408 = 226. Is v prime?
True
Let b = 210252 + -144653. Is b prime?
True
Let z = -1539 - -2313. Suppose -4*d = -t + 471, 3*t + 4*d = z + 719. Is t composite?
False
Suppose -i - 3*b = -12929, 2*b = 17*i - 20*i + 38815. Is i a composite number?
False
Let y = -25935 - -370166. Is y a composite number?
False
Suppose 2*u + 61747 - 220733 = 0. Is u prime?
True
Let b(o) = -o + 10. Let m(n) = -n**3 + 9*n**2 + n - 2. Let p be m(9). Let y be b(p). Suppose 4*j - 6692 = y*f, 5*f + 5441 - 2095 = 2*j. Is j prime?
False
Let c be (-335652)/(-48) - 2/(-8). Let y = -3346 + c. Is y composite?
True
Is (-103 + 101)/((-2)/177953) prime?
True
Let t(p) = -271*p + 2. Let c be 114/8*(-48)/(-18). Let f = c - 41. Is t(f) composite?
True
Is (-1485)/(-1155) - 3005238/(-7) composite?
True
Let x be (-28)/(-3)*(-365)/5*3. Let f = x - -9477. Is f a composite number?
False
Suppose -11 = -5*u - 3*a, 4*u - a + 3*a - 8 = 0. Suppose -m - u = -14. Suppose 4*x - 7 = -o, 62 - m = 4*o - 5*x. Is o a prime number?
True
Let o be (-10)/(-35) + (-38)/(-14). Suppose 16 = 5*g + 3*k, k = -2*g + 2 + 4. Suppose 2*n - g*s = -n + 6995, 7003 = o*n + 2*s. Is n prime?
True
Let w(f) = 5*f - 114. Let y be w(22). Is ((-9)/(-36))/(y/(-179936)) a composite number?
True
Suppose -375602 = -2*k + 2*f, 0 = 2*k - 13*f + 8*f - 375608. Is k composite?
True
Let l be (-2 + 16/6)*(-57)/2. Let d = 22 + l. Suppose 2*m + 0*m - 3*q = 125, -d*m - 3*q + 210 = 0. Is m composite?
False
Suppose 2868150 = -140*k + 165*k. Suppose -40*s = -46*s + k. Is s a composite number?
False
Let n(i) = 4018*i**3 - 8*i**2 + 54*i - 133. Is n(4) a composite number?
False
Let n(j) = 1387*j**2 - 179*j - 1631. Is n(-9) a prime number?
True
Is -59635*((-148)/80 + (-45)/(-36)) a composite number?
True
Suppose -3460*k + 3470*k = 1131380. Is k a composite number?
True
Let r = 57 - 30. Let i be 22 + (-4 - (-7)/1). Suppose 638 = -i*s + r*s. Is s prime?
False
Let h be (-12)/6*(-4)/2. Suppose 3*l + 2*n - 5*n 