 -s - 269 = -4*u + 2*p. Is u a composite number?
True
Let c(j) be the first derivative of 53*j**3/3 - j**2/2 - j - 1. Is c(-1) a prime number?
True
Let m = -189 - -510. Suppose 4*v - 341 = 5*p, 0*p - m = -4*v + p. Is v prime?
True
Suppose 0 = 4*a - v + 45, a + 3*v = 6*a + 65. Let l = a + 17. Is l composite?
False
Suppose b + 3*b + j - 1473 = 0, 4*b + 4*j - 1488 = 0. Is b a prime number?
True
Let w = -736 + 1038. Suppose -5*b + w = -443. Is b composite?
False
Let j = 11472 - 5333. Is j composite?
True
Let l be 3 + (-4 - -3) - -4. Let q be (-2)/3 + (-2)/l. Is (-13)/(0 - (q + 2)) composite?
False
Is 466/4*(13 - -1) a prime number?
False
Is 321 + (-4)/(-24)*-3*0 composite?
True
Let y = -45 - -186. Suppose -o + w = -39, o + 3*o - w - y = 0. Is o a prime number?
False
Suppose z + 3 - 5 = 0. Is -1 + 1 + 182/z composite?
True
Suppose 1278 = 5*v + s - 1425, -2*v = -5*s - 1092. Is v prime?
True
Suppose 2*j - 670 = 1000. Is j composite?
True
Let r be -2*(3/(-2) + 0). Let v be (-1)/r - (-4)/3. Is v/((-18)/20 - -1) a prime number?
False
Suppose 2*v = g, 0 = -2*v - 3*v + 5. Suppose 4*o - g*o - 538 = 0. Is o composite?
False
Suppose 0 = 4*t - z - 19, 0 = -5*t + 3*z + 28 + 1. Suppose -2*k - 5*o + 95 = -3, -t*o - 16 = 0. Is k prime?
True
Let d = 103 + 98. Is d a composite number?
True
Let w(j) = 14*j + 3. Let t(g) = 2*g - 2. Let r be t(3). Is w(r) prime?
True
Is (-12)/9*-111 - -1 prime?
True
Let b be 4 - (2/(-1) + 2). Suppose 2 = 3*i - 2*i, -b*i = 2*p - 186. Is p prime?
True
Suppose 3*b = 3*t - 477, 5*b + 270 - 103 = t. Suppose i + t = 2*i. Is i a prime number?
True
Let u(t) = 9*t - 5. Suppose -2 = -5*r + 4*r. Suppose -s - 2*b + 14 = 3*b, 3*s = 5*b + r. Is u(s) prime?
True
Let b = 3 - -4. Suppose -4*s - b = -5*l, -5*s + 0*l = 3*l - 19. Suppose 5*c + 0*c - 110 = x, 3*c + s*x = 66. Is c a composite number?
True
Suppose 5*x - 4*b - 660 = 0, x - 379 = -2*x - b. Suppose x = 5*y - 137. Is y a prime number?
True
Let f(k) = 65*k**2 + 3*k + 3. Is f(-2) a prime number?
True
Let i(y) = -4*y**3 - 5*y**2 - 4*y - 1. Let h be -2*1/3*6. Is i(h) a prime number?
True
Suppose -5*j - f - f + 1201 = 0, 4*j = f + 953. Is j prime?
True
Let f(y) = -y**3 + 5*y**2 + 7*y - 2. Let n be f(6). Suppose -5*z = -n*z + 6. Is (-32)/(-5) - z/(-15) composite?
True
Let k be (0 + (0 - -121))/(-1). Suppose -4*i - 239 = -5*f, 3*f - 117 + 332 = -4*i. Let b = i - k. Is b a prime number?
False
Suppose 5*o = -5*y + o + 5785, 2314 = 2*y - o. Is y prime?
False
Let r = -7 - -2. Let w be r + ((-12)/3)/(-2). Is (-43)/(w/(1 - -2)) composite?
False
Is ((-1285)/(-20))/(2/8) a composite number?
False
Let q(w) = 12*w**3 + 6*w**2 + 2*w + 5. Suppose 2*l = l - 4. Let m(j) = -j**3 - j**2 - 1. Let b(i) = l*m(i) - q(i). Is b(-1) prime?
True
Let y be 17 - (-2)/(-4)*-2. Is (-14)/(-4) + (-9)/y a prime number?
True
Suppose -d = 5*m - 3*d - 102, -d + 19 = m. Is ((-37)/4)/((-5)/m) composite?
False
Let f(n) = -3*n - 8. Let d be f(-5). Suppose 3*l = -d + 124. Is l prime?
False
Suppose 3*k = -4*d + 2666, -2*k + 2382 = -3*d + 582. Is ((-3)/(-9))/(2/k) a composite number?
False
Let h(u) = -u**3 - 13*u**2 + 11*u + 16. Let r be h(-14). Suppose 2*v + 48 = 3*i + i, 0 = 4*i + 3*v - r. Is i a composite number?
False
Let x be (-10)/5 + 0 + 2. Suppose 3*l - t - 56 = x, 3*t = -l + 8*t + 14. Is l composite?
False
Let z = 161 + -114. Let a = z + -16. Is a a composite number?
False
Let j(m) = -16*m**2 - 5*m - 15. Let b(t) be the first derivative of -5*t**3/3 - t**2 - 5*t - 4. Let y(k) = -7*b(k) + 2*j(k). Is y(4) composite?
True
Suppose -1035 = -2*t - t. Suppose 0 = -3*m - 2*i + 207, -2*i - t = -2*m - 3*m. Is m a prime number?
False
Let g(f) = -f**3 + f + 3. Is g(-5) composite?
True
Suppose 4*o = 812 + 864. Is o a prime number?
True
Let q = -540 - -881. Is q prime?
False
Suppose 3*v - 422 = i - 2*i, -1673 = -4*i + 3*v. Is i composite?
False
Let q(k) = -2*k**3 + 14*k**2 + k - 5. Let c be q(7). Let i(b) = 5*b - 1. Let o(x) = -14*x + 3. Let f(l) = 21*i(l) + 6*o(l). Is f(c) a prime number?
False
Let k(d) = -d + 5. Let f be k(5). Suppose f = 2*v + 6, -4*w = w + 5*v - 100. Is w prime?
True
Let v(z) be the second derivative of z**5/2 + z**4/6 - z**3/2 + z**2/2 + 2*z. Is v(2) prime?
True
Let w = 20 + -39. Let l = w - -96. Is l prime?
False
Let m(z) = 3*z**3 + 5*z**2 - 8*z + 7. Is m(6) composite?
False
Suppose -5*q + 4*n + 35 = 0, n = -2*q - 3*n - 14. Suppose -325 = -4*l + 71. Suppose 0 = -q*b - 9, -3*j + l = 3*b - b. Is j prime?
False
Let y(z) = 10*z**2 - z - 7. Is y(-4) composite?
False
Let v = -8 - -11. Suppose 0*f + 33 = 5*f - 3*r, -15 = -3*f + v*r. Is ((-4)/3)/((-2)/f) a composite number?
True
Let c(b) be the first derivative of b**2/2 - 3*b + 1. Let g be c(3). Suppose g*u = 2*u - 70. Is u composite?
True
Let w(r) = -r**2 - 6*r. Let n be -6 - (0/1 - 1). Let l be w(n). Suppose 0 = -0*v + l*v - 125. Is v prime?
False
Let c = 3 - 6. Is ((-74)/4)/(c/6) prime?
True
Suppose 0 = -3*g + 15, 2*d - 3*g + 10 = g. Suppose 0 = 3*a - d*a + 226. Is a a composite number?
False
Suppose 0*p - 68 = -2*p + 2*z, -5*z = 3*p - 110. Suppose 2*o = -a + 3*a + 20, 0 = 2*o + 3*a - p. Is o prime?
True
Let c = 4 + 9. Suppose -o = 4, -29 = 3*w + o - c. Is 148/16 + 1/w composite?
True
Let u be (-2)/3*(-17 + 2). Let o be 76/u - 2/(-5). Is (2 - 0)/(o/44) a composite number?
False
Suppose -4*d = 4*i + 5 - 1, i + 1 = 5*d. Suppose d*l - 13 = 4*l - n, -25 = -5*n. Is l/10 + 152/10 prime?
False
Let l be (4 + -1 + -3)/(-1). Suppose l = -b + 326 + 11. Is b a composite number?
False
Let z(k) be the first derivative of -k**4/4 + 8*k**3/3 + 5*k**2/2 + 5*k - 5. Is z(7) a prime number?
True
Let t(w) = -5*w**2 + 13*w - 3. Let r(z) = -z**2 + z. Let s(q) = -4*r(q) + t(q). Let c be s(8). Suppose -c*p + 316 = -p. Is p a composite number?
False
Suppose -4*u + 10 = -30. Let b = 68 - u. Is b composite?
True
Suppose -4*d + 67 + 1045 = 0. Suppose d = 4*a + 90. Is a composite?
False
Suppose -2*j = 3*o + 263 + 205, 0 = j - 3. Let i = o - -273. Is i prime?
False
Let l = 22 + -61. Let y = -4 - l. Is y a prime number?
False
Suppose 5*l = -4*p - 152, p + 87 = -3*l - 0*l. Let i(z) = -5*z + 1. Let n be i(-6). Let f = n - l. Is f a composite number?
False
Let u be (-1)/(((-10)/(-24))/5). Let i = 3 - u. Is i a composite number?
True
Suppose 0 = -2*p + 4, 3*p + 27 = 5*k - p. Is (k/(-3))/(2/(-30)) prime?
False
Let t = -7 - -12. Let z be 2 + (0 + 21)*10. Suppose 0 = -t*h + h + z. Is h prime?
True
Suppose u = -2*c + 8, -4*u - 27 = -5*c - 7. Suppose 5*a - 2*o - 267 = 0, u*o + o = -1. Is a a composite number?
False
Suppose -5*r - 3*c + 5755 = 0, -1704 = -2*r + 4*c + 598. Is r a prime number?
True
Let f(k) = 2*k**3 - 8*k**2 - 10*k. Let s be f(7). Suppose -3*r = -7*r + s. Suppose p + d - r = 0, -3*p + 153 = -0*p - 2*d. Is p composite?
False
Let q(c) = 210*c - 11. Is q(2) prime?
True
Let n = 194 + -135. Is n a composite number?
False
Let l(n) be the first derivative of 21*n**2/2 - 9*n - 10. Is l(10) prime?
False
Let t be (-3)/6*(0 - 604). Suppose -2*s + t = -0*s. Suppose -3*b + 4*x = 2*x - s, 0 = -3*b + 5*x + 157. Is b a prime number?
False
Suppose -2*y - 5 = 3*y. Let g be -2 + 0 + (y - -1). Is g/(-2) + 1 + 33 composite?
True
Let d(j) = -17*j + 13. Is d(-6) composite?
True
Suppose 4*r = w + 252, -5*r + 770 = w - 4*w. Let j = -127 - w. Suppose -q = 4*k - 127, 0*k + 3*q = -4*k + j. Is k a prime number?
True
Let x = 50 - -35. Is x prime?
False
Suppose 2*h - 454 = -2*n, -4*h = -0*h - 4*n - 876. Is h a composite number?
False
Let k(g) be the third derivative of -11*g**4/8 - 2*g**3/3 - 3*g**2. Is k(-5) composite?
True
Let u(g) = -270*g + 11. Is u(-12) a composite number?
False
Suppose 5*d + 0*d = 0. Let t = d - -4. Is 2*(178/t + 3) a composite number?
True
Suppose m - 1 = -3*f, -m + 0*f + 5*f = -17. Let i be 8/28 + (-2)/m. Suppose i = z + 19 - 74. Is z prime?
False
Suppose 7*o - 2*o = 2*f - 35, -10 = -4*f - 2*o. Suppose -4*p = 2*m - 7*m - 165, 0 = -p + f*m + 60. Is p a composite number?
True
Let k = -36 + 69. Is k composite?
True
Suppose 2*f = 5*f. Suppose 5*v + f*v = 10. Suppose -3*a - 2*w = 2*w - 25, 30 = v*a - 4*w. Is a composite?
False
Let x(t) = t**2 - 4. Let n be x(-3). Suppose -4*p = -n*p + 79. Is p a composite number?
False
Let a(p) = 98*p**2 + p - 1. Let i be a(-2). Suppose -4*b + i = -103. Is b a prime number?
Fa