0. Is j a composite number?
False
Suppose 0 = -51*g + g + 7810850. Is g prime?
True
Suppose 2*h = -h. Suppose 5*p - 545 - 10 = h. Is p composite?
True
Let a = 19 - 16. Suppose a*w = 368 + 301. Is w a composite number?
False
Is (0 - -1)/(43/68413) prime?
False
Let p = -4091 + 7391. Let x = 6422 - p. Suppose -3*m - x = -10*m. Is m a prime number?
False
Suppose 5*x - x - 24 = 0. Let g = 9 - x. Suppose j + y = 2*j - 161, y + 487 = g*j. Is j prime?
True
Suppose 4 = q + 3*o, -3*q + 5*q - 4*o + 2 = 0. Let j be (-39)/q*(-14)/3. Suppose 3*r + 2*x - 87 = 88, 3*r - 5*x - j = 0. Is r a composite number?
False
Suppose 4*q + 7 = 3. Is (-22020)/100*5/q a prime number?
False
Let d = 6 + -1. Suppose -w - d = -7. Is ((-21)/(-9))/(w/6) composite?
False
Let t be 16/(-6)*6/(-4). Let o(c) = 76*c - 3. Is o(t) a composite number?
True
Let j = 2 - 2. Let o(f) = -f + 419. Let c(l) = 2*l - 419. Let v(w) = 2*c(w) + 3*o(w). Is v(j) a prime number?
True
Suppose 154*t - 58*t = 1500384. Is t a prime number?
True
Let b = 7742 - 3933. Is b a prime number?
False
Suppose -187 - 49 = -2*p. Suppose z - p = 4*o - 0*o, -3 = -3*o. Is z prime?
False
Suppose t = -5*y + 4*y + 12781, -2*y + 25562 = 5*t. Is y prime?
True
Let c(l) = l**3 - 6*l**2 + l - 4. Suppose -5*y = -3*m - 15, -2*y + m + 3 = -4. Let u be c(y). Suppose -2*o + 120 = u*p - 30, -3*o = -2*p + 130. Is p prime?
True
Let j(p) = -1393*p**3 - p**2 + 3*p + 8. Let f be j(-3). Suppose -11*z + f = 8*z. Is z prime?
True
Let k(q) = 4*q**2 + 2*q + 7. Let o be k(-4). Let y = o + 34. Is y composite?
False
Let v = 29 - 11. Let i be (v/(-12))/(1/(-2)). Suppose -32 = -2*u + 2*b, i*u - 3*b - 36 = -4*b. Is u prime?
True
Suppose 5*b = 4*o - 37, 0*o + o = -b - 11. Let y be (b - -7)*3/(-2). Suppose -6*a + a + 240 = -5*p, -4*p - 139 = -y*a. Is a a prime number?
True
Suppose 3*z - 5 = 5*g + 14, 7 = 4*z - 3*g. Is (2 + -3)*(-629 + z) a prime number?
True
Let b be -4 + (6 + 3)*1. Suppose b*v = -20, 3*v = 2*p - 648 - 272. Is p prime?
False
Is 1/((-6)/4) + (-68860)/(-132) a composite number?
False
Let j(i) = 32*i**3 - 3*i + 5. Let q(y) = -y**2 - 1. Let d(k) = -j(k) - 3*q(k). Let m be d(3). Let x = m + 1239. Is x prime?
True
Let p = 692 + 1001. Is p a composite number?
False
Suppose -2*g - 3*k = 2*k - 50435, k + 50453 = 2*g. Suppose -6*d + d = -g. Is d prime?
False
Let l = 178 + -174. Suppose -m + 457 = s - 448, -l*m = 8. Is s prime?
True
Suppose 2*d + 3*d - 15 = 0. Let v be 33 - (1 - d - 1). Suppose 195 = 5*z + 2*u, -v - 174 = -5*z - 5*u. Is z a composite number?
False
Let y be (-48)/(2 - 4) - 0. Suppose -y = t - 75. Is t composite?
True
Let b be (-5)/10 + 1957/2. Is ((-3)/(-9))/(2936/b + -3) a composite number?
False
Let w(x) = 290*x**2 + 4*x + 13. Is w(-4) a composite number?
False
Let t = -15 - -1. Let h(u) = -9*u + 31. Is h(t) prime?
True
Let c(o) = -49*o + 43. Let y(s) = 21*s + 18. Let g be y(-2). Is c(g) composite?
True
Suppose 1 = 2*x + g - 1, 2*x = -2*g. Suppose -7*z + 2335 = -x*z. Is z a composite number?
False
Let o(p) = 25*p**3 + 7 - 23*p**3 + 2*p**2 + p**2 - 16*p**2 - 15*p. Is o(12) a prime number?
False
Suppose 1338 = -a + 4*a. Let t(w) = -8*w**2 - 4*w - 7. Let l be t(-16). Let c = a - l. Is c a prime number?
True
Let p(x) = -3*x**2 - 26*x - 15. Let v be p(-7). Suppose 19*b = v*b - 4083. Is b prime?
False
Let q(x) = 33*x - 17. Let g be q(7). Suppose 2*c = -c - o + g, 2*o - 144 = -2*c. Is c a prime number?
True
Let k(o) be the third derivative of 5*o**2 + 79/6*o**4 + 0*o + 1/6*o**3 + 0. Is k(1) composite?
False
Let p(m) = 3*m**3 - 10*m**2 - 38*m + 74. Is p(19) a composite number?
False
Suppose 35 = 3*b + 4*b. Suppose -2*k = b*t - 179, -k + 0*t + 85 = 4*t. Is k a prime number?
True
Suppose 0 = h - 4*c - 19, 0 = -h - 2*c - 6 + 1. Suppose 5*f - 10 = h*f. Suppose -f*o + 4*v + 1045 = 136, -o + 177 = 4*v. Is o a prime number?
True
Let b = 1248 - 118. Let q = -611 + b. Is q a composite number?
True
Let m = -18 - -22. Suppose -9170 = -5*o + 5*b, 2*o - m*b = 243 + 3431. Is o composite?
False
Let a(h) be the third derivative of 91*h**5/60 - h**4/3 - 2*h**3/3 + 6*h**2. Is a(-7) composite?
True
Is 1*15/(-10) - 133368/(-48) prime?
True
Let o be (-11)/(33/(-18)) + -4. Suppose 0 = 3*r - 12, -4*v = -3*v + o*r - 216. Suppose -2*l + 3*l + v = k, -4*k + 3*l = -827. Is k composite?
True
Let x = 544263 - 325094. Is x composite?
False
Let i be -444*(-40)/(-8)*2/(-3). Suppose i = p - 193. Is p a prime number?
False
Let v = -8862 + 14225. Is v a prime number?
False
Suppose 8 - 4 = -4*p. Let o be (-1)/(p/92*2). Is ((-7)/(-2))/(1/o) composite?
True
Suppose 3*t - 4*h + 38788 = 7*t, 2*t = 5*h + 19422. Is t a composite number?
True
Let m(x) = -11*x**2 - 11*x + 7. Let q(p) = 45*p**2 + 45*p - 28. Let k(h) = -9*m(h) - 2*q(h). Is k(6) composite?
True
Suppose -3*j + 308 = -2*f, -j + 4*f - 112 = -2*j. Let d = 14 + -11. Suppose 4*z - 409 = 5*w, -d*z + 220 + j = 2*w. Is z prime?
False
Let m = 9 - 9. Let i = m - -1. Is i/(-6) - 4766/(-12) composite?
False
Let j(m) be the second derivative of -m**4/12 - m**3 + 3*m**2/2 - 4*m. Let v be j(-6). Suppose v*l = -l + 1172. Is l a prime number?
True
Let j(h) = h**3 + 23*h**2 - 17*h + 27. Let t be j(-23). Let w = t + 73. Is w composite?
False
Let j be (-1)/4 - ((-1013)/4 - -5). Suppose -6*p + 3*p = -3*t + 168, 4*p = -4*t + j. Is t a prime number?
True
Let o be 3 + -5 - 240/(-3). Let v = o - 55. Is v a prime number?
True
Let d be (-3)/(15/5) + 1139*3. Is 2/6 - d/(-21) prime?
True
Let u = 589 + -1225. Let g = 1115 + u. Is g a prime number?
True
Suppose -5*j + 180 = 5*k, -183 = -6*j + j - 4*k. Let p = 92 - j. Is p a composite number?
False
Suppose -4*j + 16302 = -3*y + 48921, 5*j = -5*y + 54365. Is y a prime number?
False
Let v = -6550 - -4048. Is 5/(-2)*v/45 composite?
False
Let t = 28601 + -14892. Is t prime?
True
Let v(a) = -a - 4. Let d be v(-7). Let k(l) = -5*l**3 - l**2 + l + 1. Let n be k(-1). Suppose -n*p - 568 = -4*h, d*p + 1 = -2. Is h composite?
True
Let z be -4 + 0 - 0 - 2. Is (-6)/(-12) + (-891)/z a composite number?
False
Let k be 1992/14 + (-6)/21. Let l be k - 6/(-2 + 5). Let r = -63 + l. Is r a prime number?
False
Suppose -67666 = -27*g - 19*g. Is g prime?
True
Let w = 25 - 21. Suppose r + 19 = 2*r - w*k, -5*k + 64 = r. Is r composite?
True
Let b(r) = 83*r**3 - 8*r + 12. Is b(3) a composite number?
True
Let y = 6130 - 4313. Is y a prime number?
False
Let c(m) = 15*m**3 + 4*m**2 + 2*m + 4. Let u be c(4). Let i = u - 83. Is i prime?
True
Let c be (-34352)/(-20) - (2 - (-48)/(-20)). Is c + (40/(-5))/2 prime?
False
Suppose -122 = -5*o - j, 4*j + 19 = -3*o + 99. Let k = 7 + o. Is k a composite number?
False
Let p(z) = 59*z. Let i(q) = -q**2 - 7*q - 3. Let b be i(-6). Suppose 10*h - b = 7*h. Is p(h) a prime number?
True
Suppose -14 = 6*d - 86. Is (-16)/d*3 - -269 a prime number?
False
Suppose -6*d = -d + 20, -j + 3*d = -31. Let u = 134 - j. Is u composite?
True
Let y(m) = 13829*m - 332. Is y(5) prime?
True
Suppose -h = -5*h. Let u(b) = 80*b - 21. Let a be u(12). Suppose h = 2*d - a - 79. Is d prime?
True
Let z(p) = -p**3 - 12*p**2 + 25*p + 5. Is z(-27) composite?
True
Let n(j) = 3 + 5*j + 3*j**3 - 3*j**3 - 6*j**2 + j**3. Let l be 2 - -1 - 8/(-2). Is n(l) a prime number?
False
Let w(t) = -9117*t**3 - t**2 + 6*t + 5. Is w(-1) a prime number?
False
Let g = 2 - -28. Let i = -20 + g. Let r(l) = 11*l + 3. Is r(i) a prime number?
True
Is -4 - (1634216/(-36) - (-11)/(-99)) a composite number?
True
Let m(q) = -q**3 + q**2 - q. Let i(a) = 3*a**3 - 18*a**2 - 10*a - 13. Let s(p) = i(p) + 4*m(p). Let l be s(-13). Suppose l = -4*u + 5*u - 14. Is u composite?
True
Suppose -19 = -o - 14. Suppose -o*t + 559 = 3*j, 2*j - 343 - 21 = t. Is j composite?
True
Let a(k) = -k - 10. Let y be a(-10). Suppose -x + 3 = -y*x. Suppose -517 = -x*b - 34. Is b composite?
True
Is (431/2 + -6)*6 a prime number?
False
Suppose -3*w = 3*g - 4*w - 233, -g + 3*w + 75 = 0. Suppose i - g = 127. Is i a prime number?
False
Suppose -4*p + 511 = -733. Suppose 0 = 2*n - 191 - p. Is n a prime number?
True
Suppose -27 = -6*l + 3. Suppose 5*m = -l*z + z + 256, -4*z + 3*m = -224. Is z a prime number?
True
Let j(p) = -p**3 - 17*p**2 - 4*p + 57. Is j(-20) a composite number?
True
Let b(r) = 2*r + 19. Let z be b(0). Suppose 9*x - 2*y - 19 = 4*x, 0 = 2*x + 3*y - z. Suppose -6339 