2 + 27*l + 19. Let n(h) = 5*g(h) + 7*j(h). Let k be n(8). Is (536/k)/((-2)/(-15)) composite?
True
Suppose 5*h + 48 = -67. Let o = -19 - h. Suppose z - 50 = -5*a + 332, -o*z - 12 = 0. Is a a composite number?
True
Let q = -8 + 11. Let m(x) be the first derivative of 4*x**2 - 5*x - 21. Is m(q) prime?
True
Suppose 3552 = -12*d + 21276. Is d composite?
True
Let w(z) = -z**3 + 9*z**2 + 5*z + 17. Let d be w(8). Suppose 0 = i - d - 6. Is i a prime number?
True
Suppose -134*q = -117*q - 423793. Is q a composite number?
True
Suppose -8 = 2*g, 2*b - g = -3*b + 24. Suppose 763 = b*a - 185. Is a composite?
True
Suppose 4*i = 5*i - 2937. Suppose 3*d = i + 3756. Is d a composite number?
True
Suppose 0 = 5*k + 26 + 49. Let n(c) be the first derivative of -3*c**2 - 13*c + 1. Is n(k) a prime number?
False
Let s(j) = 20*j**3 - j**2 + j + 11. Is s(4) a prime number?
True
Let z = -41 - -38. Suppose -5*a = -a - 4. Is a/z + 1648/48 composite?
True
Suppose 3*x + 2*x = 85. Suppose -4*p + x - 97 = 0. Is (-5904)/p - 1/5 a prime number?
False
Let b(s) = 418*s**2 + 18*s - 7. Is b(5) prime?
False
Is 0 + (-1)/6 + 2645934/36 prime?
False
Suppose 0 = -2*f + 4*z + 1982, 2*z = -4*f - 2*z + 3940. Suppose -427 - 231 = -2*v + o, f = 3*v - 2*o. Is v prime?
False
Let z(u) = 320*u**3 - 1. Let s be z(1). Let k = -205 + 209. Suppose -k*t + s = -173. Is t a composite number?
True
Suppose 50*k - 42*k = 82808. Is k prime?
False
Let w(x) = 85*x - 11 + 103*x - 2. Is w(3) a prime number?
False
Let c be 1/(-3)*(-5 + 8). Is c - (-4 + 2) - -148 a prime number?
True
Suppose 1306*v + 81499 = 1317*v. Is v a composite number?
True
Is ((-270730)/(-25))/(5 + (-69)/15) a prime number?
True
Suppose 0 = -j - j + 10. Suppose -38*c - 55 = -435. Suppose -j*k = -c*k + 655. Is k a composite number?
False
Let t(h) = 314*h**2 - 34*h - 3. Is t(-11) a prime number?
False
Is 9/(-54) + (-136555)/(-6) prime?
False
Let k = -2837 + 13126. Is k prime?
True
Let d(m) = 41*m**2 + 14*m. Let j be d(6). Suppose -4*l + j - 332 = 0. Is l prime?
True
Let y(k) = 6569*k + 673. Is y(6) prime?
True
Let d(a) = 161*a - 12. Let u(i) = -i - 4. Let z be u(-5). Is d(z) a composite number?
False
Suppose 18*t = 19*t - 1201. Is t prime?
True
Let w(f) be the first derivative of f**4/4 + 10*f**3/3 - 7*f**2 - 13*f - 1. Let z = -73 + 63. Is w(z) prime?
True
Let x be ((-2)/4)/(3/(-18)). Suppose 5*o - q = 751 + 610, -3*q - x = 0. Let p = 35 + o. Is p a prime number?
True
Let y be ((-12)/10)/((-2)/(-5)). Let u(v) = -v**3 - 2*v**2 + 3*v + 3. Let q be u(y). Suppose -s + q = 2*s, 702 = 5*b - 3*s. Is b a prime number?
False
Suppose 4 = -b - l, -6 + 2 = -2*b + l. Is 3874/26*(2 + -1 - b) a prime number?
True
Let x = 28121 - 17374. Is x prime?
False
Suppose -u - 2 = 7. Let d(c) = -c**2 - 9*c + 2. Let p be d(u). Suppose l + p*m = 39, -l + 5*m + 23 + 2 = 0. Is l composite?
True
Let s be ((-442)/(-6))/((-4)/(-12)). Let o = s - 312. Is (-4)/(-6) - o/3 prime?
True
Suppose 2*r + 2*t = 3722, 4*r - t = -r + 9311. Let j = r + 185. Is j composite?
True
Suppose -13 = -4*v - 29. Let u(k) = 8*k**3 + 2*k**2 + k. Let f be u(-1). Let w = v - f. Is w a prime number?
True
Let v(p) = -p**3 - 3*p**2 + 3. Let z be v(7). Is -1*6/3 - z a composite number?
True
Let b be 4*(4 - 0 - 3). Suppose -6*k + 3*k - 571 = -2*a, a - 283 = b*k. Is a prime?
False
Let i(y) = y**3 - 8*y**2 + 8*y - 3. Let r be i(7). Suppose -3*x - 2*w = -r*x + 61, -5*w + 231 = 4*x. Is x a prime number?
True
Suppose -1197 - 58 = -5*a. Is a composite?
False
Let y(q) be the first derivative of 8 + q + 22/3*q**3 - 3*q**2. Is y(5) a prime number?
True
Let o = -2920 - -5859. Is o a composite number?
False
Let v be ((-6)/3 + 2)/1. Suppose 2*j - l + 2 = l, v = 5*j + l + 23. Is (4 + -1 + j)*-69 a composite number?
True
Suppose 2*r - 185 = -1449. Let m = r - -897. Is m a prime number?
False
Let r(y) be the second derivative of -65/6*y**3 - y + 0 - 17/2*y**2. Is r(-14) prime?
False
Suppose 4*y = -y - 15430. Let r = y - -5119. Let d = r - 1354. Is d composite?
True
Let f(b) = 6*b**3 - 2*b**2 - 23*b - 37. Is f(12) composite?
False
Is 40 + 356 - (1 + 0) a composite number?
True
Let a = 133 - -61. Let o = a - -17. Is o prime?
True
Let k(l) = 3*l. Let b be k(1). Suppose 5*v + 6 = -3*w, 1 + 2 = -4*v - 3*w. Is 1 + (v + 89)*b composite?
True
Is 4*2*(-442541)/(-88) prime?
True
Suppose 3*i = -4*x + 20067, -2*i = 2*x - 16229 + 2851. Is i a composite number?
False
Suppose 1 = -3*k + 7, 4*k - 119045 = -3*x. Is x a prime number?
True
Let j(f) = -17 + 14 - 7*f + 14 + 10. Is j(-20) a composite number?
True
Suppose 5 + 10 = 5*t. Let x be (-4 + t)*(2 + 4). Is (-1257)/x*(4 + -2) a composite number?
False
Let f = 8126 - 947. Is f prime?
False
Let z = -3702 + 6311. Is z a prime number?
True
Let p(v) = -232*v - 25. Let f(b) = -b**3 - 7*b**2 - b - 9. Let s be f(-7). Is p(s) a prime number?
True
Suppose -3810 = 116*b - 122*b. Is b a composite number?
True
Let q(i) = -77*i**3 - 2*i**2 + i. Let s be q(2). Is (-3)/(1 + -4) - s a prime number?
False
Suppose 0 = 2*w - y - 2126, 2*w + 3*y - 2142 = -0*w. Suppose -20*u + w = -15*u. Let j = u + -50. Is j a composite number?
False
Let s be -5*(0 + 2 + -1). Let c(z) = 46*z**2 - 5*z - 3. Let t be c(s). Let o = t - 195. Is o prime?
True
Suppose 10*x - 6*x = 3*j + 3251, 5*j - 4020 = -5*x. Is x a composite number?
False
Let c be (-1)/(3 + 32/(-12)). Let w be (-1 - 1)*(-4 - c). Suppose -3*u + 3128 = 4*l, w*u - 1566 = 3*l - 5*l. Is l composite?
True
Let z(p) = -3 + 170*p + 139*p + 1. Let i(d) = d**3 + 4*d**2 - 5*d + 1. Let v be i(-5). Is z(v) composite?
False
Let b(r) = 728*r**2 + 18*r + 41. Is b(-6) a composite number?
False
Let y be 6 + (-1 - -3) + -5. Let m be -3*(y - 619/(-3)). Is (m/(-10))/(4/10) prime?
True
Let n = -74 - -50. Let c = n + 13. Let x = 13 + c. Is x composite?
False
Suppose s - 3*f = 679 - 232, 5*s = -f + 2187. Suppose -s = 5*j - 168. Let b = j + 107. Is b a prime number?
True
Suppose -27*i + 41*i - 55538 = 0. Is i composite?
False
Let j(l) = 392*l**2 - 25*l - 184. Is j(-9) a composite number?
False
Let l be 1*2 - 40/(20/5). Is (-1)/(l/(-1516)*1/(-2)) a prime number?
True
Let h = 33 - 27. Suppose r - h*r + 485 = 0. Is r prime?
True
Suppose 6*g - 61 = 3*g + h, -4*g + 2*h + 82 = 0. Let q be (g - -1)/(-5 - -6). Is 993/q + (-6)/21 composite?
False
Suppose i = -3*c + 84770, -c - 199476 + 538567 = 4*i. Is i a prime number?
False
Let w = -235 - -4634. Is w a prime number?
False
Let n(p) = 18*p**2 - 44*p + 27. Is n(11) prime?
True
Let u be 8/(-2*2/(-210)). Suppose -334*d + 331*d = 39. Let w = u + d. Is w a composite number?
True
Let j(x) = -3*x - 3. Let g be j(-1). Suppose 4*q + n - 1655 = g, q + 5*n - 520 + 92 = 0. Is q prime?
False
Suppose 8*c = 3*c + 5070. Let i be 2/(4 + 4844/(-1210)). Let m = c + i. Is m a composite number?
False
Let f = -433 + 630. Suppose 2*l + 33 = f. Let j = l - 5. Is j composite?
True
Let u = 14382 + -5924. Is u a prime number?
False
Let h be -1*(2*-1 - 0). Suppose -m + 471 + 400 = 0. Suppose 2*z + m = 3*r - 0*r, -h*r - 5*z = -587. Is r composite?
True
Let r(o) = 41*o**2 + 13*o + 43. Is r(-9) a prime number?
False
Suppose -x + w = -330, -3*x - 3*w + 874 + 146 = 0. Is x a composite number?
True
Suppose 4*n + 30 = m + m, 0 = 5*m - 3*n - 110. Let l = m + 72. Is l a composite number?
False
Suppose a - 862 - 3481 = 0. Is a a composite number?
True
Let f = 68 - -59. Suppose -2*m + 20 = 3*m. Suppose f = -m*q + 5*q. Is q prime?
True
Let x(h) = 165*h**2 + 5*h + 1. Suppose 5*c + 20 = 5. Is x(c) a prime number?
True
Let t be ((-6)/9)/(4/(-30)). Suppose 2*u = -t*o + 735, 2*o = 5*u + o - 1878. Let b = 666 - u. Is b composite?
True
Suppose -5*o + 5*t - 28587 = -94657, 5*o + 5*t - 66100 = 0. Is o a composite number?
False
Let n = 226 + 783. Is n prime?
True
Let o(r) = -300*r - 3. Let w be o(-1). Suppose w = u + 47. Is u + (-4)/(-3 + 7) prime?
False
Suppose 5*p + 0*p = 2*z + 5, 8 = p + z. Suppose 0 = q - p*q + 826. Is q a prime number?
False
Let z = -1556 - -2187. Is z a composite number?
False
Let c = 4 - -123. Let y be (1 - (-7)/(-5))*-120. Let s = c - y. Is s composite?
False
Let t be 1 - (-34 + 3 + 2). Let d = t - -92. Suppose -5*b - d = -m, m - b + 44 - 146 = 0. Is m prime?
True
Let v be (-2 - 1) + (3 - -1). Let i(a) = v + 28*a**2 - 28*a**2 + 73*a**2. Is i(-2) prime?
True
Let i 