*z + 12 = 9*z. Suppose 2*k = -w*m + 17, u*m + 2*m + 38 = 2*k. Is k composite?
False
Suppose -3*n + 84 = -93. Is n prime?
True
Suppose b - 8 = 5*b + 4*o, 4*o - 8 = 4*b. Is b/10 - (-326)/5 composite?
True
Let i(a) = a**2 - a - 1. Let f(k) = k**2 + k + 2. Let g(q) = f(q) + i(q). Is g(9) a composite number?
False
Let w(x) = -939*x - 10. Is w(-3) a prime number?
False
Let x(i) = 4*i**2 + i. Let t be x(-1). Let o be (t - 4)/((-2)/10). Let a(h) = h**2 - 3*h + 3. Is a(o) a prime number?
True
Suppose 5*a + 5*x - 49 = 76, -70 = -3*a - 2*x. Suppose 0 = -6*s + s + a. Suppose 2*u + 2*u = h - 41, -3*u + 145 = s*h. Is h prime?
True
Let b(g) = g**3 + 2*g - 1. Let n be b(1). Suppose 63 = -n*t + 269. Is t prime?
True
Is (-439)/(-3) + (-7)/21 composite?
True
Let q(a) = -a + 1255. Is q(0) prime?
False
Let t(n) = -n**3 + 3*n**2 + n - 2. Let a(q) = -6*q**3 + 15*q**2 + 6*q - 10. Let v(s) = 2*a(s) - 11*t(s). Let k(r) = -2*r + 1. Let l be k(3). Is v(l) composite?
False
Suppose -y = -3*y. Let o(u) = 2*u**3 + 11*u**2 + 2*u - 11. Let z be o(-5). Suppose -z*t + y*t = -328. Is t a composite number?
True
Let a(c) be the third derivative of -c**6/120 - c**5/60 + 5*c**4/24 + 5*c**3/6 - c**2. Is a(-4) composite?
True
Let m(n) = 31*n**2 + 5*n + 15. Is m(-10) a prime number?
False
Suppose 9 = -w + 4*w. Suppose 0 = -b + 2*y + 99, -2*b = b - w*y - 282. Is b a composite number?
False
Let m(y) = 2*y**3 + 2*y**2 + 397. Is m(0) a prime number?
True
Suppose -4*m + 243 = i, -249 = -i - 0*i - m. Is i a prime number?
True
Suppose 13204 = 2*a + 2398. Is 4/(-14) + a/21 a prime number?
True
Let h be (-1 - -2) + -2 + -1. Let u = h - -5. Suppose 5*w + 136 + 20 = o, -4*o + u*w = -641. Is o a prime number?
False
Let q = 2137 - 474. Is q a composite number?
False
Let w(h) = 3*h - 1. Let c be w(-6). Let o = -12 - c. Is o composite?
False
Suppose 301 = 3*p - 98. Suppose -4*w - 5*x + 865 = 0, p + 302 = 2*w + 5*x. Is w prime?
False
Is (-27)/((6 - 3)/(-21)) - -2 a composite number?
False
Let v = 51 - -8. Is v composite?
False
Let l(c) = -c**3 - 3*c**2. Let q be l(-3). Suppose 4*o + 8 = q, r - 3*o - 41 = 76. Is r composite?
True
Let a = 12 + -7. Suppose r = a*r - 8. Is (r + 117/(-12))*-4 a composite number?
False
Let c = -86 + 141. Is c prime?
False
Let s be (-1)/(-1 + 72/74). Is 2/(-1) + s + 0 a composite number?
True
Let x = -3 + 5. Suppose 18 = x*m + 3*y, m + 14 = 3*m + 2*y. Is m composite?
False
Let r be 4/(-14) + 328/(-28). Let o be r/(-7) - (-4)/14. Suppose 0 = l - 3*h + 3 - 6, -3*l = o*h - 53. Is l composite?
True
Let u(i) = -i**3 + 7*i**2 + 7*i - 10. Let f(y) = -2*y - 9. Let t be f(-8). Is u(t) prime?
False
Let y(l) = 2*l**2 + l - 14. Is y(-9) prime?
True
Let c(u) be the first derivative of u**4/4 + 2*u**3 + u**2/2 + 6*u + 2. Let l be 38/(-8) + 2/(-8). Is c(l) a composite number?
True
Let m be (4/(-10))/((-1)/(-20)). Let l(u) = 8*u**2 + 13*u - 6. Let s(n) = 7*n**2 + 12*n - 6. Let w(j) = -6*l(j) + 7*s(j). Is w(m) a prime number?
False
Let k be (4 - -1)*2/5. Suppose -k*f - 5*h = 11 - 70, 69 = 2*f + 3*h. Suppose 0 = 4*u - 2*v - f - 2, -3*u - 4*v = -22. Is u prime?
False
Let j(w) = -w**2 - 8*w. Let f = -14 - -6. Let x be j(f). Suppose 0 = 5*h - x*h - s - 346, -h - s + 68 = 0. Is h a composite number?
True
Is (0 + 1)/(10/2150) prime?
False
Let r(p) = p**3 + 14*p**2 + 6*p + 1. Is r(-8) prime?
True
Let h(c) = c**2 - 4*c - 10. Let z be 14*(-1 - (-3)/2). Suppose -4*j - z = -5*j. Is h(j) prime?
True
Suppose 0 = -3*y + 1977 - 516. Is y a prime number?
True
Let p(m) = m**3 + 2. Let x(w) = w**2 + 6*w + 1. Let d be x(-6). Let j = 3 - d. Is p(j) a prime number?
False
Let v(z) = 2*z - 6. Let o be v(4). Suppose 0*j = o*j + 6. Let x(a) = -23*a. Is x(j) a prime number?
False
Suppose -d + 5 = -0*d. Let j = 13 - 8. Suppose -j*m = -2*i - 10 + 32, 0 = 3*i - d*m - 43. Is i a prime number?
False
Suppose -4*p = -7*p + v, 0 = 4*v. Suppose 0 = -p*j - j. Is (1 + 115)/(j - -2) prime?
False
Is (-117)/6*(-20)/6 prime?
False
Let w be (-3)/(3/(-4)*2). Is -2 + 8 - (-6)/w prime?
False
Is (-625)/(-4) + (-2)/(16/(-6)) a prime number?
True
Let m = -614 + 913. Suppose -4*d = -m - 1261. Let g = d + -259. Is g a composite number?
False
Suppose 0 = 2*x + x. Suppose x = 3*w - 0*w - 1602. Is (1/(-3))/((-2)/w) a composite number?
False
Let r(i) = 4*i**2 + 3*i + 8. Is r(9) a composite number?
False
Let b(z) = 447*z + 1. Let o be b(1). Let l = -257 + o. Is l a prime number?
True
Let k(c) be the third derivative of c**6/120 + c**5/20 - 5*c**4/24 - c**3/2 - 5*c**2. Is k(4) a prime number?
True
Suppose -15 = 2*u + 3*u. Let s = 28 - u. Is s composite?
False
Suppose 4*o = -3*i - 10, 3*o + 0*o = 5*i + 7. Is 1/(i/(-18)) - -2 a prime number?
True
Let t = -69 - -124. Is t composite?
True
Suppose 0 = 5*k - 12 + 2. Let s(o) = 142*o**3 + 2*o**2 - 4*o + 3. Let v be s(k). Is v/7 - (-2)/7 prime?
True
Suppose 3*x + 4*o + 241 = 0, 59 = -x + 3*o - 17. Let y = 526 + x. Is y a composite number?
True
Suppose -j + 0*a + 1894 = -5*a, 2*j + a - 3755 = 0. Suppose -3*d - 3*x + j - 283 = 0, -3*x - 9 = 0. Is d a composite number?
True
Suppose 3*a + 5*y - 32 = -0, 0 = -y + 4. Is a a composite number?
True
Let v(k) be the second derivative of 1/2*k**2 + 1/12*k**4 + 0 - 1/5*k**5 + k + 2/3*k**3. Is v(-4) prime?
True
Let z(w) = w**2 + w. Let q(m) = -278*m**2 - 3*m - 5. Let g(b) = -q(b) - 6*z(b). Is g(2) a prime number?
True
Suppose 5*l - 29 = s, 0 = 2*l + 2*l + 5*s. Suppose -j = -2*y - l, -y + 5*j = 2*y + 4. Let b(u) = -3*u**3 - 4*u**2 - u + 3. Is b(y) a composite number?
True
Let k(s) = 27*s**2 - s + 3. Is k(5) composite?
False
Suppose 0 = -10*y + 18*y - 1264. Is y a composite number?
True
Suppose 4*x = -3*y + 4443, y - 4*x - x - 1462 = 0. Is y prime?
False
Let d(g) = g**2 + 4*g + 1. Let q be d(-3). Let v be ((-101)/q)/((-1)/(-2)). Suppose 6 = -3*j + j, 0 = -y + 2*j + v. Is y prime?
False
Let a(w) = 7*w**2 + 2*w - 4. Let k = 17 + -12. Suppose x = -0*x - k. Is a(x) a prime number?
False
Suppose 0*s = -a + 3*s - 7, 3*s - 5 = -a. Let l be (-30)/(-1) - (a + 0). Suppose 0 = -2*h + l + 21. Is h composite?
True
Let b = -12 - -42. Suppose -4*v + 18 + b = 0. Let o = 11 + v. Is o composite?
False
Is 1*2069/13 - (-28)/(-182) prime?
False
Let d be 4/12 + (-2)/6. Suppose d = 5*o - 222 - 73. Suppose -f + o = 4*h - 37, -h + f = -19. Is h a prime number?
True
Suppose -w + 6 = 2*w. Suppose 5*v + 7 - 2 = 0. Is w + -1 + 15 + v a prime number?
False
Let j = -10 + 10. Let r(f) = f**2 + f + 79. Is r(j) a prime number?
True
Suppose 0 = -2*r + a - 973, 3*r + 482 = 2*r + 5*a. Let w = r + 332. Let f = -100 - w. Is f prime?
False
Let s(h) = -23*h + 8. Is s(-7) prime?
False
Let k(l) be the second derivative of l**4/6 - 7*l**3/6 + 3*l**2 + 4*l. Let b be k(-8). Suppose -4*u = -b - 158. Is u a prime number?
False
Let p(i) = i**3 + 4*i**2 - i + 3. Let a be p(-4). Let w(b) = -b + 7. Let k be w(3). Suppose 3*q + a = k*q. Is q prime?
True
Let n = 244 + -542. Let j = -211 - n. Is j a composite number?
True
Suppose 12 + 23 = -5*y. Let j(c) = 36*c - 2. Let x(t) = -18*t + 1. Let i(a) = y*x(a) - 4*j(a). Is i(-2) prime?
True
Suppose 4*j - 85 - 39 = 0. Let o = -18 + j. Is o prime?
True
Let x = 6 - 4. Let l be x - 4 - 408/2. Let s = 289 + l. Is s composite?
False
Suppose 3*r + 9745 = 8*r. Is r composite?
False
Let f = 8 - 8. Let z be f + 0 + (4 - -1). Suppose 0 = -z*m + 1146 + 1279. Is m a composite number?
True
Is 58*4/8*5 a prime number?
False
Let b = 2681 - 1564. Is b a composite number?
False
Suppose 1527 = 4*t + m, 0 - 3 = -m. Is t a prime number?
False
Suppose a + q + 57 = 0, 2*a - 218 = 6*a + 2*q. Suppose 4*c + 4*l = 2*l + 298, 0 = -c - 5*l + 88. Let i = a + c. Is i composite?
True
Let c(m) = -m**2 - 7*m - 6. Let h = 3 + -2. Let x be 4/(h*(0 + -1)). Is c(x) a prime number?
False
Let o(u) be the second derivative of u**3/2 + 3*u. Let d be o(1). Suppose 20 = d*z + l, 5*z + 0*z - 32 = -l. Is z composite?
True
Let g(t) = t + 123. Let k(d) = d**2 + 8*d. Let s be k(-8). Is g(s) a prime number?
False
Let d(w) = -w - 6. Let b be d(-7). Let n be (0 - b) + 7 + -1. Suppose 47 - 222 = -n*x. Is x a prime number?
False
Suppose 2*f + 234 = 2*y, -4*y + y - f + 359 = 0. Is y prime?
False
Suppose -175 = 4*p - 1339. Is p prime?
False
Let q(y) = 2*y**3 - 10*y**2 + 9*y - 12. Let m = 5 + 2. Is q(m) a prime number?
False
Is (