True
Let z(c) = -69*c. Let r(a) = -a. Let m(v) = 230*r(v) + 5*z(v). Let w be m(-1). Suppose -p = -6*p + w. Is p composite?
True
Suppose 2*n - 2348 = 4*s, n + 3*s - 2334 = -n. Is n/4 + 4/8 a prime number?
True
Suppose 4*k - 1500 = 4*g, -g + 0*g + 2 = 0. Is k composite?
True
Suppose 453 - 72 = 3*r. Is r composite?
False
Let i be (2 + 1)*2/3. Let v be (-12)/9*6/(-4). Suppose -5*k + 3*l - v*l = -636, i*k - l - 255 = 0. Is k composite?
False
Let k(x) = -13*x - 4. Suppose -4*a - 12 = 0, -3 = -4*h - 3*a - 36. Is k(h) prime?
False
Suppose i - 3*i = 2. Let b be (-7)/14 - 15/2. Let y = i - b. Is y a prime number?
True
Suppose -2*r = -3*l - 0*l + 625, 5*r = 4*l - 824. Is l a composite number?
False
Let b = 2 + -6. Let s be b/6 + 87/9. Let y(p) = p**2 - 6*p + 7. Is y(s) a composite number?
True
Let r(s) = -19*s**2 + 9*s. Let d(j) = -j**2 - 1. Let y(n) = d(n) - r(n). Is y(4) prime?
True
Is (1768/12)/((-6)/(-9)) composite?
True
Let b = 15 - 18. Is (4 + b)/((-3)/(-2151)) composite?
True
Let x(m) = 3*m**2 - m. Let r be x(1). Suppose 0 = o + t - 36, -r*o - 3*t - 220 = -7*o. Let n = o + -22. Is n a prime number?
True
Suppose 0 = -5*p + 4*r + 844, -3*p + 500 = -6*r + 2*r. Let z(q) = -q**3 - 2*q**2 + 6*q - 3. Let x be z(4). Let g = x + p. Is g a composite number?
False
Let x = 310 + -107. Is x a prime number?
False
Let l(h) = 17*h + 3. Let t(y) = -8*y - 1. Let j = 1 - -4. Let f(d) = j*t(d) + 2*l(d). Is f(-2) prime?
True
Let g(d) = 79*d**2 + d - 43. Is g(-7) a prime number?
True
Let b be (-194)/(-22) + (-2)/(-11). Let y = -44 + 14. Is ((-12)/b)/(4/y) composite?
True
Let h(y) = -138*y - 1. Suppose -2*n + n - 3 = 0. Is h(n) a composite number?
True
Let x(p) = -105*p + 2. Is x(-5) a composite number?
True
Let p(c) = -c**2 + 6*c + 1. Suppose 0*a + 4*a - 16 = 0. Suppose a*z - 10 = 2*z. Is p(z) composite?
True
Let d = 89 + -56. Is 58*(-2 - d/(-6)) prime?
False
Let q = 1148 - 779. Suppose -q = -10*g + 7*g. Is g prime?
False
Suppose -3*n + 0*n = -105. Is n composite?
True
Suppose 2*f = 4*b + 2, 0 = -2*f - 5*b + 2*b + 16. Suppose 4 + 6 = f*y. Is 16 + y + -2 + -2 a prime number?
False
Suppose 2*z = 5*l + 275, -276 = 3*l - 5*z - 92. Is 4/6*(-2 - l) prime?
False
Suppose -3*w = -8*w + 175. Is w a composite number?
True
Let r(v) = v**3 - 13*v**2 + 2*v + 3. Let c be r(9). Let z = c - -570. Is z a prime number?
False
Suppose -2*z + 297 = 79. Is z composite?
False
Let f(h) = 15*h + 21. Let n be f(15). Is n*3*4/24 composite?
True
Suppose 0 = -o - 2*o + 3, 5*o - 7 = -u. Let k(a) = a**2 + 0*a**u - a**2 + a + 37 + a**3. Is k(0) a prime number?
True
Let p = -1 - -150. Is p composite?
False
Let p be 3*3 + (0 - -1). Suppose -4*c - 5*k = -0 - 3, 0 = -5*c - 5*k + p. Is c composite?
False
Let h(f) be the first derivative of -f**3/3 - 11*f**2/2 - 3*f + 4. Let n(i) be the first derivative of h(i). Is n(-10) a prime number?
False
Suppose 1816 = 5*q - 5979. Is q prime?
True
Let n(d) = 1 + 0 - 2 + 6*d + 0. Let v be n(1). Suppose -v*p - 5*f + 670 = 0, -3*p + f + 499 = 109. Is p prime?
True
Suppose -4*n = n + 195. Let m = 56 - n. Is m composite?
True
Let c(j) = -2*j**3 - 10*j**2 - 3*j - 11. Is c(-8) composite?
False
Suppose -345 = -7*j + 4*j. Suppose r + g = j, 3*r - 4*g = 2*r + 95. Is r a prime number?
False
Let u(m) = -91*m**3 + m + 1. Is u(-1) composite?
True
Is (-127)/((-4)/2 - -1) composite?
False
Let i = 14 - 12. Suppose 0 = -q + 41 + 118. Suppose i*h - q = -h. Is h a prime number?
True
Suppose 4*b - 4 = 0, i - 2*i - 3*b = -10. Is (-6)/(-21) - (-96)/i a composite number?
True
Let t(c) = 4*c + 16. Let m be t(-5). Is (23 + 3)/(m/(-58)) prime?
False
Let l = 1 - 3. Let a be (-12 - -6)*l/4. Suppose a*h + 3*v = 222, -47 = -h - 5*v + 15. Is h prime?
False
Let f(q) be the first derivative of q**4/4 - 2*q**3/3 + q**2/2 - q - 2. Suppose 2*l - 6*l = -16. Is f(l) composite?
True
Let y be (-36)/(-10) + (-16)/(-40). Suppose 5*w - 165 = -2*o, -y*w = -w - o - 88. Is w a prime number?
True
Let w(h) = -172*h**3 + h**2 - h - 1. Is w(-2) composite?
False
Let z(j) = -j**2 - 9*j + 3. Let w be z(-9). Suppose -5*v - 30 = 5*d, 4 = w*v - 4*d + 43. Is (-713)/v - (-10)/(-45) composite?
False
Let f = -45 + 224. Is f a composite number?
False
Let o(z) be the second derivative of z**5/20 - 11*z**4/12 - 4*z**3/3 + 4*z**2 - 4*z. Let m(n) = n**2 - n - 1. Let q(t) = 4*m(t) + o(t). Is q(9) prime?
False
Is 2/5 - 1866/(-10) prime?
False
Suppose -5*a + 1282 = -4*i, 771 = 2*a + a - 3*i. Is a a prime number?
False
Suppose 2*m - 3*l - 564 = -3*m, l = -m + 116. Suppose 3*i + m = 6*i. Is i a prime number?
False
Suppose -110 = 5*x + 5*s, -5*s - 16 = -4*x - 113. Let r be 1/(-2) + (-151)/2. Let m = x - r. Is m prime?
True
Suppose m = 5*m - 748. Is m prime?
False
Suppose 0 = 3*o + 3*k - 1851, -2*o - 6*k + 1249 = -k. Suppose -5*z - 2*f + o = 0, -4*z = -2*f - 341 - 145. Is z a composite number?
True
Is 8380/36 - 4/(-18) composite?
False
Suppose 0 = -x + 20 + 54. Let n = 4 + -8. Is (x/8)/((-1)/n) a prime number?
True
Is 14894/26 - 54/(-351) composite?
True
Suppose 4485 = 5*l + p - 0*p, 5*l - 4475 = -3*p. Suppose 4*w - 2*w = l. Is w a prime number?
True
Let h(x) = x**2 + 319. Is h(0) a composite number?
True
Let h = 530 - -99. Is h composite?
True
Let o(q) = -19*q. Let m = -12 + 3. Let w be o(m). Suppose -4*r + w = -41. Is r a composite number?
False
Let l(a) = -a**3 + a**2 - 5*a + 3. Let i be l(-4). Let h be 1309/(-55) + (-2)/10. Let s = i + h. Is s a composite number?
False
Let z(b) be the second derivative of -3*b + 0 + 1/12*b**4 - 7/6*b**3 + 11/2*b**2. Is z(8) composite?
False
Let h(w) = w**3 - 9*w**2 + 3*w + 21. Let g(v) = 2*v**2 - v - 5. Let f(c) = -9*g(c) - 2*h(c). Let y be 4/(-10) - 8/5. Is f(y) a prime number?
True
Suppose 0 = z - 5*z - 4. Let a = -1 - z. Suppose -19 = -w - a*w. Is w a prime number?
True
Suppose -283 - 64 = -b. Is b composite?
False
Let g = 12 + -4. Suppose 4*r - 16 = -4*u, -r + u + 2*u - g = 0. Suppose v - 30 = r. Is v a composite number?
False
Let z(r) = -r**2 - r - 1. Let o(t) = -2*t - 29. Let d(f) = o(f) - z(f). Let n be d(0). Let l = n - -41. Is l composite?
False
Suppose 33 + 87 = 2*v. Suppose -u + v = 153. Is 1*u*1/(-3) composite?
False
Let y = -573 - -824. Is y a composite number?
False
Suppose 0 = -3*m + 15, 7 - 36 = -4*i + 3*m. Let t = i + -7. Suppose -t*r + 1 = -23. Is r a prime number?
False
Suppose -2*o = -5*k - 80 - 371, -o = 2*k - 203. Is o a composite number?
True
Let z = 6 - 7. Is (2 - z)*(-4)/(-3) a composite number?
True
Is 0 - -4 - 2010/(-10) prime?
False
Let s be 2/(-4) + 75/10. Let r(f) = f + 7. Let p(x) = 3. Let q(o) = -5*p(o) + 2*r(o). Is q(s) a composite number?
False
Let k(b) = -2*b - 3. Let o be k(-5). Let g(l) = 28*l + 7. Is g(o) a prime number?
False
Suppose 6*h - 241 - 233 = 0. Is h a prime number?
True
Let q(f) = 65*f - 4. Let a be (6/(-4))/((-3)/6). Is q(a) composite?
False
Let f(b) = b**2 - b + 12. Let c be f(10). Suppose -c + 26 = -4*w. Is w a prime number?
True
Let c(s) = -s - 8. Let k be c(-8). Suppose -5*l = 4*d - 277 - 158, l - 3*d - 68 = k. Let m = l - -2. Is m composite?
True
Let c(w) = 24*w**2 + 2*w + 2. Let k be c(-3). Suppose f = 5*f - k. Is f a composite number?
False
Suppose -3*l - 5 = 2*l. Let g be (-1 + 2)/l - -26. Suppose 2*p = g - 5. Is p prime?
False
Let u be ((-10)/3)/(10/(-45)). Suppose o - 66 = -5*s, -27 - u = -3*s - 3*o. Is s prime?
True
Let n be 2 - 5 - (0 - 3). Suppose n = 2*d + 2*d - 1180. Is d composite?
True
Let b(i) = -24*i**3 - i**2 + i + 1. Is b(-1) a composite number?
False
Is 154 - (1 - (-2 + (-8)/(-2))) a prime number?
False
Let o(j) be the first derivative of j**2/2 + 33*j + 3. Is o(0) a prime number?
False
Suppose 0 = -o - 2*o - 282. Let d = 297 + o. Is d a prime number?
False
Is (-13332)/(-72) + (-2)/12 a composite number?
True
Let s(f) = -8*f**3 + 3*f**2 - 2. Let z be s(-2). Let w = -37 + z. Is w a prime number?
True
Let s(t) = 1 - 2*t - 5*t + 103*t. Let c be s(4). Suppose -2*m = 3*m - c. Is m a composite number?
True
Let h(r) = -84*r - 26. Is h(-6) composite?
True
Suppose 0 = x + 3*x + 24. Let d be 0 - (-6 - x/3). Suppose 219 = d*u - 121. Is u composite?
True
Suppose -f + 2*u - 10 + 4 = 0, 4 = 4*f - u. Is (1/2)/(f/308) prime?
False
Suppose 0 = -3*c + 40 + 134. Let q(s) = -s**2 + 9*s + 26. Let k be q(11). Suppose -c = -f + 2*z + 79, 0 = k*f + 2