2165 = -5*k - 0*t. Is k a composite number?
False
Let i(k) = k**3 + 6*k**2 + 8*k + 7. Let x be i(-5). Let b = 29 + x. Is b prime?
False
Let z = 6768 + -3679. Is z a prime number?
True
Let g = 368 + 915. Is g composite?
False
Is (44/6)/((-34)/(-3621)) composite?
True
Let u = 1176 - 39. Suppose i - 379 = 2*c, 4*i - 5*c = u + 382. Is i a composite number?
True
Let t = -3 + 7. Suppose -t*p - p = -15. Suppose 0*h - p*h + 45 = 0. Is h a prime number?
False
Let v(z) = -67*z - 3. Suppose -2*k - 3 = -c, 4*c - 6 = 2*k + 3*k. Is v(k) a composite number?
False
Suppose 3*v = 4*v + 9. Let f be 130/3 - 4/(-6). Let n = v + f. Is n a prime number?
False
Suppose 3*v = 4*t + 56, 0 = -3*v + 2*t + 5 + 41. Is (-4722)/(-14) - v/42 a composite number?
False
Let s be (5 + 0)*12/(-30). Let o be 23*s*1/(-2). Let a = o + -4. Is a a prime number?
True
Let q(o) = -3*o. Suppose 2*v - 23 = 3*n + 6*v, 0 = 2*n - 4*v + 2. Is q(n) prime?
False
Suppose -4*d = -8 - 0. Let i be (-18)/30 + 318/5. Suppose -4*n - p + 214 = -d*p, n = 5*p + i. Is n a composite number?
False
Let n = 19 - 19. Let t be (2/4)/((-2)/(-380)). Suppose t = 3*k + 2*j, n = -2*k - 2*k - 5*j + 129. Is k a composite number?
False
Let d = 12 - 21. Suppose 3*g + 4*f = 2*g - 16, -4*f = 2*g + 40. Let n = d - g. Is n a prime number?
False
Let u(h) = -h**3 + h**2. Let t be u(-1). Suppose t*j + 3*j - 25 = 0. Suppose j*q - 196 = 39. Is q a prime number?
True
Suppose 5*r - 761 = 3*n, 2*n + 4*r + r + 549 = 0. Let t = n - -421. Is t composite?
True
Is 3298 + ((-36)/(-4))/(-3) prime?
False
Suppose -2*m = 3*m + 10, 12 = l - 4*m. Suppose -2*k - 8 = 0, t - 5*k - 415 = -l*t. Is t a composite number?
False
Suppose -2*u + 450 - 62 = 0. Suppose 61 = 3*h - u. Is h a prime number?
False
Let s(m) = 2*m - 2. Let o = 9 - 7. Let b be s(o). Suppose -170 = -0*k - b*k. Is k a prime number?
False
Let x = -279 + 392. Is x a composite number?
False
Let x(j) = 2*j**2 - 3*j**2 - 2 + 2*j**2 - 4*j. Is x(-3) a composite number?
False
Suppose 7*y = 16*y - 11169. Is y a composite number?
True
Let g(q) = q**2 - 21*q - 85. Is g(-12) composite?
False
Is 42706/10 - 3/(-30)*4 composite?
False
Let d be (-21)/(-14)*116/2. Suppose -3*q + 50 + 25 = 0. Suppose f + q = d. Is f prime?
False
Suppose 69 = 6*f + 423. Is f/((-58)/14 - -4) a prime number?
False
Suppose 0 = -s - 5*i + 288 + 43, -626 = -2*s - i. Is s a composite number?
False
Is 38/(-4)*(-1 + -1) a prime number?
True
Suppose 4*j - 2455 = 805. Suppose 0 = -3*w - 2*w + j. Is w a composite number?
False
Let f be 3 - -1 - (-6)/(-3). Suppose f*l + 66 = 2*k, 3*k - l - 181 = -2*k. Is k a composite number?
False
Let b(q) = 17*q + 8. Suppose -28 = -4*t - 0. Let y be b(t). Suppose -5*d + 0*d - 4*c + 126 = 0, -5*d - 3*c = -y. Is d prime?
False
Let d(r) = r**3 - 11*r**2 + 11*r - 8. Let q be d(8). Let v = q + 159. Is v prime?
True
Suppose b + 6 = -b. Let x(g) = -66*g - 7. Is x(b) prime?
True
Suppose -2*m + 6*m - 1052 = 0. Is m prime?
True
Let j = -375 + 623. Let w be (12/(-16))/(3/(-12)). Suppose j = w*m + a, -3*m + 329 = m + 3*a. Is m prime?
True
Let r = 12 + -8. Suppose -2*z + 7*z = -3*p + 209, -4*z = r*p - 292. Suppose -3*y + 6*y = p. Is y a prime number?
False
Suppose 0 = -4*g + 4*b - 32, -g + 22 = 2*b + 3*b. Is g/2*-22 + -2 a composite number?
False
Let a(f) = 98*f - 2. Is a(2) composite?
True
Suppose -3*u = u - 40. Let k = u + -4. Suppose -3*i + 213 - k = 0. Is i prime?
False
Suppose 4*o + o - 480 = 0. Suppose 3*y - 4*n = -2*y + o, 0 = 3*n - 3. Let h = y - -71. Is h composite?
True
Let m(y) = 2 - 3*y - 15 - y**2 - 2*y. Let v(c) = c**2 + 4*c + 12. Let b(g) = 3*m(g) + 4*v(g). Is b(7) a composite number?
True
Suppose -4*p + 3*v - 4 = 1, -2*p - v = -5. Let w = 36 + p. Is w composite?
False
Is 2423/5 + 14/35 a composite number?
True
Suppose 11 + 12 = a. Suppose -4*u + a = 3*c, -4*u - 2*c = -15 - 3. Suppose -5*w = -0*w + u*q - 69, 5*w - 5*q - 90 = 0. Is w composite?
True
Let v(c) = c**3 - 7*c**2 + 3*c - 9. Let g be v(6). Is 2/9 - 2775/g a prime number?
True
Let j(f) be the second derivative of 19*f**4/12 + f**3/6 - f**2/2 - 2*f. Is j(1) a composite number?
False
Suppose 0 = 3*s, -2*g + 0*s + 278 = 4*s. Is g prime?
True
Suppose 0 = l + 3*a + 15, -4*l = -5*a - 12 + 4. Let x = -3 - l. Suppose x = -t + 4*p - 2, -5*t = -t - 4*p - 40. Is t prime?
False
Let z = -2269 - -3426. Is z a composite number?
True
Let w(z) = z**2 - 1. Let u be w(-1). Suppose 3*f = 9 - u. Suppose -5*m - f*j = -70, -m - j + 28 = m. Is m a composite number?
True
Suppose -1171 - 1018 = -2*u - 3*j, -4*u + 5*j = -4323. Is u a prime number?
True
Suppose u - 12 = 2*l, 3*u - 15 - 23 = 4*l. Let p = u + -5. Let i = 14 + p. Is i a prime number?
True
Let k be ((-9)/3)/(12/8). Is 3*(k + (-24)/(-9)) prime?
True
Is (-4248)/(-21) + (2 - 64/28) a prime number?
False
Suppose -2*g + h = -5, 2*g + 0*h = 3*h + 3. Suppose 0 = -4*o + 2*o, m - 22 = -4*o. Is (6/g - 1) + m prime?
True
Let m = -16 - -11. Let b be (-3)/m + 8/20. Is (-33 - b)*(-39)/6 a composite number?
True
Suppose o - 5 = j + j, o = -5*j - 16. Is (1 - -5) + 2 + o a composite number?
False
Let q(y) = -y + 3. Let d(g) = 1. Let i(t) = 8*d(t) - 3*q(t). Suppose 8*a = 3*a + 20. Is i(a) a composite number?
False
Suppose 2*c - 4916 = 2*u + 4892, -2*u - 19626 = -4*c. Is c a composite number?
False
Let w(z) = -14*z**2 - 3*z - 2. Let j(x) = x**2 + x. Let a(c) = 2*j(c) - w(c). Is a(-3) a prime number?
True
Suppose 0 = -p + 3*l + 172 - 40, 495 = 4*p - l. Let o be 3/(-1) - 45/9. Let r = o + p. Is r a prime number?
False
Let m be (-3670)/26 + 10/65. Let z = m - -230. Is z a composite number?
False
Let u(w) be the second derivative of 5*w**4/12 - w**2/2 + w. Is u(4) composite?
False
Suppose -2*m - 2*s - 26 = 2*s, -4*m - 32 = -2*s. Let v = 30 + m. Is v composite?
True
Let r(y) = y**3 - 2*y**2 + y - 2. Let p be r(2). Suppose -5*n + p*n + 75 = 0. Is n prime?
False
Let a be 15824/12 + 4/(-6). Suppose 4*v - a + 458 = 0. Is v composite?
True
Suppose 510 = g - 389. Is g prime?
False
Let h(o) = -o**2 + 5*o + 1. Let k be h(-5). Let u = k + 86. Is u composite?
False
Suppose 0 = a - 3 + 2. Let s be a/(-2 - (-93)/45). Is (-6)/s + (-254)/(-10) a composite number?
True
Let f(c) = 23*c - 4 + 22*c - 10*c + 5*c. Let l be f(6). Suppose -5*g + l = -39. Is g a prime number?
False
Suppose 93 = -5*a + t, -a - 4*t - 16 = 11. Is (a/(-3))/((-5)/(-15)) composite?
False
Suppose -5*j + 5*g + 45 = 0, -4*j + 2*j - 2 = 2*g. Let q = 10 - -23. Is 699/q + j/(-22) prime?
False
Let p = -138 - -323. Let v be 1/(1 - (-4)/(-6)). Suppose -v*b = -8*b + p. Is b a composite number?
False
Suppose p = 4*p + 87. Suppose 0 = 3*d + f + 248, 0 = f - 5*f - 8. Let s = p - d. Is s a prime number?
True
Is (4/24*-6729)/(2/(-4)) composite?
False
Suppose -5*j - 191 = 34. Let l = -26 - j. Is l composite?
False
Suppose 4*v = s + 25, -5*s = v + v - 7. Let o = v + -3. Is (o - -34) + (0 - 0) composite?
False
Suppose -k - 21 + 61 = 0. Suppose -i = -4*v + v - 3, 2*v = -4*i + k. Is i a composite number?
True
Let t(o) = 13*o**3 - 2*o**2 - 2. Is t(3) a prime number?
True
Let z(c) = 9*c - 3. Let b = 19 + -12. Suppose -2*u + b = -0*u - i, -3*u - 2*i = 0. Is z(u) a prime number?
False
Suppose -4*i + 112 = -0*r - 4*r, 0 = i + 2*r - 13. Let s = i - 16. Is s a prime number?
True
Is (-2578)/(-18) - (-14)/(-63) a prime number?
False
Suppose 3*b = -12*b + 14295. Is b prime?
True
Let h = 4 - 2. Suppose 170 = h*m + 5*p - 173, 4*p = -4. Is (-4)/2 - m/(-2) a prime number?
False
Let c(u) = -u**3 - 5*u**2 - 5*u + 1. Let p be c(-4). Let z(x) = -x**3 + 3*x**2 + 1 + 4 + 12*x**2 - p*x. Is z(6) a composite number?
True
Let y = -25 - -43. Suppose -5*n = -4*c + y, 6 = c - 3*n - 2. Is c composite?
False
Let f be 1*214 + (-12 - -10). Is (f/20)/((-3)/(-15)) a composite number?
False
Let j be 1/4 - 15/(-4). Let p = -2 - -2. Suppose 0 = -4*b + j*u - 0*u + 288, -u - 5 = p. Is b a prime number?
True
Let z(j) = -j**2 - j - 3. Let h be z(0). Is (236/h)/(8/(-12)) a prime number?
False
Let w be ((-8)/(-6))/1*-3. Let k = 5 - w. Suppose -4 = d, -f - k = 7*d - 3*d. Is f composite?
False
Suppose 5 = 2*h + 2*r - 3, r = 5*h - 8. Let q(i) = -11*i + 4 + i - 2*i**2 + 5*i**h - 4*i**2. Is q(-9) composite?
False
Let a(v) = 7*v**3 + 17*v**2 - 5*v - 20. Let o(g) = 4*g**3 + 9*g**2 - 3*g - 10. Let l(f) = -3*a(f) + 5*o(f). Is l(-7) com