composite?
False
Let n(y) = -5*y**3 - 2*y + 3*y**3 - 2*y**2 + 5*y - y**2. Let x be n(2). Let i = 9 - x. Is i composite?
False
Suppose 0 = 4*h + 2*m - 2348, m + 503 + 663 = 2*h. Suppose -116 - 5 = -g + w, 0 = -5*g - 5*w + h. Is g prime?
False
Suppose 5*h = p - 4*p - 37, 36 = -4*h - 4*p. Let r(x) = 2*x**2 + 3*x + 27. Is r(h) a prime number?
False
Is -3 + (-1 - -3) + 6900 prime?
True
Let y(c) = 6*c**2 - 33*c + 46. Is y(28) a prime number?
False
Suppose 0 = -a + 3, s + 11 = -0*s + 4*a. Let k be (0 + s)/((-11)/(-55)). Suppose -o - 6172 = -k*o. Is o a composite number?
False
Let y be (131/1)/((-1)/(-22)). Let q = -1712 + y. Let u = q + -557. Is u a composite number?
False
Suppose -4*q = -5*q + 4. Suppose -d = -5*d - 5*r + 2599, q*d - 2634 = 2*r. Suppose -5*b = -4*m - 1813 + d, -4*b = -m - 930. Is b composite?
False
Suppose 0 = 45*m - 681672 - 1210263. Is m prime?
True
Suppose 4*g = 6*g - 406. Let a(n) = -6*n**2 - n + 1. Let s be a(-5). Let u = g + s. Is u a composite number?
False
Let d = 19 + -14. Suppose 25 = d*p + 10. Is 87/4*(p - -1) a composite number?
True
Suppose 0*k = k - 378. Let a = -262 + k. Let y = a + -39. Is y a composite number?
True
Suppose -3*t + 25500 = -4*b - 30591, -3*b = -5*t + 93496. Is t prime?
True
Let r(o) be the third derivative of -3*o**6/40 + o**4/24 - 5*o**3/6 - 11*o**2. Let a be r(3). Let y = 544 - a. Is y composite?
True
Let x be ((-8)/14)/2 + 5466/21. Let k = x - 177. Is k a prime number?
True
Let z(x) = -5*x. Let j be z(-2). Let p = 15 - j. Let w(m) = 6*m**2 + m. Is w(p) composite?
True
Let f(u) be the third derivative of u**5/10 - 5*u**4/24 - 2*u**3 + 4*u**2. Let v be f(-8). Suppose -2*p - v = -6*p. Is p composite?
False
Suppose 0 = 7*f - 83601 + 13370. Is f prime?
False
Let y = 1440 - -27. Is -2 - (-2)/(6/y) composite?
False
Let n(l) = l**2 - 14*l + 26651. Is n(0) a composite number?
True
Suppose -6*g - 1468 = -10*g. Let d = g + -144. Is d prime?
True
Let w = -1631 - -261. Let a = w - -2687. Is a prime?
False
Suppose -1 = -b - 5*l - 2, -1 = l. Suppose b*u - 1928 = -2*s + 3*u, 0 = s - 5*u - 975. Is s a composite number?
True
Let i(x) be the third derivative of x**6/120 - x**5/10 + x**4/4 - x**3/2 + 3*x**2. Suppose 5*h = -f + 26, 5*h - 4*h - 5*f - 26 = 0. Is i(h) prime?
False
Is (-28)/238 - 62787/(-51) a composite number?
False
Is ((-4206)/(-4))/((-6)/(-4)) a prime number?
True
Suppose 12*z - 48774 = 59622. Is z a composite number?
True
Let w(b) = 275*b - 7. Let n(c) = -276*c + 8. Let v(m) = 2*n(m) + 3*w(m). Is v(2) prime?
True
Let k(m) = -7*m**2 - 16*m + 15. Let h be k(9). Let q = h - -1003. Is q prime?
True
Suppose -2*j + 35 = -3*z, j - 50 = 4*z - 0*z. Let y = -10 - z. Is (-289)/((-1)/(-2 + y)) prime?
False
Let p = 332 - -1035. Is p prime?
True
Let q be 134*(-3)/((-18)/15). Let o be (3/12)/((-2)/(-16)). Suppose 3*u - q + o = 0. Is u a composite number?
True
Suppose -3*d + 4*s + 344 = 0, 0 = -7*d + 3*d - 5*s + 438. Let k = -61 + d. Is k a prime number?
False
Suppose -5*c + 21 = 3*b - 0*b, -5*b + 3*c = -1. Let u = b - 2. Suppose -3*p = 3*a + 397 - 1699, u = -3*a - 9. Is p a composite number?
True
Let n = 13176 + -7615. Is n prime?
False
Let o(b) = -b + 8. Let q be o(8). Suppose 0 = 4*i - q*i - 8. Is i/8 - 83/(-4) a prime number?
False
Let h be (-4)/(-26) + (-530)/65. Let g(d) = 9*d**2 + 22*d + 19. Is g(h) prime?
True
Suppose 273550 = 12*z + 13*z. Is z a prime number?
False
Suppose 89*s - 84*s - 168165 = 5*w, 2*w - 8 = 0. Is s prime?
True
Let a(z) = 8 - z - 6 + 9*z - 1. Suppose -i + 5 = 3*l, 5*i = -0*l - 5*l + 15. Is a(l) composite?
True
Let q = -183 + 334. Let m = -106 + q. Suppose h - 4*z + m = 180, 4*h - 2*z - 512 = 0. Is h prime?
True
Let s = -3424 + 13971. Is s a prime number?
False
Let o(v) be the third derivative of -19*v**6/120 - v**5/20 + 5*v**4/24 + v**3/2 - v**2. Is o(-4) composite?
False
Suppose 19*g - 32537 = -4094. Is g prime?
False
Suppose -3*s - s = 0. Suppose s = 2*y + y + 3*c - 1683, 0 = -c + 4. Is y a prime number?
True
Let j(y) = 84*y**2 + 35*y + 30. Is j(11) a prime number?
False
Let h(j) = 789*j**2 + j + 1. Let f(s) = -s**3 + 7*s**2 + 7*s + 9. Let n be f(8). Is h(n) a composite number?
True
Let o(p) = 22*p - 18. Let m be o(31). Let s = 117 - -404. Suppose -2*l - m = -5*g, -5*l - s = -5*g + g. Is g composite?
True
Let z be 10/(-2*4/(-512)). Let x = 1272 - z. Suppose 22*b - 18*b = x. Is b a prime number?
False
Suppose -3*u - 7347 = 5*g - 32609, 3*u - 3*g = 25254. Is u a prime number?
True
Suppose -n = 4*h + 7, -3*h - 107 = 5*n - h. Let s = 25 + n. Is s a composite number?
False
Suppose 2*u = 5*u - 6027. Let z = -892 + u. Is z composite?
False
Let h(k) = -k**2 + 3*k + 33. Let n be h(7). Let u = 47 - -6. Suppose 5*b = n*a - 195, 2*a - 11 = -5*b + u. Is a a composite number?
False
Suppose 0 = -2*k + 3*k - 710. Suppose -3*x - 33*t + 37*t - 959 = 0, 2*t - 10 = 0. Let y = x + k. Is y composite?
False
Let c(z) = 63*z - 1. Let d be c(1). Let s = d + -2. Suppose -2*x - 2*p = -14, -p + s = 4*x - 5*p. Is x a composite number?
False
Let i = 109 + -97. Is i/(-48) + (-6066)/(-8) a prime number?
False
Suppose t = -2*g + 6521, -t - 4*g + 4811 = -1710. Is t a prime number?
True
Suppose d - 2*t - 10667 = 4460, 2*d = -t + 30239. Is d prime?
True
Let a(z) = 294*z + 83. Is a(8) prime?
False
Let c = -6 - -5. Let b = c - 7. Let d(n) = -n**3 - n**2 + 9*n - 5. Is d(b) composite?
True
Suppose -5*d + 10*d - 1263760 = 3*q, 10 = -2*q. Is d composite?
True
Let q = 6 - 10. Is 306 + 4/(16/q) composite?
True
Is (-168404)/(-14)*((-434)/4)/(-31) a composite number?
False
Suppose -5*a + 4*s + 33 = 0, -11 = -4*a - 2*s + 5. Suppose a*i + 3*w - 4373 = 0, -2*i + 3*w = -2*w - 1774. Is i prime?
True
Let x(u) = -u + 5. Let y be x(7). Let f(s) be the first derivative of -24*s**2 - 7*s - 22. Is f(y) a composite number?
False
Suppose 0*u = 5*u + j - 20889, 8370 = 2*u + 4*j. Is u a composite number?
False
Suppose -4725 = -x - 2*s, -5*x + 5*s + 23605 = 10*s. Is x composite?
True
Is (-838)/(-5)*(-10 - -5)*-1 composite?
True
Let t = 25 + -21. Suppose 5*g + c + 1 = 5*c, -2*g = t*c - 22. Suppose 2*b = 5*b + 5*r - 2257, -g*b + 2241 = -3*r. Is b a composite number?
True
Let y = 3249 + -2196. Let t = y - 566. Is t a prime number?
True
Let r(n) = 56*n - 20. Let i be r(9). Suppose 3*g = -4*w + i, -g - g + 484 = 4*w. Is w a prime number?
False
Let z = -247 - -1504. Is z a prime number?
False
Suppose 19*u + 17 = 55. Is 3 + 1/(u/(-14)) + 78 a prime number?
False
Let f(r) = -19531*r**3 - r**2 - r. Is f(-1) a composite number?
False
Let f(n) = -65*n**3 + 7*n**2 + 11*n + 16. Is f(-7) prime?
False
Suppose 8*p - 3*p + 3*c - 8554 = 0, 3*p - 2*c - 5121 = 0. Is p a composite number?
False
Let v(u) = -4*u**2 + 9*u + 1. Let s be v(3). Let i be (-1 - -213)/(2/(-2)). Is (0 - -2)*i/s a composite number?
False
Is (3 - (3 - 31313)) + 0 + 2 a prime number?
False
Suppose 0 = 4*k - 4*l - 1048, -4*k = 3*l - 56 - 971. Let o be k + 1 + -2 + 5. Suppose 182 = 5*a - o. Is a a prime number?
True
Let x(p) be the second derivative of p**5/20 - 3*p**4/4 + 8*p**3/3 + 5*p**2/2 + 15*p. Is x(9) a prime number?
True
Let d be (-1*(-7)/2)/(1/3554). Is d/4 + -6*(-4)/(-32) a composite number?
False
Let i = -2612 - -3861. Is i composite?
False
Let c be ((1 - 0) + 0)*2. Suppose -q = c, 5*q - 124 + 6 = -2*z. Let o = 49 + z. Is o prime?
True
Let y = 7656 + -5089. Is y prime?
False
Let l = 52685 + 2754. Is l a composite number?
False
Let b(z) = 3 + z**3 + z**2 - z**2 + 4*z**2 - 11*z. Let u be b(-8). Is (-3)/((-9)/u)*-1 prime?
False
Let v = -40 + -132. Suppose 0*a = -5*a - 595. Let j = a - v. Is j a prime number?
True
Suppose -5*a - 6*b + 428 = -8*b, 0 = 4*a + 2*b - 346. Let o = 132 - a. Is o composite?
True
Let o = 1845 + 1742. Is o a prime number?
False
Let i(m) = -m + 163. Let n(l) = l**3 - 7*l**2 - 7*l - 8. Let p be n(8). Let d be -3 - (p + 9)/(-3). Is i(d) prime?
True
Let x(r) = r - 9. Let c be x(12). Suppose -7*a = -c*a + 1144. Let m = -193 - a. Is m a composite number?
True
Suppose 0 = o + a - 2 - 5, 5*o = -2*a + 23. Suppose -88 = -4*r - 2*h, o*h - 4*h = 2. Is r a composite number?
False
Suppose -3*j + g + 2880 = 673, 2*j - 2*g - 1478 = 0. Is j a prime number?
False
Suppose -5*b = 29 - 4, 5*w = -3*b + 1395. Suppose 0*t - 4*p = -2*t + w, -2*p = -4. Is t a composite number?
True
Let l be 5