= 2*t - 3*t. Let f be u(t). Suppose 0 = -5*o - 0*o + 2*v + f, 5*o - 4*v = 111. Is o composite?
False
Let p(m) = -m**2 - 8*m - 8. Let l be p(-6). Suppose 3*n + q = 1489, 1485 = 3*n + l*q - q. Is n composite?
True
Suppose 0*j = -4*j - 292. Let u = 179 + j. Is u a prime number?
False
Let d = -110 + 230. Suppose -3*v = -261 - d. Is v prime?
True
Suppose -2*i + 530 = 3*q, -2*q - 2*q + 793 = 3*i. Is i composite?
True
Suppose -371 = -8*w + w. Is w a prime number?
True
Let v(r) = -r**3 + 11*r**2 + 3*r - 7. Let a(l) be the first derivative of l**3/3 - 2*l**2 - 6*l - 2. Let u be a(6). Is v(u) a prime number?
True
Suppose -j - 20 = -3*j. Suppose 2*m - j = 64. Is m a prime number?
True
Let v(r) = r**2 + 77 + 0*r**2 - r**3 - r**3 + r**3. Is v(0) prime?
False
Let h = 21 + -11. Is (15/h)/(3/76) a composite number?
True
Suppose -962 = -4*r + 514. Suppose -5*s + r = 4*v - 0*s, 3*v = 3*s + 270. Is v a composite number?
True
Let u(j) = -194*j - 1. Is u(-3) a composite number?
True
Suppose 0*o = z + 2*o - 121, -472 = -4*z - 5*o. Let d = z + -62. Let t = -2 + d. Is t a composite number?
True
Let o(y) = -y + 37. Let b = 2 + 4. Suppose 0 = -b*k + k. Is o(k) a prime number?
True
Let l(o) be the second derivative of o**5/20 + 5*o**4/6 - 13*o**3/6 - 13*o**2/2 - o. Let c be l(-11). Let t = 32 - c. Is t a prime number?
True
Let l be ((-2506)/(-21))/((-2)/6). Let a = l - -504. Is a a composite number?
True
Let g = 45 - -248. Is g prime?
True
Let u = 7 + -7. Suppose -g - 5*o + 13 = 0, -3*g + 7 = -u*g - o. Suppose -g + 118 = 5*l. Is l composite?
False
Let y(p) = -p**2 + 119. Let z = 7 + -7. Is y(z) prime?
False
Suppose -2*z + 4*u + 753 = -321, 5*z - 2667 = u. Is z composite?
True
Suppose -h - 62 = -429. Is h composite?
False
Let n(u) = 9*u - 5. Is n(4) a prime number?
True
Let u be 0 + -28 - (-3 + 2). Suppose -63*x = -65*x + 38. Let j = x - u. Is j a prime number?
False
Let w be ((-60)/48)/(1/(-12)). Suppose -w = -2*t + 23. Is t composite?
False
Let r be ((-520)/(-24))/(2/(-12)). Let v = 197 + r. Is v prime?
True
Suppose -q = 4*z + 159, -765 = 3*q + 2*q + 5*z. Let t = -54 - q. Is t a composite number?
False
Let s(z) be the second derivative of z**4/6 + 7*z**3/6 - 4*z**2 - 7*z. Is s(-10) composite?
True
Let s be (12/10)/(6/40). Let z = 14 - s. Suppose z*u = u + 265. Is u prime?
True
Suppose -18670 = -2*l - 3*m - m, -3*l + 28006 = 5*m. Is l a prime number?
True
Suppose 2532 = 4*z + 3*u, -z + 633 = -0*z + 2*u. Is z a prime number?
False
Suppose -5*w + 0*w + 40 = 0. Suppose 5*a - 23 = q - 4*q, 4*q - w = -a. Is (12 - -1)/(q/2) a composite number?
True
Let y be 223 - 3/(-2)*2. Suppose -4*i + y = -6*g + 4*g, -i = 5*g - 84. Is i prime?
True
Suppose 385 = -4*i + 9*i. Is i prime?
False
Suppose 3*z + z - 2*o = -18, -z + 5*o = 0. Is 41 - 5/(z/(-3)) a prime number?
False
Let n = -2653 + 7806. Is n prime?
True
Let g(w) = 15*w - 5. Suppose 2*h + 4 = l - 7, 2*l - 20 = 2*h. Let b(a) = -a**3 + 9*a**2 + a - 5. Let c be b(l). Is g(c) a prime number?
False
Let p = -3 - -5. Suppose -4*h + 4*q = -764, -p*q - 3*q = -20. Is 3*-1*h/(-9) a composite number?
True
Let y = -54 + 87. Is y prime?
False
Let y(f) be the second derivative of f**4/12 - 2*f**3/3 - f**2/2 + 15*f. Let g(o) = o**3 + 7*o**2 + 4*o - 4. Let s be g(-6). Is y(s) prime?
True
Suppose 2 = 4*g - 2. Suppose -r = -3 + g. Suppose -44 = -2*q - r*q. Is q prime?
True
Let y = -8 + 11. Suppose c - 220 = -y*c. Is c prime?
False
Let l(i) = -i**2 + i + 67. Suppose -w + 2*b = -8, -2*b - 5 = -2*w + 3. Is l(w) a composite number?
False
Let z(i) = 157*i. Is z(2) a composite number?
True
Suppose 0 = -3*z + 4*z - 6. Let b(i) = 2*i**2 + 3*i + 7. Is b(z) a composite number?
False
Suppose 0 = 6*w - 4893 - 429. Is w a composite number?
False
Let o be -1*(3 + (-3)/1). Let k be 1*(-1 - o) - -5. Suppose 2*h - 14 = k*n, 2*h + 3*n = -0*h + 42. Is h a composite number?
True
Suppose 4*d = -3*j - 1169, 5*j + 5*d = 2*d - 1952. Let v = -236 - j. Is v a prime number?
False
Let r = -66 - -120. Suppose a - r = -0*a. Let o = 148 - a. Is o a prime number?
False
Suppose -1726 = -3*f - 520. Suppose 0*a + 2*a - f = 0. Suppose -3*h = -0*h - a. Is h prime?
True
Let o = 1 + 8. Let l be (-2)/3*(-27)/(-18). Let w = o - l. Is w composite?
True
Let v = -1125 - -485. Let r be v/(-14) - 2/(-7). Suppose -3*s - 2*i = 9 - 41, 4*s + 2*i = r. Is s composite?
True
Let z(i) = -7*i + 7. Let c be z(-5). Suppose -3 - 1 = 4*b, -4*a = 3*b - 5. Suppose a*u - c = 32. Is u prime?
True
Suppose 0 = 2*s + 2*r - 16, -r - 5 + 25 = 5*s. Suppose -p - s*p + 316 = 0. Is p a composite number?
False
Suppose 2*m - 4*z + 5 = -5, 0 = -m - 4*z + 19. Let k be (9/4)/(m/8). Let a = k + 61. Is a composite?
False
Let c(h) = -2*h**3 + 6*h**2 - 2*h + 6 + h**3 - 2*h. Let y be (-7)/(-14) + 7/2 + 1. Is c(y) a prime number?
True
Let h = -229 - -675. Is h composite?
True
Let r(x) = x**2 + 8*x - 13. Let o be r(-9). Is o/5*2185/(-38) prime?
False
Let r(c) = -4*c + 1. Let q = -3 + 0. Let k be r(q). Suppose 61 + k = 2*m. Is m a composite number?
False
Let g = 30 - -1. Is g/4 + 3/(-4) a composite number?
False
Let y be (-4)/(-6)*81/2. Let v = -13 + y. Is v a prime number?
False
Suppose -2*n - 5*r = -0*r - 13, -3*r - 9 = -3*n. Suppose 5*v = n*q + 187 - 48, 5*v - 147 = 2*q. Suppose 0*d + v = d. Is d prime?
True
Let b = 489 + -266. Is b a prime number?
True
Let o = 21 + -19. Suppose -2*b = 5*n - 254, -2*n = -o*b - 0*n + 254. Is b composite?
False
Let w = 226 - 147. Is w composite?
False
Let s = 105 + -52. Let h = s - 30. Is h prime?
True
Let p(o) = -273*o**2 - o. Let j be p(-3). Is (-3)/(-12) - j/8 composite?
False
Suppose 4*b + 4*p - 629 = 783, 4*b + 3*p = 1412. Is b a prime number?
True
Suppose 3*p - 5*m - 249 = 0, -p + 66 = 8*m - 4*m. Let c = -11 + p. Is c a prime number?
True
Let p(k) = 12 - 6*k**2 + 4*k**2 + 10*k + 3*k**2 - 1. Let j be p(-8). Let w(z) = -38*z + 1. Is w(j) a composite number?
False
Let b(a) = -25*a - 13. Let h(w) = 13*w + 6. Let f(s) = -2*b(s) - 5*h(s). Let t be f(-3). Let j = -10 + t. Is j prime?
True
Let f(o) be the second derivative of -o**5/20 + 5*o**4/6 + o**3/3 - 11*o**2/2 - o. Let t(v) = v**3 + 7*v**2 - 3*v - 11. Let g be t(-7). Is f(g) a prime number?
False
Let k = 0 + 3. Let d(g) = -11*g - 3. Let i(m) = 5*m + 2. Let p(n) = 2*d(n) + 5*i(n). Is p(k) a composite number?
False
Let t be 1 - (0 - (-4)/(-2)). Suppose -296 = o - t*o. Suppose d + o = 5*d. Is d a prime number?
True
Suppose 0 = 2*v + 1 + 7. Let y be (2/1)/(-3 - v). Suppose 3*i + 3*k - 240 = 6*k, -y*i = -5*k - 163. Is i a prime number?
True
Let k(m) = -m**2 - 7*m - 6. Let a be k(-6). Let n(h) = 3*h + a + 1 - 7. Is n(4) a composite number?
True
Suppose 0*c + 2*c + 2 = 0. Let k be (c - (-6)/9)*-123. Let m = -15 + k. Is m composite?
True
Let z = 4373 - -1926. Is z a prime number?
True
Suppose -67 + 75 = 2*l. Let y be ((-5)/1)/(2/(-8)). Is l/y + 58/10 a composite number?
True
Let f = 385 - -34. Is f a prime number?
True
Suppose 3*i - i - 12840 = -m, 3*i + m = 19258. Is i a prime number?
False
Let k = -1 + 5. Suppose 2*m - 5*w - 158 = -w, 0 = k*w + 20. Is m composite?
True
Is 3/((-1 + 3)/298) a prime number?
False
Let u = -432 - -782. Suppose -718 - u = -4*m. Is m a prime number?
False
Let g = 72 + 12. Suppose 0 = -5*y + g + 191. Is y a composite number?
True
Let o = 11 - 6. Suppose -20 = -3*p - o. Suppose -5*m = 4*h - 399, -p*m + 282 + 129 = h. Is m composite?
False
Let d(j) = -j**3 + 2*j**2 + 3*j + 1. Let l(z) = 3*z - 1. Let v = 2 - 3. Let f be l(v). Is d(f) prime?
False
Let d = 90 + 71. Is d composite?
True
Suppose -p = 4*p - 50. Let t be 568/(-5) + (-4)/p. Let j = t + 365. Is j a composite number?
False
Let i be 1/(2 + 9/(-6)). Suppose -7*n + 3*n - 3*a = -810, 3*n = -4*a + 604. Suppose -n = -i*h - 2*h. Is h prime?
False
Suppose -2*k = 2*o - 176, -2*o = 5*k - 2*k - 181. Is o composite?
False
Suppose 3*n + 259 = -824. Let d = 792 + n. Is d a prime number?
True
Let f be (-2 + (-84)/(-9))*18. Is -1*1 + 2 + f composite?
True
Let j(z) = -z**2 - 19*z + 5. Suppose -4*m - 33 = -5*s, 0 = 3*m + s - 3 + 42. Is j(m) composite?
False
Let v = 103 + 24. Is v a composite number?
False
Let g = -99 - -66. Let t be (-12)/(-9)*g/2. Is ((-5)/1)/(2/t) a prime number?
False
Let t = -650 + 1189. Suppose -q - t - 412 = -5*x, -2*x - 2*q + 390 = 0. Is x composite?
False
Let