 145. Is u(0) composite?
True
Let x = -110 - -203. Is x composite?
True
Let b(h) = -h**3 - h**2 + 4*h + 5. Let l = 7 - 11. Is b(l) a prime number?
True
Suppose 0 = -2*k - 0*k + 20. Suppose -3*z + 4 = k. Is (-1)/z + 273/6 a composite number?
True
Suppose 0 = -5*j + 6 + 39. Let b be ((-3)/(j/(-6)))/2. Let w = 16 - b. Is w a composite number?
True
Let i(v) = v**2 + 4*v + 1. Is i(-6) a composite number?
False
Suppose -o + 9 - 7 = 0. Is o prime?
True
Let n = -2206 + 3357. Is n composite?
False
Let y(b) be the first derivative of -b**3/3 - 9*b**2/2 - 1. Let l(x) = x**3 - 5*x**2 - 6*x - 7. Let u be l(6). Is y(u) prime?
False
Suppose -4*d + 13 = -3. Suppose 4*n = -3*j + 44, 3*n - d*j - 24 = 34. Is 299/7 - (-4)/n a prime number?
True
Let i(o) = 2*o**2 + 4*o - 1. Let r be i(-7). Let a = r - 30. Is a a prime number?
False
Let i(p) = 6*p**2. Let y be i(-3). Suppose 5*q - y - 39 = 2*z, 3*q - 54 = 3*z. Is q a prime number?
True
Suppose -53 - 29 = 4*p - 2*n, 104 = -5*p + 4*n. Let b = p + 89. Is b composite?
True
Let l(h) = -147*h. Let o be l(-1). Suppose -3*d + 252 + o = 0. Is d composite?
True
Is (-1940)/(-75) - (-12)/90 a prime number?
False
Let n(o) be the third derivative of o**5/60 - 3*o**4/8 + 5*o**3/6 + 3*o**2. Let l be n(7). Is 2/(-12)*62*l composite?
True
Suppose -3*s = 3*m - s - 15, 5*m - 21 = -2*s. Suppose m*l - 5*g - 16 = 12, -4*g - 18 = -2*l. Is l a composite number?
False
Suppose -10 = -2*s + s - 5*j, 4*j = -3*s + 30. Let t be 184/s + 4/(-10). Let u = -5 + t. Is u a prime number?
True
Suppose r = -0*r - q - 3, -5*r = 3*q + 23. Let l(o) = o**2 + 8*o + 9. Let u be l(r). Suppose 0 = 4*k - 3*s - u*s - 71, 3*k - 52 = 5*s. Is k composite?
False
Let y(m) = 2*m + 6. Let n be y(6). Suppose r + r + n = 0. Let h = 6 - r. Is h a composite number?
True
Let a(h) be the third derivative of h**5/20 + 13*h**4/24 - 11*h**3/6 + 9*h**2. Is a(-15) a prime number?
False
Let k be (-13 + 4)*2/(-6). Let j be -2 + (17 + 1)/k. Is (j - 5) + 0 + 132 a prime number?
True
Is (-6)/14 + 17632/112 a prime number?
True
Let i(g) = 14*g + 27. Is i(20) a composite number?
False
Let w be (-2 - (-1183)/(-1)) + 0. Let d = -573 - w. Suppose 0 = 3*r - 3 - d. Is r prime?
False
Is 0 + (-18362)/(-6) + 4/6 a prime number?
True
Is (38/(-6))/((-8)/4152) a prime number?
False
Suppose 5*c + 3 = 4*q - 10, 5*c = -2*q - 31. Let n(d) = d**2 + 3*d + 4. Is n(q) composite?
True
Suppose -c + 259 = -1434. Is c a composite number?
False
Suppose -3*d - 3*q + 3 = -2*d, 0 = -4*d + 4*q + 12. Let h(l) = 7*l**3 + 3*l**2 + l + 2. Is h(d) prime?
False
Suppose -419 = -q - 154. Is q prime?
False
Let d(n) = 21*n**2 + 1. Is d(1) a prime number?
False
Let k = 8 - 4. Let b(m) = -m**2 + 5*m. Is b(k) a composite number?
True
Let f = 0 - -4. Suppose -4*w = -f, -2*w - 3*w - 310 = -z. Suppose 4*h + p = z, 7*p - 2*p = -5. Is h composite?
False
Let l be (16/10)/1*-5. Let d(x) = -x**2 - 19*x + 5. Is d(l) a prime number?
False
Suppose -2*z = 3*r - 22, -2*z - 7 = -3*r + 7. Let x be (-2)/r + (-38)/(-6). Suppose 46 = 2*o - 4*a, 4*a + 19 + x = o. Is o prime?
False
Let w(c) = 2*c**3 - 13*c**2 - 2*c - 10. Is w(9) composite?
True
Let n = -36 + 185. Is n composite?
False
Suppose 0 = 3*f - 0*f - 126. Let r = f - 23. Is r a prime number?
True
Let r(j) = 103*j**2 - 2*j + 1. Suppose d + 16 = 2*s + 4*d, s = d - 2. Is r(s) a composite number?
False
Let u(r) = 17*r**2 + 3*r + 5. Is u(-2) a composite number?
False
Let h = 12 + 7. Is h composite?
False
Let c(o) = -8*o + 6. Is c(-5) a composite number?
True
Is (1 - 8/(2 + 0))*-149 a prime number?
False
Let h(p) = 77*p**2 + 8*p + 44. Is h(-7) composite?
False
Let v = 24 - -1377. Is v prime?
False
Suppose -3*m + 4*i = -1351, i + 1381 = 5*m - 899. Is m a composite number?
False
Let l = -17 + -5. Let u = l - -4. Let a = u + 49. Is a a prime number?
True
Suppose 22*h = 24*h - 2942. Is h prime?
True
Let b(h) = 7*h**3 + 2*h**2 + h + 2. Let f be b(3). Suppose -3*q + 18 = 2*g - 4*g, -5*g = 15. Suppose -q*d + 0 = -f. Is d prime?
True
Suppose -4*o = -7*o. Suppose o*b = a + 3*b - 151, -5*a - b = -699. Is a prime?
True
Suppose -g = -550 - 303. Is g a composite number?
False
Let j(f) = -f - 7. Let g be j(-5). Let i = g + 12. Is i composite?
True
Let c(r) = -5*r**3 - r**2 + 2*r + 3. Let i be c(-4). Let a = 324 + i. Is a a prime number?
False
Suppose 506 = -6*r + 1436. Is r a composite number?
True
Suppose -3*q = 2*q - 1850. Suppose -4*t + 4*k = -147 - 117, -5*t + q = 3*k. Is t a composite number?
False
Suppose -4*c = -4*q - 1336, 5*q - 3 = -18. Is c a prime number?
True
Suppose 5*d - 4*d - 4 = 0. Is d/24 - 106/(-12) a composite number?
True
Suppose 3*i = -124 + 505. Is i a prime number?
True
Let h = 14 + -9. Let i(x) be the second derivative of x**4/3 - 2*x**3/3 + x**2 - 2*x - 1. Is i(h) composite?
True
Is 2*(2631/12)/(4/8) prime?
True
Let f(a) = -a**2 - 7*a + 3. Let r be f(-7). Is 70 + 4/((-4)/r) a prime number?
True
Let l(u) = 23*u**2 - 5*u - 1. Is l(3) composite?
False
Suppose -p + 12808 = 3*v, v - 1416 = -4*p + 2835. Is v prime?
True
Let k(u) = 4*u**2 - 4*u + 3. Is k(5) a prime number?
True
Let g(s) = 1415*s + 1. Is g(2) a prime number?
False
Is 1 - ((-24)/9)/((-8)/(-444)) prime?
True
Let f(l) = -l**2 - 6*l + 6. Let p be f(-9). Let d be 48/p + (-2)/(-7). Let n(s) = -22*s**3 + 4*s**2 + 2*s - 1. Is n(d) a prime number?
False
Suppose 5*d + 4 = 9*d. Is d + -1 - (-36 + -1) composite?
False
Suppose 2*h = -v, h - 8 = -3*v + 3*h. Suppose -o + 111 = v*o. Is o a prime number?
True
Let a(q) = -q**3 - 3*q**2 + 2*q - 2. Suppose -5*i + 6 = -3*i. Suppose -i = v + 1. Is a(v) composite?
True
Let t(i) = -i**3 + 4*i**2 - 2*i - 3. Let s be t(3). Let b be (-2)/(-1) - s/(-4). Suppose 0 = 5*g - b*g - 237. Is g composite?
False
Suppose 0 = 3*q - 26 - 547. Is q composite?
False
Suppose -4*m + 7 + 21 = 0. Let i = m - 3. Is (1/i)/(5/2980) a composite number?
False
Suppose 3*y - 3*d = -855, 4*y + 4*d + 814 = -342. Let j = -144 - y. Is j prime?
False
Let a(l) = 7*l**3 + 7*l**2 - l + 1. Let y be a(5). Is (-1)/1 + -2 + y prime?
False
Is (-2*2/6)/((-32)/10128) a prime number?
True
Let k(g) = 3*g**2 - 13*g + 13. Let b be ((-60)/(-21))/(6/21). Is k(b) a composite number?
True
Let a be 9/((-2 + 0)/2). Is 6/a - 60/(-9) a prime number?
False
Let p = 0 + 2. Suppose t = 2*w - 66, 0 = -5*t - p*w + 6*w - 354. Let f = t - -151. Is f composite?
True
Let a(k) = -k**3 - 10*k**2 + 7*k + 4. Let d be a(-11). Suppose c - 365 = -d. Is c composite?
False
Let i(t) = -t**2 + 16*t - 14. Let p(n) = 12*n**2 + 1. Let h be p(1). Is i(h) a prime number?
False
Let l = 178 - 94. Suppose l = -3*b + 531. Is b a composite number?
False
Suppose a - 308 - 863 = 0. Is a a prime number?
True
Let h(r) = -3*r + 4. Let v be h(3). Let m(w) = 3*w**2 - 3*w - 1. Is m(v) a prime number?
True
Let x(u) be the second derivative of -u**7/840 + 7*u**6/360 - u**5/60 - 5*u**4/24 + u**3/2 - 2*u. Let t(p) be the second derivative of x(p). Is t(5) prime?
False
Suppose 7*r - 2*r - 10 = 0. Suppose 0 = 5*j + 5*c - 45, -r*j = -c - 4*c - 25. Is j a composite number?
True
Suppose -3*c = -0*c. Suppose -7*i + 5*i + 246 = c. Is i a prime number?
False
Let m be 504/(-35) + (-6)/10. Let d = 38 - m. Is d composite?
False
Suppose c = 5*g - 5276, 0 = -2*g - 5*c + c + 2106. Is g a prime number?
False
Suppose 5*x = -3 - 7. Let l be 3 + x/(-3)*-3. Is l/(3*2/474) a prime number?
True
Suppose v = 5*v. Let b(t) = -t + 2. Let n be b(v). Suppose 0*r + 154 = n*r. Is r a composite number?
True
Let u(w) = 2*w**2 - 3*w. Is u(7) prime?
False
Suppose 40 = 5*h + 185. Let g = h - -96. Suppose -p = -2*p + g. Is p a composite number?
False
Let h = -24 - -10. Suppose 4*c - 3*c - 163 = 0. Let a = c + h. Is a a prime number?
True
Suppose 0 = 12*s - 7*s - 1445. Is s a composite number?
True
Let a(o) = -o**3 + 10*o**2 - 7*o - 4. Let d be a(9). Suppose -3*c - i = 2*i - 18, c + 3*i - d = 0. Suppose -4*t - 316 = -2*l - 2*l, -c*l = t - 158. Is l prime?
True
Suppose 15 = 5*k + 2*t, -5*k - 3*t = 2*t - 15. Suppose -14 = -2*g + k*h - 7, -2*h = -g + 3. Suppose -3*s + 180 = -f, 0 = -5*s - 3*f + g*f + 301. Is s prime?
True
Let f(m) = 6*m**2 - 5. Suppose 5*d + 4 = -26. Is f(d) prime?
True
Suppose -3*u - 2 = -4*u. Suppose 3 = -z + u*z. Suppose -3*y = -7*r + 2*r - 80, 85 = 2*y + z*r. Is y a prime number?
False
Suppose 3*c - 3*l - 765 