b = 22895 - 15634. Is b a prime number?
False
Suppose 4*q - 4*a = 29580, -4*q + 7*q = -4*a + 22199. Is q a composite number?
True
Let o be 19 - (-4 + 8)/4. Suppose 14*v = o*v - 188. Is v a prime number?
True
Suppose 3*j - 9220 = -3*k + 14153, j = -3*k + 7795. Is j a composite number?
False
Suppose 0 = 10*a - 5*a + 355. Let d = 176 - a. Is d composite?
True
Suppose -124 = 2*l - 3*l. Let y = 283 + l. Is y composite?
True
Let m be (-2)/7 - 12112/(-7). Let d be 0 - 10/(60/(-5922)). Let o = m - d. Is o a prime number?
True
Let t(j) = -12 + 10*j + j**3 + 4 - 1 + 13*j**2. Suppose -4*q - 19 - 21 = 0. Is t(q) prime?
True
Suppose -33 = -k + 5*t, 2*k - 5*k - 2*t + 184 = 0. Suppose 2010 = -52*c + k*c. Is c a prime number?
False
Let g = 14 - 57. Let m = 67 + g. Let s = 46 - m. Is s a prime number?
False
Let p(y) = -5*y**2 + 3*y + 2. Let i be p(-5). Let d = i - -431. Let o = d - 166. Is o composite?
False
Let d(c) = 28*c + 135. Let t be d(-21). Let a = 111 - -593. Let z = t + a. Is z composite?
False
Suppose 4*y - 1201 = -5*o + 4*o, -o + 1205 = 2*y. Suppose 2*z - o = 3137. Is z composite?
True
Suppose 4*b = -4*q - 4, -2*q = 2*q + b - 5. Let j be (-35)/10*(-110 - q). Suppose 0 = -5*c + o + o + 945, -2*c - 2*o + j = 0. Is c a composite number?
False
Let b(r) = -3*r**3 + 7*r**2 + 15*r + 25. Let w be b(-10). Let v = w - 2134. Is v a composite number?
True
Suppose 3*z + 5*p - 14153 = 0, -5*z + 5*p + 4141 = -19474. Is z a prime number?
True
Let w = -5 + 14. Suppose 3*i + 4*x = -2*i + 4562, w = 3*x. Suppose -5*l + i + 255 = 0. Is l composite?
False
Suppose 4*d + 881 = 4*j - 35, -1118 = -5*j - 4*d. Is j composite?
True
Let c(z) = -129*z - 242. Is c(-15) a prime number?
True
Let n(i) = -2*i**2 - 10*i - 6. Let o be n(-6). Let w(t) = -36*t - 3. Let y be w(-2). Let c = y + o. Is c composite?
True
Suppose -2*j = -o - 26323, 5*o = -0*j - j + 13178. Is j prime?
True
Let i(q) = -q**3 + 6*q**2 - 4*q - 5. Let v be i(5). Suppose -c - 8 = -v*c. Let u(a) = -a**3 - 2*a**2 + 12*a + 7. Is u(c) a composite number?
True
Let i = 20180 - -87017. Is i a composite number?
False
Let k(v) = 150*v**2 + 20*v - 1. Is k(6) a composite number?
False
Suppose 10 + 14 = f. Suppose 6999 = f*w - 21*w. Is w a prime number?
True
Let m(j) = 1863*j + 21. Is m(2) prime?
False
Suppose -14*r + 6414 = -8*r. Is r composite?
False
Let w(k) = 694*k**2 - 4*k + 7. Is w(-5) a prime number?
True
Let q = 17 + -15. Suppose q*x - 17 = -5*o, 2*o - 4*o = -3*x - 3. Suppose 99 = 3*j + o*k + 2*k, j = -4*k + 33. Is j prime?
False
Suppose -u - 4 = -10. Is ((-290)/(-6))/(u/18) composite?
True
Let f(q) = 16491*q**2 - 16*q + 18. Is f(1) composite?
False
Suppose -4*q + 4*w + 21849 - 245 = 0, 5*q + 3*w - 27021 = 0. Is q prime?
False
Let f(i) = -i**2 + 12*i + 4. Let h be f(12). Suppose -4*q + 3*q + 3*o + 322 = 0, 981 = 3*q - h*o. Is q a composite number?
False
Let j = -2625 + 4404. Suppose -3*q = -2*z - 3009, 2*z + 227 = 2*q - j. Is q prime?
False
Suppose 0 = 103*d - 99*d - 39580. Is d a prime number?
False
Let x(z) = 27*z**2 + 4*z - 4. Let i(k) = k**3 + 3*k**2 - k + 1. Let v be i(-3). Let d be ((-3)/v)/(1/(-4)). Is x(d) prime?
True
Let x be -2 - (-1 + -8 + 0). Let d = x - -74. Suppose 335 - d = 2*f. Is f a prime number?
True
Let s(h) = 215*h**2 - 24*h + 193. Is s(6) a composite number?
False
Let h(m) be the first derivative of m**4/4 + 6*m**3 - 15*m**2/2 + 39*m + 32. Is h(-17) composite?
True
Suppose 5*q - 20827 - 15475 = -3*b, 0 = -3*q - b + 21782. Is q a composite number?
True
Suppose 0 = 4*p - 4 + 60. Let y be (-4 + p/(-3))*6. Let k(s) = 5*s**2 - 9. Is k(y) prime?
True
Let i(d) = -2*d + 15. Suppose w - 11 + 3 = 0. Let a be i(w). Let r(l) = 84*l**2 - 1. Is r(a) a composite number?
False
Let u(g) = -4*g**2 - 4*g + 3. Let c be u(1). Let h(d) be the third derivative of -d**6/120 - d**5/12 + 7*d**3/6 - 2*d**2. Is h(c) composite?
False
Let u be ((-5)/2 - -3)*0. Suppose 4*m - m - 6 = u. Suppose -m*z = -z - 155. Is z a prime number?
False
Let s(b) = -121 - 124 + 246 + 93*b. Suppose -2*q + 10 = 0, 4*q - 12 = 2*a + 6. Is s(a) a composite number?
True
Let c(y) be the second derivative of -y**4/12 + 3*y**3/2 + 3*y**2 - y. Let j = -12 + 20. Is c(j) a prime number?
False
Suppose 6*p = -0*p + 12. Suppose -p*f + 5 + 20 = 5*t, -5*t + 20 = f. Suppose -5*o = -t*o - 694. Is o prime?
True
Let s be 2/13 + -3 + 144099/39. Suppose 5*r - 3*j - 5811 - 331 = 0, -3*r = 5*j - s. Is r prime?
True
Let t = 35590 + -20481. Is t composite?
True
Let u(w) = 15*w**3 + 4*w**2 + 5*w + 1. Let o(f) = -14*f**3 - 3*f**2 - 6*f - 2. Let y(a) = 3*o(a) + 2*u(a). Is y(-5) a prime number?
True
Suppose -2*q - 2*v + 802 + 11134 = 0, 0 = 4*q - v - 23877. Is q a prime number?
False
Let b(a) = -42*a**2 - 2*a + 2. Let i be b(1). Let s = i - -95. Is s a composite number?
False
Let n = 1565 + 362. Is n a composite number?
True
Let p(d) be the second derivative of d**4/12 + d**3/6 + 79*d**2/2 - d. Suppose 5*j - 9*j = -6*j. Is p(j) prime?
True
Let l(m) = 257*m**2 - 30*m + 75. Is l(-22) a prime number?
False
Let y be (-2)/(-1)*(-153)/18. Let t(u) = -u**3 - 18*u**2 - 25*u - 25. Is t(y) prime?
False
Let u = 1941 - 760. Is u a prime number?
True
Let u = 8366 - -50005. Is u prime?
False
Suppose 21*p + 744 = 19*p. Let l = p - -953. Is l prime?
False
Suppose -3*x + 6 = -9. Suppose 5*i + 4*p - 4267 = 0, i - 2*i = x*p - 866. Is i prime?
False
Suppose -36*o - 35 = -43*o. Is o/1*3223/55 composite?
False
Suppose 2*i - 4803 = 3967. Suppose 3*j = -2*j + i. Let p = -446 + j. Is p composite?
False
Let u be (-2)/(-5) - (-3549)/15. Suppose -2*b + 93 = -97. Let c = u - b. Is c composite?
True
Let y(r) = r**2 + 485. Let x be y(0). Suppose 5*l = -6*m + m - x, -4*m - 398 = -l. Let u = -40 - m. Is u composite?
False
Let m = -8140 + 14261. Is m composite?
False
Let n = 3 - 0. Suppose -6*p + 3411 = -4*k - n*p, 4*k = 5*p - 3413. Is 4 + (-2)/(8/k) prime?
False
Let s be (-32)/(-24) - (-2)/3. Let z be (s - (3 + -1))/(-2). Is z/(-4 + 5) + 149 prime?
True
Let g(r) = -274*r**3 + r**2 + 6*r - 7. Is g(-4) prime?
False
Let u = 11 - 7. Suppose 4*s = 4*j + 5 + 15, -4*j - 20 = 0. Suppose s = y + u*k + 6, 3*k = 3*y + 9 - 36. Is y composite?
True
Let v = -68 + 41. Let u = 31 + v. Is ((-36)/(-45))/(u/370) a prime number?
False
Let x(y) = -2*y**3 - 6*y**2 - y - 15. Let i(f) = -f**3 + 13*f**2 - 43*f - 1. Let h be i(7). Is x(h) composite?
True
Let i(d) = 27*d**2 + 36*d - 1. Is i(-48) prime?
False
Let f(r) = 12*r**2 + 17*r + 74. Is f(21) prime?
False
Let c = -12348 + 32285. Is c prime?
True
Let r(d) = 28*d**2 + 7*d. Let i be r(-1). Let l = -5 - -8. Is 6251/i + 1/l composite?
True
Let a(f) = f**3 + 6*f**2 - 10*f + 7. Let h be a(-12). Let y be ((-4)/6)/(1/51). Let j = y - h. Is j composite?
True
Let x(j) = 52*j**2 - 1. Let s be -7*2*3/(-21). Let t be ((-24)/16)/(s/4). Is x(t) a composite number?
False
Suppose -9*x = -16192 - 8657. Is x composite?
True
Let j = 7798 - 3825. Is j prime?
False
Suppose 3*h = -1877 + 8903. Suppose 5*r - h = -547. Is r a prime number?
True
Suppose -4*b - k = -60962, -3*b + k = 5*k - 45715. Is b prime?
True
Let q = 0 + 3. Suppose 3*u + q = 0, -5*t - u + 355 = -t. Is t composite?
False
Let s(o) = o - 2. Let c be s(7). Suppose -3*l - 4*j + 194 = 0, 0*l + c*j = 2*l - 114. Suppose 2*v = -z + l, -z - 177 = -5*v + 2*z. Is v composite?
True
Let z be (-1 - -3) + -1 - (-44)/11. Suppose -2*b - 3*b = -z*d + 11145, -5*b = -d + 2221. Is d prime?
False
Let q(h) = 35*h**2 + 29*h + 77. Is q(-16) composite?
False
Let q be ((-1)/(-3))/(2/30). Suppose q*f + 45 = -0*f. Is (-1176)/(-5) - f/(-45) a prime number?
False
Let i be (-1 - 9) + (-9)/(-3). Is ((-7)/i)/(1/2243) composite?
False
Suppose 538205 = 67*w - 1510588. Is w a prime number?
False
Let h = -2481 + 3112. Is h prime?
True
Let l(n) = 2*n**3 + 6*n**2 + 2*n + 7. Let u(p) = -2*p**3 - 6*p**2 - 2*p - 8. Let h(t) = -3*l(t) - 2*u(t). Is h(-4) prime?
False
Suppose k = -3*s + 3356, -4*k + 13394 = -0*s + 2*s. Is k prime?
True
Let v(s) = s - 5. Let i = 13 - 4. Let g be v(i). Is 1/((-4)/(-2964)) + g prime?
False
Let n(w) = w**3 - 8*w**2 - 13*w - 9. Suppose 61 = -3*f + 94. Is n(f) prime?
True
Let n(o) = 2326*o + 263. Is n(6) prime?
False
Suppose 43*p + 3094 = 69*p. Is p a composite number?
True
Let r = -11408 - -23229. Is r a composite number?
False
Let y(o) = -o + 4. Let 