*2 - 2*k - 21. Is b(16) a composite number?
True
Suppose 2*g - 6 = -4*d, -4*d - 3*g = -4 - 3. Let h(i) = -7*i - 3. Let m(u) = u - 1. Let c(o) = d*h(o) + 4*m(o). Is c(-6) prime?
True
Suppose -3*y + 4 = -2*y. Suppose 5 = -2*f - 3, 0 = -y*q + 5*f + 28. Suppose -x + 0*x - 78 = -k, 0 = -4*k - q*x + 306. Is k composite?
True
Suppose 0 = 9*a - 6*a - 12. Suppose -1335 = -5*o - 2*u, -3*o + 0*o + 801 = a*u. Is o a prime number?
False
Let d = 87 + -29. Suppose -3*y + d = -203. Is y prime?
False
Suppose -2*r + 32 + 28 = 0. Suppose -4*a + 2*a = -r. Is a prime?
False
Suppose -l = 4*l - 955. Is l composite?
False
Let v(d) be the second derivative of -d**5/20 - d**4/3 + d**3/6 + 3*d**2/2 + 3*d. Let j be v(-6). Let f = j - -46. Is f prime?
False
Let p be (-2)/(-7) + 372/21. Let d = 1 + p. Is d a prime number?
True
Let d = -172 + 38. Let a = 86 + d. Let u = a - -71. Is u a prime number?
True
Let v(s) = 39*s**2 - s + 3. Is v(-2) a composite number?
True
Suppose -3*l + 377 - 64 = 5*b, 0 = -4*l - 5*b + 419. Let r = l + 21. Is r composite?
False
Let t(j) = 51*j**2 - 8*j + 8. Is t(5) a prime number?
False
Let z = -31 + 197. Is z a composite number?
True
Let f(k) = k**2 - k - 13. Is f(-9) prime?
False
Let c(b) = -b - 8. Suppose -34 = 3*y + 5*k - 6, 0 = -2*y - 3*k - 19. Is c(y) a composite number?
False
Let y be 18/2 + 6 + -10. Is y/(-10) - (-206)/4 a prime number?
False
Let p be 2 - ((-8)/4 + 3). Is (p*5)/((-19)/(-2413)) a composite number?
True
Let p = 567 + 2. Suppose 3*s = -1615 - p. Let r = s - -1159. Is r prime?
True
Suppose 5*m + 45 = 2*w, 1 = 5*m - 4*w + 56. Let z = -5 - m. Suppose v = -z*v + 30. Is v composite?
True
Let b = 392 - 129. Let n = -178 + b. Is n prime?
False
Suppose 0 = 3*b - 4*b + 2. Let u(j) = 17*j**3 + 2*j**2 - j - 1. Is u(b) prime?
False
Let a(n) be the second derivative of n**3/6 - n**2/2 + 2*n. Let l be a(4). Suppose -l*o - o + 228 = 0. Is o a prime number?
False
Suppose -7*x = -3*x + 4. Let y = 4 + x. Is y a composite number?
False
Suppose 4*m + 2*k + 4 = -2*k, -3*m = -4*k - 32. Suppose -2*p - 3*w - 39 = -112, 0 = 5*p - 2*w - 173. Suppose -j - m*j + p = 0. Is j a prime number?
True
Let v be (-4)/2*(-6)/4. Suppose -v*k = 2*d - 4, 0*k - 5*k - 3*d = -7. Suppose -3*m = 5*t - 3, k*m + 4 = -3*t + 7. Is m a composite number?
True
Let f(t) = -t**2 - 5*t - 2. Let p be f(-4). Suppose -p*j = 3*j - 155. Is j a prime number?
True
Let q(f) be the first derivative of 46*f**2 - f - 1. Let g be q(1). Let h = g + -54. Is h prime?
True
Suppose 25 = 2*t - 331. Is t a composite number?
True
Let i(h) = 2*h - 6. Let x be i(5). Suppose -2*r + 2*m = 0, x*r = -5*m + m + 32. Suppose -2*c - 50 = -r*b, b + 4*c - c = 16. Is b prime?
True
Is 14/(5/(35/2)) a prime number?
False
Let s(w) = -2*w - 5. Let t be s(-6). Is ((-1)/3)/(t/(-2415)) composite?
True
Suppose 0 = -7*k + 2*k + 5. Let s be (-1)/(1/(-2))*21. Suppose 3*j - k = -a, -j - 9 + s = 5*a. Is a prime?
True
Let w(o) = -6*o + 3. Suppose -2*m = m - 5*c + 11, 3*m + 3 = 3*c. Let z(h) = 7*h - 3. Let y(b) = m*w(b) + 2*z(b). Is y(-5) a composite number?
False
Let n = -285 - -416. Is n composite?
False
Let l(o) = o - 5. Let q be l(8). Suppose -q*p + 298 = -p. Is p composite?
False
Suppose 9*p - 3102 = 3*p. Is p prime?
False
Suppose 0 = 3*t - 4*k, 3*t + 3*k = -0*t. Suppose t = -5*j + 468 - 73. Is j a prime number?
True
Let o = 0 + 6. Suppose d = -2*d + 2*z - o, 2*z = -3*d + 6. Is 2*-1 + (8 - d) prime?
False
Suppose 2*r - 17 = -1. Suppose -5*p = r + 7. Let a(d) = -19*d - 2. Is a(p) prime?
False
Suppose 5*h = 170 + 100. Suppose 0 = 4*y + 5*d - 20 - 118, -5*y - 2*d + 181 = 0. Let p = y + h. Is p prime?
False
Suppose 6 = 2*o - 2, 5*j - 4*o - 549 = 0. Is j a composite number?
False
Suppose 7*l - 98 - 735 = 0. Is l a composite number?
True
Let w = 1 - 0. Let j(r) = -2 + 2 + 3 - 4 + 14*r. Is j(w) composite?
False
Let n = -11 - -18. Let v(s) = 18*s**2 + 4*s - 3. Is v(n) composite?
False
Let k = -4 - -6. Let h = k + -2. Suppose h = -2*n + 3*n - 65. Is n a prime number?
False
Let j = -1105 - -1650. Suppose -3*u + 8*u - j = 0. Is u a prime number?
True
Suppose -24 = -4*d - 8. Suppose -s + 1 = -d. Suppose -3*r = -4*w - 141, s*w = -4*r + 5*r - 47. Is r prime?
True
Let f(y) = y**3 - 5*y**2 - 2*y + 7. Let x be -3 + (-3)/6*-18. Is f(x) prime?
True
Let o be 1*-2 + (-3 - -2). Let g be (1/o)/(1/(-57)). Is 2 + g + 1 + 1 composite?
False
Suppose 0 - 60 = -5*z. Let c = z + 2. Is (1 - -2)*(c - 1) composite?
True
Suppose 0 = 3*j - 3*u - 9, 4 = j - 4*u - 2. Suppose -15 = -4*k + 3*i - j*i, -5*k = -i - 20. Suppose -5*l + b = -53, 0 = l - 0*b - 3*b - k. Is l composite?
False
Is ((-27698)/(-33))/((-4)/(-6)) a composite number?
False
Let d be 106 + -1 + (1 - 2). Is 18/(-27) - d/(-3) prime?
False
Let i(q) = -q**2 - 7*q - 5. Let a = -15 + 11. Let d be i(a). Suppose -285 = -d*o + 2*o. Is o prime?
False
Suppose -4*j - 2 = 14. Let w be -10*5*14/j. Suppose 8*t = 3*t + w. Is t composite?
True
Suppose 4*q - 21304 - 15204 = 0. Is q a composite number?
False
Let s be (-1)/(-2)*2 - 1. Suppose -4*o - 32 = -s*o. Let x = o - -45. Is x a composite number?
False
Suppose s = -2*l + 93, 5*l - 228 = -2*s - 2*s. Suppose 11 = y + 3*f, 4*y - 6*f - 129 = -f. Suppose 2*g - l - y = 0. Is g prime?
True
Let p = -178 + 369. Is p a composite number?
False
Let w(y) = 13*y**2 - 4*y + 5. Let a be w(4). Let j = 1 - a. Is 2/9 + j/(-9) composite?
True
Let g = -30 + -43. Suppose -3*k + 5*k = -220. Let b = g - k. Is b prime?
True
Let t be (-8)/(-20) - 423/(-5). Let n = -8 + t. Is n composite?
True
Let t(k) = -16*k - 9. Let x be (2 + -3)*1 - 5. Is t(x) prime?
False
Let u = 116 - -1539. Is u composite?
True
Suppose 0 = -4*o + 3*o + 6. Suppose -z = -o*z + 345. Is z prime?
False
Suppose -3*a + 2*m = -1, m + 5 = -2*a + 1. Let n be a + (-44)/(-1) + 1. Is (-1)/((-90)/n + 2) composite?
True
Let t(v) = 2*v + 2. Let z be t(-3). Let y(r) = r**2 + r - 1. Is y(z) composite?
False
Let v(z) be the first derivative of -9*z**2 + 15*z + 9. Is v(-13) prime?
False
Suppose 260 = 4*s + 2*l, 2*s - 4*l - 181 + 51 = 0. Is s a prime number?
False
Suppose -5*b + 1 - 41 = 0. Is 2*(-124)/b + 3 a prime number?
False
Let j be (0 - 2) + -9 + 1. Let i = 7 - 4. Is (i/2)/((-1)/j) a prime number?
False
Let p = 210 - 11. Is p prime?
True
Suppose 10 = y + 1. Is ((-474)/(-9))/(6/y) a composite number?
False
Let y(m) = -4*m**2 - 1. Let j be y(1). Let b(g) = 6*g**2 + 13*g**2 - 4 - 6*g**2 + g - 3*g. Is b(j) a composite number?
False
Is 1042 - -2*(-2)/(-4) composite?
True
Suppose -r + 3*b = -0*r - 19, r = 2*b + 14. Suppose 0 = -48*x + 50*x. Suppose r*m - 11 - 1 = x. Is m a prime number?
True
Let j(o) = 39*o**2 + 13*o + 21. Is j(-7) prime?
False
Let o(h) = h**3 + 6 + 10*h**2 - 4*h**2 - 7*h + 3*h. Is o(-5) a composite number?
True
Let a(y) = 5*y**2. Let d be a(2). Suppose -s + q + 0*q + d = 0, 4*s + 3*q = 94. Is s a composite number?
True
Let c be 1*(2 - 2) + -2. Let i be (3/c)/(2/20). Is 0 - -1 - 3 - i prime?
True
Let r = -32 - -51. Suppose -r*v + 254 = -17*v. Is v a prime number?
True
Let g = 58 - 36. Let l = g - 55. Let c = l - -52. Is c composite?
False
Let u be (4 - 0)/((-8)/(-4)). Let q be -1 - 7/(u - 3). Is (q - 9)*(-74)/6 a composite number?
False
Let r(h) = h - 4. Let i be r(4). Suppose i = -2*a + 2*s + 658, -3*s = 4*a + 2*s - 1334. Is a a prime number?
True
Suppose -11 + 565 = 5*s - 3*v, -3*s + 326 = -5*v. Suppose 601 - s = 3*c. Is c a composite number?
False
Let c = 450 - 199. Is c a prime number?
True
Suppose l - 3 = 17. Suppose 4*p - l = 84. Suppose -a + p = a. Is a a composite number?
False
Let z(o) = -4 - 3*o**2 - o**2 + 3*o**3 - 4*o - 4*o**3. Let f be z(-3). Is 2 + 1 - 36/f a prime number?
False
Let d be 12/(-7) + 4/(-14). Let y = d + 5. Suppose 3*r + 4*i = 219, i = -5*r + y*i + 391. Is r composite?
True
Let t = 155 + -21. Suppose -77 = -m + t. Is m a composite number?
False
Let j = -10 + -2. Is (-22)/(-5) + j/30 a prime number?
False
Suppose 2*y + r - 6 = -0*r, 4*r = 3*y - 9. Suppose 4*o - o - 153 = -y*b, 3*b = -o + 55. Is o a prime number?
False
Let q = -7 + 12. Suppose -2*p - 2*p + 5*g = -399, 3*g - 545 = -q*p. Is p composite?
True
Let o = -962 - -1873. Is o a composite number?
False
Let m(l) = -l - 3. Let x be m(-6). Let u(o) = -17*o**3 + o**2 + o + 1. Let f be u(-1). Let b = f - x. Is b a prime number?
False
