se
Let m(b) = b**3 + 6*b**2 - b + 4. Is m(-6) prime?
False
Suppose -2*q - 141 = 5*b, q = -5*b - 15 - 68. Let r = 109 + q. Is r prime?
False
Suppose -3*y = 12, 4*u - 2*y - 2 = 10. Let f = u + -8. Is ((-2)/(-6))/(f/(-2415)) composite?
True
Let n = -129 - -182. Is n a prime number?
True
Let q be (-4)/(-12) + (-10)/(-6). Suppose -j - q*h + 37 = 0, 2*j + h = 6*j - 193. Is j a prime number?
True
Suppose v - 19 - 160 = 0. Is v a prime number?
True
Is 6 + (-5)/(20/12) a prime number?
True
Let k(d) = -d**2 - 2*d + 1. Let l be k(-2). Let t = 1 - l. Suppose t = -0*q + 3*q - 33. Is q composite?
False
Suppose 0*q = 2*q - 2344. Suppose q = 7*b - 3*b. Is b prime?
True
Let x = -8 + 8. Suppose -2*w + 5*w = x. Suppose 0 = 3*s - w*s - 138. Is s a prime number?
False
Suppose 40*y - 35*y - 655 = 0. Is y prime?
True
Let x(q) be the third derivative of q**4/4 + 2*q**2. Let v be x(4). Suppose m - 13 = v. Is m a composite number?
False
Is (6 - 4)*(-599)/(-2) a prime number?
True
Is 7/(-14) - (-1835)/2 prime?
False
Let n(r) = r**2 + 4*r + 10. Is n(-13) a prime number?
True
Let k(r) = -r**3 - 3*r + 1511. Is k(0) a prime number?
True
Let u(c) = 4*c**2 + 2*c - 1. Suppose -j + 25 = -6*j. Is u(j) a prime number?
True
Let k(n) = 6*n - 5. Let w be (-2)/9 - 184/(-18). Is k(w) prime?
False
Suppose 218 = 3*n - 88. Suppose -4*f = 2*q - 2, 3*f + 8 + 18 = 4*q. Suppose 2*o + n = q*o. Is o a prime number?
False
Let o(f) = 10*f**2 + 3 + 29*f**2 - 2. Is o(2) composite?
False
Suppose -a + 2695 = -340. Is a composite?
True
Suppose 10*n + p = 5*n + 385, -n + 77 = -5*p. Is n prime?
False
Let i(j) = j**3 - j**2 - j + 538. Is i(0) composite?
True
Suppose 2*v - 257 = -v + 2*w, -3*w = -6. Is v a composite number?
True
Let k(n) = -3*n - 5. Is k(-8) a composite number?
False
Let d = 44 + -27. Suppose 3*m - d + 5 = 0. Let v(x) = 2*x + 2. Is v(m) a prime number?
False
Let p be 2*(-3)/9*312. Let i = 470 + p. Suppose -i - 160 = -2*y. Is y a prime number?
True
Suppose 17 = z - 161. Suppose -2*l + 0*l = -z. Is l a prime number?
True
Suppose 0*j = -2*j - 20. Let z be (-2 - j/3)*30. Let s = -21 + z. Is s a composite number?
False
Let k(u) = u**2 - 4*u + 2. Let x be k(3). Let d be 3 + (3 - (2 + x)). Suppose 106 = h + 3*y, h - d*y + 42 - 172 = 0. Is h composite?
True
Let v = 2 - -1. Suppose -v*k - k = -8. Suppose k*t + 2 = 30. Is t a composite number?
True
Let t(q) = 5*q**2 + 5*q - 6. Let k be t(-5). Suppose -x + k - 29 = 0. Is x a prime number?
False
Suppose 3*c - 7*c + 64 = 0. Let q be (-4)/(c/6)*-2. Suppose q*s - 97 = -0*d + d, -20 = 5*d. Is s composite?
False
Suppose -5*q + 0*q + 2065 = 0. Is q prime?
False
Let u = -59 + 6. Let j = u + 79. Is j prime?
False
Suppose 2*g - 106 = -3*w + 6*g, -3*w - 5*g = -151. Suppose q + w = 3*q + 5*i, -16 = -4*i. Suppose -l + 42 = q. Is l a composite number?
False
Suppose -c + 4*i - 8 = 0, 4*c + 6 = c + 3*i. Suppose 4*d = -c*d + 320. Suppose -139 = -4*w + 3*x, -d = -3*w + w - 2*x. Is w composite?
False
Let a(u) = 2*u**2 - 7*u - 2. Is a(9) a prime number?
True
Suppose -2*y - 7 + 11 = 0. Suppose -3*r + 49 = -38. Let g = r + y. Is g a prime number?
True
Suppose -2*t = 8 + 2. Let c = 5 - t. Is c a prime number?
False
Let u(j) = -29*j**3 - j**2 - 2*j - 1. Let d be u(-1). Suppose 23 = 5*f + l, -5*f + d = -0*l + 3*l. Let n(z) = -z**2 + 5*z + 2. Is n(f) prime?
False
Suppose v + v - 824 = -2*h, 2*v - 4*h - 830 = 0. Is v a composite number?
True
Let b(u) = -u + 7. Let s be b(7). Let n be (s + -1)*-3 + -1. Is n*1 - (-17 - 3) prime?
False
Let b be 1 - (-2 - (1 + -1)). Suppose 4*h - 100 = -4*d - 0*h, b*h - 52 = -2*d. Is d a prime number?
True
Let o be (-160)/(-30) - (-4)/6. Let a(z) = 3*z**2 - 7*z - 7. Is a(o) a prime number?
True
Is (-2)/(-3) + 4202/6 composite?
False
Suppose -3*t + 0*t - 69 = 0. Let d be -8*(1 + 0 - 0). Let g = d - t. Is g prime?
False
Let s be 1 + -3 - 0/9. Is -2 + 1 + (93 - s) a prime number?
False
Let c(x) = 2*x - 9. Let k(l) = 10*l - 45. Let d(r) = 11*c(r) - 2*k(r). Is d(8) a composite number?
False
Let r(c) = -c**2 + 337. Is r(0) a prime number?
True
Suppose -3*v - 2*v = -575. Let g = v + -80. Is g prime?
False
Let t(z) be the third derivative of -41*z**4/24 + z**3 + z**2. Is t(-5) a prime number?
True
Let a be 1 + -3 - (104 + -1). Let j = a + 223. Is j composite?
True
Is ((-5161)/(-52))/((-1)/(-24)*2) prime?
False
Let b = 950 - 613. Is b a composite number?
False
Let w = 25 - -22. Suppose i - 4*k = -2*i - 79, -w = 2*i + 3*k. Is (-2)/5 + (-5285)/i a composite number?
False
Suppose 0 = -q - p + 655, 0 = -8*p + 3*p - 5. Suppose -3*w = w - q. Suppose -3*v = 3*a - 174, 7*a + v - w = 4*a. Is a prime?
True
Let d(v) = v - 12. Let m be d(11). Let j = -7 + 21. Let t = m + j. Is t a composite number?
False
Suppose -5*l + 5*n = -120, 2*l = -3*n + 24 + 34. Is l + (-2 - -2 - 3) a composite number?
False
Let x(t) = -t**3 - 5*t**2 + t + 19. Is x(-8) prime?
False
Let w(o) = -o**2 + 5*o - 4. Let u be w(3). Suppose 3*g - 5*r - 236 = 0, u*g + 3*r - 34 = 98. Suppose 5*y - 2*c - 189 = 0, 0*y - 2*c = -2*y + g. Is y prime?
False
Let s be 0 + 0 + 1 - -12. Suppose -2*m + 4 = -m. Suppose -m*u - s = -145. Is u a composite number?
True
Suppose 732 = 11*y - 7*y. Is y prime?
False
Let p(d) = 1 + 0*d + 10*d**2 + 9*d - 2*d + d**3. Is p(-6) prime?
True
Suppose -5*z = 5*l - 7964 - 14121, 17668 = 4*l - 2*z. Is l prime?
False
Let h(s) be the second derivative of s**6/45 - s**4/24 - s**3/6 - s. Let b(i) be the second derivative of h(i). Is b(1) a prime number?
True
Is (0/(-3) - -2)/(20/2110) prime?
True
Let h = 17 + -19. Is 3/18*h*-1167 prime?
True
Let k = -84 - -1295. Is k a composite number?
True
Let h(x) = 5*x - 5. Let s be 4/((-2)/(-12)*3). Is h(s) a composite number?
True
Let d(l) = -102*l - 2. Let q be d(-4). Suppose 2*g = -3*g + h + 1015, 3*h = 2*g - q. Is g composite?
True
Let w be 3/6*6 + -1. Let v be 0 + -2 + 1 - w. Is (178/v)/(4/(-6)) a prime number?
True
Let d(m) = -m**2 + 10*m - 5. Let j be d(9). Let z be 1/(7/j + -2). Is ((-249)/(-12))/(z/(-16)) prime?
True
Let i(s) be the first derivative of s**4/4 - 13*s**3/3 - 13*s**2/2 + 19*s + 2. Let x be 3 + -3 - (-13 + (2 - 3)). Is i(x) a prime number?
False
Let u(z) = -z**3 + 2*z**2 - 2*z + 1151. Is u(0) a composite number?
False
Let g = -55 + 602. Is g a prime number?
True
Let q be (2/(-5))/((-7)/(-8295)). Let s = -101 - q. Is s a composite number?
False
Let m be 1 + (1 - 1) + 3. Let p(y) = -y**3 + 4*y**2 + y + 3. Is p(m) composite?
False
Let h be 4449/27 - (-2)/9. Suppose -3*r + h = -0*r. Is r composite?
True
Let n(f) = -f + 58. Let j be n(0). Suppose 786 + j = 4*c. Is c a prime number?
True
Let k be (-2)/(-4) + (-122)/4. Is 252/k*10/(-4) composite?
True
Let g(z) = z**2 + z + 1. Let a be g(3). Suppose -3*w + 3*l - 15 = 0, w + l = 4*w + a. Let j(i) = -24*i + 1. Is j(w) a composite number?
False
Let m be 0/(0 + -3) - 0. Suppose -4*b = d + 15 - 3, m = 2*d + 2*b + 6. Suppose 0 = -2*x + 4*h + h + 487, d = 5*x - 3*h - 1246. Is x a prime number?
True
Let o(s) = -2*s**2 + 2*s. Let h be o(-2). Is 8*21/h*-1 prime?
False
Suppose -5*z - 5*p + 3935 = 0, 3144 = 4*z + 2*p - 0*p. Suppose -5*v - 326 = -q + 480, 2*v - z = -q. Is q composite?
True
Let q(w) = -5*w**2 - 4*w + 4. Let y(b) = -b. Let r(v) = -q(v) - 4*y(v). Let u be r(-6). Suppose -z + u = 49. Is z prime?
True
Let s(l) = 85*l + 2. Is s(3) a prime number?
True
Let u = -14 - -158. Suppose y - u = -4*q, 2*y = -0*y - q + 323. Let g = y + -55. Is g composite?
False
Let u(k) = k - 4. Let l be u(6). Suppose -l*t - 19 + 245 = 0. Is t composite?
False
Suppose 4*h - 8*h + v = 24, -5*h - 2*v = 43. Let g = h + 17. Is g a prime number?
False
Suppose 0 = -4*z + 12 - 0. Suppose 4*j = 12, 0 = -z*p + 7*p - 2*j - 2. Is p prime?
True
Suppose -9*y = -9757 + 1324. Is y composite?
False
Suppose 0 = -o - 0 + 3, d - 18 = -3*o. Let t = d + 11. Let r = -7 + t. Is r a composite number?
False
Suppose -2*p = -5*m - 2467, -2*m + m = -2*p + 2447. Suppose -5*o = -2*o - p. Is o composite?
True
Let o be 0 - 1/((-3)/243). Let w = -42 + o. Is w prime?
False
Suppose 5*v + 401 = 3336. Is v prime?
True
Let g = -4 - -4. Is (-1 + -1 - g) + 5 prime?
True
Let s(m) = 63*m + 3. Let r be s(7). Suppose l - 147 = 4*x, -2*x - 201 - r = -5*l. Is l a composite number?
False
Let d = 38 + -55. Let o = 16 - d. Is o a prime number?
False
Let q 