ve of -23*f**3/6 - 39*f**2/2 + 22*f. Is u(-16) composite?
True
Is 25/10*(6 + 33232) composite?
True
Let r be 167 + 10 + 0/(-1). Suppose r = 4*c - c. Is c composite?
False
Let l(q) = 4*q. Let h be l(1). Suppose -h*s + s - 2*x = -1967, -2*s = 4*x - 1314. Is s a composite number?
True
Suppose 52*r = 51*r - 2. Is (38616/(-44))/r - 4/(-22) composite?
False
Let w(s) = -s**2 - 3*s + 2. Let j be w(-3). Suppose -3*u = -0*r - j*r - 235, u + 4*r - 69 = 0. Is u a composite number?
True
Suppose 4*b + 952 = 4*a, a + 4*b + 42 = 280. Suppose 0 = -3*s + 4*o + 279, 3*o = 4*s - a - 134. Suppose -8*n - s = -11*n. Is n a composite number?
False
Let m(u) = 83*u + 3. Let h be m(4). Suppose -2*y = -4*y + 8. Suppose -4*k - y*w - w = -268, -w = -5*k + h. Is k a prime number?
True
Let h(k) = -k**3 - 12*k**2 - 16*k + 3. Let f be h(-11). Let y = f - -39. Is y prime?
True
Let f be (-34)/(-9) - (-4)/18. Let u(w) = -1 + 14*w - f - 32*w. Is u(-5) prime?
False
Let d(i) = 325*i**2 + 40*i - 247. Is d(6) a composite number?
True
Let u(x) be the first derivative of 15*x**2 + 2*x + 5. Let v be u(4). Let o = v - -24. Is o a prime number?
False
Let o = 326 - 208. Let h = o - 7. Is h a prime number?
False
Let j(a) = 1602*a + 527. Is j(33) a composite number?
True
Let s be 2/5 - 3 - 6/15. Let r(a) = -30*a**3 + 3*a**2 + 4*a + 4. Is r(s) a prime number?
True
Let p(d) = 220*d**2 - 12*d + 7. Let q = 143 + -140. Is p(q) a prime number?
True
Suppose -8*v = -12*v + 116116. Suppose 4*o - 8 - 42 = q, 2*q + 45 = -3*o. Is (-4)/q - v/(-195) prime?
True
Let s(c) = 1102*c**3 + 8*c**2 + 8*c - 13. Is s(3) a composite number?
False
Suppose b + 4*p = 4*b - 21225, -2*b + 4*p = -14146. Is b a composite number?
False
Is (8 + -1)*3123/9 a prime number?
False
Let c = -202 - -206. Suppose 0 = 5*w - 0*w - 1265. Suppose 0 = 5*r - r + 5*o - 197, 5*r = -c*o + w. Is r a composite number?
False
Suppose 9*k - 6*k = 16539. Is k composite?
True
Suppose -j - 5*l = -1229, -3*j = -2*j + 2*l - 1241. Is j prime?
True
Let o = 19 - 17. Let p(l) = -1 - 3 + 74*l - o + 1. Is p(2) a prime number?
False
Let f(a) = a**3 + 19*a**2 + 35*a + 23. Is f(18) a prime number?
True
Let v be 24/((-3)/(52 - 1)). Let a = v - -861. Is a composite?
True
Suppose -4*p = -2*d - 131290, -3 = -20*d + 23*d. Is p composite?
True
Let s = -1546 - -2750. Suppose 0*a - a - 410 = 4*p, -p + s = -3*a. Let o = -179 - a. Is o a prime number?
True
Suppose 3*u = 3, 0 = 3*x - 3*u - 786 + 78. Is x a composite number?
True
Let j be 3 - (2 + 0 + 1). Let y be (j - 22)*(-2)/(-4). Let f = y - -18. Is f prime?
True
Let y(o) = o**2 + 13*o + 7. Let r be y(-12). Is 6/(-15) - 2817/r composite?
False
Is 5016/8 + 16/(-4) a prime number?
False
Suppose -5*j + 3*f = 219, 0 = 4*j + 2*f + 143 + 41. Let i = 332 + j. Is i prime?
False
Let x = -30 - -94. Suppose 4*t + 2056 = x. Is t/(-9)*3/2 a composite number?
False
Suppose -y - 11*y = -275484. Is y prime?
False
Let n = -19 + 23. Suppose 470 = -2*g + n*g. Is g a prime number?
False
Is -16887*(1 + -2) - 10 a composite number?
True
Let x = 29 - 27. Suppose 12 = -4*u, -2*u = -x*g - 6*u - 18. Let y(p) = -126*p + 11. Is y(g) prime?
True
Let x be ((-487)/2)/(5/(-10)). Let g = -218 + x. Is g composite?
False
Is -6 + (-222)/(-9)*93/2 a prime number?
False
Let i(c) = 66*c**3 + c**2 - 7*c + 17. Is i(10) prime?
True
Suppose 3 = -3*l, 0 = 4*z + 3*l - 114 + 5. Let m = -13 + z. Is m a prime number?
False
Suppose -23 = x + 12. Suppose -t - 292 = -4*u, -t - 148 = -5*u + 3*u. Let y = u + x. Is y composite?
False
Let j = -26 + 36. Let d = j + -7. Suppose i - 16 = q, 0 = 2*q - 3*q + d. Is i a composite number?
False
Let g(n) be the second derivative of 0 + 1/12*n**4 - 5/2*n**2 - 4*n + 5/6*n**3. Is g(7) composite?
False
Let r be ((-4)/(-6))/(1/495). Suppose 34*z - r = 28*z. Is z prime?
False
Let x(r) = r - 24. Let i be x(21). Is ((-182)/(-21))/((-1)/i) prime?
False
Let h be -3 + 1 + 144/(-16). Let o(s) = -65*s - 21. Is o(h) composite?
True
Suppose -6*z = -111 + 285. Let k = 33 + z. Suppose 2*h + 6443 = 5*h + t, 4*t = -k*h + 8580. Is h composite?
True
Suppose -25*w + 30*w - 3980 = 0. Suppose j - 2331 = w. Is j composite?
True
Suppose 0 = -b - 7 - 2. Is (-70805)/b - 26/117 a composite number?
False
Let n = 14276 + -6343. Is n composite?
False
Let w(d) be the third derivative of 0 - 7/24*d**4 - 9*d**2 + d**3 + 0*d. Is w(-8) composite?
True
Suppose -5*y = -55847 + 14202. Is y a composite number?
False
Let f(p) be the third derivative of 0*p - 7*p**2 - 1/60*p**6 - 1/6*p**3 + 0 + 1/6*p**4 - 1/10*p**5. Is f(-5) composite?
False
Suppose 3*z + 0*u - 102063 = -5*u, -68042 = -2*z - 3*u. Is z a composite number?
True
Let p = -58 + 925. Let j = 0 + 0. Suppose j = 6*n - p - 471. Is n composite?
False
Suppose 2*u - 11 = 6*u + 5*h, -2 = -5*u - h. Let b = 9 - u. Is -164*(-2 + (-6)/b) a prime number?
False
Let n(o) = -2*o + 18. Let i be n(7). Is ((-1)/2)/(2/i) + 164 a prime number?
True
Suppose 5 = -5*y, 0 = -3*h - 3*y + 5*y + 4934. Let a be h/(-3)*3/(-6). Suppose 5*p = 111 + a. Is p prime?
False
Let c = -3 - -4. Suppose -11386 = 5*u - 3271. Is (u/15)/(c/(-5)) a prime number?
True
Suppose 2859 = 3*h - 3*g + g, 0 = 5*h + 5*g - 4790. Suppose 1280 = 4*m + 2*c, 0*m - c = -3*m + h. Is m a prime number?
False
Is (-12)/(-9) + (-762527)/(-57) a composite number?
True
Let q(o) = 2*o**2 + 5*o + 4. Let y be q(-2). Is ((-20)/8)/(y/(-412)) a composite number?
True
Let a be (-14 - -13)*(0 + -3). Suppose -4*l - a*b + 1444 = 0, 2*l + 3*l + 2*b = 1798. Is l prime?
False
Is -11 + 8/1 - -39296 a composite number?
False
Is (8/(32/(-13548)))/(-1) a prime number?
False
Let a(x) be the first derivative of 1/2*x**4 - 1/3*x**3 + x**2 + 0*x + 2. Is a(3) composite?
True
Let u(y) = 0*y**3 - 9*y - 5*y**2 + 2*y**3 - 3*y**3. Let z be u(-6). Suppose 0 = -2*w - d + 2*d + z, 0 = 4*w - 5*d - 174. Is w a prime number?
False
Suppose 30 = -7*b + b. Let m(s) = s**3 + 5*s**2 + s + 3. Let c be m(b). Is 334 + (-2)/4*c composite?
True
Suppose 0 = -i + 6 + 3. Suppose 245 = 5*q - i*z + 4*z, -5*q + 236 = -2*z. Let t = q - -19. Is t prime?
False
Let v = -66 - -69. Suppose -4*p - 2*q = 3945 - 13231, v = 3*q. Is p composite?
True
Let i(m) = 221*m - 216. Is i(13) prime?
True
Suppose -6*f + f = -6690. Suppose 4791 - f = 3*c. Is c a prime number?
True
Let m(p) = 9*p**2 + 27*p + 17. Is m(26) composite?
False
Let d(x) be the third derivative of 3*x**2 - 5/6*x**3 - 1/24*x**4 + 0*x + 0 + 1/60*x**5. Is d(-7) composite?
True
Suppose -41146 = -7*v - 7*v. Is v composite?
False
Suppose -50 = -42*g + 37*g. Suppose g*w = w + 3717. Is w a prime number?
False
Suppose 22*q - 60537 = 22777. Is q composite?
True
Let r be 2/30*3 + 156/(-30). Let v(q) = -241*q + 14. Is v(r) composite?
True
Let n(q) = -37*q**3 + q**2 - 1. Suppose -4*w + 0*w - 2*y - 6 = 0, 15 = 2*w - 5*y. Suppose w*f - 2 = 2*f. Is n(f) composite?
False
Let g be ((-15846)/(-5))/(1/(-5)). Let c be (-3)/4 + g/(-8). Is (-4)/(-14) - c/(-28) composite?
False
Let v = 32 + 0. Suppose 0 = -2*i + 4*h - v, -3*i = -3*h - 2*h + 46. Is (-2 - 64)/(i/6) prime?
False
Is (-279448)/39*6/(-8) a prime number?
False
Suppose 2*r + 6*v - 584209 = -3*r, 4*r + v = 467352. Is r a composite number?
True
Let t(n) = -n**3 + 9*n**2 - n. Suppose -11 = -3*i - i + 3*z, 5*i + 5*z = 40. Suppose 0 = -5*c - 2*q + 31, i*q = 5*c - 0*q - 45. Is t(c) a composite number?
True
Let x(r) be the first derivative of -r**4/4 + 7*r**3/3 + r**2/2 - 3*r - 6. Let v be x(7). Suppose -p + 3 = 0, v*s = 5*p + 1634 - 181. Is s prime?
True
Let w(r) = -17*r**3 + 25*r**2 - 8*r - 5. Is w(-11) prime?
False
Suppose 1180 = -z + 396. Let j = 1417 + z. Is j a prime number?
False
Let t = -180 + 274. Suppose 4*q - 6 = 5*y + 76, 4*q - t = -y. Is q a prime number?
True
Let a(o) = 149*o**2 + 24*o + 81. Is a(-11) composite?
True
Let n = -21 - 3. Is 26194/16 - n/(-192) composite?
False
Suppose -n = -5*m + 1, 0 = -2*m + 3*n + 4 - 1. Suppose 3*d + 2*d - 715 = m. Suppose -q = -5*v + 380, 2*v = -q + 16 + d. Is v a composite number?
True
Suppose -n - 3 = 4*m, 5*n - m + 6*m = 15. Let o = -7 + n. Is ((-74)/3)/(o/3) a prime number?
True
Let d(r) be the third derivative of 5*r**4/2 - r**3/6 + r**2. Let a be 9 - 6 - (-5)/((-5)/2). Is d(a) prime?
True
Is (2146/(-8))/(15/(-60)) a prime number?
False
Let d(r) = 2*r - 4. Let c be d(2). Suppose c = -5*g + g