?
True
Let u = -4 - 0. Let p be u/(-16) - 910/(-8). Let l = p - 47. Is l prime?
True
Let f(m) = 5*m**2 + 1. Let c = -13 - -29. Suppose -6 = -5*k - c. Is f(k) a composite number?
True
Suppose -v + 318 = 5*v. Is v composite?
False
Suppose -4*j + 490 = h, 0*h + h - 2 = 0. Suppose j - 9 = q. Is q a composite number?
False
Let g(i) be the third derivative of i**5/20 + i**4/12 - i**3/2 - 2*i**2. Is g(-4) composite?
False
Let q(s) = -3 - 6*s**2 + s**3 + 2*s - 5 + 0. Let j be q(6). Let h(b) = -b**3 + 5*b**2 + b + 3. Is h(j) composite?
False
Let f = -7 - -11. Let d(l) = -6*l**3 + 3*l**3 + 4*l**3 + f*l + 8*l**2 - 2. Is d(-5) a prime number?
True
Suppose 5*a = 3*a + 10. Let p be a + (-1 - 0) + -1. Suppose -s - 98 = -p*o - 5*s, 0 = 5*o - 5*s - 175. Is o composite?
True
Let b(n) = n**2 - 6*n + 4. Let t be b(6). Suppose 0 = -t*h + 269 + 167. Is h a prime number?
True
Let h(t) = -2*t**3 - 9*t**2 + 10*t + 9. Let a be h(-10). Let l = -540 + a. Is l a composite number?
True
Suppose 0*r = 3*r. Suppose 2 = -v - r, 0 = -3*m - 3*v - 72. Let k = m + 59. Is k composite?
False
Is (-10)/45 - 8986/(-18) a prime number?
True
Let j(p) = -p - 10. Let d be j(-13). Suppose d*i + 4*l - 1189 = 0, -2*i - 3*l + 1188 = i. Is i a prime number?
False
Let l be 1 + 1 - (-1 + -1). Suppose -3*a = -5*x + 2*a + 35, 5*a + 20 = 0. Let n = l + x. Is n a prime number?
True
Let s = -303 - -2216. Is s composite?
False
Suppose k + 831 = 2*z, z - 3*z = 4*k - 806. Is z a prime number?
False
Let f(j) = -122*j - 1. Let i(q) = -q - 1. Let t(s) = f(s) - 3*i(s). Is t(-1) prime?
False
Let f(d) = d**3 - 6*d**2 + 3*d. Let y be f(6). Let t = 40 - y. Is t prime?
False
Suppose -3*d = 4*q - 333 - 34, 2*d = 4*q - 382. Suppose -37 = 5*l + 3*g, 5*l + 2*g = 6*g - 9. Let j = l + q. Is j composite?
False
Suppose 4*d = -0*d + 20. Suppose -d*m = -s + 154, 0 = 2*s + m + m - 368. Is s a composite number?
False
Suppose 5*w = w - 172. Let n = -30 - w. Is n prime?
True
Let v(f) = 2*f**2 + 26*f + 29. Is v(15) composite?
True
Let n = -786 - -1765. Is n composite?
True
Let i(a) = -a**3 - a**2 - a + 15. Let n be i(0). Suppose n = 3*u + 6. Let m(v) = 8*v - 1. Is m(u) a prime number?
True
Let o(z) = z - 2. Let q be o(5). Suppose -q*k = -5*j - 754, -4*k - 2*j - j + 1015 = 0. Is k composite?
True
Let o(g) = 34*g - 5. Is o(7) composite?
False
Let o = 358 + -171. Is o a composite number?
True
Let k(w) = -25*w - 8. Is k(-7) a prime number?
True
Suppose -t + 103 = t + 3*m, -3*t + 161 = -2*m. Is t a prime number?
True
Let t(a) be the second derivative of -a**6/60 - a**5/12 - a**4/12 - a**3/6 - a**2 - a. Let c(l) be the first derivative of t(l). Is c(-3) a composite number?
True
Let i(d) = d**2 + 1. Let o(p) = -6*p**2 + p + 2. Let r(k) = -3*i(k) - o(k). Let x be r(5). Let w = -18 + x. Is w a prime number?
True
Suppose 2*f - 324 = 1082. Is f a prime number?
False
Let w(j) = 273*j + 22. Is w(3) composite?
True
Let g(p) = 382*p - 3. Let q = -15 - -17. Is g(q) composite?
False
Suppose -5*d + 6 = -8*d. Let a be 40/15*(-3)/d. Suppose 4*q - 2*h = h + 85, 4 = a*h. Is q a composite number?
True
Let a = 271 - 20. Is a a prime number?
True
Let l(b) = -60*b - 2. Is l(-1) prime?
False
Suppose 1541 = 2*c - 405. Is c a prime number?
False
Suppose 0 = 10*w - 14*w + 25396. Is w a prime number?
False
Suppose -4*j - 3*w = -0*w - 3, 3*j + w = 6. Is (-2)/(18/(-381))*j composite?
False
Let r be 46/(-4) + 18/12. Let v(t) be the third derivative of -t**6/120 - 3*t**5/20 + t**4/4 - 5*t**3/6 - t**2. Is v(r) a composite number?
True
Let y(p) = -p**2 + 6*p + 1. Let i be y(5). Let w(v) = -v**2 + 7*v - 6. Let r be w(i). Suppose r*n - 188 = -4*n. Is n a composite number?
False
Suppose 3*t + 6*t = 38421. Is t composite?
True
Let v = -702 + 1524. Suppose -a - v = -4*a. Is a a composite number?
True
Suppose 2*k = -k - 15, -5*v = -5*k - 2315. Suppose 2*c - 2*q + v = 0, -4*q + 267 = 5*c + 1385. Let f = -93 - c. Is f composite?
True
Let k = -1 - -10. Let f = k + -4. Is 4/(-2) + (26 - f) a prime number?
True
Suppose 5*q - 18 = -4*f, -f + 2 - 8 = -4*q. Suppose -f*p + 121 = -0*p + 5*k, 209 = 4*p - k. Is p a composite number?
False
Suppose -a + 15 = 2*a. Let l = a + -5. Is l - (-210 + 0 + -1) a prime number?
True
Suppose -3 - 9 = 2*u. Let c(a) = a**3 + 6*a**2 - a + 3. Let d be c(u). Let m = d + 26. Is m composite?
True
Let w(q) = 297*q**2 - 6*q + 5. Is w(4) a prime number?
True
Let j(n) be the second derivative of -7*n**3/3 + 7*n**2/2 + n. Suppose 2*w - 26 = 3*d, -5*d - 20 = -3*d - 2*w. Is j(d) a composite number?
True
Is (1 - 2) + 38/1 a prime number?
True
Let w(r) = -7*r**2 - 6*r - 4. Let h(y) = y**2. Let d(j) = 2*h(j) - w(j). Is d(5) a prime number?
False
Suppose -2*v + 0 = -10. Suppose -4*d = v*m - 603, d + 2*m + 167 = 2*d. Is d a composite number?
False
Let v(f) = 7*f**2 + 10*f + 2. Is v(7) composite?
True
Let i = 6920 + -4179. Is i a composite number?
False
Let n(k) = 133*k + 1. Let z be n(-1). Let b be z/(-4)*20/6. Let v = b + -57. Is v composite?
False
Suppose -4*t + 25 = t. Let o be (t - 8)*(0 + 1). Let u(j) = -2*j**3 - j**2 + 4*j + 4. Is u(o) prime?
True
Let r be (-4)/(-14) - 78/(-21). Is (r*177/(-6))/(-2) prime?
True
Let x = 80 + -56. Is -267*(x/9 + -3) a prime number?
True
Let y = 2 + 1. Suppose -3*o = -y*u + 15, -o + 35 = 5*u - 4*o. Suppose u = -h + 2*h. Is h prime?
False
Let d be 5/5 - (-2 - -1). Let l = -6 + 1. Let k = d - l. Is k a prime number?
True
Let j(b) = 3*b**2 - 4. Let f(a) = a + 10. Let p be f(-13). Is j(p) prime?
True
Let m(a) = 16*a**3 + a**2 - 2*a + 7. Is m(6) composite?
True
Suppose 3*r - r + 10 = 0, -4*j = 3*r - 1. Suppose 911 = -j*u - 77. Is 2/(-7) + u/(-7) a composite number?
True
Suppose -4*u + 6 = -6, -2*u = 3*o - 21. Suppose -q = j - 8, o*j - 3*j - 8 = 0. Suppose -k + 3*g = -27, 2*k - q*g = -3*g + 64. Is k a composite number?
True
Let h = 4 - 7. Let b(n) = -7*n**3 + 5*n**2 + 3*n - 4. Is b(h) a prime number?
False
Suppose 4*l = -3*y + 406, 137 = y + l - 0*l. Is y a composite number?
True
Is 8/(-6)*-363 - -1 prime?
False
Let a = 2301 - 522. Is a a composite number?
True
Let n = 18 + -41. Let s be 0 - 3/(3/(-68)). Let k = s - n. Is k a composite number?
True
Suppose 3*s = 3*g + 12, s - 6 - 4 = 4*g. Let y be -8*(-2 + 16)/g. Let h = y - -9. Is h a prime number?
False
Let n(y) = -y + 9. Let f be n(7). Suppose -f*b - 12 = 2*b. Is 20*1 + (-4 - b) composite?
False
Suppose -4*m - 3*z = 31, 3*m - 4*z + 27 = -7*z. Let i be -1*(m - (-3 + 1)). Is (7*-1)/(i/(-4)) prime?
False
Let c(l) be the first derivative of -l**2/2 + 8*l - 7. Is c(-15) a prime number?
True
Let x be (0 + 0 + -1)*6. Is x/9 - (-838)/6 a composite number?
False
Suppose m - 19 = -0*m. Let u = m + -11. Suppose -a = 3, 0*j = -j - 2*a + u. Is j prime?
False
Is 5/(-5) + -2 + 1784/2 a prime number?
False
Let b(l) = l**2 + 0 - 9*l - 14 + 0*l. Let y be b(11). Is ((-76)/y)/(1/(-2)) a composite number?
False
Suppose p - 32 = 3*y + 27, 4*p - 172 = -4*y. Is p prime?
True
Suppose -3*v + 2*v - 2*a + 451 = 0, -448 = -v + a. Is v a prime number?
True
Let o be (0 + 1)/((-2)/10). Let d = 9 - o. Is d composite?
True
Let t = -83 + 420. Is t a prime number?
True
Let f(t) = 4*t**2 + t + 4. Let q = 4 + -7. Is f(q) a prime number?
True
Is 4 + (2 - -2 - 11) + 3910 a composite number?
False
Suppose -3*m = 175 - 61. Let y = m - -59. Is y composite?
True
Let t(j) = -j**3 + j**2 + 3*j - 1. Let l be t(3). Let o be ((-6)/l)/((-8)/(-40)). Is (2 - -136) + (o - 0) prime?
False
Let t(z) = -z**2 + z + 501. Is t(0) a prime number?
False
Let f = -346 + 164. Let q = f + 405. Is q a composite number?
False
Let k(f) = 12*f**2 - 3*f + 1. Let n be k(-4). Suppose w = -0*w + z + 46, -4*w = 3*z - n. Is w a composite number?
True
Suppose 5*p = -0*p - 15, -p + 12 = 3*y. Suppose 4*s + 240 = y*u - 75, -4*u - s = -273. Is u prime?
True
Let t = 79 + -28. Is t composite?
True
Suppose 4*y - 4008 = 1852. Is y a prime number?
False
Let u(s) = 4*s**3 - 7*s**2 + 5*s - 1. Is u(4) a prime number?
True
Suppose 0 = 8*y - 5506 + 474. Is y composite?
True
Let n be (3/(-2))/((-5)/10). Suppose -33 = -n*f - 0*f. Is f a composite number?
False
Suppose 0 = -5*k, q - 5*k - 344 = 407. Let w = -504 + q. Is w composite?
True
Let o = -8234 - -5240. Is (-4)/14 - o/42 a prime number?
True
Let p = -30 - -70. Let r = 73 + p. Is r prime?
True
Let v(c) = 67*c**2