24)). Let m = 1 + a. Suppose 3*l + l = 3*k - 251, 0 = -m*k - l + 380. Is k composite?
True
Suppose -2*d + 5*w + 157 = d, 4*d - 217 = -w. Let v be (-4 + 1)/((-3)/4). Is 1254/d + v/(-18) a composite number?
False
Let o(p) = -13*p + 9. Suppose 0 = n + 1, -u = -0*n - 4*n - 7. Let k(y) = 7*y - 5. Let h(r) = u*o(r) + 5*k(r). Is h(-5) a prime number?
False
Let w = -301 + 696. Is w a composite number?
True
Suppose -4*m + 16 = -2*k, 4*k + 2*m + 7 = -5. Let h(i) = -2*i**3 + 7*i + 6. Is h(k) prime?
False
Let c be (0/3 - -5)*1. Suppose 3*g - 173 = -3*o - c, 0 = -3*g - 2*o + 169. Suppose -4*t + g = 3*y - 3*t, 4*y + 2*t - 76 = 0. Is y composite?
False
Let q(w) = -34*w + 7. Is q(-6) prime?
True
Let t = -9 + 8. Let k(m) be the third derivative of -m**6/10 - m**3/6 + 2*m**2. Is k(t) a prime number?
True
Let l(v) = 52*v**2 + 1. Suppose 2*m = -m. Let f be 1 - (m - (1 + -1)). Is l(f) prime?
True
Let z be ((-6)/3)/(6/(-9)). Suppose 2*w = 4*l + 82, z*w + 2*l - 113 = 6*l. Is w prime?
True
Let y(f) = -117*f - 3. Let v be y(3). Let s = -245 - v. Is s a composite number?
False
Let w(t) = -t**2 + 170. Let x be w(0). Let i = 283 - x. Is i composite?
False
Let f(m) = -m + 4. Let j be f(6). Is -2 + 1*(159 - j) composite?
True
Let u(w) = -w**3 - 15*w**2 - 23*w - 16. Is u(-17) prime?
True
Suppose -41 - 205 = -2*k + 5*g, -653 = -5*k + 3*g. Is k a prime number?
False
Let l(c) = c + 8. Let p be l(-6). Suppose y + z - 9 = 0, 6 = -z - p*z. Is 101/y - 6/33 prime?
False
Suppose -p - 2*p = -78. Let b = p - -239. Is b a prime number?
False
Let x be 0*4/(-16) + 3000. Suppose -2725 = -5*z + x. Is z a prime number?
False
Let o(k) = k**3 - 11*k**2 - 11*k + 10. Is o(13) a prime number?
False
Let k = 0 + 1. Let l(a) = -2 + 6 - 3 + 6*a**2. Is l(k) a composite number?
False
Let p = 5 + -2. Suppose 0 = p*h + h - 52. Is h prime?
True
Let a(l) = 69*l - 11. Is a(10) a prime number?
False
Let p be 598/3 - 6/18. Suppose -4*t + 3*z = -p - 291, 4*t - 2*z = 488. Is t a composite number?
True
Suppose 1884 - 383 = 3*u + g, -2*u + 2*g = -1014. Is u prime?
False
Suppose -6*x = -x + 15, 30 = 5*s - 5*x. Suppose 0 = -4*o - 12, -3*w = -s*o - 2*o - 174. Is w a prime number?
True
Suppose -504 = -5*u + 131. Is u a composite number?
False
Suppose j + 10 = g - 50, -5*g - 4*j = -282. Is g prime?
False
Suppose 4*a + 2*h = 4*h - 26, -5*h + 9 = -2*a. Let l = -2 - a. Suppose -4*v + l*v = 79. Is v a prime number?
True
Is 53*(3 + 176/(4 + 0)) a composite number?
True
Let p = 2 - -2. Let d be 2 - p*(-2 + 8). Let h = 41 + d. Is h prime?
True
Suppose -3*l - 4*a = l, -l = 5*a + 4. Is 379*l + 0/(-13) prime?
True
Let g(a) = 2*a**3 + 8*a**2 - 11*a - 6. Is g(5) a prime number?
True
Let c(b) = 14*b**3 - 6*b**2 + 6*b - 2. Let g be c(4). Let y = 1343 - g. Is y prime?
True
Let v be (40/16)/((-2)/128). Let s = 244 + v. Suppose -2*g + 100 = 2*k - s, -3*k = 4*g - 279. Is k a prime number?
True
Suppose -3*l + 13 = o - 148, 5*l = -2*o + 318. Is o a prime number?
True
Let c be (3/(-4))/((-9)/36). Let d(m) = 9*m**3 - m**2 + m - 4. Is d(c) a composite number?
False
Suppose 23 + 45 = -q. Let b = q - -126. Let x = b + 19. Is x composite?
True
Let v(n) = 43*n + 6. Is v(1) composite?
True
Let o = -8 + 5. Let p(u) = -u**3 - 5*u**2 - 3. Let c be p(o). Let d = -10 - c. Is d prime?
True
Is (-6)/(-15)*5 - -407 a composite number?
False
Suppose 4528 = 5*a - 12237. Is a a prime number?
False
Let s = -34 - -24. Let h be (-10 - -5)*4/s. Suppose k = -h*k + 381. Is k a composite number?
False
Suppose 0 = -d + 4*c - 11, 3*d + 0*c + 3*c = 42. Is 35 - 0/(d/3) composite?
True
Let j(f) = -f**3 + 6*f**2 + f + 19. Is j(6) a composite number?
True
Let j(i) = -23*i**3 - 4*i**2 - 2*i + 4. Let x be j(3). Let o = -246 - x. Is o composite?
True
Suppose 6 = -b + 89. Let w = 172 - b. Is w a composite number?
False
Suppose -12 = -z - 3*y - 36, -y = -z - 8. Is 18/2*(-8)/z a composite number?
True
Let k = 21 - 17. Is -2*(k + (-777)/6) a composite number?
False
Let c = -273 + 467. Is c composite?
True
Suppose -4*o - 16 = 5*n, n + n - o - 4 = 0. Suppose -2*k + 10 = -n*k. Suppose k*a - 108 + 3 = 0. Is a a prime number?
False
Let b = -2839 + 3990. Is b a composite number?
False
Is (3 + 4)/((-2)/(-106)) prime?
False
Let t(x) = x**3 - 16*x**2 - 21*x - 7. Is t(18) composite?
False
Suppose -10*f + 2*f + 7944 = 0. Is f prime?
False
Let g be -1 + (-6)/(-3*1). Let f = g + 1. Suppose 140 = 6*k - f*k. Is k composite?
True
Let z(w) = 54*w - 85. Is z(29) a composite number?
False
Let p(q) = 163*q. Is p(1) a prime number?
True
Let o = 30 + 221. Is o prime?
True
Suppose 21*s - 10223 = 7312. Is s a prime number?
False
Let j(o) = 0 + 27*o - 1 - 139*o. Is j(-4) a prime number?
False
Suppose 0 = -7*h + 1279 + 58. Is h a composite number?
False
Let g be 6*1*(-1)/(-2). Suppose 0 = -5*m + g*s + 865, 4*m = -2*s - 192 + 862. Suppose w - m = 93. Is w a composite number?
False
Let u = 192 + -77. Is u prime?
False
Is 347/(((-30)/(-5))/42) a composite number?
True
Suppose 0 = 2*y + 5*o - 2833, -3*y + 2536 = -5*o - 1676. Is y a prime number?
True
Let w(i) = -5*i**2 + 15*i. Let l(n) = 11*n**2 - 30*n - 1. Let a(s) = 4*l(s) + 9*w(s). Is a(13) a prime number?
False
Let d = 5 + -8. Is 3265/15 - (-2)/d a composite number?
True
Let p = 6 - 21. Let v = 11 - p. Is v a prime number?
False
Let x = 2 + 2. Suppose x*o + 7*l - 4*l = 316, -l + 79 = o. Is o a composite number?
False
Let k(p) be the third derivative of -11*p**4/24 + 2*p**3/3 + p**2. Is k(-3) a prime number?
True
Suppose -2*f + 445 = -2269. Is f a prime number?
False
Let d = 17 - 16. Is 51 - (d + (-3)/3) composite?
True
Let r be 1 + 7/((-21)/(-1614)). Suppose -5*m - 94 = -r. Is m composite?
False
Let i(s) = -s**2 - 22*s - 5. Let l be i(-10). Let j = 210 - l. Is j composite?
True
Let g(m) = m**2 + 4*m - 84 + m**3 + 151 - 3*m. Is g(0) composite?
False
Let u = -6 + 3. Is 0*u/(-6) + 22 a prime number?
False
Suppose 0 = j + 3*g + 13, g + 1 = -0*g. Let k(i) = -i**2 - 23*i - 3. Is k(j) a prime number?
True
Let z(i) = 73*i**2 - 6*i + 7. Is z(4) composite?
False
Suppose 4*s = 3890 - 1302. Is s composite?
False
Let i = 262 + -103. Suppose -i = -o + 202. Is o prime?
False
Let m be 1/2 + 822/12. Let q = -18 + m. Suppose 35 + q = 2*w. Is w a prime number?
True
Let s(z) = -68*z - 9. Let x be s(-6). Suppose 4*y - 5*q - x = 226, 5*q + 325 = 2*y. Suppose -2*h + 160 = 4*c - 5*c, 2*h + 4*c - y = 0. Is h a prime number?
True
Suppose -536 = -7*o + 10. Suppose 4*k - o - 10 = 0. Is k prime?
False
Suppose -5*x + 2480 = -3*y, 5*x - y + 0*y - 2490 = 0. Is x prime?
True
Let a(t) = t**2 + 2*t + 419. Is a(0) composite?
False
Let h = 5 - 11. Let d(l) = 0 - l + l**3 + 1 + 7*l**2 - 6. Is d(h) prime?
True
Let j be (-96)/(-30) + 2/(-10). Suppose 0 = -j*f - 5*w + 696, -2*f = -2*w + 7*w - 459. Is f prime?
False
Let v = -147 + 704. Is v prime?
True
Let h = -97 - -164. Is h composite?
False
Suppose 3 = m + 1. Suppose -x + 291 = m*x. Is x a prime number?
True
Suppose 12*g = 7*g - 130. Let v = 115 - g. Is v a prime number?
False
Suppose 2*h - 1098 = -2*c, -c + 1092 = c + 5*h. Is c a composite number?
True
Let f(i) = 29*i. Let g be f(-1). Let q = -14 - g. Is 279/q + (-2)/(-5) a prime number?
True
Let m(z) = -z**3 - 2*z**2 - 2*z + 2. Let b be m(-2). Let r(g) = -g - 1. Let f(k) = -12*k - 4. Let v(x) = -f(x) + 3*r(x). Is v(b) a composite number?
True
Suppose -2*d - 20 = -f, 2*d = -2*f - 3*f + 76. Suppose -h + 4*o + 38 = -51, h - o - 77 = 0. Let i = h + f. Is i a composite number?
False
Let h(f) = -3339*f - 1. Is h(-2) composite?
True
Let c = -1655 + 2562. Is c prime?
True
Suppose -4*t + 600 + 292 = 0. Is t a composite number?
False
Let m(x) = -3*x**3 - 5*x**2 - 6*x - 1. Let z be m(-4). Suppose z - 429 = -2*u. Suppose 5*g = u + 38. Is g a composite number?
False
Let w = 895 + -636. Is w prime?
False
Let t be (-4)/(-14) - 4/14. Suppose -3*v = -o - 10, -3*v = 5*o - 14 - 8. Suppose -3*n - 3*k + 240 = t, 0 = -0*k - v*k + 4. Is n composite?
False
Suppose 0 = -2*q - 2*p + 50, -62 = -2*q + p - 0*p. Suppose 5*k + 26 = 2*u, -3*u - k + q = -6*k. Suppose 0*y - u*y = -39. Is y a composite number?
False
Let h = 2 - 1. Let t be (-42)/8*(h + 3). Is (-2280)/t - 3/(-7) a composite number?
False
Suppose -t + 2*t + 77 = c, -5*t - 311 = -4*c. Is c a prime number?
False
Let q(g) = 3*g - 14. Let z be q(6). Suppose