Let d(l) = l - 3. Let c be d(3). Is 33*(-1 - (c + -2)) a composite number?
True
Let z(g) = g**2 + 6*g - 3. Let d be z(-7). Suppose -3*v - 5*f + 7 = -0*v, 0 = v - 4*f - 8. Suppose -5*m = v*t - 57 - 144, t = d. Is m prime?
True
Let j(g) = -g + 94. Let t be j(0). Let a = 357 - t. Is a composite?
False
Suppose -5*c + t + 334 = 0, 5*c - t - 267 = c. Is c prime?
True
Suppose x - 5*h = 2*x - 178, 3*x - h = 614. Is x prime?
False
Let o be (2 + 21/(-9))*-3549. Suppose 3*s - 4*y + 3*y - 709 = 0, 0 = -5*s + 2*y + o. Is s a prime number?
False
Suppose 0*q = 4*q - 544. Is (3/(-2))/((-6)/q) a composite number?
True
Let a(n) = 5*n**3 - 8*n**2 + 5. Is a(6) prime?
True
Suppose 162 = 7*u - 601. Is u a prime number?
True
Suppose l - 4*b + 3 = 0, -3*l - 4*b = -3*b - 4. Is 1*(38 - 1/l) composite?
False
Let i(c) = -29*c**2 - 14*c + 14. Let o = -25 - -14. Let v(f) = 10*f**2 + 5*f - 5. Let z(l) = o*v(l) - 4*i(l). Is z(-2) a prime number?
False
Let x = 9 + -6. Suppose 3*g = -g - j + 264, g = x*j + 79. Is g prime?
True
Let p(h) = 70*h**2 - 4*h + 3. Let m be p(2). Suppose v + 94 = u + 4, 3*u - 4*v = m. Is u a composite number?
True
Let t(u) = -u**2 + 6*u. Let o be t(6). Suppose -2*y - x = -268 - 31, o = y - 5*x - 144. Is y composite?
False
Let c(h) = h**3 + 6*h**2 + 2*h - 5. Suppose 3*t + 3*q - 20 = -q, -t + q - 5 = 0. Let i(d) = d**2 - d - 4. Let x be i(t). Is c(x) a composite number?
False
Let w(d) = 13*d**2 - 2*d + 3. Let t(h) = -2*h. Let c be t(-1). Is w(c) prime?
False
Is 3 - (6520 - 2)*-1 prime?
True
Let g(o) = -238*o**3 + o**2 + o + 1. Suppose 0 = -k + 2*b - 3, 4 - 3 = -4*k - 3*b. Is g(k) a prime number?
True
Let r = 880 + -377. Is r a prime number?
True
Suppose -3*h + 0*u + 704 = -2*u, -u = -4*h + 947. Suppose t = -t + h. Is t composite?
True
Let s = 506 + -27. Is s a prime number?
True
Suppose 0 = -10*m + 454 + 1576. Is m composite?
True
Let p be (-3)/(-2)*30/9. Suppose p*f = 4 + 11. Suppose 2*y = -2*d + 108, -f*d - 35 = -3*y + 121. Is y prime?
True
Let n be 10/8*(-1 - -9). Suppose 5*k - n = -3*a, 4*k + 3*a = a + 10. Suppose 0*g + k = -g - 3*i, i = -3. Is g a composite number?
True
Let u(q) = q**3 + 7*q**2 - 9*q - 10. Is u(-7) a composite number?
False
Let s(v) = 48*v - 5. Let t be (-17)/(-4) - (-2)/(-8). Let l be s(t). Suppose h - 51 = -b - 3, -4*b - 5*h = -l. Is b a prime number?
True
Is (-6837)/(-7) - 1*(-8)/28 composite?
False
Suppose 0 = 4*h - 3*p - 2447, -3*h - h - p = -2443. Is h prime?
False
Let h(p) = 2*p**2 - p + 1069. Is h(0) prime?
True
Let h(f) be the second derivative of -8*f**3/3 + 3*f**2/2 + f. Let k be h(6). Let t = k + 144. Is t composite?
True
Suppose -2*x = -4 + 58. Let h = -8 - x. Is h a prime number?
True
Let y = 5 + -11. Let a(i) = i + 4. Let f be a(y). Is (4 - 3)*f - -93 a prime number?
False
Suppose 6 = -2*b, 2*b + b - 6342 = -3*p. Is p composite?
True
Let v = -919 + 1298. Is v composite?
False
Let a(k) = 15*k**2 - 4*k**2 + 4*k**3 + 9*k - 3*k**3 - 13. Let d be a(-10). Is (130 + -1)*(-1)/d prime?
True
Suppose 5*i - 1445 = 35. Let v = -111 + i. Let a = 316 - v. Is a a prime number?
True
Suppose 11 = 3*c + 26. Let j be 2/c - (-8318)/(-5). Is j/(-36) - (-4)/(-18) a prime number?
False
Let l(j) be the first derivative of 31*j**2/2 + 3*j + 4. Is l(8) composite?
False
Let m = -13 - -17. Let f(j) = j**3 + 6*j**2 + 4*j. Let k be f(-4). Is 51/4 + m/k composite?
False
Let f(q) = q + 1. Let p(v) = -2*v - 1. Let g(w) = -5*f(w) - p(w). Is g(-10) composite?
True
Is -7*((-4 - 6) + -3) a composite number?
True
Suppose -r + j + 2436 = 0, 0 = -5*r + 3*r + j + 4873. Is r a prime number?
True
Let v be 6/3 - (-2 + 0). Suppose -v = -3*j + 7*j. Is j + 0 + 6 + 2 prime?
True
Is 3*3*(-3774)/(-54) composite?
True
Let g(o) = o + 1. Let q be g(3). Suppose i - 2 = 0, -5*i = -3*n + q*n - 59. Is n + (-1 - 0) + -1 a prime number?
True
Let j be ((-9)/(-6))/(3/116). Let h(z) = z**2 - 5*z + 1. Let c be h(4). Is (j - (c + 2))*1 a composite number?
False
Suppose -2*o + 5*o - z = 3510, 4675 = 4*o - 3*z. Is o a composite number?
False
Suppose 2*t = 4*g - 0 - 4, 17 = -t - g. Let j be (5/3)/((-1)/t). Suppose j + 6 = 2*i. Is i a prime number?
True
Suppose -8*c - 210 = -1354. Is c prime?
False
Suppose m - 74 = -o + 19, m - 4*o - 113 = 0. Is m composite?
False
Let v(t) be the third derivative of -t**6/30 + t**5/20 + t**4/4 - 2*t**3/3 + 3*t**2. Let h be v(4). Let m = h - -337. Is m a composite number?
False
Suppose 0 = -5*r - q - 180, 5*r + 0*q + 4*q = -180. Is (-5372)/r - (-6)/(-27) prime?
True
Let p = -10 - -132. Let k(u) = -5*u - 3. Let q be k(6). Let h = q + p. Is h a prime number?
True
Let j = -20 - -226. Let n = j + -43. Is n prime?
True
Suppose 3*q = -0*w + 3*w - 381, w + 3*q = 143. Is w composite?
False
Let n = -117 - -46. Let m = -45 - n. Suppose -4*b + m + 30 = 0. Is b a composite number?
True
Let y be 30/(-20) - 3/(-2). Let k = y - -6. Is k prime?
False
Suppose 6*c + 9239 = 7*c. Is c composite?
False
Suppose -2*y + 3 = y. Let n = y - -1. Suppose 0 = -2*o - 2, -4*o = n*a - 3*o - 325. Is a a prime number?
True
Let j(m) = -52*m - 17. Is j(-7) a composite number?
False
Let n(d) = -11*d - 13. Is n(-6) composite?
False
Let t(q) = q**3 - 4*q**2 + 4*q - 1. Let x be t(3). Let p(o) = -x - 6 + 3 - 3*o + 2*o**2. Is p(4) prime?
False
Suppose -3*c - 5895 = -12*c. Is c a composite number?
True
Let x = -1 + 3. Suppose -39 = 3*u - 15. Let n = x - u. Is n a composite number?
True
Suppose 181 = q + 3*v - 36, 5*q = -5*v + 1065. Is q a prime number?
True
Let i = 412 + 39. Is i composite?
True
Let n be (-80)/(-6)*(-18)/(-12). Suppose -p - 4*p + n = 0, 229 = 3*x - 2*p. Is x a composite number?
False
Let x(k) = 4*k + 1. Let n(z) = 9*z + 2. Let h(j) = 6*n(j) - 11*x(j). Let f be (4/(-8))/((-1)/4). Is h(f) a composite number?
True
Let o = 9 - 2. Let d(h) be the first derivative of -h**4/4 + 2*h**3 + 9*h**2/2 + 8*h + 9. Is d(o) composite?
True
Suppose 3*k + 9 = -0. Let p(b) = b**2 - b - 3. Is p(k) a prime number?
False
Let t = 909 + 688. Is t a prime number?
True
Suppose 0 = -8*m - 4*m + 22812. Is m composite?
False
Let q = -2650 - -4109. Is q a composite number?
False
Let c(v) = -v**2 - 7*v. Let a(h) = h + 1. Let l(t) = -3*a(t) - c(t). Let p be l(-5). Suppose 0 = p*q - q - 35. Is q composite?
True
Let b(x) = 0 - 4 + x - 7 + 3. Let g be b(10). Suppose -g*f = 3*k - 244 - 17, 0 = -f - 3. Is k prime?
True
Let j(w) = 29*w**2 - 2*w + 4. Is j(3) composite?
True
Suppose -20 = 4*c, -5*x + 4*c + 953 + 5872 = 0. Is x composite?
False
Suppose -4*t = -25 + 9. Suppose -t*z + 830 - 194 = 0. Is z a composite number?
True
Suppose 2*v - 892 - 1464 = 0. Suppose -4*w = -498 - v. Suppose t = 2*t - w. Is t composite?
False
Is (-4)/(-14) - 1*310965/(-35) a prime number?
False
Suppose -1 + 13 = 4*q, -4*q = 5*w - 2507. Is w a prime number?
True
Is (-10)/4 + (-83721)/(-22) prime?
True
Suppose -2*v - 4588 = -6*v. Is v composite?
True
Let z = 65 + 138. Suppose 3*w + 3*c = 169 + z, 257 = 2*w - c. Is w a composite number?
False
Suppose 0 = -4*h + 2*q + 32238, -4*h - 6*q = -2*q - 32208. Is h prime?
False
Let d(a) = 11*a**2 - 5*a - 9. Is d(8) composite?
True
Suppose -x + 0 = -2. Suppose -1985 = x*q - 7*q. Is q composite?
False
Let y(h) = 2*h**2 + 10*h - 6. Let t(k) = 4*k**2 + 19*k - 11. Suppose -4*m + j = -11, -m - 1 = -2*j - 2*j. Let i(s) = m*t(s) - 5*y(s). Is i(-7) prime?
False
Let o(b) = -65*b**3 + 4*b**2 + b + 7. Is o(-3) a prime number?
False
Is 490 - 9/6*2 a prime number?
True
Suppose -n = -4*m + 79 - 11, -2*m + 52 = -5*n. Suppose h + 3*k = -3 + 15, m = -2*h + 2*k. Let l = h - -10. Is l a prime number?
True
Suppose -m + 2 - 3 = 0. Is (-37)/m + (-6)/(-6) a prime number?
False
Suppose -2*l = -3*u - 1118, -4*u - l = -0*l + 1509. Let v = -533 - u. Is v/(-2) - (-21)/(-14) a prime number?
False
Let p(q) = -2*q**3 - 46*q**2 + 31*q - 19. Is p(-24) prime?
True
Let f = 1457 + -414. Is f composite?
True
Suppose 3*a - 720 = -a. Let t = -127 + a. Is t composite?
False
Let x = -3 - 2. Let z = x - -10. Let h(i) = 12*i - 7. Is h(z) composite?
False
Let w = 4 - -1. Let q be -1 + w + (2 - 2). Let u(c) = 32*c - 1. Is u(q) a prime number?
True
Suppose 0*k = -k. Suppose -3*q - 2*q + 170 = k. Let c = -24 + q. Is c a prime number?
False
Let a(q) = q**2 - 35. Let r be a(0). Let b = -175 + 293. Let m = r + b. Is m a composite number?
False
Let