0 = 3*s - 4*b - 8. Suppose s*n + 3*n + 30 = 0. Is 5/(n/4) - -303 prime?
False
Let x(k) = -k**3 - 2*k**2 - 2*k - 4. Let t be x(-2). Suppose -3*o = -o + 2*d - 2300, t = 4*o - d - 4605. Is o composite?
False
Let f(j) = 13*j - 7. Let q(m) = -19*m + 10. Let s(y) = 8*f(y) + 5*q(y). Let b be s(-7). Let u = b + 120. Is u a composite number?
True
Let n = -619 - -1786. Suppose 5*h - 2623 = n. Is h composite?
True
Suppose -7*y = -18*y + 253891. Let n = y - 12522. Is n composite?
False
Let x = 78 + -88. Let v(p) = -p**2 - 19*p - 3. Is v(x) a prime number?
False
Let l(q) = 180*q**2 + 5*q + 9. Is l(10) a prime number?
True
Let v be (30/(-3))/(0 - -1). Let g be (-6)/v - (-6752)/(-20). Is (g/2)/((-7)/14) composite?
False
Let g be 2*(-1 + 0 - 1). Let o be (20/(-25))/(g/10). Suppose -o*w + 93 = 3*y, 0*y - y - 5*w + 31 = 0. Is y prime?
True
Is (-90)/150 + 1688/5 a prime number?
True
Let a = 536 + -788. Let i = 430 + a. Is i a prime number?
False
Let v(u) be the first derivative of -18*u**2 + 19*u + 10. Is v(-12) a composite number?
True
Let r(d) = -153*d + 49. Is r(-16) composite?
True
Let b = 17412 + -11459. Is b a composite number?
False
Suppose -2*u + 378 = l, 0 = u - 0*l + 3*l - 179. Is u prime?
True
Suppose -8*c - 1678 + 9750 = 0. Is c prime?
True
Let j(c) = c + 1. Let u(t) = t**2 + 7*t - 18. Let z(a) = 5*j(a) - u(a). Suppose 3*f = -5*w - 5 + 2, -2*f - 2 = -3*w. Is z(w) a composite number?
False
Is ((-42052)/8 + -3)/((-5)/10) a composite number?
True
Suppose -8*o = -2*f - 4*o + 834, 0 = -5*f - 3*o + 2072. Let t = -627 - -435. Let i = t + f. Is i composite?
False
Let u = -1713 + 9698. Is u composite?
True
Let k(p) be the first derivative of p**2/2 - 4*p + 9. Let m be k(6). Suppose m*b - 731 = -97. Is b a composite number?
False
Let k = 30230 - 4977. Is k a composite number?
False
Let v = 14 - 10. Suppose 4*u - 5076 = u + 3*f, -v*f = -3*u + 5080. Let o = -937 + u. Is o a composite number?
False
Let p(n) = 14*n - 69. Let m be p(6). Let g(y) = 48*y - 29. Is g(m) a composite number?
False
Let y be (-4)/(-26) - 82041/(-13). Suppose -y = -2*c + 2057. Suppose -2*w = -4*l + w + c, -w + 2102 = 2*l. Is l a composite number?
False
Let m be -4 - (-4 + 484) - 2. Let r = -680 - m. Is (-4)/(-8)*r*-2 a composite number?
True
Let w(z) be the second derivative of z**4/12 - 3*z**3/2 - 7*z**2 - 2*z. Let r be w(10). Is ((-2)/r)/(6/2868) composite?
False
Let y = -18 + 21. Suppose 2*z = -w + 1675, 2*z = y*w + 1443 + 244. Is z prime?
True
Suppose -4*j = -2*l - 580 - 156, -j + 3*l = -179. Suppose -s + j = 3*n, n = -5*s + 26 + 45. Let p = 16 + n. Is p a composite number?
True
Let n = 66567 + 1090. Is n composite?
True
Is -9 + 3/((-24)/(-170000)) a prime number?
False
Let t = 1809 + -875. Is t a prime number?
False
Let m(q) = -2*q**2 - 8*q - 81. Let y(h) = -h**2 - 3*h - 27. Let a(g) = 6*m(g) - 17*y(g). Is a(-17) prime?
True
Let f(i) = 519*i**2 - i + 99. Is f(7) prime?
True
Let t be (-1676)/(-2)*(1 - 2). Let i = t + 446. Let h = i + 549. Is h a composite number?
False
Let n(p) = -p**3 - 14*p**2 - p + 23. Let u be n(-11). Let w = 552 + u. Is w a composite number?
False
Is ((-790175)/(-20))/5 + (-18)/24 composite?
False
Let s = -2524 - -6117. Is s a composite number?
False
Suppose 2*c - r = 10, -c + 23 = -5*r - 0*r. Suppose 0 = 5*g - 4*s + 121, -c*g - s - 3*s - 47 = 0. Is (-141)/(-2)*(-14)/g a composite number?
False
Let z(g) be the third derivative of 11*g**7/2520 + g**6/720 - g**5/24 - g**4/12 - 4*g**2. Let i(u) be the second derivative of z(u). Is i(-5) a prime number?
False
Let y(k) be the first derivative of -9*k**2/2 - 22*k + 5. Is y(-19) composite?
False
Let p = -6 + 11. Suppose 16*h + 20040 = 28*h. Suppose 75 - h = -p*k. Is k a prime number?
False
Let x(u) = -48*u**3 - 2*u**2 - 4*u - 7. Is x(-2) a composite number?
True
Suppose n + 2*a + 6 = 0, -2*a - a + 17 = -5*n. Let o(f) = -f**3 - 3*f**2 + 5*f. Let t be o(n). Is -2*(4 - (-1314)/t) prime?
False
Let t = 14618 - 8497. Is t prime?
True
Is (-1)/((-18)/(-126)) - (-640 - -2) a prime number?
True
Suppose -5*h + 19805 = -3*m - 23351, -2*h - 4*m = -17278. Is h prime?
False
Let m(i) = -2*i**2 - 44*i + 53. Let x be m(-35). Suppose 2*j + 312 - 4988 = 0. Let y = j + x. Is y a composite number?
False
Let f be 2 - (-2 + -1)*1. Suppose -f*b - 3*a = -b + 743, -2*a + 923 = -5*b. Let n = -132 - b. Is n a prime number?
True
Let b(l) = 35*l**3 - 7*l**2 - 14*l + 77. Is b(4) a prime number?
False
Let j be (-80)/6*(-2 + -5 + -5). Let r be (-9)/12 - 2819/(-4). Suppose -j = -4*v - 4*d + 572, -4*v + 3*d + r = 0. Is v a composite number?
False
Is 13/(143/120714) + -7 composite?
True
Suppose 10*r - 145680 = 53450. Is r a prime number?
True
Let f(d) = 23*d - 3. Let q be f(8). Suppose -214 + 34 = -2*p - 2*w, -2*p - w = -q. Suppose -2*k - 5*r + p = 0, 0 = 2*k - r - 2*r - 83. Is k prime?
True
Suppose 2*x - 11 = x. Let b(h) = h + 1. Let z be b(x). Suppose -4*u + z = -0. Is u composite?
False
Suppose -4725 = -5*u + 2745. Is 15/(-35) + u/7 + 2 composite?
True
Let m = 445 - 162. Suppose -4*v + 1011 = s - m, -3*v + 973 = 2*s. Is v a composite number?
True
Let d(f) = -4 + 3*f**2 + 17*f + 2*f**2 - 7*f**2. Let n be d(8). Is ((-53)/2)/((-2)/n) prime?
True
Suppose 3*t - 4*f - 605 = 0, 3*f - 259 = -2*t + 116. Let o = -105 - -103. Is (o - 2)/4 + t composite?
True
Let t(p) = 12*p**2 + p + 33. Let w(a) = -6*a**2 - 17. Let q(x) = -2*t(x) - 5*w(x). Is q(-8) a composite number?
False
Suppose -6*f + 1913 = -2827. Suppose f = -49*m + 54*m. Is m a prime number?
False
Let o(r) = r - 3. Let v be o(6). Suppose -1794 = -9*p + v*p. Is p prime?
False
Let u = 13 - 11. Let j be 11 - (1 - (-5 + u)). Let q = 60 - j. Is q a composite number?
False
Let r(s) = s**2 + 2*s - 3. Let v be r(3). Let b = v - 11. Is (b*-79)/(-1 - 0) a composite number?
False
Let k = 2188 + 2937. Suppose -3*g + 3413 = -g + 5*r, -3*g - 2*r = -k. Is g composite?
False
Let v(t) = 40*t. Let f be v(-2). Let i be f/(-35) + (-2)/7. Suppose 0*n = i*n - 38. Is n a composite number?
False
Let x(y) = -y - 1. Let g be x(-10). Let c = 11 - g. Suppose -c*f + 6*f = 1268. Is f composite?
False
Suppose f + 626 = 5*j, 3*f + f = -2*j - 2438. Is f/(-2) + 12/8 a composite number?
False
Suppose 8770 = 8*i - 6*i + 2*k, -17540 = -4*i + k. Is i a composite number?
True
Let t(j) = 295*j**2 + 7*j - 7. Is t(5) composite?
True
Suppose -288 = 11*t - 2*t. Suppose -5*c - 1 + 46 = i, 5*c = -25. Let j = t + i. Is j a composite number?
True
Let r(j) = 5*j**3 + 24*j**2 - 5*j + 2. Let y be r(-5). Is (-547)/(1/y*-2) prime?
True
Let f(u) = -2 - 2 + 4*u + u**2 + 2. Let w be f(-6). Suppose -w*m = -5*m - 395. Is m a composite number?
False
Suppose -5*p - 101 - 84 = 0. Is (-1)/(0 + 1/p) a prime number?
True
Suppose -5*g + 65858 = -155187. Is g a composite number?
True
Is 80854*(117/(-26) - -7) prime?
False
Let u be (1985/(-10))/((-4)/(-16)). Let v = -447 - u. Is v a prime number?
True
Suppose 9 = q + 2*q. Let w be (-12)/(-2)*(-22)/(-4). Suppose 3*c = q*b - 144, 2*c = b - 2*c - w. Is b composite?
False
Suppose 0 = -3*x + 7*x + 3*o - 785944, 392974 = 2*x + 2*o. Is x prime?
False
Let i(w) = -3*w**3 - 3*w**2 - 8*w + 4. Let p(o) = 5*o**3 + 6*o**2 + 15*o - 7. Let n(t) = -11*i(t) - 6*p(t). Is n(3) a composite number?
True
Let x(c) = -c**2 - 5*c + 4. Let q be x(-5). Suppose q*o + 1814 = -3*f, -5*f + 2*f - 2*o = 1804. Let v = f + 971. Is v a prime number?
True
Suppose 4*d + 3*p - 7423 = 1504, 11157 = 5*d + 2*p. Is d prime?
False
Let d(r) = -804*r - 3. Let n be d(-2). Suppose -2*v + 1059 = 2*z - 537, v = 2*z - n. Suppose -z = -0*h - 3*h. Is h composite?
True
Let f = 13 + -10. Suppose 0 = -w + 3, -4*w - 167 = -5*z + 131. Suppose z = f*b - b. Is b a prime number?
True
Let y = -1188 + 4409. Is y composite?
False
Suppose -4402 - 12046 = -2*c + 3*d, 0 = -d + 4. Suppose -9 = -5*h - a + 11, 3*h - 5 = -2*a. Suppose -h*b + c + 2865 = 0. Is b a composite number?
True
Let t(n) = 8*n**2 + 48*n - 35. Is t(-36) prime?
False
Suppose 434 + 274 = 12*l. Is l composite?
False
Suppose -2*t = m - 89906 + 7275, 0 = 2*m - 2. Is t a composite number?
True
Let v = -19056 + 32905. Is v a composite number?
True
Let b(s) = 187*s**2 + 2*s + 1. Let t be b(-1). Let n = -136 + 138. Suppose -t = -n*p - p. Is p a prime number?
False
Suppose -k = 2*j - 3261, 12*j + 3255 = k + 8*j. Is k a composite