rime?
True
Suppose f = -2*r - 8, 5*r = -0*f + 4*f - 33. Suppose -4*k + 118 = 3*s + f*s, 0 = -3*k + 6. Is 2482/s - (-4)/22 composite?
False
Let v(q) = 19*q**2 + 9*q - 1. Let g(s) = 58*s**2 + 26*s - 4. Let d(b) = 6*g(b) - 17*v(b). Is d(-4) composite?
True
Let u = -402 + 869. Suppose 41 + u = 4*m. Is m composite?
False
Suppose 2*l = 3*n - 2, -4*l = -2*n + 17 - 5. Let d be 2*(-5)/(-2) + -3. Is (37/(-2))/(d/l) prime?
True
Suppose 1025 + 145 = 5*d. Suppose d = s + 47. Suppose 5*v = s + 88. Is v a prime number?
False
Let b = 15 + -6. Is (-10)/(-45) - (-997)/b a composite number?
True
Let x be (30/9)/((-2)/(-3)). Suppose p - x*p + 8 = 0. Suppose -o + 121 = 3*l, 0 = p*l + 10 - 2. Is o a prime number?
False
Is (13/(-3) + 2*2)*-4971 a prime number?
True
Let r = 1019 - 428. Is r composite?
True
Let g = 12 - 6. Let n be ((-19)/2)/((-7)/70). Suppose k = g*k - n. Is k a composite number?
False
Suppose 2*k - 58 = -5*r, 2*r + k - 12 = 11. Is (424/r)/(4/6) prime?
True
Let y(w) = -w**2 + 23*w - 5. Is y(11) prime?
True
Is 78/3*(-87)/(-6) a prime number?
False
Let d be (6/(-4))/((-6)/20). Suppose d*k = 73 + 192. Is k a composite number?
False
Suppose 0 = h + 3*h + 24. Let t(k) = k**2 + k + 4. Is t(h) composite?
True
Suppose -3*c + 2*v + 4630 = v, 1 = -v. Is c composite?
False
Let h(f) = -f + 6. Let n be h(7). Let j = 5 + n. Suppose -i + 1025 = j*i. Is i prime?
False
Let p = -367 + 578. Is p prime?
True
Suppose -3404 = 45*i - 49*i. Is i composite?
True
Let a = -5 + 4. Let j be (a/2)/(5/(-150)). Suppose -3*z - j = 0, g + 2*z = 7*z + 102. Is g composite?
True
Suppose -4*d = -3*m - 47, -17 = 4*d - m - 70. Is d a composite number?
True
Let g(s) = -5*s**2 + 2*s + 7. Let k be g(-6). Is k/(-10)*2*7 prime?
False
Let p = 2 + 0. Suppose p*w = 131 - 11. Let u = w - -23. Is u composite?
False
Is ((-2)/4)/(1/(-634)) prime?
True
Suppose 4*n + 370 = 6*n. Is n a composite number?
True
Let x = 291 + -196. Suppose 0 = -2*r + x - 9. Is r a composite number?
False
Let m = -138 + 49. Let k = -52 - m. Is k composite?
False
Suppose -5*p = 5*a + 20, 2*a + 0*p = 5*p + 13. Is (-224)/((-2)/2) + a prime?
True
Let u(s) = -s - 9. Let g be u(-11). Suppose -90 + 8 = -2*a - 4*x, 2*x - 78 = -g*a. Is a a composite number?
False
Suppose 2*c + 3143 = 3*h, 5*h + 0*h = c + 5243. Is h a composite number?
False
Suppose -3*n = -2*x - 14, x - 4 = 5*x. Suppose -n*h = -4*p + 828, 2*p - h - 442 = -6*h. Is p composite?
False
Suppose 0 = -p - 3*p + 20. Suppose 3 = q + 3*w - 2, -w = p*q + 17. Is ((-1)/2)/(q/168) prime?
False
Suppose -20 = -k + 34. Let i be 43458/k - (-2)/9. Suppose i = 6*t - t. Is t a prime number?
False
Let q(i) = -3*i**2 + i**3 - 4*i + 3*i**3 + 0*i**3. Suppose -k - 24 = -5*k - 3*m, -2*m + 8 = 0. Is q(k) prime?
False
Is ((-26328)/(-60))/(4/10) composite?
False
Suppose 5*n + j - 827 = 5*j, 2*n = -2*j + 320. Is n a composite number?
False
Is 123/12*(-2 + 22) a composite number?
True
Let b = -4 - -10. Is (-18)/b - -1*49 prime?
False
Is 81 + (-1)/((-3)/(-6)) prime?
True
Suppose -3*z - 5*s + 3683 = -3*s, -4*z - 4*s + 4912 = 0. Is z a prime number?
False
Suppose 0 = -y + 606 + 433. Is y a composite number?
False
Let s(v) = -11*v + 2. Let a(i) = 16*i - 3. Let z(p) = -5*a(p) - 7*s(p). Let t be z(1). Is 75/2 - t/(-4) a prime number?
True
Let q(h) = 4*h**3 - 8*h**2 + 4*h + 7. Is q(5) prime?
False
Suppose -2 = 5*d + 3. Let l be (56/(8/2))/(-1). Is (d + (-1)/(-2))*l composite?
False
Suppose j = 302 + 1061. Is j composite?
True
Suppose 0*z - 4*b + 120 = 2*z, b = -4*z + 247. Is z a prime number?
False
Suppose l + 2*y + 17 = 6*l, 19 = 5*l - 4*y. Let a = -5 - l. Let o = -5 - a. Is o prime?
True
Suppose 0 = 2*g - 4*g - 3*n - 21, -n - 15 = 2*g. Is 182/g*(0 + -3) composite?
True
Let q = -9 + 208. Let d = 117 + -13. Let j = q - d. Is j a composite number?
True
Suppose 4*b + 4*k - 5682 = 2226, 2*b + 3*k - 3958 = 0. Is b prime?
True
Let w(q) = 170*q**2 + 2*q + 37. Is w(-7) composite?
False
Let u(i) = -10*i + 2. Let k be u(2). Let f = k + -17. Let z = -13 - f. Is z a composite number?
True
Suppose 2*m = 10 + 74. Is (-7)/m + 259/6 composite?
False
Let y = 4 + -4. Suppose 5*i - 23 = -2*k, y*k - 5*k = i - 23. Suppose i*v = 6*v + 3*o - 216, 0 = 4*o - 20. Is v a composite number?
False
Suppose 32 + 22 = -2*i. Let b = i - -46. Is b prime?
True
Let l be 3*(0 + 2) + -1. Suppose 2*i - 19 + l = 0. Is i a composite number?
False
Let k be (-15 + 12)/(6/(-10)). Suppose k*c - c = 868. Is c composite?
True
Suppose 3*k + 4 - 10 = 0. Suppose -k*i = 0, -4*p - i = 4*i - 52. Is p prime?
True
Suppose 3*b + 0*b = 3*c - 216, 5 = -b. Is c a composite number?
False
Let b(a) = -a**3 + 8*a**2 + 6*a + 9. Let i be b(8). Let u = i + -26. Is u composite?
False
Suppose 5*c = -0*c + b + 8992, 3*b = 2*c - 3589. Is c a composite number?
True
Let a(s) = -s**3 - 7*s**2 - 4*s - 9. Is a(-7) prime?
True
Suppose 30 + 16 = 5*a - 2*z, -5*a = z - 52. Let y(f) = 6*f - 2. Let v be y(a). Suppose -5*b + 163 = v. Is b a composite number?
True
Suppose 0 + 8 = 4*p. Suppose 325 = 4*s - 99. Suppose -v = -p*v + s. Is v a prime number?
False
Let d(k) = -k**2 - k - 3. Let a be d(-3). Let h(q) = -q**3 - 8*q**2 + 7*q + 13. Is h(a) a composite number?
False
Suppose 4*o + 3*n - 30 = 0, -4*n + 15 = o - 7*n. Suppose -2*f + 5*u = -1 - o, 2*u = -5*f - 4. Suppose 3*k + 2*i - 183 = -i, -3*i + 12 = f. Is k composite?
True
Let h(k) = k**3 + k**2 - 2*k + 1. Let u be h(-2). Suppose -u = -3*p - 2*f, 2*f + 8 = 4*p + 3*f. Suppose -p*s + 103 + 8 = 0. Is s a prime number?
True
Let j = 119 - 205. Let c = j + 51. Is ((-4)/(-10))/((-1)/c) prime?
False
Suppose -2*d + 3*d = -5*n + 735, -5*n = 3*d - 735. Let h = -2 + n. Is h a composite number?
True
Let t = -10 + 29. Is t composite?
False
Let c(k) = k**3 + 3*k**2 - 5*k - 3. Is c(10) a composite number?
True
Suppose 4*q = -0*q + 2364. Is q prime?
False
Suppose -3*k + 6*k - 888 = 0. Suppose -k = -p - 91. Is p a prime number?
False
Suppose 0 = p - 55 + 1. Suppose -51 - p = -3*i. Is i composite?
True
Suppose 2*f + 4*r - 20 = 0, r = -f + 2*r + 13. Suppose f = 4*q, 4*k + 2*q = 3*q - 15. Is -1 + 0 + (-21)/k composite?
True
Let p(d) be the first derivative of 47*d**3/3 + d**2 + 3*d + 2. Is p(-2) prime?
False
Let k(u) be the second derivative of -u**3/6 + 2*u**2 + u. Let s be k(4). Suppose s = b - 2*b + 69. Is b prime?
False
Let z = -8 - -166. Suppose 3*v = -47 + z. Is v a composite number?
False
Suppose 3*b - 1 = 17. Let q = b + -3. Suppose 0 = q*m + 2*t - 83, -3*t + 104 = 4*m + t. Is m a composite number?
False
Suppose -2*g + 208 - 970 = 0. Is g*(2 + (-21)/9) a prime number?
True
Suppose 5*a + 2*x = x + 61, -2*a + 2*x = -34. Is a a composite number?
False
Suppose 3*n = 3*h + 2*h - 699, -921 = 4*n - 3*h. Let w = -37 - n. Is w composite?
False
Suppose 5*z = 20 + 10. Let j = -2 + z. Suppose f = 5*o - 120, j*o + 8 = -f + 95. Is o a prime number?
True
Is (-16)/(-24) - (-379)/3 a composite number?
False
Let h(j) = -j**3 - j**2 + 263. Let k be h(0). Suppose 2*i = i - f + k, -f - 1062 = -4*i. Is i a prime number?
False
Let y be (-8)/(-12) + (-8)/12. Let w = y + 31. Is w a prime number?
True
Let r(m) be the second derivative of m**4/2 - m**3/6 - 4*m. Let j = 16 + -9. Is r(j) a prime number?
False
Suppose -2*l - 8 = -6*l - 4*r, -5*r = -2*l + 11. Suppose -1 = -c + l*p - 2, 7 = 4*c - p. Suppose 4 = c*i - 62. Is i a composite number?
True
Suppose -3*h + 5 = -4. Is (-1899)/(-6)*2/h prime?
True
Let g(n) = 5*n**2 + 3*n + 4. Let p be g(3). Suppose 0 = s - 0*s - p. Is s a composite number?
True
Let i(x) = -8*x - 23. Let j(h) = 4*h + 11. Let v(o) = -2*i(o) - 5*j(o). Is v(-5) prime?
True
Suppose -y - 212 = -5*y. Is y a composite number?
False
Suppose 4*g - 55 = -15. Let a(m) = 11*m + 4. Let n be a(g). Let y = n + -81. Is y prime?
False
Let k be 205/9 + 8/36. Suppose 3*x - 4*x + k = 0. Is x a prime number?
True
Let l(d) = -3*d**3 + 7*d + 1. Let a(j) = 10*j**3 - 22*j - 3. Let b(t) = -2*a(t) - 7*l(t). Suppose -4*c + 9 + 7 = 0. Is b(c) prime?
True
Let h be 5/2*(-4)/(-5). Let d be 304/9 + (-8)/(-36). Suppose 2*m = -h*z + 3*m + 16, -4*z + m = -d. Is z a prime number?
False
Suppose -3*h = -h + 38. Let v = -6 - h. Suppose f - v = -0*f. Is f prime?
True
Suppose 0 = b + 5*u - 296 - 336, b - 638 = -2*u. Let r = b + -448. Is r composite?
True
Let n be (-62)/(-22) - 4/(-22). Suppos