 = -10130 - -14401. Is t a composite number?
False
Let s = -4 + 9. Suppose d - s*d = 0. Let z(n) = n + 34. Is z(d) a composite number?
True
Suppose 1696 = 5*l - 3*l. Let x be (l/(-12))/(2/(-6)). Suppose 4*c + 0*c - x = 0. Is c a composite number?
False
Let l(h) = 23*h**2 - 172*h + 58. Is l(47) a prime number?
False
Let y(t) = 5*t**3 + 7*t - 13. Let s(n) = 6*n**3 + n**2 + 8*n - 13. Let i(k) = -2*s(k) + 3*y(k). Is i(6) a composite number?
False
Let s(q) = q**2 + 5*q - 7. Let x be s(-9). Let t = 9 - 1. Let n = x + t. Is n prime?
True
Let n(s) = 1630*s**2 - s + 1. Let o be n(1). Suppose -8*q + o = -3*q. Is q a prime number?
False
Is (17 + -15)/((-2)/(-7817)) composite?
False
Let b = 22085 + -9646. Is b prime?
False
Let m = -3 - -5. Let k = 1 + m. Is (21/6)/(k/318) a prime number?
False
Suppose -12*r = -r - 55. Suppose -r*d = 3*y - 2*d - 237, 3*y + 2*d = 235. Is y a prime number?
False
Let z be 0 + -2*2*-9. Suppose -f - 6 = -5*k + 15, z = 4*f + 4*k. Let s(y) = y**3 + 2*y**2 - 3. Is s(f) composite?
True
Let s(x) = x**2 + 7*x - 4. Let h be s(-6). Let l be 5/(h/19)*14. Let t = l + 294. Is t composite?
True
Suppose -5*v + 8349 = -10276. Suppose 0 = 4*a + a - v. Is a a prime number?
False
Let n(m) = 113*m**2 - 7*m + 1. Is n(-4) composite?
True
Is 7755 - ((-8)/16 + (-5)/(-2)) a prime number?
True
Let i(f) = 11*f + 11*f - 2*f + 9*f + 49*f**2 + 17. Is i(-16) composite?
False
Let w = 15 - 9. Let z(f) = -f**3 + 5*f**2 + 6*f + 2. Let i be z(w). Suppose m + 63 = 5*c - 425, -188 = -2*c - i*m. Is c a prime number?
True
Let x = 1225 - 433. Let c = -493 + x. Is c a composite number?
True
Let n(i) = 6718*i + 73. Is n(3) composite?
True
Let b be 5636/(-8)*-2*(1 - 0). Suppose -2*v + b = -485. Is v composite?
False
Let v = 1140 + -621. Is v composite?
True
Let r(w) = w**3 + 6*w**2 - w - 1. Let d be r(-6). Suppose g + b - 6 = 0, 5*g = -b + 38 - 24. Let n = d + g. Is n a prime number?
True
Let s = 59 + -57. Suppose -u + s = -3*u, -5*f = -4*u - 889. Is f a prime number?
False
Suppose 0 = 6*x - 9*x - 15. Is (-2044)/x - (-11)/55 prime?
True
Let h(m) = m**3 + m**2 + m. Let c(u) = -4*u**3 + 7*u**2 - 26*u - 20. Let r(n) = n**2 + 12*n - 5. Let x be r(-12). Let p(j) = x*h(j) - c(j). Is p(-14) prime?
False
Suppose 2*y - 189 = 93. Let d = y + -98. Is d a prime number?
True
Let w(a) be the first derivative of -9*a**4 + a**3 - a**2/2 + 7*a - 10. Is w(-3) composite?
False
Suppose 4*j = -4*g + 138872, 0 = -4*g - 15*j + 19*j + 138896. Is g prime?
True
Suppose 5*w - 78841 = 2*p, 2*p + 15867 + 15673 = 2*w. Is w a prime number?
True
Suppose 0 = -10*c + 1450 + 2370. Suppose -w - 4*w = -5295. Let n = w - c. Is n composite?
False
Suppose 0 = 13*a - 19*a + 2772. Let o = a + 76. Is o prime?
False
Suppose -2*q - 3*i = -506, 2*q - 3*i - 634 = -116. Suppose -2*p + 5*k = -q, 4 = -p - k + 139. Is p prime?
False
Suppose 3*u - 346 - 14 = 0. Let z = u + -62. Let n = z + -21. Is n a prime number?
True
Let i(w) = 1240*w**2 + 11*w + 37. Is i(-6) prime?
False
Let v be ((-504)/(-4) - 3) + -2. Let m(a) = v*a - 121*a - 1 + 140*a**2. Is m(-2) a prime number?
False
Let d(z) be the third derivative of 0 - 1/20*z**5 + 1/12*z**4 + 1/24*z**6 - 10*z**2 - 7/6*z**3 + 0*z. Is d(5) a composite number?
True
Let g(w) = -7*w**3 - 15*w**2 + 24*w - 17. Is g(-18) a composite number?
True
Suppose 340*n = 333*n + 26537. Is n composite?
True
Suppose 2 = 2*x, 40*x = 4*d + 42*x - 38134. Is d composite?
False
Suppose -86*f = -94*f + 11992. Is f a composite number?
False
Let y = -35 - -48. Suppose -3*l - 850 = -y*l. Is l a prime number?
False
Let h = 37943 + -21610. Is h prime?
True
Suppose 66*f - 8786 = 22828. Is f composite?
False
Let n(g) be the third derivative of -g**9/6048 - g**6/720 - g**5/15 + 3*g**2. Let a(r) be the third derivative of n(r). Is a(-2) composite?
False
Suppose -2*u + 0*g - 2*g = 6, 5*u = 3*g - 7. Is ((-2)/6)/(u/10914) composite?
True
Let k be (772/(-16))/((-4)/32 - 0). Suppose w - 2079 = -k. Is w a composite number?
False
Suppose h + 3 - 14 = -4*u, -5*u = -4*h - 40. Suppose 26270 = 6*o + u*o. Is o a composite number?
True
Suppose -4 = h + 2*q, -5 + 1 = q. Suppose -p - h*m = -0*p - 619, 5*p - 5*m - 2970 = 0. Is p composite?
False
Suppose -2*q = 3*q + 3*v - 25246, -12 = 4*v. Is q composite?
False
Suppose m = 2*i - 8, -2*i + 3*m = 2*i - 16. Suppose 16 = -i*d - 2*w + 42, 5*d - 3*w = 16. Suppose -996 = -d*b + x, -3*b + 798 = b - 2*x. Is b prime?
True
Let g = 8505 + -3358. Is g composite?
False
Let z(n) = 1133*n**2 + 5*n - 23. Is z(7) prime?
True
Suppose -4*g = -655 - 2633. Let z = 1482 - g. Suppose -6*n + 2466 + z = 0. Is n a prime number?
True
Let t = -11 - -17. Is t/(-10) + 23484/15 a composite number?
True
Let n be ((-24)/44)/(-3) - (-31)/11. Is (0 + n*(-2)/12)*-5794 a prime number?
True
Let l(g) = -609*g - 61. Is l(-6) prime?
True
Suppose -8 = -2*a - 4, -3*d - a = -30893. Is d composite?
True
Let a(w) be the third derivative of -w**6/120 + w**5/5 - w**4/24 + 5*w**3/2 - 5*w**2. Let c be a(12). Suppose -c*o + 186 + 15 = 0. Is o composite?
False
Suppose -3*z + 2*z + 763 = 0. Suppose 5*v - 347 = z. Let j = -116 + v. Is j a prime number?
False
Let i = 9 + -3. Suppose 2*a = -3*t - 2, 0 = -5*a + 1 - i. Suppose t = 4*m - 3*m - 409. Is m a prime number?
True
Suppose 3929*y - 3937*y + 176912 = 0. Is y composite?
True
Suppose -2*f - 10956 = 9*f. Let i = 565 - f. Is i a composite number?
True
Let h = 1281 - -770. Is h prime?
False
Let n(d) = 2*d + 172. Let u be n(0). Let r(z) = -2 + 1 - 1 - 5 - u*z. Is r(-3) prime?
True
Let s(d) be the third derivative of 31*d**4/24 + 24*d**2. Let x be 1*(0 + -2)/(-2). Is s(x) a composite number?
False
Let j(b) be the first derivative of b**4/4 + 29*b**3/3 - b**2 + 31*b + 49. Is j(-12) a prime number?
True
Suppose -2*p - 5*l - 2 = -3*l, 3*p + 2*l - 2 = 0. Suppose -65791 = p*o - 15*o. Is o composite?
False
Suppose -6*w = 25 + 11. Let k be (-5)/(-15) - (-14)/w. Let i(v) = -21*v**3 + 4*v**2 + 2*v - 1. Is i(k) a composite number?
False
Suppose 2*h - 19 = -l, 4*h - 4*l - 9 - 11 = 0. Is (-2)/h - (-1061)/4 composite?
True
Suppose 0 = 4*a, j - 3*a = -j - 5254. Let n = -634 - j. Is n a prime number?
True
Let b = -1546 + 985. Is 2*(-3)/36 - b/18 prime?
True
Let l(s) = 8*s**2 + 45*s - 45. Let p(n) = 3*n**2 + 15*n - 15. Let d(c) = -c**3 + 8*c**2 - 9*c + 3. Let h be d(7). Let k(r) = h*p(r) + 4*l(r). Is k(10) prime?
False
Suppose 0*s + 14 = 2*s. Suppose x + 0*x = s. Let u(n) = -n**3 + 10*n**2 - 11*n + 9. Is u(x) prime?
True
Let h be (3944 - (1 - -3))/(3/3). Suppose -s = 5*n - 7*n + 1567, -h = -5*n - 5*s. Is n a prime number?
False
Let f be (7 - 12/2)*0/1. Suppose k + 192 = 4*u + 5*k, u - 3*k - 68 = f. Is u a composite number?
False
Let h be (-4)/18 + 2221/(-9). Let m = -604 - -238. Let r = h - m. Is r a composite number?
True
Let p(i) = 16*i**2 + 1. Suppose -21 = -o - 3*c, -5*o + 12 = -3*c - 3. Suppose 0*z - o = 3*z, 5*z + 1 = -3*s. Is p(s) a prime number?
False
Let t = 5 - 3. Suppose 3*x - 5*z - 1850 = 0, t*x + 5*z = -0*x + 1275. Suppose 5*u - 5*i - x = 0, 2*i - 123 = -u + 4*i. Is u a prime number?
True
Let a = -62 - -8. Suppose -2*i = 10, 0*j + 5*j - 540 = i. Let u = j + a. Is u a prime number?
True
Let l = -1604 - -2277. Is l prime?
True
Suppose 2*l = l + 5. Suppose -3*f - l*g = f + 17, f + 5*g + 23 = 0. Suppose -7*i = -f*i - 355. Is i composite?
False
Let p = 1434 - 1005. Let k = p + -290. Is k prime?
True
Suppose 2*m - 72 - 110 = -5*c, 8 = -2*m. Suppose -c = 7*h - 5*h. Let z(w) = -9*w + 8. Is z(h) a prime number?
True
Let c be 35/20 + 1/4. Suppose -2*p + 3*r = c*p + 25, 4*p = -4*r - 4. Is (12 - -3)/5 - p prime?
True
Let r = -1 - 19. Let f be 3/15 + 4/r. Suppose 5*h - 394 - 1381 = f. Is h a prime number?
False
Suppose 0 = -2*l - 846 - 166. Let q = 885 + l. Is q composite?
False
Let q = -3 + -4. Let k(r) = 180*r - 206*r + 14 - 9. Is k(q) composite?
True
Let r = 196 + -94. Let d = 200 - 200. Suppose 3*u + r = 3*s, d*u + 5*u = s - 22. Is s composite?
False
Let b be 776/10 + -2 - (-54)/(-90). Let h = b + 136. Is h a composite number?
False
Let j(u) = -2814*u - 131. Is j(-3) composite?
False
Let u(a) be the first derivative of 199*a**2/2 - 10*a + 11. Is u(3) a composite number?
False
Suppose -56*u = 7*u - 1302273. Is u a prime number?
False
Let x(f) = 23*f**2 + 2*f + 3. Let c(q) = 15 - 7*q + 3*q 