s k(-6) a prime number?
False
Let w(t) be the first derivative of 104*t**3/3 + 5*t**2 + 7*t - 26. Let z(o) = -o**2 - o. Let m(r) = w(r) + 6*z(r). Is m(-2) a prime number?
False
Let f(c) = 11*c**3 - 2*c**2 - 6*c - 1. Let t(p) = -5*p**2 - 2*p + 5*p**3 - 7*p - 3 - 4*p - 4*p**3. Let i be t(7). Is f(i) prime?
True
Suppose 0 = 11*q - 79203 - 7510. Suppose 0 = 16*x - q - 4165. Is x a prime number?
False
Let w(q) be the second derivative of 3*q**5/20 + q**3/3 - q**2 - 5*q. Let u be w(1). Suppose 0 = -u*a + 1989 - 660. Is a prime?
True
Suppose u + 89*c - 92*c - 34006 = 0, -4*u = -4*c - 136000. Is u prime?
True
Let i = -10 + -41. Let c = i - -23. Is (331/(-4))/(7/c) prime?
True
Suppose -2*g = 2*g - 4, 2*n = 4*g. Suppose -4110 = -v - 5*y + 2*y, -12330 = -3*v - n*y. Suppose 2*k = 8*k - v. Is k prime?
False
Is (-149732268)/(-1260) + (-2)/15 a prime number?
False
Let u be 1/(-4) + ((-219)/(-12) - -4). Let x = -96 - u. Let s = 233 + x. Is s a prime number?
False
Let t(d) = 12*d - 48. Let p be t(4). Suppose -3*y + 24737 + 35722 = p. Is y prime?
False
Let k = 6193 - 4114. Let w = k - -374. Suppose 2*t - t = w. Is t composite?
True
Suppose 9*m = 7*m + 10. Let c = 11 - m. Suppose 4*j - 58 = -c. Is j a composite number?
False
Let z(q) = 8653*q - 5. Let l be z(1). Suppose 5*u - l = -3*u. Suppose 0 = -4*p + u + 1891. Is p prime?
True
Let y = -47 + 90. Suppose 45*h - y*h = 622. Is h a composite number?
False
Let c be ((-2 - -88) + -1)/(9 + -8). Is 5 - 17/(c/(-810)) a composite number?
False
Is (-6)/(-11) - 73600483/(-121) prime?
True
Let o = 88 - 22. Let j = 1343 - o. Is j prime?
True
Let w(k) = -k**2 - k + 35. Suppose -4*i = 2*a + 36, 0*i - 30 = 4*i - a. Let b be w(i). Is (-237)/(-9) + 7/b a composite number?
True
Let r(s) = 6*s**2 - 7*s - 5. Let o be 16/6*(-9)/(-6). Let g = 0 - o. Is r(g) a composite number?
True
Let l(a) = 11560*a**2 + 187*a - 383. Is l(2) composite?
True
Let p(f) = 4*f**3 + 7*f**2 - 10*f - 4. Let n be p(19). Let j = n + -20950. Is j prime?
True
Let c = -2 + 12. Is (-2 + (-8)/(-3))/(c/64335) a prime number?
True
Let z = 30406 + 76417. Is z composite?
False
Suppose 5*m = 7*m + 4*r - 454962, 3*m - 682487 = 5*r. Is m a prime number?
True
Let n(m) = m**2 + 5*m + 2025. Let p be n(0). Is 24/(-6) - p/(-3) a prime number?
False
Suppose 4*y + 4*i - 106109 = 46311, 2*y - 76208 = -3*i. Is y a composite number?
True
Let s(h) = -293*h**3 - 93*h**2 + 82*h + 117. Is s(-22) a prime number?
False
Suppose -4*h + 35925 = -4*y + 7637, 14120 = 2*h + 2*y. Is h prime?
False
Let c(y) = -y**2 - 21*y - 29. Let a be c(-20). Let v = -9 - a. Suppose v = -5*g + 336 + 1139. Is g a composite number?
True
Let q = -41557 + 76294. Is q a composite number?
True
Let p(g) = 680*g + 991. Is p(102) a composite number?
False
Suppose 0 = -54*u + 37*u + 63971. Is u composite?
True
Let i = 54 - 50. Suppose -i*l + l + 27 = 3*f, -4*f + 3*l + 36 = 0. Suppose f*c + 2158 - 9223 = 0. Is c a prime number?
False
Suppose -28*o = -33*o - 4590. Let i = o + 2065. Is i a composite number?
True
Let q = 126 + -136. Is 274/q*30/(-3) a prime number?
False
Let t = -298 - -302. Suppose -2693 = -4*s + z, t*z + 5 = -z. Is s a composite number?
False
Let l = 124116 - 71173. Is l a prime number?
False
Suppose 4*z = 8, -3*c + 5*c - 2*z - 4 = 0. Let d(l) = 37*l**2 + 9*l - 5. Is d(c) a composite number?
True
Suppose 1185705 = 5*q - 4*i, 237132 = q + 2*i - i. Is q a prime number?
True
Suppose -37*x + 3144898 = 14*x - 17*x. Is x a composite number?
True
Suppose 1741*h - 1758*h = -193681. Is h a composite number?
False
Suppose -161*d - 65285 = -162*d - 2*a, 4*d - 3*a = 261151. Is d prime?
True
Suppose 5*r + 68 = 7*r. Let j = r + -32. Suppose -j*t - 450 + 6176 = 0. Is t prime?
False
Suppose 991014 = 2*l - 5*m, -5*l + 150*m + 2477651 = 152*m. Is l a prime number?
True
Let p = -52607 + 110650. Is p a prime number?
True
Let b(a) = a**3 - 16*a**2 - 42*a - 46. Let s be b(21). Let z = s + -126. Is z composite?
False
Let d = -38 - -54. Suppose d*q + 36*q = 725140. Is q composite?
True
Suppose -2*k = -40 - 10. Let b = k - 25. Suppose b = s - 4*s + 993. Is s a composite number?
False
Suppose 4479939 = 4774*x - 4765*x. Is x a prime number?
True
Let f(s) = s**3 + s**2 - 23*s - 8. Let d be f(-4). Is 2426/(-3)*d/(-24) a prime number?
True
Suppose -22*a + 331011 = 3*f - 17*a, 3*f - 331029 = -2*a. Is f a prime number?
False
Let j = -3231 + -142. Let d = j - -1677. Let x = -803 - d. Is x a prime number?
False
Let j = -84 + 80. Let s be j/(-7) + (-24480)/(-84). Let z = 495 - s. Is z prime?
False
Is 15905 + (-12)/(4/4) a composite number?
True
Suppose 13*q - 39815 - 6712 = 0. Suppose -2*f = -3*f + q. Is f prime?
False
Let w be (-174)/(-4)*(-8)/(-6). Suppose -285*d + 58695 = -156*d. Let y = d - w. Is y a composite number?
False
Is (-1189949)/(-1) + 10206/(-567) a prime number?
False
Let j(t) = -5992*t**2 + t - 10. Let o be j(4). Is 0 - o/4 - 33/66 a prime number?
False
Let c(m) = -23 - 6943*m**2 + 2*m + 6946*m**2 - 13*m. Is c(-29) composite?
False
Let s(n) = -259*n. Let p be s(1). Let r = p - -1264. Let o = -524 + r. Is o a prime number?
False
Suppose -13*f + 11*f + 5*i + 32898 = 0, 0 = 5*f - 3*i - 82283. Suppose -13*o - 43772 = -f. Is (2 - 4)/(22/o) a prime number?
True
Let s = -1735 + -1636. Let m = s + 5762. Is m a composite number?
True
Is ((-16)/60)/(-2) - (-6371409)/45 prime?
True
Suppose -2*r = 3*t + 21, -5*t - 2 = -5*r + 58. Let v(y) = 3*y + 29. Let i be v(t). Suppose -1341 + 3533 = p - f, i*p - 4378 = -4*f. Is p a composite number?
True
Suppose -10*f = -3729 - 5001. Let m = 1070 + f. Is m a prime number?
False
Suppose 2136 = 5*l + 2*r - 5*r, 3*l + 4*r = 1299. Suppose 3*z - j = -l - 202, -z = 3*j + 227. Let s = z + 345. Is s composite?
True
Let o be (2990/(-30))/((-2)/78). Let t = -1145 + o. Suppose u - t = -737. Is u a composite number?
True
Is ((-14)/28)/(1/1) + (-104614)/(-4) prime?
True
Let z(s) be the first derivative of 11*s**4/6 - 3*s**3 - s**2/2 - 15. Let u(n) be the second derivative of z(n). Is u(8) a prime number?
False
Let t(y) = 43 + 310*y - 15*y - 38*y. Is t(8) prime?
True
Let o be (12/(-20))/((-2)/10). Let s(i) = 4*i**2 - 24*i - 34. Let w be s(-3). Suppose 0 = 2*y - 2, -o*y - 444 = -g - w. Is g prime?
True
Let d(y) = -38*y + 154. Let l(n) = 13*n - 52. Let c(v) = 4*d(v) + 11*l(v). Let o be c(5). Is 0/(-36) + -583*o*1 a composite number?
True
Let b(o) = -641*o - 121. Let k(t) = -1924*t - 365. Let z(m) = 17*b(m) - 6*k(m). Is z(24) composite?
False
Let z = 24276 + 17005. Is z a composite number?
False
Suppose -55247 = -4*o - 5*f + 23961, 5*o - 99055 = 5*f. Is o a prime number?
False
Suppose r - 3*z = -6, 12 + 4 = -r - 2*z. Is (54/r + 3)*11692/(-6) composite?
True
Suppose -7*f - 4*y = -2*f - 45, -4*f - 5 = -5*y. Suppose 2*b = 5*b - 4*d + 91, -4*d - 109 = f*b. Is 51 + (-2)/((-10)/b) composite?
True
Suppose -4*b - 4*v + 12 = 0, -4*b - v + 0*v = -12. Suppose -17 + 11 = b*h. Is (-9 - -9) + (h - -255) a composite number?
True
Let u = 13 - 32. Let q = 9 - u. Let i = q + 54. Is i a prime number?
False
Suppose -5*l = -2*o - 13611, -4*o = -l + 403 + 2330. Is (0 + l)*(-60)/(-36) a composite number?
True
Let u = 25895 - 11141. Suppose 2*m + 5*d - 5897 = 0, -7*m - d + u = -2*m. Is m prime?
False
Let l(q) = -106*q + 11. Let c(x) = 10*x - 66. Let r be c(6). Is l(r) prime?
True
Suppose -2*o = o - 5*g + 26, -12 = 4*o - g. Let t be (-404)/o*1 - -2. Let y = 367 + t. Is y a composite number?
False
Suppose -7*d = -2*s - 3*d - 4, d + 20 = 4*s. Suppose 2*p = v + 8, 3*p = -8*v + 3*v + 25. Is 402/v + (8 - s) composite?
True
Let u = 890 - 890. Suppose -33*x + 4833 + 546 = u. Is x a prime number?
True
Let a be (-14*1)/(-2) + 9/(-3). Let x(m) = -m**3 + 5*m**2 - 4*m + 3. Let g be x(a). Let z(l) = 90*l**2 - 3*l - 4. Is z(g) a composite number?
False
Suppose 0 = 19*n - 28619633 - 76119550 + 20041876. Is n prime?
True
Let k(w) = -2*w**3 - 3*w**2 + 1. Let v be k(-2). Let j be (8 - (5 + 2))*1004. Suppose j = v*t - t. Is t prime?
True
Let i(j) = 370*j**3 + 4*j**2 - 2*j - 3. Let s be i(2). Suppose 0 = -t + s + 1844. Is t composite?
False
Suppose -5*k - 3305 = -43*m + 38*m, -5*k + 697 = m. Is m prime?
False
Suppose 3*b = -4*j + 118, -b + 4*b - j = 128. Let x = -42 + b. Is -1 + 1 + x + 438 + 11 prime?
True
Let g be ((-70)/(-30))/(2/54). Suppose -o = j