 = 11*v**2 - 12*v + 14. Is j(9) a prime number?
True
Let i(r) = r**3 - 9*r**2 + 13*r - 26. Is i(8) composite?
True
Let x = 1480 + -915. Is x composite?
True
Let i(v) = 333*v**2 + v. Is i(1) a composite number?
True
Suppose -3*o + 2 = -u, -4*u - 3 = o + 5. Suppose 0 = -o*h - h + 745. Is h prime?
False
Let o(j) be the second derivative of j**5/20 - j**4/12 + 30*j**2 - j. Let q be o(0). Suppose 2*v = -2*v + q. Is v composite?
True
Let p(m) be the second derivative of -m**5/20 - m**4/6 - m**3/3 + m. Is p(-3) composite?
True
Let p = 61 + -22. Is p a composite number?
True
Suppose -y + 11 + 3 = -5*o, 0 = 4*o + 8. Suppose y*b + i - 136 - 64 = 0, -3*b - 3*i + 141 = 0. Is b prime?
False
Suppose 3*q - 2*w = -13 + 47, 0 = 3*q - 5*w - 40. Is (-534)/4*q/(-15) composite?
False
Is 3*5/(-5) - -314 prime?
True
Let t be 300/7 + 2/14. Suppose -157 = -2*i - t. Is i prime?
False
Let o be (46/3)/((-2)/9). Let l = o + 146. Is l composite?
True
Let w(d) = d + 7. Let j be w(-7). Suppose 0*m - 2*m + 502 = j. Is m prime?
True
Suppose -6*b - b = -2149. Is b composite?
False
Suppose -26 = -5*v - 4*z, 4*v - 3*z = -v - 2. Suppose v*q + 82 = 460. Suppose -2*i + 2 + 4 = 0, 3*h - q = 2*i. Is h a prime number?
False
Suppose -2 - 3 = r. Let x(q) = -2 + 2*q**2 + 3*q + 2*q**2 + 6. Is x(r) a composite number?
False
Let f = 1382 - 697. Is f a prime number?
False
Suppose 4*d = -3*f - 19, f - 2*f = -d - 3. Let k(r) = -112*r + 1. Is k(f) prime?
True
Let p = -1177 - -6524. Is p composite?
False
Let y(l) = 99*l**2 + 7*l + 7. Is y(-3) a composite number?
False
Suppose 3*x + d = -68, 4*x + 21 + 71 = -2*d. Let i = x + 61. Is i prime?
False
Let f = -61 - -109. Is (f/(-40))/((-2)/145) composite?
True
Let i(o) = -o**3 - 6*o**2 - 5*o + 2. Let z be i(-6). Let v = z - -7. Is v a composite number?
True
Suppose 0 = -5*q - 2*f - 35, 6*f = -4*q + f - 28. Let t(x) = x + 9. Let b be t(q). Let v = b + 0. Is v prime?
True
Suppose 11 = -5*g - 4*b, -4*b - 8 = 8. Let r(v) = 32*v**3 - 2*v**2 + 2*v - 1. Is r(g) composite?
False
Let y = -12 + 6. Let n(w) = 5*w**2 + 9*w + 1. Is n(y) a prime number?
True
Let a be (1 + 0/(-4))*-11. Is 594/4 + a/(-22) a prime number?
True
Let r = -904 + 1397. Is r a composite number?
True
Let h(l) = l**3 - l + 127. Is h(0) a prime number?
True
Suppose -3*z + 2*a = -294, 278 = 4*z - 2*a - 114. Suppose d = -d + z. Let j = -34 + d. Is j a composite number?
True
Let i(n) = -n**3 - n**2 - n + 8. Suppose 5*j + 5 = -5*s, -3*s = -0*j + 5*j + 5. Let l be i(s). Is ((-242)/l)/((-2)/8) prime?
False
Let t(x) = x**3 - 8*x**2 + 11*x - 11. Is t(12) a prime number?
False
Let j be (-97)/(3/114*-2). Suppose p = -4*d + 1480, 0*d - j = -5*d - 3*p. Is d a composite number?
True
Suppose a = -4*t + 624, -2*t - t - 2*a + 463 = 0. Is t composite?
False
Let y be ((-12)/1)/((-5)/((-50)/(-15))). Suppose -769 = -5*t - 264. Let g = y + t. Is g prime?
True
Let f = -4 + 2. Is (-4 - -5) + 162 + f a composite number?
True
Let u(g) = 6*g**2 + 3*g + 3. Let j be u(-2). Suppose -5*s = -6*s + 4*r - 11, 5*s = r + j. Suppose s*v + a - 2 = 102, -4*v + 80 = 4*a. Is v composite?
True
Let i be 8/6 - 4/3. Suppose i = -c - f + 128, -4*c = -c + 4*f - 385. Is c a prime number?
True
Let f = 271 + -182. Is f a composite number?
False
Let v(f) = f**3 - 2*f**2 - 5*f - 5. Let y be v(5). Is 12/(-9)*y/(-6) a prime number?
False
Let w be 4/18 - (-12)/(-54). Suppose w = -u + 4*k - k + 39, -5*k - 117 = -3*u. Is u a composite number?
True
Suppose 4*x + 5*n - 7858 = 0, -4*x + 2*n + 1278 = -6594. Is x prime?
False
Suppose 0 = 3*q - 12 - 0. Suppose q + 7 = d. Let c = 18 - d. Is c a prime number?
True
Suppose -1180 = 120*o - 124*o. Is o composite?
True
Let d be 3/(-6) - (-238)/4. Let t = -6 + d. Is t prime?
True
Let u(y) = 4*y**2 - y + 8*y + 3 - 5*y. Is u(-2) a prime number?
False
Let x = -6 + 4. Let d(m) = -m**3 - m**2 - m - 1. Let h be d(x). Suppose h*o = 3*a - 93, -2*o = -6*o. Is a prime?
True
Let i(n) = n - 2. Let k be i(5). Let b = -3 + k. Suppose b = -3*x + 5*c - c + 37, 5*x = 2*c + 71. Is x composite?
True
Suppose -5*o + 57 - 305 = -n, 0 = 4*o + 20. Is n prime?
True
Suppose y = -4*a + 688 + 344, -2*a = -2*y - 506. Is a a composite number?
False
Suppose 3*y - 1544 = a - 0*a, -4*y = a - 2061. Suppose 0*p = -5*p - j + 1268, 2*p - y = -3*j. Is p a composite number?
True
Suppose i - 12 = -2. Suppose -5*x + 15 = -i. Suppose -2*r - 6 = -2, 0 = 3*o - x*r - 187. Is o prime?
True
Let d(p) = 65*p + 1. Let a be (8/(3 - 5))/(-2). Is d(a) a composite number?
False
Let t(b) = b**2 - b. Let z(o) = o**3 - o - 1. Let j(a) = 2*t(a) - z(a). Suppose -u - 3 = y, -2*u - 2 = -2*y - 0. Is j(u) a composite number?
False
Let l = 7 + -5. Suppose 0 = l*q - 2, -3*q + 181 = -u + 3*u. Is u a composite number?
False
Let v(s) = 35*s - 9. Is v(4) prime?
True
Let n(s) = -s + 5. Let l be n(9). Let p(i) = i**2 - 3*i - 4. Let t be p(l). Suppose -2*j + 205 = 5*y, -312 = -3*j - y - t. Is j a prime number?
False
Let k(c) = 2*c**2 + 9*c - 2. Let m(j) = -j**2 - 4*j + 1. Let v(p) = -6*k(p) - 13*m(p). Suppose 2*i + 0 = -8. Is v(i) composite?
False
Let i be 1/5 - 299/(-5). Let o = i + 29. Is o a prime number?
True
Suppose 0 = -p + 5*s + 103, -7 = 3*s + 5. Is p a composite number?
False
Let v(s) = -19*s - 3. Is v(-6) a composite number?
True
Suppose -5*i + 12 = -9*i. Let q(p) = 18*p**2 + 3*p - 4. Is q(i) a prime number?
True
Suppose 5*t + 1675 = 5*z, 1339 = 4*z - 3*t - 0*t. Is z composite?
True
Suppose 4*d = 3*d. Suppose -12 = -2*b - d. Is 2/(b/(-3)) + 24 prime?
True
Let g(r) = 5*r**2 - 2*r - 1. Suppose 0 = 3*t + j - 4, -3*t - 14 = -5*t + 5*j. Suppose -t*s + v = 23 - 7, -4 = -v. Is g(s) prime?
True
Suppose -u - 1 = -0. Let g be (u - -1)/(-1 - -2). Suppose 2*n - 3 - 27 = g. Is n composite?
True
Let y(i) = i**3 + 4*i**2 - 7*i - 3. Let s be y(-5). Suppose -8*b = -s*b - 31. Is b prime?
True
Let t = -101 + 154. Let j(d) = -d + 9. Let m be j(9). Suppose s + 4*x - t = -m*x, 2*x = 4*s - 140. Is s composite?
False
Let h(x) = x - 5. Let r be h(7). Suppose -3*f + n + 385 = -0*n, r*n = 5*f - 643. Is f composite?
False
Let s(r) = -8*r**3 - 6*r**2 + r + 4. Is s(-3) prime?
True
Let g = 10 + -5. Let t = 144 - g. Is t composite?
False
Let b(f) = f**2 + 4*f - 4. Let h be b(-4). Is (h/6)/(20/(-2850)) a composite number?
True
Let n = 274 + -113. Is n a prime number?
False
Suppose -909 - 192 = -s. Is s a prime number?
False
Suppose j + 12 - 34 = 0. Suppose -j = -o + 3*k, 2*o - 5*k - 13 = 36. Is o a composite number?
False
Let d(v) = 7*v**3 - v. Let o be d(1). Let c(z) = 2*z**3 - 3*z + z - 5 - 3*z - 7*z**2. Is c(o) a composite number?
True
Let s = 394 + -129. Is s a prime number?
False
Let l(r) = -3*r + 8*r + r**3 + 5 + 3*r**2 + 0*r**3. Let u be l(-4). Let n = 86 + u. Is n prime?
False
Suppose 2*r - 4*r = 3*b + 22, 5*r + 37 = -3*b. Is (-2)/(b - (-8142)/2037) composite?
True
Suppose 2*o + 4*o - 2532 = 0. Is o prime?
False
Suppose 5*v - 115 = -5*a, -3*v = 2*v - 5*a - 95. Suppose 0 = -4*r + v - 5. Suppose -3*u = -5*u - p + 97, 2*u = -r*p + 94. Is u composite?
True
Let y(h) = -138*h + 4. Is y(-5) prime?
False
Is (20/(-8) - -3)/(5/19010) a composite number?
False
Suppose t - 19 = -3*a, 8*a - 4*a - 5*t = 0. Suppose d = g - d - 109, -4*d = a*g - 545. Is g prime?
True
Let n be 1/((-36)/(-16) - 2). Suppose 0*o + 246 = 2*r - 4*o, 0 = 2*r + n*o - 206. Is r a composite number?
False
Suppose -23*p + 36441 + 7282 = 0. Is p a composite number?
False
Let y be 3/2 + (-117)/6. Let l = 29 + y. Is l composite?
False
Let t(c) be the third derivative of -c**5/60 - c**4/4 - c**3/6 - c**2. Let o be t(-5). Is o*6 + (-3 - -2) a composite number?
False
Suppose -8379 - 829 = -8*i. Is i a prime number?
True
Let v = -9 - -13. Let t = -1 + v. Suppose p = 2, -p - 39 = -5*b - t*p. Is b prime?
True
Suppose 3*x - 8 = 4*l, -3*l + l - 4 = 5*x. Suppose 4*q = -2*i - x*q + 126, -2*q = -10. Is i prime?
True
Let n = -26 - -28. Suppose -n*r + 4 = -1222. Is r a composite number?
False
Let r = -379 + 866. Is r composite?
False
Let v(r) = -r**2 + 1. Let u(c) = 3*c - 4*c - 4 + c**2 - 2*c + 5. Let q(x) = -u(x) - 3*v(x). Is q(3) a prime number?
True
Suppose -2*y + 0 + 4 = 0. Suppose -4*t + 6*i - 12 = 2*i, -y*t - 2*i + 6 = 0. Suppose -3*d - 2*c + 31 = t, -3 = -2*d - 5*c + 3. Is d prime?
True
Let x(s) = 3*s**3 - 4*s**2 + 2*s - 2. Is x(3) a prime numbe