 g(k) = 14*k**2 + 3*k - 1. Is g(-6) prime?
False
Suppose -4*z + 232 = -1296. Is z prime?
False
Let w = -62 - -293. Suppose 330 = 3*g - w. Is g composite?
True
Let w be 1/(-2) + (-15)/(-6). Is 44/w*(-290)/(-20) a prime number?
False
Let z = 0 + -3. Let h be (-2)/(-6) + (-11)/z. Suppose 0 = h*b + 3*k - 48, -9 - 26 = -b + 5*k. Is b a composite number?
True
Suppose -5*z + 2*f - 34354 = 0, 0 = -3*f + 8 - 2. Is z/(-54) - (-2)/(-9) prime?
True
Let a = 82 - 178. Let c be (0 + a)/2 - 1. Is (-1 + 30)/((-7)/c) composite?
True
Let x(f) = 5*f**2 + 2*f + 1. Suppose 2*s - 10 = 3*a, 5*s - 2*s - 4*a = 13. Let j be x(s). Suppose -j*m = -34 - 194. Is m prime?
False
Let i = 559 - 340. Let w(k) = -1 - 42*k + i*k - 13*k. Is w(1) composite?
False
Let g(u) = u**3 + 13*u**2 + 12*u + 5. Let p be g(-12). Suppose p*m - 5*q - 628 - 3222 = 0, 767 = m + 2*q. Is m composite?
False
Suppose -1131 = -5*q + 299. Let l = 203 - q. Let i = 162 + l. Is i prime?
True
Let u = -1 - -5. Suppose y - 3*y = -a - 423, -418 = -2*y - u*a. Is y a composite number?
False
Suppose -4*b + 15 = -b. Suppose -b*p + 14 = -1. Is p a composite number?
False
Let p = 5 - 24. Let c = -13 - p. Let f(u) = u**2 + u - 3. Is f(c) a prime number?
False
Suppose 27*u - 29*u + 3946 = 0. Is u prime?
True
Suppose 3808 = 2*y + 2*y + 4*n, -n = 2*y - 1907. Is y prime?
False
Suppose -3*r + 355 + 188 = 0. Is r a composite number?
False
Is -586*((-45)/10)/9 a composite number?
False
Let k = -5 + 7. Let c(w) = 8*w**2 - 2*w + 2. Let z be c(k). Suppose 85 = 5*m - z. Is m prime?
True
Suppose -2*w - 5*y = 7, 2*y + 6 = w - 4. Suppose 5*g = -4*i + 678, -4*g + 2*g = -w*i - 260. Is g prime?
False
Suppose 2*o + 5*a + 11 = 0, -5*o - 46 = -a - 5. Let f = 7 - o. Is f a composite number?
True
Let h(y) = -y**2 - 5*y - 2. Let p be h(-4). Let b be (p/6)/((-3)/(-531)). Suppose b = -2*d + 3*d. Is d a composite number?
False
Suppose 15 = 2*g + 5. Suppose q = 3*o - 12, -2*q - 46 = g*o - 0. Is (-4)/18 + (-1534)/q prime?
False
Let g = 2 - -1. Suppose 8*f = 4*f - 4*l + 136, g*l = 5*f - 162. Suppose -f = -3*c - 12. Is c a prime number?
True
Is -1 + 1 - (1 - 308) a composite number?
False
Suppose 5*z - 45037 = -2*q, 0 = -3*z - q + 2*q + 27020. Is z a prime number?
True
Let o(j) = -j + 4 - 3 + 0. Let l be o(-1). Suppose -45 = -s + l. Is s prime?
True
Suppose -4*z + 786 = 2*f, -2*f - 5*z - 45 + 829 = 0. Is f composite?
False
Suppose -4*t - 298 = 946. Let a = t + 474. Is a composite?
False
Suppose -j = 9*f - 5*f - 7293, -5*f = -5*j + 36490. Is j a composite number?
False
Let o(f) = f**2 + 7*f - 10. Suppose h = 5*j - 22, 4*h - 2*h + j + 11 = 0. Let l be o(h). Let u = 4 - l. Is u prime?
False
Let k(f) = -5*f - 11*f - 10 + 55*f. Is k(7) a composite number?
False
Let d = 179 - 434. Let g = d + 131. Let i = 327 + g. Is i a composite number?
True
Suppose s + 0*s - 9 = -5*t, -s = 4*t - 7. Let a = s - 1. Let j(r) = 20*r**2 - 3*r - 1. Is j(a) a composite number?
True
Let v(k) be the first derivative of k**3/3 + k**2 + 4*k + 3. Let y be v(-3). Is y/28 - (-187)/4 prime?
True
Let l(p) = 73*p**2 - 4*p - 3. Let a be l(-2). Let q = 122 + a. Is q a composite number?
False
Let p(s) = -93*s - 20. Is p(-7) composite?
False
Let f(w) be the first derivative of w**4/4 + 7*w**3/3 + w**2/2 - 8*w - 2. Let i be f(-6). Let l = 233 - i. Is l composite?
False
Let y(n) = -n**3 + 5*n**2 + 6*n + 6. Let g be y(6). Is g/(-4) + 242/4 composite?
False
Let y = 891 - 614. Suppose -4*k = -k + a - y, 0 = -2*a - 4. Is k a prime number?
False
Let d be 18/4*64/6. Suppose -2*g - g + 247 = 2*x, 0 = g + 2*x - 81. Let p = g - d. Is p prime?
False
Let p = 702 - 499. Is p a prime number?
False
Let d(q) = q**2 - 10*q + 6. Let w be d(7). Let m = w - -8. Let l(t) = t**3 + 8*t**2 + 4. Is l(m) a composite number?
False
Let k = -5 - -2. Let t = -1 - k. Suppose -t*n + 5*v = -159, 3*v + 2*v = -5. Is n prime?
False
Let i(w) = 19*w - 6. Let c be i(-7). Let a = c + 204. Is a composite?
True
Suppose 3373 = 5*j - 4*z + 3*z, -659 = -j - 5*z. Is j composite?
True
Let p(g) be the first derivative of g**4/24 + 91*g**3/6 + g**2 - 2. Let c(m) be the second derivative of p(m). Is c(0) prime?
False
Let z = -1187 + 1676. Is z composite?
True
Suppose -3*t + 297 = 3*p, -2*t - 5*p + 204 = -0*p. Is t a prime number?
True
Let x(n) = -n. Let d be x(0). Suppose d = -8*r + 3*r - 5. Let z(k) = 24*k**2 - 1. Is z(r) prime?
True
Is -2 + 2 + 0 + 1639 a prime number?
False
Let n = -21 - -40. Is n a composite number?
False
Let p(w) = 5*w**3 - 2*w**2 + 2. Let a(q) = -q**2 - 7*q + 3. Let t be a(-7). Is p(t) composite?
True
Let r(w) = 358*w**3 + 2*w - 1. Is r(1) a prime number?
True
Let l = 5098 - 3341. Is l a prime number?
False
Let y be (5 - 4)*(-9)/(-1). Suppose -y*d + 6*d + 63 = 0. Is d prime?
False
Let u = -8 - -8. Suppose u*m + 50 = 2*m. Is m a prime number?
False
Suppose -20 = -5*q, -2*q + 25 + 3 = 5*g. Let y be g/(-6) - 4/(-6). Let w(j) = j + 2. Is w(y) composite?
False
Let w(n) be the third derivative of -7*n**6/60 - n**5/60 - n**4/24 - n**3/6 + 5*n**2. Is w(-2) a composite number?
False
Let i be (2 - 8/3)*3. Let b(n) = 7*n**2 + n - 3. Is b(i) a prime number?
True
Suppose o + 10 = 3*p, -4*o - 20 + 4 = -4*p. Suppose -4*k = -8, -p*g + 0*g = -3*k - 99. Is g a prime number?
False
Suppose y + n + 11 = 0, -2*y + 5*y = 3*n - 9. Let s(g) = g**3 + 6*g**2 - 9*g + 5. Is s(y) prime?
True
Suppose -2*m + 0*m = 0. Let f(l) = l - 1. Let y(j) = -j**2 - 2*j + 17. Let z(o) = 2*f(o) + y(o). Is z(m) composite?
True
Suppose -4*p + 6 = -p. Let n = p + 1. Is n a composite number?
False
Suppose -2*n + 2 = 0, 3*n + 2410 = 5*r + 463. Suppose 3*u - r = -2*u. Suppose -f + 26 = -4*y, 2*f + f - u = -y. Is f prime?
False
Let j(a) = a**2 - a. Let z be j(-1). Suppose 4*k - 338 = -z*w, 4*k - w - 337 = -4*w. Is k a prime number?
False
Let d(m) = m**2 - 5*m + 5. Let x be d(7). Suppose x = -5*n + 54. Is n composite?
False
Let x be (0 - 1) + (20 - 0). Let l = 14 + x. Is l composite?
True
Let k(y) = -28*y + 3*y + 152*y. Is k(1) a composite number?
False
Suppose -g + 3*b = 5, 3*g + 3*b = 39 - 114. Let c = 19 - g. Is c composite?
True
Suppose 2*k - 192 = 254. Is k prime?
True
Suppose -5*k = -w - 0*w - 5696, 0 = -4*k - w + 4564. Suppose -5*g + k + 1645 = 0. Is g prime?
True
Let m = -2 + 4. Suppose -3*p = -m*t - 983, -2*t = t - 6. Is p prime?
False
Is (9/(36/(-17240)))/(-3 - -1) composite?
True
Is (-43 - (-2)/1)/(3/(-111)) a composite number?
True
Suppose -2*t - 5*q = -311, -830 = -5*t + 3*q + 2*q. Is t a composite number?
False
Suppose -6*f = -f - 475. Is f composite?
True
Let i(z) = -z**3 + 10*z**2 + 9*z - 1. Let v be i(12). Let q = v - -118. Let r = q - -286. Is r composite?
False
Let r be ((-12)/(-15))/((-2)/15). Is (-434)/(-3) - 2/r prime?
False
Let g be (6/3 - -1)*1. Let x be g/6 - 3/(-2). Suppose -s + 3 = 5, 114 = x*z - 4*s. Is z composite?
False
Let t(k) = 52*k**3 + k. Suppose 0 = j - 4*h - 1, 4*h - 3 = -2*j - 1. Is t(j) prime?
True
Let d(q) be the third derivative of -2*q**2 + 7/6*q**3 + 0*q + 1/6*q**4 + 0. Is d(6) composite?
False
Let v = -52 - -95. Is v composite?
False
Let l be (-28)/6 - 6/(-9). Let o = l - -4. Suppose -2*y + 70 = -o*y. Is y a composite number?
True
Suppose -2*v + 3*v - 253 = 0. Is v composite?
True
Suppose -5*h - 974 = -3209. Is 3*1/(9/h) composite?
False
Let v be 63/15 - 2/10. Suppose 4 - 7 = -p. Suppose -p*i = -173 - v. Is i a composite number?
False
Let n(k) = k**2 - 8*k - 1. Suppose 10 = 4*b - 3*b. Is n(b) a composite number?
False
Let z be ((-16)/6)/(10/(-15)). Suppose -u - 1 = 4*o, 3*o - z*u = -1 + 5. Suppose o = 3*l - 257 - 10. Is l composite?
False
Let f(b) be the second derivative of b**4/3 + b**3/3 + b**2/2 - b. Let x be f(-1). Suppose k = -4*c + 221, -3*k = -x*c - 2*k + 164. Is c prime?
False
Let f = 102 + 215. Is f a composite number?
False
Let m(y) = -36*y - 19*y - 7*y + 1 - 122*y. Is m(-1) a composite number?
True
Suppose 0*l + 3*i + 27 = 4*l, -i = -l + 7. Suppose -5*z + 122 = -123. Is z/1 - 0/l prime?
False
Let z = 0 - 3. Let x be 1/(1 - (-2)/z). Suppose 0 = 5*r + 4*k - 77, x*r - k + 16 = 4*r. Is r composite?
False
Let h(o) = 5*o - 11*o**2 - 3*o + 0*o**3 + 13 + o**3. Let c be (-86)/(-8) - 4/(-16). Is h(c) prime?
False
Let p = -43 - 143. Is p/(-4) + 2/4 a prime number?
True
Let x(r) = -15*r + 1. Let c be x(2). Is (-3)/(-1) -