 + z = u, -b - 2*b = -5*u - 39. Is (-4)/u - 14/(-6) prime?
True
Let w = -294 + 105. Let z = 58 + w. Let k = 184 + z. Is k composite?
False
Let c(o) = 9*o - 4. Let w(t) = -t. Let s be w(-6). Let b be c(s). Let f = -36 + b. Is f a prime number?
False
Let t = -338 - -553. Let y = -141 + t. Is y composite?
True
Let z(q) = q - 6. Let g be z(3). Is g/(-5) + 2528/20 composite?
False
Let m = 696 - 483. Is m composite?
True
Let y be ((-2)/(-6))/((-3)/(-45)). Suppose 2*d = -5*c + 653, 3*c - y*d - 396 = -2*d. Let h = c - 92. Is h a composite number?
True
Suppose -2*j - 3*t + 307 = 0, 4*j + t = -4*t + 619. Is j prime?
False
Suppose 4*n = 4*m - 4024, 5*m - m + 5*n - 4051 = 0. Is m a composite number?
False
Suppose 0 = 3*q + 2*q - 25. Suppose -q*h = 3*l + 8, l = 2*h - 3 + 4. Is 44*h*1/(-2) a prime number?
False
Let f = -20 - -10. Is 5/f*(1 + -47) a composite number?
False
Suppose 5*f - 12148 = 10*r - 7*r, 3*f + 5*r = 7282. Is f a composite number?
True
Let z = 100 - -488. Suppose 5*x = -z + 3083. Is x prime?
True
Let k = 11 - -40. Let r = k - 12. Is r prime?
False
Let k = 706 + -399. Suppose m = -2*f + k, 0*f - 3*f = m - 462. Is f prime?
False
Is 634/8 + (-5)/20 a prime number?
True
Let y be -2 - 0/(2 + -1). Let n = y - -20. Suppose -2*k + 3*g = -g - n, -10 = -2*k - 4*g. Is k a prime number?
True
Suppose -6*v - 108 = -4*v + 3*r, 5*v - 4*r + 270 = 0. Let p = -29 - v. Is p prime?
False
Let o = -60 - -91. Is o a prime number?
True
Let x(h) = -3*h**3 - 39*h**2 + 51*h - 16. Let y(j) = -j**3 - 13*j**2 + 17*j - 5. Let v(w) = 3*x(w) - 8*y(w). Is v(-15) a composite number?
True
Suppose 0 = 2*x + x. Suppose x*q - 55 = -q. Is q prime?
False
Let p(w) be the first derivative of -w**3/3 + w**2 - 4*w - 2. Let x be p(6). Let q = x - -49. Is q a composite number?
True
Is -4 - (527/(-1) - 0) a prime number?
True
Let o(x) = 2*x + 1. Let k(v) = -7*v + 4. Let m(y) = -6*y + 3. Let s(r) = 5*k(r) - 6*m(r). Let l be s(4). Is o(l) prime?
True
Is (-100404)/(-54)*(-6)/(-4) prime?
True
Let t(a) = 19*a + 4. Is t(6) composite?
True
Let y = 14567 + -6066. Is y prime?
True
Is 5055/6 + (-1)/(-2) prime?
False
Let a(y) be the first derivative of y**3/3 + 7*y**2/2 + 8*y - 3. Let b be a(-6). Let g = 37 + b. Is g prime?
False
Is (457 - 6 - -2)/(1 - 0) prime?
False
Suppose 0 = -9*i + 13*i - 8. Is i/10 + 868/35 composite?
True
Suppose 0 = -i, -3*o - 3*i + 1 = -5. Let x be -660*1*o/(-4). Suppose 24 = 2*k - 3*v - 146, -4*k = -v - x. Is k composite?
True
Suppose -1672 = -5*c - 3*i, -c + i + 339 = -3*i. Is c a prime number?
False
Let y(v) = 3 - 1 - 6 - v. Let n be y(-6). Suppose -5*r + 70 = 5*i - 0*i, -28 = -2*i + n*r. Is i a prime number?
False
Let s be 4*5/(20/(-42)). Let h = -73 - s. Let q = -20 - h. Is q prime?
True
Suppose 3*n = 2*u + 54, 0*n = 4*u - 3*n + 114. Is (58/(-4))/(3/u) a composite number?
True
Let t(m) = -m**3 + 9*m**2 + 2*m - 7. Let l be t(7). Let k = l + 8. Is k a prime number?
True
Let l be (-7)/(-14) - (-1095)/2. Suppose -v = -4*v - 5*y + l, -5*y - 25 = 0. Is v prime?
True
Suppose -4*b = -b - 165. Let r = -30 + b. Is r a composite number?
True
Let m = -1 + 2. Let j(f) = -f**2 - f + 1. Let w be j(m). Let x = w + 14. Is x composite?
False
Let g = 71 + 55. Suppose 5*k + 4*o = g, 4*o = -4*k - o + 108. Is k composite?
True
Suppose 6 = -2*v, 0*r - 5*r + 828 = -v. Suppose 3*z - 121 = z + 5*l, 0 = -3*z + 2*l + r. Is z a composite number?
False
Suppose -2*m - 960 = -168. Let w be 1*(-267 + (-7 - -5)). Let l = w - m. Is l composite?
False
Suppose -z - 2 + 4 = 0. Is (-865)/(-10) + 1/z a composite number?
True
Let b(r) = -r**2 + 8*r - 1. Let v(u) = 3*u - 6. Let f be v(4). Is b(f) a composite number?
False
Suppose -4*x = -7*x + 1041. Is x a composite number?
False
Let g = 158 - 253. Let i = 44 - g. Is i prime?
True
Suppose -m + 2 + 7 = 0. Let r(a) = 0*a + 0*a**3 + m - a**3 - 6*a**2 - 10 - 4*a. Is r(-6) a prime number?
True
Let a be (1 - -2) + -8 + 2112. Suppose 455 = -4*w + a. Is w prime?
False
Let s = 3 + -9. Let y = 47 - s. Is y a prime number?
True
Is (15 - 3)/(-3) + (1 - -96) a composite number?
True
Let z(h) = 6*h + 1. Suppose 6*n = 3*n + 15. Is z(n) a composite number?
False
Let r be (-44)/(-10) - (-2)/(-5). Let b = r + 65. Suppose -24 - b = -3*l. Is l prime?
True
Let t(x) be the second derivative of x**5/20 - x**4/3 - x**3/6 - x. Let w(k) = -4*k**3 + 17*k**2 + 4*k. Let o(c) = -9*t(c) - 2*w(c). Is o(-1) a prime number?
True
Let b(y) = -11*y**2 + 5. Let t(o) = -33*o**2 + o + 15. Let h(r) = -11*b(r) + 4*t(r). Let j be h(-5). Let s = -163 - j. Is s prime?
True
Suppose 5*b + 8 = 6*b. Let i(f) = -2*f + 4*f + 3 - f. Is i(b) composite?
False
Suppose 5*j = 13 + 7. Suppose 3*w - 9 = -0*w. Suppose 2*f - 50 = -2*c, j*c - w*f = c + 63. Is c a prime number?
True
Let g = -1 + 1. Let c(n) = -4*n + 18*n**2 - 1 + g + n. Is c(-2) prime?
False
Suppose -244 = -2*x + 4*t, 2*x = -3*t + 129 + 101. Is x a composite number?
True
Suppose 0 = 5*z - z - 444. Suppose 0 = l - 0*l - z. Is l prime?
False
Let a be ((-12)/(-9))/((-6)/(-9)). Suppose n - 25 = 4*m, 3*n - 6*n + 65 = -a*m. Is n prime?
False
Let z be 3/1 + -1 + -1. Let h be 6/((-2)/(-2)*z). Is h/(-4)*(-56)/6 prime?
False
Let x = 8 - 16. Let k(j) = -37*j - 3. Is k(x) a prime number?
True
Let c(n) = -n**3 + 15*n**2 - 3*n + 7. Let u be c(14). Suppose 0*a = -a + u. Is a composite?
True
Let i be (-21)/35 + (-1993)/(-5). Suppose 4*n = 126 + i. Is n prime?
True
Let c(s) = -44*s - 9. Suppose -9 = -z + 4*z. Is c(z) a prime number?
False
Let d(p) = p**3 - 14*p**2 - 16*p + 22. Is d(15) prime?
True
Let p = -506 - -748. Let o = p - 93. Is o a composite number?
False
Suppose 601 = 3*i + 202. Is i a composite number?
True
Suppose 4*a - 586 = 2*i, -5*a + 4*i + 96 = -629. Is a a prime number?
True
Let i(l) = -4*l + 6. Let b be i(5). Let k(w) = -w**2 - 2*w - 5. Let u be k(4). Let n = b - u. Is n composite?
True
Let y(u) = -u**3 + 5*u**2 + 3*u + 2. Let f be 1 + 2/1*-2. Is y(f) a prime number?
False
Is 6/(-4) - (13866/(-12) - -3) a composite number?
False
Let o = 958 - -605. Is o composite?
True
Suppose -4*b - 1417 = -3*f, -5*b = 2*f - 1372 + 458. Is f prime?
True
Let q be ((-3)/(-2))/(12/16). Suppose 3*g = -i + 296, -2*i - q*i + 1133 = -5*g. Is i a prime number?
False
Let b be 4/(-14) - 259/(-49). Is (-1)/b + (-696)/(-30) composite?
False
Suppose -q + 10 = q. Let c(o) = -6*o**2 + 14*o + 1. Let f(b) = 7*b**2 - 15*b - 1. Let i(k) = q*f(k) + 6*c(k). Is i(6) composite?
False
Suppose 27 = 5*j - q, -4 = -2*j + q + 8. Let f(c) = c + c**2 - 3 + 2*c + 0*c**2. Is f(j) a prime number?
True
Suppose -8*b = -5*b - 1959. Is b composite?
False
Let i = -110 + 227. Is i/5 - 2/5 composite?
False
Let x = -435 - -854. Is x composite?
False
Let g(t) = -107*t - 3. Let d be g(-2). Let o = d + -84. Is o a composite number?
False
Is (-487)/(2 + (-3)/1) composite?
False
Suppose 54 = s - 20. Is s a composite number?
True
Let x be 7/(-2 + 1 - -2). Let i(k) = k - x - 10*k - k**2 + 0*k. Is i(-6) prime?
True
Let i(k) = -k**3 - k**2 + 1. Let g(x) = 19*x**3 + 2*x**2 + 2*x - 4. Let p(s) = g(s) + i(s). Let m(t) = -t**2 - 6*t - 3. Let y be m(-5). Is p(y) composite?
False
Let g(x) be the third derivative of x**5/60 - 5*x**4/24 - 11*x**3/6 + x**2. Is g(-9) prime?
False
Suppose -4*c + 126 = -230. Let y be 2/((-1325)/(-1315) - 1). Suppose -4*j + j = -w - y, -j + c = -w. Is j prime?
False
Is 3/(-6)*(-4 - 530) composite?
True
Let k(i) = -i**2 + 7*i + 5. Let g be k(6). Is (g/4)/(1/28) composite?
True
Let y(t) = 24*t + 2. Is y(3) a prime number?
False
Suppose 0 = 6*p - 2*p - 748. Suppose -2*b + 79 = -p. Is b prime?
False
Let k(j) be the third derivative of -j**6/120 + j**5/5 + 11*j**4/24 - 11*j**3/6 - j**2. Is k(9) a composite number?
False
Suppose 4*d - 1839 - 705 = 0. Suppose 3*x - d + 18 = 0. Suppose j + 57 = x. Is j composite?
False
Let f = -5002 - -8355. Is f prime?
False
Suppose -4*i + 48 = -5*x - 8*i, -4*i = -3*x - 16. Let j(w) = -2*w - 6. Is j(x) a prime number?
False
Suppose 3*d + 5*h = h + 2544, -2*d = 2*h - 1694. Suppose -5*b + b = -d. Is b composite?
False
Suppose -5*s + 41 = -824. Suppose -s + 25 = -4*y. Is y prime?
True
Let c = -5 - -5. Suppose c*y = 3*y - 645. Is y a prime number?
False
Let w = -7 + 11. Suppose -k = k - w. Suppose k*o + 206 = 3*v + v, -2*o + 6 = 0. Is v composite?
False
Suppose 758 = 2*b