2. Let n(h) = h**2 - 23*h - 29. Is n(g) a prime number?
True
Let a be 1 + (-23)/2*84. Let z = -464 - a. Is z a composite number?
True
Suppose -53*n + 64*n - 34397 = 0. Is n a composite number?
True
Suppose -513 = s - 5*l - 30, -4*l - 1506 = 3*s. Let d = s + 1585. Is d a composite number?
False
Suppose -3*g + 2*g - 2 = 0. Let b be (0 + 1)/(g/(-8)). Suppose 2*z - b*z = -406. Is z composite?
True
Let s(t) = -44*t + 19. Suppose -r - 2*v = 22, r - 60 = 4*r + 4*v. Is s(r) composite?
True
Let f(a) = -6*a + 273*a**2 + 8 + 1 - 2. Is f(2) a prime number?
True
Let x(g) be the second derivative of 3/2*g**2 - 2*g - g**3 + 0. Is x(-5) a prime number?
False
Let s be (508/(-3))/(2 - 156/81). Let g = s - -3235. Is g composite?
True
Suppose -25*t - 204515 = -5*h - 30*t, 2*h - 81792 = 5*t. Is h prime?
False
Let n(c) = -57*c**3 - c**2 - 4*c + 1. Is n(-3) a prime number?
True
Let t(y) be the second derivative of -y**7/60 - y**6/360 + y**5/30 - y**4/24 + 13*y**3/6 + y. Let u(f) be the second derivative of t(f). Is u(-4) composite?
False
Let d(y) = y**3 + 7*y**2 + y + 7. Let v be d(12). Let f = v - 422. Is f a prime number?
True
Suppose -3*u + 5*t + 59077 = 3620, -t = 5*u - 92391. Is u prime?
False
Let h(y) = -519*y**3 + y**2 - 2*y - 1. Let o(k) = -518*k**3 + k**2 - 3*k - 1. Let p(d) = 4*h(d) - 3*o(d). Is p(-1) a prime number?
True
Let v be 0/(-15) - (-8)/2. Suppose 3*w + 3 = 0, -v*f + 0*w = -w - 3509. Is f a composite number?
False
Suppose 2*m - 80715 = -v - 2*v, 4*v = 2*m + 107606. Is v a composite number?
False
Let d(h) = 9*h**2 - 2*h**2 - 3*h + 1 + h - 5*h. Is d(5) a prime number?
False
Let g = 41 - 18. Suppose -19*y - 6044 = -g*y. Is y a composite number?
False
Let i(r) = -r**2 - 19*r + 21. Let o be i(-20). Let j(y) = 90*y**2 - y - 4. Let a(c) = -90*c**2 + c + 5. Let x(z) = 4*a(z) + 5*j(z). Is x(o) a composite number?
False
Let l(q) = 128*q - 73. Is l(25) prime?
False
Suppose 3*y - 44144 = -15704. Let a = y + -5663. Is a a composite number?
True
Suppose -5*o + 4*x - 9 = -0*o, -4*x + 4 = 0. Let d be o + -2 + (-2 - -5). Suppose d = a - 3*a + 182. Is a prime?
False
Suppose 0 = 5*p + 2*d - 6801, -5*p + 3*d + 4585 = -2226. Is p prime?
True
Suppose 4*o + 10 - 2 = 0. Let s be o/7 - 2/(-7). Suppose s = 3*m + 5*b - 418, 3*b - 14 = 1. Is m prime?
True
Suppose -t - 54 = -10*t. Suppose -29 = t*u - 2699. Is u a composite number?
True
Suppose -5*r - o + 6 + 15 = 0, 0 = 3*r + 5*o + 5. Suppose -b + 2*x + 66 = 0, r*b + 3*x = b + 308. Let i = 141 - b. Is i prime?
True
Let l = 12273 + -922. Is l a composite number?
False
Let h = 3717 - 1075. Let s = -1005 + h. Is s a composite number?
False
Suppose 0 = -n + 3060 + 483. Is n a prime number?
False
Let y(h) = 19*h - 664. Let w be y(32). Let p(f) = -5*f**2 - 6*f + 2. Let g be p(4). Let s = w - g. Is s a prime number?
False
Let y(c) = -c + 10 - 3*c + 7*c - 2*c. Let w be y(-7). Suppose o = w*o - 238. Is o prime?
False
Is (-15 + 30134/(-65))/((-1)/5) prime?
True
Let s = -28 + 34. Let x be (-4)/s + (-5425)/(-15). Suppose -4*a + 387 = -x. Is a a composite number?
True
Suppose -1 = 4*r + m, 2*r - 4*m + 7 = 7*r. Is 1462 + (r - -2) - (-2)/(-1) a prime number?
False
Suppose -3*a + 362 = 4*v - 25983, -v = 5*a - 43897. Is a a composite number?
False
Suppose 0 = l + 2*l - 54. Suppose 3*a + 3 = l. Is a/(-15) - (-332)/6 prime?
False
Let s = -22 - -42. Suppose s*a - 9985 = -5. Is a composite?
False
Let f(n) = 14*n + 35. Let l(y) = 2*y**2 - 4*y - 14. Let t be l(5). Is f(t) prime?
False
Is (-2)/(-6) - 124670/(-21) a composite number?
True
Let r(k) = k**3 - 4*k**2 + 3*k + 4. Let s be r(3). Let v be -1*(-346 + s/(-2)). Let t = 527 - v. Is t composite?
False
Suppose -3*a + 6648 = 3*o, -11*o + 6*o + 11095 = 2*a. Is o prime?
True
Suppose 241902 = 5*p - u + 71195, -5*u + 34131 = p. Is p composite?
False
Suppose 3*b + 6 = 1764. Suppose y = -2*h + 5*y + b, 0 = 3*h + 2*y - 903. Let z = 444 - h. Is z a prime number?
False
Let g(o) = -39*o**3 + 1. Let v be (-8)/(-2) + (3 - 5). Let k be g(v). Is k*(-3 - (-5 - -3)) a prime number?
True
Let j(a) = -105*a + 16. Suppose -4*q = 6*q + 30. Is j(q) prime?
True
Let g(v) = -v + 79. Suppose 3*l + 2*l + 7 = -2*d, 4*d - 5*l = 31. Suppose -3*f = -d*f. Is g(f) composite?
False
Suppose -16 = 15*r - 7*r. Let o be 417/r*(-308)/(-21). Is o/(-16) + 3/(-24) a prime number?
True
Let u be (2/1 + -3)/((-10)/(-40)). Is (631/u)/((-3)/12) prime?
True
Suppose -404 = -6*l + 1438. Is l composite?
False
Suppose -5*r - 320 = 4*j + 70, -5*j - 3*r = 481. Let w(z) = -40*z - 6. Let a be w(4). Let h = j - a. Is h prime?
True
Suppose 0 = 3*k + 2*z - 17, 4*k - 6*z - 16 = -2*z. Suppose -b + 1066 = -5*v, 1040 + 16 = b + k*v. Is b a composite number?
False
Suppose 7*z + 5 = 2*z, -5*z - 12 = -a. Let f(h) = h**3. Let q(x) = -7*x**3 + 8*x**2 + 3*x + 10. Let j(w) = -5*f(w) - q(w). Is j(a) composite?
False
Let a = 87 + -337. Is -4 - a/15*63/2 a composite number?
False
Suppose -4*a = p - 187 + 464, 4*a - 530 = 2*p. Let q = -58 - p. Is q a prime number?
True
Suppose 0 = 5*c - 2*b - 93, c = -0*c - b + 20. Suppose -1 = -2*a + c. Let r(y) = y**3 - 2*y**2 - 10*y + 1. Is r(a) a composite number?
False
Let b(u) = 2*u**3 - 28*u**2 + 104*u - 5. Is b(13) a composite number?
False
Let k(d) = -21*d + 7*d - 111*d**2 + 110*d**2 - 8. Let r be k(-13). Let t(l) = 2*l**3 - 7*l**2 - 2*l + 2. Is t(r) prime?
True
Let k(o) = -57 + 14*o**2 + 2*o + 15 - 4*o**3 + 29. Is k(-7) prime?
False
Suppose 0 = -4*c - 12, -5*p + 3*p = -4*c + 28. Is -4*(2465/p + 1) a prime number?
False
Is 2559*(-2761)/(-132) + 10/8 a composite number?
False
Suppose 5*u + 4 = -5*o + 3*u, -5*o + 5*u = -10. Suppose o = -4*h - q + 312 + 631, -4*h + 941 = 3*q. Suppose -3*g - g = -h. Is g composite?
False
Let z(s) = -3*s**2 - 11*s + 15. Let x be (-250)/90 + 2/(-9). Let m(t) = t**2 + 4*t - 5. Let u(j) = x*z(j) - 8*m(j). Is u(-8) composite?
True
Suppose 1068 + 660 = 3*v. Suppose -3*m + 2857 = 5*t - m, -5*m + v = t. Is t a prime number?
True
Let t = 56 - 51. Suppose -t*c = -4*l + 591, l - 2*l = 5*c - 154. Is l a composite number?
False
Let u(t) = 3*t**3 - t**2 + 8*t - 8. Let l be u(12). Suppose -5*d - 4*p + 6401 = 0, 5*d - l = d - 5*p. Is d prime?
True
Suppose 40*b = 34*b + 81726. Is b prime?
False
Suppose -3*b = 3*b. Suppose b = -9*g + 10*g - 2. Suppose 4*v = -a + 37 + 70, -2*v = -g*a + 174. Is a prime?
False
Let s(x) = 1405*x - 1. Let f be s(-7). Let w be (-2)/3 - f/12. Suppose -15 = -5*d, -5*t + 4*d + w = -194. Is t prime?
False
Suppose 4*h + 29 = 3*h. Let w = h + 37. Is 943/4 - 6/w a composite number?
True
Let g be 0/(-6 + (2 - 0)). Suppose 2*v - 10 = -3*o, g = v - 4*v - 2*o + 10. Is (-1113)/(-6)*v*1 prime?
False
Let i(u) = -u**3 + u**2 - 3*u + 4. Suppose -d + 5*d + 14 = -3*f, -f - d = 3. Suppose z + 15 = -5*l, -6 = f*l + 3*z + 2*z. Is i(l) a composite number?
True
Let l(r) = -r**2 + 19*r + 29. Suppose -8*q + 3*q = -3*x - 65, 0 = 4*q - 3*x - 49. Is l(q) a composite number?
True
Let d(j) = -j**2 + 18*j - 1. Let r be d(17). Is (4/r*4)/((-1)/(-53)) prime?
True
Suppose -4*j + 4*h = -232, 0*j + 290 = 5*j + 2*h. Suppose j = 2*v - 16. Is v a prime number?
True
Let y(u) = u**3 - 14*u**2 + 33. Is y(18) prime?
False
Suppose 30 = -5*q + 5*j, -4*q - 5*j + 5 - 20 = 0. Let g(t) = -14*t**3 + 2*t - 1. Is g(q) a composite number?
True
Let k be (-1 - (-100)/12) + 1/(-3). Is k/(-21) - (-1174)/3 a prime number?
False
Suppose 20 = -2*x + 5*v, 3*x + 0 = -2*v + 8. Suppose -10*l + 5*l + 20 = x. Suppose -523 = -l*b + 217. Is b composite?
True
Let d(b) = -1581*b + 1. Is d(-2) a composite number?
False
Let p = 10548 - 6465. Is p a prime number?
False
Let j(o) = 13*o**2 + 12*o + 12. Suppose -5*u - 21 = -8*u. Is j(u) composite?
False
Let c be -8 - -7 - (216 + 2). Let j = -43 - c. Suppose 5*d + j = 2031. Is d a prime number?
False
Suppose 0 = -h - 1. Is (-88 + h)/(1/(-2)) composite?
True
Let i(s) = 4*s + 46. Let d be i(-11). Is (-218)/(((-1)/d)/((-5)/(-20))) prime?
True
Suppose -23*i + 25554 = -15777. Is i composite?
True
Let u = 2040 - 497. Is u prime?
True
Let t = -22 + 22. Suppose t = x - 0*x - 33. Is (-21)/(-9)*x/1 prime?
False
Let y(o) = 38*o**3 + o. Let x be y(1). Suppose -x = 5*b - 584. Is b composite?
False
Is (-7 + (-65)/(-10))/(1/(-2122)) a prime number?
True
Let b = 19677 + -13430. Is b composite?
False
Suppose -2*n + n = -443. L