False
Suppose t + 50 = 6*t. Let q = -13 + 10. Is 184/t + q/(-5) composite?
False
Let p = -117 - -174. Suppose 32 = f - p. Is f prime?
True
Let w(m) = -m - 7. Let q be w(0). Let b = 17 - q. Suppose 0 = l - 1 - b. Is l a composite number?
True
Let h = -699 - -482. Let z = h + 344. Is z a prime number?
True
Let g(p) = 17*p - 4. Let l be 35/14 + (-2)/(-4). Let n = l - 0. Is g(n) prime?
True
Let g = -62 - -87. Suppose 2*h + g = -3*u + 4*u, -2*u = -5*h - 55. Is u a composite number?
True
Let q(j) = -2 + j**3 + 3*j**2 - 2*j**3 - 5*j**2 + 4*j. Is q(-4) composite?
True
Is (341 - -29) + 0 + 1 a composite number?
True
Let p(f) = f**2 - 4*f - 1. Let w be p(-6). Let t = 20 + w. Is t a prime number?
True
Suppose 0 = 4*m - 3*a - 5, -5*m + 3*a + 10 = 0. Let t(u) = 3*u. Let l be t(1). Suppose -l*p + 125 = 5*d, m*p + 50 = 2*d + 3*p. Is d a composite number?
True
Let x(b) = -4*b - 9. Let m be x(6). Let k = 94 - m. Is k a prime number?
True
Let u = 0 + -6. Let s = 4 + u. Is s/((-4)/42) - -1 composite?
True
Is 4421*(-1 + -2*(-3 - -2)) prime?
True
Let w(m) = -2*m + 737. Is w(0) composite?
True
Suppose 0 = 4*m + 2*a - 23590, -3*m = m + a - 23593. Is m prime?
False
Let a be 0 + -1 + (3 - 3). Is 77 + 0/(a - 2) composite?
True
Let g(u) = -5*u**3 - u**2 + 1. Let h be (-2)/(-4) - 10/(-4). Suppose 5*r + 4*m = -m - 5, -h*r - 11 = -5*m. Is g(r) composite?
False
Is 2/4 - 11405/(-10) a prime number?
False
Let u(j) = -j**3 - 14*j**2 - j - 5. Let a be u(-14). Is a/(-27) - 320/(-6) a composite number?
False
Let c(x) be the third derivative of 473*x**6/120 + x**5/60 - x**4/12 + x**3/6 + 6*x**2. Is c(1) prime?
False
Let o = 7048 + -4869. Is o composite?
False
Let t be (-1)/((-2)/(-10))*-11. Suppose 4*w = -w - 160. Let i = t + w. Is i a composite number?
False
Suppose -2*i = -0*i - 52. Suppose 2*f = -x + 395 + i, 3*f = 3*x + 636. Is f composite?
False
Suppose 3*j + 0*j + 4*x - 571 = 0, 0 = -5*j - x + 963. Let t be (-10)/(-15) + j/3. Is ((-2)/(-1))/1 + t prime?
True
Let i = -73 + 626. Is i composite?
True
Let f(u) = -u**2 - u + 4*u - 5 + 9*u. Let q be ((-4)/(-3))/(4 - (-232)/(-60)). Is f(q) composite?
True
Let z(y) = -2*y - 6. Let q be z(-4). Suppose 0 = x + q*x - 609. Is x composite?
True
Suppose 0 = -u + 4 + 1. Suppose u*f + 18 = 4*k + 76, 0 = -5*f - 2*k + 46. Is f a composite number?
True
Suppose m - 9 = -2*m. Let i(f) = 2*f**2 + 6*f - f**2 + m + 3. Is i(-6) a composite number?
True
Let u(k) = -3*k**3 + k. Let g be u(-1). Suppose -2*v - 52 = -g*t, 3*t + t = -3*v + 139. Is t composite?
False
Let y be 9/(2 - -1) - -136. Suppose -n = -y - 64. Is n composite?
True
Let c be (10/3)/((-14)/21). Let v(q) = -89*q. Is v(c) composite?
True
Suppose t + 149 = -2*z, -2*z + z = -t + 76. Is (-5 - z)*1/2 composite?
True
Suppose -1005 = -8*b + 3*b. Let u = 359 - b. Is u composite?
True
Suppose 0 = 2*d + 5*b - 6, 4 = -3*d + 2*b + 13. Suppose -2*o - 19 = -d*o. Suppose -l - o = -2*u, 2*l + 8 = u - 0. Is u a prime number?
False
Let u(p) = -p**3 + 5*p**2 - 5*p. Suppose -4*m = -n, -16 = -2*n - n - 4*m. Let x be u(n). Let g(w) = -w**3 - 2*w**2 + 4*w + 5. Is g(x) a composite number?
True
Let z(r) = -r - 3. Let t be z(-5). Let y(b) = -1 - 3 + 5 + 26*b. Is y(t) composite?
False
Suppose 0 = 5*g + 4*a - 18049, 4*g = a + 4153 + 10303. Is g composite?
False
Is 672/35 + (-2)/10 a composite number?
False
Let c = -258 + 112. Let u = 483 - c. Is u prime?
False
Suppose 2*f = -2*p - 114, -2*p - 115 = 4*f + 117. Let x = f - -117. Is x a composite number?
True
Suppose 3*l - 13 + 1 = 0. Suppose -160 = b - l*b + 5*j, -5*j + 200 = 5*b. Let w = b - -156. Is w a composite number?
True
Let c(j) = 115*j**3 + 4*j**2 + 4*j - 1. Suppose 5 = 2*q - 3*q. Let s(u) = -114*u**3 - 5*u**2 - 5*u + 1. Let z(y) = q*s(y) - 6*c(y). Is z(-1) composite?
True
Suppose 0 = -2*f + 139 + 1267. Is f a composite number?
True
Suppose h + 42 = -4*p + 1123, 3*p = -h + 1079. Is h a prime number?
False
Let y = 22 + 1. Is y a prime number?
True
Suppose -12 = -0*y + 3*y. Let v be (y + 2)/2*-97. Let u = v - 50. Is u composite?
False
Let j = -3477 + 1761. Is j/(-36) + 2/(-3) a prime number?
True
Is (2/(-6))/((-3)/5013) a composite number?
False
Let l = 22 + -31. Let o = l - -4. Let u = 24 + o. Is u composite?
False
Suppose -9 = -3*u - 24. Is 147 + 16/(1 + u) a prime number?
False
Suppose 325 = 5*z + 4*g, -3*g - 325 = -2*z - 3*z. Is z a composite number?
True
Let o be 1/2 + 6/(-4). Let f(h) = 4*h - 1. Let r be f(1). Is (4 - r)/(o/(-13)) composite?
False
Suppose 2*m = -2*m. Is m - (-2 + 0) - -125 a prime number?
True
Let l(y) = -y. Let w(a) = -42*a + 2. Let d(b) = -5*l(b) + w(b). Is d(-5) a prime number?
False
Let r(g) = 6*g**3 + 4*g**2 - 2*g. Let y(o) = o**3 - o. Let m(a) = r(a) - 5*y(a). Let p be m(-2). Suppose p*s + 260 = 6*s. Is s composite?
True
Let n = -6715 + 10134. Is n a composite number?
True
Let x(v) = 2*v - 3*v - 7*v + 4*v. Let h be x(-1). Suppose 4*u + h*g + 23 = 5*u, -5*u + 172 = -g. Is u composite?
True
Suppose -v + 4*v - 15 = -3*a, -3*v = -a + 5. Is v - 1/((-2)/20) a prime number?
False
Let n(f) be the third derivative of -5*f**4/8 + 5*f**3/6 - 3*f**2. Is n(-4) a prime number?
False
Let o(d) = -18*d + 1. Let b be o(-1). Let u = b + -12. Is u prime?
True
Suppose -3*y - 5*f - 96 = 0, 0*f - 5*f = -y - 32. Suppose w = 4*w - 153. Let z = y + w. Is z composite?
False
Let d(p) = p**3 + 10*p**2 - 6*p + 14. Is d(-10) a prime number?
False
Suppose 0*j = -2*j + 6. Is (-62)/(-3) + 1/j a composite number?
True
Let b(l) = 8*l**3 - 26*l**2 + 29*l - 22. Let r(o) = -3*o**3 + 9*o**2 - 10*o + 7. Let m = -10 + 14. Let d(j) = m*b(j) + 11*r(j). Is d(-9) a composite number?
True
Let o(x) = 83*x + 2. Let p be o(2). Suppose -3*d + p = 3*f, 5*d = -f + 70 + 198. Is d a composite number?
False
Let n(i) = 92*i**2 - 2*i - 9. Is n(-4) a composite number?
False
Let d be 12/(-4) + 4794/3. Is (3/(-5))/((-11)/d) prime?
False
Let y = -286 - -401. Is y prime?
False
Suppose 0 = 39*q - 43*q - 1384. Let a be -1*(-1 - 0 - 3). Is q/(-8) - 1/a a prime number?
True
Let v(a) = -7*a**3 - a**2 + 3*a + 3. Let p(m) = -m**3. Let r(f) = -5*p(f) + v(f). Is r(-4) a prime number?
True
Let w = -5 + 8. Suppose -w*t = -2*t - 53. Is t a prime number?
True
Let r(y) = 13*y + 2. Let a be r(14). Suppose -8*c = -3*c - 75. Is a/5 - (-3)/c prime?
True
Suppose -13*r = -16*r + 879. Is r a prime number?
True
Is 3 + -5 - (1 - 25) a prime number?
False
Let l = 18 - 2. Suppose v + 5 - l = 0. Is v a prime number?
True
Let u(r) = r**2 - 7*r + 3. Suppose -5*w + 240 = 5*y - 115, 0 = 4*w + 2*y - 274. Let p be w/9 + (-4)/(-6). Is u(p) composite?
False
Is 2/(-6) + 982/3 composite?
True
Suppose 0 = -h - 0*h + g - 59, 0 = 3*h - 5*g + 187. Let c = 70 + 15. Let n = h + c. Is n a prime number?
True
Suppose 0 = 2*t + 4 + 2. Is ((-785)/(-15))/((-1)/t) a composite number?
False
Let i(o) = -o + 1. Let r(p) = -7*p + 7. Let j(d) = -6*i(d) + r(d). Let s be j(-2). Suppose -s*m = -m - 74. Is m a composite number?
False
Let m = -4 + 6. Suppose -5*h + m = -2*n + 26, -h + n - 6 = 0. Is 19/(h/(-3) - 1) prime?
False
Let m be -2*(-4)/16*-2. Suppose -127 = 3*h + 3*a + 83, -h - 4*a - 73 = 0. Is h*(-2 + (-1)/m) a prime number?
False
Suppose -p + 0*p = -b + 7, -b = 5*p + 5. Suppose 5*w + 14 = -2*q + q, 3*q = 3*w - 24. Is (15/q)/(p/78) a composite number?
True
Let q(b) = -2*b**3 + 9*b**2 + 2*b - 2. Let p be q(-6). Let l = p + -265. Is (-1)/(2 + l/(-237)) a prime number?
True
Let z = -359 + 505. Is z a composite number?
True
Suppose 4*w + 5*t = -0*w + 706, w = -2*t + 175. Is w a composite number?
False
Suppose 4*v - 32 = -0*v. Let b(a) = 6*a + 4*a + v*a**2 + 10 - 18*a**2 + a**3. Is b(9) a composite number?
False
Let i = -6 - -4. Let m = 4 + i. Let q = 27 - m. Is q a composite number?
True
Let d(j) = -j**3 - 2*j**2 + 3*j - 3. Let h = 3 + -8. Let l be d(h). Suppose -l = -8*m + 5*m. Is m a prime number?
True
Suppose 5*h - 8 = 3*l, 2*h = -0*h - 4*l + 24. Suppose -s - 7 = -x - 2*s, -10 = -h*x + 2*s. Is x/22 - (-502)/22 a composite number?
False
Suppose 2 = 2*p + 6. Let d be (-33)/((-2)/(-2)) - p. Let w = 54 + d. Is w a prime number?
True
Let m(i) = 4*i**2 + 10*i - 5. Is m(8) a composite number?
False
Let d be 6/(-30) + 2/10. Suppose -5*t + 4*p - 22 = d, -3*p - 5 = 5*t - 4. Is 1/((t/69)/(-2)) a prime number?
False
Suppose -7*c + 293 = -554. Let j =