Let x be 12/(-8)*8/6. Let m be 3/(((-24)/20)/x). Suppose -m*u + 844 = -u. Is u a prime number?
True
Let u(y) = -392*y - 11. Let w(j) = 131*j + 4. Let m(n) = -4*u(n) - 11*w(n). Is m(1) composite?
False
Is (16930/(-40))/((-2)/8) a prime number?
True
Let w(y) = -28*y + 16. Let m be w(8). Let z = 335 + m. Is z a prime number?
True
Let r(x) = -66 - 3*x + 73*x + 64*x + 32*x. Is r(8) a composite number?
True
Let y(k) = -k**2 - 155*k + 43. Is y(-36) a composite number?
False
Let k(t) = 63*t**2 - 2*t + 4. Let o(f) = 3*f - 3 + 1 - 1 - 3 - 94*f**2. Let y(s) = 8*k(s) + 5*o(s). Is y(3) composite?
True
Suppose -12*a - 68038 = -192586. Is a a composite number?
True
Suppose -12258 = -5*k - 4*d + 12741, 3*k + 2*d = 15001. Is k prime?
True
Let g = 62 + -64. Suppose 4*u = -0*u - 3*t - 1, -5*t - 13 = u. Is g*u*(-268)/16 prime?
True
Suppose -37 = -5*i - 12. Suppose 0 = -5*j + 5*k - 3*k + 1579, j = i*k + 302. Suppose j = r + 108. Is r composite?
True
Suppose r = 3*d - 15, -19 = -4*d - r + 2*r. Suppose -d*b + 597 + 1051 = 0. Suppose -2*s = -4*q - 0*q - 402, -2*q - b = -2*s. Is s composite?
False
Suppose n + 6408 = 9*n. Let o(j) = 2*j - 4. Let a be o(5). Is ((-2)/a)/((-3)/n) a prime number?
True
Is 2/(14/98861)*1 a prime number?
False
Let w = 44 - 36. Let p(b) = b**3 + b**2 + 7*b - 3. Is p(w) prime?
False
Let y = 52 + -51. Is ((-4)/y)/(2 + -3) + 849 a prime number?
True
Let x = 2359 + -1668. Is x prime?
True
Suppose -12056 = -4*z - o + 4*o, -5*o - 20 = 0. Is z a composite number?
False
Let y = 98 + -95. Suppose y*v - 1312 = -319. Is v a prime number?
True
Let b(z) = 2*z**2 - 8*z**3 + 2 - 2*z - 3*z**2 - 6. Suppose -7*o - 37 = -16. Is b(o) a composite number?
True
Suppose -7*x - 54 = -4*x. Let i = x + 22. Is i/(-22) - 83967/(-143) a prime number?
True
Let d(f) = 198*f + 303. Is d(28) a composite number?
True
Let p = -24997 + 51624. Is p prime?
True
Let x(h) = -6*h + 3. Let m be x(-3). Let o = m + 121. Is o prime?
False
Let t = -9290 + 18485. Suppose -2*m = 3*s - 5527, s + 5*m + t = 6*s. Is s composite?
True
Let d = 811 + -535. Let o = d - -117. Is o composite?
True
Suppose 0 = 12*n - 6*n - 8862. Is n composite?
True
Let c = 6105 + 19628. Is c a composite number?
False
Let q(h) = 22*h**2 - h - 68. Is q(10) a composite number?
True
Let l be (((-6)/(-3))/(-2))/((-4)/8). Is (l/(-3))/((-12)/3222) a composite number?
False
Let q(s) = 15*s**2 + 42*s + 2. Is q(17) composite?
False
Let t = 172 - -6111. Is t a prime number?
False
Let c(t) = 73*t**2 + 5*t - 7. Let x = -73 + 69. Is c(x) composite?
True
Let l(x) = -x**3 + 10*x**2 + 26*x - 21. Let q be l(12). Let i = 144 - -324. Suppose 4*g + 687 = 3*o + 216, q*o = 5*g + i. Is o a composite number?
True
Let w(n) = -n**3 + 17*n**2 + 19*n - 11. Let i be w(18). Let c(a) = 6*a**2 + a - 6. Is c(i) a prime number?
False
Is (2 - -7)*(-5769)/(-27) a composite number?
True
Let y = 1572 + -872. Let d = 303 + y. Is d a prime number?
False
Is (3/12 - 99/(-36)) + 2758 prime?
False
Suppose 3730 = 15*v - 7025. Suppose 90 = -3*k + v. Is k composite?
True
Let v be (12/(-10))/((-2)/5). Suppose -4*n = 3*z - 42, -2*n - 31 = -4*z + n. Suppose v*u - z = -1. Is u prime?
True
Let z(h) = -3*h**3 - 17*h**2 - 27*h - 27. Let o(w) = -12*w**3 - 69*w**2 - 107*w - 107. Let t(q) = -2*o(q) + 9*z(q). Is t(-14) composite?
False
Let a(x) = -x**2 - x - 3. Let g be a(-3). Let t = -6 - g. Suppose -4*u + 54 = -2*y - 158, u = -t*y + 53. Is u a prime number?
True
Let p(u) = 11*u**3 - 41*u**2 - 98*u + 54. Let x(b) = 7*b**3 - 27*b**2 - 65*b + 36. Let q(i) = 5*p(i) - 8*x(i). Is q(13) a prime number?
False
Let z = 77641 - 33788. Is z composite?
False
Suppose 2 = 2*i - 4. Suppose -i*z + 939 = -1128. Is z a composite number?
True
Suppose -t = 18 - 21. Suppose -4*b + 4334 + 785 = t*s, 4*b = -s + 5109. Suppose 0 = -3*x - x + b. Is x prime?
False
Suppose 5*s - 4 = 6. Let n = 28 + -30. Is n - -129*(3 - s) composite?
False
Suppose 31*b = 16*b + 30. Is ((-12929)/(-42))/(4*b/48) a prime number?
True
Suppose -28*u + 6764 = -6984. Is u composite?
False
Let s(b) = 2*b**2 + b - 7. Suppose -5 - 4 = q. Let i be s(q). Suppose 3*h + 2*o - i = -h, 2*h - 75 = o. Is h composite?
False
Let s(b) = 113*b - 53. Let u be s(13). Suppose 0*j + 951 = 2*j + 3*y, -y = 3*j - u. Is j a prime number?
False
Let q be (3 - 1) + -3 - 1. Let n be q/5 + 748/20. Is 1*n*5/5 a composite number?
False
Let c(g) = -111*g + 2. Let s be -5*((-46)/10 - -4). Let m be (0 - s) + 0 + 2. Is c(m) a prime number?
True
Suppose 3*f = -12, 5*i - 5*f = -0*f + 50010. Is i prime?
False
Suppose 6*m - m - 20 = 0. Suppose y + m*y = 3835. Is y a prime number?
False
Suppose 0 = -6*j + 983 - 227. Suppose -2*r + 6 - 2 = 0. Suppose -4*g + 242 = r*x, 0 = -2*g - 3*x + x + j. Is g prime?
False
Let j = -86500 - -171987. Is j a composite number?
False
Suppose 0 = 2*b + 2 + 4. Let s(x) = -x**2 - x + 6. Let i be s(b). Suppose -4*d = z + 2*z - 544, i = 5*d - 2*z - 703. Is d a prime number?
True
Let l(c) = 8 + 9*c**3 - 7*c**3 - 3*c**3 + 2*c + 7*c**2 - 1. Is l(-7) a prime number?
False
Let u = 1091 + 3506. Is u composite?
False
Suppose 2*h + 1278 = -h. Let w = h + 637. Is w prime?
True
Let k be 0*4/20 - 8. Is (k/24)/(3/(-15597)) composite?
False
Let p be ((-6)/4)/(13/4 - 4). Suppose 0 = 14*r - p*r - 2292. Is r composite?
False
Let n(f) = 5*f**2 - 5*f - 11*f**2 + 5*f**2 + 0 + 3. Let q be n(-5). Suppose -q*d - 4 = 8, 0 = 2*c + 3*d - 274. Is c a prime number?
False
Let h be 8553 - ((-3)/12 + (-5)/(-4)). Suppose -8*s + h = -0*s. Is s a prime number?
True
Suppose -15*b - 4*b = -21223. Is b a composite number?
False
Suppose -8*b + 7 = -7*b. Suppose 10*w = b*w. Suppose -h = -w*h - 74. Is h a prime number?
False
Let i = 6157 - 3435. Is i composite?
True
Let r(n) = -3*n - 7. Let v be r(0). Is 1*2/8*(2157 - v) prime?
True
Let r(a) = 2*a**2 - a + 2. Let t be r(-3). Suppose -b + 66 = -t. Is b composite?
False
Suppose 0 = 2*f + 2*f + 4*k - 60, -2*f + 27 = k. Is (-4)/((-16)/f) + 934 a composite number?
False
Let q(g) = -g + 1. Let p(n) = n - 384. Let i(a) = -p(a) - 5*q(a). Is i(0) a composite number?
False
Let m(p) = 4870 - 4870 + 46*p. Let x(u) = -u**2 + u + 1. Let i be x(0). Is m(i) a composite number?
True
Let w(h) = -h**2 - 11*h - 9. Let u = -28 - -41. Let q = 6 - u. Is w(q) a prime number?
True
Let r = 5425 - -132. Is r composite?
False
Let i be (15/(-9))/((-9)/27). Suppose 3*u - 4625 = 2*v, 2*v - 7717 = -i*u + v. Is u prime?
True
Let b(v) be the second derivative of v**5/5 - v**4/12 - v**3/2 - v**2/2 - v. Let j be 4/22 - 4*(-155)/220. Is b(j) a composite number?
False
Suppose -4*o + 10 = -194. Let r = o + 38. Is r a composite number?
False
Is 1 + 12/4 - -5579 composite?
True
Let l = -7130 - -11401. Is l a composite number?
False
Suppose 0 = 2*c - 5*x - 116329, 5*x - 272943 + 98387 = -3*c. Is c a composite number?
True
Let h(r) = -r**3 + 6*r**2 - 7*r - 2. Let p be h(4). Suppose 0 = p*k - d - 1166, -2*d = 4*k - d - 2320. Is k a composite number?
True
Suppose -15*b + 74610 = 11805. Is b a composite number?
True
Let g = -67 - -129. Suppose -s - g = -3*s. Is s a composite number?
False
Suppose 0*n + 22*n = 205238. Is n a prime number?
False
Suppose -6*b + 4*b = -10. Suppose 0 = -2*j + b*j. Suppose j*p = -3*p + 5385. Is p prime?
False
Suppose -43745 = -6*k - 7*k. Is k a composite number?
True
Let i(f) = 8*f - 8. Let h be i(9). Let r(v) = v**3 + 8*v**2 - v - 5. Let q be r(-8). Suppose 0 = -q*p - 1 + h. Is p a composite number?
True
Suppose -c + 328 = -316. Let o = -325 + c. Is o prime?
False
Let u(a) = a**2 - 3*a + 3. Let b be u(2). Let i(p) = 105*p**2 - 2*p + 3. Is i(b) composite?
True
Let z(h) = 58*h**2 + 5*h + 40. Is z(-5) composite?
True
Let w(z) be the second derivative of 1/12*z**4 + 1/2*z**2 - 203/20*z**5 + 1/3*z**3 + 0 - 6*z. Is w(-1) a composite number?
True
Suppose -144 = 4*o - 8*o. Is (o/8 + -1)*118 a composite number?
True
Let r(t) be the first derivative of t**2 - 5*t - 5. Let g be r(5). Suppose 4*d - 296 = -g*c, -296 = -4*d - c + 5*c. Is d a composite number?
True
Let v(a) = -80*a - 3. Let q = -7 + 21. Let k be (-24)/q - (-2)/(-7). Is v(k) composite?
False
Suppose 34*b - 36*b = -5*n - 283741, -2*n = -10. Is b prime?
False
Suppose 22 = 2*v + 18, -4*v = 4*c - 92396. Is c prime?
False
Let k = 1080 + 21533. Is k a prime number?
True
Let i(a) = -a**2 - 10*a