2*p - 3*p, 2*s - 4*p - 4334 = 0. Is s composite?
True
Suppose 40 = -15*s + 7*s. Is 3*79*s/(-3) composite?
True
Let f(z) = -22*z**3 + 3*z**2 + 4*z - 23. Is f(-8) a composite number?
True
Let k be 1 - (-4 - -7) - -1784. Suppose -k - 5102 = -4*z. Is z a composite number?
False
Let n = -1894 + 2962. Let v(s) = 18*s**3 - 4*s**2 - 6*s - 7. Let i be v(-3). Let h = i + n. Is h composite?
False
Let r(u) be the second derivative of 3*u**4/4 + 13*u**3/6 + 29*u**2/2 - 34*u. Is r(-7) a prime number?
True
Let l = -3 + 13. Let k(d) = -2 + 90*d - 6 + 1 - 6. Is k(l) prime?
True
Suppose p - 32 = 2*v - 6, -p = v + 16. Let d(n) = -5*n - 18 - 17 + 34. Is d(v) a composite number?
True
Suppose r - 17 = v - 122, 4*r = -v + 125. Let j = v + 12. Is j a composite number?
True
Suppose 526*w = 521*w + 31925. Is w prime?
False
Suppose -c - 4*m + 4361 = 0, 6778 - 24262 = -4*c + 4*m. Is c composite?
True
Let x(f) = -908*f - 1. Is x(-1) composite?
False
Suppose 3*l + 11 - 2 = 0. Let y be (2 + -3)*1 - l. Is 151 - (y + (2 - 2)) a prime number?
True
Suppose -339 = -3*v + 291. Suppose 3*w - 128 = 655. Suppose 3*t - v = w. Is t a prime number?
True
Let m(j) = j**2 - 7*j - 7. Suppose 44 = -4*w - 4*l - 0*l, 2*w + 37 = 3*l. Let i be m(w). Let z = i - 181. Is z a composite number?
True
Suppose 4*v + 3*k + 547 = 0, 3*v - 4*v - 3*k - 130 = 0. Suppose 0 = 4*f + 3*b - 8*b - 798, -4*f - b = -786. Let z = v + f. Is z composite?
True
Let t(a) be the second derivative of -a**6/360 + a**5/60 + 259*a**4/24 - 4*a**3/3 - 10*a. Let l(c) be the second derivative of t(c). Is l(0) a prime number?
False
Suppose -j + 2*s = -16619, 7*s = 5*s. Is j prime?
True
Let l = 49560 + -6661. Is l a prime number?
True
Is (-16998823)/(-274) - ((-6)/(-4) + -1) prime?
True
Let g(c) = -3140*c + 93. Is g(-4) prime?
True
Let j be (17 + -5)/((-3)/102). Let b = 897 + j. Is b a prime number?
False
Suppose 0*i - 3 = i. Let n(r) = -128*r**3 - 2*r**2 + 4*r + 7. Is n(i) a composite number?
False
Let c(j) be the first derivative of j**4/4 + j**3 - j**2 - 8. Let f be c(-3). Is ((-2348)/(-6))/(4/f) a composite number?
False
Suppose 5*w = -3*r + 8*r - 5, -3*r = -3. Let z(q) = q**3 + q + 337. Is z(w) prime?
True
Let h be (-6033)/(-4) - 1/4. Let t = h - 954. Is t composite?
True
Suppose -5*c - 7 = 3. Let y(n) = -4*n**3 - 5*n**2 - 6*n - 3. Is y(c) a composite number?
True
Suppose 3*c + 2110 = -5*f, 2*c + 1412 = -3*f + f. Suppose 3*y - t = 3695, 4*t = -0*t - 8. Let r = y + c. Is r a prime number?
True
Let k(p) = p**3 + 13*p**2 + 17*p - 5. Let r be k(-13). Suppose 0 = -4*j - 0*j + 1644. Let y = j + r. Is y a prime number?
False
Is -2 - (24/(-8) + -12010) prime?
True
Suppose -2872 = 6*z - 33874. Is z prime?
True
Let z(i) = 2*i - 4. Let w be z(-2). Is ((-1)/(-3))/(7*w/(-106008)) a prime number?
True
Suppose -5*c + 3 = -2. Let l be (11/4)/(c/60). Let r = l - 76. Is r a prime number?
True
Let h be ((-1671)/(-1))/(9/21*7). Let q = 192 + h. Is q a composite number?
True
Let i(c) = c + 2. Let l be i(3). Suppose -6*p + 3*p - 4216 = -l*r, 4*p - 12 = 0. Suppose -60 - r = -2*k - z, 0 = -2*k - 3*z + 903. Is k prime?
False
Let o be (3/((-6)/8))/1. Let j(t) = -72*t + 5. Let m be j(o). Is m/(-2)*(-4 - -2) a composite number?
False
Suppose -5283 = -p - 5*o + 4799, 20200 = 2*p - 2*o. Is p a prime number?
False
Is 48730/44*(8/10 - 0) composite?
True
Let t be (1 + 0)*(7 + -8). Is (-5)/(-1) + (-442)/t a prime number?
False
Let o(z) = 19*z - 42*z + 209*z**2 + 25*z. Is o(1) composite?
False
Let l = 10683 + 40070. Is l a prime number?
True
Let j(u) = -u**3 + 9*u**2 - 7*u + 2. Let z be j(8). Let q be z/(-25) - (-66)/15. Is (-19)/2*(-24)/q prime?
False
Let o(d) = 162*d**2 + 2*d + 1. Let z be o(4). Let i = z - 1360. Suppose -6*s + i = -25. Is s a composite number?
False
Suppose -10*p - 19309 = -80319. Is p a composite number?
False
Let m(l) = 91*l**2 + 10*l - 2. Is m(-15) prime?
True
Let s be 601/(-6) + (-5)/(-30). Let p be (-18)/15*s/6. Is 10/4*744/p a prime number?
False
Let x = 71303 + -45496. Is x prime?
False
Let o = 15041 - -70472. Is o a prime number?
True
Suppose 0 = 4*g + v + 4, g + 2*v - 6 = -0*g. Let h(n) = 562*n**2 - 14*n - 25. Is h(g) prime?
True
Is 2771 + 8*(-15)/(-20) a prime number?
True
Suppose 0 - 27 = -3*w + 3*k, 5*w - 3*k = 35. Suppose -w + 1 = c. Is 319 - (3 + c)/4 composite?
True
Let a(s) = 2318 + 699 + 2*s - 838 - 6*s. Is a(0) a composite number?
False
Suppose -2*d = -4*f + 3*f + 8, 16 = 5*f - 2*d. Suppose -4*j - f*p = j - 14, 5*j - 5 = -5*p. Is 202 - j/(-2) - 1 a composite number?
True
Let j(i) = i - 3. Let t be j(9). Suppose -5*k + t*k - 3 = 0. Suppose 2*d - k*v + 0*v - 393 = 0, 210 = d + 3*v. Is d a prime number?
False
Suppose 6*h = 19*h - 39. Suppose 2*t - 2883 + 437 = -3*v, -h*v + 1220 = t. Is t prime?
False
Suppose 2*p - 20 = -2*p. Suppose -5*k = -2*k + p*q - 59, 2*k = q + 35. Let m = -12 + k. Is m a composite number?
True
Suppose -d = 16 - 156. Let i = -63 + d. Let f = 166 - i. Is f a prime number?
True
Suppose 3413 = 4*k + 3*u, -4*k = k + 2*u - 4261. Is k prime?
False
Suppose -2*z - 46820 = -6*z. Suppose 6*a + 3889 = p + a, 4*a - z = -3*p. Is p composite?
True
Let s(c) = -c**3 - 3*c**2 - 66*c - 31. Is s(-14) composite?
False
Let j(h) = -h**3 + 5*h**2 + 2*h + 6. Let m be j(5). Suppose -11*f = -m*f + 350. Let p = f + 153. Is p a prime number?
True
Suppose 2*m + 14757 - 78460 = 3*b, 5*m - b - 159238 = 0. Is m a composite number?
False
Is -1*1/(-2) + 669676/56 a composite number?
False
Let k = -314 + 155. Let v be 4/((-16)/466)*-2. Let w = v + k. Is w a prime number?
False
Suppose 0 = -0*s - 2*s - 360. Let q = -129 - -32. Let c = q - s. Is c prime?
True
Suppose -3*o = 2*o - 20. Suppose -o*j + 5*k = -460, -5*k + 672 = 5*j + 52. Let q = j + 39. Is q a prime number?
False
Let d = 6 - 3. Suppose 3*j = -d*j + 2238. Is j a prime number?
True
Let q be (3 - 3) + (-21)/3. Let w be 14/(-49) - 58/q. Is (-12 - 112)*(-6)/w a composite number?
True
Let q(o) = o**3 - 6*o**2 + 8*o - 1. Let l be q(6). Suppose 2*d + 5*j + 57 = d, -d = 3*j + l. Let u = -22 - d. Is u prime?
False
Suppose 4*i + j + 350 = 1194, 3*j = 3*i - 633. Let g(m) = -75*m - 223. Let l be g(-4). Suppose -i + l = -x. Is x a prime number?
False
Let t = 3 + -10. Let l(z) = z + 7. Let x be l(t). Suppose 4*r - 4*m - 1449 = 2739, -2*m - 8 = x. Is r prime?
False
Let z(d) = 0*d**2 + 3*d + 10 + 3*d + 9*d**3 + 6*d**2 - 8*d**3. Let x be z(-5). Suppose 4*r - 2736 = 4*t, -2*t + t - x = 0. Is r prime?
False
Is (-6)/(-24)*-458*-22 a prime number?
False
Let t(u) = 422*u**2 - 73*u - 8. Is t(15) composite?
True
Suppose -4*z = 5*p - 23859, 11*p - 5961 = -z + 9*p. Is z a composite number?
True
Let k = 35464 - -31779. Is k a prime number?
False
Let b be 1/(-6) - 4616/(-48). Let p = 324 - b. Suppose 2*i = -5*t + 130, -4*t = 4*i - 2*t - p. Is i prime?
False
Suppose 11*h - 6*h = 24935. Is h a composite number?
False
Let s = -34464 - -69175. Is s prime?
False
Suppose 59*y - 56*y - 42 = 0. Suppose -290 = y*p - 16*p. Is p prime?
False
Let o = 23162 + -14803. Is o prime?
False
Let f(v) = -86*v + 24937. Is f(0) a prime number?
False
Suppose -15590 = -18*n + 128284. Is n composite?
False
Is -2 - 1/(3 + (-18376)/6124) composite?
True
Let z(v) = 3*v + 508. Is z(-23) composite?
False
Let g be 2/6 + 10/6. Let a be -24 - 0*(-2)/g. Let j = -14 - a. Is j a prime number?
False
Let a = -2704 + 5661. Is a prime?
True
Let j = -25 - -23. Is (2384/(-48))/(j/6) a prime number?
True
Let a = 6 - -1. Suppose 3 + a = 2*x. Suppose 0 = x*u - 0*u - 670. Is u a prime number?
False
Is 0 + (-207890)/(-20 - -10) a composite number?
False
Let k = -36 + 87. Let q(p) = 52*p - k*p - 67*p - 77*p. Is q(-1) a prime number?
False
Let m = 37 - 35. Suppose 848 = -2*r - m*r. Is ((-3)/(6/r))/2 composite?
False
Let h be (5/(5 - -15))/((-1)/(-4)). Is (-2 + h*(310 - -3))/1 a composite number?
False
Suppose 7*i - 4*i = 0. Suppose 4*v - 1 - 3 = i, 2*v - 425 = -3*k. Let u = -22 + k. Is u prime?
False
Suppose -d + 89*c - 93*c = -5449, 16317 = 3*d + 2*c. Is d a composite number?
False
Let l(n) = 191*n + 72. Is l(7) a composite number?
False
Let h(c) = 3016*c**2 + 5*c - 4. Is h(1) composite?
True
Let s = 71107 - 7388. Is s a composite number?
False
Let q(w) = 63*w**2 - 5*w - 21. Let j be q(15). Suppose -j = -12*u + 6237. Is u prime?
True
Let v = 6360 - -