 = c**2 + 7*c - 7. Let u be t(-8). Suppose 3*k = -l - 0*l - u, 0 = -3*l - k + 5. Let r = 51 - l. Is r composite?
True
Suppose -2*z - 2*i = -32, -5*i + 30 = 4*z - 36. Is 738/z - (-2)/7 prime?
True
Let y be (1098/(-24))/(6/(-16)). Let x = y + 77. Is x composite?
False
Suppose -3*o + 4*o = 5. Let g(c) = c**2 + c. Let n be g(0). Suppose -5*j + 246 = 2*v, -5*v + o*j - 209 + 754 = n. Is v a composite number?
False
Suppose 12 = 4*j, 0*p - 5*p - 2*j = -256. Let t(c) = c - 16. Let x be t(0). Let d = p + x. Is d a prime number?
False
Let l(k) = 3*k**2 + 9*k + 9. Is l(-8) a prime number?
False
Suppose 0*x = -x + 9. Suppose -20 - 18 = -5*i + s, -3*s = x. Is -38*(i/(-2) + 3) a composite number?
False
Suppose 2*y - 2*p + 404 = 0, 2*y + 384 = 2*p - 4*p. Let k = 346 + y. Is k a composite number?
False
Let w(l) = -15*l**2 - 7*l + 8. Let o be w(-6). Is (2/(-4))/(5/o) composite?
True
Let o(u) = -u**3 - 9*u**2 + 12*u + 10. Let k(q) = -q + 1. Let t(i) = 2*k(i) - o(i). Is t(-9) prime?
False
Suppose 4*w = 2*p + 4, 4 = 2*p - p. Suppose 2*k - w*o = 49, 4*k + 0*o - 105 = -o. Is k prime?
False
Let a(j) be the second derivative of -j**4/12 - j**3 + 2*j**2 - 2*j. Let g be a(-6). Suppose -4*u + 204 = g*d, -d + u + 39 = -u. Is d a prime number?
True
Suppose 3*h = -5*s + 110, -5*h + 0*s = s - 176. Is h prime?
False
Suppose 0 = 4*o - 3*n + 2*n + 12, -5*o - 15 = 4*n. Let k(v) = -v - 3. Let d be k(o). Suppose d = f - 5*f + 196. Is f prime?
False
Suppose -32 = -3*h + 4*l, -4*h + 0*l = -3*l - 31. Suppose -u = -h - 2. Is 2*(-3 + 627/u) composite?
True
Suppose -383 + 64 = -a. Is a a composite number?
True
Suppose -5*j + 110 = -3*j. Is j prime?
False
Let o be (4905/6)/(1/2). Suppose -k - 4*k = -4*x - o, k - 336 = -x. Is k a composite number?
False
Is -1*8/4 + 28 a prime number?
False
Suppose -6*t = 201 - 1791. Is t prime?
False
Let a = -704 + 1353. Is a a composite number?
True
Let k(q) = -6 - 8*q + 2 - 7. Is k(-11) a composite number?
True
Suppose p + 2*w - 4*w = 245, 4*p + w - 1016 = 0. Is p composite?
True
Suppose 0 = -2*t - 0*q + 3*q + 19, 4*q - 12 = -2*t. Is 954/t + 1/(-4) a prime number?
False
Let d(t) = -t + 1. Let r be d(5). Let l(n) be the first derivative of -7*n**2/2 - 5*n + 1. Is l(r) a composite number?
False
Suppose -5*s + 739 + 36 = 5*b, -4*s + b = -605. Suppose -c = -5*r - 50, 4*c - 234 = -3*r + 81. Let n = s - c. Is n prime?
False
Let i(z) be the first derivative of 22*z**3 - z**2 - z - 2. Is i(-1) a composite number?
False
Let b(n) be the third derivative of n**5/60 - n**4/24 + n**3/6 - 2*n**2. Let w be b(4). Is (-2)/w - 3421/(-13) a prime number?
True
Suppose -9 = -4*u + 2*d + 7, u = 5*d - 14. Is u prime?
False
Let m = -40 - -231. Is m composite?
False
Suppose 5*a - 207 = -2*v + 2*a, -2*a - 565 = -5*v. Is v a composite number?
True
Suppose 0 = -q + s + 7234, 3*s + 7249 = q - s. Is q composite?
False
Suppose -3*w + 10 = -77. Suppose 22 = k - 4*c - 1, 0 = -4*k - 5*c + w. Suppose h - k = -0. Is h prime?
True
Suppose 0 = 2*k - 3198 - 1208. Let l = -1518 + k. Is l prime?
False
Suppose 2*w - 3 - 5 = 0. Suppose -w*x + 34 = -22. Is x composite?
True
Is (4/(-6))/((-10)/555) a composite number?
False
Let t = 40 + -25. Suppose -3*c - c = -272. Let s = c - t. Is s composite?
False
Let h(i) = i**3 + 5*i**2 - i - 7. Let w = 9 + -15. Let t be h(w). Let n = 63 + t. Is n a composite number?
True
Suppose 0 = -2*p - 20 + 238. Is p prime?
True
Let n = -7 + 10. Suppose -5*c - n*v = 394, -3*c + 4*v + 243 = -6*c. Let t = -38 - c. Is t composite?
True
Let x(p) = -6*p - 1. Let s be x(-1). Suppose s*v - l = 343, -l - 4*l + 286 = 4*v. Is v composite?
True
Suppose b = 5, 0 = -4*n + 2*b - 996 + 4534. Is n prime?
True
Let c(m) be the third derivative of -4*m**4/3 + 3*m**3/2 - 2*m**2. Let v be c(-9). Suppose 3*a = -a - 8, 3*g - v = 3*a. Is g a composite number?
False
Let q(t) = 7*t**3 - 10*t**2 + 5*t - 7. Let v(d) = -15*d**3 + 20*d**2 - 10*d + 15. Let l(n) = -13*q(n) - 6*v(n). Is l(9) a composite number?
False
Let h = -6 - -8. Let o be -1 - (272 - (-2 + h)). Is (1/(-3))/(7/o) composite?
False
Suppose -2*x + 3*p = -x - 88, -4*x + 2*p = -322. Let v be ((-21)/(-4))/(2/(-16)). Let j = v + x. Is j prime?
True
Suppose 0 = r - 0 + 2, 3*k = 4*r + 770. Is k prime?
False
Suppose 2*a + 22 = 3*w - w, -2*a - 31 = -3*w. Let k(m) = -m**3 - m**2 + 2*m + 1. Let h be k(-2). Is -1 + 0 + (w - h) prime?
True
Suppose 5*b - 2*h = -366, 0*b - 4*h - 204 = 3*b. Let w = -41 - b. Is w a prime number?
True
Let u = -4 + 3. Let j be (-1 - u)/(3 + -4). Suppose j = o - c - 17 - 2, -c - 95 = -5*o. Is o a prime number?
True
Let j(z) = z**2 + 8*z - 5. Let y be j(-9). Is (y - 675/(-6))*2 a prime number?
True
Let o(v) = 11*v. Let r(y) = -1. Let f(g) = -o(g) - r(g). Is f(-14) composite?
True
Suppose 2*c = 7 + 3. Let p(a) = a**2 - a + 5. Is p(c) prime?
False
Suppose 40 - 115 = -5*k. Suppose -3*x + k = -9. Is (-440)/(-32) - (-2)/x composite?
True
Let u = 338 + 56. Is u prime?
False
Is 2/(-4)*(-3320 - -6) a composite number?
False
Let z = 112 + -32. Suppose -188 = -4*q + z. Is q a composite number?
False
Suppose q = -2*i + 200 + 110, -318 = -2*i + q. Is i composite?
False
Let b = -172 - -309. Suppose -4*o = -437 + b. Let p = o + -36. Is p composite?
True
Is 100331/119 - 2/17 a composite number?
True
Is (6/4 - 4)*-106 a prime number?
False
Suppose s - 3*s + 882 = 0. Let h = -265 + s. Suppose 332 = 4*g - h. Is g a composite number?
False
Let y(w) = 15*w + 18. Let d(f) = 23*f + 27. Let x(h) = -5*d(h) + 7*y(h). Is x(-6) prime?
False
Let q be -2*(1/(-2) - 1). Suppose 0 = 2*i + q*v + 1 - 3, i + 5*v - 1 = 0. Is (i - 2)*-1 - -5 composite?
True
Let b(w) = 18*w**2 - 7. Is b(-5) prime?
True
Let a = 17 - 8. Suppose -w + a = -10. Is w a composite number?
False
Let l(d) be the second derivative of -77*d**3/3 - d**2/2 - d. Let v be l(-1). Suppose a = 5*n - v, -28 = -n - 5*a + 13. Is n a prime number?
True
Suppose 4678 = 4*y - 4*t - 3294, 9958 = 5*y + 2*t. Is (-1)/(-2*4/y) composite?
True
Let q = -4 + 1. Let z be (4/q)/((-1)/(-3)). Is 356/(-6)*6/z a prime number?
True
Let o = -2888 + 4811. Is o a prime number?
False
Suppose 0 = -4*s + 20, 1448 = 2*q - 3*s - s. Is q a prime number?
False
Let y be (1 - -1)/((-1)/402). Let z = -550 - y. Suppose -4*f + z = -2*f. Is f a prime number?
True
Let q = -5921 + 8358. Is q composite?
False
Let t be ((-2)/(-6))/((-1)/(-6)). Suppose -t*x + 53 = p + 2*p, 5*x - 2*p = 85. Is x a composite number?
False
Suppose -4*g = -5*g + 6. Is (-3)/9 + 548/g composite?
True
Is 3*2 - (1 + 3 + -4) composite?
True
Let k(v) = 2*v**2 - 10*v + 5. Let t(o) be the second derivative of -7*o**5/20 + o**4/6 + o**3/3 + o**2/2 + 3*o. Let f be t(-1). Is k(f) a composite number?
False
Let u(z) be the third derivative of z**4/24 + z**3/6 - z**2. Suppose 11*c - 9*c = 12. Is u(c) prime?
True
Is (6/(-18))/(2 + 266/(-132)) a composite number?
True
Let y = 70 + -27. Is y composite?
False
Let x = 136 + 925. Is x prime?
True
Suppose c - 790 = -4*c. Suppose -b + c = b. Is b prime?
True
Let s(x) = -8*x + 7*x + 49 + 34. Is s(0) prime?
True
Let k(r) be the first derivative of r**2/2 - 4*r + 2. Let u be k(0). Let j = u - -10. Is j a prime number?
False
Is 717/12 - (-18)/(-24) a prime number?
True
Let s = 11 + -10. Is 266*s*(-13)/(-26) prime?
False
Is 9/12*4*127 prime?
False
Let f(k) = -k. Let i(p) = 2*p**2 + p + 5. Let r(j) = 4*f(j) + i(j). Let z be r(5). Suppose -6 = -2*v, -3*v = 3*q - z - 62. Is q composite?
False
Suppose -2 = -2*l, -3 + 27 = -5*u + 4*l. Is u/22 - 211/(-11) prime?
True
Let y(d) = 9*d**3 + 2*d**2 + 2*d - 1. Let r(c) = c**2 - c. Let u be r(-1). Is y(u) a prime number?
True
Let o = 4 + 0. Suppose o*h + 485 = 9*h. Is h prime?
True
Let d = 1062 + -505. Is d composite?
False
Let q(b) be the second derivative of 0 - 4/3*b**3 - b - 1/2*b**2. Is q(-5) composite?
True
Suppose -5*g = -2638 + 483. Is g a composite number?
False
Let h be 4*(2 - (-3)/12). Let s(a) = -4*a - 5 - h*a + 1. Is s(-3) composite?
True
Suppose -4*m - 64 = -0*m. Let q be (-964)/m + 1/(-4). Suppose -q = -3*d + 117. Is d a composite number?
False
Is 2294/2 + (-16)/(-4) composite?
False
Suppose 0 = -p - 3*p - 5*n - 7, 3*p + 7 = -2*n. Let b = p - -6. Suppose j - 16 = b. Is j composite?
False
Let o = 131 - -31. Suppose x = 3*u - 8 + 168, -x = -u - o. Is x prime?
True
Let b(g) = g**