?
True
Let s = 11 - 9. Suppose 0 = -2*m - s*m. Suppose 0 = -4*k - m*k + 344. Is k a composite number?
True
Let p = -4382 - -6588. Is p a prime number?
False
Let d(a) = -489*a + 2. Is d(-1) prime?
True
Let z(o) = -3 + 1 - 2*o + o**2 + o**2. Let v be z(2). Suppose 4*b = 3*b + 3*l + 110, -l = -v*b + 235. Is b a composite number?
True
Let p(z) = -2*z - 2. Let m be p(-2). Suppose 2*j = j - 1, 0 = -3*w - m*j + 355. Is w a prime number?
False
Suppose 5*s + 18 = -3*m + s, 4*m + 2 = 2*s. Let v be (6/(-4))/(1/m). Suppose v*f = 2*y + 68 + 20, -5*f - 3*y = -115. Is f composite?
True
Let d = 19 - 13. Suppose -d = -5*a + 4. Suppose a*u = 5*b + 94, 5*u - b - 173 = -4*b. Is u a composite number?
False
Suppose 5*y - 2*y - 3171 = 0. Is y composite?
True
Let b(x) be the third derivative of x**8/10080 + x**7/5040 - 7*x**6/720 + x**5/30 + 2*x**2. Let s(p) be the third derivative of b(p). Is s(-5) prime?
False
Let j(n) = n**3 + 4*n**2 - n - 4. Let x be j(-4). Suppose x = -2*q + 3*k + 185, -5*k + 23 - 8 = 0. Is q a prime number?
True
Let v(h) be the third derivative of -1/2*h**3 + 3/20*h**5 + 2*h**2 + 0 + 0*h + 1/8*h**4. Is v(-3) composite?
True
Let p(n) = -n + 13. Let t be p(13). Suppose 5*f - o - 395 = 0, 3*o - 237 = -3*f - t*o. Is f a composite number?
False
Let z = 14 - 10. Suppose 2*r - 471 = n, z*n = -r + 3*r - 474. Is r a composite number?
True
Let c be 44/14 - 2/14. Let u be 3/(-9) - (-1)/c. Suppose 5*g - 653 - 462 = u. Is g prime?
True
Let j be (1/(-1))/2*0. Let z = j + 10. Is z prime?
False
Let n = 1 - -1. Suppose -3*u = -4*s - 1595, 3*s + u + n*u + 1170 = 0. Is (s/10)/(1/(-2)) composite?
False
Let w(m) be the second derivative of -m**5/10 - 5*m**4/12 + m**3/6 + 3*m**2/2 - 4*m. Is w(-5) a prime number?
False
Suppose -5*l + 185 = 65. Suppose l = 4*a + h, 0 = 2*a - 0*a - h - 18. Let y(r) = 12*r - 5. Is y(a) a prime number?
True
Let r be 6/(-4)*(-14 + 12). Suppose u = r*u - 78. Is u a composite number?
True
Let r(j) = 2*j**3 - 5*j**2 - 7*j + 3. Is r(5) a composite number?
True
Let m = 94 - 29. Is m a prime number?
False
Suppose 23*k - 133 = 22*k. Is k composite?
True
Suppose 3*l - 8 = -l. Let k(m) = 33*m**2 + m - 1. Is k(l) composite?
True
Suppose l - 6*l = -65. Is l prime?
True
Is (15/10 + -4)*-74 composite?
True
Suppose 3*i = 5*l + 4187, 0 = 4*i - 4*l + 2*l - 5592. Is i a composite number?
False
Let o be (-1 - (-4)/4)/(-2). Suppose -5*p - 196 + 801 = o. Is p a composite number?
True
Suppose -2*w - 4*v - 84 = 0, v + 0*v + 96 = -2*w. Let b = 92 + w. Let r = b - 29. Is r a composite number?
False
Let v(n) = n**3 + 17*n**2 + 5*n + 6. Is v(-15) a composite number?
True
Suppose 3 = 4*l - 5. Suppose d + 6*u - 61 = 3*u, -167 = -l*d + 3*u. Suppose -3*x + 2 = -d. Is x prime?
False
Suppose -5*q + 1225 = -0*q. Suppose -1 - 3 = -o. Suppose -p + q = o*p. Is p a prime number?
False
Let w(r) = 5*r**2 + 8*r + 15. Let b be w(-7). Let q = 49 + -166. Let l = q + b. Is l composite?
True
Let s(n) = -20*n - 1. Let o be -4 + -2 + 3 - 0. Let j be o + 1 + (0 - -1). Is s(j) composite?
False
Suppose -4*g = -2*g. Suppose g = 5*w - 2*w - 12. Suppose j = -w*i + 86, 2*j + 4*i = 5*j - 210. Is j prime?
False
Suppose -446 = -5*h + 3*h. Suppose 3*f - h = -5*a + 249, f = -3*a + 152. Let l = f - 67. Is l a prime number?
True
Let p(b) = 24*b - 3. Is p(6) composite?
True
Suppose 3*n - 227 = -y, 3*y = 7*y - 4*n - 860. Is y prime?
False
Suppose -6*q = -157 - 5. Suppose -116 = -v + q. Is v composite?
True
Suppose 268 = 3*x + x. Suppose 0 = u + 5*a - x, -5*u + 5*a - a + 393 = 0. Is u a prime number?
False
Suppose c + 4*y = -c - 16, c + y = -3. Suppose -4*g + 0*g = -o + 15, -3*o + 17 = c*g. Is o a prime number?
True
Suppose 5*c - 2*r = 951 + 696, 2*c + 5*r = 653. Is c a prime number?
False
Suppose 3*f - 80 = -f + 2*i, -3*f + 3*i + 66 = 0. Let a = 82 + f. Let s = 219 - a. Is s composite?
True
Is (0 - 254/5)/((-4)/10) a prime number?
True
Let h(s) = -114*s**3 + 2*s**2 + 2*s + 1. Let u(q) = -q**3 + 6*q**2 + q - 7. Let l be u(6). Is h(l) a prime number?
False
Let r(w) = w**2 - w + 4. Let q be r(0). Suppose n - 4*l = q + 3, -4*l = 2*n + 46. Let u = n + 32. Is u a composite number?
False
Let n(s) = s**3 + 12*s**2 - 10*s - 17. Is n(-8) prime?
False
Suppose 4*n - 2*n = 138. Suppose -n - 31 = -2*u. Suppose 4*b - 242 + 58 = -4*s, -u = -s + 3*b. Is s a prime number?
True
Suppose 0 = -3*i + 12, 3*i + 0 = -5*m + 7. Let c be 1 - (-216)/(3 + m). Let f = c + -56. Is f prime?
True
Suppose x = 5*g + 508, -5*g - 1312 - 212 = -3*x. Let a = -1 - -5. Suppose 0*n = a*n - x. Is n a prime number?
True
Let b(l) = -4*l**2 - 3 + 8*l - 7*l**2 + l**2 + l**3. Let h be b(9). Is 8/h - 82/(-6) prime?
True
Let r = 2 + 1. Let w be 0/(r + -2 - -1). Suppose -3*j + 8 + 13 = w. Is j a composite number?
False
Suppose 277 = 2*h + 5*c - 23, 0 = -3*c + 6. Is h prime?
False
Suppose 0 = r - 7*r + 2922. Is r composite?
False
Let h(g) = -g**3 - 6*g**2 - 10*g + 3. Is h(-8) composite?
False
Let g(d) = d**2 + 8*d - 8. Let y be g(8). Let q = -83 + y. Is q composite?
False
Suppose 2*l = v - 0*v - 13, 3*l = -4*v - 3. Let w = l - -8. Is (1/w)/(1/69) composite?
False
Suppose -v - 2*v = -78. Is 1/(2*1/v) prime?
True
Suppose 3*n + 38 = 3*z + 5*n, -5*z + 62 = 4*n. Let y(k) = k - 9. Let b be y(6). Is z + -1 + (b - -1) composite?
False
Let s be 10*((-6)/(-4))/3. Suppose s*i = -244 - 291. Let c = 178 + i. Is c a prime number?
True
Is 28*(-492)/4*(-3)/36 a composite number?
True
Let g(t) = t**2. Let q(o) = -14*o**2 - 3*o + 1. Let u(v) = -g(v) - q(v). Let a(j) be the first derivative of u(j). Is a(5) a composite number?
True
Let o(c) = -c**3 + 9*c**2 + c - 9. Let p be o(9). Suppose 0*j + 4*j - 8 = p. Suppose -29 = -j*s - 3. Is s a prime number?
True
Suppose 1169 = 21*t - 20*t. Is t a prime number?
False
Let l(m) = 2*m**2 + 1 - 4*m**2 + 29*m**3 - 26*m**3 - 57*m**3. Is l(-1) a composite number?
False
Let n be (-4)/8 - 14/4. Is 4/n - -137 - -3 prime?
True
Let d be (-1 - 5)*(-4)/(-6). Let k = 33 - d. Is k prime?
True
Suppose 0 = -4*v + 3*p + 819, 0 = 5*v - 2*p - 3*p - 1030. Is v a prime number?
False
Suppose 5*r = 2*g - 300, -3*g + g + 282 = 4*r. Is g a prime number?
False
Let w = -1 - -1. Suppose w = y - 4*y - 2*c + 1, 2*y + 5*c + 14 = 0. Is (0 - -37)*(4 - y) prime?
True
Suppose 3 = -3*x + 15. Suppose -2*r = -x, -5 = 4*o - 5*r - 3. Suppose o*t = -n + 35, n + 107 = 4*n + 4*t. Is n composite?
False
Suppose 2*g = -o + 3, 5*o = -g - 0*g + 6. Let s be ((-9)/12)/(o/(-4)). Suppose -p + 5*i - s*i + 119 = 0, -5*i = 0. Is p composite?
True
Let w(k) = 4*k**3 + k**2 + 2*k + 4. Is w(3) composite?
False
Let o(g) = 58*g**3 - 5*g**2 + 2*g + 1. Is o(2) composite?
False
Let s(j) = j**3 + 8*j**2 - 5*j - 5. Is s(-6) a prime number?
True
Is (-8)/16*-2*331 prime?
True
Let c(t) = -4*t**2 + 4*t + 1. Let w be c(-3). Let x = 206 + w. Is x prime?
False
Let v = -33 - -45. Let j be 1*5*2/(-5). Is 1023/v - j/(-8) a prime number?
False
Let m = -14 - -59. Suppose -2*d - 5*o + m = 0, 45 = d - o - o. Is d a composite number?
True
Suppose 5*u = 6*u - 564. Let s be u/(4 + -3) - 3. Suppose 119 = -2*c + s. Is c a composite number?
True
Suppose -57*p - 11697 = -60*p. Is p composite?
True
Suppose 0 = -5*j + 3*x + 269, 3*j + 4*x - 8*x - 157 = 0. Is j composite?
True
Suppose 0 = -4*z - 4, -4*d + 3*d = -3*z - 8. Suppose 0 = -b + d*b - 564. Is 2/(-8) - b/(-4) composite?
True
Let u(q) = -q**2 + 5*q + 11. Let s be u(8). Let z(f) = f + 17. Let c be z(s). Suppose 170 = h + c*h. Is h prime?
False
Is (14854/56)/(2/8) prime?
True
Let n(z) = -4*z**3. Let t be n(-1). Is (t/(-3))/(6/(-369)) a prime number?
False
Suppose -2*w + 14506 = k - 3*k, -3*k + 36265 = 5*w. Is w composite?
False
Suppose -h - 3*h + 25 = 5*r, -3*h + 10 = -5*r. Let n(t) = -t**2 + 2*t - 1. Let b be n(r). Let u(x) = x + 35. Is u(b) prime?
False
Let s(x) = -x - 1. Let p be s(-4). Let u(i) = 38*i**2 - 2*i - 1. Is u(p) composite?
True
Suppose 194 = -5*v + 7*v. Is v prime?
True
Let n(q) = 2*q**2 + 3*q + 1. Is n(-12) prime?
False
Let u = -3 + -2. Let h = -9 - u. Let t(l) = -l**3 - 3*l**2 - 2*l - 3. Is t(h) a prime number?
False
Let j(k) = 402*k**3 + 2*k**2 + k - 2. Let u be j(1). Is (u/(-52))/((-2)/56) a prime number?
False
Let l(f) = 32*f + 3. Is l(5) a composite number?
False
Let s be (-10)/(-25) + (-8)/(-5). Let u(m) = m**3 - 2*m**2 + m. Let t be u(