se
Suppose 0 = -2*s + 1 + 41. Suppose -74 = -q - 4*m - s, 5*q - 265 = 2*m. Is q prime?
True
Suppose 2281 = 4*f + 653. Is f composite?
True
Is 22 + 0/(0 - -4) composite?
True
Let p(v) = -35*v + 5 + 4 + 0 + 0*v. Is p(-4) a prime number?
True
Let f be -74 - 0*3/3. Let n = 137 - f. Is n a prime number?
True
Let j(o) = 2*o**2 + 2*o + 3. Let w be j(5). Let p(x) = 25*x**2 - 2*x. Let c be p(2). Let n = c - w. Is n a prime number?
False
Is (181/(-2))/((-1)/6) composite?
True
Suppose -5*f = -10*f. Is 126 - (0 - (f - -1)) composite?
False
Is 51667/49 - 16/(-28) prime?
False
Suppose 0 = 5*t + 22 - 7. Is (2/(-4))/(t/138) a prime number?
True
Let b = 80 - 29. Is b a prime number?
False
Suppose 0 = z + 289 - 1038. Is z a prime number?
False
Let z(u) = 8*u + 54. Is z(13) a composite number?
True
Suppose g = 3*g + 4. Is (-150)/(-4) + g/4 composite?
False
Let j = -5824 - -8295. Is j a prime number?
False
Suppose -36 = -4*z - 4*m, z + 2*m = 3*z + 2. Let r be (5/z)/(1/4). Suppose 0 = r*w + 4*t - t - 176, -62 = -2*w - 4*t. Is w composite?
False
Suppose -26 = 3*f + s - 444, -3*f = -5*s - 430. Suppose -213 = -q + f. Is q a composite number?
False
Let f(z) = 147*z + 2. Is f(1) a composite number?
False
Suppose -4*o = -0*o + 4. Let g(n) = 17*n**2 - 4*n + 3. Let j(q) = -25*q**2 + 6*q - 4. Let x(p) = -7*g(p) - 5*j(p). Is x(o) composite?
False
Let y(i) = 3*i**2 + 2*i - 7. Is y(6) a prime number?
True
Let a = 4 - 6. Let q(n) = 18*n**2 - 4*n - 3. Let s be q(a). Suppose -1 = -2*h + s. Is h composite?
True
Is (-4)/10 + 1 + 38968/20 prime?
True
Let d(r) = 6*r**2 + 5*r + 11. Is d(-14) prime?
True
Suppose -4*u + 4*b + 600 = 0, u + 595 = 5*u - 5*b. Let j = 238 - u. Is j composite?
False
Let d be 3/(-6) + (-98)/(-4). Let n(z) = z**3 + 7*z**2 + 5*z + 3. Let h be n(-6). Suppose h = a - d. Is a a composite number?
True
Let q(l) = -l**3 - 5*l**2 - l - 2. Is q(-9) a prime number?
True
Suppose 4*r = -r + 10. Suppose -r*m = 2*m - 8. Is m prime?
True
Let f = 6 - 3. Suppose f*i - 106 = 467. Is i a prime number?
True
Let c(r) = 2*r**2 + 3*r + 25. Is c(24) composite?
False
Let h = 3 + -4. Is (30/(-1) - h)*-5 a prime number?
False
Suppose 2 = a - 6. Let r = a - -2. Is r composite?
True
Let a(p) = 2*p**3 + 2*p**2 + 3*p - 10. Is a(5) composite?
True
Suppose -5*y + 581 + 254 = 0. Is y composite?
False
Let o(t) = -110*t + 8. Is o(-13) prime?
False
Suppose 0*o - 24 = 4*o. Let q(y) = y**2 - 6*y + 5. Is q(o) prime?
False
Let a = -443 - -654. Is a prime?
True
Let c(s) be the second derivative of -s**3 + 7*s**2/2 - 3*s. Is c(-5) prime?
True
Suppose -2*n + 3*b - 249 = 2*n, -3*n - b = 203. Let k = n - -103. Is k composite?
False
Suppose 5*t = 4*u + t - 8, 4*t = -8. Suppose u*g + 5*g - 20 = 0. Suppose -g*r + 93 = -7. Is r composite?
True
Let f = 2 + 0. Is 32/10 + f/(-10) a prime number?
True
Let g(z) = 1837*z**2 + 2*z. Is g(1) prime?
False
Suppose -3543 = -2*v + 259. Is v a composite number?
False
Suppose -3*m + 1781 = -4*b, 2*m - b - 1154 = -5*b. Is m a prime number?
True
Let a(s) = 5*s. Let r be a(1). Suppose -2*v + 4*f = -6, r*v = 5*f - 2*f + 22. Suppose -c = -5 + 4, -4*h - v*c + 145 = 0. Is h a prime number?
False
Suppose 4*m - 6*m = -44. Suppose m = 2*y - 88. Is y a prime number?
False
Is (146/(-8))/(((-6)/(-264))/(-1)) composite?
True
Let x(i) = i**3 - 5*i**2 - 12*i - 7. Let k = 23 - 14. Is x(k) composite?
True
Let g = 399 + -210. Suppose 0*w = -3*w - g. Let c = -20 - w. Is c a composite number?
False
Let l = -28 - -641. Is l a prime number?
True
Suppose -k - 2*k - r = -668, 0 = 5*k + 2*r - 1115. Let b = 18 + k. Is b a composite number?
False
Let d(k) = -34*k - 1. Let f(s) = -s + 4. Let u be f(6). Is d(u) a prime number?
True
Suppose 0 = -3*g + 5*h - 11, -3*g + 4*h - 13 + 3 = 0. Let d = g - -6. Is d prime?
False
Let k = 2076 + -565. Is k prime?
True
Suppose 3*t + 0*t = 42. Is t composite?
True
Let z = 549 + -298. Is z a prime number?
True
Let x = -9 + 13. Is ((-177)/x)/(15/(-40)) a composite number?
True
Let t = -279 - -688. Is t prime?
True
Suppose 10*n - 5013 = n. Is n prime?
True
Let h(t) = 2*t**3 - 14*t**2 - 8*t + 9. Is h(10) a composite number?
True
Let y(j) = j**2 - j - 176. Let t(n) = 3*n**2 - 3*n - 527. Let b(p) = -6*t(p) + 17*y(p). Let a be b(0). Let f = a + -112. Is f a composite number?
True
Suppose 0*c + 580 = 5*f - 4*c, -3*f + 348 = 4*c. Suppose -4*b = -24 + f. Let p = b - -58. Is p composite?
True
Let l(s) = 27*s**2 - 10*s - 5. Is l(6) composite?
False
Is (5268/(-9))/(2/(-3)) a prime number?
False
Let a(x) = 2*x - 2. Let y be a(-6). Is 3/((-3)/y) + 0 prime?
False
Suppose 0 = -4*y - 0*y + 5*v + 1244, -1260 = -4*y + v. Is 1/3 - y/(-6) a composite number?
False
Is (79/(-4))/((-1)/4) a prime number?
True
Let u be (-4)/6 + 14/3. Is (-1029)/(-33) - u/22 composite?
False
Is (106/4)/((-7)/(-14)*1) a prime number?
True
Let y(z) = 94*z - 1. Let x be (2/4)/((-6)/(-12)). Suppose -4*a + x = -3. Is y(a) composite?
True
Suppose -3*x + 15 = 5*h, 0 = 4*x + 2*h - 0*h - 20. Suppose 0 = 4*z + x*o - 290 - 218, -508 = -4*z - 3*o. Is z composite?
False
Let o = 2088 - 1343. Is o a composite number?
True
Let v(i) = i - 14. Let w(y) = -5*y + 71. Let o(j) = -11*v(j) - 2*w(j). Is o(5) a composite number?
False
Suppose -3*x = s - 590, x + 1760 = -0*s + 3*s. Is s a prime number?
True
Suppose -10 = 3*c - 4. Let a(b) = 25*b**2 + b - 1. Is a(c) a composite number?
False
Suppose 4*j = -5*h + 293, -4*j - 2*h + 302 = -0*h. Is j composite?
True
Suppose 0 = -2*w - 3*w - v + 216, -w + 4*v + 39 = 0. Is w a composite number?
False
Is ((-4)/6)/(4/(-3246)) a composite number?
False
Let y be 3/9 - (-14)/3. Suppose 0*o - 3*o + 4*s = -211, -s + 390 = y*o. Is o prime?
False
Let q be 6 + -4 - -128 - -2. Let g = q + 25. Is g prime?
True
Let i be 12/3 - (-8)/(-4). Let f = -27 - 3. Is (f/(-9))/(i/9) a composite number?
True
Let y(d) = 11*d**2 - 4*d - 3. Suppose 0*l - 4*l = n + 1, 0 = 3*n + 3. Suppose -4*g + l*g - 8 = 0. Is y(g) prime?
False
Suppose -4*u + 0*u = -284. Is u prime?
True
Suppose 3074 = 2*h + 352. Is h a composite number?
False
Suppose -2*u + 27 = u. Suppose u*d - 412 = 5*d. Is d a composite number?
False
Suppose 3*s = -3*z - 2*s + 901, 0 = -3*z + s + 925. Is z a prime number?
True
Let u be (11 + -8)*5/3. Is 742/10 + (-1)/u composite?
True
Let d = 18 - -183. Is d composite?
True
Let r = 846 - 367. Is r composite?
False
Suppose 4*a - 1 - 9 = 2*j, -a = -2*j - 4. Suppose a - 6 = -2*b. Suppose -2*h + 2 + 4 = b*s, -5*s - 20 = 0. Is h a composite number?
False
Let c = 4835 - 2674. Is c composite?
False
Let q be (-2)/6*(-18)/(-2). Let u = q + -46. Let y = 78 - u. Is y a prime number?
True
Is 4281/11 - 4/22 composite?
False
Let g(f) be the third derivative of -1/2*f**3 + 0*f + 2*f**2 + 1/3*f**4 + 0. Is g(7) composite?
False
Let u(f) be the second derivative of f**5/20 + 13*f**4/12 + 7*f**3/6 + 7*f**2/2 - 3*f. Is u(-6) prime?
False
Suppose 226 = -d + 747. Is d prime?
True
Let o(i) = -i + 82. Let g be o(0). Suppose -2*v + 4*m + g = 0, -5*v - 2*m = -v - 144. Is v a prime number?
True
Let m(b) = -15*b. Let j(r) = r. Let f(d) = 12*j(d) - m(d). Let w(v) = 27*v + 1. Let l(x) = 5*f(x) - 4*w(x). Is l(5) a composite number?
False
Let m(f) = 3*f**3 + 5*f**2 - 3. Let u(w) = 4*w**3 + 5*w**2 - w - 4. Let c(h) = 5*m(h) - 4*u(h). Is c(5) a composite number?
True
Let t = 19 + -28. Let v = 14 + t. Let a(j) = -j**3 + 6*j**2 - j - 5. Is a(v) a prime number?
False
Let c = 14 - 5. Suppose -3*d + 10 = 2*d. Let a = d + c. Is a a composite number?
False
Let s(k) = 36*k**2 + 2*k + 1. Let j be s(-2). Suppose w = 2*w - j. Is w a composite number?
True
Let p(x) = -3*x + 8. Suppose -2*z = -1 + 5. Let r be (z - -1) + (0 - 8). Is p(r) prime?
False
Suppose -8*g + 4*g = 3*t - 39, 0 = -3*g - 5*t + 43. Let y(f) = -f**3 + 6*f**2 - 3*f + 9. Let r be y(g). Let i = r + 15. Is i a prime number?
False
Let f(z) = 17*z**2 + 10*z + 3. Let d(h) = -6*h**2 - 3*h - 1. Let y(s) = 11*d(s) + 4*f(s). Let u = 14 - 20. Is y(u) composite?
False
Let m(g) be the third derivative of g**5/10 - g**4/24 + 3*g**2. Is m(-2) prime?
False
Suppose 5*b - 2*a = 2*a + 1765, -2*b - 5*a = -706. Is b a composite number?
False
Suppose 0 = 3*n - 1 - 5. Suppose -5 = -3*v - n. Is (-46)/(-2*(0 + v)) composite?
False
Let u = 114 + -59. Suppose u = -2*i + 3*i. Is i composite?
True
Suppose -2*d + 3*z + 1