 number?
False
Suppose 5*y = -2*x + 13, -6*x + 2*x - 5*y + 31 = 0. Suppose -x = -2*k - 4*s + 1, 4*s - 13 = -k. Let p(d) = 10*d**2 + 2*d - 5. Is p(k) a composite number?
False
Let z(b) = b + 84. Let u be z(0). Let n = 75 + u. Is n composite?
True
Suppose 7597 - 125362 = -15*y. Is y a composite number?
True
Suppose 0 = 2*l - 6*l + 16. Suppose -3*c + c + 794 = -2*y, -3*c + l*y = -1193. Is c a prime number?
False
Suppose -3*v - 3*f + 840 = 0, 913 = 2*v - 4*f + 335. Let k = 486 - v. Is k a prime number?
False
Suppose 0 = -2*l + 22753 - 579. Is l prime?
True
Suppose u - 16 = 2*t, 2*u + 5*t = -17 + 4. Let d = 308 - 312. Is 2*(d + 381/u) composite?
True
Let f be (364/(-4))/(2/10). Let t = -2655 - -1853. Let d = f - t. Is d prime?
True
Suppose -3*o + 6*m - 11*m + 273 = 0, 4*o + 2*m - 364 = 0. Is o a prime number?
False
Let o(s) = s**3 - 32*s + 19. Let l be o(13). Let h = l - 893. Is h a prime number?
True
Let z = 5 + -78. Suppose 0 = 4*q - 6*q + 3*g + 300, -2*q = 3*g - 276. Let d = q + z. Is d a composite number?
False
Suppose -4*i = -2*k + 11884, i - 29688 = -0*k - 5*k. Is k prime?
False
Suppose 17*u + 4 = 18*u. Suppose 4*k - 5*f = -4*f + 300, -u*f = -3*k + 238. Is k prime?
False
Let h be (9/(-2) + 0)*(6 - 776). Let k = 298 + h. Is k a composite number?
True
Is (3512/(-20))/(-1*2/5) prime?
True
Suppose -t + 7 = -l, 4*l = -0*t - 5*t + 8. Suppose t*h + r = 7 - 2, 3*h - 18 = 4*r. Suppose -h*y + 2371 = 3*w, -4*w - 3599 = -2*y - y. Is y a prime number?
True
Is (345121/94)/((-2)/(-4)) composite?
True
Let z(w) = -w**2 + 16*w - 2. Let c = 29 + -54. Let r = -12 - c. Is z(r) a prime number?
True
Let q = -35 - -49. Suppose 0 = -16*n + q*n + 268. Is n a composite number?
True
Let g(d) = d**3 - 6*d**2 + 6*d - 7. Let i be g(5). Let t be 4/i + (-208)/(-8). Suppose -165 + t = -3*w. Is w a composite number?
False
Let j(k) be the second derivative of k**5/20 - 13*k**4/12 + 3*k**2/2 - k. Let s be j(13). Suppose s*h - 5*h + 76 = 0. Is h prime?
False
Suppose 4*c = 6*c - 444. Let w(n) = -n**3 - 16*n**2 - n - 25. Let g be w(-16). Is c/(-4)*12/g a composite number?
True
Let b(g) = 20*g**2 - 7*g + 3. Let c(o) = -o**2 - 3*o. Let t(k) = b(k) - c(k). Let h be 0 - (-5 - (-1)/1). Is t(h) a composite number?
True
Suppose -3*r = -4*u - 7847, 2*r = 5*r + 5*u - 7802. Is r prime?
True
Suppose -3*r + 4*k + 152721 = 0, -10*r + 101815 = -8*r - 3*k. Is r a prime number?
False
Suppose 15*r - x = 19*r - 49299, -2*r + x + 24657 = 0. Is r a prime number?
False
Let u be (112/(-6))/(16/(-120)). Let f be 7/(u/12)*15. Suppose 14*q - 2365 = f*q. Is q a prime number?
False
Let d(w) = w**2 + w + 5. Let o be d(0). Let t be ((-18)/o)/(8/(-20)). Is (6/t)/(4/5370) a composite number?
True
Suppose -4*g + 3*a + 829 = 0, -4*a = -3*g + 8*g - 1075. Is g prime?
True
Let p = 21 + -32. Let q(l) = 6*l**2 + 7*l - 8. Is q(p) prime?
True
Suppose 4*t + 4*l - 2*l = 28, -16 = -4*l. Suppose t*g = 4*g + 71. Is g composite?
False
Let a(i) = -i**3 - 11*i**2 - 4*i - 9. Let s(j) = -j**3 - 6*j**2 - 2*j - 5. Let l(h) = -3*a(h) + 5*s(h). Let f be l(4). Let n = 155 + f. Is n a composite number?
True
Suppose -5*t = -t + 2*r - 38, 0 = -4*t - r + 41. Is t/((-2)/290*-5) a composite number?
True
Let i(c) = 7*c**2 + 10*c + 11. Let p(a) = -15*a**2 - 21*a - 23. Suppose d - 28 = -5*x, -2*d + 6*d = -2*x + 4. Let b(l) = x*p(l) + 13*i(l). Is b(-8) prime?
True
Suppose 0 = -0*u + u - 5. Suppose y = -6*y + 21. Suppose -2*s + 0*s + 763 = -y*z, 3*s = -u*z + 1192. Is s composite?
False
Let c(f) = f**3 + 5*f**2 + f - 4. Let l be c(-4). Let t = l + 125. Is t prime?
False
Suppose 0 = 2*t + 257 + 53. Let u be 361/(-5) + 1/5. Let l = u - t. Is l a prime number?
True
Let g = 5331 - 2998. Is g a prime number?
True
Suppose -2*i = -3*a + 24, -2 = a - 3*i - 3. Suppose 0 = a*t - 5*t. Suppose -b - 4*b + 2245 = t. Is b composite?
False
Suppose -x + 3*v = -2621, -75*v + 70*v - 2613 = -x. Is x a composite number?
False
Let t(g) = -673*g - 183. Is t(-10) a composite number?
False
Suppose -571 = 3*f - 2*d - 7882, d = 3*f - 7311. Is (-2 - -1)*f/((-3)/3) prime?
True
Let v(f) = -2*f - 12. Let y be v(-8). Suppose 0*q = -y*q. Suppose -3*s + w + 1176 = q, -5*s + w = -3*w - 1953. Is s prime?
False
Suppose -f = -2*y - 61019, -13*f + 8*f + 305159 = 6*y. Is f composite?
False
Suppose 2*a - 548 = -5*r + 4*a, -2*r - 3*a = -204. Suppose -128 = -4*f + r. Is f a prime number?
True
Suppose 9*o = 8*o - 1. Let i be 3 - (-1 - o - 1910). Suppose -2*z = 3*r - i, 4*r + 2*z - 905 = 1643. Is r a prime number?
False
Let b = -33 - -27. Is (152/(-12))/(2/b) prime?
False
Let u be ((-18)/12)/(6/(-1736)). Suppose -4*l - u - 1174 = 0. Let y = 613 + l. Is y a prime number?
True
Let k(x) = -2*x + 6. Let s be k(0). Suppose -3*t + 12 = t, -2*h + 4*t = s. Suppose -5*l = -r + 79, 0*r + h*l - 71 = -r. Is r prime?
False
Let t = 6208 + -3486. Is t a composite number?
True
Let i(u) = -u**2 - 5*u + 14. Let v be i(-6). Suppose v*f - 5911 = 241. Is f prime?
True
Suppose x = -3*q + 15525, -5*x + 5*q + 47289 + 30416 = 0. Is x a prime number?
False
Let t be 10/2 - (4 - 1). Suppose 8 = t*h - 2. Suppose h*k + 9 - 104 = 0. Is k prime?
True
Suppose 42*f = 49*f - 1337. Is f a prime number?
True
Let p be 5 + -6 - (2 - 5). Suppose 125 = -p*j + 547. Is j a prime number?
True
Suppose -189*u - 1302 = -192*u. Suppose 6*l + l = u. Is l prime?
False
Let r be (-1126)/(-4) - 5/(-10). Let p = 673 - r. Is p prime?
False
Suppose -2*g - 3*n = 9, g - 2*g = 5*n + 22. Suppose 3*s = g*d + 4*s - 9882, 0 = 2*d + 2*s - 6592. Is d a composite number?
True
Is (59468/(-20)*-2)/(4/10) composite?
False
Let o(m) = m**2 + 17*m. Let s be o(-17). Let v(z) = 0 - 2 + s + 11 + 3*z. Is v(4) prime?
False
Let s = 2 - 2. Let u(g) = g**2 + 6*g - 7. Let t be u(3). Suppose -2*q + 134 + t = s. Is q prime?
False
Suppose -3*v - 2162 = -5*s, -2*s = -4*v + s - 2890. Let r = -489 - v. Is r a composite number?
True
Suppose -5*b + 17435 = -3*a + 8*a, -13963 = -4*b - a. Suppose -6*q + 2574 = -b. Is q prime?
False
Let j(x) = -x + 10. Let z be j(-9). Suppose 5*r = -5*g + 3380, 5*g = 4 - z. Is r a composite number?
True
Suppose -3*a + 5881 + 167 = 0. Suppose -3*d - f = -a, 2*d + 2*f + 308 = 1648. Is d composite?
False
Let b be (-16)/(-12)*-5*594. Let r be b/(-7) + 4/14. Let t = r - 381. Is t a composite number?
True
Suppose -4*h + 19 + 1 = 0. Suppose 2*l = f - 550 + 23, -2*l = h*f - 2599. Is f prime?
True
Suppose -93*i + 4159402 = -1222229. Is i a composite number?
True
Let x = 3205 - 7580. Let z = 670 - x. Is z a prime number?
False
Let f = -1807 - 914. Let m = -1064 - f. Is m prime?
True
Let d(k) be the second derivative of 7*k**4/12 - 2*k**3/3 + 3*k**2/2 + k. Let t(a) = -a**3 + 16*a**2 - 30*a + 24. Let y be t(14). Is d(y) a composite number?
False
Let m be (-3)/(-12)*-2*1738. Let y = m - -2592. Is y a prime number?
True
Let u = -17 - -20. Let m be u - 1*(2 - -264). Let a = m + 708. Is a composite?
True
Let h = -11 - -16. Suppose h*j - 1157 = 273. Suppose -j = -2*n + 120. Is n a prime number?
False
Let k = 42721 - 21716. Suppose 5*a = 4*g + k, a + g - 4177 = -3*g. Is a prime?
False
Suppose 2*p = -2*c - 6, p - 5*c = -4*p + 35. Suppose p*i + 328 = 3*i + 3*f, -4*f = 4. Is i a prime number?
True
Let r = 25068 - 13441. Suppose -r = -6*q - q. Is q composite?
True
Let h(t) be the second derivative of -t**8/6720 - t**7/840 - t**6/144 - t**5/40 - t**4/12 + 8*t. Let k(b) be the third derivative of h(b). Is k(-4) prime?
False
Suppose 2*w - 2377 - 2921 = 0. Suppose -12*o + w = 1041. Is o a composite number?
True
Suppose -19*l + 8 = -17*l. Let x(o) be the third derivative of o**6/24 - o**5/15 - o**4/8 + 7*o**3/6 + 6*o**2. Is x(l) a prime number?
True
Let l = -1228 - -3801. Is l prime?
False
Suppose -3*m + 282 - 106 = -5*j, -3*j = -4*m + 242. Suppose -5*p = -m - 1233. Is p composite?
True
Let n(k) = 8*k**3 - 8*k**2 + k - 384. Let d(y) = -7*y**3 + 7*y**2 - y + 383. Let s(v) = 7*d(v) + 6*n(v). Let z be 0*((-1)/(-4) + 20/(-16)). Is s(z) prime?
False
Let p be (0 - 1)/((-7)/21). Suppose -p*y = y + 8. Is -2*y*(-118)/(-8) prime?
True
Let o = -4742 + 9387. Is o a composite number?
True
Suppose 0 = 3*o + 3*w - 7*w - 3475, -2*o = -2*w - 2314. Suppose 0 = 7*q - 506 - o. Is q a composite number?
True
Let i = 102 + -176. Let l = i + -98. Let f = 295 + l. Is f a prime number?
False
Sup