site number?
False
Suppose 2*d - 3*d = -36. Let b be -6 + d + 1 + -3. Suppose -r = r - b. Is r a composite number?
True
Let g be ((-516)/(-16))/((-2)/(-8)). Suppose -19 = 5*p - g. Is p a prime number?
False
Let p(v) = 2 - 3*v**2 - 13*v**3 + 12*v**3 + v**2. Let f be p(-2). Is (6/f - -8)*13 a composite number?
True
Let x(f) = 23*f + 5. Is x(6) a prime number?
False
Let m = 2890 + -111. Is m a prime number?
False
Suppose 4*l = 5*l - 235. Is l a prime number?
False
Let z(r) = -r - 1. Let k(a) be the third derivative of a**5/20 - 13*a**4/24 - 7*a**3/6 + a**2. Let p(q) = k(q) - 6*z(q). Is p(5) composite?
True
Suppose -7*g = -12*g + 13155. Is g composite?
True
Let k be (0 - -12)/4 + 3. Is (-510)/(-15) - k/2 composite?
False
Let c(k) = -k**2 + 3*k - 4. Let x be c(3). Let g be (6 + -5)*x/2. Is 1*13/g*-2 a prime number?
True
Let q = 183 - -40. Is q prime?
True
Let b(q) = -q**3 + 13*q**2 - 7*q + 4. Let n be b(12). Suppose -3*p + n + 281 = 0. Is p composite?
True
Let j(b) = -b**3 + 6*b**2 + 2*b - 9. Let o be j(6). Is o/15 + (-328)/(-10) a prime number?
False
Let k be 1*(1 + -1 - 1). Let t(u) = -531*u + 1. Let z be t(k). Let a = z - 345. Is a a prime number?
False
Let g(i) = 3*i**3 - 5*i**2 - i + 3. Let o be g(-3). Let n = -51 - o. Is n composite?
True
Suppose -3*x - i = -3*i + 6, -2*x + 3 = i. Suppose -f - f + 24 = x. Is (-111)/(-4)*f/3 prime?
False
Suppose y = -y - 2. Let d be 30/(-4)*16/6. Let l = y - d. Is l a composite number?
False
Suppose 0*h + 3*h = -15, 0 = 4*z - 3*h - 659. Is z composite?
True
Suppose 4*r - 5*r = -2*p - 1005, -r + 4*p = -1013. Is r a prime number?
True
Suppose -3*b + 761 = -136. Is b a prime number?
False
Suppose 10*o = -o + 1969. Is o prime?
True
Let f(x) = x**2 + 12*x + 9. Let t be f(-8). Let u = 0 - t. Is u a composite number?
False
Let p(f) = -f**2 + 6*f. Let d be p(5). Suppose 3*v - 2*v = d. Suppose -v*o + 84 = -o. Is o prime?
False
Let p be 2/(-3 - -2) - 63. Let x = 2 - p. Is x composite?
False
Let q(w) = w**3 - 6*w**2 - 7*w + 2. Let z be q(7). Let l(g) = 8*g - 1. Let j be l(z). Let k = j - -8. Is k a prime number?
True
Suppose -5 = -k + 1. Suppose -80 = -2*s - k. Is s composite?
False
Let z = -356 - -251. Let f = z + 182. Is f composite?
True
Suppose -5*g - 5*n = -8 - 7, 4*g + 2*n - 12 = 0. Suppose -o + 28 = g*o. Suppose -84 - o = -y. Is y prime?
False
Let b(p) = 2*p**3 + 4*p**2 + 2*p + 4. Let g(u) = u**2 - u + 1. Let m(s) = -b(s) + g(s). Let q be m(-2). Suppose q*y - 2*y - 95 = 0. Is y prime?
True
Suppose -4*y + h = -197, 5*y - 4*h + 2*h - 250 = 0. Suppose -4*f = -0*x + 2*x - y, -f = 5*x - 21. Is f composite?
False
Let f(p) = -p**3 + 9*p**2 + 2*p + 7. Is f(6) a composite number?
False
Suppose 3*n = -1 - 11, v = 3*n + 10. Is 138/(-12)*(0 + v) a composite number?
False
Let g(c) = 2*c**2 + 2*c + 1. Let q be g(-2). Suppose -q*n + n = -1164. Is n composite?
True
Let z = 1895 - 928. Is z prime?
True
Let y = -263 - -502. Is y prime?
True
Let i = 175 - 113. Suppose z + 156 - i = h, -5*h + z + 458 = 0. Is h a composite number?
True
Let a(i) = 39*i**2 - 8*i - 8. Is a(7) a composite number?
False
Suppose -4*c = -4*f - 20, 0 = 2*c + 3*f + f + 2. Suppose 130 = 2*m - r, 0*m = c*m - 2*r - 193. Is m a prime number?
True
Let b(h) be the second derivative of -h**5/20 + h**4/6 + h**3/6 - h**2 + 3*h. Let x be b(2). Suppose x = -2*k + 3*k - 79. Is k composite?
False
Suppose k - 50 = 69. Is k a composite number?
True
Let p(y) = 4*y**2 - 54 + 53 - 3*y + 2*y. Is p(2) a composite number?
False
Is (-3)/(-4)*(-10 + 198) a composite number?
True
Let f = -1 - -6. Suppose -3*g + 276 = -0*g - 3*z, 3*g + f*z - 316 = 0. Is g composite?
False
Let z = 282 + -185. Suppose 0*t = t - z. Is t a composite number?
False
Let p be (-8)/4 - (-4 - 1). Let m be (p/(-6))/((-1)/6). Suppose o - 13 = -f + 135, o = m*f + 152. Is o a prime number?
True
Let l = 92 + -78. Is l a prime number?
False
Let t = -28 + 111. Is t a composite number?
False
Suppose 1597 = -3*j + 4*j. Is j composite?
False
Let x(i) = 11*i - 14. Let v be x(6). Let w = 183 - v. Is w composite?
False
Is 2/(-1 + 5538/5534) a prime number?
True
Let q(v) = v**3 - 2*v**2 - 5*v + 2. Let s be q(4). Let n = 57 + s. Let d = 122 - n. Is d a composite number?
True
Suppose 5*b - n = -0*n + 202, 85 = 2*b + n. Suppose 0 = 2*t + 4*f - 62, -t + b - 13 = 5*f. Is t composite?
True
Let k(q) = -q - 1. Let f be k(-4). Suppose 4*l - 282 = 4*t - 5*t, f*t + 3*l = 828. Suppose -5*v = -4*d + 3*d - 276, -d + t = 5*v. Is v prime?
False
Is (-2)/(-2)*(4 + 175) a prime number?
True
Let t(m) = 13*m - 3. Is t(1) composite?
True
Let d(x) = 7*x + 17. Let v(n) = 11*n + 26. Let c(t) = 8*d(t) - 5*v(t). Let k be 11/2 - 2/4. Is c(k) prime?
True
Let p be (63/6 - -3)*2. Is (-2420)/(-36) - 6/p prime?
True
Let g(w) = -84*w - 19. Is g(-3) composite?
False
Let k(m) = 233*m**3. Let n be ((-7)/2)/7*-2. Is k(n) a prime number?
True
Let w(y) = y**3 - 4*y**2 - 8*y + 7. Suppose 4*u = -3*k + 34, 20 = -2*u + 7*u. Is w(k) a prime number?
True
Suppose 0 = 5*b + 4*f - 13424 + 4635, -3*b = -2*f - 5269. Is b prime?
False
Suppose 16025 = -135*h + 140*h. Is h prime?
False
Let c be (14/4 + -3)*-1278. Is c/(-7) + (-2)/7 prime?
False
Suppose -o + 130 + 227 = 0. Let w = o - 194. Is w prime?
True
Suppose 0 = -4*a - 2*j + 840, 2*j + j - 412 = -2*a. Suppose -k = 3*k - a. Is k a prime number?
True
Let u(t) be the first derivative of t**3/3 - 7*t**2/2 + 3*t - 3. Is u(8) a prime number?
True
Let k(t) = t**3 - 7*t**2 + 6*t + 3. Let z be (-3)/(-2)*(-40)/(-10). Is k(z) composite?
False
Let g = -260 + 417. Suppose 5*l = 4*l + g. Is l a composite number?
False
Let u = -26 - -65. Is u a prime number?
False
Suppose -6*r = 3*r - 9783. Is r a prime number?
True
Let z = -12 + 6. Is 719 + -2 + z/(-3) composite?
False
Let s(w) = 1 + 12 + 4 + 6*w + 72*w. Is s(7) composite?
False
Suppose -1700 = -2*c - l, 3*l = -5*c - l + 4247. Is c a composite number?
True
Let i = -3 + -1. Is 194/(-8)*(i - 16) composite?
True
Suppose -1 = -2*x + x. Let d(a) = -2*a**3 - a + 1. Let i be d(x). Is (-88)/i*(-10)/(-8) a composite number?
True
Let j be (-2)/6 - (-11)/(-3). Let d = -227 + 144. Let z = j - d. Is z a composite number?
False
Let h(n) = -15*n**3 - 2*n**2 - n - 2. Let v be h(-2). Suppose i - 3*i = -v. Suppose -4*o + i + 4 = 0. Is o composite?
True
Suppose 0 = 2*y - 4*k + k - 1520, 5*k - 1504 = -2*y. Is y a composite number?
False
Let l = -290 + 476. Suppose -4*y + 5*k + l = 0, y + 2*y + 5*k - 122 = 0. Let a = -7 + y. Is a a composite number?
False
Let s = 5 + -2. Suppose -3*v + s*k = k - 205, -4*v + 276 = -4*k. Is v composite?
False
Suppose -27*q + 33*q - 3786 = 0. Is q prime?
True
Suppose 5*s + 10 = -35. Is s*-3*4/18 a composite number?
True
Is (-1)/1 - 4480/(-14) composite?
True
Let f = -6 + 11. Suppose -143 = -t - 4*k, 0 = 6*t - 3*t + f*k - 401. Is t a composite number?
False
Let v(r) = 90*r**3 - 7*r + 2. Is v(3) a composite number?
False
Suppose 5*a + l = 4393 - 623, 0 = 3*a + l - 2264. Is a prime?
False
Let g(q) be the first derivative of 2*q**3/3 + 5*q**2 - 3*q - 1. Is g(-7) composite?
True
Is -1*(-2721 - 4 - -6) prime?
True
Let s(y) = 108*y - 13. Is s(28) composite?
False
Let b(q) = 7*q - 1. Suppose 4*v - 3 = 1. Let i be (-1 - 3)/(v/(-2)). Is b(i) a prime number?
False
Let l be (-50)/(-15) - (-2)/3. Suppose x = -x + l. Is 2/(((-4)/(-51))/x) a composite number?
True
Let v = 192 - 71. Is v composite?
True
Let t(s) = 90*s**2 - 3*s + 2. Is t(1) a composite number?
False
Suppose 3*v + 2134 = 5*v. Is v composite?
True
Let j(w) = 15*w**3 - 6*w**2 + 8*w - 7. Is j(4) prime?
False
Suppose 5*b + 3*l - 512 = -7, -2*l = b - 94. Suppose -b + 25 = -i. Is i a composite number?
False
Let w(t) = t**3 + 5*t**2 - 8*t - 9. Let m be w(-6). Suppose 2*a - m*c = -5*c + 22, -3*c + 5 = a. Is a*34/(-4)*-1 a composite number?
True
Suppose -3*c - 57 = -2*s, 4*c = 2*s - 33 - 27. Is s/8 + 128/1 a prime number?
True
Is -10*(-5 + (-169)/2) composite?
True
Let l be (-13 - -266)/(-1 - 0). Let q = 632 + l. Is q a prime number?
True
Let d = 148 - 95. Is d prime?
True
Let s(r) = r**3 + 4*r**2 - r - 1. Let a be s(-4). Suppose -a*t + 650 = 2*u, -4*u - 108 = 3*t - 748. Let o = 309 - t. Is o a composite number?
False
Let q(t) = 35*t**2 + 7*t - 11. Is q(-4) a prime number?
True
Let k(u) = 16*u**2 + 6*u - 11. Is k(-5) composite?
Fa