 4*o - 106757. Is o prime?
False
Let j be ((-26)/10 - -3)/(3/27645). Let w = -2560 + j. Is w a prime number?
False
Suppose -547*r - 35794666 = -304891863. Is r composite?
False
Suppose 13*k - 11*k = 4*m - 360, -3*m = -k - 271. Suppose 51*t - m*t = -1393640. Is t prime?
True
Suppose -f + 0*f - 8*f = 0. Suppose -5*b - 15 = f, 5*j + 2*b = b + 4792. Suppose -g + j = -3*c, -5*g - 76 = -3*c - 4847. Is g a prime number?
True
Let v(g) = -503*g - 46. Suppose 0 = -2*m + 4*t - 38, 3*t + t = -2*m - 22. Is v(m) prime?
True
Let m(i) = -i**3 - 5*i**2 - 5*i - 20. Let v be m(-5). Suppose 0 = 10*t - v*t. Suppose 4*x - 563 = -4*z - 51, z + 2*x - 127 = t. Is z composite?
True
Let x be 22/((-30)/(-9) - 4). Let d = x - -35. Suppose 3*j - 865 = -d*q + 124, 2*j - 1496 = -3*q. Is q composite?
True
Let v = -193 + 193. Let w(y) = y**3 + y + 2747. Is w(v) a prime number?
False
Let m be 11/((2/78)/(1/3)). Let w = -274 + m. Let j = 184 + w. Is j a composite number?
False
Let t(l) = 4*l - 23. Let n be t(12). Suppose 4*f - n = -i, 0*i + 3*i = -2*f + 25. Suppose -c = j - 484, 3*c - f*j = -192 + 1652. Is c prime?
False
Suppose -2*a - 10*a + 96 = 0. Let t(z) = -48*z - a - 254*z + 62*z - 1. Is t(-5) composite?
True
Let y(q) = q**3 - 9*q**2 - 3*q + 24. Let j be y(9). Let u be (485/(-20))/((-39)/(-12) + j). Let p = u - -206. Is p a prime number?
True
Suppose -v + 134894 = 40*v - 1429133. Is v prime?
False
Let o(k) = -28*k - 25. Let i = 37 + -37. Let j(h) = h**3 + h**2 - 15. Let y be j(i). Is o(y) a prime number?
False
Let q(m) = -m. Let w(b) = -23*b - 13. Let p(u) = -5*q(u) + w(u). Let i(y) = 2*y**3 + 21*y**2 - 15*y - 50. Let z be i(-11). Is p(z) a prime number?
False
Let y(k) = -k**3 - 10*k**2 - 18*k - 14. Let m be y(-8). Suppose 4*h = -m*r + 4658, 5861 = 5*r + 3*h - 5798. Is r a prime number?
True
Let h = 15937 + 1449. Is h a composite number?
True
Suppose -4*b + 8 = 24, 3*z - 4*b = 1201. Let u = -878 + z. Is -2*(2/(4/u) - 4) composite?
False
Suppose 5443*s = 2*m + 5445*s - 8392, -12578 = -3*m - 5*s. Is m composite?
False
Suppose 2*z - 24521 - 82578 = -5*s, -4*s + 5*z = -85699. Is s a prime number?
False
Suppose -2*m + 4*j + j + 24 = 0, -m + 12 = -4*j. Suppose 0*g - 3*g + m = 0. Suppose -4*v + 284 = -2*b - 306, 605 = g*v + 3*b. Is v a composite number?
False
Let c be (-38)/(-133) + 4/(56/402). Let j be 201/(-1) - (-116)/c. Let h = -34 - j. Is h composite?
False
Let t(w) = -2*w**3 - 9*w**2 + 10*w - 28. Let f be t(6). Let z = 41163 - f. Is z a prime number?
True
Let r be (1289/(-2))/(1/(-4)). Suppose 4*q = -1846 - 1478. Let a = q + r. Is a a composite number?
False
Suppose 2*g - 443*a - 846342 = -444*a, 3*a = -4*g + 1692680. Is g composite?
False
Suppose 0 = 45*p - 38*p + 13*p - 3037820. Is p prime?
False
Let h be (((-17334)/(-4))/(-3))/((-7)/(-14)). Let r = -368 - h. Is r a composite number?
False
Let o(r) = 448*r**3 + 7*r**2 + 8*r - 136. Is o(9) composite?
True
Let o be 6 + -20380 + (-12)/(-6). Let c = -13549 - o. Is c a prime number?
True
Is (9 - 1) + (-5 - (-4060264)/13) a composite number?
False
Let i(j) = j**2 + 4*j - 21. Let o be i(-7). Suppose -14 = 3*l - 5*c, -l + o*c - 2 = -c. Is 244/(-8)*-2 - (l - -1) a composite number?
True
Let w(p) be the third derivative of p**8/1680 + p**7/420 + p**6/180 - p**5/24 - p**4/4 - 37*p**2. Let q(k) be the second derivative of w(k). Is q(8) prime?
True
Is 6/(-1 - 1) + (-3234 - -1515386) composite?
True
Let k(m) be the first derivative of 16*m**3/3 - 8*m**2 + 29*m - 100. Is k(9) prime?
True
Suppose 36*n = 48190 + 207806. Let j = n - 2564. Is j composite?
False
Let b(n) = -n**3 - 30*n**2 + 282*n + 18. Is b(-47) composite?
False
Is (2/(-10))/((-253)/85927655) prime?
True
Suppose -37*y + 40980214 + 9003981 = 36*y. Is y a prime number?
False
Is 360533 + 104/13 - 0 prime?
True
Let w(p) = 15*p - 31. Let i(t) = -t**3 + 3*t**2 + 2*t - 2. Let l be i(3). Suppose m = l*m - 33. Is w(m) composite?
True
Let t be ((-19146)/4)/(39/(-858)). Suppose 5*q + 5*x = 9*x + t, -4*x - 21067 = -q. Is q a composite number?
False
Suppose 4*z + 248561 = l, 7*l - 11*l = -z - 994229. Is l a composite number?
True
Let z(j) = 101*j**3 - 3*j**2 + 3*j. Let m = -226 + 228. Is z(m) a composite number?
True
Let d be (2*1/(-4))/((-2)/56). Let c(m) = 66*m + 19. Is c(d) a composite number?
True
Let b = 13699 - 8108. Suppose 7*m + b = 15048. Is m a composite number?
True
Suppose 4*t + 4*k - 9*k + 2011 = 0, t + 500 = 4*k. Let d = -2527 - t. Let n = -1185 - d. Is n prime?
False
Let d be 114/95*(3 - -2). Suppose -s = r - 7814, -s = 4*r - d*r - 7823. Is s prime?
True
Let f(i) = -2 + 5 + 0 - 1601*i. Let j(k) = k**2 + 5*k - 2. Let y be j(0). Is f(y) a prime number?
False
Is -2 + 8/5 + (-1973420)/(-50) + 9 composite?
True
Let b = 34 + -29. Suppose 5*u + 5 - 2 = 3*a, b*u = 0. Is (-4 + 2 - a) + 1370 prime?
True
Is (-19)/(-57)*1089951*1 a composite number?
False
Let u = 7213 + -2515. Let w = u + -2539. Is w composite?
True
Let l be -3 + 3/9 - (-2)/3. Let g be (-3 - -3) + (0 - -81). Let y = l + g. Is y composite?
False
Let j(i) = 1333*i**3 - 2*i**2 - 74*i - 73. Is j(10) composite?
False
Let r(p) = -p**2 - 3*p + 2. Let n be r(-5). Let k be ((-28)/n + -4)*(1 + -3). Is ((-9207)/(-15))/k + (-4)/(-20) composite?
True
Suppose 0 = 4*p - 5*i - 18232, 0*i = 2*p - i - 9110. Suppose 0 = -4*n + p + 25907. Is n a composite number?
True
Let m(i) = -56*i**2 + 9*i + 19. Let x be m(-5). Let s be x/(-6) + 0 + 7/21. Let z = s + -119. Is z a composite number?
True
Suppose 0 = -9*y + 33 + 12. Suppose o = y*k - 3*o - 4513, -3*o = 3*k - 2724. Is k prime?
False
Is 1/(-5) - ((-1479946)/780 + (-2)/(-12)) prime?
False
Let r(u) = 110*u + 3111. Is r(88) a composite number?
False
Let f(k) = k**3 + 7*k**2 - 45*k - 133. Is f(30) a prime number?
True
Let s = 288 + -286. Suppose 0 = -s*g + 7*g - 49475. Is g a prime number?
False
Suppose 42*a - 2963523 = 1736235. Is a composite?
True
Let q be (8 + 1)/(-2 + (-426)/(-216)). Let w = 6949 - q. Is w a composite number?
True
Let l(z) = -55*z**3 + 18*z**2 + 47*z + 521. Is l(-22) a composite number?
False
Let g be (-1826762)/(-182) - (-2)/(-13). Suppose -g = -20*s + 19*s. Is s a prime number?
True
Let t = -4 + 6. Suppose -3*q - 2*a = 4 - 12, -6*a - 28 = -4*q. Suppose -m = -c + t*m + 325, -5*m = -q*c + 1328. Is c composite?
False
Let x(l) = -2*l**3 + 11*l**2 - 8*l - 10. Let k be x(-5). Let i = 886 - k. Is i composite?
False
Let v = 122 + -14. Is 457*3*180/v prime?
False
Suppose 2*c + 5*t = 20, 0*c + 4 = -3*c + t. Suppose 3*x = -f - 2*x - 4829, c = -2*x - 10. Is ((-8)/16)/(2/f) a composite number?
False
Suppose -17 = -5*f - 7. Suppose f*h + 3*a = -0*h + 1494, -2241 = -3*h - a. Suppose -5*g - 217 = -h. Is g prime?
False
Let u(b) = -316*b - 27. Let l(g) = g**3 - 8*g**2 + 10*g - 3. Let z be l(4). Let j be (-99)/6*-2*9/z. Is u(j) composite?
False
Let v = 115782 + 586399. Is v prime?
False
Let o(n) = 5*n - 3. Let j be o(-1). Let c be 4/j*-2 + 3 + 0. Suppose 202 = c*v - 370. Is v composite?
True
Let u(p) = -p**2 - 11*p - 6. Suppose -s + 5*d = -8, 27 = -3*s - 2*d - 0*d. Let h be u(s). Suppose 0 = 23*f - h*f - 1937. Is f prime?
False
Suppose 32483 = -14*y - 151701. Let u = -8933 - y. Is u a prime number?
False
Suppose -4*p - p + 2*a + 416 = 0, -5*p - a + 422 = 0. Let c be 218/11 - (p/22 + -4). Is (3756/c - 4)*5 composite?
False
Is 3/5*(-21820)/4*-1 a prime number?
False
Let y be (-228)/(((-2)/(-12))/((-3)/1)). Let t = y - -4837. Is t prime?
True
Suppose -66*r - 32 = -62*r. Let b(s) be the third derivative of 19*s**5/60 + 3*s**4/4 + 5*s**3/2 + 9*s**2. Is b(r) a composite number?
False
Let w be (-30)/(-10) - (0 - 88690 - 0). Suppose -7*h - w = -18*h. Is h prime?
False
Suppose -4*k + 0*k - 32 = -2*z, z - 14 = k. Let a(t) = -t**2 + 10*t + 28. Let d be a(z). Suppose -d*h + 1347 = -569. Is h prime?
True
Suppose -120*z = -70*z - 2274668 - 14734682. Is z composite?
True
Let i = 391 - 5056. Let m = 9926 + i. Is m prime?
True
Suppose 0 = -6*p + 10*p - 20656. Suppose 2*a - 3*l = p, -4*l + 1020 = -2*a + 6180. Let h = 3850 - a. Is h composite?
True
Let j(f) = -1 + 1 + 586*f**3 + f - 3*f + f**2 + 2. Let q be j(1). Suppose 12*n - q = 11*n. Is n composite?
False
Is (-2)/8 + (-699366)/(-24) + -3 prime?
True
Suppose 0 = -149*p + 183*p - 9745661 + 162387. Is p a prime number?
False
Let m(c) = -8*c**3 + 9*c**