site number?
True
Is (-25354)/(-21)*(-3)/(-2) prime?
True
Let t(p) = -4*p - 5. Suppose -5*f - 23 + 3 = 0. Let x be t(f). Is (-6 - 5)*-1*x prime?
False
Let m = -15 + 5. Let o = m - -16. Is (-11)/(-2)*(-2 + o) a composite number?
True
Let t(d) be the third derivative of d**4/8 + 7*d**3/6 + d**2. Is t(8) a composite number?
False
Suppose 2*a + 2*a = 12992. Suppose a = 3*j + j. Suppose -2*h = -4*d + 587 + 225, 3*h - j = -4*d. Is d a prime number?
False
Let n be (-2445)/(-25) - 2/(-10). Suppose -n = -4*s + 2*s. Is s a composite number?
True
Let o be ((-24)/10)/(6/45). Is (372/o)/(2/(-3)) composite?
False
Suppose 3*v - 5 = -3*f + 289, 5*f = -25. Is v a composite number?
False
Let g(h) = -h - 4. Let u be g(-6). Let r be (0 - 2)*4 + u. Is (249/r*2)/(-1) a composite number?
False
Let g = 7 + -4. Let n = -5 + g. Let y = 9 + n. Is y a prime number?
True
Let k = 305 + -533. Let n = k - -563. Is n a prime number?
False
Suppose j - 575 = -2*b, 0 = -3*b + 2*j + 955 - 82. Is b prime?
False
Let s be (-6)/(-4)*(6 - 4). Suppose 0*l + 73 = l + s*g, 0 = g - 5. Is l a prime number?
False
Let c(a) = 2*a**2 + 17*a - 11. Let q be c(-12). Suppose -z + q + 394 = 0. Is z composite?
False
Let y(t) be the third derivative of -t**6/120 + t**5/20 + t**4/8 - 2*t**3/3 - t**2. Let b be y(3). Suppose -b*w = -w - 232. Is w composite?
True
Suppose -3*f + 250 + 1274 = 0. Suppose -4*w - f = 4308. Is w/(-21) + 4/6 a composite number?
True
Let p = -1010 + 1905. Is p a composite number?
True
Let q(d) = 2*d**2 + d + 5*d + 3*d**3 + 2 - 4*d**3. Is q(-6) a prime number?
False
Let m(u) = 665*u**2 + 2*u - 2. Let c be m(-2). Is (-2)/5 + c/10 a composite number?
True
Let y(l) be the second derivative of l**5/20 + 11*l**4/12 + l**3 + 7*l**2/2 - 2*l. Suppose 7 = 5*f + 4*o + 48, -15 = 2*f + 3*o. Is y(f) a prime number?
False
Suppose 2*j - 2344 = -2*j. Suppose 4*k - 306 = j. Is k a composite number?
False
Let z(s) = s + 3. Is z(0) a prime number?
True
Let h be 28/(-6) - 4/12. Let t(l) = -7*l**3 + 8*l**2 + 4*l - 11. Let v(a) = -6*a**3 + 8*a**2 + 4*a - 11. Let m(w) = h*t(w) + 6*v(w). Is m(8) prime?
False
Let h(m) = m**3 + 16*m**2 + 20*m + 15. Let l be h(-15). Let y = l + 322. Is y prime?
False
Let b = -3 + 704. Is b composite?
False
Suppose 2*c = -0*c + 4. Let b = c - -3. Suppose 14 + 51 = b*g. Is g prime?
True
Let g = 13 - 18. Is 882/15 + (-1)/g a prime number?
True
Suppose 72 = 3*z - 5*o, 4*o - 45 = -0*z - 3*z. Let a = z + -9. Suppose -3*l + 5 = -a, -2*r = -l - 17. Is r a composite number?
False
Let i(v) = 47*v**3 - 4*v + 3. Is i(2) composite?
True
Is -4*(-2876)/(-32)*-2 a composite number?
False
Let y(i) = 16*i + 3. Is y(19) a prime number?
True
Let u(r) = 2*r**2 + 3*r - 1. Let a be u(-3). Let v = -16 + a. Is (-4)/v*(-1 + 7) a prime number?
True
Suppose -3*g + 81 + 192 = t, 2*t + 455 = 5*g. Is g a composite number?
True
Let x = -192 - -271. Is x a composite number?
False
Let s(l) = -830*l**3 - 2*l**2 + 1. Is s(-1) composite?
False
Suppose -2*v - 4*f = -68, v + 3*v + f = 143. Suppose l - 17 = v. Is l prime?
True
Let q be 4/3*(2 - -1). Suppose -2*n = 7 + 17. Is (-1 - n)/(q/12) prime?
False
Suppose c - 11 = 68. Is c prime?
True
Suppose 9*i = 4*q + 4*i - 1016, 16 = 4*i. Is q a composite number?
True
Suppose 4*q + 240 = -0*q. Let b = 127 + q. Suppose -5*t + b = -3*i + 2*i, 20 = t + 2*i. Is t composite?
True
Let k(y) be the second derivative of y**4/4 - y**3/3 - 7*y**2/2 + y. Is k(-6) a composite number?
False
Suppose 7 + 3 = 2*a. Suppose 0 = -a*l - 5*r + 180, -2*l + 4*r - 109 = -5*l. Is l a composite number?
True
Let y(w) = 348*w + 5. Is y(3) a prime number?
True
Let a = -2 - 1. Is (a - 16)/((-1)/1) prime?
True
Let v(i) = -286*i - 17. Is v(-3) composite?
True
Let u be -12*1*(-1)/2. Let v be u/(-21) + (-37)/(-7). Suppose -c + 0*c = -v*a + 10, -a = -c + 2. Is a composite?
False
Let i(j) = 220*j**3 + j**2 + 5*j - 5. Is i(2) composite?
True
Let q = -2 - 7. Let g = 48 + q. Let m = 58 - g. Is m composite?
False
Suppose 3*l + 6 = 12. Let m be -1*1*(-6)/3. Suppose -4*b + 172 + 9 = 3*x, -m*x = -l*b - 116. Is x composite?
False
Suppose -287 = -4*v + 221. Is v prime?
True
Let k(z) = -z + 5. Let x be k(-5). Let u be x/4*14*-1. Let h = u - -112. Is h a composite number?
True
Suppose 13715 = n + 4*n. Is n a prime number?
False
Let m = -135 - -79. Let x = 89 + m. Is x prime?
False
Let d = -586 + 1541. Is d a prime number?
False
Let o = 166 + -89. Is o prime?
False
Let a(t) = -32*t + 6. Let h be a(-6). Suppose 0 = 4*b - 135 - 269. Let k = h - b. Is k composite?
False
Let j be 0/(0 - (-4 - -2)). Suppose j = -y - 0*y + 77. Is y composite?
True
Suppose 2*h - 61 = 133. Is h a prime number?
True
Let a(g) = -g**2 + g + 46. Suppose -2*z = -0*z. Is a(z) a prime number?
False
Let i = -6043 - -10614. Is i a prime number?
False
Let q = 17 + -35. Let p be (-42)/4*156/q. Suppose -y - y = 5*h - p, -93 = -5*h - y. Is h prime?
True
Let u = -13 + 5. Let b(k) = -5 - 3*k**3 - 7*k**2 + 0*k**3 - 3*k + 2*k**3. Is b(u) a composite number?
False
Let i be 264/20*25/2. Suppose j - 278 = i. Is j a prime number?
True
Let y = -7 - -11. Let q be 124 - (1 - (y - 2)). Let w = -66 + q. Is w a composite number?
False
Let y be -1 - (2 - (-1 + 3)). Is (-422)/(-2) - (-2)/y a composite number?
True
Let i(s) = -44*s - 1. Let u be 24/(-32) + (-25)/4. Is i(u) prime?
True
Let a(j) = -3*j**2 - 1. Suppose -2*u + 3 = -5*u. Let b be a(u). Is (-708)/18*6/b a prime number?
True
Let y(s) = -3*s + 797. Is y(0) composite?
False
Let c be 0 - 0 - 35*-3. Suppose 0 = 2*y + 5*i - 307, 3*i - c + 919 = 5*y. Is y a composite number?
True
Suppose 5*t + 41 = -4*y, -4*y - 12 = t + 9. Is 2/y*(-188 - 2) prime?
False
Suppose -2*v = -4*j + 2*v + 36, 0 = -5*j - 4*v. Suppose -j*b + 1551 = -b. Is b a composite number?
True
Let v be (2/5)/((-5)/(-25)). Let a(c) = -5 + c + c**2 - 4 + v. Is a(8) prime?
False
Let v(f) = -4*f + 9. Let i be (-21)/6*(0 - -2). Is v(i) prime?
True
Let x(w) = -2 - w**2 - 5*w + 3*w - 7*w - 4. Is x(-5) prime?
False
Let f = 504 - 211. Is f prime?
True
Suppose 0 = -5*n - 452 + 1507. Is n a composite number?
False
Suppose -4*h - 15831 = -5*m, 0 = 2*m - 3*m - 3*h + 3151. Is m a prime number?
True
Let x(c) = 2*c**3 - 2. Let v = 8 + -13. Let k = -3 - v. Is x(k) a composite number?
True
Let r be (-2)/7 - 74/(-14). Suppose -w + r*k + 125 = 0, 3*k = 3*w - 38 - 313. Is w a composite number?
True
Let q(h) = 7*h**2 - 3*h + 2. Let v be q(2). Suppose 58 = 2*l - 4*b, -130 + v = -5*l - 3*b. Is l a composite number?
False
Suppose -54 = -3*o + h, -o = -3*h - 33 + 7. Let t = -3 - -5. Suppose t*z - 55 = -o. Is z a prime number?
True
Let q(p) = -p**3 + p**2 - p. Let w be q(0). Suppose 3*j - 42 = -w*j. Is j composite?
True
Let y(t) = -14*t. Let i be (-1 - 0)*(-1)/(-1). Let v be y(i). Suppose v + 251 = 5*p. Is p composite?
False
Let k = 97 - 47. Is (79/(-5))/((-10)/k) a composite number?
False
Let j = 20 + -13. Let a = j - -5. Suppose -a = -3*i + 6. Is i prime?
False
Is 2/((-6)/9) - -17 a composite number?
True
Let h(j) = -9*j + 39*j - 6 + 3. Is h(3) a composite number?
True
Suppose r - 1 = 12. Suppose 0 = 3*s + 4*y - 123, -2*s - r + 81 = -2*y. Is s a prime number?
True
Suppose -b + 882 = 5*z, 0 = 5*z + 3*b - 698 - 178. Suppose -z = -2*w + 69. Is w a composite number?
True
Suppose -q + 1 = -1. Suppose 3*v - 165 = q*v - 4*c, -5*c + 460 = 3*v. Is v a composite number?
True
Suppose -2*p - 5*z + 579 + 1985 = 0, -4 = -2*z. Is p composite?
False
Let n = 327 - -226. Is n composite?
True
Let x be 1 - (2/1)/2. Suppose -4*t + 124 = -x*t. Is t a composite number?
False
Let p(m) = -m + 2. Let j be p(2). Suppose j = 3*t - 3 - 36. Is t a prime number?
True
Let n(h) = -4*h**3 + 9*h**2 - 10*h + 13. Let j(w) = 2*w**3 - 5*w**2 + 5*w - 7. Let v(d) = 9*j(d) + 4*n(d). Is v(6) a prime number?
True
Let y = -716 + 1279. Is y composite?
False
Suppose -o - 9 = -4*z, z - 4*z = 4*o - 40. Let w(s) = -s**3 + 4 - 8*s + 6 + 11*s**2 - 3*s**2 + s. Is w(o) prime?
False
Is 1/15*3 - (-14070)/25 a composite number?
False
Let g(b) = b**3 + b**2 - b. Let z be g(0). Let l = -20 - -22. Suppose 3*q + l*f - 83 = 46, z = -3*f. Is q a composite number?
False
Suppose 34 = 4*d - 114. Is d prime?
True
Suppose 2*x + 15 + 34 = -3*j, 3*x + 5*j + 73 = 0. Let h = -7 + x. Is 8/20 + h/(-5) prime?
True
Suppose -4*r + 2068 - 96 = 0. Let 