27*j**2 - 31*j - 54. Is g(-31) prime?
True
Let y be (2 - 0) + (-4 - -5). Is y + (-1542)/(-3) + 4 prime?
True
Let t(l) = -l**3 - 5*l**2 + 2*l + 8. Let p be t(-4). Let u(f) = -f**3 - 13*f**2 + 17*f + 5. Is u(p) composite?
True
Let r = 30 + -27. Suppose -2*s = -3*x + s + 120, -r = s. Is x a prime number?
True
Let p(v) be the second derivative of 10*v**3/3 - v**2/2 + 8*v. Is p(3) composite?
False
Suppose -2*j = -5*c + 7 - 4, -21 = -j - 5*c. Let h(b) = b**2 + 3*b - 4. Let q be h(1). Suppose 0*y - j*y + 4506 = q. Is y composite?
False
Let a(f) be the second derivative of 0 + 6*f - 40*f**3 - 1/2*f**2. Is a(-3) prime?
True
Is 2602360/35 + -2 + 52/28 a composite number?
False
Let f(x) = -425*x - 1. Let g(p) = -p**3 + 6*p**2 - 11*p + 4. Let q be g(3). Is f(q) prime?
False
Suppose 3*x + 2004 = 3*f, 0*f - 5*f - 3*x + 3380 = 0. Is f composite?
False
Suppose -2*x + 18 - 12 = 0. Let i(h) = 145*h + 8. Is i(x) prime?
True
Let c = 12 + -23. Let d(k) = -k**3 - 11*k**2 - 3. Let w be d(c). Let s(t) = 40*t**2 - 5*t + 4. Is s(w) a composite number?
False
Let n(u) = -u**3 - 7*u**2 + 8*u + 5. Let w be 6/(-21) + 162/(-21). Let d be n(w). Suppose -2*b + d + 5 = 0, -4*b = -4*g + 744. Is g a prime number?
True
Let s = 3195 + -1338. Is s a composite number?
True
Suppose -5*s + 60 = 5*n - 50, 3*s - 94 = 4*n. Let c = 280 - s. Is c prime?
False
Let d(c) be the third derivative of c**2 + 0*c + 5/6*c**3 - 1/120*c**6 + 0 - 1/20*c**5 - 1/6*c**4. Is d(-4) composite?
False
Let d(x) = 354*x + 5. Let w be 1*(-3 - 2)*1. Let i(k) = -531*k - 8. Let h(u) = w*i(u) - 8*d(u). Is h(-1) composite?
True
Let z = 18003 + -8974. Is z a composite number?
False
Let p(y) = -y**3 - 11*y**2 - 18*y + 4. Let b be p(-9). Suppose -r + 0*r - 4*s + 2543 = 0, 4*r + b*s = 10232. Is r composite?
True
Let n = -276 + 496. Suppose -2*z + 1322 = -n. Is z a composite number?
True
Suppose -3*z - 5*l = -l - 1624, -4*l = 8. Let a = z + -249. Is a a composite number?
True
Suppose -u - 2*u + 2877 = 4*b, -b = -2*u + 1907. Let k = -109 + 115. Suppose -k*x + x + u = 0. Is x a prime number?
True
Let o(d) = d**2 - d + 3. Let b be o(0). Suppose -6*l - b*l = -2637. Is l prime?
True
Let y(s) = s**3 + 12*s**2 + 10*s - 15. Let f be y(-11). Let i(q) = q**3 + 5*q**2 + 2*q + 2. Let l be i(f). Is (-534)/(-10) - 4/l a composite number?
False
Let z be 31/6 + 5/(-30). Let i = 6 - z. Suppose 0 = -x + i, -4*s + 2*x + 6 + 0 = 0. Is s a composite number?
False
Suppose -158*v + 167*v - 7173 = 0. Is v composite?
False
Let a(o) = o**2 - 12*o - 2. Let l be a(9). Let j(w) = w**2 + 26*w + 10. Is j(l) composite?
False
Suppose -4*f - q = -22141 - 69152, -5*q = 5*f - 114120. Is f a prime number?
False
Let y(d) be the second derivative of -43*d**4/24 - 7*d**3/6 - 11*d**2/2 - 5*d. Let u(a) be the first derivative of y(a). Is u(-6) prime?
True
Let d(s) = s**3 + 4*s**2 - 5*s + 12. Let b be d(-6). Let c = b + 32. Suppose 0 = c*l + 2*l - z - 152, 74 = 2*l - z. Is l composite?
True
Let v(w) = 3 + 8 - 4 + 10*w. Let q = 13 - 6. Is v(q) composite?
True
Let d = 318025 - 170316. Is d a prime number?
True
Let l(w) = 370*w**2 - 6*w + 7. Is l(-4) a prime number?
False
Let d(x) = -x**3 - 28*x**2 + 28*x - 26. Let a be d(-29). Let h(m) = 183*m**2 - 2*m - 1. Let z be h(-3). Suppose a*u - z = -u. Is u a composite number?
True
Suppose -10*f - 55 + 85 = 0. Suppose 4*z + 5790 = 2*k, 10526 = f*k + 5*z + 1830. Is k prime?
True
Suppose -205*n + 203*n = -4822. Is n composite?
False
Suppose -6*r - 19 + 31 = 0. Is -2 + (96 - (3 - r)) prime?
False
Let c be ((1 - 2) + 1)/(-2). Suppose s = -5*y + 231, c*y = -y + 5*s + 41. Let d = y + 9. Is d a composite number?
True
Let h(g) = 2 - 4 - 7 + 9*g - 2. Is h(10) prime?
True
Suppose 0 = 2*i - 1 - 5. Let x = 96 - -52. Suppose 239 = i*k - x. Is k a prime number?
False
Let m = -533 + 2334. Is m a composite number?
False
Let s = -1322 - -2307. Let m = 728 + s. Is m a prime number?
False
Suppose 19*a = 4*a + 64245. Is a a composite number?
False
Let g(h) be the third derivative of 0*h + 2/3*h**3 - 5*h**2 + 0 + 31/24*h**4. Is g(3) a composite number?
False
Let d be 772 + -1 + 8/(-8). Let z(i) = i**2 + 9*i - 19. Let k be z(-11). Suppose -5*h + d = -5*a, k*h = -5*a + 351 + 71. Is h a composite number?
False
Suppose 3*d = -g + 15898, -d + 2 = -1. Is g composite?
False
Let k(j) = -33*j + 2. Let r be k(3). Let q = -166 - r. Let n = q + 292. Is n prime?
True
Let i = -21448 + 73371. Is i composite?
True
Let u be (-9)/(0 - (-5)/235). Suppose -3*t + 2*g + 742 = -6*t, 5*t + 1238 = -4*g. Let p = t - u. Is p a prime number?
False
Is 41/(-2)*(-92)/((-6)/(-3)) a prime number?
False
Suppose 0 = -16*h - 18*h + 180506. Is h a composite number?
False
Let l = 8 + -8. Suppose l = 4*y - 0*y - 2596. Let f = y + -387. Is f a composite number?
True
Is 6/15 + (1 - (-51440)/25) prime?
False
Let r be -4 + (-2 - -5) - -4. Let n be ((-1)/r)/((-4)/60). Suppose 3*u = -n*z + 730, -3*z + 6*u + 438 = 2*u. Is z prime?
False
Let y be 29 - -14 - 1*-4. Is (-4 + 89 - 2)*y prime?
False
Let p be 97 - 3*4/(-3). Let r = 26 + 13. Suppose -r = -4*x + p. Is x prime?
False
Let j = -541 + 2100. Is j prime?
True
Let u = 117 - 116. Let r(l) = 1374*l + 7. Is r(u) a composite number?
False
Suppose j + 314 = 4*n, 0*j - j = -5*n + 393. Suppose -i - 178 = -3*i - y, -3*y = i - n. Suppose s + 2*b = -0*s + 7, -5*s + 4*b = -i. Is s a composite number?
True
Let p(d) = -7*d + 51. Suppose 4*v = -v - 5*h - 65, 4*v + 58 = 2*h. Is p(v) a prime number?
True
Let v = 14205 + -9506. Is v a composite number?
True
Let c be 0 + 197*(0 + 2). Suppose c = x + 3*h, -2*x = x - 2*h - 1127. Is x composite?
False
Let j be ((-10)/3)/(32/(-48)). Suppose -2*r + d = -420 + 68, -3*r + j*d = -542. Suppose r = 2*o - 80. Is o a composite number?
False
Let v(t) = -47*t + 2. Let z be v(-5). Suppose -2*p + z = 3*h, -p + 80 = 2*h - 79. Let o = -46 + h. Is o composite?
True
Let d = 62 - -275. Is d a composite number?
False
Suppose 192 = -6*d + 12. Let w = d - -32. Suppose -y + 2013 = w*y. Is y a composite number?
True
Let s = -4043 + 7391. Is s/10 + 4/20 a prime number?
False
Let l = -69 - -9. Let q be ((-64)/10)/(24/l). Let h(d) = -d**3 + 17*d**2 - 11*d - 6. Is h(q) composite?
True
Suppose -2*f + 7135 = -1627. Suppose 0 = -5*s - d + f, 3*s + d = 7*s - 3512. Is s composite?
False
Let a = 19 + -16. Suppose a*o - 436 = s, 2*o = 2*s - 5*s + 287. Is o composite?
True
Let l(x) = 4*x - 3*x**2 + 3 - 5 + 2*x**3 - 5*x. Let m be l(-4). Is (-24)/9*m/8 a composite number?
True
Suppose 47*x - 59*x = -13404. Is x a composite number?
False
Suppose -4*h - 3*d + 3 = 0, 4*d = 2*h - 3*h + 4. Is h*2/(-4) - (-62 + -389) a composite number?
True
Suppose 0 = -t - q, 0 = -q + 6*q. Suppose 0 = a - 7 - t. Suppose 9*u = a*u + 370. Is u composite?
True
Let b(d) = -27*d**3 - 2*d**2 - 3*d - 3. Let k(i) = -3*i. Let v be k(0). Suppose v = -q + 2*q + 2. Is b(q) prime?
True
Suppose -5*c + 18 = 3*u, -5*c + 2*c = -3*u - 6. Is (-1*498/u)/(-1) - 1 a composite number?
True
Let i(d) = -d**2 - 7*d - 6. Let s be i(-8). Let a = 14 + s. Is 2 + 118 + a - 1 prime?
False
Suppose -2*y + 5037 - 1561 = 0. Suppose -23 = -3*d + y. Is d a composite number?
False
Let g be 52*(81/6 + -1). Suppose 4*l = -l + g. Let k = -61 + l. Is k a composite number?
True
Is (-2 + 6)/(40/45830) composite?
False
Let s = -246 + 455. Let a = s + 1152. Is a a composite number?
False
Suppose 4*a + 81205 + 7186 = 3*c, -5*c + a + 147307 = 0. Is c composite?
True
Suppose 0*q + 14*q = 28. Is (-9716)/q*2/(-4) composite?
True
Suppose c - 2*c = 17. Let n = c - -27. Is 3894/n - (-20)/(-50) a composite number?
False
Let j(a) be the first derivative of -a**3/3 - a**2/2 + 407*a + 133. Let k(u) = -u + 2. Let z be k(2). Is j(z) a composite number?
True
Suppose 10*c + 44330 = 2*z + 6*c, 4*z + 2*c - 88690 = 0. Is z a prime number?
True
Let p = 31 + -28. Let c be 1 - (-1 + (p - -5)). Is (290/c)/((-12)/36) prime?
False
Suppose 7*i = -31*i + 4522. Is i composite?
True
Let f = 3 + -3. Let u = -803 - -1273. Suppose 3*a - i - 542 = f, -47 = -3*a - 4*i + u. Is a a prime number?
True
Let k(m) be the third derivative of -17*m**7/5040 + 7*m**6/720 - m**5/12 + m**2. Let l(o) be the third derivative of k(o). Is l(-12) a prime number?
True
Is 5 + 6/((-12)/(-4714)) prime?
False
Let o(s) = -29*s**2 - 2*s - 1. Let i be o(-1). Let d = 