6993*r**2 - 222*r - 29. Is l(-4) composite?
False
Is -197*(11 + -276 + 8) prime?
False
Let m be (384/(-120))/(1/5). Is 2*58/m*-1004 prime?
False
Let g = -369422 + 1849915. Is g prime?
False
Let p = -24 - -27. Let u be 39/(-12) + p + (-238)/8. Is -4*(-3)/u + (-3409)/(-35) prime?
True
Let l be 2/4*(-16 - 0). Let z = -322 + 338. Is (2 - 483/2)/(l/z) prime?
True
Let z(s) = 5*s**3 - 5*s**2 - 9*s - 3. Let l = 38 + -32. Let a be z(l). Let u = a + -322. Is u prime?
True
Let q = -1 - -10. Suppose -3*z + 0*a + 23 = 2*a, q = 5*z - 4*a. Suppose 1644 = 4*g + 2*m, z*g + 3*m - 830 = 3*g. Is g prime?
True
Suppose -3*t + 16 = t. Let f be 6070/2 - (1 + t)/5. Suppose -y - a = -4*a - f, -y + 2994 = 5*a. Is y a composite number?
False
Let h(z) = z**3 - 34*z**2 + 67*z - 115. Let o = 532 + -499. Is h(o) prime?
False
Let c(z) be the second derivative of z**5/20 - z**4/2 - 4*z**3 + 5*z**2 - 12*z. Let b be c(13). Let n = 1354 - b. Is n a composite number?
True
Let p(d) = 795*d + 64. Suppose 10*j = 239 + 31. Is p(j) prime?
True
Suppose 8*u = 3*t + 3*u - 323, t + 3*u - 131 = 0. Let o = -71 + t. Suppose -2*h + 245 = -o. Is h a composite number?
True
Let u = 8443 - -2196. Is u a composite number?
False
Suppose 0 = 31*r - 50690 - 1142102 - 95227. Is r composite?
False
Let c(u) = 10*u**3 - 74*u**2 - 11*u + 87. Is c(18) a composite number?
True
Suppose 3*v - 2915 = 8*v. Let q be v/15 + 18/(-135). Let g = 72 - q. Is g composite?
True
Let i(f) = -f**3 - 28*f**2 - 82*f - 94. Let g be i(-25). Suppose -r + 3*r - 1390 = 0. Suppose g = -2*j + r. Is j a prime number?
True
Suppose -41*k - 3808 + 40257 = 0. Is k prime?
False
Suppose 4*p = 3*p + 3*u + 437035, 5*p = -2*u + 2185107. Is p a prime number?
False
Suppose u - 64921 = -2*p - 6093, 5*p = -2*u + 147071. Let d be (-12)/(-42) + p/21. Suppose 0*f - d = -2*y + f, 0 = 5*f - 5. Is y a composite number?
False
Suppose 173*i - 1640765 - 943727 = 685035. Is i a composite number?
False
Suppose -2*f - 3*s = -31, -2*f + 0 + 11 = -s. Suppose -1 = h - 2*n, 4*h + n = 3*n + f. Is (h + 0 - -208)/1 prime?
True
Let j be (9/54*-2)/((-3)/42813). Suppose 0 = f + q - 4757, -f + j = -6*q + 11*q. Is f a prime number?
False
Let l(v) = 2*v**3 + 51*v**2 + 27*v + 52. Let s be l(-25). Is s/((-4)/12781*(-16)/32) prime?
True
Suppose 2*w + 0*w = 430. Suppose -30 - w = 5*o. Is (-8886)/(-14) + (-14)/o a prime number?
False
Let j(g) be the second derivative of -25*g**4/4 - 2*g**3/3 - g**2 + 17*g. Let y be j(3). Let a = y - -1458. Is a prime?
True
Let d = -154 + 152. Is d/(-12)*-5294*-3 a prime number?
True
Is 4*3/78 - 38610356/(-52) prime?
True
Suppose 28 = -20*x + 16*x. Is ((-42)/x)/((-3)/(-1543)) prime?
False
Let n = 101 - 6. Let t = -89 + n. Suppose -11*v + 2935 = -t*v. Is v composite?
False
Let j(i) = 5709*i + 11. Let m be j(2). Suppose m = 7*z - 20904. Is z a composite number?
True
Let i be (48/9 + -4)*3 - 6. Is i + (-3 - -5) + (6027 - -2) a prime number?
True
Suppose 0 = 224*w + 892931 - 21251619. Is w composite?
False
Let n = 115 + -95. Let t(r) = r**3 - 18*r**2 + 3*r + 9. Is t(n) a composite number?
True
Suppose -114417 = -10*k + 378893. Is k composite?
False
Let t(i) = i**3 - 2*i**2 + 458. Let w = -29 + 36. Let d be w/28 - (-1)/(-4). Is t(d) a composite number?
True
Let v(z) = 61635*z**3 + z**2 + 32*z - 31. Is v(1) composite?
False
Let s(j) = -j**3 - 38*j**2 + 34*j - 192. Let v be s(-39). Let r = 166 + 1644. Suppose -2*y - v*y = -4*f - 4551, r = 2*y + f. Is y prime?
True
Suppose 0 = -3*m - 5*m + 104. Let j = 16 - m. Suppose -5523 = -j*a - 4*a. Is a a composite number?
True
Suppose 4*x + 3058 = -1130. Let h be (-2 + 42)/(-4)*x/6. Let c = h + -1054. Is c composite?
False
Let m(p) = 1352*p - 44. Let v be m(11). Let l = -1077 + v. Is l prime?
True
Let z be 10/5*2 - (-2)/2. Suppose -z*w + 2*x = -3*x - 3440, 5*w - 3461 = -2*x. Is w prime?
True
Suppose 3*f - 4*f - 5*y - 1006 = 0, 5*f + 5052 = -3*y. Let i = f - 99. Let b = 227 - i. Is b a prime number?
False
Let n be -5*((-25)/5)/1. Let a = 27 - n. Suppose 3*q - k = -a*k + 2356, -4*q + k = -3153. Is q composite?
False
Suppose 2*s - 3 - 1 = 0. Let n be 6/(-3) - (0 - s)*-10. Is n/(-8)*-2*786/(-3) composite?
True
Let j = -1037 + 239. Suppose -7*o = o. Is o - j - (-11 - -15) a prime number?
False
Let j(o) = -32*o + 3. Let i = 43 + -149. Let t = i - -104. Is j(t) prime?
True
Let l(r) = 8*r**3 - 5*r**2 + 8*r - 6. Suppose -16 = 5*v - 36. Let y be l(v). Let a = -324 + y. Is a a prime number?
False
Suppose -35 = -6*p - 17. Suppose -2*m - 4*q = -562, -p*q = -8*q - 15. Is m composite?
True
Let j(h) = 14*h**2 + 22*h - 115. Let o be j(8). Suppose 0*p + 3*p = n - 476, o = 2*n - 5*p. Is n composite?
False
Let p = -980 - -2258. Suppose -z = w - 624, p + 1797 = 5*w - 4*z. Is w a composite number?
False
Suppose b = 11 + 17. Suppose -44 - b = -12*i. Is ((-7)/(42/(-18)))/(i/3086) prime?
True
Suppose 5*x = 6*x. Suppose 0*b - b - 720 = x. Is (1 - 4) + 2 - b composite?
False
Suppose y - 296 = 519. Let d = 1484 - y. Let f = -362 + d. Is f prime?
True
Is 5 + (-3 - 7) + 54756 a composite number?
False
Let k = 6443 + 3249. Let t = k + -5103. Is t composite?
True
Let x = 967 - -1488. Let p = x - -442. Is p a composite number?
False
Let a = 62577 + -29476. Is a a prime number?
False
Suppose 6*t + 2586003 = 3*k, 0 = 20*k - 25*k - 3*t + 4310005. Is k composite?
True
Let q = 11899 + 21796. Suppose -q = -8*p + 18809. Is p composite?
False
Let f(n) = 132*n**2 - 12*n - 37. Is f(-23) a composite number?
False
Suppose 342384 = 11*k - 2*k + 101427. Is k composite?
True
Suppose 17*t = 9*t + 16. Is 5 + 2999 + 6/t a prime number?
False
Let f = -937 - -3550. Let n = f + -712. Is n prime?
True
Let q = 23 - 20. Suppose -3*o = -4*k + 11 - 3, 2*k = q*o - 2. Suppose s + 9963 = k*r, -2*r + 5985 = r + 3*s. Is r a prime number?
True
Is ((-8)/(-10))/(-1) - (-510493033)/335 prime?
False
Let a(d) be the first derivative of 7*d**4/4 - 29*d**3/3 + 9*d**2/2 + d + 15. Is a(8) a prime number?
True
Is 44/(-55) - 304518/(-10) - (1 - 3) prime?
False
Suppose 16*v - 28 - 20 = 0. Let a(w) be the first derivative of 55*w**4/4 - w**3/3 - w**2 + w - 13. Is a(v) a prime number?
True
Let u(m) = -m**2 - m + 221. Let r(i) = i**3 + 17*i**2. Let p be r(-17). Suppose 3*b + p*b = d + 12, 4 = -4*d + b. Is u(d) a prime number?
False
Let s(m) = -7*m - 46 + 469*m**2 - 70*m**2 + 7*m + 16*m. Is s(3) prime?
True
Let x = -192 - -213. Is 10938/(-4)*(-98)/x prime?
False
Suppose -4*t = -0 + 4, -3*c - 5*t = -8032. Let i(x) = 12*x**2 - 3*x - 11. Let h be i(7). Suppose 3*j + c - h = 4*o, 3*o = -j + 1576. Is o composite?
True
Let g be (-22)/(-6) - 3/((-90)/(-20)). Suppose 3*s + 12 = 0, g*z - 8*z - 3*s + 7873 = 0. Is z a prime number?
False
Suppose -4*m + 75*k + 234932 = 79*k, -4*m + 4*k = -234884. Is m composite?
False
Let r(c) = c + 2. Let m be r(0). Let j(s) = 17*s**m + 17 - 6*s - s + 0*s. Is j(8) a prime number?
True
Let r(c) = 203*c**2 - 6*c - 36. Is r(-7) composite?
True
Suppose 254555 = 7*y - 40537. Let l = -14466 + y. Is ((-2)/4)/(3 - l/9228) composite?
False
Let d(j) = -21 - 1 - 8*j + 1 + 2*j**2. Let o = -200 - -214. Is d(o) a prime number?
False
Suppose 30491 = -8*s + 232843. Is s a prime number?
False
Is 2228312/(-16)*8/28*-7 a prime number?
False
Let i(f) = f**3 - 22*f**2 - 23*f - 43. Suppose -81 - 207 = -12*p. Is i(p) prime?
True
Suppose 0*c - 166333 = -2*o - 3*c, 0 = 2*o + 4*c - 166326. Is o prime?
True
Let z be 2394/22 - (-22)/121. Suppose -5*n + 116 = 3*o, 4*o + n - 64 = 68. Let t = o + z. Is t prime?
False
Suppose 479 + 873 = 8*x. Let o = x + 8902. Is o a composite number?
True
Let c = 11 - 8. Let z(g) = 270*g - 2157. Let l be z(8). Suppose -u - 15385 = -c*b - l*u, 3*u + 10248 = 2*b. Is b a composite number?
True
Suppose 23*q - 3735338 = 18656243. Is q a prime number?
True
Let q(w) = -w**3 - 10*w**2 + 9*w + 9. Let n(h) = -12*h + 6. Let i be n(-1). Let k(y) = -y**3 + 17*y**2 + 16*y + 25. Let g be k(i). Is q(g) prime?
True
Suppose -4*m + 5*l = -6, -5*l + 18 = 2*m - 0*m. Suppose 5*v + 3 = -2*c + m, 2*c + 5 = v. Is -145*24/(-4) + (2 - v) composite?
True
Let u = 82 + -77. Suppose 1 = -5*l - 3*s + u*s, 0 = l - s + 2. Is l/(1712/(-571) + 3)*1 a composite number?
False
Let f be -11 + 1 - 0 - (-28 + 25). Is -4699*(f + 5 - -1) a prime number?
False
Let v(q) = 229*q + 4. Suppose -3 + 8 = 5*s, 