Let u be c(13). Suppose 2*v - 2*i = 8114, 0*v - u = -v + 3*i. Is v a prime number?
False
Let k(u) = 3*u**3 + 6*u**2 - 24*u + 13. Let f be k(11). Suppose 4*p = 3*l + f, 0 = 2*l - 7*l. Is p a composite number?
False
Is -1 + 4/7 + 52317694/1001 a composite number?
True
Suppose -6*q = -11*q + 3075. Suppose q = 5*r - 0*r. Suppose -3*l + r - 12 = 0. Is l prime?
True
Let k(h) = -1 + 4 + 4 - 766*h - 1. Let f be k(-3). Suppose 6*b - 3*b - 3*i = f, 0 = 4*i + 20. Is b composite?
True
Let p(v) be the third derivative of -847*v**4/24 - 29*v**3/3 - v**2 + 6*v. Is p(-3) a composite number?
True
Let x be 121887/(-99) - 4/(-22). Let g = 1802 + x. Suppose 0 = c + 3*a - 7*a - g, -4*c + 2340 = -2*a. Is c composite?
False
Let v(z) = z**3 + z**2 + 2*z + 4804. Let j be 0/(2 - (-3 - -3)). Let f be v(j). Suppose 3*d + 3603 = 3*i, -4*i + f = 5*d - d. Is i a prime number?
True
Suppose 18*f = -676080 + 6668478. Is f a prime number?
False
Suppose k + 72*g - 70*g - 35677 = 0, -4*g + 35683 = k. Is k a composite number?
False
Suppose -72 = -4*d + 13*d. Let b(r) = -39*r**3 - 11*r**2 - 3*r + 27. Is b(d) composite?
True
Suppose 177*s - 9750097 = 12*s + 32*s. Is s a prime number?
True
Let w(g) = g**2 + 15*g + 42. Let i be w(-12). Suppose -3*r + 477 = 3*k, 0 = 10*k - i*k + 5*r - 638. Is k prime?
True
Suppose 2*x + 15238 = -5*v, -3*x - 22857 = 8*v - 5*v. Let k = -3528 - x. Is k a prime number?
True
Let s = -24 - -29. Suppose -5*j + 0*y + 4067 = 3*y, 3*y + 4043 = s*j. Let a = j - -2352. Is a composite?
False
Let s(y) = 78*y - 19. Let z = 12 - 8. Suppose -z*c - 8 = -68. Is s(c) a composite number?
False
Is (-2651656)/12*(-27)/18 prime?
False
Suppose 8*z - 4*z - 3*w = 14, -w = 5*z - 27. Suppose z*k = 4*a - 20993, -3*k + a - 12597 = -2*a. Let b = 7618 + k. Is b a prime number?
False
Let q(r) = -99901*r - 2531. Is q(-4) a composite number?
False
Let p(g) = 10*g - 5 - 2 - 5 - 14*g. Let z be p(-3). Suppose -3*s - 178 = -h, -3*h + 573 = -z*h + 4*s. Is h prime?
False
Let d = 10 - 8. Suppose 2*m + 5*x = 4517, -21*m + 5*x = -18*m - 6763. Suppose -5*t + m = -2*t + 3*h, -d = -2*h. Is t a prime number?
True
Suppose 40*o - 169098 = 452062. Is o a prime number?
False
Let h(y) = -1960*y**3 - 14*y**2 - 8*y + 8. Let x(m) = -1961*m**3 - 13*m**2 - 7*m + 7. Let p(k) = -4*h(k) + 5*x(k). Is p(-2) a composite number?
True
Let n = -372553 + 1304192. Is n a prime number?
True
Let t(j) = -j**2 + 13*j + 26. Let r(n) = -n**2 + 12*n + 25. Let u(c) = 7*r(c) - 6*t(c). Let l be u(8). Suppose 0 = -a - l*a + 212. Is a a prime number?
True
Let r(y) = -11*y**2 - 44*y - 40. Let t(m) = 16*m**2 + 66*m + 60. Let w(k) = 7*r(k) + 5*t(k). Let v be (-1*1)/(-2*1/(-30)). Is w(v) a prime number?
False
Let i(c) = -278*c + 1. Let f be i(-1). Suppose 0 = -5*m + 2*h + 1029 + 179, -m = 4*h - 246. Let d = f + m. Is d a composite number?
False
Let h(a) = -2*a**2 + a + 2. Let y be h(-4). Let f be ((-2188)/(-10))/(y/(-85)). Suppose 5*j - 3*r - f - 3382 = 0, -2*j + 5*r = -1564. Is j a composite number?
False
Suppose 1836*p - 1788*p - 15368592 = 0. Is p composite?
False
Suppose 0 = 5*t - 4*y + 9 - 14, 3*t - 5 = 2*y. Suppose -5201 = -t*q - 636. Is q composite?
True
Suppose -22*i = -59 - 205. Suppose -68228 + 363800 = i*d. Is d a prime number?
True
Let d(y) = -3*y**3 - 10*y**2 - 3*y - 12. Let a(u) = u**3 + 5*u**2 + u + 6. Let s(k) = -5*a(k) - 2*d(k). Let q be s(5). Is 71298/85 - q/5 prime?
True
Let v(w) = -4525*w**3 - 39*w**2 - 173*w + 1. Is v(-4) composite?
False
Is 141/(8037/(-1938))*(-2)/(4/2579) prime?
False
Let t(c) = -c**3 - 15*c**2 - 3*c - 45. Let q be t(-15). Let s be 4 - q - 8 - -2. Is (14/56)/(s/(-8488)) a composite number?
False
Let j be (-2)/(((-112)/(-24))/7). Is 1*(-15501 + 0)/j a composite number?
False
Let i = -929642 - -1499193. Is i a composite number?
True
Suppose 2*m - 361 = 4*l + 387, -4*l + 1800 = 5*m. Suppose 0 = -16*q + m + 320484. Is q a composite number?
True
Let t(g) = 7171*g**2 - 103*g + 3. Is t(-4) a prime number?
True
Let p = -837 - -839. Is 10478 + -1*(3 - p) composite?
False
Let b(p) = 519*p - 221. Let f(j) = -778*j + 329. Let d(a) = 7*b(a) + 5*f(a). Is d(-9) a composite number?
False
Let x(k) = 881*k**2 - 9*k - 33. Let c be x(-3). Let z = c + -3946. Is z a prime number?
False
Let r = -1301237 + 2030008. Is r a prime number?
True
Let y = -59931 + 303004. Is y composite?
False
Let f(k) = -1844*k + 1885*k - 13 + 2*k**2 + 0*k**2. Is f(18) a prime number?
True
Let u = 41 + -39. Suppose v = -u*v + 2*z + 637, 0 = 2*z + 10. Suppose -406 = -3*d + v. Is d a prime number?
False
Let z(a) = -5*a + 24. Let x be z(-5). Is (-21)/x - (-1994)/14 composite?
True
Let i(j) = j + 6. Suppose -4*b = 3 + 1, 5*m + 5*b = -5. Let d be i(m). Is (-3)/(9/d) + 679/1 a prime number?
True
Let m = 856 + 744. Let x = -687 + m. Is x a prime number?
False
Let z = -8743 + 12820. Suppose -4*h - z = -91897. Is h a composite number?
True
Let n = 7848 + 6481. Let v = 2512 + n. Is v a prime number?
False
Let f be 1/(27/12 - 2). Suppose -2*t - 4*i = 0, t + 18*i = 19*i. Suppose t = 3*m + 5*v - 3784, 4*m = -f*v + v + 5027. Is m composite?
True
Let y(f) = -2*f**3 - 2*f**2 + 3*f + 1. Let x be y(-2). Suppose 3*g + 4*c = 1270, 4*c = g + x*g - 1684. Is g prime?
False
Let h(s) = -118*s - 11. Let i be 0 + (-8)/4 - (3 + 0). Let a be h(i). Let y = a + 130. Is y a prime number?
True
Suppose -11161 = -5*d + 6*z, -d - 58*z + 53*z = -2226. Is d composite?
True
Let p be -2 + (-1 - (-14)/2). Let u(q) = -q**2 - 18*q - 51. Let d be u(-14). Suppose 2*f - d*n - 3066 = 0, 2*n + 6164 = p*f - 0*f. Is f a prime number?
True
Let s(f) = 17080*f - 529. Is s(9) prime?
True
Let q(y) = 15849*y**2 + 15*y - 3. Is q(-5) a prime number?
False
Suppose 5*d - 5*t - 1134950 = 0, -19*d + 15*d = 3*t - 907967. Is d a composite number?
False
Let g = 35 - 30. Suppose -g*a - 25 = 0, -2*d + 31 = -a - 4*a. Suppose 4*n - 117 - 76 = -d*z, -3*z + 165 = -3*n. Is z composite?
False
Suppose 16*h = 23*h - 6650. Let g = h - 308. Suppose 3068 = 2*d + g. Is d composite?
False
Let d(w) = -489707*w - 1234. Is d(-1) a composite number?
False
Is (7 - -319998) + 6 + -14 a prime number?
False
Let j(x) = 5 + 726*x + 16 - 4. Let m be (2/4)/(6/60). Is j(m) prime?
False
Let a = -2358209 + 3407794. Is a a prime number?
False
Suppose -3*v = 2*v + 5, r - 3*v = -35. Let i = -26 - r. Is (3/((-18)/382))/((-4)/i) prime?
True
Suppose -1 = r, 0 = 4*p - r - 2*r + 57. Is 218 + (-4 + 0)*p/12 prime?
True
Let l(i) = 97*i**2 + 3*i + 1. Let j be l(3). Let t(z) = z**3 - 4*z**2 - 4*z - 2. Let r be t(5). Is 4/(-3) + j/r composite?
False
Suppose 7*z - 2 = -2*f + 6*z, 4*f + 2 = -5*z. Suppose -2*q + 86860 = 5*d - 7*q, -f*d = -4*q - 34734. Is d prime?
True
Let l(z) be the second derivative of z**4/3 + 3*z**3/2 - 5*z**2/2 + 3*z + 18. Is l(26) composite?
True
Let n = -102 - -106. Suppose 5*r - 5001 = -n*u - 404, -4*r - 5*u + 3683 = 0. Suppose 13*y = 12*y + r. Is y prime?
False
Suppose -4*o - 226796 = c - 816546, 0 = -3*o + 3*c + 442335. Is o prime?
False
Let z(i) = -9*i**2 + 133*i + 15. Is z(14) a prime number?
True
Suppose -5*t - 55455 = -5*y, 3*y = -3*t + 8033 + 25210. Suppose -y = -2*i + 4*f, -2*i = -0*i + f - 11061. Is i prime?
False
Let g be (((-15)/6)/(-5))/((-4)/1712). Let l = 757 + g. Suppose 6502 + l = 5*m. Is m a composite number?
False
Let l be (4 - 1)*(-9)/((-27)/(-10)). Let k be ((-856)/l)/(4/30). Suppose -x + 584 = -k. Is x a prime number?
False
Let i(q) be the first derivative of 5*q**2/2 + 40*q + 5. Let c be i(-8). Suppose c = -6*k + 842 + 424. Is k a composite number?
False
Let p(z) = 1648*z**2 + 378*z - 6783. Is p(19) a composite number?
True
Suppose -11*b = -1361 - 14688. Let w = -672 + b. Is w composite?
False
Let j be 7278 - (-5)/(25/(-35)). Let s = j - -9248. Is s a composite number?
False
Let s = 3157 + -438. Suppose 0 = 11*p - 12*p + s. Is p composite?
False
Suppose 21*x - 5*x + 56400 = 0. Let u = 9872 - x. Is u a composite number?
False
Suppose 5*w + 42 - 327 = 0. Let j be (-26)/(-6)*(w - (-3 + 3)). Let l = 524 - j. Is l a prime number?
True
Let f = -500 - -506. Is (0 + f)*(-17107)/(-6) prime?
True
Let n(j) = 292*j**3 - 13*j**2 + 22*j + 291. Is n(10) prime?
False
Let z be (-3180)/(-5)*9/(-6). Let x = -652 - z. Is x composite?
True
Suppose -17440285 - 17335718 = -53*j. Is j a prime number?
False
Let g(s) = -s**3 + 