Is t a composite number?
True
Let y(i) = -6*i + 17 + 13*i + 4*i. Is y(6) prime?
True
Let z(x) = 14*x + 11. Let h(w) = -w - 16. Let l be h(-19). Let r be z(l). Suppose 2*a - 3*a = -r. Is a composite?
False
Let z = -23 - -15. Let j(w) = -5*w**3 - 14*w**2 - 5*w - 7. Let t(d) = -6*d**3 - 15*d**2 - 6*d - 7. Let r(u) = -5*j(u) + 4*t(u). Is r(z) a prime number?
True
Let p(d) = 29*d**2 - 3*d - 1. Let v = -53 - -56. Is p(v) prime?
True
Suppose -5*l = -386 - 284. Let p = l + -48. Is p composite?
True
Suppose -9 = -3*m, 2*x + 4*m = -0*x - 598. Let j = x + 528. Is j composite?
False
Let g(z) = 2 - 1 - 1 + 7 - 12*z + 16*z**2. Is g(-10) prime?
False
Suppose 4033 = 3*h - d, 0 = 2*h + 14*d - 11*d - 2696. Is h composite?
True
Is 1060/1 + -1 - -2 prime?
True
Let f = 359 + 789. Suppose 4*m + 5*x - 4585 = 0, 0*m - f = -m - 3*x. Is m composite?
True
Suppose 4*b = 0, -2*v + b + 9 + 7 = 0. Suppose -3*a + a + v = 0. Is (-5157)/18*a/(-6) a prime number?
True
Suppose -3*h + 2*h = -181. Suppose -474 = -5*b + h. Is b prime?
True
Let g(f) = 265*f**3 - 2*f**2 - 5*f - 1. Is g(3) a composite number?
False
Suppose 0 = -5*t + 11*t - 1524. Suppose 0 = -5*r + 3*q + 2383 - t, 0 = -4*r - q + 1710. Is r a prime number?
False
Let g = 272 + 1713. Is g prime?
False
Suppose 4*q = 2*n - 4, -2 + 0 = -q. Suppose 3*y - 15 = -n. Suppose y*l = -2*l + 55. Is l a prime number?
True
Let n = 1532 + 1767. Is n a prime number?
True
Is (7/(-14))/((-8)/200624) prime?
True
Suppose -4*j + 6060 = v + 3*v, 2*j = -5*v + 3036. Is j a prime number?
False
Let v(j) = j**2 - 8*j + 1. Let s be v(8). Is (-2 + (-826)/(-4))/(s/2) a prime number?
True
Let o = 59 - 77. Is (1 + 30/o)/(2/(-1758)) a composite number?
True
Let y be 8/12 + (1/3 - -2). Let u be 136 - (-2)/2 - 1. Suppose 7*h - y*h = u. Is h a prime number?
False
Let s = 947437 + -669294. Is s a composite number?
False
Is 12/(-2) - (-3470 - -1) a composite number?
False
Is -5*(-5)/150*98286 a composite number?
False
Let x = -4 - -6. Let i(n) = -4*n + x*n**2 + 4 - 1 - 2. Is i(-6) prime?
True
Suppose -3*v + z + 3*z + 15184 = 0, 2*z - 4 = 0. Suppose y = -7*y + v. Is y a prime number?
False
Let h(r) = -125*r - 1. Let s = -7 + 11. Suppose -2*q = -3*q - s. Is h(q) prime?
True
Let i = 10839 - -10048. Is i a composite number?
False
Let i be -6*(-4)/6*-1. Let g be (12/(-9))/(i/6). Suppose 2*z - 680 = 2*v, 0*z + 3*v - 655 = -g*z. Is z a composite number?
True
Let b(x) = 3*x**3 - 5*x**2 - 3*x - 4. Let t be b(5). Is 1 + 0 + t + -6 composite?
True
Let d be (1 - -5)/(10 - 7). Is ((-11)/3)/(d + (-3014)/1506) a composite number?
True
Let h = -2236 - -4580. Suppose 6*y = 7*y - 5*b - 607, -4*y = b - h. Is y a composite number?
False
Let w = 34016 + 28611. Is w a prime number?
True
Let x(f) = -4*f**2 - 16*f + 7*f**2 - 21 + 13*f. Is x(20) a prime number?
False
Suppose -67*a + 83*a - 282352 = 0. Is a composite?
True
Let t = 84 + -84. Let l(s) = s + 1835. Is l(t) composite?
True
Let t(y) = 621*y**2 + 4*y + 2. Let s be t(-3). Suppose -s = -2*w + 3639. Is w composite?
True
Let f(a) = 8*a**2 - 19*a + 40. Is f(-13) a composite number?
True
Let t be 3 + (1/(-2))/(1/(-2)). Suppose 4*d - d = 3*l - 462, 0 = -l + t*d + 145. Is l a prime number?
True
Suppose 35*p - 36*p = 2. Let d be (-1656)/(-88) - p/11. Suppose -f + 164 - d = 0. Is f prime?
False
Let g(l) = -23*l**3 + 7*l**2 - 9*l + 6. Is g(-7) composite?
True
Suppose 0 = 3*d - 4 - 8. Suppose -4*s = -s - a - 5, d*s - 3*a = 15. Suppose 2*t = -s*t + 614. Is t a composite number?
False
Suppose 3*g + 1 + 17 = 0. Let s(x) = -256*x - 7. Is s(g) a prime number?
False
Let j(a) = 22*a - 249. Let b be j(11). Let f(u) be the second derivative of u**4/3 - 13*u**3/6 + 2*u**2 + u. Is f(b) a composite number?
True
Let g(j) = 37*j - 5. Let h(r) = -300*r**2 + 1. Let b be h(1). Let o be (-1)/(-6) + b/(-78). Is g(o) prime?
False
Suppose -17*b + 19725 = -2*b. Is b prime?
False
Let q(r) = 3*r - 23 + 10 + 14 - 10*r**2 - r**3. Let u(v) = -v**3 - 7*v**2 + 11*v + 12. Let p be u(-8). Is q(p) a composite number?
True
Let o(d) = -d**3 - 10*d**2 - 10*d - 7. Let u be o(-9). Is u*(0 + -2) - -1607 a composite number?
True
Suppose -3786 - 23604 = -15*w. Suppose -3*v + 15 = 0, -5*v + 429 = 5*m - w. Is m a composite number?
True
Let w be 132/15 + 0 + (-6)/(-30). Suppose -1165 = 4*t - w*t. Is t prime?
True
Suppose 4270 = 2*g - 5890. Suppose -15*o + 19810 = g. Is o composite?
True
Let u(h) = -4*h**3 + 15*h**2 + 5*h - 119. Is u(-20) a composite number?
False
Let d(a) = -21973*a + 467. Is d(-2) a prime number?
False
Suppose 53*z = 54*z - 2067. Let o(y) = 10*y**3 - y - 1. Let l be o(-5). Let i = z + l. Is i composite?
False
Suppose 4*x - 7743 = 7*x. Let d = x + 3772. Is d a composite number?
True
Let o(p) = -111*p**3 - 4*p**2 - 4*p - 4. Let f be o(-2). Suppose -2564 = -8*a - f. Is a a prime number?
True
Let d(w) = w**3 - 44*w**2 + w - 97. Is d(46) a composite number?
True
Let y(t) = -2*t - 13. Let a be y(-10). Suppose a*h = 2*h. Suppose -7*w + 4*w + 39 = h. Is w a composite number?
False
Let h(j) = j**3 - 9*j**2 - j + 2. Let s be h(9). Is (-1 - s)*(-44)/(-12) a prime number?
False
Suppose 20 = 4*a, -3*d = -a - 30473 - 6689. Is d composite?
True
Let o(p) = -p**3 + 13*p**2 - 12*p + 3. Let g be o(12). Suppose 127 = g*x + n - 0*n, 5*x - 5*n = 225. Is x prime?
True
Let f(l) = -29*l**3 - 24*l**2 - 8*l. Let s be f(-5). Suppose s + 2737 = 6*x. Is x a prime number?
True
Suppose -2*l = -l + 3*v + 1, 6 = -3*v. Is 7482/15 - (-1)/l composite?
False
Suppose -45*g - 8014 = -47*g. Is g composite?
False
Let j(g) = -g - 7. Let l be j(-5). Let n(x) = 108*x**2 + x + 1. Is n(l) composite?
False
Let i be (-168)/(-4)*(2 - 0). Let t = -143 + i. Is -12*(t/4 - 3) a prime number?
False
Suppose 0*s - 2*o = 5*s - 115, 2*s - 32 = 2*o. Suppose z - 17 = s. Suppose 5*n - 147 - z = 0. Is n a composite number?
False
Let x(m) = m**3 + m**2 + m + 4. Let z be x(-2). Is (z - (-901)/7) + (-2)/(-7) prime?
True
Suppose 9*l - 56249 - 112996 = 0. Is l prime?
False
Suppose 0 = 4*c + b - 7759, 2*c = b + b + 3872. Is c composite?
True
Suppose -w + 23 = 8. Let s(j) = w*j + 2 + 49*j - 15*j. Is s(3) a prime number?
True
Is (2 - ((-105)/25 - -6))*67615 composite?
False
Is ((-4212)/(-65) + 5)*85 a composite number?
True
Let p(d) be the third derivative of d**5/60 + d**3 - 11*d**2. Is p(-11) a composite number?
False
Is (5 + 0)*((-10400)/(-16) - 9) a composite number?
True
Let u = -63 + 85. Is (-4)/u - 30429/(-77) a composite number?
True
Let i(w) = w**3 + 18*w**2 + 51*w - 43. Is i(21) a prime number?
False
Let y = 129957 - 70448. Is y prime?
True
Let x(k) = 4*k**3 + 11*k**2 + 21*k - 19. Is x(8) a composite number?
True
Let f be (-11)/88 - (-1)/8. Suppose -3*n - 2*n + 7305 = f. Is n prime?
False
Suppose -3*j - 5*l = -15814, 0 = -0*j - 3*j - l + 15818. Is j composite?
False
Suppose -5*c + 14358 = 3*d - 38428, -c + 70387 = 4*d. Is d composite?
False
Is 3/((8 - 1) + -4)*9901 a composite number?
False
Suppose x + 5*g = 12, -5*g + 2 = -8. Suppose -x*p + 1639 - 305 = 0. Is p a prime number?
False
Let s(i) = -i + 2. Suppose -r + 11 + 3 = -4*l, -3*r = l - 3. Let m be s(r). Let a(t) = -t**3 + t**2 + t + 129. Is a(m) a composite number?
True
Let m(b) = 80*b**2 + b + 9. Let l = 65 + -69. Is m(l) prime?
False
Let i(b) = -69*b + 4. Let n(a) = a**3 - 6*a**2 + 8*a - 3. Let h be n(4). Is i(h) a prime number?
True
Let g(y) = -y**3 + 10*y**2 + y + 8. Let o be g(10). Is 0 - 1 - (o + -72) a composite number?
False
Let i = 2889 - -45968. Is i a composite number?
False
Let x(p) = -p**2 + 25*p - 35. Let w be x(17). Let a(y) = -2*y**2 - 3*y + 6. Let r be a(-6). Let s = w + r. Is s prime?
True
Let q = 1 + -5. Let i be 1*420 - (q - -1). Suppose n - 2*d - 1053 = -4*n, 2*n - i = -d. Is n composite?
False
Is (-356)/(-3) + 88/(-132) a prime number?
False
Let t(d) = -2*d**2 + 3*d + 8*d**2 - 6 + 2*d. Suppose 5*s + 24 = -1. Is t(s) a prime number?
False
Let g(x) = -46*x**3 - 7*x - 58. Is g(-9) composite?
True
Let l = 18 + -20. Let a(p) = -90*p + 2. Let o be a(l). Suppose o = -3*u + 575. Is u a composite number?
False
Let s(l) = l**2 - 13*l - 19. Let k(d) = d**2 - 13*d - 18. Let f(y) = 3*k(y) - 2*s(y). Let w be f(14). Is (6/9)/(w/(-879)) a composite number?
False
Let w(v) = v**2 + 5*v + 8. Let u be w(-3). Let i be 2/(-3) - (-33)/9. Suppose -i*z = -u*z - 7