l(b) = 128*b + 8. Let r be l(8). Suppose -2*m = m + 3*i + r, 3*m - i = -1024. Let d = m + 673. Is d a prime number?
True
Suppose 3*s = 4*m + 6995, m + 3098 = 3*s - 3900. Is s composite?
False
Let a = 38322 + -25891. Is a a composite number?
True
Let j(z) be the second derivative of 109*z**4/12 + z**3/6 + 5*z**2/2 + 11*z. Is j(-3) composite?
False
Suppose -215*i + 214*i = -5897. Is i a prime number?
True
Suppose 1308 = -5*u + 11*u. Suppose -3*k + 127 = -u. Is k a prime number?
False
Suppose 4*f = 4*y + 4, -5*y - f = -2*y - 17. Let o(x) = 2*x**2 + 13 + x + x - 14 + y*x**2. Is o(-3) a composite number?
False
Let q be -3 - (3 + -5) - -3. Suppose 0 = 4*b - 0*v + q*v + 134, 0 = -v - 1. Let g = 71 + b. Is g prime?
False
Let b(j) be the second derivative of j**4/4 - 2*j**3/3 + 9*j**2/2 - 17*j. Let a(p) = -p**2 + 7*p + 8. Let t be a(7). Is b(t) a composite number?
True
Let l be (-4)/14 + (-12)/7. Let c = l + 3. Is c/(-2)*-2*115 prime?
False
Let d = 1062 - 108. Suppose o + d = 5*q, -3*q + 2*o + 768 = q. Let f = 587 - q. Is f prime?
True
Let t = 3745 + -2572. Suppose 2*f - t = -335. Is f a composite number?
False
Suppose 5861 - 2014 = m - 4*x, -m + 3832 = x. Suppose -6*f + f = -m. Suppose -1241 - f = -4*y. Is y a composite number?
True
Is (3 - 0)*1*(5007 + 4) a composite number?
True
Suppose -5 = -0*a - a, 2*a - 22 = -2*v. Let x(d) = d**2 - 5*d - 2. Let g be x(v). Suppose g*u = 3*z - u - 640, -2*u = -2*z + 420. Is z composite?
True
Let c(r) = -163*r - 2. Let b be -12 + -8 - (1 + 0). Let j = b + 20. Is c(j) composite?
True
Suppose -2*w - 2 = 0, x + 1748 - 559 = -3*w. Let s = x + 1821. Is s prime?
False
Suppose 0 = -52*b + 56*b - 10628. Is b a prime number?
True
Suppose 4*y + 4*p - 10 = -p, y - 2*p + 4 = 0. Let d be ((-2 - -2) + y)/2. Let g(u) = -u + 46. Is g(d) composite?
True
Let x(s) = 26*s**3 - s - 1. Suppose -k - 2 = -2*k. Is x(k) prime?
False
Is 12/36*18477*(-1)/(-3) prime?
True
Let i = -1012 + 2297. Is i a prime number?
False
Let r(p) = p**3 - 8*p**2 + 6*p + 1. Let m be r(5). Let t = -13 - m. Let f = 65 - t. Is f a prime number?
False
Let z(f) = 5729*f**2 + 3*f - 3. Is z(1) composite?
True
Let n(w) = 6003*w - 299. Is n(4) a composite number?
True
Let s = -13 + 12. Let w be 15 + -14 + s + 475. Let r = 768 - w. Is r a composite number?
False
Let h be 474080/(-140) + 2/7. Is -3*5/30*h a composite number?
False
Is 20 + -26 + 3023 + 2 composite?
False
Let b = 529 - 542. Let n(z) = -2*z**3 - 30*z**2 - 7*z + 13. Let o(r) = r**3 + 15*r**2 + 3*r - 6. Let u(d) = -3*n(d) - 5*o(d). Is u(b) composite?
False
Let y = 25531 + -1874. Is y prime?
False
Let g = 43 - 115. Let f be 3*6/(-117) + (-4275)/13. Let b = g - f. Is b a prime number?
True
Let r = 453 - -474. Let h = r - 512. Is h composite?
True
Suppose -4 = z - 0*j + 2*j, -10 = -4*z + 5*j. Suppose -2*x + 2*s + 5360 = 0, -2*x + 0*x - 3*s + 5365 = z. Is x a composite number?
True
Let o(w) = 204*w - 133. Is o(15) composite?
False
Let l = 40187 + -21460. Is l a composite number?
True
Suppose 0 = -6*j - j + 175. Suppose -18*b + j*b = 987. Is b a composite number?
True
Let m = -864 - -12347. Is m composite?
False
Is 2131*(-174)/(-10) - 2/5 composite?
True
Suppose -c + 10 = -3*c. Let r(u) = -27*u**3 - 4*u - 6. Is r(c) composite?
False
Let y(m) = m**3 + 9*m**2 - m + 5. Let c be y(-7). Is 2/3 - c/(-6) prime?
True
Let m(d) = d**3 - 7*d**2 + 14*d - 5. Let z be m(4). Suppose 2*g + 2*i + 199 = z*g, 4*i = -16. Is g a prime number?
True
Let h be (-149)/(-3) - 3/(-9). Suppose -5*a + h = 5*d, -3*d + a = 3*a - 34. Suppose 0 = 2*y - d - 420. Is y a composite number?
True
Let z(a) = -5*a**3 - 31*a**2 + 22*a - 6. Let o(g) = -3*g**3 - 16*g**2 + 11*g - 3. Let l(x) = 7*o(x) - 4*z(x). Let b be l(11). Let h = b + 442. Is h composite?
True
Suppose 3*q - 9 = 0, 0 = -l + 6*q - 2*q + 22247. Is l composite?
False
Let f(i) = -2*i - 8. Suppose 0 = -3*z + z - 12. Let w be f(z). Suppose -w*g + 867 + 145 = 0. Is g prime?
False
Suppose 0 = -6*w + 18551 + 11701. Is w a prime number?
False
Let m = -4448 + 6427. Is m a composite number?
False
Let x(o) = 293*o**2 - 6*o + 2. Suppose -35*l + 31*l = 12. Is x(l) a prime number?
True
Suppose 0 = 2*p + 5 + 1. Let n be (-14)/21 + (-17)/p. Suppose -4*r = -2*r - d - 942, 2*d = n*r - 2357. Is r a composite number?
True
Let c(l) = -2*l**2 - 4*l - 2. Let s be c(-6). Let n = -27 - s. Is n composite?
False
Let m(n) = 3*n**2 + n. Let u be m(-1). Suppose -315 = -5*r - 4*t, u*r + 0*r = 4*t + 98. Is r composite?
False
Let t be (-2646)/15*(-70)/(-21). Let h = -166 - t. Suppose -h = -4*c + 2*c. Is c prime?
True
Is ((-9)/(-27))/((-1)/(-37833)) a composite number?
False
Let x = -7420 + 15919. Is x prime?
False
Let s(w) = w**2 + 5*w - 2. Let p be s(-4). Let l(d) = d**3 + 5*d**2 - 7*d + 3. Let i be l(-6). Is p/i + (-47)/(-3) a composite number?
True
Suppose 73*a = 64959 + 95860. Is a composite?
False
Suppose -5*a = -a - 4. Let f(o) = -21*o - 6*o + a - 8*o. Is f(-3) a composite number?
True
Let y be (-1)/(-1) + -3 - -6. Is (-2685)/(-1 - 4) + y a prime number?
True
Let u = -1 + 5. Let g(a) = -a**2 - 4*a + 6. Let d be g(-5). Suppose -d + 57 = u*k. Is k composite?
True
Suppose -n + 3322 + 3811 = 4*o, 5*n - 35731 = 2*o. Is n composite?
True
Suppose 0 = -d - 2*t - 34, -d + 3*t + 7 = 31. Let s = d + 66. Suppose -3*j - s = -k + 38, -270 = -5*k - 5*j. Is k composite?
False
Let u(s) = 2 - 10*s - 2*s - 5*s**2 + 7*s**2 + 3. Is u(-7) composite?
True
Let v be 22 + (-3 - -11)/(-2). Suppose -v*b + 2334 = -12*b. Is b a prime number?
True
Let y = -9 - -12. Suppose -2*w = y*t - 25, -3*w + 35 = 5*t - w. Suppose t*k = 3*k + 262. Is k prime?
True
Suppose 2*o - 6*o + 976 = 0. Suppose -y = y - o. Is y prime?
False
Suppose 413 = 4*s + x, -5*s + 307 = -2*s - 2*x. Suppose 4*j - s = -i, 4*i - 448 = 5*j + 27. Is i a prime number?
False
Let g be (-8489)/(-3) - (-3)/9. Suppose 4*t + 4*o = 3768, g = 3*t + 4*o - 5*o. Is t a composite number?
True
Let k(p) be the second derivative of -p**7/2520 - p**6/360 + 7*p**5/60 + p**4/12 - 3*p. Let b(h) be the third derivative of k(h). Is b(0) a composite number?
True
Suppose 156786 = 29*b - 23*b. Is b composite?
True
Let s = 12739 + -6738. Is s a prime number?
False
Suppose -16*j + 52872 = 8*j. Is j composite?
False
Let b be ((-6)/4)/((-6)/16). Is -1 - (-415 - (b - 7)) a composite number?
True
Let z = 6523 + -3300. Is z a composite number?
True
Let o = -4528 + -342. Is (-9)/81 - o/9 composite?
False
Is (-2)/(-12) + (-99442)/(-12) a composite number?
False
Let t(w) = -302*w + 33. Is t(-5) prime?
True
Let c be 2*-3*1/(-3). Suppose -3*l = -4*z - 64, l - 2*l = -c*z - 32. Let p = 99 - z. Is p a prime number?
False
Suppose -3*a = 17*a - 4220. Is a composite?
False
Suppose -69*m + 27*m + 310506 = 0. Is m a composite number?
False
Suppose 2*o - k + 108 = -o, 0 = -3*o + 3*k - 108. Let d be (3/6)/((-2)/o). Is 6 - d - (1 - 377) prime?
True
Let m(g) = 58*g**3 - 11*g**2 - 5*g + 35. Is m(9) a composite number?
False
Suppose 5*i + 25884 = -4*i. Is (51/(-34))/(2/i) composite?
True
Let p = -21 + 18. Let c = 2 - p. Suppose -c*t + 2*l + 0*l + 657 = 0, -3*t - 3*l + 411 = 0. Is t composite?
True
Let n be (-5)/(-20) + (-31)/(-4). Let c = 12 - n. Is -853*(-1)/4*c prime?
True
Suppose 8*h = 5*h. Suppose h = 7*m - 3*m - 296. Is m a prime number?
False
Let o = 14408 + -5431. Is o a composite number?
True
Is 4 + (-5 - (-13936 + 1)) composite?
True
Suppose -2*v + 58 + 26 = 0. Let t = v + 61. Is t prime?
True
Let s(c) = -298*c + 1. Let a(l) = -894*l + 3. Suppose 3*k + z = -0*k + 10, 6 = 4*k + 5*z. Let q(g) = k*a(g) - 11*s(g). Is q(-1) prime?
False
Let q be 37/13 - (-4)/26. Suppose -q*c + 9076 - 2782 = 0. Suppose -4*i + c = 5*a - 595, 2*a + 683 = i. Is i prime?
True
Suppose 5*h - 108440 - 223947 = 2*w, 16 = 4*w. Is h a prime number?
False
Suppose 5*g + 15*o = 11*o + 196457, o - 78584 = -2*g. Is g a composite number?
False
Suppose r = -15*r + 31568. Is r prime?
True
Suppose 3*q + 12 = 7*q. Is (6/q)/((-10)/(-10475)) prime?
False
Let b = 10853 - 5502. Is b a composite number?
False
Let x = -5026 + 13773. Is x a composite number?
False
Suppose -2*k + k = w + 3611, 5*k = -4*w - 18053. Let n = -1166 - k. Is n prime?
False
Let a(k) = k**3 + 15*k**2 - k - 21. Let u be a(-15). Let o be u/(-4)*(-12)/(-9). Is 53*o/(-6)*-3 prime?
True
Let u be 0 - (-7)/(1