e?
True
Is (-4)/6*(-147993)/2 a composite number?
False
Let n(t) be the third derivative of 209*t**8/20160 - t**6/720 - t**5/60 + 3*t**2. Let x(r) be the third derivative of n(r). Is x(-2) a prime number?
False
Let t = 8363 - -30930. Is t a prime number?
True
Let l(f) = -8*f - 27*f**3 + 10 - 5*f**2 + f**2 - f**3 - 11. Is l(-4) a prime number?
True
Suppose 392 = 3*w - 2881. Suppose 5*r = 5*z - 1095, 3*z = -2*z + 3*r + w. Is z a prime number?
False
Let f = -80 - -83. Is -1 - f - (-4 - 1543) a composite number?
False
Let g(h) = -3*h + 33. Let k be g(10). Suppose -3*m + 397 = -k*s + 61, 0 = 3*s - 9. Is m composite?
True
Suppose 3*a = 3*m, 2*m = -4*a + 5*a + 2. Suppose -m*g - 4*j = -242, 2*j + 475 = 4*g + j. Suppose -2*f + g = 9. Is f prime?
False
Let g(z) = -z**3 + 29*z**2 + 43*z + 109. Is g(22) a composite number?
True
Suppose -94961 = -4*q + 3*t, 3*t + 118702 = 3*q + 2*q. Is q a prime number?
True
Let x be (3 + (-63)/(-2))/((-3)/(-592)). Suppose -47*g = -39*g - x. Is g prime?
False
Suppose -15*d + 10*d = x - 42652, -x + 17059 = 2*d. Is d a composite number?
True
Let p be 3 - (1 + 2 - 0). Let o be -30*(2/(-30) - (-2)/(-6)). Suppose -o*n + 10*n + 236 = p. Is n composite?
True
Let w(h) = -603*h**3 - 8*h**2 - 10*h + 9. Is w(-4) prime?
False
Suppose -7160 = 22*r - 30*r. Is r a prime number?
False
Let r(p) = 25*p - 3. Let g(x) = 76*x - 10. Let i(d) = 2*g(d) - 7*r(d). Suppose 2 = 5*m + 12. Is i(m) composite?
False
Let p(g) = -5*g**2 + 6*g - 3. Let a(u) = u**2 + u. Let o(d) = -a(d) - p(d). Let f be o(-6). Let h = -106 + f. Is h a composite number?
False
Let m(y) = -136*y + 10181. Is m(0) composite?
False
Let w(n) = -1618*n - 51. Is w(-4) prime?
True
Let b = -7 + 11. Let w(r) = -r**3 - r**2 + 3*r**3 - b*r**3 + r**3 + 6*r + 7. Is w(-5) a composite number?
True
Suppose -178153 = -57*p + 1805048. Is p composite?
True
Let h(f) = 86*f**3 + 5*f**2 - 2*f - 1. Is h(6) a prime number?
True
Let h(r) = 40*r**3 - 24*r**2 + 5*r + 11. Is h(6) a composite number?
False
Is ((-54)/(-81))/(-1 - (-211462)/211458) a prime number?
False
Let l(t) = 11*t**3 - t**2 + 1. Let p(d) = 10*d**3 - d**2 + 1. Let z(o) = -5*l(o) + 4*p(o). Let a be z(-1). Suppose 10*w - a*w = -1015. Is w composite?
True
Let o(z) = 2*z**2 - 4*z - 4. Let j be o(8). Suppose 3*l - j - 118 = 0. Suppose -b - 55 = -3*s - 2*b, l = 4*s + 3*b. Is s a prime number?
True
Let z(n) = -n**3 + 45*n**2 + 46*n + 77. Is z(29) a composite number?
False
Suppose 15*n - 2121 = 8*n. Is n a prime number?
False
Let h(u) = u**2 + 0 + 2 + 9*u + 1. Let z be h(-9). Is -5*(z + (-582)/15) prime?
True
Suppose 3*b + d = -1195, -3*d + 982 = -2*b + 167. Let f be (3/1)/(6/(-534)). Let l = f - b. Is l prime?
False
Suppose -3*y - 2*h = -5647, 0 = y + 3*h + 783 - 2663. Let s = y - 1210. Is s a prime number?
True
Let k be (-878)/2 - (-3 + 1). Suppose 10*m + 3802 = 702. Let i = m - k. Is i a prime number?
True
Suppose -609 + 844 = 5*h. Is h composite?
False
Suppose -a = -0*l + 5*l - 11, a + 3*l - 9 = 0. Suppose 9162 + 27228 = a*k. Is k a prime number?
False
Is ((-18859)/2)/((-45)/90) composite?
False
Let p = -147 + 2914. Is p prime?
True
Let t = -1051 - -105. Let c = t - -1989. Is c a composite number?
True
Let c = 278 - -389. Is c a prime number?
False
Let z(x) = x**3 + 4*x**2 + x + 293. Is z(0) a prime number?
True
Suppose 51 - 18 = 2*v + 3*z, -5*v - 5*z = -90. Is v a composite number?
True
Is 1/((-84)/(-40128)) + 4/14 a composite number?
True
Suppose -33*g + 30*g + 15 = 0. Suppose 2*d = -2*t + 2166, -2*t = -t + g*d - 1067. Is t a composite number?
False
Let z(g) = -122*g**3 + 13*g**2 - 2*g - 31. Is z(-6) a composite number?
False
Let z = 5110 - -13119. Is z composite?
False
Let l be 1 + -14*(-4)/8. Suppose 0 = 5*o - 2 - l. Suppose -o*r + 134 = -0*r. Is r composite?
False
Suppose -5*a = 5, 5*u - 24 = a - 8. Let l be ((-222)/(-24))/(u/120). Suppose 2*y - l = -112. Is y a prime number?
False
Suppose 2*h - 24241 = -7239. Is h a prime number?
True
Let a(t) = -31*t**2 - 7*t - 7. Let d(u) = 19*u**2 - 4*u + 8 + 20*u**2 - 8*u**2 + 12*u. Let k(w) = -7*a(w) - 6*d(w). Is k(-2) prime?
False
Let a = 1275 - -7065. Let p = a - 4207. Is p a prime number?
True
Let j = 4441 + -1052. Is j a prime number?
True
Suppose 2*w - 41 = 71. Suppose -3*f - w = -545. Is f a composite number?
False
Suppose -5874 = -2*t + 2*s, -2*t + 3*s + 5876 = 2*s. Is t a composite number?
False
Let k(w) = w**2 - 7*w + 8. Suppose -5 = -3*d + 13. Let t be k(d). Suppose p + 59 = t*p. Is p a composite number?
False
Suppose -g + 7 = -2*p - 2*g, 0 = -p - 2*g - 11. Is ((-1)/3)/(p/894) a composite number?
True
Suppose -3*j + 2*m + 6030 = -18017, 3*m = -12. Suppose 49*l = 52*l - j. Is l a prime number?
True
Suppose -10*s + 6 = -9*s. Is (4/s)/(12/7002) a composite number?
False
Let d(h) be the second derivative of 23*h**5/2 - 2*h. Let m be d(1). Suppose q - m = 401. Is q a composite number?
False
Let k(h) = -424*h + 121. Is k(-4) prime?
False
Let s be ((-18)/4)/(3/(-42)). Suppose -10*m = -7*m - s. Is m composite?
True
Suppose 3*m - 7*m = 0. Suppose 5*f = -4*b + 117, 90 = 5*f - 5*b - m*b. Is f a composite number?
True
Let j(i) = -i**3 - 14*i**2 + 2*i + 4. Let m be j(-14). Is 20/m*-237*(-8)/(-10) a composite number?
True
Suppose -2241 = -u + s, -5*u = -15*s + 14*s - 11189. Is u prime?
True
Let d = 15 + -9. Let y be ((-52)/d)/(6/27). Is 67/(y/21 + 2) composite?
True
Let r(s) = -5*s + 8*s + s**2 - 2*s**2 + 3*s + 22. Is r(7) prime?
False
Let l(c) = c**2 - 12*c + 31. Let k be l(9). Suppose 0 = a - 4*h - 142, -k*a + 0*a + 3*h + 542 = 0. Is a a composite number?
True
Suppose 3*t + 3*g = 2*g + 28, -5*t - 4*g = -56. Let c be (30/24)/(2/t). Suppose -5*w = -3*p - 2512, c*w + 5*p = 3592 - 1072. Is w a prime number?
True
Let x = 1610 + -406. Suppose -5*y = -8009 + x. Is y composite?
False
Let u be 6/(-3) + 1*2. Let z(c) = c**2 - 10. Let y be z(u). Is 1/(-2) + (-2235)/y a prime number?
True
Suppose -2 = k + 3*s - 2*s, -5*s - 10 = k. Suppose -3*b + 8 - 2 = k, -3*r + 9 = -3*b. Suppose 0*u - r*u + 335 = 0. Is u a composite number?
False
Let l(b) be the first derivative of 11*b**3/3 - 5*b**2/2 + 19*b - 13. Is l(8) prime?
True
Suppose 0 = -4*u - 2 - 2, 2*i + 4*u + 12 = 0. Is (-6)/12 - 2806/i a composite number?
False
Let w be (-1)/(-3 + 4) + 1. Suppose -5*s - 1404 = -3*d, 4*d = -w*d + 4*s + 1864. Is d a composite number?
False
Let m be -2 - (-7 + (3 - 2)). Suppose 2*s = m*s. Suppose s*k - 2*z = -4*k + 210, -3*z - 213 = -4*k. Is k a composite number?
True
Let f(q) = q**2 - 24*q - 58. Let l be f(26). Is (3 - (-6675)/l)/((-2)/4) prime?
False
Suppose 8*f - 3873 = 4807. Let x = f + -130. Is x a prime number?
False
Let p(h) = -h**3 - 15*h**2 + 14*h - 7. Suppose -2*q - 42 = 2*m, -4*q = -m + 2*m + 78. Is p(q) prime?
True
Suppose 6*p - 107495 = 144871. Is p a composite number?
False
Suppose -2*q + 3 = -5*a + 25, -q = a - 3. Suppose 0 = a*y + 20, -2*y - 25 = -0*c - 3*c. Suppose 0 = 3*v + 4*x - 7*x - 33, 5*v + 5*x - c = 0. Is v prime?
False
Is 6 + (-3199)/(3 - 4) a prime number?
False
Suppose -5*n + 80 = -2*b - 3*b, -2*b = -n + 13. Let p = 202 + n. Is p prime?
False
Let z = -13 + 10. Let n be 3/(-3)*(0 + z). Suppose n*q + 0*q - 345 = 0. Is q prime?
False
Suppose 0*u - 26 = -u - 4*c, -3*c - 93 = -3*u. Let j = u + 7. Is j composite?
False
Suppose -4537 = -k - 2*r, -3*k - 8*r + 12*r = -13661. Is k a composite number?
False
Let q(c) = -2*c**3 - 2*c**2 - c + 3. Let a be q(-2). Suppose a*f = 14*f - 614. Is f a composite number?
True
Let f(v) = 11*v**2 - 4 - 6*v + 6 + 9*v**2 - 5*v**2. Is f(11) prime?
False
Let u = -13 - -13. Suppose v - 3*v + 106 = u. Suppose -11 = 2*n - v. Is n a prime number?
False
Suppose 0 = -5*r - 4*c + 69 + 3501, 0 = -3*r + c + 2125. Let z = 1969 - r. Is z composite?
False
Let a(p) = 5*p - 48. Let s be a(10). Is s/(-3)*14604/(-8) prime?
True
Let p = 72 - 173. Let y = 220 + p. Is y a prime number?
False
Let x = -18 + -50. Let j = 62 - x. Suppose 0*i - 87 = -3*i - 2*g, -4*i + j = -2*g. Is i a prime number?
True
Is (6353*(-4)/8)/((-5)/10) a composite number?
False
Suppose 19*d - 15*d = 20. Suppose -d*x = -539 - 956. Is x prime?
False
Let f be (-38)/(-12) + (-2 - (-66)/36). Let u(q) = 58*q**2 + 4*q - 5. Is u(f) a prime number?
False
Let y(w) = 3*w**2 + 2*w + 1. Let v be y(-1). Suppose -3*d + 5435 = v*d. Is d a c