- b + 3*f = 2394. Is b composite?
True
Let d(j) be the second derivative of -j**5/20 + 3*j**4/2 + j**2 + 14*j. Is d(7) prime?
True
Suppose 0 = -2*w + m + 5391, 3*w - 10770 = -w - 2*m. Suppose -2*s + w = -5*p, 5748 + 1025 = 5*s - 3*p. Is s prime?
False
Suppose 6*s = -48 - 6. Is 4/6 + (-9723)/s a composite number?
True
Let u(r) = 663*r + 368. Is u(11) a composite number?
True
Suppose 3 = 2*k - 25. Suppose -5*d + 287 = 3*q, 3*q + 2 = k. Is d composite?
True
Suppose 2*p + 23 = p. Let q = p + 24. Let s = q + 162. Is s prime?
True
Suppose 0 = 2*v - 2*k - 283 - 1941, -2*v + 2227 = k. Suppose -v = 20*s - 23*s. Is s prime?
False
Let o be (-4)/4 + 85/5. Let z = o + -19. Is ((-27)/(-18))/(z/(-238)) composite?
True
Suppose 0*h - 3*d - 14 = -5*h, h + 4 = 4*d. Suppose h*g = 7*g - 6. Suppose g*a + 139 = 431. Is a prime?
False
Is 2/4 - (-146601)/42 a prime number?
True
Is 1618*(-20)/8*236/(-20) a composite number?
True
Let z(u) = 39*u**3 - 2*u**2 + 15*u - 21. Is z(4) composite?
False
Suppose -27*s + 52*s = 248375. Is s prime?
False
Suppose 4*x + 3*v + v - 356 = 0, -5*x + 4*v + 427 = 0. Let l(j) = 2*j - j + 0*j + x*j**2 + 73*j**2. Is l(1) prime?
False
Let q = -1388 + 16311. Is q a prime number?
True
Suppose 445*m + 12 = 447*m. Suppose -4 = n, 0*n + 4*n = 4*j - 24. Suppose 3*v = j*d - 155, 2*v + 76 = m*d - 5*d. Is d composite?
True
Suppose 0 = 425*a - 417*a - 129992. Is a prime?
True
Suppose -2*y - 11 = -5*d, 4*y + 2*d + 0*d - 14 = 0. Is 348 + y + -3 - 0 prime?
True
Let x = 3500 - 2061. Is x composite?
False
Let h be ((-2)/1 + 6)*10/8. Suppose -n = -2*d + 528, -2*n + h*n + 1322 = 5*d. Is d a prime number?
False
Suppose 7*r + 1112 = 3*r. Let u = r - -489. Let h = u - 6. Is h composite?
True
Let i(y) = -y**3 + 40*y**2 - 17*y - 39. Let s be i(30). Is s/15 - (3 + 39/(-15)) prime?
True
Let f = 904 + -611. Is f composite?
False
Let g(l) = -14*l**3 + 3*l**2 - 5*l - 49. Is g(-5) composite?
False
Suppose -4*q - 5*n - 38 = 14, n = -5*q - 65. Let a(y) = -46*y + 13. Is a(q) a composite number?
True
Suppose -13*s + 16*s = 6063. Is s a prime number?
False
Let a = 11866 - 5364. Is a composite?
True
Suppose -197534 = -12*m - 45722. Is m a composite number?
True
Let u(i) = -408*i**3 - 2*i**2 + i + 2. Let d(f) = f**3 - 2*f**2 + 8*f**2 + 2*f + 4 + 4*f. Let b be d(-5). Is u(b) composite?
True
Let m(n) = 12*n**2 + 18*n + 19. Let f(p) = 25*p**2 + 35*p + 39. Let w(b) = -6*f(b) + 13*m(b). Is w(-10) a composite number?
False
Suppose -p - t + 229 = 2*p, -4*p = -t - 310. Suppose -p*l + 73*l = -344. Is l a composite number?
True
Suppose 5*g = -2*g + 14. Suppose -4*j = -3*k + 2109, -g*k - j + 2831 = 2*k. Is k composite?
True
Is 249894038/3066 + (4/(-21))/(-2) prime?
False
Is ((-2)/((-6)/87))/((-12)/(-3156)) a prime number?
False
Suppose 4*q = -3*a + 2*a + 24, -5*q - 3*a = -37. Suppose 5*s - 740 = -q*c, 282 = 4*c - 2*s - 280. Is c composite?
True
Let h(o) = -2*o + 19. Let i be h(6). Is i + -10 + (1 - -143) composite?
True
Let a be (156/(-8))/(3/(-8)). Let p = a - 116. Is ((-4592)/p)/((-1)/(-4)) prime?
False
Suppose -4*i + 2175 = -0*i - v, 15 = -5*v. Let s = -189 + 343. Let t = i - s. Is t a composite number?
False
Let l = 3587 + -2342. Is (l - (-10 + 5)) + -1 composite?
False
Suppose -2*q = 5*x - 64, 3*q + 2*q + 38 = 4*x. Suppose m - x = -3*m. Suppose 0 = -m*j + 266 - 89. Is j a prime number?
True
Is 520113/12 - -2*(-2)/(-16) a composite number?
True
Let z(s) = 2066*s**2 + 2*s - 5. Is z(2) a composite number?
False
Suppose -106898 = -67*b + 165323. Is b composite?
True
Suppose g - 1113 + 5109 = 3*u, 0 = 3*u - 6. Let q = -2591 - g. Is q a prime number?
True
Is ((-12759)/(-4))/((-33)/(-44)) a composite number?
False
Suppose m - 21*m + 50060 = 0. Is m a composite number?
False
Suppose -a + 121 = 99. Suppose 3*d - n = 74, a = 3*d - 2*d - 3*n. Is d prime?
False
Let w(j) be the third derivative of -1445*j**4/24 + 5*j**2. Let l(c) = 19*c. Let s(i) = 153*l(i) + 2*w(i). Is s(2) composite?
True
Suppose -9*a + 7*a - 4280 = 0. Is a/(-16) - 3/(-12) prime?
False
Let s(j) = -j**3 - j - 3. Let h be s(0). Let i be -1*(-4)/(4/h). Is (i + 2)*3*-2 prime?
False
Let l be -2 + 6/((-1)/1). Let j be (-6478)/10 + l/40. Is (j - -10)*2/(-4) composite?
True
Let q(x) be the third derivative of x**5/15 + x**4/12 - x**3/6 - 6*x**2. Let v be q(1). Suppose v*w = 3*b - 96, 50 = 2*b + w - 27. Is b composite?
False
Let b be (-531)/(-2) + 2/(-4). Suppose 3*c + b = 1090. Let p = -58 + c. Is p a composite number?
True
Is (-16)/32 - 5486/(-4) a prime number?
False
Let p(m) = 14*m**3 + 6*m**2 + 5*m - 2. Let h(o) = 13*o**3 + 5*o**2 + 5*o - 2. Let l(g) = -6*h(g) + 5*p(g). Let i be l(2). Is -4 - (i - (-7 + 4)) prime?
False
Suppose 4*s + 9 - 25 = 0, a + 24 = 2*s. Let m be a*3/(-30)*-25. Let r = m + 77. Is r a prime number?
True
Suppose 3*k = 2*k + 5*z + 427, -4*z = -3*k + 1303. Suppose -5*l - k = 23. Is 7/(1 - (-88)/l) a composite number?
True
Suppose -4*t = -0*t - 20. Suppose -5 = -t*i - 0. Is 3 - i/((-2)/332) prime?
False
Let t(d) = d**2 - 4. Let u be t(0). Is (23949/18)/((-6)/u) a prime number?
True
Suppose -25601 = -9*h - 2174. Is h composite?
True
Let b(j) = 2*j**3 - j**2 - 4*j - 14. Let y be b(-6). Let z = 835 + y. Is z a prime number?
False
Suppose -2*z - 3*z - 5*d = -10, -z = 2*d. Let t = -11 + 14. Suppose 0 = -5*m + t*m + z*s + 106, -10 = 5*s. Is m a prime number?
False
Suppose 17*l = 12*l - 30650. Let u = l + 10821. Is u composite?
False
Suppose t = 5*l - 18, 0*l - 2*l - 3 = 3*t. Let j be ((-7)/t)/((-1)/6). Let r = j - -175. Is r prime?
False
Let a(s) = -2898*s - 31. Is a(-3) prime?
True
Let u be (-1)/(-5) + 28112/(-35). Let d = 1470 + u. Is d a prime number?
False
Let i(r) = 56*r + 2. Let l be i(6). Let n = l + 383. Is n prime?
False
Suppose -3*v = -6*v + 7920. Suppose 4*b - 5*x + 2383 = -248, -4*b - 4*x = v. Let f = b - -928. Is f prime?
True
Let z = 6944 - 4551. Is z prime?
True
Let f(k) = -11*k**3 + 17*k**2 - 3*k + 8. Is f(-5) prime?
True
Let b = -28904 + 88483. Is b prime?
False
Suppose -88 = -5*z + 4*u, 2*z + 5*u - u = 52. Suppose -z*j = -18*j + 4. Let x(b) = -6*b**3 + b**2 + 2*b - 1. Is x(j) a prime number?
True
Let j be (5 + 2)*4/4. Suppose -2*g = -j*g - 40. Let m = g - -259. Is m a prime number?
True
Let g = 9 + 1. Is ((-284)/g)/(-7 + (-198)/(-30)) prime?
True
Let g(b) = 3*b**3 + 3*b**2 + 5*b - 3. Let q be 56/16*16/14. Is g(q) a prime number?
True
Suppose -3*a + 2985 = -4*f, -3*f = -4*a + 2*f + 3979. Let n = 3312 - a. Is n a composite number?
True
Is 1/((-9)/41355)*(-2)/10 a composite number?
False
Let i(x) = -x - 6. Let y be i(-10). Is (-55324)/(-20) + y/10*2 prime?
True
Let d(j) = 3*j**2 + 4. Let u be d(-4). Let o = 119 - u. Is o a composite number?
False
Let b(p) = -p**2 - p + 37. Let i be b(0). Let o = 24 - i. Is o/2*(-30)/3 composite?
True
Let g be -2*2042/12 - (-6)/18. Let m(q) = 8*q**3 + 3*q**2 - 4*q - 2. Let i be m(-3). Let w = i - g. Is w a prime number?
False
Suppose 225*b = 223*b - 6, 0 = 2*k + b - 84083. Is k a prime number?
True
Suppose -108*h - 61396 = -4*o - 109*h, 3*o - 46047 = 4*h. Is o a composite number?
False
Let y(o) = -117*o + 21. Let b be y(-13). Suppose -21*w - b = -23*w. Is w a prime number?
False
Let h be 2 + -21*(-2)/6. Suppose -h + 33 = 8*v. Is (v/(-9))/(5/(-8475)) prime?
False
Suppose 2*y = -t + 10, -4*y + 25 = y + 3*t. Suppose 2*r - 16 + 0 = 0. Let s = r - y. Is s composite?
False
Let r(i) = i - 4. Let s be r(6). Let l be (2 + s)*(-6)/(-12). Suppose 0 = -l*p - t + 832, -5*p - 5*t + 2075 = -0*t. Is p a prime number?
False
Suppose -5*p + 238790 = 5*b, -6*p + 47755 = b - 4*p. Is b composite?
True
Let i = 73 - 67. Let w(l) = 59*l - 20. Is w(i) composite?
True
Suppose -6*f = -2*s - 4*f + 12, 2*s - 5*f + 3 = 0. Let y = 8 - s. Let i(p) = -54*p - 4. Is i(y) composite?
True
Suppose 4*w - 4*d - 2752 = 0, -w + 0*d + 708 = -5*d. Let p = -214 + w. Is p a prime number?
False
Suppose 5*l + 0*c = c + 20, 0 = -3*l + 3*c + 24. Suppose -2653 = -i - 2*a, -2*a = -l*i + 5*i - 5306. Let f = -1682 + i. Is f a prime number?
True
Let u = -1064 - -3057. Is u composite?
False
Is 95674/3*(-4 - (-88)/16) prime?
True
Let r(w) = 7*w**2 - 3*w + 1. Let k(u) = 6*u**2 - 4*u + 1. Let b(l) = 5*k(l) - 4*r(l). Is b(-6) a composite number?
True
Suppose 21*s - 11811 = 18*s. Is s a prime number?
False
Let f(t) = -t - 4. Let 