 = 13*d**3 + 12*d**2 + 19*d + 6. Let c(w) = -7*w**3 - 6*w**2 - 10*w - 3. Let s(p) = 11*c(p) + 6*f(p). Is s(-4) a composite number?
False
Let j(a) = -5*a + 0*a**2 + 2*a**2 - 17 - a**2. Is j(-7) composite?
False
Let w(d) be the third derivative of d**5/30 + 5*d**3/6 + 2*d**2. Is w(-4) a prime number?
True
Let i(m) = m**2 - 9*m + 6. Let v be i(8). Let z = v - -2. Suppose 2*c + 2*c - 88 = z. Is c a composite number?
True
Is (-2)/(-2)*(1 - -126) prime?
True
Let r(g) = g - 2. Let v(h) = h**3 - 3*h**2 - 3*h + 5. Let i be v(4). Let u be r(i). Let x(m) = -m**3 + 9*m**2 + 3*m. Is x(u) composite?
True
Let y = 16 + -11. Suppose -3*k = -u - u + 419, -u - y*k = -216. Is u a prime number?
True
Let n = -38 - -165. Is n composite?
False
Let g = 9 - -368. Is g a composite number?
True
Suppose 2*l = 5432 + 302. Is l a prime number?
False
Suppose g + 316 = 57. Let j = -128 - g. Is j a prime number?
True
Let g be (-5)/15 + (-5)/3. Is (-2 - -55)/(g - -3) a composite number?
False
Suppose -20*y = 3*i - 15*y - 12736, -4*i - y = -16987. Is i prime?
False
Suppose 0 = 2*r + 6*r - 7624. Is r composite?
False
Suppose -3*d + 2*d - 104 = -2*q, -q = -2*d - 211. Is d/(-3) + (-2)/6 prime?
False
Let a(n) = -116*n + 22. Is a(-6) a prime number?
False
Suppose 879 = 4*t - t. Is t a prime number?
True
Let j be (3/2)/((-3)/(-8)). Suppose 0 = -j*t + 16 - 0. Suppose 2*x + t*w - 118 = 0, 0 = 2*x - 2*w - 0*w - 88. Is x a composite number?
True
Let c(l) = 93*l**2 - l - 1. Is c(1) a composite number?
True
Let k(w) = -w**3 - 11*w**2 - 10*w. Let r be k(-10). Let j(l) = l**3 + 87. Is j(r) a composite number?
True
Let w = 4 + 13. Suppose 11 = 2*q - w. Suppose -5*b + 3*b = -q. Is b prime?
True
Suppose 2*u - 154 = -0*u. Suppose -g + 0*g + u = 0. Is g a prime number?
False
Suppose -2 = -4*c + 14. Suppose 4*a - 63 = -c*k + 77, -3*a + 5*k = -137. Is a prime?
False
Let f = 0 - 0. Let b(g) = g**2 - g + 3. Is b(f) a prime number?
True
Let t(i) = 2*i**3 - 8*i**2 - 4*i + 5. Let x be t(7). Let c(g) = 23*g - 8. Let y be c(-8). Let a = x + y. Is a prime?
True
Let k be (-2 + 5/2)*120. Suppose 0 = 5*f + k. Is 376/f*(-3)/2 a composite number?
False
Let x(u) = -u**2 + 8*u - 2. Let d be x(6). Let n(j) = j + 1. Let b(v) = -7*v. Let g(y) = -b(y) - 3*n(y). Is g(d) prime?
True
Suppose -4*l - l + 30 = 0. Let b(x) = 2*x**2 + 2*x + 3. Is b(l) composite?
True
Let k(u) = u**3 - 5*u**2 - 6*u - 4. Let j be 1/(((-5)/(-6))/5). Let s be k(j). Is (-25 - -4)/(6/s) a prime number?
False
Suppose 5 = -7*t + 2*t. Is t/2 + (-186)/(-4) a composite number?
True
Let g(p) be the third derivative of 3*p**6/40 + p**4/8 - p**3/6 - p**2. Let d = 10 - 8. Is g(d) composite?
True
Suppose -12*a + 3*a + 11169 = 0. Is a a prime number?
False
Suppose 0 = -k + 2*k - 4. Suppose -2*w = -k*m + 41 - 131, -132 = -4*w - 4*m. Is w prime?
True
Let a = 4 + -2. Let q be 3/(a - 4 - -3). Is 183/(6/2) - q a composite number?
True
Let n(i) = i**3 + 4*i**2 - 4*i + 5. Suppose 12 = -6*w + 3*w. Is n(w) prime?
False
Suppose -65 + 781 = -4*d + l, 5*d + 895 = -4*l. Let p = d + 258. Is p composite?
False
Suppose 5*x + 0 = 30. Is x/4*-2 - -257 a prime number?
False
Let f be (-4)/((-1 - -1) + -1). Suppose -4*w + 2*w - 6 = 0, 21 = 3*m - f*w. Suppose 0 = -m*s - 3, 2*s + 2*s - 421 = -5*z. Is z a composite number?
True
Suppose 4*z = 12*z - 32840. Is z composite?
True
Is (-3)/(3/1)*-409 a composite number?
False
Is 12/(-66) - (-2345)/11 composite?
True
Suppose 2*c = -2*g - 1172, -c - 267 - 307 = 5*g. Let x = -369 - c. Suppose -x = 2*u - 6*u. Is u prime?
False
Suppose -3*w + 2*v - 794 = -5*w, w - 397 = v. Is w a prime number?
True
Suppose 4*c - 536 = -0*c. Is c*(-2)/8*-2 a prime number?
True
Let v(q) = -23*q**3 - 2*q**2 - 3*q - 3. Is v(-2) prime?
True
Suppose -z + 360 = -6*z - 2*a, 2*a = -3*z - 212. Let q = -23 - z. Is q a composite number?
True
Let k = 416 + -156. Suppose k = 4*t - 560. Suppose -4*b - 5*c = -t, b - 2*c - 58 = -c. Is b composite?
True
Let o(f) = 2*f**3 - 12*f**2 - 11*f - 2. Let c(v) = -3*v**3 + 13*v**2 + 12*v + 2. Let m(g) = 3*c(g) + 4*o(g). Let w be m(-6). Let z = 93 + w. Is z prime?
True
Suppose -5*w + 233 = -0*w + n, -4*w = 5*n - 199. Is w composite?
True
Suppose -3*i + 7 = 1. Suppose 7*s - 1055 = i*s. Is s a composite number?
False
Let l be ((-1)/2)/((-3)/18). Suppose -13 = 3*c + 2, 411 = -l*d + 3*c. Let v = -89 - d. Is v composite?
False
Is (2762/(-6))/((-1)/3) a composite number?
False
Suppose 0*n + 7 = -n. Let d(w) = -2*w**3 - 9*w**2 + 3*w - 7. Is d(n) a prime number?
False
Suppose j = 3*j, a = 3*j + 246. Let n = a + -157. Suppose -5*g + n + 296 = 5*s, 0 = -5*g - 4*s + 385. Is g a composite number?
True
Let p = -16 + 22. Suppose -11*m + p*m + 955 = 0. Is m a prime number?
True
Let q = 325 + -196. Is q a prime number?
False
Suppose -3*i + 5*z = -3930, -z + 5275 = 4*i + 4*z. Is i composite?
True
Suppose 5*k = 10 - 35. Let j(x) = x - 1. Let q(b) = 23*b - 6. Let r(l) = 4*j(l) - q(l). Is r(k) a prime number?
True
Let l = -144 - -355. Is l a prime number?
True
Let q(o) = -o**3 + 16*o**2 + 3*o - 2. Is q(16) a composite number?
True
Let k(l) = 8*l**3 - 7*l**2 + 6*l. Let s be k(4). Let m = -203 + s. Is m prime?
False
Is (16/9 - 2) + 350938/126 a prime number?
False
Suppose -4*r + 607 = -5*y, 5*r = -y + 6*y + 755. Suppose 2*s + 0 + 2 = 5*q, 3*q = 4*s - 10. Suppose 3*v + r = q*z + v, z = 2*v + 69. Is z composite?
False
Let q be (-12)/6 - (-12)/2. Suppose -4*m - q = -2*m, 3*j + 3*m = 63. Is j a composite number?
False
Let c be ((-8)/5)/(-1)*5. Let h = 17 - c. Is h composite?
True
Suppose 24 = 5*d + 9. Suppose 4*o - j - 66 = 2*o, -d*o + 109 = -4*j. Is o a composite number?
False
Let x(a) = -a**2 - 5*a - 6. Let p be x(-4). Let n = p + 7. Suppose 3*m - 117 = -4*q - 0*q, 2*m - n*q = 78. Is m a composite number?
True
Suppose -5 = 4*y + 2*j - 17, j = 5*y - 29. Suppose -5*z - 2*b = b - 46, y*b + 6 = 2*z. Suppose -4*q = -z, 147 = v + q - 2*q. Is v a prime number?
True
Let t(d) = 8*d**2 + d + 4. Let k = 11 - 8. Suppose 3*a - 6 = k. Is t(a) a composite number?
False
Let c = 49 + -16. Is c a prime number?
False
Let o be (40 - -3)*(-1 + 4). Let b = -205 + o. Let v = -43 - b. Is v composite?
True
Let i be (-192)/30 + (-4)/(-10). Is 0 + (2 - i) - -2 prime?
False
Let u be 0 + 2 - (3 + -3). Suppose 0 = k - 7*b + u*b - 59, b + 343 = 5*k. Let d = 116 - k. Is d prime?
True
Let q be ((-12)/8)/(6/(-16)). Suppose 2*k - 75 = -3*g + 200, -q*g + 375 = k. Is g prime?
False
Suppose 2*c - 2726 = r, 2*r - r = -4*c + 5440. Is c a composite number?
False
Is ((-1)/2)/(3/(-534)) prime?
True
Suppose -3*u = -4*x + 263, 0*u + 4*u + 4 = 0. Let i be -1 + -2 + 4 + -25. Let s = x - i. Is s prime?
True
Let h(n) = -2*n**3 - 9*n**2 - 7*n + 7. Let g(l) = -l**3 + 5*l**2 - 6. Let m be g(5). Is h(m) composite?
False
Suppose -2*g - 105 = -11. Let i = g - -66. Is i a prime number?
True
Let x(p) = p**2 - 7*p - 16. Let o be x(9). Suppose -o*l + 0*l = -382. Is l a composite number?
False
Let n be (-11)/(-4) + (-1)/(-4). Suppose 3*s - 12 = 4*j, -4*s + 2*s = -n*j - 8. Suppose 4*r = 3*k - j*k - 81, 0 = -3*k + 2*r + 87. Is k composite?
False
Suppose 3*s + 1 = -4*p, 0 = -4*s - 2*p + 3*p + 5. Suppose -2*q = -5*t, 4*q + 8 + 20 = 3*t. Let x = s - q. Is x prime?
True
Suppose 28 = 2*m - 58. Is m composite?
False
Suppose -4*o = 2*w + 2392, -6*w + 3003 = -5*o - 2*w. Is 9/(-12) - o/4 prime?
True
Let c(m) = 63*m**2 - 3*m + 3. Let g(p) = -62*p**2 + 2*p - 2. Let f(y) = 3*c(y) + 4*g(y). Let q be f(1). Let o = 112 + q. Is o prime?
True
Let z(i) = 5*i + 2. Let q(o) = 11*o + 4. Let k(t) = 6*q(t) - 13*z(t). Let p be k(0). Is (p - -1)/(1/(-11)) a prime number?
True
Suppose k + 4*m = 115, -2*k + 460 = 2*k - 4*m. Is k composite?
True
Let f(j) = -3*j**3 + 2*j + 1. Let b(o) = -o. Let t be b(1). Let n be f(t). Is 2 - (-1*n + -10) composite?
True
Suppose 3*s = -4*z + 20, 0 = -s - s - 2*z + 12. Suppose 4*k - 16 = 0, -27 - 29 = -s*q - k. Let o = q - -106. Is o a composite number?
True
Suppose -5 - 3 = -4*p. Suppose -2*t + 153 = p*d - 291, -3*d + 5*t = -658. Is d a prime number?
False
Let z(a) = -3*a**3 + 2*a**2 - a. Let w be z(1). Is 1*2 - 8/w a composite number?
True
Let f = 1110 + -773. Is f a composite number?
False
Let k = -7 + 13. Is 5 + (-4)/(k + -2) prime?
False
Let u(g) = g**3 - 7*g**2 - 8*g - 5. Let y be u(9). Suppose -m + 2*m = y