
Suppose 4*m = 5*v - 546, -v - v + m + 216 = 0. Let c = -55 + v. Is c a prime number?
False
Let q(v) = -488*v. Let a be q(-1). Let z = a - 81. Is z a prime number?
False
Suppose -c + 3 = 0, 0 = 3*v - 3*c - 164 - 20668. Is v composite?
False
Let g = 3 + -2. Let b be 0 - (-2 - (g + 25)). Suppose -y - 3*d + 8*d + b = 0, 5 = 5*d. Is y composite?
True
Suppose 2*j = 7*j - 865. Let m = j + 38. Is m prime?
True
Suppose -5*y + 4*s = 109, 4*y = -s + 3*s - 86. Let x = y - -34. Is x a composite number?
False
Let y = -4686 + 9317. Is y a prime number?
False
Is ((1483 - 1) + -5)/(1 - 0) composite?
True
Suppose 0 = -3*r - 0 + 3, -3*r + 537 = 2*q. Is q composite?
True
Let t = 3941 + -2746. Is t a prime number?
False
Let o(l) = -87*l + 10. Let j be o(-6). Suppose -t - 3*t + j = 0. Is t a composite number?
True
Let w(o) = -3*o**2 + 163 + o**2 - o - o**2 + 2*o**2. Let z be w(0). Suppose 0 = -5*f + 5*a - a + z, -f + 2*a + 35 = 0. Is f composite?
False
Let h = -48 - -218. Let b = -102 + h. Suppose -a + 2*m = 4*m - 12, 5*a = -2*m + b. Is a a prime number?
False
Let h(o) = o**2 - 8*o - 15. Let w(r) = r**2 - 7*r - 14. Let z(d) = -3*h(d) + 4*w(d). Is z(9) prime?
False
Let y(v) = v**2 + 9*v + 4. Is y(-10) a prime number?
False
Let p be (4 - -1) + -3 - 6. Let x(s) = -2*s**3 - 7*s**2 - 4*s + 5. Is x(p) a prime number?
True
Let h be 12*(-2)/12*-2. Let z(x) = 48*x - 1. Is z(h) a prime number?
True
Suppose -1 = -q - i + 1, 2*i = 0. Suppose 0 = -0*m + q*m - 8. Suppose -m*p + 8*p - 260 = 0. Is p a composite number?
True
Let o(c) = -37*c - 2. Let v be (-4)/12 - 4/6. Is o(v) prime?
False
Suppose -w = 3*w - 444. Suppose -w - 74 = -5*r. Is r prime?
True
Suppose -3*w - 2*w = -245. Suppose -q + w = -48. Is q a composite number?
False
Let m be 7/((-14)/4) - -275. Let u be (2/6)/((-2)/(-24)). Suppose -u*t = -t - m. Is t a prime number?
False
Let z(k) = 18*k + 14*k - 1 + 0 - 2. Is z(7) composite?
True
Let k(m) = -29*m + 61. Is k(-26) a prime number?
False
Let a = 0 + 2. Suppose 4 + a = -l. Is (-4)/l - 273/(-9) prime?
True
Suppose -3*g - 9 + 42 = 0. Let d(q) = 2*q + 3*q + 1 - 2*q. Is d(g) a composite number?
True
Let w(c) = 2080*c - 45. Let h(g) = -189*g + 4. Let f(k) = 45*h(k) + 4*w(k). Let i(o) = -3*o - 55. Let b be i(-18). Is f(b) a prime number?
False
Let p = -4 + 6. Let s be 4 - ((-2 - -8) + -4). Suppose p*g - 12 = h, -5*h - 9 - s = -3*g. Is g a prime number?
True
Let d(m) = -m**3 + 14*m**2 - 18*m + 7. Is d(12) composite?
False
Suppose 6*k - 4*k = 12. Is k/(-24) + 178/8 a prime number?
False
Suppose 174 = -2*k + 5*k. Is k prime?
False
Suppose -4*j - 3115 = -9*j. Is j prime?
False
Let y = -30 - -145. Is y composite?
True
Suppose 17*a + 7028 = 21*a. Is a a composite number?
True
Is (699/4)/(15/40) a prime number?
False
Let x(j) = j**2 - 2*j + 3. Let r be x(2). Let t be 6 - (-9)/(-3) - -1. Suppose -g = -t - r. Is g a prime number?
True
Let g = 229 + -128. Suppose -12 + g = y. Is y prime?
True
Is (10078/5)/((-2)/(-5)) a prime number?
True
Let o(m) be the first derivative of m**3 + 4*m**2 + 8*m + 2. Is o(7) a prime number?
True
Let g = -2 - -8. Suppose g = h + 2*h. Suppose 2*l + 5*q = 117, -3*q = h*l - q - 108. Is l composite?
True
Let s(n) = -3*n**2 + 6*n + 7. Let l be s(-6). Let r = l - -192. Is r prime?
False
Let i(m) = -151*m + 17. Is i(-2) a prime number?
False
Let j(v) = -v**2 + v + 233. Is j(0) a prime number?
True
Suppose -1423 = -54*j + 53*j. Is j prime?
True
Suppose 0 = -3*b - b - 2*x + 1084, 0 = -4*b + 2*x + 1068. Is b a composite number?
False
Let f be -6 + (1 - 0/3). Let p(j) be the second derivative of j**5/20 + j**4/2 + j**3/6 - 5*j**2/2 + j. Is p(f) composite?
True
Suppose w - 203 = 278. Is w composite?
True
Let g be (-4)/(-6)*27/6. Suppose -o + 4 = g*o - 3*i, -16 = -o - 3*i. Let h(y) = 2*y + 5. Is h(o) a composite number?
False
Let d = -3 - -3. Let t be -2 + -1 - (-2 + d). Let n = 16 + t. Is n prime?
False
Suppose -2*u - 3*m - 65 = -3*u, 5*m = -4*u + 243. Is u a prime number?
False
Suppose -5020 = -5*d - 5*n, -4086 - 954 = -5*d - n. Is d composite?
False
Suppose 0 = -5*c - 2*v + 91, 0 = 3*c + 4*v - 2 - 47. Is c a prime number?
True
Let z = 86 + -51. Let o = z - -9. Suppose -4*a - 2*t + 53 = -3*a, -a + o = -t. Is a prime?
True
Let n(a) = 25*a + 12. Let r(z) = 24*z + 11. Let d(j) = -6*n(j) + 7*r(j). Is d(11) composite?
True
Suppose 3*c - 368 = 160. Let g = -102 + c. Is g a composite number?
True
Suppose -r - 3*r + 3*z + 58 = 0, -34 = -2*r - z. Let j = -9 + r. Is j a composite number?
False
Suppose 0 = j - 218 - 15. Is j a prime number?
True
Suppose 0 = y + 3*y + 1020. Let t = y + 175. Let p = 131 + t. Is p a prime number?
False
Let o be ((-71)/(-1) - -1) + -4. Suppose 22 = -2*b + o. Is b prime?
True
Let c = -6 + 8. Is (-2)/6*(-247 - c) prime?
True
Let d = -68 + 191. Is d prime?
False
Let l be 2 + (0 - 0)/(-3). Suppose -g - 3*u + 83 = 0, l*g - 395 = -3*g - 5*u. Is g a composite number?
True
Suppose i = 6*i - 705. Is i a composite number?
True
Suppose 2*y + 5*k = 1326, 2*y - 1166 = -3*k + 156. Suppose 0 = -3*l + 5*s + y, 2*l - 3*s + 0*s - 437 = 0. Is l a prime number?
True
Let w = 7163 - 4102. Is w a prime number?
True
Suppose -3*p + 3*i + 2370 = 0, -5*i - 3952 = -5*p - 2*i. Is p composite?
True
Is 1*2 + (-11 - -210) prime?
False
Suppose c = -2*h - 0*h + 49, -3*h - 133 = -2*c. Is c a prime number?
True
Let u be (-14)/49 - (-583)/7. Let g = 48 + u. Is g a composite number?
False
Let l(v) = -54*v + 4. Let q be l(4). Let z = q + 475. Is z a prime number?
True
Let f(d) = 2*d**2 + 14*d - 5. Let w = -36 - -26. Is f(w) composite?
True
Let i = 171 + -48. Is i composite?
True
Let a(p) = 7*p**2 - 33*p - 17. Is a(18) prime?
True
Is ((-30)/4 + 4)*-106 prime?
False
Let b(v) = -v**2 + v - 2. Let a be b(4). Let o be (-4)/a - (-1077)/(-21). Is (-3 + 17)/((-6)/o) a composite number?
True
Let l = 2 + 0. Suppose 4*q - l = 26. Is (-2)/q - (-494)/14 composite?
True
Suppose -16 = -4*w + 4*j, -3*j + 8 = w - 0*j. Suppose 2*k + k = -5*n + 21, -k = -w*n + 13. Suppose n*h - 70 - 101 = 0. Is h composite?
True
Let n(x) = -x + 3. Let c be n(5). Let y(r) = -8*r**3 - 2*r**2 - 2*r + 2. Let s be y(c). Suppose -218 = -4*a - s. Is a prime?
False
Suppose 11*l = 8*l + 2631. Is l composite?
False
Suppose 3*g - 531 = -0*t - 2*t, 0 = -5*g - 5*t + 885. Is g prime?
False
Suppose 16 = -2*c - 44. Let u be ((-3)/(-1))/((-3)/c). Suppose -u = -s - 2*s. Is s prime?
False
Suppose -r + 2*r = -5*n + 468, -3*r + 3*n = -1494. Is r composite?
True
Let f(r) be the first derivative of -r**5/20 + r**4/24 + 2*r**3/3 + 1. Let b(u) be the third derivative of f(u). Is b(-1) a prime number?
True
Let z = -7 + 19. Suppose -3*c + z - 3 = 0. Let q = c - 0. Is q a prime number?
True
Let i be -3 - -5 - (0 + -13). Suppose 2*u = -2*v + 18, -4*u - 2*v + i = -5*v. Suppose -u*p + 1295 = -p. Is p a composite number?
True
Suppose -2*b + 446 - 12 = 2*a, 0 = -5*b + 3*a + 1117. Let d = b + -102. Is d a prime number?
False
Let q(h) = -3*h**3 - 4*h**2 - 5*h + 1. Let t = -11 - -7. Is q(t) prime?
True
Suppose 4*u - 83 = -2*j + 47, -4*u + 272 = 4*j. Is j a composite number?
False
Suppose 0 = 4*j - 3*j. Let z = 2 - j. Suppose 4*k - 335 = -5*y, -4*y - 2*k = -z*y - 134. Is y a prime number?
True
Let v(a) = -76*a**3 + 2*a**2 - 1. Suppose -3*f - 14 = -50. Let b be (-5)/4 - (-3)/f. Is v(b) a composite number?
True
Let u(c) = -c**3 - 7*c**2 + 7*c - 4. Let j be u(-8). Suppose j*m - 25 = -3*x + 17, 0 = -3*x + 3*m + 42. Is x prime?
False
Suppose 5*k - 5*u = 755, -u + 57 = 3*k - 388. Is k a composite number?
False
Suppose 5 = -2*o - 9. Let w be 17 + 6*3/(-6). Let y = w - o. Is y a composite number?
True
Suppose 4*n = 60 - 24. Is (n/27)/((-1)/(-633)) prime?
True
Suppose 0 = -2*j + 607 - 9. Is j prime?
False
Let j(p) = -p**2 - 1. Let y(m) = 6*m - 2*m + 0*m + 2 - 3*m**2. Let i(u) = -4*j(u) - y(u). Is i(5) prime?
True
Suppose -2*u = -2*r - 2, 3*u - 4*r + 6*r = 18. Suppose 0 = -u*l + 4*m + 80, -l - 2*m + 65 = 4*l. Is l composite?
True
Let o(a) = 2*a**3 - 2*a**2 - a - 1. Let i be o(2). Suppose 4*x = 5*r - 40, -r + i*x = -6 - 23. Is (2/r)/(1/66) prime?
False
Let q be 1/2 - 34/(-4). Let c(t) = -t**2 - 8*t + 2. Let f be c(-8). Suppose -3*p - 2*z = -35, -p + 0*p - f*z = -q. Is p composite?
False
Suppose -36 = -q + 653. Is q a composite number?
True
Suppose -4*g - y - 11 