False
Let k be 10/3*3/(-2). Let a be k/(-5) + 2*-1. Is a*(0 + -1) + 141 a prime number?
False
Let d(s) be the first derivative of s**2/2 - 2*s + 2. Let p be d(2). Suppose 0 = -o - o, -2*l + o + 518 = p. Is l a prime number?
False
Let h(n) = 5*n**2 - 3*n + n**2 - n - 22 + n**2. Is h(7) composite?
False
Let s(j) = -j**3 + 5*j**2 + 0*j**3 + 0*j + 5 - 5*j - j. Let l be s(3). Suppose -57 = -l*p + 178. Is p composite?
False
Suppose 0 = 7*a - 2*a. Let j(s) = 5*s**2 + 7*s + 11. Let h be j(-3). Suppose 3*k + 12 = -o + h, -5*o - k + 185 = a. Is o a prime number?
False
Suppose p - 17150 = -3*u, p - 4*u - 3247 - 13938 = 0. Is p a prime number?
False
Let r = -5127 + 9454. Is r a composite number?
False
Let x(q) = -q**3 + q**2 + q + 1. Let g(u) = -20*u**3 + 8*u - 1. Let v(w) = -g(w) + 6*x(w). Is v(5) a composite number?
True
Suppose -2*m - c - 10 = 0, 6 = -4*m + 2*c + 2. Let b = 5 - m. Suppose b*q - 388 = 4*q. Is q prime?
True
Let i(s) = 6842*s + 137. Is i(3) prime?
True
Let x(n) = n**3 + 7*n**2 + 9*n - 1. Let a be x(-5). Suppose a*v + v = 7535. Is v prime?
False
Let j = 1158 + 1979. Is j composite?
False
Let v = -550 + 301. Let g = 410 + v. Is g a composite number?
True
Let o be (1/((-5)/6))/((-15)/1100). Suppose 0 = -u - 3*u + 2*j + o, 0 = -5*u + 3*j + 110. Is u a prime number?
False
Let g(n) = -4*n + 6. Let z be g(-7). Suppose 3*u + 5*k - z = 0, u - 6*u = -k - 10. Suppose u*c + 508 = 7*c. Is c a prime number?
True
Suppose -8 = 5*j + 3*s, 2*j - 2*s + 4*s + 4 = 0. Is -23 + 1221 - j*1 composite?
True
Suppose 10*s + 3649 = 17759. Is s a prime number?
False
Suppose -3*y - 76 = 20. Let l be y/112 + (-16)/(-7). Suppose a = l*a - 161. Is a a prime number?
False
Let p(y) = -y + 4. Let t be p(4). Suppose -4*d + n + 51 = t, 0 = 2*d - 0*n + 4*n - 48. Is d prime?
False
Suppose -5 = 5*j - 30. Suppose j*b = -3*z + 561, -3*b = 3*z - 603 + 42. Is z a prime number?
False
Suppose -4*w + 6 + 6 = 0. Suppose k + w*k = -512. Let h = 137 - k. Is h composite?
True
Let d be -17*(-9 - (4 - 0)). Suppose -z + 6*z + 3*u - 230 = 0, d = 4*z - 5*u. Let l = -15 + z. Is l prime?
False
Let i(k) = 194*k**2 - k + 33. Let v(d) = -65*d**2 - 11. Let p(z) = 4*i(z) + 11*v(z). Is p(-6) a composite number?
True
Suppose -2 = -t - o, 5 = -4*t + 2*o + 1. Suppose 7*k - 12*k - 530 = t. Is (-6)/2 - (k + -6) composite?
False
Let k = -84 - -89. Suppose k*j - 4828 = j. Is j composite?
True
Suppose 2*s - 168 = 2*a, a + a + 253 = 3*s. Suppose f = 6*f - 2080. Suppose k - f = -s. Is k prime?
True
Let s be (-101295)/(-30) - (-2)/(-4). Suppose -7*j = j - s. Is j a prime number?
False
Let j(g) = -g**2 - g + 2727. Let f be j(0). Suppose 7*k - f + 914 = 0. Is k composite?
True
Suppose -h - 4*h + 680 = 0. Let k = 467 - h. Is k composite?
False
Let c(z) = 11*z**2 - z + 7. Let h = -46 + 50. Is c(h) composite?
False
Let z(f) = f**3 + 8*f**2 + 9*f + 8. Let r be z(-7). Let i be r/2*(-104)/3. Suppose o = -k + 149, -3*k + 5*o + 551 = i. Is k a prime number?
True
Suppose 50*s + 13630 = 55*s. Suppose -5*g = 4*r - 2747, 2*r + 2*r = 2*g + s. Is r composite?
False
Let o be (0/(-2) - 0)/4. Suppose -7*v + o*v = -5866. Is v composite?
True
Let r = 673 + -160. Let x = r + -356. Is x a prime number?
True
Suppose 4*r - 7*f + 8*f - 5911 = 0, 4*f = 12. Is r composite?
True
Suppose 202*w = 200*w + 2554. Is w composite?
False
Let r(h) = 10*h**2 - 2*h + 6. Let o be r(-5). Suppose -473 = 40*c - 29*c. Let f = c + o. Is f a prime number?
True
Suppose 377*w - 372*w - 6265 = 0. Is w prime?
False
Let d(i) = -i**3 + i**2 + 4*i - 5. Let k = -43 + 61. Suppose -4*u - 3*r = -9*u - k, 0 = -3*u + 5*r + 2. Is d(u) a composite number?
False
Let n = 10367 - 174. Is n composite?
False
Let a(i) = -94*i + 2. Let f be a(-8). Let y = f - -505. Is y composite?
False
Let q(o) = 11244*o**2 - 2*o + 13. Is q(3) a prime number?
True
Let g = 10 + -10. Let t(z) = 2*z + z - 7*z**2 + z**3 + g*z + 1 - 3. Is t(7) composite?
False
Suppose 5*r - h = 47 + 68, -5*h - 91 = -3*r. Is (r/3)/((-4)/(-186)) a composite number?
True
Let v(x) = 1. Let n(y) = 33*y**2 + 11*y + 6. Let h(z) = n(z) - 3*v(z). Is h(-7) prime?
True
Suppose 0 = -3*h + s + 9, -2*h - 5*s + 31 = 2*h. Suppose 5068 = h*l - 4*y, -2*y = 3*l - 2876 - 905. Let w = l - 614. Is w composite?
True
Suppose s - 2*s + 2053 = 0. Let c = 1402 + s. Is c prime?
False
Suppose 2*v + c = 2*c - 19, 0 = v + 3*c + 13. Let m be 189 + 5*(-4)/v. Suppose 0 = 4*i - 3*i - m. Is i a prime number?
True
Let p(y) = y**2 - 14*y + 17. Let h be p(13). Suppose -h*j - 18 = -2*j. Let c(v) = -22*v - 11. Is c(j) a composite number?
True
Let l = 73394 - 17145. Is l a composite number?
False
Let i be (-760)/(-55) + (-6)/(-33). Suppose -i*f = -17*f + 1587. Is f a prime number?
False
Suppose 0 = 6*t - 12229 - 935. Is t/(-1 + 3)*1 a composite number?
False
Let f = -2703 - -687. Let z = 2855 + f. Is z composite?
False
Let o(z) = 10*z**2 - 19*z + 11. Suppose -s + 5*v + 3 = -10, 2*s - 4*v = 26. Let x(m) = -21*m**2 + 39*m - 22. Let q(b) = s*o(b) + 6*x(b). Is q(8) prime?
True
Let t(s) = 8*s**2 + 4*s - 7. Let z be t(5). Suppose 3*o + 5*m = 997, 0 = o + 4*m - 124 - z. Suppose n + o = 2*n. Is n prime?
False
Suppose -3*g - 11*y = -7*y + 5, -4*g = 3*y - 5. Let x be 1171/3 - (-2)/3. Suppose g*l = x + 184. Is l a prime number?
False
Is -10 + 15 - (-2 - 682*3) prime?
True
Suppose 2*m - 8 = 3*i + 30, 5*m - i = 69. Let q be (-4)/(-10) - 7993/(-5). Suppose -m*k + 10*k = -q. Is k a composite number?
True
Suppose 8*t - 7485 = 7403. Is t a composite number?
False
Suppose 2*w - 5*m = 6, -4*w + 12 = 3*m - 5*m. Let z(g) = -7 + 11 + 3*g + 6. Is z(w) a prime number?
True
Let o = 4296 + -2453. Is o a prime number?
False
Suppose -3819 = 4*u - 7*u. Suppose -2*o + 533 = -u. Let n = o + -610. Is n a prime number?
True
Suppose 3*u = k - 0*u - 5, -3*k + 2*u + 1 = 0. Is (0 - (-712)/6) + k/(-3) a composite number?
True
Let s be (-1)/3 - (-38324)/33. Suppose 0 = 4*d - 971 - s. Is d prime?
False
Let t(z) = -z**3 - 7*z**2 + 5*z - 20. Let w be t(-8). Suppose w*g - 3*r - 1255 = 2778, 2*r = 3*g - 3025. Is g a composite number?
False
Suppose -2*d - 3*d - 3 = z, 2*z + 6 = -5*d. Let a = z + 8. Suppose -3*x + 0*x + 1566 = -3*b, -a*x - 3*b + 2650 = 0. Is x a prime number?
False
Let m(d) = 2*d**2 - 6*d - 11. Let w be m(5). Suppose 2*q + o = 3*q - 484, -w = -3*o. Is q composite?
False
Let i = -123 + 1522. Is i prime?
True
Let y = 13657 + -4976. Is y a prime number?
True
Let z(o) = 133*o**2 + 3*o + 2. Let i be z(-4). Let y = -1177 + i. Is y composite?
False
Suppose 23*q - 27*q = -20. Is -5 + 137 - q/1 composite?
False
Suppose 0 = -0*j + 3*j + 3. Let y(x) = -14*x. Let p be y(j). Is (-198)/(-4) - 7/p prime?
False
Let k be (-104268)/52 - ((-60)/52 - -1). Let z = k - -3628. Is z composite?
True
Let m(f) = -f**3 - 9*f**2 + 23*f + 15. Let a be m(-11). Suppose z + a*i = 2*z - 329, z = 5*i + 327. Is z prime?
True
Suppose -13851 - 38404 = -5*v. Is v composite?
True
Suppose 4*p = 20, 0*o + 4*p = -2*o + 20. Let x be o*-2*(-1)/(-4). Is (x - 38)*(-7)/2 composite?
True
Let u(o) = 36*o**2 - 47*o + 363. Is u(34) a prime number?
False
Suppose 2*a + 5*i = 1949, 3*i + 0*i = -4*a + 3905. Is a prime?
True
Let d(w) = 437*w + 551. Let f(o) = -19*o - 24. Let m(l) = -5*d(l) - 114*f(l). Is m(-4) composite?
True
Suppose 3*f - 4*a + 5*a + 594 = 0, -391 = 2*f - a. Suppose -3*v = 21 - 2847. Let m = v + f. Is m a prime number?
False
Is (2 - 4) + 695 - 2 a composite number?
False
Let d = -24 + 28. Suppose -d*i = -11*i + 1757. Is i a prime number?
True
Suppose 5*x - 714 = 2*q + 659, 2*x - 555 = -5*q. Suppose 1618 = -n - x. Is (-1)/((6/n)/2) composite?
False
Let k(o) = -3*o**2 - 12*o - 13. Suppose 3*x + 40 = -x. Let d be k(x). Let y = d - -351. Is y composite?
True
Let t be 18/(-4)*28/(-21). Let v = t + -4. Is (v - (-3 - -3)) + 75 composite?
True
Suppose 0 = -2*h - 3*h - 3*w - 2, 5*h - 2 = -2*w. Suppose 5*g = 4*d + 42, 18 = g + 3*g + h*d. Is 2/g - (-624)/18 a prime number?
False
Suppose 47340 = 10*x + 10*x. Suppose -x + 213 = -6*n. Is n composite?
False
Let h = 18 + -18. Is 1/2*(-4476)/(-6) - h prime?
True
Suppose 16*x = -3*x + 208867. Is x a prime number?
True
Let f(q) = q**3 + q**2 + q + 679. Let t(b) = b**3 + 3*b**2 - 5*b - 4. Let w be t(-4). Is f(w) composite?
True
Suppose -5*w = -3*u - 0*u - 367985, -2*w = 3*u - 147194. Is w a 