lse
Suppose -3*h + 318*i + 1168713 = 316*i, -2*i - 389567 = -h. Is h composite?
True
Let q(n) be the first derivative of n**3/3 - 8*n**2 - 4. Let x be q(16). Suppose -4*j + 4*o + 2572 = 0, 0 = -x*j - 2*j + o + 1284. Is j a composite number?
False
Suppose t = -5*c + 3940767, -687*t = 2*c - 689*t - 1576302. Is c prime?
True
Let x(z) = 21*z**2 - 4*z + 31. Let g be (22/55)/((-2)/(-40)). Is x(g) prime?
False
Suppose -b - 10639 = -5*w - 3*b, -4*w + 3*b = -8502. Is w prime?
False
Let s = -3043 + 28466. Is s composite?
False
Let b = -13941 - -31792. Is b prime?
True
Suppose 20*l - 16*l - 272 = 0. Suppose 53*v = l*v - 173685. Is v prime?
True
Is (4/2)/((-96865)/(-7451) - 13) prime?
True
Let p(t) = 103333*t - 4604. Is p(51) prime?
False
Let v(g) = 5*g - 47. Let k be v(-13). Let t = k - -108. Let i(o) = -65*o**3 - 3*o**2 - 3*o + 11. Is i(t) a prime number?
False
Suppose -v - 86628 = 9*u - 10*u, -3*v = u - 86624. Is u prime?
True
Let h(y) = -16*y - 20*y + 30*y + 7*y**2 - 12 - 31. Is h(-18) composite?
False
Let h = -21 + 27. Let v(b) = 18*b - 19. Let x be v(h). Let k = 148 - x. Is k a prime number?
True
Let j = -122447 - -233464. Is j a composite number?
True
Let t be (80/12)/(30/765). Suppose 2*g - 908 = -2*g. Suppose g = j - t. Is j a prime number?
True
Suppose 19254 = 2*m + 105900. Is (-1)/(-3*(-7)/m) composite?
False
Let q(j) = 0*j + 16 + 55645*j**2 - 37 + 20 + j. Is q(-1) a prime number?
False
Let i(t) = -8*t - 2. Let d be i(-8). Let n = 135 - -64. Suppose -516 = -2*f + 5*z, 0 = -f + z + n + d. Is f prime?
True
Is (-24 + 19)*(-25659)/5 + -2 prime?
True
Suppose 3*d = -b + 4, 2*b + 41 - 16 = 5*d. Suppose -n - 9 = -5*g, -5*n + 5*g - d = 2. Is (-3 + 6 + 216)/n a prime number?
False
Let r = -11909 - -46097. Suppose r = -10*m - 2062. Let j = m - -6138. Is j a prime number?
False
Let k = -135 + 144. Suppose 4*b = -k + 17. Is (223 - 0/b)/(3/21) a composite number?
True
Let a = 87 - 41. Let x = 50 - a. Suppose 0 = -x*u + 3*i + 812, 1034 = 5*u - 0*i + i. Is u prime?
False
Let p(t) = -t**3 + 3*t**2 + 11*t - 28. Let u be p(10). Is (-2 + (-8)/6)*u/4 a composite number?
True
Let i be (993/(-2))/((-9)/270). Suppose 17*p = i + 79438. Is p composite?
True
Suppose 16 = 4*p - 2*c, c - 6*c - 16 = 2*p. Suppose 3*l = -q - 3999 + 20162, 0 = -q + p. Let f = 12156 - l. Is f a prime number?
False
Is (776046/(-9))/(48/(-72)) a prime number?
True
Let m = -57 - -57. Suppose m = 9*q - 18 - 18. Suppose 5*k = -q*t + 7007, k - 7011 = -t - 3*t. Is t a composite number?
False
Let u(s) = -s**2 + s - 1. Let q(b) = -12*b**2 - 5*b - 13. Let j(a) = -q(a) + 2*u(a). Let c be j(-10). Let f = -196 + c. Is f prime?
False
Let b(h) be the third derivative of -h**6/24 - h**5/12 + h**4/12 - 7*h**3/2 - 8*h**2. Is b(-5) composite?
True
Let r = 43764 + 527. Is r composite?
True
Suppose 40 - 45 = -5*c. Is (-262850)/(-21) - c*(-4)/12 a composite number?
False
Is (-5)/25 + ((-22935726)/(-30) - -9) + -2 composite?
True
Suppose 292*c = 289*c + 1581. Let z = c + -156. Is z composite?
True
Suppose s = -5*q - 13, 5*s - 3*q + 32 + 5 = 0. Let k(z) = -25*z**3 - 10*z**2 + 3*z - 7. Let h be k(s). Is 2 + (-80)/36 - h/(-27) a prime number?
True
Suppose 0 = -3*h - 19*h - 14894. Let q(u) = -6*u**2 + 5*u - 4. Let f be q(6). Let p = f - h. Is p composite?
False
Let i(o) = -860*o - 15111. Is i(-64) a composite number?
False
Let o = -238 + 143985. Is o a composite number?
True
Let r(a) = -a**3 + 7*a**2 - 3*a - 13. Let o be r(6). Let j(n) = 73*n + 1. Let g be j(5). Suppose -3*m + 0*m - o*s = -g, -4*s + 242 = 2*m. Is m prime?
True
Suppose 0 = -a + 3*v - 12, 0*v + v = -2*a + 11. Suppose 3*n = -a*q + 21, 0*q + 2 = 2*n - q. Suppose l + 0 - 3 = 0, n*t = -4*l + 675. Is t composite?
True
Suppose -4*h + 630 = -3*h - 139303. Is h a composite number?
True
Is 245769 - (9 - 34) - (3 + -2) a prime number?
False
Let o(m) = 9357*m**2 - 138*m + 1039. Is o(8) a composite number?
False
Suppose 7*i + 0*i - 35231 = 0. Suppose -11*u + 4196 + i = 0. Is u a prime number?
True
Let d(t) = 2*t**3 + 9*t**2 - 20*t - 14. Let l be d(14). Let q = l + -3905. Is q a composite number?
True
Suppose 11*d - 9*d + 11*i = 65502, d - 32699 = i. Is d a prime number?
True
Suppose -2*b - 5*p + 357604 + 307313 = 0, 21 = 3*p. Is b a prime number?
True
Is -5 - (-690706 - (-1 + -11)) a prime number?
True
Suppose 713552 = 18*f - 1289002. Is f prime?
True
Let g = 2061 + -736. Suppose -5*q = -0*q - g. Suppose 0 = -7*y + 6*y + q. Is y a composite number?
True
Let x = 25894 + -13760. Let y = 25363 - x. Is y prime?
True
Let p(v) be the third derivative of v**5/15 + v**4/6 + 39*v**3/2 - 2*v**2 - 4*v. Is p(-20) composite?
False
Let d(s) = -s**3 - s**2 + 2. Let c be d(0). Suppose -c*g = -12*g + 21640. Is (g/(-14))/(14/(-49)) a prime number?
True
Suppose -2*o = -4*i + 294692, -5*i = -10*o + 14*o - 368365. Is i a prime number?
True
Let y be (6 + -9 + 5)*(0 - 1). Let b be 0/(20/(-28) - y/(-7)). Suppose -8*i + 9229 + 5499 = b. Is i a prime number?
False
Let n(o) = 198*o**2 - 8*o - 41. Suppose -18*d = -19*d + 6. Is n(d) a prime number?
True
Let y be (-2)/5 - (-272)/80. Suppose y*k = 5*k - 4*f - 9522, -5*f = -10. Is k a composite number?
True
Let d(n) = -1860*n**3 - 3*n**2 + 2*n + 5. Let w be d(-1). Let u = -1231 + w. Is u a prime number?
False
Let y(h) = -18*h + 219. Let n be y(11). Suppose 0 = -n*g + 47131 + 5810. Is g prime?
True
Suppose -2*c = -0*c - 8356. Let g = -1471 - 416. Let y = c + g. Is y a prime number?
False
Suppose 3*w = -q - 2, 4*w + 0*w - 8 = -4*q. Suppose 0 = -4*j - f + 6299, 0 = 5*j - q*f + 6*f - 7876. Is j a composite number?
True
Let g(c) = -c**2 - 10*c + 12. Let b be g(-10). Suppose t + b*t = 23413. Is t composite?
False
Suppose 0 = 2*c + 2*i + 44, -4*c - 4*i - 82 = -2*i. Let z(b) be the second derivative of -13*b**3/3 - b**2/2 + 2*b - 30. Is z(c) prime?
False
Is (-2)/(-13) - 4832805/(-65) composite?
True
Let z(v) = -v**3 + 9*v**2 - 12*v - 7. Let t be z(6). Is t*(-2)/((-14)/91) a composite number?
True
Let l = -198 - -95. Let c = -97 - l. Let m(t) = -t**3 + 9*t**2 - 9*t + 8. Is m(c) composite?
True
Suppose 5*g = -10, 5*b + 5*g - 160 = -0*b. Is b - 35 - (-16881 - -1) composite?
False
Let h(x) = 115*x**2 - 22*x - 65*x**2 - 4 + 79*x**2. Is h(3) composite?
False
Suppose 4*t - 96 = 7*o - 3*o, 100 = 5*t + 5*o. Suppose -t*q + 2738 = -8724. Is q a prime number?
True
Suppose 2815 + 4665 = 5*i. Let p = i + -1002. Suppose -3*n - 2493 = -5*u - n, u - 5*n = p. Is u a composite number?
False
Suppose 158*l = -65*l + 22*l + 122002377. Is l a composite number?
True
Suppose -148058 = 56*l - 58*l + 4*z, -222072 = -3*l + z. Is l a prime number?
False
Let r(h) be the second derivative of -h**5/20 + 5*h**4/3 + 8*h**3/3 - 10*h**2 - 32*h. Is r(17) a prime number?
False
Let f = 750 - -41. Suppose -11*g = -5336 - f. Is g prime?
True
Suppose -2*h = 10, -14 = 2*m + m + 4*h. Suppose 2*t + 4*v = 114, -t = -5*v + m*v - 47. Is t a composite number?
False
Let z(k) be the second derivative of -k**5/20 + 13*k**4/6 - 5*k**3/2 - 43*k**2/2 + 181*k. Is z(-9) prime?
True
Let c(u) = 15431*u. Let r be c(3). Let z = r + -24099. Suppose z = 13*j + 3500. Is j a composite number?
True
Let y(a) be the third derivative of 25*a**4/6 + 53*a**3/6 - a**2 + 53*a. Let g(w) = w - 5. Let b be g(13). Is y(b) prime?
True
Let n(l) = l**3 + 4*l**2 - l + 2. Let q(b) = b**3 + 5*b**2 - b - 10. Let f be q(-5). Let w be n(f). Is 1287 + 48/(-26) + w/117 prime?
False
Let b(s) = 1460*s**2 + 961*s + 50. Is b(21) a prime number?
True
Let d(g) = -g**3 + 8*g**2 - 5*g - 10. Let a be d(3). Suppose -a*s + 21*s = 1261. Is s prime?
False
Suppose -4*h + 2*w = -10480032, -5*h + 13100051 = -7*w + 10*w. Is h a composite number?
True
Let o(u) be the third derivative of -19*u**4 - 5*u**3/6 - 3*u**2 + 27*u. Let p be (0 + 3)/(-2 - -1). Is o(p) a composite number?
True
Let b = 3 - 1. Suppose 23*y - 587 - 3898 = 0. Suppose -b*q = -0*t - 2*t + 402, t + 2*q = y. Is t a composite number?
False
Suppose 3*i + 6186359 = 5*c, 89*i - 85*i = -2*c + 2474554. Is c composite?
False
Let s(b) = -12*b + 39. Let t(q) = 59*q - 196. Let v(j) = -11*s(j) - 2*t(j). Is v(32) a prime number?
False
Suppose -53*i + 734*i - 103*i = 229984466. Is i a prime number?
True
Let g(a) be the third derivative of -233*a**4/6 + 17*a**3/6 - 24*a**2. Is g(-15) a composite number?
F