 5*o - f, 4*o + n - 926 - 2147 = 0. Is o a prime number?
True
Is (120/18 + -7)/(2/(-20334)) a prime number?
True
Let x(s) = -3*s + 12. Let a be x(5). Is (-445 - 2)/(3/(a/1)) a composite number?
True
Let i(w) be the second derivative of w**4/6 + 2*w**3/3 + 5*w**2/2 + w. Let d be i(-7). Let r = d - 53. Is r a prime number?
False
Let j = 82813 + -52010. Is j composite?
False
Suppose -5*q + 3*q + 1596 = 0. Let f = q + 194. Suppose -732 - f = -4*l. Is l composite?
False
Let o(z) = -z**3 - 2*z**2 + 3*z. Let y be 18/4*2/(-3). Let x be o(y). Suppose x = -5*g - 2*d + 179, d + 0*d = -2*g + 72. Is g a prime number?
False
Let x(c) = c**3 + 6*c**2 + 2*c - 7. Suppose 3*f - 32 = 4*u, -f - 1 - 10 = 3*u. Let n be x(u). Let p = n + -4. Is p a prime number?
False
Suppose 30*g = 26*g. Is g + -2 - 3/(6/(-4040)) a composite number?
True
Suppose 5*i - 6370 = a + 46420, 0 = -5*i - a + 52800. Is i a prime number?
True
Let p be (-7 + 2)/(1/(-1)). Suppose -3398 = -3*o - p*j + 1155, 4*j + 4517 = 3*o. Is o prime?
True
Let u = -38 + 30. Is ((-18)/u)/9*9748 a composite number?
False
Suppose 4*b - 8 = -24, -5*n + 3*b = -27. Suppose -n*w = -6 - 3. Suppose -25 = w*v - 94. Is v a composite number?
False
Suppose 3*g - 5*u - 30696 = -g, g - 4*u = 7685. Is g prime?
True
Let k = 21 - 17. Suppose -k*c - 35 = -5*c. Is c composite?
True
Let a = 5583 - 2117. Is a composite?
True
Suppose -169 - 125 = -2*h + 3*t, -442 = -3*h + 4*t. Suppose 3*g - 1308 = -h. Let c = g - -155. Is c a composite number?
False
Suppose 3*d - 13 = 5. Is (d/(-4))/(-3) + 585/2 a composite number?
False
Suppose 2*o = -2*o - 8. Let w = 2 - o. Suppose -55 = -w*n + 381. Is n prime?
True
Let c be (2 - 1)*0*-1. Suppose c = 2*v + 4*d + 16, d + 3 = -v. Suppose -y - 443 = -v*w - 0*y, 3*w = 4*y + 657. Is w a composite number?
False
Suppose -2*g + 49 = -3*t - 10, -140 = -5*g + 5*t. Suppose 3*l - 3 - 23 = 4*j, -2*l = -2*j - 14. Suppose l*i - 41 = g. Is i prime?
False
Suppose -6*k = -8*k - 342. Let u = 177 - k. Suppose 4*f = 5*i + 692, f = 3*f - 2*i - u. Is f prime?
False
Let b = -34411 - -63708. Is b prime?
True
Suppose -2*o + 222 = -5*u, 2*u - 6*u - o = 188. Let l = u - -257. Suppose 2*t - 403 - l = 0. Is t composite?
False
Let b be (5 + -2)*(-24)/18*3. Is (-2118)/b*(-42)/(-3) a prime number?
False
Let w = -10 - -13. Suppose -8 = -w*c + c. Let y(t) = t**3 - t**2 - 5*t + 3. Is y(c) a prime number?
True
Let h(k) = 7*k + 21 - 5*k - 4*k. Let j be h(9). Suppose 0 = -a - j*a + 892. Is a prime?
True
Let q(o) = -77*o**2 + 3*o - 6. Let v(b) = b**2 + 1. Let t(s) = -q(s) - 5*v(s). Let d be t(-3). Let w = d + -435. Is w a prime number?
True
Let n(p) = -10*p**3 - p**2 + 1 - p - 7*p**3 + 9*p**3. Is n(-3) a composite number?
False
Suppose 0 = -3*l + 3*y + y + 3, -1 = -2*l + 3*y. Suppose 2*g - 498 = -2*z, l*z + 3*g - 2*g - 1253 = 0. Is z a composite number?
False
Let q = 61 - 61. Suppose 3*d - 2128 = y, -y + 708 = d - q*y. Is d composite?
False
Suppose 83*z - 92*z = -79362. Is z a prime number?
False
Let i be (-1)/(-2) + 2358/36. Suppose -i*p + 967 = -65*p. Is p a prime number?
True
Let c = -628 - -1424. Suppose 133 = i - c. Is i a prime number?
True
Is 59182/20 - (-7)/(-70) composite?
True
Suppose 0 = -w - 3 + 5. Suppose x + o - 1015 = -0*o, 5*o = -w*x + 2033. Suppose -x = -3*p + 159. Is p a composite number?
True
Suppose -5*k = 5*q - 30, q + 14 = k + 2*k. Let o(n) = 13*n + 3*n - q + 6*n. Is o(3) composite?
True
Let d = 110 + -12. Suppose 3*c - 373 = d. Is c a composite number?
False
Is 74330/8 - -2 - (-23)/(-92) a composite number?
False
Suppose 31145 = 7*p - 8342. Suppose 3*m - b - 494 = 3728, b - p = -4*m. Is m a prime number?
True
Suppose -i - 25 = 4*i + 5*x, 5*i + 13 = -2*x. Is (-86)/((-2 - (-2 + i))*-2) a prime number?
True
Suppose 0*i - 5*i = -3*r - 10172, 2*i + 2*r = 4072. Suppose i = q + 4*q. Is q a prime number?
False
Suppose 0 = v - 5*q - 15987, 2*q = -5*v + 4*v + 15959. Is v prime?
False
Suppose 5*v = 4463 + 36852. Is v composite?
False
Is (38/38)/(3/31107*1) a composite number?
False
Let x be (-1626606)/(-198) + (-2)/11. Let u = x - 5718. Is u a composite number?
True
Let o(h) = -h**3 + 77*h**2 - 11*h + 29. Is o(40) prime?
True
Suppose -5*u + 17 = -j, -2*j = -4*u - j + 13. Suppose 5*t - u*l - 2499 = 0, -2*t + l + 861 = -138. Is t composite?
False
Let w(r) = r**3 + 7*r**2 + 3*r - 11. Let g be w(-6). Suppose 0 = -q - 4 + g. Suppose q*d - 19 = 11. Is d composite?
True
Let k(s) = 2*s + 23227. Is k(0) prime?
True
Let t be (-2)/11 + 276/66. Suppose 4279 = t*h + 11. Suppose 4*j + 415 - h = 0. Is j a prime number?
True
Suppose -5*f = 2*i - 85825, 0 = -3*f + 4*i + 49780 + 1715. Is f a composite number?
True
Let j(a) = 253*a**2 - 12*a - 11. Is j(4) a composite number?
False
Let w = -665 + 1549. Let l = w - 253. Is l a prime number?
True
Suppose 3*t - t + 2 = 0. Let s be 1*(1 + t - -650). Let p = 1045 - s. Is p prime?
False
Suppose -5*o = 3*y - 69426, 5*y = -4*o + 5*o + 115682. Is y prime?
False
Suppose 3*s = 2*r - 8819, -s + 11948 = 4*r - 5669. Is r a prime number?
False
Let z be (-14)/(-1*(-2)/382). Let u = z + 1192. Is 5/(-20) - u/8 prime?
False
Let c(l) = -l + 11. Let f be c(8). Suppose 2*v = f*j - 254, -3*j + 359 = -v + 106. Let n = 161 - j. Is n composite?
True
Let j(l) = l**2 - 16*l + 28. Let q be j(14). Suppose 0 = 5*s - f - 3657, q*f + 735 = s - 2*f. Is s prime?
False
Let y be -3*7/((-42)/40). Suppose -4*a + 333 = s - 1248, -y = -4*a. Is s composite?
True
Let n be -6*-3*4/18. Suppose n*r - 54 = 6. Suppose -r - 28 = -m. Is m prime?
True
Suppose 4*k = 5*p - 867, -2*p - p = -k - 516. Suppose 4*u - 5*m - p = 0, 0*m - m = 3. Is (u/6)/(2/12) a prime number?
False
Suppose -5*l + 0*l + 5*o + 205 = 0, 5*o - 71 = -l. Suppose -173 + l = -m. Let n = m - 8. Is n composite?
True
Suppose 6*a + 7*a - 9*a = 0. Suppose -w + 7*w - 870 = a. Is w a prime number?
False
Suppose 5*d - 2625 = 5*r, 500 = 4*d - 3*r - 1603. Let u be (-2 + d/9)*3. Suppose -185 - u = -w. Is w prime?
False
Let x(h) = -307*h. Let b be 2/(-4 - (-4 - -2)). Is x(b) prime?
True
Suppose -2*y = 5*k - 15141, 5*y - 4*k - 19413 = 18522. Is y a prime number?
True
Let a = 9827 - 3908. Is a prime?
False
Let c(d) = -58*d + 3. Let w be c(-3). Let k = -246 + 248. Suppose -w = -r - k*r. Is r composite?
False
Let c(l) = 17*l**3 - 28*l**2 + 13*l + 29. Is c(14) a composite number?
True
Suppose -2*f + p + 8 = -0*p, -p + 1 = f. Suppose 4*k = -2*j + 3*k + 1270, 0 = j - 3*k - 635. Suppose j = 8*l - f*l. Is l a prime number?
True
Suppose -16*c + 831172 + 223564 = 0. Is c a prime number?
True
Let v(z) = -6*z + 10 - 2 - 12. Let s be v(-4). Suppose 4*m = -s, -2*a - 3*m = -0*m - 51. Is a composite?
True
Suppose 0 = -4*v + 3*v - 11. Let i(u) = -61*u + 1. Let o be i(v). Let k = o + -163. Is k prime?
True
Suppose 4*j = 4*u + 1188, 4*j - 18*u - 1216 = -21*u. Is j prime?
False
Let i(k) = 2*k**3 - 6*k**2 - 6*k - 6. Suppose 2 = -v + 11. Let h be i(v). Suppose 0 = -5*a + 4*a + d + 451, -3*d + h = 2*a. Is a a composite number?
True
Let c = 42613 - 25118. Is c composite?
True
Suppose 49 = -11*s - 61. Let a(i) = -31*i - 15. Is a(s) a prime number?
False
Let g(j) = j**3 + 10*j**2 - 16*j - 20. Let f(c) = -c - 1. Let d(z) = 4*f(z) - g(z). Let a be d(-11). Suppose -2*t - a*u - 347 = -4*t, -u = 5. Is t prime?
False
Let a = -27 - -60. Suppose -19*b = -13*b + 108. Let q = b + a. Is q a composite number?
True
Let r be ((-4)/(-1))/(8/6). Suppose -129 + 18 = -r*t. Is t a composite number?
False
Let v(z) = 62*z**2 - 7*z - 6. Let d be v(-6). Suppose -2*s - 3*b + b = -1138, -4*s + 4*b = -d. Suppose -s - 78 = -2*a + 4*t, 0 = -4*a + 2*t + 1280. Is a prime?
False
Let f(n) = 16*n**3 + 2*n**2 - 3*n + 2. Let r be f(2). Let q = -75 + r. Is q a prime number?
False
Let c(u) = 3*u**3 - u**2 + 2*u - 1. Let n be c(1). Suppose -n*m - 12 = 0, x - 4*m - 941 = 178. Is x a composite number?
False
Suppose 3*p + 4*w = -11, w = 3*p + 1 - 15. Suppose -p*h = -4*h + 3. Suppose 0 = h*t - 358 + 103. Is t a prime number?
False
Let u be -13 + (1 - -1) + 3. Let i = -10 - u. Is 127/(i + 6/2) prime?
True
Let c(t) = 16*t**3 + 2*t**2 + 6*t - 7. Suppose 0 = 15*z - 10*z - 20. Is c(z) prime?
False
Let z(o) = 11*o**2 - 29*o + 88. Is z(-31) a prime number?
False
Let l be (-12)/9*24/4. Let n be l/20 - (-4374)/10. Suppose 5*h - 558 = -3*q, 3*q + 2*h - 130 = n. 