d + 2*d + 241 = 0. Suppose -2*h - 107 = -2*n + t, -3*h + 6 = 0. Suppose n = -3*m + 298. Is m composite?
False
Let z = -154 - -967. Is z composite?
True
Suppose -2722 = -3*j + 539. Is j composite?
False
Let c(d) = 3*d**2 + 3*d - 5. Is c(-4) prime?
True
Suppose -2*x + 3*p + 1894 + 171 = 0, 3*x - 2*p - 3105 = 0. Is x a composite number?
True
Let f = -147 + 358. Is f a composite number?
False
Suppose -p = -6 - 0. Suppose -447 = -p*u + 3*u. Is u prime?
True
Is -2 + 342 + -1 + -2 composite?
False
Suppose -8*x + 295 = -3*x. Is x a composite number?
False
Suppose -f - 4*f = -515. Is f a composite number?
False
Suppose 2*j + 793 = 3*g, -4*g + 2*j = -2*j - 1060. Is g a prime number?
True
Suppose 0 = -5*y + 3*r - 14, -y - 2*y - 5*r + 12 = 0. Is -19*(y + -3 + -13) a prime number?
False
Let f = -5 - -10. Suppose -f*q = 2*d - 85, 2*q + 0*q = -5*d + 181. Is d prime?
False
Let x(b) = 12*b - 11. Is x(8) a composite number?
True
Suppose 3*z - 491 - 295 = 5*d, 4*z + 3*d = 1019. Is z a prime number?
True
Suppose -36 = f + 4*i, 0 = -f + 5*f - i + 178. Let p = 87 + f. Is p prime?
True
Let t(v) = -v**2 - 3*v - 1. Let n be t(-1). Let o(z) = z**3 + 6*z**2 - 5*z + 5. Let l be o(-7). Let b = n - l. Is b a prime number?
False
Suppose -r = r - 4*m - 96, -3*m = -3*r + 156. Suppose 0 = -4*f - 66 - 10. Let l = f + r. Is l prime?
True
Let m be (-2703)/34*4/(-6). Suppose n - 740 = -4*n. Suppose -n = -3*h + m. Is h a composite number?
False
Let x = 20 + -11. Is x prime?
False
Suppose 58 = j + 24. Let c = j + 20. Let w = 85 - c. Is w a prime number?
True
Let g be ((-9)/6 + 0)*-2. Suppose b + g*n = -b + 127, -76 = -b + n. Is b a prime number?
True
Let z be (-3)/(-1) + 3 + -6. Suppose z = -5*c + 3*c + 662. Is c prime?
True
Let f(r) = -8*r**3 - 2*r**2 - 2*r + 2. Let y be f(-3). Suppose -4*n + y = 10. Is n composite?
True
Suppose -5 = -4*z + 11. Suppose -z*h + 3*u + 1208 = 0, -2*h + 582 = 5*u + 4. Is h prime?
False
Let c(x) = x**3 + 6*x**2 - 3*x - 8. Let i be c(-6). Is (i/4)/((-8)/(-272)) composite?
True
Let a = -13 - 5. Suppose 4*g = 3*g + 85. Let d = g + a. Is d a prime number?
True
Let j = 5 - 2. Let t(v) = -v + 3. Let h be t(j). Suppose h*f + 84 = 4*f. Is f a prime number?
False
Suppose 0 = -5*m - 224 - 71. Let k = -15 + m. Is (-1)/(1 - (-76)/k) a composite number?
False
Let f(k) be the third derivative of -k**6/120 - 7*k**5/60 + 2*k**3/3 + 2*k**2. Let u be f(-7). Suppose u*i = 53 + 35. Is i composite?
True
Suppose 0 = 3*h + 3*k, -2*k + 2 = h + 6. Suppose -4*d + 3*l = -2, 5*d + h*l - 3 - 15 = 0. Is (-128)/(-1) - d - -1 prime?
True
Suppose -4*q - 2*i = -3*q - 53, -3*q + 159 = i. Let n(y) = 3*y**2 - 1. Let k be n(-1). Suppose -3*c = -k*c - q. Is c composite?
False
Let h(f) = -f**2 + 5*f + 3. Let o be h(3). Let p be o + (0 - 0 - -1). Is (4/(-2))/(p/(-155)) prime?
True
Suppose 5*b - 32 - 28 = 0. Let x = b + 23. Is x a prime number?
False
Suppose -4*o = -1 - 3. Let l be (o/(-2))/(2/4). Is l/((-82)/(-83) + -1) prime?
True
Let t(o) = -o**3 + 7*o**2 + 7*o + 7. Let f be t(8). Is 558 + -4 + f + 4 a prime number?
True
Suppose -137 = -2*w - 4*b + 3, 3*b = 3*w - 228. Suppose w = t + t. Is t a prime number?
True
Let b be (-4)/26 - 318/(-39). Let o(w) = -9 - 7 + 9*w + 7 + b*w. Is o(8) prime?
True
Let y be (-108)/(-14) + 4/14. Let w(n) = n**2 + 1. Let v(z) = z**3 - 5*z**2 - 5*z + 9. Let k(l) = v(l) - 2*w(l). Is k(y) a composite number?
False
Let r(c) = -c - 12. Let m(u) = 1. Let l(w) = -3*m(w) + r(w). Let b be l(-11). Let d(v) = -v**3 - 3*v**2 + 5. Is d(b) a composite number?
True
Let v(n) = 2*n**2 + 7*n + 10. Is v(7) a composite number?
False
Is -1*4 - (5 - 544) a composite number?
True
Is 4 + 78 + 1 - -2 a composite number?
True
Suppose w - 9 = -4. Let k(f) = -f + 5. Let r be k(w). Suppose 17 = -v + 2*v - 4*y, -4*v + y + 143 = r. Is v a composite number?
False
Let x(d) = 6*d**3 - d**2 + 2*d - 1. Let a be x(1). Let n = 2 - -2. Suppose -113 = -3*m - a*i + i, -n = -i. Is m composite?
False
Let p = -52 + 3. Let i = p + 114. Is i a composite number?
True
Let d be (4/(-6))/(3/27). Let a(y) = y**3 + 8*y**2 + 8*y + 2. Let b be a(d). Suppose -b = -3*c + 31. Is c prime?
True
Let c = 686 - 463. Is c prime?
True
Let v = 29 - 21. Suppose 0 = -2*z - v, -k - 3*k = -4*z - 24. Suppose 0 = -2*q + 12 - k, -3*t + 3*q + 48 = 0. Is t a composite number?
True
Let r = -4 - -8. Suppose 4*u - 5*n = -u - 45, -r*n - 12 = 0. Is (-4)/(-6)*(-3366)/u composite?
True
Suppose -1115 - 417 = 4*v. Let b = -220 - v. Is b composite?
False
Let j be (-12)/18 + (-187)/3. Is 467/7 + (-18)/j a prime number?
True
Suppose 0*f + 4 = -2*f. Is (-762)/(-12) + (-3)/f composite?
True
Suppose l + 33 = 4*l. Suppose -3*h = 4*v + 74, -4*v + l - 41 = h. Is 4/h + (-4012)/(-44) composite?
True
Let y be 2/4*(-37 - -1). Let f = y + 13. Is (-2)/(-5) + (-93)/f prime?
True
Let w = 1083 + -536. Is w a prime number?
True
Let m(p) = -4*p**2 - 5*p. Let t be m(-7). Let a = t + 282. Is a a composite number?
True
Suppose -724 = 3*b - 7*b. Is b prime?
True
Suppose 0*t - 3*t = 6. Let w = t - -7. Suppose w*s - 88 - 77 = 0. Is s composite?
True
Suppose -4*t = -6*c + 2*c - 3552, -t - 4*c = -893. Is t composite?
True
Suppose -4 = 3*k + 2. Let d be -2*(k + 21/(-2)). Suppose 0 = 4*g - 3*q - 716, -4*g + d + 691 = 5*q. Is g a composite number?
False
Let v = 13 - 8. Let n = -12 - -16. Suppose 0 = 5*g - v*a - 245, 2*g + n*a + 16 - 138 = 0. Is g composite?
False
Let w(t) = t**3 + 2*t**2 - 3*t - 3. Suppose -6*b = -b + 35. Let v = b - -5. Is w(v) a composite number?
False
Let t(p) = -4*p**3 - 2*p**2 - 4*p - 1. Is t(-5) a prime number?
False
Is (0 - (-1356)/8)*4/6 a composite number?
False
Let h = -78 - -269. Is h a composite number?
False
Let x(k) = 7 + 2*k**3 - 4*k**2 + 0*k + k + 5*k. Is x(6) a composite number?
False
Let g(z) = -49*z - 2. Is g(-1) a prime number?
True
Let p(n) = 0*n + 3*n + 23*n**2 + 11*n**2 - 2*n. Suppose -5*t = -2*d - 3*d, -2*d - 4 = 2*t. Is p(t) a composite number?
True
Suppose -n + 0*n = -18. Is 277/9 - (-4)/n a composite number?
False
Let f = 2245 + -1176. Is f prime?
True
Let s be (-1 + 0)/((-1)/3). Suppose s*j = -236 + 65. Let v = -22 - j. Is v a prime number?
False
Suppose -x + 36 = -0*x. Let i = x + 1. Is i prime?
True
Let n be (-4108)/(-24) + 1/(-6). Let u = 294 - n. Is u a composite number?
True
Let i = 38 + -70. Let m = i + 45. Is m a prime number?
True
Suppose -4*n = -v - 2084 + 367, 3*v = -2*n + 855. Suppose -n = -5*t - 104. Is t a composite number?
True
Is 53/(-2)*1*-2 composite?
False
Let j(v) = -v - 6. Let o be j(-6). Suppose o*k - 1 = -k, -k - 6 = -y. Suppose -4*z + c - 143 = -y*z, 229 = 5*z - 3*c. Is z a prime number?
True
Let g(m) = m - 2. Let f be g(5). Suppose 2*u = -f*u + 95. Is u composite?
False
Let x(c) = c + 4. Let k be x(-11). Let z = -3 - k. Suppose 0 = 3*r - 3, 68 = z*w - 5*r - 11. Is w a prime number?
False
Let x be (0 + -3 + 2)*-5. Is (-27)/45 + 728/x a composite number?
True
Suppose -3 = -z + 5. Is (z/(-10))/(2/(-25)) composite?
True
Suppose 0 = -a - 3, 3*a = -4*l - 1 - 0. Is 56/(-12)*(-3)/l prime?
True
Suppose 0 = -3*w + w - f - 73, 4*w + 121 = 3*f. Let n = -12 - w. Suppose -2*y = -n - 24. Is y prime?
True
Let t be ((-20)/15)/(4/(-6)). Suppose -t*w + 19 = -49. Is w prime?
False
Let r(h) = 16*h**2 - 7*h - 4. Let d(y) = -2*y + 15. Let c be d(10). Is r(c) a prime number?
True
Suppose 0 = -6*t + 15 - 3. Suppose 2*n = -2*n + 4*u + 1564, u = -t*n + 782. Is n composite?
True
Suppose -188 = l - 3*l - 4*h, -3*l = 3*h - 267. Suppose w = -0*w - 5*c + l, 0 = 3*w - 5*c - 272. Is w prime?
True
Let m = -29 - -33. Is m a composite number?
True
Let l(o) = 6*o**2 + 10*o - 12. Let w be l(8). Let k = w + -303. Is k composite?
False
Suppose 0*q = 4*q - 48. Let u = 65 + -15. Suppose -q = 2*n - u. Is n a prime number?
True
Let f be ((-2)/4)/(1/(-110)). Let r = f - 181. Let s = -89 - r. Is s prime?
True
Let v = -10 - -20. Suppose -7*g + v = -2*g. Let c(z) = 5*z**3 + z**2 - 2*z + 3. Is c(g) prime?
True
Suppose 703 = -2*j + 4157. Is j composite?
True
Suppose -4*b - 53 = 51. Let l = b + 45. Is l prime?
True
Let z = -33 + 100. Is z a composite number?
False
Is (-27627)/(-7) + 56/196 a prime number?
True
Let c = 262 - 482. Let k = 431 + c. Is k prime?
True
Suppose 2*o - 2*d = -29 + 811, 3*d - 407 = -o. Is o composite?
True
Let s = 5780 + -3201. Is 