 = 293*g - 1. Is m(a) a composite number?
True
Suppose -100*l + 99*l = -6. Is ((-30747)/l + 1)/(11/(-22)) prime?
True
Suppose 0 = 28*p + 20387 - 326259. Suppose 42*k - p - 8858 = 0. Is k a prime number?
False
Suppose 3*r + 29 + 163 = 0. Let c = 65 + r. Is (-54 + -5 + c)/(-1) a prime number?
False
Let t(f) = -105289*f + 918. Is t(-1) composite?
False
Let f = -44897 - -300736. Is f composite?
False
Let k = -1174375 + 2022246. Is k prime?
True
Let j(t) = 1268*t**2 + 61*t + 4. Is j(-5) prime?
False
Suppose 3*y + 14343 = -3*t, -2*y + 191*t = 186*t + 9548. Let d = 7358 + y. Is d a composite number?
False
Let g(h) = 7*h - 2. Let q be g(0). Let w(a) = -1365*a**3 - 6*a**2 - 2*a + 3. Is w(q) a composite number?
False
Suppose -47*r - 100 = -52*r. Let k be (-8)/r*-1*199*5. Suppose -g + k = 43. Is g prime?
False
Is 551461/6*-19*108/(-342) composite?
False
Suppose -2*x = 45 + 187. Let v be x/(-36) + (-1)/((-18)/(-4)). Suppose j = 0, -2*j = -5*n - v*j + 6715. Is n composite?
True
Let d(k) = 109*k**2 - 9*k + 31. Let x be (-31)/(-310) + (-218)/(-20). Is d(x) a prime number?
True
Let t(s) = 738*s**3 - 2*s + 1. Let p(a) be the second derivative of -a**5/20 + 3*a**4/4 - 4*a**3/3 + a**2/2 - 5*a. Let w be p(8). Is t(w) composite?
True
Suppose -4*v = -w + 241, 0*w = -5*w + v + 1300. Let u = w + 208. Is u composite?
True
Let t(a) = 7*a**3 - 11*a**2 + 8*a + 8. Let z be t(14). Suppose 8*p - 18132 = z. Is p prime?
False
Let q = -90258 + 135593. Is q composite?
True
Let g = -76 - -76. Suppose i + 148 - 1887 = g. Is i a composite number?
True
Suppose 0 = -5*n + 11*n. Is 2496 - 33 - (n - 0) a composite number?
True
Let m = 97769 + 112002. Is m a prime number?
True
Suppose 0 = -5*r + r + 8. Suppose 0 = -r*l + 951 + 71. Suppose a + l = 2*a. Is a composite?
True
Suppose -9*h + 8*h - 2*k = -58545, -5*k = -5*h + 292695. Is h prime?
False
Let d(g) = 21397*g - 3. Let n be d(1). Suppose -8074 + n = 6*f. Suppose 18*w - f = 6*w. Is w prime?
False
Let j(m) = 53123*m**2 + m - 1. Let z(r) = 4*r**2 + 7*r + 2. Let x be z(-1). Is j(x) a composite number?
True
Let m(u) be the third derivative of 7*u**5/30 - 41*u**4/24 - u**3/6 - 20*u**2 - 2. Is m(18) prime?
True
Let i be 0 + 20/25*5. Suppose -3*v + 8*v = -25, 2035 = 3*w + i*v. Is w composite?
True
Suppose -73*a - 560783 = -464610 - 1577124. Is a a prime number?
True
Let t = 186 - 190. Is (-10 - t) + 1 + 6612 a prime number?
True
Suppose -229*g = -6804587 - 2156412. Is g a prime number?
False
Suppose 531227 = 2*a - 3*r, -86*a + 81*a + 2*r + 1328029 = 0. Is a a composite number?
True
Is (-304599)/((4 - (19 - 9))/4) a composite number?
True
Let m(q) be the first derivative of 40*q**3 + 9*q**2/2 - 38*q + 12. Is m(5) composite?
True
Let c = -8188 + 4975. Let f = 1490 - c. Is f a prime number?
True
Is ((-3)/(-5))/((-336)/(-8877680)) composite?
True
Let c = 61169 + -23766. Is c composite?
True
Let w(m) = -13 + 25*m + 4*m**3 - 71*m**2 + 5*m**3 + 9*m**3 - 14*m**3. Is w(22) a prime number?
False
Let i = 3034 + -1404. Suppose 33*m - 36*m + 1616 = 5*v, i = 3*m - 2*v. Is m a composite number?
True
Is 2*(-2 + 1 - 24/(-16))*451039 composite?
False
Let v(n) = -54*n**2 - 22*n - 50. Let z be v(13). Let y = z + 24076. Is y prime?
False
Let f = -223906 - -328365. Is f a prime number?
True
Let k(j) = -944*j - 398. Is k(-11) prime?
False
Let g be (1 - 5)/4 - (-42 + -1). Let r = 172923 - 80997. Is r/g - (-4)/14 a prime number?
False
Let c(u) = -u**3 - 2*u**2 + 6521. Let t(b) = 15*b - 15. Let p be t(1). Is c(p) prime?
True
Suppose -b + 1322 = -3*p, b + 1930 = -5*p - 260. Suppose 3*h + 6*f = 10*f + 2762, -f - 1838 = -2*h. Let o = p + h. Is o composite?
False
Suppose 0 = -2*r + 28*r - 609388. Let k = r - 9297. Is k composite?
True
Suppose z - 650 = 175. Let h(y) = 10*y**2 - 2*y + 6. Let t be h(-6). Let f = z + t. Is f a prime number?
False
Let m be (-1)/(-1 + (-10)/(-15)). Suppose 3*q + 12 = 0, -2*b - m*b + 104 = -q. Is 4 + (-252)/(b/(-5)) a prime number?
True
Suppose -75*d - 21*d = 28*d - 18776948. Is d prime?
False
Suppose 7832 = 5*h - 65643. Suppose h = n - 2352. Is n prime?
True
Suppose 0 = 153*z - 156*z + 81. Is (-12)/2 - (-2216 - z) a prime number?
True
Let r be 15/10 - 15/(-6). Suppose 2975 = 4*f + q, 9*f - 3700 = r*f + 5*q. Is f prime?
True
Let y = -26168 - -49215. Is y composite?
True
Let i(s) = -38*s**3 - 2*s**2 - 3*s + 16. Let w be i(2). Let l = 2085 + w. Is l a composite number?
False
Suppose 241 = 4*h - y, -y + 194 = 5*h - 105. Let s = 4921 - h. Is s a prime number?
True
Suppose 0 = -90*b + 88*b - 4*n + 637098, -3*b - 5*n + 955651 = 0. Is b a prime number?
True
Is 555555/70 - (-2)/4 a prime number?
True
Let y(h) be the first derivative of h**2 + 8*h + 4. Let l be y(-7). Let v(x) = -55*x - 1. Is v(l) composite?
True
Suppose 5*k + 2*n - 170 = 0, -k + 5*n + 46 = -15. Suppose -k = -4*g - 5*g. Suppose 8107 + 513 = g*m. Is m a composite number?
True
Let u = 5302 - -2613. Let k = u - 4616. Is k a prime number?
True
Let c(d) = 7*d + 22. Let n be c(-2). Suppose -n*o = -17*o + 208287. Is o a prime number?
True
Suppose -4151470 = -50*k + 7285080. Is k prime?
True
Let c(k) = -k - 2. Let n be c(-5). Let m be 2/(-7)*((-1487 - 8) + -31). Suppose 3*o - n*v = 7*o - 436, -5*v + m = 4*o. Is o a prime number?
True
Suppose -9*u + 11*u = -l + 172291, 3*u - 172295 = -l. Is l a composite number?
False
Let x be 5/45 + (-142)/(-18). Suppose -3 = -x*b + 21. Suppose 0 = b*h + l - 279, l + l - 279 = -3*h. Is h composite?
True
Suppose 0 = -q - f + 3*f + 15957, -5*f - 15954 = -q. Suppose -6301 = 2*u - q. Is u a prime number?
False
Let j = -16023 + 63958. Is j prime?
False
Suppose 5*j = p + 161832, 73*j - 68*j = 2*p + 161834. Is j a composite number?
True
Let k(o) = -o - 2. Let c be k(-4). Suppose -c*d = 3*d + j - 40, -52 = -3*d + 5*j. Suppose 0 = d*p - 10*p + 587. Is p prime?
True
Suppose 162*k + 62*k = 108949792. Is k a composite number?
True
Let q(f) = -f + 3564*f**2 - 7*f + 31*f**2 + 6*f. Is q(1) a prime number?
True
Suppose -57*r + 8247858 = -1396789 - 63319286. Is r prime?
False
Let p = -6 + 49. Let a = p - 43. Suppose a = i - 20 - 2. Is i a prime number?
False
Let w = 133 + -34. Let u(h) = -w*h**3 - 22*h - 5 + 42*h - 25*h. Is u(-2) prime?
True
Let g = 1063 + -600. Is g*2/4*(21 - 19) a prime number?
True
Let h(v) = 24453*v**2 - 4*v + 22. Let f be h(3). Is f/21 - ((-32)/(-12))/(-4) prime?
False
Suppose 19*n = 18*n + 2*w + 12, -2*n - 4*w = 16. Is 2030630/(-560)*(n - 10) a composite number?
False
Let u = -491 + 500. Is 1353942/(-162)*(-2)/(6/u) a composite number?
False
Suppose -3*y = -5*s + 1285348, -1223*y = s - 1224*y - 257070. Is s prime?
True
Suppose -14 = -15*u + 16. Suppose -u*x + 5*s + 454 = -x, -1801 = -4*x + 5*s. Is x composite?
False
Let g(o) = -o**3 + 11*o**2 - 13*o + 29. Let b be g(10). Is (-9066)/(-4) + b/12*-6 a prime number?
True
Suppose u + 4*u = -3*s + 657, 3*s = 2*u - 267. Let p(h) = 2*h - 6. Let i be p(5). Suppose -2*x - 2*w = -76 - u, i*x = 2*w + 428. Is x prime?
False
Let z = 181010 + -106731. Is z prime?
True
Let a = -25068 - -126545. Is a composite?
False
Is (-582)/(-6)*(9 - (-12 - 1360)) prime?
False
Let u(s) be the second derivative of -s**4/12 + 13*s**3/6 - 2*s**2 + 21*s. Let a be u(10). Is 99363/143 - (-4)/a a composite number?
True
Suppose -8*z - 198491 = -5*f - 4*z, -f = 5*z - 39733. Is f a composite number?
False
Let f(n) = 3*n**2 - n + 17. Let h be f(-10). Let p be h/(-6) - 3/(-2). Let m = 140 + p. Is m a prime number?
False
Suppose 4*l - 8768 = -4*u, 14843 = 5*l - 2*u + 3862. Suppose -v = -a - 1100, -20*a - l = -2*v - 23*a. Is v a composite number?
True
Is 1*((-7)/63 + (-21258640)/(-90)) prime?
True
Suppose 4*a - a = -2*p + 4, p - 5*a = -24. Is 24/(-24) - p/(12/945) a composite number?
True
Let f(g) = 2*g - 8 + 3*g + g**3 - 2*g + 7*g**2 + 5*g. Let r be f(-5). Suppose r*l + 9332 = 6*l. Is l prime?
True
Let o = -4057740 + 6983539. Is o composite?
False
Let k = -347 + 339. Is (k/(-12))/(4/18) + 1270 composite?
True
Suppose 3*z + 15 = 0, -4*z - 14 = -3*g + 6. Suppose 8858 = 2*a + 1286. Suppose -6*q + g*q = -a. Is q a composite number?
False
Let u be 17/(-5) - (-9)/(-15). Let p(l) = 144*l**2 - 12. Let j be p(u). Suppose -5*q + 362 = r, 5*r - 3*q = -454 + j. Is r a composite number?
False
Is 24/((-696)/(-2947183))*(2 + -1) a composite number?
False
