prime number?
True
Let o(j) = -j**2 + 58*j - 81. Let p be o(52). Is p/88 + -3 - (-7771)/8 composite?
False
Suppose 264 + 281 = 5*g. Let k = -103 + g. Is 2077 + ((k - 2)*1 - 4) composite?
True
Suppose -165 = 4*h + 279. Let n = h - 514. Let p = n - -876. Is p a prime number?
True
Let b = -57 - -60. Suppose 0 = -b*k - 6, 2*u - 15 + 1 = 3*k. Suppose u*d = 272 + 60. Is d prime?
True
Let m be (2/(-5))/((-140)/1750). Suppose 3*z - 1065 = -3*j, -3 = -4*z + 1. Suppose 0 = -n - m*n + j. Is n a prime number?
True
Suppose 0 - 16 = -4*x. Suppose u = -x*u + 14695. Is u prime?
True
Let a = 11108 + -5595. Is a prime?
False
Suppose 3 = -9*o + 48. Let r be 15/o*1 - -1. Suppose 4*l = -5*m + 7378, -r*l + 1120 + 6260 = 4*m. Is l prime?
True
Let p(l) = l**2 - l + 1. Let a(d) = 586*d**2 + 5*d - 3. Suppose o - s = 4*o + 1, 3*o + 2*s = -5. Let n(q) = o*a(q) + 3*p(q). Is n(-1) a prime number?
True
Let r = -8003 - -14995. Let t = r + -1773. Is t a prime number?
False
Let z = -659 - -657. Suppose 0 = 4*t + 3 + 1. Is 1 + 1 - t - (z - 848) prime?
True
Suppose 9*z = 19*z - 443050. Is z a prime number?
False
Let p(f) = 63*f + 41. Let r = 67 + -61. Is p(r) composite?
False
Let i(s) = 224*s**2 + 14*s - 80. Let b be i(6). Suppose 5*k - 12085 = -5*g, 5*g - 4017 = k + b. Is g prime?
True
Is 48/(-648) - (-9213220)/135 prime?
False
Suppose 4*l - l + 5*m = 30, -16 = -2*l - 2*m. Suppose l*z + 5 = -k - 0*z, 3 = k + z. Let a(c) = 29*c + 4. Is a(k) a composite number?
False
Let m = -141 + 145. Suppose -8 = -m*s, -u + 5*s - 10*s = -1227. Is u a composite number?
False
Suppose 85*k = 96*k - 22. Suppose -k*l - 4 = 0, 2*u = -2*u - 2*l + 10416. Is u a composite number?
True
Let r = 1879 - -3052. Is r prime?
True
Let s(g) = 5*g - 31. Let i(z) = 3*z - 21. Let w(f) = -8*i(f) + 5*s(f). Let t be w(-10). Suppose 3 = 3*h + 2*h + 4*y, -5*h + 6 = t*y. Is h a prime number?
True
Let k = 14 - 9. Suppose -335*d - 110 = -324*d. Is (-2)/k - 10434/d prime?
False
Suppose -3*i + 8 = 2*p, -3*i - 10*p + 6*p + 10 = 0. Is 2814 - (3 + -13 + i + 3) a composite number?
False
Let y be (-89384)/6*6/8. Let h = -3310 - y. Is h a prime number?
False
Let g(u) = -12*u - 126. Let p be g(-11). Suppose p*y = -2*y + 3848. Is y a prime number?
False
Let l = 29084 + -17331. Is l + -3 + (5 - 6) composite?
True
Is 42/(-30) + (-8796564)/(-210) composite?
False
Let c(g) = g**3 - 13*g**2 + 26*g - 11. Let w = -81 - -92. Let b be c(w). Suppose 7*u = 6*u + b. Is u a prime number?
False
Let t(i) = 254*i**3 - 4*i**2 - 11*i + 2. Is t(5) prime?
False
Let g(s) = -126012*s**3 - 40*s**2 - 119*s - 14. Is g(-3) prime?
True
Let c be (-12)/(-4) + -1 + 3. Suppose -4*d = 2*b - 1886, 5*d + 0*d + 4715 = c*b. Is b a composite number?
True
Let s(u) = 7*u**2 - 5*u + 17. Let a = -72 + 76. Suppose 0 = -a*o + 3*m - 33, -4*o + 0*m = 3*m + 39. Is s(o) a prime number?
False
Let n(m) = 2*m**2 + 3*m - 11. Let z be n(2). Suppose 0 = 4*x + 4*a + 6323 - 17119, -8091 = -3*x + z*a. Let r = x - 1157. Is r prime?
False
Let w(r) = 8592*r**2 + 152*r - 791. Is w(6) prime?
True
Suppose -3*t = f - 2*f + 1768, 7102 = 4*f + 3*t. Suppose 0 = -5*v + 4*u + 19144, -v + 2054 = -u - f. Suppose -3*x = -2015 - v. Is x a composite number?
False
Let p = -725670 + 1032661. Is p a prime number?
True
Is 3286473/27 + 38/(-95)*10/18 composite?
False
Let d be (-2 - 4)*(-5)/(-10)*-74. Suppose -g + 116 = -i - d, -4*g - 4*i = -1328. Is g prime?
False
Let d = 692 + 64. Let a = 1391 - d. Is a a composite number?
True
Let a = -555 + 569. Suppose a = -5*i + 2109. Is i a prime number?
True
Suppose 10*a - 14*a = 7*a. Let h = 1 + 4. Suppose a = 3*p - 2*p - 4*u - 91, -h*p - 5*u + 455 = 0. Is p a composite number?
True
Let l = 100785 - 51899. Is l a composite number?
True
Is (-179525)/(-645)*5826/10 composite?
True
Let o be (-9 - (2490 + 4))*-1. Let x = -1518 + o. Is x a composite number?
True
Suppose -g + 247777 = -6*y, -11*g + 495596 = -9*g + 2*y. Is g a prime number?
False
Let p = 19798 - 5345. Is p a composite number?
True
Let b = -10004 - -4234. Let g = b - -9861. Is g prime?
True
Let r be 964/7 - 8/(-28). Let q = r + -101. Is q composite?
False
Let k(s) = 3*s**3 - 7*s**2 + s + 20. Let d be k(4). Suppose -163 = -p - d. Is p a prime number?
True
Suppose -t - 5*h - 10 = -2*t, -5*h + 5 = 2*t. Suppose 0 = t*c - 7*c + 10. Suppose -c*o + k + 1900 = 0, 3*k - 2785 + 865 = -5*o. Is o prime?
False
Let p = 4237548 - 2479642. Is p composite?
True
Suppose 2*c = -5*o - 114, 3*c = -c - 5*o - 228. Let m = c + 60. Suppose -m*f = -2*q + 10023, 0 = 2*q + 2*f + f - 10005. Is q a prime number?
False
Let o be (3 - -3)*12/9. Let t be -6*4*(-92)/o. Suppose -4*x = t - 1544. Is x a composite number?
False
Let k(s) = 28*s + 24. Let a be k(-1). Is -1*(a - 0) - -17563 a composite number?
True
Suppose 0 = -3*m + b + 56773, -6*m + 18943 = -5*m - 5*b. Is m a prime number?
False
Let v = 231376 + -92585. Is v prime?
False
Let g(o) = 6*o - 3. Let c be g(3). Suppose -63 = -5*r + 2*w, -r - 2*w = -7*w - 8. Suppose -r*s - 742 = -c*s. Is s a prime number?
False
Let r be (-11980)/(-12)*(5 - (-10)/(-5)). Let t = -1844 + r. Is t a composite number?
False
Suppose -13*x - 3163123 = -33*x + 13032417. Is x a composite number?
True
Suppose -39769489 - 26612672 = -182*t - 127*t. Is t a composite number?
True
Suppose k = -4*w + 792597, -1165*k + 1163*k = w - 198151. Is w a composite number?
True
Let c(j) = -3*j - 44. Let f be c(-22). Is 698 + 46/(-11) + 4/f composite?
True
Suppose 840890 = 2*q + 5*q + 3*q. Is q composite?
False
Suppose 3*l + 3*a = 126, 3*l - 5*a - 51 - 99 = 0. Let i be 440/l - 2/18*-2. Is -1*i/15 + (-161)/(-3) prime?
True
Let d be 16/(-96) - 386/(-12). Suppose -5*b + 4192 = -3*j, -33*b + d*b + 837 = -2*j. Is b composite?
False
Let q be 4/6*(-10 - -4). Let r be (-3 + (-28)/(-8))*4. Is (q + 1369/r)*2 a prime number?
True
Let s(h) = 55*h**2 + 85*h - 53. Let i be s(-8). Suppose 4203 = 4*q - 5*a, -316 = -q + 2*a + 734. Let p = i - q. Is p prime?
False
Suppose -9*v = -8*v - 32. Let z be (-48)/v*8*1. Let k(w) = -48*w - 59. Is k(z) composite?
True
Let k be (-128 + -1)*(-13)/(39/(-161)). Let i = 5858 - k. Is i a prime number?
True
Let h = -111389 - -167878. Is h prime?
True
Let h(w) = w**3 - 3*w**2 - w + 3. Let n be h(3). Suppose n = -4*m - 12, 4*b = -3*m + m + 410. Let s = b - -17. Is s a composite number?
True
Let u = -2020 + 4479. Is u composite?
False
Let z = -20669 + 31544. Suppose -8*c = -84083 + z. Is c a composite number?
False
Let d(b) = 2532*b**2 + 25*b + 48. Let z be d(-2). Let j = z + 1341. Is j prime?
True
Suppose 12296 = q - o, -710*o + 706*o = 2*q - 24622. Is q a prime number?
True
Is ((-50)/(-6))/((-2825)/(-340747545)) a composite number?
True
Suppose -2*s + 8015 = 5*f, 0 = 8*s - 4*s. Is f prime?
False
Let s be -4*(-4)/(-8) - (-4539 - -1). Suppose -15*k + s = -8079. Is k composite?
True
Suppose 0 = -3*v + 2*q + 148973, -33*v + 36*v = 4*q + 148969. Is v a prime number?
False
Let c(w) = 3*w**3 - 101*w**2 + 67*w - 31. Let q be c(33). Suppose -2*y - 19516 = -q*h, -42*y + 43*y - 19507 = -2*h. Is h a composite number?
True
Let p(t) = t**2 + 17*t - 90. Let n be p(-21). Is (278/n)/(4 + 65/(-15)) a prime number?
True
Let u = 47348 + -29630. Suppose 0 = -b, 5*b - u - 14051 = -x. Is x a composite number?
False
Let r(s) = 7*s - 12*s**2 + 16*s**2 - s**3 + 2 - 12. Let w be r(5). Is 319 - (w/2)/(-3 - -5) a composite number?
True
Suppose -2079461 = -41*d + 5018582. Is d a composite number?
True
Let v = 58 + -42. Let b = v + -41. Is 4/10 - 9315/b a prime number?
True
Let u(y) = -4219*y + 99. Let v be u(8). Let f = 48735 + v. Is f prime?
False
Let o = 41 + -37. Let j be (0 - o - -4)/(-2). Suppose -5*w + 9*w - 345 = -5*u, -5*w = j. Is u a composite number?
True
Let h(t) = 5*t**2 + 14*t + 7. Let i be h(7). Suppose 6*l - 528 = 3*k + 2*l, i = -2*k + 2*l. Let x = k - -1649. Is x composite?
True
Suppose -16*g + 8*g = 4*g - 329016. Is g composite?
True
Suppose 12*q = 14*q + 4*i - 12, i = -3*q + 38. Suppose q*s + 9331 = 50337. Is s prime?
False
Let p = -8 - -32. Let i be ((-12)/p)/((-2)/16). Suppose g + 655 = b - i*g, 16 = -4*g. Is b prime?
False
Let g be (-195)/13*-1*2/(-2). Let u(z) = -2*z + 33. Let b be u(g). Is 3*((-1135)/(-21) + 18/b) a composite number?
False
Let o(m) be the second derivative of m**5/20 + m**4/2 - 3*m**3/2 - 8*m**2 - 17*m