2/(-891). Let y(o) = -108*o**2 - 1. Let z be y(-1). Let g = z - p. Is g a prime number?
True
Suppose -3*s = 4*r + 5, r + 3*s + 1 = 2*s. Is (2 + -61)/(r/26) a composite number?
True
Let x be 0 - (-4 + (-2)/(-2)). Let m(o) = 3 + 6*o**2 + 4*o + x + 7. Is m(6) composite?
True
Let o(v) = v**2 + 12*v - 10. Let c be o(-13). Suppose 3*r + c*i = 11691, 2*r - 4*i - 8820 = -1014. Is r composite?
True
Suppose 0*a - w + 2 = 2*a, 0 = 2*a + 4*w + 4. Suppose -3*t + 628 = t - 4*q, 0 = -a*q. Is t a composite number?
False
Suppose 3*l - 3*n = 0, -4*n - 10 = -5*l - n. Suppose 1028 = l*t - t. Is t composite?
False
Let a = 3 + -8. Suppose -2*u - 9 + 37 = 0. Let c = u - a. Is c composite?
False
Suppose -3*o - l + 6047 = 0, 7*o - 2*o + 4*l - 10069 = 0. Is o composite?
False
Let d(a) = 5 - 2*a + a - 2*a. Let l be d(-10). Suppose 2 = p - l. Is p prime?
True
Let s = 3011 + -280. Is s a composite number?
False
Let t(m) = -m**3 + m**2 + m - 139. Let v(h) = h. Let f(o) = -t(o) - v(o). Is f(0) a composite number?
False
Suppose 0 = 2*a + 3*w - 32, -5*w = 3*a - 23 - 25. Let d be ((-1235)/38)/(1/(-2)). Is (4 - 2) + a*d prime?
False
Let i be 7*7/(98/4). Let c(o) = 36*o + i + 5 - 8*o + 0*o. Is c(3) prime?
False
Let p be (0 + -1)*(-5 - 12). Suppose -13*i + p*i = 2252. Is i a composite number?
False
Suppose 3*k - q = -13, 39 = -2*k - 2*k - 3*q. Let z be (0 - 0)*2/k. Suppose 5*t + z*t = 1985. Is t a prime number?
True
Let c(b) = 73*b + 6. Let o be c(11). Suppose o = -4*k - 1267. Let a = -228 - k. Is a a composite number?
True
Is 6558*(280/48 + -5) prime?
False
Let r(w) = w**3 - 3*w**2 - 6*w + 5. Let m be r(6). Let x = 1080 - m. Suppose -5*g + x = -1212. Is g a prime number?
True
Let u(i) = 3*i**3 - 5*i**2 - i + 8. Let r(p) = -3*p**3 + 5*p**2 + p - 8. Let b(f) = 3*r(f) + 4*u(f). Is b(7) prime?
False
Let t(f) = 1422*f**2 + 7*f - 3. Let y be t(2). Suppose -3*v + y = 2*p, -2*p + 5*p = -4*v + 7598. Is v prime?
True
Let x = 53692 + -29951. Is x composite?
False
Let q = 641 + 14. Is q a prime number?
False
Let x = 123 - 119. Suppose -2*q = -b - 6990, -x*q - 11*b + 16*b = -13986. Is q a composite number?
True
Suppose 11*v - 8 = 9*v. Suppose -v*f + 175 = f. Is f prime?
False
Let g be (-29)/(-2) - (-6)/(-12). Is g/91 + (-211818)/(-26) composite?
False
Let h = -546 + 811. Let d be (-16)/(-3)*(-7 + 19). Let a = h - d. Is a composite?
True
Let g(q) = -6547*q - 135. Is g(-4) a prime number?
True
Let q = -7513 - -51539. Is q a composite number?
True
Let w be (-3)/6 + 27/6. Suppose 2*u + w*x - 45960 = -2*u, -4*u + x = -45935. Is u a composite number?
True
Let y(i) = -i + 9. Let j be (-2)/(-14) + (-192)/(-28). Let v be y(j). Suppose -245 = -d - v*t, -1032 = d - 5*d + 5*t. Is d composite?
True
Let m(t) = 12*t**2 - 7*t - 2. Suppose 5*a + p + 4*p = 110, -a + 5*p + 40 = 0. Suppose -10 = 3*h - a. Is m(h) a prime number?
True
Suppose -9*y + 135495 = 6*y. Is y a composite number?
True
Is 8/(58 + -2)*95165/5 prime?
True
Let u(p) = p**2 - 6 + 30*p - 18*p + 0 + 0*p**2. Is u(7) a prime number?
True
Suppose 3*p + 6 = 5*p, 3*o = -3*p + 5910. Is o composite?
True
Let r(s) be the second derivative of 3*s**4/2 - 2*s**3/3 + 9*s**2 - 7*s. Let b(t) = -t**2 - t + 1. Let u(f) = -5*b(f) + r(f). Is u(-5) prime?
False
Let r be -2 - -5*(-8)/(-4). Let w(a) = 26*a - 21. Is w(r) prime?
False
Is 1370889/54 - (-6)/36 a prime number?
False
Suppose -5*f = -4*f + 303. Let k = -118 - f. Is k a prime number?
False
Suppose 20*r - 15*r - 18509 = -3*k, -2*k = -2*r - 12318. Is k a composite number?
False
Let r(w) = -45*w - 25. Let y be r(-8). Let o be (-224 + 1)/(1/(-4)). Suppose -o = -3*v + y. Is v a prime number?
True
Let b = -6 - -11. Suppose -2*i + 1939 = b*m, 2*m + m = -3*i + 2922. Is i a prime number?
True
Suppose -19*p + 71312 = -42327. Is p a prime number?
True
Let h(o) = 8*o**3 + 2*o + 4*o**2 - 9*o**3 - 6 + 1. Let j be h(4). Is 468 - j/(-3)*1 a prime number?
False
Let c be 2*(20/(-8) - -2) + 554. Let p = c - 246. Is p composite?
False
Let b(g) = 1064*g**2 + 1. Let n be b(1). Suppose -16*o + n = -13*o. Suppose 2*m + 673 = 5*y, o = 2*y - 5*m + 69. Is y composite?
True
Suppose d + 5*i = 3*d - 151, 0 = -d + 5*i + 88. Suppose -h + 418 = d. Is h a composite number?
True
Suppose 2*f + 4 = -0*f, 0 = -3*v - 2*f - 238. Is (v/(-8))/((-15)/(-20)) composite?
False
Suppose 0 = -6*w + 2*w + 12. Suppose -w*l + 10 = -5. Let c(i) = i + 5. Is c(l) composite?
True
Let y = 7854 - 5255. Is y composite?
True
Let z = 24 - -16. Let p be 6/(z/(-22) + 2). Suppose 3*u + 0*k - p = -2*k, 2*u - k - 22 = 0. Is u composite?
False
Suppose u = -4*u + 1075. Let a = -144 + u. Is a prime?
True
Let k be (-5)/(25/(-198))*5. Let j = 1079 + k. Is j a composite number?
False
Let o(b) = 3*b**3 - b**2 + b - 1. Let l be o(1). Is ((-140)/(-42))/(l/471) a composite number?
True
Suppose 0*p - 2*a = 5*p - 26870, 2*a = 0. Is p composite?
True
Let c be (-11 + -1)/((-3)/2). Let z be 1 - c/(-4) - -564. Let l = -148 + z. Is l a prime number?
True
Let t(a) = -9*a**2 - 14. Let c be t(5). Let v = 430 + c. Is v a composite number?
False
Suppose -2*x - 9 = -29. Suppose 4*d - d + 12 = 5*r, -4*r + x = -2*d. Is d*8*7 + -3 a prime number?
True
Suppose 0 + 21 = -3*i. Let o = i + 10. Is (-156)/(-2) + (4 - o) a composite number?
False
Suppose -12*q + 15*q - 42316 = 5*x, 2*q + 5*x - 28219 = 0. Is q prime?
True
Suppose -3*w - 11 + 155 = 0. Let m = w - 87. Let s = 172 + m. Is s composite?
True
Suppose 9097 + 8074 = 7*p. Is p a prime number?
False
Is 879/(-5)*(-6)/(24/20) composite?
True
Let p(f) = -4709*f**3 + f**2 - 7*f - 17. Is p(-2) a prime number?
False
Let j be (-1*(-9)/(-36))/((-1)/13628). Suppose 0 = i - 3*c + 315 - 986, 2*c + j = 5*i. Is i a prime number?
True
Suppose -10199 - 35665 = -4*v. Suppose -v + 2079 = -9*f. Is f composite?
True
Let t(h) = h**3 + 10*h**2 + 10*h + 6. Let b be t(-9). Let q = b - -3. Suppose q*v + 212 = 4*v. Is v a prime number?
True
Let b be (4/(24/1258))/((-1)/(-6)). Suppose 5*w - 2085 = 5*q, -2*w + 4*q = -b + 416. Is w composite?
True
Let q(m) be the first derivative of m**4/4 - m**3/3 + m - 8. Let t be q(2). Suppose -t*c = -1245 + 180. Is c composite?
True
Let j = -690 + 1017. Is j prime?
False
Let f(r) = 4*r**2 - 3*r - 5. Suppose -q + 2 = 2*j, -q - 5*j = -2*q + 23. Let i be f(q). Suppose 4*m = -3*u + i, 19 = m + u - 39. Is m a composite number?
False
Is (1228/6)/((-114)/(-8037)) composite?
True
Is (1269825/(-30))/(-5)*(2 - -12) a prime number?
False
Suppose -t = -3*t - 16. Let l = t - 26. Let i = l - -221. Is i a composite number?
True
Is 55/(-165) + 651334/3 a prime number?
True
Let o(v) = 366*v + 43. Is o(14) prime?
True
Let o = -311 + 799. Suppose -2476 = -6*z + z - 4*b, -z + b = -o. Suppose j = -3*j + z. Is j prime?
False
Let x be 24/9*(-6)/4. Let t be (1 - 0)/(x/140). Is (-11925)/t - (-2)/7 a prime number?
False
Suppose -5*d + z = 5*z - 6, 9 = 5*d + z. Let h = d - -2. Suppose h*u - 605 = -u. Is u prime?
False
Suppose -5*p - 6 - 14 = 0, 2*k = 5*p + 90. Let l = k + -33. Suppose -w - 1239 = -l*r, -r = 4*w - 695 + 53. Is r a composite number?
True
Let c = 1399 + -284. Suppose -5*h - 2*b = -c, 3*h - 669 = 4*b - 5*b. Is h composite?
False
Let v = 53 + -43. Is (1 + v/(-6))/((-18)/8937) composite?
False
Suppose -6*k + 2*k - 5*y = -43, 4*y - 56 = -5*k. Suppose 0 = -3*o - k*o + 14655. Is o a prime number?
True
Suppose 4*a = v - 1637, 3*a = 5*v + 5*a - 8185. Is v composite?
False
Let c = 671 + 1080. Is c prime?
False
Let j(v) = -v**3 - v**2 + 139. Let r be j(0). Let a = -75 + r. Let c = a - 38. Is c a prime number?
False
Let o(t) = -t**2 + 19*t - 14. Let v be o(18). Suppose -410 = -6*a + v*a. Is a a prime number?
False
Suppose -3*p + 8241 = -7494. Suppose -14*x + 9*x = -p. Is x composite?
False
Let m = 10371 + -1872. Is m composite?
True
Let n = 5 + -1. Let k be (390/n)/(7/28). Suppose -5*f - 7*c + k = -3*c, 5*f - c - 365 = 0. Is f composite?
True
Suppose 0 = 5*g - 445 - 30. Is g + -2 - (-12)/3 a prime number?
True
Suppose -49 = -4*u + 31. Is (1255/u)/((-1)/(-4)) a prime number?
True
Let i = -128 - -42. Let l be i/(-10) + (-2)/(-5). Suppose 3*g + l = 0, 2*g + 2*g = -n + 10. Is n prime?
False
Let i be (-6)/(2 + (-50405)/25210). Is (-6)/(-12) - i/8 composite?
True
Let y be (4 - 77)*(-1 - 8). Suppose -238 + y = f. Is f composite?
False
Let h(z) = -4*z**3 + 6*z**2 + 