h/(-8) composite?
True
Is 8/4 + 0 + (-909)/(-3) a composite number?
True
Suppose 3*u - 5 = 10, 4*u - 22 = 2*k. Let m = 3 + k. Suppose m = 5*x - 8. Is x a prime number?
True
Let d(r) be the third derivative of r**6/60 - r**4/8 + r**3/2 + r**2. Let n be d(4). Suppose i = -0*i + n. Is i composite?
True
Let d = -1 + 1. Suppose 4*l + 0 + 8 = d. Is l/(-7) - (-262)/14 prime?
True
Let d(h) = -h**2. Let m(c) = -c**2 - 3*c - 4. Let u(p) = -5*d(p) - m(p). Is u(-3) a prime number?
False
Let w(m) = -55*m**3 - 2*m**2 - 1. Is w(-2) a prime number?
True
Let i = 2 + 0. Suppose d - s = 5 - 0, 0 = 5*d - i*s - 28. Is d*1 + 3/3 prime?
True
Let l = -3289 - -5156. Is l prime?
True
Let h(l) be the third derivative of l**6/120 - l**5/20 - 5*l**4/24 - l**3/2 + 4*l**2. Is h(5) a composite number?
True
Let d be 2 - (1 + 1/1). Suppose d = 2*w + w - 2*j - 463, -w + 159 = 4*j. Is w composite?
True
Suppose -7*u + 2932 = -3*u. Is u a composite number?
False
Suppose 0 = i - 2*i + 4. Let h = i + 3. Suppose 0 = -5*f + 5*g + 70, -2*f - g = -h*f + 58. Is f prime?
True
Suppose 0 = -3*k - 5 + 2. Is ((291 - 2)*k)/(-1) composite?
True
Let o(n) = 3*n**3 - 7*n**2 + 5*n - 2. Let a(s) = s**2 - 9*s - 5. Let k be a(10). Is o(k) composite?
False
Suppose 4*b + 0*b = 584. Suppose -5*q - 454 = -2*l - 141, -l + b = q. Is l a prime number?
True
Let h = 99 + -173. Suppose 0*p - 2*p = 5*c + 41, c = p - 11. Let n = c - h. Is n a composite number?
True
Let s(d) = -55*d**3 - 2*d**2 - 3*d - 1. Is s(-2) composite?
True
Let x be -4 - -1*(-2 + 1). Let b be -1 - (-1 + 0 - x). Is 3 + b + 0 + 213 composite?
False
Suppose -3*i + 2271 = 3*m, -4*m = m - 3*i - 3753. Let a = m + -328. Suppose -u + 2*u = -5, 5*r - a = -2*u. Is r a prime number?
False
Let y(d) = -d**2 - 7*d - 6. Let z be y(-7). Let w = z - -11. Is w - ((-3)/3)/1 a prime number?
False
Suppose -12 = -y - 4*p, -32 = -4*y + 5*p + 121. Is (-7)/(y/(-10) - -3) a composite number?
True
Let n(k) = -241*k - 4. Is n(-3) a composite number?
False
Suppose -150 = -2*l - q, 2*q = -3 - 1. Is 3 + (l*8)/2 a composite number?
False
Suppose -3*k = x - 0*x + 149, 0 = -2*x - 10. Let p be k/(-30) + (-4)/(-10). Suppose -d - 5 = 0, r + 4*r + p*d - 100 = 0. Is r composite?
True
Is (-14907)/(-5) - (-7)/(-105)*6 composite?
True
Suppose -4*m + 1 - 33 = 0. Let b = -5 - m. Suppose -146 = -b*g + 127. Is g a composite number?
True
Suppose 24 = 2*s - 124. Let j(x) = x**2 - 14*x - 3. Let t be j(8). Let a = s + t. Is a a composite number?
False
Suppose 2*s - 12 = -2, 73 = 4*m + 5*s. Let r be (-8)/m*225/(-6). Suppose 5*o - 339 = -x + 221, r = -5*x. Is o a composite number?
False
Let z = -2 + 4. Suppose 4*q - z*h = 144 - 560, 2*h = -q - 114. Is 2/((-2 + 0)/q) composite?
True
Is (56 - -1) + 2*-1 a composite number?
True
Let o = -101 - -408. Is o prime?
True
Let z(f) be the first derivative of f**6/120 - f**5/20 - 7*f**4/24 - 2*f**3/3 + f**2/2 - 2. Let u(d) be the second derivative of z(d). Is u(6) composite?
True
Suppose 2*x - 168 = 3*f - x, 4*x - 114 = 2*f. Let t = f - -144. Is t a prime number?
True
Suppose -3*p + 4015 = 2*p. Suppose -m + 261 = -f, 3*m - 2*f - p = -4*f. Is m a prime number?
False
Let d(m) = 7*m**2 - 3*m**2 - 3*m - 3*m**2. Let l be d(7). Is 58/4*l/2 a composite number?
True
Suppose 0 = 4*w - 2*k + 28, 41 - 7 = -4*w - k. Let u(c) be the first derivative of -c**4/4 - 8*c**3/3 - 3*c**2 - c + 1. Is u(w) a composite number?
False
Let w(n) = -n**2 + n + 4. Let q be w(-2). Let v(d) = -370*d - 1. Is v(q) composite?
False
Suppose 4*o - 2*o = 238. Is o prime?
False
Suppose -6*x = -1473 + 387. Is x a composite number?
False
Let l = 877 + -392. Is l a prime number?
False
Is 55 + 2 - (10 + -11) prime?
False
Let q(n) be the second derivative of n**7/504 - n**6/180 - n**5/60 - n**4/12 - 2*n. Let m(o) be the third derivative of q(o). Is m(-3) prime?
False
Let t(m) = -23*m + 9. Let c(f) = -8*f + 3. Let u(s) = -11*c(s) + 4*t(s). Is u(-13) composite?
True
Let z = 669 + -114. Suppose 0*c - z = -3*c. Is c a composite number?
True
Is 0 + 6292 + (-4 - 1) a composite number?
False
Let f be ((-1)/2)/((-3)/36). Suppose 1468 = f*h - 2*h. Is h composite?
False
Let d be 5 + 1 - (3 + -6). Is 2/d - 331/(-9) prime?
True
Let m(a) be the third derivative of a**5/60 + 53*a**3/6 + 2*a**2. Let k(r) = -r**3 + r**2. Let n be k(0). Is m(n) a composite number?
False
Let c = 12 - 24. Let p = c + 22. Is p prime?
False
Let j(x) = -2*x**2 - 7*x - 4. Let r be j(-10). Let s = 201 + r. Is s composite?
False
Let n(r) = 7*r - 1. Let d = -3 - -4. Let u be n(d). Suppose -13 = -3*y - 3*f + 26, u = 3*f. Is y prime?
True
Let q(u) = u**3 + 6*u**2 - 8*u - 5. Let t be q(-7). Suppose n - 2*b + 3*b = -2, -n - 2 = t*b. Is n/(-3) - (-275)/15 prime?
True
Let h(c) = -c**3 + c**2 + c + 1. Let d = -2 + 7. Let n(i) = 6*i**3 - 9*i**2 - 9*i - 7. Let z(v) = d*h(v) + n(v). Is z(5) a prime number?
True
Is ((-17127)/(-18) - 4)*(0 + 2) a prime number?
False
Let u(v) = v**2 - 3*v - 2. Let a be u(4). Suppose -a*r + 447 = r. Let j = -94 + r. Is j prime?
False
Let y(x) = -x - 1. Let l be y(-3). Suppose -l*z = -346 - 80. Is z prime?
False
Is 2/(-4 + (-1620)/(-404)) composite?
True
Let g be 8/24 + (-8)/(-3). Let f(o) = -121*o + 1. Let y be f(-1). Suppose -11 = g*u - y. Is u composite?
False
Let t(o) be the second derivative of -o**5/5 + o**4/24 + o**3/6 + o. Let k(x) be the second derivative of t(x). Is k(-1) a composite number?
True
Let o(k) = 85*k**2 - k - 1. Is o(1) a prime number?
True
Let y(w) = w**2 + 8*w + 7. Let g be y(-5). Is (22/(-6))/(g/48) prime?
False
Suppose -5*w = 53 - 8. Let y be ((-12)/w)/((-1)/(-24)). Let m = y - -53. Is m prime?
False
Suppose 0 = 3*m - 4*q - 1165, -3*q = 4*m - 154 - 1441. Is m prime?
False
Let j = -3 - -2. Let q be j/(-1) - 2328/(-2). Suppose q = i + 4*i. Is i composite?
False
Let x(r) = 162*r**2 + r + 2. Is x(-1) a composite number?
False
Let s(f) = f**3 - 2*f**2 + 2*f + 1. Let m be s(2). Suppose -5*y - m*h - 7 = -42, 5*y = 2*h + 7. Suppose 0 = y*r - n - 68, -n - n = 4. Is r a composite number?
True
Suppose -107 = -9*n - 17. Is n a prime number?
False
Let c = -17 - -10. Let l = -8 - c. Is 213/3 - (l + 3) a composite number?
True
Suppose -5*m + y = -856, 528 = -0*m + 3*m + 3*y. Let h = 63 + m. Is h prime?
False
Is (-3846)/(-24) - (-6)/8 prime?
False
Suppose 5*f - 10 = -5*w, w - 9 + 4 = 2*f. Suppose -m = -168 - 22. Suppose -114 = -w*i + 4*l, -m = -5*i - 0*i + l. Is i a composite number?
True
Let s(u) = 13*u**2 + 9*u + 803. Let w(t) = -3*t**2 - 2*t - 201. Let h(k) = -2*s(k) - 9*w(k). Is h(0) a composite number?
True
Let r be (-3)/9*0 + 183. Suppose -2*l - 4*o + r = 63, 4*l - 251 = 3*o. Let z = l + 5. Is z prime?
True
Suppose 5*j - 2*o = -525, -o = -2*o + 5. Let m = -96 + 58. Let h = m - j. Is h prime?
False
Suppose 5*s - 4*f - 1997 = 0, 5*s - 12*f - 2000 = -7*f. Is s a prime number?
True
Let l = 248 + -25. Is l composite?
False
Let p be (2 - 5)/(6/(-4)). Suppose 17 + 5 = p*a. Suppose a + 9 = 2*n. Is n a composite number?
True
Suppose 0 = -c + 67 + 190. Is c a prime number?
True
Let n(r) = -2*r - 3. Let k be n(-3). Suppose 0 = 4*p + 2*d - 40, 6 = k*p - 2*d - 31. Is p prime?
True
Suppose -14*d = -9*d. Suppose 0 = -d*n - 3*n + 159. Is n composite?
False
Let z be 5/((-3)/(-1 + -2)). Suppose 0*u + z*w = 3*u - 272, w = -2*u + 203. Suppose 2*l + l - u = 0. Is l a composite number?
True
Let d(z) be the third derivative of -z**4/6 + 11*z**3/6 - 7*z**2. Is d(-6) prime?
False
Let o(n) = n**3 + 7*n**2 - 7*n + 10. Suppose 4*c - 2*b - 12 = 5*c, -32 = 3*c + 4*b. Let s be o(c). Is -24*-1*s + 1 prime?
False
Let o(x) = -20*x**3 + 2*x**2 + 2*x + 1. Suppose -6*d = -11*d - 5. Is o(d) a composite number?
True
Let b(m) = -217*m**2 + 8*m - 14. Let y(i) = -218*i**2 + 7*i - 12. Let n(t) = 6*b(t) - 7*y(t). Let x = -3 - -4. Is n(x) composite?
False
Let r(o) = o**2 + 2*o - 2. Let l be r(2). Suppose l*g = g. Suppose -2*z + 390 = 2*t, g = 4*z - t - 859 + 99. Is z prime?
True
Suppose -2*d = 2*u - 158, -266 = -5*d - 3*u + 125. Is (8 + d)/(-1 + 2) prime?
False
Suppose 5*p - 2*y = 26, 2*y - 3*y - 16 = -3*p. Is p a prime number?
False
Is 7942/4 + (-3)/6 prime?
False
Suppose 165 = 21*g - 16*g. Is (22/g)/(2/1227) a prime number?
True
Suppose -y = -a - 123, 5*y + a - 610 = 5*a. Is y composite?
True
Is (-7130)/(-14) - 4/14 a prime number?
True
Supp