1814 = -9*r + 4*r, 2*r + 7892 = 2*q. Is q composite?
False
Suppose -168*a + 42192713 = -136*a + 281*a. Is a a prime number?
False
Let m be 14/49 - 6/21. Let y(o) = 2*o**2 + 46*o - 18*o - 26*o + 123. Is y(m) composite?
True
Let n be 2/18 - 137236/198. Let o = 1310 + n. Let x = 1096 - o. Is x a prime number?
True
Is (-4)/(-8) + (9177930/12)/15 prime?
True
Suppose 4*m + 9 = -5*g - 19, 4*m + 60 = 3*g. Is 4474/(m/(-3) - 2) a prime number?
True
Let z = -11551 + 86790. Is z prime?
True
Let p be (-20)/1*((-30)/24 + -4). Let g = p + -105. Suppose -3*k + 1028 + 433 = g. Is k prime?
True
Suppose -3*h = -0*h - 15. Let o be 8/(-24) - 7/(63/(-73902)). Suppose -5*r - q = -o, 0 = -8*r + 3*r + h*q + 8235. Is r a composite number?
True
Let r = 564001 + -78312. Is r a composite number?
False
Let g(d) = d**3 - 7*d**2 - 9*d + 12. Let a be g(8). Suppose -2*s - 4 = 0, -2*u - 5 = -5*u + a*s. Is (-917)/(-2)*6/(4 + u) prime?
False
Let s be 1 + 3 + 3437 + 4 + 1. Let b(x) = 8*x**2 + 7*x + 10. Let l be b(7). Let v = s - l. Is v composite?
True
Let p(c) be the second derivative of 1699*c**4/6 - c**3/3 - 3*c**2/2 + 39*c. Let w be p(-1). Let n = -2336 + w. Is n composite?
False
Let k be (37/(-2))/(28/9688). Let u = 14014 + k. Is u a composite number?
True
Let l = 411331 - 15500. Is l composite?
True
Let v = 35376 - 697. Is v composite?
False
Suppose -63 = -4*a + a. Let i be (-12)/42 + (-20322)/a. Is (i/3 - 2)/(12/(-126)) composite?
True
Let k = 115806 - 32899. Is k a prime number?
False
Let q be 3 + 19/((-152)/80). Is (63055/(-10))/(q/14) a prime number?
True
Suppose -7*m = -10*m + 6. Suppose 0 = -6*w + m*w + 295756. Is w a composite number?
False
Let r be (2/(-6) + 1)*3. Suppose 90 + 134 = r*f. Suppose -3*h + f = -425. Is h a prime number?
True
Suppose 4*f + 44 = 572. Let z = f - 191. Let l = z + 136. Is l a prime number?
False
Suppose y = -4*w - 5, -3*w = -2*w + 3*y + 15. Suppose w = -a + 2, -4*a + 2*a + 2939 = 5*u. Is u a composite number?
False
Suppose 9405256 = -74*q + 130*q. Is q a composite number?
True
Suppose 2*b = -2*h + 2, 6*h + 10 = h. Let w be (-1254)/(-3) + 0 + -4 + b. Suppose 0*l + 3*l - w = 0. Is l a prime number?
True
Let j(x) = 4*x**2 + 4*x - 13. Let a(o) be the first derivative of o**3/3 - o**2/2 - 13*o + 2. Let t be a(-4). Is j(t) a composite number?
False
Let y be (-18 - (-2460)/135) + 3542/18. Let u = 168 + 6. Let c = u + y. Is c composite?
True
Let o = 2227 + 24370. Is o composite?
False
Suppose -n - o + 57319 = 0, -205*o + 202*o - 286547 = -5*n. Is n prime?
False
Let m = 631 + -562. Suppose -70*b = -m*b - 4391. Is b prime?
True
Let q = 434308 + -285617. Is q a prime number?
True
Let m(o) = 7927*o + 2. Let u be m(1). Suppose -u + 364 = -5*t. Let z = t - 662. Is z a composite number?
True
Let n = 219043 + -132540. Is n composite?
True
Let h(x) be the second derivative of x**6/40 + x**5/120 + 9*x**4/8 + 14*x**3/3 - 20*x. Let a(p) be the second derivative of h(p). Is a(-17) composite?
True
Suppose g - 69436 = 3*w, 347085 = -130*g + 135*g + 4*w. Is g prime?
False
Let y = 1401 + -1155. Let u(j) = j**2 - 3*j - 2. Let b be u(4). Suppose -4*k + b*k = -y. Is k a prime number?
False
Let q(m) be the second derivative of 86*m**3/3 + 41*m**2/2 - 111*m. Is q(5) prime?
False
Let g = 580450 + 470863. Is g prime?
True
Let r(o) = 4*o**2 - o - 2. Let h be r(2). Suppose 13*q + y = 34636, 3*y + 7980 = -49*q + 52*q. Suppose h*v - q = 17628. Is v composite?
True
Let p be (4 - 12*4/6) + 4. Suppose p = -2*x - 1018 + 9224. Is x prime?
False
Let p(j) = -162*j + 41*j + 1 + 5. Let q be p(-5). Let k = -164 + q. Is k prime?
False
Let h(t) = 805*t + 145. Let c(p) = 806*p + 145. Let x(u) = 6*c(u) - 7*h(u). Is x(-8) prime?
True
Let a = 278 + -233. Suppose -a*d - 13805 = -50*d. Is d composite?
True
Let t be 6720/64 - 2/4*4. Let n(i) = i**3 - 6*i**2 + 5*i + 4. Let l be n(5). Suppose -2*d = -l*r + 3*r + t, 3*r - 303 = 4*d. Is r a prime number?
True
Let p(d) = -16*d**3 + d**2 - 7*d + 6. Let w be p(-4). Suppose 0 = 2*a - 5*a + w. Is a prime?
False
Is 637881/11*4268/1164 composite?
False
Suppose 4*x = -12, -2*x + 6*x = 2*q + 2. Is (-19174)/(q + 132/20) composite?
True
Let q be 231/7*36786/18. Let g = -35764 + q. Is g a prime number?
False
Let g be (-1)/4 - (-63)/(-36). Let u be (80 + -6)/(g/6). Is ((-3)/9)/(2/u) composite?
False
Suppose -60 = -7*w - 235. Is (-208227)/w + (-14)/175 a prime number?
True
Let w(a) = 2*a**3 + a**2 - 6. Let s be w(0). Is (-4683)/s*(1 + 1) composite?
True
Let b(u) = 4*u**2 + 120*u - 653. Is b(-76) prime?
True
Let l be (-60)/9*(-12960)/75. Suppose q - 307 = -4*h, -4*q + 5*h = 2*h - l. Is q a composite number?
True
Let i(z) be the second derivative of -439*z**3/6 + 79*z**2 + 98*z. Is i(-17) prime?
True
Let b = 656 + -192. Suppose 4*l + 324 = -b. Let r = -144 - l. Is r prime?
True
Let j = 368379 + -215968. Is j a composite number?
True
Let l(x) = -7*x**3 - 27*x**2 + 13*x - 4. Let t(p) = 9*p**3 + 27*p**2 - 13*p + 3. Let r(d) = -5*l(d) - 4*t(d). Is r(26) a prime number?
False
Let i(f) = 171*f**2 - 32*f + 25. Is i(-6) a composite number?
False
Let p = 317547 + -119000. Is p prime?
False
Suppose -486768 = -0*d - 48*d. Let f = -4986 + d. Is f composite?
True
Let g = 228010 - 26253. Is g composite?
False
Let w = 23093 - 10996. Is w prime?
True
Is ((-22)/22)/(-3 - 676256/(-225421)) a composite number?
False
Let t be (-8)/14 + 17496/42. Let b = 509 + t. Suppose 0 = q - 5, m - 6*m = 4*q - b. Is m a composite number?
False
Is (2237898 - 12)/18 + 10 a prime number?
True
Let z be 1880/(-6) - (-2)/(-3). Let y = -3371 - -3188. Let k = y - z. Is k prime?
True
Let k = 5664 + -2902. Suppose -z - 8350 = -0*c - 3*c, c + 5*z - k = 0. Is (-34)/51 - (-3)/(18/c) a prime number?
True
Suppose 40826 - 1510 = 2*o - 2*a, -3*a - 19652 = -o. Is o composite?
False
Suppose 0 = 4*f + 3*y - 29, 0 = -2*f + 5*y + 5 + 16. Suppose -f = x - 2*j - 25, 25 = x - 4*j. Suppose -2987 = -x*v - 980. Is v composite?
False
Let a(h) be the first derivative of h**4/4 + 3*h**3 - 2*h**2 - 3*h - 14. Let p(z) = z**3 + z**2 + z + 1. Let r(i) = -a(i) + 2*p(i). Is r(12) prime?
True
Suppose -28335 = -94*l + 93*l. Suppose l - 4822 = 7*a. Is a a composite number?
False
Suppose 162 + 158 = -8*x. Let s = 41 + x. Is 1715 - -8 - s*2 a composite number?
False
Let k = -34527 - -59084. Is k composite?
True
Suppose 0 = -5*m - 2*z - 13598, m - 5*z + 69 + 2629 = 0. Let a = m + 6173. Suppose a = -12*l + 13*l. Is l a composite number?
True
Let k = -23902 + 46483. Let w = k + -10558. Is w prime?
False
Let p be 49893 - (-5 + 5 + 2). Suppose 5*h + d - p = 51508, h + d - 20283 = 0. Is h composite?
True
Let d = 17641 - 7023. Is d composite?
True
Suppose 3*j + 13*n - 16*n = 3, 0 = n - 3. Suppose -3*m + 4*o + 693 = -2*m, j*m + 3*o - 2677 = 0. Is m composite?
False
Suppose -54 = 4*v - 3*h, -4*h - 1 = -v - 8. Let p be 2*3/v - 426/(-15). Is (-17715)/(-7) + 120/p + -4 composite?
False
Suppose 87*j + 6 = -5*a + 88*j, a = -2*j + 1. Let x(v) be the second derivative of 89*v**4/6 - v**3/6 - v. Is x(a) composite?
False
Let t(o) = -o**3 + 12*o**2 - 11*o + 2. Let w be t(11). Let g be (143/(-11))/(w/((-2)/1)). Let r(j) = 12*j**2 - 3*j + 14. Is r(g) prime?
True
Suppose 5*q + 3*v = 526422, 11 = -v + 15. Suppose 20*f + q - 274462 = 0. Is f prime?
False
Suppose -2*f + 5521 = -419. Let k(x) = 2214*x - 13. Let j be k(3). Let p = j - f. Is p a prime number?
True
Suppose 5*a = -3*c + 8329, -c + 1655 = a - 4*c. Let o = a - -1763. Is o a prime number?
False
Let p(w) be the second derivative of 0 - w**2 - 3*w + 21/2*w**3. Is p(7) a composite number?
False
Let k(c) = 5*c**2 - 22*c - 13. Let o be k(5). Is (-12)/o*2334/(-12) prime?
False
Let v(g) = 386*g**2 + 177*g + 56. Is v(11) a prime number?
False
Let c be (0 - 0)/(-6*3/9). Is 635 + c - 120/30 composite?
False
Let h(j) = -3269*j**3 + 20*j**2 + 22*j - 74. Is h(-3) prime?
False
Let x(r) = -193*r**2 - 151*r + 2. Let h be x(-14). Let q = h + 53326. Is q composite?
True
Let z(p) = 7*p**2 + 7*p + 4. Suppose 0 = -4*i - 4*l, 3*i + 0*l + l = 6. Suppose i*f + m = -13, 0 = 2*f + f + 3*m + 21. Is z(f) a composite number?
True
Let y = -3 + 6. Suppose 0 = -y*q - j + 11, 21 = 7*q - 2*q + j. Is q*-203*(-2)/10 composite?
True
Let s be -1 + 1 - 7196/(-4). Let j be 28/6 - 7/(-21). Suppose -206 = -j*v + s. Is v composite?
False
Let 