 Is i prime?
False
Let r be -5*(4/6)/((-6)/9). Let u(w) be the third derivative of w**6/120 - w**5/12 + w**4/12 - w**2. Is u(r) composite?
True
Let a(k) = -5*k**2 - 5*k - 50. Let i be a(-5). Suppose 2*g - 898 = -0*g. Let t = g + i. Is t a composite number?
True
Let u = -4309 + 7902. Is u prime?
True
Suppose 0 = 3*k - 4*k + 335. Is k prime?
False
Suppose -30*g + 22209 = 3*g. Is g composite?
False
Suppose -6*l + 3*l - 13152 = 0. Let t = -2583 - l. Is t composite?
False
Suppose -b = -8 + 5. Suppose -l - b*l = -28. Suppose -8*a = -l*a - 67. Is a composite?
False
Let h(s) = -s**3 + s**2 - s + 24. Let v be h(0). Suppose v = 2*t - 78. Is t composite?
True
Suppose h = -4*q + 122, -3*h = h + 5*q - 466. Let x(a) = -2*a**2 - 3*a + 4. Let o be x(-2). Is (h/o)/((-1)/(-1)) a composite number?
True
Let c(f) = -3*f + 22. Let b be c(5). Let t(l) = 10*l - l**2 + 12 + 13 + b*l. Is t(13) a composite number?
True
Suppose 3*y = -2479 + 13978. Is y composite?
False
Suppose 0 = -0*c + 5*c - 5. Let h(j) = 104*j**2 - 4*j + 3. Let g be h(c). Let r = g + -10. Is r prime?
False
Let o = 121 - 19. Suppose o = -3*a + 6*a. Is (115/10 + -2)*a composite?
True
Let w = 42 - 94. Let x = w - -243. Is x a composite number?
False
Suppose t + 4*g - g + 417 = 0, -3*t - 4*g - 1226 = 0. Let x = t - -1801. Is x prime?
True
Suppose 4*r - 5*m - 19 = 0, -12*m - 34 = -4*r - 10*m. Let w(p) = -156*p + 4. Let l be w(-4). Suppose -r*n = -15*n + l. Is n a composite number?
False
Let s be -4*((-10)/4)/1. Let c(i) = 14 - 3*i + 13 - s. Is c(-7) a prime number?
False
Let m = -36 - -39. Suppose w + 4*w = 10, -5*p + 4529 = -m*w. Is p a composite number?
False
Suppose 0 = -4*u + 12113 - 421. Is u prime?
False
Let z(s) = 3*s**2 + 12*s + 4. Let g(v) = v**2. Let u(c) = -4*g(c) + z(c). Suppose -14 = -3*h + 22. Is u(h) prime?
False
Suppose -9*p + 12 = -15. Suppose -120 = -p*d + 117. Is d a composite number?
False
Suppose h - 46*v = -49*v + 17870, -71445 = -4*h - 5*v. Is h composite?
True
Suppose -j + 21 + 18 = 0. Suppose 1941 = -j*g + 42*g. Is g prime?
True
Let r(p) = 19*p**2 - 7*p - 17. Is r(-8) a composite number?
True
Suppose -11407 = -z + 2*f, 0*f = -z + 4*f + 11403. Is z a composite number?
False
Let l(x) = -x**3 - 4*x**2 + 3*x - 5. Let z be l(-5). Let o(d) = 4*d**3 - 6*d**2 + 10*d + 7. Is o(z) composite?
True
Let z = 7 - -61. Let r be (z/6)/((-13)/(-195)). Let q = -9 + r. Is q a composite number?
True
Let q be 2*((-4)/10)/(44/(-275)). Suppose -236 = o - q*o. Is o a composite number?
False
Let v(u) be the first derivative of -3*u**2/2 + 5. Let z be v(-2). Is (2 - 25/(-2))*z composite?
True
Let p(o) = -99*o**3 - 4*o**2 - 4*o - 3. Is p(-2) a composite number?
True
Let c(q) = q**3 - 23*q**2 + 8*q + 233. Is c(30) a composite number?
True
Let n(g) = -g**2 + 17*g - 20. Let k be n(14). Let u = -17 + k. Suppose -u*q + 0*q = -4775. Is q a prime number?
False
Suppose 0 = -4*c - 2*k + 5812, 8 = -5*k + k. Let l = 376 - 1329. Let q = l + c. Is q composite?
True
Suppose 3*f + 14*f - 148597 = 0. Is f composite?
False
Let p(l) = -l**3 - 6*l**2 + 17*l + 12. Let q be p(-8). Suppose v - 845 = -4*a, 4257 = 5*v + q*a - 0*a. Is v composite?
False
Let i(t) = t**3 - 9*t**2 + 11. Let s be i(10). Let y = -90 + s. Is y prime?
False
Let k(r) = -3*r**3 - 9*r**2 - r + 11. Is k(-8) a composite number?
True
Let v(a) = -a + 10. Let s be v(6). Suppose -s*m + 3*w = -47, -3*m = -5*w - 0*w - 49. Suppose 0 = m*p - 4*p - 52. Is p prime?
True
Let k(r) = -44*r**3 + r**2 + 32*r - 34. Is k(-11) prime?
False
Let j(i) = 3*i**2 + 0*i**2 - 350 + 20*i + 313. Is j(-16) composite?
True
Let n(u) = u + 177. Is n(4) a composite number?
False
Let f be (-543)/(-2)*(2 - 8). Let g = 2018 - f. Is g a prime number?
False
Let q = -7244 - -28105. Is q composite?
True
Suppose 3 = 3*m - l, 0 = -2*m - l + 7. Let v(n) = 5 + 2*n**2 - 6 + 14*n**3 + n**3. Is v(m) a prime number?
True
Let o = 311 - -176. Is o a prime number?
True
Suppose 2*h + 8 = -4*z, 5 = 2*z + 9. Let a be (2 - 3)*71*-7. Suppose h = 3*t - 4*t + a. Is t a composite number?
True
Is (-13 - 17800/(-2))/(0 + 1) a prime number?
True
Let o be (262/(-4))/(1/4). Let p be 12/42 - o/14. Suppose -4*s - p = -5*s. Is s prime?
True
Let v(u) = 5*u - 5. Let r be v(2). Suppose l - 360 = -4*m, -r*m - 5*l + 453 = -3*l. Is m prime?
True
Let f be 56/(-84) - (-4)/6. Suppose f*p = -6*p + 10554. Is p composite?
False
Suppose -4*r + 80 = -0*r. Let x(y) = 5*y**2 - 8*y + 29. Let z(a) = -11*a**2 + 14*a - 58. Let m(k) = 5*x(k) + 2*z(k). Is m(r) composite?
True
Let v be 1/(-3) + 26/(-39). Is v*2031/(-2 - 1) a prime number?
True
Suppose 2*u = 0, 5*f + 5*u + 195 = 505. Let s(h) = -143*h. Let c be s(-6). Suppose -4*g + c = f. Is g prime?
True
Suppose 0 = -5*h + 2*y + 3*y - 55, 5*y - 15 = 0. Let k(n) = -8*n**3 - 6*n**2 + 12*n + 23. Is k(h) composite?
True
Let s = 18 - 15. Suppose 0 = s*g - 8*g + 55. Is g composite?
False
Let p be (1/3)/1 + (-3016)/(-78). Is 6/p - (-369570)/130 a composite number?
False
Let n(h) = -h**2 + h + 4. Let d be n(3). Let p be -1 - ((-2)/d)/1. Is 194/4*(-4)/p prime?
True
Let v(s) be the first derivative of -5*s**3/3 + 7*s + 5. Let d be v(-6). Let f = 312 + d. Is f a prime number?
True
Let q = -43 + 47. Let o(d) be the first derivative of 2*d**3 - d**2/2 - 3*d + 8. Is o(q) prime?
True
Suppose -58*v = -48*v - 138940. Is v prime?
False
Let k = 159 + -161. Let t(w) = 3*w + 2. Let c be t(2). Is (c + k)*23/2 composite?
True
Suppose -4*c + 32 = -0. Suppose -5*m + 10 = 4*r - 8*m, 2*m - c = -r. Suppose -r*k = -326 + 18. Is k a prime number?
False
Suppose -4*n - 2*w = -67849 - 49111, 4*n = -5*w + 116966. Is n a prime number?
False
Let t = -10 - -17. Let b(w) = 10 + 2 + 36*w - 1. Is b(t) a composite number?
False
Let x(m) = -2*m + 6. Let d be x(2). Is 2/d - 4 - (2 - 394) a prime number?
True
Suppose 0 = -p + 2*p - 133. Suppose -5 = 5*h - 25. Is p - 1/(2/h) prime?
True
Suppose 74*r - 16914 = 68*r. Is r prime?
True
Let i = 992 + 58. Suppose -m + 2*m - 3*g - 299 = 0, -3*m + 5*g = -905. Suppose i = 5*t + m. Is t a prime number?
True
Suppose -14 = -2*v - 4*b, -3*v - b + 20 = -v. Suppose 0 = 10*c - v*c + 247. Is c a composite number?
True
Let r be -2*(-3 + 14/4). Is (526/4)/(r/(-10)*5) composite?
False
Let u(o) = -11*o + 7. Let h be u(6). Let x = 0 - -3. Let n = x - h. Is n a composite number?
True
Is (12/4)/(6/29482) composite?
False
Let g = 3 + -2. Let u(b) = -601*b**2 + 11*b + 6. Let r(t) = -120*t**2 + 2*t + 1. Let y(i) = -11*r(i) + 2*u(i). Is y(g) a composite number?
True
Suppose 2*r = 3*b - 2865 - 2884, 25 = -5*r. Suppose -b = -2*j + j. Is j a prime number?
True
Is (-9137)/(-13) - (3 + (-123)/39) prime?
False
Let h = -514 + 519. Let l = 205 + -86. Suppose -h*k + l = 14. Is k composite?
True
Suppose n = 5*n - 8. Suppose 0*h = 3*h + b - 2820, -h + 947 = -n*b. Is h a prime number?
True
Suppose -r - r + 10 = 0. Suppose r*q + 10 = -j + 2*q, -3*j - 14 = 5*q. Suppose 572 = 6*y - j*y. Is y prime?
False
Let m = 13597 - -16910. Is m composite?
True
Let h(v) = -5*v + 4*v + 3*v + 3 - 4*v. Let x(f) = 3*f - 3. Let n(w) = -3*h(w) - 4*x(w). Is n(-5) a composite number?
True
Suppose -r - 364 = -5*h, r - 3*h + 1371 = -3*r. Let j = r + 623. Suppose j = w - 23. Is w prime?
True
Is 6949/8 + 33/88 a prime number?
False
Suppose -24 = -2*d - 4*d. Suppose -5 = -c - l, 3*l = 4*c - d - 2. Suppose -c*p + 626 - 155 = 0. Is p composite?
False
Let y(u) be the second derivative of u**5/10 - u**4/24 - u**3/6 + u**2 + 4*u. Let w(d) be the first derivative of y(d). Is w(2) prime?
False
Suppose 11*k + 10683 = -416. Let h = 388 - k. Is h prime?
False
Suppose 4*i = 4*u - 172 - 200, -u + 81 = 2*i. Is u prime?
True
Is 62/(-4 - ((-70200)/2922)/6) a prime number?
False
Suppose -11*u + 0 = 11. Is u/(2/(-1006)*1) composite?
False
Let y(m) be the third derivative of -215*m**4/24 + 5*m**3/6 - 9*m**2. Is y(-10) prime?
False
Let b = 55291 - 37250. Is b prime?
True
Let k = 38 - 33. Suppose -4864 + 1119 = -k*b. Is b prime?
False
Let d = 2066 + -885. Is d composite?
False
Let c(v) be the second derivative of 9/2*v**2 - v - 13/6*v**3 + 0. Is c(-10) a composite number?
False
Let d = -125 + 127. Suppose d*a - 5*x - 937 = 0, -5*x = -1 - 4. Is a prime?
False
Let n be -6*(-2 + 0)/((-8)/14). Is 6/n + (-16680)/(-21) a prime number?
False
Suppose 4*c - 64372 = -7*c. Suppose 0 = 