Let m be (a/(-8))/(1/(-14)). Let f(c) = -c**3 - 6*c**2 - 6*c - 8. Is f(m) prime?
True
Is (328475/(-10))/(-7)*(-1 + 3) a prime number?
False
Let y(c) = 0 - 4*c + 1 - c**2 + c - 4*c. Let f be -5 + ((-1)/1)/1. Is y(f) a composite number?
False
Suppose -5174 = -5*d + 7131. Is d prime?
False
Let u(v) = -12*v**3 - 2*v**2 - 1. Is u(-2) prime?
False
Is 2/(-4) - (-999)/2 a prime number?
True
Let r = -1105 - -736. Is r/(-33) + (-4)/22 a composite number?
False
Let h be 1*6*(-2)/(-3). Let g(v) = 3*v + 2*v - h*v + 1 - 2*v**3 - v**2 - v**3. Is g(-2) a composite number?
False
Suppose -c + 4*c = 0. Suppose -64 = -5*k - c*v + 2*v, -5*v = 5*k - 50. Suppose -o + 25 = -k. Is o a prime number?
True
Suppose 5*i + 2*q = i + 92, -5*q + 69 = 3*i. Is i composite?
False
Let p = -189 - -278. Is p a prime number?
True
Let a(x) = -x**2 + x + 97. Let t(s) = s + 1. Let v be t(6). Suppose -3*u = -v*u. Is a(u) a composite number?
False
Let a = 17 - 13. Is a a prime number?
False
Suppose -43 = -2*h - 11. Is 248/h - 1/2 composite?
True
Suppose -2*o + 348 = -368. Suppose -4*p + o = 2*b, -3*p - 3*b - 3 = -273. Is p a prime number?
True
Suppose 0 = -4*f + 12, 0 = -5*h + 3*h - 4*f + 44. Let m = h + -10. Suppose m*t = t + 185. Is t composite?
False
Is 15 + -15 + (1 - -88) a composite number?
False
Let b(f) = 5*f**2 + 4. Suppose -18 = -5*d + 2. Suppose -d*k + 3 = -3*k. Is b(k) a prime number?
False
Let u(o) = -129*o + 34. Is u(-7) prime?
True
Suppose -y = -0*y - 3. Suppose 0 = -y*h - h + 608. Suppose -5*m + 693 + h = 0. Is m a composite number?
True
Let c(j) = 16*j**2 - j - 4. Let p(v) be the first derivative of -5*v**3 + v**2/2 + 3*v - 3. Let d(q) = -2*c(q) - 3*p(q). Is d(-3) prime?
False
Suppose -3*v + 7*v + 364 = 0. Let d = v + 52. Let g = d + 77. Is g a prime number?
False
Let q(y) = -5*y**2 - 7*y - 9. Let k(v) = 9*v**2 + 15*v + 17. Let n(w) = -4*k(w) - 7*q(w). Is n(-7) composite?
False
Is ((-2229)/(-6))/(1/2) a prime number?
True
Suppose -18 = -3*c + 4*t, -4*t - 2 = -c + 12. Is (25/(-10))/(c/(-28)) a composite number?
True
Let v = 5 + -5. Suppose 0 = -v*k - 2*k + 166. Is k composite?
False
Is (1053/(-12) + 1)*-4 composite?
False
Let a = 1152 + -635. Is a prime?
False
Suppose -20*v + 3812 = -16*v. Is v composite?
False
Suppose 2*d - 3*l = -5, -3*d - l = d + 3. Let z be (-5)/d + (1 - 2). Suppose -s + 35 = z. Is s a composite number?
False
Let i(l) = l**2 + 5*l + 5. Let w be i(-5). Suppose -v + 28 = -w. Is v prime?
False
Let z(u) = -38*u**3 - 2*u**2 - 2*u - 1. Is z(-1) prime?
True
Suppose -r = -3*i + 381, 4*i + 0*i - 3*r - 508 = 0. Is i a composite number?
False
Let n = 20 + -17. Is n composite?
False
Let n = -137 + 264. Is n a composite number?
False
Suppose -3*l + 2*l + 303 = d, 3*d = l - 303. Is l composite?
True
Let x be 1*3/((-6)/(-4)). Let n = x - 1. Suppose -6 - n = -p. Is p a prime number?
True
Suppose 0 = 4*w - 5*c - 133, 4*w - 3*c - 163 = -24. Is w a composite number?
False
Let g = 281 - -1064. Is g prime?
False
Is 4076/16 - (-12)/(-16) a prime number?
False
Let z be ((-3)/2 + -1)*-2. Suppose 3*b - z*b = -42. Is b composite?
True
Suppose -4*q - 2*y = -0*y - 1948, y + 1471 = 3*q. Suppose -n + 382 = -5*r + 1197, -3*r + q = n. Is r prime?
True
Suppose 0 = -4*z - 4*s + 272, 2*z - 142 = 3*s + s. Is z composite?
True
Let h(q) = -q**3 + 19*q**2 + 4*q + 13. Is h(18) composite?
False
Let p(s) = 29*s**2 + 5*s + 1. Is p(-5) a prime number?
True
Suppose -11*g + 3595 = -6*g. Is g composite?
False
Let h be 1/4 + 2566/8. Suppose 0 = 3*u - 3, -4*z - 6*u = -u - h. Is z a composite number?
False
Let g be (-2)/6 + (-32)/(-24). Suppose -2*t = -9 + g. Is t a composite number?
True
Is (-1176)/(-15) + 6/10 a prime number?
True
Suppose 1 + 23 = 2*l. Suppose 3*r - v - 69 = 0, 5*v = -4*r + 3*v + 92. Suppose -b = -r - l. Is b a prime number?
False
Suppose 3*r = -2*t - 0*t + 317, -3*t - r + 472 = 0. Is t prime?
True
Suppose -a = -4*n - 2247, 5*a + n + 7737 - 18993 = 0. Is a composite?
False
Suppose 0*w + 4*w - 8 = 0. Let y(x) = w*x + x**3 + 5*x**2 - 13*x**2 - 8 + 0. Is y(9) a composite number?
True
Let b = 74 - 27. Suppose -3*w = l + w - b, 0 = 5*w - 20. Is l composite?
False
Suppose f + 2*f - 9 = 0, -2*f = h - 9. Let c(u) = 11*u. Is c(h) composite?
True
Let u be 138/((-9)/6*-1). Let f(c) = -c**3 + 7*c**2 + 5. Let x be f(7). Suppose 0 = -x*h + h + u. Is h a composite number?
False
Suppose -203 = -k + x, 1124 = 5*k - x + 125. Is k a composite number?
False
Let y(g) = 5*g + 3. Let c(b) = -5*b - 2. Let x(n) = 4*c(n) + 3*y(n). Let a be x(3). Is (-52)/a - (-6)/21 a composite number?
True
Let z = 6 - 3. Suppose 3*m - z*u = -9 + 375, 0 = -5*u + 5. Is m prime?
False
Let b = 14 + 0. Let d be (1 - 0) + 1 - b. Is 2/(-8) + (-183)/d prime?
False
Let j(m) be the second derivative of 0 + 7/4*m**4 + 1/2*m**3 + 1/2*m**2 + m. Is j(-2) prime?
True
Suppose 0*c + 3*c - 1704 = -3*q, 0 = -5*c - 25. Is (q/12)/((-1)/(-4)) a prime number?
True
Let b be ((-1)/(-3))/((-2)/(-6)). Suppose -b - 14 = -5*n. Is n*((-96)/(-9) - -1) a composite number?
True
Let c = 55 - 27. Is (-1379)/c*(-16)/2 a prime number?
False
Let j be (2/(-4))/(1/(-2)). Is ((-50)/(-8))/(j/4) a composite number?
True
Let a = -6 - -19. Is a composite?
False
Let z(r) = 7*r**2 - 3*r - 2. Let j be z(-3). Suppose 4*p + 65 = 3*u, 4*u - j = -2*p - p. Is u a prime number?
True
Is 2495/1*2/10 a composite number?
False
Let q(j) = -8*j - 30*j + 6 - 14. Let s be q(6). Let y = 333 + s. Is y prime?
True
Let p = -1685 + 2944. Is p a composite number?
False
Let w = 16 - 7. Suppose 4*h - h - w = 0. Is 1*h + (1 - -33) a composite number?
False
Let s be (-3)/(-5) - (-2)/5. Let x(l) = 0 + 5*l + 3*l**2 + s - 2*l. Is x(-3) a composite number?
False
Let t = -8 - -13. Suppose -t*o + 57 = -58. Let m = 100 - o. Is m prime?
False
Let l = 962 + -324. Suppose 0 = -5*f + c + l, -34 = f - 2*c - 167. Is f prime?
True
Suppose -3*j + 102 = -4*t, -t + 4*j - 128 = 4*t. Is (56/t)/(1/(-3)) a composite number?
False
Let g be 6/(-21) - (-51)/7. Let r(d) = -d + 2. Let c be r(g). Is (-136)/(-6) + c/(-15) a composite number?
False
Is (-19982)/(-5) + (-6)/(-10) composite?
True
Is 34 - 14/(-21)*(-18)/(-4) a composite number?
False
Suppose 8 - 23 = -3*z. Suppose -3*d + 148 = 3*x - 14, -z*d - 202 = -3*x. Is x prime?
True
Let q be -2 + (278*-3)/(-3). Let x = q - 185. Is x a composite number?
True
Suppose m + 16 = 5*m. Suppose -5*a + 3 = -3*g, g = -2*a + 5*g + m. Suppose 0 = 3*w - 15, -2*z + 4*w = -a*w - 54. Is z a composite number?
False
Suppose -4*t + 8 = 4*d, -5*t - 8 = d + 2. Let c be 34*((-6)/t - 1). Suppose -4*s + 50 = -c. Is s composite?
True
Let k(u) be the first derivative of u**3/3 - 5*u**2/2 - 4*u - 1. Let i be k(6). Suppose -i*s - 6 + 72 = 0. Is s prime?
False
Let z(d) = 23*d**3 + 11*d**2 - 22*d + 19. Is z(8) composite?
False
Let a = -7 - -9. Let b = 6 - a. Suppose 0*o - b*o - 2*q = -270, 5 = q. Is o a prime number?
False
Let g = 14 + -8. Let k(a) = -3 + g*a**2 + a**3 + 0 + 4*a - 7*a. Is k(-5) prime?
True
Suppose o = -4*t + 2345, -1177 = -t - t + o. Is t composite?
False
Suppose 4*m - u - 14 = 1, 5*m - 4*u = 16. Suppose 3*q - 2 = m*q + l, -3*l = q + 12. Suppose 2*z = -2*n + 20, -q*z - 22 = -4*n - z. Is n a composite number?
False
Suppose -2*o + 1962 = 5*m, o = -o - 2*m + 1974. Is o composite?
False
Suppose 4*i - 36 = 3*u - 0*u, -2*u = -i + 14. Suppose k - i = -0*k. Is k a prime number?
False
Let q = 1278 + -825. Suppose 2*w - 749 = -3*w + 2*v, 3*w - 3*v = q. Is w prime?
True
Let r(z) = -3*z. Let g be r(-1). Suppose 2*d - 1055 = -g*d. Is d composite?
False
Let p(c) = 4*c**3 + 4*c**2 + 3*c + 3. Is p(4) a composite number?
True
Let p(d) = -7*d**3 + 6*d**2 + 3*d + 4. Let y be p(-4). Suppose m = 5*m - y. Suppose -131 - m = -5*o. Is o composite?
False
Let z be (4/(-5))/((-6)/15). Suppose 0*r - 3*r = -z*y + 154, 0 = -5*y - r + 419. Is y a composite number?
False
Let x = -42 - -91. Is x a composite number?
True
Let o(w) = 4*w**2 - 3. Is o(6) a prime number?
False
Suppose 2912 = g - 4*w - w, 2882 = g + w. Is g composite?
False
Suppose -4*p + 3*p - 2*n + 45 = 0, 246 = 5*p + 3*n. Is p composite?
True
Suppose -3190 = -3*s - 2*s + 5*i, s = -3*i + 650. Is s composite?
False
Suppose -4*g = 3*a - 0*a - 403, 530 = 4*a - 2*g. Let w = a + -56. Is w prime?
False
Let d be (4 + -3)/((-1)/2). Is (-2 - 312)*d/4 a com