 -23*g**3 + g + 3. Let t(y) = -3*b(y) + c(y). Let i(v) = -v**2 - v - 1. Let s(x) = -3*i(x) - t(x). Is s(2) prime?
False
Let g(d) = 218*d - 2 + 26*d - 2 - 1. Is g(1) a composite number?
False
Let y(j) = j**2 - 3*j - 14. Is y(-20) prime?
False
Let n = 15 + -9. Is 1714/4 - n/4 a composite number?
True
Let w(x) = 1 + 5*x**2 + 0 + 9*x**2 + 7*x + 4. Is w(-6) composite?
False
Let x(p) = 207*p + 11. Let h = 17 - 13. Is x(h) composite?
False
Let t(a) = 2*a**2 + 21*a + 28. Let b be 6 + (-16)/2 + 30/(-2). Is t(b) prime?
False
Let q = -64 + 68. Is ((-32622)/30)/((4/(-5))/q) a prime number?
True
Is (-18 + 19)/(2/26446) composite?
True
Suppose 88 = -0*s + 4*s. Suppose f = 13 + s. Is f composite?
True
Let o(t) = -110*t**3 + 9*t**2 + 23*t - 17. Is o(-6) a prime number?
True
Let g(f) = 1295*f + 101. Is g(10) composite?
True
Let k(j) = 24*j**2 - 8*j + 7. Let b(l) = -25*l**2 + 8*l - 7. Let f(y) = 2*b(y) + 3*k(y). Is f(6) a prime number?
True
Suppose 139097 + 8470 = 7*r. Is r a composite number?
True
Let i be (-1 + 2)/1*3. Let q(l) = l**2 + 4*l + 9. Let h be q(-3). Suppose -d + h = 3*u, 27 = 3*d + 5*u - i. Is d a prime number?
False
Let u be 8/16 - (-8726)/4. Let i = u - 1551. Suppose -4*t + 19 = 3, -5*w = -t - i. Is w composite?
False
Suppose 3*f + 5*v - 31413 = 0, 2*f = f + v + 10479. Suppose 3*m - f = -y, -4*y + 51 + 3430 = m. Is m composite?
True
Let z(r) = r**2 - r - 9. Let s be z(4). Is ((-2)/(-4))/(s/12030) composite?
True
Let f = 33 + -28. Suppose 2*b - f*b = 4*a - 1237, 304 = a - b. Is a composite?
False
Suppose 5*t + 2 = -38. Let l = t - -171. Is l a prime number?
True
Suppose 2*l = -5*y - 39, -2*y + 57 = -4*l - 5*y. Let n = 14 + l. Suppose 5*v - 1923 = n*v. Is v composite?
False
Let z(y) = 6*y**2 - 11*y - 186. Is z(17) a composite number?
False
Let m(q) = q + 5. Let w be m(-5). Suppose 2*a + 2 = w, 0 = 5*u - 2*u + 2*a - 160. Let c = u - -87. Is c a composite number?
True
Is (-3 - -5)/(2/697) a composite number?
True
Let o(m) = 5*m**2 - 6 + 0 + 4*m - 6 - 2. Is o(11) composite?
True
Suppose -37*g + 56091 = -16*g. Is g prime?
True
Let u = -1446 - -4417. Is u a prime number?
True
Let n(r) = 2*r**3 + 4*r**2 - 8*r - 18. Let x be n(-12). Let m = x - -3973. Is m composite?
False
Let t(n) = 340*n**2 + 29*n + 142. Is t(-5) a prime number?
False
Suppose u - 4*c = -3*u, -4*u = -3*c - 3. Suppose -4*b + 3*v = 11, 2*b - 5*v + 12 = u. Is 1/(b/(-204)*2) a composite number?
True
Let s(m) = -18*m**3 + 2*m**2 - 2*m + 1. Let t(b) = -b**3 - 4*b**2 + 5*b + 7. Let y be t(-5). Let j be (-20)/y - (-3)/(-21). Is s(j) prime?
False
Let f(n) = n - 3. Let x(l) = -l + 4. Let y(a) = -3*f(a) - 2*x(a). Let g(q) = -35*q + 7. Let u(j) = g(j) + 6*y(j). Is u(-8) composite?
True
Suppose -m + 3 = -2. Suppose -5*v = m*r - 9715, -3*v - 3400 - 2405 = -3*r. Is r prime?
False
Suppose -2*m + 0*m + 82 = 0. Suppose -m - 34 = -3*d. Is (1082/(-10))/((-5)/d) prime?
True
Let v be -17*(-3 - -2) - -3. Let d be (-9)/(-2)*3280/v. Let l = d - 503. Is l a prime number?
False
Let j = -11 + 19. Suppose j*k = k + 35. Let g(q) = 55*q**2 + 3*q + 7. Is g(k) a composite number?
True
Let c be 692/6 - 2/6. Suppose 0 = 214*o - 217*o + 792. Let q = o - c. Is q prime?
True
Suppose -5 = -2*o + 3*o. Let k be (-3568)/(-40) - (-1)/o. Let v = k - 52. Is v prime?
True
Let b = 1685 - 697. Let f = -299 + b. Is f prime?
False
Suppose 0 = -9*s + 27109 + 21158. Is s a composite number?
True
Suppose 173 + 16 = -9*x. Is (-7)/(x/6) + 21 prime?
True
Let w(g) = -g + 10. Let y be w(9). Suppose 2*v = 7 + y. Suppose 4*x - 508 = -v*o, 0 = 2*x - 3*x + 2*o + 127. Is x a prime number?
True
Suppose -w - p + 10555 = 0, -w - 5*p + 14694 = 4155. Is w a composite number?
False
Let i(j) = -j - 1. Let u(d) = 2*d**2 - 4*d - 1. Let t be u(3). Let b be i(t). Is (-291)/(-9) - b/9 composite?
True
Suppose 0 = 3*j + 48 + 48. Suppose -84 = 2*f + 2*n - 7*n, -3*n = 2*f + 100. Let q = j - f. Is q prime?
False
Let u(y) be the third derivative of y**5/20 + 11*y**4/24 - 2*y**3/3 - 2*y**2. Let g be u(-9). Suppose g = -4*l + 720. Is l composite?
True
Suppose 0 = 23*n - 26*n + 9. Suppose -3*l + 2*l = n, 2027 = 4*f - 5*l. Is f prime?
True
Let m(r) = -r**3 + 4*r**2 + 3. Let b be m(4). Let u be 2 + b + -2 + 1. Suppose 3*i = -9, 6*k - 3*k - u*i - 969 = 0. Is k a composite number?
True
Let x(f) = -57*f**3 + f**2 - 8*f - 7. Is x(-5) prime?
False
Let z(k) = -20*k**2 - 4*k + 4. Let n be z(1). Let a(x) = -29*x + 53. Is a(n) a prime number?
False
Let i = -35 - -32. Is 2/12 - i/((-54)/(-6711)) a composite number?
False
Let x(z) = -z**3 + 9*z**2 - 4*z - 9. Let c be x(8). Suppose 0 = 19*a - c*a. Suppose -4*o + 8 = a, 0*g - 2*g - 2*o + 962 = 0. Is g a prime number?
True
Let c be ((-1)/2)/(4/48). Let g be (0 - -6)*4/c. Let k = 63 - g. Is k a prime number?
True
Let s(r) be the first derivative of 4*r**2 - 5*r - 1. Suppose -5*p + i + 43 = -3, -4*p = 3*i - 33. Is s(p) a prime number?
True
Let q be ((-6)/8)/((-6)/192). Is 16/q - (-253)/3 a composite number?
True
Let f = 896 + -1919. Let x = -60 - -84. Is (f/12)/((-6)/x) a composite number?
True
Suppose 2*a + 5*j - 540 = 0, 4*a + 2*j + 3*j - 1070 = 0. Let h = -436 - -392. Let z = a + h. Is z a composite number?
True
Let c(u) = -350*u + 257. Is c(-4) prime?
True
Let n be (-8 - -3)/((-1)/3). Suppose n*j - 18*j + 4587 = 0. Is j composite?
True
Suppose 7*i - 3676 = 3*i. Is i a composite number?
False
Suppose 0 = -x - 5*d + 12215, -x + 12219 = 23*d - 19*d. Is x a prime number?
False
Suppose 3*i + 7 = 4. Let l be 0 + 0 + 1 + -6. Is 456/5 - i/l a prime number?
False
Suppose -4*f = 5*z - 4007, z - 585 = -2*f + 214. Is z composite?
True
Is -7 + (-14 - -19 - 44733/(-3)) a composite number?
True
Let h(n) = -n**3 + 16*n**2 - 15*n + 5. Let b be h(15). Suppose -s = -b*s + m + 5, -3*m = -9. Suppose u = 5*a + 487, s*a + 491 = u - a. Is u prime?
False
Let x be (-5 + 136/24)/((-2)/(-8301)). Suppose -2*y + x + 3451 = 0. Is y prime?
True
Suppose 15*k = 1212 + 3393. Is k composite?
False
Suppose -3*j - 3*x - 195 = 0, -230 = 2*j + 2*j - 2*x. Let y be (17*-2)/(4/j). Suppose 0 = p + 3*k - 142, 4*p - 5*k + 27 - y = 0. Is p a composite number?
False
Suppose 3*h + 49467 = 35*v - 32*v, 2*h - 82473 = -5*v. Is v a composite number?
False
Let v(n) = 726*n + 13. Is v(2) a composite number?
True
Let h be (-119)/(-2) - 3/(-6). Let r(y) = -450*y + 1. Let o be r(-1). Let m = h + o. Is m prime?
False
Let s = 68 + -64. Let d(x) = 430*x - 9. Is d(s) a composite number?
True
Let d be (2 + 292)/((-2)/(-4)). Suppose 0 = -3*l + d + 153. Is l a composite number?
True
Let y(o) = 3*o**2 - 16*o + 27. Let g(m) = -16*m**2 + 80*m - 134. Let s(f) = 2*g(f) + 11*y(f). Is s(-14) a prime number?
True
Let j(v) = -178*v - 8. Let u be j(-2). Let r = 389 + u. Is r a prime number?
False
Let l(b) = -3*b - 4. Let n be l(-2). Suppose k - n*k = -1259. Is k a composite number?
False
Let v(y) = -69*y + 4. Let r(b) = 35*b - 2. Let q(g) = -9*r(g) - 4*v(g). Let i be q(-4). Suppose -d = -i + 31. Is d a prime number?
True
Let z(q) = -5*q - 16. Let y be z(-8). Suppose y = 2*u + 2*u. Is 1151/4 + u/(-8) a composite number?
True
Suppose 0 + 10 = 5*l. Suppose l*z = 4*x - 636, -4 - 16 = 5*z. Is (0 + 2 - 4) + x composite?
True
Let q(p) = 6*p**2 - 6*p - 7. Suppose -2*z - 56 = -5*z + 4*f, -z + 32 = -4*f. Let w = 17 - z. Is q(w) prime?
True
Suppose 301708 = 9*u - 26189. Is u a prime number?
True
Let y(h) be the second derivative of 5*h**4/2 - 7*h**3/6 - 9*h**2/2 - 6*h. Is y(-4) a composite number?
False
Suppose -u = -4*g, 0*g - 6 = 3*g. Let x(w) = 2*w**2 + 6*w + 9. Is x(u) a composite number?
False
Suppose 16*n + 6 = 19*n. Suppose -n*p = 2*p + 32. Let i(q) = 8*q**2 - 5*q - 19. Is i(p) composite?
True
Suppose -3*f + 4*t + 4 - 35 = 0, 0 = 4*f - t + 37. Let k = 15 + f. Suppose -i - 2*r + 53 = 0, k*i - i - 200 = 3*r. Is i composite?
False
Is (-81928)/(-10) + 90/(-50) a composite number?
False
Let b be (-1 - -1) + (-10 - -12). Suppose 2*s = -b*z, -2*s - 4*z = s. Suppose s = 5*p - 374 - 811. Is p composite?
True
Suppose 5*j = -4*w + 4749, 3*w - 3*j - 2648 = 934. Suppose 2*i + 6 - 2 = 0, -2*i = -5*x - w. Let l = -120 - x. Is l a prime number?
False
Suppose 11*h - 128 = 10*h. Let v = -75 + h. Is v prime?
True
Suppose -6*o + 63 + 3 = 0. Let a(u) = u**3 - 11*u**2 + 9*u - 4. Is a(o) a composite number?
True
Let d be 4 - ((