True
Let x(l) = 243*l**2 - 9*l + 7. Is x(8) a composite number?
True
Suppose 5*l - 2 - 8 = 0. Suppose -5*s + 57 = -2*n, l*n = -3*n + s - 177. Is ((-24)/n)/(4/222) composite?
False
Suppose -56 - 104 = -5*x. Let y be (56/x)/((-1)/4). Is (36/(-3) + 1)*y a prime number?
False
Let d = 1850 - -2223. Is d a prime number?
True
Let z be (82/3)/(4/174). Suppose 2*p = 5*y - p - z, 5*y - 4*p = 1192. Suppose 0 = -q - 3*q + y. Is q composite?
False
Suppose -2*d = -4*a - 8652 + 2830, 0 = 5*d - a - 14582. Is d a prime number?
True
Suppose -3*t = -4*t + 4*i + 2022, -5*t = i - 10047. Is 28/7 - t/(-2) a composite number?
False
Let h(m) = 16*m**2 + 2*m + 11. Let n be h(5). Let b = n + 214. Is b a prime number?
False
Suppose n - 5*n + 12627 = -5*i, -15790 = -5*n + 5*i. Is n a prime number?
True
Let y(f) = -62*f + 12. Let j be y(-12). Let o(u) = 386*u**3 - 2*u**2 + 2*u - 1. Let h be o(1). Let x = j - h. Is x prime?
False
Suppose 25*n - 62154 = 7*n. Is n a prime number?
False
Is -7995*(4 - 5) - 2 a composite number?
False
Let t(l) = -128*l - 8. Let a be t(-17). Let n = a - 1017. Is n composite?
False
Suppose 16 = -0*g + 8*g. Suppose 4*w - 12 = 0, -g*w = 2*d - 0*w - 2276. Is d a prime number?
False
Suppose j = 5*g + 82, -5*j - 2*g = -g - 384. Is j a prime number?
False
Is 7726 + (-22)/8 + 25/(-100) composite?
False
Let r be (-12)/10*1110/(-4). Let g = 1023 - r. Let z = 1237 - g. Is z a composite number?
False
Let d(p) = -2*p**3 - 20*p**2 - 23*p + 56. Is d(-13) composite?
True
Let b be 0*1/(-2) + 570. Let m be 6*((-108)/(-8))/9. Is b/4*6/m composite?
True
Suppose w + 2*w - 60 = 0. Let l be (w/8)/(-5)*460. Is (0 - l)*5/10 a composite number?
True
Let l(m) = 3*m**2 + 18*m + 41. Is l(18) a prime number?
False
Is -2*2/((-12)/24279) a prime number?
True
Let a(v) be the third derivative of -v**6/120 + 7*v**5/60 - v**4/4 - 2*v**3/3 - v**2. Let k be a(6). Is -7 - (1 + k) - -243 composite?
False
Let k(r) = r + 16. Let z be k(-12). Suppose -z*f = h - 647, f + 4*h = 4*f - 490. Let g = 239 - f. Is g prime?
False
Suppose 0 = 2*b - 507 + 113. Let x be 20 + 3*2/(-3). Let z = x + b. Is z a prime number?
False
Let r = -5 + 5. Let q(b) = -82*b + r - 2 + 7. Is q(-5) a prime number?
False
Suppose 5*i - 5277 = q, 4*q = i - 2*i + 1047. Is i composite?
True
Let v(h) = 2*h + 1. Let a be v(4). Let y(k) be the first derivative of 2*k**2 + 2*k - 9. Is y(a) a prime number?
False
Suppose 14 = s + 11. Suppose -3*k - 321 = -2*c + 698, -3*k - 1527 = -s*c. Let j = c + 535. Is j prime?
False
Suppose 0*k = k - 2*k. Suppose k*r = -2*r + 5138. Is r a composite number?
True
Suppose -k + 15 = 4*v, 2*v + 6 = v + 3*k. Suppose -v*q + 40 = -w - q, -3*q = w + 45. Is (-2 + 3)/((-3)/w) prime?
False
Let v = 461 + -159. Let s = 451 - v. Suppose 3*u + s = 4*u. Is u a composite number?
False
Let z = 25496 + -15535. Is z a prime number?
False
Suppose 5*l - 6688 = -4*s, s - l = 2549 - 868. Suppose 5*p + s = -3*u + 7*u, u - 433 = 4*p. Is u a composite number?
True
Let g(t) = -5*t**3 + 8*t**2 + 12*t - 2. Let r be g(-5). Suppose -5*c + 1935 = 2*n, -4*c + 2*c - 3*n = -r. Is c prime?
True
Suppose 2*d - 8*d = -3054. Suppose -1495 = -2*u - d. Is u a composite number?
True
Let y = -144 + 36. Is (-226668)/y - -2*(-1)/(-9) a prime number?
True
Suppose -3*x = -9, 5*n - 15*x - 258868 = -16*x. Is n a prime number?
False
Let t(g) = -g**2 - 13*g + 16. Let k be t(-14). Suppose k*s - 4 = 4*s. Is 124 - (s + 4 + -5) prime?
True
Let b be (-4)/((-5)/((-105)/(-6))). Let t = -14 + b. Suppose -c + 4*c - 1119 = t. Is c a prime number?
True
Is 6 + (-197791)/(-22) + (-2)/(-4) a composite number?
True
Let k(b) = -42*b**3 - 9*b - 25. Is k(-6) a composite number?
True
Suppose 4*d + 52369 = 5*s, -2*d = -4*s + 2*s + 20948. Is s prime?
False
Suppose 12*j - 9*j = 2*w + 2, 5*j - 1 = 3*w. Let o(m) = -13*m + 52. Is o(w) composite?
True
Let j = -303866 - -509907. Is j a composite number?
True
Let o(m) = 5*m**3 - m**2 + 1. Let l be o(1). Suppose -l + 2 = -n. Suppose 4*q - 917 = -n*s + 5*q, 4*s + 2*q = 1236. Is s prime?
True
Let m be (-2)/5*(-1 - 569). Let j = 35 - 154. Let q = m - j. Is q a composite number?
False
Let r = -10 - -16. Suppose -s + r = -1. Is (-2)/(-7) + 103/s prime?
False
Suppose -12 = -4*h, h = -3*z + z + 34925. Suppose z - 4397 = 8*g. Is g composite?
True
Let q(l) be the third derivative of 3*l**5/10 - 7*l**4/24 + 11*l**3/6 + 5*l**2. Is q(-6) a composite number?
False
Let k be (4 - 7)*4/6. Let q be (1/k)/(5/130). Let m = q + 32. Is m prime?
True
Let s(j) = -2*j**3 + j**2 - j. Let t be s(-2). Let l = 26 - t. Is l/10*(-2690)/(-4) composite?
False
Suppose -26*k + 353065 = -358165. Is k a prime number?
False
Suppose -5*z = -15 - 0. Suppose 8*w - 2005 = z*w. Suppose 2*s = 653 + w. Is s prime?
False
Let h(u) = 68*u + 1 - 3 + 71*u - 11. Is h(6) composite?
False
Let k = -27 + 40. Let p be k/3 - (-14)/21. Let l(q) = 7*q + 4. Is l(p) prime?
False
Suppose 2*q + 446265 = 5*w - 3*q, -5*w - 3*q = -446281. Is w a prime number?
False
Suppose -4*f - 5*j + 338 = 0, -f - j + 95 = -5*j. Suppose 925 = 2*s + f. Suppose -c - s = -2*c. Is c composite?
False
Let w = 13 + -10. Suppose 4*j = j + 3*f + 24, w*j - 20 = -f. Suppose 0 = j*n - 10*n + 159. Is n a prime number?
True
Let r(x) = x**2 + 12*x + 11. Let n be r(-11). Suppose n*h = 5*h. Suppose -4*g + 3*g + 47 = h. Is g composite?
False
Let b(p) = 350*p - 93. Is b(5) a prime number?
True
Let w = -21 + 25. Let z be 1/(w/2988 - 0). Suppose 0 = -2*t - 125 + z. Is t composite?
False
Let c = -14547 + 31034. Is c prime?
True
Suppose 3*p - 5*m + 8 = 0, -2*m + 20 = 4*p - m. Suppose 3*s = p*s + 25. Let a = 418 - s. Is a prime?
True
Suppose 4*t + 1191 = 3*s, 4*s + t = 3*s + 397. Is s prime?
True
Is 16408/10 + 204/170 a composite number?
True
Suppose 4*x = a - 4*a + 12439, -4*a = 2*x - 16602. Is a a composite number?
False
Is (-38)/(-3553)*-11 + 230165/17 composite?
True
Suppose 5*d - 6 - 4 = 0. Let o be (d + 2)/((-4)/(-20)). Suppose m - 125 = -n + o, 4*n - 608 = 3*m. Is n composite?
False
Let q = 32738 + -16737. Is q a composite number?
False
Let k(h) be the second derivative of -h**3/6 - h**2/2 - h. Let d be k(-10). Is (-3)/(-9) + 978/d prime?
True
Let d(i) be the third derivative of i**5/60 - i**4/3 - 23*i**3/6 - 31*i**2. Is d(-20) prime?
False
Suppose 15*a - 506659 = -14*a. Is a composite?
False
Is 12906 + (-26 - (-18 - -5)) prime?
True
Suppose 5*i - 23*t + 22*t = 24307, -i + 4851 = 5*t. Is i a prime number?
True
Suppose 9*q + 24245 = 22*q. Is q a composite number?
True
Let x(g) = 191*g - 2. Let s be x(4). Suppose a - s = -4*y, 0*y - 4*a + 565 = 3*y. Is y prime?
True
Suppose 2*j + j - 3*y - 24 = 0, 0 = 5*y. Let k be 1 - 8/(-4) - -2212. Suppose j*x - k = 3*x. Is x composite?
False
Let c = -4719 - -22778. Is c prime?
True
Let k(s) = s**3 + 19*s**2 - s + 1. Let b be k(-8). Suppose 2*x = b + 401. Is x prime?
True
Is (-23 + 25)/(4/2878) composite?
False
Let o(x) = -2*x**3 - 71*x**2 - 45*x + 32. Is o(-35) prime?
False
Suppose -22 = -5*c - 2*g, -2*g = 2*c - 3 - 1. Let y(n) = n**2 - 7*n - 14. Let m be y(8). Is (-1478)/m + c/9 prime?
False
Let d be (-1)/3 + 8492/(-66). Let r = d - -424. Is r a prime number?
False
Suppose -b - 55 = -4*z, -3*b - 16 = -z - 2*b. Let w = z + 406. Is w composite?
False
Is (-8 - (-8 + 5)) + 8202 a composite number?
True
Suppose -5*d = 3*b - 91 + 22, -b = -3*d + 33. Let u = d + -6. Let l(c) = c**3 - 5*c**2 - 2*c - 5. Is l(u) composite?
False
Let y = 1815 + -1104. Let x = 1373 - y. Is x a composite number?
True
Suppose -21*m = 7*m - 27748. Is m composite?
False
Let j = -118 - -2333. Is j a composite number?
True
Let g be -12*((-90)/(-8))/(-9). Suppose -2*h - 2*w + 43 = g, h = 4*w - 6. Suppose -555 = 7*j - h*j. Is j a composite number?
True
Let x(y) = -30*y**3 + 4*y**2 - 66*y - 47. Is x(-10) a prime number?
True
Let c(n) = 476*n**2 - 2*n - 19. Is c(-3) prime?
True
Let c = -45 + 47. Is (-1)/((-4605)/9190 + c/4) prime?
True
Let j be 4804/28 + 9/21. Suppose 4*m + 116 - 4 = -3*f, 5*f = -3*m - j. Is (-2344)/f*(-1 + 5) a composite number?
False
Let b = 7 + -5. Suppose 3*p + 2*f = 12, -7*f = -2*p - 2*f - 11. Is 7/p*(b + 84) a composite number?
True
Is (5 - (1 - -1)) + 410 composite?
True
Suppose -41*q + 44*q = 30021. Is q a composite number?
False
Is (12 + 24/(-3))*(-288055)/(-20) prime?
False
Let h = -126 + 