0 = 0. Is m a composite number?
False
Let b(g) = -415*g + 121. Let l be b(-10). Suppose -101*k + 102*k - l = 0. Is k a composite number?
False
Let t(h) = -h**3 + 3*h**2 - 3*h - 2. Let y be t(2). Let q(w) = -w**3 - 4*w**2 - 3*w + 9. Let b be q(y). Suppose d - 493 = b. Is d a composite number?
True
Suppose -9 = 9*u - 12*u. Let y be 10 + -625 - (0 + u). Let s = y - -1205. Is s composite?
False
Suppose i + 272284 = 2*g, -5*g = -5*i + 2*i - 680710. Suppose 49*r - 251987 = g. Is r a prime number?
False
Let s be 699/2*(70/6 + -3). Let f = s + -1272. Is f prime?
False
Let l be ((-19418)/(-38))/(1 - 9/6). Is 2 + 2/4*-11*l a composite number?
False
Let m(l) = -l**2 + 6*l - 2. Let p be m(1). Suppose -o = -0*o - p*b - 4447, 13309 = 3*o - b. Is o a composite number?
True
Let d be 13 + -5 + 30377 + -3. Suppose -5*v + d = 6*v. Is v a prime number?
False
Let p = -41 - -415. Suppose -5*f = j - 17824 + p, 2*f = -2. Is j prime?
False
Let l = 153325 + -88454. Is l prime?
True
Let w(u) = 23*u - 3. Let f be w(1). Suppose -14*s = -f*s + 2334. Is s composite?
False
Let d(q) = -4513*q + 35. Let l be (-17)/34 - 34/4 - -5. Is d(l) a composite number?
True
Let r(n) = -n**2 - 18*n - 92. Let d be r(-10). Is 478*(-1)/d*-3*-2 prime?
True
Let o = 70 + -60. Suppose 7222 = 4*x + v, -o*v + 9*v - 1803 = -x. Let n = -706 + x. Is n prime?
False
Let g(k) = -3931*k**3 + 2*k**2 + 4*k + 12. Is g(-5) composite?
False
Let w be (-2)/6 + 4888/39. Suppose w = 4*g + 5*b, -g + 0*g = -5*b. Suppose 20*f = g*f - 50. Is f a composite number?
True
Let b(w) = -w**3 - 7*w**2 + 4*w + 6. Suppose -f = -2*f + 2. Let i(v) = v**3 + v. Let y(c) = f*i(c) + b(c). Is y(6) a composite number?
True
Let v(r) = r**3 - 7*r**2 - 11*r + 27. Let x be v(8). Suppose -2*i - 27501 = -o, -x*o = -o + i - 55022. Is o prime?
True
Let l(g) = 2*g + 2*g**3 + 19*g**2 - g + 8 - 11*g**2 + 0*g. Let j be l(-4). Suppose -1904 = -z + 3*p, -j*z + 3*p + 7630 = 5*p. Is z a composite number?
False
Let t = 31414 + 14277. Is t a prime number?
True
Let j = -51991 + 300752. Is j a composite number?
True
Is (6309 + 3)/3 + -5 prime?
True
Suppose -11*n + 25460 = -149363. Is n composite?
True
Let f = -39 + 28. Let s(y) = 15*y**2 + 40*y + 104. Let p(w) = -3*w**2 - 8*w - 21. Let b(u) = -11*p(u) - 2*s(u). Is b(f) a composite number?
True
Suppose 8*b = 3*b. Suppose -4*k - 20 = -4*u - b*k, -2*k = 6. Suppose u*z - 4923 = -7*z. Is z a prime number?
True
Suppose 25*p = -22*p + p + 204010. Is p a prime number?
False
Let v(t) = 30*t**3 - 26*t**2 - 6. Let s(l) = -6*l**3 + 5*l**2 + 1. Let h = -41 - -30. Let c(k) = h*s(k) - 2*v(k). Is c(2) a prime number?
True
Suppose 0 = 5*v - 2*s + 8849, -s + 4*s - 6 = 0. Let z = v - -971. Let g = -389 - z. Is g composite?
False
Suppose c - 303 = -4*y, 0 = 6*c - 7*c + 4*y + 263. Suppose c = l - 1114. Is l a prime number?
False
Suppose -4*d + 6355 = -3*x, -2*d = -4*x + 3*x - 3175. Suppose -d = -144*y + 139*y. Is y a prime number?
True
Let a = -500 + 505. Suppose 47452 = 4*s + 4*c, -a*c + 8*c = 0. Is s a composite number?
False
Suppose -17 = -68*n + 85*n. Is (-33655 - 48)*(n + 0) prime?
True
Let d be (-153446)/(-34) + (-2)/17. Let r = d + -464. Is r prime?
True
Suppose 4*h + s - 3 = -h, 5*h = s - 3. Suppose h = 15*u - 14*u - 3101. Suppose 0 = 4*n - 5*m - u, -m = -2*n - 3*m + 1564. Is n prime?
False
Suppose 0*v - 459259 = v - 2637378. Is v composite?
True
Let x = -55 - -59. Suppose -x*a = 4*i, -2*i + a + 5 = -2*a. Is (5/(-5))/(0 - i/853) a prime number?
True
Let l be -10*((-26)/2 - -3). Suppose -2 + 3 = -a. Is l + (14 - a)/5 composite?
False
Let v(t) = 54*t**2 + 58*t + 619. Is v(37) prime?
False
Let w(t) = 29*t**2 + 4*t. Let n(k) = 5 - 4*k**3 + 441*k**2 - 460*k**2 - 42*k + 5*k**3. Let v be n(21). Is w(v) composite?
True
Let x(y) = 6*y**2 + 2. Let n be x(0). Let q be 513 + (-1 - -3) + 1. Suppose 1934 = n*i + q. Is i composite?
False
Let o = -160 + 98. Let k = o + 95. Suppose -2*a = -4*z - 310, a + 5*z - 129 = k. Is a composite?
False
Suppose 4*i = -4*h + 77 - 5, -4*h - 5*i = -75. Suppose -24*z = -19*z - h. Suppose -2*y = 2*d - 706, 1780 = 5*d - y + z*y. Is d a prime number?
False
Is 9670097/9 + (630/81)/(-35) a composite number?
True
Suppose 4*b - 5*b + 4*y + 11071 = 0, 2*y = b - 11065. Suppose 2*i - 2*k + 2385 = b, -4*k - 8674 = -2*i. Is i a composite number?
False
Is 4 - 12 - -6447 - -6 a prime number?
False
Suppose -5467 - 3633 = -2*b. Suppose -4*d + 45198 = -b. Is d composite?
False
Suppose -2*c - 3*i = -4*c + 831341, -4*i = -3*c + 1247010. Is c a prime number?
False
Let m be 1191/((-18)/(-45) + (-17)/30). Let l = m + 12208. Is l prime?
False
Let l be (2/1 - 1)/2*14. Let a(n) = 3*n - 23. Let k be a(l). Is 692 + (-8 + 7)/(-1 - k) composite?
False
Suppose -41964 = 4*y - 3*d + 6904, -12236 = y + 4*d. Let n = y - -18359. Is n a composite number?
True
Let n(l) = -45*l**2 - 4*l + 18. Let x be n(-11). Let d = x + 9161. Is d prime?
False
Suppose 0 = 2*q - 5*s - 260143, 3*q = 142*s - 143*s + 390240. Is q prime?
True
Let o = 472474 + 446397. Is o a prime number?
False
Let q(s) = 1131*s - 37. Suppose 12 = 14*o - 11*o. Is q(o) composite?
True
Is -6 - 49/(-21)*-29253*7/(-7) a composite number?
True
Let x = -3346 - -29187. Is x prime?
True
Suppose -6*l = -l - 5*x - 45, -l = 5*x + 21. Let w(p) = 2839*p + 56. Let n(t) = 569*t + 11. Let u(r) = 11*n(r) - 2*w(r). Is u(l) a composite number?
False
Let x(a) = 61*a**3 - 12*a**2 + 32*a - 4. Let m be x(3). Let p = m - -782. Is p a composite number?
True
Suppose 0 = 2*p - 5*n - 30, 3*p = 3*n - 3 + 30. Suppose -3*r - g - 18928 = -4*r, -p*g = -15. Is r composite?
True
Let o(z) = -4*z**2 - 3*z + 2. Let c be o(2). Let a be 3/2*c/(-6). Suppose -m + 0*m + 384 = -2*b, a*m = -3*b + 1907. Is m prime?
False
Let w(g) = 2*g. Let s(p) = -238*p + 61. Let o(h) = s(h) + 4*w(h). Is o(-5) a composite number?
True
Let n = -127999 - -362325. Is n a composite number?
True
Let p(j) = j**3 + 80*j**2 - 183*j + 79. Is p(-77) prime?
True
Suppose -116 = -2*q + 2*s, 0 = 5*q - 3*s - 236 - 46. Suppose q = -8*a + 5*a. Is (-1202)/a + (-2)/(-9) prime?
True
Suppose 0 = 13*y - 10*y - 3*q - 1386585, 0 = -4*y + q + 1848798. Is y a composite number?
True
Is (-1)/(-7) - (15/(-105) - 1831877/7) prime?
True
Suppose 0 = 5*q + 4*r + 292, 0*q - 2*q - 5*r - 127 = 0. Let x be (-14)/q + (-34)/8. Let j(n) = -581*n + 9. Is j(x) a prime number?
True
Suppose -v - 246 + 761 = 0. Suppose 0 = -5*f + 1615 + v. Suppose 3*o = 1203 - f. Is o a prime number?
False
Let t(m) = -9224*m**3 + 4*m**2 - 1. Let f be t(-1). Let y = -5026 + f. Is y composite?
False
Let d(g) = g - 2. Let c be d(6). Suppose -3*n + c = n. Is ((-2)/(-6))/(n/2019) prime?
True
Suppose -3*z + 1 + 11 = 0. Let u be (-3)/2*z/(-3). Suppose 0 = u*p + 2*p - 276. Is p a prime number?
False
Let i = -2 - -33. Suppose 3*d + i + 32 = 0. Is 791/d*(-2 + -1) a prime number?
True
Let f be 4/10 - (0 + (-77)/(-5)). Let m(w) = -2*w**2 - 29*w + 21. Let o be m(f). Suppose -v = 4*t - 6945, -3*t + o*v = 2*v - 5185. Is t composite?
True
Let i = 6 + -4. Suppose 3*o - s - 26 = 0, 9 + 1 = -i*s. Suppose 6074 - 901 = o*u. Is u a composite number?
False
Let c(u) = 1759*u + 5. Suppose -4*n - 2*p = -8 - 16, 0 = -4*p + 8. Let d be c(n). Suppose v - 6*v + 5865 = 2*j, 3*j - d = -5*v. Is j prime?
False
Let f(g) be the third derivative of -g**6/60 - g**5/30 + g**4/24 - 14*g**3/3 - g**2 + 12. Is f(-19) composite?
True
Let q be (6/(-9))/(12/(-90)). Let l be (q/(-20))/(2/(-16)). Suppose 3*s = 9, l*u + 5*s = u + 536. Is u composite?
False
Let x = 73 + -70. Suppose -x*f + 16102 = 2*r, -10*r - f - 24175 = -13*r. Is r a composite number?
True
Let m(g) = 48*g**2 - 9*g - 5. Let v(t) = -t**3 + t**2 + t - 1. Let i be v(4). Let d = -48 - i. Is m(d) a prime number?
False
Let s(x) = -7457*x + 332. Is s(-1) a prime number?
True
Suppose -4*h - 3*o + 5757062 = 0, 4*o + 2878538 = 2*h + 2*o. Is h prime?
True
Is (120966/(-4))/((-1)/3) - 55/22 a composite number?
True
Suppose 16*s = -1831 - 5081. Let t = s - -3151. Is t a composite number?
False
Suppose -6*f + 139135 + 373927 = 82328. Is f prime?
True
Suppose 7*o - 65529 + 9641 = 0. Suppose u - 3*u + 2*i - 7994 = 0, o = -2*u - 3*i. Is (12/10)/((-34)/u) a composite number?
True
Let z(u) = -8 - 14 - 3 - 8 + 10*u. Is z(10) composite?
False
Let f(b) = -2805*b + 64. Let c be f(-13). Suppose c - 