
True
Let p(s) = s**2 + s - 3. Let r be p(0). Let o be (-14)/2 - (r + 1). Let g = 28 - o. Is g a prime number?
False
Let y = -159 + 230. Is y composite?
False
Let f = 43 - 18. Is f a composite number?
True
Is (6590/15)/((-2)/(-3)) prime?
True
Suppose 0*z - 3*z - 5*x = 2, 19 = -z + 2*x. Let c(t) = 2*t**2 + 12*t - 1. Is c(z) a composite number?
False
Suppose 0 = 3*w - 2766 + 171. Is w prime?
False
Suppose 3*w = 2 + 46. Let p = -8 + w. Is 0 - ((-2 - p) + -3) a composite number?
False
Is (-2)/(-2) - 954*(6 + -9) composite?
True
Let w = -4 - 0. Is (-17)/((w/2)/6) a composite number?
True
Let g(a) = -a**2 + a + 469. Let x = 15 - 15. Is g(x) composite?
True
Suppose 4*y = -3*l + 88, 6*y - 143 = -5*l + 3*y. Suppose 2*b + 20 = 3*d, 0 = 4*b - 0*b - 3*d + l. Is (-72)/b - 1/(-1) a composite number?
False
Let i(x) = 41*x - 48. Is i(11) a prime number?
False
Let b(h) = -2*h + 25. Is b(-13) prime?
False
Let x be ((-1)/(-2))/((-2)/(-24)). Suppose x*i = 3*i + 45. Is i prime?
False
Suppose 0*i - 4*i + 768 = -v, 0 = 4*i + 4*v - 748. Is i a composite number?
False
Suppose 4*h + 528 = 4*k - 0*k, -4*k - 4*h = -488. Is k composite?
False
Let m(b) = 1. Let a(u) = 33*u + 3. Let g(r) = a(r) + m(r). Is g(5) a prime number?
False
Suppose 5*t - 3610 = 7465. Suppose -j - t = -6*j. Is j composite?
False
Let i(x) be the second derivative of -2*x**3 + x**2 - x. Let n(v) = 23*v - 5. Let r(o) = 5*i(o) + 3*n(o). Is r(10) prime?
False
Suppose -5*j + 4 = -11. Is 2/j + (-265)/(-3) a composite number?
False
Let i(x) = 22*x - 5. Is i(6) a prime number?
True
Let v(c) be the first derivative of c**4/4 - 2*c**3/3 - 2*c**2 - 2*c - 2. Is v(5) a prime number?
True
Suppose -8 = -4*m - 0. Suppose 4*i - 3*i - m = 0. Suppose -i - 2 = -2*q. Is q a prime number?
True
Is 761 - (0/3 - 0) prime?
True
Is (0 + 66)*(-63)/(-14) + -2 prime?
False
Suppose -d - 5 = 0, -5*c - 3*d - 17 = -3*c. Let k(g) = 84*g**2 + 1. Is k(c) prime?
False
Let a = 8 + 0. Let i(r) = -2*r - 3. Let k be i(a). Is (-2 - 0)/(2/k) a prime number?
True
Suppose 3*t - 4252 = -2*u, -2*t = 3*u - 3485 - 2898. Is u a prime number?
True
Let f(b) = -b**2 - 4*b - 1. Let d be f(-3). Suppose 74 = 2*u - 2*v, -u + d*u - 17 = -4*v. Is u a composite number?
True
Let c = -197 - -608. Is c prime?
False
Is 1*((-8)/8)/((-1)/557) prime?
True
Suppose -3 = -x - 0*x. Suppose 0*y + 3*y + x*k = 180, -4*k - 166 = -3*y. Is y a prime number?
False
Is (-1 - 0)/((-2)/(-2836)*-2) prime?
True
Suppose -5*y + 1813 = 2*t, -5*t = -3*y + 2*y + 368. Suppose -253 = -3*o - 2*r, -4*o + y = 2*r + 27. Is o prime?
True
Suppose q - 4*t + 17 = 0, -q - 2*t + 7 = -6. Suppose -2*r = -q - 251. Suppose -4*x = 4*w - 348, -49 - r = -2*x - w. Is x a composite number?
False
Let u be (-1 - 320) + (1 - 0). Let r = u - -476. Suppose 3*d - r - 75 = 0. Is d a composite number?
True
Let f = 27 - -41. Let u = 170 - f. Let o = u + -33. Is o a composite number?
True
Let d(v) = 27*v**2 + 4*v + 11. Is d(-2) composite?
True
Let s(g) = -7*g - 8*g + 3*g + 6. Let r be s(4). Let v = 61 + r. Is v composite?
False
Let n = 101 + 44. Is n composite?
True
Let z be (2 - 1 - -4) + 0. Suppose 0 = 5*d + z*m - 185, -5*m - 129 - 19 = -4*d. Let f = -16 + d. Is f a composite number?
True
Let q = 0 + -3. Let v(a) = 2*a**2 - 2. Let z be v(q). Is (-6)/(-9) - z/(-3) a composite number?
True
Let o(c) = 2*c**2 - 3*c + 2. Is o(-9) composite?
False
Suppose l + 2*l = 141. Is l composite?
False
Let w(q) = -7*q**3 + 2*q**2 + 2*q + 1. Let b be w(-1). Suppose -5*i + 283 = b. Is i a prime number?
False
Let l = 8 + -2. Suppose -l*a + 4*a = 0. Suppose -b + 32 + 5 = a. Is b a composite number?
False
Let m(a) = -2*a**2 + 3*a - 13. Let f be m(12). Let n = 443 + f. Is n composite?
True
Suppose -72*a + 3278 = -70*a. Is a a composite number?
True
Let m(t) = 420*t**2 - 2*t + 1. Let c be m(2). Suppose -5*y = 402 - c. Let d = -140 + y. Is d prime?
False
Suppose -30 = 4*p - p. Let n = 16 + p. Suppose 0 = 5*y - s - 51 + 18, 2*s = -n. Is y prime?
False
Let h(g) = -g**2 + 9*g. Let f be h(9). Suppose -13 = -4*m + 23. Let c = f + m. Is c prime?
False
Suppose -1366 = -w + 697. Is w a composite number?
False
Let z(f) = f**2 + f. Suppose 5*b + 5*w = -40, 2*w - 8 = -2*b + 4*b. Let l be z(b). Suppose 0 = 2*k - l - 8. Is k prime?
True
Suppose -3*t + 9 = -2*b, 0 = -t - 4 + 3. Let x be (0/2)/(7 + b). Suppose x = -p + 4*i + 49, -3 = -2*i + 5. Is p composite?
True
Suppose 0 = -z + 2. Suppose -4*f + 516 = g + 3*g, -f = -4*g - 104. Suppose -2*p - z*p = -f. Is p prime?
True
Suppose -302 = v - 1207. Is v a prime number?
False
Let x(p) = -78*p - 24. Let a(i) = 26*i + 8. Let s(t) = -8*a(t) - 3*x(t). Let z be s(7). Suppose -75 = -5*y + z. Is y a prime number?
True
Let p = 4 + -4. Suppose -4 = -i - p*i. Suppose 6*q = q + c + 118, q - 35 = i*c. Is q prime?
True
Let k = 251 - 140. Is k a prime number?
False
Let z be 88/(-10) - (-1)/(-5). Let l(r) = -19*r - 2. Is l(z) a composite number?
True
Suppose 0 = -0*y + y + 21. Let j = y + 56. Is j prime?
False
Suppose -a - 2*a + 237 = 0. Suppose 0 = 3*y - c - a, 3*y - 2*c - 73 = 2*c. Suppose y + 15 = 3*p. Is p prime?
False
Let f be 514/(-8) + (-1)/(-4). Let s = -45 - f. Is s a prime number?
True
Suppose 7*a = 2*a + 30. Let j(w) = w**2 - 7*w + 9. Let n be j(a). Suppose 0 = -n*h + 41 + 316. Is h a prime number?
False
Let d(g) = g**2 + 4*g - 6. Let z be d(-6). Is ((-9)/(-6))/(z/2732) composite?
False
Suppose h - 6 = 3*h, -5*h - 45 = -5*m. Suppose 0 = -q + m*q + 5. Is 16 + (0 - 0) + q a composite number?
True
Suppose -2*q - 79 = 109. Let t be 3/(15/q)*-5. Suppose 2*o - 148 = t. Is o a composite number?
True
Let y = 332 - 85. Is y prime?
False
Is 7905/27 - 6/(-27) a prime number?
True
Is 3/(1/2361*9) a prime number?
True
Suppose 5*a + 4*p = 1455, 0 = -3*a + 2*p + 2*p + 873. Is a prime?
False
Let n = -642 - -906. Let b be ((-4)/(-6))/((-4)/(-606)). Let d = n - b. Is d a prime number?
True
Let i be (-1 - 0)/((-2)/6). Let d be i/9 + 1414/6. Let k = d + -87. Is k prime?
True
Let b = 5 + -10. Let x be 210/(-25) - 2/b. Let q = 2 - x. Is q prime?
False
Let f be (780/9)/((-2)/(-6)). Suppose 2*k = -3*k + f. Suppose -5*g + k = -g. Is g a composite number?
False
Suppose -7*q + 222 = -q. Is q prime?
True
Let x = 8 - 3. Suppose -4*b + q + 76 = x*q, -3*b + 5*q = -25. Is b a composite number?
True
Let i be (12/(-10))/(8/(-20)). Is (0 + -75)*i/(-9) composite?
True
Let l = -723 - -2141. Is l composite?
True
Let f(k) = k**3 + 6*k**2 - 8*k - 7. Let o be f(-7). Suppose -b + 5*l + 114 = o, -2*b + b + 149 = 2*l. Is b composite?
False
Suppose 4*g = 1551 + 16093. Is g composite?
True
Let j be (-3)/((-3)/100*2). Suppose -3*u = -l - 113, -4*u + 108 = -5*l - j. Is u prime?
True
Suppose 2*z - m - 2957 = 0, -z + 4*m + 1676 = 187. Is z composite?
True
Let p = 4 - 0. Suppose p*v - 2*o - 16 = 0, -2*v + 3*v + 5*o = 26. Is v a prime number?
False
Is 6/8 + (-849)/(-4) composite?
True
Let o(i) = i**3 + 18*i**2 + 11*i - 5. Is o(-16) prime?
True
Suppose -4*b - 12 - 5 = -3*w, 3*w = -4*b + 1. Suppose 2*g - 70 = -w*g. Is g prime?
False
Let s(h) = 150*h**3 - h**2. Is s(1) composite?
False
Let s(p) = -p. Let v be s(-1). Let f = -1 + -1. Is (-23)/(-1) + f/v composite?
True
Suppose -2*m = v + 2*v - 2139, -3*v + 2139 = 3*m. Is v a prime number?
False
Suppose -y - 5*k = 3*y - 1516, -5*y + 2*k + 1895 = 0. Is y a prime number?
True
Let t(r) = 388*r**2 + r. Is t(1) a prime number?
True
Suppose -z = -5*z + 124. Is z composite?
False
Let z = -7 + 5. Let x be 184/(-56) - z/7. Is 118 + -4 + (-3)/x prime?
False
Suppose 6*h = -134 + 6392. Is h a prime number?
False
Let u = -5 + 2. Let f = u - -4. Is (186/3)/(f + 1) prime?
True
Suppose -8*g - 737 = -9*g. Is g a composite number?
True
Let w(z) = z**3 + 8*z**2 + 3*z - 5. Let b be w(-5). Suppose -b = -6*x + x. Is x composite?
False
Let d(l) = 52*l**2 - 4*l - 1. Is d(-5) a prime number?
True
Let o be (-16)/(-5) - (-7)/(-35). Suppose o*c + 6*l - l - 464 = 0, 3*c + l = 484. Is c a prime number?
True
Let r be 3/(-6) - (-1204)/8. Is (-3)/6 - r/(-4) composite?
False
Is ((-3)/(-6))/((-2)/(-14108)) composite?
False
Suppose -254 = -2*r + 2*w, r - 4*r + 391 = 2*w. Is r a prime number?
False
Is ((-2098)/4 - -3)*(-6)/3 a prime number?
False
Let c(z) = -37*z**2 - 2*z + 3. Let b = 4 + -7. Let p be c(b). Let g = -137 - p. Is g a composite number?
Tr