11*g - 16*g + p. Is g composite?
False
Suppose 0 = -39*v + 37*v + 1254. Let n = 1084 - v. Is n a prime number?
True
Let z = 25 - 21. Let o = z - 0. Suppose -b - 173 = -2*b - o*a, -2*b - 4*a + 350 = 0. Is b a composite number?
True
Let s(g) be the third derivative of -7/24*g**4 + 5/6*g**3 + 7/60*g**5 + 1/120*g**6 + 0 + 9*g**2 + 0*g. Is s(-6) a composite number?
False
Let j(s) = s**3 + 4*s**2 + 4*s + 7. Let z be j(-3). Suppose -3*k - 257 = -z*k. Is k a prime number?
True
Let y(z) = -908*z - 33. Is y(-5) prime?
True
Let w(r) = 2*r + 67. Let c be w(-8). Is 2/17 + -4 + 92049/c a composite number?
False
Let q = -78 - -4063. Is q a prime number?
False
Let p = 7525 + -3746. Is p prime?
True
Suppose 0 = 3*t - a + 13, t = -a + 1 - 8. Let x(i) = -45*i - 14. Is x(t) prime?
True
Let l(v) = -49*v - 24. Let q be ((-20)/(-8))/(5/(-10)). Is l(q) prime?
False
Let t be ((-10)/4 - -1)*11780/(-114). Suppose -t = 2*r - 769. Is r a composite number?
False
Suppose -5*w = -3*q - 27580, 0 = 4*w + 41*q - 44*q - 22061. Is w prime?
True
Suppose -2*g - 6*q - 108 = -3*q, -4*g = 2*q + 224. Is (g/38)/((-2)/76) composite?
True
Suppose -16017 = 4*t - 96973. Is t prime?
False
Suppose -r = 2*r - 186. Suppose 5*f - f = q - 185, 2*q + 2*f = 410. Let v = q - r. Is v a composite number?
False
Let q(w) be the third derivative of -w**7/2520 + 19*w**6/720 - 3*w**5/40 + w**4/12 + 10*w**2. Let k(s) be the second derivative of q(s). Is k(13) prime?
False
Let y(w) = 2*w**3 - 2*w - 10*w**2 + w**2 - 2*w**2 - 8. Is y(9) prime?
True
Suppose -5*h + 9*h = 19540. Is h a prime number?
False
Suppose 2*z - 164 = a, -a - 55 - 101 = 2*z. Let y = a - -287. Is y a prime number?
True
Suppose 4*a + 5 + 7 = 0. Is 1*-191*(1 + a) prime?
False
Let z(n) = 263*n**2 - 8*n + 112. Is z(11) a composite number?
False
Let m = 6 - 5. Suppose -p = 3 - m, b + 2*p = 5. Is (-2)/(-6) + 186/b composite?
True
Is (-1)/(-5) - (87792/20)/(-2) a prime number?
False
Let t be ((-25)/(-2) + -4)*16 - 1. Let m = 1492 - t. Is m a composite number?
True
Suppose 0 = 3*w + l - 21304, 4476 = -2*w + 3*l + 18697. Is w a prime number?
True
Suppose -2*g = -g - b - 80, 0 = -5*g + 3*b + 394. Suppose -l = 78 + g. Let n = 68 - l. Is n prime?
True
Let p(a) = -23*a - 17. Let v be p(-5). Suppose -4*r + 6*r = -v. Let u = 16 - r. Is u a prime number?
False
Let k be ((-6)/2)/3*907. Let d be ((-16)/20)/((-1)/1690). Let i = k + d. Is i composite?
True
Let r(i) = -3*i + 30. Let x = 126 - 139. Is r(x) a composite number?
True
Let d(k) = 1. Let m(y) = 33*y - 18. Let p(q) = 2*d(q) + m(q). Let c be p(12). Suppose b - 5*b + c = 0. Is b a composite number?
True
Suppose -15*p - 14826 = -8*p. Let k = 1235 - p. Is k composite?
True
Let z(n) = 2*n**3 - 5*n**2 - 11*n + 17. Let u be (-300)/(-44) - (-2)/11. Is z(u) a prime number?
False
Let t = 523 - 297. Is t a composite number?
True
Suppose -5 = 4*o - 3*v - 24, -o - 5*v - 1 = 0. Let j(h) = -10*h**2 + 5*h + 1. Let q be j(-3). Is (-27336)/q + o/26 prime?
True
Let d be 2*7/(14/4). Suppose 2*o + 2*j = 930, -4*j = -d*o + 470 + 1422. Is o prime?
False
Let v = 6 - 2. Suppose 3*k + 0*k - 377 = -u, 370 = u - v*k. Suppose 2*x - u = 416. Is x a composite number?
True
Let z = 846 - 743. Is z prime?
True
Let c(g) = -g**3 - 5*g**2 + 4*g - 7. Let m be c(-6). Suppose 2*q + 2*q = 2*x - 128, 0 = -2*x + m*q + 131. Suppose -r + x = -0*r - j, j + 5 = 0. Is r prime?
True
Let d = -45 - -93. Suppose -4*g + d + 248 = 0. Is g prime?
False
Is (1 - 40863)/((-34)/17) composite?
False
Let s be (-1 + 2)*(0 + 4). Suppose -s*v = 5*d - 0*v - 451, -184 = -2*d + 2*v. Is d composite?
True
Let c = 121967 - 62532. Is c prime?
False
Let r(d) = 2*d**3 - 8*d**2 + 8*d + 13. Suppose -6*v + 2*v = -4*i - 24, -3*v - i + 18 = 0. Is r(v) a composite number?
True
Let r be (143/52)/((-2)/40). Let u = r - -92. Is u a prime number?
True
Let u = -10150 + 17189. Is u prime?
True
Let i(t) = -t - 8. Let j be i(-11). Suppose -2*s - 340 = -j*s. Suppose 0*w = -4*w + s. Is w prime?
False
Is ((-77942)/6)/((10 + -16)/18) composite?
False
Suppose -6 = -9*u + 6*u. Is u/(-2 - 1708/(-853)) prime?
True
Let f(p) = -5*p - 12*p + 3*p - 10. Is f(-6) composite?
True
Suppose 4*o + 3*y - 5828 = 0, 0*y - 2*y - 1457 = -o. Is o composite?
True
Suppose 3*m + k - 25016 = 2*k, 3*k = m - 8336. Is m composite?
True
Suppose -5*r - 4*s - 657433 = -1820242, s = -r + 232562. Is r composite?
True
Suppose 1778 = 2*u + 4*n, 5*u = 9*u - 5*n - 3543. Is u a prime number?
True
Let g(p) = p - 3. Let h be g(7). Suppose h*l - 1962 - 2442 = 0. Is l a composite number?
True
Let g = 3 + 1. Suppose 3*q + 0*q = -g*y - 1, 2*y - 3*q = 13. Suppose y*h + 0*h = 74. Is h prime?
True
Let n(s) be the third derivative of -s**5/60 - 5*s**4/12 - 4*s**3/3 + 36*s**2. Let v(x) = -x + 1. Let h be v(8). Is n(h) a composite number?
False
Suppose 11*b = 8*b. Suppose -6*s - 54 + 336 = b. Is s a prime number?
True
Suppose 4*o = -2*p + 66, p = 5*o - 12 - 53. Let s = o - 11. Suppose s*h = 116 + 43. Is h composite?
False
Is (-172190)/(-6) - (-19)/((-1083)/(-38)) a composite number?
True
Let g = -12 + 22. Let y = g + -1. Let m(w) = -w**3 + 9*w**2 + 9*w - 4. Is m(y) a prime number?
False
Let g(q) = 2*q**2 + 8*q - 7. Let r be g(-5). Suppose -r*c = o - 6*c - 785, -2355 = -3*o + 2*c. Is o composite?
True
Let o = -168 - -251. Suppose -2*k - o + 217 = 0. Suppose 0*q - k = -q. Is q prime?
True
Suppose -16*l - 270 = -1790. Is l composite?
True
Let p(d) = -2*d + 19. Let i be p(8). Suppose -1608 = -i*l + 1935. Is l prime?
True
Let m(w) be the first derivative of -w**4/4 - 17*w**3/3 - 8*w**2 - 11*w + 5. Let p be m(-10). Let h = -390 - p. Is h a composite number?
True
Let m(s) = 112*s - 41. Is m(6) a composite number?
False
Suppose 10270 = 2*l - h + 522, 0 = -3*h. Is l composite?
True
Suppose -5*d - 1200 = 4*l + 2077, 4089 = -5*l + d. Let u = -297 - l. Is u composite?
False
Let w(q) = -4007*q - 129. Is w(-8) a prime number?
False
Suppose 5*v - 19 + 4 = 0. Is v*(-347)/(-5 + 4) a composite number?
True
Suppose 4*u - 2656 = 4*n, -654 = -u - 3*n + 2*n. Let o = u + 738. Is o prime?
False
Let o(d) = d**3 + 68*d**2 - 53*d + 61. Is o(-57) a prime number?
True
Suppose -4*l = l - 345. Let h = l + 146. Is h a prime number?
False
Is (-3)/(36/(-562232)) + 4/12 a prime number?
True
Let h(k) = -6*k**3 - 15*k**2 + 15*k - 2. Let a(j) = 5*j**3 + 15*j**2 - 14*j + 3. Let x(m) = 5*a(m) + 4*h(m). Is x(-15) a prime number?
True
Suppose 25*s - 24253 + 5628 = 0. Is s prime?
False
Is (-66423)/42*2/(-1) prime?
True
Let x(j) = 3*j + 24. Let c(i) = -2*i - 16. Let h(t) = -8*c(t) - 5*x(t). Let v be h(-8). Suppose 0*k - 3*k + 771 = v. Is k a composite number?
False
Let r = 853 - -20. Let w = -172 + r. Is w prime?
True
Suppose -212 = 4*b - 2*t - 5616, 2*b - 2*t - 2704 = 0. Let h = 599 + b. Is h prime?
True
Suppose -1092 = -5*x - 4*u, 3*u = -5*x + 80 + 1014. Is x/8*(-70)/(-25) a prime number?
False
Let r = 2742 - 1423. Is r composite?
False
Suppose -r - 5*a - 386 = 0, -3*r - 1459 = -a - 237. Let w = -413 - -218. Let i = w - r. Is i prime?
True
Let z(f) be the second derivative of 237*f**3/2 - 11*f**2/2 - 40*f. Is z(4) composite?
False
Let h(y) = -y**3 + 296*y + 5 - 9*y**2 - 171*y - 147*y. Is h(-16) a prime number?
False
Suppose 0 = m - 0*m + 133. Let w = 58 - m. Is w a composite number?
False
Let c(b) = -b**2 - 6*b - 4. Let d be c(-5). Is 0/7 - d*-127 a prime number?
True
Let d be 1/(5/15)*71. Is (d - (1 - 1)) + -2 a prime number?
True
Let g be 0 + 2*3/6. Let s(q) = -q**2 + 18*q - 17. Let p be s(17). Is (317 - p)/(0 + g) prime?
True
Let s be (12/9)/(6/9). Suppose -9 = s*c - i, -2*c + 3*i + 15 = -3*c. Is (-1924)/c - 5/(-15) prime?
False
Suppose -21*t + 54644 = -3715. Is t composite?
True
Let x(l) = 3*l + 526 + 2*l**2 + l**3 - 4*l**2 - 528. Let r(z) = z**3 - 3*z**2 + 2*z - 4. Let w be r(3). Is x(w) a composite number?
True
Suppose -a - 19893 = -5*c, 3*c + 2*a = 5*c - 7954. Is c prime?
False
Let n(a) = 355*a**3 - 4*a**2 + 5*a - 1. Is n(2) prime?
True
Let i(v) = 68*v**2 + 2*v + 3. Let d(f) = f**2 + 9*f + 7. Let z be d(-8). Is i(z) a composite number?
True
Let j = 92079 - 20600. Is j composite?
False
Suppose -k + 186148 = 5*l, -k - 76429 + 299806 = 6*l. Is l prime?
False
Is 14*(-4)/32*-764 a composite number?
True
Let b(i) = -12*i + 7. Let l(c) = -c**2 - 13*c + 24. Let z be l(-15). Is 