Is o prime?
True
Suppose 25*y = 75*y - 11088650. Is y a composite number?
False
Let r(o) = 4*o**2 + 2*o + 1. Let k be r(-1). Suppose -1121 = -k*c + s, -2210 = -4*c + 4*s - 726. Let y = 632 - c. Is y a prime number?
True
Let f(z) be the second derivative of 3*z + 0 + 10/3*z**3 + 2*z**2 + 7/6*z**4 - 1/20*z**5. Is f(15) a prime number?
True
Let g(y) = -y**3 + 4*y + 2. Let m be g(-3). Let u be (m/(-3))/(2/(-30)). Let f = 234 - u. Is f a prime number?
True
Suppose z + 2*z = 0. Let g = -4 - z. Is g/(-2)*4458/12 composite?
False
Let f be -6*151*1/(-3). Let x = f - 108. Is x composite?
True
Let u(f) = -f**3 + 4*f**2 + f + 8. Let d be u(6). Let k = 397 + d. Is k prime?
False
Suppose -4*h = x + 1636, -h + 1652 = -5*h - 5*x. Is ((-4)/(-3))/((-16)/h) a composite number?
True
Let s(o) = -o**2 - o + 6. Let l be s(0). Let p = 44 + l. Let i = p - -9. Is i composite?
False
Suppose 4*f - l = 3681, 2*l + 929 = 4*f - 3*f. Let v = f - -196. Is v composite?
True
Let k(q) = 525*q + 5 + 22 - 39. Let f(b) = -350*b + 8. Let l(d) = -7*f(d) - 5*k(d). Is l(-3) prime?
False
Let p = 44 + -40. Suppose -4*d + 0*d + 16 = 0, -p*k = 5*d - 696. Is k composite?
True
Suppose 0 = 8*a - 66436 - 145668. Is a composite?
False
Let x(n) = -3*n**3 - 8*n**2 + 36*n + 22. Is x(-15) composite?
True
Suppose -2*b = 4, 0 = -3*v - 0*v - b + 20125. Is v prime?
True
Let i = -8 + 11. Let l be (-16)/(-6) - 12/18. Suppose i*y = -l*y + 2035. Is y a composite number?
True
Let h(v) = -418*v + 11. Is h(-5) prime?
False
Is (-88)/(-88)*(1140 + 3 + -2) composite?
True
Let a = 0 - 3. Let v be (-18)/3 - a - -973. Suppose 0 = -o - o + v. Is o prime?
False
Let c(u) = 5*u + 1. Suppose -2*q - 7 = -5*q - 2*k, k + 13 = 4*q. Suppose 5 = q*v + 2*v. Is c(v) a composite number?
True
Let m(n) = 175*n**3 + 9*n**2 - 6*n - 1. Is m(6) prime?
False
Let n be 0/(-4) + 2 + 4. Let o(l) = -24*l - 2. Let s(x) = 8*x + 1. Let u(t) = 2*o(t) + 7*s(t). Is u(n) prime?
False
Suppose 1096 = 4*q - 1676. Suppose c = -q + 2204. Is c prime?
True
Let s = 9 + -27. Suppose -2*n = 45 + 5. Let u = s - n. Is u a prime number?
True
Let q(o) = -o - 7. Let z be q(-9). Let g be 1 - 0 - z/(-2). Suppose -5*x = 3*j - 123 - 253, -j + 129 = -g*x. Is j a composite number?
False
Let g(t) = -41*t**3 + 2*t**2 + 3*t + 1. Suppose 2*q = -q, -2*d + 3*q = -8. Let b = d + -6. Is g(b) a composite number?
False
Let l = 2914 + 577. Is l composite?
False
Let u = 223 + -151. Let d = 379 - u. Is d composite?
False
Let k be (-1)/(4/8) - -2402. Suppose 2*y - f = 85 + 884, 0 = -5*y - 2*f + k. Is y/6 + (-8)/6 composite?
False
Let q = -7997 + 13936. Is q prime?
True
Suppose -48 + 0 = -3*p. Let z = 19 - p. Suppose -272 = -z*c - 2*n, 2*c + 2*c - 3*n - 391 = 0. Is c a prime number?
False
Suppose 3351 = 6*a - 9603. Is a composite?
True
Let q(i) = 179*i + 3. Let z be q(6). Suppose 16 = -4*t, 0 = -3*b + 2*t + t + z. Is b a prime number?
False
Let t(u) = -125 + 251 - 115 + 80*u. Is t(6) a prime number?
True
Let v = 78106 - 43991. Is v a prime number?
False
Suppose 0 = -w + 5*v + 2, 5*w + 14 + 5 = -4*v. Let n be w*2*2/(-3). Suppose n*z + 10 = 2, -z - 779 = -3*c. Is c composite?
True
Let z = 16 - 12. Suppose z*f = 1099 - 287. Is f a composite number?
True
Suppose 0 = -3*p + 2*f + f + 741, f = 0. Suppose 5*v = 768 + p. Is v a prime number?
False
Let q = -194 - -352. Let n = q + 30. Suppose 0 = 18*x - 14*x - n. Is x composite?
False
Suppose 3*o + 3*c = 1878, 3*o + 0*c = -2*c + 1882. Let a = o - 219. Is a composite?
True
Suppose 0 = 5*z + 3*v - 2780, -v + 1216 = 3*z - 448. Is z a prime number?
False
Let w(a) = a**3 - a. Let i be w(1). Suppose g + 0*h - 22 = 4*h, i = 5*g - 5*h - 95. Is 2910/g + (-6)/9 prime?
False
Let x = -8 + 11. Suppose -x*l + 493 - 23 = -5*r, -5*r = -2*l + 310. Let s = l + -65. Is s composite?
True
Let g(j) = 5*j**2 + 5*j + 4. Let n be g(-1). Suppose 723 = c + n*b, -c + b + 2807 = 3*c. Is c composite?
True
Suppose 10817 = -224*j + 225*j. Is j composite?
True
Let r(a) = a**2 - 8*a + 9. Let f be r(7). Suppose -f*b = -119 - 107. Let h = b + -34. Is h prime?
True
Suppose 4*a = 3*a - 3*a. Suppose 0 = 5*c + 4*g - 263, 3*g + 284 = 5*c - a*c. Is c a composite number?
True
Let g(n) = 17*n**2 - 2*n**3 + 5*n**3 + 0*n**2 + 13*n - 2*n**3 + 11. Suppose 2*u + r = -36, 4*r - 48 = 4*u - 0*r. Is g(u) a composite number?
False
Suppose 4 = -3*d + 10. Suppose 0*y = d*r + 3*y - 449, 4*y = 3*r - 665. Is r composite?
False
Let j = 7 - 10. Let h(b) = b**3 + 3*b**2 - 4*b - 2. Let z be h(j). Suppose 5*p = -2*y + 17, 3*p + 5 - z = 4*y. Is p composite?
False
Let u be ((-275)/(-45))/5 - (-4)/(-18). Is 1364 - (-1 + u + 3) prime?
True
Suppose 0 = y - d - 432, -5*d - 2172 = -5*y - 6*d. Let z = y - 233. Is z prime?
False
Suppose 25*p - 43480 = -15*p. Is p a composite number?
False
Let x = 24402 - 1835. Is x composite?
False
Suppose -5*j + 0*j = 0. Suppose -5*c + 0*r = r - 19, -2*c = 4*r - 4. Suppose -c*u + 2161 = 3*s, -s = 5*u - j*s - 2693. Is u prime?
False
Suppose 2*d - 4*d + 30 = 0. Let o(m) = -1 - 1 - m**2 + 17*m - 2 + 5. Is o(d) a composite number?
False
Suppose 4*d + o + 318 = 5*d, -4*o - 315 = -d. Is d a composite number?
True
Suppose 0 = 4*h + 862 + 34. Let n = 761 + h. Is n a composite number?
True
Suppose 3*u + 1 + 2 = 0. Let n be -26*-1*(-2)/u. Suppose 0 = d + 3*d - n. Is d composite?
False
Let a(x) = 152*x**2 - 5*x - 4. Let q be a(-3). Let t(u) = -44*u + 12. Let r be t(-4). Suppose q - r = 3*d. Is d a composite number?
False
Let p(w) = -2*w - 3 + w + 2 + 49*w. Let h be (-5)/2*(-8)/2. Is p(h) a prime number?
True
Is 142/20 + -7 - (-300207)/30 a composite number?
False
Suppose 3*y - 81 = 2*y - d, -5*y + 413 = d. Let r = 162 - y. Is r prime?
True
Is ((-21685)/(-10))/(-1 + (-3)/(-2)) a prime number?
True
Let w(o) = 28*o + 16. Let j(m) = 9*m + 5. Let y(a) = -16*j(a) + 5*w(a). Let f be y(-1). Suppose 2*l - 3*b - 234 = -2*b, -f*b - 341 = -3*l. Is l composite?
True
Suppose -20 = -3*g - 2*g. Suppose -2*u + d = -4*d - 16, -5*u = g*d - 7. Suppose r - 2 = 0, -u*r + 703 = 5*k - 258. Is k a composite number?
False
Let s be ((-119)/21)/(1/120). Let b = s - -1827. Is b a composite number?
True
Is 1/5 + (-3842136)/(-170) a composite number?
True
Let u be 6952/104 - (24/13 - 2). Let v = 184 + u. Is v a composite number?
False
Let n = -20 + 11. Let y be (1 - -181) + n/3. Let o = -94 + y. Is o composite?
True
Let v = -12788 + 23635. Is v a composite number?
False
Let o(i) = -5*i**2 - 5*i + 11 + 2*i**2 - i**3 - i**2 - 6*i**2. Is o(-13) a prime number?
False
Let f = -53 - -206. Let u be f/12 + 2/8. Let x = 46 + u. Is x composite?
False
Is -21 + 24 - (-2 - 262) composite?
True
Let h = -37 - -64. Let q = 125 + 85. Suppose -n + h = -q. Is n a prime number?
False
Let h(z) = z**3 - 7*z**2 + 8*z - 8. Let i be h(6). Suppose -3*f - 2*c + 433 = 0, f - i*c = -3*c + 146. Is f prime?
False
Suppose -3*b + 0*b + l = -199061, 5*l = b - 66363. Is b a prime number?
False
Suppose -s + 6*s - 2*l = -5281, 3*l + 3177 = -3*s. Let m = s - -1814. Is m a prime number?
True
Is (2/2)/((-11)/(-9647)) a prime number?
True
Suppose -4*x + 1651 = -5*a, -488 = -2*x - 5*a + 315. Is x a prime number?
True
Let r(n) = -n**3 + 11*n**2 + 14*n - 1. Let p be r(10). Suppose -5*h - d = -393, 2*d + p = 3*h + d. Is h a composite number?
False
Let g(u) = -4*u - 1. Let q be g(-1). Suppose 0 = -q*l, -5*l + 17 = 4*m + 5. Is (39 + -1)*m/6 a prime number?
True
Let z be 38/8*2 + 88/176. Is 50358/z + 3 - (-5)/25 prime?
True
Suppose -5*m = -5*a - 650, a + a = -2*m + 256. Suppose -2*v = -m - 2593. Is v prime?
True
Is 4/(-18) + 1389530/360*4 a prime number?
True
Suppose 0 = -o + 3*o - 6, -n - 11 = -5*o. Suppose -2*b = 5*j - 1893, n*j - 1133 = j - 4*b. Is j composite?
False
Suppose -3*u + 10 = -8*u. Let h be 10528/35 - u/10. Suppose 3*w = 5*g - 641, -203 = -4*g - 2*w + h. Is g composite?
False
Suppose -2*y + 0*y = -4376. Let o = y + -321. Is o prime?
True
Let k = -66 - -69. Suppose -3*f + k*h = -2271, -2*f + 2*h = -4*f + 1498. Is f composite?
True
Let w(g) = 2753*g + 60. Is w(7) composite?
True
Let f(m) = -3843*m + 2. Let i(l) = -7684*l + 4. Let n(c) = -11*f(c) + 6*i(c). Is n(-1) a prime number?
True
Let t(q) = 34*q**2 + 10*q + 39. Is t(-5) a composite number?
False
Is -1327*((-48)/8 - -1) prime?
False
Let h = 26 + -25. Let i(u) be the first derivative of 184*u**3/3