 derivative of 11*r**3/3 - r**2/2 - 43*r - 35. Is q(6) prime?
True
Let p(s) = -s**2 - 7*s - 2. Let w be p(-6). Let x(g) be the third derivative of 5*g**6/12 - g**5/30 - 5*g**3/6 + 2202*g**2. Is x(w) a composite number?
False
Suppose -14*n + 5735 + 23007 = 0. Is n a composite number?
False
Let a(u) = 7946*u - 2 - 3482*u + 3941*u - 1. Is a(1) composite?
True
Let c = -60 + 76. Is 22855/6 + c/(-96) - 4 prime?
False
Is 205503/4*(-59)/((-1062)/24) composite?
False
Let k = -26845 - -38284. Let d = -7328 + k. Is d composite?
False
Suppose 0*i = -5*i + 30. Let h(f) = -f**2 + 2*f + 29. Let k be h(i). Suppose k*g - 30 - 860 = 0. Is g a prime number?
False
Let z be 2*49 + (-16)/((-224)/(-70)). Suppose -88*g = -z*g + 42565. Is g a prime number?
True
Let z(v) = v - 8. Let h(k) = k - 8. Let t(i) = 4*h(i) - 5*z(i). Let q be t(8). Suppose q = 4*r - f - 141 - 715, 856 = 4*r - 3*f. Is r a composite number?
True
Let b = 370 + 393. Suppose 7*q = 4*l + 2*q + 1038, 3*l = -4*q - b. Let n = 384 + l. Is n prime?
True
Suppose -19*g + 179095 = -2*g. Let o = g - 5221. Is o a prime number?
False
Suppose 0*q = -7*q - 2485. Let k = q - -503. Suppose -2*t + 171 + k = 5*v, -t + 4*v + 153 = 0. Is t a prime number?
True
Let p(y) = y**3 + 7*y**2 + 2*y + 11. Let t be p(-7). Let o(u) = u**3 - 11*u - 6. Let n be o(t). Suppose n = -14*b + 4*b + 76690. Is b prime?
True
Suppose -2*k = 3*m - 4*m - 8, -2 = m - 5*k. Let f(d) = 25*d - 35. Let v(n) = -25*n + 34. Let y(b) = 5*f(b) + 6*v(b). Is y(m) a prime number?
False
Suppose -2*j = 3*j - 45. Suppose j*u + 3390 = 11*u. Let h = u + -788. Is h composite?
False
Suppose -m = -1193 - 533. Let g(o) = -2*o - 6. Let h be g(-5). Suppose -h*q - 162 = -m. Is q a prime number?
False
Let o be 30/(-25) + 3422/10. Suppose 0 = 7*k - o - 4874. Is k prime?
False
Suppose 8680485 = 138*u - 83*u. Is u a prime number?
False
Let a(t) = 5*t - 3. Let i be a(12). Suppose -3*c = 3*y - 108, i + 111 = 5*y - c. Is 5/(10/y)*43 prime?
False
Let k be -2*((-80067)/6)/(-13). Let p = 3059 + k. Is p a prime number?
False
Suppose -8*b - 539608 = -2*g + 36406, 4*b - 288039 = -g. Is g a composite number?
False
Let l(i) = 2987*i - 43. Let t be l(2). Suppose 5*f = -2*o + 3039 - 78, -4*o = f - t. Is o prime?
True
Let q(g) = 26560*g + 229. Is q(7) a composite number?
False
Suppose 0 = -83*d + 39*d + 9855428. Is d a prime number?
False
Let j(r) = -2*r**2 + 13*r + 10. Let b be j(7). Let w be (3642/9)/(-5 + 17/b). Let n = -390 + w. Is n a prime number?
False
Let a(j) = j**2 + 3*j + 2. Let l be a(-3). Suppose 37 = l*p - 35. Suppose 5*r + 1 = v - p, 2*v = 3*r + 53. Is v prime?
False
Suppose 0 = -3*u - 3*r + 7995, -48*u + 46*u + 5360 = -3*r. Is u prime?
True
Suppose -3*s = o - 370 - 10303, -2*s + 7120 = -4*o. Let z = s + 219. Is z a composite number?
True
Suppose 0 = -75*x + 131*x + 71*x - 14587093. Is x a composite number?
False
Let s(y) = -2*y**3 + 11*y**2 + 16*y - 6. Let j(m) = -2*m**3 - m**2 + 1. Let f(g) = 2*j(g) - s(g). Let q be ((-3)/(-12) + 2)*-4. Is f(q) composite?
False
Let o be (2 - 1/1)*-10. Let g be ((-432)/45)/((-8)/o - 1). Suppose x - 10 = g. Is x composite?
True
Let j(l) = 1426*l**2 + 124*l - 795. Is j(28) a composite number?
False
Is (3/(-2))/(199017786/8652948 + -23) composite?
False
Suppose -104*o = -38972505 - 22723103. Is o composite?
False
Let f(v) = 5*v**2 - 1. Let y be f(-1). Suppose 0 = -d - y*r - 1079, -3*d - 2*r - 2899 - 348 = 0. Let p = -640 - d. Is p composite?
False
Is -6 + (68382 - -2) + -12 composite?
True
Let d(r) = r + 53. Let v be d(-18). Suppose v*o - 40*o + 38015 = 0. Suppose b = 4*j + 786 - o, 0 = 5*j + 2*b - 8505. Is j prime?
False
Let q(u) be the second derivative of -8*u**3 + 277*u**2/2 + 130*u. Is q(-33) a prime number?
True
Suppose t + 0*t = -5*t + 4061262. Is t a composite number?
True
Suppose 1060 + 1070 = -6*r. Suppose 3*a = -3*h + 177 - 6333, -5*a - h - 10244 = 0. Let f = r - a. Is f prime?
True
Let a = -25 - -32. Let v(m) = 15*m**2 + 28*m**3 - a*m + 11*m**2 - 36 - 29*m**3. Is v(17) composite?
True
Let b(n) = -2005*n + 215. Suppose -o - 36 = 5*x, -12*o + 11*o = -4*x - 36. Is b(x) composite?
True
Suppose -820362 = -2*z - w, -254*z + 257*z + 3*w = 1230537. Is z prime?
False
Suppose 2*b = -4, 5*b - 2 - 44 = -4*k. Suppose -6*l = k*l - 112460. Is l a composite number?
False
Suppose -3*v - 19 = -4*n, -8*n + 3*n - 5*v = -15. Let s be -4 + -259 - -4 - n. Let z = s - -744. Is z a composite number?
True
Let r = 135215 - 63484. Is r prime?
False
Suppose -15*r = -0*r - 50325. Suppose 2*w - a + r = 12973, 2*w + a = 9626. Is w a prime number?
False
Is (-9*18065724/144)/((-12)/16) a prime number?
False
Let t(i) = i**3 - 22*i + 2. Let j be t(-19). Suppose -3*f - 2548 = -4*p + 39971, 4*p - f = 42509. Let b = j + p. Is b composite?
True
Let o = 94 + -39. Suppose 11*k + 4 = -40. Let w = o - k. Is w a composite number?
False
Suppose 16624 + 16354 = 11*j. Is (2 + (-20)/5)*j/(-4) a composite number?
False
Let g = -29 + 179. Let q = -23 + g. Is q a composite number?
False
Let x = 74052 + -45900. Let i = 2869 + x. Is i a composite number?
True
Let x = -284743 + 700190. Is x prime?
True
Let c be (12 + (-16 - -4))/(-5). Suppose -7*k = -3*k - 12. Suppose 4*p - k*q - 2406 = p, c = 4*p + 4*q - 3168. Is p a prime number?
True
Let i(s) = 23*s - 22. Suppose -2*d = -23 + 3. Let o be i(d). Let q = o - -3. Is q prime?
True
Suppose 0 = -j - 5*j + 15018. Let c = -29 + j. Is c prime?
False
Let l(a) = -2*a - 3. Let j be l(-9). Let h(q) = 45*q + 1709 - 25*q - j*q. Is h(0) prime?
True
Suppose 0 = 11*l - 6*l + 5*f - 170615, 5*f = -4*l + 136492. Is l a prime number?
True
Let o be -8*(4 - (-45)/(-10)). Suppose -o*j - 9897 = -7*j. Is j composite?
False
Let w(u) = -u**3 + 3*u**2 + 10*u + 2. Let v be w(5). Suppose -4*h = -2*h + v*l - 9474, -4*h - 2*l + 18956 = 0. Is h a composite number?
True
Is 152/(-532) + (36036876/126 - 2/(-6)) prime?
False
Let c(s) = 239*s**3 - 18*s**2 + 117*s - 47. Is c(14) a prime number?
True
Let x = 353 + 1. Let c be ((8 - 4) + -15)*-21. Let o = x - c. Is o prime?
False
Is 1646243/6 - 1675/2010 prime?
False
Suppose -37 - 7 = 22*i. Is 1092910/175 + i/10 prime?
False
Suppose -27*r + 23*r = -2072. Suppose -799 = -4*l + h, -2*l + r - 126 = -2*h. Suppose z + l = 4*z. Is z a composite number?
False
Let y(c) = c + 8. Let o be y(-8). Suppose -l + 255 = -2*q, o*l = -4*l + 4*q + 1012. Is l composite?
False
Let b(d) = 108862*d**2 + 112*d + 413. Is b(-4) a composite number?
False
Let x(v) = -340 - 339 + 3*v + 690 + 29*v**2. Let a be (-2)/(-4) - 11/(-2). Is x(a) composite?
True
Suppose 0 = -3*h + 5*o + 8520, 4*h + 5*o - 8459 = 2901. Suppose -7*m + h = -3*m. Let s = 1387 - m. Is s a composite number?
False
Let a(b) = b**3 - 9*b**2 + 27. Let q be a(8). Let o = 40 + q. Is (-467)/((o + -1)/(-2)) a prime number?
True
Let i(o) = 105*o - 8. Let x be -31 + (-6 + 3)/(-1). Let m be (-1)/(-4) - (-1 - x/(-16)). Is i(m) a prime number?
True
Let g be (23 + -22)/(-1*3/(-15)). Is ((-113436)/8 + g)*-2 composite?
False
Let q = -48 - -50. Let g(r) = -8*r + q*r**2 + r**2 + 2*r**2 + 23. Is g(12) composite?
False
Let x = -98 + 96. Let p(y) = -663*y - 9. Let s(b) = -1327*b - 17. Let z(d) = -7*p(d) + 4*s(d). Is z(x) prime?
False
Suppose 0 = 2*w - 2*a + 3*a - 8, -w - 3*a = 6. Is -4*w/(-16)*(-20958)/(-9) composite?
True
Let o be -13322*(-4 - 45/(-10)). Let z = o + 10638. Is z a prime number?
False
Let g(j) = j**2 + 8*j + 5. Let x(l) = -l**2 - 7*l - 5. Let v(u) = -2*g(u) - 3*x(u). Let f be v(-4). Is 10012*(6/24)/f a prime number?
True
Let o(b) = -b**3 - 3*b + 17144. Let s be o(0). Suppose 0 = 3*j - s + 2417. Is j composite?
False
Is (-188551)/(-3) - (-260)/390 a composite number?
False
Suppose x + 67271 = 4*f + 13630, -f = -5*x - 13396. Is f a composite number?
False
Let a = 245 + -128. Let j = 526 - a. Suppose h - 3*l + 7*l = j, -l - 1227 = -3*h. Is h prime?
True
Suppose 0 = 3*f - 35 + 35. Suppose f*w = -4*w + 5*s + 3183, 2*w - 1591 = 3*s. Is w a composite number?
False
Let p(l) = 7*l**2 + 426*l - 194. Is p(-69) composite?
False
Let g(y) = 58368*y**2 - 28*y + 22. Is g(2) a composite number?
True
Let t(m) be the third derivative of m**8/5040 - m**6/360 - m**5/20 + m**2. Let y(l) be the third derivative of t(l). Is y(-2) prime?
False
Let g(f) = -f**2 - 27*f - 85. Let s be g(-23). Is (-71)/497 + 162