2*x - 3*p, -5*x = -2*x + 5*p + 596. Let f = n - x. Is f prime?
True
Let d(x) = -1702*x + 7. Is d(-25) composite?
False
Let w be (2 + 594/(-4))*-2. Let h(g) = g**2 + 2*g - 3. Let i be h(1). Suppose 8*d - 7*d - w = i. Is d a prime number?
True
Let m(w) = 26*w + 2. Let z be m(-6). Suppose -17*n = -3*n + 4662. Let f = z - n. Is f prime?
True
Let n(o) = 2197*o + 1128. Is n(67) composite?
True
Suppose 8*v = 263601 + 28583. Is v a prime number?
True
Is ((-6358)/(-6) - -3)/(4/6) a prime number?
False
Let d(w) = w + 3. Let o be d(-1). Let j be (5 - 4) + 4/o. Suppose n = -2*n - 9, -j*h + 4*n = -2049. Is h a composite number?
True
Let m = 57093 - 21808. Is m composite?
True
Let o = 8121 - 3218. Is o a prime number?
True
Let v = 38618 + -26107. Is v composite?
False
Let u(b) be the second derivative of 3*b**4 + b**3/6 + b**2/2 + b. Let s = 0 - 2. Is u(s) composite?
True
Let i = -2510 - -592. Let j = -1097 - i. Is j a composite number?
False
Let r = -10 - -2. Let p(u) = -69*u + 13. Is p(r) composite?
True
Is (-2)/(5/(-76690)*4) composite?
False
Let t = -22 - -25. Suppose 3*d - 5*d = y - 947, -2*y + t*d + 1915 = 0. Is y composite?
False
Is (-3)/(-27) - (-37132)/18 prime?
True
Let w = -68287 + 98058. Is w prime?
False
Let o(x) = -19*x - 11*x + 76*x + 43 - 25*x. Is o(16) composite?
False
Suppose 2*l - 8 = 0, 13*l - 17*l = 2*a - 15524. Is a a composite number?
True
Let z = -40 - -34. Let j(u) = -398*u - 55. Is j(z) prime?
True
Suppose 30 = 5*c + 5*x, -15 = 4*c - 7*c - 2*x. Suppose -34 = -2*t - i, -t = -c*t + i + 30. Let h(j) = 37*j - 35. Is h(t) prime?
True
Let a(b) = -2*b**3 - 2*b**2 + 27*b + 2. Is a(-17) a composite number?
True
Let a(f) = 101*f**3 - 14*f**2 - 28*f + 169. Is a(6) prime?
True
Let a = -803 - -1434. Is a prime?
True
Suppose 0 = -3*l - 6 + 18. Let i be (-4)/l*(-950 - -2). Suppose 0 = -2*u - 2*u + i. Is u composite?
True
Let j be (2 + -3)/(1/3). Let i be 1 + j - 1 - 297. Is ((-6)/(-4))/((-18)/i) a composite number?
True
Let k be -1 + 0 + 7/21*9. Suppose -5*g + 2*t - 2454 = -10165, k*t = g - 1547. Is g a prime number?
False
Let x(m) = -178*m + 2. Let r be x(-2). Let n(s) = -s**3 - 24*s**2 - 46*s - 30. Let z be n(-22). Suppose 0 = -z*t + 16*t - r. Is t composite?
False
Suppose -8175 = -3*f + 3*x, -9*x + 8163 = 3*f - 8*x. Is f prime?
False
Let j = -26 - -20. Let r(b) = 6*b**2 + 11*b + 5. Let v be r(j). Let c = -66 + v. Is c a prime number?
True
Let p be (-2154)/(-18) + (2/6 - 1). Suppose z - 23 = p. Is z prime?
False
Suppose 0 = -4*b + 27 + 9. Suppose -b = -3*d - 3*j, -5*d + 3*d - j + 9 = 0. Suppose 2*f = -k + 178, -4*f + k - d*k = -344. Is f a prime number?
False
Suppose -7*n - 30 = -4*n. Let p(s) = 37*s - 11. Let q be p(n). Is q/(1 - (-5)/(-2)) a prime number?
False
Let s = -24 + 33. Suppose -l + u = -u - s, -4*u + 15 = l. Is l prime?
True
Let t(m) = 8*m - 2*m + 0*m - 2*m + 54*m**2 - 3. Let g be t(2). Is 2 - (g/(-1))/1 composite?
False
Let q(o) = o**2 - 17*o - 299. Is q(-18) composite?
False
Let v = 1843 + -486. Is v composite?
True
Let y = -1 + 7. Let h be (-35)/(-15)*1*y. Suppose 5*i + h = 609. Is i a prime number?
False
Suppose 0 + 27 = -3*s. Let b = s - -14. Suppose 0 = -k + b*k - 556. Is k a composite number?
False
Let v(w) = 1360*w - 359. Is v(18) composite?
False
Suppose -12*h + 19*h = 239981. Is h a composite number?
False
Is 5/(5/(-2)) + (12 - -1197) a prime number?
False
Let b(x) = -36*x**2 + 3*x + 4. Let h(s) = 36*s**2 - 3*s - 3. Let l(q) = -3*b(q) - 2*h(q). Is l(-7) composite?
True
Let y(a) = -19*a + 2. Let o be y(-1). Suppose o*i = 17*i. Suppose 3*w - 59 - 2530 = i. Is w a prime number?
True
Suppose 5*a + 4*v + 20 - 61 = 0, 3*a + 5*v - 35 = 0. Suppose -a*q + 59 = -296. Is q prime?
True
Suppose 2 = 4*v - 10. Suppose v*t + t = 8. Suppose 4*p + 4*z - 1687 = -p, -t*z = -3*p + 999. Is p a composite number?
True
Suppose -2*o - o + 6717 = 4*j, -5*o - 5*j + 11195 = 0. Let u = o + -1026. Is u a prime number?
True
Suppose -4*b + 6669 = -3607. Suppose 3*o + z = -o + b, -4*z = -o + 621. Is o a prime number?
True
Let q(c) be the second derivative of 2*c**5/5 + c**4/4 + 7*c**3/6 - 23*c**2/2 - 23*c. Is q(5) a composite number?
False
Suppose 175 = 5*r + 2665. Let i = -295 - r. Is i composite?
True
Let i = 39 + -22. Let k = -12 + i. Suppose -w - 20 + 98 = 2*v, -5*w = k*v - 205. Is v a prime number?
True
Let x be 1 - -3*(-4)/(-6). Suppose -5*p = 2*a + 5 + 5, x*p + 6 = -a. Suppose -3*l = -a*z - z + 146, 3*z - 414 = 3*l. Is z prime?
False
Suppose 1585021 + 491159 = 30*a. Is a prime?
False
Suppose 0 = -3*y - d + 9, d = -d. Suppose -y*r + 428 = 56. Let b = r + -87. Is b prime?
True
Suppose 0 = -o - 2*y + 15869, -2*o + 31734 = 8*y - 3*y. Is o composite?
False
Let o(q) be the third derivative of q**5/60 - q**3/2 + 11*q**2. Let p be o(2). Is ((-86)/6)/(p/(-3)) composite?
False
Suppose 108 + 134 = b. Suppose 5*u + 2*d = 830, 593 = 5*u + d - b. Suppose 0 = -2*i - 3*x + 124, 5*x = -5*i + u + 137. Is i composite?
False
Let y = 46 + -50. Let k(a) = 2*a**3 + 9*a**2 + 4*a - 1. Let i(p) = -p**2 - p. Let j(z) = -4*i(z) - k(z). Is j(y) a composite number?
True
Suppose 4*c - 2*c + 1510 = 3*u, 0 = -5*c - 2*u - 3756. Let y = 283 + -654. Let p = y - c. Is p a composite number?
True
Suppose 22 = -5*r + 7. Let c = 1 - 1. Is c + 266 - (r - -6) a composite number?
False
Suppose 2*l - 4 = -0*l. Let w = -1729 - -2891. Suppose 2*c = -4*q + 1162, 6*c = 8*c - l*q - w. Is c a composite number?
True
Let r = 19 + -14. Suppose 0 = c - 2*w - 22, -r*w - 4 - 6 = -c. Is 64/10 + 18/c a composite number?
False
Let t(q) = -q**2 - 21*q + 26. Let k be t(-22). Is (-1)/(2/(-6)) - (-414 + k) composite?
True
Suppose 6*u - 4*u = -14. Let d(z) = z**3 + 18*z**2 + 9*z + 9. Is d(u) prime?
False
Let d(f) = -2*f**2 + 11 - 3 + 0*f**2 - f - 1. Let j be d(-6). Let l = j + 128. Is l a prime number?
False
Let n(z) = -2*z**3 + 47*z**2 + 112*z - 82. Let w(l) = -l**3 + 24*l**2 + 56*l - 41. Let d(h) = -6*n(h) + 13*w(h). Is d(30) composite?
True
Let v = 5458 - 2918. Is v/(-40)*-1*2 a prime number?
True
Suppose 15918 = -2*r + 4*r - f, -3*r + 23903 = 5*f. Is r a composite number?
True
Let y be ((-4)/2)/(1/(-2)). Let h = 6 + -4. Is (h - 48)/(y/(-6)) a composite number?
True
Let c(g) = -g**3 - 8*g**2 + 13*g - 12. Let j(q) = -q**2 - 12*q + 18. Let s be j(-14). Is c(s) prime?
False
Suppose 0 = -3*m - 1153 - 1778. Let g = 1726 + m. Is g a prime number?
False
Suppose 0*l - 2*l = -190. Suppose 0*t = 3*t + 198. Let y = l - t. Is y prime?
False
Suppose -4*b + 39775 = b. Let o = b + -3742. Is o a prime number?
False
Let z(a) = 3 - 7*a**2 + 7*a**2 - a**2 + 4*a + 2*a**2. Let m be z(-4). Suppose -4*o + 364 = 4*i, -m*o = 2*i - 205 + 27. Is i a prime number?
False
Suppose -r - 3688 = -2*k, r + 3890 + 1642 = 3*k. Let d = -967 + k. Is d composite?
False
Let d(z) = 84*z - 19. Is d(13) a prime number?
False
Let k = 11191 - 6473. Suppose -3*d = -4879 - k. Is d prime?
False
Let r = 137 - -9798. Is r prime?
False
Let h(q) = -q**2 - q. Let u(t) = -19*t**2 - 17*t - 53. Let l(y) = 4*h(y) - u(y). Is l(18) prime?
True
Let y(h) = 18*h + 26. Let l be y(11). Suppose 4*n - d - 381 = 0, -2*n + 3*d + l = 21. Is n composite?
True
Let j = -11 + 17. Suppose 44 = j*p + 14. Suppose 0 = -2*m - 2*l + 1076, 3*l = -4*m + p*l + 2134. Is m composite?
True
Let p = -8 - -20. Let c be -3*(-64)/p - 2. Is (-4)/c + (-3933)/(-21) a composite number?
True
Suppose -377 = 13*h - 14*h. Let o = h + 1022. Is o prime?
True
Let t(q) = -232*q + 321. Is t(-26) a prime number?
True
Is -4 + ((-148616)/(-3) - 2/(-6)) prime?
False
Suppose 18123 = 3*a - 19788. Is a a prime number?
True
Is -28019*4/8*(-4 - -2) a composite number?
False
Let z(b) be the second derivative of b**4/6 + b**3/6 - 4*b. Let l be z(1). Suppose o + 3*u - 121 = 0, l*o - 2*u - 156 - 185 = 0. Is o prime?
False
Suppose 2*n = 6*n - 52. Let v = -8 + n. Suppose -1070 = -v*m + 115. Is m prime?
False
Suppose 450 = -18*k + 27108. Is k prime?
True
Let v = -157 - -156. Let d(c) = -2018*c**3 - 3*c**2 + 2. Is d(v) prime?
True
Suppose 0 = 5*c - 87911 - 29744. Is c prime?
True
Let h = -27 - 38. Let s = 35 + h. Is -4 + 2 + -2 - s a composite number?
True
Let u = -1048 + 1835. Is u composite?
False
Suppose 0 = -4*v - 5 + 17. Let d(h) = h**3 - h - 1. Let l(u) = -10*u**3 - u**2 + 3*u + 10. Let j(g) = -5*d(g) - l(g). Is j(v) 